 than or equal to z?
True
Let y = 1 + 15. Suppose 11*x = 14*x - 9, 5*o - 87 = -4*x. Let a = y - o. Which is smaller: a or -6/7?
-6/7
Let h = -29 - -44. Let r be (-4)/7*h/2. Are -3 and r nonequal?
True
Suppose -2*q = -5*t - 509, -10 = -5*q - 0. Do t and -99 have different values?
True
Let c(w) = -w**3 + 7*w**2 - w - 5. Let b(q) = -q**3 + 6*q**2 - q - 4. Let r(y) = -5*b(y) + 4*c(y). Let n be r(4). Let f = n - 36. Is -1 at least f?
False
Let v = -0.06 + -0.14. Let l = -0.8 + v. Is 23 <= l?
False
Let x(v) = -v**3 + 11*v**2 + 11*v - 18. Let c be x(12). Let t be (0 - 2)*61/(-4). Let g = c + t. Are g and -0.1 non-equal?
True
Suppose -3*f = -6 - 9. Let n be (2/f - (-544)/880) + -1. Is -1 greater than n?
False
Let d = -600491/35282 + 79/1357. Let f = -7/13 + d. Is -1 >= f?
True
Suppose -20*z + 8*z = 0. Suppose -4*i + 3 = -x, 5*i = -z*i + 2*x. Do -4 and i have the same value?
False
Let v = 14.4 - 19.4. Is v <= 1.4?
True
Let w = -4827 + 23817/5. Do -64 and w have different values?
True
Let j = 2820 + -205861/73. Is j > -1?
True
Suppose 155*m + 20 = 150*m. Let g = 9 - 5. Let n = g + m. Is n at most as big as 2/13?
True
Let r = 235.5 + -236. Which is bigger: r or 45?
45
Let i(m) = m**3 - 6*m**2 + 5*m + 2. Let k be i(5). Suppose -k*t - 10 = -4*t. Let h = t - -6. Is h greater than 11?
False
Let l(a) = a**3 - 10*a**2 + 5. Let u be l(10). Suppose 7*w = 4*w - 3*j + 6, -4*w - 19 = -u*j. Is w <= 4/13?
True
Let v = -68.2 - -62.2. Is -0.05 at least v?
True
Let y = -140026/3387 + 10/1129. Which is smaller: -42 or y?
-42
Let q = -0.834 - -0.774. Which is smaller: -1/4 or q?
-1/4
Let c be ((-24)/(-20))/(6/15). Suppose -v - 3 = 2*d, 60 = c*v + 2*v - 5*d. Let y = -13 - -19. Which is smaller: y or v?
y
Let o = -55 + 73. Let g be 6/o + 358/6 + 1. Which is greater: 62 or g?
62
Let t be 16/(-12)*(-2)/8. Is 1 at most t?
False
Let r be 5/((-70)/6) + (-4)/7. Is 99 < r?
False
Let g(t) = -t - 5. Let u be g(-8). Let z(p) = p**3 - 13*p**2 + 12*p + 8. Let q be z(12). Suppose 3*x - q = x. Which is bigger: x or u?
x
Suppose 2*q = -3*q - r + 12, 3*q - 10 = -2*r. Let i(n) = n**3 - 4*n**2 + 3*n + 1. Let s be i(q). Which is bigger: s or 1?
1
Let b(w) = w**2 - 33*w + 56. Let q be b(31). Let h = -7 + 6.3. Let x = 0.3 - h. Which is bigger: q or x?
x
Let y = 254 + -177. Which is smaller: 75 or y?
75
Let g = -154483 + 1557343121/10081. Is g greater than or equal to 1?
False
Let t = -2 - -1.9. Let j = 271 + -297.3. Let r = 26 + j. Is r < t?
True
Let i(o) = -2*o**2 - 31*o - 19. Let w be i(-12). Is 65 > w?
False
Let n = 12.397 + 0.603. Is -4/3 at least as big as n?
False
Let s = 308 - 308. Which is bigger: 1/30 or s?
1/30
Let z = -20.051 + 0.051. Let s = z - -20.03. Let c = -0.1 - -0.1. Which is greater: s or c?
s
Let m(n) = n**3 - 5*n**2 - 5*n - 5. Let j be ((-156)/(-91))/((-2)/(-7)). Let d be m(j). Let z be (-80)/441 - (-4)/18. Does d = z?
False
Let w = -19.6686 + -1.3314. Let c = -2.8 + 4. Let f = -0.2 + c. Is f != w?
True
Let o be (-515)/(-255) + 4/(-2). Let c = -725 - -724. Is c less than or equal to o?
True
Suppose 133 = -5*q - x, q + 2*x - x + 25 = 0. Let o be (-288)/q - (-1)/3. Suppose -12*b = -o*b + 2. Which is smaller: b or -1?
b
Let h be 122/(-18) + (-2)/9. Let a be 18/h*(-1 + -6). Suppose -3*i - a = -0*i. Is i smaller than -4?
True
Let n(x) = -x**3 - 2*x**2 - 5*x - 3. Let a be n(-2). Let z = 8 - a. Which is smaller: z or 1/5?
1/5
Suppose n - 211 = -2*a, 48*a - 422 = -2*n + 49*a. Is n greater than or equal to 0?
True
Let i be -4*(-2 - (-22)/8). Let a = i + 3. Let u be 4 - 70/21 - (-1)/(-3). Is u at most as big as a?
False
Let s(u) = 22*u - 1233. Let o be s(56). Are 261 and o equal?
False
Suppose 2*t = -0*t - 16. Let j be 92/t*710/75. Let q = -320/3 - j. Which is smaller: 3 or q?
q
Let m be (110/7 - 1) + 12/42. Let o = -17 + m. Let d = 1095 - 12057/11. Which is smaller: d or o?
o
Let i = -475 - 235. Is i at least -710?
True
Suppose -10*n = 29 + 11. Let p be 3 + -4 - (4 + -1). Let q = p - -1. Do n and q have the same value?
False
Let i = 1666579/390 - 62233/30. Let x = i - 2200. Is x less than or equal to 0?
True
Let r = -2185/16878 - -12/97. Which is smaller: r or -1?
-1
Suppose 4 = 74*l - 70*l. Let v be (-2)/5 + (-282)/(-680). Which is smaller: v or l?
v
Let w be (0 + -1)*(-4 - -2). Let z(g) = -g - 2. Let p be z(-13). Let t = -7 + p. Which is smaller: w or t?
w
Let r = -43 + 44. Do 15 and r have the same value?
False
Let a(h) = -h**3 + 8*h**2 - 1. Suppose c - 2*l - 18 = 0, -4*c + 2*l = c - 50. Let m be a(c). Is -3/5 < m?
False
Suppose z + 3*k = 0, -k + 2*k - 33 = -4*z. Let p be z/(-9) + 2 + -1. Is p equal to 20?
False
Let g = 135 + -137. Let z = 14 - 8. Let y(d) = -d + 4. Let m be y(z). Is m at least as big as g?
True
Let t = -502 - -549. Is t smaller than 45?
False
Suppose 222 = -8*g + 14. Let n = -93 - -66. Is g at least as big as n?
True
Let t(d) = -2*d - 2. Let x(u) = u**2 - u - 1. Let y(b) = -2*t(b) - 2*x(b). Let h be y(5). Let k be h/63 + (-13)/(-18). Which is greater: 1 or k?
1
Let k = 1 - 0. Let m be 12 + (-7 - 0) - 58/12. Is m >= k?
False
Let h = 1/105 + -5149/420. Do h and 2 have the same value?
False
Let b = -237 + 241. Which is smaller: b or 41/16?
41/16
Suppose 0 = -11*q + 8*q + 84. Suppose 2*a = 6*a - q. Let o = -12 + 21. Which is smaller: o or a?
a
Let p be (-13)/(-12) + 5/20. Let v = -12.82 - 1.38. Let j = 14 + v. Which is greater: p or j?
p
Let x = -21/44 - -8/11. Which is bigger: x or -29?
x
Let f be (-2)/((3/12)/(15/(-24))). Let o be 3/9*(-375)/f. Are o and -22 equal?
False
Let w(n) = 228*n**2 - 2*n - 3. Let h be w(3). Let a be -4 + h/564 - (-1)/4. Is 0 < a?
False
Let u = 2.03 - 2.23. Is 0.7 less than or equal to u?
False
Let m = -18 - -19. Let i be (m/4)/(13/52). Is -1/4 greater than i?
False
Suppose 19*m - 15*m - 329 = -5*q, -5*m + 400 = 4*q. Is 74 at most as big as m?
True
Suppose -5*c = -0*h + h - 39, -5*h + 4*c = -79. Suppose h*v - 24*v + 10 = 0. Which is smaller: 10 or v?
v
Let s = 90 - 42. Suppose -6*j - s = -10*j. Let q = 2 - 1. Which is greater: j or q?
j
Let m = 616352760 + -7003616393275/11363. Let i = -1/1033 + m. Is i equal to 1?
False
Suppose -2*p - 32 = -3*z + 3*p, 3*z + 3*p = 0. Let n be (-9)/(-27)*3/1. Which is bigger: z or n?
z
Suppose s + 5*v - 15 = -7, 5*s = -5*v - 20. Let o = -4 - s. Suppose -49*z + 20 = -53*z, -5*f + 25 = z. Is f != o?
True
Suppose 0*c + 14 = -3*y + c, -4*y - 22 = 2*c. Let w = -1050 + 1045. Do y and w have the same value?
True
Let n = -32328 + 64656. Let c be ((-8)/28)/(n/6538). Let q = 1/449 + c. Do q and 0 have the same value?
False
Suppose 0*x - 2*x - 4*b = -6, -4*x = -2*b + 8. Let n be 4/10 - (-96)/(-190). Is n > x?
True
Let a = 54 + -50. Suppose 3*t + a*m = -81, -4*t - 80 = 2*m - 6*m. Is -24 greater than t?
False
Let v(y) = -62*y + 307. Let s be v(2). Which is smaller: s or 180?
180
Let v(k) = 35*k - 58. Let q be v(11). Is q equal to 326?
False
Let y = -510 - -509. Which is smaller: y or -1/54?
y
Let q = 19050 - 400952/21. Suppose -4*r - 4*y = 164, -6*r = -r + y + 213. Let x = r - q. Are x and 1 unequal?
True
Suppose 0 = -3*m + 9*n - 7*n + 7, -n = 4*m + 9. Let l be (41/44 - 1)*8. Which is smaller: m or l?
m
Let a = -317/5 + 2818/45. Which is smaller: a or -2?
-2
Let i = 222.186 - 222. Let j = 0.086 - i. Which is smaller: 0.1 or j?
j
Let o(k) = -19*k + 226. Let q be o(24). Which is smaller: -229 or q?
q
Let c = -377 + 375. Is c greater than -48?
True
Let g = 39 - 15. Let j be 2 + -6 + -15 + 2. Let y = g + j. Is y at most 7?
True
Let c = -1999 - -1998. Let y = 4 + -20. Let v be (-12)/y + 1/(-2). Is v less than c?
False
Let w be -906*15/4960 - -3. Let d = w + -10/31. Which is greater: 0.1 or d?
0.1
Let l be (-55)/(-910) - (-4)/26. Let u = l + -1/21. Which is bigger: u or 2/13?
u
Let k = 5357/3 - 1924. Are -139 and k unequal?
True
Suppose 0 = -16*d - 102 - 154. Let w be 1*(d/4 - -5). Which is smaller: w or -4/33?
-4/33
Let a = 0.01 - 0.13. Is -3 smaller than a?
True
Let d = -9.73 + 9.73. Let s = -0.23 - 12.77. Which is bigger: d or s?
d
Suppose g + 0*t - 4*t = 175, 0 = -t - 1. Suppose 0 = -p - 5*s + s - 47, -4*s - g = 5*p. Which is greater: p or -32?
p
Let v = 1.3 + -1. Suppose -a = -4, -4*x - 8*a = -6*a - 24. Which is smaller: v or x?
v
Let y = -99/4 + 7215/292. Is y at least as big as 2/5?
False
Let k = 20 + -16. Suppos