er than j?
True
Let d = -0.15 + 0.08. Let l = 0.03 - d. Is -4 bigger than l?
False
Let o(i) = i**2 - 7*i - 6. Let v be o(7). Is v less than or equal to -6?
True
Let n be 84/(-22) + (-1)/(33/6). Is n less than or equal to -2?
True
Let v(b) = b**3 - 3*b**2 + 2*b - 7. Let i be v(3). Is i at most as big as -2/337?
True
Let l(h) = -h + 3. Suppose 2*d = 6*d. Let y be l(d). Suppose -y*k = -4 - 2. Is k less than 0.2?
False
Let a = -1.01 - -0.01. Let u = -1.97 + -0.03. Do u and a have the same value?
False
Suppose 5*r + 0*r - 77 = -4*v, -3*v - 3*r + 54 = 0. Which is greater: 11 or v?
v
Let f be 90/345*(-1)/2. Which is bigger: 0 or f?
0
Let c = 0.1 - 4.1. Let a = 3.8 + c. Which is smaller: -1 or a?
-1
Let o = -136 - -142. Which is greater: o or 31/5?
31/5
Let w be (-6)/4*(-256)/24. Let k be -4 + -3*w/(-12). Which is smaller: 2/49 or k?
k
Let y(j) = -j**3 + 1. Let a be y(0). Is 4 at most as big as a?
False
Let x = -4/79 + -446/553. Which is bigger: x or 0?
0
Let c = -8 + 21. Suppose -4 = -c*q + 11*q. Suppose 0 = 2*y - 4 - 0. Is q < y?
False
Let k = 839 + -47825/57. Let b = 26/19 + k. Which is smaller: b or 1?
1
Let p = -576/5 - -116. Which is bigger: p or 0?
p
Let t = 2 + 0. Suppose y + 4 + t = a, 5*a - 28 = 4*y. Let r be (6 - a)/(1 + 0). Which is smaller: 1/2 or r?
1/2
Let d be -9 - ((-1)/1 + 1). Let v = -7 - d. Are v and 5/6 equal?
False
Let u = 109 - 106. Is u equal to 15/7?
False
Let h(y) = y**3 + 15*y**2 + 15*y + 10. Let z be h(-14). Which is greater: z or -2?
-2
Let q = -5.13 + 0.13. Let t = -4 - q. Is -2/13 less than or equal to t?
True
Let o(v) = v**2 + 7*v + 4. Let q be o(-5). Let p be ((-3)/q)/((-2)/(-20)). Is p at least as big as 1/4?
True
Let j(c) = -c**3 + c**2 + c - 1. Let l be j(0). Let z = l + 2. Suppose -z - 3 = 2*p. Which is greater: -3 or p?
p
Suppose -2*l - 2*r = 2*l - 18, 2*l = 4*r + 34. Let u(z) = z**2 - z - 7. Let k be u(4). Is k equal to l?
False
Suppose 29*d = 21*d + 8. Which is greater: d or -2/277?
d
Let a = 263/70 - 2/35. Let p = -7/2 + a. Which is greater: p or -1?
p
Suppose 5*v - 7 = 3. Suppose v*t - 11 = -1. Let x be (2/t)/((-81)/(-15)). Is x at least -1?
True
Let g(b) = b**3 + 8*b**2 - 9*b + 6. Let f be g(-9). Let m(t) = -t**2 + 6*t. Let h be m(f). Which is smaller: h or 1?
h
Let d be 2/(4/(-5)*30/(-9)). Do d and -0.1 have the same value?
False
Suppose -5*g - 15 = -3*t, 2*t = -3*t. Which is smaller: g or -0.1?
g
Let t(x) = 2*x + 3. Let w(i) = -i - 1. Let f(c) = 2*t(c) + 5*w(c). Let o be f(0). Suppose v + 3*n + 1 = 0, -2*n = -6*n - 4. Do o and v have the same value?
False
Suppose -5*r + 0 = -5. Let w = -2/228423 - -258803273/1598961. Let m = w - 161. Is m greater than or equal to r?
False
Let w = 44/441 - -6/49. Which is greater: 0.1 or w?
w
Let y = 22 + 30. Let q be 2/9 + y/9. Which is greater: 5 or q?
q
Let f = -0.107 + 6.207. Let x = f + -0.1. Let j = -5.9 + x. Which is bigger: 2/9 or j?
2/9
Let d = 5 + -3. Suppose 3*o = -5*n + 2*o + 14, -2*n - 4 = -2*o. Suppose -3*m = -m - n. Which is bigger: d or m?
d
Suppose 0*r + 2*z = r + 4, 0 = 4*r + z - 20. Suppose -2*t = -2*n - 4*t - r, 3*n + t + 16 = 0. Which is greater: n or 2/7?
2/7
Let t(f) = f**3 + 7*f**2 + 11*f + 9. Let u be t(-5). Let o be 3/(2 + (-22)/10). Let q be 18/o*10/(-4). Which is greater: q or u?
u
Let t be ((-2)/1)/((-1)/2). Let l = 15 - 11. Is l smaller than t?
False
Suppose -3*d + 144 = 4*n, 5*n = -d + 2*d - 48. Suppose 0 = -4*x - 4*s + 28, 5*s - 2 + d = 4*x. Is 9 greater than x?
False
Let c = -1 - -14. Suppose 5*o = -4*n - c, -2 = -3*o - 3*n - 11. Which is smaller: 2 or o?
o
Suppose 0 = 2*z + 10, 10 = -2*u - 2*z. Let d be (477/(-4))/(13/(-28)). Let x = -257 + d. Which is smaller: u or x?
x
Suppose -5*n + n = -24. Let q be (-149)/n - (-4)/(-6). Let r = q + 25. Is r smaller than 0.1?
True
Suppose 3*k + 5*f = 25, -3*k + 0*f - 2*f + 10 = 0. Which is greater: k or 5/41?
5/41
Let u = 11/15 - 9/10. Suppose 26 = -2*z - t, 0 = 3*z + 5*t + 23 + 2. Let n be 2*(z/(-6) - 2). Is n at most u?
False
Let b be 0 + 1 + 21/3. Is 7 at least as big as b?
False
Let k be 3 + 1 - (0 - 0). Suppose 25*h - 30*h + 15 = 0. Which is greater: h or k?
k
Let i = 0.14 - 0.28. Let m = 0.07 + i. Let t = 0.03 + m. Which is bigger: t or 1?
1
Suppose -1 = -3*w + 5*b - 3, 0 = 2*b - 8. Let t = -10 + w. Is -1 bigger than t?
True
Suppose 0 = 2*i + a + 4*a - 10, -i + 3*a = 6. Suppose 3*h + 15 - 6 = i, -5*h = -r + 13. Let q = -4 - r. Is -2 equal to q?
True
Let y(w) = w**3 + 8*w**2 + w + 12. Let j be y(-8). Are j and 1 nonequal?
True
Let h = 105 - 111.9. Let l = h + 7. Which is greater: 1 or l?
1
Let o = -0.04 + -0.96. Let x = 1.1 + o. Is -1/4 at most x?
True
Suppose 0*n + n = 0. Let s = 45 - 45. Is n < s?
False
Let c = -8 + 10. Let v be 2/(-3) + c/6. Is v at least -1?
True
Let w = 3 + -8. Let z = 5.1 + w. Is -1 greater than z?
False
Let g = -6 + 16. Let j = 8 - g. Is j at least 1?
False
Suppose 2*u - 4*a + 24 + 8 = 0, -u - 3*a = -9. Let f = 9 + u. Which is greater: -1/2 or f?
f
Let x(f) = -f**3 + 3*f**2 - 4. Let u be x(3). Are u and -9 unequal?
True
Let o(l) = -l + 1. Let p be o(5). Are -3 and p equal?
False
Let w(v) = -v**2 + 10*v + 3. Let a be w(10). Let t = -1 - a. Is -5 at most as big as t?
True
Let f be ((-2)/(-6))/(6/45). Is f smaller than 2?
False
Let b(a) = 5*a + 3. Let t be b(-2). Let q = t - -5. Which is smaller: -3 or q?
-3
Suppose p = -p. Which is smaller: p or -1?
-1
Let v = 0.07 - -2.93. Let t = -1 - v. Let u = -4.4 - t. Which is bigger: u or 0.1?
0.1
Let a = 3 + -2. Let p be (3 + (-1 - 2))*a. Let z = -3 - p. Is z bigger than -2?
False
Let a = 188 + -3566/19. Which is smaller: a or -0.1?
-0.1
Suppose 6*d = 4*d. Let g be 4/(3/(-3)) + 9. Let j = g - 4. Is d equal to j?
False
Let w(z) = z**2 - 17. Let b be w(0). Is b < -17?
False
Let m = -9/38 + -24/19. Suppose 3*r + 0*r + 3*x = -6, -x = -r - 4. Which is greater: m or r?
m
Suppose -5*w + 0 = -10. Let q be (0/w - 2) + 2. Suppose -j + q*j = 1. Which is smaller: -2 or j?
-2
Let u = 6 - 1. Is u > 5?
False
Suppose 2*h = -4*p + 40, -13 = -h + 6*p - p. Suppose 5*a - 7 - h = 0. Is 4 equal to a?
False
Suppose 2*n + n = 348. Let o be (-6)/(-27) + n/(-36). Let x = -2 + o. Is x less than -4?
True
Let g = 0.01 + 0.89. Let o = g - 0.3. Let m = -0.8 + o. Which is greater: -0.1 or m?
-0.1
Suppose 8*t - 3*t - 5*z = 10, 0 = -5*z. Let h be 11 + 1/(t/4). Suppose 2*i + 4 + 15 = 5*s, -5*s = -4*i - h. Are 2 and i nonequal?
True
Let i be (-1 - -1)/(1*2). Let a be (-4)/(6/(-21) + 0). Let j be ((-3)/a)/((-6)/16). Is i > j?
False
Let t = 2.9 - 0.9. Let k = -5 + t. Which is smaller: k or -1?
k
Let h = 0.6 + -2.6. Let c = h + 2. Is c <= -0.1?
False
Let w = 625/7 + -89. Is w bigger than 3/2?
False
Let z = -32 + 63/2. Are z and 1 equal?
False
Let i = 45 - 44.9. Which is greater: i or -29?
i
Let q be (0 - -2)/(-61 + (8 - 4)). Is q at least 1?
False
Suppose 0 = -3*y - 0*y. Let a(v) = 13*v**2 - v. Let u be a(1). Let i be u/7 + 2/(-1). Which is greater: y or i?
y
Let t(h) = -5*h - 46. Let c be t(-9). Suppose 0 = -2*z - 1 + 3. Suppose 3*b + 4 = -2*p - z, b + 2*p + 3 = 0. Is b >= c?
True
Let y = 8 - 3. Is y > 5?
False
Let l be (-2)/3 - 4/12. Suppose -g - 24 = -h, -95 + 13 = 4*g + 3*h. Let t be (-3)/(-44) + (-4)/g. Which is greater: l or t?
t
Suppose 0 = 2*x - 0*x. Suppose -5*u - 10 + 5 = x, 3 = 2*v - 5*u. Is v < 1?
True
Let d be 30*(0 + 1/(-1)). Let g be 20/148*(-4)/d. Let t = 272/2775 - g. Are t and 1 equal?
False
Let s = -777067 + 407959847/525. Let m = 4/75 + s. Which is smaller: m or -2?
-2
Let j = -2 + 1.99. Let n = j - 0.39. Let d = -0.2 - n. Which is smaller: d or 0?
0
Let u be 2/4 - (31 + -2). Let r = u - -28. Let m = -17.9 - -17.7. Is m != r?
True
Suppose -2*s + 3*l = -4*s + 13, 0 = -2*s - 4*l + 16. Let r = -1 + 1. Is s equal to r?
False
Let r = -13.1 + 18.1. Which is bigger: r or 4?
r
Let s = 274 + -8219/30. Do s and 0 have the same value?
False
Let g = 2 - 2.1. Let x = 82.96 - 79. Let w = x + 0.04. Which is smaller: w or g?
g
Suppose 3*t = -3*d - 6, -2*t = 2*d + 2*t + 12. Let k be 6/(-9) - d/(-3). Which is greater: -1 or k?
k
Suppose i = -3*i - 8. Let u be i*(-1)/(-2) + 1. Suppose -9 = 3*x - u. Which is greater: -2 or x?
-2
Let m = 2 - 11. Let a be 118/318 - m/(-27). Is 1 != a?
True
Let r = -32.9 + 30. Let i = r + 3. Does i = -1?
False
Let q be 62/8 + (-1)/(-2). Le