t a = -1 - 0.  Let g = -495/13 - -18745/494.  Let t = g + 29/76.  Which is smaller: a or t? 
a
Let v = 257.846 + -258.  Which is bigger: v or 0.1? 
0.1
Suppose -2*m + 7 = y, -3*m - 4*y + 9 = -y.  Let g(j) = -8*j + 4.  Let f be g(m).  Is f not equal to -82/3? 
True
Let s = -1.449 - -3.449.  Are s and -489 nonequal? 
True
Let x = -1460 + -528.  Is -1988 greater than or equal to x? 
True
Let d = -315/126262 - 19852402529/9722174.  Let b = -1512 + -530.  Let j = b - d. Is j <= -1? 
False
Let o be 9/12 - 7155/20 - 3.  Is o less than -359? 
True
Let y = 551 + -531.  Which is smaller: y or 14? 
14
Let u be 3/12*(-23 - -24).  Which is greater: 7 or u? 
7
Let m = 704 - 701.  Which is greater: m or 38? 
38
Suppose -4*j + 135 - 56 = 5*k, 0 = 5*j + k - 83.  Suppose 3*g - j = -5*x, -4*g + 2 = 5*x - 8*g.  Suppose 4*z - x*z - 2 = 0.  Is z equal to 2/27? 
False
Let g = -32 - -46.  Suppose 37*x - 35*x = g. Is 7 greater than x? 
False
Let f = -21 + 10.  Let q = -21 - f. Which is greater: q or -8? 
-8
Suppose 4 = j, -3*j - 12 = -2*c - 242.  Which is greater: -107 or c? 
-107
Let z = -9 - -11.  Suppose -4*l + k = 19, -3*l - 35 = z*l - 5*k.  Suppose 2*j = -4*j - 24.  Is j > l? 
False
Let o(h) = h**3 - 7*h**2 - 17*h + 9.  Let q be o(9).  Does q = -13? 
False
Let c be 33/(-88)*17/(-3) + -2.  Suppose 5*f = -3*x - 8, 2*x - 8 = -0*x.  Let z = f + 3.  Is c < z? 
False
Let t be -4*2/((-8)/3).  Let j(z) = 3*z + 1.  Let y be j(0).  Suppose 2 + 4 = 3*u - 3*a, t*a - y = -4*u.  Do u and 1/2 have the same value? 
False
Suppose 0 = 15*v - 4*v - 33.  Which is greater: -2 or v? 
v
Let y = 437/2925 + 1/225.  Let w be (-1)/(-4) - 3/12.  Let h = w + 1.  Is h less than y? 
False
Let b be ((-15)/(-10))/((-3)/(-4)).  Let w be (-5384)/(-12)*b/(-12).  Let s = -75 - w. Which is greater: s or -0.3? 
s
Let i = -1195 - -1194.9.  Which is smaller: i or -19? 
-19
Let s = -0.468 - -0.47.  Which is bigger: 1/4 or s? 
1/4
Let p(l) = -2*l**2 - l - 1.  Let v be p(-1).  Let r(j) be the first derivative of j**2/2 + 4*j - 10.  Let i be r(v).  Which is bigger: i or 3? 
3
Let u be (-1)/4 + (-1 - 35/(-28)).  Let r = -12 + 7.  Let b = r - -3.  Which is bigger: b or u? 
u
Let p = 48 - 233.  Is -1/3 >= p? 
True
Let o(l) = 11*l - 114.  Let s be o(10).  Suppose 0 = 4*f + 20 - 4.  Is f at least s? 
True
Let i be (-9)/18 - 5/(-2).  Suppose 4 = -q - q, i*g = -4*q - 8.  Does g = -2? 
False
Let z be 16/(-524)*(-18)/(-90).  Is 1 less than or equal to z? 
False
Let r(c) = -12*c**2 - 310*c + 76.  Let i be r(-26).  Let l = -28 - -53.  Which is smaller: i or l? 
i
Let j = 2 + -4.  Let f = 3 + j. Let w be 2 + -1 + -4 + 8/2.  Is w < f? 
False
Suppose 2*q + 20 = -10.  Suppose 23 - 19 = -4*c.  Let s be (1/c)/(q/(-9)).  Which is smaller: s or -5? 
-5
Suppose 0 = 20*j - 22*j - 156.  Which is greater: j or -77? 
-77
Let n be 0 + -1 + (-31)/(-33).  Let c(k) = -10*k - 1.  Let d(o) = o**3 + 29*o**2 + 28*o.  Let g be d(-28).  Let x be c(g).  Which is smaller: n or x? 
x
Let v be 16*(-2 + 0)*1.  Let x(n) = 5*n**2 + 2*n - 1.  Let q be x(2).  Let a = v + q. Which is smaller: a or -8? 
a
Suppose 2*i - 4*y = 0, -3*i - 3*y = 2*y - 22.  Suppose -4 + 12 = -i*d.  Do 3 and d have the same value? 
False
Let t be ((-3)/(-12))/((-6)/8).  Let l(w) = -2*w + 2*w - 3*w.  Let d be l(0).  Which is smaller: d or t? 
t
Let l be 17/(-3) - 1/3.  Let s be (7 + 20/(-5))*2/l. Is s greater than or equal to -12/11? 
True
Let s be -3 + 0 + 5 - 2.  Suppose 3*k = 2*x + 4, k - 6*x + 2*x - 18 = s. Are k and 2/19 equal? 
False
Let p be 1 - 0 - (-4 + -3).  Let h = -3 + p. Let r be h/(15/2) - 4.  Is r < -4? 
False
Let j = -5 + 16/3.  Let z be (3/27)/(7/(-42)).  Do z and j have the same value? 
False
Let i = 1496 + -1495.8.  Which is smaller: -2.68 or i? 
-2.68
Let h be 1/4 + -1 + 0.  Suppose 0 = 2*i + 4*i + 204.  Let o = i + 34.  Is o greater than or equal to h? 
True
Let k be 6/(-4) + -62 + 62.  Which is bigger: -17/10 or k? 
k
Let h be (14/6)/(20/(-30)).  Let t be (-91)/7*(0 + -1).  Let y = 9 - t. Is y at least as big as h? 
False
Let x = 1 - -23.  Suppose 2*n - 6*n = -x.  Let y(u) = -u**3 - 32*u**2 + 31*u - 58.  Let d be y(-33).  Which is smaller: d or n? 
n
Let u(d) = d**2 + 9*d - 1.  Suppose 0 = 5*a + 39 + 6.  Let b be u(a).  Let k = -6.3 + 0.3.  Does k = b? 
False
Let g = -13 + 19.  Let y be (-14)/(-3) - 4/g. Let u = 6 - y. Which is smaller: 3/2 or u? 
3/2
Let x = 3 + -4.  Let z = x + 8.  Let a = -0.012 - -1.012.  Is a greater than z? 
False
Let d = -352 + 343.  Which is smaller: d or -13? 
-13
Let j = 43 - 43.02.  Let a = -402 - -1208/3.  Is a less than j? 
False
Let p be 0 - (1/(-1) - 0).  Let r(n) = -n + 13.  Let q be r(11).  Suppose -l + 11 = q*t - 5*t, -t + 5 = 4*l.  Is l ! = p? 
True
Let s be ((-2)/147)/(7/105).  Let o = s - -488/1911.  Is 0 less than o? 
True
Let q = -3 - -4.  Which is bigger: -118 or q? 
q
Let j = 54 + -38.  Let o = j + -8.  Let b(v) = -v**2 + 6*v + 9.  Let g be b(o).  Which is smaller: g or -8? 
-8
Suppose y + c = 36, y - c - 34 = -0*c.  Is 34 bigger than y? 
False
Let k = -0.96 + 39.96.  Let f = -35 + k. Is f >= 0.2? 
True
Let x = 3151 - 1969373/625.  Are -1 and x equal? 
False
Let t be 1/4 + 28/80.  Suppose 0 = -z - 3 - 8.  Let u = z - -9.  Which is greater: u or t? 
t
Suppose 2*r = -12*m + 10*m + 24, -2*m + 40 = 4*r.  Let w = 7 - 13.  Let s = -6.2 - w. Is s smaller than r? 
True
Let x be (-5)/(-20) - (-154)/(-8).  Let y = 9 + x. Is -11 greater than y? 
False
Let f be (-1)/10 + (-176)/(-160).  Do f and 27/19 have different values? 
True
Let x be (1/(-4))/(-1*511/56).  Let a = 314/803 - x. Suppose -p = -0*p + 5*k + 9, 2*p = 5*k + 12.  Which is smaller: a or p? 
a
Let n(s) = s**2 - 21*s - 46.  Let i be n(23).  Which is greater: -1/49 or i? 
i
Let t = 62/9 + -983/144.  Suppose 12*c = 282 - 246.  Which is smaller: c or t? 
t
Let n(v) = -v**3 + 6*v**2 + 16*v + 10.  Let b be n(8).  Let o be -1*(b/32 + 0).  Which is smaller: -1 or o? 
-1
Let m(g) = 11*g - 1.  Let d be m(2).  Let h be 8*(d/6 + -4).  Let o be 1/((-4)/34) - h. Is o > -5? 
True
Let a be ((-16)/(-22))/((-54)/9).  Let h = a + 1/33.  Suppose z + 0*z = 1.  Is z at most h? 
False
Suppose 4*k = 2*u + 34, 0 = u - 5*k + 29 - 9.  Suppose 0 = 3*v - 0*v + 54.  Is u < v? 
False
Let b(y) = y**3 + 5*y**2 - 8*y - 6.  Let k be b(-7).  Let r = 95/2 + k. Let c = 0.6 - 17.6.  Is c not equal to r? 
True
Let j = 5.8 + -5.8.  Does -0.0132 = j? 
False
Let r(k) = -k**3 + 14*k**2 - 13*k - 12.  Suppose -x = -g + 6*g - 15, 2*g = 4*x + 6.  Suppose b - 7 - 6 = x. Let o be r(b).  Which is smaller: -1 or o? 
o
Let m = -0.5 - 0.5.  Let p(t) = 1.  Let z(x) = -x - 12.  Let b(d) = p(d) - z(d).  Let s be b(-10).  Is s not equal to m? 
True
Let n(l) = 3*l**2 + 3*l - 4.  Let p be n(-4).  Let j be (-6 - -1) + 6 + -40 + 6.  Let w = p + j. Which is greater: -1/3 or w? 
-1/3
Let f = 3/2027 - -28261/79053.  Are f and -1 non-equal? 
True
Suppose -t + 2 = -2*c, 2*t - 7*t = 4*c + 32.  Let f be (32/39)/(-8)*c.  Which is smaller: f or 1? 
f
Let s = -8331332/381 + 21867.  Is s at least 0? 
False
Let a = -9 + 8.89.  Let c = 64/5 - 13.  Is a less than or equal to c? 
False
Suppose 136 - 88 = -2*v.  Which is greater: v or -27? 
v
Let m = -1 + 6.  Suppose -5*v - 20 = -c, 4*v = -0*v + 3*c - 5.  Let s = m + v. Is s equal to 1? 
False
Let i = -660695/6574 + 4/3287.  Is i bigger than -101? 
True
Suppose 0 = -2*m + 17 + 43.  Suppose 0 = -21*u + m*u.  Is u > -11/21? 
True
Let d = -120 + 120.  Suppose d = 4*y - 4, 2*s + 11 = 3*s + y. Is 10 greater than s? 
False
Suppose -8*p + 3*p = 5*w - 35, -5*w = -4*p - 71.  Let d be -12 + w - (1 - -1 - 6).  Which is greater: d or 13/7? 
d
Let y be (-3 + 0)/(-15)*-2.  Suppose -3*h + 6*h - 13 = 4*x, 3*h - 38 = -x.  Let u = -12 + h. Which is bigger: u or y? 
y
Let z = -70 - -69.  Let u = -2.6 + 3.  Is z <= u? 
True
Suppose -x - 930 = -7*x.  Let c = x - 929/6.  Which is greater: c or 16? 
16
Let m(w) = -16*w**2 + 8*w - 23.  Let u be m(4).  Is -247 less than or equal to u? 
True
Let f be (-15)/14*(-237)/40.  Let w = f + -44/7.  Let t = 43/80 + w. Is t <= -1/4? 
False
Let w(z) = -48*z + 85.  Let y be w(2).  Is -76/7 not equal to y? 
True
Let y be (208/69 - 3)/((-3)/(-6)).  Let h = 125/1932 - y. Is h at most -1? 
False
Let h(l) = 4*l**2 - 9*l - 2.  Let w be h(0).  Which is bigger: -18 or w? 
w
Suppose -6*w + 5 = -7.  Let v = w - 1.  Does v = -2/27? 
False
Let c(k) = -k**3 + 3*k**2 + 3*k - 5.  Suppose 2*d - 5*h + 20 = 0, -d - 4 - 7 = -3*h.  Let v = d + 9.  Let x be c(v).  Is -8 > x? 
True
Let i = -0.053 + -1.947.  Let o = 19.7 - 19.71.  Is o at least i? 
True
Let i = 1 + -7.  Let k be (-