s. Is g >= -2?
True
Let j = -14 - -5. Let m = -8.95 - j. Which is smaller: m or -0.1?
-0.1
Let v = 2 - 1. Suppose 3*x - 5*x + 8 = 3*b, -5*b = -2*x + 8. Suppose 0 = 2*u - x + 2. Is u bigger than v?
False
Let k = -488/5 + 98. Let i(a) = -3*a**3 - 2*a**2 + 1. Let b be i(-1). Let f be (-15)/20*b/12. Is f <= k?
True
Let h be -3 - ((-6)/2)/3. Let i = 5 - -3. Suppose j = 4*n - n + i, n = -4*j - 7. Which is greater: h or j?
j
Let l = 62 - 127. Let m be 1/4 + l/4. Which is smaller: m or -15?
m
Suppose -3*s - 5*l + 5 = 0, 7*l = 3*l + 4. Is s greater than or equal to 12/25?
False
Let u be -1 + 1 - (-3)/1. Suppose u*b + 9 = 2*x, 5*x - 3*b - 8 - 1 = 0. Let v = x + -1. Which is smaller: v or -1/4?
v
Suppose 0 = f + x + 2 - 4, -4*x = 4. Suppose 0 = 3*p - 2*y - 8, 0 = -f*p + 2*y - y + 10. Suppose -8 = -0*c + p*c. Is -3/5 >= c?
True
Suppose i + 4*v - 3 = v, 4*i - 2*v + 2 = 0. Suppose 6*r - 13 = 2*r - 3*t, 3*r - 4*t + 9 = i. Is 4/5 greater than r?
False
Suppose -3*j = 3*t - 3, -3*t - 3 = -5*t - 3*j. Is 1 != t?
True
Let b = 262057/385 - 14262/35. Let h = -273 + b. Which is bigger: h or 0?
h
Let j = 0.13 - 4.13. Are 2 and j nonequal?
True
Let m = 31 + -31.1. Is m <= -0.1?
True
Let p be 1*(-2 - (-41)/3). Suppose -2*s + 4 = -s - 3*r, -5*r = 25. Let h = p + s. Which is bigger: 2 or h?
2
Let h be (4/(-3))/4*-3. Suppose 2*y - 3 = 5*y. Let g be h - 0*y/3. Which is smaller: 2/5 or g?
2/5
Let o = -398/9 - -44. Suppose -2 = 2*f - 3*f. Suppose -5*s - 2 = -f*j, -4*s - 2*j + 2 = -0*j. Which is smaller: s or o?
o
Let p be (19 + -17)/((-1)/2). Is -4 equal to p?
True
Suppose -a + 3 = -g + 2*g, 2*g = -a + 2. Let d be 0/g*2/(-4). Is -1 >= d?
False
Let j be (1/7)/((-2)/6). Let w(o) = o + 11. Let v be w(-8). Let d = 4 - v. Is j > d?
False
Suppose -4*q - 3*x - 15 = 0, q + 3*x + 15 = -0*q. Let v be ((-2)/(-3))/((-125)/45 + 3). Suppose q = v*l + 2*l. Is 2/17 > l?
True
Suppose 2*u = 11 - 15. Is -8/11 bigger than u?
True
Let f be -1*(-3)/(-9)*3. Let m be 8/(-5) + 6/10. Let w be (0 - (-6)/27)*m. Which is smaller: f or w?
f
Let b = 0.9 - 1. Let i = 13.9 - 20.8. Let o = -7 - i. Is o != b?
False
Let c = 3/17 + 73/68. Suppose -f - 5 = -6. Which is greater: c or f?
c
Let t be 0 + 5 + 2 + 1. Let v be -2 + t*(-10)/(-44). Which is greater: -1 or v?
v
Let l = -165 - -491/3. Suppose 4*c - 8 - 16 = 0. Let h be (-2)/(-4) + c/(-4). Which is bigger: h or l?
h
Let p be (2 - 3)*(-6)/2. Let j be 1 - 3 - 18/p. Let q = 6 + j. Is q > -1?
False
Let y(s) = -9*s + 14. Let a(u) = 3*u - 5. Let i(n) = -17*a(n) - 6*y(n). Let k be i(-1). Let h = -4 - -2. Is k greater than or equal to h?
True
Let h = 4 - 0. Let k = 31 - 30. Which is bigger: k or h?
h
Let z = 1 - 0. Let a be (-140)/49 - 6/(-2). Is a > z?
False
Let h = -3 - -2.9. Let g = h + 0.2. Let a = g - 0.3. Does -0.2 = a?
True
Let w(u) be the first derivative of u**3/3 - u**2/2 + 2*u + 2. Let r be w(0). Let p = -3 + r. Which is smaller: -2 or p?
-2
Suppose -f = 9 - 4. Is f at most -15/4?
True
Let m = -29 - -28. Is m less than -2/31?
True
Suppose -5*y = -2*s + 20 + 10, -5 = -5*s - 5*y. Suppose 4*g + 21 = s*z, -10 = 3*z - 5*z. Suppose 7 = 2*a + g. Is 2 greater than or equal to a?
False
Suppose 0 = z + 6 - 0. Let d = z - -7. Let t = d + -1. Which is greater: 3/5 or t?
3/5
Suppose -s + g + 2 = 0, 6 = s + 2*s - g. Let t be (-5)/(-4) - s/8. Which is bigger: 0 or t?
t
Let w be (22 - 21)/(1/(-3)). Do -6 and w have the same value?
False
Suppose -3*c - 2*d = -82, -3*d - 23 = -2*c + 2*d. Let q be ((-4)/(-6))/((-16)/c). Suppose -3*s = -7*s + 4. Which is smaller: s or q?
q
Let z be (-1)/2 + 3/6. Suppose -3*k + 9 = 4*t - 23, -5*k - 5*t = -45. Let i be (k/22)/(-4 + 5). Is i < z?
False
Let w = 8 - 9. Which is bigger: w or -9/8?
w
Suppose -3*r + 54 = -0*r. Let w be 4/r - 58/18. Let k be (w/18)/((-6)/8). Is -1 equal to k?
False
Let n = 9 + -9. Let a = -18 - -29. Let p be 1/(-11) - (-2)/a. Do p and n have the same value?
False
Let h be -3 - (-1)/(1 - 0). Let y be 2*(25/h)/(-5). Is y at most as big as 4?
False
Let v = 6 - 5.5. Let o = -0.6 + v. Which is bigger: 1/5 or o?
1/5
Let a be 27/6 + 3/6. Suppose 0*o - 10 = -2*o. Are a and o unequal?
False
Let z = -4.08 - -0.08. Let v = z + 3.9. Let x = v + 1.1. Is -1/3 greater than x?
False
Let v(k) = -k - 2. Let o be v(-4). Suppose o*h + 2*h - 16 = 0. Let b be 5/h*16/12. Is 1 less than b?
True
Suppose 4*x + 31 - 3 = 0. Which is bigger: -4 or x?
-4
Let h = 0 - 3. Let p be (-2)/h - (-56)/(-12). Is -1 smaller than p?
False
Let b = -3 - -7. Is 4 smaller than b?
False
Let k be (0 - 4) + 3 + -27. Let d = 27 + k. Is d < -1/19?
True
Let t(w) = -w + 5. Let m be 9 + -4 + (1 - 1). Let z be t(m). Is z less than or equal to 2/39?
True
Suppose -2*k = -5*l + k + 113, 5*k = -4*l + 83. Suppose 6 = -5*h - 4*o, h + l = 4*h - 4*o. Is h bigger than 4?
False
Suppose 3*b - 4 = 2. Suppose -b*s - 4*k = -6, 3*s - 7*s = -2*k - 32. Let a be (-1)/s*(2 + 0). Which is smaller: a or 1?
a
Suppose 0 = -f - 1 - 0. Are f and 0 nonequal?
True
Let x = -207 + 89. Is -118 greater than x?
False
Let x = 0.25 - 9.25. Which is smaller: x or 1/12?
x
Let b = 21 - 14.9. Let t = b - 6. Which is smaller: t or 0?
0
Let z be (3/6)/(231/(-12)). Is z > -1?
True
Let y = 0.4 + -0.3. Which is smaller: y or -3/2?
-3/2
Let s = 6.97 - 7. Let f = -0.43 - s. Let a = f - -0.5. Is a not equal to -0.5?
True
Suppose 19 = 3*x + 16. Which is bigger: 3 or x?
3
Let h(p) = -2*p**2 + 1 + 3 - 6 + 2*p**3. Let w(r) = r**3 - r**2 - 1. Let m(c) = 2*h(c) - 3*w(c). Let g be m(1). Do -2 and g have different values?
True
Let h = 100 + -92. Let v be 0 - -1 - (-2)/(-3). Which is smaller: v or h?
v
Let d be 6/18 + (-352)/3. Is -117 smaller than d?
False
Let v be -2*3 - (0 - 2). Let r = v - -7. Suppose -r = -2*f + 1. Are 2 and f unequal?
False
Suppose -2*a = 3 + 1, 4*s - a - 22 = 0. Suppose -2 - 8 = s*c. Is c <= -2?
True
Let p = 26.9 - 27. Which is greater: p or -1/7?
p
Let a be (-6)/(-117)*13006/8. Let l = a + -19/156. Let s = 84 - l. Is s smaller than 1?
True
Let z be (80/(-28))/4*4/10. Is z greater than or equal to -1/2?
True
Let d = -27 + 49. Let y(u) = -2*u**2 - 6*u + 5. Let p be y(-5). Let j = d + p. Is 7 >= j?
True
Suppose -4*y + 3 = -5*i + 31, -y - i = -2. Let l be -2*((-5)/y - 3). Which is smaller: l or 2/11?
2/11
Let i = -8 - -11. Let b(y) = y**3 - 2*y**2 - 5*y - 2. Let l be b(i). Is -7 > l?
True
Suppose f - 3 = 2. Suppose 4*o - 2*p = -8, -3*p + 8 = -f*o - p. Let z be (9/(-6))/(3/(-4)). Is z less than o?
False
Let n(b) = 8*b. Let l be n(1). Suppose 0 + l = -4*r. Let h = 2 + r. Which is smaller: h or -0.2?
-0.2
Let d = -27 + 27.5. Which is bigger: d or 3?
3
Let u = -3 - -2. Which is smaller: -8/3 or u?
-8/3
Let i be (-10)/(-75) + 6/(-45). Is -1/7 less than or equal to i?
True
Let h = -348/5 - -70. Let s be (-2 + 1)*(-4 - -5). Are s and h unequal?
True
Let i = -9 + 11. Which is smaller: i or 14/11?
14/11
Let c(p) = 2*p + 5. Let r be c(-3). Is r at least as big as -5/9?
False
Let q(r) = -r**2 - 12*r - 25. Let n be q(-10). Is n at least as big as -4?
False
Let r = 0 + 0. Let m = -154 - -154. Is r at least m?
True
Let o be 4/(2/4*-2). Which is bigger: o or 18?
18
Let k = -108/7 + 2397/154. Is k less than or equal to -1?
False
Suppose -6*z = -z - 15. Suppose l + z*l = 4. Are -1/8 and l unequal?
True
Let z be -1*(-1)/(-5)*-16. Is 2 less than z?
True
Suppose -3*z - 2*a + 5*a = 6, -z + 6 = -3*a. Is z smaller than -3?
True
Let i(h) = h + 1. Let f(k) = 5*k + 3. Let y(z) = f(z) - 4*i(z). Let b be y(0). Is 0 less than or equal to b?
False
Suppose -2*c - 5 = 3*c. Let w = 2/7081 + -7838677/35405. Let x = -223 - w. Is c equal to x?
False
Let n be -62*(9/2)/(-9). Which is greater: n or 32?
32
Let u = -603253/195 - -3094. Let v = -1/195 - u. Suppose 1 = -3*k + 4. Is v less than k?
True
Let u = 3.1 + -2. Do u and 2/9 have different values?
True
Suppose 0 = 3*n + 4*g + 31, 7*g = 2*n + 2*g + 13. Let w = n + -5. Is w >= -13?
False
Suppose 0 = -0*d - 3*d - 3. Let z = -17 + 19. Which is greater: d or z?
z
Suppose 0 = -b - 2*v + 8, -3*b + 4*v + v + 13 = 0. Let t = 1 - 9. Let k = b + t. Is -3 less than or equal to k?
True
Let v be ((-6)/3)/(-2) - 0. Let f be 1 + 57/30 + -3. Is f > v?
False
Let c = 5.3 - 6.3. Which is greater: -4 or c?
c
Let p = -0.5 - 1.2. Do -0.1 and p have the same value?
False
Suppose 0*u - 3*u - 6 = 0. Which is 