 -51 + 46. Which is greater: n or -3?
-3
Let q = -7 + 9. Is q less than or equal to 2?
True
Let x = 17 - 8. Suppose -d = -3*z + d + 34, -z + 4*d = -28. Let g = z - x. Is 1/5 > g?
True
Let a = -5.11 - -0.11. Let g be 12/(-21)*2/4. Which is smaller: g or a?
a
Suppose t - 5*s = 21, t - 4*s - 17 = -0*s. Which is smaller: t or -2?
-2
Let s = 3 + -2.9. Suppose 0 = -4*j - 1 + 9. Suppose j*y = -y - 12. Do s and y have the same value?
False
Let s(v) = v. Let n be s(5). Suppose -z + n = 0, -4*k - 2*z - 3*z = -25. Is -2/7 bigger than k?
False
Let l = 0.09 - 2.09. Let m = -0.16 + -1.04. Let t = 0.2 + m. Is t less than l?
False
Let f be (8/(-6))/(6/(-9)). Suppose 3*s = f*s. Which is smaller: 2/7 or s?
s
Let m be 2/6*(-10)/(-6). Let w = 483 - 30437/63. Let x = w + m. Is -0.1 bigger than x?
False
Let a = -4.12 - -4. Let g = a - -0.02. Let d = 0 + g. Which is bigger: 1 or d?
1
Let h(j) = -5*j - 1. Let v be h(-2). Is v <= 9?
True
Suppose -3*w + 2*w = -2, -5 = g + 3*w. Let f be (-1 - (-6)/27*6)*-3. Is g smaller than f?
True
Let d be (140/(-8))/7 - -2. Which is smaller: d or 3/2?
d
Let c(h) = 2*h - 1. Let z be c(2). Let b(y) = 4*y - 1. Let p be b(1). Does z = p?
True
Suppose -10 = -2*q + 4*x, 2*q = -q + 3*x + 18. Let a be (-14)/12*(-1)/q. Let g = 3 + -4. Are g and a non-equal?
True
Let p = -2415 + 21763/9. Is p <= 2?
False
Let f be (3 + (-15)/4)/((-5)/(-120)). Is f less than or equal to -2?
True
Let v(n) = n**3 + 3*n**2 + 3*n + 2. Suppose -8 = 2*b + 2*b. Let c be v(b). Which is smaller: c or 4/3?
c
Suppose n + 36 = 5*n + 4*m, 0 = 3*n + 2*m - 27. Let i = n + 1. Which is smaller: i or 2/9?
2/9
Let j be (-2 - (-68)/12) + 0. Which is greater: j or 5?
5
Let t = -0.23 + 0.14. Let a = t - 0.01. Suppose -4*b + 4 + 8 = 0. Which is smaller: b or a?
a
Let o be (1 - (1 - -2))*1/(-35). Is o less than or equal to 1?
True
Let b = 7.2 - 4.3. Let o = b - 3. Let u be (82/12 - 5) + 2/(-4). Is o != u?
True
Suppose -5*k + 5*x = 165, -4*x + 4 = k + 12. Do k and -26 have the same value?
False
Suppose 8*q = -2 - 6. Is q < -3/10?
True
Let i(k) = k**2 - k - 1. Let z be i(2). Is z equal to -2/143?
False
Let l be -3 + (-10)/(-2) - 1. Let g = -4 + 6. Let z = l - g. Which is smaller: -2 or z?
-2
Let b(y) = -2 + 3 - 5 - 4*y**2 + y**3 + 2*y - 2. Let u be b(4). Which is smaller: u or 3?
u
Let x = 16 + -9. Suppose -1 = -2*y + 1. Which is greater: x or y?
x
Let d(o) = 2*o**3 - 5*o**3 - 15*o**2 + 2*o**2 + 4*o**3 - 4. Let x be d(13). Is -3 greater than x?
True
Let d be (1/1)/(6/(-216)). Let z be (-8)/d - (-22)/(-18). Is 1/6 bigger than z?
True
Suppose -4*y = -y + 9, 5*y + 23 = -2*r. Let k be r + 5 + (1 - 0). Is k at most 3?
True
Let u be 2/5*(0 + 1). Let w = -1 + 1.05. Let p = w - 0.25. Which is greater: u or p?
u
Let u = 140.97 - 140. Let q = u + 0.03. Let p(w) = w**3 + 2*w**2 - 2*w + 1. Let m be p(1). Is q greater than m?
False
Let j be (-2 - -2)*(-2)/(-4). Which is smaller: j or 2/53?
j
Let z be 10/6 + (-12)/18. Are -1 and z equal?
False
Let d = -3.7 - -2.6. Which is smaller: d or -4?
-4
Let i = -66.1 + 69. Let l = 2.6 + i. Let u = 6 - l. Which is greater: u or -0.1?
u
Let p = 3365/266 + -155/14. Which is smaller: 1 or p?
1
Let t = 6 + -3. Let h be t/(-6) + (-5)/(-2). Let f = h - 0. Is f < 2?
False
Let c be (-1*(-2 + 2))/1 - 0. Which is greater: c or 8/39?
8/39
Let z be (-1)/((2/2)/(-1)). Suppose 0*h = h - z. Is h at least as big as 2?
False
Suppose -41*i + 6 = -39*i. Are 0 and i nonequal?
True
Suppose 9*q + 13 = -32. Which is smaller: 0 or q?
q
Let b(q) = q**2 + 7*q - 2. Let o be b(-6). Let f be 3 + -1 + 7 - -2. Let u = f - 18. Is u <= o?
False
Let o = 8 - 2. Suppose o = 3*l - 0. Which is bigger: l or 1?
l
Let g = 274/3 - 90. Which is smaller: 2 or g?
g
Let q be (-3)/5 - ((-153)/(-45) - 4). Let u be (-4)/(-6) + 8/(-11). Do u and q have the same value?
False
Let g(i) = -i**3 + 6*i**2 + i - 3. Let j be (4 - 3)/((-2)/(-2)). Let r(y) = 7*y**2 - y. Let q be r(j). Let b be g(q). Is b not equal to 4?
True
Suppose 0*c - y + 5 = c, 4*c - 2*y = 26. Suppose -a + c = 2*a. Are a and 2 non-equal?
False
Suppose j + 2*j = -j. Let c(a) = -a**2 - 8*a + 1. Let y be c(-8). Which is smaller: j or y?
j
Suppose 2*o = -3 + 7. Let n = -7 + o. Is n > -4?
False
Let m(q) = 3*q**2 - 21*q - 5. Let l be m(9). Is l at least 50?
False
Let q be 11/28 + (-1)/4. Let j(u) = 2*u**3 - 2*u**3 - 1 + u**3 + 2*u**2 - 3*u. Let p be j(-3). Which is greater: p or q?
q
Let a = 151.11 - 150. Let n = a + 0.09. Let s = 0.2 - n. Which is smaller: -0.1 or s?
s
Let g(o) = -2*o**2 - 2*o - 5. Let x be g(-5). Let v be 6/(-27) + 8/x. Which is greater: v or 2?
2
Let s = -11 + 10. Let v be ((-2)/8)/(1/3). Which is smaller: v or s?
s
Let p be (-140)/(-225) + 2/(-5). Let r(n) = n**3 + 4*n**2 + n + 5. Let w be r(-4). Which is smaller: p or w?
p
Let s(i) = i**2 - 6*i + 6. Let x be s(4). Let m(u) = u - 7. Let b(z) = 6*z - 35. Let p(h) = 2*b(h) - 11*m(h). Let f be p(-8). Which is smaller: f or x?
x
Let k be (-6)/14*1/6. Let y = 5/322 - k. Is 0 bigger than y?
False
Let z = 128/7 + -388/21. Let j be 2/((-168)/(-37)) - 0. Let u = j + z. Is -1 greater than or equal to u?
False
Let q(o) = -2*o - 1 + 0*o + o**2 + 4. Let j be q(2). Suppose 3*p + j*u = -12, 2*p = -2*p + u - 11. Is -3 at least p?
True
Let q = -0.2 - -0.21. Let k = 0.31 - q. Let w = k - 0.4. Are w and 2 nonequal?
True
Let f(r) = 1 - 10 + 73*r**2 - 74*r**2 - 7*r. Let x be f(-6). Is -3 at most as big as x?
True
Suppose -5*p + 4*r = -0*r - 4, 5*p + 5 = -5*r. Which is smaller: p or -1/36?
-1/36
Suppose -4 = 9*u - 22. Is 4 equal to u?
False
Let b = -124 - -125. Is b greater than -3/23?
True
Suppose -2*n + 6 = 4*w, 2*w = -2*n + 3 - 1. Suppose -w*d - d = 0. Is d at most 6/7?
True
Let u = 8 + -9. Is u at least -1?
True
Suppose 0 = 2*m - 6 + 2. Suppose 4 = -2*a - 8. Let j = -4 - a. Is m at most as big as j?
True
Let v(l) = l**3 + 3*l**2 + 1. Let y be v(-3). Let n = -5 + 7. Suppose b + b = n. Is y less than b?
False
Let x = -77.2 - -69. Let q = -1.2 - x. Suppose -11 = 3*a - 0*p + 4*p, 0 = -3*p - 6. Which is smaller: q or a?
a
Let f(i) = i - 6. Let b be f(8). Suppose 5 = -b*a - 5. Let s be 10/(-15)*3/a. Which is bigger: 0 or s?
s
Let y(x) = x**3 - 15*x**2 + 15*x - 15. Let l be y(14). Which is smaller: 4/11 or l?
l
Let q be (-5)/(-3) + (-8)/12. Suppose -4*j + 2*p + 1 = -q, 0 = -j - 5*p + 6. Suppose 4*u + r = -4, 1 = -3*u - 2*r - 2. Which is smaller: j or u?
u
Let v be (-2 - -1)*(13 - 8). Let q = 6 - 12. Which is smaller: v or q?
q
Let a = -108 - -124. Which is bigger: 18 or a?
18
Let u = 0.2 - -3.8. Let l = 4 - u. Is 6 != l?
True
Let x(h) = h - 2. Let f be x(5). Suppose 2*w + 3 = -2*n + 1, f*n + 17 = 4*w. Let u be n + 2 + (-2)/1. Which is greater: u or -2?
-2
Let c(s) = -4*s**2 - s - 1. Suppose 19 = -4*n + 3*t, -4*n - 3*t + 0*t = -11. Let x be n*(-3)/9*-3. Let h be c(x). Is h not equal to -4?
False
Let o(t) = t**3 + 9*t**2 - 11*t. Let q be o(-10). Let u = q + -12. Do u and 3 have the same value?
False
Let a be -1*(3 - 5 - -1). Are a and 12/13 non-equal?
True
Suppose -3*u + 40 = -4*c, 3*c = -c + 2*u - 36. Let l(o) = -o**2 - 7*o + 4. Let j be l(c). Let m be j*3/(-162)*-3. Which is bigger: 0 or m?
m
Suppose 0 = 2*x + 9 - 5, -94 = -4*f + 5*x. Suppose 6*m = 3*m - f. Let l(p) = p**2 + 7*p + 3. Let w be l(m). Are w and 4 nonequal?
True
Let f be -1 + 3 + -4 + 0. Let m = 3 + f. Is 4 > m?
True
Suppose -3*z = -2*z - 1. Let c be 10/(-11) + -1 + 2. Is z at most as big as c?
False
Let i be ((-4)/56)/(3/36*-1). Is i smaller than 2?
True
Suppose 0 = 4*i - 20, -c - 25 = -0*c - 5*i. Let d = 4 + -6. Let m be c + (-30)/14 - d. Is -1 not equal to m?
True
Let m = 15104746 - 112469938541/7446. Let k = m + -1/102. Let p = -223/292 + k. Which is smaller: p or 0?
p
Let o = -2.9 + -9.1. Let l = o + 12.1. Is 1/3 greater than l?
True
Suppose 0 = 4*o - 4*m + 8 + 20, 0 = 5*m - 25. Which is smaller: -5/6 or o?
o
Let j be (-504)/147 - 4/7. Suppose 5*m - 2*m = q - 12, 2*m + 8 = 5*q. Which is smaller: q or j?
j
Suppose 3*v - 4*o = 11, -4 + 14 = -2*o. Let a(p) = -p**2 - 4*p - 1. Let r be a(v). Let c = -0.1 + 0.2. Is c less than or equal to r?
True
Let b be (-16)/(-6) + 3/9. Let m be ((-2)/(-6))/(4/b). Let o = 147/22 + -13/2. Is o >= m?
False
Suppose 6*o = 4 + 2. Which is greater: o or -3/17?
o
Let s = -10 - -4. Which is smaller: s or -3?
s
Sup