 = 8*d. Let t be j(d). Which is greater: t or -31/4?
-31/4
Let y(q) = -6*q**3 + 8*q - 6*q**2 - 9 + 5*q**3 + 0*q. Let b be y(-7). Is b less than -46/3?
True
Suppose 3*i + f - 66 = 0, -10 = -2*i - 4*f + 34. Which is smaller: i or 23?
i
Suppose -v = 0, 0 = -3*o - 2*v - 3*v - 24. Are -11 and o nonequal?
True
Let d = 24.9 + 6.1. Let u = d + -28. Let i = -0.4 + 0.3. Which is smaller: u or i?
i
Let b = -8661/19 - -456. Suppose -13*w = -14*w. Is b greater than or equal to w?
True
Suppose 760*p - 2198 = 753*p. Is p greater than 316?
False
Let b(m) = 2 - 4 + 1 + 11*m - 12*m. Let u be b(6). Which is smaller: -25/4 or u?
u
Let d = 31 + -30.9. Let m = 0.24 + -0.04. Is m less than or equal to d?
False
Let s = 2195 - 2195. Which is smaller: s or 2.64?
s
Suppose -p + 274 = 3*w, 1132 = 4*p - w + 4*w. Let m = p + -157. Let d = -382/3 + m. Are d and 2 unequal?
True
Let w = -52.2 - -52.4. Which is greater: -328 or w?
w
Let i = -986 + 977. Suppose 4 = 2*q, -4*h = -2*q - 3*q - 150. Suppose 3*s = 8*s + h. Which is smaller: s or i?
i
Let q(a) = 3 + a - 1 - 1. Let j be q(3). Suppose 0 = j*h + 4. Is -4/13 less than h?
False
Suppose 5*a + t = -1088, a + 5*t + 150 = -58. Which is greater: -219 or a?
a
Let o = 882/5 - 183. Let d be (-93)/12 + (-2)/(-5). Let m = d - o. Is m bigger than -3?
True
Let o = -13 + 26. Let n = 180 + -91. Suppose -6*z = -n + 5. Which is smaller: z or o?
o
Let n = 220 + -189. Which is greater: 33 or n?
33
Suppose 47*m - 33*m - 70 = 0. Is m smaller than 2/3?
False
Let i be -2 + (4 + 266)/(-3). Let j = -96 - i. Which is bigger: -1 or j?
-1
Let k = -9.75 + -0.25. Let l = k - -8. Let n = -898/5 - -180. Which is bigger: l or n?
n
Suppose 0 = -4*x + 139 + 701. Is 210 <= x?
True
Suppose -2*i + 4 = 2*i. Let y(b) = b**3 - 9*b**2 - 2*b + 20. Let d be y(9). Let f be 13/39*3/d. Which is smaller: i or f?
f
Let p be (4/8)/(1/6). Suppose 9*t - 8*t = p. Suppose -t*j = 4*s - 2 + 1, 2*s - 18 = 2*j. Which is greater: -3 or j?
-3
Let i = 570/11 - 54. Is i > -3?
True
Let c = -227 + 203. Is c smaller than -24?
False
Suppose -2*a + 843 - 897 = 0. Suppose 112 = -3*l - l. Is l at most as big as a?
True
Let r(x) = 3*x + 31. Let s be r(-8). Let t be 44/(-14)*s/(-14). Which is greater: t or 2?
2
Suppose -4*u + 794 = 2*d, 386 + 373 = 4*u - 5*d. Is 196 bigger than u?
False
Suppose 2*s + 25 + 35 = 4*f, -2*s = 5*f + 15. Let n = -1.3 + 0.3. Is s less than n?
True
Let q = 13 + -7. Suppose q*y - 16 - 2 = 0. Let j(p) = -p**3 + 2*p**2 - p. Let o be j(y). Is o < -11?
True
Suppose -k - 29 = -2*k. Suppose k - 5 = 4*c. Suppose f + 4*j + c = 0, f = j - 4*j - 5. Are f and -3 unequal?
True
Let w = -98 - -98.72. Let q = 0.8 - w. Is q >= -3/2?
True
Suppose i - 2*u = -23 - 56, 0 = 2*i + u + 173. Do 2 and i have different values?
True
Suppose -30 = 5*j - 3*b + 8*b, -3*b = -4*j - 59. Let n = -7 - j. Let r(q) = -q + 11. Let t be r(9). Which is smaller: n or t?
t
Suppose -6*d + 2*d - 2029 = -5*x, 0 = -2*d - 4*x - 1008. Is -505 >= d?
True
Let x = -64 - 71. Which is smaller: x or -134?
x
Let k = 9/11 - 104/33. Is k >= 1?
False
Suppose -4*y - 8 = 12, f + y - 175 = 0. Suppose 45*x - 49*x = f. Which is smaller: x or -44?
x
Let h = -1/8345 + -250267/692635. Which is smaller: 0 or h?
h
Let w(h) = 110*h**2 - 7*h - 3. Let y be w(-1). Let g = y - 113. Let s = 1/23 + 43/69. Which is bigger: g or s?
g
Suppose o + 16 = -3*o. Let j(s) = s**3 + 4*s**2 - 4*s - 4. Let y be j(o). Suppose y = 2*t - 0*t. Is t >= 7?
False
Let v = -50247/764 + 7/382. Let n = -15509/236 - v. Which is greater: 1 or n?
1
Suppose -3*r + 0*r = 9, 3*r = a - 15. Let i(c) = -c**3 + 5*c**2 + 6*c - 11. Let b be i(a). Are b and 0.2 equal?
False
Let j = 0.81 - -35.09. Let z = 36 - j. Suppose 3*d = -d + 8. Which is smaller: z or d?
z
Let r = 11 - 11.5. Let c = -0.6 - r. Let q = c - 0. Which is smaller: 6 or q?
q
Let j = 0.8976 - -0.1024. Let k = 0.07 - 3.07. Let i = 3 - k. Is j < i?
True
Suppose -5*u = 35 + 55. Let k be u/6 + (0 - 21*2). Which is greater: k or 1?
1
Let m be (-75)/(-12) - 9/36. Let o(s) = s**2 - 4*s - 14. Let r be o(m). Which is greater: r or -12/7?
-12/7
Let g = -4 - 16. Let d be (-5)/g + (-7)/(-4). Suppose -5 - 11 = -d*x. Is 8 bigger than x?
False
Let g be (-1)/12 + (-1)/4. Let c be ((6 - 10)/16)/((-4)/(-150)). Let q = c + 541/56. Is q at most as big as g?
False
Let h be (1 - (2 - -4)) + 8. Is -13 less than h?
True
Suppose -n + 9 = 2*n. Suppose b + 0*b - 5 = 0. Suppose y = -l - 0 + 1, -b*y = -2*l + 16. Do n and l have the same value?
True
Suppose 0 = 4*m + 3*y - 5 - 2, -2*y = 2*m - 4. Let c = -8717177/17 + 513023. Let q = 248 - c. Which is greater: m or q?
m
Let h(q) be the first derivative of q**3/3 - 3*q**2/2 - 4*q + 3. Let z be h(3). Let y be (-3)/z - (-7)/28. Are 0 and y non-equal?
True
Suppose 0 = -3*o - 5*y + 3, -o + 5 - 4 = -4*y. Let q be (-3)/4 - (-100)/(-80). Let g be 46/44*q + 2. Which is bigger: g or o?
o
Suppose 15 = 4*d + 6*i - i, -5*d + 21 = 4*i. Let a(v) = 6*v**2 + 3*v + 4. Let w be a(d). Let c = 1175/7 - w. Which is smaller: c or 1?
c
Let k = -107.332 - -107. Let v = 0.132 + k. Is v greater than or equal to 10?
False
Suppose -2*l + 64 = -2*m, 3*m + 4*l - 56 = 5*m. Let r be (-122)/(-18) + (-8)/m. Which is smaller: 9 or r?
r
Let c be (6/(-10))/(2/(-10)). Let v be (32/20)/(c/(-15)). Is v not equal to -7?
True
Let p = 59 - 33. Which is smaller: -2 or p?
-2
Let u = -8451/16 + 528. Which is smaller: u or 0?
u
Let v(p) = p**2 + 7*p + 9. Let y be v(-6). Suppose -73 = 4*t - j, -6*t = -y*t + j + 53. Is t equal to -86/5?
False
Let g = -45748/17 - -2691. Which is bigger: 1.5 or g?
1.5
Let m be (-21)/(-2) + 22/2 + -11. Which is greater: m or 11?
11
Let y = -228 - -180. Let a be -1 - (78/y - -1). Let i = 2 + -2. Is a > i?
False
Let r be 584/10 + 192/(-480). Do r and 68 have different values?
True
Let r(c) = 3*c - 15. Let l be r(5). Let s be -4*(-100)/(-248) + 2 + l. Is s equal to 0?
False
Let v = 6679803/605 - 11041. Which is smaller: v or -1?
-1
Let j be 0 - (2 - 12/10). Let n = -10544 + 10548. Which is greater: n or j?
n
Suppose -3*i = -5 - 13. Suppose s = i*s. Is s not equal to 6/7?
True
Let c be (2 + -4 + -16)*-1. Which is smaller: c or 17?
17
Suppose -2*h = 16*h + 13734. Is h > -764?
True
Let m = -19492/499647 + -2/9797. Suppose -5*o + 4*o + 2 = 0. Suppose g + 0 = -3*z + 3, 2 = o*z - g. Which is smaller: z or m?
m
Let v be (-18)/(-228)*(10/3)/(-5). Which is smaller: v or -2/5?
-2/5
Let z be (-2)/(-5) - (-11401)/10. Let d = -102787/90 + z. Let t = -25/9 - d. Is -1 at most t?
False
Let j = 11.9 - 11.758. Let i = j - 0.042. Are i and -2/7 nonequal?
True
Let c = 804 + -892. Which is smaller: -91 or c?
-91
Let x = 0.9 - -339.1. Is x bigger than 1?
True
Let o(k) = 33*k - 1. Let b(r) = 65*r - 2. Let p(t) = 3*b(t) - 5*o(t). Let n be p(1). Are n and 29 unequal?
False
Let w = -117661/24 + 4904. Let p = -6385/24 + 266. Let f = p - w. Is -3 not equal to f?
True
Let g = -149.8 - -209. Let m = 59 - g. Is -25 != m?
True
Let p(k) = -k**3 - 10*k**2 - 13*k + 4. Let c be p(-9). Let h be ((-4)/c)/((-2)/(-152)). Let w = 679/90 + h. Is 1 greater than or equal to w?
True
Let y(t) = 2*t**2 - 13*t + 8. Let k be y(0). Which is bigger: 29 or k?
29
Let s = 186 - 192. Which is greater: s or -7?
s
Suppose -2*n = -2*g + 4594, -g + 3*n + 4589 = g. Is 2302 smaller than g?
False
Let i(j) = j**3 + 4*j**2 + 2*j + 5. Let h be i(-3). Suppose 0 = 4*f + 2*k + h, 2*k + 0*k = -3*f - 8. Which is smaller: 1/108 or f?
f
Suppose -5*s + 30 + 65 = 0. Suppose 18*g + 11 = s*g. Let d be g/22 + (-50)/36. Which is smaller: d or -1?
-1
Let q be -3*1*(-2 - (-55)/24). Suppose -2*n = n + 3*n. Which is smaller: n or q?
q
Let r = 0.56 + 21.44. Let j = -13 + r. Which is smaller: j or -1/3?
-1/3
Let f(b) = -2*b**2 + 6*b - 3. Let i be f(6). Let k be (-2)/(-3) - 286/i. Suppose -4*a - k = 4. Is 0 bigger than a?
True
Let w = -679/975 - -10/39. Which is bigger: 0 or w?
0
Let d = 10841/9177 + 4/437. Let i = 6/7 - d. Is i at least 5?
False
Let t(n) = -n**3 + 13*n**2 + 16*n - 25. Let y be t(14). Does y = 3?
True
Suppose v - 11 = 4*p, -4*v - 4 = -p - 3. Let f be ((-6)/(-8))/(8 + -5). Is f != v?
True
Suppose -4*d - 3*g - 1375 = 0, -g - 2*g = -4*d - 1393. Is d less than -344?
True
Suppose -3*v = 2*a + 2632 + 429, 3*a + 5*v = -4593. Let t = a + 10708/7. Let l = -9 - -14. Which is bigger: t o