False
Suppose 0 = -5*x - 2*j - 35, -25 = x + 5*j - j. Let n(u) = u**3 - 11*u**2 - 13*u + 10. Let m be n(12). Let q = m - x. Is 5 < q?
False
Let b = -0.143 - -0.043. Which is bigger: b or -1?
b
Let q = 125.1 - 110. Let v = 15 - q. Is 0 <= v?
False
Suppose -4*c + 3 + 11 = -2*l, -12 = -3*c. Do 4/27 and l have the same value?
False
Let w = -1 + 2. Suppose -2*p = -3*p - w. Which is bigger: p or 1?
1
Let k be (-8)/(-20) - (-34)/(-10). Suppose -11 = -b + 4*a, 5*b = 2*b + a. Let i be b - 0 - (-9)/k. Which is smaller: -2 or i?
i
Let v be (4 + 0)*2/28. Let q = -0.4 + 1. Is q at least v?
True
Let o = -0.2 + 0.1. Let l(g) = -7*g + 9. Let x be l(3). Which is greater: x or o?
o
Let q be 1 + -4 + (-5)/(-1). Suppose 0 = u - 3*r - 14, 0 = -0*u + 3*u + 3*r - 6. Let x = q - u. Is -4 equal to x?
False
Suppose -5*w + 2*b = -b - 100, 2*w - 40 = 4*b. Suppose 3*d = -2*d + w. Suppose o = 3*o - d. Is o at most as big as 2?
True
Let s(w) = -w + 5. Let b be s(3). Which is bigger: 1 or b?
b
Suppose 0 = -2*k + 3*g - 7, 3 = 3*g - 6. Let j(h) = -h**3 + 3*h**2 + 6*h - 6. Let q = 12 - 8. Let p be j(q). Is p >= k?
True
Suppose -3*o + 3 = 3*m, 2*m - 6*o = -o - 12. Does 2/45 = m?
False
Suppose b + s - 1 = 0, 2 = -b - 5*s + 3*s. Suppose -3*w - b = -1. Let z be w - (-7)/((-7)/(-2)). Is 1 != z?
False
Let u be (1 + 2/(-2))/(-1). Suppose 0 = -4*v - u*v + 92. Suppose 2*c - 5*d + v = 0, -2*c + 7*c = -d + 10. Is 2 greater than c?
True
Suppose 0 = 4*d + 4 + 4. Let z = 1 + d. Do 1 and z have different values?
True
Let b(k) = -k**2 - 6*k - 2. Let z be b(-5). Suppose 4*h = z*h - 7. Which is bigger: -6 or h?
-6
Let p = -1.1 - -1. Let t = 5 - 4.1. Let l = t + 0.1. Is l greater than p?
True
Let n = -1 + -2. Let i = -3 - n. Let b = i + 1. Is 1 at least as big as b?
True
Suppose 0 = -5*c + c - 8, 0 = -3*p - 4*c - 23. Let o = 8 - 13. Is p greater than o?
False
Let i = -72 - -72. Is 1/30 at least i?
True
Let v(d) = d**3 - 2*d - 2. Suppose s - h = 0, -3*s - 3 = -2*s + 2*h. Let a be v(s). Which is smaller: a or -12/7?
-12/7
Suppose 3 = 2*t + 1. Let b be 0*t/(-3)*-1. Which is greater: 2/3 or b?
2/3
Let y = -3 + 5. Let p be y/(1/1 - -1). Let g = -240/1441 + -2/131. Which is greater: p or g?
p
Suppose 30*k - 28*k - 14 = 0. Which is smaller: k or 3?
3
Let a be (-31)/(-14) - (13 + -11). Is 1 at most as big as a?
False
Let v = 86 - 86. Let a be 4/(-27)*3/2. Is v at most a?
False
Suppose -3*q + 42 = -2*q. Let d be ((-8)/18)/(q/9). Let r be 42/(-54) + (-2)/9. Is d greater than r?
True
Let p be -1*(2 + 1 + -3). Which is smaller: p or -0.11?
-0.11
Let d(g) = -g - 7 + 4 - 4. Let h(p) = p**3 - 9*p**2 - 4. Let f be h(9). Let m be d(f). Is -4 at most m?
True
Suppose -5*q = -q. Which is bigger: 1/4 or q?
1/4
Let k = -37 + 41. Suppose 2*r = 3*r. Are k and r nonequal?
True
Let k = 7 - -11. Is k less than or equal to 18?
True
Let x be (434245/(-271722))/((-128)/(-204)). Let q = 6/45287 + x. Let b = 3/64 + q. Is b greater than -3?
True
Let o(c) = -6*c**2 - 3*c + 2. Let p be o(-4). Let d be (p/40 - -2)*18. Let g = d - -2/5. Is -2 less than or equal to g?
True
Let f = 19 + -18. Let n = 0.2 - 0.2. Which is smaller: f or n?
n
Let r = 8 + -4. Suppose 5*i + 3*c = -5, c + 2 = -r*i - c. Suppose w = i*m - 1, -4*m - 4*w - 4 = -m. Which is smaller: -1 or m?
-1
Let z be (5/(-10))/(3/30). Let n be (-4)/(-2 + 6) + z. Which is smaller: -5 or n?
n
Let o(d) = -d + 2*d + 0 + d + 1. Let f be o(1). Are 2 and f equal?
False
Let m = -1705/1976 - 3/247. Do 2/5 and m have the same value?
False
Let c = 118.27 + -118. Is c < -0.1?
False
Let f be (-9)/6*592/180. Let m be 2/(5*(-4)/46). Let r = m - f. Is r != 1?
True
Suppose -u = -0*u + 2*k + 2, 4*k = 2*u - 20. Suppose 5*h = u*s + 61, -11 = -3*h - s + 12. Which is greater: h or 8?
h
Suppose -1 = -2*s + 3. Suppose -s*x - 7 = -q - 4*x, 4*q - x - 1 = 0. Let w be (-2)/(2/((-1)/q)). Is w equal to 3?
False
Let r be (-13 + 12)/((-1)/(-1)). Which is bigger: r or 3/50?
3/50
Let c = 12/25 + -86/75. Suppose -5*m = 3*s + 21, -s + 3*m + 1 + 6 = 0. Is c smaller than s?
False
Let c be (8/((-64)/(-12)))/(-4). Does c = -1?
False
Let g be (-1)/4 + 22/8. Let z = g + -5/3. Which is smaller: z or 2?
z
Let n = 4 + -1. Let f be 8/(-6)*(-15)/10. Which is bigger: f or n?
n
Let b = 18 - 12. Suppose 0 = -2*q - 2*z - 2 - b, -3*q + 2*z + 3 = 0. Is q at least as big as 1?
False
Let h = 1 + 0. Let y = -0.7 + h. Let k be (-2)/(-1) + (-48)/30. Are k and y unequal?
True
Let c(a) = a + 2. Let h be c(2). Suppose -8 = -2*n + 2, -h*t = 4*n - 20. Let w = -3 - t. Is w smaller than -1?
True
Let q(d) = -5*d**3 - 5*d**2 - 4*d - 6. Let o(x) = 2*x**3 + 2*x**2 + 2*x + 3. Let j(p) = -7*o(p) - 3*q(p). Let z be j(-2). Is -3 greater than or equal to z?
True
Let d be 5/(-6) + (-3)/6. Let y = 4 + -6. Which is smaller: d or y?
y
Let c(w) = w**3 - 7*w**2 + w - 5. Suppose 3*z = -s - 0*s - 4, -4*s = 2*z + 16. Let n be (-2 + 4)*(-14)/s. Let t be c(n). Is t less than 1?
False
Let y be 2/2*(4 + 0). Let o = 15 + -10. Suppose -11 = o*h + y*v, h + v + 2 = -1. Which is smaller: h or 1/7?
1/7
Let y(c) = -c**2 - 4*c - 2. Let k be y(-1). Suppose -3*n - k = 5. Is -6/11 at most as big as n?
False
Let k be (-6)/4*(-5)/(-10). Is 0.1 bigger than k?
True
Let p = -1.7 + 1.2. Is p <= -1?
False
Let a be 1/2 - 99/54. Is a at most 1?
True
Let o = 1 - -2. Suppose -z + 5 = 3*u + o, -3*u + 4 = -z. Which is greater: z or -3?
z
Let q be 1/((-3 + 1)/2). Let t be q/(-1) - 70/100. Which is bigger: 0 or t?
t
Let k be (2 + -2 - -2)/(-1). Suppose 3*v - 26 = 5*g, 3*g = v - 4 - 10. Is k greater than g?
True
Let n(g) = -g - 6. Let j be n(-8). Suppose 0 = -j*f - 0*f - 2, 7 = 4*l - 3*f. Let b = 221/5 - 44. Which is smaller: b or l?
b
Let t = -71 - -37. Let y = -17 - t. Suppose -5*q = d + y, 2*q = d - 4*d - 12. Which is bigger: -1 or d?
-1
Let u be (2/684)/(-4*(-1)/16). Which is smaller: u or -1?
-1
Let i(q) = -q**2 + 13*q + 33. Let r be i(15). Let z = -1.6 - 0.4. Are z and r nonequal?
True
Let m be ((-364)/18 - 18/(-81))*1. Which is greater: m or -18?
-18
Suppose 0 = -6*s + 3*s + 156. Let b = s - 37. Suppose 0 = m - 0*m - 1, -5*m = -5*d - b. Is -1 > d?
True
Let k = 0 + 0.01. Suppose 5*r = 3*y - y - 40, -3*y + 37 = 4*r. Let x = y + -46/3. Which is bigger: k or x?
k
Let q be ((-8)/(-10))/(138/(-115)). Is q bigger than 124?
False
Let q = 5 - 0. Suppose 0 = -m + q*m. Which is greater: m or -2/7?
m
Let v(h) = -3*h + 1. Let o(a) = a**3 - 2*a**2 - 2*a - 2. Let b be o(3). Let y be v(b). Which is bigger: 1 or y?
1
Suppose -d - 6 = -3*m, -3 = -5*d + 5*m + 7. Let w = 7 - d. Let a = -58 - -640/11. Which is smaller: w or a?
a
Let y = -0.7 - -0.73. Let f = y + -0.23. Let k be 16/7*1 - 2. Is f >= k?
False
Let z be 214/35 - 4/(-14). Do z and 5 have different values?
True
Let o(s) = -s**3 + 11*s**2 - 11*s + 9. Let n be o(10). Let x = 3005505 + -348635817/116. Let v = 95/4 - x. Are n and v equal?
False
Let b = 1 + -2. Let t(c) = -c + 1. Let j be t(-1). Let q = j + -3. Is b at most q?
True
Let d be (-15)/(-3)*(124 + -1). Let f = -28291/46 + d. Let l = -67/92 + f. Which is smaller: l or -2?
-2
Suppose -3*c - 52 = -70. Which is bigger: 60/13 or c?
c
Let w be (6 + 2 - 0) + -2. Let k be (w/10)/(2/10). Suppose 5*p - 2*x = x + 16, 3*p = -k*x. Which is smaller: 3 or p?
p
Let g = -5 - -6. Is g greater than or equal to 1?
True
Let i(v) be the first derivative of -v**4/4 + 7*v**3/3 - 7*v**2/2 - 2*v - 9. Let f be i(5). Which is bigger: 12 or f?
f
Let w = 38 - 38. Which is bigger: 20 or w?
20
Let a = -25 - -76/3. Let v(t) = -t**3 - t**2 - 3. Let k be v(-3). Let l be k/27*4/10. Do a and l have the same value?
False
Let n = 0.49 + -0.5. Are -1/7 and n equal?
False
Let o be 1/(-2) + 3/2. Let w be 2/o + (-115)/35. Which is greater: 0 or w?
0
Let b(i) = 4*i**2 - 2*i - 1. Let w be b(2). Suppose -w - 5 = 4*u. Suppose 4*m + 6 = -6. Are m and u unequal?
True
Let h = 1 + -5. Let a = h - 1. Let m = a + 4.7. Does m = 2/3?
False
Let u be (-4)/(-14) + 108/(-231). Let x = -10319 + 681097/66. Let n = -1/66 - x. Is n > u?
False
Let i = -0.01 + 0.11. Which is bigger: 9 or i?
9
Let p = 55 - 52.2. Which is smaller: p or -1/5?
-1/5
Let d = 1 - -12. Is 13 != d?
False
Let h(q) = -q**2 + 5*q - 4. Let k be 45/10 - (-3)/(-2). Let w be h(k). Which is bigger: w or 4/5?
w
Suppose 60 = -c + 3*c. Suppose c = 3*m + 2*m. Is -1 at most as big as 