43/10 - -14. Let y = -1/5 + x. Which is smaller: 18 or y?
y
Let f be (-4)/30*(-270)/165. Which is bigger: 0 or f?
f
Let m = 171 - 296. Let g = m - -96. Which is smaller: g or -27?
g
Let g be (2/4)/((-2)/(-8)). Let a be (-1)/g + (-111)/(-30). Let h(j) = -j**2 - 9*j - 15. Let i be h(-6). Are a and i equal?
False
Let f be 1/(-7) + (-1516)/168. Let n = f - -59/3. Let q = n + -11. Which is bigger: q or -2?
q
Suppose -12 = 5*q + 3*u, 2*u + 12 = q - u. Suppose 0 = 2*o - q*o - 4. Suppose 0 + o = -2*w. Which is bigger: 2 or w?
2
Suppose 4*p + l - 3 = -10, -p - 23 = -4*l. Which is smaller: p or -2?
p
Let w = 0.8 - 6.8. Let m = 6 - 6.5. Let z = m + 0.4. Is w greater than z?
False
Let a = 7 + -7. Let u = -13.438 - 0.162. Let j = u + 15. Is a < j?
True
Let u = 209 + -215. Let o = 9.3 + -10. Which is smaller: u or o?
u
Let g = -49.42 + -0.58. Let w be (-1 - -3)*27/(-54). Which is smaller: g or w?
g
Let p be 0/((-3 - -2)/(-1)). Let g be 0*(-1 - p/(-1)). Suppose -3*c + 4 + 5 = 0, g = 4*n - 5*c - 25. Is n equal to 10?
True
Suppose -2*p - 10 = 0, 2*p + 11 + 11 = -3*n. Let v be (-3)/(-5) - (-6)/15. Suppose 5*i = v - 21. Are n and i equal?
True
Let w = 100 + -58. Let d be 28/(7/(105/10)). Is w smaller than d?
False
Let a be ((-3)/(-1))/(-3)*0. Suppose 0 = -3*w + 2*f + 5, 5*w - 5*f - 1 - 9 = a. Are w and 6/7 non-equal?
True
Suppose -100 = 27*n - 19. Suppose 3*j + 105 = 7*j + 5*a, 4*a = 4*j - 60. Is j less than n?
False
Let y(f) = 10*f**2 - 38*f + 24. Let z(b) = -3*b**2 + 12*b - 7. Let k(v) = -2*y(v) - 7*z(v). Let j(m) = -2*m - 2. Let w be j(-5). Let i be k(w). Is -0.09 <= i?
True
Let m be (-1)/2 + 9/(-4). Suppose 61 = -93*y - 218. Is m < y?
False
Let u = -100 - -358/3. Let c = -33 + u. Which is greater: -14 or c?
c
Let a = 3.8 + -1.8. Let r = a + -0.8. Let m = r - 1. Which is greater: m or 1/3?
1/3
Let n = 16 - 19. Let v be -8 - ((-3 - n) + -2). Let y be 76/(-18) - v/27. Which is smaller: -21/4 or y?
-21/4
Let a be (6/(-4))/(1 - 9/6). Which is greater: a or 39/25?
a
Let h = -15 + 8. Suppose 24 = 7*o - 4. Suppose 2*y - o*q + 30 = 0, 30 = -3*y + 2*q - q. Do y and h have different values?
True
Let q(c) be the third derivative of c**4/24 + c**3 - 3*c**2. Let p be q(-9). Which is smaller: p or 7?
p
Let p(l) = -l**3 + l**2 + l - 1. Let x be p(1). Suppose x = -2*h + 56 - 12. Which is smaller: h or 21?
21
Let t(w) = w**3 - 8*w**2 - w + 10. Let d be t(8). Suppose a = 1, -4*a + 2 = u - d*u. Is 0.1 at least u?
False
Suppose l + 4*j - 15 = 0, 4*l = 5*j - 0*j - 3. Suppose 5*q = -0*m - l*m + 58, 4*m = 3*q - 29. Let p = 0.6 + -0.7. Which is smaller: p or q?
p
Let v = 15/1076 - 3598/2421. Let n = 1/36 - v. Which is smaller: n or 7/5?
7/5
Let d = -8 + 37. Suppose -2*w = 6, 6*u - 3*u = -w + 84. Are d and u equal?
True
Let m = 95251/11 - 8681. Let u = m - -22. Let s(x) = x**3 + 2*x**2 + x + 2. Let r be s(-2). Which is bigger: u or r?
u
Let h = -285161/3447738 - 2/35181. Let z = h - -4/147. Which is greater: z or 0?
0
Let c = 1/155 - 317/1085. Are c and 2/73 unequal?
True
Let d(y) = y**3 - 20*y**2 - 9*y - 12. Let h be d(20). Which is smaller: 0 or h?
h
Let x = -231 + 1615/7. Which is smaller: 2 or x?
x
Let s = 485/51 - 5947/561. Let p(m) = 6*m**2 - 2*m**3 + 3*m - 7 + 3*m**3 - 4*m. Let t be p(-6). Is t < s?
False
Suppose -4*f - f = 0. Suppose -x + 0*x = 4. Let o be 10/(-6) - x/6. Which is bigger: f or o?
f
Let y = 1159245/97 + -11951. Let l(o) = -o**3 - 6*o**2 - o - 6. Let k be l(-6). Are y and k non-equal?
True
Suppose -i = -4*y - 604, -4*i + 318 - 942 = 4*y. Which is smaller: -153 or y?
-153
Let m = 2524 + -2521. Is m smaller than 38/21?
False
Let y be 1065/(-9) + 8/(-12). Let s = y + 1310/11. Are 1 and s equal?
False
Let s(t) = 9*t - 317. Let l be s(33). Is l greater than -18?
False
Let w = -21514/33 - -652. Suppose 5*t + 8*z - 20 = 3*z, -4*t - 3*z = -11. Which is smaller: w or t?
t
Let c = -0.26 - -2.24. Let p = -0.02 - c. Let r be 1/5 + (-3)/(-35). Which is smaller: r or p?
p
Let r be (1405/70 - 20)/(2/7). Let t = 2 - -1. Suppose a = t*a. Which is bigger: r or a?
r
Suppose 0 = -5*h - 2 - 8. Let p(d) = -d**3 - 11*d**2 + 11*d - 14. Let j be ((-24)/2)/(-2 - -3). Let s be p(j). Is s less than h?
False
Let x = -404 - -576. Is 172 smaller than x?
False
Let o = -10 - -8.2. Let b = o - -19.8. Let p = 16 - b. Which is smaller: -5 or p?
-5
Suppose -5*l - 4*b - 9 = -46, -5*b = 5*l - 40. Let f(o) = -l*o + 4*o + 0*o + 0*o + 10. Let j be f(9). Is 0 greater than or equal to j?
False
Let k(c) = -4*c**2 - 3*c + 13. Let h be k(4). Let i be 46/h*3 + 2. Is i at most 1?
True
Let i = 0 - 0. Let x = -227 + 229. Let p be 240/(-364) - (55/35 - x). Are i and p nonequal?
True
Suppose -225 = 5*b - 5*p, -p - p = 5*b + 218. Let x be ((-2)/b)/((-6)/12). Suppose -3*m - 2*k = -7, 3*k + k = -3*m + 17. Which is greater: x or m?
x
Let w = -443 - -557. Is w greater than or equal to 116?
False
Let q(c) = c + 7. Suppose 3*m + 3 = -6. Let j be q(m). Let g(d) = -d**2 - 7*d + 5. Let f be g(-7). Is j smaller than f?
True
Let x be (3/2)/((-21)/(-112)). Suppose 2*t = 3*i - 17, x = -5*t + i - 2. Which is bigger: -2 or t?
t
Let i = -71.29 - -20.29. Is 10 > i?
True
Let q be 44/6 + (-7)/21. Suppose 17 = 3*i + 4*s, -4*i - 24 = 3*s - q*s. Is -3 smaller than i?
True
Let h = -191.09 + 190. Let f = -0.29 + 0.2. Let g = f - h. Is g < 0.1?
False
Let b(k) = -k**2 - 9*k + 1. Let q be b(-5). Let y be (-4)/3 + q/36. Is y less than or equal to -0.3?
True
Let a be (-15)/519*(-12)/20. Is 1 equal to a?
False
Let y be 5/(-2)*619/10. Let k = -156 - y. Is -1 >= k?
True
Let a(m) = -24*m + 221. Let q be a(9). Which is greater: q or -22?
q
Let i = 1 + 0. Let v be 68/920 - 4/(-40). Which is smaller: v or i?
v
Let i(g) = g**3 + 19*g**2 - 2*g - 35. Let x be i(-19). Suppose -108 = -9*j + x*j. Is j at most 19?
True
Suppose -3*n - 131*v + 766 = -130*v, -2*v - 772 = -3*n. Is n greater than 253?
True
Let k = -11.9 - -14.2. Which is smaller: 0.2 or k?
0.2
Let z be 2*(96/(-1588))/8. Is -1 greater than z?
False
Let y(o) = -o**3 + 14*o**2 + 12*o + 1. Let g be y(15). Let r be 8 + -7 - (-41)/g. Is r at least 0?
True
Let h be (-5)/(-3)*(-1 - 8/(-5)). Which is bigger: -7/78 or h?
h
Let b(n) = -n**3 - 2*n**2 + 3*n - 1. Let r be (0 + -5 - -2)/1. Let a be b(r). Let k be (6/(-14) + 1)/(-2). Is k greater than a?
True
Let c(y) = -6*y - 1. Let r be c(3). Let i be (-169 - 0)*1/(-9). Let w = i + r. Which is bigger: 0 or w?
0
Let h = 499 + -355. Is 144 > h?
False
Let q = -402/13 - -1232/39. Which is smaller: q or 3.4?
q
Let m(o) = -80*o + 71. Let d be m(11). Is d greater than -809?
False
Let w(v) = -v**3 + 4*v**2 + 13*v + 22. Let z be w(-7). Let o be z/236 - (-2 - (4 + -8)). Is 1 != o?
True
Let a = 16 + -16. Let b be (-3 - 0)/((-12)/(-64)). Let y be (-10)/18*b/(-20). Which is smaller: y or a?
y
Suppose 3*n = -j - 304, 3*j = 4*n - 0*n - 886. Which is smaller: j or -299?
-299
Let h(y) = -y**2 - y - 2. Suppose -2*k + 0*k - 6 = 0. Let j be h(k). Let m = 10 + j. Is m smaller than -3/4?
False
Suppose 5*t + 3 = -17. Let m = -1553 - -3165/2. Let v = m - 32. Is t equal to v?
False
Let k be (-96)/140 + 2/7. Let t = -16.273 + 17.35. Let u = t - 0.077. Which is greater: u or k?
u
Let k(d) = d**3 - 8*d**2 + 6*d + 7. Let l be k(7). Suppose l*i = -4*i - 8. Let a be (-4)/(-6)*3/i. Is a at least 17?
False
Let c = 1087 - 987. Which is smaller: c or 0?
0
Let m = -93.52 + -2.88. Let o = 84 + m. Let c = -11 - o. Which is bigger: c or 1?
c
Let x = 56 + -103. Let k = 14 + x. Is k smaller than 1/3?
True
Suppose -2*h - 22 = 3*i, 2*h = 4*i - 2*h + 16. Let m be (1/(-3))/(6/i). Is 1.8 greater than m?
True
Let k(s) = 3*s - 1. Let u be k(0). Let n(c) = -3*c - 1. Let w be n(u). Is w < 4?
True
Suppose 5*h + 17 - 172 = 0. Let k = 0 + 4. Suppose -k*w = -91 + h. Which is bigger: w or 14?
w
Let t(o) = -21 - o**3 + 16 - o**2 + 2*o + 5*o**2. Let j be t(4). Suppose j*s = -s + 44. Are 11 and s unequal?
False
Let b = -12994/5 - -2569. Which is smaller: b or -29?
b
Suppose 3*k + i = -162 - 132, -k - i = 100. Let y = k + 113. Is 16 at most as big as y?
True
Suppose -2*n + 24 = 4*c, 0*n + 2*c - 28 = -5*n. Suppose -n = -g - 1. Suppose g*k - 4*m = 4*k + 23, 0 = k - m - 2. Is k smaller than -4?
False
Suppose 4*s - 36*u = -39*u - 109, 5*s + 135 = -5*u. Which is smaller: -2 or s?
s
Let y = 85 + -91. Is y not equal to