
True
Let y(w) = -w**2 - w - 3. Let b be y(0). Let u = 17 - 17.98. Let i = -0.32 + u. Which is smaller: i or b?
b
Let h = -22/82927 + -767240230/1409759. Is -545 less than h?
True
Let h = 0.0969 + 0.9031. Which is smaller: h or -0.51?
-0.51
Suppose -17*c = -133 + 660. Is -35 at most as big as c?
True
Let s be (3/(-26))/(4536/700). Let p = -1/52 + s. Let l be (-6)/(-44)*12/9. Which is smaller: p or l?
p
Let y be 2 + (-4 - 0 - 1). Let j(u) = u**2 + 2*u + 3. Let q be j(y). Let i = 545 - 538. Do q and i have the same value?
False
Let f(o) = -o**3 + 3*o**2 + 12*o - 3. Let b be f(-5). Suppose -11*p + 38 = b. Let c be (4 - 1)/207 - 3/p. Which is smaller: c or 0?
0
Let b = -6766 - -6831. Is 74 greater than b?
True
Let i be -7 + 7566/7026*(-13)/(-2). Which is greater: i or 0?
0
Let g be ((-19006)/129)/(6/(-45)). Does 1104 = g?
False
Let s(b) = b**2 + 211*b + 497. Let q be s(-68). Which is smaller: 1 or q?
q
Suppose -i + 3 = -2. Suppose i*o + 113 = -162. Let t be (-3)/((-3)/8)*o/(-44). Is 10 less than t?
False
Let o = 32 + 112. Let z be 129/(-8) - (-6)/o*3. Let v = z - -17. Are 2/37 and v non-equal?
True
Let l = -4905 - -7493. Is 2588 smaller than l?
False
Let z(b) = -b**3 - 9*b**2 - 17*b - 14. Suppose -10*o - 2 = 2*m - 6*o, 4*m + 4*o = -16. Let v be z(m). Which is smaller: -3 or v?
-3
Let q(z) = 2*z**2 - 23*z + 7. Let l be q(11). Let k = l + 6. Do k and 45 have different values?
True
Let y be (-2 - (-110)/45)/((-396)/(-27) + -14). Is y less than 76/293?
False
Let y(v) = -v**2 + 136*v - 2117. Let k be y(18). Let n(q) = q**3 - 4*q**2 - q - 3. Let g be n(4). Let s be 1076/154 + (-2)/g. Which is smaller: s or k?
k
Let j = -193 + 208. Let k = j - 30. Let m = 2.1 - 2. Is m <= k?
False
Let z = 444.7 + -420. Let p = z + -23.7. Which is smaller: p or -25?
-25
Let u(b) = -8*b - 118. Let y be u(-15). Suppose y = 3*t + 5, 168 = -q - 4*t. Which is smaller: -165 or q?
-165
Suppose 13 = -0*w - 27*w + 40. Is 2/4237 smaller than w?
True
Let q be 16/96*(-43595)/1435. Let g = q + 122/123. Is g greater than or equal to -4?
False
Suppose 732 + 146 = 3*d + 5*l, 302 = d - 3*l. Is d < 309?
True
Let i = -930309/61 - -15251. Is i bigger than 2/61?
False
Let d(i) = 18*i**2 + 3*i + 8. Suppose 3*x - 12 = 7*x + 2*z, -9 = 3*x + 3*z. Let n be d(x). Let l = n + -1781/11. Is -2 at most l?
True
Let o be (-6)/(-105)*5 - 346886/322. Is o not equal to -1078?
True
Suppose -2*h + 5*l - 15 = 2, 5*l = -3*h + 37. Suppose 5*a = -h*y + 9, a = -y - a. Let w = 1 + y. Is 1 < w?
True
Let z be 5/(-40) + (-870)/80. Let o be 7 + (-237)/33 + (-13)/z. Which is smaller: -2/203 or o?
-2/203
Let w(k) = 106*k**2 + k - 11. Let v be w(-3). Let s = -44192/47 + v. Do s and 2/5 have different values?
True
Let r be (((-285)/(-12))/((-1)/(-4)))/14. Is 6 < r?
True
Let g(p) = -10*p + 8. Let z be g(-7). Let y(n) be the second derivative of 11*n**3/3 - 75*n**2/2 - 57*n - 2. Let r be y(7). Which is smaller: z or r?
z
Let w(m) = 16*m**2 + 45*m + 20. Let h(r) = 5*r**2 + 15*r + 6. Let i(j) = 7*h(j) - 2*w(j). Let f be i(-5). Which is smaller: f or 42/17?
f
Let g(s) = s**2 - 22*s + 80. Let z be g(7). Let v(n) = -n**2 - 28*n - 80. Let h be v(z). Which is smaller: h or -11?
-11
Let h = 9.65 + -11.65. Let b = -2535/8 + 316. Is b at most h?
False
Let j = -224.06882 - -0.06882. Which is greater: j or 7?
7
Let t be ((-3)/(-2))/((-3)/(-18)). Suppose 6 = 3*p, 7*s + t = 2*s - 3*p. Let l be s/16*(-10)/(-6). Is -1 smaller than l?
True
Let i(d) = d**3 + 4*d**2 - 8*d - 17. Let m be i(-3). Let u(z) = z**3 - 15*z**2 - 15*z - 16. Let a be u(m). Is 2/415 greater than a?
True
Let i(p) = -13*p**2 - 530*p + 3. Let v be i(-36). Which is smaller: v or 15650/7?
v
Let j be -3 + 114066/(-7596) - -18. Is 0 less than or equal to j?
False
Suppose -42 + 6 = 2*m. Let q be ((-2)/m)/(50/(-15)). Let u = 8631 - 8631. Which is smaller: q or u?
q
Let l = -5816 + 238444/41. Let g = 208/1271 + l. Which is smaller: g or 0?
g
Suppose 3*l + 2631 = 293*x - 296*x, 5*x + 4387 = -3*l. Which is bigger: -879 or x?
x
Let o = 31 + -75. Let w = -32 - o. Suppose -4*c = 5*v + 16, 4*v = -2*c - w + 4. Which is smaller: 5/4 or v?
v
Let x = -91 - -133. Let t be 15/((-1350)/(-1524))*3*(-20)/(-24). Is x at most as big as t?
True
Let b be (35/(2800/(-96)))/(((-80)/3225)/(-8)). Which is smaller: b or -405?
-405
Let s(l) = -3*l - 10. Let y be s(-4). Suppose n - 16 = y. Let j = n + -6. Is j >= 25/2?
False
Let o(h) be the first derivative of -h**3/3 + h**2/2 + h - 38. Let j be o(-1). Let s be ((-20)/(-6))/(33/(-9)). Which is smaller: j or s?
j
Let f be 174/(-87)*3/1212. Which is smaller: f or -1?
-1
Let t be 4030/(-11700) - (5/9 - 1). Let f(l) = l**2 - 3*l + 1. Let q be f(1). Which is bigger: t or q?
t
Suppose 2*d - 1276 = -2*d. Suppose 0 = 8*k - 353 - d. Which is smaller: k or 1?
1
Let k be ((-54)/12)/(4/(4960/(-25))). Which is smaller: 223 or k?
223
Let h = 599.8 + -599.9. Suppose 2*s = -76 + 4. Which is smaller: h or s?
s
Let i = 6979 - 5849. Is 1130 not equal to i?
False
Let c = -1823 + 1485.08. Let i = 338 + c. Which is bigger: 5 or i?
5
Suppose -287*s = -284*s - 5*u + 81, -3*s - 5*u = 111. Are -0.042 and s equal?
False
Let n = -5371 + 5371. Which is smaller: n or 1/2403?
n
Suppose -2*s - 5*q = 3, -3*q - 31 = -5*s - 23. Let z be (3 - -73) + (-30)/(6/s). Is 70 less than z?
True
Let d be (-12 + (-530)/(-40))/((-15)/(-8)). Which is smaller: d or -25?
-25
Let l(v) = v**3 + 8*v**2 + 14*v + 12. Let s be l(-4). Let n be 10*((-8)/s + 0). Which is bigger: -2 or n?
-2
Let d = 285 - 283. Suppose -1 = -3*f + m + 7, -d*f - 23 = 5*m. Are 2 and f equal?
False
Let s = 945 - 922.6. Is 0.7 > s?
False
Suppose 2*j = 3*c + 141, 117*j - 115*j + 141 = -3*c. Which is greater: c or 11?
11
Let g be (2/3)/((-16)/54). Let t be 1/(-2) - 91/26. Let p be ((-372)/132 - t/(-22)) + 2. Do g and p have the same value?
False
Suppose x = -12 + 13. Let c be (-6)/8 + 9/(108/129). Is x at least as big as c?
False
Let j = -1281 + -369. Let c be (1568/(-33))/(-1) - (-300)/j. Is 46 < c?
True
Let i(v) = -10 - v**3 - 3*v**2 + 13*v**2 - 4 - 1 - 10*v - 5*v. Let f be i(7). Is f equal to 28?
False
Suppose -4*c + 9*c + 29588 = 3*g, -2*g - 5*c = -19742. Let z = -3837876/389 + g. Which is smaller: 1 or z?
z
Let i = 8 + -398. Let v = i + 405. Which is greater: 5 or v?
v
Let n = -2.1 + 46.1. Let o = n + -45. Let x = 3 - -10. Which is smaller: o or x?
o
Suppose -7*o + 5*o - 12 = 0. Let t be -24 - (-18 + 11) - (-280)/20. Which is smaller: o or t?
o
Let k be ((-12)/9)/(8 + 161/(-21)). Let x be (-38)/(((-64)/24)/k). Is -58 at most as big as x?
True
Let z(f) be the third derivative of -f**4/24 + 19*f**3/6 + 38*f**2. Let k be z(10). Which is smaller: k or 1/3?
1/3
Let y be ((-4)/(-10))/(2 - 22/10). Let j(g) = 10 + 1 - 4 + 3*g. Let i be j(y). Which is greater: i or -4/9?
i
Suppose 0 = -18*u + 35*u + 2839. Let z = 77 + u. Are -89 and z equal?
False
Suppose 3*n = 2*o - 67, -92 = -6*o + 3*o - 4*n. Let i(v) = -450*v + 448. Let z be i(1). Let j be z*(-2)/o - 684/352. Which is smaller: j or 1?
j
Let o = -15 + 16. Let v = 521 + -7819/15. Which is smaller: o or v?
v
Suppose -3*a + 8 = w, 3*w + 4 - 7 = -2*a. Is w > -272?
True
Suppose k + d = 23, -38*k = -41*k + 2*d + 74. Let q be (1 - (-21)/(-15))*-60. Are q and k unequal?
False
Let d = -329957641/2131 + 154837. Which is bigger: d or -1?
d
Suppose 0 = -4*i + 8*o - 4*o + 104, 0 = -4*i + o + 89. Suppose 0 = -l - 0*l + i*l. Is 5/71 > l?
True
Let b = 1.48 + -1.573. Let w = 5.207 - b. Let t = w + -5.4. Which is smaller: t or 3?
t
Let n = -1335 - -7610. Let s be -5*(((-125460)/n)/(-4) + -5). Is 0 bigger than s?
False
Let p = 113 + 4. Let s be (-70)/(-9) + 26/p. Let x(h) = -h**3 - 5*h**2 + 7*h + 5. Let z be x(-6). Are s and z equal?
False
Suppose 5*f - 2*z = 2082, -4*z + 262 = f - 150. Let q be 1 + (1 + -1 - f/56). Which is smaller: -5 or q?
q
Suppose -4*c - 2*o + 304 = 0, -5*c + 461 - 76 = 5*o. Let j be 8/(-10) + (-1065)/c. Which is bigger: j or -17?
j
Suppose 0 = -19*a + 22*a - 24. Let p be 12/a - 82/(-4). Let c = -22 + p. Is -15 equal to c?
False
Let d(x) = x**2 - 9*x + 4. Let b be d(8). Let g be b + (0 + 0)/(-2). Let r(c) = -c**2 + 168*c + 1403. Let m be r(-8). Are m and g equal?
False
Let u(p) = -8*p - 6. Let h be u(-3). Let o be ((-1200)/h)/(-10)*(-51)/(-2). Suppose 13*j - o = 18*j. Which is smalle