b be t(3). Is 5643 less than b?
False
Let d = 284 + 112. Let g = -397 + d. Which is smaller: g or 2/1443?
g
Let q = -90 - -238. Suppose q*s = 160*s + 2016. Which is greater: -167 or s?
-167
Let r = 23.832 + -324.832. Which is greater: 0 or r?
0
Let q be ((-200)/(-8)*1 - 8) + 6. Is 922/41 bigger than q?
False
Suppose -4*d = -2*n - 3282, -2*n - d = 947 + 2305. Which is smaller: -1631 or n?
-1631
Let o = 1127.94 + -1139. Let p = o + 11.2. Is 4 > p?
True
Let t(i) = -5*i**2 + 3*i**2 + 27*i + 51 + 3*i**2. Let h be t(-25). Which is smaller: h or -1/460?
-1/460
Let o = 52.32 + -53. Let m = 53.68 + o. Let j = 53 - m. Are 4 and j non-equal?
True
Let m(a) = -595*a**2 + 9217*a - 18. Let j be m(16). Is j greater than -4864?
False
Suppose 3*h = 3*o - 6, h = -0*h + 2*o. Let l be (-2)/h*(-444)/(-3). Let g = l - 73. Which is smaller: g or -2?
-2
Suppose 0 = -3*v + 18 - 9. Suppose 3*y - v*q - q + 38 = 0, 94 = -5*y - q. Suppose 4*z = 2*p - 84, -5*p - 18 = 3*z + 19. Which is greater: z or y?
y
Suppose 5*y + 0*y - 5 = 0. Let j be 61256/(-638848) + (-4)/(-46). Are j and y nonequal?
True
Let j = 0.26 + 73.74. Let n = 1.65 - 72.75. Let g = j + n. Which is greater: 0 or g?
g
Let r be 8/(-230)*4 - 3/(-30)*4. Let k(j) = j + 2. Let f be k(-3). Is f not equal to r?
True
Let x = 52 - 52.64. Let o = -0.688 - x. Is o > -2?
True
Let z be 2/(-5) - (120/(-50) + -5). Let t be 4 + (1 - (-1 + z)). Which is bigger: t or 2/143?
2/143
Let a = 0.02573 - 1.69573. Is -2 < a?
True
Let f = 121 + -96. Suppose -3*d - 35 = 4*u, 2*u - u = -4*d - f. Is -70/17 < u?
False
Let i(x) = -2*x**2 - 1. Let z(f) = -5*f**2 + 17*f - 17. Let m(h) = 3*i(h) - z(h). Let p be m(-13). Do 66 and p have the same value?
True
Let i = -200 + 225. Let h = -28 + i. Is h equal to -2?
False
Let s(h) = -1217*h**2 + 10*h - 7. Let o be s(-3). Let l be (-4)/(-7) - ((-120650)/o)/19. Which is smaller: l or 0?
l
Suppose 0 = -h, -k + h + 49 = 154. Suppose 46 + 44 = 5*m. Let y be 100/(-15)*m/k. Which is smaller: y or -3?
-3
Let i be 6/(15 + 9) - (546/8 - 3). Which is greater: 82 or i?
82
Suppose 34*b = -73*b. Which is bigger: b or -9/214?
b
Suppose 20 = 2*x - x. Suppose -17 = -2*n + 11*m - 8*m, -2*n = m - 5. Let l be ((-2)/n)/(x/8). Which is greater: -0.08 or l?
-0.08
Let t = -2639 + 2396. Is t smaller than -1216/5?
False
Let h = 32 - 30. Let p be (-32)/14 + h - 156/(-448). Is -0.3 at most p?
True
Let y be (-12)/151*((-87)/(-72) + (-200)/150). Suppose -8 = -4*f - 4*w - 0, 2*f + 5*w - 13 = 0. Which is bigger: y or f?
y
Let o(l) = -l**3 - 7*l**2 - 7*l - 2. Let j be o(-6). Suppose -60 + 95 = 7*n. Let c = n - j. Is c < 0.37?
False
Let z = -8 - -10. Suppose -p + 2*l = 7, 18 = -0*p - z*p + 5*l. Let g be (108/(-28) - -3)/p. Which is greater: -2 or g?
g
Suppose -2*p - 45 = 81. Suppose 4*x = -2*h + 3*x - 23, 0 = -2*x - 6. Let c be p/15*75/h. Is 32 not equal to c?
True
Let c(a) be the first derivative of -a**3/3 + 5*a**2 + 14*a - 9. Let k be c(10). Suppose 3*n = 10*n + k. Which is smaller: n or -9/4?
-9/4
Let n = -17063/6 + 2864. Which is bigger: 21 or n?
21
Let h(f) = -17*f**3 + 5*f**2 - f - 39. Let n be h(5). Is -2046 at least as big as n?
False
Let o be (0 + 9)*4/34. Suppose -1022*v = 1165*v - 4374. Is o less than v?
True
Let v = 0 - 0. Suppose -o - 2*c = -6*o - 2282, -3*c = -4*o - 1827. Let x be -1 - 7/(-4) - 190/o. Is v < x?
True
Let y = 7965 - 7485.9. Let s = 482 - y. Is s not equal to -7?
True
Let r be (1 - 2)/1 - -3. Let j(l) = -11*l + 5*l**2 - r*l**3 - 13 + 23 + 3*l**3 - 42. Let g be j(-6). Do g and -17/5 have different values?
True
Let a = 2.07383 + 0.05517. Which is smaller: 1/3 or a?
1/3
Suppose 2*q - 9 = 57. Let l be (q/(-147) + 1)*(-2)/4. Let c = 2164/147 + l. Is c >= 15?
False
Let f = -1273 + 7333. Which is greater: 6061 or f?
6061
Let k be ((-18)/27)/(2/(-18)). Let v = k - -12. Let x be (-6)/(-140)*24/v. Which is greater: -1/3 or x?
x
Let j(g) = g**3 + 11*g**2 - 6*g - 17. Let l be j(-11). Suppose -4*t + 8*u = 3*u - 181, -t + 2*u + l = 0. Which is smaller: t or 36?
36
Let d = 0.92 + 0.08. Let r = 10.8 - 11.16. Let k = 0.26 + r. Is d greater than or equal to k?
True
Let z(p) be the third derivative of p**6/120 + p**5/10 - 11*p**4/12 - 11*p**3/6 - 41*p**2. Let i be z(-8). Which is bigger: i or 34?
i
Let a be ((-2)/5)/((-4)/10). Let m(q) = -q**3 + 19*q**2 + 27*q - 106. Let x be m(20). Which is bigger: x or a?
x
Suppose -o - 516 = -3*o. Let c = -66804 - -67061. Which is greater: c or o?
o
Let i(b) = -b**2 - 92*b - 1960. Let f be i(-35). Let j be ((-3)/2)/((-12)/304). Is j greater than f?
True
Suppose -3*i + 31500 = 1098. Is i <= 10134?
True
Let l be 1365/420 + (6/16)/(3/(-2)). Let s(o) = -o**2 + 2. Let i be s(0). Suppose l*b + 5*p + 22 = 0, 4*b + i*p - 5*p = 19. Is -1/8 at least b?
False
Let i = -25 - -40. Suppose -54 = -2*q - 4*k, q - 2*k - 87 = -4*q. Let o = 33 - q. Is i > o?
True
Suppose 94 = -5*k - 46. Let p be 73/(-18) - k/7. Suppose 5*d - y - 5 = 0, 6*y = 4*y. Which is bigger: d or p?
d
Suppose 151*g + 5*q - 31 = 155*g, g - 4*q + 27 = 0. Which is smaller: g or -2/17119?
-2/17119
Let w be (4/(-10) - 91/35) + 159. Let g be (w/(-14))/2 + 3. Let i(k) = -k**3 + 7*k**2 - 4*k + 24. Let o be i(7). Which is smaller: g or o?
o
Suppose 0 = 4*f - r + 166 - 102, -3*f = 2*r + 59. Is -17 greater than or equal to f?
True
Let a be (-1)/2 + 61/130. Let x be (-14)/21*-9 - (-1 - 1). Suppose -3*w + 0*w = -n, -4*w - x = -4*n. Which is smaller: a or w?
a
Let x(w) = 3*w**2 + w**2 + 14*w - 3*w**2 + 11 - 48. Let k be x(-15). Let p be -2*(-3 + (-64)/k). Which is bigger: p or 1?
1
Let s = 0.13884 - 0.31884. Which is smaller: -8.2 or s?
-8.2
Suppose 3*j + u - 137 = -u, j = -3*u + 48. Let x be (-51)/j + 2/3. Let v be (-24)/18*(-18)/48. Which is bigger: v or x?
v
Let l be (40/145)/(-4) + (-226877)/33495. Let w be (-3)/6*112/(-110). Let j = l + w. Is -5 < j?
False
Let m = 61.026 - 0.026. Let q = -60.062 + 60. Let c = 1.062 + q. Is m less than c?
False
Let j = -16623/706 - -47/2. Is 1 greater than j?
True
Let f = -24967 - -24966. Is 1/108 greater than or equal to f?
True
Suppose -64*m - 30 = -14*m - 35*m. Suppose 3*i + 20 = -2*i - 4*w, 10 = -2*w. Let o be (i - -1 - 1)/1. Which is smaller: o or m?
m
Let j be 0 + -2 - (-6 + 16 + -6). Let t be (42/(-126))/(28/j). Which is bigger: 0.03 or t?
t
Suppose 2*q + 7 = -j - 3, 20 = -4*q + 5*j. Suppose 2*w + 4*i = 2*i - 8, -2*w + 7 = -i. Let s be -11 + (4/(-2) - (-4 + w)). Is q less than s?
False
Let g be 3808/4641 - (-10)/(-65). Is g < -18.4?
False
Suppose 4*a = 8, 2*a = -4*x - 3*a + 134. Suppose x = -4*y + 3*q, -2*y = 5*q + 13 - 4. Is y > -11?
True
Let o = -14 - -14. Let t(b) = -6*b + 22. Let h be t(0). Suppose 4*l = a + a - h, 5*a + 3*l = -10. Is a bigger than o?
True
Let n = -0.6 - -2.6. Let v = -54 - -30. Let f = 36 + v. Is n not equal to f?
True
Let o be 72/(-34) - -2 - 36240/(-255). Let f(d) = -d**3 - 9*d**2 + 8*d - 11. Let y be f(-11). Which is smaller: y or o?
o
Let p be -5 + -1*(-86)/14 + (-32)/28. Is p <= 85/147?
True
Let k = -15503 - -13622. Which is smaller: k or 1?
k
Let p(d) = 3*d**2 + 82*d + 174. Let l be p(-25). Which is bigger: -33/20 or l?
l
Let k be ((-36)/1248)/(36/(-804)). Which is smaller: k or 0?
0
Suppose -3*f - 1156 = a, 20*f = -3*a + 21*f - 3428. Is a bigger than -1145?
True
Suppose -47 = 20*i - 7. Suppose 180 = 5*o - 8*o. Let g be (o/(-162))/(4/(-6)). Which is greater: g or i?
g
Let o(m) = -m**3 + 26*m**2 + 34*m + 35. Let b be o(27). Are 2011/9 and b equal?
False
Let u(n) = -n**2 - 6*n + 12. Let v be u(-7). Suppose -t + 3 = v. Let c be (-2 - t)*(-5)/15. Which is smaller: 3/49 or c?
c
Suppose n - 5463 = p, 18*n - 20*n - 5466 = p. Is p at least as big as -5463?
False
Let j be 12/(-15) - 4818/15. Let l = j - -321. Is -1/411 at least as big as l?
True
Let f = -2357/128428 - 3/1324. Suppose 14*d + 367 = 15*d. Let q = -368 + d. Which is smaller: f or q?
q
Let f be (9 + -1)*19/38*22/44. Let b = 6603 + -244271/37. Is f greater than b?
True
Let i be -4*(-6)/(-8) - -1. Let x be ((-105)/(-55) - 0) + i. Is 0 bigger than x?
True
Suppose -104*l + 12*l - 84283 = -3*l. Which is greater: -946 or l?
-946
Suppose 33 = 6*u + 21. Suppose -u*i + 4 = 5*x, 3*x = -0*x + 5*i + 21. Which is greater: 2/565 or x?
x
Let d = 6 + -40. Let i = 33.88 + d. Let s = 24.88 - i. Is -1 smaller than s?
True
Let h = 5831 + -9