/y)/(4/1074). Let z = o + -2857/8. Which is greater: 0 or z?
z
Let b(h) = 7*h - 4. Let u be b(3). Suppose 5*x + 3*q + 37 = 0, 5*x - 7*q + 8*q + 29 = 0. Let j = x - -23. Is u at least j?
False
Suppose 11*a + 113 - 322 = 0. Suppose 13 - a = -2*p + 4*r, -2*r - 2 = 0. Is -3/101 at most p?
True
Let s(o) = o**3 + 15*o**2 + 27*o + 37. Let k be s(-13). Suppose d + k = -0*v + 5*v, -5*v = 3*d + 72. Which is smaller: d or -18?
d
Let d = -1491 - -1490. Is -251 smaller than d?
True
Let c = 1912 + -1231. Let p = -468 + c. Is 212 at most p?
True
Suppose 0*u + 145 = 5*u + w, 2*w - 20 = -u. Let g = 27 - u. Let i be 3/5 + 56/(-10). Is i greater than or equal to g?
False
Let s(q) = -q**3 - 21*q**2 - 18*q + 41. Let o be s(-20). Let r be ((-240)/35)/(3/42). Let p be r/675 + (-4)/(-18). Is p greater than o?
False
Let f be ((-17)/((-1666)/28))/(-2 + (1 - 0)). Let t(h) = -2*h**3 - 4*h**2 - h. Let c be t(-5). Which is smaller: f or c?
f
Let x(p) be the first derivative of -p**2/2 - 8*p - 55. Let s be x(-8). Let t be (-8)/22 + 3/9. Which is smaller: t or s?
t
Let f be ((214/2268)/(-107))/(6/7). Which is bigger: 0 or f?
0
Let v be (-9)/(-18) - 36/344. Is v at least 1?
False
Let b(n) = 15*n - 146. Let l be b(10). Suppose l*w = 3*d + 218, 4*w + 5*d = 4*d + 210. Does w = 53?
True
Suppose -2*b - 2*y = -44, -5*b + y = -b - 93. Let l be 2 - (2 + -1)*-1. Suppose l*a + b - 29 = 0. Is 1/34 less than a?
True
Let j be ((-468569)/(-3) + 2)*(-45)/(-1095). Let d = -6419 + j. Which is greater: d or 1?
1
Let o = 4885 + -4865. Which is greater: 93 or o?
93
Suppose 2*s = -4*s + 12. Suppose -2*g - s = -i, -2*g + 3*g + i = 2. Let u be (g - 0)*(4 - 5). Which is smaller: 1/25 or u?
u
Let j be 1840/1500 + (-1)/1*2. Which is bigger: 0 or j?
0
Let m be (-708)/(-9) + 4/12. Let j = m - 79. Is 5 less than or equal to j?
False
Let b = 8.9 - -0.1. Let g = -13.31 - -23.31. Let x = b - g. Which is greater: 2 or x?
2
Let l = 440 - 269. Let u = -297 + l. Let f = -884/7 - u. Is 42 smaller than f?
False
Suppose -3*a + 102 = 5*l, 122*l + 4*a = 125*l - 38. Which is smaller: l or 20?
l
Let k = 3664 + -3664. Are k and 14/195 non-equal?
True
Let g be 36/(-60) + -6*326/(-2960). Let i = g + -7463/1036. Is i at most -6?
True
Let j = -8.8 - -98.6. Let n = j + -90. Let m = -15 + 15. Is n < m?
True
Let i be (-19)/((-114)/2406) + 5. Which is smaller: 399 or i?
399
Let t be 4/(-2) - 1/(-2). Let u = -20143 + 20143.11. Which is greater: u or t?
u
Let r(o) = 298*o - 3413. Let v be r(9). Is v less than or equal to -731?
True
Suppose -5*k + 795 = c + 32, -595 = -4*k - 3*c. Do 154 and k have the same value?
True
Let l = 0.59 + -6.39. Let y = -2.3 - l. Let s = y - 3.4. Which is smaller: -12/7 or s?
-12/7
Suppose -p + 2 = -n - 1, 4*n + 12 = 3*p. Let j = -60002 + 10260340/171. Which is smaller: p or j?
j
Let k = -47.025 + 0.025. Let b = k - -89. Let r = -42.2 + b. Which is greater: 0.14 or r?
0.14
Let q(x) = 3*x + 57. Let d be q(-20). Let s be ((-24)/42)/(d*(-4)/42). Let u be 2/(-7) + (-104)/126. Which is bigger: u or s?
u
Let p = 46.47 + -47.68. Let q = -2.39 - -2.5. Let z = p + q. Is 1 less than or equal to z?
False
Let j be 4/(-10)*(-5)/19. Let f be 5589/12 - 42/24. Suppose 463*x = f*x + 1. Is j less than x?
False
Let z be 2870/357 + 4*(-10 + 9). Is 4 >= z?
False
Let u = 1 - 0. Let i be (-1)/7 - (u + -2). Let f = -12903 + 12903. Does f = i?
False
Let v = -186 - -185. Let d = -1.3 - v. Let c(n) = -n**3 - 9*n**2 - 7*n + 5. Let o be c(-8). Is o at least d?
False
Suppose 5*z - 39 + 4 = u, -2*u = 5*z - 50. Suppose -5*r + 5*p + 10 = 0, -5*r + z = 3*p - 2. Let x be 38/63 + (-4)/(-14). Is r equal to x?
False
Let g = -31.45 + 31.55. Which is smaller: g or -9866?
-9866
Let z = -86.56 + 107.56. Which is greater: -81 or z?
z
Let v = -24.38 + 23.78. Is v != 0.524?
True
Let d = -161/20 - -33/4. Let w = 1848 + -36969/20. Let l = w + d. Do -6 and l have the same value?
False
Let z = -0.98107 + -60.23993. Let p = z - -0.221. Which is smaller: 1 or p?
p
Let p = 98/17 + -1507/170. Which is greater: -0.2 or p?
-0.2
Let m(s) = -4*s**2 + 57*s + 301. Let j be m(-5). Which is smaller: 11 or j?
j
Let w = -1.95 - -2.96. Let p = 1.8 - w. Let m = p + 2.21. Which is smaller: m or -1/3?
-1/3
Let k be (-17)/((-51)/86) + 1/3. Suppose -34*g = -k*g - 30. Let y be (-4)/(-14) + (-208)/(-56). Is g at least y?
True
Suppose 3*x + 10*l = 8*l - 174, -l = 4*x + 227. Let o be (2 + 76/x)*2. Let w = o + -25/14. Which is bigger: -0.14 or w?
-0.14
Let c be 24*((-56)/(-16))/(-3*(-12)/(-126)). Which is greater: c or -293?
-293
Suppose -2*s - 8 = -2*d + 6, -2*d = -s - 8. Suppose 0 = 2*o + c - 469, 3*o + 17*c - 22*c - 710 = 0. Suppose 213*n - o*n - 22 = 0. Which is bigger: n or s?
n
Let f = -101 + 109. Let s(m) = -9*m + 55. Let g be s(f). Let r(q) = -q**2 + q - 16. Let p be r(0). Is p < g?
False
Let f = -332719/9595 + 659/19. Let b = f + 123208/1515. Let y = 82 - b. Is 2/3 <= y?
True
Let d = -2196 + 46126/21. Let k = -20266 - -20267. Is d at most k?
True
Let r(k) be the first derivative of -1/2*k**2 - 8*k**3 + 27 - 27*k - 1/4*k**4. Let l be r(-24). Is -2 > l?
True
Let k be 686/84 + -8 + 131/(-12). Suppose r - 2 = -1. Suppose 4*n = -43 - r. Which is smaller: n or k?
n
Let g be 30/(-60)*(-2 + 2). Is -13/644 < g?
True
Let k be (-8)/6 + (-1743336)/(-1308960). Which is greater: -1 or k?
k
Let i be 6/(-36)*((-5 + 5)/4 + -2). Which is smaller: -68/3 or i?
-68/3
Let r(x) = 71*x**2 - 1. Let h be r(1). Let v = 39292 - 39222. Is h at most v?
True
Let a be -2*(-2)/2 - 7. Let s = 13193/3 + -4404. Which is bigger: a or s?
a
Suppose -67416 = 45*g + 91*g + 26968. Are g and 3 unequal?
True
Let d = -106 + 106.2. Is d at least as big as -2/229?
True
Let i = -45 + 29. Let b = 2880.4 - 2880. Are i and b equal?
False
Let c be ((-16)/3)/(1/3). Let v(b) = -637*b - 37595. Let t be v(-59). Which is smaller: t or c?
c
Let r = 3205 - 3183. Which is smaller: r or -0.44?
-0.44
Let t(z) = -z**3 - 12*z**2 + 28*z + 44. Let y be t(5). Which is bigger: y or -242?
y
Let l(j) = 155*j - 102. Let o(r) = 78*r - 52. Let k(z) = -2*l(z) + 5*o(z). Let a be k(-5). Does -455 = a?
False
Let d(p) = 9*p - 2. Let a be d(3). Let o = 677 - 674. Let y(n) = 4*n**2 - 9*n + 17. Let b be y(o). Is b smaller than a?
False
Let l be (6579/(-459))/(14/(-6) - -2). Which is greater: l or 24?
l
Let g be 217386/43485 + -1*(-1 - -6). Is g at most as big as 0?
True
Suppose 0 = -z + 18 - 4. Let d be -2 + 31175/5070 + -4. Let w = -3/169 - d. Is w greater than or equal to z?
False
Let g = 426.8 - 457. Let h = 30.3 + g. Which is smaller: h or 38.5?
h
Let v = 728 - 391. Let d = v - 337. Are -1.01 and d nonequal?
True
Let u(k) = -4*k + 6. Let v be u(2). Let t be ((-1)/v)/((-11)/440). Let n be (2/t*-1)/(-2). Is n not equal to 1?
True
Let c(z) = z**3 - 3*z - 2. Let s be c(-1). Let x(a) = -2*a**2 + 2*a - 36. Let r be x(s). Which is smaller: -38 or r?
-38
Let u = -150389/3 - -50129. Let t(k) = k**3 - 9*k**2 + 7*k - 7. Let z be t(7). Which is greater: u or z?
u
Let m be (-9)/(-21) - (-10055)/11655. Let w = 50/103 - 3490/11433. Let n = w - m. Which is smaller: n or -0.1?
n
Let k = -98 - -102. Suppose k*g + 3*b + 1 - 3 = 0, 0 = b - 2. Suppose 7*o = 5*o. Are g and o non-equal?
True
Let u be (18/75)/(28/(-42)*8/10). Let d(s) = s**3 + 3*s**2 - 4*s - 1. Let r be d(-4). Is r > u?
False
Let v(h) = -15*h - 72. Let r be v(-10). Let g = -77 + r. Let d be (-3)/8*(-4)/(-21). Does g = d?
False
Suppose -2*o = 35*u - 31*u + 32, 14 = -u - 2*o. Which is smaller: -60 or u?
-60
Let q be (-74)/(-111) - 244/6 - -3. Let l = 120 - q. Is 159 at least as big as l?
True
Let h(n) = -n**2 - 8*n + 22. Let d be h(-10). Let i be d/(-2 + 145/(-5)). Let u(s) = 3*s + 49. Let t be u(-16). Which is greater: t or i?
t
Let i = -31.93 + 21.93. Is i greater than 0.346?
False
Let q(o) = -3*o - 7. Let x(f) = -f**3 - 9*f**2 + 11*f + 7. Let k be x(-10). Let n be q(k). Suppose 2*j = -0*j - n. Is j less than -2/17?
True
Let q = 1196 - 1195. Which is greater: -73/6 or q?
q
Suppose 959 = -33*n + 68. Is n >= 13?
False
Let h(a) = a**2 - 13*a + 11. Let u be h(12). Let y be u/2*60/(-3). Suppose -3*j + y = -8*j. Is -1 <= j?
False
Suppose -1864 - 2960 = -28*y - 39*y. Let z(j) = -70*j**3 - j. Let g be z(-1). Is y greater than or equal to g?
True
Let y = 1636 + -1605. Suppose -4*o = s - 32, 152 - 24 = 