8 = 46272 - 5259. Which is greater: 2940 or l?
l
Let r = -10.7 + 14.13. Let x = 3.43 - r. Is 0.09 equal to x?
False
Let g = 1619 + -1522.1. Let o = g - 97. Let r = -44/7 + 267/28. Is r equal to o?
False
Let t = -6283.4 + 6284. Which is smaller: 325/6 or t?
t
Let v = 928 - 21341/23. Let r = v + -73/207. Let f = -1 + 0.8. Which is smaller: r or f?
r
Let i = 16022 + -16029. Which is smaller: -37 or i?
-37
Suppose -32*a + 27*a = -15. Suppose -5*u + 14 + 3 = -a*n, -9 = 3*n + 3*u. Is n not equal to -3?
True
Let t = -189.1 + 173.4. Which is bigger: t or 2.3?
2.3
Let p(i) be the second derivative of i**5/20 - 11*i**4/6 - 5*i**3/6 + 111*i**2/2 - 6*i. Let t be p(22). Which is smaller: t or -14/81?
-14/81
Let t(j) = 5*j + 324. Let r be t(-56). Which is smaller: 646/15 or r?
646/15
Suppose -32*j - h - 1635 = -37*j, -5*j - 2*h + 1665 = 0. Let x(d) = 328*d**3 + d**2 + d - 1. Let a be x(1). Are a and j non-equal?
False
Let w = -15576/623 + -216/89. Is -2 smaller than w?
False
Let r be (-3)/(-4) + (-3045)/12. Let d = -169 - r. Let k be 928/d + -4 - (-2)/7. Which is smaller: 8 or k?
k
Suppose 0 = -198*f + 194*f - 40. Let c = 15 + -23. Let k be ((c/f)/((-10)/1325))/(-10). Which is smaller: 12 or k?
k
Suppose -6*o - 6*o = -2988. Let z = o + -261. Let v = 28 + -40. Is v equal to z?
True
Let k(c) = 6*c + 94. Let j be k(-15). Suppose j*p = -4*h + 84, -h - 39 = -3*p + 2*h. Let l(o) = -o**2 - o + 17. Let w be l(0). Do w and p have the same value?
True
Suppose -11666 = 5*c - 4*z + 2009, -4*c - 3*z - 10940 = 0. Is -2735 greater than c?
False
Let a be ((-1)/(-92))/((-561)/340). Which is smaller: 0 or a?
a
Let i = -9 + 11. Suppose -i*o = 2*t + 294, 300 = -2*o - t - 3*t. Let c be (12/o)/(320/(-162) - -2). Are -3 and c nonequal?
True
Let g = -8365 + 8366. Which is bigger: g or -421.6?
g
Let b(h) = 10*h - 6. Suppose 0 = -2*d - 1 + 3. Let k be b(d). Suppose 0 = -7*m + 2*m - k*v - 31, 20 = -5*v. Is 7 <= m?
False
Let n be (3 - (6 + -2) - -5) + 8. Suppose 0 = 64*c - 66*c - n. Let s = -0.3 - -0.4. Which is greater: c or s?
s
Let k = 369 + -369. Suppose d - 5*p + 14 = 0, k = d - 2*p - 2*p + 11. Which is smaller: d or 2/1293?
2/1293
Suppose -4*g - 24 = 0, -88*a + 2*g = -90*a - 2176. Is -3242/3 at most as big as a?
False
Suppose -839489 = -44*s - 839181. Suppose 4*o = 2*l - 0 + 4, -2*o - 4*l = 8. Is s not equal to o?
True
Let i = -370 + 260.4. Let n = i - -110. Which is smaller: n or 2?
n
Let n = -0.41 + -33.99. Let d = n + 35. Which is smaller: 2/11 or d?
2/11
Let g be ((60/9)/4)/(-1 - (6 + 6)). Is g greater than 3?
False
Suppose 0 = -5*x + 8*x. Let c = -6349/140646 - 2/6393. Is c less than or equal to x?
True
Let r = -34131378965377/392908812 + 24410035/281. Let q = r + -1/4276. Is q greater than or equal to 0?
True
Let c(d) = 43*d - 177. Let l be c(13). Let r = -362 + l. Is 93/5 less than or equal to r?
True
Let o be ((-11622)/26)/(10/(-40)*(-3)/(-4)). Do o and 2383 have the same value?
False
Let t = 0.2467 - 142.1467. Let u = t - -143. Is -6 > u?
False
Let i be (-9)/((1887/(-233444))/(3/(-4))). Let y = i + 835. Which is smaller: y or -1?
-1
Let z = 3 - 2. Let m be (-24)/(-32)*49/((-11907)/18). Is z != m?
True
Let a(u) = u**2 - 65*u - 38. Let v be a(-21). Does 1768 = v?
True
Let x = 0.4 + 10.6. Let y = -5 + x. Let v = y - 6. Do v and 1 have different values?
True
Let v be (-1)/(-1)*(-12 - -15). Suppose -t - 18 = -v*l, -18 = 8*t - 3*t + 3*l. Let p be 4/8 + t/15. Which is greater: 0.5 or p?
0.5
Suppose 2*f - 5*h + 38 = 0, -5*f + h + 21 - 24 = 0. Is f less than or equal to -25/346?
False
Let z be 6/(-4)*320/30. Suppose 0 = 4*h - 68 + 4. Let i be (-12)/h*z/(-9). Is 1/4 >= i?
True
Let d be -3 + -1 + (11 - 4). Suppose 5*w = 5*p - 620, -3*p + 178 = d*w + 544. Which is smaller: 0 or w?
w
Let u = 0.0551 + 11.6649. Let l = u - -482.28. Which is smaller: 0 or l?
0
Let j = 23 - 41. Let y = 9.4 + -9.3608. Let n = 0.0608 + y. Which is smaller: j or n?
j
Let k(c) = -2*c**3 - 33*c**2 - 26*c - 143. Let d be k(-16). Is d < -2/7?
False
Let g = -27896.8754 - -27895. Which is smaller: 2 or g?
g
Let f be (5 + (-88)/16)/(2/48). Let o(b) = -4*b + 37. Let l(a) = 9*a - 75. Let n(h) = -2*l(h) - 5*o(h). Let m be n(f). Is -59 < m?
False
Let w(b) be the first derivative of -5*b**4/2 + 4*b**3/3 - 9*b**2/2 - 9*b - 238. Let z be w(3). Is -2/5 at least as big as z?
True
Let q = 2245 - 2244.7. Which is greater: 964 or q?
964
Let m = -5 - -6. Let l be (-536)/1656 + (-7)/(-21). Are m and l equal?
False
Let b be (-10)/6*3 + ((-4028)/(-40))/19. Which is smaller: 3.2 or b?
b
Let o = 125 + -182. Let n = o - -56. Let f = -602/3 - -199. Which is bigger: n or f?
n
Let i(w) = -127*w + 21088. Let j be i(166). Let v = 0.2 - 0.2. Let f = 0 + v. Do f and j have different values?
True
Let s be 20/(-35)*(-4)/(-8)*7/3. Is -2647 less than s?
True
Let m(s) = 5*s**3 - 9*s**2 + 10*s - 1. Let d be m(1). Let z be (-4)/(-1)*5/d. Are z and 7/2 unequal?
True
Let s = -160/3 - -59. Let i = -0.23 + 0.33. Which is bigger: s or i?
s
Let n be (-4 - 56/(-12))*(-73)/92. Let x = n + -30/23. Is x < -2?
False
Let w be (-2 + 2 - -17)*(-10)/25. Let r = 20/3 + w. Is -1 greater than r?
False
Let x = -477.75 - -479. Let l = x - 0.25. Is 333 != l?
True
Let s be 4/(-2) + -4*1. Let k = -17 + 16. Let g be (2/s - k)/(-3). Are g and -31/4 nonequal?
True
Let b be (2 - 20) + 18580114/1032234. Which is greater: b or 0?
0
Let q be ((-54)/(-567) - 5442082/539070) + 10. Which is smaller: -1 or q?
-1
Suppose 0*d - 3*d = -33. Suppose -d = -4*a + z + 3, -5*z = 10. Which is bigger: a or 23/13?
a
Let c = -2.65 - 317.35. Let l = c - -321. Which is greater: -43 or l?
l
Let w be 2*((-1454)/(-12))/(-1). Let i = w - -240. Suppose 8 = -3*c - l, 0*l + 2*l = 2. Which is smaller: c or i?
c
Let g = 9844.2 + -9844. Are g and 3445 unequal?
True
Suppose 0 = -5*k - 25, 2*j = -2*k + 4*k + 84. Let z = j - 40. Let a be (-5 + 11)*z/(-6). Which is greater: 1 or a?
a
Let l(c) = -148*c - 215. Let d be l(-2). Is 75 equal to d?
False
Suppose 0 = 79*b - 27211 + 22104 - 65677. Is 896 <= b?
True
Let x be (0 + (-2)/(-9))*(7 - 22323/(-42)). Which is smaller: 120 or x?
x
Suppose 2*u + 29 + 72 = 5*s, s - 28 = 3*u. Let a = -17 + s. Suppose -x + c - 3*c = 66, 4*x - a*c + 274 = 0. Which is bigger: x or -67?
-67
Let x(l) = l**2 + 14*l + 6. Suppose 5*z + g + 69 = 0, -4 = -z + 4*g - 1. Let n be x(z). Let a be n/(-4) - 21/28. Is -1/49 at least a?
False
Let j(q) = 17*q**3 + q**2 + 2*q + 1. Let t be j(-2). Let a be (32339/(-73) + 42)/(-2 - -5). Which is bigger: t or a?
a
Suppose 2*q + 218 = 5*i - i, 0 = -i - 4*q + 50. Let g = i + -41. Let j be ((-3)/((-12)/8) + g)/(-1). Which is bigger: j or -16?
j
Let k = 13.8281 - -1.1719. Is -13.4 greater than or equal to k?
False
Let z be (-4)/61*(-2)/(-68). Let m(s) = 5504*s + 27521. Let i be m(-5). Is i at least z?
True
Let d be ((4/(-3))/(-2))/(446/(-4014)). Which is smaller: d or -111/19?
d
Let y = -105.4 + -32.6. Let s = y - -136.8. Let x = -2/39 - -47/156. Is x < s?
False
Suppose 0 = -4*k - 4*p - 448, -2 = 2*p - 4*p. Is k at least -102?
False
Suppose -f = 2*g - 175, 0*g - 4*f = 4*g - 352. Let w = g + -172. Let z = w - -123. Is 39 equal to z?
False
Suppose 116*v + 10224 = -26*v. Is v greater than or equal to -73?
True
Let k be 1 + (-14)/10 + (-2117)/(-5655). Suppose 0 = -3*z + 5*q - q + 7, 3*z + 3*q = 0. Which is greater: k or z?
z
Let x = 24853/5 - 4971. Let n = -0.94 - -0.979. Is n greater than x?
True
Let n = -14 + 9. Let x be 3 + n + -2 + 5. Let i(h) = -11*h + 30. Let w be i(3). Which is smaller: w or x?
w
Let k = -20 + 60. Suppose 0 = 11*n - 3*n - k. Suppose 0 = n*y + 3*q + 84, -5*y + 2*q = q + 92. Is y > -17?
False
Let i(r) = -r**3 - 2*r**2 + 2*r - 3. Let m be i(-3). Suppose m = y + 4*y - 25. Let c be 585/108 - 6/9. Is c smaller than y?
True
Let b(t) = t**3 + 7*t**2 + 6*t + 10. Let g be b(-6). Let d be (-2)/g + ((-384)/20)/4. Which is bigger: -7 or d?
d
Let m be ((-399)/(-49))/(13 - (-1074)/(-84)). Which is bigger: m or 144?
144
Suppose -5*r + 148 + 12 = 0. Let u = r - 38. Let x(m) = -m + 3. Let y be x(u). Which is bigger: 8 or y?
y
Let w = -87 - -92. Suppose -4*x = -3*v + 80, 0 = 5*v - w*x - 185 + 60. Which is bigger: 19 or v?
v
Let k = -813.1 - -851.13. Let n = -0.34 + 38.34. Let h = k - n. Which is bigger: 2/3 or h?
2/3
Let j(m) be the second derivative