s greater: l or 19?
19
Suppose 4*u + 9*p + 32 = 4*p, 3*p = -5*u - 27. Let g(r) = r**3 + 4*r**2 + r - 5. Let m be g(u). Which is bigger: -2/9 or m?
m
Let w = 21 - 19. Let q(l) = -3 - 7*l + 8 + 13*l + l**w. Let m be q(-5). Which is smaller: m or 9?
m
Suppose -9754*f - 36 = -9750*f. Is f bigger than -44?
True
Let i(g) = -g**3 - 12*g**2 - 7*g + 52. Let j be i(-10). Let r = 78 + j. Is r != -2/221?
True
Let y be ((-966)/(-5))/(1/(-10)). Let i(n) = -4*n**2 + 15*n + 2. Let a be i(4). Let j be y/486 + (2 - a). Which is greater: 1 or j?
1
Suppose -48*t + 30*t = -19*t + 1. Which is greater: 136/91 or t?
136/91
Let x be (2020/25)/(0 - 8/(-20)). Let s = x - 298. Are -96 and s equal?
True
Suppose -z + 21 = -8*z. Suppose g - 5 = -1. Let x be (2 - (g - 0)) + z. Is -26/5 at least as big as x?
False
Suppose 2*i - 3*d = -102, -5*i - 3*d = -6*d + 246. Let f(p) = p**3 + 47*p**2 - 47*p + 48. Let w be f(i). Is -12/91 > w?
False
Let h = 10/13 - 56/39. Let w(g) = -g**2 + 3*g + 2. Let f be (-1)/(-1)*(-6 + 10). Let m be w(f). Which is smaller: h or m?
m
Suppose 4*c = 0, 143*f - 138*f - 3*c = -105. Suppose 0 = 3*a + 2*a + 65. Which is bigger: f or a?
a
Let y be (11 - 7) + (-6 - 1). Let r(d) = 20*d**2 + 10*d + 4. Let m be r(y). Which is bigger: -2/3 or m?
m
Suppose 3*t - q + 13 = 38, 35 = 2*t + 3*q. Suppose t*m - 36 = 4*m. Let l = 5 + 0. Which is smaller: l or m?
l
Let h be (-4)/10 - 94/(-10). Suppose -714 = 2*s + 4*g, 4*s - 16*g + 1401 = -15*g. Let z = -341 - s. Is h less than z?
True
Let t = 18 + -19. Suppose -16*j - 8*j + 144 = 0. Let d be (j/(-399)*-7)/(-10). Which is greater: t or d?
d
Let p = 13.7 + -43.7. Let o = p - -33. Is o smaller than -22?
False
Let c be (-28264)/(-2568) - (0 + (14 - 3)). Which is smaller: -1 or c?
-1
Let b(v) = v**3 - 16*v**2 - 17*v + 102. Let f be b(16). Let x = 11.2 + -11. Which is bigger: x or f?
x
Let p = -13887 - -13887.43. Is -12 != p?
True
Let b = 16 - 9. Let l = 601 - 1798/3. Which is smaller: b or l?
l
Suppose 31*n = 44*n - 260. Suppose 4*v = n, -d - 4*d + 70 = v. Do d and 13 have different values?
False
Let d = 103.62 - 41.16. Let o = d + -0.46. Let g = o + -34. Is g smaller than 2/7?
False
Let i be (0 + 12/21)*136/13022. Are -1 and i nonequal?
True
Let f be (-5 - -5 - -2 - (-74)/(-4))*14. Do -1385/6 and f have the same value?
False
Let v = -2/489 - -1276/72861. Are v and -1 non-equal?
True
Let t = -4649/155 + 1060/31. Let m = -8.1 + 10. Let l = m - 2. Which is smaller: l or t?
l
Suppose 3*z + 162 = z + 4*y, 5*y = 10. Let r(n) = -n**3 - 6*n**2 - 9*n - 9. Let v be r(-6). Let i = z + v. Are -32 and i non-equal?
False
Suppose 2*g - g = 2*j + 10, 0 = -5*g - 4*j - 20. Suppose o + 154 = -3*f, 3*o - 28 - 40 = f. Let p = f + 68. Which is smaller: g or p?
g
Let n = -215.7 - -213.7. Is 868 less than n?
False
Suppose 7 - 25 = 2*s. Let m = 53565/13 - 4129. Is s bigger than m?
False
Suppose 11*u - 74 = 21*u + 27*u. Which is greater: u or -22/35?
-22/35
Let y(d) = -244*d - 2008. Let i be y(-10). Which is smaller: 435 or i?
i
Let j = 29804 + -30216. Which is smaller: j or -414?
-414
Let k = -433.223 + 433. Let a = -73.123 - k. Let n = a + 72. Which is greater: 0 or n?
0
Let a be (-1572)/10*(-110)/44. Let o = a + -417. Which is greater: -22 or o?
-22
Let s = -23735 + 21442. Is s at most as big as -0.1?
True
Let q(j) = -j**3 + 57*j**2 + 58*j + 172. Let x be q(57). Which is smaller: x or 3479?
x
Let l be (-13)/(-247) + 117484/(-2298620). Suppose -5*n - 2*q + 5 = -4*n, -13 = -3*n - 5*q. Which is greater: l or n?
n
Let r be 117/1*(-10)/(-6). Let f = r - 108. Let i be 12/4 + f/(-31). Is i > -1?
True
Let s = -2134 - -2134. Which is bigger: -19/345 or s?
s
Let x(w) = 61*w - 1. Let o be x(4). Let z(k) = 27*k**2 - 84*k - 12. Let b be z(5). Is o smaller than b?
False
Suppose 83 = 3*q + 2*p, 6*q - q - 4*p = 153. Let i(d) be the first derivative of -9*d**2/2 + 100*d - 178. Let z be i(8). Is z not equal to q?
True
Let j = -11762/865 + -2/865. Suppose x + 0*x + q - 11 = 0, x = 5*q + 41. Let a = x + j. Which is smaller: a or 1?
1
Let u be 298/(-20)*((-120)/(-84))/5. Let d = u + -11/35. Do d and -5 have different values?
True
Let d = -14.95 + 14.1. Let a = 8.15 - d. Which is bigger: a or -17?
a
Let j be -4 - ((-71123)/6096 - (14 - (-10 - -21))). Let c = 27807921/2032 - 13685. Let m = c - j. Is m at least as big as -12?
True
Let t = 84 + -51. Let n = -113 - t. Which is bigger: 0 or n?
0
Suppose 131*b - 126*b - 5 = 0. Let o be ((-20)/(-70) + 18/(-14))*b. Let k = -448/261 + 24/29. Is o at most k?
True
Suppose -187*g + 192*g + 1960 = 0. Let h = g - -393. Is h > -82?
True
Let f = 49 - 48. Let r be (-1)/(-2)*-3*(-8)/(-2388). Which is smaller: f or r?
r
Let d(i) = -i**3 - 18*i**2 - 157*i - 68. Let j be d(-19). Which is greater: 3275 or j?
j
Suppose -4*j - 4072499 = -447*j. Is 9193 at least j?
True
Let r = 3941 - 3919. Let w = -8 + 7.2. Let d = -0.6 - w. Which is smaller: d or r?
d
Suppose -3*q = -5*j + 5 + 15, 0 = 2*j - 8. Let s = 886/7 - 264049/2086. Which is smaller: s or q?
s
Let i be -5 + 11 - (5 + 42 + -2). Let t be i/1664*((-12)/(-9) + -3). Are 0 and t equal?
False
Let o be (-17)/(510/24) + (-542)/(-80). Let m = o - 75/8. Which is smaller: -4 or m?
-4
Let o be (8/2)/((-152)/(-304)) + (-25587 - 1). Which is smaller: -25581 or o?
-25581
Suppose 0 = -3*o - 5*r + 11, -4*r = -0*r - 4. Suppose v - 5*b - 18 = -0*v, -o*b = -4*v. Let z be 13/(-2)*(-2)/(-10)*2. Which is greater: z or v?
v
Let b(s) be the second derivative of -13*s**3/6 + 18*s**2 + 32*s. Let r be b(4). Let c = r + 17. Which is greater: 1/73 or c?
c
Let o = 7/4 - 25/12. Let g = -264 - -264. Which is greater: o or g?
g
Let b be 3 + (272/(-85) - (-3)/15). Which is greater: -8/895 or b?
b
Suppose 0 = -3*h + 7*h - 2*a - 20, -14 = -3*h + a. Suppose 16 = -h*d + 12. Let z be d/(-9 + 4 - -6). Is -3/104 equal to z?
False
Let v(y) = 11*y - 71. Let t be v(10). Suppose 0 = 6*c - 9 - t. Is 8 smaller than c?
False
Let y(u) = -32*u - 363. Let q be y(-22). Suppose 4*f = 3*w - w + 1354, 4*f = -w + 1363. Which is smaller: q or f?
f
Let o be ((-203232)/8364)/(-8) - 3. Is o bigger than -1?
True
Let r = 0.06229 - 7.56229. Which is greater: r or -7?
-7
Let u(w) = -w**3 + 15*w**2 + 33*w + 20. Let s be u(17). Let z = -150 + 195. Which is smaller: s or z?
s
Let s be (-39)/6*2951/78. Let z = -246 - s. Is z not equal to 0.01?
True
Let r(j) = 8*j**2 + 87*j + 105. Let u be r(-14). Is 455 equal to u?
True
Let g = -6.38 - -0.38. Let x = g + 15. Let m = -24 - -25. Which is smaller: m or x?
m
Let g = -1.979 + 2. Let k = -0.221 + g. Which is smaller: 1/61 or k?
k
Let m be 8/70*2/(-20). Suppose 0 = 62*u - 15799 + 15737. Which is bigger: m or u?
u
Let d be 0 + (-1)/((-325)/(-1865)). Let r = -57/10 - d. Suppose -2*a + 5*a + 3 = 0. Which is greater: r or a?
r
Let y = 79745 - 1834519/23. Which is smaller: y or -16?
y
Suppose 5*c + 10 = 58*t - 61*t, 2*c = -3*t - 13. Is c not equal to -2/5309?
True
Let d = -269 - 49. Let u = 30 - 348. Is u bigger than d?
False
Let c be 43/((-2833915)/(-922680)) - 14. Is 0 >= c?
False
Let f = 576 - 573. Suppose 4*x - 2*l = 3*x - 19, 2*l = f*x + 65. Are -25 and x nonequal?
True
Suppose 3*h + 16 = -l, -2*h - 2*l - 18 = -5*l. Let p be 4*(1 - (-3)/h). Let b = -1/85 + 769/340. Is p at least b?
False
Suppose 15 = -296*s + 303*s + 3*b, 2*s + 5*b - 25 = 0. Which is smaller: s or -197?
-197
Let u be (48/96)/((-5)/22). Is 15 bigger than u?
True
Let y = -36 + 36.74. Let o = -1034.2 + 1034. Which is bigger: o or y?
y
Suppose -6*j + 20 = -2*j, -4*i = 5*j - 53. Suppose -l + 2 = 2*u - 3*l, -2*u = 3*l - i. Suppose -177*d - 199*d + 1220 = -41*d - 455. Is u >= d?
False
Suppose -3*x = -3*b - 5181, -3*b = -x - 4*b + 1723. Is x <= 1725?
True
Let f be (-1)/3 - (-2)/(-6). Which is greater: f or -945?
f
Let y be 20/(-6)*(-5 + 5/(-2)). Let t = y - 24. Let l be 8/(-12)*t*6/8. Are -3.6 and l unequal?
True
Let f = -463 - -483. Suppose 10*q + 20 = f*q. Which is greater: q or 4?
4
Let c(m) = -1 + 20*m + 4 - 2*m**2 + 22. Let i be (-2 - -6)/((-20)/(-55)). Let d be c(i). Is 5/2 < d?
True
Let u(h) be the third derivative of -h**6/120 + 7*h**5/60 - 13*h**4/24 - h**3/3 + 8*h**2. Let j be -2*(-9)/((-27)/(-6)). Let r be u(j). Is -7 greater than r?
False
Let i = 1339/6 + -6461/30. Let y = -1921/245 + i. Let r = 2 + -1. Are y and r nonequal?
True
Let i