
Let w = -3 + 5. Let x(i) = -i**3 + 5*i**2 - 4*i + 4. Suppose o + 5*h = 14, -5*o - 5*h + 13 = -17. Let b be x(o). Which is bigger: w or b?
b
Let v = 7 + -7. Let f = v - 1. Which is bigger: 3 or f?
3
Suppose 4 = -4*h - o, -3*h - 4 = o - 0*o. Which is smaller: h or -3?
-3
Let z = -45/2 - -23. Which is smaller: 8 or z?
z
Let c = 0.02 - 0.02. Let f = c - -0.1. Is -2/11 <= f?
True
Let w = -97 + 97.076. Is 0 greater than or equal to w?
False
Let k = 5 - 12. Let o = -3 - k. Suppose o*v - 12 = -2*t, -t - v + 1 = -2. Which is smaller: -2/9 or t?
-2/9
Let o = -2 - -3. Suppose 5 - o = -2*q. Let l(f) = -3*f - 1. Let s be l(0). Which is smaller: s or q?
q
Let j be (-10)/12 - 7/(-14). Which is greater: j or -4/9?
j
Suppose 0 = -0*z - 2*z - 36. Let j = z + 20. Is j not equal to 3?
True
Suppose -5*w + 2 = -w + 2*k, -2 = -2*k. Let c = 3/10 + -11/20. Which is smaller: w or c?
c
Let y = 2/15 - 4/5. Let i(a) = a**2 + 5*a - 7. Let s be i(-6). Which is bigger: y or s?
y
Let q = -5 - -5. Is 16 <= q?
False
Let n = 3 + -8. Let s = 4.9 + n. Which is greater: s or 1?
1
Let s = 4 - 4. Let z be -3 + 11 - (2 - s). Suppose -3*l = -0*l + z. Are -3 and l unequal?
True
Let v = 3 - 5. Let b = -0.3 + 0.3. Let h = b - v. Is 1/4 greater than or equal to h?
False
Suppose 45 - 9 = -6*z. Is -8 at least z?
False
Let b = 55 + -55. Which is greater: b or 2?
2
Let v = 13 - 2. Which is bigger: 12 or v?
12
Let a = 2/7817 + -2759413/46902. Let r = 59 + a. Let c = r - -1/3. Which is bigger: c or 0?
c
Let c(r) = -r. Let f be c(2). Let s(q) = q**3 - 3*q**2 - 4*q - 1. Let o(h) = -2*h - 6. Let m be o(-5). Let n be s(m). Are f and n non-equal?
True
Let d = -0.25 + -0.02. Let k = 3.21 + d. Let w = k - -0.06. Which is greater: w or 0?
w
Let a be (-1 - -1)/(4/2). Let w = 401/7 + -57. Is a smaller than w?
True
Let s(p) = p**2 + p - 2. Let h be s(-2). Suppose 0 = -x + 5*j - 15, -6 = 3*x - h*j - 2*j. Suppose k - 1 + 3 = 0, 5*t - k + 8 = 0. Is x bigger than t?
True
Let i be 1 - (2 + -1 + -3). Suppose 0 = 4*o - 2*h + i*h - 6, -4*h + 7 = -o. Is 3/17 bigger than o?
False
Let d be 1*(4 + -3 - 2). Is 2/23 at least as big as d?
True
Let g(u) = -2*u - 8. Let p be g(-4). Is p smaller than 5/7?
True
Let m = -12 - -11. Which is smaller: -2/49 or m?
m
Let c be (0 - 6/(-2)) + -3. Suppose -5*f + 37 - 2 = c. Let a = -5 + f. Is a equal to 6/7?
False
Let c be 1 - 1/(-4)*-7. Let j be (-7)/(-1 + 2 + -2). Let x = -7 + j. Is x smaller than c?
False
Let p = -18 - -17.93. Let b = 0.37 + p. Which is smaller: 2 or b?
b
Let h be (5/3*2)/2. Which is bigger: h or 3?
3
Suppose 4*d = 102 - 34. Which is greater: 16 or d?
d
Let b(c) = 4*c**2 - 10*c**2 + 4 - c**3 - 2. Let k be b(-6). Suppose 0 = -k*t - 0 - 10, -2*n = 3*t + 15. Is n smaller than 2/5?
True
Let m = -59 + 235/4. Let g = 2 - 0. Let k = -2 - g. Which is greater: m or k?
m
Let v be (-40)/99 + 660/54 + -12. Let o be 2/5 - 3/(-5). Is o less than v?
False
Let l be (0/2)/((-6)/(-6)). Suppose l = -2*p + 16. Let f(u) = u - 4. Let d be f(p). Do d and 3 have different values?
True
Let o(a) = 5*a**2 + 4*a + 1. Let q be o(-2). Is 18 bigger than q?
True
Let o(t) = -7*t**2 + t - 1. Let f be o(1). Which is bigger: f or -9?
f
Suppose 0 = -5*c + 42 + 283. Let q = 389/6 - c. Which is greater: -1 or q?
q
Let m be 2/4 - 25/10. Let q be (-7 - (m + -1))/(-2). Which is bigger: q or 3?
3
Let l = 1.6 - 1.8. Which is smaller: -2/5 or l?
-2/5
Let f be 1*-1 + 70/50. Is f <= 0?
False
Let d = 0 - -0.2. Let g = -109 + 110. Is g bigger than d?
True
Let n = 1.2 - -15.8. Is 2 > n?
False
Let h = -5.4 + 5. Let x = h + 0.2. Let t = 0.3 + x. Which is smaller: 1 or t?
t
Let r = 0 - -1. Let m = 23 - 23. Which is smaller: m or r?
m
Let n = 4512739/1552938 + -1050/4243. Let g = n - -1/122. Is g at most as big as 4?
True
Let c = 1/3 - 1. Let b = 9 + 0. Let f be (-4)/(-3)*b/(-6). Does f = c?
False
Let s be (-2922)/(-18) - (-15)/9. Is s at least 164?
True
Suppose 4 = -2*z, 3*h - 5*z = 9 + 4. Suppose 8*i - 111 = 5*i. Suppose 31 = 2*f - 5*c, -4*f - 2*c = -7*c - i. Are f and h non-equal?
True
Suppose -4 = 2*f - 2. Let o be -3 - (4/f + 1). Which is smaller: o or -2/5?
-2/5
Let q = 4.8 + -0.8. Let y = -5 + q. Is 0 less than or equal to y?
False
Let z = 1/41 + 36/205. Which is smaller: z or -5/4?
-5/4
Let i(j) = -j**2 + 13*j + 10. Let d be i(14). Which is smaller: d or -5?
-5
Let y = 1 + -0.98. Let z = y - 1.02. Which is bigger: z or 1/6?
1/6
Let u = 11 + -15. Is -3 > u?
True
Suppose -5*m - 3*x + 4 + 44 = 0, 5 = 5*x. Which is smaller: m or 14?
m
Suppose -n + 5*m = -6*n + 10, -5 = -4*n - 5*m. Suppose n*q - 6 = -4*s, -2 = -4*q - 3*s + 3. Are q and 0.1 unequal?
True
Let x = -201/4 - -7043/140. Is -1 less than or equal to x?
True
Let v = 39 - 47. Let b = 0.1 + -0.2. Which is smaller: b or v?
v
Let g be 2*(1 + 0) - -2. Let n be 52/(-9) - 2/9. Let i be 14/6 - 4/n. Do g and i have the same value?
False
Let f be -1 - 1/((-2)/5). Suppose -3*c + 5*d = -34, 0*c + d + 17 = 4*c. Is f less than c?
True
Let k be 10/(-25) - (-59)/160. Do 1 and k have the same value?
False
Suppose 5*f - 5*a = 10, -5*f = -0*f - 3*a - 2. Let d be (0 - 0)/(1/(-1)). Let o be (0 - d)*(-1 - f). Which is greater: o or 1/3?
1/3
Let q be ((-141)/(-45) + -3)*10. Which is smaller: 2 or q?
q
Let t = -10 - -9.9. Which is greater: t or -0.14?
t
Let u be (2/4)/((-6)/(-788)). Let t = 65 - u. Is t equal to -2?
False
Let b = -7 + 1. Let w = b - -5. Let r = -0.1 + 0.3. Which is smaller: r or w?
w
Suppose -93 + 27 = 2*m. Is -34 bigger than m?
False
Let v = 207 - 437. Let w be (4/360)/((-24)/v). Let n = -1/54 - w. Which is bigger: -1 or n?
n
Let y be (-21)/15*(-60)/(-48). Suppose -5*t = -5*d - 25, 0 = 2*t - d - 6 - 3. Let x be ((-3)/t)/((-2)/(-8)). Do y and x have the same value?
False
Let s(i) = -i**2 - 7*i - 6. Let g be s(-4). Is g < 4?
False
Let l(n) = -n**2 - 4*n + 7. Let p be l(-5). Which is greater: p or -6?
p
Let g be 0*((-4)/2 + 3). Suppose x = -4*u - 4, g*x + 3*u = 3*x + 12. Which is greater: -6 or x?
x
Let i be 2/2 + -5 + 1. Let h be -1*6*2/i. Suppose h - 2 = -o. Which is greater: o or -1?
-1
Let s = 0 + 2. Suppose -h = u + 5, 1 = 3*u - 3*h - s. Let f be (1 + u)/(0 + -1). Which is smaller: 0.1 or f?
0.1
Suppose 0 = -0*g - g. Let a be 20 + g + -1 + -1. Suppose 0 = -y + 5*s + 23, -2*y + 4*s + a = s. Do y and 3 have different values?
False
Suppose v = -2*b - b + 6, 3*b - 6 = -5*v. Let q = 2 + -1. Are q and v non-equal?
True
Suppose f - 4 = -4*w, 0 = 4*f + 5*w - 102 + 31. Is 24 >= f?
True
Let o(b) = 7*b**2 + 7*b + 2. Let r(v) = -3*v**2 - 4*v - 1. Let j(s) = 2*o(s) + 5*r(s). Let d be j(-7). Is -7 not equal to d?
True
Suppose 3 = 3*j + 6. Let y be (3 - j)/(27 + -1). Is y >= 1?
False
Suppose 0 = 2*d, 2*d + 0*d - 2 = l. Which is smaller: -10/3 or l?
-10/3
Let r = -131 + 5373/41. Let n = 49 - 48. Which is bigger: r or n?
n
Let b(i) = -i**2 + 5*i - 5. Let g be b(4). Let w be g*((-6)/(-8))/3. Let s = 0.2 + -0.4. Are w and s unequal?
True
Let m be (-48)/24 + ((-62)/(-15) - 2). Which is greater: -1 or m?
m
Suppose 2*w - 31 + 187 = 0. Let z be 0 - -4 - w/(-14). Are -3 and z nonequal?
True
Suppose w + 6 - 18 = 0. Let u be ((-4)/w)/((-1)/6). Which is greater: u or -0.2?
u
Suppose -v = -2*v - 5*d - 45, -39 = v - d. Which is smaller: -41 or v?
-41
Let q be 0*(-3)/12*-4. Let x = 179/198 + -13/18. Which is smaller: x or q?
q
Let r = -2/7 - 3/14. Let b = 22/27 + -4/27. Which is bigger: r or b?
b
Let w = 26.41 - -1.99. Let f = w + -27. Is -1/3 smaller than f?
True
Let q(b) = -b**3 - 4 + b**2 - b**2 + 5*b**2 + 3*b**2 - 6*b. Let z be q(7). Suppose -3*m - 2*k + 4 = 0, -1 = z*m - 3*k - 10. Which is smaller: m or 3?
m
Let l = -63 + 70. Do l and 3 have different values?
True
Let o(d) = -d**2 + 7*d - 1. Let j be o(7). Suppose 17 = 2*c + 5. Let q be 2/(-14) - c/(-21). Which is smaller: j or q?
j
Suppose 0 = -0*h - 2*h + 4. Which is smaller: 17/6 or h?
h
Let l = 19 + -12. Let u = -14 + l. Which is smaller: u or -2?
u
Let k = 0.4 - -1.2. Is 0 > k?
False
Let t = -43/18 - -8/9. Suppose 2*m = w - 1, -2*w - w - 13 = 2*m. Is m less than or equal to t?
True
Let j = 1928 + -90611/47. Which is smaller: j or 0?
0
Suppose 2*w = -3*d - w, -w = -3*d - 16. Let c(b) = -b**3 - 5*b**2 - 2*b + 3. Suppose 4*u = 4*m + 28, -3*u + 3 = 3*m + 2*u. Let s be c(m). Is s bigger than d?
False
Let r = -43/30 - -4627/3270.