20. Let c = 3/1526 - 1559/16786. Which is greater: w or c?
w
Let h be 718/(-6) + (-28)/(-42). Let c be 15/35 - (-65)/h. Is c <= -3/5?
False
Let r = 0.0585 - -1.1415. Which is bigger: 0.37 or r?
r
Let v = 59 - 92. Is v at most as big as -1?
True
Let j = -2233 - -1978. Are j and 0.2 equal?
False
Suppose 13 = -3*q + 5*d + 41, 0 = -2*q - 2*d + 40. Suppose -q = -3*k - 4. Suppose 5*u = 4*u + 5. Is k >= u?
False
Let y = -187/126732 - -5/708. Is 1/3 at most y?
False
Let w(i) = i**3 + 22*i**2 + 5*i + 18. Let q be w(-22). Which is bigger: -278/3 or q?
q
Let i(y) = -y**3 - 24*y**2 + 23*y - 17. Let z be i(-25). Suppose 2 + z = 5*s. Is 7 < s?
False
Let n = -316 - -62. Which is greater: n or -255?
n
Let c(w) be the first derivative of -w**3/3 - 5*w**2/2 + 7*w + 6. Let t be c(-6). Let a be (6/26)/((-12)/8). Which is smaller: t or a?
a
Suppose 12 = 4*z - 0. Let m be 4/14 - 1*88/(-35). Is z at most as big as m?
False
Suppose 6 = -4*w + 10. Let l be (3 + -2 + 4)*w. Which is bigger: 3 or l?
l
Suppose -30 = 5*r - 4*i, 4*i - 14 = 4*r + 14. Let k(b) = b**2 + b + 1. Let y be k(-2). Are y and r non-equal?
True
Let d = 26/11 - 159/44. Suppose 0 = 2*r - r - 3. Suppose r*i = l - 0*l - 1, 2*i + 3*l = -8. Which is greater: d or i?
i
Suppose 0 = 18*s + 109 - 541. Is 20 at most as big as s?
True
Let y be (-4)/(-14) - (-52)/14 - -55. Suppose 0 = -3*z - 5*j + 3 + 34, -y = -4*z + 3*j. Which is smaller: 13 or z?
13
Let t = 71 + -143/2. Let k(a) be the second derivative of a**4/12 - a**3/2 - 2*a**2 - 2*a. Let i be k(4). Which is bigger: i or t?
i
Suppose s = 4*d - 60, -4*s + 3*d = -2*s + 145. Which is smaller: s or -81?
-81
Let y = 172 + -172. Let j be (-2)/8 - 18/(-8). Are j and y equal?
False
Let f(z) = -z**3 + 10*z**2 + 13*z - 3. Let n be f(11). Suppose a = -0*a - n. Which is smaller: a or 0?
a
Let f be (45/30)/((-6)/(-20)). Let g be ((-6)/15)/((-4)/10). Let l be (99/(-27))/(g + -2). Is f less than or equal to l?
False
Let j = -31 - -8. Let r = 23.153 + 0.147. Let k = r + j. Is 6 < k?
False
Suppose 25*z = 30*z. Is -13/24 at least as big as z?
False
Suppose 2*x + 263 = 3*h, h + 4*x = -3*h + 364. Let r = h + -803/9. Is 1 greater than or equal to r?
True
Suppose 2 = -2*q, q + 4*q + 4 = -v. Suppose 4 = -2*a - 2. Let z be (-52)/(-48) - a/(-9). Which is smaller: v or z?
z
Let h be -1*(8729/(-87) - 1/(-3)). Is h greater than 100?
False
Let w = 154.2 - 28.2. Let a = w + -176. Which is greater: a or -1?
-1
Let t be -3 + (5 - 4 - -5). Let v be ((-1)/t)/((-28)/12). Let h be 0*(-4)/8*1. Which is bigger: v or h?
v
Let r(b) = -8*b - 2. Suppose 2*z + 174 = 170. Let a be r(z). Which is smaller: 2 or a?
2
Suppose -70 + 7 = -5*k + 2*g, 5*g = 5*k - 60. Which is smaller: 11 or k?
11
Let r = 152 - 127. Is -0.06 less than r?
True
Let f = -12.7 - -12.76. Let c = f - 0.04. Which is smaller: 0.2 or c?
c
Let p = -344 + 3100/9. Suppose j - 4 = -3. Which is smaller: j or p?
p
Let y = 686 + -685. Suppose -4*j = -2*j. Let x be (j - -1)/(10/(-4)). Which is smaller: y or x?
x
Suppose 3*k + 3*t + 18 = 0, 4*t - 8*t + 24 = -2*k. Let q(i) = i + 8 + i - i. Let d be q(k). Which is smaller: 1/25 or d?
d
Let h be 10/6 - (-1)/3. Let w be 33/62 + (-3)/(-12). Let u = -1/31 + w. Is u greater than h?
False
Let v = 620/53 + -674046/57611. Which is bigger: -1 or v?
v
Let i = -30200 - -391691/13. Let a = -70 - i. Let b be 2/8 + 2/(-8). Is b < a?
False
Let h be 95/3 - (-4)/(-6). Suppose 139 = 13*m - 277. Is m > h?
True
Let x = -21 - -131. Let m = x + -123. Which is smaller: -9 or m?
m
Let b = 167/135 + -1/27. Let h(m) = -m**3 + m**2 - m + 2. Let l be h(0). Which is smaller: l or b?
b
Suppose -18*d - 29 = 43. Is 40 less than d?
False
Let f = -446/35 - -85/7. Which is smaller: f or -3?
-3
Let v(y) = -y**3 + 3*y**2 + 2*y. Let p be v(3). Suppose -7*z = -p*z + 3. Let t be z/((12/(-58))/2). Do t and 30 have the same value?
False
Suppose 3*m + h + 37 = -3*h, 5*h - 25 = m. Which is greater: m or -164/11?
-164/11
Let h = -55 - -54.56. Let i = h - -0.74. Is 1/2 greater than or equal to i?
True
Let w be 642/(-330) + 30/55. Let k = -0.035 - 0.005. Are w and k nonequal?
True
Let d(n) = n**2. Let r be d(-1). Let l = -103 + 92. Let x be (1/(-9))/(l - -12). Is x at least r?
False
Let j = 0.0048 - 247.0048. Is j > -0.1?
False
Suppose -25 = 115*u - 120*u. Let a(t) = -t**3 + 5*t**2 - 2*t. Let n be a(4). Suppose -4*j - 3*v = n, 2*v = 2*j - 6*j - 4. Which is smaller: j or u?
j
Let k(v) = -v**3 + 19*v**2 - 34*v + 4. Let w be k(17). Suppose -w*a = 4*d - 4, -2*d - a - 4*a + 2 = 0. Which is greater: d or 1/38?
d
Suppose -37*j = -57*j - 440. Is j at most as big as -1/34?
True
Suppose 3*r + 6 = 2*t + 15, 2*r - 38 = 4*t. Which is greater: t or -128/11?
-128/11
Let l = 30.7 + -30.7. Is -162 > l?
False
Let d be (-6)/20*((-1192)/192 - -6). Let x = -16 + 17. Does d = x?
False
Let y be ((-66)/(-6) - 4) + -6. Which is bigger: y or -5/27?
y
Let m be 2392/234 + 4/(-18). Let v = 0.06 + 0.04. Which is smaller: m or v?
v
Let s(m) = -7 - 7 - 4*m**2 - 6*m - 2*m**3 - 10*m**2 + 4*m. Let a be s(-7). Is a at most as big as -4/33?
False
Let x be (-92)/115 + 24/5. Let o be (-1)/(-2*(164/40 - x)). Do 40/7 and o have the same value?
False
Let k be (-375)/7 + 39/(-91). Suppose -10*q + 222 = 752. Which is smaller: k or q?
k
Suppose 14*a = 8*a - 858. Let p = 433/3 + a. Let c = 0.4 + -2.4. Is p equal to c?
False
Suppose 1435*l + 2385 = 1444*l. Is 265 > l?
False
Let u be ((-15)/6*1)/(57/114). Which is greater: -72 or u?
u
Let o(p) = -3*p + 1. Let s(a) = a**3 - 17*a**2 - 17*a - 18. Let c be s(18). Let b be o(c). Is b > -2/37?
True
Let d = 276 - 275.8. Suppose 0 = 4*n - 16 - 8. Do n and d have the same value?
False
Let l = 9 - 20. Let z be (l - -8)/((-3)/2). Let j(w) = w**2 - 7*w + 7. Let v be j(6). Do v and z have different values?
True
Let t = -62007/6137 - -172/17. Let w = -112/86279 + t. Let l = w + -541/5019. Is -1 greater than or equal to l?
False
Let v be ((-58)/(-30) - 2/6)*5. Suppose h + 7*h = v. Is 9/13 less than h?
True
Let m = -33.04 + 0.04. Let f = -31.7 - m. Is 0 less than or equal to f?
True
Let f be 34/(-136)*(524 - 0). Is -131 greater than f?
False
Let s = -11 - -14. Suppose 7 = -s*j + 13. Do 22/7 and j have the same value?
False
Let n = -645/22 - 145/11. Do n and -43 have different values?
True
Let m = -0.323 + -2.577. Is 1 at most m?
False
Let m(g) = 17*g - 75. Let l be m(3). Does 12 = l?
False
Let i = -291.44 - -286. Let m = i + 0.44. Which is smaller: -2/3 or m?
m
Suppose 4*l - 3 + 1 = -3*b, -10 = 3*b - 2*l. Let i be b/(-3) + (-1810)/15. Let w be 8/(-20) + 92/i. Which is bigger: w or 0?
0
Let l = -46/7 + 1100/161. Suppose 0 = 2*m - 6*m. Which is greater: l or m?
l
Suppose 5*a + 650 = -5*a. Is a greater than -61?
False
Let g = 2.03 + -6.03. Which is greater: g or -13?
g
Suppose -4*a + 5*j = -249, 2*a - a + j = 69. Do 66 and a have the same value?
True
Suppose 0 = o + 5*y - 26, -6*o + 11*o = 2*y - 5. Which is greater: o or 1/292?
o
Suppose 3*w = 3*h + 2 - 167, 220 = 4*h + 2*w. Let i = h - 157/3. Let b(x) = -x - 3. Let k be b(-6). Is k bigger than i?
True
Let k(i) = 2*i**2 - 2. Let t be k(2). Suppose -r - 2*r = -t. Suppose 0 = -f + 6*f - 15. Which is greater: r or f?
f
Let a(w) = 10*w + 4*w**2 - 5*w**2 + 6 - 5*w. Let c be a(6). Let p(h) = -h**2 - 12. Let m be p(c). Is m less than -12?
False
Let b(n) = n**2 + 9*n + 1. Let w be b(-5). Let t = -179.2 + 175. Let i = 4 + t. Which is smaller: w or i?
w
Let m = -3 - -2. Let t(s) = s**2 + 22*s + 22. Let i be t(-17). Let v = 66 + i. Which is greater: v or m?
v
Let u = 2326 + -20939/9. Is u not equal to -18?
True
Let x = -0.67 - -8.67. Let h = x + -8. Which is smaller: h or 0.48?
h
Let o = 6 + -3. Suppose 0 = -o*l + 4*l. Let a be (-1)/(-1)*l - 10. Is a greater than or equal to -10?
True
Suppose 5*t = -0*t + 10. Suppose t = -2*m + 4*b, 6 = -m - 2*m + 5*b. Is -7 at most m?
True
Let p be 2/6 - 41/33. Let y(o) = 3*o**3 + 12*o**2 - 2*o - 9. Let g be y(-4). Is p < g?
False
Let q be 1/(4*(-1)/32). Is -0.3 at least q?
True
Let d be 11/(220/35) + -2. Which is smaller: d or 66?
d
Let z = -0.197 + -15.703. Let k = z + 16. Which is smaller: k or 8?
k
Let c = -178 - -180. Let g = 3 - 2. Which is smaller: c or g?
g
Let x = -1 + 5. Let w(g) = -2*g + 6. Let n be w(x). Which is smaller: -3 or n?
-3
Let m be (3/(-70))/(279/(-45) + 7)