?
False
Let j(b) = -b. Let k(n) = -7. Let p(y) = j(y) + k(y). Let q be p(-5). Let l(m) = -m**3 + 3*m**2 + 4*m - 1. Let h be l(4). Which is smaller: q or h?
q
Let n = 7/2 + -3. Let b(r) = 3*r. Let d be b(5). Suppose -2*q + d = q - 5*p, -5*p - 15 = 4*q. Which is bigger: q or n?
n
Let k = -427/2167 + 3/197. Is k at least as big as 1?
False
Let m = -1873/4 - -462. Are m and -6 unequal?
True
Suppose 4*j = -5*f + 23 - 0, 5*f + 2*j = 19. Which is greater: f or -3?
f
Let v = 1.3 - -0.7. Let r = v - 1.9. Are r and -3/2 non-equal?
True
Let h = 2.8 - 3. Let w = 2 - 2. Let j = w - 1. Is h greater than or equal to j?
True
Let i = -23.25 + 0.05. Let d = i - -23. Which is greater: 2/5 or d?
2/5
Let i = 11 - 9. Let s = i - 2. Let f = 2.1 - 2. Is s less than f?
True
Suppose -3*u + 19 = -4*k, u - 10 = 3*k + 3. Let t = 2 - u. Let x be 1/3*6/(-16). Which is greater: t or x?
t
Let f = -10 - -9. Let z = 5 + -7. Let k = z - -4. Is k at most as big as f?
False
Let x = -188/3 + 64. Is x > 0?
True
Let f be 2 + 4*(-4 + 3). Let l = 5 - 2. Let u(z) = -z + 1. Let n be u(l). Is f greater than n?
False
Suppose 0 = -4*s + 8*s + 20. Which is smaller: -14/3 or s?
s
Let k be (4 - (-3 - -2))/(-1). Let u = 8 + k. Let c be (0 - -1)*(2 - u). Which is smaller: c or 3?
c
Let x(z) = -2 - 5 - 3*z**2 + 0*z**2 + 7*z + 4*z**2. Let g be x(-8). Which is smaller: g or -1/7?
-1/7
Let w = 0 + -1. Let m = 19538 - 177140/9. Let b = -144 - m. Are b and w unequal?
True
Let s = 9 - 11. Let v be 0 + (2/(-6) - 0). Is v bigger than s?
True
Let k be (-2 - (-3 - -4)) + 2. Let s = 27 - 25.9. Let l = 0.1 - s. Is l at most as big as k?
True
Suppose -12*o + 54 = -9*o. Is o smaller than 17?
False
Suppose -4*r = 3*p + 2*p - 29, -r + 26 = 5*p. Let y(x) = 3*x**3 - x**2 + x. Let l be y(r). Let o be (-2)/(-21)*l + 0. Which is greater: o or -6?
o
Let b = -0.1 + 0.1. Let k = 18 - 19. Let u = b - k. Which is bigger: u or -0.1?
u
Let h = 11 + -11.1. Which is smaller: h or -0.3?
-0.3
Let h be (-9)/21 + 2/(-8). Let v = h + 3/7. Suppose 0 = -j + 4*n + 12, -4*j - 12 = 3*n + n. Is j greater than v?
True
Suppose 0*d - 29 = 4*p - 3*d, -5*d = 3*p. Is -9/2 < p?
False
Let k(a) = -10*a - 5. Let q be k(-2). Which is smaller: 16 or q?
q
Let f = 14.95 + -15. Let w = f + 0.05. Which is greater: -1 or w?
w
Let c(a) = -a**3 - 7*a**2 + 9*a + 12. Let b be c(-8). Which is smaller: b or 3?
3
Let n(r) = -r**2 - 5*r. Let d be n(-5). Let h(q) = q - 3 - 4*q + q + q. Let f be h(d). Which is bigger: f or -3/2?
-3/2
Let g = -2 - -9/5. Is g > -0.2?
False
Let k = -14.9 + -1.1. Is k smaller than 1?
True
Suppose -n = -0*n + c - 7, -c = -4*n + 18. Suppose -3*w = 3*h + 3, 2 = 3*h - n*w - 3. Which is greater: h or 4/5?
4/5
Let x(p) = p**3 - p**2 - 2*p + 3. Let f be 1/(-5) + (-26)/(-5). Suppose f = 4*n + 2*s + 1, 4*n = -4*s. Let o be x(n). Is o > 3?
False
Suppose -2*r = -3*r + 1029. Let a = r + -115249/112. Let i = -213/1232 + a. Which is greater: 0 or i?
0
Suppose 3*y - 3 = -12, -4*m - y = -5. Let c be (-3)/m*64/6. Let r be ((-2)/c)/(1 - 0). Are r and 1 non-equal?
True
Suppose 0 = 3*a - 2*s - 8, 2*a + 7 = -2*s + 19. Suppose -3*t - 3*u = -a*u + 8, 5*t + 4*u = 15. Which is smaller: t or -3/2?
-3/2
Let m be -3 - 2/((-8)/(-20)). Let i = 0.4 + -0.6. Which is bigger: m or i?
i
Let b = 73/15 - 31/5. Suppose -5*z + 4*s + 4 = 0, 0 = 3*z - z - 4*s + 8. Let m = 3 - z. Which is smaller: m or b?
b
Suppose -3*o - 2 + 7 = k, 3*k - 15 = 2*o. Let d = -95 + 99. Let l = d + o. Which is smaller: 5 or l?
l
Let f(y) = -3*y**3 - 9*y**2 - y. Let p(x) = 8*x**3 + 26*x**2 + 3*x - 1. Let n(a) = 11*f(a) + 4*p(a). Let i be n(5). Which is smaller: i or -2/7?
-2/7
Let f = 15 - -13. Is 26 less than f?
True
Let w = -26 - -14. Let l = w - -8. Which is greater: l or -2?
-2
Suppose 3*x + 0 = 12, -2*o + 3*x - 26 = 0. Is -9 at most as big as o?
True
Suppose 10 = 3*h + 4. Suppose -v = -x - h*v, -2*x + 7 = -5*v. Is 2 less than x?
False
Let d be 1*51/2*-2. Which is bigger: d or -50?
-50
Let n = 0 - 0.1. Let z = 0.1 - n. Let f = 0.1 - z. Is f smaller than 3?
True
Let h = -103 + 104. Is -3/41 at least h?
False
Suppose -4*k = s - 28, 2*s - 2*k = 6*s - 42. Let p = s - 7. Let a = 0 + p. Is -2/15 < a?
True
Let h = -2 - -2. Suppose -g + 5*g = h. Suppose -4*n + 5*n + 3 = g. Which is smaller: -3/2 or n?
n
Let l(u) = -7*u + 3. Let m(n) = n**2 - n + 13. Let a be m(0). Let i(p) = -15*p + 7. Let j(s) = a*l(s) - 6*i(s). Let d be j(-4). Is -1/7 less than or equal to d?
True
Let q(u) = -u**2 + 7*u + 2. Let c be q(7). Suppose 5*f + 1 = i, i + 3*f - 1 = -c*f. Which is greater: i or 2/27?
i
Let w = 102 - 86. Is w at most as big as -2?
False
Let f = 12 + -7. Let y = f - 3. Do 5/7 and y have the same value?
False
Suppose -2*g = 3*a + 6, -4*a + 9 = -2*g - g. Let p be 14/10 - 4/10. Suppose 2*w + p = 3*w. Which is smaller: a or w?
a
Let o(u) = -10*u**3 + 2*u**2 + 3*u**3 - 4*u**2 - u. Let i be o(-1). Suppose 0 = -2*r + i + 2. Which is bigger: 1/3 or r?
r
Let y(j) = 1. Let t(b) = b - 4. Let m(r) = t(r) + 4*y(r). Let p(f) = -2*f - 6. Let g be p(-4). Let c be m(g). Is 4/3 >= c?
False
Let k = -323.07 - -320. Let v = -0.07 - k. Which is bigger: 0 or v?
v
Let u(f) = 5*f**2 - 1. Let o be u(-1). Suppose -h + 3 - 8 = -3*m, -3*m + 21 = 3*h. Let y = m - o. Are -2 and y equal?
False
Let i(u) = -u**3 + 2*u**2 + 6*u - 7. Let p be i(3). Is p greater than or equal to 2?
True
Let d(z) = -z**3 - z**2 + z. Let u be 2/(-4)*(-1 - -5). Let j be d(u). Is j greater than 1?
True
Let c be 4/(-30) - (-224)/(-120). Suppose -5*n = -5 - 0. Suppose 2*f + 7 - n = 0. Is c <= f?
False
Let a be (-2)/2*0 - 4/(-10). Which is bigger: a or 1?
1
Let x(r) = -5*r**3 - r**2 - r - 1. Let o be x(-1). Suppose 0*k - 3*c = -2*k + 2, c + o = 4*k. Let n = 0 + 0.4. Which is greater: n or k?
k
Let z be (-2)/(6/3) - -1. Let x(p) = -p**2 + 6*p + 8. Let c be x(7). Which is smaller: c or z?
z
Suppose -35*n + 30*n = 0. Let q(x) = -x + 1. Let w be q(0). Let l be w/(-1) + (-7)/(-6). Which is greater: l or n?
l
Let x = 27/7 + -74/21. Suppose 0 = 2*z + 2 - 6. Let d be (6 - 7)/(z/(-2)). Which is smaller: d or x?
x
Let g(j) = -j**2 + 2*j + 1. Let v be g(-2). Let t = 23/3 + v. Let l = 2/25 - 29/50. Is l > t?
False
Let z(m) = -m**2 - m - 8. Let g be z(4). Is -29 at least as big as g?
False
Let t be (-3)/5 + (-126)/15. Let m = t + 6. Which is greater: -4 or m?
m
Suppose -4*q - 5*o = -2*q + 1, -2*q = 2*o + 4. Let r(p) = -p + 2. Let x be r(6). Is x > q?
False
Let c = -17 + 18. Let h(o) = -o + 3. Let a be h(2). Is a bigger than c?
False
Let l(u) = 2*u + 1. Let c be l(-1). Is -2/7 <= c?
False
Let f be (4/(-2346))/(1/(-3)). Let g = f - 832/9775. Which is bigger: -1 or g?
g
Let o be (-16)/(-24) + (-11)/12. Is o at least as big as 0.1?
False
Suppose 4*k = -0*k. Suppose -5*u + k = -5. Let j = 10 - 9.5. Which is bigger: j or u?
u
Let q be 4*((-5)/2)/(-5). Suppose -4*g = 4*i + 28, -3 - q = 3*i - g. Which is bigger: -6 or i?
i
Let x = 10 + -6. Suppose 8 = a - 2*u, 29 = -5*a - 3*u + 4. Let n be 6/x*a/6. Do n and -2/3 have the same value?
False
Suppose 17*c - 13*c = 88. Are 25 and c non-equal?
True
Suppose 3*g - 79 = 113. Let p = -7720 + 31135/4. Let c = p - g. Which is smaller: c or 1?
c
Let w(f) = f**2 - 6*f + 2. Let b be w(6). Let o = -5 + 6. Is o > b?
False
Let j = -3 + 2. Suppose 3*i = -3 - 6. Let l = -7 - i. Is l at most as big as j?
True
Let h be 5/(-4)*2/10. Let a(x) = x**3 + 7*x**2 - 20*x - 18. Let j be a(-9). Which is smaller: j or h?
h
Suppose r = -2*u + 5*u + 8, 0 = 2*r + 4*u - 46. Suppose 0 = c + 13 - r. Let x be (2 - -1)/1 - 2. Are x and c equal?
False
Let f = -7 + 12. Let w(c) = c**3 - 6*c**2 + 4*c - 7. Let v be w(f). Let r be (4/v)/(2/6). Is -1 > r?
False
Let r be 4 + ((-135)/55 - 4). Which is greater: -2 or r?
-2
Suppose 4*v + 32 = -0. Let b be 24/(-110) + v/44. Is b greater than or equal to 1?
False
Let h = -223 - -222.03. Let r = h + -0.03. Which is greater: 4 or r?
4
Suppose 6*k = 3*k - 21. Let m = -5 - k. Do 2 and m have the same value?
True
Suppose -3*q + 10*d - 5*d = -25, 2*q - 15 = 3*d. Let w(j) = -2*j - 1. Let k be w(-1). Which is bigger: q or k?
k
Let x(y) = y**2 - 4*y - 1. Let t be x(5). Suppose 3*a = 2*a + 3. Let n = t - a. Is n less than or equal to 4/5?
False
Let d = -4 - -6. Which is smaller: 5 or d?
d
Let i be ((-2)/(-12))/((-4)/8). Let k be 5/(20/8) - 2. Is 