 -w**3 + 8*w**2 - 17*w + 11. Let f be a(6). Which is bigger: f or -14?
-14
Let z be (-2)/10 + (-38)/(-90). Is -0.19 <= z?
True
Let y(n) = -n**2 + 6*n + 3. Let s be y(6). Let a be (1/10)/(s/(-126)). Is -4 at most a?
False
Let u(z) = z**2 - 3*z + 1. Let q(l) = 2*l**2 - 25*l - 34. Let y be q(14). Let j be u(y). Is -0.1 bigger than j?
False
Suppose 18*o - 21*o = -12. Let t(h) = -h**2 - 2*h - 1. Let p be t(-2). Let l = 7/2 - p. Which is smaller: o or l?
o
Let s(i) = 2*i**2 - 27*i + 8. Let m be s(13). Are -7 and m non-equal?
True
Suppose -g - 2*i + 4*i + 65 = 0, 2*g = -2*i + 148. Suppose -6*p - 37 = g. Let f be ((-9)/p)/(2/4). Is f less than or equal to 1?
True
Let t be 10/4*(-20)/(-18) + -3. Let k = 21 - 12. Let x be 10/(-12) + k/(-54). Do x and t have different values?
True
Suppose -2 = 4*k + 2. Let d be (-13)/((-4017)/(-12)) - 0. Which is smaller: k or d?
k
Let l be ((-10)/(-6))/((-1)/(-3)). Suppose 4*w - 15 = -u, 8*w + 15 = l*u + 13*w. Let x be ((-3)/(-14))/((-3)/4). Which is bigger: x or u?
x
Let y = 7 - 5. Let p = -1 + y. Let s = 441 - 441.1. Which is bigger: p or s?
p
Let r(l) = 0*l - 5*l**2 + 5*l + 2 - 3*l**3 + 4*l**3 - 1. Suppose 4*k = 5*k + 3*f - 7, -4*f + 12 = 2*k. Let y be r(k). Is 5 at least as big as y?
True
Let s(p) = -2*p - 7. Let o(a) = -a**2 + 7*a - 9. Let h be o(6). Let g be s(h). Which is smaller: g or -3/19?
g
Let j(g) = -g**2 + 19*g - 59. Let n be j(22). Is -125 equal to n?
True
Let m = -12.9 - -15.6. Which is greater: -2/9 or m?
m
Let t be (2 + 12/4)/(-1). Let g be 6 + 20/t + 2. Which is greater: g or 2?
g
Suppose 1795*f - 2 = 1796*f. Is 65 at least as big as f?
True
Suppose 0 = -3*w - 2*w - 50. Suppose 6*t = 8 - 32. Let l be (-1)/t - (-592)/(-64). Which is smaller: l or w?
w
Let q(h) = -33*h - 27. Let j be q(-2). Which is bigger: 11 or j?
j
Suppose 0 = -4*z - d + 143, 247 = 5*z + 2*d + 66. Is z greater than 37?
False
Let b be 2/13 + 1095/(-780). Let m(z) = z + 2. Let s be m(-4). Let n be (s + 2)/(0 - -1). Which is smaller: n or b?
b
Let y = 730 + -19706/27. Which is bigger: -1 or y?
y
Let f be (-15)/((-1575)/(-364)) + (3 - -2). Is f at least 1?
True
Let p(c) = c**3 + c**2 - c + 1. Suppose -5*q = -2*f + 5, -4*f - 10 = q - 31. Let u be p(q). Suppose -17 = 5*t - 2*r, 6 = u*r + 4. Are -2 and t non-equal?
True
Let k(q) be the second derivative of -q**4/12 + 7*q**3/6 - 3*q**2/2 + 2*q. Let w be k(3). Let d = -1 - -0.9. Are d and w nonequal?
True
Let y(l) = -l**2 - 6*l + 3. Let k be y(-10). Let m = k - -30. Which is smaller: m or -6?
m
Let k = 3124642/31 - 100804. Is k bigger than -9?
False
Let k = -42038/891 + 22/81. Which is greater: -46 or k?
-46
Let g(c) = c**2 + 20*c + 59. Let h be g(-18). Which is smaller: h or 158/7?
158/7
Suppose -4*u + 2 = -14. Let j be (5/(-4))/((-1)/u). Suppose -3*b + j*g = -3, -3*g + 2 - 7 = -5*b. Which is greater: b or 1/32?
b
Let x = -4.47 + 4.3. Let g = 30 + -31. Are x and g equal?
False
Suppose q = 5*z - 110 - 71, -5*q - 993 = -3*z. Let r be 2 - (-1)/69*q. Let v = 481/552 + r. Which is bigger: 0 or v?
0
Let j = 1059 + -1060. Is -1/1304 < j?
False
Let u be (-2)/3 + (-380)/15. Suppose 2*r = 2*x - 3*r - 62, -2*r - 56 = -2*x. Let f = u + x. Is -2/25 at least as big as f?
False
Let v be 2502/(-272) - (-45)/120. Is v at most as big as -10?
False
Let g be -29*2/32 - -2. Let k = 1.72 + -2.72. Is g bigger than k?
True
Let z(l) = -2*l + 18. Let g(n) = -n**2 + 7*n - 4. Let j be g(4). Let u be z(j). Which is smaller: 5 or u?
u
Let b be (-232)/(-252) + 56/(-49). Suppose -4*d - 20 = -q, 4*d + 13 + 27 = 2*q. Is b equal to q?
False
Let c = 289.8 - 361. Let x = -70 - c. Which is smaller: x or 0?
0
Let v = -162041/8 - -20287. Is 31 greater than or equal to v?
False
Let o = -320 + 344. Are o and 11 non-equal?
True
Let w = -8 + 14. Suppose 5 = l, 0*l + w = -2*x + 2*l. Let n be 246/240 - ((-16)/10 - -2). Is n at most x?
True
Let t(s) = s**3 + 6*s**2 - s + 1. Let f be t(-6). Let z be f/((-7)/(-2)) + -1. Suppose 8 = 3*g + 4*r + 38, r - 50 = 5*g. Is z at most g?
False
Let q be (1086/10)/((-48)/(-320)). Is q not equal to 724?
False
Let i = -8038 + 8032. Suppose 3*p + 2 - 17 = 0. Let m be p/3*-3*1. Is m at least i?
True
Let t = -372663/31430 + -1/4490. Which is smaller: -12 or t?
-12
Let d(o) = -o**2 + 6*o + 16. Let f be d(7). Let v be (-176)/(-156) + (-6)/f. Do 0 and v have different values?
True
Suppose 17 = 19*c - 2*c. Is 1/397 greater than or equal to c?
False
Let y = 4.68 - 4.08. Which is greater: -11 or y?
y
Let k = 28.1 + -28. Is 275 >= k?
True
Suppose -2*u - 18 = -4*u. Let l = u - -13. Do l and 23 have the same value?
False
Suppose -9*c + 12*c - 6 = 0. Suppose c*s - 11 = h, 0 = 3*h - s + 15 + 13. Let d be 6*((-14)/6 - -1). Is h > d?
False
Let d be 12*((-92)/(-273) + (-26)/91). Let w = -93/2 + 47. Does w = d?
False
Let f = 119 - 102. Let t(n) = -n**2 - n + 19. Let m be t(0). Which is bigger: f or m?
m
Let c be (-2276)/(-1740) - (-7)/(-105). Is c > 0?
True
Let s = 76 - 82. Let c be s/(-5)*(-56)/21. Suppose 0*m - 5*a = -3*m - 16, 3*m - 3*a = -12. Which is smaller: m or c?
c
Let l(r) = 18*r - 2. Let a be l(7). Let k = 371/3 - a. Which is bigger: k or -6?
k
Let k be (-2)/(-6)*3 + -3. Let m be (-328)/(-11) + (-6)/(-33). Suppose -7*f + m = -2*f. Which is bigger: f or k?
f
Let n = -214/1095 - 1/219. Is n at least 0?
False
Let b = -284618323/340 - -837111. Let t be (-197)/102 - (-15)/90. Let p = b - t. Is -1 <= p?
True
Let z = 977 + -881. Which is greater: 92 or z?
z
Let b = 2134 - 2075. Which is bigger: 61 or b?
61
Suppose 0 = -r + 5*m - 59 + 21, 3*r = -4*m - 38. Let d = r - -16. Which is greater: d or 2?
2
Let f = 168 + -181.3. Is -1/4 >= f?
True
Let f = -120 + 218. Let n(x) = -549*x + 3941. Let d be n(7). Is d greater than f?
False
Let s = 1496324 + -10445884/7. Let l = s + -4046. Let u = 9 - l. Which is bigger: u or 0?
u
Suppose 10 = 2*w - 4*o, -2*o + 3*o = -2*w. Let s be ((-351)/54)/(w/(-2) - 0). Is s at least as big as 14?
False
Let n = -343339652 + 4614484928341/13440. Let c = 1/640 - n. Let m = c + -1/6. Is m greater than or equal to -2/3?
True
Let q(c) = -c**2 - 9*c - 5. Let u be q(-4). Suppose -5*h - 30 = 3*i, 8*h + 3 = 9*h. Let n = u + i. Which is bigger: -5/7 or n?
n
Let m be 3/(-9) - 6/(-14). Suppose 0 = 5*s - 34 + 14. Suppose -s*h = 3*h. Which is smaller: m or h?
h
Let p(f) be the first derivative of f**2/2 + 31*f - 8. Let w be p(-11). Let j = w + -21. Is -1 > j?
False
Let n = 0.412 + -0.169. Let l = n + -0.043. Which is smaller: l or -3.2?
-3.2
Let n = 0.16 + 2.84. Let m = -2 - -2.02. Let l = m - 0.02. Is n greater than l?
True
Let a = -137/20 - -33/5. Let f = -280.11 + 280. Which is bigger: a or f?
f
Let h = 4.0645 + -0.0645. Is h greater than -30?
True
Let f = 54 - 110. Is -57 != f?
True
Let p be ((-98)/(-4))/(4 - 69/18). Is 146 at least p?
False
Let d = 10/171 - 1343/23940. Is d at least as big as 0?
True
Let s = 292 + -334. Is -42 > s?
False
Let n be (20/40)/(1*42). Which is greater: -1 or n?
n
Let l be -7 + (7 - 0 - 1). Is l >= -16/35?
False
Let f(r) = -11*r**3 + 14*r**2 - 8. Let w(s) = 4*s**3 - 5*s**2 + 3. Let n(c) = -6*f(c) - 17*w(c). Let y be n(-2). Which is bigger: y or 16?
y
Suppose 0 = 3*k - 0*o - 5*o - 14, 4*k - 3*o = 4. Which is bigger: 22 or k?
22
Let j = -0.01 + -11.99. Let d = j - -20. Let q = d - 10. Are -2 and q non-equal?
False
Suppose 5*s + 0*b - 270 = -2*b, -2*b - 108 = -2*s. Let h = -43 + s. Are h and 10 equal?
False
Let q be -4 + 5 - (-37 - 2). Which is smaller: q or 42?
q
Let j(h) = -9*h - 48. Let n be j(-5). Let u be (2/n - (-196)/42) + 31. Which is smaller: u or 36?
u
Suppose 0 = -2*k - 5*x + 16, 3*k = -5*x + x + 31. Suppose 17*j - k*j = 84. Is -3 at most j?
True
Let o be ((-528)/(-10))/3 - 21/35. Is 19 bigger than o?
True
Let r = -59 + 57. Let g = r + 2.27. Is -1 at least g?
False
Let s = -0.0148 - -0.0248. Which is bigger: s or -1?
s
Let y = 0.03 + -0.23. Let t = y + 0.7. Let z = 0 + 1/3. Which is smaller: z or t?
z
Suppose 0 = -5*j + 5*q - 10, 5*j - 13 = -2*q - 2. Let m = -150 + 8852/59. Which is smaller: m or j?
m
Let s be (50/(-30) - 8)*(-11 + -4). Is s smaller than -3?
False
Let y be ((-18)/(-10))/(8/(-40)). Suppose -4*s = -5*a + 36, -2*a + 7*a - 5*s = 40. Let z be (a - y/(-2))*2. Are z and -7/4 unequal?
True
Suppose -6*i + 8 = -2*i, -2*p - 4*i = -14. Is 11 <= p?
False
Suppose