se 0 = 2*q + 4*x - 4, -5*x - 4 = -2*q - 7*x. Is 24/11 <= q?
False
Let k = 0.07 + -0.16. Let f = -4.9 - -5. Which is bigger: k or f?
f
Let s = 327 - 8. Is s greater than or equal to 317?
True
Let g be 10/(-35) + (-2)/(-7). Let t = -311 - -533. Let r be (-2)/(-9) + t/(-270). Which is smaller: g or r?
r
Let b = -47036789/57 + 825282. Let f = -1278/17 + b. Let k = -5825/10659 - f. Which is smaller: -1 or k?
-1
Let h = -26 + 41. Suppose -2*i + 195 - h = 0. Let t be 1/(-5) - 102/i. Which is smaller: t or -1?
t
Let u be (2/(24/(-9)))/(38/8). Which is bigger: 4 or u?
4
Suppose 132 = 4*i + 4*c, -c = -5*i - 2*c + 181. Suppose -i = -4*k + 19. Suppose 4*a = 89 - 25. Is k less than a?
True
Suppose 8*j - 8 = 10*j - 4*s, 5*j + 65 = -5*s. Let o(m) = 10*m - 1. Let t be o(-1). Is j less than t?
False
Suppose -3*u - 7 = j, -3*u = -u - 3*j - 10. Let o(y) = 7*y + 6. Let c be o(-11). Let i = 1777/25 + c. Which is smaller: i or u?
u
Suppose 2*p - 3*m - 1 = 4, 0 = 2*p + 4*m + 2. Let j = 130/7 - 643/35. Is p greater than or equal to j?
True
Let i = -4 + 9. Suppose -18 - 32 = i*t. Let f be (15 + -1)/((-20)/t). Which is smaller: f or 9?
f
Let z(b) = -b**2 - 5*b + 3. Let p be z(-5). Let o = 116 + -83. Suppose 5*i + 2*g - o = 0, 5*g - 6 = 2*i + g. Is i equal to p?
False
Let g = 206 + -201. Which is smaller: g or 25?
g
Let x = 7 - 3. Suppose 2*s - 7 = 5*u, x*u + 38 = -2*s - 0*s. Suppose 0 = 5*z + 2*h + 15, -2*z - 4*h = -2*h + 12. Which is greater: s or z?
z
Let v = 2616001/480 + -5450. Is v > -1?
True
Suppose 3*s + 2*l + 808 = 0, -5*s - 1355 = -79*l + 74*l. Which is smaller: -1352/5 or s?
-1352/5
Let l = -0.031 + -2.359. Let w = l - -2.3. Let x = -0.1 + 0. Is x at least as big as w?
False
Suppose 4*b - 16 = -0*s + s, 5*s + b = 25. Suppose 5*d - 5*y = 35, -s*y - 9 = -2*d + 3. Let g = d - 17. Which is smaller: -10 or g?
-10
Suppose 13*q - 17*q + 144 = -3*w, -67 = w + 5*q. Which is greater: w or -60?
w
Let g be (32/2)/(68/(-646)). Let a be (g/2)/(16 + -14). Is -37 smaller than a?
False
Suppose -5*t = -t - 20, 0 = -4*z - t - 11. Let g be z/(-10) + 138/30. Suppose 0 = -g*v, 3*k = 3*v + 11 - 2. Which is smaller: k or 3/2?
3/2
Let j be (-173)/(-45837)*(38 + 1). Let u = -2/463 - j. Which is bigger: u or 1?
1
Suppose 5*x - 108 = 4*o, 2*x - 16 = -2*x. Let y = o - -17. Let v = y + 2. Is -2 at least as big as v?
True
Let g = 57799/6 + -9656. Let m = g - -70/3. Is 58 < m?
False
Let t(y) be the third derivative of -y**4/24 + 4*y**3/3 + 2*y**2. Let m be t(8). Let f = 533/5 + -107. Which is bigger: m or f?
m
Let c = -39 + 44. Suppose 5*x + 2*p + 3*p = 40, 3*x + c*p = 34. Which is smaller: x or 7/4?
7/4
Let z = 399 - 432. Is z at most as big as -3?
True
Let k = -36 + 40. Suppose -k*s + 5*b + 4 = 0, 0 = 5*s - 3*b - 4 - 1. Let f be (49/25 - 2)*2. Which is bigger: s or f?
s
Let v = -0.977 + 2.977. Is v equal to -138?
False
Let p be 1*-25*(-22)/(-1540)*-14. Let r = 481/120 + 19/24. Is p smaller than r?
False
Let m = -31 + 31.2. Let j = m + 17.8. Are j and -0.1 equal?
False
Let b = 0 + 1. Let g(c) = -10*c**2 + 2*c - 1. Let r be g(b). Let p = -3 - r. Is p smaller than 5?
False
Suppose -5*y - 2 = u, 0*y - u = -2*y + 2. Suppose y = -3*o + 13 + 2. Is o at most as big as 26/5?
True
Let f be (119/(-14))/(1/2). Let x = -15 - f. Suppose 2*m + 12 = -x*m. Which is smaller: -2 or m?
m
Suppose -c - 11 = -3*f, 8*f - 4*f + 17 = -5*c. Is f >= 398/7?
False
Suppose -2*o = 2*p - 2, 4*o + 19 = 4*p + 47. Let x(d) be the third derivative of d**5/60 + d**4/24 + d**3/6 - 44*d**2. Let s be x(p). Which is bigger: s or 6?
s
Let s = 43 - 43.19. Let h = s + -33.81. Let b = h - -25. Is b > -2/7?
False
Let i be 574/56*(1 + -5). Is i < -37?
True
Let i = -2.51 + 2.31. Which is greater: 0.35 or i?
0.35
Let i = -28 + 50. Let x = 20 - i. Are x and -3/2 nonequal?
True
Let j = 655 - 818. Is -163 bigger than j?
False
Let j = -346 - -345. Suppose 5*c + 5 + 10 = 0. Is j at least c?
True
Suppose 0 = -z + 4*y - 46, 6*z + 167 = z - y. Which is smaller: -40 or z?
-40
Let c = 32 + -32. Let v = c - -3. Suppose 4*o + v*i = 15, -3*i + i + 10 = 0. Which is smaller: -13 or o?
-13
Let w(o) = o**3 + 10*o**2 + 8*o - 14. Let u be w(-9). Let r be (-2)/7 - u/(-7). Let p be 4 + (r - (-46)/(-14)). Which is smaller: -1 or p?
-1
Let t = 9.52 - 1.22. Let q = 8 - t. Let o = 5.7 - q. Is o less than 1?
False
Let z = 4.02 - 22.02. Let c = 42 + -61.3. Let j = z - c. Is 0.1 >= j?
False
Let x(d) = d**3 - 19*d**2 + 29*d + 7. Let n be x(17). Are n and -80 nonequal?
True
Let d(a) = -5*a**2 + 8*a - 4. Let k be d(1). Are 3/284 and k unequal?
True
Let i = -76 - -123. Let z = -45 + i. Let t be 31/24 - (-2)/(-3). Which is smaller: t or z?
t
Let k = -500 - -726. Does 227 = k?
False
Let g(t) = t**2 + 15*t + 34. Let o be g(-11). Let f = 489 - 999/2. Is f smaller than o?
True
Suppose -11*t + 366 - 1917 = 0. Is -147 at most t?
True
Let u(t) = t**3 - 7*t**2 + 12*t - 9. Suppose 3*p + i = 18, -3*p + 4*i = -0*p - 18. Let v be u(p). Is 27 != v?
False
Suppose 0 = -2*h + 6 - 2. Let q be ((-2)/(-4 - 382))/((-1)/h). Is q bigger than -1?
True
Let q(m) be the second derivative of m**3/6 + m**2 - 7*m. Let v be q(2). Suppose 0 = -5*r + v*j - 5*j + 26, -5*j - 32 = -2*r. Is r smaller than 4?
False
Suppose 4 = z - 4*n, 0*z + 5*z - n - 20 = 0. Let a be (16/(-96))/(7/z). Which is bigger: a or 0?
0
Let b be (4606/(-175))/14 - (1 - 2). Is b >= 2?
False
Let s = 418 - 341. Is 78 less than or equal to s?
False
Let g = 300 + -1201/4. Is g at least as big as 1/2?
False
Suppose -15*y - 110 = -4*y. Are y and -3 nonequal?
True
Suppose 3*o - 2*g - 130 = 6*o, 0 = -4*o - 3*g - 172. Is o less than or equal to -46?
True
Let v = 2 + 0. Suppose o - v*p - 6 = -3, 3*o + 4*p = -41. Let x(c) = -c**3 + 3*c**2 - 2*c. Let y be x(3). Which is greater: y or o?
y
Let s = -2.15 - -0.98. Let w = s + 1.47. Is w less than -2/9?
False
Let n = 57 + -23. Suppose -2*m - 5*b + n = -0*b, -5*b - 1 = -3*m. Suppose -45 = -4*c - c - 2*i, -2*c + 34 = 4*i. Do c and m have different values?
False
Let t = -3.7 - -5.9. Suppose 0 = -2*i - 2*i - 0*i. Are i and t nonequal?
True
Let d(v) = 38*v - 2. Let t be d(1). Let j = 35 - t. Let x = -3 + 3. Which is greater: j or x?
x
Let s be 9/(-6) + 10/(-4). Let j be 6/(-18)*15/134. Let r = -861/268 + j. Is s smaller than r?
True
Let g be -1*(-3 + 72/42). Are g and 1 non-equal?
True
Let i be 48/18 - (-892)/12. Are 75 and i non-equal?
True
Let h be (-11 - 25/(-5)) + (-70)/(-11). Are h and -49 equal?
False
Let p = -1985 - -1747. Is p smaller than -236?
True
Let s = -599 + 4785/8. Is -2/3 at most s?
False
Let x be (-12)/78 - (-9)/(31356/640). Which is smaller: -1 or x?
-1
Let y = -1.8 + -10.2. Let r = -11.85 - y. Let b = r - 0.25. Are b and -0.07 nonequal?
True
Let i(f) be the first derivative of -7*f - 5 + 1/2*f**2. Let g be i(11). Which is smaller: 2 or g?
2
Let s(y) = -2*y. Let i be s(3). Let v be 7/(-3) + 1 + (-6)/i. Which is smaller: -15 or v?
-15
Let b(r) = r**3 - 10*r**2. Let x(y) = -2*y + 2. Let m be x(-4). Let f be b(m). Which is smaller: -1 or f?
-1
Suppose 0 = -6*p + 230 + 166. Suppose 10*r + p = 8*r. Let s = r + 35. Do 7 and s have the same value?
False
Let u(v) = -v**2. Let d be u(-3). Suppose 2*h - h = 13. Suppose -27 - h = 5*p. Is d bigger than p?
False
Suppose 5*r = -7 + 22. Let h be (4/r)/(6/63). Let q be (-6)/(-4)*h/21. Which is smaller: -1 or q?
-1
Suppose 19 + 25 = 4*g. Let c = 10 - g. Let q be 22/10 - c/(-5). Is q smaller than 7/9?
False
Let r be (-33018)/(-4646) + -8 + 6. Let j = 117/23 - r. Let a = j - -105/202. Which is greater: 2 or a?
2
Let f(y) be the first derivative of -y**4/4 - 5*y**3/3 + 2*y**2 + 4*y + 1. Let n be f(-5). Suppose 148*c - 193*c = 765. Is c < n?
True
Let w = -6 + 5. Let b be -6*4/(4/w). Let k be 26/(-8) - b/(-2). Which is smaller: k or 0?
k
Suppose -5*q + 33 = -117. Suppose 2*a + 3*t = 34 + 30, -t = 4*a - 118. Let h = q - a. Which is smaller: h or 7/4?
h
Let q = -612566/113 - -5421. Do q and -1 have different values?
True
Let n = 19778/21 + -942. Do n and 1 have the same value?
False
Suppose -5*k + 14 = -6. Suppose -k*p = 20, -5*h - p + 25 = -0*p. Suppose -m + 8 = -3*r, 0 = -6*m + 2*m - 5*r + 15. Which is smaller: m or h?
m
Let a = 1683 - 1682. Let i be 1/(-2*14/(-36)). Which is smaller: i or a?
a
Let j = -20 + 15. Let d = 2 - j. Let o = -13/2 + d. Whic