- 20. Is o bigger than 16?
False
Let n(s) = -s**2 + 7*s - 2. Let j be n(7). Let b be 2 - j/(-4)*5. Suppose 31*p - 34*p - 6 = 0. Is p at least as big as b?
False
Suppose 0 = 3*q + 3 - 0. Let a be (6/(-9))/(2/519). Let z = -2247/13 - a. Which is bigger: q or z?
z
Let x = 18.2 - 18. Let b = 0.8 + -1. Let z = b - x. Do z and 1 have the same value?
False
Let b be (-20)/5 + (4 - 1). Is -6/19 greater than or equal to b?
True
Let v(d) = -d - 13. Let n be v(-10). Let i be (-1 - -16)/n + 3. Which is greater: i or -5/4?
-5/4
Let c = 1.328 + -0.128. Is c bigger than 4?
False
Let x = -172/295 - 1/59. Suppose -5*z = -14*z. Which is bigger: x or z?
z
Suppose 1 = 3*o - 2. Let r(b) = b. Let q be r(o). Let j be (-3)/9 + 2/24. Is j greater than or equal to q?
False
Let j be (-2)/(-4)*698*-1. Let o = j + 1037/3. Which is greater: o or -2?
-2
Let v = -638 - -18500/29. Let u(i) = -i - 4. Let z be u(-9). Suppose -p - z = -6*p. Is v bigger than p?
False
Let n(m) = -5*m - 7. Let o be n(-12). Suppose 33 = 3*p + x, -p + x = -6*p + o. Is 10 > p?
False
Suppose 0 = -4*y - y. Suppose -2 = -4*f + 2*k - y, 3*k = -3*f + 6. Suppose 13*g = 17*g. Is g less than f?
True
Suppose -4*u + 7 + 1 = 0. Suppose 2 = y - 1. Suppose -y*f = -2*f. Is f less than or equal to u?
True
Suppose 0 = 5*a - 0*a - 5. Let w(u) = u**3 - 4*u**2 + u. Let f be w(2). Let q be (2/(-6))/(13/f). Is q less than or equal to a?
True
Let h = 170 - 853/5. Is -3 at most h?
True
Let c be (-9)/2*(-2)/1. Which is smaller: 7 or c?
7
Let l = -3.04 - -0.04. Let m be 1/(-9)*2 - 56/(-90). Which is smaller: m or l?
l
Let d = 14 + -15. Let b be 4/(-1)*(-2)/(-4). Which is smaller: d or b?
b
Let g = 1 - 1. Which is smaller: g or 0.1?
g
Let x = 499/52 + -39/4. Is 1/3 at most as big as x?
False
Let c = -12 - -12.5. Let i = -0.4 + c. Which is bigger: i or 7?
7
Let t = -0.329 + 0.429. Let k = -0.1 - -0.1. Is k bigger than t?
False
Let t be (-6)/20*20/(-30). Suppose -2*i = 3*u - 2 + 4, -i - 2 = 2*u. Let l = -1 + i. Is t at most l?
True
Let m = 11 + -6. Suppose -m*d + 12 = -7*d. Which is greater: d or -8?
d
Suppose -20 = -t - 3*t. Let g be (-4 + 3)*(3 - t). Which is greater: -0.5 or g?
g
Let u = -31 + 26.1. Let n = u + 0.9. Let r = 1.3 - 1.4. Is r <= n?
False
Suppose 2*d - 18 = -4*t, -15 = -3*t - d - 2*d. Suppose -w - 19 = -4*w - o, -5*w - 2*o + 30 = 0. Let r = w + -4. Are r and t non-equal?
False
Let j = -1.94 - 0.06. Let t = j + 2.1. Which is greater: 2/7 or t?
2/7
Let l be (-28)/(-8) - (1 + -3)/4. Which is greater: l or 5?
5
Let v(s) = 3*s**3 - 2*s**3 + 11*s**2 + 8*s + 1 - 2*s**2. Let l(w) = -w**2 - 5*w - 2. Let z be l(-6). Let q be v(z). Is q at least as big as -1/6?
True
Suppose 0 = 2*u - r + 16 - 62, -2*u + 2*r = -42. Suppose -u = 4*h + h, 0 = -2*i + 3*h + 9. Are i and -3 equal?
True
Let z be 2*6*2/8. Suppose -3*b = -z*w + 51, 5*b - 3*w + 3 = 6*b. Let r be b/28*(-1)/3. Does r = -1?
False
Let m = -2/4235 + 84754/114345. Let u = m + -103/54. Which is bigger: 0 or u?
0
Let d = 14 - 21. Which is bigger: -9 or d?
d
Let b be ((-9)/(-12) - 4/4)*-68. Suppose 0 = -4*i - r + 69, -5*i - r = -5*r - 81. Is i at most b?
True
Suppose o = -0*o + 4, 0 = 5*h + 3*o + 43. Let v = 21 + h. Does 9 = v?
False
Let i = -0.24 - 0.03. Let c = 29 + -28.93. Let k = c + i. Which is smaller: k or 0?
k
Suppose 2*j + 1 - 9 = 0. Suppose -c + 3 = j*x, -4*x + 33 = -5*c - 0*c. Let r = -7 + x. Is -6 smaller than r?
True
Suppose -5*d + 6 = 61. Let z = d - -7. Are z and -3 non-equal?
True
Let v = 2 - -6. Let t = v + -7.9. Is t > 2?
False
Let t = 101 - 101. Suppose -4*d = -5*s - 28, -3*s + 2*s - 6 = -d. Let f be (0 + 1)*(-2)/s. Is t smaller than f?
True
Let r = 22 + -21. Let u be ((-2)/4*0)/1. Is u equal to r?
False
Suppose -d - 1 + 7 = 0. Let g be (d/(-18))/(23/(-6)). Do g and 1 have the same value?
False
Let h = -0.19 + -0.71. Let b = -1 - h. Let o = -0.2 - b. Which is smaller: -2 or o?
-2
Let g = -19/8 + 201/88. Which is smaller: g or -1?
-1
Let v = 6 - 7. Let x = v + 3. Suppose -x*q = q. Is q at least 0?
True
Suppose 130 = -5*o + 3*y + 16, 0 = 2*y - 6. Let x be (-424)/(-7) + 6/o. Let c = 60 - x. Which is smaller: c or 3?
c
Let k(v) = 2*v - 5. Let x be k(4). Let a be (-12)/8 - (-51)/6. Suppose 16 = 5*f - p + 2, 3*f - a = 2*p. Is x >= f?
True
Let w(g) = 2*g**3 + 3*g**2 + 3*g + 3. Let r be w(-2). Let v be (9/4)/((-1)/(-4)). Let x = v + r. Is x less than or equal to 3?
True
Let h = 0.13 - 8.13. Let d = -4 - h. Let q = 4.2 - d. Is q != 0.1?
True
Let i = -97.9 + 104. Let q = i + -6. Let p be ((-5)/(-15))/((-1)/2). Do q and p have different values?
True
Let a = 4 - 0. Suppose 0 = -2*m - a*j + j + 17, -3*m + 20 = -j. Let h be (-2)/(-4) + (-44)/(-8). Which is bigger: h or m?
m
Suppose 5*l = -3*y - 22, -2*y = -3*y + 3*l + 16. Suppose 0 = -4*q - w + 7, y + 2 = 2*q + w. Which is greater: q or 8/3?
8/3
Suppose 0*u = 5*u - 295. Suppose -2*w = -3*r - 6 + u, 4*w - 14 = -2*r. Let n be 8/30*r/(-6). Are n and 1 unequal?
True
Let j(m) be the third derivative of -m**4/24 + m**3/6 - 5*m**2. Let r be j(-1). Is 2 greater than r?
False
Let s(k) = k + 2. Let j be 4*(6/4 + -2). Let i be s(j). Suppose -2 = 2*y + 4, -4*c + 1 = y. Is i at most as big as c?
True
Let n = -326 - -173. Is -154 <= n?
True
Let y be 4/(-10) - 21/(-115). Which is greater: 0 or y?
0
Let l be ((-27)/(-7))/(-3) + 3/3. Is 1 less than l?
False
Let f(y) = -2*y + 6. Let s be f(4). Let u be (-1)/(1 + 6/(-8)). Which is smaller: s or u?
u
Let d = -1 - -5. Let w = -4 + d. Let p(h) = -h**3 - 2*h**2 + 4*h - 1. Let v be p(-3). Which is smaller: v or w?
v
Let h be 3/(-2)*(-2)/(-10). Is 1 at most h?
False
Suppose 0 = -3*f + 12 + 42. Is 17 at most f?
True
Let z = 1300/11 - 118. Let u(q) = -2*q**2 - q. Let d be u(-1). Is z less than or equal to d?
False
Let b = -0.68 + -0.12. Let w = 0.2 + 0.8. Let i = w + b. Is -1/3 less than or equal to i?
True
Let w(d) = d - 4. Let a be w(4). Is -1/166 greater than a?
False
Let b = 34 - 16. Let o be 66/b - 1/(-3). Is 5 > o?
True
Let n = 362/3 - 121. Which is bigger: n or 1/9?
1/9
Let o = 3987/8 + -499. Let g be 3/18 - 65/30. Is g at most o?
True
Let b = -18 + 12. Let x(z) = z**2 + 8*z + 8. Let c be x(b). Let m(a) = a - 7. Let r be m(5). Which is bigger: r or c?
r
Let u be (5/2 + -2)/((-6)/(-12)). Does u = 24/13?
False
Let i(k) = k**2 - 2*k - 4. Let t be i(0). Is t smaller than -2?
True
Let x = 3 + -2.97. Let t = 0.03 - x. Is -1 greater than t?
False
Let o(k) = -3*k + 5. Let a(h) = -h - 1. Let u(y) = -2*a(y) + o(y). Let v be u(7). Let s be (v - 1) + 2/4. Is s greater than or equal to -2/3?
True
Suppose 11*t - 13 = -2. Is -1/61 bigger than t?
False
Let l = 16.1 + -4.1. Which is smaller: 0.1 or l?
0.1
Let n be (-2)/3*(7 - 1). Let p(t) = -t - 5. Let g be p(n). Is -2/7 greater than g?
True
Suppose -3*f + 2*n + 6 = -10, 2*n = -5*f. Suppose -32 = 9*z + 23*z. Which is smaller: z or f?
z
Suppose -7 = 5*b - 17. Let h(r) = r - 4*r + 2*r - 4. Let u be h(-6). Do u and b have different values?
False
Suppose 3*q - 2*i - 14 = 0, -3*q + 3*i = -2 - 16. Is 16/5 smaller than q?
False
Let c be (6 - 2)*(-3891)/66. Let b = -236 - c. Is -0.1 greater than b?
True
Let l be 2807/35 - ((-22)/(-10) + -2). Is l at least 81?
False
Let s = -4 - -18.6. Let m = 16 - s. Let y = m + -0.4. Is -6 less than or equal to y?
True
Let q(v) = v - 7 + 3 - 3. Let k be q(6). Let h(o) = -3*o**2 + 2. Let y be h(-1). Is k less than y?
False
Let m = -0.3 + 0.34. Let t = -0.26 - m. Let l = 0.4 + t. Is 0 greater than l?
False
Suppose 2*m - 5 = t, -t + 6*t = m - 25. Let l = t + 6. Is -2/3 at most as big as l?
True
Let n(l) = -l**3 - 8*l**2 + 3*l + 1. Let y be n(-9). Does y = 55?
True
Let v(s) = -s - 5. Let r be v(-4). Which is greater: r or -1/12?
-1/12
Suppose 4*q = 5*a - 3 + 28, 2*q + 20 = -4*a. Is q equal to -1/8?
False
Let p be ((-16)/(-8))/((-14)/(-660)). Let x = p + -94. Which is smaller: x or -1?
-1
Let t(z) = -z**2 + 13*z - 2. Let q be 1 + (8 - -1) + 3. Let m be t(q). Do -8 and m have the same value?
False
Let b = 5.04 - 5. Is 2/5 greater than or equal to b?
True
Let b(i) = i**2 - 8*i + 7. Let u be b(7). Let a(n) = u*n - 3 - n**2 - 4 + 6*n. Let p be a(6). Which is smaller: -8 or p?
-8
Suppose 5*q = -4*p + 20, 2*p + 8 = -p + 2*q. Is -3/74 <= p?
True
Let g = 4.6 + -4.5. Which is smaller: 40 or g?
g
Let f = -28 + 28.7. Let a = -2 + 3. Let q = 1