 z = -2209/32 - -69. Is z at least as big as 0?
False
Let c = 17.05 - 17. Let w = c + 0.95. Which is smaller: 3 or w?
w
Suppose o = 0, o - 18 = -3*w - 3*o. Is w at least 6?
True
Let u = 59 - 827/14. Is u at most 1?
True
Let g = 6 - 10. Let w = 4.2 + g. Let t = 2.9 - 3. Which is bigger: t or w?
w
Let r be (-2)/10 + (-133)/35. Let h be -1 + 2/(r - -2). Is -2 at least as big as h?
True
Let d be (3 - 4)/(0 + 1). Suppose 2*u - 3 = 5*u. Is d at least u?
True
Let o(l) = l**2 + 2*l - 2. Let r be o(2). Let q(y) = -2*y + 8. Let s be q(r). Let p be s/14 + 4/14. Is p greater than 1/2?
False
Let c be 57/(-11) + 6 + (-4)/(-22). Which is greater: 16 or c?
16
Let j(l) = -6*l**3 + l**2 + 2*l + 1. Let u be j(-1). Let t be ((-2)/8)/((-2)/u). Does 1 = t?
False
Let p = -1/82 + -277/4182. Is p < 1?
True
Let i be (4/(-14) + 75/42)*2. Suppose -3*q - 5*x + 4 + 10 = 0, q + 2*x = 6. Let k be 3/(-9) + q/i. Is -8 smaller than k?
True
Let w(d) be the second derivative of -d**5/20 - 7*d**4/12 - 5*d**3/6 + 7*d**2/2 + 9*d. Let h be w(-6). Is h greater than -3?
True
Suppose -4*h - 13 = -9. Is h not equal to 1/9?
True
Suppose 2*k + 6 = -l - 2*l, 5*k + 41 = -l. Let p be 4/10 - k/15. Are p and 1 equal?
True
Suppose 0 = -2*z - 0*z + 5*z. Which is bigger: -3 or z?
z
Let h = 1.4 + -2.4. Are 0.06 and h equal?
False
Let z = 0.8 - 0.84. Let a = z - -3.04. Which is smaller: a or -1?
-1
Suppose 31*i = 28*i + 6. Is 0 <= i?
True
Suppose 3*y + 0*r - 16 = -r, -2*y - 5*r = -15. Let m = -6 + y. Which is smaller: m or 2?
m
Let l = 31 - 31. Are l and -3/34 unequal?
True
Let r be (-4)/20 - 9/5. Let j = -2 - -1. Is r smaller than j?
True
Suppose -7*w = -a - 3*w + 2, -2*a = w - 13. Suppose -4 - 23 = -3*y. Let f = 14 - y. Which is greater: f or a?
a
Let l = 68 - 67. Which is bigger: 4.6 or l?
4.6
Let a = 21 - 19. Let l be ((-6)/15)/(8/(-10)). Is a < l?
False
Suppose 2*r = 4*d - 12, r - 6*r = -d + 21. Let i be r/18 + 8/36. Is 2/45 at most as big as i?
False
Let d be 6 - (-9)/(-3) - -130. Let p = 929/7 - d. Which is smaller: 0 or p?
p
Let z = -1891 - -15083/8. Let b = z + 291/56. Which is smaller: b or 1?
b
Let f(y) = y + 4. Let c be f(0). Suppose -c = -m, -2*n + 4*m = -n + 18. Is n at least as big as -3/4?
False
Let c be ((-2)/(-5))/((-4)/5). Is c at most 2.2?
True
Let h = -27/25 + 441/200. Is 1 >= h?
False
Suppose -3*f + 2 = 4*s + 17, -2*f - 5*s - 17 = 0. Is 0 less than f?
False
Let q be ((14432/10)/(-4))/446. Let g = -2/223 - q. Which is greater: 0 or g?
g
Let v = -7142 + 192500/27. Let l = v - -37/3. Is l less than -1?
False
Suppose o + 9 = -t, t + 1 = 4*o - 3*o. Which is greater: -29/6 or o?
o
Suppose -2*o - 3*m + 65 = 0, 3*m = -3*o + 6*m + 60. Suppose o = 4*n - 5*d + 4*d, -3*d = 15. Suppose n*x + 7 - 2 = 0. Is -2/5 less than x?
False
Suppose -4*t = b - 20, -25 = 5*b - 2*t - 3*t. Suppose -10 = s - 3*s. Suppose -s = h + 4*h. Which is smaller: h or b?
h
Suppose -2*g - 2*j = 2*j - 72, 171 = 4*g - j. Which is smaller: g or 40?
40
Let u = 2 - 3. Let l = 2722/11 - 18142/55. Let m = l - -82. Are m and u non-equal?
True
Let o(u) be the third derivative of -u**6/120 - u**5/30 + u**4/24 - u**3/2 - u**2. Let m be o(-3). Which is bigger: m or 2?
m
Suppose 3*h - 36 = -21. Suppose 13 = 4*y + 4*d + 1, 3*d = 2*y - 11. Is h at most y?
False
Let b(x) = -x - 16. Let k be b(-18). Let j be 1 + -6 - (-1 + k). Which is bigger: -4 or j?
-4
Let z = 23/51 + -2/17. Let v = -0.06 - -2.06. Which is greater: z or v?
v
Let x be (-2 - -5)*(0 + (-3)/7). Which is smaller: -0.1 or x?
x
Suppose 0 = 8*f - 7*f + 9. Suppose -2*p = 4*w + 10, -2*p + 2*w = 2*p + 30. Which is greater: p or f?
p
Suppose -p - q = -11, 3*p - 39 = -p + q. Let d = p - 7. Are d and 2 non-equal?
True
Suppose 4*n = -c + 4, -3*n - 9 = -2*c - 23. Is n <= 1?
False
Suppose 3*h - 3*p + 3 = 0, -2*h + 3 = -0*p + 3*p. Are h and 1/26 nonequal?
True
Let h = -29/21 + 5/7. Suppose 0 = -3*c + 10 + 17. Suppose -2*y = -4*g - 8, -3*g - y - c + 3 = 0. Do g and h have different values?
True
Suppose 4 = 2*w + 6. Suppose -6 = -5*v - 1. Suppose -2 = 3*y + v. Do w and y have different values?
False
Let d be (528/15)/(-4) - -3. Let k = -251/45 - d. Which is smaller: k or 1?
k
Let g = 51/20 - 377/140. Let x(j) = -j + 4. Let k be x(4). Which is smaller: k or g?
g
Suppose 38*t - 32*t = 48. Is 2 at most as big as t?
True
Let f = 3 + 0. Suppose 4*l + f - 11 = 0. Let w be (10/25)/(-1) - (-34)/10. Which is bigger: w or l?
w
Let w be -1 - (3520/(-28) + -3). Let q = w - 128. Which is bigger: q or 1?
1
Let c = -0.03 - 0.47. Which is bigger: -0.1 or c?
-0.1
Let d = -198 - -2771/14. Is d > -1?
True
Let f = -695 + 39613/57. Which is greater: 0 or f?
0
Let l = 613966/4291 - 138/613. Let k = 142 - l. Suppose -2 = r + r. Which is smaller: r or k?
r
Let z = 0.59 + 0.01. Let f = -0.4 - z. Is f smaller than -2?
False
Let k be 16/10 - 2/(-5). Suppose -k*c + 3 = -1. Suppose -4 + c = u. Which is bigger: u or -1?
-1
Let b = 1.9 - 2. Let r = -0.1 - b. Let c = -1.5 - -0.5. Which is greater: r or c?
r
Let q = 0.12 - 4.12. Is -0.06 at most as big as q?
False
Let m be 0/((-2)/2*2) - -1. Is 20 at least as big as m?
True
Suppose 0 = 3*y + 20 + 4. Let c(i) = -i**2 - 10*i - 9. Let d be c(y). Let j be 16/d - (-6)/(-21). Which is smaller: 0.1 or j?
0.1
Let g(m) = m - 4. Let c be g(3). Let o = -203 + 203. Do o and c have the same value?
False
Let y = 1.4 - -1.9. Let r = 0.3 - y. Is r greater than 1?
False
Let b be (24/5)/(-6) - 3. Is -3 greater than b?
True
Suppose 3*k - 3 = 4*x, 5*k - 3*x = -6*x + 34. Let z(q) = -q**2. Let c(o) = -5*o**2 + o. Let n(u) = -c(u) + 3*z(u). Let f be n(2). Is f less than k?
False
Let d be 16/64 - (0 + 22/(-8)). Do d and 16/5 have different values?
True
Let h = 112 + -1231/11. Let d = -1 + 2. Is d greater than h?
True
Suppose 19 = 5*j + 4. Suppose -2*u = -0*u. Suppose y + 5 = z, -y - j - 1 = u. Is z > 1?
False
Let a = -0.6 - -1.6. Which is bigger: a or -3?
a
Let w(y) = -3 - 3 - 4*y + 3*y. Let t be w(-7). Let s = t + -1. Is s greater than or equal to 1?
False
Let t = -7 - -9. Is t equal to 15/16?
False
Let o be (-36)/(-21) - (2 - 0). Are -6 and o unequal?
True
Suppose 44 = -2*u - 4*r, 0*u + 45 = -2*u - 5*r. Let y be 55/u + (0 - -3). Which is smaller: 1 or y?
y
Let i(x) = x**3 - 4*x**2 - 5*x. Let n be i(5). Are n and 1 nonequal?
True
Let s = -2.5 + 0.5. Let h = -2 + 1.7. Which is bigger: s or h?
h
Let u = 362/9 - 40. Let s = -6 - -6. Which is greater: s or u?
u
Let k be (-138)/575*1/9. Is -1 smaller than k?
True
Let s = -7 + 4. Let q be -2 - 0/((-20)/(-5)). Is q less than s?
False
Let h be (-2)/7 - (-6)/21. Let y = h + 0. Suppose -3*i + 3*d = 4 + 5, y = 4*d - 8. Is i at most -2?
False
Let v = -0.7 - -1.7. Let a = v + -0.6. Which is smaller: -2 or a?
-2
Let l(i) = -9*i - 38. Let c be l(-4). Which is smaller: -3 or c?
-3
Suppose -4*x + 0*m + 6 = 3*m, 4*m = 8. Let t(j) be the third derivative of j**6/120 - j**4/24 - j**3/6 + j**2. Let r be t(-1). Which is smaller: r or x?
r
Suppose -5 + 55 = -5*x. Let v = x - -26. Let y be (12/v)/(5/(-4)). Which is smaller: y or -1?
-1
Suppose 8*k = 2*k. Is 0 smaller than k?
False
Let g be (-135)/9 + 2 + 2. Do -12 and g have the same value?
False
Let x(h) = -h**3 - 5*h**2 + 3*h - 19. Let q be x(-6). Let o be 1/(-7) + (-2)/(-7). Which is smaller: o or q?
q
Suppose 3*i + h + 14 = -560, 3*h - 570 = 3*i. Let n = 3249/17 + i. Is n smaller than 1?
True
Let c = 14 + -17. Which is smaller: c or 4?
c
Suppose -g + 16 = -2*f, 0 = -f + g - 1 - 6. Let u = f + 10. Is 1 != u?
False
Let f be (-3)/4 - 8/32. Suppose 0 = -2*d + 4*d - 5*w - 9, 21 = -4*d - 3*w. Let b be (d - 77/(-26))*-2. Is f bigger than b?
False
Suppose 102 - 11 = 7*i. Do 14 and i have the same value?
False
Let m = 65/34 - -10/17. Let o be (42/(-63))/(1/(-6)). Which is smaller: o or m?
m
Let i be -4 - 60/(-25) - -2. Are i and 8/5 equal?
False
Let c be (1 - (-1264)/20) + 0. Let d be (32/10)/(1/(-20)). Let x = d + c. Is -1 <= x?
True
Let c = 1.4 - 7.4. Let m = 8.05 + -0.05. Let x = m + c. Does -1/4 = x?
False
Let o be 8/28 + (-94)/(-14). Let i = -13 + o. Are -6 and i equal?
True
Let l = 2 + 2. Let o be 6/l*2/(-6). Let s = 2.5 - 3.5. Is s at least o?
False
Let z be ((-2)/3)/(2/6). Let m be 7 + (-1 - 0) + -3. Let x = m + z. Is 5 bigger than x?
True
Suppose 0*c - 25 = -5*c. Suppose -x + r + 2*r = -3, -4*x - c*r = -1