 4/(-18). Is x bigger than -1/3?
True
Suppose 0 = -s + 2*s, n - 4*s = -11. Let b = 25/2 + n. Is 2 at least b?
True
Let j(w) be the first derivative of 3*w**2/2 - w - 2. Let g(y) = y - 5. Let z be g(6). Let x be j(z). Which is bigger: x or 1?
x
Let h(o) = o**2 - 10*o - 1. Let r be h(9). Does r = 2/7?
False
Let k = 210989/33 + -6393. Let v = -3/11 + k. Is v at least as big as -1?
True
Let k = 2 + -1. Suppose 0 = -5*o - 7 + 27. Suppose 3*x = 5*h + 25, 0 = -3*x + 2*h + 6 + o. Do k and x have the same value?
False
Let x be 57/12 + 0 - -1. Let g = x + -6. Are g and 0 nonequal?
True
Let x(q) = -q - 3. Let b be x(-3). Let j(a) = a**2 + 9*a + 3. Let f be j(-8). Let g = f + 9. Is g less than or equal to b?
False
Let k be 8/(-6)*(-12)/8. Let n(q) = 6 - k - 1 - q. Let z be n(3). Which is smaller: z or 2/5?
z
Let d be 6/4*(-1)/(-6). Does 35 = d?
False
Suppose -6*k + k + 15 = 0. Suppose -4*p + 6 = -3*m, -5*p - k*m + 8 = -7*m. Does p = 1/4?
False
Let i(g) = -g**2 + 8*g - 7. Let t be i(5). Let r = -6 + t. Suppose b = -r*b. Which is smaller: 1/3 or b?
b
Let w be 5*(-2 + 1) - -2. Let c be -2 + 0/(-2)*-1. Let g(t) = 2*t + 1. Let z be g(c). Is z > w?
False
Suppose 0 = 4*a - 5*a + 1. Let u = -222 - -2221/10. Is a greater than u?
True
Let v = -160 + 2398/15. Let u be 1*(-3)/(4 + -1). Which is smaller: v or u?
u
Suppose 3 = -2*t - 3. Let g be 5/(t + 5/2). Is -10 less than or equal to g?
True
Let y = -8/5 + 11/10. Is y bigger than 10?
False
Let h(p) = p**3 + 8*p**2 + 4*p - 8. Let r be h(-7). Suppose -d - 2*i + r = 4*d, -5*i = -3*d - 17. Do 4 and d have the same value?
False
Let n = 1.5 + -1.41. Let h = 0.91 + n. Which is bigger: h or -0.08?
h
Let m = 5.01 + -5. Let u = m + 6.99. Let r = u - 7.2. Which is bigger: r or 2?
2
Let j(q) = -2 - 4*q**2 + 0 + 3*q**2 + 1. Let l be j(0). Is l smaller than 1/5?
True
Suppose c = 5*c - 5*j - 8, 0 = -3*j. Suppose -4*u - 2 = -c*r - 4, 20 = -5*u - 5*r. Which is bigger: 0 or u?
0
Let a = -97 + 97.2. Let d = -3.1 - -3. Is a greater than d?
True
Let k be ((-6)/(-105))/(2/(-10)). Let n = -4 - -5. Which is bigger: n or k?
n
Let q = 345/7 - 49. Which is smaller: -47 or q?
-47
Let g = 3 + -5. Let q = g - -2. Let h = -30 + 91/3. Which is smaller: h or q?
q
Let m = -3.3 - -4.3. Let j = 2 + -2.5. Which is greater: m or j?
m
Let k be 24/(-5) + 1 - -3. Which is greater: k or 0?
0
Let f = 1.8 - 1.62. Are -0.3 and f equal?
False
Let q = 7 - 6.7. Let j = -5.6 + 6. Let d = q - j. Which is bigger: d or -1/2?
d
Let q be 4 - (1 - (-25)/7). Which is bigger: q or -1?
q
Suppose 0 = 4*k - 8. Let f = -3 + k. Which is bigger: -1/3 or f?
-1/3
Let p = -746/51 - -44/3. Which is bigger: 0 or p?
p
Let d = 54 + -54. Which is smaller: d or -6/5?
-6/5
Let b = 10 - 10. Let c be 4/6 - 32/12. Let y be (1/5)/(c/(-10)). Are y and b equal?
False
Suppose -3*u - 5*s - 3 = 3, 0 = 5*u + 5*s + 10. Which is greater: u or -11/9?
-11/9
Let p = -1.2 + 0.2. Let u(d) = -d**2 - 7*d + 10. Let l be u(-8). Suppose 4*j - 4 = l*q, 5*q = -3*j + 3*q - 4. Which is smaller: p or j?
p
Let d = -2.999 - 0.001. Which is greater: 5 or d?
5
Suppose 6*v + 10 = 3*v - 2*g, 0 = -2*v + 4*g + 20. Let n = 5 - v. Suppose a - 6 = -2*a - n*k, k = -2*a - 3. Do a and -3 have the same value?
True
Let s be ((-2)/135)/(7/(-39 + 4)). Which is smaller: s or 1?
s
Let r be -2 - (0 - 1)/(-1). Let p be (12/8)/(r/(-20)). Let o be 3/(-15) - 18/p. Do -1 and o have the same value?
False
Let w be (-8)/12 - (-4)/6. Suppose -2*f + 2*f = 4*f. Is w smaller than f?
False
Let p = -3.7 + -11.3. Let a = -14.9 - p. Is a smaller than 0.2?
True
Let q = 8 + -8.2. Let r be (-1*(0 + 1))/(-3). Which is smaller: r or q?
q
Let h be 1 + -1 - (-6)/75*10. Let k be (1/4)/(1/(-1)). Which is greater: h or k?
h
Let i = -0.01 - -8.01. Let s = i - 15. Which is smaller: 0.1 or s?
s
Let g = -54 + 49. Which is smaller: g or -1?
g
Let g be (-7)/(-6) - (-3)/(-6). Let p(h) = h**2 - 3*h - 4. Let k be p(4). Is k at most g?
True
Let p = 5 + -1. Suppose f + p = 2. Which is smaller: -3 or f?
-3
Suppose -t - 3*t = -4. Let i be 8/(-44) + 97/(-11). Let r be t + (-5 - i/3). Is -4 bigger than r?
False
Let k = -17 - -17.9. Let i = k - 1. Let a = 1 - 1.1. Is i less than or equal to a?
True
Suppose -3 = 4*j + 17. Which is smaller: -1 or j?
j
Let m = 359/7 - 51. Let l = -50 - -51. Which is bigger: l or m?
l
Suppose -4*f - 100 = -320. Suppose 0*o + o + 4 = 0. Let i be o/14 - f/175. Which is bigger: i or 0?
0
Let s = 121 - 120.8. Let d = -1/28 + 2/7. Which is greater: s or d?
d
Suppose -3*t + 1 + 2 = -4*v, 2*v - 4*t + 14 = 0. Suppose 2*x + 18 = v*k - 3*x, -1 = -4*k - x. Suppose 2*f - 5 - k = 0. Is 2 greater than f?
False
Let b = 16 + -16. Let z = 1 + b. Is z < -6/11?
False
Let l be (5/(-21))/(4/1230). Let s = l - -147/2. Which is smaller: s or 0.2?
0.2
Let t = -180 + 1258/7. Let d = -0.09 + 0.49. Let i = d + -1.4. Which is greater: i or t?
t
Let t = 4.1 + -1.1. Suppose 4*d - 12 = d. Suppose d*s - s = 0. Is t smaller than s?
False
Suppose -2*c + 5*l = -0 + 5, 2*l = 3*c + 2. Which is smaller: c or -1/8?
-1/8
Let a = 3 + -8. Let k = a + 7. Let g(r) = r**3 - 4*r**2 - 3*r - 7. Let c be g(5). Are c and k non-equal?
True
Let u = 1.6 - 0.6. Which is smaller: u or -1/10?
-1/10
Let w(k) = -k - 3. Let c = -2 - -2. Let r be w(c). Let g be ((-2 - 2)/(-2))/r. Are 0 and g nonequal?
True
Let m be (-4)/(-6) - 214/6. Which is smaller: -36 or m?
-36
Let i = -70 + 70. Which is smaller: i or 6/23?
i
Suppose -5*h - g = 0, -5*h + g + 0*g = 0. Let m be h + (-7)/(-8) + -1. Which is greater: 0 or m?
0
Let w = -35729/1007 - 1810/53. Let u = 190303/2736 + w. Let f = 3/16 + u. Which is smaller: 0 or f?
0
Suppose -3*m + 6 = 3*d, 5*m + 1 - 3 = 3*d. Let z = 6 - 2. Let n be z/10 + (-8)/20. Is n <= d?
True
Let s = 1895 - 498387/263. Let f = 1309/789 - s. Which is bigger: f or 1/4?
f
Let c be 0 + (1*-2)/(-1). Let q be (-5 + 2)*4/8. Which is smaller: q or c?
q
Let f = 0.04 - -0.56. Let x = -186 + 184. Do x and f have the same value?
False
Let l = -37 + 37. Do l and 6/5 have the same value?
False
Let z = -308 + 10782/35. Is 0 < z?
True
Let o = -2 + 1. Let t(i) = -2*i**3 + i**2 - 1. Let l be t(1). Does l = o?
False
Let h = 6 + -9. Let d be (-4 - h) + (1 - 0). Are d and 0 unequal?
False
Let i = 7 - 0. Is i smaller than 7?
False
Let i = 0.12 - 0.02. Is i at least as big as 1/8?
False
Suppose -5*i = -x - 14, -6 = 5*x + 4*i + 6. Let j be x*5*(-3)/4. Let b be (-10)/j + 2/3. Which is smaller: b or -3/11?
-3/11
Let j = 0.9 - -0.1. Let u = 1.1 - j. Let f = 4.14 + -3.14. Is u >= f?
False
Let d = -253 - -242. Let u = -43 - -31. Is d greater than or equal to u?
True
Suppose 0 = -5*o + 10, 4*j = 2*o - 4 - 12. Which is smaller: -16/9 or j?
j
Let n = 12 + -12. Suppose -2*m + 15 = m + 2*v, -5*m + v + 38 = n. Which is smaller: m or 8?
m
Let b be 20/(-9) - (-26)/117. Which is smaller: -1 or b?
b
Let n(y) = -1 + 6*y - 5*y + 3. Suppose 0 = 4*q - f + 12, q - 3*f - 6 = 2. Let d be n(q). Is -2 bigger than d?
False
Let m(w) = w**3 + 2*w**2. Let s be m(-2). Suppose 5*z + 2*x - 4*x = -20, -2*z + x - 9 = s. Let b be 1/(-1) + 4 + z. Is 3/5 < b?
True
Let d = 87482638/2107 - 41520. Let j = d - 8258/179095. Let p = 64/85 - j. Which is greater: p or 2?
2
Suppose -4*w = 8, 13 = 5*u + 2*w - 38. Suppose 5*s + 10 = 6*s. Which is smaller: s or u?
s
Suppose -r = -5*r - 468. Let f be 3 - (-3)/(r/111). Which is smaller: -1/3 or f?
-1/3
Let x(s) = s - 13. Let g be x(12). Let z = 31/8 - 179/40. Is z bigger than g?
True
Let v(c) = c + 12. Let j be v(-13). Which is bigger: j or -15?
j
Let f(s) = s + 16. Let n be f(-11). Suppose -4*k + 94 = 5*p, 2*k = 2*p + n*k - 39. Is 0 at least as big as p?
False
Suppose 4*y - 6 = 2. Let s be (-4)/(-84)*-51 - (-6)/14. Is s equal to y?
False
Let o = -5 - -5. Let a be (1 + o)/(-1) - -1. Which is smaller: a or -2?
-2
Let m = 1 + -1.06. Let g = 0.94 - m. Let q = 2 - 1.8. Which is smaller: g or q?
q
Let i(r) = -r. Let k(d) = d**2 + 3*d - 2. Let v(z) = 4*i(z) + k(z). Let j be v(-2). Do 1/3 and j have different values?
True
Let s = -207/4 + 52. Let q be 4 + (-2)/(-4)*2. Let z = 4 - q. Do s and z have the same value?
False
Suppose 4*v = -5*c + 77, -4*v - 4*c + 72 = -0*v. Let u = 5 + -1. Suppose a - 1 = -2*a + q, -u*a + v = q. Is 2 bigger than a?
False
Suppose -3*u + 2*u = 0. Suppose o - 1 = 3*v - 2*v, u = -2*o + 4. Is