e
Let d be -3 + 7 - (-2876)/(-718). Let p(f) = f**3 - 14*f**2 - 15*f + 363. Let j be p(13). Which is smaller: j or d?
j
Let h = 4659 - 4273.8. Is h > -1?
True
Let w(u) be the first derivative of -u**2 - 3*u + 1. Let i be w(-3). Suppose 4*c + 4*z + 36 = 0, -6 = -c + i*z + 5. Is c greater than or equal to -4?
True
Let x(p) = -86*p + 450. Let i be x(5). Which is smaller: 45 or i?
i
Let k = -12.7 + 12.758. Let u = k + -9.058. Do -4 and u have the same value?
False
Let n = -26161 + 26158. Are n and 5/4 non-equal?
True
Suppose 3*d - 131 = -4*h - 17, 2*d = 5*h + 53. Let v be (-4)/(-3)*(-39)/d. Which is bigger: v or 1?
1
Let y(b) = -b**2 - 10*b + 7. Let m be y(-11). Suppose 6*i - r - 13 = i, 14 = i - 4*r. Suppose -3*k + i = 14. Do m and k have the same value?
True
Let l be (1 + -11)*36/5. Let c be ((-1)/3)/(-4*2/l). Let s be (-15)/(-1210)*4/c. Do 1 and s have different values?
True
Let k(v) = -80*v - 3. Let i be k(-3). Suppose 1018 = 5*s + 4*c - 179, 0 = 3*c - 9. Is i > s?
False
Let a(p) = p**2 + 20*p + 15. Let h be a(-19). Let k be h + -782*6/12. Is k at most as big as -394?
True
Let o(h) = h - 2*h + 41 - 3 - h. Let g be o(17). Let u(d) = d**2 - 4*d. Let n be u(g). Which is bigger: n or 1/24?
1/24
Let b = -82 + 60. Let d = 55.9 - 76. Let v = d - b. Which is bigger: 1/4 or v?
v
Let w = -805985/24 - -101686/3. Suppose 0 = -39*a + 38*a - 313. Let f = w + a. Which is smaller: 1 or f?
f
Let p = 2.4059 - 0.7259. Which is smaller: 1.6 or p?
1.6
Suppose 0 = -10*o + 451 + 729. Let s be (176 - 2)*(-16)/(-24). Which is bigger: s or o?
o
Let r(m) = m**3 + 8*m**2 - 10*m - 10. Let t be r(-9). Let q be 52/(-476) - 4/(-14). Is q > t?
True
Let s = 21 + -49.3. Which is smaller: s or 0.02?
s
Let k(f) = 2*f**3 - 38*f**2 + 8*f - 151. Let n be k(19). Let l = -5 - -4. Let g be l - (6/(-165) + -1). Is n at most as big as g?
False
Let r(q) = -q**3 - 151*q**2 - 559*q + 1176. Let n be r(-146). Is -23790 greater than or equal to n?
True
Let h(w) = -4*w - 20. Let g be h(-7). Suppose -2*i - 6 = -4*d, g*i - 4*i - 36 = -4*d. Let x be d + (0 + 15)/(-5). Which is smaller: -3/14 or x?
-3/14
Suppose -77532 = -21*n + 112*n. Which is smaller: n or -3407/4?
n
Let b = -579 + 11577/20. Let m(f) = -f**3 + 29*f**2 + 40*f + 101. Let o be m(30). Let q = -400 + o. Which is bigger: q or b?
q
Let v be 2/(-6) + 154/(-33). Let g be 10/v*2 - -3. Let q be (g + 4)*(-22)/(-418). Is q greater than or equal to -1?
True
Let r(t) = -t**3 - 3*t**2 + 3*t - 1. Let p be r(-4). Suppose -19*i + 16*i = -4*w + 80, -2*w - p*i + 22 = 0. Is 1/23 at least w?
False
Let w(s) = 16*s + 53. Let q(o) = -o + 4. Let y(a) = 2*q(a) - 2*w(a). Let x be y(-4). Let r be (-42 + 3)/(1 - 2). Are x and r non-equal?
True
Let v(p) = -15*p - 109. Let k be v(-12). Let g = -70 + k. Which is bigger: 7/4 or g?
7/4
Let l = 0.06 - -0.04. Let x = 1.328 - 0.038. Let c = x + -0.69. Is l bigger than c?
False
Let b = 1/60 + 11/15. Let m = 117981.7 + -117987. Which is smaller: b or m?
m
Suppose 234*r - 253*r = 1938. Which is smaller: -94 or r?
r
Suppose -4*q - z + 2 = 0, q = -3*q - 3*z + 6. Which is smaller: 2/379 or q?
q
Let v = -968 - -1029. Which is greater: 902/15 or v?
v
Let a be (-7)/14*(-20)/(-90)*-9. Is a < -16/3667?
False
Suppose 0 = -z + 2*p + 7, z - 4*z = -3*p - 18. Suppose 2*b - z*b = -12. Suppose 4 = 3*q - b*d + 18, -5*q - 32 = 2*d. Which is bigger: q or -7?
q
Let d be (-18)/81 + 38/9. Suppose -d*w + 12 = -0*w. Suppose 0 = -2*j - w + 35. Which is smaller: 15 or j?
15
Suppose -27*x = x + 10*x - 836. Which is bigger: x or -53?
x
Suppose -v + 3 = 0, -3*t + 47 = -4*v - 13. Let g be 0/2 + (-26)/(-1). Suppose 2*x = g - t. Which is bigger: x or 6/11?
x
Let y be (-23408)/352 + ((-3)/2)/1. Is 11 at most as big as y?
False
Let q = 349147 - 349118. Let z be 133/4 + 2/(-8). Is z at most as big as q?
False
Suppose 7*a + 24 = 4*a. Let c = a - -34. Let w = 23 - c. Which is smaller: w or 1?
w
Let q = -431 - -422.6. Let s = -22.9 + 23. Is q >= s?
False
Let g(x) = 9 - 3*x**2 - 8*x**2 - 9*x + 645*x**3 - 646*x**3. Let u be g(-10). Is u <= 9/44?
True
Let t = 379 + -170. Suppose -2*d - 4*v - 88 = 0, 5*d + 5*v = 4 - t. Suppose 140 = -5*l - 45. Are d and l equal?
False
Let d be 252/(-78)*(-1)/(-3). Let a = 277/10 - 55/2. Which is smaller: d or a?
d
Let v = -136587 - -409759/3. Let z be (2*3)/((-3)/(-20)). Let r be (-1 + -3)*(-22)/z. Is r at least as big as v?
True
Let b = -25 - -25. Let j = 2242/23715 - 2/4743. Which is bigger: j or b?
j
Let m = -117.93 - -0.93. Let p = m - -116.9. Let h = -33 + 33.016. Which is greater: h or p?
h
Let o be (-634550)/(-280) + 27/(-12). Is 2265 less than o?
False
Suppose -19*p = -15*p + 2356. Let s = p + 584. Is -25/6 < s?
False
Let a(s) = 10*s - 62. Let q be a(6). Is q <= -44/27?
True
Let b be 7 + -2 - (-6 - -5). Let v(s) = s**2 - 4*s - 8. Let n be v(b). Suppose 37*z = 33*z - n. Which is smaller: -2 or z?
-2
Let l = 0.0195 + -144.0195. Let c = -134 - l. Is c > -3/4?
True
Let b(o) = o + 3. Let k be b(-1). Suppose -6*n - p = -5*n - 4, 3*p = 2*n + k. Suppose -u + 9 = 4*q, n = 5*u - 3. Is q less than or equal to 5?
True
Let y = 39 + -40. Let f be 14*(2 + y) - 24/(-6). Let c be 14/18 - 24/(-108). Which is bigger: f or c?
f
Let l(w) = -w**2 - 11*w - 39. Let b be l(-8). Which is greater: 0.065 or b?
0.065
Let i(w) = -w**3 - 8*w**2 - 19*w - 13. Let d be i(-6). Let c be (-6 - -8)*14/1. Are c and d non-equal?
True
Let k be 4*((-1496)/408)/(1/(-24)). Is k at least 348?
True
Let r = 1915 - 1339. Let w = r - 560. Which is greater: 6 or w?
w
Let s = 3527 + -3524. Is s greater than or equal to -315?
True
Let p(k) = 24*k - 1. Let j be p(-2). Let n(d) = -50*d**3 + 5*d**2 - 81*d + 75. Let i be n(1). Is j smaller than i?
False
Let d = -774 - -784.18. Let s = d - 0.18. Suppose q = 3*q. Which is bigger: q or s?
s
Let s = -2/14213 + -142004/895419. Suppose -890*y + 878 + 12 = 0. Which is bigger: s or y?
y
Let f be 7/14 + (-10844)/8. Let x = 1343 + f. Let k = -1.1 + 1. Which is greater: x or k?
k
Let k = -0.3 - -0.4. Let w = k + 1.6. Let t = -786 + 787. Which is smaller: w or t?
t
Let k = -16.874 + 1.874. Which is greater: k or 0.53?
0.53
Suppose 0 = 5*f, -5*i + 3*f = -0*i - 365. Let w = -33 + i. Suppose -2*d + w = 32. Which is smaller: 5 or d?
d
Let q be 16/28 + (-660)/(-70). Suppose q = -5*s + 15. Is s less than or equal to -1/16?
False
Let x = -167 + 166.9. Which is smaller: -0.996 or x?
-0.996
Let t be (2 + 417/(-18))/((-73)/(-438)). Which is bigger: t or -128?
t
Let j be 0 + -5 + 2 + -2. Let r be (-15)/j*2/6. Which is smaller: 8/9 or r?
8/9
Let n = -21 - -45. Let b = 35 - n. Suppose 0 = 3*k + 4*i + 56, 0 = -2*k + i - 8 - b. Is -12 equal to k?
True
Let o(w) = -w**3 - 12*w**2 + 5*w + 1. Let c be o(-12). Let m = c - -827/14. Suppose -3*n = 2*t - 7*t + 13, 2*n - 8 = -5*t. Is n equal to m?
False
Let s(b) = -3*b**3 - 22*b - 594. Let f be s(0). Which is greater: f or 0.08?
0.08
Suppose 0 = 43*i - i - 756. Suppose -f + 13*s - i = 10*s, 2*s = -3*f - 21. Let w be 90/(-8) - (6 + -7). Are f and w nonequal?
True
Let h(r) be the second derivative of r**5/20 + 5*r**4/12 + 7*r**3/6 + 3*r**2/2 - 37*r - 2. Let d be h(-3). Which is smaller: d or -5/28?
-5/28
Suppose 4 = 2*u - 2. Let v = 34904/9779 - -3/1397. Is u smaller than v?
True
Let l = 0.27605 + -0.33605. Let n = -38 + 191/5. Which is greater: l or n?
n
Let z = 33635.97114 + -33636. Do -0.2 and z have the same value?
False
Let m = -33 + 39. Let y be 46/200 + 2/8. Let j = 461/75 - y. Is j equal to m?
False
Suppose -2*m = -f - 213, -4*f + 7*m - 864 = 2*m. Let s = f - -1991/9. Let k = -9.7 + 9.4. Is s at most as big as k?
False
Let i = -10968 + 11006. Is 4/119 at least as big as i?
False
Suppose 0 = -4*p + 2*r + 148, 2*p - 2*r - 80 = 2*r. Let z(u) = u + 9. Let x be z(-8). Is p at most as big as x?
False
Let r = -77555453/59900 + -18/14975. Is r at least -1294?
False
Let i = 939 + -931. Let j = 30 - 6. Let q = j - 13. Which is smaller: q or i?
i
Let z = 1174 + -1234. Let f be (242/(-33))/((-4)/(-33)). Is f equal to z?
False
Let i(j) = -584*j - 2567. Let u be i(-10). Which is smaller: 3274 or u?
u
Let s(t) = -t**2 - t. Let m be s(-1). Let b(i) = 336*i - 337*i - 16 - 9. Let k be b(m). Is -24 smaller than k?
False
Let r be (144/(-64))/(3/2)*(-2)/(-71). Which is greater: r or -1?
r
Let s be (-6)/1 - ((-6320)/336 