Suppose -2 = x*b - d. Which is greater: b or 3/7?
3/7
Let p be (7 + -3 + -1)/(6/30). Which is smaller: 95/6 or p?
p
Let i(o) = o**2 + 4*o + 3. Let v be i(-2). Let z(g) = g**3 - 3*g**2 + g - 1. Let c be z(3). Let d be c/4 - 6/20. Which is smaller: d or v?
v
Let u = -8 - -4. Let x be 231/(-198) - 6/(-4). Which is smaller: u or x?
u
Suppose -3*s - 5*d = 67, 0 = -2*s - 0*d + 4*d - 8. Is s at most as big as 2/7?
True
Let z(n) = 2*n**2 - 1. Let f(w) = -w**2 - w + 1. Suppose 0*u + u + 1 = 0. Let d be f(u). Let c be z(d). Which is smaller: -2/9 or c?
-2/9
Let n = -0.4 - -0.7. Let h = 54.6 + -55. Is n equal to h?
False
Suppose 5*v + 12 = 3*v. Suppose -5*d = 18 - 3. Let m = d - v. Which is bigger: m or 4?
4
Let j be (-1104)/(-56) + (-2)/(-7). Suppose 2*m = -2*z - 24, 3*m - 8*m - j = 0. Which is smaller: -9 or z?
-9
Let c = -4 - -3. Let a(j) = j**3 - 5*j**2 + 4*j. Let u be a(4). Let n be u/(4*4/16). Is c smaller than n?
True
Suppose 0 = 4*a + a. Suppose -k + 15 = -4*k + 3*v, a = -2*k - 4*v + 8. Is -2 greater than k?
False
Let u = 34.68 + -34. Let d = -0.22 - u. Let x = -4.1 + d. Which is greater: x or 0?
0
Suppose 0 = -5*f - 0*f + 5. Is 10/19 less than f?
True
Let u(m) = -m**3 - 3*m**2 + 2. Let g be u(-3). Let k = -5 + g. Let x be (2 + 2)/2 + k. Is -4/7 < x?
False
Let f = 306 - 1542/5. Which is greater: f or -2?
-2
Let b(m) = m**2 + 4*m - 3. Let k be b(-4). Let l be (k/(-5))/(20/25). Which is smaller: -0.1 or l?
-0.1
Let f = 2 - 0. Suppose 0 = f*q + 5*k - 19, 2*q + k - 8 = q. Let l be (-2)/q + (-2)/(-7). Is l at least as big as -3/7?
True
Let n = -9 - -6.6. Let y = n - -1.9. Is 0.1 at least y?
True
Let k(o) = -o + 3. Let r be k(8). Let w = r - -1. Let q be w/(-12)*6/(-4). Is -2 at least as big as q?
False
Suppose -f = 3*f - 20. Suppose -f*u + 5*d - 8 = -8*u, 0 = 5*u - 2*d + 28. Which is bigger: -3 or u?
-3
Suppose 5*w = j - 10 - 21, -4*w - 14 = j. Suppose -5*v + 2*v = j. Is v >= -7/6?
False
Let g = -0.2 + 0.1. Is g smaller than 32?
True
Let p = -0.24 - 0.06. Which is smaller: 5 or p?
p
Let v be (2 - (0 - -3))/1. Let m be (-11)/(-55) - (-2)/40. Is m >= v?
True
Let h = 12.91 + -13. Let k = h - -0.39. Let v = -1 - 1. Is v at least as big as k?
False
Suppose 5*n - 4*q = -17, -2*q = -3*q + 3. Which is smaller: 1 or n?
n
Let c = -0.3 - 13.7. Let y = -12 - c. Which is bigger: y or -1/3?
y
Suppose 4*j - 5*o - 2 = 0, -o = -4*j - 2 - 4. Let f be j - 3/(-6)*-2. Let z be 3/4*1/f. Which is bigger: -0.3 or z?
z
Suppose -35 - 109 = -12*q. Which is bigger: 6 or q?
q
Let j = 28/25 + -974/825. Which is bigger: 0 or j?
0
Let k = -177 - -181.15. Let l = 5 - k. Let c = l - 0.15. Is 0 less than c?
True
Let i(j) = j**3 - 3*j**2 + 2*j - 3. Let s be i(2). Let f be (-5)/(0 + (-1 - -2)). Which is greater: f or s?
s
Let p be (-1 + 4 + -3)/(-2). Which is bigger: p or 2/51?
2/51
Let w = 0.41 - 0.01. Which is greater: w or 0.2?
w
Suppose -3*a + 4 = -5*a. Is 0 greater than a?
True
Let g(r) = r - 1. Let v(m) = -m**3 + 5*m**2 + m + 5. Let l(q) = 2*g(q) - v(q). Let f be l(5). Is -1 equal to f?
False
Suppose 5*b + 155 = -0*p - 4*p, 2*p + 4*b = -70. Are -45 and p equal?
True
Let v = -102.9 - -103. Which is greater: v or -0.09?
v
Let x be 6/(((-18)/(-8))/3). Suppose -3*q - q + 36 = 0. Is x >= q?
False
Let b = 68 + -59. Is 10 smaller than b?
False
Let a = -3 - -5. Suppose 0 = a*y + 1 + 3. Which is bigger: y or 0?
0
Let r be 4*2*(-2)/56. Which is smaller: -0.07 or r?
r
Let t = -53/5 + 11. Let c(u) = -5 + u**2 + 2*u**2 + 5*u - 4*u**2. Let l be c(4). Is t >= l?
True
Let p(w) = w**2 + 1. Let v(h) = 5*h - 2*h**2 - 3*h**3 + 3*h**3 - h**3 - 4. Let a(l) = 2*p(l) - v(l). Let i be a(-5). Are i and 5 unequal?
True
Let m = -63.1 + 63. Which is smaller: -1/8 or m?
-1/8
Let g be 18/4*8/(-12). Is 13 >= g?
True
Let n(o) = -4*o + 1. Let r be n(-3). Which is smaller: r or 14?
r
Let b = -6/875 - 27077/7000. Let v = b - -157/40. Which is greater: v or 0?
v
Let g(s) = s**2 - 6*s + 3. Let u be g(6). Suppose l + 2*l = u. Let z = 245/316 + -2/79. Is l <= z?
False
Let n = 106 + -67. Which is bigger: n or 38?
n
Let v = 5.5 + -6. Let m = -0.4 - v. Is m bigger than 2?
False
Let n(h) = -h**3 + 5*h**2 + 3*h - 4. Let q be n(5). Let d = q - 6. Let j = 5 - d. Is -1 at least j?
False
Let l = 15913/155 - 513/5. Do l and 0 have the same value?
False
Let f(x) = x + 4. Let h(g) = g + 1. Let o be h(-2). Let z be -7*o*(-3 + 2). Let c be f(z). Which is smaller: c or -2?
c
Let r = 0.3 - 0.4. Let s be 1/6 + (-558)/756. Is r greater than or equal to s?
True
Let x(a) = a**3 - 5*a**2 - 2*a + 5. Let o be x(5). Are o and -5 unequal?
False
Let o be -18*((-16)/(-12))/2. Is 0 at least o?
True
Suppose 4*i - 3*i + 26 = 0. Let d be i/40 + (-16)/(-40). Which is greater: 1.1 or d?
1.1
Let z = -0.21 + -1.79. Let q = 3.1 + 0.9. Is z smaller than q?
True
Let q = -0.26 + -0.14. Let s = 0.1 - 0.2. Which is bigger: s or q?
s
Let n = -575.3 + 486. Let k = -93 - n. Let q = -4 - k. Is q greater than -1?
True
Let m(t) = t**2 + 3*t - 1. Let p be m(-2). Let u be 6/(-9) - (-160)/15. Let o be 14/(-21) + u/(-3). Is o >= p?
False
Let d = 2.6 + -4.5. Let v = 0.1 - d. Which is smaller: v or -8?
-8
Suppose 0 = -a - 4*i + 5, -a + i + 5 = -0*i. Suppose -7 = -a*s + 23. Does -0.1 = s?
False
Let s = 4.5 - 0.5. Let v = 30 + -25.7. Let w = s - v. Is 1 at most as big as w?
False
Let q(c) = -c**3 - 4*c**2 + 5*c + 1. Let m be (-57)/11 + (-6)/(-33). Let t be q(m). Is t smaller than 1?
False
Let b = -1 - -0.7. Let y = 208/3 - 70. Is y equal to b?
False
Let n(s) = -5*s + 1. Let h(p) = 9*p - 2. Let k(b) = -4*h(b) - 7*n(b). Let y be k(1). Let x be ((-2)/3)/(38/6). Do y and x have the same value?
False
Let x = -0.3 + 1.3. Let n = -2.07 - -2. Which is smaller: x or n?
n
Let r be 0 - 1*(-2 - -3). Let v be (r + (2 - 1))/(-2). Is -2/3 < v?
True
Let o(i) = 3*i**2 + 3*i - 3. Let s be o(2). Which is bigger: s or 1/2?
s
Suppose -4*p + 12 + 0 = 0. Let r be 0/(p - 2)*-1. Suppose -v - 2*o = 5, 3*v - 1 + 2 = o. Which is smaller: r or v?
v
Let w(b) = -3*b - 5. Let l be w(-5). Suppose -27 = -10*t + 13*t. Let d = l + t. Which is greater: d or 0?
d
Let g be 49/14*(2 - 0). Do 8 and g have the same value?
False
Suppose 3*x - 12717422 = 15821290. Let v = -22973662111/2415 + x. Let y = -2/345 + v. Which is smaller: -1 or y?
-1
Let t be 129/399 + (-15)/35. Is 2/5 bigger than t?
True
Let b(u) = u + 10. Let m be (4 - 0)/(2/3). Let y(v) = -v - 10. Let t(p) = m*b(p) + 5*y(p). Let i be t(-10). Which is smaller: -2/9 or i?
-2/9
Let f be 11/(-8) + 16/8. Which is smaller: 0 or f?
0
Let w be (-4)/(-6) - 63/108. Which is bigger: -1 or w?
w
Let j be (-138)/(-30) + 4/10. Suppose b = 4*u - 20, 3*b + 0*b = u - j. Suppose 0*m + 3*m = b. Is -3/4 >= m?
False
Let b = 4 + -2. Suppose 4*l - 3*u + 12 = 43, 3*u + 15 = 0. Which is bigger: b or l?
l
Let v be -1*(-6)/(-39) + 1179/(-702). Is v < -1?
True
Let p = 56 - 55.95. Is p at most 4?
True
Suppose 0*i - 20 = -2*f + 2*i, -2*i = 0. Suppose -5*y - 2*j + 10 = 0, -4*j + 0*j = -5*y + f. Let h be y/4 + 2/(-12). Is h smaller than 0?
False
Suppose -3 = d + 2, i + 4*d = -41. Let g be i/(-60) + 0 + 1. Let r = 3/5 - g. Is r < -1?
False
Let f = 366730367/5028455 + 2/173395. Let m = 73 - f. Which is smaller: 0 or m?
0
Let j be (-1 + 16/14)/1. Let h = 10 - 10. Does h = j?
False
Let f = 1.1 + 0.4. Let r = -0.5 + f. Let j = -2 + r. Is -1/2 less than j?
False
Let w be 3*1*(-3 + 4). Suppose 0 = -5*y + 4*p, -5*y - 2*p = -w*p. Suppose y = -2*d + d. Which is smaller: -2/5 or d?
-2/5
Let m(v) = v**3 + 3*v**2 - v. Let u be m(-3). Which is bigger: 9/4 or u?
u
Let o(h) = h + 1. Let s be o(8). Suppose -3*d + 0*d = -s. Is d less than 1?
False
Let q be ((-2)/(-4))/(14/16). Is q less than or equal to 1?
True
Let u be (6/10)/(((-30)/25)/6). Is u greater than or equal to -2?
False
Suppose 4*m - 3*m - 74 = -4*x, -42 = -2*x - 3*m. Are x and 18 equal?
True
Let r be (49 + -1)*6/(-12). Let p be 4/(-3)*r/16. Which is greater: p or 0?
p
Let n = 15094/37 - 408. Which is bigger: -1 or n?
n
Let c = -1 - 2. Which is bigger: c or -4?
c
Suppose 2*z = -3*z + 45. Let j be z/(-12) + (-122)/(-24). Let k = j - 9/2. Is k at least as big as 1?
False
Let v = -8 - -7. Is v != -1?
False
Let s = 5 - 8. Let n = 0 - -1. Is n at most s?
False
Let j be (-6)/27 + (-32)/(-63). Let l be -2*1/10*5. Is j greater than l?
True
Suppos