?
b
Suppose 516 = -51*c + 16*c - 275 + 196. Let b be (16/(-3))/(1/3). Which is smaller: c or b?
c
Suppose -1729 - 3896 = 9*l. Let d = 597 - 1223. Which is greater: l or d?
l
Let v = -2229 + 1798. Which is bigger: -430 or v?
-430
Suppose 5*f = -3*n + 675, -2*f - 25 = 4*n - 281. Suppose 5916 = f*m - 155*m. Which is bigger: -347 or m?
-347
Let t(u) = -u + 14. Let s be t(5). Suppose -s*a + 43 = -8*a. Suppose -3*p + a = -7*o + 2*o, -21 = -p - 5*o. Are 15 and p equal?
False
Let x = 84 + -79. Let n be x - (-3 - 33)/(-4). Let d be 10/n*(-10)/100. Is -0.001 less than d?
True
Let x = 0.06279 - 5.06279. Is 2/1789 greater than x?
True
Let w = -0.1007 + -18.1193. Let o = w + 19. Let z = 0.85 - o. Is z at most -1/3?
False
Let p = 5930/9 - 1037678/1575. Is p less than or equal to 1?
True
Let c = 8485 - 8588. Which is greater: c or -33?
-33
Let n(l) = 38*l + 179. Let s(c) = -19*c - 89. Let b(a) = -3*n(a) - 7*s(a). Let t be b(-6). Let w be (12/10)/((-3)/70). Is t at least as big as w?
True
Let j = 2639/2375 - -19/125. Which is greater: 0.3 or j?
j
Let v(n) = n**3 + 4*n**2 - 32*n - 10. Let b be v(-7). Suppose 4*p + 16 = -3*f + 4, 5*f + 20 = 5*p. Let u(l) = -l**2 - 2*l + 67. Let r be u(p). Does b = r?
True
Let z = 919308/571 - 1610. Which is greater: -1 or z?
z
Let h(l) = -22*l**3 + 35*l - 127. Let a be h(7). Are a and -7430 unequal?
True
Let r(n) be the third derivative of -5*n**4/24 + 13*n**3/6 - 22*n**2. Let v be r(-3). Let q be -3*(1 - v/24). Are -8/13 and q non-equal?
True
Let j = -4935.2 + 4935.144. Let w = -7 - -6.99. Let d = w + 0.01. Is d < j?
False
Let z be ((-18)/5)/((1/15)/(138/(-621))). Which is smaller: z or 34?
z
Let r = 1151 + -492. Which is greater: r or -1/3?
r
Let i = -317 + 314.95. Let l = -1.05 - i. Is l bigger than 86?
False
Let q be (-1)/5*(-686)/(-6) - 4. Let i = -134/5 - q. Let y(w) = -w**3 - 3*w**2 - 1. Let t be y(-3). Which is smaller: t or i?
t
Let x(f) be the third derivative of -f**5/12 + 11*f**4/24 + f**3 + 29*f**2. Let g be x(-3). Is -214/3 bigger than g?
True
Let z = -17249.04 - -17249. Which is smaller: z or -48?
-48
Suppose -96648 - 28939 + 41531 = -56*m. Which is smaller: 1502 or m?
m
Let x = 6 - -3. Suppose -3*t + x = -2*b, 3*b + 14 = 4*t + 2. Suppose -t*r - m = 3*m - 70, -4*r = m - 102. Is r smaller than 25?
False
Suppose -5*h - 1024 = 2*q, -459*h - 509 = q - 458*h. Is -513 at most as big as q?
True
Suppose q + 4 = 0, -x - 12*q + 15*q + 13 = 0. Which is smaller: x or 2/23191?
2/23191
Let r = -0.968 + 0.89. Let b = r + 0.148. Is -6 smaller than b?
True
Let r be (32/24)/(2/(-21)). Let c be 10/(-2 + -3) - -17. Suppose w + 4*o + 3 = o, 0 = 5*o - c. Are w and r nonequal?
True
Let m = -192 - -48. Let i be 10/2 + m/9. Suppose -5*a = -3*w - 9 - 10, -4*w - 4 = 4*a. Which is greater: i or w?
w
Suppose -6 = 2*z, 556 = -q + 47*z - 43*z. Which is bigger: -565 or q?
-565
Let h = -80.8 + 77.8. Let f be 0 + -3 + -4 + 5. Let c be (10 + -10)*1/f. Which is bigger: c or h?
c
Suppose p = 4*m - 12, -5*m = 4*p - 7*p - 8. Suppose m*x - 44 = 4*b - 0*x, -2*b + 4*x = 28. Let g = 149935 - 149943. Is g less than or equal to b?
True
Suppose 0 = 5*v - 228 - 257. Suppose g = j + 105, 4*j + 38 = -g + 103. Is g at least as big as v?
True
Let n = 3/1237 + -2489/6185. Which is greater: 95 or n?
95
Suppose 15 = t - 6*t + 5*w, -3*w = -4*t - 9. Let n be 1/(1/(-4))*(-170)/(-8). Let c be (-3)/12 - n/180. Which is bigger: t or c?
c
Let y = -6037 + 5894. Which is smaller: y or -128?
y
Let f(y) = 2*y**2 - 4*y + 2. Let r(w) = 3*w**2 - 9*w + 4. Let g(x) = -7*f(x) + 3*r(x). Let m be g(1). Let j be m/(-10) + 12/(-20)*1. Is j != -1/12?
True
Let d = -3.05 - -3. Let u = -92348/27 + 3421. Let j = 1/27 - u. Which is smaller: j or d?
j
Suppose 0 = -461*v + 465*v + 2904. Let z = v + 2176/3. Let k = 19/13 + -151/130. Which is smaller: k or z?
z
Let h(o) = 9*o**2 - 767*o + 171. Let a be h(85). Let g = 105253/1281 + -575/7. Which is smaller: a or g?
g
Let w = -45625 + 45615. Let x be 6/(-1)*1/(-5). Is w less than x?
True
Let m = 20937 + -15403. Which is bigger: 5533 or m?
m
Let k be (1*2)/((-3)/9). Let v = -417 + 413. Let p be (4 + -1)*(-4)/k - v. Is p greater than 6?
False
Let w = 22013 + -28079. Which is greater: -6065 or w?
-6065
Let z = 2954.7 + -2965. Does 6/37 = z?
False
Let u be 3320/(-1826) - (1*4 + 0) - -6. Which is bigger: 466 or u?
466
Let f = 47.845 + -0.545. Let z = 6 + 41. Let q = z - f. Is -1.2 at least as big as q?
False
Let p be ((-14)/(-1032))/((1584/(-128))/(-33)). Is p at most as big as 0?
False
Let j = 3.7374 + 307.4926. Let k = j + -312. Which is greater: -2 or k?
k
Let k be (-4)/(-10) + (-693)/1295. Let u(x) = x**2 - 125*x + 1255. Let h be u(11). Is k greater than h?
False
Suppose 3*l - 7*l = 5*s - 165, s + 3*l = 33. Let q be (720/s)/3 - (-12)/6. Which is bigger: q or 9?
q
Suppose -448*o + 440*o - 160 = 0. Let j be 7/(-7280)*178 + (-4)/o. Let l = 9 + -10. Which is smaller: j or l?
l
Let y be ((-106941186)/(-698958))/17 + -9. Is y not equal to 0?
True
Let z be (34/595)/((-189)/(-90)). Which is greater: 2/5 or z?
2/5
Let v = -2062 + 2056. Are v and -6 nonequal?
False
Let q be (4/12 - 3)*(-15)/2. Suppose b + 2*x - 18 = 3*x, 0 = -5*x + q. Suppose -5*a - 38 - b = -5*g, 4*a - 5*g + 49 = 0. Is a greater than -11?
False
Let u(f) be the second derivative of -f**3/6 - 31*f**2/2 + 80*f + 2. Let m be u(-31). Which is smaller: 14/45 or m?
m
Let n = 16247 + -16236. Is 7/13 < n?
True
Let w = -39 - -117. Let j = w + 19. Let r = 96.91 - j. Which is bigger: -1 or r?
r
Let b be (((-1600)/6)/(-8))/((-1)/(1470/(-20))). Are 12257/5 and b non-equal?
True
Suppose -14*r + 58 = -12. Suppose 0*t - t - 39 = -3*y, -y = -r*t + 1. Let n be (48/y - (9 + -9)) + 2. Is 6 >= n?
True
Let l = -5 - -19. Suppose 5 = -x + l. Suppose 0 = 2*p - x*p + p. Which is bigger: -5/49 or p?
p
Let p(l) = 2*l**2 + 38*l + 141. Let j be p(-7). Is j not equal to -629/24?
True
Suppose -6*p + 10*p = 56. Suppose -p*w = -13*w - 27. Let k be 26 - (2 + -3 + 0). Is w smaller than k?
False
Suppose 7*b + 5 = 138. Suppose 17*f - b*f = 4*l + 6, -2*l - 8 = -4*f. Is -12/11 >= l?
True
Let r(s) = 6*s - 33. Let q be r(7). Let y(v) = -v**3 + 7*v**2 + 19*v - 8. Let p be y(q). Which is bigger: p or -9/68?
p
Let w = 216/89 - 13354/5429. Suppose m + 4*z - 3 = 0, 2 = -5*m - z - 2*z. Which is smaller: w or m?
m
Let v = 0 - -1. Let o(h) = 7*h - 11. Suppose 3*x - 5*u - 11 = 0, 2*u - 6 = 4*x - 16. Let l be o(x). Do l and v have different values?
True
Let f = -2085/2 + 1046. Let p = -8 + 13. Let k = -6 + p. Which is smaller: k or f?
k
Let m be 360/54 + -5 - 21902/(-6). Is 3652 >= m?
True
Suppose -14*i - 365 = -9*i. Let d = 4524 + -4596. Which is smaller: d or i?
i
Suppose -5*h + 606 = 191. Let o(g) = 27*g**2 - 2*g + 10. Let q be o(0). Let d be ((-28)/q)/(5/(-148 + -2)). Is h < d?
True
Let c = 1144 - 1128. Which is smaller: c or 33/2?
c
Suppose -3*s = -33*y + 31*y - 1593, -1593 = -3*s + 3*y. Is 0.3 less than s?
True
Let l(p) = 2*p**3 - 8*p**2 - 4*p + 22. Let x be l(3). Let g = -20 - -23. Is x smaller than g?
True
Let s = 11139 - 11139.062. Which is smaller: 0.122 or s?
s
Let g = -1489/8 - -466073/2504. Is g < 0?
False
Let r = 496 - 495. Is r <= 486?
True
Let s(t) = t - 1. Let g be s(1). Suppose 2*o + 2*o - 46 = -2*n, n - 3 = 2*o. Let c be (-2)/n - 1080/(-9048). Which is greater: c or g?
g
Let j = 117297/2578 + 1/1289. Let f = -6272 - -6319. Which is greater: j or f?
f
Let y = -44 - -41. Let n be (-6962)/(-1392) - (-45)/27*y. Which is smaller: n or -2/5?
-2/5
Let a be (-29)/290*-52570 + (1 - 10 - -2). Which is smaller: 5253 or a?
a
Let w(b) = 12*b**2 - 6*b - 1. Let r(u) = u**2 + 6*u - 54. Let j be r(5). Let s be w(j). Is 31/8 < s?
True
Let d = 2/46931 + -3144441/1501792. Which is smaller: -2 or d?
d
Let w be 2*-2 - -1*2. Suppose -186 = 7*z + 94. Let y be 3/12 + (-38)/z. Which is greater: y or w?
y
Let x(o) = 2*o**2 - 48*o + 161. Let z be x(20). Is z at least as big as -12/233?
True
Suppose -7*x + 8*x - 760 = 9*x. Are x and 49 nonequal?
True
Let i = -5 + 45. Let z be ((-6)/(-10))/(36/i)*6. Suppose -6*q - z = -8*q. Is q less than or equal to -3?
False
Suppose 0*f = 2*i + 5*f - 1, 5*i = f - 11. Let l be 1457/496 - 2/(-32). Suppose -j - 4*w = 9, l*w = 5*j - 3 - 21. Which is bigger: i or j?
j
Suppose 12*q = 364 - 112. Suppose 8 = -v + f, q = -