4)/(-30))/(m/33). Are 3 and i unequal?
True
Suppose 4*h = -2*h + 126. Is h at most 21?
True
Let j(q) = q + 12. Let h be j(-8). Suppose -h*i + 1 = -7. Let x = 4 - 3. Is i at most as big as x?
False
Suppose 3*z - 2*y - 19 = 0, z = 2*y + 2*y + 13. Suppose -2*n = -z*x + 14, x - 5*x + 13 = -n. Suppose x*p + 11 = 35. Is 7 not equal to p?
True
Let l = 122/3 - 40. Let m be (-571)/12 + 6/(-9). Let x = m - -48. Which is smaller: l or x?
x
Let n = -5/41 + 117/287. Which is greater: -1 or n?
n
Let i(p) = -p**3 - 5*p**2 + 1. Let l be i(-5). Let v be 10/6*l/5. Is v at least 2/9?
True
Let l be 6/8 + (-1)/1. Is l at most 0?
True
Let b = -185/6 - -31. Let i = -7.2 - -9. Let h = -2 + i. Is h greater than or equal to b?
False
Let m = -53 - -54. Is 2/69 greater than or equal to m?
False
Let g(m) = -m**3 - 6*m**2 - 6*m - 7. Let z be g(-5). Let c be z/(-8) - 10/8. Let a = c - -1. Is a at least 2/3?
False
Let x(y) = y + 3. Let k be -1 - (-1 - 2 - -3). Let j be x(k). Is 2 > j?
False
Let a be 58*-2*(-1)/(-48). Let q = 11/4 + a. Suppose -3*t = 2*m + 16, 4*m + 3*t - 6*t = -14. Which is greater: q or m?
q
Let o be (-3 + 2)*(1 - 2). Let j be (o - 1) + (-6)/(-15). Let w be 4/(-6)*(-3)/(-5). Are j and w nonequal?
True
Suppose t - 17 = 5. Suppose -5*n + 4*u = -0*u - t, -2*u = 4*n - 2. Which is bigger: n or -0.1?
n
Suppose -8 = 3*d - 4*s + 2, 3*d - s + 7 = 0. Suppose 2*l - 4*t - 10 = 0, 3*l + 0*l - 9 = 4*t. Is d smaller than l?
True
Let n = -1.8 - -8.8. Let h = n - 7. Which is greater: -3 or h?
h
Suppose 3*n + 16 = -n, -q = -3*n - 13. Let l be ((-489)/4 - -2)*1. Let h = 121 + l. Which is smaller: q or h?
h
Let t = -2/5 - -1/15. Which is greater: -1/8 or t?
-1/8
Let r(c) = -2*c**2 + 3*c**2 - 1 + 1 + 5 - 7*c. Let a be r(5). Let f = a - -13/3. Which is greater: f or -1?
f
Let n = -2 - -3. Let q(p) = -4*p**2 + p - 1. Let s be q(n). Let w be s/(-2)*5/(-10). Which is smaller: -1/3 or w?
w
Suppose 2 = -4*m + 10. Suppose -4*b = 5*c + 5, -m*c + 0*c = 5*b + 2. Which is bigger: 0.12 or c?
0.12
Let q be (6*4)/2*1. Suppose 5*i = -u + q, -2*i - 3*u - u = -12. Suppose 0 = 4*c + c. Is i equal to c?
False
Let h(g) = -g**3 - 4*g**2 - 3*g. Let j(s) = -4*s**2 - 3 - s**3 - 4*s + 4*s. Let q be j(-4). Let w be h(q). Which is smaller: w or 3/7?
w
Suppose 4*i = 8 - 12. Which is bigger: 2/81 or i?
2/81
Let z = -3/16 - 7/48. Is -1 <= z?
True
Let i = -12.99 + 13. Let n = -14.2 + 13.19. Let s = i + n. Is s at least as big as -1?
True
Let u be (30/(-8) - -4 - 0)/1. Is 31 < u?
False
Let v be (-2 + (-4)/4)/(-6). Does v = -20?
False
Let m be ((-4)/(-92) + 0)*6. Which is smaller: 0 or m?
0
Let x = 6 - 6.4. Let d = x - -0.6. Let p be (2/5)/((-14)/(-10)). Which is bigger: p or d?
p
Suppose 0*b + b = 4. Suppose b*h = -i - 3 - 2, 0 = h - i. Let d be 3/(6/(-4)) + h. Which is greater: -4 or d?
d
Suppose 12 = -g + c - 26, 3*c - 153 = 4*g. Is -38 greater than g?
True
Let n(g) be the third derivative of -g**7/5040 + g**6/80 + g**5/60 - g**2. Let t(y) be the third derivative of n(y). Let q be t(7). Is q < 2?
False
Let i = -27 + 52. Is 22 greater than i?
False
Let h(g) = -g**2 - 3*g - 1. Let o be h(-2). Let u(n) = n**3 - 2*n**2 + n - 1. Let d be u(2). Is o less than or equal to d?
True
Let k be 1 - ((-8)/(-2) - 1). Let t be 1/k + 221/4. Let i = t - 55. Is 1 >= i?
True
Let g = 9.77 - -0.23. Let c = g + -18. Let q = 16 + -15. Is q at least as big as c?
True
Let c(p) = -7*p - 13. Let k be c(-4). Which is greater: 14 or k?
k
Let y(t) = -t**3 + 5*t**2 + t - 1. Let w be y(5). Let a(q) = q**2 - 9*q + 8. Let j be a(7). Let v = j - -9. Which is bigger: w or v?
w
Let j = -4 - -2. Let y be j/(-9) - 58/18. Is -5 equal to y?
False
Let w be 5*(0 + 152/(-100)). Let d = w - -8. Which is smaller: d or -1/3?
-1/3
Let k(j) = -j**3 + 3*j**2 + 3*j - 4. Let q be k(3). Suppose -6*g + g + 30 = -2*z, -g - z = -6. Which is smaller: q or g?
q
Let i = -3 - -2. Suppose -5*x - 22 = -l + 2*l, 3*l - 24 = 3*x. Let b = -5 - x. Which is bigger: i or b?
b
Let w(q) = q**2 - 4*q + 2. Let o be w(3). Let z be 8/(-28) - o/(-21). Let c = 7 + -6. Is c <= z?
False
Let u be 4*(-1 + 42/44). Let o be (3 - (-2 - -3))*1. Let w be (o + 14/(-6))*0. Which is greater: w or u?
w
Let m = 7 - 8. Let v be ((-1)/m)/(1/(-4)). Which is greater: v or -5?
v
Let t = -13 - -18. Let a = 22 - 16. Is a greater than t?
True
Let y be (4/(-5))/((-26)/715). Is 21 at least as big as y?
False
Suppose 26*x = 28*x - 36. Suppose p - 25 = -2*b, -4*p + 113 - 25 = 5*b. Are x and p non-equal?
True
Let k = -2.1 + 3.1. Is k less than or equal to 1/4?
False
Let h = -2 + 3. Let u(b) = -2*b + 1. Let g be u(1). Let d be ((-1)/1 - g) + 1. Is d greater than h?
False
Suppose -5*y - 2*o + 0*o + 7 = 0, 4*y = 4*o + 28. Let b = 12 - y. Is b less than 9?
False
Let p(i) = -2*i**3 - 2*i**2 + 1. Let n be p(1). Let v(m) = m**3 + 4*m**2 + 3*m. Let j be v(n). Suppose -3*l + 15 = -j. Is l bigger than 5?
False
Let b be 4/(-18) + 2/9. Let n = b + 1. Is n > -1/6?
True
Let p = -2 + 1.94. Let x = 0.05 + p. Is 2 less than x?
False
Suppose -2*p - 3*p + 20 = 0. Suppose -6 = 5*o + s, -o + 9 + 5 = p*s. Which is smaller: 0 or o?
o
Let h = 2/239183 - -21287143/17221176. Let k = h + -10/9. Which is bigger: -1 or k?
k
Let i = 15 - 15. Suppose f - 3*f + 24 = i. Is 12 > f?
False
Suppose -f + 25 = 4*i, i = -f - 2*f + 20. Suppose 0*h = f*h - 5. Is h greater than 1?
False
Let b(q) = q**3 - 7*q**2 - 10*q + 12. Let p be b(8). Are p and -4 non-equal?
False
Let v be (-16)/180 + (-5)/(-25). Is 0 <= v?
True
Let i = 0.1 + 0.9. Which is smaller: i or -11/5?
-11/5
Let p = 6 - 10. Let y be ((-11)/(-22))/(1/26). Let u be p*(2 + y/(-6)). Is 1 < u?
False
Let f = -16 + 10. Let s = f - -6. Are 1 and s non-equal?
True
Let v(q) = -18*q**3 + q**2 - q. Let j be v(1). Let d(g) = 3*g - 5. Let s be d(-4). Which is bigger: s or j?
s
Suppose -r = -5*n - 47, -5*r = 2*n - 4*n - 166. Is 31 < r?
True
Let l(b) = b**2 - 8*b - 7. Let q be l(9). Suppose 2*g - 8 = -q*g. Suppose 4*w + 4*v = -6 + 26, -g*w = -2*v - 2. Which is smaller: w or 4?
w
Suppose 4*q = -0*q. Is q <= -1?
False
Let v be -3 + -3 + (-84)/(-15). Suppose 0 = 4*z - 2*l + 8, -3*z + 5 - 1 = l. Which is bigger: z or v?
z
Let j be (-36)/104 - 2/13. Let a be (0/(-1))/((-1)/1). Is j equal to a?
False
Let x be (-22)/(2 - (-16)/12). Which is smaller: -8 or x?
-8
Suppose -3*q + 20 = 2*g, -q + 3*q = 2*g. Let l be (q - 1)*(-2)/3. Suppose 0 = -3*o - 264 + 258. Is l at least as big as o?
True
Suppose 3*g = r + 2 + 2, -g - 2*r - 1 = 0. Let t be (78/15)/((-8)/(-5)) + -3. Which is greater: g or t?
g
Suppose -5*n + 24 = n. Suppose -4 = 4*l, 3*m - l - 14 = 4*l. Which is bigger: n or m?
n
Let y = 0.155 - -0.045. Is -1 less than y?
True
Suppose -2*v = 5*z + 18, -2*z + 30 = -7*z - 5*v. Is -5 greater than z?
False
Let z be 6/27 - (-264)/(-945). Is z less than 1?
True
Suppose 20 = 6*c - 124. Is 24 less than c?
False
Let p(d) = -5*d**2. Let m(n) = -6*n**2 - n - 1. Let a(j) = 6*m(j) - 7*p(j). Let w be (-1)/2*1*10. Let i be a(w). Which is greater: 0.3 or i?
0.3
Let f = 19.2 + -19. Is -2/3 bigger than f?
False
Let p = -493/5 - -99. Let f = 2 - 4. Is f greater than p?
False
Let q be ((-13)/(-2) + 1)*(-64)/48. Is q at most -28/3?
True
Let q be ((-1)/2)/((-24)/16). Is 4/15 less than q?
True
Let j = 16 - 19. Is -1 greater than j?
True
Let p = 35 + -26. Let r = -13 - -22. Are p and r nonequal?
False
Suppose -9*i + 18*i = -198. Which is greater: -19 or i?
-19
Let s = 55 + -54. Let m = -0.4 - 3.6. Let r = m - -3.8. Which is bigger: r or s?
s
Let h = 423/520 + 4/65. Let j = h + -13/24. Let u = -1/13 - -33/91. Is u less than or equal to j?
True
Let b(k) be the first derivative of -4*k**3/3 + k**2/2 - k - 1. Let j be b(1). Which is bigger: j or -3?
-3
Let b = 26.1 - 21. Let x = -1.1 + b. Let v = -4.2 + x. Which is smaller: v or -2?
-2
Let r = 1 - 6. Let f = r - -5. Is -3 at most f?
True
Let a = 5 + -3. Suppose 3*q - 15 = -n, 3*q + 3 = a*n + 3*n. Suppose 0 = n*p - p. Which is smaller: p or -1?
-1
Let j be 30/20 - (-47)/2. Suppose -4*d + j = d. Is 3 greater than or equal to d?
False
Let l = 6.5 + -5. Let z = -0.5 - l. Let y = 2.3 - 2.2. Which is greater: z or y?
y
Let a = 28 - 39. Suppose -3*i + 2*p - 49 = -0*p, -3*p = 4*i + 54. Let f = i - a. Which is greater: -5 or f?
f
Suppose 3*s - 4*d = 4, 3*d - d + 4 = 2*s. Suppose -2*v = -5*k + 20, 