 = -5*g + 8. Let c be m(6). Let r be c/18 + 0 + 1. Let j(h) = h**2 - 2*h. Let y be j(2). Is r at least as big as y?
False
Let c = 13 + -14. Which is bigger: c or 2/9?
2/9
Let c = 4.8 - 5. Are c and -5/4 non-equal?
True
Let m = 3 + -4. Let f = -79/4 + 20. Which is greater: f or m?
f
Let g = 2 - -6. Let q(w) = -w - 2. Let b be q(-9). Is b less than g?
True
Suppose 0*x = -2*x + 4. Let b = x - 2. Let a be b*(-1)/(2 - 0). Which is greater: -2/9 or a?
a
Suppose 3*v = -4*p + 10 - 2, v = -2*p + 6. Suppose p*b = 2 - 7. Which is smaller: b or -3/4?
b
Let q = 7/260 + -89/5720. Is 1 bigger than q?
True
Suppose 4*g = 5*t - 11, 0*t = -g + 2*t - 2. Let s = -4 - g. Which is greater: s or 7/6?
7/6
Suppose -3*c + 27 + 6 = 0. Suppose 5*d = -9 - c. Is -4 greater than or equal to d?
True
Suppose 0 = 2*v - 0*v - 4. Let f be 4/(((-52)/(-12))/1 - 3). Which is greater: v or f?
f
Let l be (2 + 2 - 4)/2. Let r(w) = w - 1. Let g be r(1). Suppose 2*m + g*m + 4 = 0. Is m >= l?
False
Let d = 27/46 - -547/322. Is -2/3 at most d?
True
Let c(o) = 51101*o**3 - 2*o + 1. Let p be c(1). Let m = 411061/8 - p. Let l = 283 - m. Is 1 smaller than l?
False
Suppose -3*d - 48 = -3*s, -17 + 5 = 3*d. Let b be 4/(-18)*(-9)/s. Is 0 less than or equal to b?
True
Let b = -4 + 3.97. Let n = 0.03 + b. Which is smaller: n or -0.1?
-0.1
Let i = -13 + 21. Let m = i + -8. Does 2 = m?
False
Let t = 5/13 + -7/52. Suppose 13*d = 14*d. Which is bigger: d or t?
t
Let c = 7.921 + -7.9. Which is greater: 2/5 or c?
2/5
Let d = 0.05 - 0.05. Let x = -0.2 - d. Which is bigger: 0 or x?
0
Let b = -5 + 6. Let j = 0 - b. Let k = 1/53 + 99/371. Which is smaller: k or j?
j
Let q = 16 - 35. Which is bigger: q or 1?
1
Let o = -1 + -1. Which is smaller: 4 or o?
o
Let n = 5.5 - 4.42. Let x = -0.12 - -0.04. Let b = n + x. Which is smaller: 3 or b?
b
Let g be (-123)/39 - (-4)/26. Which is bigger: g or -17/5?
g
Let s(g) = g**3 - 21*g**2 - g + 23. Let z be s(21). Which is greater: z or -23?
z
Suppose -3*j - 5 = 5*n - 2, -5*j = 5. Suppose n*m + m = 5*r - 20, r + 22 = -5*m. Is -5 at most m?
True
Let f = 19 - 23. Let z = -1 + -1. Is f at least as big as z?
False
Suppose -n + 5*c + 4 = 0, 4 = -n - n - 2*c. Which is greater: 4 or n?
4
Let p = -31 - -34. Which is bigger: p or -2?
p
Let n(h) = -h - 6. Let c = -21 - -13. Let a be n(c). Suppose -a*z + 5*t - 12 = -2, -3*z = 2*t - 4. Which is bigger: 2/3 or z?
2/3
Let p be (-78)/(-2 - 1) - 0/7. Which is greater: p or 27?
27
Let k = -0.6 - 6.4. Let x = 0.62 + 8.38. Let i = k + x. Is i at least as big as 0?
True
Let l be 15/18 - 15/18. Which is greater: 1/101 or l?
1/101
Let t = 1108/7 - 158. Let c = 1.7 - -0.3. Let k = c + -1.97. Is t at least k?
True
Let v(h) = -h**3 + h - 2*h + 8 + 3 - 12. Let c(y) = -y**2 + 1. Let t be c(1). Let u be v(t). Which is bigger: 0 or u?
0
Let w = 8 - 4. Suppose w*n = -n. Suppose -d + n - 4 = 0. Is d bigger than -4?
False
Let a be 9/(-30)*10/4. Let o(d) = 3*d**2 - 1 + 2*d**2 - d**3 - d**2 - 8*d**2. Let y be o(-4). Is a not equal to y?
True
Let l be (-866)/9 + 2/9. Let w = 284/3 + l. Which is bigger: w or 0?
0
Let m = 41 - 83/2. Is m less than or equal to 1/135?
True
Let s be 1*((-651)/(-12) - -2). Let q = -56 + s. Suppose -2*h + 2 = -0*h. Is h greater than q?
True
Let i = 8 + -5. Suppose i*g = c + 1, -4*g - 3*c = 2*c - 14. Are g and 5/7 equal?
False
Let o be (2/60)/(1/4). Suppose 5*k = -15, -k - 1 - 3 = -r. Which is bigger: o or r?
r
Let y be (28/6)/((-4)/18). Let g be ((-2)/y*6)/(-2). Which is greater: -2 or g?
g
Suppose -5*d = -3*r + 91, -2*r + 24 = d + 3*d. Let h be (-4)/r - (-12)/(-176). Are h and 0 equal?
False
Let f(z) = 3*z**2. Let k be f(1). Let w = -48 - -52. Which is greater: w or k?
w
Suppose 4*w - 30 = 2*f, 0 = -f + 2*f - 1. Let z = w - 8. Is z at least 1/12?
False
Let l(p) be the second derivative of -p + 1/6*p**3 + 0 - p**2 + 1/12*p**4. Let s be l(-2). Which is smaller: s or -2/5?
-2/5
Let h(g) = g**3 - 6*g**2 + 2*g - 7. Let w be h(6). Suppose -w*d + 2*k = -21, 2*d - 6 = 4*d + 4*k. Which is bigger: d or 4?
4
Let m = -8 + 8. Suppose 2*q + m - 4 = 0. Is q at least as big as 4?
False
Suppose -2*t = -2*d - 2, 4*d + 3*t = 5*d + 3. Let x be (-1 + d)*1/13. Is x at least as big as 0?
False
Let l = 0.6 - 4.6. Let u = 23 + -17. Let s = l + u. Which is smaller: -1 or s?
-1
Let k(n) = -n**2 - 5*n + 4. Let l be k(-5). Let b = 8 - l. Suppose d = b*s - 11, -2*s + 4 = 3*s + 2*d. Which is smaller: s or -1?
-1
Let g(a) be the first derivative of -a**3/3 - 3*a**2/2 + 3. Let w(d) = -3*d**3 + d**2 - d. Let o be w(1). Let k be g(o). Is k at least as big as 0?
True
Let q(a) = -a**3 - 13*a**2 + 2*a + 10. Let o be q(-13). Are -18 and o nonequal?
True
Let v = -17 - -27. Which is smaller: v or -1?
-1
Let m be 2/(-2) + 6/(-3). Let j(l) = l**3 - 6*l**2 + l - 5. Let t be j(6). Let p = t + -4. Is p at least as big as m?
True
Let z be (2/2)/((-2)/(-4)). Let a be (4/2)/(1/z). Let r be (2/2 - 4)*-1. Which is greater: r or a?
a
Let t(l) = -5*l - 8. Let o(x) = -11*x - 17. Let p(r) = -2*o(r) + 5*t(r). Let n be p(-11). Suppose 11 - n = -4*d. Is d at most 3?
False
Let d = -2 + 2. Let c(k) = k**3 - k**2 + k - 2. Let i be c(d). Let y be (i/(-6))/((-5)/6). Is -2/7 > y?
True
Let r = -20 + 19.9. Which is bigger: 12 or r?
12
Let b(u) = u + 6. Let t be b(0). Suppose -15 = 3*h - 6*h. Which is greater: t or h?
t
Let m = -1325/7 - -189. Which is greater: 2 or m?
2
Let x = -4 + 4. Which is smaller: x or 9?
x
Let g(p) = -p**3 - 23*p**2 - 26. Let t be g(-23). Which is bigger: t or -51/2?
-51/2
Let q be (1 - 2)*(-18)/2. Let i(p) = -p**3 + 10*p**2 - 9*p + 4. Let d be i(q). Let r = 2 + -2. Is d < r?
False
Let u = -1 + 3. Let a be (-1*u)/4*-4. Let k = -3/8 - -7/8. Is k at most a?
True
Let y = -34 + 14. Let j = 13 + y. Which is smaller: j or -6?
j
Let g = 2 + 0. Let p = 5 - g. Are p and 3 unequal?
False
Let z = 3.99 + -4. Let d = -0.01 - z. Is d at most as big as 0?
True
Let a(d) = -d**3 - 7*d**2 + 9*d + 2. Let u be a(-8). Is -6 at least as big as u?
True
Suppose -3 = 3*u - 6. Is u smaller than 14/9?
True
Suppose 5*v - 70 = 5*j, -67 = -0*j + 5*j - 4*v. Let o = j - -5. Let f be (1/(-4))/(o/(-16)). Which is smaller: f or 1?
f
Let z = -10 - -11. Is z at most as big as 5?
True
Let u(r) = -r**2 + 9*r - 6. Let q be u(8). Suppose 4*c + y - 890 = 0, -y = q*c + 4*y - 454. Let w = c + -1557/7. Is w at most as big as -1?
False
Suppose -5*q + r - 14 = 0, q + 0*r - r = -6. Let w(v) = v**2 - 4*v - 7. Let m be w(5). Let j = m - q. Is j >= 2/13?
False
Let z be (-8)/30 - 4/10. Suppose 0 = -2*o + 3*o + 2. Do z and o have the same value?
False
Let g be 2 - (9 - (1 + 2)). Is -3 at least g?
True
Let p(o) = -2*o**2 + 6*o + 8. Let v be p(4). Suppose 3 = -3*l - t, 0*l - 3 = -2*l + t. Do l and v have different values?
False
Suppose 5*w - 2 = b + 3, b + w - 1 = 0. Suppose x - 8 = 3*g, -2*g - 2 + b = x. Let h be (-5)/15 - 13/(-3). Which is smaller: h or x?
x
Let g = -0.4 + -0.1. Let r = 1237/2 - 631. Let i = r - -12. Is g >= i?
True
Let i = 57 + -47. Which is smaller: -1 or i?
-1
Let f be ((-2)/468)/((-2)/(-158)). Let i = f - -3/26. Is i equal to -1?
False
Let q = -1/16 + 21/80. Which is smaller: q or -0.08?
-0.08
Let l(r) = r**3 - r**2 + 2*r + 7. Let x(k) = -2*k**3 + 3*k**2 - 4*k - 13. Let h(z) = -7*l(z) - 4*x(z). Let d be h(4). Is -5 != d?
False
Suppose -i = -1 + 5. Which is smaller: i or -1?
i
Let x be (2 - (4 + 1)) + 2. Which is smaller: -2/5 or x?
x
Suppose 2*n - 2*q = 1 + 19, 5*n = 4*q + 48. Suppose 0 = 3*c - 1 - n. Suppose -4*p + 3*m = 24, -c*m + 21 = -p - 2*p. Which is bigger: p or 0.1?
0.1
Let s(i) = i - 4. Let n(w) = w - 4. Let q(x) = -4*n(x) + 3*s(x). Let t be q(5). Which is bigger: 2/13 or t?
2/13
Let p = 25 + -21. Which is smaller: p or 2?
2
Let g = 374/1043 + 10/447. Is 0 at most g?
True
Let j = -3 + 7. Suppose -2*n = -n + 5*m - 19, -j*m = 5*n - 11. Which is smaller: -2 or n?
-2
Let z = 0 - -3. Suppose h - 5 = -z. Suppose 4*u = -r + 4, -5*r + 3*u - 3 = -0. Does h = r?
False
Suppose c = 3*w - 5, -2*c - w + 15 = c. Suppose 1 - 5 = -c*r. Is r greater than or equal to 2?
False
Let n = -0.9 + 1. Let g = 461.94 + -452. Let q = 10 - g. Are q and n nonequal?
True
Suppose 4*g - 5*l - 35 = 0, -g - 2*g - 3*l + 6 = 0. Suppose 4*k + b = 18 - 5, -g*b = -k + 19. Let w(h) = -h**3 + 4*h**2 + 2. Let n be w(k). Is n < 2?
Fal