z be 13 - 11 - 48/27. Suppose 24 = 4*w + 8. Suppose m + a = 1 - w, 0 = 5*m - 3*a - 17. Is m < z?
False
Let q = -429 + 429. Let g be (-2)/(-3)*3 - -6. Suppose l - g = 5*m, 2*m = l - 1 - 1. Does q = m?
False
Let j be (-2 - -4) + -3 + -5 - -5. Which is bigger: j or -2/617?
-2/617
Let x = 50.06 - 0.06. Let h = -28 + x. Let y = h + -15. Is y less than or equal to 0.1?
False
Suppose 3*w - 21 + 39 = 0. Let f be 248/(-83) - w*2/4. Are 1 and f equal?
False
Suppose 0 = q + 5, 0*g = -3*g - 4*q - 80. Let w = 23 + g. Suppose 60 = -w*b - 3*i, -3*b - 2*i - 3*i - 66 = 0. Which is greater: b or -16?
-16
Let w(h) = -3*h - 109. Let t be w(-36). Is t greater than or equal to 11/138?
False
Let o = 2689/7 - 385. Let p(l) = l**3 - l**2 - 1. Suppose 0 = -11*c + 14*c. Let f be p(c). Which is smaller: o or f?
f
Let w be (756/495)/((-3)/(-20)). Which is smaller: w or 9?
9
Let g = -8.98 + -0.02. Let r = 2.3 - -3.7. Let x = r + g. Is x <= 2/3?
True
Let o(a) be the first derivative of -a**2 + 6*a - 64. Let b(l) = l + 2. Let n be b(3). Let c be o(n). Does 0.1 = c?
False
Let c be (-48)/(-135) - 20/25. Which is smaller: c or 0?
c
Let v = 147 + -246. Let i = v + 100. Do -1/10 and i have different values?
True
Let s be (4/6)/(12/234). Let o = 25 - s. Suppose 0 = 2*d + d + o. Which is bigger: d or -3?
-3
Let r be 125/225 + 2/(-6)*2. Let k(a) = 6*a + 6. Let d(x) = -x**2 - x. Let n(z) = d(z) + k(z). Let o be n(6). Is r < o?
True
Let n = -4.5 - 0.5. Let t = n - -7.5. Is t greater than or equal to 2?
True
Let k = 44563/3275985 + -17/1329. Do k and 0 have different values?
True
Suppose 11 + 19 = 5*m. Suppose 0*q - 3*f - 27 = -3*q, -4*q - 5*f = 0. Is q at most m?
True
Suppose 0 = 2*v - 83 - 29. Is 56 greater than v?
False
Let y = -1399.4 - -1404. Is y > -0.06?
True
Let g = 21.6 + -15.5. Let m = g + -6.4. Which is greater: 37 or m?
37
Let t(r) = 5*r**2 - 2*r - 8. Let h(s) = -14*s**2 + 7*s + 23. Let a(l) = -3*h(l) - 8*t(l). Let j be a(5). Suppose -3*x + j = -19. Which is greater: x or 12?
x
Let n = -15.483 - -15.5. Which is greater: n or -2?
n
Let n(p) = -2*p + 30. Let f be n(5). Let y = -27 + 47. Let h = f - y. Which is greater: h or 3/14?
3/14
Suppose 6*h = 2*h - 120. Which is bigger: h or -88/3?
-88/3
Let o be (-2 + 12 - 2) + (-616)/2. Is -304 at most as big as o?
True
Let d be (-2)/(-8) - 46/120. Let q = -6.17 + 6.27. Is d at least as big as q?
False
Let u be (46/115)/((-4)/(-35)). Let x = 0.9 + 0.1. Is x at least as big as u?
False
Let j = -586/9 - -27590/423. Is -1 at most j?
True
Let r(n) = -3*n**2 + 43*n - 54. Let x be r(13). Is 3.25 <= x?
False
Let r be (-1402)/12*1 - -2. Which is bigger: -114 or r?
-114
Let s = 2.3 - 2.7. Let k = 0.6 - s. Do 3/8 and k have the same value?
False
Let t(w) = -4*w - 57. Let r be t(-14). Let b be 1/(r - 3/(-2)). Is b at most as big as -19?
False
Let g = 346 + -200. Which is smaller: g or 147?
g
Let l(a) = 2*a + 19. Suppose 6*y - 7*y = 8. Let j be l(y). Suppose 5*r = 3*i - 26, -3*i = -4*r + 5 - 27. Which is bigger: i or j?
j
Let x(o) = 611*o**3 + 2*o**2 - 4*o + 2. Let z be x(1). Which is smaller: 610 or z?
610
Let c = -3.15 + 5.24. Let h = c - -0.01. Let t = h - 0.6. Which is bigger: t or 1?
t
Suppose -3*p + 4*t = -5*p, 0 = 2*p - 3*t. Let j = 408 + -14281/35. Are j and p unequal?
True
Let p = 56 - -76. Which is smaller: 133 or p?
p
Let j be (-2)/(-6) + (-1)/6. Suppose 5*g = -0*g + 20. Let b(m) = -m**3 + 3*m**2 + 4*m - 1. Let a be b(g). Which is smaller: a or j?
a
Let n be 5*(-4)/((-40)/6). Let v be (3/51)/(n/(-6)). Let i be -1 + (3 - 3) - 0. Is v equal to i?
False
Let g be ((-868)/(-155))/((-1)/(-80)). Are g and 448 equal?
True
Let f be (-2)/3 + 1476/1404. Is 1 at least f?
True
Let j(l) = -l**2 + 8*l - 8. Let c = -2 + 8. Let k be j(c). Suppose -k*s - 5 = v + 3, 0 = -5*s - 20. Which is smaller: v or 7?
7
Let v = -1.99 - -2. Let w = 2.01 - v. Let z be (4/125)/(11/(275/(-10))). Which is smaller: z or w?
z
Suppose 3*r - 2*i + 5*i - 438 = 0, -5*i + 20 = 0. Let k = r + -135. Suppose -2*a + 0*a - 38 = -5*q, -8 = 2*a. Which is smaller: k or q?
q
Let q = -1/26 - 47/130. Let r = 5/28 - -41/84. Which is greater: q or r?
r
Let x = 5362/5 + -2171608/2025. Is -1 bigger than x?
False
Let i = 83 + -82. Which is greater: i or -2/61?
i
Suppose 418*r = 424*r - 3570. Which is greater: r or 594?
r
Let z = -139.58 - 1.42. Let w = z + 141.1. Which is smaller: w or -0.9?
-0.9
Let j be (-4)/(-13)*2/8. Let d(t) = 3*t**2 + 41*t + 26. Let r be d(-13). Which is bigger: j or r?
j
Let x = 139/182 - 5/26. Let a = 0.066 + 4.034. Let r = a + -4. Which is bigger: r or x?
x
Let k be 4*(-16)/(-352) - (-139)/(-583). Is k at least as big as 0?
False
Suppose -94*b - 240 = -98*b. Is 64 less than b?
False
Let q(o) = -2*o**3 - 10*o**2 - 6*o**3 - o + 7*o**3 + 3 - 4*o. Let k be q(-8). Which is smaller: k or -86?
-86
Let o(c) = -c**2 + 10*c - 8. Let z = 23 + -14. Let u be o(z). Which is greater: u or -3/29?
u
Suppose b = -4*b + 45. Suppose m - b*m = -440. Are m and 54 equal?
False
Let i be (16/(-6))/(1/(-3)). Let s = -103 - -109. Let k be -4 - (-87)/s - (6 + -2). Is i bigger than k?
True
Let u = 3 - 4. Let n = -7124/25 + 285. Is u less than or equal to n?
True
Let d be (1/2)/(3/60). Let i be (-17)/5 - d/(-25). Let j be -2 - i - -3 - 2. Is 3/4 bigger than j?
False
Let k(z) = 3*z**2 + 651 - 647 - 6*z - 5*z**2. Let v be k(-3). Which is smaller: -2 or v?
-2
Let d be (-1 - 26/10)/((-1)/5). Suppose 2*a - a = -2*y + 10, -2*a - 4 = -4*y. Let l be 6/a*(-3)/d. Which is greater: 0 or l?
0
Let r = 21 + -21.1. Let b = -1 - -0.987. Is r less than or equal to b?
True
Let o(a) = a**3 + 7*a**2 + 10*a. Let n be (-2)/(4/24*4). Let w = -8 - n. Let v be o(w). Is 4/5 smaller than v?
False
Let q = -341 + 341.1. Let x = 4.01 + -4. Let t = 0.04 - x. Which is smaller: t or q?
t
Let j = 9.5 + -9.4. Is -3/7 at most as big as j?
True
Let c(m) = m**2 + 7*m - 1. Let x be c(-3). Let l(v) = -v - 11. Let h be l(x). Let k be 1 - (6/h + -3). Which is smaller: k or 2?
k
Let r(u) = -u**3 + 7*u - 3. Let o be r(5). Let h = 3163/34 + o. Which is bigger: -1 or h?
h
Let b = 471 + -300. Is b at most 171?
True
Suppose 0 = -4*p + 21 + 11. Suppose -p + 68 = 4*f. Let d be (f/9)/5*18. Is 4 < d?
True
Let h = -2 + 1.9. Let k = 10.733 + -7.033. Is h bigger than k?
False
Suppose 0 = -5*h - 2 + 7. Let p be 2/h - 6 - -5. Which is smaller: 7/5 or p?
p
Suppose 3 = y + 7. Suppose 9*b = 5*b + 24. Suppose 2 = 2*a + b. Is a != y?
True
Let w(o) = 4*o**3 + 7*o**2 - 20*o - 7. Let b(k) = -5*k**3 - 7*k**2 + 20*k + 8. Let a(m) = 3*b(m) + 4*w(m). Let r be a(-9). Which is bigger: r or 16?
16
Let o be (-1*9)/((-1)/(-2)). Let c be (-1)/(o/(-4) - 4). Let z be c/(-5) + 26/65. Which is smaller: z or -2/9?
-2/9
Let q = 0.4 + 0.6. Let z = q + -16. Let v = -15.3 - z. Is -0.2 less than v?
False
Suppose 9*h - 4 = 23. Suppose 4*k - 24 = -h*j, -2*j + 5*k + 39 = -0*j. Which is greater: 11 or j?
j
Let s = 0.15 + -7.15. Let h = s + 6. Let i be ((-425)/(-10))/(-5) + 7. Which is smaller: h or i?
i
Suppose -4*h - 3*o + 11 = 0, 2*h - 5*o + o = 0. Let y = h - -8. Do 8 and y have the same value?
False
Let r = -195 + 195. Which is greater: r or -33/14?
r
Let y be (-56)/7 + -123 - 6. Is y greater than or equal to -137?
True
Let x = 29 + 5. Let h = 33 - x. Is h greater than or equal to 1/40?
False
Let c(w) = -14*w + 5. Let a be c(-13). Is 186 equal to a?
False
Let l(x) = 5*x - 2. Let v be l(-1). Let f be (1 - (-1)/1)*(-7)/v. Is f less than 1?
False
Let a = -4/25 + 181/1100. Is -1 at least a?
False
Let a = -0.1 + 0.1. Let t = a + 0.1. Let u be (-20)/(-45) + 0 + (-506)/207. Is u at least t?
False
Suppose -116 - 8 = 2*q. Let k be q/(-5) + (-10)/25. Suppose 3*r = -r - k. Is -3 greater than or equal to r?
True
Let k(i) = i**3 + i**2 + 4. Let x be k(0). Let a be x + -4 - (-2 + -1). Is 3 less than or equal to a?
True
Let s = -1/772 - 4405/175244. Let n = 2238775 + -2541011017/1135. Let m = s - n. Is 1 at least as big as m?
False
Let g be ((-3162)/(-4))/((-4)/(-8)). Let v be 2/(-12)*(-53790)/g. Let a = v + -2/527. Is 6 at least as big as a?
True
Let d = -65/6 + 11. Suppose -3*k + z - 3 = 0, 0*z = 4*k - 2*z + 6. Which is bigger: k or d?
d
Suppose -5*i + v + 3*v + 34 = 0, 2*v = 8. Let g be (-12 - 0)*(-5)/20. Suppose 5*f = 4*q + 37, -2*q + 43 = 5*f - g*q. Is f != i?
True
Let v(j) = j**2 - 5*