 i = 33 - l. Is 0 at least as big as i?
False
Let q = 97 + -1. Which is greater: q or 97?
97
Let h = -21.47 - -0.97. Let w = h - 1.5. Let s = w + 19. Does s = 2/7?
False
Let x(m) = -3*m**3 + 8*m - 8. Let r be x(1). Let z = -3/16 + -21/16. Are z and r nonequal?
True
Let u = 1.0275 + -0.0275. Which is greater: u or -14.21?
u
Let z be (4 - 2/4*-6) + -1. Let q be 4*(1 - (-3)/z)/(-6). Is 4/55 <= q?
False
Let f = 6.2 - 14.2. Which is smaller: f or 1/9?
f
Let z(q) = 5*q**2 - 3*q + 2. Let c be z(1). Suppose 29 = 3*j + 3*d - 37, 3*d = 2*j - 44. Suppose -b = 15 - j. Which is smaller: b or c?
c
Let q = -25726/3 - -8663. Let g(p) = p**3 - 5*p**2 - 17*p - 21. Let z be g(6). Let r = q + z. Which is smaller: 1 or r?
r
Let j = -1.0455 - -0.0455. Which is greater: 0.104 or j?
0.104
Let s = 9 - 21. Let l(m) = -m. Let o be l(s). Let i = -12 + o. Is i not equal to 2/29?
True
Let i(w) = 2*w**2 - 2*w - 84. Let k be i(-6). Is k >= 3/601?
False
Let f = -1 + 1. Suppose f*i - i = 0. Let j = 650/3 - 3241/15. Which is smaller: i or j?
i
Let x(j) = -j**3 - 3*j**2 + 2. Let o be x(-4). Let c = o - 16. Is c at least 12/11?
True
Let d = 7.94 + -8. Suppose 8 = -2*q + 3*j, -13*q + 18 = -4*j + 8. Which is greater: d or q?
q
Let z = 251.6 - 227. Let c = -25 + z. Is c at most 0?
True
Let y(g) = -4*g + 0*g + 5*g - 5. Let k be y(6). Let h be ((3 - 2) + 0)/k. Which is smaller: h or 3?
h
Suppose -41*x + 4*g = -39*x + 848, -3*x = 3*g + 1281. Do x and -427 have different values?
True
Let y be 188/28 + 2 + -9. Let f = 10.7 - 10. Let w = f + 0.3. Is w != y?
True
Let c(q) be the second derivative of q**4/12 - 2*q**3/3 + 2*q**2 - q. Let i be c(4). Suppose -4*v - 2*m - 20 = -6*m, -5 = -i*v - m. Which is smaller: v or -1?
-1
Let t = -57 + 57.61. Let k = t - 0.6. Let l = -1.99 - k. Which is bigger: l or 1/2?
1/2
Suppose 18*r - 19*r = 88. Let f be (-104)/693 + (-16)/r. Which is bigger: f or 1?
1
Suppose 0 = 3*c + h + 9, 0 = c + h + 3 + 2. Let z(r) = r**3 + 3*r**2 + r - 1. Let a be z(c). Let p be a + (-4)/((-12)/3). Which is smaller: 3/4 or p?
3/4
Let w(n) = -7*n**2 + 33*n + 110. Let i be w(-9). Which is bigger: -753 or i?
-753
Suppose -17 + 5 = -4*l. Suppose -l*x + 6*x + 21 = 0. Is -7 equal to x?
True
Let b = 20 + -17. Let v be (-3)/(-2)*b/(-6). Let f be 2 - ((-6)/(-8) + 1). Which is greater: f or v?
f
Let b(t) = -3*t - 160. Let a be b(-34). Is -58 < a?
False
Suppose -4*r = 5*a - a - 600, 3*a - 5*r - 490 = 0. Suppose -b - 145 = -5*i, 6*i - i - 3*b - a = 0. Is i not equal to 28?
False
Suppose -h + 8 = 23. Suppose -a - 4*v = 13, -3*a + 2*v = -5 + 2. Let p(j) = -15*j**2 + j + 1. Let g be p(a). Is h smaller than g?
False
Let s = 766 - 694. Suppose 0 = -3*r + 5*t + 194, 5*t + 239 = 4*r - 28. Which is bigger: r or s?
r
Let l be (-30)/135 + 1/((-36)/1666). Is l at most -48?
False
Let q be (-7)/(-20) + (-1)/(-4). Let t = -6.9 + 7.3. Let n = 3.4 - t. Which is smaller: n or q?
q
Suppose -190 - 305 = 11*r. Suppose b = 4*t - 24, -b - 39 = -0*t - t. Which is smaller: r or b?
r
Suppose 0 = 4*k - 12. Let p be k/4 - (-327)/12. Let n be (p/105)/((-4)/18). Is n greater than or equal to -1?
False
Let y be (-2)/550*35/14. Which is greater: y or -1?
y
Let s = -553/2 - -3431/14. Let m = -1058/35 - s. Which is smaller: m or 1?
1
Let s = -0.3 - -0.2. Let n = 9.57 + -5.57. Which is greater: n or s?
n
Let p = -35 + 34.98. Let c = -0.02 - p. Which is smaller: c or -0.1?
-0.1
Suppose -2*o = -o + 4. Suppose 5*g - 6 = 34. Let i = 3 - g. Is i greater than o?
False
Let m = 29 - 46. Let f = -15 - m. Let n = 2 - 1. Which is smaller: n or f?
n
Let w(n) = n**3 + 9*n**2 + 5*n - 54. Let y be w(-4). Which is smaller: -1/36 or y?
-1/36
Let j = -39109 - -8486580/217. Let z = j + 6/31. Do z and 0 have the same value?
False
Let i be ((-3)/9)/(2/(-516)). Suppose 2*z - 4*q + i = -z, 3*z + 3*q + 51 = 0. Is -21 bigger than z?
True
Suppose -8 = -3*p + 7. Suppose p*v - 2*k - 2 = 25, -5*v - 2*k + 43 = 0. Let o = v + -16. Is -8 at most o?
False
Let a = -44.1 + 43. Let p = -6 + 4.8. Let r = p - a. Are r and 13 equal?
False
Let c be 3 + (-1)/(5 + (-284)/56). Let d(q) = 16*q**2 + q - 1. Let v be d(1). Are c and v unequal?
True
Let y(u) = 3*u - 6. Let o be y(5). Let s(a) = -8*a**3 - 152*a**2 - 153*a. Let h be s(-1). Is o smaller than h?
False
Let d = 1/3 - 1/21. Let r = -49 - -69. Let k = r - 19. Which is smaller: k or d?
d
Let h be (-2 - (-8)/6)/(2/3). Let b(f) = 2*f**2 + f + 1. Let g be b(h). Which is bigger: g or 27?
27
Let z = 492 - 528. Is z at most -34?
True
Suppose 3*w + 2*w = -20, w + 4 = 5*f. Suppose c = f, 3*c - 5*c = -z + 27. Which is smaller: 28 or z?
z
Suppose -74*f - 208 = -126*f. Let b be 4/6 - 64/87. Let v = 37/116 + b. Is f < v?
False
Let r = 38 - 65. Let i = 1.27 + -2.27. Does r = i?
False
Let r = 31.1 - 31. Let i = -0.2 + 0.27. Which is greater: r or i?
r
Let h(d) = 2*d + 18. Let q be h(-8). Suppose 5*x = 3*c - 4*c, 0 = -q*x - 2. Suppose s - 62 = c*z, -4*z + 3*s - 40 = 7*s. Is -12 smaller than z?
False
Let f = 742 - 611. Which is greater: -5 or f?
f
Suppose -16*l + 20*l = 0. Let c be (10/35)/(9/(-7)). Which is smaller: l or c?
c
Let z be -2*4/(-24)*33. Let q = 16 - z. Suppose 5*r + 44 = 4*c + 2, 30 = 5*c + q*r. Which is smaller: c or 7?
7
Let p(u) = -u**3 - 18*u**2 + 23*u + 20. Let o be p(-19). Let f = -59 - o. Which is smaller: f or -11/6?
f
Suppose 3*a + 3 = 12, -d + 4*a = 13. Which is smaller: -6/65 or d?
d
Let d = -8015414/59 - -135851. Let j = d - 3/118. Is j less than -0.1?
True
Let n = 108 - 54. Let b = n - 55. Is b at most 15?
True
Let a = -146 + 139.1. Let z = -0.9 - a. Let s = -4 + z. Is s greater than -0.1?
True
Let k = 2 - 2.2. Let v = 473.97 + -483.97. Which is smaller: k or v?
v
Suppose -2 = 2*s, -3*m + 2*s - 198 = -134. Are 5 and m equal?
False
Suppose 0*c = 4*c - 48. Suppose m - 4 = -3*o, -2*o - 18 = -m + 1. Which is smaller: m or c?
c
Let d = -412 + 2880/7. Which is bigger: -1.2 or d?
d
Let n = 5 - 7. Let b be 139/(-170) + 56/476. Which is smaller: n or b?
n
Let o be 2 + 5/(15/(-6)). Let x(i) = i**2 + i + 4. Let d be x(o). Suppose -4*l = -2*l + d. Is l > -3?
True
Let f(z) = -z**3 - 3*z**2 + 3*z + 9. Let r be f(-4). Is 17 equal to r?
False
Suppose -x = -5*y - 6*x - 10, -2*x = y + 7. Do 33 and y have the same value?
False
Let p(c) = -340*c - 453. Let t be p(-3). Is 2 <= t?
True
Let n = 1.61 - -0.39. Let l = -1.9 - -3.5. Let d = n - l. Is d less than 0?
False
Let j(x) = -5*x**3 + x**2 - x. Let r be j(1). Let s = 8 + r. Let g = s + -4. Is g less than or equal to 1/5?
True
Let j(p) = p - 2. Let g be j(6). Suppose -2*w + 5 = w - 5*z, 8 = g*z. Suppose -7 = -5*b + t, -w*t + 6 = -5*b + 1. Is b less than 10/9?
False
Let z = -12/31 + 717/1612. Which is smaller: 1 or z?
z
Let d = -36 - -34. Let l(o) = -o**3 - o**2 + o - 1. Let p be l(d). Suppose -p + 0 = -b. Which is bigger: -3/29 or b?
b
Let i = 14 + 20. Let c = -34 + i. Which is smaller: c or 3/4?
c
Let u be (16/20)/((-1)/(105/114)). Which is smaller: 2 or u?
u
Suppose k + 5 = -2*w, -3 - 3 = -3*k + w. Let u be 5/1 - (k - 2). Which is bigger: u or 7?
7
Let t = 223 + -222.7. Is t less than or equal to 1.3?
True
Suppose 105*t - 92*t - 4966 = 0. Is 381 >= t?
False
Let j(r) = r**3 - 16*r**2 + r - 8. Let m be j(16). Let q(f) = 2*f**2 - 17*f - 11. Let h be q(m). Is -18 != h?
True
Suppose 0 = 12*u - 48 - 12. Which is bigger: 22 or u?
22
Let g = 29 - 16. Let y = -19 + 5. Let f = y + g. Is 6 greater than f?
True
Let m be -15*1/2*(-4)/(-6). Let x(d) = 2*d**3 + 3*d**2 - 2. Let z be x(-2). Which is smaller: m or z?
z
Let x = -16481/21 - -7989677/10164. Let u = x + -2/121. Suppose 4*d + 2*h - 3*h = 0, 3*d + 13 = 4*h. Which is smaller: d or u?
d
Let q(j) = j**3 + 5*j**2 + 5*j - 28. Let b be q(-5). Which is greater: -211/4 or b?
-211/4
Let j = -56.7 - -5.7. Let v = 33 + j. Let d = -28 - v. Is 0 less than d?
False
Let y(t) = t + 3. Let x be y(-3). Let l(r) = -2*r**3 - 2*r**2 + 3*r + 2. Let b be l(3). Let o = -367/6 - b. Is x at most o?
False
Suppose 0 = -2*u - u - 9. Let s be (-14 - -7) + 2 + -5. Let j = u + s. Which is smaller: -12 or j?
j
Suppose -3*s + 164 = s. Suppose 3*v - 2*r = -s, 68 + 11 = -5*v - 2*r. Let a(j) = -j**3 - 16*j**2 - 16*j - 16. Let c be a(v). Which is smaller: -1/5 or c?
c
Suppose 42 - 21 = 3*t. Suppose 3*n - 28 = t*n. Which is smaller: -3 or n?
n
Let i(v) be the 