2222 + 12859. Which is smaller: 639 or b?
b
Let y be (-147 - -1) + 2 - (-13 - -13). Let i be y/210 - 2/(-7). Which is greater: 6 or i?
6
Let r(l) = 91*l + 1831. Let o be r(-28). Which is greater: -714 or o?
-714
Let r(n) = -4*n**2 - 13*n + 9. Let l be r(-4). Let k be -6*(55/(-10) - -5). Let q be 22 - (l/k + 2). Is q != 19?
True
Let c(q) = q**3 - 5*q**2 + 2*q - 4. Let a be c(5). Suppose -a = -36*f + 38*f. Let v be (-52)/4 + 0/(f/(-1)). Which is bigger: v or -14?
v
Let r be (-585)/12*16/(-6). Suppose 2*v = -5*g + r, g - 26 + 0 = -2*v. Suppose -334*h + 3073 + 5945 = 0. Which is greater: g or h?
h
Let o be -5 - 6/((-18)/429). Let g = o - 90. Is -0.1 at least g?
False
Let w = -5.251 + -8983.749. Which is smaller: -0.2 or w?
w
Let l = 13 + -11. Suppose l*q = 13 + 17. Suppose -18*v + q*v = -3. Which is smaller: 2/39 or v?
2/39
Let z = -12218 + 12275.3. Is -1/9 less than z?
True
Let o be 1080/486*(-6)/(-1228). Which is smaller: o or 1?
o
Let p be ((1 + 1)/(-4))/((-75)/(-150)). Do 519 and p have different values?
True
Let j be -3*(-11)/5 - 1512/945. Which is greater: 2.59 or j?
j
Let h(g) = 373*g + 747. Let l be h(-2). Does l = 11/934?
False
Suppose 8*a + 2 = 26. Suppose -a*l - 8 = -l. Let c be ((-10)/14)/(l/(-32)). Is c less than -7?
False
Suppose f = -4*a + 2*f - 8, -f = 0. Let q(h) = 2*h + 3. Let d be q(6). Let m be (d/(-6) + 2)*a. Which is smaller: m or -6/17?
-6/17
Let g(b) = -272*b + 2869. Let f be g(10). Is f less than 151?
True
Let u = 20018 - 12998. Suppose -36*i = -66*i + u. Is 236 not equal to i?
True
Let i(n) = 185*n + 1263. Let l be i(-6). Which is smaller: l or -1/5?
-1/5
Let v be (-4)/(-6)*(12969/(-110) - (-6)/(-10)). Is -164 less than or equal to v?
True
Suppose -537*p = -557*p + 20. Which is greater: p or 3/1009?
p
Suppose 4*z - 70 = 3*d, 6*z - d = z + 82. Let p be (-3)/(-4) + -1 + (-60)/z. Let q be (-56)/(-12)*9/(-16). Which is smaller: q or p?
p
Let n = 9704/23 - 422. Let m = 0.016 - 0.026. Let q = m - -1.01. Which is bigger: q or n?
q
Let i(j) = -112*j + 308. Let b be i(4). Let l = 170 + -309. Is l < b?
False
Let y = 588 + -586. Let z be (y/(-6))/(16/(-1056)). Which is bigger: z or -1?
z
Suppose -5*i + 8 = -7. Let x(v) = v - 5. Let j be x(i). Let o be 1 - (1/4 + (-45)/(-12)). Is j bigger than o?
True
Let x be 11 - ((-2)/16)/(13/52). Let h = x + -65/6. Which is bigger: -53 or h?
h
Suppose -196086 - 164106 = -67*c. Is c at most as big as 5377?
True
Suppose 5*m - 32 = -57. Let l = m - 100. Is -107 not equal to l?
True
Let g(j) = j**3 - 5*j**2 - j + 5. Let f be g(5). Let q = 131 - 132.24. Let d = q - -3.24. Which is greater: d or f?
d
Let k = -73 - -77. Let t be (4/k + -2)*1. Let w be -2 - (t - -2) - 0. Are 2/9 and w unequal?
True
Let v(u) = -u**2 - 11*u - 10. Let j be v(-6). Suppose o - 4*c = -j, 6 = 3*o - c + 11. Let y be 7*-1*(0 + 1). Is y > o?
False
Let v = 3851418558 + -1413471939691/367. Let a = -3621 - v. Is a at most as big as 1?
True
Let c = 1111.9 - 1112.9. Which is greater: c or -111/47?
c
Let o be (-837)/(-27) + -42 - 4. Let i(y) be the second derivative of -y**4/3 - y**3/6 - y. Let u be i(-2). Which is smaller: o or u?
o
Let h be 6/(-45)*310/124. Which is smaller: -2 or h?
-2
Let d(q) = 7*q**3 + 10*q**2 - 10*q - 14. Let z be d(-6). Which is smaller: -1100 or z?
z
Let m be 22 - -6*(-42)/36. Suppose -5*f + 24 = -3*f. Which is smaller: m or f?
f
Suppose -3*f = 24 - 3. Let o = 187 + -177. Let b be (-2106)/195 + -2*1/o. Which is smaller: f or b?
b
Suppose 0 = 4*n - 68 + 44. Let i(u) = -u**2 + 7*u - 19. Let j be i(n). Suppose 4*c + 43 + 9 = 0. Is j at least c?
True
Suppose 3*a + 54 = 5*a. Suppose -3*f - 3*t - 42 = 0, -4*f - t - 26 - a = 0. Let l be (-6)/(-30) + 2/40. Which is bigger: l or f?
l
Suppose -4872 = -17*y + 20*y - 3*a, 0 = -2*y - a - 3248. Let o = 3323/2 + y. Which is smaller: o or 0.1?
0.1
Let a = 6809 + -6809. Which is bigger: a or -10/607?
a
Suppose 0 = 2*u - 4*i - 10, -u = -3*i + 7*i + 7. Suppose 2*z - b = -3, -16*b + 19*b = -4*z - u. Let l be 11/(-38) + (-1)/(-2). Is l smaller than z?
False
Let c(r) = -r**3 - 11*r**2 - r - 16. Let n be c(-11). Let v = -2 + n. Let z(o) = -o**3 - 89*o**2 + 181*o - 97. Let f be z(-91). Which is smaller: v or f?
v
Let d(l) = l**3 - 11*l**2 - 30*l + 40. Let i be d(13). Let m be -3*4/i*-7. Is -7 bigger than m?
False
Let j(d) = 4*d**2 + 9*d - 182. Let x be j(-7). Which is smaller: -55 or x?
-55
Suppose 12*d + 209 = 113. Let b be (6/d)/(1634/820 - 2). Is 102 not equal to b?
True
Let i be (-10)/3*(-180)/345. Let j = i + 185/92. Let k = 462 - 457. Which is smaller: k or j?
j
Let s = 44279868168927850244229/4733916143540129445641 - 2/60443517509950197. Let n = 2/234959 - s. Let f = 28/3 + n. Is 1 >= f?
True
Let t = 40 + -68. Let o = -31 - t. Let w be o + (-183)/(-36) - (-2 - -4). Is w >= 0.2?
False
Let q = 274 - 339. Let n be 2 + 1316/(-15) + (-26)/q. Which is smaller: n or -86?
-86
Let u be (44/(-33))/((-2)/18). Suppose 19*m = -u*m + 1178. Is -3 equal to m?
False
Let h be (-2449)/(-18) - 8/(-18). Let v = 137 - h. Let f = 3.3 + -0.7. Is v less than or equal to f?
True
Let w = 30 - 32.3. Let q = 72 + -73.95. Let k = q - w. Which is bigger: k or -1?
k
Suppose -12*j - k + 51 = -16*j, 2*k = 4*j + 54. Let n be -2 + (-1)/(j/22). Is 7 not equal to n?
True
Suppose 7*g = 19 + 9. Let o be (14/(-3) + g)*18/12. Is -9 at least as big as o?
False
Let s = -21549 - -21550. Let k = -687/2 + 41913/122. Are s and k unequal?
True
Suppose 0 = 21*p - 21675 + 131148. Which is bigger: -5215 or p?
p
Let f be 21/((-2)/36*2). Let l be (-9)/7 - 54/f. Is -4/7 less than or equal to l?
False
Let m = 112/3 - 38. Let x be -6 - (142*-2 - -5). Let g = x - 1363/5. Which is smaller: g or m?
m
Let n = 0.1 + -1.1. Let t = -1915 + 1937.82. Let l = t - -0.18. Is n > l?
False
Let m be 1/(-3) + (-354)/(-9). Let o = 27 + m. Suppose 5*a + 0*q - 2*q = o, 4 = a - 5*q. Which is smaller: 64/5 or a?
64/5
Let h be 30/25*(-4066)/6 + (-12)/(-60). Which is smaller: -812 or h?
h
Let p = 1553257 + -38824301/25. Let v = p + -285. Which is smaller: 1 or v?
v
Let w = -99 + -147. Let g = 248 + w. Does g = -4?
False
Let s be (-618)/(-1545) - ((-2)/8 - 1693/(-20)). Which is smaller: s or -86?
-86
Suppose 0 = 4*p - 108 - 104. Let v = p - 55. Let d be (-88)/45 - (-8)/20. Which is smaller: d or v?
v
Let j(u) = u**2 - 26*u - 121. Let p be j(30). Which is smaller: 132 or p?
p
Let x = 2065 - 2066. Is -1/1262 < x?
False
Let r(y) = 2*y - 6. Let o be r(4). Let b = -68 + 67. Let x = o + b. Is x >= 1?
True
Let w be (5 - (-1 + 5))*20. Let o be (126/35)/(1*(-8)/w). Are -4 and o nonequal?
True
Let c = 59.5 - -690.5. Let b = c + -751. Which is bigger: 189/5 or b?
189/5
Let h = 50495474/117815 - -7/23563. Which is smaller: h or 429?
h
Suppose -42918*x + 10725 = -42943*x. Which is greater: -443 or x?
x
Let b be (-3 + 1)/(10/30). Let y(d) = -d**2 - 38*d - 45. Let f be y(-37). Is f smaller than b?
True
Suppose 12 = -o + 3. Let q be o/((-27)/(-12)) + 18. Which is greater: q or -3?
q
Let a be ((-60)/(-100))/(-4 + 130/34). Is a <= 2/3?
True
Suppose 2*m - 229 = -57. Suppose -m*q + 92*q = -96. Which is smaller: -15 or q?
q
Let y = -1353 - -1352.631. Which is smaller: 0.3 or y?
y
Let s(u) = 25*u**3 + 2*u**2 + 0*u - 2*u - 24*u**3 + 2 - u**2. Let w be s(-2). Suppose 0 = -y - 2, -7 = -w*j - j + 2*y. Which is greater: j or -13?
j
Let r be -1*(-24)/(18/6) + 0. Let a be 2/((-110)/200 + r/10). Is 120/17 at most as big as a?
True
Let f(l) = 27*l**2 - 23*l + 4. Let x be f(3). Suppose -w - 97 = -2*m, 0 = -2*w - 5*m + m - x. Let i = w - -9019/97. Is i at most as big as -0.1?
False
Let s = 1574 + -1575. Let m be 6/9 - (-27615)/36. Let g = -762 + m. Do g and s have the same value?
False
Let t = -369 - -366. Let n be 435/21 + (t - (-69)/21). Is 24 equal to n?
False
Suppose -2*v = z - 2843, 5*z + 17*v - 14*v = 14215. Is z at least as big as 2844?
False
Suppose -2*w = 5*w + 308. Let u = 49 + w. Let j be (0 + 3/(-6))*-4. Which is greater: u or j?
u
Let a = -4901 - -4900. Are 1/899 and a non-equal?
True
Let b be (118/40 + -3)*-3. Suppose 2*a + 3*a = 5*r - 40, 28 = 3*r - 5*a. Let n(g) = -g**3 + 6*g**2 + g - 5. Let c be n(r). Does c = b?
False
Let c = -43.042 - -0.042. Let l = 17 + -59. Let q = c - l. Are 0 and q non-equal?
True
Let f be (4 + -4)/(-1 - -3). Suppose 0 = -f*c - 2*c + 2, -82 = -