21. Let y = p + d. Which is smaller: y or 2/5?
2/5
Let r be 5/(-20) - 34/(-8). Let d = 9 + 0. Let l = 8 - d. Is l greater than r?
False
Suppose -3*b - 164 = 5*u - 108, u - 5*b = 0. Let h = 34 + -14. Suppose 2*n + 2 + h = 0. Are n and u unequal?
True
Suppose -3*c = -6 - 0. Suppose -o - c + 4 = 0. Let k be 4/(-6)*(-12)/16. Is o less than or equal to k?
False
Let h be (-1137)/(7 + (-17)/2). Which is bigger: 759 or h?
759
Suppose 5*i - 19 = -l, 2*i = -2*i + 16. Let w be (-22)/(-957)*(23 - -1). Let b = w - 156/493. Is b greater than or equal to l?
True
Let o be ((-90)/(-6))/(3 - 4). Let k be 33/o - ((1 - 2) + 3). Which is smaller: k or -4?
k
Suppose 4*j - k - 80 = 0, 0 = -5*j + j - 5*k + 104. Suppose 5*p - p = -5*n + j, p = 2*n - 11. Let o = 311/240 - 55/48. Is p greater than o?
False
Let z = 553 - 563. Is -91/8 smaller than z?
True
Let g be -1*(7 - 4) - -312. Are g and 309 equal?
True
Let s be 28/(-105)*(-10)/4. Let t = -433 + 434. Which is smaller: t or s?
s
Let c be (-5 + -12 - -5)/((-3)/(-2)). Let n be c/(-14) - (268/28 - 4). Is -23/5 > n?
True
Let v = -1392 + 1310. Is 0.2 <= v?
False
Let t(k) = 13*k - 117. Let v be t(9). Which is smaller: v or 5/94?
v
Suppose 4*j - 4*q - 48 = 3*j, j - 2*q - 46 = 0. Let x be ((-6)/4 - -2)*j/2. Which is bigger: x or 13?
13
Let g = -32.92 - 4.12. Let f = g + 37. Is f not equal to -0.03?
True
Let t = 3025 - 892374/295. Is 1 bigger than t?
True
Let w(u) = -6*u**2 + 2*u + 3. Let x be w(-2). Let c = x - -25. Let k = 0 - 1. Are k and c equal?
False
Suppose -4*u - 12 - 16 = 0. Let k be 2/4 - u/(112/(-8)). Is k != 4/3?
True
Suppose -5*x + 44 = 3*s + 109, x - 3*s + 13 = 0. Let d = -13 - x. Let n be 19*(-3)/21 + 3. Which is smaller: d or n?
d
Let j = -18 - -24. Suppose 0*t = 4*i - 3*t + 11, i + t = j. Suppose -4*o + 3 = -1. Are i and o equal?
True
Let h = 316 + -313. Which is bigger: h or 73?
73
Let i = -0.08 + -7.92. Let r = -8 + 16. Let p = r + i. Which is smaller: p or -1?
-1
Let q = 0.15 - 0.04. Let y = -10.5 - -9.5. Do y and q have different values?
True
Suppose c - 7 = -4. Suppose -c*l + 7*l + 5*g - 25 = 0, -2*l - 5 = -g. Let z = 4.1 + -4.2. Is z greater than or equal to l?
False
Let a = -19.6 - 1.4. Let j = a - -18. Let w = -4 + 3. Are w and j equal?
False
Let w = -2.58 + 2.48. Which is bigger: 141 or w?
141
Let l be (-36)/(-7) - 4/28. Let r(p) = p**3 - 4*p**2 - 4*p - 4. Let m be r(l). Let o be 5/2*(m - -5). Is 16 at least as big as o?
True
Let v = -13 - -13.7. Let f = v - 4.7. Let w = f - -2. Is w > 7?
False
Let c = -16 + 9. Let i = 92 + -95. Let k be i/(3/(-15) + (-7)/(-10)). Which is bigger: c or k?
k
Let q = -275 - -288.3. Are -0.03 and q equal?
False
Let d = 0.0908 - -57.0092. Let b = 57 - d. Which is greater: b or 3?
3
Suppose 3*z + 3*z = -18. Let a be 17*4/16 + z. Let f = 2 - 0. Is a at least as big as f?
False
Let a = -77 + 130. Let s = a + -52.9. Which is smaller: 3.4 or s?
s
Suppose -2*m - d - 1 = -4*m, -5*m = -4*d + 2. Let x(s) = 3*s**2 - 15*s - 12. Let f be x(6). Let u be 10/20 - f/(-4). Is m > u?
False
Let i = -524163/416 - -1260. Which is smaller: i or 1?
i
Suppose 0 = 4*v - 9 - 11. Suppose -2*y - 1 - v = 0. Which is smaller: -24/11 or y?
y
Let b = -19 - -25. Suppose 0*o - 5*o + 55 = 0. Let h = -5 + o. Is h less than b?
False
Let k = 16 + -21. Let t = 6.7 + k. Let n = t + -0.7. Which is greater: n or 10?
10
Suppose -79 - 31 = -5*q. Let z be q/165 + 82/60. Is z > 1?
True
Let q(o) = o + 15. Let h be q(-15). Let x be 6/(-15)*(5 - (-25)/(-6)). Do h and x have the same value?
False
Let n = 56/15 + -512/105. Do -0.1 and n have different values?
True
Suppose -l - 3*l = 5*c - 7050, 0 = -5*c - 3*l + 7045. Is 1405 at least c?
False
Suppose 5*c - 17 - 3 = 0. Suppose -3*k + 5*k + 6 = 3*n, 9 = c*n - 3*k. Let j = 33 + -166/5. Which is smaller: j or n?
j
Let d = -250 + 239. Suppose 3*u - 2*u = k - 11, -5*u + 3*k - 59 = 0. Is u bigger than d?
False
Let d be 43/(1*3/(-12)*-4). Which is smaller: d or 44?
d
Suppose 5*k - 16 = 9. Suppose 20 = 4*w - k*a + 6, 5*w - 3*a = 11. Does w = 4/9?
False
Let x = -5 + 9. Suppose 2*h - 13 = -j - 3*h, x*j + 2*h + 2 = 0. Let a = 2 - 3. Which is bigger: j or a?
a
Suppose 39*i - 5 = 34*i. Which is smaller: -2/77 or i?
-2/77
Let f be (-34)/(-10) - 16/40. Let g = -3 + f. Suppose g = 18*u - 15*u + 3. Is u at least as big as -4/21?
False
Let q be (-6)/9 + (-1)/(-2). Let y = -1 + -13. Let d be (-4)/y - 48/70. Is d not equal to q?
True
Suppose q = 2, 0 = 2*f - 4*q + 2 + 8. Let l = 4 + 8. Let t be -1 + l/26 + 1. Which is greater: f or t?
t
Suppose 6*h - 38 = -44. Which is smaller: h or -1/501?
h
Let y = 766 - 768. Which is smaller: 164 or y?
y
Let y = 44 + -19. Let k = 30 - y. Suppose 7 = -2*r + k. Is 0 less than r?
False
Let k(o) = -o**2 + 3*o + 4. Let v be k(4). Suppose -y = -v*y - 3. Let r be (-96)/(-42) - 2*5/35. Are r and y non-equal?
True
Let s be 2*2*(-1)/(-68). Suppose 257 = 5*v - 6*j + 2*j, 0 = 5*v + 3*j - 236. Let g = 48 - v. Is s greater than g?
True
Let u = 0.11 - -0.49. Let x = -0.6 + u. Let f = -1 + x. Which is greater: f or -2/13?
-2/13
Let p = -121/2 - -60. Which is greater: 8 or p?
8
Suppose -4*h - 5*k + 699 = 0, 729 = 8*h - 4*h - k. Which is smaller: h or 182?
h
Let t = -33 + 61. Let k be 0 - 0 - (1 - 0 - 27). Is t > k?
True
Let r = -11612/27 - -430. Is r >= 1?
False
Suppose 0 = -10*x + 39*x + 464. Which is smaller: x or -21?
-21
Suppose -2*z + 0*z = -4. Suppose 4*h - 3*h = g - 5, z*g + h - 7 = 0. Suppose -d - r + 8 = -g*d, 0 = 2*d - 4*r - 8. Which is smaller: d or -6?
-6
Let h = 187 - 102. Let p = -79.9 + h. Let s = p - 5. Is -4 at most s?
True
Let w be 303/(-27) - (-8)/36. Do -7/5 and w have the same value?
False
Let b(f) be the first derivative of -f**3/3 + 5*f**2/2 + 14*f - 2. Let s be b(7). Which is bigger: -1/63 or s?
s
Suppose -5*h - 2*p = -0*p - 182, -4*p - 68 = -2*h. Are h and 456/13 equal?
False
Let w be 12/18 - 3/((-45)/(-340)). Is w > -20?
False
Suppose -2*r + 57 = -83. Suppose 28 = 2*s + b, r = 5*s + b - 3*b. Let w be (-12)/14*s/(-22). Which is greater: w or 2?
2
Suppose -4*a + 9 - 3 = 2*i, 5*a + 5*i - 15 = 0. Suppose a = 23*x - 24*x - 6. Is -5 less than or equal to x?
False
Suppose 0*p + 2*p - 2 = 0. Suppose -15*h + 107 + 28 = 0. Let r be 1/1 + -5*h/39. Which is smaller: r or p?
r
Let z = 0.9 - 1.07. Let f = -115.75 + 115. Let k = -0.75 - f. Is k bigger than z?
True
Let c = 0.6 + -1.7. Let a = 1 + c. Which is bigger: a or -7?
a
Let f = 66.854 - -0.146. Let r = 67 - f. Is 1/2 < r?
False
Let f = 146 - 124. Let i = -24 + f. Which is smaller: 0 or i?
i
Suppose -58 - 227 = 3*m. Which is bigger: -96 or m?
m
Let u = -20/9 - 907/90. Is -11 < u?
False
Suppose -4*b = -5*a - 31, -3*b + a + 3*a = -24. Let l be b + (-5)/((-75)/(-48)). Is 2/7 greater than or equal to l?
False
Let y = -816 - -815.93. Is y at least as big as 47?
False
Let r = 2.083 - -0.017. Let y = 2.1 - r. Which is bigger: y or -28?
y
Suppose -1976 = 3*b - 5*f, 3*b + 4*f - 985 = -2925. Which is smaller: b or -654?
-654
Suppose 5*w + 2*g = 6, -g + 4 = -4*w + 14. Suppose -5 = w*l - 3. Let u = 509/13 - 39. Which is greater: u or l?
u
Let j(d) = 7*d + 1. Let w be j(-1). Let f(b) = b**2 + 10*b - 4. Suppose 2*c + 30 = -c. Let m be f(c). Is m at least as big as w?
True
Let h = 66825/43 + -1554. Are h and -1 equal?
False
Let v(s) = -s**2 + 17. Let n be v(4). Let h be -59 + (3/3)/n. Which is smaller: -59 or h?
-59
Suppose -h = -2*h - 4. Let b = h + 7. Let r be (-1)/b - 92/(-132). Which is greater: r or -1?
r
Let r(b) = 2*b - 25. Let i be r(15). Suppose 0 = -0*a + 3*a - i*u + 58, a + 31 = 4*u. Is a less than -12?
False
Let j be 28/8 - 2/4. Suppose f - 7 = -o + 2, 4*o - 24 = -f. Let v be (f/j)/(286/33). Which is smaller: 0 or v?
0
Let a = -319.7 - -334. Let q = -10.3 + a. Which is greater: q or 0?
q
Suppose -2*j + 5*j = -162. Let q be 39/2*(-7)/j. Let y = -1/36 + q. Is y equal to 4?
False
Suppose 2*z + 10 = 7*z. Suppose 70 = 4*h + z. Which is greater: 18 or h?
18
Let y = 92.886 - -0.114. Let w = -75 + y. Is 2/7 != w?
True
Let a(x) = -x**3 - 5*x**2 - x - 6. Let w be a(-5). Let d be -3 + (-6 - 183/(-21)). Is w <= d?
True
Let g(h) = -5*h**3 - h**2. Let t be g(-1). Let j be 130/24 + -7 - (-1)/t. Is j not equal to -1/3?
True
Let v = 3 - 3.06. Let b(a) = -10*a**2 + 5*a + 40. Let u(k) = -7*k**2 + 3*k + 27. Let j(m) = 5*b(m)