f = 40 + 25, 0 = -q - 3*f + p. Which is smaller: q or w?
w
Suppose y + 27 = t + 36, 0 = -2*y - t - 9. Let w = -3468/3913 - -40/43. Are y and w unequal?
True
Suppose 0 = -2*t + 2*b - 26, 0 = 7*b - 3*b - 4. Let m(k) = k**3 + k**2 + k - 1. Let r be m(-4). Let i = r + 42. Is i greater than t?
True
Suppose 3*o - d = -445, d = -2*o - 31 - 269. Is -141 bigger than o?
True
Suppose -1343 + 1333 = -2*s - 2*a, 0 = -4*s - a + 38. Let y = 3215/4 - 793. Which is bigger: y or s?
s
Suppose -4*j + 20 = 0, 7*j - 2*j - 213 = -4*u. Is u at least as big as 28?
True
Let o(n) = 4*n**2 - n. Let s be (5 - 1)/(-2) + 0. Let i be o(s). Let x = -24452 + 24468. Which is smaller: x or i?
x
Let q = -159 - -144. Suppose -4*o = 2 + 6, -2*o = -5*u + 14. Suppose 0 = -5*f - 4*c + 1 - 71, -u*c - 56 = 4*f. Which is greater: q or f?
f
Let o(r) = -r**3 + 4*r**2 - r + 58. Let m(y) = y**3 - 5*y**2 - 59. Let f(q) = 6*m(q) + 5*o(q). Let g be f(11). Is 63 >= g?
True
Suppose 2*h + 189 = 37. Let r = 149 + -74. Let g = r + h. Are g and -7 non-equal?
True
Let p = 126 - 189. Let x be (-18)/p + 2/(-56). Let j be (-2 - -5)/(-6*2/4). Which is smaller: x or j?
j
Let a(t) = -t**3 - 6*t**2 - 10*t - 3. Let h be a(-4). Suppose 3*b + 133 = -w, -h*b + w = 3*w + 223. Let u = b - -40. Is u at least 4?
False
Let f = -373 + 372.6. Let c = 3.6 - f. Is 7 greater than or equal to c?
True
Let j = 23 + -10. Let m be 20/(-150) - (-681)/45. Is j > m?
False
Let s be (-2 - 44/3)/((-11)/132). Let w be (36/10)/(15/s). Suppose -2*y = -w + 72. Which is greater: -10 or y?
-10
Let m be ((-31)/(62/3))/(3*2/(-736)). Is 158 at least as big as m?
False
Let h be 208/6*((-55350)/36)/5. Which is bigger: h or -10659?
-10659
Let m be 8 - (0 + 2 + 1). Suppose 3*k - 2*t + 14 = 0, 2*k - 7*k = -4*t + 24. Let f be -32*((-8)/k)/((-10)/1). Which is smaller: f or m?
m
Suppose h - 8 = -3*m, 5*m - 3*h - 15 - 3 = 0. Let q be 1219/2968 - (6/16)/m. Which is smaller: 0.71 or q?
q
Suppose -22*r + 27*r = -145. Let g = r - -31. Are g and 2 equal?
True
Suppose 0*t + 14*t + 854 = 0. Let d = 64 + t. Suppose -5*s + 10*s = 4*f - 133, d*s = -5*f - 65. Does s = -24?
False
Let y = 11355 + -11342. Which is greater: y or -578?
y
Let h(y) = y**3 - 19*y**2 - 90*y + 618. Let m be h(11). Which is smaller: -1342 or m?
-1342
Suppose 2*b = 9 + 75. Let h be (2/(-4))/((-25)/645*(-30)/(-100)). Which is smaller: h or b?
b
Let l(s) = s**2 + 3*s + 3. Let k be l(-3). Suppose -4*x - v - 207 = 0, -49*x - v - 259 = -44*x. Let h be (-14)/x*480/84. Is h >= k?
False
Suppose 2*x - 791 = 2489. Let o = -60676/37 + x. Is 1 less than o?
False
Let s be -2*(27/(-6) + 4). Let p = 0.053 - -0.287. Let l = p + -0.25. Is l at most s?
True
Let x be (-5740)/15 - (4 + (-32)/12). Let k = x - -378. Which is greater: k or -5?
-5
Let q(n) = -n**3 + 13*n**2 - 12*n + 11. Let s be q(12). Suppose 0 = -6*a + s*a. Let o be (-2)/15 - ((-142)/(-10) - a). Which is bigger: o or -15?
o
Let c(z) = 48*z**2 - 200*z - 11. Let x be c(5). Is x > 188?
True
Suppose 0 = -270*c - 487097 + 14589 - 180082. Which is greater: c or -2412?
-2412
Let d be (-674)/(-10) + (-2)/5. Let u = -666 - -666.3. Let p = u - 0.4. Which is greater: p or d?
d
Suppose 5*m = -0*m - 5*r, 0 = -m - 2*r + 2. Let t(v) = v**3 + 4*v**2 + 4*v + 3. Let i be t(m). Suppose 15 = x - i. Does x = 18?
True
Let b = 461 + 7. Suppose -3*m - b = -7*m. Let d = m + -117. Which is greater: d or -15/13?
d
Suppose -72 = -26*j + 32*j. Let g = j - -14. Suppose 0 = -4*w - 5 + 13. Is w bigger than g?
False
Let u be 8/(-22) + (3 - 4). Suppose 30*y - 35*y + 75 = 0. Suppose 20*t = 7*t - y*t. Do t and u have the same value?
False
Let o be (-29 + 32 + 22/(-4))*46. Let v be (-9)/(-15) + 7774/o. Is -67 bigger than v?
False
Suppose 1 = -3*b - 2*u, -2*b = u - 2*u - 4. Let d be 2/6 - ((-35270)/(-5550) - 6). Is d not equal to b?
True
Let p be 6 + -4 + 8 + -10. Suppose p = -11*n + 60 + 83. Let u(w) = 2*w**3 - 3*w + 3. Let c be u(2). Is n greater than or equal to c?
True
Let q = -4 + 0. Let f be (-825)/125 - q/(-10). Let c be (2*(-62)/8)/2. Which is bigger: f or c?
f
Let u(a) = 4*a + 21. Let w be u(-6). Let i = 1039 - 1035. Is i smaller than w?
False
Let t = 5383 - -2238. Which is smaller: t or 7620?
7620
Let y = 1314 - 7829/6. Suppose -31 = -5*t + 19. Which is greater: t or y?
t
Let d be -15*(10/40 - (-21)/(-20)). Suppose d = -y + 29. Which is smaller: y or 16?
16
Let k = -2163 + 2166. Which is smaller: k or -6?
-6
Let h = 9841 - 9840. Is h < 2/17167?
False
Let u = -0.13971 - -0.13971. Is -21/8 greater than u?
False
Suppose 0*m - p + 1259 = -2*m, 5*m = p - 3140. Let w be (-2 - 1257/m)*-2. Is -2/3 >= w?
False
Let o = 11062/3 - 122402/33. Is o greater than or equal to 0?
False
Let d = -29/84 + 1/84. Let o = -0.0376 + 0.5576. Which is bigger: d or o?
o
Let v = -16.1 + 16.142. Let q = 0.012 - v. Which is smaller: q or 2/37?
q
Let d = 41/336 - -61/112. Which is bigger: 54.1 or d?
54.1
Let m be 10/12*815/(-100). Let d = m - -26/3. Is 2 greater than or equal to d?
True
Let p(n) = 4*n**3 - 11*n**2 - 10*n + 23. Let l be p(5). Let g be ((-27)/l)/((-9)/(-24)). Is -0.9 != g?
True
Let b be ((-12)/(-10))/(-3) - (-387)/(-45). Let z be (8 - (-1206)/(-153)) + b/(-68). Which is smaller: z or 0.153?
0.153
Let k = -4 - 1. Let x = 2 + k. Let r = -44248 - -132743/3. Is r <= x?
False
Let s = 0.02 + -2.14. Let j = -0.12 - s. Suppose 15*z - 11*z - 2*y = 72, -72 = -4*z + 3*y. Is z smaller than j?
False
Let y(j) = -j**3 - 8*j**2 + 60*j + 492. Let a be y(-7). Let l be (-298)/(-14) + (-12)/42. Which is bigger: a or l?
a
Let p(k) = -149*k - 1938. Let v be p(-13). Does v = -11/588?
False
Let h(q) = 20*q - 96. Let d be h(6). Which is smaller: d or 160/7?
160/7
Let m = 0.03 - 0.42. Let z = 636.67 - 636. Let j = z + m. Is j less than -1?
False
Let j(w) = -22*w - 71. Let y be j(-4). Suppose 89 = y*n + 361. Which is smaller: n or -13?
n
Let j = 5329802/361 + -14764. Let f(t) = t**3 + 3*t**2 + 2*t + 1. Let m be f(-1). Is m bigger than j?
True
Let y(o) = -3*o**2 - 2*o - 1. Let x be y(-1). Let r be -4 + 16/2 + 7. Is r bigger than x?
True
Suppose 0 = 5*k - 4*t - 17, -5 = 5*k - t - 13. Let g be 10/(-140)*(k - -3). Suppose 0 = 7*f + 64 - 232. Which is smaller: g or f?
g
Let b = 13 + -13.14. Let h = -0.04 - b. Let c be 26/(-39)*((-54)/124)/(-9). Which is smaller: h or c?
c
Let z(f) be the first derivative of -f**4/4 + 3*f**3 - 9*f**2 + 12*f - 101. Let a be z(7). Is -19 at least as big as a?
False
Let u(l) = 6*l**2 + 2*l - 2. Let b be u(1). Let i be (4/b)/(-2*(-2)/84). Suppose 25*z = i*z. Which is smaller: 5/11 or z?
z
Let z = 6882 + -6854. Let x = 1.99 - 2. Which is smaller: x or z?
x
Let v = 0.041 - -0.05. Let r = -0.091 + v. Let x = -0.7 - 4.3. Are x and r equal?
False
Let y = 14 - 2. Let m be (-2)/(-7) - y/(-105). Let w be 3 + -1 - (0 + (-2 - -5)). Which is smaller: m or w?
w
Suppose 557*s - 561*s = 4*w - 96, 5*w - s = 102. Is -37 less than w?
True
Let p be ((13/(-4))/(-13))/(-4). Let b = 41 - 50. Is p smaller than b?
False
Let q = 333 + -306. Let z(s) = -s**3 + 27*s**2 + 3*s - 60. Let k be z(q). Is 5 less than or equal to k?
True
Let o = -519 + -20. Suppose 6382 + 4958 = -21*q. Is o bigger than q?
True
Let l = -1554 + 1391. Do l and -1142/7 have the same value?
False
Let b be (2 - 7) + -67 + 0 + -4. Let h = 146 + b. Which is greater: h or 68?
h
Let v be 2 + 0 - (-240)/(-114). Let c = -60/209 - v. Let o = 374 + -377. Do o and c have the same value?
False
Let l be (75/(-10))/(-5)*2. Suppose 6*j + 650 = 2*y + l*j, 2*y + 5*j = 666. Let r be -3 - (-4)/(y/242). Which is smaller: 0 or r?
r
Let t be ((-9555)/(-980))/((-6)/(-1720)). Which is bigger: 2796 or t?
2796
Let u = 65 + -3.06. Let m = u - 62. Suppose 5*f = -p + 25 - 7, 4*p + 3 = 5*f. Is p <= m?
False
Suppose 2 = 4*a + 14, -5*a = -g - 10. Let b be (-314)/(-10) + 10/g. Which is smaller: b or 2/5?
2/5
Let y(o) = -o**2 - 7*o + 19. Let i be y(-7). Suppose 0 = 14*v - i*v + 2*n + 183, 5*n = -4*v + 120. Which is smaller: v or 38?
v
Let g(f) = -f - 1. Let d(v) = 42*v - 14. Let w(x) = -d(x) - 2*g(x). Let h be w(9). Let m = h + 5858/17. Is m at most as big as 1?
True
Let t(g) = g**2 + 25*g - 466. Let m be t(15). Which is bigger: 161 or m?
161
Let v = 22 - 22.37. Let x = v - -0.57. Suppose 5*z + 15 = t - 16, -4*t = -5*z - 64. Which is bigger: x or t?
t
Suppose 2*v = -3*o - 2