20. Let r be o(0). Suppose -4*f + r = -0. Which is smaller: 4 or f?
4
Let s = -15 - -17. Let d(g) = -g**2 + 2*g + 1. Let k be d(2). Suppose -y - s + k = 0. Is -1/3 > y?
True
Suppose -2*g - 2*g = 4. Let u(a) = a - 8. Let v be u(6). Let c be (v/(-15))/((-6)/(-9)). Do g and c have the same value?
False
Let g = -11.2 + 2.2. Does g = -0.1?
False
Let o = -12 + 11. Let b = 118023/14 - 8443. Let m = 25/2 + b. Which is smaller: m or o?
o
Let t be (-1)/((2/(-239005))/(-2)). Let c = t - -46606204/195. Let j = 17/13 - c. Is j <= 0?
False
Let v be (-5 + 0)/((-15)/6). Suppose -j + v*j - 7 = 0. Is j < 8?
True
Suppose -s = -4*s - 6. Let a be 23/s - 1/2. Let j be 2 - ((-3)/a - -2). Which is bigger: j or 3?
3
Let u be 1/5*(-10)/(-4). Let m(c) = -4*c - c + 2*c**2 + 6 - 1 - c**2. Let x be m(4). Is x != u?
True
Let x = 0.35 + -0.55. Which is smaller: x or -22/9?
-22/9
Let y(j) = -j**2 - 7*j - 8. Let l be y(-6). Let z = l + 3. Which is smaller: 3 or z?
z
Let v = -388/11 - -8097/44. Let m = 146 - v. Which is smaller: m or -4?
-4
Suppose -4*h = 5*u - 20, -4*h + 0 = -3*u + 12. Let w = h + 1. Which is smaller: 0 or w?
0
Suppose 4 - 19 = 3*x + 5*a, -x - 2*a = 6. Suppose 3*l + 4 = -3*p + 4*l, 3*p + 2*l + 19 = x. Let n = -2 - p. Which is bigger: 2 or n?
2
Let c(y) = 2*y**2. Let a be c(1). Let d be a/(-3)*(-2 - -5). Let k(s) = -s**2 - 5*s + 3. Let o be k(-6). Are d and o equal?
False
Let c = -730/7 + 105. Do 2 and c have different values?
True
Suppose 0 = -2*t - z - 151, 3*t + 5*z = -316 + 72. Let h = 366/5 + t. Is -1 bigger than h?
False
Suppose 0 = -2*a + 5*v - 2, a + 2 = -a + v. Suppose 0 = -3*s - 4*l, 4*s - 2*s = -3*l. Suppose s*x = 3*x + 6. Do a and x have the same value?
False
Let r = -96847/57 + 1699. Is r greater than 1?
False
Let s = 11 + -6. Let b be (2 + (-9)/6)*4. Suppose -s*t + b*t = -3. Which is bigger: -2 or t?
t
Let g be 0 - 3 - (-334)/(-14). Let m = g - -27. Is -1 at least m?
False
Let f be 675 + (-4)/4*1. Let k = f + -6058/9. Do k and 1 have the same value?
False
Let b be ((-8)/(-96))/((-1)/14). Is -2 > b?
False
Let c = 153 - 154. Which is smaller: c or -8/5?
-8/5
Let k = 4 + -3.9. Which is bigger: -18 or k?
k
Suppose d - l = 4*d - 14, 5*d - 4*l = 46. Let o = d + -10. Let h be 5/o + (2 - 0). Is 0 at most h?
True
Let u = 1.2 - 1.4. Let s = 0.1 + u. Do -2 and s have different values?
True
Let h = 3 + -2. Suppose 3*t = 2*t - 313. Let u = 2507/8 + t. Which is greater: u or h?
h
Let w = 1/11 - -9/22. Let s be 2 - (3 - 9 - -4). Suppose -5 = -s*d - d. Which is smaller: w or d?
w
Suppose 3*k = 2*b + 1, b + 0*b - 4 = -3*k. Is 6/5 equal to k?
False
Suppose r + 3*r - 16 = 0. Suppose -3*n = 4*x - 13, -2*n = 2*n - r*x - 36. Suppose n = -5*t - 18. Is -4 greater than t?
True
Let v = -1 - -4. Suppose h = 4*f - h + 56, -2*h = 5*f + 52. Let y = -10 - f. Which is smaller: v or y?
y
Suppose -3*p + 21 = -39. Let c = -15 + p. Does 1/3 = c?
False
Let z = 8 - 8. Is -0.06 >= z?
False
Let p be 3/6 - (-5)/4. Let w = 3/2 - p. Is w smaller than -1?
False
Let x = -2.81 + 2.7. Let b = -0.01 - x. Is 1 > b?
True
Let f(c) = -2*c - 8. Let i be f(-6). Let h = i + 2. Suppose 11*t + 25 = h*t. Which is bigger: t or -6?
t
Let m(p) = p**2. Let a be m(3). Is 2/5 <= a?
True
Let t(k) = -14*k - 5. Let i be t(-2). Is i > 24?
False
Let k be 2 - 802/5 - -3. Let l = k - -156. Does 0 = l?
False
Let o(m) = m**2 + 2*m + 6. Let s be o(-8). Let w = s + -217/4. Is w at most -1?
False
Let k be (6/4)/(264/(-64)). Which is smaller: 0 or k?
k
Let j be 14 + -18 - (-162)/4. Is 38 smaller than j?
False
Let g = 2269/4 + -571. Which is bigger: g or -4?
g
Let a be (-14)/(-6) - (-4)/6. Suppose 6*h - 2*h + 5*i = 21, -a*i = -2*h - 17. Is h smaller than 2/13?
True
Suppose -2*c = -3*y + 17, 3*y = -2*y + 3*c + 28. Suppose -s - 2 = -y. Suppose -5*f = -2*f + s. Is f less than 1?
True
Let c = -75 - -75. Which is greater: 0.4 or c?
0.4
Let l be ((-7)/4)/((-2)/8). Suppose 9 = -2*o - l. Let a be (o/5)/4 + 0. Is a <= 0?
True
Let j = 3.2 + -3. Let n be 3*2/15*-10. Let o be n/(-10) - 14/35. Which is bigger: o or j?
j
Let g = -0.17 - 0.03. Let p = 0.1 + g. Is -2/5 != p?
True
Let v(j) = 2*j**2 - 2*j - 2. Suppose -4*n = -9 + 1. Let d be v(n). Suppose 1 = -4*i + 1. Is d >= i?
True
Let h = -10 + 10.01. Let f = h - -0.05. Are f and -1 unequal?
True
Let v be (-2)/8 - (-72)/544. Are v and 1 unequal?
True
Suppose 2*x = o - x + 8, 0 = 2*o + 3*x - 2. Which is greater: -0.01 or o?
-0.01
Let o be -2 + (2030/18 - 1). Let a = -110 + o. Which is smaller: 1 or a?
a
Suppose -5*x = -5*q - 3*x + 26, 6 = 3*q + 2*x. Which is greater: q or 28/9?
q
Let x = -81 + 92. Which is smaller: 9 or x?
9
Let g = 55/2 + -389/14. Let x(k) = k + 5. Let o be x(-5). Suppose 2*p - 7*l + 7 = -2*l, 2*p + l + 1 = o. Which is bigger: p or g?
g
Let u be 3/((-102)/64) + 2. Let t be (-3)/12 - (-3)/12. Is t at least u?
False
Let z = 13 - 8. Suppose 0 = -z*h + 4*h. Which is smaller: h or 12?
h
Let g be 105/(-24) - (-4 - 0). Is g less than 1?
True
Let f(a) = 2*a - 1. Let w be f(2). Which is smaller: w or 2/3?
2/3
Let s(m) = m**2 + m. Let d be s(0). Suppose -2*z + 3*z = -2. Let w be ((-9)/30)/(1/z). Is w <= d?
False
Let c(t) = 8*t**3 - 19*t**2 - 13*t + 30. Let a(i) = -3*i**3 + 6*i**2 + 4*i - 10. Let w(v) = -11*a(v) - 4*c(v). Let p be w(-9). Is p less than or equal to -4/11?
True
Let v(f) = -6*f**3 - 2*f - 1. Let c be -3 + 3/(9/6). Let r be v(c). Does 7 = r?
True
Let s be 2*1/(-2) - -8. Suppose 5*x - 2*d = 11, x - 2*d = -s*d + 13. Suppose 2*p - x*p - 3 = 0. Is p smaller than -2?
True
Let x = -129/476 + -1/68. Suppose -2*g - 1 + 3 = 0. Is g bigger than x?
True
Let l be (6/4)/(6/(-8)). Is l less than -2?
False
Suppose 0*j = -3*j. Let b be (-2)/(-15)*21/(-35). Which is smaller: j or b?
b
Let a = 0.1 - -0.3. Let s = a + -0.7. Let d = s - -0.1. Which is bigger: -2/7 or d?
d
Let j = -135/4 + 34. Is j bigger than 2/3?
False
Let x = 1 + -4. Suppose -2*v + 30 = 4*y, 2*v - 45 = -0*v + y. Let w be 69/(-21) - (-6)/v. Is w at least as big as x?
True
Let i = -36 - -18. Which is smaller: i or -1?
i
Let d = 79 - 85.1. Let g = d - -6. Is -1/2 != g?
True
Let z = 27 - 24. Which is greater: z or 0.2?
z
Suppose -7*z = -3*z + 4. Let o = 1 + z. Let k be (-153)/(-136) + (-2)/2. Which is bigger: o or k?
k
Let p(g) = -1 - g**3 + 4*g**2 + 5*g + 1 + 1. Let s be p(5). Let c = 79/4 + -20. Which is greater: c or s?
s
Suppose 2*y = 2 - 0. Suppose s + 7 = y. Let w be -2 - (0 - (-4)/s). Do -1 and w have different values?
True
Let r be (17/4 - 1)*4. Suppose 3*z - 4*z = -3*y + 7, -z - r = -5*y. Do z and 7/10 have different values?
True
Let m = 117 - 117. Which is bigger: 12/31 or m?
12/31
Let q(y) be the third derivative of -y**4/24 - y**3 + 2*y**2. Suppose 4*c + 42 = -4*t + 2, -3*c = -2*t + 10. Let m be q(c). Is 0 greater than m?
False
Let d(z) = 2*z**3 - 13*z**2 - 6*z. Let x be d(7). Are 5 and x non-equal?
True
Let f(k) = -k**2 + 3*k - 12. Let j be f(5). Suppose -5*q - 88 = -q. Do j and q have the same value?
True
Let z = 0.17 + 6.83. Let s = 6.7 - z. Let v = -0.2 - s. Is v at most 0.1?
True
Let r = 13 - 11. Suppose -7 = -r*u - 3*k, -u + 4*k = 2*u + 15. Is 3/8 < u?
False
Let u = 21 - 40. Are u and -17 nonequal?
True
Suppose 4 = d + 3. Suppose -10 = -n - 2*a, 5*n + a = d + 13. Suppose 4*h - 15 = g, 5*g - 3*g = 3*h - 15. Which is smaller: n or h?
n
Suppose 4 = -4*f - 2*l + 8, -5*f + l = -5. Let t be 152/20 + -4 + -4. Is t greater than f?
False
Let j = -2547/26 - -98. Which is bigger: 1 or j?
1
Suppose -3*n = 2*n - 15. Let x = -6 + n. Let t be (20/(-15))/((-2)/x). Which is greater: t or -3/4?
-3/4
Suppose 0 = 3*k - 3*j - 6, -6 = 5*k + 3*j. Suppose k = 4*d - 2*d. Which is smaller: 0.06 or d?
d
Suppose 0 = 3*p - 4 + 7. Let c be 1/(-4 - (-4 - p)). Is -6 at least c?
False
Let i be (2/4)/(5/80). Suppose -z + i = -3*z. Do z and -4 have different values?
False
Suppose 1 - 9 = -4*b. Let o be b/((0 + 6)/2). Let q(c) = -c**2 + c + 3. Let w be q(2). Is o greater than w?
False
Suppose -5 = 3*t + 10, 0 = p + 3*t + 17. Do 27 and p have the same value?
False
Let l be (-3 - (0 + 0)) + 1. Suppose -2*z = -5*k - 0*z - 25, -k = -z + 8. Which is greater: l or k?
l
Let c be (8/(-5))/(-4)*(-10)/(-14). Let y = 2 - -1. Is y bigger than c?
True
Let r be (-2)/((-5)/10*-76). Which is smaller: r or 0?
r
Suppose 0*r - 3*r + 48 = -3*b, -3*r - 5*b 