be (3 + -1)*19/2. Let b(g) = g**2 - 24*g + 84. Let v be b(20). Suppose -f - v = -23. Is i at least f?
True
Let b be (-8)/20 - (-25928)/(-230). Let c = 113 + b. Is -1 > c?
False
Let b(a) = 5*a**3 + a**2 + a - 1. Suppose -5*z - 7 = -3*h, h - 19 = z - 4*h. Let x be b(z). Let d = 4 - x. Is d smaller than -2?
False
Suppose k = i - 20, 2*i + 20 = -k + i. Let f = k + 17. Which is bigger: -42/11 or f?
f
Let c = -14 - 11. Suppose 0 = 2*w + 4*p + 60, -4*w + 3*p = 43 + 44. Is c at most w?
True
Let y = 27/13 - 202/91. Let r be 10/(-6) + 6/9. Is r at most y?
True
Let a = -0.032 + -22.968. Let u = -21.935 - 0.065. Let q = a - u. Do 0.2 and q have the same value?
False
Let i be (-6)/(-4) - 2755/874. Which is smaller: -3 or i?
-3
Suppose -5*g + 4*b = -5116, 5*g = 5*b + 6634 - 1514. Is 1021 greater than g?
True
Let x be 2/((0 + -1)*2). Suppose 6*s = 2*s - 32. Let w be ((-1)/(-2))/(60/s). Which is bigger: w or x?
w
Let j = 3 - -32. Let x = -33 + j. Which is smaller: x or 10?
x
Let k be 140/(-21)*1/24. Let h = -2/9 + k. Let f be (0 - (-1 - 1)/(-2)) + 0. Which is smaller: h or f?
f
Let a be -4 + 0 + 132/34. Suppose 4*k + 15 = -5*w, 4*w + 2*k = -3 - 3. Which is bigger: a or w?
w
Suppose 2*t = 4*o + 21 - 85, -2*t = 0. Suppose 0 = -3*j - 7 + o, -5*q - 307 = -4*j. Is q < -59?
False
Let a = 2 + -2.2. Suppose 2*i + 58 = z + 52, -2*i = 10. Which is greater: z or a?
a
Let b = -140 - -243. Suppose -98*l = -b*l + 100. Is l bigger than 19?
True
Suppose 0 = -3*f - 4*f - 105. Let j = f - -61/4. Which is smaller: -0.007 or j?
-0.007
Let u = 4.24 - 4. Let w = u + -0.32. Is w greater than 1/2?
False
Let n = -0.22 - -0.26. Let m = -2.83 + 0.87. Let s = n - m. Which is smaller: -0.2 or s?
-0.2
Suppose y - 20 = -0*y. Let a be 16/(-66) + y/110. Is a smaller than 1?
True
Let w be (-2)/4*0/2. Let j = -71/5 - -57/4. Which is smaller: j or w?
w
Suppose 3*p + 4*y - 12 = 0, -p + 4*y - 12 = 2*p. Suppose 5*h = -3*z + 25, p = 3*z + 13 + 2. Suppose o + h - 6 = 0. Which is smaller: -3/4 or o?
o
Let h be 1/3*(2 + 4). Suppose 7*l - h*l = 5. Let a be 2/4 + 92/(-168). Are l and a unequal?
True
Let m be ((-9)/(-2))/((-6)/8). Let b be 6/18 + (-40)/m. Let p = b + -6. Is -6/13 greater than or equal to p?
False
Let w = -14 + 24. Let k be ((-1)/w)/(-3 + 505/175). Which is smaller: 0 or k?
0
Let l(f) be the second derivative of 9*f**5/20 - f**4/12 - f**3/6 + 4*f. Let p(c) = -c + 10. Let x be p(11). Let i be l(x). Which is smaller: -15/2 or i?
i
Let t(d) = -3*d**2 + d - 26. Let j be t(3). Is j < -18?
True
Let c(l) = -14*l**3 + 57*l**2 - 3*l + 2. Let u be c(4). Is 8 at most as big as u?
False
Suppose -13 = -2*n + n + 2*p, -n + 18 = -p. Let a = n + -32. Which is smaller: a or -10?
-10
Let s = 8 - 3. Suppose -s*w = -12 + 17. Which is smaller: 1 or w?
w
Let u = 15/514 + -94621/1542. Let k = 62 + u. Let j be (-1)/2*40/30. Which is smaller: j or k?
j
Let p be -7 + (23840/1176 - 13). Is p bigger than -1?
True
Let o(x) = -5*x - 80. Let q be o(-4). Which is greater: q or 1/10?
1/10
Let c = 3762 - 387494/103. Is 0 smaller than c?
False
Suppose -8*q = -7*q. Let w be 3 + q + -3 + (3 - 1). Is w smaller than 2?
False
Suppose -101*q - 420 = -108*q. Is 65 > q?
True
Suppose 3*c + k + 1544 = 4*c, 4*k = -5*c + 7756. Let j = -6147/4 + c. Which is bigger: 12 or j?
12
Let q be 2/3 + 584/24. Suppose q = 5*t - 2*a - 2*a, 3*a + 19 = 4*t. Which is bigger: 2/13 or t?
t
Let u(q) = q**3 + 9*q**2 + 5*q - 27. Let w be u(-8). Let x = -1.03 - -0.03. Is x > w?
True
Let b = -0.2 + 0.2. Let w = -194.2 + 192.2. Which is bigger: b or w?
b
Suppose 2*s + 12 = 7*s - 4*d, 0 = -3*s - 4*d - 12. Suppose -3*z - 2*x + 7*x - 61 = s, -73 = 3*z - 2*x. Is z at most as big as -27?
True
Let x = -574 - -1174. Which is greater: x or 601?
601
Let g(z) = 2*z**3 + 8*z**2 - 2*z - 8. Let h be g(-4). Is h not equal to 0.057?
True
Let n = 963 + -42375/44. Suppose -a + 10*a + 9 = 0. Is a >= n?
False
Let i be 265/(-55) + 2/(-11). Let g = 12 + i. Suppose g*l = 11*l. Which is bigger: l or -1/29?
l
Suppose 5*s + 2 = -a + 19, -1 = 4*a - 3*s. Let x(n) = -n + 3. Let i be x(6). Let r be (-4)/(-10)*(-20)/i. Is a smaller than r?
True
Suppose -4*f - 1 - 7 = 5*j, 5*f - 19 = j. Suppose -f*s - 2*s - 4*o + 25 = 0, 5*s - 2*o - 55 = 0. Let l = 2 + s. Is 11 equal to l?
True
Let i(f) = -f**3 - 2*f**2 - 5. Let r be i(-3). Suppose 5*y - 10 = 5*l, 2*y - 2 = 3*l + 5. Let v = 0 + y. Are v and r unequal?
True
Let n be (-6)/10 - 1/(-1). Which is greater: 0 or n?
n
Let y(w) = -2*w**3 + w**2 - w - 6. Let b(p) = -3*p**3 + 2*p**2 - 7. Let x(i) = 3*b(i) - 4*y(i). Let l be x(3). Which is greater: 7 or l?
7
Let f be (168/(-48))/((-1)/6). Let u = f + -15. Which is smaller: 7 or u?
u
Let b = 87 - 51. Let n be ((-9)/b)/(-2 - 1). Let k(d) = d + 7. Let m be k(-7). Which is bigger: n or m?
n
Suppose 0 = -5*g - 3*v - 84, 5*v = 2*g - 0*v + 15. Which is smaller: g or -1/2?
g
Let s(h) = 2*h + 8. Let d be s(-6). Let t(b) = b**3 + 16*b**2 + 16*b + 11. Let l be t(-15). Is d > l?
False
Let l = 1634 - 1653. Which is greater: l or -11?
-11
Suppose -4*l = -3*u + 164, 0 = 4*l - 9*u + 5*u + 168. Which is smaller: l or 1?
l
Suppose 6*s = 73 + 23. Which is smaller: s or -0.1?
-0.1
Suppose -5*y - 110 = -0*y. Let i = 22 + y. Suppose 3*p - 3 - 3 = i. Is 0 less than p?
True
Let c(l) = -22*l. Let z be c(1). Let f be z/(-36)*-2 - -1. Let k(q) = -q**3 + 6*q**2 - 5*q - 1. Let r be k(5). Which is greater: r or f?
f
Let i = 331/16 - 51211/2576. Let w = i + -12/23. Let y = -3 - -2.5. Does w = y?
False
Suppose 3*o = -3*w - 4 - 29, -3*w + 2*o = 38. Let z(i) = -i**2 - 7*i + 62. Let r be z(w). Let t be ((-1)/(-4))/((-3)/(-8)). Is r > t?
True
Let p be (-16)/(-7 + 3) - -3. Let r = -6 + p. Is r smaller than 2/15?
False
Let t = 0 - -5. Let y(c) = 28*c + 2 - 27*c - 7. Let p be y(t). Which is smaller: p or 1?
p
Let n = 9.6 + -7.64. Let r = 37 + -37.04. Let l = n - r. Which is smaller: l or -6?
-6
Let x(o) = o**3 + o**2 - o + 9. Let b be x(0). Let m(y) = 5*y**2 + 1. Let q be m(1). Let p = b - q. Which is smaller: -1/5 or p?
-1/5
Let j = -130779.003 - -130661. Let s = j - -118. Is 0.2 at least as big as s?
True
Suppose -i - f + 11 = 2, 2*i + 5*f = 18. Let v(n) = -2*n + 12. Let z be v(i). Let w be (3/z)/((-2)/12). Which is smaller: 1 or w?
1
Let u = -21.66 - -23. Let x = u + -0.94. Is x not equal to 10?
True
Let i = 181427/9 + -20139. Which is bigger: 0.1 or i?
i
Let r be ((-3)/(-1) - 1) + 26/13. Let q be 2/(-3)*(-45)/10. Let v be (-1)/(q + (-19)/6). Is r <= v?
True
Suppose 141*j - 119*j + 14366 = 0. Is j greater than or equal to -653?
True
Suppose -4*u + 4 = -j + 1, 0 = -3*u + 2*j + 6. Let t = -2/221 - -448/663. Which is smaller: u or t?
u
Let v be 2 - -1 - (8 + -11). Let l be ((-6)/5)/(v/(-100)). Let q be 6/(-10) - (-52)/l. Is q >= 5/7?
True
Let j = 11 + -17. Let t = 6707 - 6709. Which is smaller: t or j?
j
Let c(m) be the second derivative of m**5/20 - m**4/4 - 5*m**3/6 + 2*m**2 + 4*m. Let j be c(4). Let z be (-3)/(-2)*2 - -1. Are z and j nonequal?
True
Let d = -33460097/2627 + 12737. Which is smaller: 1 or d?
d
Suppose -4*p - 3*d + 12 = -p, -5*p - 2*d = -11. Let b be 230/(-4)*(-4)/360 + 15/(-20). Which is bigger: p or b?
p
Let y = -1093/560 + 23/16. Which is bigger: -2 or y?
y
Let z = -1046 + 1050. Is z < 5?
True
Suppose 0*h + 3*c = -3*h + 33, -2*h + 26 = -2*c. Let o be (-10)/h*(-18)/135. Do -1 and o have the same value?
False
Let i = -1 - 0. Let k(c) = c**3 + 3*c**2 - 3*c + 8. Let m be k(-4). Suppose 4*r - 4*x = 0, 2*x = -m*r - 2*x + 8. Which is smaller: r or i?
i
Let b be 40 - (0/(-3) - 2). Let n = b + -8. Is 36 less than n?
False
Let q be (1/(-4))/(25/(-8) - -3). Let u be 11/14*-2 + -1 + q. Is u greater than -1/3?
False
Suppose -2 = -4*r + 6. Suppose 10 = r*d - 5*l - 37, 4*d - 3*l - 87 = 0. Let c = -122 - -142. Which is smaller: c or d?
c
Let h be (-6)/((-1)/(6/(-9))). Let g(v) = v**3 + v. Let p(j) = -2*j**2 - 5*j + 3. Let w(t) = -2*g(t) - p(t). Let n be w(2). Which is smaller: h or n?
n
Let h = 5 + 1. Let k = -6 + h. Let w = 0.3 + -0.1. Is w greater than or equal to k?
True
Let w = 1757/13 + -135. Let i(y) = y**3 - 3*y**2 - 3*y - 5. Let z be i(4). Is z <= w?
True
Suppose 0*s = s + 6. Let v be (-31)/14 - s/(-21). Suppose 8*z = 4*z - 2*i - 26, 4*z = 2*i - 6. Are v and z unequal?
True
Suppose -23*m + 288 + 402 = 0. Is m at most 27?
F