 j. Are 3 and p unequal?
False
Let j(d) = d**3 + 8*d**2 + 6*d + 7. Let n be j(-7). Suppose 3 + 0 = -2*f - u, -5*f + 4*u - n = 0. Which is smaller: f or 1/4?
f
Let k = 96 - 136. Which is bigger: k or -39?
-39
Suppose -q + 14 = 2*s, 0 = -4*q + 6*s - 3*s + 1. Let m be (-3 + 1 - -1) + -20. Let o be q/(-14) - 6/m. Is 4/7 > o?
True
Suppose 5*k = 2*g - 23, 2*g - 2 = 3*k + 11. Is -10 greater than or equal to g?
False
Suppose 0 = -4*q + 6*q - 8. Suppose -5 + 9 = q*c. Is c at most 1?
True
Let j = -43.985 + -0.015. Which is bigger: -1 or j?
-1
Let d = -33 + 38. Is d >= 5?
True
Let k(r) = r**2 + 6*r + 5. Let g be k(-6). Suppose g*n = 7*n - 16. Let h = n - 11. Are -3 and h equal?
True
Suppose 2*s = 2*n - 12, -3*s + n = s + 9. Which is smaller: s or 7?
s
Let s be (4/50)/(6/10). Which is bigger: 1 or s?
1
Let y(w) = w**3 + w - 5. Let m be y(0). Let o be ((-2)/5)/(m/(-25)). Is -2 less than o?
False
Let u = 77 + -76. Which is greater: -4/21 or u?
u
Let t be (2 + 0)*2/(-2). Suppose -6*o + 11*o = -10. Is o at most as big as t?
True
Suppose 2*j - 5*j + l - 8 = 0, -2*j - 5*l = -6. Let g(r) = r**3 + 8*r**2 - 7*r - 18. Let n be g(-9). Let p be (3*8/n)/1. Which is smaller: p or j?
j
Let o be ((-4)/(-14))/(2/(-1)). Let v(h) = -h**3 + 7*h**2 + 34*h - 41. Let a be v(10). Which is smaller: o or a?
a
Suppose 5*m = 5*q, 3*q - 4*m = -0*q + 1. Let b = q - -4. Suppose -4*u - 3 = -19. Which is greater: u or b?
u
Let y = -0.4 - 0.6. Let v = y + 1.3. Let l = 0.3 - v. Is l less than 0.2?
True
Let g = -6.1 + 0.1. Let t = -10 - g. Let o = t - -4.04. Is 1 greater than o?
True
Let o = 10 + -10. Which is bigger: o or 1/12?
1/12
Let p = 9.9 + -10. Let o = p + 0.2. Let y(r) = -r**2 + 6*r - 4. Let c be y(6). Is c >= o?
False
Let x = -2 - 2. Let n = x - -5. Which is smaller: n or -1/4?
-1/4
Suppose -9*f = f. Are f and 2/17 unequal?
True
Let j be 206/14 + 34/119. Suppose -13*x + j = -10*x. Is x equal to 5?
True
Let q(k) = -k - 1. Let i be q(-3). Suppose i*p - 2 = -4. Which is smaller: p or -6/11?
p
Let u(h) = 2*h + 5. Suppose 0 = -2*q - 3*w + 4, w = -4*q - 4 - 8. Let p be u(q). Which is greater: -4 or p?
p
Let g = -1 + 2. Let u = -6.06 + 6. Let n = 0.06 + u. Which is greater: n or g?
g
Let p = -3.1 - 0.1. Let g = -4 + 7. Let r = p + g. Is r less than or equal to -2?
False
Let n be 272/(-854) + 10/35. Is n >= -1?
True
Let i = -44/7 + 169/28. Is i greater than -18?
True
Let m(z) = -z**2 + 6*z + 3. Let v be m(6). Let q be (-2)/3 - 1/v. Suppose 3*r - 4*y - 7 = 9, y + 4 = r. Which is greater: r or q?
r
Let l(x) = -x**3 + 18*x**2 - 17*x. Let z be l(17). Which is greater: z or 29?
29
Let i be 3 - (-1 - (-1 + 0)). Suppose -u - t - 2 = 0, 2*u + i*u + 3 = 2*t. Let m be 21/(-12) + (2 - 0). Is u < m?
True
Let t = -4.4 - -0.4. Let w = 9 + -4. Let z = w + t. Which is smaller: 0.1 or z?
0.1
Let x = -68.2 + 68. Are x and 1/7 nonequal?
True
Suppose 8*g = 7*g - 8. Is -7 at most as big as g?
False
Let s = -31949/10278 - 3/1142. Which is smaller: -4 or s?
-4
Let u = -1 + 1. Let o = -16 - -15.9. Let w = u - o. Which is greater: -4 or w?
w
Suppose -o - 5*s + 14 = 2*o, 4*s = 2*o - 2. Let r = o + -5. Let g = r - 3. Which is greater: -6 or g?
g
Let u = -3.87 - 0.13. Suppose 5*c = -0 - 5. Which is greater: u or c?
c
Let t be 24 - 5 - (4 - 0). Let w = t + -6. Which is bigger: w or 5?
w
Let a = 20 + -23. Which is greater: -2 or a?
-2
Let c = -0.813 - 0.027. Let y = c - -0.04. Do -1/3 and y have the same value?
False
Let q be ((-17)/(-51))/(2/12). Let t be (-20)/9 - (-8)/4. Which is smaller: t or q?
t
Suppose 0 = -2*v + 11 + 1. Let d(h) = -h**2 - 7*h - 5. Let p be d(-4). Which is bigger: p or v?
p
Let h = 8.112 - 0.152. Let v = -7.87 - 0.13. Let b = v + h. Which is smaller: 1 or b?
b
Let c(w) be the third derivative of -1/24*w**4 + 1/120*w**6 - 2/3*w**3 + 0*w + 2/15*w**5 + 0 + 2*w**2. Let m be c(-8). Is 5 less than m?
False
Let h(q) = -2*q**2 - 3*q - 2. Suppose 9 = 2*m - 5*m. Let s be h(m). Do s and -12 have the same value?
False
Let n be (-1)/((-2)/(-3) + -1). Suppose 0 = -2*h - 0*h + 4*q + 16, 4*h + 4*q = -28. Let i be (-1)/3 + h/n. Is i less than 0?
True
Let y = -7 - -7. Let f = 15 - y. Let b be 1/(9/f) - 2. Is b at least 1?
False
Let w be 4/14 - 36/(-21). Let q be (-1)/w + (-3)/(-12). Let u(r) = r**3 + 3*r**2 - 4*r - 1. Let v be u(-4). Which is bigger: q or v?
q
Let m = -1.94 + -0.26. Let s = 1.8 + m. Which is bigger: s or 2/7?
2/7
Let d = 1/26 - -6/13. Let i(x) = x - 1. Let r be i(4). Suppose -2*b = c + 3, -b = 4*b + c + r. Which is smaller: b or d?
b
Let f = 32 - 44. Which is bigger: f or 2?
2
Let s = -0.17 - -9.17. Let c = -8 + s. Is c equal to -2/3?
False
Let x = -5108 - -127676/25. Is x equal to 0?
False
Let k be -6*1*1/(-2). Suppose 20 = 2*a + k*a - 5*c, 5*c + 20 = -3*a. Suppose 2*n = -2 - 0. Which is bigger: a or n?
a
Let x be 4 + (0 - (-4)/(12/(-9))). Let s = 19 - 37. Let w be (-13)/(-63) - 4/s. Is w less than x?
True
Suppose 5*o + 18 = 4*f, -5 = 2*f + 5*o + 1. Let m be 1 + -2 - (0 - f). Which is smaller: m or 0?
0
Let z(p) = -p**2 - 2*p + 3. Let h be z(-3). Which is greater: h or -5/11?
h
Let o(s) = -s + 4. Suppose 4*f + 2 = -m, 2*m + 2*m - 2*f = 46. Let j be o(m). Let z = j + 11/2. Is z >= -1?
True
Let n(w) = -w + 5. Let o be n(0). Let m be 1/(-2)*(o - 3). Let z be m/3 + (-24)/9. Is -2 at most as big as z?
False
Let t(i) = -16*i**3 + 21*i**2 - 5*i + 5. Let r(j) = 3*j**3 - 4*j**2 + j - 1. Let k(z) = -11*r(z) - 2*t(z). Let p be k(3). Which is smaller: -0.2 or p?
p
Suppose 9 = 3*c, 5*c = -4*p + 2*c + 13. Let a = 299/7 + -43. Which is smaller: p or a?
a
Suppose -4*c - 3 = -c. Suppose 6*u - 32 = 4*y + u, -3*y + 11 = 5*u. Let h be 1*(y - (-2 - 0)). Is c < h?
False
Let z = 6486 - 32082/5. Let o = -70 + z. Let t = -3 - -2. Is o != t?
True
Suppose -4*l = 4, b = -0*b - 4*l + 4. Let q = b - 7. Suppose -q + 0 = a. Which is bigger: a or -2?
a
Let u be (-3)/5 + 5 + -4. Let z = 1 + -3. Which is bigger: z or u?
u
Let q(u) = -u**3 + u**2 + u - 5. Let z be q(0). Suppose -10 = 4*l + 6. Is l greater than or equal to z?
True
Let d = -9661 + 9704.77. Let a = 44 - d. Let j = 0.03 - a. Are 1/2 and j nonequal?
True
Let z be 6/(-9)*18/4. Let b(i) = i**3 + 5*i**2 + 4*i + 2. Let h be b(z). Let k be 1/h*2 - 1. Which is smaller: k or -1?
-1
Let q = -7 + 8. Let b(j) = 4*j - 1. Let a be b(0). Do q and a have different values?
True
Suppose 2*r - 16 = -6. Suppose -r*x + 3*x + 4*i = -12, 5*i = 2*x - 14. Let v = x + 3. Is v at least 5?
True
Let x be 1/(-3)*(3 - 3). Suppose c + v = x, c + v = -2*v. Suppose -2*r + 4*w = c, r - 3*w = 6*r - 39. Is r at least as big as 6?
True
Let a(m) = m**2 - 17*m + 14. Let p be a(13). Which is greater: -37 or p?
-37
Let y = -0.8 - -10.8. Let v = -16 + y. Let i = v + 10. Are i and -1 equal?
False
Let u be ((-8)/(-36))/(4/(-6)). Let a(p) = 4*p. Let w be a(1). Let y be ((-8)/w)/((-2)/(-1)). Which is bigger: u or y?
u
Let m = -352 + 5302/15. Let d = -5/3 + m. Let y = -0.87 - 0.13. Do y and d have different values?
True
Let g be (0 + -4)*((-20)/5)/56. Suppose -3*m + 5*m = -v + 10, -25 = -5*m. Is v at most as big as g?
True
Let x = 1 + 0. Let p be (-1 + -1 + x)*1. Is 2/33 not equal to p?
True
Suppose -5*i = 5*p - 20, 2*i = -4*p + i + 19. Suppose -p*w - 7 = -4*w. Is w not equal to -8?
True
Let q = 8/29 + -169/87. Which is greater: -2 or q?
q
Let d be 1*((-22)/6 - -4). Is d > 0.5?
False
Let s be ((-2)/(-3))/(12/8). Do s and 0.3 have the same value?
False
Let t = -9 - 16. Is t less than or equal to -25?
True
Suppose -5*k = 133 - 313. Let c be 11/(-6) + (-6)/k. Is -1 smaller than c?
False
Let p = -2 + 1. Let m = 2.009 + -0.089. Let r = m - -0.08. Does p = r?
False
Let v(p) = 2*p**3 - 7*p**2 + 2*p - 1. Let y be v(5). Let o be (-8)/y*-33 - 2. Is o at most 1?
False
Let q = 9 + -29. Is -19 at most q?
False
Let q = 0.3 - 3.3. Let w = -3.04 - q. Let z = w + 2.04. Which is smaller: 1 or z?
1
Let y(o) = 2*o + 3. Let f be y(-2). Which is smaller: f or -3?
-3
Let h be 10/6*(-2 - (-70)/25). Which is smaller: h or 2?
h
Suppose -2*i + 1 = -3. Suppose -6*j = -7*j + 2. Let u = i - j. Is 0 bigger than u?
False
Suppose 6 = -3*h + 24. Let x(v) = v**3 - 7*v**2 + 5*v + 8. Let p be x(h). Suppose p*w - 5*w = 0. Which is smaller: w or 1?
w
Suppose 7*a = 2*a + 85. Which is smaller: a or 16?
16
Suppose -6 = -2*k - 2*u, 5 = 4*k - 4*u + 33