+ 4*c + 1. Let x be u(2). Is v at least x?
True
Suppose 0*r - 15 = r. Let l = 24 + r. Suppose 2*b + 2 = -4*t, l + 5 = 4*b - t. Is b at most 4?
True
Let i = 367 + -365. Is i less than or equal to 2?
True
Suppose 2*m = 96 + 88. Let j be (4/(-6))/(5/(-687)). Let n = j - m. Which is greater: n or 7/3?
7/3
Let u = -1.458 + 7.788. Let p = -68 - -67.67. Let i = u + p. Does i = -0.1?
False
Let k = 16 + -13. Let w = -14/3 - -19/3. Which is greater: w or k?
k
Let z = 1160 - 1154. Let j = 0 + -1. Which is smaller: z or j?
j
Let n = 25.99 + -26.99. Let z be (-2)/(-4) - 2/(-4). Is n < z?
True
Suppose 1 = -4*j + 21. Suppose j*r - 40 = 4*h + 60, 4*r - 106 = -2*h. Suppose 0 = -0*q + 6*q + r. Which is smaller: q or -10/3?
q
Let m(y) = y**3 - 8*y**2 - 10*y + 8. Let g be m(9). Let d(f) = 22*f**3 + 2*f**2 - 2*f - 3. Let x be d(g). Which is bigger: -23 or x?
x
Let i be ((-40)/(-50))/(7/5 - 1). Let c = 2/7 - -107/42. Is i not equal to c?
True
Let q = 242 + -112. Are q and 131 equal?
False
Let k be ((-2)/4)/(8/16) + 1. Let y(t) = -2*t - 5. Let j(s) = s + 4. Let g(h) = -4*j(h) - 3*y(h). Let r be g(1). Is k equal to r?
False
Let b be -5 - (-244 - (-24)/6). Which is bigger: 237 or b?
237
Let z = 79 - 68. Which is smaller: 91/8 or z?
z
Suppose t + 0*t - 3 = 0. Suppose -3*n + 12 = 3*z, 0*z - 30 = -3*n + t*z. Let u be 7 + 2/(1 + 1). Is u bigger than n?
True
Let b = -1845.9 - -1846. Which is greater: b or -104?
b
Let x = 387 + -388. Which is greater: 2/707 or x?
2/707
Let r = 38 + -45. Let p(a) = -2*a**2 - 7*a + 25. Let x be p(r). Which is smaller: x or -23?
x
Let k = -0.03 - -0.03. Let p = 7.7 + -8. Is k smaller than p?
False
Suppose -7*z - 255 = 8*z. Is z > -18?
True
Let b = -3 - -8. Suppose 4 + 1 = b*w. Let j be (1 - -1) + -6 + (-124 - -130). Is w less than or equal to j?
True
Let p = -8.5 + 6.76. Let m = p + 1.7. Let a = m - 1.96. Do a and -1 have different values?
True
Let k be 180/40*(-2)/12. Is k greater than or equal to 5/2?
False
Let y be (-5)/(0 + -1 + 0). Let p be (-19)/y + -2 - -3. Let k = p + 12/5. Is 2 <= k?
False
Let c(y) = y + 1. Let w be c(-5). Let j be (-14)/w - 8/(-16). Suppose -j*k + 8 = -4. Do k and -1/2 have the same value?
False
Let v = -4 + 3. Suppose -b + 140 = -5*r + 4*b, -4*b = 0. Let s = r - -306/11. Which is bigger: s or v?
s
Let w(a) = 3*a + 5. Let k(q) = 1. Let j(r) = 5*k(r) - w(r). Let c be j(-2). Suppose 0 = -2*u + 4 - c. Which is smaller: 3 or u?
u
Let p be 1069*(-1)/8037*(84 + 3). Let x = -220/19 - p. Is x != -1?
True
Suppose -1358 = -2*b - 410. Let m(i) = 2*i**2 + i**3 - 472*i + 9 + b*i + 3*i**2. Let d be m(-5). Which is bigger: 1/14 or d?
1/14
Let u = 943 - 519. Let g = 20351/48 - u. Is 0 equal to g?
False
Let t(o) = -o**3 + 2*o**2 + 2*o - 4. Let k be t(1). Suppose 4*r - 6 = 14. Let z be -1 - 0 - (-2)/r. Is z greater than or equal to k?
True
Let g be 5 - (4 - -1 - 2). Suppose 0 = -3*i - g*u - 0 + 6, -3*u + 4 = 2*i. Let c(x) = x**2 - 3*x + 1. Let n be c(i). Which is bigger: 1/7 or n?
1/7
Suppose -3*t = t + 216. Let v be t/36 - (-18)/4. Suppose -4*w + m + 45 = 0, 3*w + 3*m = 27 + v. Which is greater: 13 or w?
13
Let t = 24 - 24.022. Let y = t + 0.022. Let x = -1.94 - 0.06. Which is greater: x or y?
y
Let g = 1724 - 1702. Which is smaller: 116/5 or g?
g
Let v = -1992/62713 - 1/2023. Is 1 at least v?
True
Let v = 476 - 476.06. Which is bigger: 2/55 or v?
2/55
Suppose 4*j - 2*k = -3716 - 9410, -2*k + 9845 = -3*j. Let v = j - -639793/195. Do v and 1 have the same value?
False
Suppose 8*p - 412 = -220. Which is greater: p or 30?
30
Suppose -4*h + 12 = -0*h. Suppose -h*x + 5 = -25. Let q be 22/10 + (-2)/x. Is q bigger than 4?
False
Let l = 15.41 - 15.71. Let o = 19 - 32. Let a = -64/5 - o. Is l greater than a?
False
Let k be (0 + 0 + 313/(-4))*-5. Let c = k - 389. Which is smaller: 2 or c?
2
Suppose 2*u = -5*l - 0*u + 12, 2*u + 16 = 2*l. Let b be l/(-6)*(-164)/8. Is b >= 13?
True
Let g = -3 + 16. Let l = g + -10. Suppose 1 + l = 4*r. Are r and -3/23 non-equal?
True
Let c = 17 + -9. Let m(h) = h**3 - 6*h**2 - 15*h - 9. Let q be m(c). Which is bigger: q or 2/39?
2/39
Let h = -5551/8 - -693. Let m be (-2)/8 + 5/((-100)/35). Which is smaller: h or m?
m
Let v = 527 - 527. Which is greater: v or 7/36?
7/36
Let k be (-319)/290*(-3)/(-6)*4. Is -1/4 <= k?
False
Let p be (-1409)/(-201) - 42/6. Which is greater: p or -1?
p
Let s = -6 + 7. Let a be (2/s)/(5/10). Let j = a + -18/5. Is j at most as big as 8?
True
Suppose -45*h - 3433 = -508. Which is smaller: -49 or h?
h
Let z = -154 + 155. Let y be 1 + (2 + -16)/2. Let c be -2 - (z + -3) - y. Which is smaller: c or 7?
c
Let a be ((-1)/3 - 0) + (-39)/(-198). Which is smaller: a or 0?
a
Let r be (-2)/11 + 168/77. Suppose 0*f = -r*f. Suppose 3*z = f, 4*z + 2 = -2*x + 3*z. Are -2 and x unequal?
True
Let i(o) = 2*o + 16. Let j be i(-10). Let s be 5/(-10)*j/54. Let y be (-1)/(3 + -2) - -2. Which is smaller: y or s?
s
Suppose -7*a - 6 = -6*a. Let h(g) = g**3 + 6*g**2 - g - 2. Let b be h(a). Let m(i) = -2*i**2 + 7*i - 4. Let f be m(b). Which is greater: f or -10?
f
Let m be 582/4*10/15. Let i = m - 46. Which is bigger: 50 or i?
i
Let k(t) = -109 - 18*t + t**2 + 3*t**2 + 92 - 3*t**2. Let f be k(19). Which is greater: f or 5/4?
f
Let s = 1430 - 1387. Is s >= 5?
True
Let d(s) = s**2 - s - 6. Let v be d(3). Suppose v*x + 2*x = 2. Let t = -80/11 + 7. Are t and x equal?
False
Let b be 788/(-5) - (-64)/(-160). Which is smaller: b or -159?
-159
Suppose 0 = -2*s - 3*h + 618, 471 = s - h + 157. Which is smaller: s or 311?
311
Suppose -4*s - 131 = s - i, -2*i = -2*s - 54. Let z = -30 - s. Which is smaller: z or -11/3?
z
Suppose -2*j + 5*j = 3*q + 12, 4*j - 2*q = 18. Suppose 3*g - 8*g = -s + 11, -j*s = g + 23. Let o be (-3 - -2)*-1 + s. Which is smaller: o or -1?
o
Let f(p) = -p**2 - 3*p + 9. Let k be f(-4). Let b(l) = -14*l. Let g be b(k). Let v be (-12)/10*g/21. Is v < 7?
True
Suppose -2*g = -5*i - 1718, -3*i + 0*g - 3*g = 1035. Let d = i + 7910/23. Suppose y + 2*y = 0. Are d and y equal?
False
Let k be 9/(-45) - (-26)/(-45). Which is greater: -5 or k?
k
Suppose -8*j + 154 + 102 = 0. Suppose 0*m + 3*m = 0. Is m greater than or equal to j?
False
Suppose 21*r - 30*r + 288 = 0. Suppose f = 2*i - r, 2*f = 5*i - 49 - 13. Which is smaller: -37 or f?
-37
Let d be (-9)/15*80/(-24). Which is bigger: d or 21/20?
d
Let y = 235276/3035 - -48/607. Is y at most as big as 79?
True
Suppose 2*n + 0*n = 82. Suppose 5*a = n + 44. Suppose -3*g + 4*y + a = 0, -3*g + 0*g + 5*y = -16. Which is bigger: 8 or g?
8
Let b = -82.5 - -82.4. Which is smaller: -3/668 or b?
b
Let q = -3543 - -46026/13. Which is smaller: -4 or q?
-4
Let u be 1/(-8) + 735*75/360. Are 156 and u unequal?
True
Let k = 57 + -94. Let o = -37 - k. Which is bigger: o or 2/51?
2/51
Suppose -4*o + 148 = 5*u, -3*u = -4*o + u + 112. Is 30 less than o?
True
Suppose 5*i + 1 - 31 = 0. Suppose i = 3*l - 3*d, 7*l = 4*l - d + 18. Suppose -2*p - 10 = 4*k, 2*p + 3*p - l*k = 20. Which is greater: p or -1/16?
p
Let b = -722 + 722.08. Is -0.8 bigger than b?
False
Let z = 4617/35 + -831/7. Suppose 2*y = 0, -p = -5*p + 5*y + 52. Which is greater: z or p?
z
Let x = -1065 - -24503/23. Which is bigger: x or -1?
x
Suppose -2*s = -7*s - 3*p + 80, -21 = -2*s + p. Let v = s + -14. Is 3/7 >= v?
True
Let i be 34/35 - (24/10)/6. Is 0 greater than i?
False
Suppose -g + 2*k = 5*k - 3, -4*g - k + 12 = 0. Suppose -3*l + 60 = -g*q, 3*l - 4*q - 55 = -6*q. Suppose l = -4*w + 7. Which is smaller: -2 or w?
w
Let u(o) be the third derivative of o**6/120 + o**5/10 - 7*o**4/24 + 5*o**3/6 - 2*o**2. Let z be u(-7). Let h be ((-6)/z + 1)/1. Is 6 at least as big as h?
True
Let c = 51.85 + 1.15. Let u = -58 + c. Which is smaller: -4 or u?
u
Suppose -51 = -5*s + 4. Suppose -37*y + s = -26*y. Is 2/285 < y?
True
Let w = 30 - 34.2. Let s = w + 0.2. Let f be -1 + (28/3)/7. Which is smaller: f or s?
s
Let b = 91/4 + -491/20. Let r be ((-43)/(-2))/(3/6). Let h = -46 + r. Which is greater: b or h?
b
Suppose -5*k = -2*k + 27. Let z be (k/4)/((-1)/(-20)). Is -44 greater than or equal to z?
True
Let i = -34/15 - -139/60. Let q(z) = z**2 + 10*z + 10. Let m be (0 + 6)/((-12)/18). Let u be q(m). Which is smaller: i or u?
i
Let t be (496/84 - 6) + 427/294. Which is smaller: 1 or t?
1
Let o = 15 - 37. Let l = o - -15. Is l < -9?
False
L