e
Let r(n) be the second derivative of -n**5/20 + n**4/4 - n**3/6 + 2*n**2 - n. Let g be r(3). Let z be (-4)/(-16)*4/1. Is g at least as big as z?
True
Let c = 0.2 - 0.24. Let y = -2 - -2.06. Let r = c - y. Which is smaller: 2/5 or r?
r
Let z = 149/3 + -51. Are z and -2 unequal?
True
Let q(u) = -u**3 + 2*u**2 - 2*u + 2. Let v be q(2). Suppose c + 6*c = -14. Is c equal to v?
True
Let t = -15587/483644 + -2/5257. Is -1 less than t?
True
Let z = -31 - -95/3. Suppose 0 = 4*i - 8*v + 3*v - 13, -3*v - 3 = 0. Which is bigger: i or z?
i
Suppose -3*x - 5 = -2. Let o be (-2)/(-5) + 132/(-80). Is x less than or equal to o?
False
Suppose 2*i - 3*q = 21, -2*q = -2*i + 2*q + 26. Let m be (i/(-2))/(6/(-32)). Suppose -5 = -j - y, 4*j + 5*y - 33 + m = 0. Which is bigger: 2/7 or j?
2/7
Suppose -70 = 5*i - 10*i. Which is smaller: i or 11?
11
Let s(g) = 2*g**3 - g**2 + 3*g - 1. Let n be s(5). Let w = -1676/7 + n. Is 1 <= w?
False
Let z = 0.35 - 0.25. Is z not equal to 12?
True
Let m = -0.4 - -0.44. Let s = 0.09 - m. Let r = s - -0.95. Which is greater: -1/3 or r?
r
Let r = -5.1 - 5.9. Do r and 0 have different values?
True
Suppose 0 = 5*a + 9 + 11. Let c be (-1)/(-21)*6/a. Let m = 4/7 + c. Is 0 equal to m?
False
Let k = -13 - -25/2. Let m = -6 - -5.9. Is m at most k?
False
Let h be (-46)/(-10) + (-3)/5. Suppose -z + 15 = 3*v, 5*v - h*v = -4*z + 5. Let i be (-1)/4 - (-11)/12. Which is smaller: z or i?
z
Let v = 0.16 + -0.26. Which is smaller: v or -0.03?
v
Suppose -5*m + 12 = 4*c - 6, 8 = 3*c + m. Suppose c*f + 4 = 3*f. Suppose f*w - 2*w = 0. Is -1/6 greater than w?
False
Suppose 3*x - 3*a = 0, -3*x - 5*a + 6 = -18. Suppose -x*k = k - w - 17, -4*k - 8 = 4*w. Let y = 5 - 3. Which is greater: y or k?
k
Let x = 2069/13 - 159. Which is greater: x or -1?
x
Let o = -88 - -87. Which is bigger: o or -26/11?
o
Suppose 5*t - 4*o = -2, 0 = -3*t - 3*o + 10 + 5. Let b be (-1)/(-1)*40/30. Is b at least as big as t?
False
Suppose 0 = 20*d + 28 + 132. Suppose -32 = 4*t - 0*r - 4*r, -t - 2 = 5*r. Which is greater: t or d?
t
Let l = -567 - -22112/39. Is l > 0?
False
Let l = -0.7 - -1.5. Which is greater: l or -0.1?
l
Let q = -1/10 + 23/180. Which is smaller: q or 0?
0
Suppose 4*b = 2*y + 60, -3*b + 5*y + 61 = 9. Let z be (-1)/1 - (-7)/b. Is z at most as big as -1?
False
Let n = -0.332 + 0.032. Which is bigger: -3/4 or n?
n
Let f = 8 - 6. Suppose f*l + 0*o - 6 = -2*o, -3*l + o - 3 = 0. Suppose -3*t + l*t - 12 = 0, 16 = -5*s - 4*t. Which is smaller: s or -1/3?
-1/3
Let n be (2/(-7))/((-12)/7). Suppose 3*s = 16 - 1. Suppose 2*u = s*u. Are u and n non-equal?
True
Let s = -0.3 - -0.2. Is -0.1 > s?
False
Let l = -1 + 4. Let m be (-2)/l - 25/(-60). Is m less than 1?
True
Let q = 0.15 - -15.85. Which is greater: q or 1?
q
Let w be (-1)/((-6)/(-24)) - -1*3. Which is smaller: w or -5?
-5
Let l = 0 + 3. Let f be l/(-9) + (-148)/2070. Let d = -1/207 - f. Which is greater: -2/9 or d?
d
Let p = 0 - 5. Let m(n) = -n**3 - 5*n**2 - 2*n. Let w be m(p). Let d be (-5)/(w/4) - -6. Which is smaller: 3 or d?
3
Let l(o) = -6*o + 2. Let a be l(1). Is a not equal to -1?
True
Let v = -467 + 16343/35. Let t be 1/(4/16*4). Is t equal to v?
False
Let u be (2/8)/(3/(-6)). Suppose 0 = 5*m + 2*v - 31, 2 = 3*v - 4*v. Suppose 3*x = 1 - m. Is u equal to x?
False
Let f = -1/107 - 310/1177. Which is bigger: 0 or f?
0
Let t be (-4)/10*(-10)/(-38). Which is greater: t or -1?
t
Suppose -c - 7 = -4*i, -i = -0*c - 2*c. Suppose -a = -c + 2. Is -1/4 not equal to a?
True
Let n be (0/(-3) - 4)*1. Let w = n + 2. Let x be 2/(-6) - w/2. Is 1 <= x?
False
Let y = 9 + -6. Let q(h) = -h + 7. Let f be q(y). Suppose b + 3*b = -f. Which is bigger: 1/8 or b?
1/8
Let n = -0.1 - -0.2. Let f be (1/(-12))/((-6)/32). Let w = 11/45 - f. Is w >= n?
False
Suppose w - 34 = -4*p, p + 45 = 4*w - 6. Is w equal to 13?
False
Suppose 24 = 3*t + 2*t - 3*m, 2*m - 34 = -5*t. Let p(f) = f - 7. Let s be p(t). Are s and -3 nonequal?
True
Let l = 701 + -9121/13. Is 0 smaller than l?
False
Let j = -37 + 43. Is j less than 6?
False
Suppose 4 = -p, b - 2*p = 2*p + 29. Suppose -2*k + b = -5*v, -k - 5*v + 2 = 18. Let f be 0 - -3*4/(-42). Which is bigger: k or f?
f
Suppose s - 2*x - 36 = -3*s, 4*x = 0. Let y(h) = -h**3 - 2*h**2 + 3*h - 4. Let o be y(-3). Let w be 3*(-6)/s - o. Is 1/2 <= w?
True
Let l be (10/30)/(28/(-15)). Which is bigger: l or 0?
0
Let t(j) = j**3 + j + 5. Let y be t(0). Let s be y/(-6) - (-10)/(-60). Let g = -113/6 + 39/2. Which is greater: g or s?
g
Let n = 7 - 5. Suppose c = -n*c. Which is smaller: c or 1/2?
c
Suppose -5*v + 84 = 14. Let y = -16 + v. Suppose 3*g = -2*q + 1, 3*q - 2*q + 16 = 4*g. Is y > q?
True
Let v = 0 - -4. Let c be ((-4)/(-33))/(v/(-6)). Which is bigger: -1 or c?
c
Let f be ((-2)/(-5) - 0) + (-28)/245. Which is smaller: 0.09 or f?
0.09
Let i(d) = -d**3 - 6*d**2 - 5*d + 5. Let s be i(-5). Suppose -s*k = -3*k + 6. Which is smaller: 2/5 or k?
k
Suppose 0 = 3*k + 2*k - 10. Suppose k*j - 3*g - 11 = 0, -4*g + 10 = 5*j - 6. Let a be 4/10 + j/(-10). Which is bigger: a or -2?
a
Suppose 64*o = 63*o - 1. Which is bigger: o or -5/14?
-5/14
Let b = -149/219 - -1/73. Is b at most as big as -1?
False
Let k(c) = c**3 - 21*c**2 - c + 28. Let x be k(21). Which is greater: 4 or x?
x
Let w(u) = -2*u + 3 - 7 - 10. Let m be w(-11). Let x = m + -8. Is 2 at least as big as x?
True
Suppose -5*r + w + 16 = -3*w, -3*w = 12. Let j(g) = 4*g + 1. Let s be j(-1). Let c be (2 - 1)/(s/3). Is c at least as big as r?
False
Let c = 11 - 11. Let d = 3 - 4. Let w = -4 - d. Is c != w?
True
Let u = 14 + -22. Let h(v) = -v**3 - 7*v**2 + 7*v - 5. Let m be h(u). Which is smaller: m or 2?
2
Let j = -8 + 4. Let d = -2187263/64260 - -32/16065. Let o = d + 135/4. Which is smaller: o or j?
j
Let g = 3481/7 + -499. Which is greater: g or -1?
-1
Suppose 2*g = -g - 9. Let q be g/5 + (-246)/15. Are -18 and q equal?
False
Suppose 4*i - 26 - 2 = 0. Let c = i - 20. Is -2/3 < c?
False
Let m(s) be the third derivative of s**6/120 + s**5/30 - s**4/24 - s**3/3 + 2*s**2. Let f be m(-2). Is f at least -0.3?
True
Let a = 28823/71 + -406. Which is bigger: 1 or a?
1
Let j(v) = 2*v**2 + 7*v + 7. Suppose 5*w + 5 + 10 = 0, 18 = -3*k - 2*w. Let m be j(k). Which is smaller: m or -1?
-1
Let f = -24 + 24. Which is smaller: f or -4/5?
-4/5
Let n be 2*(-844)/(-48)*-2. Let i(t) = -12*t - 1. Let m be i(-6). Let p = n + m. Is p greater than or equal to 0?
True
Suppose 5 = 2*c + 3. Let s be 1*(-1)/c + 0. Which is bigger: -6/7 or s?
-6/7
Suppose 7*t = 3*t + 4. Let k be (1 + 0)*(0 - 0). Suppose k = i + t - 3. Is -0.1 less than i?
True
Suppose -5*d + 9 = -2*d. Let h be d/(-4) + (-865)/420. Let v = h - -15/7. Is 0 less than v?
False
Let h(m) = m**2 + 2*m + 2. Let a be h(-3). Suppose r - 2*r + a*i = 16, -28 = 4*r - 2*i. Is r at most as big as -6?
True
Let u be (-16)/300*(-6)/(-4). Let k = 15 + -9. Let s = -6 + k. Is u smaller than s?
True
Let b(a) be the second derivative of -a**5/20 - 5*a**4/12 + 5*a**3/6 - a**2/2 + 3*a. Let f be b(-6). Which is smaller: f or 6?
f
Suppose 0 = 3*w - 6*w. Let q be 1 + 1 + w + 2. Suppose 0 = 5*u + 4*i - 2 - 16, -4*u + 16 = q*i. Which is greater: 1 or u?
u
Suppose -15 = -5*t, -5*l - 24 = t + 43. Is -15 at least as big as l?
False
Let i be (-4)/(-7) + (-282)/273. Is i at least 2/7?
False
Let z be 51/4 + 1/4. Suppose z = 4*t - 51. Let l = 22 - t. Which is smaller: 7 or l?
l
Let p(o) be the second derivative of o**5/20 + 3*o**4/4 + 4*o**3/3 + o**2 - 3*o. Let z be p(-8). Which is bigger: z or 3?
3
Let h = 0 - 0. Let i = 0 + 4. Suppose 8 = 4*q + d, 3*q + i*d = 2*d + 11. Is q not equal to h?
True
Let a be (-5)/(-26)*(-76)/20. Let o = 3317/14261 + -2/1097. Let v = o + a. Is -2/7 > v?
True
Suppose -14*x + 13*x = 0. Let r = -2/1873937 - 352298950/1129984011. Let s = -6/67 - r. Which is bigger: s or x?
s
Let u(r) = r**3 + 6*r**2 + 5*r - 2. Let m be u(-4). Let b = 31 + -21. Is b equal to m?
True
Let o = -4 + 2. Let g be 1 + (0 - (-43)/o). Let j = -19 - g. Which is smaller: 2 or j?
j
Suppose 0 = 3*a - 2*l + 180, -5*a = l - 2*l + 307. Let g be (-1867)/(-30) - (-4)/(-10). Let m = g + a. Which is smaller: m or 1?
m
Let r = -13 + 23. Are r and 10 equal?
True
Let v be (18/(-15))/(3/(-20)). Suppose z - 2*z = -4. Let t be z/v + (-3)/2. Is -1 > t?
False
Suppose -7*l + 2*l = 40. Which is gre