 -29640 - -29640. Which is greater: a or q?
a
Let s = -413 + 7023/17. Let v be (-24)/6*(-1)/24*-5. Which is greater: v or s?
s
Let b = 4047 + -4049. Let j = 22 - 16.6. Which is smaller: j or b?
b
Let b be (0/1 - (-18)/(-12))*10. Let m(q) = -13*q + 1. Let a be m(1). Is b at most a?
True
Let t be (-4)/10 - 2442/(-55). Suppose 4*k - t = -48. Let c = 12 + -21. Is c > k?
False
Let u = -433 + 86. Let b = -70787/204 - u. Which is bigger: 1 or b?
1
Suppose 5*n + j + 1 = 0, 0 = -6*n + 10*n + 4*j - 12. Is -28/191 bigger than n?
True
Let f(i) = -i**3 - 5*i**2 + 6*i - 1. Let w be f(-7). Let c = -9 - w. Which is smaller: c or -63?
c
Suppose -45*f + 1908 = -36*f. Let n = f + -211. Which is greater: n or -4?
n
Let n = -772 - -309570/401. Let y = 896/18847 + n. Suppose 0 = -2*v - v. Which is bigger: y or v?
y
Let h(z) = -z**3 + 25*z**2 + 23*z - 30. Let x be h(26). Let p = 96 + x. Are 1/3 and p nonequal?
True
Let d be 15/2 + 3 - (-6)/4. Let c be -3 + (-8169)/(-3668) - d/(-16). Is 1 at most c?
False
Let t be (8 - (-26)/(-4))/6 - 0. Let w = 348 - 1340. Let v = w - -4976/5. Is t < v?
True
Let k be -3 + (2*-1*2 - (-993 + 75)). Which is bigger: k or 3643/4?
k
Let v = -147.9 - -143.9. Let w = -36 + 11. Which is smaller: w or v?
w
Let g(p) = -p - 3. Let j = -3 - 8. Let t be g(j). Suppose -3*x - t = -x. Is x greater than -38/7?
True
Let l = 20 - -6. Let f = l - 33. Let t = -3/2 + 13/6. Is f smaller than t?
True
Suppose 36*a = -725 - 787. Which is bigger: -591/14 or a?
a
Let y = -57374.9 - -57404. Let n = -3.1 + 3. Which is smaller: n or y?
n
Let u be 9 - (59858/6136 + (-135)/180). Which is smaller: 1 or u?
u
Let h = -2516 + 2515. Is h < 1242?
True
Let c be 3/6*(2 - 2). Let d = -50 - -160. Let g be (166/d - 1)/(4/10). Which is smaller: g or c?
c
Let i = 17 - 19. Let p be -2*124/8 - (-1 - i). Let o = -31 - p. Is o < 3/10?
False
Suppose 109*r = 105*r - 4824. Let y = 14 - r. Let w be 24/y*(-25)/(-10). Which is bigger: w or -1?
w
Let f = 137 - 5. Suppose 7*h - 11*h - f = 0. Which is smaller: -35 or h?
-35
Let j = -0.4 + 1.4. Let h = -14.51028 + -0.08972. Does h = j?
False
Let w = -90849/2 - -64046531/1410. Let p = -4/141 - w. Suppose 2*t + 2 = -0, -3*u + 3*t = -3. Is u greater than p?
False
Let y be -2 + (-7 - (3 - 13)). Let d be (10/y)/(15/(-30)). Which is bigger: d or -26?
d
Let v = -782 - -82112/105. Let j be ((-4)/(-21)*(-427)/(-122))/((-8)/(-12)). Is j < v?
False
Let c(q) = 17*q - 475. Let r(x) = -8*x + 236. Let a(i) = -2*c(i) - 5*r(i). Let f be a(40). Is 19 < f?
False
Let g = -253 - -254. Let x be g + 88/(-2)*1. Do x and -42 have different values?
True
Let v be 8/30 - (-4)/(-6). Suppose 15*s - 58 = 362. Suppose -s*z = -33*z - 10. Is z greater than v?
False
Let z = -2486 + 2521. Let d = -18 + -19. Let k be (0 - (0 + -1)) + z/d. Which is bigger: -2 or k?
k
Let s(v) = -31*v**2 + 8*v - 7. Let r be s(1). Let o = r + 107. Which is bigger: 74 or o?
o
Let v(c) = -11*c**3 + 8*c**2 - 12*c + 37. Let h be v(-6). Is 2775 bigger than h?
True
Suppose 260*w - 884*w + 17372890 = 166*w. Is 21991 equal to w?
True
Let f = -561 - -305. Let i = f + 255. Is i at most -2/619?
True
Let j = 6 - 2. Suppose 0*z = j*z - 8. Let f be (-694)/3817 - (-69)/77. Is z <= f?
False
Let a = 1/168997 - 273099163/1858967. Is a at least -148?
True
Let y(q) = 3*q + 20. Let b be y(0). Let t be ((-12)/5)/4 + (-1128)/b. Which is smaller: t or -115/2?
-115/2
Suppose -i - 83 - 19 = 0. Suppose -55*s + 4949 = -6*s. Let y = i + s. Is -2 at least as big as y?
False
Let f be (-4)/(-30) - 104/(-120). Let a be ((-68)/136 - (-7)/13)*-3. Is f smaller than a?
False
Let x = -2314 + 20782/9. Which is bigger: -6 or x?
x
Let u(n) = n + 0 + 1 + 5. Let z be u(-5). Suppose -t - 2*t + i + 16 = 0, 0 = 4*t - 2*i - 22. Is t less than z?
False
Let b be (1 + 3920/(-3924))/((-3)/(-6)). Is 0 at least b?
False
Let m = 11285.065 + -10996. Let o = 0.065 - m. Is o at most 0.1?
True
Suppose -4*y = -v + 353, -y = v - 116 - 227. Suppose 68*r = -v - 131. Let j = -3 + -7. Is r at least as big as j?
True
Let m = -61.2 + 62.3. Let z = m + -0.1. Which is greater: z or 7?
7
Let i = -2799 - -2798. Is i not equal to -97/73?
True
Let i = -17164 + 17153. Which is smaller: 46 or i?
i
Let l = -90 - -93. Suppose -4*v = -3*v + l*f + 15, v + 20 = -4*f. Is 9/14 >= v?
True
Let z = 1329/344 + -31/8. Let q be (-8)/(-68) - 4/34. Suppose 7*j - 2 + 9 = q. Is z bigger than j?
True
Let f be (-7)/((-182)/48) + 2/13. Let s be f*(1855/90)/(-7). Is s at least -5?
False
Let x = 1558 + -1557. Let q = -232299/11 + 21484. Let t = 367 - q. Is t < x?
False
Let s be (-2)/(-4)*(13 - 17) + 1794. Is 1792 != s?
False
Let o(d) = -d**2 + 14*d + 1715. Let h be o(-35). Which is smaller: h or -1/18989?
-1/18989
Let s = 131 + -135.65. Let b = 4.7 + s. Let u(n) = -n - 1. Let x be u(-3). Which is smaller: b or x?
b
Suppose 0 = -77*j - 59*j - 2*j + 138. Let l be 6/604*2/(-1). Which is smaller: l or j?
l
Let p = -38/165 + 1/33. Let u(t) = -t + 7. Let h be u(3). Suppose 12*l - h = 16*l. Which is greater: p or l?
p
Let r = -1687 + 1687. Let m = -468445/214 + 2189. Which is smaller: m or r?
r
Let b be (218/96 - 2)/(6 - 22405/3735). Are b and 203 nonequal?
True
Suppose 550 - 542 = -2*d - 0*d. Which is smaller: d or -415?
-415
Let u be (-20)/(-35) - (-235)/(-7). Let j be 22395/(-660) + 124/(-44) + 3. Which is bigger: j or u?
u
Let s be (-6)/15 + 37638/45. Suppose -5*z = 271 - s. Which is smaller: z or 109?
109
Let d(x) be the third derivative of x**4/3 - 7*x**3 - 51*x**2 + 4. Let f be d(1). Do f and -34 have different values?
False
Suppose 2*p - 4*u + 1702 = 0, -2*p - 10*u + 7*u - 1660 = 0. Is -842 greater than or equal to p?
False
Let r be 1 - (25/5)/(-5). Let k be (-29)/(-5) + r - 2/(-10). Suppose k = 3*s - s - 2*a, -3*a - 20 = 5*s. Which is smaller: s or -8/15?
s
Let y(r) = -60*r - 1243. Let c be y(-20). Which is greater: 166 or c?
166
Let l(o) = -15 + 13 + 42*o + 10. Let q be l(-2). Let x = -78 - q. Which is greater: -9/10 or x?
-9/10
Let l = 2810/13 + -216. Let s be ((-6)/9)/(4/(-36)) - -5. Suppose -4*x - s*x = 0. Which is smaller: l or x?
x
Let u = -0.0332 + 298.0332. Let m = -300 + u. Which is smaller: -6/7 or m?
m
Let v(g) = g - 4. Let i be v(4). Suppose i*w + w - 2 = 0. Let c = 332 - 2320/7. Is c smaller than w?
True
Let s = -2360 + 2393. Which is smaller: s or 43?
s
Let h = 9114 + -5391. Are h and -1 non-equal?
True
Suppose -69743 = -3*h - 5*m, 2*h + 92952 = 6*h - 3*m. Let r = -138937/6 + h. Let s = 85 - r. Is s greater than 4?
False
Suppose -2*j + 71 = 5*v - 3077, -2*v - 2*j = -1258. Suppose -f = -19*f + v. Which is smaller: f or 38?
f
Suppose -20*q + 2*q = 6*q - 12696. Are q and 2638/5 nonequal?
True
Suppose -65*t + 130 + 0 = 0. Is -2 smaller than t?
True
Let c = 55620 + -833954/15. Which is smaller: c or 22?
22
Let x(f) = 7*f + 6 - 3 + 4. Let d be x(4). Let k(i) = 2*i**3 + 53*i**2 - 32*i - 100. Let z be k(-27). Are z and d equal?
True
Suppose 534*p - 122*p = 25278 + 23750. Is p greater than or equal to 1323/11?
False
Suppose -8 = 3*v - 2*o, -2*o - 9 - 7 = v. Which is smaller: v or -180/31?
v
Let g = 4.138 + -4.338. Which is smaller: g or 1086?
g
Suppose 0 = 6*g - 2268 + 276. Is 329 greater than g?
False
Let o be (1 + 0)/((-16)/(-176)). Let y be o - (-2)/(12/(-30)). Suppose -4*q - 8 = -y*q, -x - 3*q = 47. Is x >= -58?
False
Let r be (2/6)/(3/6). Let b = 15.227 + -15.307. Is r <= b?
False
Suppose -5*s + 173 = 3*z, -29*z - 4*s = -29*z - 40. Suppose -5*l + 120 = -l. Is z smaller than l?
False
Let y = -8.5 + 45.7. Let u = -8.9 + 4.7. Let q = u + y. Which is greater: 2/3 or q?
q
Let t = -560 - -555. Let j be (t - 62/(-6))/(-6). Which is bigger: j or 1?
1
Suppose 8 = -u - u. Let x be 2 - (u - 0)/(-2). Let p = 737 - 704. Which is bigger: p or x?
p
Suppose -4*g + 3*n - 6 = -9, 5 = -3*g - 5*n. Let r = -1229/266 - -34/7. Which is greater: r or g?
r
Let a = 17 + 15. Suppose 137 + 1189 = -39*s. Let x = s + a. Is -1 bigger than x?
True
Let u = -7632 - -7581.23. Let h = -51 - u. Let v(m) = -3*m - 1. Let i be v(-1). Is i less than h?
False
Let n = -29 - -643. Are 609 and n equal?
False
Let a(f) = f**2 - 24*f - 297. Let s be a(-9). Is s smaller than -2/4109?
False
Let r = 2 + -1. Let g = -397/16 + 1595/64. Which is bigger: r or g?
r
Suppose -5*c = -4*z - 418, -178*z + 382 = -182*z - c. Is -124 at l