et u(q) = q**3 - 2*q**2 - 7*q - 1. Let y be u(-3). Which is smaller: -24 or y?
y
Suppose m - 10 = -m. Suppose 20 = -5*k, 2*u - m*u + 2*k + 11 = 0. Suppose u = 2*z - 1. Is z bigger than 3?
False
Let q = -115858/241475 + -2/9659. Which is greater: q or -1?
q
Let a be (3/(-90))/(2/(-3)). Which is greater: a or 0?
a
Let t = 0.3 - 0.28. Let d = -255 - -253. Which is smaller: t or d?
d
Suppose 5*h + 4*m + 7 = 21, 0 = -2*h + 3*m + 24. Suppose -h = 2*l - 4. Let u be 2 + 0 - (l - -4). Which is greater: u or -2?
u
Let f = -15 - -15.1. Is -2/7 bigger than f?
False
Suppose 2*v + 0*v + 6 = 0. Let k be (8/12)/(26/v). Is 0 >= k?
True
Let i = 52 + -59. Is 0.3 greater than or equal to i?
True
Let d(r) = -r**3 - 7*r**2 + 7*r - 8. Let g be d(-8). Suppose -p - 4*p + 5 = g. Is p at most as big as 0?
False
Suppose 0 = l + y + 4, l = 3*y + 18 - 6. Suppose -g - 6 = -l*g. Let c be (2/10)/(g/(-10)). Which is greater: -2/5 or c?
c
Suppose 4*s = -u - 27 + 74, 46 = 2*s - 4*u. Which is bigger: s or 11?
s
Let o(u) = 13*u + 2. Let z be o(-2). Let r = 3 - 7. Let b be (r/z)/((-2)/(-4)). Which is smaller: b or 0?
0
Let g be (4 - 1)/(6/4). Suppose -4*t + 12 = -q, 8 = -g*t - t + 5*q. Suppose t*n + n = -15. Is -1 <= n?
False
Let c = 0.56 + 0.04. Let z = -0.58 - 0.02. Let p = z + c. Does p = -0.1?
False
Suppose -3*z + 0*z = -6. Let l = -7 - -6. Let w = l + 3. Is z less than w?
False
Let s(d) = -d**3 + 6*d**2 - 4*d - 5. Let m be s(5). Let n be ((-40)/100)/(16/10). Is n < m?
True
Suppose -r + 49 = -3*v, v = -7 + 3. Is r bigger than 37?
False
Let k = 5 + 3. Let n = 3 - k. Which is bigger: n or -1?
-1
Let v = -9.6 + -60.4. Is v > 1/4?
False
Let t = -53.2 + 46. Let w = -0.2 - t. Do 0 and w have the same value?
False
Let k be 4/14 - (-992)/56. Is k greater than -1?
True
Suppose -2*p - 101 = -39. Which is smaller: -30 or p?
p
Let w = 5/9 + -16/45. Which is greater: w or 1?
1
Let c = -0.043 + -1.457. Does c = -3?
False
Let d(u) = u**3 - 10*u**2 + 9*u + 5. Let z be d(9). Let v(s) = -s**2 + 8*s - 4. Let b be v(z). Is 11 < b?
False
Suppose 3*k - k - 8 = 0. Let z = 28 + -8. Suppose 3*v = -5*b + 3*b + z, b = -v + 8. Are k and b nonequal?
False
Suppose 4*t - 39 = -3. Let k = 9 - t. Is k smaller than -0.1?
False
Suppose 0 = -s + 5*o - 4 + 16, -5*o = 5. Which is greater: s or 8/7?
s
Let t = -134/3 - -45. Let s = t + -4/9. Are s and 0 equal?
False
Let m(u) = 0*u - 4*u + u**2 - 8 - u + 1. Let i be m(6). Which is smaller: -1/2 or i?
i
Let s be (-1 - -1) + (2 - 2). Suppose s = -4*i + 4 - 0. Which is bigger: -1 or i?
i
Let j = -1 + 0. Let c = -109/28 - -22/7. Do j and c have different values?
True
Suppose 6 = -2*g, -7*g + 3*g = -3*c + 9. Let u = c + -1. Is u greater than or equal to -2?
True
Let f = 5 + -3. Let d(p) = 2*p - p**3 - 7*p - 6 + 11*p**2 - 4*p**f. Let y be d(6). Is y at most 2/11?
True
Let q = -31 - -27. Which is smaller: q or -6?
-6
Suppose k + 1 = -0. Let l be k/4 + -3 + 3. Is -1/4 at least l?
True
Let m be (3/57 + 0)/1. Let a = -6 - -5. Which is smaller: a or m?
a
Let o(h) = -h**2 + h + 1. Let b be o(2). Let g be (-16)/14*b/4. Let d be 4/(-2) + (-1 - -3). Which is smaller: g or d?
d
Let h(g) be the first derivative of g**3/3 + 3*g**2 + 4*g - 3. Let f be h(-5). Which is smaller: f or 0?
f
Suppose 3*g + 2 = 5. Let j be (g/1)/((-4)/12). Is 0 greater than j?
True
Let d be 15/14*(-2)/10. Is -1/3 at most d?
True
Let x(g) = g**2 - 11*g - 12. Let p be x(12). Let c be 15 + -12 - (p - 0). Does c = 3?
True
Let q be 7/(-3) + 2/(-3). Let d be (q - -4)/((-2)/(-4)). Let z(m) = -m**3 + m**2 + m - 1. Let k be z(1). Which is smaller: d or k?
k
Let o = -7.91 + 0.11. Let a = -8 - o. Is a > 1/2?
False
Let g be (-8)/140*(-12 - -2). Which is bigger: 0 or g?
g
Let y be (40/15)/((-2)/(-12)). Which is bigger: y or 14?
y
Let k(b) = b - 7. Let m be k(7). Suppose 4*g + 2 = -10. Are g and m non-equal?
True
Let o = 2.9 - 3. Which is bigger: o or 2/5?
2/5
Suppose 5*u = 10*u. Let y(h) = -1. Let i(m) = m - 1. Let o(c) = i(c) - y(c). Let x be o(u). Which is bigger: x or 2/5?
2/5
Suppose 54 - 4 = -5*n. Is -6 > n?
True
Let g = -11.5 - -8. Let x = -2.2 - g. Let v = x - 0.3. Is 0 less than v?
True
Let x(d) = -6*d**2 + 3*d - 6. Let w be x(6). Let i = w - -1838/9. Does 1/4 = i?
False
Let u(i) = i - 5. Let f be u(10). Suppose -10 = 5*x + f. Let m = -0.2 + 1.2. Is m at most x?
False
Let m(z) = -z**3 - 2*z**2 + 2. Let i be m(3). Do -43 and i have different values?
False
Let h = -0.17 - 0.43. Which is smaller: h or 0?
h
Let t = -0.46 - -0.69. Let k = 0.13 - t. Are k and -3/4 unequal?
True
Suppose 3*x - 1 = 2*j + 16, -5 = j - 5*x. Is -11 greater than j?
False
Suppose -4*y = 2*s + 6, 2*y = 4*y + 2*s + 6. Suppose y = 3*r - 0 + 3. Which is greater: -1/4 or r?
-1/4
Let m = 44.9 - 47. Let u = 2 + m. Is -4 != u?
True
Let o = -47 + 237/5. Suppose l + 3 = 4*l. Is o less than l?
True
Let s(y) = -y**3 - 4*y**2 - 4*y - 3. Let o be s(-3). Suppose 0*x - x = -36. Let z = 253/7 - x. Which is bigger: z or o?
z
Let f(u) = -u**2 + 2. Let v be f(2). Let w(a) = 2*a**3 + 4*a**2 + a - 2. Let r be w(v). Let s = r - 0. Is s bigger than -3?
False
Let u(g) = -5*g**2 + g + 1. Let k be u(-2). Let d be k/(-28) - 2/(-8). Let v be d - (3/(-18) - -1). Which is smaller: v or 0?
0
Let w = 0.34 + 0.06. Let b = 10 + -9. Is w less than b?
True
Let h(p) = p**2 + 6*p + 5. Let q be h(-8). Suppose 3*u = -15, 4*u + q = 4*c - 3*c. Is 2 <= c?
False
Let f = -529 - -1118. Let g = f + -598.96. Let z = g - -10. Is z != 0?
True
Let n = 15 - 24. Let v be n/10 + (-1)/(-2). Let o be 26/10 + (-6)/(-15). Is v at least o?
False
Suppose -3*h - 7*j + 18 = -3*j, -3*h + 15 = 3*j. Is h != 3?
True
Let q be (2 - 1)/(2/(-10)). Let k = q + 4. Let r be (2/(-6))/(14/(-6)). Is k bigger than r?
False
Let z = 0.06 - -1.14. Let w = z - 1. Is w bigger than -3?
True
Suppose 12 = 4*d - 0*d. Suppose 4*k = -2*q - 0*k + 14, -d*k + 10 = q. Which is smaller: 2/9 or q?
2/9
Let r = -0.07 + -4.43. Let i = -4 - r. Let q = -0.5 + i. Is q bigger than 1?
False
Let v = 46 - 16. Is v at least as big as 30?
True
Suppose -u - 2*u = 3. Suppose -4*z + 3 + 1 = 0. Is z at least as big as u?
True
Suppose -a + 35 - 3 = 0. Is 31 equal to a?
False
Let v(x) = -2*x - 1. Let k be (1 + 1)*(-2)/4. Let c be v(k). Let o be (-2)/(-9) - (-2)/(-9). Which is greater: c or o?
c
Suppose -a - n + 4*n = -14, a + 26 = -5*n. Let b be -5 + 6 + 5/(-3). Which is greater: a or b?
b
Let q(d) = -d - 3. Let s be q(-10). Does 5 = s?
False
Let u be 3 - (1/4 - (-22)/8). Is -2 bigger than u?
False
Let m = 2 - 2. Let q = -80 + 80. Is q at least as big as m?
True
Let k = -84 + 86. Let b = -1.2 + 0.2. Are b and k nonequal?
True
Let u = -77 - -62. Let r be (-2)/2 + -13 + -1. Is r bigger than u?
False
Let s = -15 - -21. Let k be ((-2)/s)/(10/(-6)). Is -1 <= k?
True
Let s(i) = i**2 - 6*i + 9. Let p = 12 + -6. Let b be s(p). Let o be 2/b - 116/36. Which is bigger: -2 or o?
-2
Let n = 1159/10896 + -1/454. Let s = -1/16 - n. Is s equal to -1?
False
Suppose 2*l - 3*l = -2. Let z be -1 + l + -1 - -5. Which is smaller: z or 4?
4
Let h be (0 - -2) + 1 - -2. Suppose -k - h*g + 27 = 0, 6*k + g - 13 = 2*k. Suppose -z - v - 18 = 4*v, 3*v + 4 = -4*z. Is k smaller than z?
False
Let j be 1 - (4/2 - 0). Let s be 2/(-2) - (-3)/7. Which is smaller: s or j?
j
Let l be ((-6)/5)/((-14)/14). Which is greater: -2 or l?
l
Suppose 3*v - v - 4 = 0. Let r be (5/((-15)/(-6)))/v. Which is smaller: -0.3 or r?
-0.3
Let c be -9 + 5 - (2 - 8). Suppose 4*x = -c*x. Let b = -90 - -991/11. Is x smaller than b?
True
Let o be 2/8*(-6 - -298). Let y = 50 - o. Which is greater: -24 or y?
y
Suppose a + 20 = -4*a. Let b = 0 + a. Which is smaller: -3 or b?
b
Let s be (1/(-2))/((-5)/10). Let j be -2 - (0 - 88/30). Let v = j + -16/15. Which is greater: v or s?
s
Let h(a) = -4*a - 1. Let k be h(-1). Suppose -k*p = -0*p - 3. Which is greater: 2 or p?
2
Let q(x) = x**2 + 5*x + 4. Let l be q(-4). Is l at least 0?
True
Suppose 3*d + 4*v = -14, 0 = -d + v + 2*v + 17. Let r be (8/(-6))/(2/(-9)). Let q be 33/9 + (-4)/r. Which is greater: d or q?
q
Suppose 0 = 4*s - 6*s + 3*n + 12, -n - 2 = 0. Suppose -3 = x - 2*g, g + 1 = s*x - 0. Let v be 0/(-2) + (-2)/8. Which is smaller: x or v?
v
Let c = -4 + 7. Let u = 68/45 - 10/9. Which is smaller: c or u?
u
Let z(g) = -12*g**3 + 2*g + 1. Let c be z(-2). Let u be -1*(-