 18/(-24). Is y at most i?
False
Let i = 20 - 4. Is 14 <= i?
True
Let o(v) = -v + 4. Let q be o(2). Let y(z) be the third derivative of -z**4/24 - z**3/6 + z**2. Let t be y(-1). Which is smaller: q or t?
t
Suppose -x = -2*x + o + 9, 0 = -3*x + o + 21. Let k be (-19)/(-30) + (-3)/x. Which is smaller: 0 or k?
0
Let x = -5 - -7. Does x = 2?
True
Let r be -6*-2*2/30. Let i = 2 + -2. Do r and i have the same value?
False
Let n = 0.009 + -2.309. Let i = n + 2. Let x = i + 0.2. Are -2 and x nonequal?
True
Let m = -4 - -3. Let o = m - 0. Let n = 151/21 + -22/3. Which is smaller: o or n?
o
Suppose -3*m = -2*l - 9, -3*l = 4*m - 0 - 12. Is -4/11 at most l?
True
Suppose 3*s = 7*s - 8. Suppose 0 = s*r + 8, 4*r = -5*t + r - 37. Which is greater: t or -6?
t
Let w(l) = -l - 2. Let q be w(-1). Are -1 and q non-equal?
False
Let t be -4*((-123)/(-42) - 3). Which is smaller: t or -2/3?
-2/3
Suppose g + 53 = 5*f - 0*g, -f - 4*g + 19 = 0. Which is bigger: 12 or f?
12
Let b be 2/((-2)/20*-2*-2). Does -19/4 = b?
False
Let w = -8 + 7.6. Is 2/3 at least w?
True
Let u be 1 - 1*(2 - 2). Is 1 not equal to u?
False
Let m be 4/(-2)*5/10. Let s = m - 0. Let w be 16/(-104) + (-14)/78. Which is bigger: s or w?
w
Let o(b) be the third derivative of -1/24*b**4 - 1/120*b**6 - 11/6*b**3 + b**2 + 0 + 0*b - 3/20*b**5. Let p be o(-9). Is p > -1?
False
Let j = 2 + 1. Let c(s) = s**3 - 8*s**2 - s + 8. Let i be c(8). Suppose 2*b = 3*v - i*v, -2*b + 10 = 2*v. Is v > j?
False
Let f = -30/7 + 113/28. Do -0.26 and f have the same value?
False
Let b(y) = -y**2 + 3*y + 3. Let k be b(6). Let f = 15 + k. Which is smaller: -7 or f?
-7
Let u = 12.9 - 12.9. Does u = -3.4?
False
Let x = -15 + 7. Let y be ((-12)/8)/(6/x). Which is smaller: y or 4/5?
4/5
Let p(o) = -o + 6. Let y be p(-12). Let d be ((-1)/15)/(6/y). Is 0 equal to d?
False
Let t = 152 + -47. Do t and 104 have the same value?
False
Suppose -2*q - 4 = -5*h - 12, -5*q = 5*h - 20. Let p = 13 + -7. Which is smaller: p or q?
q
Let v = -4.4 + 5.36. Let t = 0.44 + -0.4. Let j = t + v. Is j smaller than 3?
True
Suppose 2*i = -3*m + 49, 5*m + 3*i - 55 - 25 = 0. Which is bigger: 11 or m?
m
Let i = 14 - 20. Let o = i - -5. Which is greater: o or 2/7?
2/7
Let j = 7 + -5. Suppose j*q - 1 - 3 = 0. Suppose o + 3 = -p, 0*o + q*o = 4*p - 12. Is -2/5 greater than p?
False
Suppose 3*k = 4*i - 3*i - 12, -4*i + 3*k = -21. Is i bigger than 2?
True
Suppose -2*p + 11 = 2*v + v, p = v - 2. Is v at most as big as 9?
True
Let k = -0.1 + 0. Let b = k + 0.1. Is 0 greater than or equal to b?
True
Let s be ((-10)/(-30))/(7/11909). Let x = 40 + -607. Let y = s + x. Which is smaller: -1 or y?
-1
Suppose 0 = -10*a + 89 + 61. Is 16 smaller than a?
False
Suppose 0*x + 5*x = -45. Is -10 not equal to x?
True
Let o = 935/91 - 73/7. Is o >= -5?
True
Suppose 0 = 4*t - 3*t - 5. Which is greater: 0 or t?
t
Let b be (-120)/(-136) - ((-4)/17)/2. Suppose -f - 77 = -2*f. Let z = f - 1153/15. Is b greater than z?
True
Suppose -3*d + 14 - 35 = 0. Let g = d - -34/5. Let q(a) = -a**3. Let w be q(1). Do w and g have different values?
True
Let w = 0.286 - -0.014. Which is greater: -0.05 or w?
w
Let d be 2/10 + (-45)/(-25). Suppose 0 = 2*y, 0*y = d*i - 4*y. Is i not equal to 2/17?
True
Let w(x) = -3*x + 34. Let o be w(11). Which is greater: o or -2/137?
o
Let g(c) = c - 2. Let k = -5 - -9. Let q be g(k). Which is greater: 1 or q?
q
Let m = -38.1 + 41. Let b = 3 - m. Let u = -2.38 + 1.88. Which is smaller: u or b?
u
Suppose -2*z + 10 = 4*j, 0*j - 5*z - 8 = -j. Which is smaller: j or 4?
j
Let b = 0.14 + -0.07. Which is greater: b or 2/3?
2/3
Suppose 7*b - 32 = 3*b. Is 1 >= b?
False
Let r(i) = -2*i + 1. Let b be r(-1). Suppose -b*z + 3 = 18, v + 4*z = -18. Is 3 smaller than v?
False
Suppose -3*p = -8*p. Suppose 2*k + 0*n = -4*n + 14, 3*k - 2*n - 5 = 0. Let d be (9/51)/(k/2). Which is smaller: d or p?
p
Let a(h) = -2*h**2 - 7*h - 6. Let g be a(-4). Let c be g/(-15) + 16/(-6). Which is greater: 0 or c?
0
Let u be 14 + ((-6)/(-1) - 4). Is 15 greater than u?
False
Let l = 0 - 1. Let q be (-1)/(((-15)/(-9))/(-5)). Suppose 0*a = -3*a - 2*t - 4, -q*t = 3*a + 6. Are l and a non-equal?
True
Suppose 0 = 51*m - 46*m. Let v be (2 + -8)*2/(-4). Suppose -v*r - r + 3*c = 0, -4*r - 5*c = m. Which is smaller: r or 6/7?
r
Let l = 11 - 4. Let i = 2 - l. Are 0.1 and i unequal?
True
Let x be ((-12)/(-48))/((-9)/(-8)). Suppose -5*o + 19 = -5*y + 2*y, o - y = 5. Let q = -1 + o. Which is bigger: x or q?
q
Let n = -9 + 19. Which is greater: 9 or n?
n
Let y(z) = -z. Let k be y(-4). Suppose 0 = k*f + 3*l + 4, -f = -0*f + 3*l - 8. Let h be (-2)/f + (-44)/56. Which is bigger: h or 0?
0
Let d be 2/6 + 5/3. Let o = d + -1. Let f = 0 + o. Does f = 1/3?
False
Let t = -1.62 + 2.55. Let s = -0.24 - -0.17. Let k = t - s. Which is smaller: k or -4?
-4
Let d be 0*4*(-1)/(-4). Which is smaller: d or -2/7?
-2/7
Let c be ((-2)/(-9))/((-64)/(-144)). Is -138 >= c?
False
Let z be 3*-1*24/(-9). Let r(n) = n**3 - 9*n**2 + 8*n + 2. Let o be r(z). Suppose -4*m + o*f - 14 = 0, m + 0*f + 2*f = -11. Which is smaller: -1 or m?
m
Let p be (2 + -2 + -1)*-7. Let a(v) = -v + 8. Let y be a(p). Which is greater: y or 5/6?
y
Let u be ((-2)/3)/(8/78). Is u != -0.1?
True
Let d = -16 + -6. Is d at most as big as -22?
True
Let f = 30.7 - 19.4. Let z = 12 - f. Is -1 at least as big as z?
False
Let z be ((-12)/16)/((-2)/(-8) + 0). Do z and 19 have the same value?
False
Suppose 3*z - 2*t - 9 = 0, 2*z - 3*t - 15 = -3*z. Let h be (-4)/(-2*21/z). Which is greater: -5/4 or h?
h
Let i be 5 - (1 + (-2)/2). Let w be (-2)/(-4) + i/(-4). Let r be (4/10)/((-2)/10). Is w less than or equal to r?
False
Let i = 22.04 - 22. Which is greater: i or 0.2?
0.2
Let f = 1.9 - 0.8. Let h = -1 + f. Which is smaller: -0.1 or h?
-0.1
Let y = -584/3 + 197. Is y bigger than 3?
False
Suppose 3*o - 1 = 5*f + 5*o, -o = -4*f + 7. Suppose 2 = -k + 3*k. Let w = f + k. Is 1/2 not equal to w?
True
Let o be ((-3)/4)/(315/120). Is 1 > o?
True
Let g be 2 - (-3 + 8 + -3). Which is smaller: -2 or g?
-2
Let m(q) = q**2 + 7*q + 3. Let w be m(-6). Do w and -13/7 have the same value?
False
Let y = 0 + 0.2. Let d = 0.5 - y. Let l = 0.4 - d. Is -2 less than or equal to l?
True
Let k be (623/(-126))/((-1)/(-3)). Let r = 15 + k. Does r = -2/3?
False
Let l(t) = t + 8. Let a be l(-5). Let b(y) = y. Let z be b(1). Let u be z/(-2)*0 + 3. Is a smaller than u?
False
Let f = 0.2 - 0.1. Let z = 462 + -9700/21. Which is smaller: f or z?
z
Let g be 5/(-4)*(-5 - -6). Is -2 <= g?
True
Let n = 0.34 + -0.3. Let a = n - 0.14. Which is bigger: a or 4/11?
4/11
Let j be (-8)/28 + 43598/(-140). Let f = j + 312. Is 0 equal to f?
False
Suppose -3*z + z = -8. Let j = 6 - z. Suppose m - 2 = -4*s, -4*s + 7*s - 4 = -2*m. Are m and j equal?
True
Let x be (-1 + 0/(-2))*3. Let b be 2/4*4*2. Suppose 13 = w - b*h, -13 - 2 = w + 3*h. Is x > w?
False
Suppose z = 3*z - 6. Suppose -4 + 1 = -z*m. Is 1/9 equal to m?
False
Suppose 3*w = 4*u + 28, 3*u + 8 = -2*w + 4. Suppose 0*o + w*z - 13 = o, 0 = 3*o - 4*z + 15. Let a be (-24)/4*o/(-2). Which is smaller: -2 or a?
a
Let j = -656/45 - 4/45. Let r be (-1*1)/((-1)/(-15)). Let h = r - j. Which is smaller: 1 or h?
h
Let k = 20 - 20. Which is smaller: k or 2?
k
Suppose -5*l = 0, x + l + 6 = 5. Which is greater: x or -3/14?
-3/14
Let u(v) be the second derivative of -v**4/12 + 7*v**3/6 - 2*v**2 - v. Let a be u(6). Suppose -2*j - 5 = -7*j. Which is smaller: a or j?
j
Let y(g) = -2*g**2 + 2*g - 1. Let h be y(1). Let l be (3/(-6))/((-3)/(-6)). Let c be 1/(1*(0 + l)). Is h > c?
False
Let k = -10 - -16. Let h = k + -8. Let l = -4 - h. Is 2/7 bigger than l?
True
Suppose 5*n = 2*n - n. Is n <= 8/7?
True
Let o = -31 - -28. Is o >= -1?
False
Let x be 2/3 + 1208/6. Let y = x + -1613/8. Which is smaller: 0 or y?
0
Suppose -4*n = -4*r + 16, -5*r + 28 = -n + 8. Which is bigger: r or 5?
5
Let m(p) = p**2 + 17*p + 26. Let n be m(-15). Do n and -4 have the same value?
True
Let a be 2 + (-1)/(-1) + -3. Suppose 4*v = -a + 4. Which is smaller: -2 or v?
-2
Let o = -15 - -29. Let v be (-49)/o - (-4)/1. Which is greater: v or 4/3?
4/3
Let m = 63 - 41. Let l be ((-1)/(-2))/(209/m). Is l equal to 0?
False
Let p = -13 + 14. Let m be (3/(-1) + 2)*-29. Suppose 0*n - n - 3*s - 14 = 0, -4*n + 5*s = -m. Is p less than n?
