+ 0 = 4*g - m. Is -3/76 greater than g?
False
Let n = 1/5 - -2/15. Let a = -6.99 - -7. Let u = a - 0.31. Is u at most as big as n?
True
Let f = 1.4 + 9.6. Let p = -13 + f. Which is greater: 1 or p?
1
Let o = 0.5 + -0.9. Let v = -15.6 - -17. Let c = o + v. Which is bigger: c or -1?
c
Let a = -34 - -25. Is -10 at most a?
True
Let g(o) = 3*o - 5. Let k be g(6). Suppose 4*h = k + 3. Suppose -h*i = -i. Which is smaller: i or -3/5?
-3/5
Let c be (-2)/13 + 134/26. Suppose 4*r - 4*n - 16 = 0, 6*n = c*n - 1. Suppose -h = r*h. Is h greater than or equal to 0?
True
Suppose 3*g - 19 - 5 = 0. Suppose -2*t - 8 = -5*d, -3*d = -0*t - 2*t - g. Suppose 9*m - 4*m = -2*s - 19, -m - 2*s - 7 = d. Which is smaller: m or -4?
-4
Let l = 40/11 + -629/176. Suppose -2*j = r + 4, r + j = 6*r - 13. Let t be r - (2 + (1 - 1)). Is l less than t?
False
Suppose -5*q + 4 = -4*l, 4*l + 5*q + 2 = -2. Do l and 4/11 have the same value?
False
Let r = 14 + -59. Let b be ((-9)/r)/((-1)/(-23)). Which is bigger: 4 or b?
b
Suppose 2*q - 12 + 4 = 0. Let u be q/(-15) + (-2)/(-3). Let b(a) = -a**3 + 8*a**2 - 6*a - 6. Let z be b(7). Which is smaller: u or z?
u
Let c = -1.99 - -0.19. Let f = 5.2 - c. Let j(b) = b + 10. Let d be j(-10). Which is bigger: f or d?
f
Let d be (-7)/(0 + -1 + 0). Suppose -2*m = 5*c + 2, 4*m = 4*c - d + 3. Let k = 3 - 2. Which is bigger: k or m?
k
Let w be 8/(-6)*-2*3. Suppose 3*g + d = -w, 0*d + 3*d + 10 = 5*g. Let c be (g - -4)*(-2)/3. Is -1 less than or equal to c?
False
Suppose 4 = -4*f - 52. Let i be 2/(-2*f/(-4)). Which is smaller: 0.1 or i?
i
Suppose 0 = -4*y - 7*m + 3*m + 64, -4*m - 21 = -y. Which is smaller: 16 or y?
16
Let x = -3 - -3. Let t = 11.1 - 11. Let n = t - x. Which is greater: n or 2/19?
2/19
Suppose 3*w - 12 = -4*l - 0*w, -3 = -l + 4*w. Suppose -l*p = 3*a - p, -4*a = -p + 11. Is a greater than or equal to 0?
False
Suppose -4*g = 4*v, -3*g - 2*v - 24 = -7*g. Let b(u) = u + 9. Let o be b(-7). Which is smaller: o or g?
o
Let k(y) = -y**2 + 7*y - 5. Let p be k(6). Suppose 2*b = 3*b + p. Which is smaller: 1/4 or b?
b
Suppose b = 4*b - 129. Suppose -42 = -4*d + 5*q, d + 2*d = -2*q + b. Which is greater: d or 12?
d
Let w = -1 + 0. Let i(a) = a**3 + 28*a**2 - a - 27. Let h be i(-28). Which is smaller: h or w?
w
Let n = -1.97 - 0.03. Let b = n + 3. Let p = b + 0. Which is smaller: p or -0.1?
-0.1
Let a = -4/15 - -31/60. Which is smaller: 0.2 or a?
0.2
Let m = -0.56 + -0.44. Which is bigger: -59 or m?
m
Let d(s) = 13*s - 6. Let g be d(6). Let k = g + -575/8. Suppose x + m = -4, -13 = 4*x + m + 2*m. Which is smaller: k or x?
x
Let v = 23 - 21. Suppose 2*m = 5*h - 18, 5*m + 17 + 5 = h. Suppose -2*l = r - 7, -5*r = l + h*l - 14. Is r greater than or equal to v?
False
Let z = -5 + 9. Let r be 6/(-54) - z/(-18). Does r = -1?
False
Suppose -2*u - 1 = -13. Let f(p) = p**3 - 5*p**2 - 7*p + 7. Let t be f(u). Suppose d + t = 2*d. Is -2/15 smaller than d?
True
Let s be -2*2/(-4)*-2. Let u be 0/(s/(-2) - 3). Is -2/15 < u?
True
Let z = -8 + 7.2. Let c = -0.2 + z. Let i = c - -0.7. Which is bigger: i or 2/5?
2/5
Let t(v) = -14*v**2 - 2*v - 2. Let j be t(-1). Is j < -14?
False
Let f = -50.923 - -51. Let r = f + 4.823. Let p = r - 5. Is p greater than 2?
False
Let k = -6 + 6.12. Which is bigger: k or -0.1?
k
Let m(j) = j**3 + 6*j**2 - 8*j - 1. Let l be m(-7). Are 7 and l equal?
False
Let d(s) = -s**2 + 6*s - 2. Let l be d(6). Which is greater: -3 or l?
l
Let n be (-2)/6*(-2)/(-3). Let x be ((-4)/(-5))/(-2) + (-52)/65. Which is bigger: n or x?
n
Suppose -6 = 10*p - 7*p. Is -4/7 at most p?
False
Let g = 36 + -32. Is g > -2?
True
Suppose 5*x - 3 = -8. Is -2/59 >= x?
True
Let p be 2/8*0 + 1. Do p and -2/55 have different values?
True
Let i(q) = -q**3 - q**2 - 1. Suppose -8 = 4*b + 2*c, 5*b - 5*c + 2*c = 12. Let k be i(b). Are k and -1 nonequal?
False
Let u be 2/70*310/4. Let a = 3595/2093 + -1/299. Let t = u - a. Which is greater: t or -1/4?
t
Let z = 691/143 - 54/11. Is -2 >= z?
False
Let b = -8 + 5. Let y(u) = u**3 + 6*u**2 + 4*u - 4. Let k be y(-5). Suppose n + 2 = -k. Are n and b equal?
True
Let a = 995/2 - 523. Let x = -25 - a. Which is greater: x or 0.1?
x
Let v = 5.8 - 6. Let a(b) = -b**2 + 13*b - 38. Let c be a(9). Are v and c non-equal?
True
Let r(m) = m**2 + 3*m - 2. Let g be r(-4). Suppose -k - 5*c - 3 = 0, 0 = g*k - 0*c + 3*c - 1. Suppose -k*j = 3*j. Is j < 1?
True
Suppose -5*j - 94 = -3*s, -j - 17 = s + 5. Is j at least -20?
True
Suppose -3*g = -7 + 1. Let u(s) = -s + 4. Let w be u(g). Suppose -3*q = w*q + 20. Which is smaller: q or -5?
-5
Let k = 10 + -9.91. Let z = 0.91 + k. Which is greater: -2/7 or z?
z
Let a be 4 - (-9 - 1)*-1. Is -6 bigger than a?
False
Let w be -1*(-3 + (2 - -2)). Let x be (-2)/(-5) + 1/(-5). Which is smaller: x or w?
w
Let m = -5425/1182 - -5/788. Let j = m + 371/60. Which is greater: -0.1 or j?
j
Let x = 11 - 9. Let g(l) = l**2 - 4*l + 3. Let i be g(x). Which is smaller: i or -1/7?
i
Let t(o) = -7*o**3 - 11*o**2 + 25*o + 7. Let f(n) = -10*n**3 - 17*n**2 + 37*n + 11. Let j(c) = 5*f(c) - 7*t(c). Let v be j(-9). Is v less than or equal to 1?
True
Suppose -4*h + 2*y - 77 = -h, -3*y = 2*h + 47. Is h <= -25?
True
Let z(q) = -q**2 - q + 5. Let t be z(0). Suppose 0 = -2*k + a, 4*k - k = 4*a - t. Let j be 1 + k + -5 + -1. Is -4 smaller than j?
False
Let i = 275 - 2195/8. Are i and 2 unequal?
True
Let g = 36 + -36. Does 45 = g?
False
Let a(q) be the third derivative of -q**5/60 - q**4/24 + q**3/3 + q**2. Let p be a(-2). Let x = -1/337 - -340/1011. Which is bigger: p or x?
x
Let z(v) = v - 11. Let s be z(9). Let x be s/(-6) - 4/12. Does 1 = x?
False
Let y be 0 + 5 - (-3 + 8). Suppose -n = -5*n. Is n not equal to y?
False
Let f = -4/135 - 496/1485. Are 1 and f nonequal?
True
Let b(v) = -v**3 - 7*v**2 + 8*v + 1. Let n be b(-8). Let w = -1 + n. Suppose w = -3*s + 5 - 2. Are s and 1 non-equal?
False
Let w(l) = -l**3 - 11*l**2 + l + 4. Let q be w(-11). Let z = q + 5. Is -6/11 smaller than z?
False
Let n be -6*(-2)/(-4)*3. Let o(r) = -r**3 - 8*r**2 + 10*r + 3. Let h be o(n). Is h != -6?
False
Let c = -32 + 27. Which is smaller: c or 0.1?
c
Let x = 0.11 - 0.01. Let m = 1 - 2. Is m equal to x?
False
Suppose t + 5*m = 11, 2*t + 4 = -2*m + 5*m. Let g be (-2)/(-6) - (-121)/33. Which is greater: g or t?
g
Let g = 799/2 - 389. Is 10 bigger than g?
False
Let z be 15/2*(-96)/300. Which is greater: -2 or z?
-2
Let v = 0.12 - -0.28. Is v at least -1?
True
Let z = -4 - -2. Let l = 9 + z. Are l and 7 unequal?
False
Let b = 9 + -7. Suppose -2 = -3*c - 4*z, 1 = -3*c - b*z - 1. Let l be (-1)/(-3) - 2/6. Which is smaller: c or l?
c
Suppose q = 2*a - 1, -5*a + q + 3*q = -4. Is 8/9 greater than or equal to a?
True
Let z = 45/2 + -22. Suppose 4*k + 0 - 4 = 0. Is k less than z?
False
Let l = -586/3 - -198. Is 3 greater than l?
True
Let m(z) = z + 1. Let q be m(-5). Let o = 6 + q. Suppose 2*b - 14 = -0*r - 4*r, 4*b = 4*r - 8. Is r bigger than o?
True
Let y = 8 - 10. Let s be (-4)/2 + (-2 - y). Which is greater: -4 or s?
s
Let f(q) = q**2 - 5*q + 6. Let u be f(4). Let r(d) = d. Let x be r(u). Suppose -68 = -4*y - 64. Are x and y nonequal?
True
Let y = 7/348 - 3/29. Which is smaller: y or 0?
y
Let l = 5.38 - 3.7. Let n = -0.22 - l. Let f = n + 2. Which is smaller: f or -0.2?
-0.2
Let b = -0.3 - -0.4. Let u = -2.32 + 0.49. Let y = u + 1.8. Are b and y unequal?
True
Let q be 3*1 - (-15 - -17). Which is bigger: q or 1/37?
q
Let k = 3.97 + 0.03. Let h = k - 5. Let n = 11 + -7. Is n != h?
True
Let v(i) = -i. Let a be v(-1). Let y(p) = -p - 8. Suppose 3*j + 3 = -0*j, 0 = -3*m + 5*j - 19. Let r be y(m). Are a and r equal?
False
Let w(p) = p**3 + 3*p**2 + 3*p + 2. Let j be w(-2). Is j equal to -1?
False
Let k = 18.6 - 19. Is k > 3?
False
Let f = 4 - 4. Let h = 2/55 - -4/11. Is f > h?
False
Suppose -3*d - 5*i = -21, 8*i - 7 = -d + 9*i. Let c(s) = s**2 + 3. Let k be c(-3). Let o = -6 + k. Which is smaller: o or d?
o
Let q = -18 - -62. Is 44 less than q?
False
Let f = -0.73 + 0.73. Let u = -5 - -5.3. Let l = 0.26 - u. Which is bigger: l or f?
f
Let a be (-6)/(-9)*(-621)/42. Let r = 10 + a. Is -1 < r?
True
Let m = -103.5 + -18.5. Which is bigger: 0.1 or m?
0.1
Let o be (5 + -4)/(0 + 4). Is 2 at most as big as o?
False
Let l = 0.2 - -0.2. Let y = 0.05 - 0.55. Let i = l + y. Which is s