= 2 + -2.01. Let z = 3.81 + -3.7. Let g = z + y. Which is greater: g or 0.2?
0.2
Let u = -0.8 - -1.8. Suppose 33 = 5*q - 8*q. Which is bigger: q or u?
u
Let y = -4 - -2. Let a(g) = 0*g - 4 - 10 + 5 + g. Let j be a(9). Is j equal to y?
False
Let c = 0.75 - 0.6. Let j = -0.22 + c. Is 1 less than j?
False
Suppose -2 - 1 = -w. Suppose -w*i - 2*i + 5 = 0. Let f be -2 + 5 + 2/i. Is 5 at most as big as f?
True
Let b = -4 + 11. Suppose 4*d + p = -3*p - 8, 2*p = d - b. Is 0.2 not equal to d?
True
Let s(f) = 8*f - 6*f**2 + 2*f**2 - 3*f + 5*f**2. Suppose 4 + 1 = -j. Let y be s(j). Which is bigger: 1 or y?
1
Let j = -0.5 + 0.8. Are j and 3 unequal?
True
Let r be 1 + (-1 - (-126)/(-230)). Let z be 128/(-184)*2/4. Let m = z - r. Is -2 > m?
False
Let r(b) = -b**3 + 7*b**2 - 5*b - 7. Let h be 2/(-2)*1 + 7. Let p be r(h). Let a = 16/15 - 9/10. Which is smaller: p or a?
p
Suppose -q - 2*q + 28 = -k, -4*k + 5*q - 84 = 0. Let t be (-1)/(1 - (-12)/k). Which is smaller: t or -5?
-5
Let v be 5/10 - (-1 + 1). Let q(n) = -2*n + 20. Let s be q(8). Is s greater than v?
True
Suppose -2*t + 3*t + 5*b = -25, b + 23 = -2*t. Let p be t/(-12)*3*4. Suppose -6*j + j - p = 0. Which is smaller: -3 or j?
-3
Let n be (1 - 4) + 3 - -1. Suppose 4*s + 2*m = 0, 0 = -3*s + 3*m + 27 - 9. Is s greater than n?
True
Suppose -79 = -2*v - 5*l, 5*v - 7*v = 3*l - 81. Is 42 bigger than v?
False
Suppose 4*t - 129 = -105. Which is smaller: 2 or t?
2
Suppose z - 3 = 4*z. Let o be 4 + 0 + -2 + -3. Is o <= z?
True
Suppose y + 3294 = 2*a, 5*a + 3259 = 3*y - 4*y. Let k be (-1)/(-1) - y/52. Let b = k - 64. Which is smaller: 0.1 or b?
0.1
Let l = -78 + 89. Which is smaller: l or 15?
l
Let b be 5*18*168/(-35). Let c = b + 623. Let l = -1335/7 + c. Which is bigger: l or 0?
l
Suppose -8*p - 20 = -4*p. Let b(o) = o + 6. Let y be b(p). Is y at most 2?
True
Suppose -4*s = -s - 6. Suppose s*j = -j. Is 0 greater than or equal to j?
True
Let a = -2.8 - -13.8. Let r = -5 + a. Let f = r + -6. Is -0.1 at least as big as f?
False
Suppose 2 + 6 = j. Let x = -130 + 139. Which is smaller: j or x?
j
Let w(k) be the second derivative of -k**4/12 - k**3 - k**2 - 5*k. Let m be w(-5). Is 2 > m?
False
Suppose 3*l - 7 = 5. Suppose -c = 3*c - l. Which is smaller: c or 2/7?
2/7
Let s be (5 + -4)/((-9)/2). Let h(y) be the second derivative of y**3/6 + 4*y**2 - 3*y. Let j be h(-8). Which is bigger: s or j?
j
Let j = -0.019 - -0.419. Are 3/8 and j non-equal?
True
Suppose 5*v = 4 + 16. Suppose 2*h = -v*y - 4, 2*h + 0 - 2 = 2*y. Which is smaller: -0.1 or h?
-0.1
Let r = -379/2776 - -4/347. Let n(c) = -c**2 + 3*c - 1. Let m be n(2). Is m greater than r?
True
Let v(w) be the second derivative of w**4/12 + w**3/2 + w**2/2 + w. Let i be v(-3). Let t = 2/345 - 704/2415. Is i smaller than t?
False
Suppose 0 = p + p. Let j = -203812/89 + 2290. Let v = j - 73/712. Is v less than or equal to p?
True
Let x be (-18)/45 + (-322)/(-730). Do x and -1 have different values?
True
Suppose 0 = 5*c - 13 + 58. Does -1 = c?
False
Let l = 27 - 21. Which is smaller: l or 32/7?
32/7
Let q be (-1 + (-3)/(-4))*-4. Which is bigger: -6/23 or q?
q
Suppose -3*y - 20 = -8*y. Suppose -2*c - y*h + 13 = c, -2*c - h + 2 = 0. Let d be 3 + 0/2*1. Which is greater: c or d?
d
Let v = -1.3 - -0.3. Let t = 0 - v. Let n = -5/8 + 1/8. Is n != t?
True
Let a(f) = -f**3 - 7*f**2 - 6*f - 3. Suppose 0 = -c - 3*c - 28. Let z be a(c). Let d be 6/(-4)*4/z. Which is smaller: d or 1?
d
Let x be 236/16 - (-3)/(-4). Let u be 0 - 14/(2/(-2)). Is u equal to x?
True
Suppose y + 1 = 2*u + 7, 2*u + 3*y = 10. Which is smaller: u or 6?
u
Let h = -0.3 + 0.1. Let l(p) = -5*p**2 - 30*p + 61. Let n(i) = i**2 + 6*i - 12. Let q(k) = -2*l(k) - 11*n(k). Let w be q(-7). Which is greater: h or w?
w
Let b = -2 + 6. Let y = -3.5 + b. Let k = -0.5 - y. Is 1/2 < k?
False
Let d = -108 + 113. Is d >= 0.3?
True
Let k = -0.21 - 0.29. Is k > 0?
False
Let t be (-21)/14 - (-6)/44. Which is greater: t or 2?
2
Let z = 0.02 + 0.03. Let v = -4 + 4. Which is greater: z or v?
z
Let u = -3 - -2. Let q be ((-15)/3590)/(3/(-2)). Let s = -1791/1436 - q. Which is smaller: s or u?
s
Let w(y) = -y**2 - 8*y - 6. Let b be w(-4). Is 10 bigger than b?
False
Let q = -22.9 - -22. Let p = -1 - q. Is p > -3?
True
Let p be 11/3 + -1 - 3. Suppose z - 5 = 0, 3*f + 2*z = -2*f + 15. Let h be (-8)/7*f/4. Are h and p equal?
False
Let a be 1 - 1/3*5. Let p = 1.4 - 1.58. Let g = p - -0.08. Which is greater: g or a?
g
Suppose 5*k - 46 = w - 5*w, 0 = -k - 3*w + 7. Suppose -b + 5*z - 1 + 23 = 0, 9 = -3*z. Suppose 5*y - 5*m = k, 3*y - m - 2 = b*y. Is 0 greater than y?
False
Let k(g) = -2*g**3 - 2*g**2 + 2*g. Let m be k(-2). Which is smaller: 5 or m?
m
Let b be -3*6*(12/189)/(-2). Is b less than or equal to 17?
True
Let q be 3/(-30)*6*-5. Suppose 3*t = -0 - q. Do -2/7 and t have the same value?
False
Let l(y) = y**3 + 4*y**2 + y - 4. Let m be l(-3). Suppose -m*f = 2*f - 8. Is f at most 2?
True
Let o be 34/30 - (-2)/(-6). Suppose -d = -3*s - 1, 15 = 2*d + 2*d - s. Suppose p - d = 2*p, 4*n - 4 = -p. Which is greater: o or n?
n
Let i(f) = -5*f - f - 6 + 3*f + 4*f. Let z be i(4). Is z != -3?
True
Suppose -z = -5*y + 39, 2*y - 1 = 5*z + 10. Is 7 at least as big as y?
False
Let c = 758/11 + -69. Let p = -6 - -6. Suppose p = -2*y + j + 5, -5*y + 2*j - 1 = -11. Which is greater: y or c?
y
Let q be (-2*2/(-14))/1. Which is greater: 4 or q?
4
Let r be 1 - (-4)/(-2) - -6. Suppose 0 = 5*v - 5*p - 25, 4*v - 9 - r = p. Let o be 2/(1/v*-14). Is o smaller than 0?
True
Let x = 95 + -27. Is 67 > x?
False
Let x = -0.4 + 0.3. Let b = -0.1 - x. Let o = b + 1. Is o >= 1?
True
Suppose -4*w + 4*q + 4 = -8, -5*w = 2*q + 6. Suppose 0 = 2*y - w*y + 4. Which is bigger: y or 2/3?
2/3
Let n be (175/294)/((-1)/(-3)) - 2. Is 2 less than or equal to n?
False
Let p(g) = g**3 - 7*g**2 - 23*g + 5. Let n be p(10). Is 1/2 <= n?
True
Let g be (-32)/6 + (-26)/39. Let a be (-46)/10 - g/10. Are -3 and a non-equal?
True
Let a = -91/4 + 23. Let i(w) = w**2 + 4*w + 4. Let j be i(-3). Which is smaller: a or j?
a
Let h be ((-6)/10)/((-1)/5). Is -3 != h?
True
Let h = -0.36 - -0.16. Which is smaller: h or -2/25?
h
Let b be (6/(-2))/((-2)/(-6)). Let l be 6/8*(-6)/b. Suppose 5*q = 5*v, 0*v + v - 2*q = 0. Which is bigger: v or l?
l
Suppose -3*l + 22 = -20. Let b = l - 15. Is 3/10 at least as big as b?
True
Suppose 0*m = -2*m. Let n(f) = -2*f**2 + 9 + m*f**2 - 7*f - 3*f**2 + f**3. Let o be n(6). Which is smaller: o or 1?
1
Let q be 4/26 + 258/13. Suppose -p = 3*p + q. Which is smaller: p or -6?
-6
Let n = -163/663 - 11/51. Let u = n + -8/39. Let c = -1 - u. Is c greater than 0?
False
Let c(r) = -r**2 - 9 + 8*r - 7 + 4. Let x be c(5). Suppose -1 - 1 = -h. Is x at least as big as h?
True
Let a = -7167/13 - -551. Which is smaller: a or 1/3?
a
Let b = -1927/226 + 3/113. Let j be (-10)/(-4)*7/(-2). Let d = b - j. Is d not equal to -0.1?
True
Let c = -3 - -16. Which is bigger: 14 or c?
14
Suppose -20 + 2 = -3*j. Suppose j = h + 3*q + 18, -5*h = q + 4. Is 2/5 less than or equal to h?
False
Suppose 3*a + 4*f = -f - 7, 4*a + 5*f + 6 = 0. Let v be -6*a*(-2)/4. Let m be v/3*(-10)/4. Which is smaller: m or -2?
m
Suppose -o = -2*y + 4*o - 2, 5*o = 3*y - 2. Suppose 3*l + 6 = 2*v, 0 - 3 = -y*l - v. Is l not equal to 1/10?
True
Suppose 18*b - 13*b + 5 = 0. Let q be 4/(-4) + (-40)/(-42). Is b equal to q?
False
Suppose 4*x + 10 = 2. Is -6 not equal to x?
True
Let c be 9/(-36) + (-105)/12. Are -7 and c equal?
False
Let r = -3115/2 - -1602. Is r not equal to 46?
True
Let l = -20 - -26. Which is greater: 0 or l?
l
Suppose p = 2*b + 5, -4*p + 3*b + 4 = -6. Which is smaller: 1/264 or p?
1/264
Let q(j) = j**2 - 9*j - 14. Let k be q(10). Is -5 greater than k?
False
Let f = -347347160538/22009 + 15782051. Let g = f + -111603057/1276522. Let x = g + 175/2. Is 1 less than x?
False
Let t = -6.5 + 2.5. Let z = -3 + 2. Which is smaller: t or z?
t
Let y(s) = 11*s - 1. Let k be y(1). Suppose 0 = -3*h + 5*u - k, -3*u + 6 = h + 2*h. Which is smaller: h or -1/5?
-1/5
Let j = 4 - 3.8. Let a = j - 0.3. Let r = -4 - -2. Are r and a equal?
False
Suppose 0 = -2*v - 4 - 6. Let i(p) = -p**2 - 5*p - 7. Let x be i(v). Which is bigger: x or -6?
-6
Let s = -45 + 45. Is 1/30 at least s?
True
Suppose 0 = 2*q - 7*q - 5. Let r be (0 - (0 + q))/1.