 b = -94.9 + 98.79. Let w = b - -0.11. Let q be 1/(5*(-3)/6). Which is greater: w or q?
w
Let j = -22328/17 + 1314. Which is greater: j or 0?
j
Suppose -2*b + b + 8 = 0. Let m be 6/(-8) + (-2)/b. Let k = 37 + -38. Is k at least as big as m?
True
Suppose 0 = 5*g, 9*d - 4*d = 3*g + 15. Which is smaller: -1 or d?
-1
Let n = -1.39 - -1.3. Let w = -3/7 + 2/21. Which is smaller: n or w?
w
Let d be (-9 - -9)/((-6)/(-2)). Is d <= 1.4?
True
Let u = 2 - 1. Suppose 2*f - 3 - u = 0. Let n be f - (3 + -5 + -1). Is n less than 5?
False
Let a(u) = -3*u + 3 - 4*u**2 - 3*u + 2*u - 5 - u**3. Let l be a(-2). Let b be -2*1/(l + -6). Is b less than or equal to -1/4?
False
Suppose 6*b - 4*b = -112. Which is smaller: b or -55?
b
Let d(x) = 2*x + 0 - 4 + 0. Let u be d(3). Suppose -3*q = q + 2*f - 16, 0 = q - f + u. Do q and 2 have the same value?
True
Suppose -7*n + n = 36. Which is smaller: -4 or n?
n
Let t = -745/7 + 107. Let n be 0/(1/(-1) + (1 - -2)). Which is smaller: t or n?
n
Let y = 10 - 2. Let v be -3 - (-40)/(5 + -1). Is y greater than v?
True
Suppose 4*u - 24 = -32. Is -3/4 greater than u?
True
Let m(r) = 4*r**2 + 3*r**3 + 3*r**3 - 3*r - 7*r**3 + 2. Let d be m(3). Let u = -1/75 + 17/25. Which is bigger: u or d?
d
Suppose 3*s = -3*n - 30, -4*s = 3*n - n + 30. Let b = s - -2. Are b and -0.1 equal?
False
Suppose 0 = 6*u - 2*u - 64. Let o = u - 10. Suppose 0 = -3*z + z + o. Is z at least 2?
True
Let j(q) = 3*q - 8. Let s(a) = 7*a - 17. Let l(z) = 5*j(z) - 2*s(z). Let f be l(7). Is f > 5?
False
Suppose 0 = 4*g - 0*g - 8. Suppose 5*c = g*f + 10, 4*f + 5*c - 11 + 1 = 0. Which is greater: -2/81 or f?
f
Let q = 7 + -37. Is q >= -29?
False
Let o = -11.9 - -12. Let u = o - 0.1. Which is bigger: -1/9 or u?
u
Let v(a) = -a**3 + 3*a**2 - 2*a - 1. Let b be v(0). Which is greater: b or 1/76?
1/76
Let u be (-4)/(-6)*3 + (-3 - -1). Let s = -1 + -1. Let q be 1 + -2 + s + 2. Which is smaller: q or u?
q
Let r be 0/(-1*(-1 - -2)). Is -1/42 equal to r?
False
Let h = -11 - -13. Is h less than 2?
False
Let q be 3/(-18) + (-119)/6. Which is bigger: q or -19?
-19
Let u(a) = 2*a - 15. Let y be u(11). Is 6 less than or equal to y?
True
Let n = 0.4 - 0. Let o(g) = -g**2 - 3*g - 1. Let u be o(-2). Do n and u have the same value?
False
Suppose 0 = -n + g + 7, 2*g - 3*g = 4. Do n and 9/5 have the same value?
False
Suppose 3*b - 57 = 5*a, 0 = a + 3*a - 2*b + 44. Suppose -x = -7 + 34. Let n = x - -18. Is n equal to a?
True
Let t(r) = 701*r**2 - 9*r - 4. Let x be t(10). Let i = x - 907597/13. Let g = 191 - i. Which is smaller: g or 0?
0
Let z = 34 - 48. Let v = z - -7. Does v = -7?
True
Let f = 38 - 42. Which is greater: f or -1/3?
-1/3
Suppose 4*w = 5*p + 18, -3*w = 4*p + 6 - 4. Let v be (15/75)/(1/5). Which is smaller: v or w?
v
Let n be (-2)/590*(6 - 4). Is n at least -1?
True
Suppose 3*z = i + 27, -5*i = -3*z - 2*i + 33. Let n be (-2)/z + (-5)/(-4). Is 1 at most n?
True
Suppose 0*s + 3 = 3*s. Suppose s = 5*o + 11. Is o bigger than -4?
True
Suppose 0 = 2*b + 4*l - 2*l + 22, -5*b + 2*l = 41. Which is bigger: -8 or b?
-8
Let f = 55 - 54.96. Which is smaller: f or 1?
f
Let x = -3 + 6. Let c = -1 - 2. Let b = x + c. Is b less than or equal to 1?
True
Let i = -1833 - -18367/10. Let x = -461/130 + i. Is x bigger than 0.1?
True
Suppose -5*u - 3*l - 45 = 0, -6*u + 3*u + 2*l - 27 = 0. Let s = -2 - u. Let v = 5 - s. Do 1/5 and v have different values?
True
Let c = -899/135 - -43/27. Let z = 3086/615 + c. Is 0 greater than or equal to z?
True
Let q(x) = 50*x**3 + x**2 - x + 1. Let h be q(1). Are h and 51 unequal?
False
Let y = 35.9 - 36. Which is greater: y or -41?
y
Let x = 15 - 30. Which is smaller: x or -16?
-16
Let w = -11 - -21. Let f be 7/5 - 4/w. Is f equal to -3?
False
Let p be (-10872)/(-8505) - 2/2. Let b = 1/135 + p. Which is smaller: b or 0?
0
Let k(p) = 0*p - 45 + 46 - 2*p. Let a be k(2). Is a > -12/7?
False
Let f = 18 + -11. Let w(n) be the third derivative of -n**6/120 + 7*n**5/60 + n**4/24 - n**3 - 11*n**2. Let z be w(f). Is -0.06 > z?
False
Let g be 2 + 1 + -5 + -4. Let a be (-6)/(-4)*8/(-3). Let i be (16/(-156))/(a/g). Is i <= -1?
False
Let j = 17 - 18. Let w be (-6)/99*(4 + j). Which is bigger: w or 1?
1
Suppose 2*j + o + 8 = 0, -3*o = 5*j - 4*j + 9. Suppose 4*h + 4 = -0. Which is bigger: j or h?
h
Let k = 0.7 + 0.3. Let z = -1.3 + k. Let j = z - -0.4. Which is greater: j or 3?
3
Let f = 4 + 9. Let k = f + -4. Suppose -6*a + 3*a - k = 0. Is -3 > a?
False
Let l be (-33)/(-100) + 1/(-4). Let b(t) = t**2 - 4*t - 4. Let h be b(5). Let d be (-4*1)/(-4)*h. Which is smaller: d or l?
l
Suppose 0*c = 2*c. Let i = 0 + c. Suppose m + i + 3 = 0. Is m greater than -5?
True
Let s = -548 + 909. Let d = s - 4691/13. Is 2/3 > d?
True
Let g = 1/12 - 3/4. Which is smaller: g or -1?
-1
Let p = 0.8 + -0.7. Let l = 0.9 + p. Which is smaller: l or 0.6?
0.6
Suppose 4*x - 2 = l - 6, -2*x - 4*l - 20 = 0. Let a = -1.3 + -1.7. Is a greater than x?
False
Let h(d) = 3*d + 1. Let w be h(-1). Which is smaller: w or -5/7?
w
Suppose b - 9 = -2*b. Suppose -3*t - b = -6*t. Is t < 1/19?
False
Let y(u) = 8*u**2 + 5*u - 5. Let z(o) = 7*o**2 + 5*o - 4. Let j(h) = 6*y(h) - 7*z(h). Let w be j(-4). Suppose 0 = w*r + 2*r. Which is greater: r or 2/9?
2/9
Let u = 0 + 3. Let y = u - 3. Let c be (2 - 2) + 1/(-2). Which is bigger: c or y?
y
Suppose 3 = -w, -3 = -s - 3*w - 16. Let i be 83/(-4) + 1/s. Is i equal to -21?
True
Let o be (-1)/((1 - 3)/(-14)). Let v be (-8)/2*o/154. Let k(x) = x**3 + 3*x**2 + 3*x + 1. Let m be k(-2). Is m at least as big as v?
False
Let j(s) = s - 8. Let y be j(6). Which is greater: -5/2 or y?
y
Let d = 2 - 2. Which is smaller: d or -1?
-1
Suppose -5*d + 3*j + 3 = -6*d, 5*d = 2*j + 2. Is -4/13 >= d?
False
Let o be (2 - 2 - 4) + 1. Which is greater: o or -5?
o
Let q(a) = 4*a**3 + a**2 - 2*a + 1. Let m be q(1). Suppose -2*u = -3*u + m. Suppose -11 = 5*x - n, 0 = 2*x + 3*n + u - 3. Is x equal to -1?
False
Let z = 2538/415 + 90/83. Is z less than or equal to 7?
False
Let q = 14 + 24. Suppose -2*i + 26 = 3*g - 0*i, 0 = -3*g - 5*i + q. Are g and 5 non-equal?
True
Let y = -1735/9 - -193. Do y and 4 have the same value?
False
Let o be (-1 - 0)*(8 - (-301)/(-35)). Let q be 6/2*(-2)/6. Let p = q - -1. Is o at least as big as p?
True
Let x = -4 + 4. Suppose -u + 22 = -x*u. Suppose -3*m = r + 5, -3*r - u + 7 = 0. Which is smaller: 1/3 or m?
m
Suppose -3*l - 191 = -53. Is -47 != l?
True
Let k = -0.04 - -8.04. Let m = k - 6.9. Let j = m - 0.1. Which is bigger: j or 0.1?
j
Let f(g) = g + 1. Let y be f(-6). Let x(p) = -p - 5. Let a be x(y). Which is smaller: a or -1/3?
-1/3
Let t = -2 + 5. Is -2 smaller than t?
True
Let j(k) = k**2 - 10*k - 5. Let q be j(8). Is q at least as big as -20?
False
Let u(k) be the first derivative of k**2/2 + 2*k - 3. Let t be u(-4). Let c be 1/(t/((-4)/(-2))). Which is bigger: c or 3?
3
Let c(f) = -f**2 + 4*f + 19. Let j be c(7). Is j bigger than -2?
False
Let u be 1552967/(-70) + (-6)/4. Let j = u - -22176. Let m = j - -78/7. Which is smaller: -1 or m?
-1
Suppose 5*o - 28 = -6*s + 3*s, -4*s = -5*o - 14. Let i be 5 + (5 - s/3). Suppose 4*v - 3*m = -i*m - 5, -m = -v + 1. Which is smaller: v or 1?
v
Let d be (-1 - -1)*(8 - 7). Suppose d = 6*o - o - 25. Which is smaller: -0.3 or o?
-0.3
Let q = -23.3 + -1.7. Let a = -24 - q. Which is bigger: a or 4?
4
Let a be (-1 - 0) + 2/2. Suppose 0 = -4*c - a - 8. Let m = 23 + -51/2. Is c > m?
True
Let y = -1.5 + 1.4. Is -9 bigger than y?
False
Suppose 4*q = l - 15, -2*l = -4*q - 7 - 3. Let u = -1196/5 - -235. Which is greater: l or u?
u
Let i = 0.24 - 0.04. Let u = -27 - -17. Are u and i non-equal?
True
Let u be ((-90)/(-8))/5 + 2/(-8). Let o(q) = q. Let b be o(3). Let t be (18/16)/(b/4). Which is bigger: u or t?
u
Let g(s) = -s**3 - 9*s**2 - s + 2. Let m be g(-6). Suppose -2*d + 4*d + 90 = 0. Let r be d/m - (-2)/(-10). Which is smaller: 3/4 or r?
r
Suppose -5*s - 5*p - 16 = -s, 0 = 3*s + 5*p + 12. Which is smaller: s or -2?
s
Let w(d) = -d**2 + 5*d - 6. Let t be w(4). Suppose 0 = i - 2*i - 4. Are i and t equal?
False
Let s = 0.9 + -2. Let c = s - -1.5. Is 0 at most c?
True
Let c = 1 + -1. Let x(j) = -j**3 + j. Let p be x(0). Are c and p nonequal?
False
Let x(i) = -5*i**3 - i + 4*i**2 + 1 + 4*i**3 - 3*i**2. Let z be x(2). Let j(c) = -c**3 - 4*c**2 +