16. Let x(l) = l**3 - 3*l**2 - 10*l + 5. Let c be x(5). Let s be b(c). Which is bigger: s or a?
a
Let n = -19 - -23. Suppose -n - 8 = -4*z. Suppose -2*h = -3*c - 7, 4*c + 10 = z*h - 1. Is 1/17 < c?
True
Let s(d) be the first derivative of -d**4/4 - 5*d**3/3 + 3*d**2 + 8*d - 1. Let i be s(-6). Let a be (-22)/i - 6/(-8). Which is bigger: a or -3/5?
-3/5
Let v = 6968/8325 + -21/25. Which is smaller: v or 0?
v
Let x = -0.18 - -15.18. Which is bigger: -3 or x?
x
Let u = 24379/29190 + 16/2085. Let j = -9/14 + u. Let k(h) = h - 1. Let b be k(-4). Which is smaller: b or j?
b
Suppose 2*d + 22 = 4*y - 3*y, y = 5*d + 34. Is 24 != y?
True
Suppose w - f + 183 = 0, 13*w - 3*f + 363 = 11*w. Which is smaller: w or -187?
-187
Let f = -7 + -43. Is f at least as big as -50?
True
Suppose -11*r - 3*s + 2 = -7*r, -4*r + 6 = s. Is r at most as big as -5?
False
Suppose b + o + 60 = 4*b, -5*b + 80 = 5*o. Suppose -z = -5*m + b, 2*m - 37 = -2*z - 3*m. Which is greater: z or 4?
z
Suppose 2*h - 3 = -3*a, -3*a - 3 = -4*h - 6*a. Let f = -3 - -3. Is h greater than f?
False
Let g(p) = p**2 - 12*p - 3. Let l(y) = y**2 + y + 1. Let h(z) = -g(z) + 2*l(z). Let m be 7*(-2)/8*8. Let i be h(m). Is 3 >= i?
False
Let w = -45217906829/199228623 + -2/3495239. Let t = w + 227. Suppose 5*g - 15 = -0*z - 5*z, -3*z + 9 = g. Which is smaller: g or t?
g
Let n be ((-15)/(-100))/(-1 + (-28)/(-64)). Which is greater: n or 1/6?
1/6
Let s be (2*(-1 + 2))/((-50)/525). Let m(a) = 21*a + 1. Let b be m(-1). Which is smaller: b or s?
s
Let n(o) = -5*o + 2. Let z be n(0). Suppose 2*v + 2*v - 20 = -2*r, -z*r + 65 = -5*v. Is r smaller than 18?
False
Let k = 1.685 + -1.684. Which is smaller: 0.1 or k?
k
Suppose -k + 23*k - 88 = 0. Suppose -4*n = k*n + 3*n. Let d = -86/11 + 92/11. Which is bigger: n or d?
d
Let w be 5*(3 - 2) - 0. Suppose -w*m - 9 = -2*f, 18 = f - 2*f - 5*m. Let r = -39 - -40. Is r at most as big as f?
False
Let b = 120 + -119. Is b at least 2?
False
Let q be ((-54)/8)/(12/64). Let u = q - -16. Let k be (-13)/(-26) - 54/u. Which is smaller: 4 or k?
k
Suppose 0 = -9*u + 5 + 67. Suppose 0 = -u*k + 5*k. Let o be 4/23*2/(-4). Is k greater than or equal to o?
True
Let m = 24 - 22.2. Let o = 5/17 + -27/34. Which is smaller: o or m?
o
Suppose -3*r + 21*h - 18*h = -516, r = -4*h + 192. Which is smaller: r or 175?
175
Let l(r) = -10 + 2*r + 6*r**2 - 4*r**2 - 3*r**2 + r**3 - 5*r**2. Let h be l(5). Which is greater: h or -26?
h
Let k = -5501/63609 - 1/699. Let u = -119703887/1729 - -69233. Let d = k + u. Are d and -1 equal?
False
Let v be 3*1 + (0 - -6). Let n = -1 - v. Let i = n + 10. Is i not equal to -1/3?
True
Let k(p) = -p - 13. Let a be k(9). Let i(l) = -l**2 - 14*l - 19. Let d be i(-12). Suppose d*y - 6*y = 22. Is a bigger than y?
False
Let s(l) = 2*l - 37. Let v be s(23). Is 85/11 at most v?
True
Let i = -2/7325 + -58286/1150025. Do i and -1 have the same value?
False
Let v be ((-7 - -9)*1)/(4/(-690)). Are -345 and v nonequal?
False
Suppose 6*u = 54 + 72. Let w be 6/u + 375/(-63). Which is smaller: -6 or w?
-6
Suppose -87*h - 2 = -85*h. Let g be (3/(-90))/((-12)/(-54)). Which is bigger: g or h?
g
Suppose 5*c + f = 0, -26 = 5*f - 51. Let g be (2/8)/((-78)/67). Let m = 7/24 + g. Which is greater: m or c?
m
Let k = -4.55 + 4.297. Let j = k + 0.26. Which is bigger: 1 or j?
1
Let b be 3/2*-16 + 2. Let w be 0 - 2*-3 - (-952)/(-34). Is w smaller than b?
False
Let f = 12 - 6. Let t = f - 12. Let y = t - -1. Is y smaller than -1?
True
Let t(i) = i**3 + 27*i**2 - 26*i + 38. Let o be t(-28). Which is smaller: o or -23?
-23
Let f(h) = 13*h**2 + 7*h - 10. Let s be f(5). Let i be 1/3 + s/(-15). Let g be (1/2)/(1/(-46)). Are i and g non-equal?
False
Let u(l) = 13715*l + 2. Let i be u(-3). Let z = -3085673/75 - i. Let t = -2/75 + z. Do t and -6 have the same value?
False
Suppose 0 = 39*s - 45*s. Which is smaller: 149 or s?
s
Suppose 2*i - 10 = 0, -3*b + 2*i - 22 = 3*i. Which is greater: 0.4 or b?
0.4
Let a(v) = v**3 - 4*v**2 - 6*v + 2. Let k(i) = -i**2 - i + 1. Let n(l) = a(l) - 4*k(l). Let d be n(-1). Is d at least as big as 1/7?
False
Let h = 1861 - 20499/11. Suppose -2*i = 3 + 1. Is i != h?
True
Let w = -12019/19000 + 1/1000. Which is smaller: w or 0?
w
Let p = 14.92 + -15. Let v = 7.92 - p. Let y = v - 7. Is y smaller than 0.01?
False
Let m be (-215)/3795 - 12/(-138). Which is bigger: -1 or m?
m
Let o = 471 + -641. Is 1 less than o?
False
Let r(f) = f**2 - 26*f - 34. Let s be r(28). Is 4/7 equal to s?
False
Let d be 52/5*10/4. Suppose 2*x - 3*k = d, 0 = -3*x - 3*k + 1 + 8. Is x <= 6?
False
Suppose 25*y - 1104 = -79. Let a be (-492)/18*3/(-2). Are y and a unequal?
False
Let p = -28 + 18. Let q = 10 + p. Do 1/84 and q have different values?
True
Let s = 830 + -5765/7. Is s at most as big as -0.4?
False
Let b be -99*(-1 + 2)/(-1). Suppose -3*i - 185 = -4*k, -4*i = -k + 152 + b. Let l = i - -42. Which is smaller: l or -20?
l
Let z be (-2)/6 - 19558/(-21). Are z and 932 equal?
False
Let n(q) = q**3 - 11*q**2 + 5*q + 38. Let f be n(10). Which is greater: f or -13?
f
Suppose -468 - 176 = 7*o. Which is bigger: -91 or o?
-91
Let f = -1957 + 1956. Is 2/11 at most f?
False
Suppose 0*p = -8*p + 384. Which is bigger: -2/7 or p?
p
Let w be 7 + -5 + 0 + -1. Let k be (4/6)/(3/(-9)). Let o be 1 + 14*k/(-20). Which is smaller: o or w?
w
Let f = -25 + 34. Suppose -f*g + 4*g = -5. Is g smaller than -3?
False
Suppose 2*i - 1512 = -25*i. Which is greater: i or 221/4?
i
Let y(u) = -u**3 - 5*u**2 - u + 2. Let o be y(-5). Suppose 2*d - 20 = -4*c, 2*d - 18 + 2 = -3*c. Which is smaller: c or o?
c
Let q be -8 + (-2)/1*1. Suppose -r = -3*r + 86. Suppose 6*p - p = -2*z + 7, -2*z = -5*p + r. Which is smaller: q or z?
q
Let x = -43 + 30. Let h(l) = l**3 + 14*l**2 + 14*l + 18. Let o be h(x). Suppose -6 = d - o. Which is smaller: d or -8/7?
-8/7
Let n be ((-9)/1)/((-187)/(-561)). Let f be 2 - (24 - (1 + -3)). Is f at least n?
True
Suppose -62 = 5*f + 11*w - 14*w, 2*w = -5*f - 42. Is -5 < f?
False
Let r be (-20)/3*51/(-34). Suppose -r + 2 = 8*g. Which is bigger: 4/17 or g?
4/17
Suppose -3*q + 0 = g - 1, 5*q - 3*g + 17 = 0. Let o be (-4)/3*3*q. Suppose -9 = -o*i + 11. Which is bigger: 4 or i?
i
Suppose 16 - 4 = 3*r. Suppose -2*g - f = g - 15, 3*f = -g + 5. Which is bigger: g or r?
g
Suppose 9*j - 10*j - 141 = 0. Is j < -142?
False
Let j(r) = 2*r + 13. Let q be j(-6). Suppose -2*t + 2 = 5*h + 3, 0 = -4*h - t + q. Let y = 549/7 - 78. Which is smaller: y or h?
y
Suppose -n = -4*q + 4, -n - 4*q + 1 + 3 = 0. Let o be 1 + n + 9/(-7). Let v = 644.3 + -644. Which is greater: o or v?
v
Suppose -3*o + 56 = -559. Is 205 < o?
False
Let b = -114 + 117. Suppose -4*q = -z + 31, z + 0 = -3*q - 4. Suppose z = h + b. Is 8 >= h?
True
Suppose 5*m - 90 = p + 15, 5*p - 63 = -3*m. Which is greater: 127/6 or m?
127/6
Let x = -68.33 + 68. Let a = x - -4.33. Is a > 0?
True
Let o be -3 - (3 + -4) - -21. Suppose -2*a + 2*l = -6, -l - o = 2*a + 2*l. Is -6/5 != a?
True
Let w be 5/385*(-16)/(-16). Is w >= 1/3?
False
Let w = -20.7935 - 0.2965. Let j = 21 + w. Which is smaller: 0.2 or j?
j
Suppose 0 = -3*w + 19 + 83. Suppose u = -4*g - u - w, -70 = 5*g - 3*u. Is -10 <= g?
False
Let g = -170.4 - -170.5. Let u = -27 + 30.9. Let l = 0.1 + u. Which is smaller: g or l?
g
Let z = -1328 + 1328. Suppose 4*i + 1 = -7. Let l be 1/i - 3/(-24). Which is smaller: z or l?
l
Let w be (-2)/(5/10 + (-2)/20). Suppose -b = b - 10. Let a = b + w. Are a and -6/13 non-equal?
True
Let y = 31.9 - 32. Which is greater: y or -5/8?
y
Suppose -7*h + 6*h - 4*g = -2335, -3*h - g = -7060. Let w = h - 11824/5. Is w <= -9?
True
Let f be (-158)/18 + (82 - 73). Is -2 less than f?
True
Let w(o) = 11*o**3 - 1 + 0*o**2 - 2*o - o**2 + 0. Let q be w(-1). Let j = 14 + q. Which is smaller: 1 or j?
1
Suppose 3*y - 3*v = -6*v + 3, 5*y = -v + 17. Is y equal to 2.2?
False
Let a = 451 + -452. Which is bigger: 1302 or a?
1302
Let j(i) = i**3 - 3*i**2 - 5*i + 9. Let q be j(4). Suppose 8 + 2 = q*a. Does a = 3?
False
Suppose -6*o + 513 = 33. Let p = o + -81. Is p at least as big as 4/49?
False
Suppose 0 = -5*t + 3*w - 440, 5*t + 150 = 3*t - 4*w. Which is bigger: t or -88?
t
Let r(z) = -106*z**3 + 1. Let f be r(1). Let p = 13963/287 + 2322/41. Let q = p + f. Which is smaller: 0 or q?
0
Let t = -407 + 407. Does t = 2/37