0.8. Which is smaller: o or 2?
o
Let m = -363/2 - -38837/214. Is 1 smaller than m?
False
Let h(t) = -t**2 - t + 1. Let a be h(-2). Let n be 4 + -2 + 0 + a. Suppose -4*s + 2 = -2*b, 0 = b + 2*s - n - 2. Is b smaller than -1/8?
False
Let z(p) = 3*p - 38. Let x be z(9). Does x = -13?
False
Let m = -1.2 - -0.2. Is 0 smaller than m?
False
Suppose 0*x - x = 349. Let z = x + 1739/5. Are -2 and z non-equal?
True
Let c = 7 - 0. Let g(d) = -d + 3. Let r be g(c). Which is smaller: r or -5?
-5
Let a(w) = -w**2 + 7*w + 2. Let n be a(7). Suppose 3*z + 3*k - 9 = 0, 0*z - z + n*k - 9 = 0. Let f be (-8)/(-6) - z/(-3). Which is bigger: 2 or f?
2
Let f = -104 + 1977/19. Is -1 > f?
False
Let g = 359/18 + 392/9. Is 65 not equal to g?
True
Let b = 83 - 78. Is 6 != b?
True
Let o(j) = -j**2 - 3*j + 2. Let x be o(-3). Suppose 20 = -5*p - 5*i, 0 = 4*p - 3*i - x*i - 11. Let d be p/2*(-1 - 0). Which is bigger: 2 or d?
2
Suppose 2*h + 3*s = -3*h + 24, 5*h = -2*s + 21. Let i = 127 + -123. Is i > h?
True
Let g = -4 - -11. Let x = g - 8. Do -3 and x have different values?
True
Let f(h) = -2*h - 12. Let b be f(-8). Suppose 0 = b*n + n. Suppose 2*p = p + 2. Are p and n equal?
False
Let i be ((-4)/6)/((-2)/(-3)). Let a be (-2)/(i/(2/(-4))). Suppose 6 = -x - 3*t, 4*t - 1 = 2*x + 1. Is x < a?
True
Suppose 1 - 5 = -2*o. Suppose 5*x + 60 = -3*i, -6*x + x = 5*i + 60. Let t = x - -14. Is t <= o?
True
Let x = 124/7 + -18. Suppose -3*q = -6*q. Which is bigger: q or x?
q
Let f be 0/1 - 804/(-16). Let r = f + -50. Is r at most -1?
False
Let h be 11/(-13) + 0 - -1. Which is greater: h or 0?
h
Let m = -261 + 12269/47. Is 0 smaller than m?
True
Let x be 56/(-48) - 1/2. Does -2 = x?
False
Let r(l) = l**2 + 10*l + 11. Let j(x) = -4*x**2 - 30*x - 33. Let h(n) = -2*j(n) - 7*r(n). Let g be h(11). Which is bigger: g or 1/2?
1/2
Let n(q) = -q**2 - 7*q - 6. Suppose 0 = -3*c + 2*g - 13, 2*g = -0*c - 2*c - 12. Let i be n(c). Suppose -2*v - 3 + i = -5*w, 8 = 2*w + 2*v. Are w and -2/9 equal?
False
Suppose 2*c = -4 + 2. Let r = 54 + -6. Let z be 4/r + 2/12. Which is bigger: z or c?
z
Let c be (-24)/42*(-14)/4. Suppose 9 = -5*p - x - 33, 0 = -c*x + 6. Is -1/2 >= p?
True
Let s be (-7)/(-14)*(1 + -1). Let g = 0.3 + -0.2. Is s less than or equal to g?
True
Let b be 4/((-30)/(-225) - (-4)/6). Let l(a) = -a**2 - 6*a - 5. Let m be l(-7). Let w be (-2)/3 - m/9. Is b at least as big as w?
True
Let c = 5.09 + -0.09. Let v = 5 - 11. Let t = v - -7. Which is greater: t or c?
c
Let v be (-136)/67 - (4 - 6). Let w = v + 221/670. Which is bigger: w or 0?
w
Let g = 13 + -15. Suppose -3*m = 3*c + 15, 8*m + c = 3*m - 29. Is g at least m?
True
Let o be (0 + 0)*5/10. Suppose 0*r - 4*r + 12 = o. Is 3 less than or equal to r?
True
Suppose 7*w - 30 = 2*w. Let g be (4/w)/((-4)/6). Which is bigger: -2/11 or g?
-2/11
Let l = -5 - -7.3. Let g = l - 0.3. Do 2 and g have different values?
False
Let p = -2/119 + 248/595. Is -20 not equal to p?
True
Let w be (-22)/55 - 8/(-5). Which is smaller: w or 2?
w
Suppose 0 = 3*f - 4*h + 13, -2*f + 3 = -5*h + 14. Suppose -k = -2*k - 1. Which is smaller: k or f?
f
Suppose 0 = -2*q - 0*q. Which is bigger: q or -1/9?
q
Let y = 4 + -1. Which is smaller: 1 or y?
1
Suppose -5*v + 3*a - 4 = 0, 2*v + a = -3*a + 14. Let j(d) = -d**3 + 6*d**2 - d + 4. Let q be j(6). Let b be 2*(-2)/q + 0. Is b at least v?
True
Suppose -5*z + 9 = -6. Suppose -z*a + 2 = -10. Is a less than 4?
False
Suppose -3*b = b - 20. Let g be -1 + 2 - 10/b. Are -3/2 and g non-equal?
True
Let z be 6/2*4/(-6). Let q = z + 0. Is q greater than or equal to -1?
False
Let c be (1 + 0)/1*1. Let s be 15/(-6) - c/2. Suppose 22 = -4*h - j + 1, 4*h + 23 = -3*j. Which is bigger: h or s?
s
Suppose 9 = 5*v - 2*m - 106, -3*v + 3*m + 78 = 0. Let u be (6/21)/((-45)/v). Is 0 at least u?
True
Let o be -9 + 11 + (-4)/6. Which is greater: o or 1?
o
Let f = -27 - -12. Which is smaller: -16 or f?
-16
Let a be (-2)/(-14) - 50/(-630). Is a greater than or equal to 0?
True
Let u be (-5768)/48 + 2/12. Let s = -604/5 - u. Is 0.1 >= s?
True
Suppose -10*c + 13*c - 3 = 0. Which is smaller: c or 2/13?
2/13
Let l = 163 + -147. Is -1/5 >= l?
False
Let h be 2/6 + (-56)/6. Let a = 13 + h. Let t = 28/57 + -3/19. Is t greater than a?
False
Let w = -92 - -1194/13. Is -0.1 > w?
True
Let m(y) = y**3 - 5*y**2 - 4*y - 1. Let g be m(6). Suppose 2*q + 1 = -g. Which is bigger: -5 or q?
-5
Let w = -9/100 - 4/25. Does w = -5?
False
Let g = 13 + -7. Let v(a) = -a**3 + 6*a**2 - a + 5. Let t be v(g). Let z = 2 + -2. Does z = t?
False
Let b = 127 + -126.99. Is b smaller than 0.02?
True
Suppose 3*h - 28 = -5*c, -5*h + 37 = 4*c + 12. Is 2/149 greater than h?
False
Let v = 4 + -4. Let n be v*(0 - (-2)/(-2)). Suppose -c = y - 1, n = y + 2*y - 3*c - 3. Which is smaller: 2 or y?
y
Let k = -5.8 + -1.2. Let n = k - -9. Which is smaller: -1 or n?
-1
Suppose -5*h = 3*x + 2, 0 = 3*x - 3. Is 1 greater than h?
True
Let b = 0.4 - -5.6. Let g = -12 + b. Let p = g + 6. Which is smaller: 2/9 or p?
p
Suppose -2*s = -0*s + o + 400, 5*o = -3*s - 607. Let q = 592/3 + s. Which is smaller: -1 or q?
q
Suppose -3*l = 5*o - 3*o - 10, -3*l = 3*o - 9. Suppose 0 = -5*x - 6 - 4. Let g = 5 + x. Which is smaller: g or l?
g
Suppose p = -3*p - 12. Let k(d) = -d**3 - 4*d**2 - 2*d + 3. Let q be k(p). Let a be 1*(-2 + q) - -4. Which is greater: 3 or a?
3
Suppose -l = -2*q + 6, 0 = 5*q - 3*l - 0*l - 13. Let r = q - 6. Is r bigger than 0?
False
Let o = -6 - -6. Suppose 0 = -o*c - 4*c. Which is smaller: 1/5 or c?
c
Suppose 2*l + l = 15. Suppose 3*z - l*z - 4 = 0. Which is smaller: z or -0.5?
z
Let h = 7 - 6. Let z = -8 + h. Which is smaller: z or -6?
z
Let z(u) = 5*u**3 + 2*u - 1. Let b be z(1). Let y be 12/(-40)*5/b. Which is bigger: y or -1?
y
Let g be (-4)/(-22)*50/(-12). Let c = 1/11 + g. Let p(m) = m + 3. Let o be p(-5). Which is bigger: c or o?
c
Let a be 4/(-1) + -2 + 13 + -3. Which is smaller: a or 5?
a
Let s = -31 - -125/4. Let m = s + 3/20. Which is smaller: 1 or m?
m
Let y be 3 + -3 + (-380514)/905960. Let s = y + 88/2059. Let j = s + -1/44. Is -1 > j?
False
Let w(s) = -s - 10. Let g(b) = -b - 9. Let l(u) = 6*g(u) - 5*w(u). Suppose -k + 1 = 6. Let a be l(k). Is 2/9 at least a?
False
Let g = 1.29 - 0.29. Which is smaller: -50 or g?
-50
Let o be (14 - 2)/(-6) - -3. Which is smaller: -3/14 or o?
-3/14
Let q = -0.21 - -0.2. Let i = q + -0.19. Is i != 0?
True
Let k(g) = g**2. Let b(s) = 4*s**2 - s. Let h(j) = -2*b(j) + 9*k(j). Suppose -6 + 12 = -3*w. Let i be h(w). Is i not equal to -1/6?
True
Suppose -4*y + 6 = -y. Let z be (-4)/(-1) - y/(-1). Let f be 3/(-6)*(z + -4). Is f less than 2/15?
True
Let g = 0.61 - -0.09. Let d = g + -1. Let f = 0.28 - 0.08. Are f and d nonequal?
True
Let s(p) = -p**3 + 3*p**2 + p + 17. Let u be s(4). Are u and 4 equal?
False
Suppose -1379 = -5*b + 536. Let w = -163552/11 - -2851983/187. Let u = b - w. Which is smaller: u or 1?
u
Suppose 3*i = -5*w + 49, i + w = 18 - 5. Let p(b) = 6 - 8*b + 5*b**3 + i*b**2 - 3*b**3 - 3*b**3. Let l be p(7). Is l less than 0?
True
Let s be (-3843)/(-14) + 2/(-4). Let n = -3564/13 + s. Is n at most -2?
False
Let t = 9033/11 + -825. Is -3 at least as big as t?
True
Let o = 0.03 + -1.03. Which is smaller: -31/4 or o?
-31/4
Let p = -0.2 + 0.33. Which is bigger: p or -1?
p
Suppose -4*i + i = -3. Let q = 1/239 + -483/1195. Which is smaller: i or q?
q
Let a = -51297/869 - 91/79. Let o = -60 - a. Which is bigger: o or 0?
o
Suppose -9 = 5*i + 21. Let q be (1/(-6))/(1/i). Is q != 1/20?
True
Suppose 3*j - 53 = -5*t, -5*j + 63 = 3*t - t. Does j = 4?
False
Let h be (-2 - -2) + 6/8. Is 1 bigger than h?
True
Let u(n) be the second derivative of n**3/6 + 5*n**2/2 + 2*n. Let m be u(0). Is 0.1 < m?
True
Let b(t) = t**3 + 3*t**2 - 4*t - 3. Let k be b(-4). Which is smaller: -5 or k?
-5
Let o(r) = 4*r + 3. Let d be o(-3). Let a = d + 3. Let w be 1 + 2/(-8)*3. Which is smaller: a or w?
a
Suppose 13*g - 8*g = 30. Is g bigger than 17/3?
True
Let m be (-2)/3 - (-24)/36. Is m > 0?
False
Let o be (-7 + -3)/(3 - 2). Let p(b) = b**3 + 10*b**2 + 2. Let d be p(o). Let i be 10 - d - 1*3. Does i = 6?
False
Let c = -6 - -4. Let d be 20/6*12/(-32). Which is smaller: c or d?
c
Let c = 1.1 + 5.9. Let h = 7.4 - c. Which is greater: 1 or h?
1
Let u(w) = w**3 - 6*w**2 - 9*w + 8. Let a be u(7).