-18.2. Let t = -20 + q. Which is greater: 0.2 or t?
t
Suppose -4*v = -3*h + 61, 3*h = -0 - 3. Is -17 at least as big as v?
False
Let w(g) = 10*g + 3. Let s be w(4). Which is smaller: 42 or s?
42
Let i be 0 + 2 + 795/(-10). Let m = 79 + i. Let x = -3 - -4. Is m less than x?
False
Let r = -28 - -31. Is r at most as big as 0.2?
False
Let a be (2 + 0)/2*1. Let u(w) = -w**2 + 8*w - 9. Let x be u(5). Are a and x nonequal?
True
Let f(z) = -z**3 + 5*z**2 + 5*z + 5. Let s be f(6). Let c be 36/(-10) + (-2)/5. Let h = 15/4 + c. Is s != h?
True
Suppose 0 = 2*i + 2*i - 12. Let j be (-3 - -3) + (0 - 0). Let y be 1/3 - j - 0. Is y smaller than i?
True
Suppose -3*r + 7 - 1 = 0. Suppose -3*o = -2*g + 2, r*o + 0*g - 12 = -2*g. Suppose -s + 3*s + o = 0. Which is bigger: 0.1 or s?
0.1
Let q = 0.2 - -0.8. Let t be (-13)/(-5) + (-10)/(2 - -3). Which is smaller: q or t?
t
Let i(t) = -72*t**3 + t**2 + 2*t + 1. Let o be i(-1). Let y be 10/45 - (-2)/o. Is y at least as big as 1?
False
Suppose -g = -3*g - 176. Let w = 173/2 + g. Let n = -27 + 24. Which is smaller: w or n?
n
Let d be ((-1)/16)/((-9)/(-342)). Which is smaller: d or -2?
d
Let s = -2 - -4. Let t = -3 - -5. Let f = t - 1. Which is smaller: f or s?
f
Suppose 7*n - 2*n - 15 = 0. Is n at most as big as 7/4?
False
Let a = 15/4 + -13/4. Suppose 5*o + x + 19 = 4*x, 4*o = 5*x - 23. Let j be o/4 - (-1)/2. Is j != a?
True
Suppose 4*r - 32 = 5*q, -q - 4*q + 24 = 3*r. Let u = -10 + r. Is 0 at most u?
False
Suppose 8*g - 3*g = 35. Let k = g + -8. Is -2/87 greater than k?
True
Let a = -3245/3 + 1072. Let f(c) = 9*c**2 - 2*c - 1. Let m be f(-1). Let j = m + a. Which is greater: -1 or j?
j
Let m = 10845/11 + -985. Let x = 49/66 - m. Let q = 14 - 15. Are q and x nonequal?
True
Let u be 5681/(-2850) + (1 - -1). Which is smaller: -1 or u?
-1
Let h = -3 + -6. Let y = 9 + h. Let a = 0.1 - 0.1. Is a < y?
False
Let v be ((-6)/4)/((-18)/24). Suppose h - 11 = -4*u + 7*u, -19 = 5*u - v*h. Is -5 <= u?
True
Let o = -14/9 + 8/9. Let i be 8/(-40) - 21/(-5). Suppose -2*f = -i*f. Which is smaller: o or f?
o
Let a be ((-2)/(-3))/((-2)/(-6)). Let r be (1 - a)/(6/4). Let s = -0.21 - -0.11. Which is bigger: s or r?
s
Let b be 2/(-1 - (0 + -4)). Let o = 60 - 57. Which is smaller: o or b?
b
Let h(o) = -o**3 - 4*o**2 - 4*o - 1. Let w be h(-2). Let g = -5 + 8. Which is smaller: w or g?
w
Let i be (3 + -2)/(1 - 0). Let t(l) = -l**2 - l - 1. Suppose 22 = 3*q + 5*f, 4*q = 4*f - 11 - 13. Let u be t(q). Is i bigger than u?
True
Suppose -5*x = -7 - 18, 4*m = 2*x - 2. Suppose 4 = -2*y + m. Which is smaller: 0.5 or y?
y
Suppose 2*z - 5 = -1. Suppose -2*j + 5*m + 0 = -4, -j = -z*m - 3. Which is smaller: 9 or j?
j
Let i be -3 + 2/(2184/3567). Let g = -175/14508 + -2/279. Let y = g - i. Are 0 and y equal?
False
Let m be ((-1)/(-1))/1 + 57 + -64. Let w(y) = y**3 + y - 3. Let a be w(0). Which is smaller: a or m?
m
Let l = 49 - 49.04. Is 1/4 < l?
False
Suppose 3*x + 0*x = 12. Suppose 2*q = q + x. Which is greater: q or 1?
q
Let j = 24 + -15. Which is bigger: j or 10?
10
Let v = 24 - 15. Let b = -8.8 + v. Which is smaller: b or 0.4?
b
Suppose 6*i + 135 = 3*i. Let o be 17/i - (-6)/(-27). Which is smaller: o or 0?
o
Let x = -0.071 - 0.929. Do x and -19 have the same value?
False
Let d = -42 - -12. Let j be ((-6)/(-21))/(d/(-14)). Are 1 and j unequal?
True
Let q = 0.23 + -21.23. Which is greater: q or -0.2?
-0.2
Let i(u) = u - 5*u - 3 + 0*u + 6*u**2 - u**3. Let w be i(5). Is 2 at most w?
True
Let r be ((-8)/(-10))/(4266/135). Which is bigger: r or -0.1?
r
Let t = 0.32 - 0.32. Is t <= 0.06?
True
Suppose 4*k = g + 1 + 17, 0 = g + k - 7. Let z be (-2)/(-2 + g + -2). Is -3/8 greater than or equal to z?
False
Let l(m) = m**2 + 5. Let t be l(0). Let b be (1/(-2))/(5/t). Do b and -1 have different values?
True
Let j = -0.11 + 0.41. Let g = -0.3 + j. Is 0.1 at most g?
False
Let v = -1730/63 + 214/7. Which is smaller: v or 4?
v
Let r = 6 - 5. Let x = 8 - r. Let a = x + -5. Is 1 less than a?
True
Let u = -5 - -8. Let p = -271/20 + 79/5. Is p greater than u?
False
Let x = -51 + 52. Is x > -4/19?
True
Let u = 0.2 - 0. Let h = 20 + -19. Is u > h?
False
Let w(l) = -13*l**2 - l. Let n be w(-1). Let p be (n/9)/((-6)/9). Which is smaller: 3 or p?
p
Let t be ((-6)/16)/(12/8). Let w = -0.7 + -0.3. Is w equal to t?
False
Let s = -7/30 - 1/6. Which is greater: s or 2/27?
2/27
Let p be (-16)/10 + (-4)/10. Let h be 22/(-18) - p/9. Which is smaller: -5 or h?
-5
Suppose a - 7 = -2. Suppose -4 = f - g, 5*f - 3 = -a*g + 17. Suppose -2*c = -f*c + 8. Is c at least as big as -2?
False
Let z be (-6)/(-4) - 2/4. Let l(f) = -2*f**2 - 8*f - 2. Let m be l(-4). Does z = m?
False
Let w = -17 - -3. Which is bigger: -13 or w?
-13
Let m be (-6)/8 - 3/(-6). Which is smaller: 3 or m?
m
Let s be (6 + -8)/(0 - 16). Which is smaller: s or 1?
s
Let s(q) = 2*q + 17. Let r(g) = g + 9. Let b(v) = 11*r(v) - 6*s(v). Let a = 10 + -14. Let n be b(a). Is n >= 2?
False
Let f(s) = s - 6. Let q be f(3). Let z = -0.3 + 0.5. Let y = z + -0.3. Is y at most q?
False
Let a = -8 - -11. Suppose 4*r - 5*p + 0 = -1, 6 = a*r + 3*p. Which is smaller: r or 0.3?
0.3
Let a = -193 + 190. Are -38/17 and a equal?
False
Suppose 13 = -5*p - 2*i, 2*p - 4*p = -3*i - 10. Which is greater: -1/13 or p?
-1/13
Let c be 4 + (-11)/((-935)/(-350)). Is c equal to -2?
False
Let w = -27 + 15. Let c = 11.6 + w. Is -1 greater than c?
False
Let k(f) = -f**3 + 8*f**2 + 4*f - 2. Let r be k(8). Let w be 1/20 + 6/r. Is 0 less than or equal to w?
True
Let z be 1 - 1*(-5)/(-6). Let n = z - 2/3. Which is smaller: -0.1 or n?
n
Let x = 3678 - 2170019/590. Let l = x - 2367/4130. Suppose 3*y - 2*f - 4 = 0, 0 = -4*y + 3*f - 2 + 8. Which is smaller: l or y?
l
Let t(r) = r. Let f be t(2). Let u be -1 - ((-6 - -1) + f). Let z be (-24)/(-9) - (-1)/3. Which is bigger: z or u?
z
Let n = 2.2 - 1.2. Which is smaller: n or 32?
n
Let y = 7 + -14. Let u = 13 + y. Let b = -4 + u. Is b at least as big as 1?
True
Let z = -13 - -16. Is z less than 1?
False
Let a = 18 + -23. Is a at most as big as 0?
True
Let h be (-1)/((-1)/(1/(-5))). Let d(t) = t**3 - 2*t**2 + t - 1. Let l be d(2). Is h != l?
True
Let c = 93.41 + -94. Let k = 0.01 - c. Let b = -0.8 + k. Are -0.1 and b equal?
False
Suppose 2*u = q - 63, 4*q = 2*q + 3*u + 126. Which is smaller: q or 0.2?
0.2
Let a = 16 + -23. Let u(t) = -t**3 - 6*t**2 + 6*t - 3. Let p be u(a). Is p > 1?
True
Let r(q) = q**2 - 6*q + 9. Let s be r(7). Suppose 2*k + 3*p + p = -s, -11 = 2*k + 3*p. Which is bigger: 4/7 or k?
k
Let h(r) be the first derivative of -r**3/3 - 3*r**2 + r - 1. Let y be h(-6). Is 2 at most as big as y?
False
Let q be (-4)/2 + 1 + 7. Let c be (3/2)/(q/40). Let u be ((-6)/(-8))/(c/(-8)). Which is greater: 0.1 or u?
0.1
Suppose 2*x - x - 1 = 0. Suppose 0 = 5*q - 2*i + 3, -4*i - x = -4*q + q. Let j be (0/1)/(q - 1). Is j < -1/3?
False
Let k = 7 - 5. Suppose k*j - 7 = -1. Suppose -z + 0*a - 6 = -2*a, 3*a = j*z + 9. Which is greater: -3/4 or z?
z
Let s = -17 - -14. Let u = s - -3. Are u and 0 unequal?
False
Let v be ((-3)/(-8))/(9/108). Is 4 greater than v?
False
Let s = -477/5 - -95. Let t(y) = -y**3 - y**2 - y - 1. Suppose x = q + 6, 4*q - 2*x = 3*x - 29. Let k be t(q). Is k greater than or equal to s?
True
Suppose 0*m + 4*m = 0. Let q be -1 - (250/(-115))/2. Is m greater than q?
False
Let t = -0.03 + 4.03. Let p = t - 4. Let s = -4.4 - -4.8. Is p at least s?
False
Let q be ((-6)/(-4))/(18/8). Let i = -4 + 8. Suppose -7*p = -i*p. Is q not equal to p?
True
Let y(i) = i**3 - 3*i**2 + 2*i - 2. Let w be y(2). Let f be 1/w - (-28)/24. Suppose 5*j = 3*j + 8, -11 = -l - 3*j. Does l = f?
False
Suppose 0 = 3*v - 5*k + 50, -v - 2*k - 3 + 1 = 0. Let z be (-14)/v - 3/(-5). Is 5 greater than or equal to z?
True
Let i be -1 + 0 + 6 + -3. Suppose u + z + i = 0, 2 = -u + 5*z + 12. Suppose u = -5*p + 2*b + 13, -4 = 4*p + 4*b + 8. Which is smaller: p or 2?
p
Suppose -4*a = -12 - 0. Let x be (a/(-4))/((-3)/12). Suppose q - x*q = -2. Which is bigger: q or 2/19?
q
Let v be ((-8)/6)/(-4)*3. Let c be 4 + -4 + 2 - v. Which is smaller: -1 or c?
-1
Let r = 0.4 - 0.67. Is 0 at least as big as r?
True
Let d = -3 - -3. Let n = -78 + 394/5. Which is bigger: n or d?
n
Let b = 155 + -617/4. Which is greater: b or 0?
b
Let p = -6 + 6.8. Let x = p + -4. Let v