s = -315 + u. Which is greater: s or 72?
72
Suppose 5*d + q = -24, 6*d - 5*d = 2*q - 7. Let v = -13 + 4. Let w = 3 + v. Is d equal to w?
False
Suppose 77*s = 10966 + 8515. Which is bigger: s or 1266/5?
1266/5
Suppose 52 = p - 5*v, 4*p - 2*v - 99 = 19. Are p and -1/33 equal?
False
Suppose 107*r - 150*r = -43. Suppose -3*o + 9 + 3 = 0. Let a be (o/(-26))/((-10)/(-3)). Is r < a?
False
Let y(x) = -x - 2*x - 21 + 19 - 36. Let s be y(-15). Which is bigger: s or 4?
s
Suppose -5*d = -7*d - 54. Let f(w) = -w**3 - 7*w**2 - 13*w - 43. Let a be f(-8). Let s = 98 - a. Are d and s non-equal?
False
Suppose -2*z = -5*i - 225, 0*z - 45 = i - 2*z. Let x = -49 - i. Let n = -0.1 + -0.9. Is x less than or equal to n?
True
Suppose 8*g - 9*g = -3*a - 3, -5*a - 5 = 4*g. Let j be (-48)/(-5) + a*(-4)/10. Let y = 1520 - 6037/4. Which is smaller: j or y?
j
Let f = 252 - 247. Let k be 0 + f + -55 + 6. Which is smaller: k or -45?
-45
Let k = -1.489 + -23.511. Is k greater than or equal to 0.82?
False
Let c = -1193/993167 - 4/2677. Let l(d) = -d**3 + 2*d**2 + 12*d - 17. Let m be l(4). Is c < m?
False
Let x = 354058/105 + -3372. Is -2/79 less than or equal to x?
True
Suppose -190*p = -178*p - 24. Let i be 19/3 - 7 - p/6. Let c be 8*(-3)/54*1. Which is smaller: i or c?
i
Let d = -24/379 + 3629/63293. Are d and 1 nonequal?
True
Let i = 3.766 - 0.176. Let o = i - 4. Let a = 12.59 - o. Which is greater: a or -2?
a
Let p = 30 + -19. Let f = 11.09 - p. Suppose 982*g = 958*g + 24. Which is smaller: f or g?
f
Let j = 22627 + -4367015/193. Which is smaller: -6 or j?
-6
Let p = 31980 - 31981.28. Are 53 and p equal?
False
Let m = -2112.9 - -504.9. Is 3 at most m?
False
Let l(r) = r**2 + 43*r + 38. Let n be l(-29). Let m = n - -2596/7. Is 3 <= m?
False
Suppose 5*h = -3*t - 15324, 4*t + 839*h + 20454 = 836*h. Is t at most -5118?
True
Let x = 4015 + -306. Which is greater: x or -1/4?
x
Let k = 521 + -532.05. Let m = -0.05 - k. Let y = m - 10.9. Which is greater: -0.02 or y?
y
Suppose 0*z + 36 = 6*z. Suppose -10 = 4*o + z. Let a be (o/45)/((-16)/(-40)). Is a bigger than -1?
True
Let p = -12/1847 - -21601/197629. Which is bigger: -1 or p?
p
Suppose 95 - 83 = -4*c. Let h be 0 + 15/10 + 4/8. Do h and c have different values?
True
Let b = -3226 + 3226. Which is greater: -1700 or b?
b
Let z(u) = -u**3 + 7*u**2 - 11*u + 10. Let n be z(5). Suppose 4*i = -s - 7, -n*s - 4*i = 5 - 2. Which is smaller: -2/803 or s?
-2/803
Let c = -2332 - -2331. Which is smaller: c or 132?
c
Let q(d) = d**3 + 4*d**2 + 5*d - 3. Suppose -4*w + 10 = o, -4*w + 4*o - 2 = -o. Suppose -3*c = -w*x + 18, c + c - 4 = -4*x. Let a be q(c). Are a and -23 equal?
True
Let b = -57 - -62. Let y be ((-80)/(-12))/b + (-498)/171. Is y less than or equal to -3?
False
Suppose 20 = 5*i - 10*i. Let l be (4 - (-179)/3)/(i/3). Which is bigger: -48 or l?
l
Suppose -3*i + i = -666. Let y = -46354 - -46688. Is y at most as big as i?
False
Let f = 7160 - 21754/3. Suppose 5*i = -3*y - 291, 3*i + 64 + 129 = -2*y. Which is smaller: f or y?
y
Suppose -31 = -2*t + 65. Let q = 34 - t. Let x = q + 9. Which is bigger: x or -3?
-3
Let t(w) be the first derivative of -w**3/3 + 7*w**2/2 - 30*w + 83. Let s be t(4). Which is smaller: -19 or s?
-19
Let w = 126 - -156. Is w at most as big as 283?
True
Let m(a) = -a**3 + 6*a**2 + a - 6. Let p be m(6). Let r = p + 5. Suppose 72 = 16*z + 24. Are z and r nonequal?
True
Let n(j) = -j**2 + j + 1. Let i be n(0). Let c = -32/1431 - 1303/5724. Is c at most i?
True
Suppose 422 = 4*v + 82. Let j = 105 - v. Which is smaller: -1 or j?
-1
Suppose -3*u + 83 + 43 = 0. Suppose 4*a + 7*t = 5*t + 18, 2*t - 2 = 4*a. Is u at most as big as a?
False
Let r = -4 - -7. Suppose r*x = -2*x. Let i = -997 - -24929/25. Which is bigger: x or i?
i
Suppose g + n = 3*g + 21, -3*g + n - 33 = 0. Let i be (-13)/((-8)/(-6) + g/(-18)). Let b = -22 - -15. Which is bigger: b or i?
i
Let d = -2293 + 2294. Which is bigger: 1/3020 or d?
d
Let q(t) = t**3 - 16*t**2 + 64*t + 32. Let p be q(14). Do 535 and p have different values?
True
Let h(d) = d**3 + d**2 - d + 5. Suppose -13*i + 10*i = 0. Let v be h(i). Suppose 2 = -q - 3*p, -v*q - 2 = 5*p + 8. Which is smaller: -0.04 or q?
q
Let p = 6252 + -6257. Let y = 5 - 3. Are p and y unequal?
True
Suppose 5*g + 9*g + 14 = 0. Let m(d) = 14*d**2 + 2*d. Let t be m(g). Let k be (-2)/(-5)*30*t/66. Which is greater: 3 or k?
3
Suppose 3*w = 3*h + 45, h - 65 = -42*w + 39*w. Suppose -w*l + 288 = -11*l. Is l at most 31?
False
Suppose -8*l - 3476 + 1036 = 2368. Which is smaller: -621 or l?
-621
Let t be 0 + (-1 + -2)/(-3) - (-10191)/215. Which is smaller: 48 or t?
48
Let l = 0.601 - -358.399. Let f = 359.2 - l. Is -69 less than f?
True
Let n be 84/(-18) + 6/9. Let d be 1*2331/5 + -5. Let i = d - 464. Is i greater than or equal to n?
True
Suppose 987 = -67*p - 2609 - 759. Let d = -9 - -14. Is p at least as big as d?
False
Let w = -3 + 6. Suppose f = w*f. Let z be (-96)/(-416) - (-76)/(-442). Which is smaller: f or z?
f
Let c(g) = -2*g**3 + 43*g**2 - 7*g + 374. Let m be c(22). Which is smaller: m or -261?
m
Suppose -5*o + 4*o = 0, 5*t - 20 = 3*o. Suppose -7*l - 3 = -t*l. Let k = -5283 - -5274. Which is greater: l or k?
l
Suppose 35 = -5*t - 25. Let u be t/28 - (-324)/21. Suppose -31*h + 28*h = -u. Is 5 greater than h?
False
Suppose -14*f + 18 = -11*f, -156 = 3*v - 5*f. Which is smaller: v or -54?
-54
Suppose -71*w - 5709 = -60*w. Let m be ((-30)/(-5) + -3)/(w/(-2)). Do 0 and m have the same value?
False
Suppose 3*m + 10 = h + 7, -48 = -5*h + 4*m. Suppose -279*z + h = -273*z. Is -1 < z?
True
Let c be (-39 - -9)*(-3)/2. Let l = c - 25. Which is smaller: l or 12?
12
Suppose 2 = -4*w - 18. Let l be 0 - w/((-5)/(-9)). Suppose -6 = g + l. Is -16 < g?
True
Suppose -20741 - 4453 = 39*u. Which is greater: u or -660?
u
Let o = -110/3 - -30. Suppose -384 = 2*d - 370. Is o greater than d?
True
Let s be 1445/85 + (2*-4)/1. Suppose -6*y = -4*y + 38. Let u = -11 - y. Which is greater: u or s?
s
Let z = -20535 + 20525. Let s = 1/5223 + -276824/26115. Is z <= s?
False
Let r = 36.39 + -40.39. Which is bigger: r or -246?
r
Let w(u) = -u**2 - 32*u - 232. Let z be 102/(-30) + 3 + (-206)/10. Let l be w(z). Is -1/500 not equal to l?
True
Let h = -1000 - -1019. Let i(s) = s**3 + 7*s**2 - 8*s + 2. Let q be i(-8). Let k be (q - (-64)/(-20))*-15. Are h and k unequal?
True
Let o be (-1 + -2 - -4)*69*1. Let b = o - 65. Suppose -b*c + 2*q + 2 = 0, -c = 3*c - 5*q - 17. Is c less than or equal to -1?
True
Let u = -15.9 + -1.1. Let j be (-126)/(-66) - 3/(-33). Suppose j*l - 7 = -3*h, -1 = l + 8*h - 11*h. Is l at most u?
False
Let g(j) = -50*j**2 - 5*j + 2. Suppose 7*t = 4*t + 9. Let f be g(t). Let u = -6022/13 - f. Which is bigger: u or -1?
u
Let p = -14 - -146. Let b = -8 - p. Is b != 1?
True
Let t = 882 + -890. Let z be ((-126)/(-95))/((-2)/10). Is z < t?
False
Let z = -430 + 431. Suppose -z = o - 16. Which is greater: o or 7?
o
Let d(t) = -t**2 - 8*t - 345. Let b be d(0). Let r = 689/2 + b. Which is bigger: 0.034 or r?
0.034
Let q = 74765/654 - 343/3. Let j(u) = 20*u + 1139. Let o be j(-57). Which is bigger: q or o?
q
Suppose -2*u - 12 = -5*o, -3*u + 180*o = 185*o - 7. Let m = 1473 - 7301/5. Which is bigger: u or m?
m
Let z(k) = -837*k**3 + 5*k**2 + 19*k + 29. Let d be z(-2). Is 6706 at most as big as d?
True
Let v = 26440/3763461 + -18/2197. Is -1 less than v?
True
Let u = 1314.18 + -1228. Let q = 86 - u. Let s = q + -1.82. Is -3 less than s?
True
Let y(r) = 17*r**2 - 260*r + 162. Let t be y(12). Is 5 greater than t?
True
Let p be 315/(-42)*2*1/(-15). Is -815 greater than p?
False
Let y = 331.13 + -333. Let x = 1.47 + y. Let z = -3 + 11. Which is greater: z or x?
z
Let u = -12/17 + 105/221. Let m = -1862 + 1864. Suppose -m*d + 4 = -g, -d - 20 = d + 5*g. Which is bigger: u or d?
d
Let v be ((-6)/24 + 1/4)/(-2). Let l(n) = n**3 - 4*n**2 - 13. Let s be l(v). Which is smaller: -61/5 or s?
s
Let j(w) = w**3 + 2*w**2 + 3*w + 2. Let p be j(-2). Let a(l) = 9*l - 143. Let d be a(152). Let m be (-2)/p*(-3 - d/(-405)). Which is bigger: m or -1?
m
Suppose -2*n = -d + 187, 3*n - 417 + 1380 = 5*d. Let r be (((-560)/(-25))/8)/(3/d). Which is bigger: -1 or r?
r
Let s(x) = x**3 - 5*x**2 - 5*x - 1. Suppose -5*h + 2 = m - 4, 30 = 5*m + 3*h. Let j be s(m). Suppose -21 =