Suppose 0*y - 5*b = -2*y + 33, y - 14 = 2*b. Suppose 2*w = y*w - 50. Which is smaller: w or f?
w
Suppose 0 = 3*h - 0 - 15. Suppose -4*z = -h*z + 2. Suppose d + 11 = -3*u, d = -6*u + z*u - 15. Which is smaller: d or 0?
0
Let j be (-976)/56*7/195. Let t = 1/39 + j. Let o = -166 + 166. Which is bigger: o or t?
o
Let t(i) = 2*i + 21. Let a(x) = -x**2 - 5*x + 12. Let c be a(-7). Let k be (8/c)/((-1)/(-3)). Let g be t(k). Is -3 at least g?
True
Suppose 17*a + 10 = 7*a. Which is bigger: a or -8/285?
-8/285
Suppose 3*k + 12 = 0, 3*h - 1 = -3*k - 10. Is 1/3 smaller than h?
True
Suppose -4*m = 4*r - 4, -5*r = -2*m + 3 - 8. Is -2/105 at most as big as m?
True
Let z(w) = -w**3 - 5*w**2 - 5*w + 7. Let t be z(-4). Let a = -11 + t. Let p = 0.6 + -0.53. Is a greater than p?
False
Let n = 0.8 - 0.5. Let i = -965/13902 + -2/993. Is n greater than i?
True
Suppose -t + 4*s - 4 = 3, -5*s + 65 = -5*t. Let y = 6 + 24. Suppose 7*n + y = 5*n. Is t at most as big as n?
True
Let m = -61/385 + 8/77. Which is smaller: -1 or m?
-1
Let k be ((-2)/(-4))/(-5 - (-9)/2). Is 1/1442 greater than or equal to k?
True
Let t = 1394 - 1629. Which is greater: t or 0.2?
0.2
Let r = 11 + -11.05. Let v = r - -0.05. Let z = 1.9 - 2.2. Is v greater than or equal to z?
True
Let v = 86/7 + -12. Let s = 0 + 1.7. Let d = 2.7 - s. Which is bigger: d or v?
d
Let p(d) = d + 11. Let t be p(-8). Suppose -t*r - 27 = 3*v, 0 = 3*v - 2*r + 3*r + 17. Let j(w) = -w**3 + w**2 - 1. Let q be j(2). Which is smaller: q or v?
q
Let r be ((-10)/30)/(1/3) + 1. Suppose -7*y + r = 7. Is 3/8 not equal to y?
True
Let m = -5 - -5.16. Let c = -145 - -145.84. Let f = m + c. Which is greater: f or -0.22?
f
Let w = -34 + 33. Let g be (-42)/(-7)*w/2. Which is greater: g or 0?
0
Let c = -6871/13 - -529. Let w be (44/(-11))/(0 - 2). Suppose 0 = -2*x + 2, -w*p + 6*x - x = 7. Are p and c nonequal?
True
Suppose 324 = 3*f + f - 5*u, 8 = 2*u. Which is smaller: 254/3 or f?
254/3
Let f = 1.2 + -1.05. Let o = 3.18 - 2.98. Which is smaller: o or f?
f
Let x = -427.8 + 438. Which is bigger: 2/5 or x?
x
Let f be 11/22 - 610/(-20). Which is bigger: 0.2 or f?
f
Let s = -13/3 + 56/15. Which is smaller: s or -36?
-36
Let n(q) = -q**2 + 10*q - 33. Let k be n(10). Let x = -34 - k. Which is smaller: x or 13?
x
Let l(q) = 16*q - 161. Let m be l(10). Suppose w = -6 - 8. Let n = w - -2. Which is smaller: n or m?
n
Let g be ((-8)/6)/(5516/42). Is g at most -1?
False
Let x(a) = 2*a**2 - 14*a - 11. Let d be x(11). Is d <= 77?
True
Let a(o) = -o**2 + 14*o + 3. Let n be a(13). Let q = n + 11. Which is smaller: 26 or q?
26
Let d = 322 + -321. Is 9/5 != d?
True
Suppose -s - 8 = -4*q + 6, -2*s = 4*q - 8. Which is greater: 8/3 or q?
q
Let q(c) = 6*c + 146. Let t be q(-21). Do t and -0.06 have the same value?
False
Let d = -1159 - -1163. Is -15 greater than or equal to d?
False
Let r(m) = -7 - m + 0 + 1 - 4. Let j be r(-11). Let x(t) = t**2 + t - 4. Let z be x(-3). Which is bigger: z or j?
z
Let f = 0.029 - 0.129. Are f and 8/17 nonequal?
True
Let s = -7 - -6. Let o be 2/(4/(-6)) - -3. Suppose o*x + 4*x + 12 = 0. Which is smaller: s or x?
x
Let t be (11/(-132) + 13)/(5/2). Which is greater: t or -7?
t
Suppose -2*p + 12 = 2*x - 22, 0 = x + 2*p - 22. Suppose 15 = -3*g, -2*g - 10 = -3*n + x. Let v be (21 - 98/4)*(-8)/98. Which is bigger: n or v?
n
Let f = -5.8 - -9.2. Let g = f + -3.8. Is -7 greater than or equal to g?
False
Let i be (0 + (-11 - -1))*27/4. Let u = -68 - i. Which is bigger: u or -0.4?
-0.4
Let q(d) = -12*d**3 + 2*d**2 + 2*d - 1. Let s(k) = -k**3 + k**2 - 1. Let g(y) = -q(y) + 2*s(y). Let l be g(-1). Is l <= -10?
False
Suppose 0*h - 3*i - 18 = -3*h, 3 = 5*h + 4*i. Suppose -d + 0 + h = 0. Let t = d - 2. Are 0 and t unequal?
True
Suppose -3*d - 4 - 11 = 0. Let m(j) = j + 5. Let r be m(d). Let v be r/(((-6)/(-3))/(-1)). Which is bigger: v or -6?
v
Suppose 4*h = -6 + 22, 5*h = 2*o + 526. Is -255 at most o?
True
Suppose 0 = 3*b - 2*s + 55, -2*b - 2*b = -2*s + 74. Are -17 and b unequal?
True
Let n = -0.7 + 0.8. Let b = -23 + 44. Let m = b + -19. Which is smaller: n or m?
n
Let k = -4.8 + 4.85. Is -0.02 less than k?
True
Let l be 12/(-25)*(-20)/18. Let a(c) = c**3 + 5*c**2 - c - 5. Let f be a(-5). Suppose -j = -f*j + j. Which is greater: l or j?
l
Let t be 12*((-61)/21 + 3)/2. Is 2 > t?
True
Suppose 4*y + 17 = -3*k, -4*k = 5*y - 9*k - 5. Which is bigger: -27/8 or y?
y
Let j be 42/15*(-70)/(-308). Which is smaller: j or 2?
j
Let h = -402 - -797/2. Is 10 less than h?
False
Let m = -219 + 132. Which is smaller: -0.2 or m?
m
Suppose 3*l - 2*l + 25 = 3*g, -23 = -5*g - 3*l. Let p be (1 - g)/(9/6) + 3. Which is smaller: p or -16/11?
-16/11
Let d(w) = -29*w - 29. Let u be d(-3). Which is greater: u or 229/4?
u
Let m(z) = z**2 + z + 1. Let y be m(-2). Suppose -3*n - 15 - 3 = -y*u, -3*n = -u + 14. Let p(q) = q**2 - q + 1. Let b be p(u). Are b and 1/2 unequal?
True
Suppose -u - 7*u = -32. Suppose l + u = -l. Which is smaller: -1 or l?
l
Let r = -43 - -42. Let a = 0 + -0.38. Let d = 15.38 + a. Are r and d nonequal?
True
Suppose -16 = t - 3*t. Suppose 7 + 17 = -t*v. Which is greater: -42/11 or v?
v
Suppose 17 = -2*p + 1. Which is greater: p or 0?
0
Let i = 113.59 - 113. Let s = i - 0.39. Which is smaller: 5 or s?
s
Let c = -3.9 - -0.7. Let j = 18.2 + c. Is -1/4 <= j?
True
Let n be (32/(-78))/((4 - 0) + 10). Are -1 and n non-equal?
True
Suppose 45*m - 48*m - 228 = 0. Let g = -27 - m. Which is greater: g or 48?
g
Let f(n) = -5*n**2 + 27*n - 1. Let w(u) = 9*u**2 - 54*u + 2. Let g(l) = -7*f(l) - 4*w(l). Let z be g(27). Which is greater: 2/107 or z?
2/107
Let m be (-14168)/10 - 1/5. Let f = -26917/19 - m. Suppose 23*g + 3 + 6 = 32*g. Is f greater than g?
False
Let z be ((-5)/10)/((-4)/80). Suppose 3*n = -z + 7. Which is bigger: n or -3/7?
-3/7
Let c(l) = l**3 - 7*l**2. Let b be c(7). Let x = -2/5411 + 11132/838705. Is x > b?
True
Let q = -67/332 - 4/83. Is -0.021 >= q?
True
Suppose -2*f = 3*h + 18, -26 = 4*f - 6*h + 7*h. Is f equal to -13?
False
Let x(n) = 2*n + 5. Let b be x(-3). Does b = -3?
False
Let t be 18 + 1 - (0 + 3). Suppose -14*c + 13*c = t. Which is smaller: -15 or c?
c
Let w be (-3)/(-36)*3*-14. Let z(r) = r**3 - r - 1. Let p(b) = -3*b**3 + 8*b**2 + 4*b + 9. Let y(g) = -p(g) - 4*z(g). Let t be y(-8). Is t != w?
True
Let j = -6 - 5. Let i = 11.1 + j. Let x = -0.01 - 0.04. Is i not equal to x?
True
Let d = -11.811 - -11.79. Is 4 bigger than d?
True
Let c = -8 + 35. Let x = c + -15. Let f = x + 2. Which is smaller: 0 or f?
0
Let g be -1 - (0 + 1) - (-14 + -1). Suppose 6*r - 7 = -g. Are -4/23 and r unequal?
True
Let r = -207/14 - -100/7. Which is bigger: r or 232?
232
Suppose 2*c + 714 = 2*s - 402, -1670 = 3*c + s. Let z = -392 - c. Let p = z + -1812/11. Which is greater: p or 0?
p
Suppose 4*n - 3*u + 1 = 0, 0*n - n - 29 = 5*u. Let r(g) = -17*g - 5. Let c be r(n). Let m = c - 569/9. Does 0 = m?
False
Suppose 2*a + 6 = 10. Suppose 0*x = a*x + 24. Let w = 11 + x. Is -1 greater than or equal to w?
True
Suppose 5*g + 5*v + 115 = 0, 0 = 12*v - 11*v + 1. Let c = -10 + -12. Is c less than g?
False
Let a be ((-80)/(-35) - 2)*(-3)/(-2). Suppose 3*k = -q + 17, q - 6*q + 3*k - 5 = 0. Let p = q + -2. Which is greater: a or p?
a
Let x = 2391 + -317995/133. Which is greater: 1 or x?
1
Let f(z) = z**3 - 15*z**2 + 50*z + 34. Let d be f(8). Let r be ((-4)/6)/(4/72). Is d at most as big as r?
True
Let f(q) = q**3 - 5*q**2 - 6*q - 2. Suppose 2*c - 30 = -3*c. Let z be f(c). Let u = z - -1. Which is greater: u or -0.1?
-0.1
Let u(i) = -i**2 - 4*i + 6. Let y be u(-5). Let m be -3 + ((-1755)/(-1326) - (-3)/2). Does m = y?
False
Let a be 0*-1*(-2)/(-2). Let d = 1402/3795 + -2/345. Which is greater: d or a?
d
Suppose 21 + 3 = 3*x. Suppose -2*k - x = -4*k. Let n be (k/76)/1*-1. Is n at least -1?
True
Let p = 11 - 59. Let n = p - -50. Which is bigger: -0.2 or n?
n
Let t be (-1 - 3/(-5)) + 114/10. Suppose t*q - 7*q = -56. Which is bigger: q or -10?
-10
Suppose -238*j + 270*j = 0. Which is bigger: -2/3985 or j?
j
Suppose l = 3*t, 20 = 6*l - l + 5*t. Let a be 132/(-20) + l + 4. Suppose k - 1 = -0*k. Which is smaller: a or k?
a
Let d be ((-72)/27 + 2)*-9. Suppose -5*o + 1 = -24. Which is greater: d or o?
d
Suppose -7 - 3 = -2*r. Suppose -2*b = 3*b + r. Is b <= -40?
False
Let k = -7.9 - 