e same value?
False
Let l be (6/(-18))/((-10)/2). Is 0 bigger than l?
False
Let x(b) = b**2 - 7*b + 14. Let s be x(3). Is 13 greater than or equal to s?
True
Let s = 18 - 19. Let l(f) = -f**3 + 2*f**2 - 1. Let z be l(1). Which is greater: z or s?
z
Let s(v) = v**3 - 33*v**2 - 34*v - 4. Let g be s(34). Which is smaller: g or -12/5?
g
Let w be (1 + 0)/(2/(-128)). Let l = -34 - w. Let g be (-2)/(-4) - 5/l. Which is greater: g or -1?
g
Let n = 24 - 12. Suppose g + 2*g - 5*m + 15 = 0, n = -4*g + 4*m. Let u be (4*12/32)/3. Which is smaller: u or g?
g
Let p be (-58)/20 + (-8)/(-20). Does p = -4?
False
Let k = -13/80 + 1/16. Which is bigger: k or -1?
k
Let k = 2.9 + 12.1. Is 0.1 less than or equal to k?
True
Let n = 4 + -9. Let p = 89 - 93. Is p < n?
False
Let q = -53 - -52. Which is greater: -42 or q?
q
Let s = -72 + 71. Let t be 4/(-10) - (-28)/20. Is t smaller than s?
False
Suppose 3 = 3*m - 0. Let d = -1/28 + 2/7. Is d != m?
True
Let k = 573 + -16619/29. Is 0 > k?
True
Let v = -102 + 67. Do v and -34 have different values?
True
Suppose -2*z + o + 81 = z, 54 = 2*z + 5*o. Let w be 16/(-18) + 6/z. Let p = -7 - -7. Do p and w have different values?
True
Let b = -34 - -37. Which is smaller: b or -1/23?
-1/23
Let y be -1*-1*2/12. Let o = 1 - 1. Which is smaller: o or y?
o
Let r = -3 + 3.3. Let v = -9 + 65/7. Is r < v?
False
Let m = 11 + -7. Let y be m/4 + 15/(-7). Let i = -100/63 - y. Which is smaller: i or -1?
-1
Let x be (-42)/4*12/(-18). Suppose 4*a - x*c = -2*c + 6, -7 = a + 3*c. Let t = a - -1. Is -1 at least t?
False
Suppose 3*a - s = 3, -3*a + 2 + 1 = -2*s. Let c be (a - 7/(-9)) + -2. Which is greater: c or 0?
0
Let f(g) = -g + 6. Let d be ((-27)/(-6))/(3/4). Let t be f(d). Which is bigger: t or 1?
1
Let x be (-9)/15*125/(-782). Let b = x - -1/46. Which is bigger: b or 1?
1
Suppose 6*s + 33 + 3 = 0. Which is greater: s or -5?
-5
Let g = -1 - 13. Is -13 greater than or equal to g?
True
Let b be 2/(-7) - 27312/(-91). Let q = b - 300. Which is smaller: q or 1?
q
Suppose -2*d - 12 = 2*t, 4*d = 2*t - 3 - 3. Let v be (-12)/7 + (d - -5). Is v at most 2?
True
Let u = 1434/55 + -129/5. Let i = -23/44 + u. Is -1/4 at least i?
True
Suppose 5*y - 8*y = -6. Let m(k) = 2*k - 9. Let f be m(6). Which is smaller: f or y?
y
Let x = -4 + 6. Let d be x/7 - (-2)/(-56). Is 1 smaller than d?
False
Let n be ((-2)/(-16*(-1)/18))/12. Is n greater than or equal to -1?
True
Suppose 0 = -5*x + 2*x - 3. Let q = x + 1. Which is greater: -4 or q?
q
Let x(c) = -2*c**2 + 2*c + 1. Let i be x(3). Is 0 greater than or equal to i?
True
Let y = -18.1 + 19. Let h = 0.5 - -0.5. Let t = h - y. Which is smaller: 2 or t?
t
Let r = -7 + -1. Let y(p) = -p**2 - 7*p + 7. Let n be y(r). Let a be 6/(-21) - 8/21. Is n > a?
False
Let l = 25 + -20. Let v = -2.9 - -3. Which is greater: v or l?
l
Let m be (-2)/(-6) - 10/(-15). Is m at most -2/53?
False
Let f = -77 - -63. Are f and -16 nonequal?
True
Let g be (-7 + 1)*(-2)/4. Suppose -9 = 3*m - 5*a + 4, -4 = 4*m - 4*a. Does m = g?
False
Let h = -6 + 10. Let o = 8 - h. Which is bigger: 5 or o?
5
Let c be -3*3/9 + -14. Which is bigger: c or -65/4?
c
Let o = -2 - -1. Let t be (-15)/28 + (-2)/(-8). Which is bigger: o or t?
t
Let o be 6/4*4/(-3). Let v = -14 + 16. Let h be -3 - ((-4)/1 + v). Which is bigger: o or h?
h
Let v = 200 - 605/3. Let r(q) = -q**3 + 5*q**2 + q. Let w be r(5). Suppose 2*a - 2*p + 12 = 0, -2*p + 8 = -3*a - w. Which is smaller: v or a?
v
Let p(t) = -t**3 - 6*t**2 - 6*t - 6. Let y be p(-5). Is 1.4 > y?
True
Let m be (2/(-4))/(5/704). Let a = 70 + m. Is -0.4 at least as big as a?
True
Suppose 0 = -0*u - 3*u - 15. Which is bigger: u or -3?
-3
Suppose -5*s = -0 - 30. Let f(u) = u - 4. Let b be f(0). Let t = b + s. Which is bigger: t or 0?
t
Let n be (1 + -2)/((-1)/2). Suppose u = 2*u - n. Let s be ((-63)/(-35) - 1)/((-4)/(-10)). Is s < u?
False
Let w = 0.49 + 4.51. Is w <= 4?
False
Let r(d) = 5*d + 31. Let k be r(-6). Which is smaller: -3/172 or k?
-3/172
Let b be 1/1*3/3. Let y be (6/21)/(b/7). Suppose -4*i + 3*i + y = 0. Is 3 greater than or equal to i?
True
Let k = -23 - -22.6. Let w = 0.3 - 0.1. Let q = k + w. Is 1 greater than or equal to q?
True
Suppose -o - o = -18. Let j(p) = p. Let s be j(3). Suppose -3*x = -f + 3*f + s, 3*f = -o. Which is greater: x or 3/7?
x
Let z = -4 + 3. Let i(c) = 8*c**2 - c - 1. Let o be i(z). Let s = -4 + o. Is s at most as big as 5?
True
Suppose -5*q + 2*d + 0*d + 4 = 0, -d + 3 = 0. Suppose -q*x = 8 - 2. Let h be 28/12 - 2/x. Is h >= 4?
False
Let t = 294 + -2049/7. Let i be -4 + 2 + (-2 - -8) + -2. Which is smaller: t or i?
t
Let y(m) be the first derivative of m**4/4 + 2*m**3 + m**2/2 + 6*m - 3. Let c be y(-6). Let b = 1.2 - 0.2. Which is smaller: b or c?
c
Let j be 1 - (-3 + (0 - -2)). Suppose -4*m = -2*m + j. Is m > -3/10?
False
Let r = 1.17 + -13.26. Let i = -12 - r. Which is bigger: i or 0.2?
0.2
Let p(v) = v**2 + 4*v + 1. Let b be p(-5). Suppose -5*r + 17 = 2*s, 3*s + 2*r = 2*s + 8. Let u = s - b. Is u greater than or equal to -1?
True
Suppose -44 = -2*j + m, 4*j = 5*j + 5*m - 11. Which is smaller: j or 0?
0
Suppose 2*c - 2 = c. Suppose -2*s + 85 = 3*s - 3*z, -3*s = -3*z - 45. Suppose -m - 2*x = c*x + s, 0 = 2*m + 4*x + 20. Is m bigger than -1/6?
True
Let p be ((-1)/(-2)*-2)/((-11)/11). Is p at most -2/9?
False
Suppose 0 = 2*n + t - 13, 0 = -n - 2*t + 4 + 1. Suppose -n = -2*q - 3. Which is smaller: q or 0?
0
Let y = -11.8 - -11. Let s = -1 - y. Let l = 107 - 106. Which is smaller: s or l?
s
Let z = -4 + 24. Suppose 2*v = -2*m + 20, 2*v + 3*m = z - 0. Suppose 5*s - 5*k = v + 10, 0 = -5*s + 4*k + 15. Which is bigger: s or -2/3?
-2/3
Suppose 0 = 4*y + 7 + 5, 2*l = y + 567. Let m be l/(-54) + 4/18. Let b = m + 6. Is -1 greater than b?
False
Suppose 4*v + 6 = -2*u, -2*v - 2*v - 3 = 5*u. Suppose -5*d - 6 = -u. Let a = -25/2 + 11. Which is bigger: a or d?
d
Let j = -12 - -12. Let a be -5 + j + -2 + 1. Is a at least as big as -6?
True
Let a(o) = o**3 + 6*o**2 - o - 8. Let g be a(-6). Let z = -17 - -15. Is z at most as big as g?
True
Let g = 0.13 - -1.17. Let z = -2.3 + g. Is -10 > z?
False
Let u be 5*(-4 - 80/(-25)). Are u and 2 nonequal?
True
Let r = 71 + -11. Which is greater: 61 or r?
61
Let k be 3/2 - (1 + 0). Let h(f) = f**3 - 8*f**2 + 7*f + 2. Let m be 8 - (-2)/(0 - 2). Let v be h(m). Which is greater: k or v?
v
Let m = 0.07 - -2.93. Let q = -4.037 + -0.063. Let r = 4 + q. Is m >= r?
True
Suppose -5*b = -b + 12. Suppose 1 = 4*g + 5, -2*r - g - 29 = 0. Let u be (21/r)/(2/4). Is b smaller than u?
False
Let w be 4/130*55/44. Which is greater: 1 or w?
1
Let w = -187/630 - -1/90. Let z = -0.1 - -0.2. Which is smaller: w or z?
w
Let n = -4 + 6. Let v be n/((-2)/(-2)) + -1. Let l = 1/43 + 32/473. Is l at least v?
False
Let d = 0.14 + -0.02. Which is smaller: 1 or d?
d
Let n be 1/4 + 37/(-4). Let r be 16/72 + (-43)/n. Do 4 and r have different values?
True
Let g be 4/(-6)*(-57)/(-38). Is -2/17 equal to g?
False
Let y = -0.2 - -0.2. Is y at most as big as 3?
True
Let y(w) = w**3 + w**2 + 2*w - 3. Let c be y(0). Suppose -3*b - 1 = -2*b. Which is bigger: b or c?
b
Suppose a = -2*y - y - 12, -2*y - 2*a - 4 = 0. Suppose -2*i + 8 = -2*q, q - 4*i = -i. Which is smaller: y or q?
q
Let p = -84 + 83. Does p = 43?
False
Let p = 2 + 2. Let f = p - 6. Let l = 4 + -8. Which is smaller: l or f?
l
Suppose 0 = 7*x - 3*x - 5*f - 6, -4*f - 8 = 0. Is x less than 0.3?
True
Let b = -1613 - -59673/37. Let d = b - -125/407. Which is smaller: -1 or d?
-1
Let l(h) = 2*h + 1. Let z be l(-1). Which is bigger: z or 2/87?
2/87
Let o be 4/8 + 18/(-44). Suppose 10 = 5*c - 4*z, 4*c - 7 = 3*z + 1. Suppose c*q + q = 0. Which is smaller: q or o?
q
Let w = -35 - -35.4. Is w at most as big as -0.03?
False
Let y = 16.2 - 24.5. Let w = 8 + y. Which is greater: w or 2?
2
Suppose 0*l + 2*k = -l + 15, -5*k - 21 = -4*l. Suppose -v - 22 = 2*p, 3*p + v + 24 = -l. Let y = -6 - p. Is y > 5?
False
Let p = 379/4 - 95. Which is greater: -19 or p?
p
Suppose 0 = -3*t - 5*l + 65, -2*l + 13 = 5. Let y be 36/t + 2 + -4. Let h be (2/(-55))/(1/(-5)). Is h greater than y?
False
Let k(m) = 4*m**2 - m - 3. Let i be k(-2). Let w be (-85)/i + 1/(-3). Which is bigger: -7 or w?
w
Let a = -59752 + 3346205/56. Let i = a + -11/8. Is i less than or equal to -1?
False
Let