879 + 228855/59. Is 0 >= z?
True
Let y = -777412996/429 - -1812150. Let o = 16/11 + y. Is 1 > o?
True
Let o be ((-10)/(-6))/(2/(-18)). Is o less than -14?
True
Let y = -133 + 132.9. Which is greater: 0.026 or y?
0.026
Let h be 9/((-1)/((-2)/3)). Suppose n = -4*o + h, 2*n = 4*n + 2*o. Let c = -2 + n. Is -4 < c?
False
Let v be (-76)/(-18) - 2/9. Suppose 0*j - 18 = -3*j + 3*o, 2*o = -5*j + 2. Let y be j*3*(-3)/(-18). Is v greater than y?
True
Let g be (-36)/8*(-1)/(-39). Is 0 greater than g?
True
Let g(v) be the second derivative of 0 + 1/2*v**3 - 2*v + 1/2*v**2 + 1/12*v**4. Let f be g(-2). Is f at least 0?
False
Let z(w) = w**3 - w**2 - 3*w - 1. Let b be z(-1). Which is smaller: -3/17 or b?
-3/17
Let s(c) = 19*c + 48. Let l be s(-5). Is -47 greater than or equal to l?
True
Let z = -0.042 - -1.042. Is z > 0.075?
True
Let n = -2 - 0. Let l be (-4)/14 - 4/(-14). Let p be 1/3*l - 2. Is n <= p?
True
Let f(h) = -2*h**2 + 8*h - 12. Let x be f(8). Which is smaller: x or -75?
x
Suppose -14*g = -8*g. Is g less than 15/13?
True
Let m = -988/7 + 5101/35. Which is smaller: m or 5?
m
Let s = -10 + 9. Let w be (-2)/3 - s/1. Which is greater: w or -6?
w
Let h = -3 + -10. Which is greater: -14 or h?
h
Suppose 3 = 2*r - 3. Suppose h + 3*o + o = 7, r = 5*h + 4*o. Do h and -3 have different values?
True
Let a = 1/47 + -143/94. Let x(r) = r**2 - 5*r + 3. Let n be x(4). Which is smaller: n or a?
a
Suppose 3*r + 4*c + 8 = 0, -4*r - 1 - 3 = 4*c. Let q be 2 + -2 - 2/r. Let u(o) = -o**2 + o - 2. Let m be u(0). Is q at most m?
False
Let u = -11 - -7. Let x be (-112)/(-20) + u/(-10). Suppose -q = 3*z - x*q - 15, -3*q - 9 = -2*z. Are 0 and z unequal?
False
Let j = 100 + -106. Is -8 less than j?
True
Let s be (-10)/6 - 1/3. Let g = 2 + s. Let v be -4*(-1)/(-18)*-3. Which is smaller: v or g?
g
Let k be (1 - 4/1)*2. Let r be ((-3)/12)/(k/(-16)). Which is smaller: r or 0.1?
r
Suppose -3*r + 4*f - 9 = f, -r - f = -3. Let h be 2/6*(0 - 1). Is h smaller than r?
True
Let z(i) = -i + 6. Let s be z(0). Let l = -7 + s. Let o be ((-8)/84)/(l/(-3)). Is 0.1 >= o?
True
Let p = -0.1 + 0.2. Let n = p + 0. Suppose -4 + 6 = -2*j. Which is smaller: n or j?
j
Suppose -3*z + 2*o - 2 = 3, 5*o - 3 = -2*z. Which is bigger: z or -3/37?
-3/37
Suppose -5*p - 3 = -8. Is p less than or equal to 2/7?
False
Let i(y) be the third derivative of y**4/24 - y**3/3 - 2*y**2. Let f be i(8). Let v = f - 6. Is v less than or equal to 0?
True
Let l be (-1)/((-18)/45*(-2)/4). Which is smaller: 0 or l?
l
Let p = 14 - 11. Suppose p*x = -x. Which is smaller: -1/7 or x?
-1/7
Let k(c) = -c**2 - 4 + 3 + 1 - c. Let w be k(0). Which is smaller: w or -1?
-1
Let o be (-3)/(75/30 + (-1)/(-2)). Let j be (3/(-5))/3 + -1. Which is smaller: o or j?
j
Suppose -t = 3*u + 3*t - 57, 0 = -4*u - t + 63. Let v be (126/u)/(2/10). Let k be (7/v)/((-1)/4). Which is smaller: k or 0?
k
Suppose 0 = 5*v + 3*d + 12, -v - 4*d = -6*v - 19. Let b be (-6)/(1 + (-6 - v)). Suppose f - 8 = -f. Which is bigger: f or b?
f
Let y be 0*(0 - 1) + -5. Let w be (-3)/(1 - y/(-2)). Let x be (-2)/(-7) + (-12)/42. Do w and x have the same value?
False
Let d = -83 - -82.7. Is d greater than 12?
False
Suppose 5*h + 10 = -5*d, 0*h - 4*h - 3 = 5*d. Let z = h + 16. Let l be (6/(-4))/(z/(-6)). Which is bigger: -1/3 or l?
l
Suppose 4*y + 11 = 27. Suppose 13 = l - 3*i - 0*i, -2*i = -y*l + 2. Is l at most -4?
False
Let u = -67 + 68. Is u at least as big as -84?
True
Let c = -113/2 + 55. Is -1 smaller than c?
False
Let t(u) = -u**3 + 12*u**2 - 9. Let g be t(12). Which is bigger: -10 or g?
g
Let u = 175706/33 - 15826/3. Let y = -49 + u. Which is smaller: 1 or y?
y
Suppose d + 3*d - 5*f + 11 = 0, 0 = 2*d + 5*f - 17. Suppose 0 = -3*x + 2*x + d. Let y be (0 - -1)*x - -2. Which is smaller: 1 or y?
1
Suppose 85*c - 78*c = -14. Do 1 and c have the same value?
False
Let q be ((-1)/(-3))/((-30)/9). Let o = -2/9 - -5/9. Which is smaller: o or q?
q
Let a(r) = -r - 5. Let x be a(-7). Let b be (x - 1)/(1 - 0). Is b > -2/23?
True
Let k = -0.9 - 0.1. Let d(r) = 7*r**2 + 17*r + 10. Let h(c) = 10*c**2 + 25*c + 15. Let x(w) = -7*d(w) + 5*h(w). Let f be x(-5). Which is greater: f or k?
f
Let n be (-4)/(-2) - (-14 - -12). Suppose 3*k = -4*o + 8 - 34, 29 = -2*k - 5*o. Let t be 64/36 - k/9. Is n at most as big as t?
False
Let f = -2 - -1.8. Suppose z + 12 = 5*z. Suppose -d = -z*d - 4. Is d bigger than f?
False
Let r = -10 - -10. Is 2 smaller than r?
False
Let g(l) = 2*l + 9. Suppose n - 1 = -6. Let u be g(n). Is u at most as big as -3?
False
Let l = -0.25 - 4.75. Which is smaller: 1/2 or l?
l
Let t be 2/(-7) + (-142)/(-7). Suppose 3*n = -n + t, -q - 2 = -n. Suppose 8*a = q*a + 20. Which is smaller: a or -1/3?
-1/3
Let u be 6/15 - (5 + -4). Which is greater: u or 0?
0
Let o(n) = -9*n - 1. Let j be o(1). Which is smaller: j or -11?
-11
Let h = 2.997 + 0.003. Which is greater: h or -1/5?
h
Let j = -56 - -60.6. Let r = j + -5. Let h = 0.6 - r. Which is smaller: -1 or h?
-1
Suppose 4*l + 1 = 3*z, 5*z = -4*l + 3*l + 17. Let m be 1 + (0 - (1 - 2)). Suppose 2*c + 4*u = 16 - m, l*c = u - 1. Which is greater: c or 2/5?
c
Suppose -39 = 5*b - 2*b. Let g = -12 - b. Which is smaller: g or -2/25?
-2/25
Suppose 0 = 5*h - 0 - 10. Let n(l) = -l**h - 5*l - l**2 + 3 + 3*l**2. Let q be n(5). Are 3 and q non-equal?
False
Let y = 57 + -56. Let i = -1/17 - 9/136. Does i = y?
False
Let x = 0.6 - 0.3. Which is smaller: x or -1?
-1
Let o = -0.1 - -0.3. Let x be (-2381)/(-180) + 1/(-4). Let m = x - 66/5. Which is greater: o or m?
o
Let b = 3.1 - 0.1. Which is smaller: b or -5/2?
-5/2
Let c = 19 - 9. Let n = c - 5. Suppose 8*k - 3*k = n. Is k bigger than 1?
False
Let i = 92/3 + -30. Suppose -4*u - 3*r + 4 = 0, 5*u + 4*r = u. Suppose -x - u*x = -10. Which is bigger: i or x?
x
Let f = -29/48 - 1/16. Let n be (-4)/22 - (-457)/33. Let s = 14 - n. Which is smaller: f or s?
f
Suppose 2 = -5*y - 53. Let o = -13 + 18. Let j be 6 - o - y/(-9). Is j at most as big as -1?
False
Suppose -2*q + 7*q + 5 = 0. Are q and -1/44 unequal?
True
Let u be ((-8)/(-12))/(2/6). Suppose 0 = o + 3 + u. Let z = 25 + -25. Which is smaller: o or z?
o
Suppose 0 = 4*g - m - 13, 0*m - 10 = -4*g - 2*m. Is 31 != g?
True
Suppose -q = 2*o + 34 + 13, o - q + 16 = 0. Let i = o - -12. Let k be 4/6 - 3/i. Is k equal to 1?
True
Suppose 0 = -2*u - 5*y - 7 - 5, -4*y - 16 = 0. Suppose -5*m - u = 6. Let b = -50 - -49. Which is smaller: m or b?
m
Let l = 26 + -25. Which is smaller: l or -1/40?
-1/40
Let q be 0/1 - 4/(-1). Suppose 2*j + 0*j - 2 = 0, -q*j = -4*h - 8. Which is greater: h or -3/2?
h
Let w = -32 + 34.5. Is 3 equal to w?
False
Suppose 0 = -3*u - u - 4*h - 12, 3*u = -h - 3. Suppose 2*q = -u - 10. Are q and -5 non-equal?
False
Suppose 0 = j + 2*j + 15. Is j at most as big as -6?
False
Let a = -16.67 + -0.33. Which is smaller: a or 1/4?
a
Let a(o) = -o**2 + 5*o - 4. Let h be a(4). Suppose -v + 4 = 14. Let m be -1*v/7 + -1. Is h at most m?
True
Let g be 40/16*(-4)/(-95). Which is bigger: g or 1/4?
1/4
Let y be (2/20)/((-4)/(-15)). Let h = y + 71/24. Which is bigger: 4 or h?
4
Let k be 3*1/(-1 + 2). Let z be 50/4*60/150. Suppose -z*u + 3*t = 0, 2*u + 2*t = -k*t. Is u at most 5/4?
True
Let c = 56 - 75. Is c > -19?
False
Let s = 169 + -9297/55. Do 0 and s have the same value?
False
Let z = 29 + -48. Let h = z + 19.1. Let q = -0.4 - -0.2. Which is greater: q or h?
h
Let n = 20.029 + -0.029. Let w = 20.2 - n. Which is smaller: -2 or w?
-2
Let g be (2/(-4))/(3/(-18)). Suppose j = -0*j - g. Is j greater than or equal to -3?
True
Let u = 51 + -252/5. Is -2/5 greater than or equal to u?
False
Let u = -13.89 - -14. Let k = 0.04 + u. Let n = k - -0.05. Is 0.2 at least n?
True
Suppose -5*n - l = l - 19, -2*n + 14 = 4*l. Let c be (60/18)/(2/n). Suppose 5*x = -c*h - 0*x - 10, 2*h - 1 = 3*x. Which is greater: h or -2/5?
-2/5
Let h(k) = k**2 - 24*k - 53. Let y be h(27). Is 24 less than or equal to y?
True
Let f(h) = h**2 + 4*h + 2. Let o(s) = 3*s**2 + 9*s + 3. Let t(a) = 5*f(a) - 2*o(a). Let n be t(4). Is n at most -2?
True
Let k = 8 + -5. Suppose k*u = 3*f - 0*u + 12, -f = 2*u - 11. Let s be 1/((-2)/6*f). Is s < -3?
False
Let i(g) = -g**3 + 4*g**2 - 3*g - 1. Let t be i(2). Which is smaller: 1/17 or t?
1/17
Suppose x + 5 = -4*c, -x + 4*x + 15 = 0. Is c >= -25/2?
True
Let b =