)/(-8)). Let q be (-18)/45 - ((-182)/30 - 0). Does a = q?
False
Let p = -0.364 - -0.34. Let o = -0.076 + p. Which is greater: o or -82?
o
Let j(h) = -514*h + 40. Let r be j(1). Which is bigger: r or -1423/3?
r
Let c = 1088 - 23935/22. Which is smaller: -1 or c?
-1
Suppose 0 = 2*l + 1 + 5. Let s be (4 + -1 + -3)/l. Suppose -2*q + 5*q = s. Is q at least 0.4?
False
Suppose 2*j - 3*r + 3 = 0, -3*j - 5*r = 18 + 15. Let n be 288/(-189) - 4/j. Suppose 1 = u - 2*u. Which is greater: n or u?
n
Suppose -195*u + 190*u = -80. Which is smaller: u or 15?
15
Suppose -3*v - 83 = 4*d, -8*d + 9*d = -2*v - 47. Suppose -4*o - 2*j - 47 = 33, 0 = -3*o + j - 65. Is o bigger than v?
False
Let t = -94.3 + 93.3. Is t <= -2/15?
True
Suppose 1036 = -18*w + 7750. Is w bigger than 373?
False
Suppose 5*s = 4*q - 95, -3*q + 61 = 3*s + 10. Let x be q*(-1 + (2 - 2)). Let o = x - -21. Is o less than 2/19?
False
Suppose 0*t - 3*t = -27. Let m = t - 0. Suppose -5*n - m = 6. Is -1 less than or equal to n?
False
Suppose 1012 - 1102 = -10*r. Is r > -6?
True
Let p be (-1)/(-1 + -1 + 3). Let m = 1438334 + -41731810/29. Let y = 694 + m. Which is smaller: p or y?
p
Let u = 2.24 + 0.26. Let w = 2.46 - u. Suppose 3*n = -2*n - 5. Which is greater: n or w?
w
Let g be 8/56 - 27/(-7). Let a be g + 1*(-153)/12. Which is smaller: a or -10?
-10
Let z be 634/12*1 + 1. Let m(j) = 6*j**2 - 22*j - 67. Let l be m(-3). Let i = l - z. Do 0 and i have the same value?
False
Let u(g) = -118*g**3 - 2*g - 1. Let a be u(-1). Let d = 6321 + -6203. Is a smaller than d?
False
Let h be (-13)/(-3) + 168/(-126). Let o = 8 - 4. Do o and h have the same value?
False
Let v = -209 - -185.9. Let u = -23 - v. Which is smaller: -0.008 or u?
-0.008
Let k be 1/(-3) + 7/3 + 83. Suppose -k = -3*q - 19. Which is smaller: q or 23?
q
Let q be (1/10)/((-1)/8). Suppose 0 = g - 3*g + 52. Suppose 2*f - 5*n = f - g, 0 = -3*f - 4*n + 17. Is q < f?
False
Let p be 12/(-42)*56/(-6). Let y(a) = 3*a - 3. Let o be y(2). Which is smaller: p or o?
p
Let g be 1080/357 + 1/((-34)/(-4)). Suppose 5*b - 4 = 3*b. Let l = b + 0. Which is smaller: l or g?
l
Suppose 37 = -3*p + 6*p - x, 3*p - 2*x - 38 = 0. Is 14 bigger than p?
True
Let u(w) = w**2 - 5*w + 6. Suppose 1 + 11 = 3*r. Let q be u(r). Let v be (-2 + 2 - (-1 - -2)) + 1. Are v and q equal?
False
Let d = 1537 - 26120/17. Are d and 1 non-equal?
True
Let q = 106262/27819 - 4/2529. Suppose 8*i - 4*i - 4 = -4*g, -13 = -5*i - g. Is q greater than i?
True
Let b = -28 + -4. Let a = b - -14. Which is smaller: 1/2 or a?
a
Suppose -15 = -5*k + 3*w, 2*k - 4*k = 4*w + 20. Let o = -1509 + 73931/49. Let h = o - 146/245. Is k bigger than h?
True
Let x(i) = i**3 - 3*i**2 - 6*i - 17. Let d be x(5). Let z be 1/d*3*1. Is z at most as big as 22/9?
True
Let q = 22 - 22. Which is bigger: q or -11?
q
Let f = -1749 - -1752. Suppose 12 = 3*b, 2*b + 0*b = -s + 13. Suppose -z + s = 0, -8*k + 4*k + 4*z = 16. Do k and f have the same value?
False
Suppose -21*z + 175 - 28 = 0. Which is greater: z or 6/7?
z
Let c = 0.09 - 26.09. Let i be 3/(-2)*((-12)/(-10))/(270/(-100)). Which is bigger: c or i?
i
Let n be 6/(-9)*3 + 8. Suppose 3*d - n = 6. Suppose -i + 6 = -3*r - d*i, -4*i - 8 = -3*r. Is -1/4 smaller than r?
True
Let h(j) = -j - 6. Let l be h(-5). Suppose 4*i + 120 + 16 = 2*s, 0 = 4*i - 3*s + 140. Let z be (-12)/i*30/(-9). Is z less than or equal to l?
True
Suppose -w + 0*w = -3. Suppose 5*q - w*q - 4 = 0. Suppose -q*s = -4 - 0. Is 0 bigger than s?
False
Let l = -278 + 230. Let m(h) = -h**3 + 5*h**2 - 4*h + 10. Let w be m(6). Which is bigger: l or w?
l
Let l(p) = -4*p + 28. Let d be l(12). Let w = d - -23. Suppose w*g = -2*c + c + 2, 4*g = 2*c - 14. Is g less than -3/14?
True
Let p = 1817 - 1806. Which is bigger: p or 126/13?
p
Let g = -37.5 + -10.5. Let t = g - -51.2. Is -2/7 >= t?
False
Suppose -7*v + 5*v = -2*n + 902, 6 = 2*n. Is v at most as big as -448?
True
Suppose -4*f + 2*h = -14, 2*h + 19 = -23*f + 28*f. Which is smaller: 38/7 or f?
f
Let o = 199 - 201. Is 1.6 smaller than o?
False
Let q(l) = -3*l - 3. Let o be q(-10). Let k be 1/((-24)/o + 1). Let p(m) = m + 5. Let s be p(k). Is s bigger than 13?
True
Let n(d) = -d**2 + 14*d + 12. Let u be n(14). Let y be (-86)/3*(-18)/48. Which is smaller: u or y?
y
Let f = -1.6 + 22.6. Let z = -18 + f. Let s = z + -3. Is 0.8 greater than s?
True
Suppose 5*v - 100 - 65 = 0. Suppose v = 10*z + 403. Which is smaller: z or -38?
-38
Let p = -0.5 + 0.1. Let z = 6401 + -6378. Which is greater: p or z?
z
Let n = 460 - 207. Are n and 253 non-equal?
False
Let h(n) be the second derivative of -n**4/6 + 3*n**3 - 7*n**2/2 - 4*n. Let k(x) be the first derivative of h(x). Let l be k(6). Is l at least as big as -7?
True
Let v(l) = 19*l + 30. Let h be v(-16). Let b = h - -5208/19. Which is smaller: 1 or b?
b
Let s = 92539/49 - 1889. Which is smaller: s or -1?
-1
Let o = 17393/51 - 341. Let s = -251/102 - o. Let m = 2 - 6. Is s at least m?
True
Let y = -0.06 - -0.06. Let z = -30.84 - -31. Which is smaller: z or y?
y
Let r = -9.3 + 9.6. Is 47 <= r?
False
Let o(l) = 2*l**3 + 24*l**2 + 3*l + 20. Let a be o(-12). Are -30 and a non-equal?
True
Suppose -9 = w - 2*w. Let s be w/(-6) + (-2)/(-4). Let d = 4984 + -4963. Which is bigger: s or d?
d
Let q = -87.1 + 92. Let w = 18.1 + q. Let g = 22 - w. Is g less than -2/13?
True
Let w = 0 + -1. Let v be (1 - 3)*4*w. Let o = -29922 + 29929. Is o < v?
True
Suppose 3*y + 9 = 2*q - 5*q, 0 = -2*q + 2*y - 22. Let s = 5 + -3. Let j = s - q. Is j < -1?
False
Let u = 0.14 - -5.86. Let d be (10/4)/(9/(-276)). Let w = 76 + d. Is u >= w?
True
Let r be 55 - ((-3 - -1) + 8). Is r smaller than 50?
True
Let x = 50 + -68. Let g be 15/(-12)*x/15. Is 1/3 at most g?
True
Let z be 4/18 - 12/(1620/79815). Is -592 != z?
True
Let k(t) = 2*t**3 + 15*t**2 - 9*t - 10. Let s be k(-8). Suppose -4*u - r + 2*r + 36 = 0, u + r - 4 = 0. Let a = s - u. Which is bigger: -11 or a?
a
Let z = 42 + -39. Suppose 0 = -2*c - z*d - 4, -4*d - 12 + 3 = -c. Is 19 at most as big as c?
False
Let s(y) = y**3 + 2 + 4*y**2 + y + 4*y - y. Let o be s(-2). Suppose -4*z + z - 5*i = 10, -3*z + i + o = 0. Which is greater: z or 2/49?
2/49
Suppose -3*h + 3*b + 36 = 0, 5*b - 42 = -2*h + b. Suppose 3*g - 7*g = 0. Are g and h nonequal?
True
Let q(h) be the first derivative of -6*h**2 + 16*h + 3. Let g be q(5). Which is bigger: g or -43?
-43
Suppose f = -5*f - 18. Let s = f + 7. Let k be (4 + -3)/(s/(-12)). Which is smaller: -7 or k?
-7
Let f(c) = c**2 + 24*c - 11. Let u be f(-23). Let k = -9 - u. Does 26 = k?
False
Suppose 4*i - g = -2105, -4*i - 3*g = 146 + 1971. Is i smaller than -525?
True
Let p = -11.9 - -28.4. Let b = 12.5 - p. Suppose -2*j = -3*m - 2*m + 2, j + 3*m + 1 = 0. Which is greater: b or j?
j
Let t = 8 + -35. Suppose 108 = 34*j - 38*j. Is j equal to t?
True
Let d = 450 + -460. Which is smaller: d or 10?
d
Let k = -90 + 99.8. Let d = -10 + k. Which is smaller: d or 2?
d
Let a be ((-5)/(-10))/((-2)/(-4)) - 178. Is a >= -178?
True
Let o = -67 + 64. Suppose -1 = 3*r + 2. Let s(h) = 4*h**3 + h**2 + 2*h + 1. Let v be s(r). Is v greater than o?
False
Suppose 209*i = 213*i - 228. Let v = i + -169/3. Is 0 not equal to v?
True
Let i(d) = 185*d - 191. Let o be i(2). Which is smaller: 178 or o?
178
Suppose 0 = i - 3*w - 2 - 3, -5*i = -w - 11. Suppose c + 5*a = -23, 3*c + 38 = -c - i*a. Which is greater: -7 or c?
-7
Suppose -2*t = 10, -2*t = -3*q + 5*q - 38. Is q less than 71/3?
False
Let b = -447.081 - -447. Which is greater: b or -1?
b
Let d(g) = -4*g - 2. Let f be d(-2). Suppose 2*x - 51 = 5*j, j - 1 + 4 = -2*x. Let q be (-7 - 93/j)*(-3)/(-2). Which is smaller: f or q?
q
Let i be (-2)/(12/718) + 10/15. Let k = i + 119. Are k and 5 nonequal?
True
Let d = 1296/71 + -138494/7455. Which is smaller: 0 or d?
d
Let f = 96913/97 + -999. Do f and 1 have the same value?
False
Suppose -298 = 5*j - 2*i, 17*i - 239 = 4*j + 16*i. Is j bigger than -60?
False
Let b = 285083/185 - 1541. Which is greater: b or -1?
b
Suppose -n + 2*n + 3 = 2*d, 3*d = -3*n - 9. Suppose 3*k - 5*x = -22, -2*k + d*k - 4*x = 0. Let l be 1*(3 + k) - -6. Is 5 >= l?
True
Let b be (16/182*8/(-32))/12. Which is greater: 0 or b?
0
Let z be (231 - -1)/((135/(-6))/5). Let h = z + 52. Which is greater: 0 or h?
h
Let a(u) = -2*u. Let c be a(4). Let h = c - 