v) = -v**2 + 6*v - 6. Let s be m(6). Let k = s + 2. Is t not equal to k?
False
Let v = -12.88 + -0.12. Let x = v - -15. Which is greater: 0 or x?
x
Let k = -1.27 + 1.3. Let m = 0.01 - k. Is m at most as big as -2/3?
False
Let z = 10/13 - 131/52. Suppose -4*v - m = 3*m - 4, -5*m = 2*v - 2. Suppose 0 = b + v + 2. Are b and z nonequal?
True
Let x(c) = 15*c**3 - 2*c + 1. Let f be x(1). Suppose 5*s = 7*s + f. Which is greater: -6 or s?
-6
Let a = -2/363 - -3281/2541. Which is greater: a or 2?
2
Let g = -35.15 + 36. Let k = -0.15 + g. Let a = k + -0.7. Which is bigger: -5 or a?
a
Suppose 2*c - 4*j = -8, -2*c + 6*c - 20 = -4*j. Suppose 4*n - 2 = c*n. Which is bigger: 2 or n?
2
Let m be 145/1 + 0 - 0. Let s be (-3 + 1)*(-5)/m. Does 1 = s?
False
Let u = -71/4 + 18. Let m be 3/(-68)*(7 + 1). Do m and u have different values?
True
Let j(h) = -h**3 + 4*h**2 - h + 3. Let u be j(4). Let q = 3 - -1. Suppose 0 = -q*w - 0 - 8. Is w >= u?
False
Let t be 2*(-2)/6*3. Let g = t + 2. Let l(i) = i**3 + 7*i**2 - 9*i - 8. Let r be l(-8). Is g less than r?
False
Let x = -29 - -28. Which is smaller: x or -2?
-2
Let r = -3 - 1. Suppose -5 = 2*p - 1. Let v be 1*-2*p/r. Is v smaller than 0?
True
Let j = 43 - 83/2. Let w(i) = 2*i + 16. Let k be w(-7). Which is smaller: k or j?
j
Let t be (0 + -1)*(0 - 1). Let a be t + (3 - 2)/(-1). Which is smaller: a or 2?
a
Let b = -314/21 + 15. Is 1 bigger than b?
True
Suppose -4*t - 2*i = -12, 5*t + 0*i = 4*i + 2. Let r be (2 - (-1 - t)) + -1. Let k be 3/(-4) + 7/r. Do 1 and k have the same value?
True
Let z be 90/(-70)*-5 - (-4)/7. Let g be -1 + 2 + 1 - -1. Which is smaller: g or z?
g
Let r = 33 + -9. Let w = -18 + r. Which is bigger: 2 or w?
w
Let j = 2.2 - 2.5. Which is smaller: j or -2?
-2
Let q = 7 + -3. Suppose 0 = -4*u - 8 + q. Let y(o) = o**3 + o**2 + 2*o + 1. Let j be y(-1). Do u and j have the same value?
True
Suppose 0*z + 3*k + 40 = -5*z, 5*k = -z - 30. Which is greater: z or -3?
-3
Suppose 2*c = -5 + 13. Suppose 5*i - 3*i - 3*o = 14, -c = o. Which is bigger: 0 or i?
i
Suppose 60 = -2*b + 5*j + 6, 5*j + 57 = -b. Is -36 < b?
False
Let f = 1 - 2. Let x be f/(-3 + (0 - 1)). Is 1 less than or equal to x?
False
Let p(a) = -2*a**2 + 3*a + 10. Let i be p(3). Which is smaller: i or -6?
-6
Let q be 46/11 + (-2)/11. Let v be (-2)/4 + 14/q. Which is smaller: v or 2/5?
2/5
Let s(t) = 19*t**2 - t. Let j be s(1). Suppose 0 = -k + 4 - 3. Let n be (-135)/j*k/6. Which is bigger: n or -1?
-1
Let g(j) = 3*j - 13. Let u be g(4). Which is smaller: u or -6/25?
u
Let f be 46/14 + 6/(-21). Suppose -4 + 1 = f*k. Is k > -2/23?
False
Let r = 9.77 + 0.23. Let w = 10 - r. Which is greater: 4/3 or w?
4/3
Let z = -14 - -13. Let l be (-2 - -1) + z + 14. Is 11 > l?
False
Let r = 3 + -8. Let w = -3 - r. Suppose -5*j = -5*b + 5, 3*b + w*j + 5 = 2*b. Is b at least as big as 0?
False
Let a be ((-14)/21)/((-2)/(-6)). Let i(d) = -d**3 - 3*d**2 - d + 2. Let j be i(a). Do 0 and j have the same value?
True
Suppose -2*r = -4*r - 18. Do r and 0 have different values?
True
Let h(g) = g**2 + 10*g + 16. Let w be h(-10). Which is bigger: -2 or w?
w
Let i = -0.2 + -4.8. Let f = 8 + i. Do -1/2 and f have different values?
True
Let w be 34/(-10) - (-4)/10. Which is greater: w or -15?
w
Let f = -14/39 - -76/429. Which is smaller: 0 or f?
f
Let t = -2.88 + -0.12. Let b = t - -3.1. Which is smaller: -1 or b?
-1
Let a = 1/748 - -553/5984. Which is bigger: a or 0?
a
Let y = -2.9 - -3. Let w = y - 0. Let n be (-6)/3 - (-7)/4. Is n < w?
True
Suppose -15 + 15 = -4*n. Which is greater: n or -1/57?
n
Let c(h) = -h**2 + 10*h + 3. Suppose 4*i - 12 = i, -5*l - 4*i + 66 = 0. Let w be c(l). Is w greater than 3?
False
Let o = 13161/650 - 264/13. Is 0 less than o?
False
Let r(p) = 2*p**2 + 26*p - 21. Let c be r(-12). Which is smaller: -47 or c?
-47
Let n = -13/21 - -2/7. Which is bigger: 1 or n?
1
Let l(k) = -k**2 + 3*k + 9. Let u be l(4). Which is smaller: u or 4?
4
Suppose -2 = -3*h + 13, 5*d + 15 = -h. Let i(x) = -x**3 + 2*x**2 - 3*x + 2. Let a be 1 - (-1 + 0)*1. Let q be i(a). Does q = d?
True
Let x be (-12)/(-16) - 2/(-8). Suppose -5 = -4*d - x. Let m be d*-2*2/(-5). Which is bigger: m or 0?
m
Suppose -3*j = 2*j. Let p be 24/10 + (-4)/10. Suppose j = p*u + u. Which is greater: u or -1?
u
Let x = -26 + 20. Let r be (3 + 0)*x/63. Let w be 2*(-1 + 6/4). Which is bigger: r or w?
w
Suppose q = -3*q - 2*z, q = 2*z + 5. Suppose 2*d = 7 - 3. Suppose 2*g + d*g = 0. Which is bigger: q or g?
q
Let t be 0 + 1 + 1 + -3. Let u(j) = 3*j**2 + j + 1. Let z be u(t). Suppose -5*k = 3 - 13. Which is smaller: z or k?
k
Suppose -4*z + 5*n = -7*z + 5, 0 = -3*z - 2*n + 2. Let g be (-3)/(36/26) - -2. Is g equal to z?
False
Suppose -3*w = w - 36. Let j = -3 + w. Let x be 9/24*8/j. Is 2 less than or equal to x?
False
Let m = 21 - 41. Let d = m + 23. Is d equal to 0?
False
Let r = -41/335 + 3/134. Suppose -4*x = 5*g + 15, -4*x = -4*g - 8*x - 16. Are g and r non-equal?
True
Let y = -189073/404 + 468. Let v = -4441/1212 + y. Which is smaller: -4 or v?
-4
Let i = 3 + -3.4. Let h = -0.3 - i. Is -8 > h?
False
Let b = -72 + 361/5. Is -1 at most b?
True
Let q be ((-110)/25)/(2/10). Let s be (-5)/(-10)*8/q. Is s less than 0?
True
Let b = -4 + 3.8. Let g = b + -2.8. Let t = -6 - g. Is t <= -2/3?
True
Let a be (6 - 1) + 6*-1. Which is smaller: a or -6/13?
a
Let l = 0.3 + -0.1. Let k = -0.3 - l. Let g = 12 - 11.9. Which is smaller: g or k?
k
Suppose -2*z - 4*p - 24 = 2*z, 2*p = -5*z - 27. Suppose 3*l - 14 = -a, 0*a = 3*a + 3*l - 18. Suppose -7 = -3*d + 4*i - 1, 0 = d - a*i - 4. Is z < d?
True
Let d(k) = k**3 + 16*k**2 + 15*k + 31. Let f be d(-15). Is 31 greater than or equal to f?
True
Let n be 3/21 - (-244)/7. Let p be 2/2 - 25/n. Let v = -3 - -4. Is p greater than v?
False
Let c = 22 - 22.1. Let q = -57 - -227/4. Which is greater: q or c?
c
Let o = -0.4 - 0.6. Which is greater: 9 or o?
9
Let z = 0 - -5. Suppose -3*h - 4*v - 83 = 0, -3*h + z*v = 2*h + 80. Is -22 at most as big as h?
True
Let z(x) = x**3 + 5*x**2 - 4*x + 7. Let w be z(-6). Suppose 3*v + 2*v - 40 = 0. Let s be v + w + 1/1. Is 3 greater than or equal to s?
False
Suppose 0 = 2*u - 5*r - 10, 25 = 5*u - r - r. Suppose -2*z + 6*z = -5*b - u, -3*b - 3 = -z. Let y = 203/3 - 69. Is b at least as big as y?
True
Let x(u) = u**3 - 8*u**2 + 4*u. Let o(p) = 8*p**2 - 2*p + 1. Let a be o(1). Let s be x(a). Let z be s/6 - 1/2. Is z != -4?
False
Suppose -5*g - 10 = 0, s - 4 = -s + 2*g. Let q = 1 + s. Let u = 8 + -7. Is q <= u?
True
Let a = -1.1 - -2.1. Is -12 bigger than a?
False
Suppose 2*f = -4*w - 34, 0 = -2*w - 6. Do -14 and f have different values?
True
Let c = -16 + -2. Let a = c + 7. Let d = 7 + a. Is -4 equal to d?
True
Let y be 1*(16/4 - -2). Let l be 3/y + (-4)/(-8). Which is smaller: l or -1/4?
-1/4
Let j be (0*4/12)/2. Which is bigger: -4/7 or j?
j
Suppose -z + 4*z + 4*j + 7 = 0, z = j. Which is smaller: -3 or z?
-3
Let o = 74/7 - 3196/301. Which is greater: o or 0?
0
Let h(n) = n**2 + 1 - 14*n - 8 - 1 - 6. Let m be h(15). Is 7/6 greater than m?
True
Suppose 4*v + 0*v = -2*i, 2*v + 6 = -4*i. Is v at most as big as -1/3?
False
Suppose 4*k + 12 = 7*k. Suppose -n + 3 = -k*n. Which is bigger: -3 or n?
n
Let i = -5.173 + 2.136. Let m = i - 0.063. Let h = 3 + m. Which is bigger: -1 or h?
h
Let r = 1 + -2. Is r at least as big as -5/4?
True
Let m(x) = -x**2 + 5*x - 11. Let c be m(4). Is c greater than or equal to -33/5?
False
Suppose -4*o + 99 = m, 1 = 4*o + 9. Is m equal to 107?
True
Let q = -63/4 - -49/4. Which is smaller: q or -5?
-5
Suppose 3*c + 3*b - 9 = 3, 4*b = -3*c + 15. Let l = c + 1. Suppose 5*m - 8 = 3*m. Are l and m non-equal?
True
Let x be 2/((-2)/(-1))*-3. Let b(m) = m + 5. Let s be b(x). Suppose 2*h - 6*h - 4 = 4*o, 11 = h - 2*o. Is h smaller than s?
False
Let v = 0 + 3. Let c = v + 1. Let u = c - 5. Which is greater: 2 or u?
2
Let w(u) = u - 3. Let b be w(3). Suppose x + 2*h - 14 = 4, -5*x + 3*h + 38 = b. Let i be (3/(-6))/(x/4). Which is smaller: i or -1?
-1
Let u = -2 + 6. Suppose 1 = -5*c - u. Let d be (2 + 4)*c - -2. Are -4 and d non-equal?
False
Let f = 0.03 + -0.18. Let x = -0.65 + f. Which is smaller: -1 or x?
-1
Let j = -5292/23 + 230. Which is greater: 0 or j?
0
Let x = -108 + 427/4. Is x not equal to -4?
True
Let u = 2963964790/39 - 226182