1 + 1.09. Let i = -0.09 + o. Suppose 0 = -w - 4*q + 2, -3*w + 9 = -q - 10. Does w = i?
False
Suppose -6 = 4*h + 2*r + 12, -3*r - 11 = 2*h. Let m be 4 + h + (-60)/(-27). Is 3 greater than m?
True
Let y be (-9 - -3)/(-3)*11. Are y and 22 equal?
True
Suppose -10*a = -15*a - 5. Which is smaller: 1/45 or a?
a
Let j be -13 + 9 - 1*-12. Suppose -2 = -n - 0, c + j = -n. Which is greater: -9 or c?
-9
Let c = 480 - 487. Which is bigger: c or 3/11?
3/11
Let b = -29 - -20. Let l be (-13 - 3)/4 + -5. Let i(w) = w**2 + 9*w - 10. Let x be i(l). Which is smaller: x or b?
x
Let h(y) = -3*y**3 + 7*y**2 - 6*y - 13. Let f be h(6). Let s = f + 2663/6. Suppose d = 2*d + 2. Are s and d non-equal?
True
Let r be (-1 + 3)/((-21892)/39). Which is smaller: r or 1?
r
Let o(l) = -l**2 + 11*l + 11. Let r be o(12). Which is bigger: r or 6/65?
6/65
Let j(u) = 3*u**3 + 6*u**2 + u + 16. Let v be j(4). Is v >= 308?
True
Let u = -0.14 + -22.86. Let z = u + 36. Let h = 13 - z. Which is bigger: -1 or h?
h
Let n = 4153/1848 - 11/168. Let a = 421/198 - n. Do -1 and a have the same value?
False
Suppose 383 = -8*y + 215. Does y = -9?
False
Let g = -51 + -101. Which is greater: -1 or g?
-1
Let f = 277 - -571. Is 1 != f?
True
Let o(q) = -q**3 - 37*q**2 - 41*q - 181. Let p be o(-36). Which is smaller: 0.0098 or p?
p
Let v(r) = r**3 - 7*r**2 + 6*r - 2. Let d be v(6). Let u = d - 4. Let t(a) = -4*a**2 - 10*a - 1. Let i be t(-3). Which is greater: u or i?
u
Let f = -1 - 0. Let c be (-240)/(-900)*(-27)/12. Which is smaller: c or f?
f
Suppose -20 = -2*v - 2*n, -4*n - 19 = 3*v - 45. Let k = 878 + -877. Does k = v?
False
Suppose -3*f = 9, 0 = -2*b - 7*f + 3*f + 70. Let y = b - 35. Is 7 smaller than y?
False
Let t be 25/(-1)*(-8)/(-20). Let o be (-280)/(-94) + t + 7. Suppose 2*x + q + 5 = 0, x + 2*q + 20 = -2*q. Which is greater: x or o?
x
Let u = 26843/69 + -389. Let s be (-3)/(-5) - (-328)/(-1380). Let n = u - s. Is 0.1 greater than or equal to n?
True
Let b = -2 - 2. Suppose -92 = -4*y + s, 2*y + s - 76 = -y. Let w be 4/y*(-30)/(-35). Which is bigger: w or b?
w
Let y be 24/(-10)*210/28. Let m be (-4)/y - 124/(-9). Let i be (32/m)/(-4) + 1. Is 0 != i?
True
Let j(l) = l**3 + 11*l**2 + 28*l + 3. Let p be j(-5). Suppose 3*z = -2*x + 4*x - 34, -4*x + 48 = 4*z. Which is bigger: x or p?
x
Let p = 4105 - 1227397/299. Let c = 905/1196 + p. Which is bigger: c or 1?
1
Let x = -9 + 2. Is x at least as big as -0.13?
False
Let l = 21/13 + 491/26. Let g = 25 - l. Is g greater than or equal to 6?
False
Suppose 0 = -5*s + 25, -3*t - 13*s - 318 = -10*s. Let u = 57 + -167. Which is bigger: u or t?
u
Suppose 2*k - 64 = -0*v + 3*v, -5*v = -2*k + 60. Let j = 28 - k. Is -7 at least j?
True
Let u be -59*2/(-80)*2. Let i = -16/5 + u. Suppose -22*n + 62 - 18 = 0. Are n and i nonequal?
True
Let i = -27 + 27.1. Let d = -6/37 + 57/1036. Let n = 41/140 - d. Which is smaller: i or n?
i
Let d = -4/3421 - 105991/51315. Is -2 bigger than d?
True
Suppose -101*x = -121*x - 200. Are x and -1/3 nonequal?
True
Let w = 73/20 - 17/5. Suppose -5*d - 6*v + v - 15 = 0, -2*v - 9 = 5*d. Which is smaller: d or w?
d
Let k(o) = -o + 3. Let f be k(-1). Suppose -2*b + f*r = 0, -7*r = -12*r. Let m = 256/3 + -86. Which is greater: m or b?
b
Let i be 5/(-10) + (-2)/4 + 1. Is i <= -2/491?
False
Let m = -0.0411 - -0.0411. Which is smaller: m or 315?
m
Let k = 49.2 - 45. Let a = k - -11.8. Let r = 0 - -1. Which is greater: a or r?
a
Let y = 3.84 + -3.94. Is -176 greater than y?
False
Suppose 5*l = -2*m + 25, 0 = 2*m - 7*m + 5*l + 115. Let j be (m/(-105) - (-1)/3) + 0. Which is bigger: j or 3?
3
Let o be (1 + 0)*1*9. Let n be 180/42 - 2/7. Which is greater: o or n?
o
Let j be (39 - ((-1)/1 + 4)) + 3. Let b = j - 42. Which is smaller: b or -17/7?
b
Let r be (-1)/(-5) - 102/10. Let u be ((-24)/(-9))/(-1)*(2 - 11). Let j = 15 - u. Which is bigger: j or r?
j
Let g(o) = -6*o**2 - 4*o - 4. Let h be g(-2). Let y be 1/(-4) + (-625)/h. Is 31 > y?
False
Suppose 11*h - 476 = 316. Is h >= -8?
True
Let k be (-9)/(-6)*8/426. Let u = k - 298/497. Which is bigger: u or 1?
1
Let c = -51 - -72. Suppose -b = 32 - c. Which is greater: b or -56/5?
b
Let f = 87.3 + -40. Let z = f + -6.3. Which is greater: -1 or z?
z
Suppose -729*q + 732*q = 576. Which is smaller: 193 or q?
q
Let w = -116 + 114. Let o(a) = a**3 + 3*a**2 + 2*a - 1. Let g be o(w). Is 3/8 less than g?
False
Let z = 375 - 227. Let n = 136 - z. Is n > -67/6?
False
Suppose n + 3*n + 20 = x, 2*x - 22 = 5*n. Let i be (-5)/35*63/n. Let k(l) = l**3 - l**2 + 2*l - 1. Let b be k(1). Are i and b non-equal?
True
Suppose 3*l + 27 = 3*o - 87, 2*o + 4*l - 100 = 0. Is 49 <= o?
False
Let d = -338/1359 - -4/151. Which is bigger: d or 1/35?
1/35
Let p be (15/14)/(-5) - 0. Let o = 110 - 109. Is p equal to o?
False
Let c = 2223/20 - 652/5. Suppose -4*t + 0*t = 3*n - 68, -2*n + 38 = -t. Let a = c + n. Is 1 != a?
True
Let w = -3/31 + 175/527. Let b = w - -14/85. Is b > 3?
False
Suppose 2*q + 44 = -16. Let s be (-30)/(-4)*72/q. Let t be (-1)/(-45) - (-4)/s. Which is bigger: t or 1?
1
Let b be (154/30 + -5)*10/42. Is -2 smaller than b?
True
Let r(q) = 46*q - 22*q + 2*q**2 + q**3 - 8 - 3*q**2 - 22*q. Let i be r(3). Are i and 17 unequal?
True
Let v be 104 + -101 - ((-11)/(-4))/1. Is 121/6 less than v?
False
Let b = -107.593 + -0.407. Which is greater: 3 or b?
3
Let z(k) = k**2 - 5*k - 12. Let u be z(7). Suppose 5*w = x - 12, u*w = 3*w + x. Is -2 less than w?
False
Let r = 0.0249 - 0.6249. Are r and -26 non-equal?
True
Let y = 1.487 + -0.077. Is -1 at most as big as y?
True
Let f = -3.01 + 2.71. Which is smaller: -67 or f?
-67
Let t = 67/4 + -2621/156. Is t smaller than 1/5?
True
Suppose 0 = -w - w - 78. Let u(v) = -2*v**3 - 38. Let m be u(0). Let k = m - w. Which is smaller: -3/8 or k?
-3/8
Suppose 2*u + 3 = -3*s - 4, -5*s - 13 = 4*u. Let j(v) = -31*v**2 - v + 1. Let o be j(1). Let r = o - -31. Is s >= r?
False
Let v = -51 - -36. Let w(b) = b - 13. Let h be w(v). Let p = -26 - h. Which is smaller: 0.2 or p?
0.2
Let f be 5/(-2) + 3/6. Let t(v) be the third derivative of v**6/120 - v**5/4 + 2*v**4/3 - 11*v**3/2 - 35*v**2. Let o be t(14). Is f > o?
True
Let a = 1.12 + -0.02. Let j = 2.1 - a. Are -14 and j nonequal?
True
Let k = -19 - 20. Which is smaller: k or -10?
k
Let c = 9.77 - 10. Let v = 0.0536 + 0.0464. Is c at least v?
False
Suppose 0 = 4*v + 4*c + 20, -3*v + v - c = 5. Let m be (-1)/(6/8)*(-42)/(-266). Which is bigger: m or v?
v
Suppose -b + 11 = 5*z, -4*b - 3 = -3*z - 1. Let j be 3/z + 21/(-18). Which is bigger: -1/14 or j?
j
Let b = 0.283 + -0.583. Is -0.45 greater than or equal to b?
False
Let g be (0/((12/4)/(-1)))/(-2). Let h be ((-2)/(-6))/(127/(-6)). Which is smaller: g or h?
h
Let i be (5 + (-14 - -2))/1. Which is greater: -31 or i?
i
Let z(t) = -t**3 + 15*t**2 - 14*t - 15. Let k be z(14). Let s = -650 + 1273/2. Which is smaller: k or s?
k
Let a(f) = -f**2 + 6*f + 9. Let y be a(7). Suppose -10 = q - 2*o, 2*q + 4*o = 3*o + 5. Suppose -v + y = -q*v. Is 2 equal to v?
True
Let r = 68 + -41. Let x = -26.87 + r. Let p = x + -0.03. Which is greater: -0.09 or p?
p
Let n = -23 + 10. Let b = 15 + n. Let l be 30/14 + 0 - b. Which is smaller: -1 or l?
-1
Let l = -45 + 43. Let j(f) = 22*f + 5. Let w be j(l). Are -40 and w unequal?
True
Let y be (120/126)/10*-3. Which is smaller: y or -54?
-54
Let c be (8 - -1) + (-2772)/798. Are c and 5 non-equal?
True
Let h be -12*(300/(-9))/(-10). Is -40 at least as big as h?
True
Let r = 3150 + -3122. Let w = 43 - 17. Which is smaller: r or w?
w
Suppose s - 30 = -4*s. Suppose -n = n + s. Let w be n - 27/(2 + -5). Is 6 greater than w?
False
Let d = -15 - -14.94. Let n = -9.06 - d. Let u = n - -9.1. Is -0.2 not equal to u?
True
Let i = -1 + -14. Let h = -911 - -912. Which is greater: i or h?
h
Let y(q) = q**3 + 5*q**2 - 8*q - 13. Let w be y(-6). Let b be w/(-7 - -3 - -3). Which is bigger: 2 or b?
2
Let q(g) = -3*g - 11. Let u be q(-3). Let v(y) = -12*y - 10. Let l be v(u). Which is greater: 13 or l?
l
Suppose 14 = -0*h + 4*h - 2*o, 4*o = 12. Suppose 5*d + 2*m = 61, -4*d - 14*m + 18*m = -60. Is h != d?
True
Let w(r) be the third derivative of -r**5/60 - 11*r**4/12 + 8*r**3 - 8*r**2. Let a be w(-24). Is -7 at least as big as a?
False
Let h(l) = l**3 + 4*l**2 - 6*l - 3. Let i be h(-5). Let q be i/