b = 7 + o. Let a be 2/(-2) - (-8)/b. Which is greater: 4 or a?
4
Let b(z) = 3*z - 22. Let s be b(7). Let a be 1648/38*4/(-120). Let k = a + 30/19. Which is smaller: s or k?
s
Let f be (4/5)/(0 + (-16)/(-200)). Which is smaller: 8 or f?
8
Let o = 30 - -6. Which is smaller: o or 37?
o
Let w(j) = j**2 - 3*j + 1. Let r be w(3). Let q = 1 - r. Is q less than -1/3?
False
Let z be (8/(-3))/((-2)/3). Let w(m) = -m + 3. Let c be w(z). Is c > -3/2?
True
Suppose -5*t - 6 = h - 5*h, -2*h + 10 = t. Suppose 0 = y - h*y. Which is bigger: 1/15 or y?
1/15
Let z(w) = w**3 - 7*w**2 + 3. Let r be z(7). Suppose r = -s - 2*s. Do 1/10 and s have the same value?
False
Let w = -549/316 + -1/79. Suppose 4*l - 1 = -2*y - 19, 0 = -3*l + 4*y + 14. Is w <= l?
False
Let k = 0.08 + -0.01. Let z = 0.06 - k. Is z bigger than -1?
True
Let z be ((-140)/15 + 4)*9. Is z > -48?
False
Let p(r) = r - 4. Let x be p(5). Which is smaller: 2/15 or x?
2/15
Let s(z) = -z**3 - 11*z**2 - 10*z + 5. Suppose -3*c + 3*n = 24, -18 = c - 0*c + 4*n. Let l be s(c). Let p be (3/6)/(1/10). Is p at least l?
True
Let a = 0.051 + 0.949. Which is bigger: 7 or a?
7
Let w = -4/27 + -7/135. Which is smaller: -1 or w?
-1
Let n(p) = p**2 + 8*p + 3. Let i be n(-7). Which is bigger: 0 or i?
0
Let z be 1*2 - (-3)/(-1). Let f = -0.18 - 8.82. Which is greater: z or f?
z
Suppose 0 = 2*s + 3*i - i - 14, -2*s - i = -10. Let q = -5 + s. Let x be (q - (0 - 4))/(-2). Do -1 and x have different values?
False
Suppose -2*h + c + 7 = -6, -3*h + 24 = -3*c. Let g be (-3)/(27/h)*3. Which is smaller: g or -1?
g
Let y = 176.97 + -180. Let i = y + 0.03. Let b = 0 - i. Is b at most as big as 0.1?
False
Suppose k + 0*k = -3. Let q be ((-2)/(-4))/((-2)/104). Let i = q + 49/2. Does k = i?
False
Let g = -0.4 - 9.6. Let n = g - -10.1. Which is greater: n or -1.1?
n
Let x = 9/7 - 11/7. Let b = -3 + 4. Which is greater: b or x?
b
Let t(z) = -z**2 - 4*z + 8. Let g = -16 - -10. Let i be t(g). Let b(m) = 2*m + 5. Let v be b(-5). Which is smaller: v or i?
v
Let x(u) = u**2 + 1. Let v(z) = -6*z**2 - 5*z + 1. Let t(b) = v(b) + 5*x(b). Let c be t(-5). Let o be (2/c)/(3/27). Are o and 3 unequal?
False
Suppose -5*u = 3*l - 12, -5*l + l = -3*u - 16. Do 36/7 and l have different values?
True
Let f = -6 - -6. Is 1 equal to f?
False
Suppose -5 = -5*s, 5 = -4*b + s - 0. Let r be 7*(7/(-3) - -2). Is r at most b?
True
Suppose 2*k + 3*k = -4*n - 40, -k = -3*n - 11. Let c = -5549/6 - -919. Let w = c - -73/12. Are w and k equal?
False
Let i = -20 - -61/3. Which is smaller: i or 10?
i
Let d(s) = 1 + 2 + 12*s**2 - 5*s**2 - 10*s. Let z(b) = -4*b**2 + 5*b - 2. Let c(w) = 3*d(w) + 5*z(w). Let x be c(4). Is -5 smaller than x?
False
Suppose -5*h = -h + 12. Let s = -3 - 0. Is s <= h?
True
Let t = 5 - 3. Let b = 3 + -1. Let x = t - b. Is x > -2/3?
True
Suppose 4*m = -y + 261, -2*y + m + 494 = 2*m. Let r be (15 - 1)*42/y. Do 3 and r have different values?
True
Suppose 1 - 5 = 4*n. Which is smaller: 0.12 or n?
n
Let r = -0.05 - -0.05. Let z = 0 + r. Let c be (-5)/(-3)*(-2)/(-10). Which is greater: c or z?
c
Let c = 7 - 235. Let z be 16/(-20)*70/c. Let h = -8/19 - z. Is h > 2?
False
Let v(s) = 2*s - 24. Let b be v(11). Let c be (-1 - 4/(-6))*2. Which is smaller: b or c?
b
Suppose 1 + 1 = 3*x + h, 0 = -h + 2. Is -3/29 smaller than x?
True
Suppose 3*s - 20 = 1. Let x = s + -9. Are x and 1 nonequal?
True
Let c = 6073/498888 + -1/2952. Which is greater: c or 1?
1
Let w be 41/63 - 3/7. Which is greater: w or 4?
4
Let h be ((-2)/3)/(7/3). Suppose 8*z - 26 = -2*v + 4*z, -5*z = 5*v - 40. Let f = 3 - v. Is h less than f?
True
Let c = 11.27 + 0.73. Is c < 4?
False
Let v = 0.1 + -6.1. Let w = v + 4. Is 2 >= w?
True
Let l = 9 - 8. Which is bigger: 0.07 or l?
l
Suppose -12 = -w + 6. Let s be ((-5935)/(-3))/((-69)/w). Let b = -516 - s. Which is greater: b or 1?
1
Let l(u) = -u - 8. Let z be l(6). Let f = z + 20. Is 6 greater than f?
False
Suppose 2*f - 4*f = 5*r - 6, 3*r = 0. Suppose -2*p + 5*t + 29 = 0, -5*p + t = -t - 20. Suppose 5*o = -5*b, f = -p*o + b - 0. Is o < -2?
False
Let n be (1/2)/(2/28). Let c = 7 - n. Let g(r) = -r**3 + 1. Let v be g(0). Which is smaller: c or v?
c
Let c = -2.15 + -0.05. Let b = c + 2. Let p = b + 0.2. Is p not equal to 1?
True
Let a = 21 + -11. Let d = a - 14. Let g = d + 4. Which is smaller: -1 or g?
-1
Let j(l) = -2*l - 7. Let t be j(-5). Let p = 45 - 30. Suppose -p = -4*d - 3. Is t > d?
False
Suppose f - 4*d = -17, 4*d = -5*f + 10 + 1. Let s be ((2/2)/f)/(-1). Which is bigger: -1 or s?
s
Suppose -2*q + 5 + 1 = 0. Suppose q*r = r. Let j = 1/3 + 0. Which is smaller: j or r?
r
Let c be (-5)/3 - (-4)/6. Let i be (-1)/4 - (-1 - c). Which is smaller: -1 or i?
-1
Suppose -1 - 1 = -z. Let j = 2 + -1. Which is smaller: z or j?
j
Let t(a) = -a**2 - 6*a - 1. Let l be t(-4). Let g(o) = -o**2 + 7*o + 2. Let z be g(l). Suppose -z*p = -3*p - 1. Which is smaller: -2/11 or p?
p
Suppose -3*z + 30 = 2*z. Let u = -7 + z. Is -1 > u?
False
Let o(p) = p**3 + 5*p**2 - 1. Let m be o(-5). Let c be 129 + 0 + (-2)/1. Let i = c + -385/3. Which is greater: i or m?
m
Let s = -16.1 - -16. Which is greater: s or 0.1?
0.1
Let t(n) = -n - 6. Let w be t(-12). Which is smaller: w or 7?
w
Let j be (0 + (2 - 0))*-2. Suppose g = 6*g + 15. Which is smaller: j or g?
j
Suppose 6*a - 108 = -612. Is -84 at most as big as a?
True
Suppose 4*t - 25 = -3*c - 2, 5 = -5*t + 3*c. Suppose -4*s = -3*q + 3 + 3, 5*q + s - 10 = 0. Let a = 5 - q. Which is bigger: a or t?
a
Let o(n) = -10*n**2 - 1 + 6*n**2 - 10*n + 6*n**2. Let i be o(5). Suppose 5*s = 4*z, 0 = -2*s + 5*s. Is i > z?
False
Let k be (10/3)/(6/9). Let d = k + -15/2. Is -1/4 greater than or equal to d?
True
Suppose 5*o - 4 - 21 = 3*n, -2*n - 10 = -2*o. Suppose 3*c - x - 6 = n, 3 + 6 = -3*x. Is 1 bigger than c?
False
Let p = -97/33 + 14/11. Which is greater: p or 2/5?
2/5
Let a = 6 - 3. Suppose -8*f + 2*c - 10 = -a*f, 5*f - 5 = -c. Let t = f + 1. Are 0 and t equal?
False
Let v = -183 - -1097/6. Let d(s) be the third derivative of -s**6/120 - s**5/60 + s**4/24 - s**2. Let g be d(1). Is v greater than g?
True
Let b be 22/(-4) - (-2 - (-9)/6). Is -36/7 less than or equal to b?
True
Let o = 3.5 + -5.5. Is o smaller than 8?
True
Let c(a) = -a**3 + 4*a**2 - 3*a. Let o be c(2). Suppose o*u + 32 = 6*u. Are u and 8 equal?
True
Let z = -58 + 59. Let f = 0.6 - 0.57. Is z equal to f?
False
Let i be -121*(16/6)/4. Let u = i - -80. Let f = -2 - -1. Which is greater: f or u?
u
Let n be (-4)/3*291/2. Let k = -10280/53 - n. Does -1 = k?
False
Let c be (-2)/4*(-54)/(-153). Which is smaller: 0 or c?
c
Suppose k - 4*n - 19 = 0, 47 = 2*k + n - 0*n. Is k smaller than 25?
True
Suppose -j = 4*j. Let o(g) = -g**2 - 6*g - 4. Suppose -3*d - 18 = -3. Let x be o(d). Which is smaller: x or j?
j
Suppose -3*q - 85 = -3*k - 2*k, 2*k = 2*q + 50. Do -18 and q have different values?
True
Let i be 24/(-2)*(448/(-147))/(-8). Which is smaller: -6 or i?
-6
Let i(s) = -3*s - 4. Let k be i(-3). Let g be (2/k)/(7/5). Are g and 0 equal?
False
Let h = 34 - 34.2. Which is greater: h or -27?
h
Let x = -0.958 - 0.042. Which is bigger: x or 44?
44
Let u be 12/3 - (4 + -1). Is 1 < u?
False
Let y be 12/5 + (-19 - -16). Which is smaller: y or -4?
-4
Suppose 19 = 3*g + 4*v, -4*g - 8 = 3*v - 24. Suppose -w = 2*j - 5, 2*w = g + 5. Which is smaller: 0 or j?
0
Let q(r) = r**2 + r + 5. Let d be q(0). Suppose t = 5*t + 4*a, -d*t = 4*a - 3. Suppose -t*o = 2*o + 15. Are o and -3 nonequal?
False
Let f be 24/(-30)*(-10)/4. Suppose -m = -f*m + 3. Let w be (1/(-2))/(1/m). Which is greater: -3 or w?
w
Let r = -63/5 + 13. Suppose -4*u + 15 = u. Suppose z + u*o = 2*o - 3, 2*o + 8 = 0. Is r at least z?
False
Suppose 2*d = 3*d - 2. Let p be -7 - ((-2 - d) + 2). Let g be 38/(-9) + 2/9. Are p and g equal?
False
Let f = -1268 + 11446/9. Let t = 71/18 - f. Which is greater: t or 1?
1
Let p(s) = -s**3 - 7*s**2 - 5*s + 8. Let b be p(-6). Let a be 2/3 - (0 - b). Does 4 = a?
False
Let s be 1/2 - (-3)/(-6). Suppose k + 1 + 3 = s. Suppose -r - 11 = 3*f, -3*f + 5 = -4*f - r. Is k <= f?
True
Let j(c) = c**3 - 5*c**2 - 5*c - 3. Let y be j(6). Suppose -4*x + y = 19. Is -5 bigger than x?
False
Suppose 0*u + 20 = -4*u. Which is smaller: u or -3?
u
Let q = 1343289 - 3042549298/2265. Let o = 1/151 + q. Which is smaller: o or 1