Let w be (18 + -16)*(-13)/(-2). Which is greater: w or y?
w
Suppose 0 = -2*k - 0*k. Which is smaller: k or -2/9?
-2/9
Let k = -2 + 21. Suppose 5*b + k = -3*u, 2*u = -2*b - 3 - 3. Suppose 2*s = -2*p + 8, 0 = 2*s - 4*s + u*p - 8. Is s less than 0?
False
Let j be (-1)/3*3/2. Which is smaller: j or -3?
-3
Let t = -0.2 - -2.2. Let c = -29 - -59/2. Does t = c?
False
Let d = -15 + 33. Is d not equal to 18?
False
Let d be (-130)/(-150) + 2/15. Let a(n) = -n**3 - 3*n**2 - 2*n + 2. Let p(x) = -x**3 - 3*x**2 - 2*x - 2. Let l be p(-2). Let w be a(l). Which is bigger: d or w?
w
Let o(b) = -4*b**3 + 7*b**2 + 6*b - 13. Let d(v) = 9*v**3 - 14*v**2 - 11*v + 27. Let m(a) = 3*d(a) + 7*o(a). Let s be 1*(3 + -4)*-8. Let c be m(s). Is -3 >= c?
False
Let h be (-10)/45 + (-122)/18. Let t(m) = -m**2 - 6*m - 6. Let n be t(-6). Is h at most n?
True
Let c = 2.6 - 0.6. Let f = 0.18 - 0.48. Which is smaller: c or f?
f
Suppose -5*u - 193 = -68. Let m be (60/u)/((-2)/5). Let a be m/8*(2 - 1). Is 2 less than or equal to a?
False
Suppose 3*t = -t + 2*d + 10, -3*d + 1 = 2*t. Which is greater: t or -1?
t
Suppose 0 = 2*p - 6 - 0. Suppose -17 = -4*f + 5*i - 2*i, 0 = p*i + 9. Is -1 equal to f?
False
Let r = -1023 - -2959/3. Let m = 77 + -41. Let x = r + m. Is x smaller than 0.2?
True
Let q = -169 - -1517/9. Let z be (-1)/(1*(-2)/(-2)). Which is greater: q or z?
q
Let u = -8 + 16. Let c = u - 6. Let p = c + -2. Which is smaller: 1/3 or p?
p
Let b(s) = -8*s**2 + 2*s. Let r be b(1). Which is smaller: -0.1 or r?
r
Let l = -0.02 - -0.02. Let x = 0.1 + l. Which is bigger: x or -4?
x
Let i = 0.07 - -0.33. Which is bigger: 4 or i?
4
Let r = -1.4 - 0.6. Let i = 0.1 + 4.9. Let j = i + -5. Is r > j?
False
Suppose 5*l + 3*a + 2 = a, 5*a + 5 = -3*l. Let m be 3/(-9) - (-20)/24. Which is greater: m or l?
m
Let u = -17 - -18. Is 2/9 at least u?
False
Let k = 6 - 3. Suppose 4*p - 1 = 4*t + k, 7 = -p - 3*t. Which is smaller: 1/16 or p?
p
Let a = 25.4 + -26. Which is smaller: a or 2/7?
a
Suppose 0 = -8*t - 5*t + 247. Is 17 > t?
False
Let n be 9*(6/(-21) + 52/84). Is n < 5?
True
Let m(a) = a**2 + 5*a - 1. Let d be m(-5). Suppose 5*u - 55 - 650 = 0. Let t = u + -984/7. Which is smaller: d or t?
d
Let q = -69.05 - -65. Let t = -0.05 - q. Which is smaller: t or 2/3?
2/3
Let z = 304 - 366.5. Let t = -59.47 - z. Let k = 0.03 - t. Which is smaller: k or -1/3?
k
Suppose -5*k = 4*w - 0 + 1, -2*k = 2*w + 2. Let b(g) = -4*g**3 + 12*g - 14 - g**3 + 4*g**3 + 10*g**2. Let p be b(11). Which is smaller: w or p?
w
Suppose -3*q = q + 3*m - 9, 0 = 2*q - 4*m + 12. Let r = -582 - -7570/13. Does r = q?
False
Let g be 2/6 + 57/(-9). Let u be (-40)/(-15) - 2/g. Suppose 2*c - 3 - 2 = u*v, -v = -c + 3. Is 2/25 > v?
False
Let z(d) = 13*d - 64. Let l be z(8). Is l != 40?
False
Let p be 2/((-2 - -4) + -4). Let n(d) be the first derivative of d**2/2 - 7*d + 2. Let s be n(7). Are p and s equal?
False
Let u be 33/9 + 2/6. Let r be (16/(-12))/((-6)/(-9)). Let k(a) = a**2 + 3*a + 5. Let v be k(r). Which is smaller: u or v?
v
Let m = -5 + 3. Let a(y) = 3*y**3 + y**2 - y. Let d be a(1). Suppose d*v + 2*v = 0. Is m greater than or equal to v?
False
Suppose 4*m = 2 + 2. Let p(n) = 22*n**2 - 2*n + 1. Let r be p(m). Suppose -5*j - y + r = 0, -j - 2*j + 31 = -4*y. Which is smaller: j or 6?
j
Let h be (-3)/6 + (-246)/(-108). Which is smaller: 3 or h?
h
Let q = -33 + 42. Which is greater: q or 0?
q
Suppose -3*i + 246370 = 40927. Let d = i - 5341423/78. Let u = -18/13 + d. Is -0.1 < u?
False
Let z(s) = s**2 + 5*s - 7. Let v be z(-5). Do v and 2 have the same value?
False
Let h = -0.1 - 0.3. Let z = h - -0.2. Let q = z + 0.3. Which is bigger: -6 or q?
q
Let u = 0.7 - 1. Let r = 0.14 + 0.36. Let a = r + -1.5. Which is smaller: a or u?
a
Let d = 12/157 - -2598/2983. Which is smaller: d or 1?
d
Suppose -7*w = -2*w - 25. Suppose w*a = a + 16. Which is bigger: a or 5?
5
Let o be (-1 + -11)*9/(-12). Suppose o = -3*i - 9. Let f be 1/1*2/i. Is 0 smaller than f?
False
Let c = 0.2 + -0.17. Let a = 0.17 + c. Suppose -v + 5 = 5*f, 5*v - 15 = 2*f + 2*v. Which is greater: f or a?
a
Let w = 73/3 - 15. Is w < 8?
False
Let c be 36*1/((-3)/2). Let o = c + 97/4. Suppose 0 = -4*u - 3 + 19. Is u less than or equal to o?
False
Let g be ((-1 - 2) + 3)/(-3). Is g less than -2/5?
False
Let s = 3/8 - 25/88. Which is bigger: -1 or s?
s
Suppose 5*i - 6*i + 9 = 0. Which is smaller: 23/3 or i?
23/3
Let r(p) = p**2 - 5*p + 1. Let b be r(6). Suppose 0 = 4*q + q - 4*m + 8, 5*m + b = 2*q. Let f be q/6*12/8. Is -1 smaller than f?
False
Suppose 4*a - 9 = -1. Let r be 0/8*a/(-4). Is -1/25 smaller than r?
True
Let d = 6 + -14. Is d >= 1/3?
False
Let z = -0.04 + 0.02. Let v = z + 0.02. Which is bigger: v or 4?
4
Let l(n) = n + 1. Let x be l(-1). Let a = -0.01 + -0.99. Is a at most as big as x?
True
Let o be (-4)/(-5)*(2 + (-11)/(-2)). Which is bigger: o or 7?
7
Let b = -5.2 - -5. Let g = -0.01 + -0.29. Let y = g + 0.1. Is y less than or equal to b?
True
Suppose 3*s - 4*a = 7*s - 12, -4*s + 15 = 5*a. Suppose -3*o + 0*i + 4 = 4*i, -o + i - 1 = 0. Suppose o = 3*n - 2*n - 1. Is n != s?
True
Suppose 4*g - 2 - 2 = 0. Let o = -0.4 - -0.9. Let s = o - 0.4. Is s < g?
True
Let z be (-1)/2*(-12)/30. Let m = 3 + -2.8. Let y = 0.3 - m. Is y <= z?
True
Let t be (-12)/(42/72 - 1/(-6)). Is t less than -14?
True
Let b = 1 + 3. Let y be 3/(-6)*(0 + -10). Is y at most as big as b?
False
Let p = -87 + 97.4. Let y = p - 9. Let d = -0.4 + y. Do 1/4 and d have the same value?
False
Let o = -0.07 + 0.17. Is o equal to 7?
False
Let x = 13 - 19. Let l(b) = -b**2 - 5*b + 5. Let q be l(x). Which is smaller: q or -0.3?
q
Let l = -44 - -47. Which is bigger: l or -3?
l
Let h = 0 - 0.2. Suppose -c = -2*o - 4, -2*o - o + 12 = 0. Suppose 0 = 4*v - v - 3*u + c, -4*u = 5*v + 11. Is h less than or equal to v?
False
Let l = -6 - -21. Let i = -14 + l. Let t = 2 - 1. Is i <= t?
True
Let l = 3231 + -332787/103. Which is smaller: 0 or l?
0
Let o(g) = -g**3 + 5*g**2 + 1. Let y be o(5). Does y = 1?
True
Let w(f) = -8 - 11 - f + 8. Let d be w(-6). Is d less than or equal to -4?
True
Suppose 0*g + 18 = 3*d + g, 0 = 3*d - 4*g - 3. Suppose -d = s + 4*s. Let p = s - -1. Is 0 less than or equal to p?
True
Let l be (-55 - -57)/((0 - 0) + 2). Is 2/51 < l?
True
Let a be 4/(-6)*-3 - (10 + -8). Which is smaller: 113 or a?
a
Suppose 3*t - 4 = 7*t. Let u(d) = -d**3 + 2*d**2 + 2*d + 1. Let k be u(t). Is k greater than -3?
True
Suppose 4*z + 16 = 48. Which is smaller: z or 0?
0
Let a be (-15)/(3 - (-12)/(-8)). Suppose 0*r = -3*r - 27. Let n = r - a. Are 1/5 and n nonequal?
True
Suppose -2 = -5*f - 7. Suppose 5*l + 9 = -2*n, -2*l - 2*l = 4. Which is smaller: n or f?
n
Let g = 7/132 - 10/33. Let h = 3/131 - -241/917. Which is greater: h or g?
h
Let l be 14/21*(-6)/4. Let o = 3.7 - 4. Which is smaller: o or l?
l
Suppose 5*x - f + 10 = 4*f, -5*x - 3*f + 14 = 0. Suppose 2*k + 2*k + 3*q + 16 = 0, -k = -q - 3. Is x >= k?
True
Suppose 5*z - 106 = 2*y, -2*z = 2*z + y - 77. Let g be (-4)/18 - z/72. Which is smaller: 1/2 or g?
g
Suppose 4*q + 28 = -4*l, 3*l - 3*q = -0*l - 15. Let j = 6 + l. Let o = 4639/13 + -357. Which is greater: o or j?
j
Let m = 1.1 - 6.1. Let z = -24 + 27. Suppose 2*x + z = 1. Which is smaller: m or x?
m
Let x(m) = m**3 + 5*m**2 + 5*m + 6. Let i be x(-4). Suppose 0*v = v - 3, 3*v = i*w + 3. Suppose -w + 0 = -3*h. Is -2/15 at most h?
True
Let w = 3.8 - -1.2. Let g = 6 - w. Let y = g - 1. Which is smaller: y or 0.4?
y
Let l = 1.5 + -1.9. Which is smaller: 1 or l?
l
Let u = -1 - -3. Let d = -1 + u. Let g = 14/3 + -5. Do d and g have different values?
True
Let y = 74 + -74.2. Which is greater: y or 1?
1
Suppose 2*y = c - 3*c + 568, 3*c - 5*y - 844 = 0. Let l = 1985/7 - c. Which is smaller: l or 2?
l
Suppose 0 = -11*d + 9*d. Which is smaller: d or -2?
-2
Suppose 9*x = 4*x + 10. Let b be (-1)/(-2) + 26/28. Which is smaller: b or x?
b
Let w = 7187198/116459 - 2/16637. Let o = 62 - w. Suppose 5*x + 2 + 3 = 0. Which is smaller: o or x?
x
Let v be -1 - 2/(-6)*0. Is v bigger than 1/2?
False
Let x(t) = t**2 + 3*t - 5. Let p be x(-4). Let b be p/(-1) + (-1)/(-1). Which is bigger: -0.5 or b?
b
Suppose -2*p + 6 + 4 = 0. Let m = p + -5. Do m and 0 have the same value?
True
Let p(t) = t**3 - 6*t**2 + 2*t - 1. Let f be p(5). Let i be 2 + f/6 