105 - -105. Suppose -x - 38 = -6. Let v be 1/(-2) - 20/x. Which is smaller: v or l?
l
Let p(s) = 7*s + 2. Let t be p(-4). Suppose -5*v = n + 24, 4*n - 4*v = v + 29. Let x = n + t. Is x less than -26?
False
Suppose 5*i - 46 - 14 = 0. Let b be ((-2)/7)/(i/(-42)). Is b bigger than -2/69?
True
Let f = 17 + -11. Let o = -413/2 - -201. Let p = f + o. Which is greater: -3 or p?
p
Suppose p = -5*r, 2*r + 17 = 2*p + p. Is r bigger than -13/10?
True
Let a be (41 - 36)*(-1 - -2). Suppose 0 = -2*h - h + a*h. Do 0.08 and h have the same value?
False
Let i(g) = -77*g**3 - 2*g**2 - g. Suppose 0 = 8*u + 24 - 16. Let a be i(u). Is 76 greater than or equal to a?
True
Suppose -2224*i + 2226*i = -480. Is -240 less than or equal to i?
True
Let s(z) = z**3 + 8*z**2 + 6*z + 1. Let h be s(-7). Suppose 0 = -4*k - 6*u + 10*u + 8, -5*k + 2*u = -7. Is k greater than or equal to h?
False
Suppose 0 = 3*r + 46 - 130. Let j be (-8)/r*(-2)/(0 + 1). Which is smaller: 1 or j?
j
Suppose 4*x = y + 3, -2*y = -2*x - 4*y + 14. Suppose -q + x + 1 = 0. Suppose -t + 2 - q = 0. Is 0 not equal to t?
True
Let y(r) = -r**3 + 11*r**2 + 13*r - 11. Let v be y(12). Is v not equal to -3?
True
Let p be (-1)/(-2)*(-4672)/(-16). Let c = -291/2 + p. Let z be 1/5*(-10)/(-8). Which is smaller: z or c?
z
Let k be 10/4*(-14)/(-35). Does 1/164 = k?
False
Let n = -5.44 + 0.44. Let w = -5.5 - n. Do w and 2 have the same value?
False
Suppose -3*w + a = -5*w - 364, 4*a - 344 = 2*w. Let v be w/(-6) - (0 - (0 - -1)). Which is bigger: v or 30?
v
Let a be ((-2)/7 - 1936/(-112))*5. Let h be 1824/14926 + (-775)/a + 9. Which is smaller: h or 1?
h
Let s = 3.2 - 3.1. Is -5/27 smaller than s?
True
Let i = 1321 - 10663/8. Let z = 91 + -103. Let m = z - i. Which is smaller: -1 or m?
-1
Let k = -160 + 163. Let c = -36.6 - -43. Let s = 6 - c. Which is smaller: s or k?
s
Suppose -i - 3*f = 6, 2*i - 7 = f + 2. Suppose i*s - 2*s = 66. Let g be (-150)/(-99) + (-12)/s. Which is bigger: g or 1?
g
Let b = 1788.38 - 1788. Which is bigger: 3 or b?
3
Suppose 182 = -16*i + 214. Which is bigger: 16.8 or i?
16.8
Let x = 523163/1082 + -8/541. Which is greater: x or 485?
485
Let y = 241 + -244. Let j = 0 - -0.3. Which is smaller: j or y?
y
Let z be (-12)/4*(-2)/(-258). Let n = 91/215 + z. Suppose 5*f - 12 + 3 = -4*u, -3*u = -3. Is f less than or equal to n?
False
Suppose 33 = -f + 6. Let a = -28 - f. Is a != -1/19?
True
Let q be ((-3)/1 - -4) + 0. Let p be -6 - 0 - q*-4. Is 2/45 > p?
True
Let j(x) = x**2 + 9*x + 5. Let g be j(-2). Let k(c) be the second derivative of -c**4/12 - c**3/2 - 5*c**2/2 - 2*c. Let v be k(-4). Is g smaller than v?
False
Let x = -3 - -13. Suppose 4*l - 4 = -4*u, -4*u = -16*l + 13*l - 11. Which is greater: x or u?
x
Let m = -80 + 402/5. Let x(c) = c**2 + 6*c - 14. Let h be x(-8). Suppose 2*s - 1 = 7*s + 3*j, 3*s - h*j = 7. Which is greater: m or s?
s
Let x be 4/3*465/62. Is x at most -10/3?
False
Suppose -2*b + 241 = -5*v, 0 = -3*v + 4*v + 2*b + 53. Let l be 2/(14/(-9)) + (-14)/v. Which is bigger: l or -2?
l
Let h = -0.47 - 22.53. Let p = h + 23. Is p >= 7/3?
False
Let m = -15 + 17. Suppose u = -m*u. Is 6/13 at most u?
False
Let h = 19 - 14. Let q be (-6)/(-2) - (h + -2). Suppose q = 5*a - 4 - 6. Which is smaller: a or 3/5?
3/5
Suppose 0 = 8*y - 13*y - 2790. Let x be 27/y*8/(-6). Is x greater than 1?
False
Let o = -242 + 16697/69. Let a = o + -401/897. Let n = a - -25/26. Which is smaller: n or -3/4?
-3/4
Let x be 96/(-9)*(-138)/(-6786). Let n = x - 2/377. Let b = -3 + 2.94. Is n <= b?
True
Let g be -6*(33/(-54) + (-4)/(-9)). Which is smaller: g or 2/409?
2/409
Let n = 54 - -408. Does n = 461?
False
Let a(q) = -2*q**3 + 14*q**2 - 14*q + 10. Let t(c) = 3*c**3 - 21*c**2 + 21*c - 15. Let r(b) = 7*a(b) + 5*t(b). Let m be r(6). Is 0.17 smaller than m?
True
Let m = -46 + 106. Let j = -56 + m. Suppose d + 3 = 2*d. Which is smaller: j or d?
d
Suppose -3*l - 2*v + 3*v = -101, 0 = 2*l - v - 67. Which is bigger: l or 101/3?
l
Let c(g) = -9*g - 25. Let d(u) = -9*u - 26. Let o(i) = 2*c(i) - 3*d(i). Let a be o(-15). Is -108 greater than a?
False
Suppose -6*s + s = 0. Let c be 2/288*36/27. Let g = c + 59/1404. Do s and g have the same value?
False
Let p(x) = 6*x + 37. Let g be p(-6). Let l(b) = b**3 - 3*b**2 + b + 2. Let i be l(2). Suppose -3*m + 3*j + 5 + 7 = i, -j - g = 0. Is m less than 3?
False
Let y = -598 - -599. Which is smaller: y or 2/363?
2/363
Suppose 13*z = 6*z + 14. Suppose -z*t + 17 = -t. Is 17 less than or equal to t?
True
Let c be 36/1045 - (-22)/(-121). Is -1 at most c?
True
Let r = -80 + 96. Let o be 24/r*(-4)/6. Is -38 less than or equal to o?
True
Let d = -154 - -1068/7. Let r = -127/84 - d. Is 0 not equal to r?
True
Let p be (((-504)/(-180))/((-1)/(-15)))/(-1). Suppose -208 = 5*i + 2*o, 4*o = 2*i + i + 130. Is p > i?
False
Suppose -6*c = -4*c + 6, -c - 61 = w. Let p = w + 65. Is p greater than or equal to 31/5?
True
Let g(w) = 9*w**2 - 13*w + 1. Let r(c) = -4*c**2 + 6*c - 1. Let l(p) = -2*g(p) - 5*r(p). Let k be l(-3). Is k <= 33?
True
Let l(w) = -w**3 + 5*w**2 - 5*w - 3. Let z be l(4). Which is smaller: -8 or z?
-8
Let a = -340 + 322. Is -18 >= a?
True
Let f be 238/(-1020) - (-1)/(-6). Which is smaller: f or 0.342?
f
Let x = -144 - -78. Let o = 2318.9 - 2319. Which is bigger: x or o?
o
Let f = -6.4 + 5.99. Let k = f + 0.91. Which is greater: -2 or k?
k
Let z = -0.16 - -0.08. Let k = 0.02 - z. Let y = -11 - -15. Which is smaller: k or y?
k
Let w = 1 + -1. Let l = -33 + 427/13. Which is smaller: l or w?
l
Let y = 120.8 + -122. Let l = 21 + -12. Let t = l + -10. Is y at least t?
False
Let f = 1/9053890 - -349652177897/117700570. Let w = f - 2969. Is 2 less than w?
False
Let c(y) be the second derivative of -y**3/6 + 5*y**2/2 + 19*y. Let g be c(7). Which is bigger: g or -10/17?
-10/17
Let x(g) = -2*g + 3*g**2 - 4 - 1 + 3. Let m be x(2). Suppose -2 - m = -2*w. Which is bigger: 3 or w?
w
Let o be (5 + -6)*(-3 - (3 - 243)). Is -238 bigger than o?
False
Let g be 3/9 + (100/6 - 4). Suppose -17*z + g*z = 0. Is 1/2 less than or equal to z?
False
Let z = -882 - -885.4. Which is smaller: 2 or z?
2
Suppose 12*y - 162 = 30. Does 5 = y?
False
Suppose -145 - 35 = -5*q. Let p be -33*(-4)/q + -4. Is -11 < p?
True
Let k = -355 + 354. Is k less than 1/247?
True
Let m(s) = 5*s**2 + 44*s - 4. Let p be m(-9). Suppose p*o = -9 - 61. Which is bigger: o or -13?
-13
Let c = -146 - -146.07. Which is greater: c or -12?
c
Let c = 551/4 - 20371/148. Which is bigger: c or 1?
1
Let r = -34 + 8. Let b = -5 - r. Let l be ((-2)/b)/((-80)/15). Is 1 less than l?
False
Let v = -111.023 + 0.023. Let c = v - -126. Which is smaller: c or 0?
0
Suppose 0 = 3*w + 28 - 1. Let d(b) = b + 10. Let o be d(w). Let t be -1 - 2 - (4 + 24/(-6)). Is t greater than o?
False
Let f = 14398/11 + -1302. Is 6 < f?
True
Suppose 4*f + 9 + 107 = 3*s, 148 = 4*s - 4*f. Suppose -4*w = -0*w - s. Let l(u) = -u**3 - u**2 + 9. Let b be l(0). Which is smaller: w or b?
w
Let b(y) = -7*y**2 + 19*y**2 + y**3 + 421 + 8*y - 440. Let g be b(-11). Do g and 13 have different values?
True
Let r(d) = -d**2 - 6*d + 44. Let i be r(4). Let n be 1*14/i*(-2)/(-4). Is n > 4?
False
Let q be 3 + (-1 - (2 - -1)). Let n be (0 - q)/(-19 - -9). Which is smaller: 2/5 or n?
n
Let n = 1886 + -145220/77. Which is greater: n or -1?
n
Let v = 2.88 - -0.15. Let d = 0.03 - v. Let t = d + 4. Which is greater: t or -4?
t
Let s(c) = -c**3 - 8*c**2 - 13*c - 3. Let f be s(-2). Are f and 67.7 equal?
False
Let u = -131 - -51. Let v = -71 - u. Which is bigger: v or 7?
v
Suppose 6*v + 391 = 547. Which is smaller: v or 22?
22
Let s = -1680 - -3361/2. Which is greater: 0.0671 or s?
s
Suppose -2*s + 84 = 4*p, -3*p - 3*s - 54 = -6*p. Let f be p/(-12) + 2 + (-13)/41. Is 0 bigger than f?
False
Suppose -3*j + 21 = 63. Let d(h) = -h**3 - 13*h**2 + 16*h + 28. Let c be d(j). Is 0 less than c?
False
Let h(r) = -r**3 - 14*r**2 + 17*r + 30. Let t be h(-15). Which is bigger: 3/71 or t?
3/71
Let m = -63.973 + 64. Let v = -0.027 + m. Is v < -8?
False
Let w(m) = -2*m**2 - 4*m + 3. Let c be w(-3). Let b be c/(-2)*24/9. Which is smaller: b or 3?
3
Let a be -2*1 + 6 + 0. Suppose 0 = 2*m - m + a. Let j be m/8*1*-10. Which is smaller: 2 or j?
2
Let n be ((-2)/(-4))/(11/22). Is -4/75 smaller than n?
True
Let r = 1.5 - -0.5. Let g be 