s(-6). Which is smaller: 0.4 or j?
j
Let n be 5 + (-111)/21 - (-9)/56. Let d(j) = -j**2 - 7*j + 9. Let v be d(-8). Which is bigger: v or n?
v
Let w = 82 + -86. Let j = 6 + -8. Which is greater: j or w?
j
Let p be ((-4)/8 + -1)*-12. Are p and 15 unequal?
True
Suppose -6*o + 9*o = -6. Suppose 3*f + 4*z - 25 = 0, -f + 2*z - 7*z + 23 = 0. Is f not equal to o?
True
Let s(k) = -k - 2. Let o be s(-4). Suppose -o*f + 5*f - 3*l + 9 = 0, 4*f - 3*l = -8. Let x(m) = 2*m**3 - m**2. Let i be x(f). Is 4/5 < i?
True
Let s = 1 - 2. Let b = -102/11 - -6929/77. Let l = 81 - b. Which is bigger: s or l?
l
Let x be -1*(-7)/12 + (-3)/12. Suppose -5*q - 1 = -6. Let t be 2/(-4)*2/q. Are x and t unequal?
True
Let b be 24 - 0/(-3*1). Suppose -5*g = -4*x - 4 - b, 2*x = -g. Suppose 5*c - c - g = 0. Is c > 1/4?
True
Let k = -9 - -8. Let s be (-3)/2*(-6)/9. Let l be s*(-26)/(-18) + -1. Is k at least as big as l?
False
Let j = -4 + 3. Suppose 2*r + r - 2700 = 0. Let s be (2 - -1)/(r/40). Which is bigger: s or j?
s
Suppose 8*v - 4 = 12*v. Which is bigger: v or -6/17?
-6/17
Let v = -42 + 35.8. Let w = 5 + v. Let h = 6.2 + w. Which is bigger: h or 0?
h
Let f(v) = -8*v + 15. Let y be f(2). Is 12 at most as big as y?
False
Let t = 135 - 131. Are 7 and t equal?
False
Suppose -6 = -3*a - 4*n + 2, -a = -3*n + 19. Which is smaller: -5 or a?
-5
Let n(j) = j**3 - 4*j**2 - j + 3. Suppose -w + 6*w - 10 = 5*d, 3*d - 6 = 0. Let l be n(w). Are 2/5 and l equal?
False
Let x be ((-45)/12)/(-5) - (-2)/8. Which is smaller: -3/43 or x?
-3/43
Let s be (-165)/690 + 0 + 0. Let n = s - 6/23. Does -1 = n?
False
Let s = -29 - -20. Which is bigger: -2 or s?
-2
Suppose 0 = -24*u + 20*u. Which is greater: 20 or u?
20
Let h(j) = -j**2 + j + 1. Suppose 5*u - 2*b + 0*b = 14, 2*b + 8 = 2*u. Let a be h(u). Let g be (-1)/(a/1) + -9. Which is bigger: -7 or g?
-7
Let b(t) = 5*t**2 - 16*t**2 - 4*t + 1 + t**2 + 9*t**2. Let s be b(-2). Which is smaller: 4 or s?
4
Suppose 3*g + 15 = 3*i, -3*i + 11 = 2*i + 2*g. Suppose 0*b + j = b + 1, -j + 4 = 2*b. Is b > i?
False
Suppose 0*z - 5*z = -40. Let f = z + -4. Suppose 5*u - u - 4*g - f = 0, -5*u = 5*g + 5. Is u greater than or equal to -1/5?
True
Let d(v) = v + 6. Let a be d(-8). Suppose n = 2 - 0. Let t be (-11)/14 + n/7. Which is smaller: a or t?
a
Let z(n) = -n + 13. Let y be z(10). Suppose f = 4*s + 21, 2*f = 5*f - y*s - 27. Suppose -f*g = 5*m + 25, 5*m = -0*m + g + 5. Which is greater: -2/21 or m?
m
Let k = 5 - 8.5. Let y = 1.2 - 0.7. Let d = y + k. Is d >= 0?
False
Suppose 4*r + 4*a = -8, -2*a + 31 = -2*r - r. Let t = 5 + r. Let u = 0 - t. Which is bigger: u or -2/7?
u
Let v = 32 + -31. Which is greater: -2/67 or v?
v
Let d = 9 + -12. Let n be 2 + (-3)/d + -3. Let h = n - 2. Is -1 != h?
True
Let d be (-1 + (-6)/(-10))*(-10)/(-98). Let p = -1 + 1. Which is bigger: p or d?
p
Let p be -2*13/22 - (-14)/77. Is p at least as big as -6?
True
Let q be (-8 + 8)/(1*2). Let m = -115/112 - -21/16. Is q at most m?
True
Let n(o) = -6*o - 5. Let v be n(-2). Is v at most as big as 7?
True
Let l = 9.99 - -0.01. Let y = 15 - l. Is y at least as big as 0.1?
True
Let f be 76/(-30) - (6 - 31/5). Is -3 less than or equal to f?
True
Let c = 7.5 + -7.42. Do c and -1/3 have the same value?
False
Let t = 68 + -68. Which is smaller: 27 or t?
t
Let v be (2 + -1)/(3/(-6)). Let a = 0 - v. Let c = 4 - 3. Which is smaller: a or c?
c
Let i = 0.56 + 21.44. Let m = i - 22.9. Let p = -1 - m. Is 1/2 <= p?
False
Suppose -4*v - p + 8 = 0, 4*v - 2*p + 4 = -6*p. Suppose 3 = 3*b - 3. Suppose 3*q + 5*t = 24, 0 = -b*q - 2*t - t + 15. Does q = v?
True
Let z = -2119 + 86873/41. Let n = 153/205 + z. Is 0 at most as big as n?
True
Let o = -8/47 - -338/329. Which is bigger: o or 0?
o
Suppose -4*j + 84 = 2*j. Is 15 > j?
True
Suppose -y + 185 + 1333 = 0. Let l = 59198/39 - y. Let j = l - -55/156. Which is bigger: j or 0?
j
Let o be (213/(-75) + -1)/((-3)/10). Are o and 14 equal?
False
Suppose 3*m - 4*m = -0*m. Which is smaller: 18/23 or m?
m
Let x = -133 + 120. Is 1 > x?
True
Let i(t) = t**3 + 7*t**2 - 14. Let l be i(-7). Suppose 2*m + 3*m = -75. Which is smaller: l or m?
m
Suppose -5*n + 0*t = -t - 135, t - 145 = -5*n. Let u be ((-4)/14)/((-36)/n). Which is bigger: 0.2 or u?
u
Let b = 1245/2 - 601. Let q = -87/4 + b. Is -1 smaller than q?
True
Let a = 2 + -2. Let n = a - 0. Let f be 2 + (-2 - 0) + 2. Which is greater: f or n?
f
Let h = 47 + -29. Let r = h - 22. Which is smaller: 0.1 or r?
r
Let r(n) = -3*n**2 + 3 + 0*n**2 - n**3 - 1 + n**2. Let p be r(-2). Suppose 0 = -5*h + b - 5*b - 20, 10 = -p*b. Which is bigger: -3/7 or h?
h
Let w = 1.8 - 1.6. Is w >= -1?
True
Let n(p) = -337*p**2 + 2*p + 1. Let w be n(-1). Let q = w + 3715/11. Which is smaller: q or -1?
-1
Let k be -2 - -2 - (-3 - -3). Suppose k = v - 3, -3*n - v + 19 = 1. Which is smaller: 4 or n?
4
Let b be 5 - 2 - 102/54. Which is bigger: 0 or b?
b
Let t = 6 + -3. Let c = t - 3.2. Let k = 0.8 - c. Is k equal to -0.3?
False
Suppose 26 = -3*p + 4*a, -4*p = p + a + 51. Let i be -1 + 2 + 2/p. Is 2 < i?
False
Let j = 1 + -2. Let b = -1 - j. Suppose -15 = 6*i - i. Is i at most b?
True
Let w = 5 + -5. Which is smaller: w or -5?
-5
Let x(p) = -2*p - 5. Let u be x(-4). Suppose 0 = -s + 1, 2*v + u*s = -0*v + 9. Is v less than or equal to 2?
False
Let w be (1/2)/(1/36). Suppose 0 = -3*f - 8*h + 3*h + w, 6 = f - 2*h. Is f smaller than 5?
False
Let d be 1/((-4)/(-6))*2. Suppose -y + d = -3*x, -12 + 0 = -4*y. Is x >= -1?
True
Suppose 4*f - 32 = 2*x + 3*x, 0 = -3*f + 2*x + 17. Let o(z) = -z**3 + 6*z**2 - 6*z + 7. Let p be o(5). Is f at least as big as p?
True
Suppose 2*l - 4*t = -2*l - 36, 5*l - t + 45 = 0. Let v(g) = g**3 + 9*g**2 - g - 10. Let z be v(l). Let a be -1 + ((-5)/(-2) - 2). Is a < z?
False
Let c(b) = b**2 + 6*b - 9. Suppose z + 40 = -4*z. Let m be c(z). Let l = 6 - m. Is l <= 2/19?
True
Suppose 0*u + 2*u = 228. Let d be u/12 - 1/(-2). Is d less than or equal to 10?
True
Let i be (95/(-133))/(1/(-7)). Let s(n) be the second derivative of -n**5/20 - n**4/12 + 2*n**3/3 - n. Let o be s(-3). Is o greater than i?
True
Let j be 38/5 + (-3)/5. Let i = -4 + j. Suppose 0 = -2*w + 5*w + 2*g - 7, i*g - 11 = -4*w. Which is greater: w or -0.1?
-0.1
Suppose 2*v - 162 = -v. Suppose -2*p = -5*p + v. Let q be -1*2 - p/(-10). Are 1 and q equal?
False
Let d be ((-8)/10)/((-112)/40). Let t = 0.2 - -0.3. Does d = t?
False
Let f = -3.1 - -3. Let s = -4 - 0. Which is bigger: f or s?
f
Let y = 3/10 - 1/2. Is -1 not equal to y?
True
Suppose -q + s + 7 = 0, q + 4*s = 6*q - 40. Let t be ((-15)/2)/(6 - q). Is 2 at least as big as t?
True
Let x = 8 + -8.5. Which is smaller: -1 or x?
-1
Let n = -6 + 8. Which is greater: n or 2/3?
n
Let j(w) = -w**3 - 8*w**2 - 2*w + 13. Let f be j(-8). Is f at least 29?
True
Let i(y) = -y**2 + 13*y - 9. Let b be i(12). Let z = 0 - b. Do z and -15/4 have the same value?
False
Let g = 4 + 11. Let r be g/(-25) - 112/(-20). Is r >= 6?
False
Let p be 243/(-126) - (-6)/4. Let j(s) = -s + 4. Let c be j(5). Which is smaller: p or c?
c
Suppose -3 = -5*r + 2*r. Let k = r + 1. Which is smaller: k or 1/2?
1/2
Let h = -2.3 - -0.3. Are -1 and h equal?
False
Let q be (4 - 2 - 2)/(-1). Let b = -6 + q. Is -4 at least b?
True
Let d be -1*(-3 + -1 + 5). Suppose q - 5*q = 0. Is d != q?
True
Let k be 1/5 - (-1088)/60. Let s = k + -19. Is s not equal to -1?
True
Let g be ((-60)/(-68) - 1)*1. Let a = -0.05 - 0.05. Which is smaller: a or g?
g
Let r = -6 - -9. Let z be 12/(-5) - (r - 5). Suppose -2*u = -7*u. Which is smaller: u or z?
z
Let n be 45 - (-5)/(-5) - -2. Is n <= 46?
True
Let k = 0.11 + 1.09. Let q = -3.2 + k. Which is smaller: -0.5 or q?
q
Let t be 3 + (-3 - (-1)/(-1)). Is -4/9 smaller than t?
False
Suppose 7*i = 3*i. Suppose 0 = 3*a + 3 + 3. Which is smaller: a or i?
a
Let j = 9 - 9.1. Is 2/15 != j?
True
Suppose 5*i = 4*p - 5*p - 3, 3*i = -p - 3. Is i bigger than 15?
False
Suppose -1 = -2*c - d, 4*d = 5*d + 1. Let b = -14/935 + 19864/2805. Let r = b - 36/5. Is r greater than c?
False
Suppose 2*f + 2 + 2 = 3*j, -j + 2 = 0. Suppose 6 = -2*g + 3*q + f, -2*g = 4*q + 12. Which is smaller: -0.2 or g?
g
Let m(j) = j**3 - 7*j**2 + 7. Let r be m(7). Is -0.3 greater than or equal to r?
False
Let k(n) = n**3 + 6*n**2 + n + 3. Let l be k(-6). Let z be (-1)/2*-6 - -3. Let o be 2