8 - 91.8. Let r = i - -14. Is r greater than or equal to 1/3?
False
Let k = 4 + -3. Suppose 0*f - 6 = -3*f - 2*m, -3*f = -m - 15. Let u be ((-9)/f - -2)*-2. Which is greater: k or u?
k
Suppose 0 = -2*l - 16 - 28. Which is smaller: -21 or l?
l
Let x = 0.3 - -0.7. Let h = -0.9 + x. Let g = -6 - -4. Does g = h?
False
Let s(l) = -l**3 + 6*l**2 + 8*l - 6. Let x be s(7). Which is smaller: 0.01 or x?
0.01
Let t be 5 - 0 - (6 - 4). Suppose -t*v - 2 = 7. Which is bigger: -4 or v?
v
Let j = 0.4 + -0.5. Let f = -2 - -2.1. Let w = f - 0. Are j and w nonequal?
True
Let n(t) = t**2 - t - 1. Let j be n(2). Let r be j/(63/(-474)) + 1. Let g = -20/3 - r. Is g bigger than 0?
False
Let f be (6/(-4))/((-1)/(-6))*5. Is -43 smaller than f?
False
Suppose f = -0*f - 4. Let v be (-5 - f) + (-1)/(-4). Does -1 = v?
False
Suppose -3*d + 5*n - 3 = 12, -2*d - 5*n = 35. Which is greater: -11 or d?
d
Let u = -0.08 - 0.08. Let g = u - -0.06. Is 3 < g?
False
Suppose -5*n + 2*q = -2*q + 46, 0 = 3*q + 3. Let x = 13 + n. Let w = -2/453 + 2269/906. Is w at least x?
False
Suppose -4*y + 0*v - 3*v - 60 = 0, -2*v - 20 = y. Is -11 < y?
False
Suppose 4*u + 3*b - 5*b - 6 = 0, 5*u - 4*b = 15. Which is smaller: -2 or u?
-2
Let w be (-2)/(-3) + 16/12. Suppose w*g - g = -1. Let s = 76/3 + -26. Which is bigger: s or g?
s
Let a = -2.1 - 0.1. Which is bigger: -1 or a?
-1
Suppose -v - 6 = -3. Let g(m) = m + 3. Let l be g(v). Let a(z) = 2*z**2 - 2*z + 1. Let o be a(1). Which is greater: o or l?
o
Let b(n) = n**2 + 2*n. Let p be b(0). Suppose 3*h - 4*r + 5 = 0, 2*h = 3*r - r. Is p at least as big as h?
False
Let k(w) = 2*w - 4. Let n be k(3). Let t be n/11 + (-39)/33. Suppose -v = 3*v. Are v and t equal?
False
Let u = -3 + 3.03. Let n = u + -0.09. Let w = n + 0.16. Which is smaller: 2/5 or w?
w
Let f = -55 - -56. Which is bigger: 4 or f?
4
Suppose 16 = -3*c + 7*c. Let i(y) = 5 - y - 2 + 0*y. Let j be i(c). Do 1/8 and j have the same value?
False
Let w = 4.39 + -0.39. Is -3 at least as big as w?
False
Let l = -3 + 4. Let x be ((-15)/(-3) + -2)/1. Let a be 2/4*x/6. Is l equal to a?
False
Let i be 591/(-532) + (-2 - -3). Let g = 3/76 + i. Do 0 and g have the same value?
False
Let x = 0.11 - 0. Is 0 greater than or equal to x?
False
Suppose 0 = 5*i - 3*u + 5, i = 4*i + 5*u - 31. Suppose -6 = i*r - r + 2*x, r + 12 = 4*x. Let y be ((-3)/(-12))/((-13)/r). Which is smaller: y or -1?
-1
Let f(d) = d - 3. Let w be f(0). Let a be (-2)/(2*-2) + 15/(-6). Which is smaller: w or a?
w
Let s = 2 - 0. Suppose -4*z = -6*z + s. Is z less than or equal to 1?
True
Let l(k) = k**2 - 5*k + 7. Let x be l(5). Let q(t) = 2*t**2 - 2*t. Let z be q(2). Suppose 3*p - x*p = -z. Is 1 bigger than p?
False
Suppose -1 + 9 = 4*i. Is i at least as big as 5?
False
Let v = -6 + 5.98. Let b = -2.02 - v. Is -2/5 at most as big as b?
False
Let r = -0.3 + 0.4. Suppose 3*i = -2*a - 18, 4*i + 2*a + 19 = a. Is i != r?
True
Let y(k) = -5*k**2 - 4*k - 3. Let j(s) = 4*s**2 + 4*s + 3. Let a(o) = 4*j(o) + 3*y(o). Let b be a(-2). Does -2/5 = b?
False
Let a = -5 + 9. Which is smaller: a or -0.4?
-0.4
Let p be (5/(-3) - -2)*-9. Let v be 2/p + (-4)/(-6). Which is smaller: -5/6 or v?
-5/6
Suppose 0 = 4*g - 1 - 3. Suppose 0 = -v + g, -3*v = 5*z + 2*v - 15. Let w = z - 4. Does w = -3?
False
Suppose 3*k = 2*m - 2139, 0*m - 2160 = 3*k + 5*m. Let q be 4/22 + 185/k. Suppose 2*p = 5*p + 3. Which is smaller: q or p?
p
Let y = -1.3 - -0.7. Let w = 0.5 + y. Let z = 2.1 + -2. Which is smaller: z or w?
w
Let n be (-5)/(-2)*(-4)/(-5). Suppose 3*m - m = n. Let o = 217 + -2385/11. Is m greater than o?
True
Let q be (-4)/2 + 7/2. Let a be 5/(-1)*44/(-10). Let p be 5/20 + a/8. Which is smaller: p or q?
q
Let b be (3 + (-2)/(-2))*1. Suppose b*n - 3*n = -3*x + 11, -4*n - x = 0. Is -0.1 greater than or equal to n?
True
Suppose 5 = 3*v + 2*v. Let y = 2 + v. Let b be 0/y + (-2)/(-7). Which is smaller: b or -1?
-1
Suppose 43*s - 45*s + 40 = 0. Which is smaller: s or 21?
s
Let a(m) = -m**2 + 4*m - 2. Let u be a(5). Let n = -8 - u. Is 4/9 at least as big as n?
True
Suppose 4*h + 0*h = 52. Suppose -4*f + 3 + h = 0. Is 2 less than or equal to f?
True
Let o = 0 + -1. Let p = -3389 - -511737/151. Let r = p + 159/604. Is r >= o?
True
Let l = -30.06 - -37.1. Let o = l + -7. Which is smaller: 1 or o?
o
Let w(c) = -c**2 - 8*c + 2. Let b be w(-4). Is b less than 17?
False
Suppose -4*j - 5*r + 152 = 36, -4*r + 136 = 5*j. Are j and 22 unequal?
True
Let v = -0.1 + 2.1. Let p = -14 - -12. Which is smaller: p or v?
p
Let w(l) = l**3 + 7*l**2 - 1. Let a be w(-7). Let z(b) = -3*b**3 + 1. Let t be z(a). Which is smaller: t or 5?
t
Let u = -473 - -1778/5. Let q = -118 - u. Let t(c) = c + 5. Let j be t(-5). Which is smaller: j or q?
q
Let g be -2 + (51/21)/(3/3). Does 2 = g?
False
Let b = 4965/26 + -191. Let y = -11/52 + b. Which is smaller: 0 or y?
y
Let k = 19.71 + 0.29. Let d = 22 - k. Are -2/19 and d nonequal?
True
Let m = -6 - -9. Suppose m*q = -0*q. Is q > -1/7?
True
Let k = -36 - -51. Let g = 11 - k. Is g bigger than -2?
False
Suppose -6*w + 103 - 13 = 0. Is w smaller than 16?
True
Let i be 37848/9*(-12714)/370. Let w = i - -144504. Let x = 2/37 - w. Which is greater: -0.2 or x?
x
Let m = -5 - -7. Suppose -k - 4 = -0*k + 3*i, 4*i + m = -3*k. Is k > 4?
False
Let t be (-3)/(-5) - (-347)/5. Let r = 699/10 - t. Suppose 3*h + h = -4. Which is smaller: r or h?
h
Let d = -7 + -1. Let v = 0 - d. Does v = 2/3?
False
Let d be (-3)/(-24)*-35 + 4. Is -0.2 >= d?
True
Let d(x) = -5*x**2 - x + 9. Let f be d(-11). Let k = -5275/9 - f. Is -2 less than or equal to k?
True
Let h be 5432/3420 + 0 + -2. Let w = h + 2/171. Does -1 = w?
False
Let w(y) = -6*y - 7. Let i(f) = f + 1. Let r(v) = -4*i(v) - w(v). Let h be r(-2). Let d be 0*2/2*h. Is d less than 1/4?
True
Let j be 3/(-5)*(-1)/(-1). Which is greater: -2 or j?
j
Let v(i) = i**3 - 6*i**2 + 5*i + 1. Let h be v(5). Let c be h/(-4)*2 + 2. Which is smaller: 3 or c?
c
Suppose -2*y + 3*y - p = 4, -5*y + 6 = 2*p. Let r be (-3)/63*y*-522. Let f = 50 - r. Which is greater: -5/6 or f?
f
Let o(n) = n**2 - 7*n + 7. Let q be o(6). Are q and 1 equal?
True
Suppose 3*h + 2*u = 15, h = -4*h + 5*u. Suppose -h*d = d - 8. Suppose 0*t + t - d = 0. Do t and 2 have the same value?
True
Let g(u) = -u - 8. Let r be g(-6). Which is greater: r or -1?
-1
Let q(s) = 3 - 3 + 3 + 0 - 3*s. Let i be q(2). Is i bigger than -4?
True
Suppose 1 + 4 = 5*q. Let c(n) = -2 + q - 1 + n**3. Let h be c(0). Which is smaller: 2/5 or h?
h
Let z be 1/(1*(-3)/(-6)). Suppose 0 = -z*p - 2*p. Do p and -2/5 have the same value?
False
Suppose 0 = -5*w + w - 12. Let t be w*(-1 - (-8)/10). Which is bigger: 2 or t?
2
Let n(l) = l - 1. Let x(i) = -i + 5. Let k be x(5). Let c be n(k). Which is bigger: c or 0?
0
Let p be 868/35 - 1/(-5). Which is bigger: 27 or p?
27
Suppose -4*q = 4*h - 2*h + 20, 4*h - 8 = 0. Which is smaller: q or -2/3?
q
Suppose m + 0*m - 29 = 5*j, 2*m + 2*j + 2 = 0. Let d(k) = k**2 + 6*k + 5. Let b be d(-7). Let p be (b/m)/(30/4). Do p and -1/3 have different values?
True
Suppose 5*z + 36 = -34. Which is greater: -10 or z?
-10
Let s = 11 + -1. Suppose 3*w = w - s. Is w less than -4?
True
Let k be 2/((-2 - -2) + -6). Suppose 0 = -3*f + 4*c - 19, -f + 1 = 2*f + c. Is f equal to k?
False
Suppose -12 = 3*t + 6. Let s = -3 - t. Suppose -2 = -2*a - 4*p, 3*p = -s*a - 0*p. Are -1 and a nonequal?
False
Let f(d) = 3*d - 4. Let m(p) = -2*p + 2. Let s(t) = 3*f(t) + 5*m(t). Let a be s(-3). Suppose -o = -3*o - 2. Are o and a unequal?
True
Suppose -u - 2 - 4 = 0. Let z be (-2)/u*(1 + -10). Which is smaller: z or -5?
-5
Let t(k) = 45*k**3 - 5*k**2 + 4*k. Let v be t(1). Is 44 less than or equal to v?
True
Let g = -2/315 - 1678/315. Which is smaller: g or -6?
-6
Let h = -0.075 - -9.775. Let t = 10 - h. Which is smaller: t or -1?
-1
Let w = 7.05 - 0.05. Let a = -6 + w. Is -0.1 < a?
True
Suppose -9 = 4*n - 1. Let z = n + -1. Let i = 3 + z. Is i >= -2?
True
Let c = 11.9 + -1.9. Let p = 9.8 - c. Let z = 5.13 - 0.13. Is z less than p?
False
Suppose y = 24 + 6. Suppose y = -q - 4*q. Let l = 2 + -2.1. Which is greater: l or q?
l
Let s(d) = -d**3 + 4*d**2 + 2*d - 6. Let m = 1 - -3. Let f be s(m). Let o be 3/(-9)*-3 - f. Which is smaller: o or 1/4?
o
Let i(z) be the first derivative of -z**2/2 + 2*z + 4. Let f be i