 + 3*j + 21130 = 0. Which is greater: 10555 or i?
i
Let n = -134 + 120.4. Let x = -21.2 + n. Let m = x + 35. Which is smaller: 0.4 or m?
m
Let i be (-252)/18 + 4 + 30. Which is bigger: 12 or i?
i
Suppose 8*w - y - 1661 = 5*w, -2*y - 1663 = -3*w. Let k = w + -552. Is k at least as big as 2/673?
True
Suppose -124 = 2*m + 2*m. Suppose -3*p + 34 = 5*j - 0*p, -2*p = -4*j + 14. Suppose -2*u - j*y - 52 = 0, 8*y + 116 = -4*u + 4*y. Do u and m have the same value?
True
Let s = 30835/59748 + -5/1532. Let h be (-462)/(-418) - 11/((-1672)/(-16)). Which is smaller: h or s?
s
Let r = 89167/4 - 22403. Let p = 4871/44 + r. Is -20 smaller than p?
True
Let v = -0.161 - -0.081. Let z = 46 + -45.29. Let x = 3.29 + z. Is v > x?
False
Let q = -43611 + 19537689/448. Let y = 219/2 + -7009/64. Let g = q - y. Is g < 0?
True
Suppose -9 + 3 = 3*t. Suppose -9*l + 20 = -5*l, 3*y = 4*l - 155. Let s be ((-1)/(-4))/(y/108). Which is smaller: t or s?
t
Let y = -411 + 440. Suppose 0 = y*n - 30*n + 26. Which is smaller: -3/2 or n?
-3/2
Let j = -3.688 + 4.1754. Let g = -0.0474 + j. Let m be (-2)/(-4)*4/7. Is g less than m?
False
Let l(v) = -50*v**3 - v**2 - 121*v - 228. Let t be l(-2). Which is bigger: t or -1.2?
t
Let h = -124685/53 - -2353. Which is smaller: h or 0?
0
Let k be ((-99684)/(-33210) - 3)/(6/(-60)). Suppose 0 = b - 2 - 0. Let f be 3/2 + b/(-4). Which is bigger: k or f?
f
Let b = 3602/33 + -1208/11. Which is smaller: -116 or b?
-116
Let u = 56 - -92. Let c = -159 + u. Is -8 greater than c?
True
Let n = 78.3 + -77.9. Let g = -0.0299 - -35.0299. Is g < n?
False
Let b be 9 - 2 - 4210*(-2)/(-1205). Let m(h) = -h**3 + h**2 + h. Let x be m(0). Which is smaller: b or x?
x
Suppose -5*z - 3 - 9 = a, 0 = -3*z - 5*a - 16. Let r be 2286/(-15) + 108/20 + -6. Let m be 4 + z - r/(-3). Is m bigger than -50?
True
Suppose x - 4 = g, -4*x + 62 - 37 = 5*g. Which is smaller: 16/1105 or g?
16/1105
Suppose 3*i = 9*p - 5067, -17*i + 5*p = -21*i - 6705. Which is smaller: i or -1681?
-1681
Let r be ((-70)/(-1316))/(7/(-28)). Suppose -o = -4, 0 = -5*h + 4*o - 8 - 13. Is h at least r?
False
Let b be 14*20/8*16/(-80). Is b != -68/11?
True
Let h = -11348 - -11347. Is -1/1632 not equal to h?
True
Let s(n) be the first derivative of n**4/4 + 5*n**3/3 + 3*n**2/2 + 14. Let x be s(-4). Suppose 5*c = 3*g + 17, 3*c = 4*g + x + 4. Which is smaller: 1 or c?
1
Let g be -3*(-4)/(-48) + 162/8. Suppose g = y + 4*y. Suppose -98 = -y*c + 2*q, c + 0*q = -q + 29. Which is greater: 24 or c?
c
Suppose 3*d - c - 5 = 0, -2*d + 4*c = -0*d. Suppose z + 5*y - 3 = -z, z - d = -3*y. Let f = -38669/41 - -943. Do z and f have different values?
True
Suppose -84 = -9*m - 30. Suppose 1 - 5 = -g, 5*v + 2 = 3*g. Suppose -4 = v*f - 20. Does m = f?
False
Let g(h) = 4*h**2 - 179*h - 1455. Let o be g(52). Which is smaller: 835/16 or o?
835/16
Let s be 9/3 + -5 + 3. Let d be 703/19*2*s. Suppose 0 = 4*l - 0*b + 2*b + d, 4*b - 12 = 0. Is -18 greater than or equal to l?
True
Let g = -835 + 1343. Suppose -3*y - a = 371, 0 = -4*y - 0*a - 4*a - g. Let l = 112 + y. Which is smaller: -8 or l?
l
Let m be (1 - -9)*4/10. Let t be (5*3 - 3475/556) + 1 + -6. Which is greater: t or m?
m
Let d = -18593 + 19520. Which is greater: d or 14?
d
Let i(m) = -m**2 + 76*m - 218. Let d be i(3). Let l(n) = n**2 - 4*n + 24. Let w be l(-13). Is w bigger than d?
True
Let w(k) = k**3 + 13*k**2 - 21*k - 19. Let z(m) = m - 1. Let f(x) = w(x) + 5*z(x). Let r be f(-14). Are 12 and r nonequal?
True
Suppose -11*j = -16*j + 50. Suppose -j*r + 550 = 50. Suppose -6*n + 11*n = -r. Which is bigger: -3 or n?
-3
Suppose -20*a - 11 = 9. Suppose -o - 3 = -2. Let b be (-3)/543*(a + o). Which is smaller: b or 1?
b
Let q = -4277876876/73335 - -5340/4889. Let p = q - -58377. Let d = -45 + p. Which is bigger: d or -0.1?
-0.1
Suppose -c - 4*t + 25 = 0, 9*c + 5*t = 10*c + 20. Suppose 0 = -c*x + 15, -5*i + 4*x = -15 + 12. Which is smaller: i or 23/11?
23/11
Suppose -4*n + 2 = -l, -14*n + 2*l + 1 = -9*n. Let u be 215/70 + (-2 - (2 - n)). Let o = -4 + 5. Is o <= u?
False
Let w = -836 + 836. Let p = 0.1 + w. Is 0.079 at most as big as p?
True
Let n = -10635/28 - -171317/84. Is n bigger than 1659?
True
Let b = -567 + 571. Suppose 8*x + 17 = 9*x + b*z, -z + 32 = x. Is x < 36?
False
Suppose 5*x + 460 = r, -7*r + 3*x - 1771 = -11*r. Which is greater: r or 0.3?
r
Let z be 9/(-30) - 306516/(-120). Suppose 0 = -56*y - z - 1142. Is -64 equal to y?
False
Let g = 82 - 187. Let l = g + 104.8. Let n = 0.33 - 0.03. Which is bigger: n or l?
n
Let q = -17971627/1081 - -16625. Let b = q + -81071/2162. Let n = 38 + b. Which is smaller: n or -0.5?
-0.5
Suppose -2*b = -3*d - 1443, -37*d + 33*d + 738 = b. Which is bigger: b or 0?
b
Let n(g) = -5 + g - 35 + 131. Let y be n(37). Are 2/5 and y equal?
False
Let j = -27772/3 - -9263. Which is smaller: j or 1/18?
1/18
Let l be (-1159914)/(-612237) + -2 - (-556)/5282. Is l <= 1?
True
Let n be (-15 + 765/50)*-1. Which is smaller: 40 or n?
n
Let l = 25.52 + 2.48. Let j = 438 - 436. Is j > l?
False
Let s be (-4)/(-6) - (-28)/525*-35. Let m(f) = f - 4. Let u be m(4). Is s smaller than u?
True
Let l be ((-21)/5 - 0) + (-1)/(-5). Let s be (l/(-130))/((-7)/(-175)). Let j = -35 + 35. Is j not equal to s?
True
Suppose -440 = 10*z - 490. Suppose -w - 37 = -0*w - 3*q, 115 = -z*w + q. Which is bigger: -23 or w?
w
Let t = -567504872/6591 - -86103. Which is greater: t or 1?
1
Let z = 329689206/5 - 5190297156138/78715. Let h = 42/173 - z. Which is bigger: 0 or h?
h
Let r be 2/(-10) + 30678/15. Suppose 14*j = 9*j - r. Which is smaller: -408 or j?
j
Let q(g) be the second derivative of -g**5/20 - g**4/3 + 22*g**3/3 - 4*g**2 - 7*g. Let x be q(-9). Which is bigger: x or 31?
31
Let b = -3755002/225 - -16689. Let g = -2077/33525 + b. Which is greater: 1 or g?
1
Suppose 69*o + 21 - 61 = 29. Are 4/13603 and o unequal?
True
Suppose 8*a = 5*a - 96. Let y(m) = -13*m**2 + 23*m - 90. Let q be y(4). Let c = -238 - q. Does a = c?
True
Suppose 0 = -2*q, -2*p - 3*q = -4*p. Let o = 146 - 261. Let s be 8/((-8)/(-3)) - (-343)/o. Which is smaller: p or s?
p
Let c be -7 + -1 + 0 + 2. Let t = -139 + 206. Let a = -72 + t. Which is smaller: c or a?
c
Let y(a) = -120*a**2 - 472*a + 18. Let t be y(-7). Which is smaller: -2557 or t?
t
Let w(x) = 45*x + 126. Let i be w(-18). Which is greater: i or -683?
-683
Suppose 59*n + 12*n + 142 = 0. Let f(d) = -d**2 - 4*d**2 + 0*d**2 - 1 - d**3. Let l be f(-5). Which is bigger: n or l?
l
Let c = 167.95 - 217.3. Let f = c + 49.3. Is f != 10?
True
Let a = -15.3 + 12.26. Let r = a - -0.04. Is r at most as big as 1?
True
Let b = 1 + 170. Let y = -172 + b. Which is bigger: y or -35?
y
Suppose -165 = 5*o + 4*f, -4*f = -3*o + o - 66. Suppose k - 4*a - 24 = 0, -2*k = -3*a + a - 60. Let r = o + k. Is r at least 1/28?
False
Let k = 11593 + -8080323/697. Suppose -4*z - 20 = -4*f, 10 = 4*z + 2*f - 0*f. Which is bigger: k or z?
z
Let q be -6*(-2 - (-6)/9). Suppose q*d + 14 = 22*d. Let u be -26*1/(-32) - 1. Which is smaller: u or d?
u
Let u = 622/23 - -4742/437. Which is bigger: u or 39?
39
Let a be (-25)/20*-4 + -1. Let g be (3/(-1))/(a + (-140)/32). Suppose -g + 21 = -r. Which is bigger: r or -10?
-10
Suppose 20846 = -108*i + 122*i. Is i at most as big as 1?
False
Let q = -1471/273 - -5/91. Let v = -2401.2 + 2401. Which is smaller: q or v?
q
Let p(c) = -2 + 4 - 2 + 3*c**2 - 10 + 31*c. Let b be p(-15). Let l be (4/10 - 130/b)/1. Which is bigger: -35 or l?
l
Let m = -1.2 + 0.94. Let o = -35 - -124. Let y = 88 - o. Which is greater: m or y?
m
Let k = 0.239 + -48.839. Let w = -325 + 377. Let b = k + w. Which is smaller: -0.1 or b?
-0.1
Let l be ((-518)/((-42)/6))/(-1 + -1). Let g = l - -38. Suppose 0 = 5*o - 4*m + 78, -o + 5*m - 25 = -g. Is o <= -14?
True
Let j = -14673 + 14674.5. Is j at least -164?
True
Let b = 61785 - 61778. Let z be (-70)/(-8)*2/(-5). Is b != z?
True
Suppose 99*w + c = 101*w + 3429, 2*w = 5*c - 3441. Which is bigger: w or -1712?
-1712
Let u = -5.888 + 5.688. Is 10/79 less than or equal to u?
False
Let y = 32 - -56. Suppose -2*h + 4*h = y. Let i = 26 - h. Which is smaller: i or -16?
i
Suppose 4*g - s = 5*g - 4, 3*g - 5*s + 12 = 0. Let q be 8/((-126000)/10545) + (2/3 - 0). Is g at most q?
False
Let i be 4 + 2/(-4)*6. Let c be (i/6)/(123/(-12)). Suppose -10*o = 