 o - 41/8. Which is smaller: a or 0?
0
Let m be (-26)/6 + 4/(-6). Suppose -4*o + 79 = -13. Suppose 0 = -6*r - o - 13. Are r and m nonequal?
True
Let n(j) = 11*j**3 + 2*j**2 + 2*j**2 + 5*j - 16*j**3 + 4*j**3. Let y be n(5). Is y bigger than 3/8?
False
Suppose -5*p = -2*p. Let j(x) = -x + 3. Let i(n) = 3*n - 7. Let r(k) = -2*i(k) - 5*j(k). Let z be r(p). Which is smaller: 0 or z?
z
Let f = 1 - 5. Let w = f - -4. Let o = 1.5 - 1.3. Is o not equal to w?
True
Let w = 75 - 70. Are w and 6 nonequal?
True
Suppose 0 = 2*t - 2*f + 4, 6*t - 2*t + 2*f - 22 = 0. Suppose 1 - t = -w. Let g = w - 1. Which is bigger: g or 2?
2
Let r = -2 + -7/12. Let k be -1 + 48/9 + -2. Let m = k + r. Which is bigger: -1 or m?
m
Let m = -0.108 - -0.008. Which is smaller: m or -11?
-11
Let a = -7 + 4. Let m = 128 + -129. Is a equal to m?
False
Let w = -0.3 + 0.3. Let i = -0.2 + w. Is -0.2 at most i?
True
Let k be 3 + (-3 + -1)/2. Suppose -p + 2*p + 1 = 0. Let i = p - 0. Do i and k have the same value?
False
Suppose 0 = 3*j - 4*k - 22, -3*j + 5*k = 2*j - 35. Let z be 2/6 - 2/j. Which is bigger: z or -2/13?
z
Let r be -1 - (4/(-3))/2. Suppose -2*u + 16 = 3*f, -5*u = 4*f - 23 - 10. Suppose 2*x + 0*x = -2*a, f*x = 0. Are r and a equal?
False
Let o = -3.4 + 2.1. Let u = o + -0.7. Is u bigger than -2/9?
False
Let g = -2.04 - -0.04. Which is smaller: g or 1/4?
g
Let a(x) = -x**3 - 3*x**2 - 5*x - 5. Let r be a(-2). Suppose 0 = -3*n - 0 + 18. Suppose -i + 1 = n, -b + 26 = -5*i. Is r >= b?
True
Let j be 8/16 - 1/2. Let t be (1 - 0/3)*j. Is 0 less than t?
False
Suppose 22 = 4*o + 6. Let l = 0 + o. Suppose -a + l - 3 = 0. Which is smaller: 2 or a?
a
Let f(w) = -w - 6. Let k be f(-8). Suppose o - 5 = k. Suppose 1 - o = 3*j. Which is smaller: -1 or j?
j
Let s be ((-2)/(-5))/((-5)/(-5 - -10)). Let f = 3 - 2. Is s at least f?
False
Suppose -2*d + 1 = -4*k + 3*k, -29 = 2*d + 5*k. Let s(u) = -3*u - 1. Let j be s(d). Is 5 at most as big as j?
True
Let h = 5 - -4. Let n = h + -10. Which is greater: n or 2?
2
Suppose -2*y = -6*y + 12. Let j = -19 - -21. Is j less than y?
True
Let z = 65.2 + -60. Let r = z + -0.2. Let h = 4.9 - r. Is -2/15 > h?
False
Suppose 3*n - 4*h - 22 = 0, 2*n - 4*h = 5*n - 14. Let a = -3 + n. Let v be (3 + a/(-1))/1. Which is bigger: 1 or v?
1
Suppose -3*o = o. Let r be (9 + -5)*(-1)/(-2). Let p be (-1 + r)/(5/15). Which is greater: o or p?
p
Let v = -3 - -3.3. Let d = v - 0.33. Let l = d - 0.17. Which is greater: -2 or l?
l
Let p be 3/12 - (-105)/(-20). Which is smaller: -11/2 or p?
-11/2
Let g be ((-8)/896)/((-2)/(-428)). Let y = 16/7 + g. Which is smaller: -1 or y?
-1
Let f = -12.7 - -12. Let n = 31/14 + -5/2. Which is greater: n or f?
n
Let f be (-5 + 5)/(2 - 3). Which is smaller: -0.1 or f?
-0.1
Let i(l) = l**3 + l**2 + l + 13. Let g be i(0). Suppose -a = r - 12, 0 = -2*a - 4 - 0. Which is smaller: g or r?
g
Let x = 1702/5 + -317. Let b = x - 23. Which is smaller: -1 or b?
-1
Let r be (8/6)/(4/18). Suppose 0 = -3*m + 9 + r. Let f = -3 + m. Is f at least as big as 3?
False
Let f = 1 - 2. Let y = -1 + 2. Let u be 19/(-39) - y/(-3). Which is smaller: f or u?
f
Let a = 48 + -34. Which is smaller: 12 or a?
12
Suppose -3*w - 20 = -5*w. Let q = -7 + w. Suppose 0 = -q*f - 1 - 5. Is f <= -2?
True
Let i = -0.1 + 0. Let c = i + -0.3. Let k = 0.4 + c. Is 0 at most k?
True
Let f be -4 + (-3)/(-3)*-1. Do f and -2 have different values?
True
Let g be (0/(-1))/(-1 - 1). Suppose -x + g*j + 3*j + 3 = 0, -4*j - 4 = -4*x. Is x greater than or equal to 2?
False
Let v = 1 + -4. Let p = v - -3. Is p greater than or equal to 1?
False
Let d = -0.058 - 0.142. Which is greater: d or -17?
d
Suppose 7 + 4 = -5*k + 3*b, 3*k - 3*b + 9 = 0. Let t be (12/10)/(4/10). Suppose u - 4*f = 20, 5*u - 20 = f + t*f. Are u and k equal?
False
Let f = -67/13 + 5. Let d = 3 + -3. Is d at least f?
True
Suppose 0 = 2*t - 17 + 19. Let u = -1585/3 - -329671/624. Let b = u + 35/208. Are b and t non-equal?
True
Let x(c) = 2*c - 2. Let f be x(2). Suppose g - f*a + 7*a + 7 = 0, -3*a = 3. Let j = -38 - -40. Which is bigger: g or j?
j
Let x = 0 + 10. Let m = x - 14. Let z = m + 4.2. Is z < -2/5?
False
Let r(y) = -y**3 + y**2 + 2*y + 1. Let g be r(-1). Let c be g/(1/2) + -4. Suppose -3*l + 12 = 0, 3*x = -l - l + 5. Which is smaller: x or c?
c
Let l = 15524/14279 + -128/131. Let o = -280/1417 - l. Is o not equal to -1?
True
Suppose k + h + 9 = 3*h, -4*h = -4*k - 24. Is k < -20/11?
True
Let a(j) be the second derivative of -j**3/6 - j**2/2 - 2*j. Let t(f) = -f + 4. Let q(n) = a(n) + t(n). Let v be q(3). Which is bigger: v or -4?
v
Let c = -32 - -31. Is 1/8 at most as big as c?
False
Let a = 14.1 + -16.5. Which is smaller: a or -2?
a
Let r be (1 + -3)*(-3)/42. Which is bigger: r or 0?
r
Let r be (-1 - -1) + -1 - -6. Let o(g) = g**2 - 6*g + 7. Let k be o(r). Let l be (40/(-18) - -2)*-6. Is k > l?
True
Let q(a) = a**2 - 3*a + 2. Let d be q(2). Let y be ((-15)/3)/(-1 - d). Suppose 2 = -y*m + 7. Which is greater: 0 or m?
m
Suppose -4*u - 20 = 5*a, 5*u + 28 = -a + 3. Which is smaller: a or 3/7?
a
Let n = -6.9 - -7. Which is greater: n or -0.6?
n
Let d be 2 - (109 + (-4 - -1)). Let q = 66 + d. Let k be (q/(-13) - 3)*-2. Which is smaller: k or 0?
0
Let h = 28 - 6. Are h and 19 unequal?
True
Let t(g) = -g**3 + 8*g**2 + 10*g - 9. Let a be t(9). Is 5 equal to a?
False
Let l(i) = -i**2 - 16*i - 29. Let d be l(-14). Is 2 less than d?
False
Suppose k + 3*h = -14, h + 0*h - 6 = 5*k. Let g be (42/12)/(1/k). Is -8 less than g?
True
Let i = -2.2 - -1. Let k = -1.3 - i. Which is smaller: k or 4?
k
Let w(c) = c**3 + 8*c**2 - c - 7. Suppose -4*l + 40 = -9*l. Let b be w(l). Which is greater: 0 or b?
b
Let d = 4 - 2. Which is smaller: d or 6/5?
6/5
Suppose 0 = 2*i - 0*i - 18. Let j be (i/12)/((-174)/(-16)). Is j smaller than 1?
True
Let n be (2 + 4/(-3 + 2))/(-9). Which is bigger: 0.3 or n?
0.3
Let s = -5 + 5. Let p = 0.49 + 2.51. Is p at least as big as s?
True
Let t = -852/2105 + 2/421. Which is smaller: 53 or t?
t
Let k = 67 + -66. Which is greater: k or -0.8?
k
Let w(d) = 6*d - 1. Let h be w(1). Which is smaller: h or 3?
3
Let o = 4.08 + -0.08. Let l = -4.2 + o. Let z = l - 0. Is -1 equal to z?
False
Let u(f) = -f**3 - 7*f**2 + 9*f + 10. Let s be u(-8). Suppose s*i - 11 = -m, -m + 0 = -1. Suppose 0 = n + i - 1. Is -3 bigger than n?
True
Suppose 7*i - 3*i + 12 = 0. Let w be (1/i)/((-5)/5). Is -1 > w?
False
Let a = 1651813/9 - 183291. Let f = 244 - a. Let g = -12 + 11. Is f < g?
False
Suppose 8*v - 2 = 6*v. Let c(n) = -3*n. Let s be c(6). Let g be ((-38)/s - 2)*3. Which is smaller: v or g?
g
Let q = 22.2 - 22. Which is greater: q or 0?
q
Let n = 10168/7 - 1459. Let a = n - -197/35. Which is greater: a or 0?
0
Suppose -2*n = -11 - 19. Let z be (-3)/15 - 17/n. Suppose 0 = -4*o + o - 3. Are z and o nonequal?
True
Let b = 5 + -8. Is -0.1 at least b?
True
Let w = 5 + -1. Suppose 0 = -o + w*o + 3. Is 0 smaller than o?
False
Let n = 22 - 22.1. Is n at least as big as 12?
False
Let l be (90/6)/((-2)/4). Is l >= -30?
True
Suppose 4*s = 2*t + 8, 3*s + 0*s - 15 = 3*t. Let v = t - -3. Let c be (-1)/((-14)/8 - -2). Is v at least c?
True
Let l = 7.9 + 0.1. Let i = -10 + l. Let c = -47/21 - -18/7. Is i less than or equal to c?
True
Let n = 21/4 - 353/52. Is n less than -2?
False
Let r = 0.4 + -0.5. Which is greater: r or -2?
r
Let b = -0.107 - 0.893. Is -1/88 greater than b?
True
Let u(i) = -i**3 + 6*i**2 - 5*i. Suppose -3*a - 3*b + 9 = -b, -5*b = a + 10. Let p be u(a). Suppose p = 3*n - n. Is -1 less than n?
True
Suppose -4*v - 22 = -4*i + 2*i, -i = -v - 6. Which is smaller: i or -1/6?
-1/6
Let g = 18 - 15. Suppose g*h + 10 = h. Is -5 > h?
False
Suppose -25 = -z - 5. Let g be -2 + -1 + 92/z. Which is bigger: 2 or g?
2
Let k = -52 + 44. Is -6 less than or equal to k?
False
Suppose 6*r - 20 = 2*r. Suppose 4*v = -r*g - 26, g - 2*g = -5*v - 18. Which is bigger: 0 or g?
0
Let t be -4 + 1 - (20 - 22). Is 1/23 at most as big as t?
False
Suppose 4*v - 13 = 3*v - 4*u, 0 = 5*v + 2*u - 11. Let b be 24/16*(-3 + v). Is b <= -3?
True
Suppose -5*w + 1194 = 5*o - 2*w, 0 = -5*o + 2*w + 1179. Let q be 1/2 + o/(-482). Let t = -974/1205 + q. Which is smaller: t or -2?
-2
Suppose z = -2*z + 72. Suppose 2*c - 4*v - z = 0, -2*c - 2*c = 5*v - 9. Which is greater: c or 0?
c
Suppose 