12*u**2 + 10*u + 14. Let q be l(11). Let c be q + -3 + 2/(-12). Let s be (-1 + 1)*4/(-8). Is s bigger than c?
True
Let h be (-2)/6*(-6)/(-4). Let n = 70.1 - 73. Let t = 3 + n. Is t not equal to h?
True
Let f = 2 - 2.6. Let b = 1.4 - f. Let p = -1 + 2. Which is smaller: p or b?
p
Suppose 0*v = 2*v + 3*a - 4, -5*a = -5*v + 60. Suppose 0 = -3*y + y + v. Suppose 2*c - 3*z = -y, -4*c + c = 5*z - 13. Is 2/13 greater than or equal to c?
False
Let g be (5/2)/(7/28). Suppose l = -4*l - g. Let r = 0 + l. Which is smaller: 0.1 or r?
r
Let m = 116 - 82. Suppose -m = -5*d - 14. Let a be d/(-10) - 44/(-10). Which is greater: -0.1 or a?
a
Let m be 2 + -2 + 9/(54/(-12)). Is m greater than 10?
False
Suppose 4*o = t + 9, 3*t + 1 = -0*t - o. Suppose -2*s + 2 = -0. Which is greater: t or s?
s
Let r be 0 + (-2 - -1) - -5. Suppose r*z - 12 = -4. Suppose 16 = 4*f, -z*i - 3*i + f + 1 = 0. Is 1 less than or equal to i?
True
Let i = -5 - -8. Let y(j) = j + 1. Let n be y(i). Is -2/5 < n?
True
Let m = -46 + 140/3. Is m smaller than 5?
True
Suppose -4*x - 18 = -2*o, 4*o + 0*o - 21 = 3*x. Is o at least -2?
True
Let m = -144 + 421/3. Let h = -7/3 - m. Is h equal to 0?
False
Let p be ((-3)/(-9))/((-1)/3). Let r = p + -4. Are -5 and r non-equal?
False
Let a be 2/15 - (-78)/90. Suppose 0 = 2*b - 3*b - a. Which is bigger: b or 1/6?
1/6
Let c = -22.04 - -22. Is -0.2 at most as big as c?
True
Let k(r) = r**3 + 11*r**2 + 9*r - 13. Let m = 12 + -22. Let d be k(m). Which is smaller: d or -1/2?
d
Suppose 2*j - 2 = -6. Let s = -10 - -72/7. Which is smaller: s or j?
j
Let u(p) = -p - p**3 - p**3 - p**3 + 2*p**3 + 3*p**2. Let o be u(1). Are 6/7 and o equal?
False
Suppose n = -3*n + 16. Suppose -4*b + 7*b = -w - 7, 11 = n*w - b. Is 2 bigger than w?
False
Suppose 4*l = -5*m + 1276, 4*l + 1244 = 5*m - 0*l. Let f be (4155/(-9))/((-22)/12). Let c = m - f. Which is bigger: c or 1?
1
Let u = -1.81 - -0.7. Let w = -17.11 + 17. Let s = u - w. Is 4 bigger than s?
True
Let v be ((-48)/30)/((-4)/30). Suppose -2*b - v = 2*b. Which is smaller: -6 or b?
-6
Let q be (-1)/(-3) + 14/(-24). Let g(b) = -15*b + 5. Let o(r) = -7*r + 2. Let m(y) = 6*g(y) - 13*o(y). Let s be m(-5). Which is greater: s or q?
q
Let d = -4 + 6. Suppose -2*a = d*a. Suppose 5*k = 10 - 0. Are a and k nonequal?
True
Let n = -13 + 5. Let i(v) = -v**3 - 7*v**2 + 6*v - 9. Let p be i(n). Let g be 21/(-6)*(-4)/p. Is 3 less than or equal to g?
False
Let k(x) = -x**3 + 5*x**2 - 5*x + 4. Let h be k(4). Suppose h = -5*o + o - 60. Are -15 and o equal?
True
Let g be (4 + -4)*(0 - -1). Do 1/4 and g have different values?
True
Let v be (-12)/(-21) + (-3)/(-7). Is v not equal to 2?
True
Suppose 42*y - 2 = 44*y. Is y bigger than 1/35?
False
Let i be (-7)/(-7) - (2 + 1). Is 3 at most i?
False
Let d be 52/60 + (0 + 1)/(-5). Let m(z) = z**3 + 8*z**2 + 8*z + 10. Let c be m(-7). Suppose 0 = 5*v + 2*k, -5*v + k + 30 = -c*k. Which is greater: v or d?
v
Let s(r) = -r**3 - 3*r**2 + 3*r - 3. Let o be s(-4). Which is greater: o or -10?
o
Let v = 10 + -1. Let l be (2 + 5/(-3))*v. Suppose -8*h = -l*h. Which is bigger: h or -2/9?
h
Let y be 10/(-4) - (-6)/4. Which is bigger: y or -3/19?
-3/19
Let p(a) = -a**2 + a + 18. Let l be p(0). Let u be (-21)/l + 1 + 0. Do -1 and u have the same value?
False
Let x(z) = z**3 - z**2 + 1. Let l be x(1). Let g be l/3*(17 + 1). Let b = 3 - g. Is 1 equal to b?
False
Let y(a) = a**3 + a**2 - 5*a - 2. Let t(r) = r**2 + 9*r - 3. Let c be t(-9). Let n be y(c). Are n and -5 unequal?
False
Let d(j) = j**3 - 2*j**2 - j - 2. Let t be d(3). Which is bigger: 3 or t?
t
Let y = 7.4 - 8. Which is greater: -0.1 or y?
-0.1
Let v = -14/33 - 1/231. Let y be (1 - (-2)/(-4))*0. Which is bigger: v or y?
y
Suppose 0 = -0*f + 5*f. Is f at least -6/11?
True
Let q = -6 - -6. Let v be 24/(-9) - 2/(-3). Is q > v?
True
Suppose 3*u - 7 - 5 = 0. Suppose -6*w + 4 = -u*w. Suppose -w*c + 3*c = 0. Is 6 at most as big as c?
False
Suppose -5*u + 3*f + 237 = 0, 2*u + 2*f = u + 37. Suppose 0*b = -5*b - u. Let r be 3/(-5)*12/b. Does r = 2?
False
Suppose 0 = -6*a - 2*a. Is a at most as big as -2/17?
False
Suppose -4*n - 7 - 1 = 0. Let i be ((-12)/(-45))/(n/(-5)). Suppose 4 = 3*q + 1. Which is greater: i or q?
q
Suppose 0 = -5*g + 3*i - 28 + 95, 5*g = 2*i + 68. Let t be (8/(-14))/(g/7). Which is bigger: 0 or t?
0
Let q = -111 + 110.4. Is q less than -1/4?
True
Let h(v) be the third derivative of -v**6/120 + 2*v**5/15 - 11*v**4/24 + v**3 + 3*v**2. Let w be h(6). Is w > 13?
False
Let i be -11 + (0 - -2) + -1. Let z be 4/i - 1/10. Which is smaller: z or -2/5?
z
Let k(g) = g**3 - 4*g**2 - 4*g - 3. Let o be k(5). Let y be 2/(-5) + o/5. Let a be (-14)/(-8) - (5 - 3). Is a less than or equal to y?
True
Let d(x) be the third derivative of x**6/20 + x**5/60 - 4*x**2. Let w be d(-1). Let l be 2/35*(0 + w). Which is bigger: l or -1?
l
Suppose 0 = -8*q + 3*q - 20. Let z be ((-2)/(-6))/(q/12). Is 5 smaller than z?
False
Suppose f + 3*h + 4 = 0, 0*h = h + 2. Let z = 65 + -40. Suppose -10 = m - 0*b - f*b, -z = 2*m - 5*b. Which is greater: m or 2/3?
2/3
Let r(s) = -s**2 - 8*s + 4. Let f be r(-6). Suppose -5*l + f = -7*l. Let b be l/(-12) - 20/3. Which is smaller: b or -3?
b
Let d(v) = -v**2 - 2*v + 1. Let x be d(1). Suppose 0 + 4 = -2*w. Is w less than x?
False
Suppose -k = -4*k. Let u = -0.58 - -0.08. Let i = 0.6 + u. Which is greater: i or k?
i
Suppose 4 = -0*c - 2*c + 2*w, 4*c + 3*w = -1. Let k be 6/(c*9/6). Which is greater: k or -3?
-3
Let h be (37 + 1)/((-4)/2). Are h and -20 unequal?
True
Let w be 32 + (12/18)/(6/9). Which is bigger: 30 or w?
w
Let t = -22 - -28. Which is greater: t or -1/5?
t
Let u = -108 + 80. Is u at most as big as -28?
True
Let a be (-2)/(-6) - (-1)/(-3). Let w be ((-16)/10)/(6/45). Let u be 8/w*9/(-6). Which is bigger: a or u?
u
Let n = 14.6 - 11.6. Are -0.1 and n unequal?
True
Let d = -13 + 7. Let b = d - -5. Let c = 3 + b. Which is greater: -1 or c?
c
Let l(o) = -o**3 - 3*o**2 - 3*o + 2. Let z be l(-3). Let m be ((-4)/12)/(z/(-3)). Are 1 and m equal?
False
Let b be 10*4/((-4)/(-1)). Let k be -3 + (15 - 2) + 1. Is b greater than or equal to k?
False
Let b(y) = -y + 6. Let z = 16 + -10. Let p be b(z). Are p and 6/5 non-equal?
True
Suppose 18 = 4*h + 2. Suppose 2*x = -s - 4, 0 = -5*x + 3*x + s - 4. Let i(g) = g**2 + g. Let f be i(x). Is f smaller than h?
True
Suppose -4*s + 2*s + 2 = 0. Let z = -6 - -6. Let c = z + 3. Which is greater: c or s?
c
Suppose 0 = -4*z - z + 35. Which is smaller: 6 or z?
6
Let v(t) = 2 - t**2 + 2*t + 0 - 7*t. Let j be v(-4). Let n(r) = r**2 - 7*r + 9. Let g be n(j). Does 3 = g?
True
Let t be (7/(-7))/(7/(-2)). Is t at most as big as 1?
True
Let r be (-2)/((-9)/5 - (-1)/(-5)). Which is bigger: r or 27?
27
Suppose w - 6*w = -3*j + 18, 4*w + 16 = 4*j. Are -1/17 and j equal?
False
Let h be (-36)/(-8) + 1/(-2). Suppose 5*m + 4*g = -g - 25, -5 = -h*m + g. Is m at most as big as 1/7?
True
Let f(w) = w - 5. Let y be f(7). Which is greater: y or 3?
3
Let r = 177 + -2123/12. Which is smaller: r or -1?
-1
Let u be 8/12*(1 - -2). Suppose 5*w - u = 2*t + t, -w - 4*t + 5 = 0. Is w equal to -2/5?
False
Let k = 5 - 5.06. Let s = 0.06 + k. Let b = s + 0.2. Is b less than or equal to 0.2?
True
Let s be (-4)/(-14) - 8/(-21). Suppose k + v = -v - 108, -k = 4*v + 118. Let o = k - -884/9. Is o <= s?
True
Suppose -4*k + 0*p + 2*p - 8 = 0, 4*p = -2*k + 16. Which is greater: -6/31 or k?
k
Suppose 0 = -3*m - m + w - 19, m + 1 = -w. Let c = m + -1. Let h = c + 3. Which is greater: 1 or h?
1
Let k(u) = 2*u**3 - 4*u**2 + 2*u. Let z be k(2). Suppose 3*p + 3*n - 3 = 0, 4*p - 7 = 5*p + 5*n. Is z less than p?
False
Let v be 3*(-4 + 64/12). Are 5 and v unequal?
True
Suppose -4*t + 0*t - 16 = 4*c, -5*t + 2*c = 6. Let x be (t/(-3))/(5/3). Is x > -0.1?
True
Suppose 2 = 3*n - 5*f, -3*f = -n + 5 - 3. Let o = 51/2 - 35. Let y = 9 + o. Is n equal to y?
False
Let o = 2.02 + 0.98. Which is bigger: -10 or o?
o
Suppose 3*s + 3*n + 3 = -3, 4*s - 16 = 4*n. Let h be (-8)/5*(-1)/2. Is s at least h?
True
Let g = 1382 + -3666. Let m = g + 459085/201. Let j = m + -1007/402. Is -3 bigger than j?
False
Let p = 8 - 9. Is -0.2 greater than or equal to p?
True
Let d(l) = -2*l**2 - 3*l. Let v be d(-2). Let r be 13/(-18) + (-1)/v. Let a be (-33)/24 - 33/(-88). Which is smaller: r or