 -3. Let m = -5/2 + l. Is m equal to 0?
False
Let f be (2 + -2 - 1)*-2. Suppose o + 39 = f*y, -4 - 6 = 2*o. Suppose 5*p + 15 = 0, -5*x + 5*p = -3 - y. Which is greater: x or -1?
x
Let q = 2014/3 - 678. Which is smaller: q or -8?
-8
Let x(k) = k**3 - 6*k**2 + k. Let n be x(6). Is 7 at least as big as n?
True
Suppose -7*w + 6 - 13 = 0. Is w less than 1/4?
True
Let u(n) = 0*n**3 - 2*n + n**3 + 9*n**2 + 3*n + 10. Let q be u(-9). Which is bigger: q or 1/4?
q
Suppose 0 = -3*h - 10 + 13. Are 0 and h unequal?
True
Suppose -q = -2 - 1. Let a(u) = -u. Let t be a(q). Let g = -2 - t. Are g and 2 equal?
False
Let h be (-1)/(15/(-80))*(-9)/(-4). Is h at most -0.2?
False
Let n = -0.98 + 0.88. Which is smaller: -35 or n?
-35
Let u = 3 - -1. Let k = 12 + -9. Suppose 5*g - 2*b - 35 = 0, k*g + 3*b = g - 5. Is g > u?
True
Let s = -4/15 - 2/105. Let u be (0 - -1) + (-1 - -2). Suppose x = -u*x. Which is smaller: s or x?
s
Suppose -5*s + 25 = 0, -4*s = -5*v + s - 55. Which is greater: -2 or v?
-2
Let b be ((-3)/(-27))/(4/12). Let p be -2 + (-1)/((-2)/5). Is b greater than p?
False
Let u = 57 + -58. Is u greater than -1/10?
False
Suppose 0 = 3*y - 10 - 8. Let x = y - 4. Suppose k = -t - 3*k - 5, 2*t = x*k. Which is greater: 0 or t?
0
Let s be ((-6)/4)/(2/(-4)). Which is bigger: s or 11/4?
s
Let t(h) = 3*h - 1. Let a be t(7). Suppose u = -5*m + a, -u + m - 2 = 8. Let s be 0/(-3) + (-3)/u. Which is smaller: s or 0?
0
Let t = -8 - -12. Suppose t*w + 2 = a, 4*a + 3 = 3*w - 2. Let n be (-1 + 0)*1 - -1. Is n at least w?
True
Let k = 32 + -35. Is -14/9 smaller than k?
False
Let h(j) = -2*j**3 + j**2 + 2*j + 1. Let p be h(-1). Let g be (-1)/p*(-2 + 2). Let c = 39/4 + -10. Is c less than g?
True
Let d = 8 + -6. Let o be (11/110)/(-3 - (-16)/5). Which is smaller: d or o?
o
Let z = 1312/9 - 146. Which is greater: z or -2/5?
z
Suppose 0*o = -2*o + 6. Suppose 9*z - 4*z - 4*f - 13 = 0, -3*z + o*f + 9 = 0. Which is smaller: -1 or z?
-1
Suppose -v - 8 = -9*v. Is 4/27 at least v?
False
Let u(s) = -s**2 + s - 2. Let x be u(0). Let m be -1 + (6/(-2))/3. Is m bigger than x?
False
Let q(x) = -x**3 - 7*x**2 - 6*x - 1. Let p be q(-6). Let b = -6 + 28. Let a = 24 - b. Which is smaller: p or a?
p
Let y = -27.2 - -25. Let h = y + 2. Is h not equal to 3?
True
Let z be 134/10 - (2/5 + -1). Is z bigger than 13?
True
Suppose 16*x + 12 = 10*x. Let m = -129/4 - -63/2. Do x and m have different values?
True
Let c be 1/(-3) + 2/(-30). Suppose -3*m + m + 4*z = 10, 5*m + 9 = 2*z. Let q(o) = -o - 1. Let a be q(m). Is a less than or equal to c?
False
Let x(z) = -12*z + 7. Let u be x(-5). Let y = 39 - u. Let j be y/(-13) - 0 - 2. Which is smaller: j or 1?
j
Let s = -0.3 + 0. Is 5/6 not equal to s?
True
Suppose 7*n = 2*n, -n = 3*h - 366. Which is greater: h or 123?
123
Let g = 0 - -15. Let o = 13 + 1. Which is smaller: o or g?
o
Let b be (-74)/120 + 10/15. Let p = b + -2/15. Which is smaller: p or -1?
-1
Let g(h) = -h**2 + 7*h - 4. Let m be g(7). Let z be 21/(-28)*m/1. Suppose -2*y + 3*u + 3 = 3*y, -3*u - z = -4*y. Is 1 smaller than y?
False
Let y(f) = 6*f + 7. Let j be y(3). Is 25 at most j?
True
Let p = 6 + 0. Suppose -18 + p = -4*g. Are g and 0 non-equal?
True
Suppose -2*z = -0*z. Is z greater than or equal to 4/5?
False
Let i be 8/5 + (-4)/(-10). Suppose -i*m = 3*j - 2, 0*m + 5*j = 2*m + 14. Which is smaller: 0 or m?
m
Let k be 2/(3/((-15)/(-10))). Let q = 71/6 + -12. Which is smaller: k or q?
q
Let v = -701/13 - -54. Let d(q) = -q**2 + 2*q + 2. Let a be d(3). Is a smaller than v?
True
Let i = 7 + -9. Let q = i - -2. Let h be ((-6)/8)/(3/(-2)). Are q and h nonequal?
True
Let g = 240/7 - 34. Which is bigger: g or 1?
1
Suppose 0 = 2*k + 3*k - c + 121, -4*c + 100 = -4*k. Is k smaller than -26?
False
Let o = -0.92 - -0.9. Let f = o - -0.02. Are f and 9 non-equal?
True
Let u = 4 + -4. Suppose 0 = v + 4, -3*v = -3*d - u*v. Is d greater than or equal to -4?
True
Let u(w) = -5*w**2 + 4*w - 2. Let z be u(2). Suppose 44 = -3*q + 5. Is q > z?
True
Let u be (51/(-15) + 3)/(-2). Is 3 at least as big as u?
True
Let u = -0.035 - -9.035. Which is smaller: u or -1?
-1
Let l be 0 - (6 + -2) - 14. Which is smaller: 0.2 or l?
l
Let g be (3 + -7)*2/(-4). Let o(b) = 3*b**3 - b**2 - b + 2. Let l be o(g). Suppose l = -x - 4*x. Is -5 at least as big as x?
False
Let y = -13 - -13. Are y and -0.5 nonequal?
True
Let v(l) = l + 10. Let m be v(-7). Suppose 5*n + m*s - 19 = 0, 6*n - 2*n + 2*s = 14. Suppose 2*a = x + 5, 10 + 5 = 5*a - 3*x. Which is smaller: n or a?
a
Let q be (((-2)/2)/5)/(12 - 11). Is q at least as big as 0?
False
Let i = 2 + 19. Which is bigger: i or 20?
i
Let g be -5 + ((-27)/(-6))/1. Suppose -4*f - 3 = -15. Suppose f*n = 3, -2*k + 5*n + 1 - 6 = 0. Which is greater: g or k?
k
Suppose -u + 3 = 0, -3*u - u - 9 = 3*o. Suppose -f + 0 = 6. Do o and f have the same value?
False
Suppose -3*m - 4*y - 23 = -8*m, 4*y = 12. Which is smaller: m or 35/6?
35/6
Let l = 16 + -6. Suppose -3*h + l = 2*t, -4*h + 10 = -2*h - 2*t. Suppose -d = 3 - h. Is d not equal to 1?
False
Let u(x) = 11*x + 7. Let r be u(4). Which is smaller: 99/2 or r?
99/2
Let k = 88/413 - -1/826. Which is greater: k or 0?
k
Let o = -2.9 + 3. Let q = o + 0.1. Is 0 greater than or equal to q?
False
Let p = 21/2 - 10. Is p < 0?
False
Suppose 3*z - 5*z - 2 = 0. Let h(l) = -l**3 - 2*l**2 - 2*l - 1. Let v be h(z). Suppose -1 = r - v. Is r less than 0?
True
Let v be (-2)/9 + (-16)/(-99). Are 1 and v non-equal?
True
Let r = 3 - 3. Let l = -1 - r. Let j = -0.2 + 1.2. Is j <= l?
False
Let t = -83/44 + 7/11. Which is smaller: t or -2?
-2
Let j(r) = r**2 + 3*r. Let i be j(-2). Is -4 equal to i?
False
Let x be (2/3)/(2/6). Let c(g) = -3*g - 1. Let k be c(x). Let b = 190 + -197. Is b not equal to k?
False
Let d = 31 + -29. Which is smaller: d or 3/2?
3/2
Let s be (1/(-5))/((-16)/10). Suppose 0 = -5*o - 4*q + 133, -5*o + 79 = -2*o + 2*q. Let c be 35/o + (-2)/5. Is s smaller than c?
True
Let h be 4/(4*-1) + -9. Is h at most -10?
True
Let x be 12/(-2)*2/(-4). Suppose 2*d + 2*n = 72, 0*n - 2*n = 8. Suppose -5*m - i = -6*i - d, -4 = -5*m - 4*i. Which is smaller: x or m?
x
Let v = 6.02 + -0.02. Let a = 5.76 - -0.04. Let c = v - a. Which is greater: -1/4 or c?
c
Let k = -39.96 - -39. Let o = -0.04 + k. Is -2 less than o?
True
Let q be (1/(-4) - 0)*3. Let c(v) = v**3 + 6*v**2 + 6*v + 7. Let k be c(-5). Suppose k*w = -0*w - 4. Which is smaller: q or w?
w
Let x = 30.9 + -31. Which is greater: x or 2/11?
2/11
Suppose 6*w - w - 10 = 0. Let x(t) = 3 + 5*t + t**3 - 5*t**2 - w*t**3 + 2*t**3. Let c be x(4). Are 6 and c non-equal?
True
Let z = -9 - -5. Suppose 4*t + 32 = -5*f, -t - 2*f - 13 = -2. Is t <= z?
False
Suppose 2*r + 5*a + 27 = 3*r, r + 2*a = -8. Let z = -7 + 12. Let s = 7 - z. Is r smaller than s?
False
Let i = -87 + 123. Let h = i - 26. Suppose -h = -q + 6*q. Is q greater than or equal to 0?
False
Let n be (18/396)/(2/(-6)). Is 1 <= n?
False
Let w = 95/28 + -22/7. Let i be 8/(-10)*(-25)/10. Which is greater: i or w?
i
Let r be (-114)/(-244) + (-6)/12. Let k = 55/183 - r. Let j = -1 + 2. Which is smaller: k or j?
k
Let w(b) = -3*b**3 + 6*b**2 - 5*b - 5. Let r be w(5). Let l be -5*((-261)/r - 1). Is 1 less than l?
False
Let m = 400 - 3604/9. Let t = 3 + -1. Let u = t - 3. Is m smaller than u?
False
Let z = 5 - -6. Let j = 11.4 - z. Let s(v) = v + 1. Let g be s(1). Is g equal to j?
False
Suppose 0*r - r - 2 = 0, 3*r + 130 = 2*w. Let o = w + -121/2. Is 2 greater than o?
True
Let d = 2 - 2. Suppose 6*t - 8 = 2*t. Suppose 2*u + t*u - 4 = 0. Is u at least as big as d?
True
Suppose 3*h + 12 = 5*o, -7 = 4*h + 9. Is 2/143 >= o?
True
Let x = -2 + 1. Is x != -2?
True
Let u = -0.0537 - 2.9463. Let j be 1/((-2)/(-2)) - 0. Which is smaller: j or u?
u
Suppose 4*o + 4 = -p, 2*p = -2*p + o - 67. Is -15 <= p?
False
Suppose -4*k - 8092 = -0*k. Let o = k - -14617/7. Let b = o - 65. Is -1 < b?
True
Let i be (-4)/(-2)*(-5)/10. Is -1/2 > i?
True
Let t(z) = -z**2 - z - 1. Let p be t(-1). Is -3/22 less than or equal to p?
False
Let c be (0/(-1))/(-4 + 2). Suppose 4*s + 1 - 5 = c. Which is bigger: s or -1/4?
s
Suppose 0 = -y + 2*y. Let v = y - 1/4. Suppose 2 = -2*w - 0*w. Which is smaller: v or w?
w
Let z(v) = -v**2 - 3*v. Let f be z(-4). Let q = f - -4. Is q bigger than 1/4?
False
Suppose 0 = 3*q + 4