t s = 15 + -21. Let o = 8 + s. Do o and 2 have the same value?
True
Let g be (-2)/(-9) - 946/(-198). Let l(a) = -a + 6. Let w be l(0). Which is bigger: w or g?
w
Let n be ((-588)/35)/((-1)/10). Let d = n + -675/4. Which is smaller: -1 or d?
-1
Let c = -1 + -1. Let q = -2.1 - c. Let z = -0.1 - q. Do z and 0.1 have the same value?
False
Let p = -3 + 2.9. Are 1 and p unequal?
True
Let m be 7/2 - 3/(-6). Is 3 greater than m?
False
Suppose -5*s + s = -12. Which is greater: 16/9 or s?
s
Let q = -5793/10 + 580. Is 2 at most q?
False
Let f(a) = -a**3 + 2*a**2 - a - 65. Let j be f(0). Which is smaller: -67 or j?
-67
Let x(k) = -2*k**2 - 3*k - 5. Let r be x(-2). Let i be (2/(-1))/((-1)/(-3)). Is r >= i?
False
Let b(f) = 2*f - 6. Let s be b(8). Which is smaller: s or 29/3?
29/3
Suppose x - 24 = -10. Let m = -15 - -29. Is x smaller than m?
False
Suppose -2*x = 5*c + 2*x - 12, -x - 14 = -3*c. Suppose s - 10 = 5*p + 10, 0 = c*p + 16. Which is smaller: s or 1?
s
Let z = 0.9 - -0.1. Let d = z + -1.1. Let k = -9 + 8. Are d and k non-equal?
True
Let f = 11.3 - 6.6. Let b = f - -0.3. Let c = -4 + b. Which is greater: 5 or c?
5
Let i be ((-2)/4)/1 + (-4)/24. Suppose -3*p + 15 + 13 = -4*m, 4*m = p - 20. Which is greater: i or m?
i
Let u be 0 - (0 + -5 - -1). Suppose u*t + 14 + 2 = 3*w, 5*w - 8 = 2*t. Which is bigger: -5 or t?
t
Let u = 28 - 29. Which is bigger: u or 0.17?
0.17
Let w be (1/6)/((-19)/(-380)). Is 3 <= w?
True
Suppose k = -2*d + 2, -2*d - 5*k + 1 = -1. Which is greater: 2/7 or d?
d
Let l(n) = -2*n - 16. Let v be l(-11). Suppose -v = -i - i. Suppose 0 = 3*j - i - 3. Is 0 at least j?
False
Let x be -2 + 3 - 0/(-4). Let g = -7 - -4. Let u = g + x. Which is smaller: u or -4?
-4
Let k be 12/4*2/3. Suppose 3*j = 4*j. Suppose -2*z + 2 + 2 = j. Does k = z?
True
Let u = 1 + -0.9. Is u > 8?
False
Let x = 26 + -15. Let q = 11.1 - x. Is q greater than -2?
True
Let o = -56/3 - -19. Let r = -31 - -27. Is o < r?
False
Let m = -91/2 + 47. Suppose 14 = -2*j + 5*f, 2*f + 4 = 5*j - 3. Suppose -j*a - 25 = -8*a + 5*h, a = 3*h + 11. Which is smaller: m or a?
m
Let f be (1/(-7))/(-1) + 180/(-525). Is f greater than -1?
True
Let l = 30 + -64. Which is bigger: -33 or l?
-33
Let d = -32/105 - 2/21. Which is smaller: d or -8/21?
d
Suppose r + r - 8 = 0. Let h be (3 + (-24)/9)*0. Let o be h + 2/r*0. Are -1 and o nonequal?
True
Suppose -3*q - 5*d = -q - 21, -5*q + 18 = d. Let y(j) = -j**2 + j - 3. Let m be y(q). Let w be (1 - 3)*(-1)/m. Is 0.1 > w?
True
Suppose 6*t - 2*t - 4 = 0. Suppose -4 = 3*r - t. Let f = 1/64 + -133/320. Do r and f have the same value?
False
Let w(q) = 5*q - 2. Let f be w(2). Let o be 2/(-5) + f/20. Is o > 1/3?
False
Suppose 4*a + 34 = -3*i, i - 3*a - 2 = 4. Let y be 0*(9/i + 2). Let s be (y/(2 - 3))/2. Is -0.3 equal to s?
False
Suppose -4 = 2*c + 2*c. Let s be (2 + (c - 1))/(-1). Suppose -2*t - t - 9 = s. Is t greater than -3?
False
Let v = 1 - 0. Let t(f) = -f + 8. Let u(r) = 3*r - 5. Let o be u(4). Let w be t(o). Is v smaller than w?
False
Let q = 28 - 46. Let t be (-2)/q + (-14)/126. Is -1/4 > t?
False
Let t be ((3 + 0)/(-3))/4. Which is smaller: -3/5 or t?
-3/5
Let i = 24 - 35. Let h = i - -6. Is -5 less than h?
False
Let d(v) = -v**3 - 3*v**2 + 2*v - 5. Let z be d(-4). Let k = -1 + z. Let j be 0/(1 + 2/k). Are j and 0 non-equal?
False
Suppose -z - 2*m = -1, 2*m = 5*m - 9. Which is greater: -8 or z?
z
Let c = -4 - -7. Which is greater: c or 8/3?
c
Suppose x + 3*x = 0. Suppose x = 2*s - 5*j - 1, -3*s + 2*j = -s + 2. Is s > -3?
True
Suppose 0 + 3 = -v. Let c be (-3)/((-3)/(v/2)). Which is smaller: c or -2?
-2
Suppose 4*c + c + 2510 = 0. Let o be (c/(-16))/(2/4). Let b = 63 - o. Which is greater: b or 1?
1
Let v be (-1)/(-4) + 23/4. Suppose -25*k + 24*k + 3 = 0. Is k bigger than v?
False
Suppose 0 = 5*i + 5*f + 10, -5 = 5*i + 4*f + 1. Let v(b) = -b**2 + 7*b - 11. Let a be v(4). Which is greater: a or i?
i
Let h(i) = i**3 + 10*i**2 + 7*i - 2. Let l be h(-9). Let b be (-3)/(-4 - (-58)/l). Do b and 1 have the same value?
False
Let k = 10.1 - 9. Let u = 2.9 + k. Is 0 at most u?
True
Suppose -3*g = g - 24. Which is greater: g or 5?
g
Let s be (-19)/(-39) - (-2)/(-6). Let z = 9 - 13. Let w be 0*(-1 - z/3). Which is greater: w or s?
s
Let v = 14 + -29/2. Is -5 >= v?
False
Let b = 0.2 + -0.1. Are b and 0 nonequal?
True
Let o = -35/4 + 257/28. Let c = 4 - 17. Let w = c - -12. Which is bigger: o or w?
o
Let r = 0.8 + -0.77. Let f = 172.03 - 171. Let z = r - f. Which is smaller: z or -2?
-2
Let m(j) = 5*j + 15. Let k(v) = 2*v + 7. Let r(b) = 7*k(b) - 3*m(b). Let h be r(3). Is 1 equal to h?
True
Let b = 15 - 9. Let x = -5.93 + b. Which is smaller: x or 0.1?
x
Suppose 10*m - 5*m - 265 = 4*s, 4*m - 201 = s. Suppose 0 = -d + 8*d - m. Is 7 > d?
False
Let r be 0/(2*(-1)/(-2)). Suppose r = -5*t + 2*w + 6 - 4, -t + 1 = -w. Is 1 not equal to t?
True
Let g = -6 - -8. Let w(m) = 8*m**g + 3*m**3 + 11*m + 2*m**3 + 6 - 2*m - 4*m**3. Let x be w(-7). Is x less than or equal to -8?
True
Let x be (4/(-14))/((-15)/105) - 6. Let j = 1/2560 - 56327/17920. Is x less than j?
True
Let g be -1 - 2/((-2)/1). Suppose -26 = -3*m - 2*m + 2*d, -3*m + 3*d + 12 = g. Which is smaller: 5 or m?
5
Suppose 0 = -5*o + q + 20, 2*q + 4 = o + 3*q. Let r be (2/(-3))/1*3. Let f be r - (8/(-1) - -1). Which is bigger: f or o?
f
Suppose -2*u + 12 = -u. Suppose -5*d = -d + u. Is d bigger than -3?
False
Let v = -2.8 + 15.8. Let j = v - 12. Is j at least as big as -1?
True
Let q = 62.1 - 65. Let t = q + 3. Is -2 equal to t?
False
Let f be -1 - (1 + 39/(-18)). Suppose 0*d + 2*d - 4 = 5*i, 0 = -i - 4*d + 8. Which is greater: i or f?
f
Let o = -0.05 - -0.05. Let w = 0.2 - 0.3. Let g = w - o. Which is smaller: g or 2/5?
g
Suppose 1 = 5*l + 31. Let b be ((-3)/(l - -3))/(-1). Which is smaller: 0 or b?
b
Let f be (((-42)/(-12))/7)/(-2). Which is greater: f or -3/10?
f
Suppose 5*k - 2*y - 25 + 2 = 0, 20 = -5*y. Let w be k - (0 + (-6)/(-2)). Which is bigger: w or -7?
w
Let n(x) = x**2 - 2*x - 3. Let j be n(-1). Let g = 4.01 + -0.01. Which is bigger: g or j?
g
Let i = -5.1 - -5.1. Let t = -3 - 0. Let v be 1 - (0 - t/9). Do i and v have the same value?
False
Let f(d) = d**2 + d + 2. Let t be f(3). Which is greater: 13 or t?
t
Let z = 53 - 18. Suppose -3*i + 0*i - 2*x = 31, 0 = 3*i - 2*x + z. Let s = i - -52/5. Is s equal to 0?
False
Let a be (2/3)/((-66)/(-88)). Let n be (-6)/2 + 35/7. Which is bigger: n or a?
n
Suppose -6 = 11*l - 5*l. Is 1 greater than l?
True
Let a = 10 - 0. Is -1 bigger than a?
False
Let j be 1/((12/16)/3). Suppose 2*a + 5*p = 3 + 2, -j*p = 4*a - 16. Which is greater: a or 4?
a
Let o(i) = -2*i - 8. Let b be o(-7). Let w be 1/b*(-42)/(-7). Is 4/5 at least as big as w?
False
Let b(h) = -h**2 - 7*h - 4. Let z be b(-6). Suppose -7*u + z*u + 35 = 0. Let x = -4 + u. Which is smaller: 4 or x?
x
Let u be 1128/240 - (-1 - 1/(-2)). Is 5 >= u?
False
Let k(u) = -2*u + 22. Let g be k(9). Which is bigger: g or 3?
g
Let i = -0.03 + -0.97. Which is bigger: 0 or i?
0
Let o(a) = a**2 + 6*a + 1. Let z be o(-5). Let w = z - -4. Is w not equal to 0?
False
Let k = 0.04 - 0.64. Let l be -1 + 17/3 - 4. Which is greater: l or k?
l
Let t = -6 + 15. Let a(o) = 4*o**2 - 6*o + 4. Let d(s) = 7*s**2 - 13*s + 7. Let x(r) = -5*a(r) + 3*d(r). Let j be x(t). Which is smaller: 0 or j?
0
Let p = 1 - 1. Let y be (p - -1)*-5 - 0. Is y <= -6?
False
Let c be 3 - (0/1 - -2). Suppose -5*v + 4 = -c. Is -1 less than v?
True
Let b = -1.3 + 0.3. Let v = -212/13 - -210/13. Is v less than or equal to b?
False
Let w be (1/2)/(162/8). Let d be (4/6 + 150/27)/(-9). Let a = w + d. Which is bigger: a or 0.1?
0.1
Let k(o) = o - 1. Let r be k(5). Let c be (-2)/r*-4*9. Let l be (-2)/4*4/c. Is l >= -1?
True
Suppose -c - 1 - 3 = -4*j, 2*j - 4*c - 2 = 0. Let l be 2/8 + (-62)/184. Is l < j?
True
Let c(l) = l**3 + 9*l**2 + 8*l + 6. Let u be c(-8). Which is bigger: u or 5?
u
Let g = -8 - -16. Suppose -23*z = -25*z + 32. Suppose 4*u = 2*a + g, -4*a - z = -u - 2*u. Is a >= -5?
True
Let k = 58 - 59. Let z = 0.6 - 0.2. Which is bigger: z or k?
z
Let y = 14 + -5. Let d be (6/y)/((-4)/6). Let o = 1/106 - -311/742. Is o not equal to d?
True
Let p be (2/(-3))/((-6)/(-9)). Suppose -3*z - 8 = z. Which is greater: z or p?
p
Suppose -i = 3*i - 56. Let o = 13 - i. Which is b