 3*a - 1. Which is smaller: 2/431 or a?
2/431
Let x(a) be the third derivative of 1/2*a**3 + 0*a + 4*a**2 + 1/3*a**4 + 0 + 7/60*a**5 - 1/120*a**6. Let i be x(8). Is 2 <= i?
True
Suppose -2*t + 12 = t. Let q = -60 - -60. Suppose q = 5*f - 2*k - 15, -4*k = 2*f + k - 6. Which is bigger: t or f?
t
Let m be 0/((-9)/6 + 2/(-4)). Let q = 23.993 - 24. Do m and q have different values?
True
Suppose 7 = 2*u - 113. Let d = 55 - u. Which is bigger: d or -2?
-2
Let l(x) = -x**3 - 24*x**2 - 65*x - 39. Let q be l(-21). Which is smaller: 6 or q?
q
Suppose -94 = 3*m + 5*b - 8, -5*m - 175 = 2*b. Is -7 at most as big as m?
False
Suppose 3*s + 30 - 210 = 0. Let t = s - 61. Is t <= -6/7?
True
Let y = 34.8 + 111.2. Let f = -145.84 + y. Is 2/7 greater than or equal to f?
True
Let j(s) = 5*s + 13. Let i be j(-3). Let l be ((-5)/4)/(3/4). Is i at least l?
False
Let n = -2611 + 12967/5. Let d be (-1 + 0)*(2 + -3)*-18. Which is smaller: d or n?
d
Suppose 4*u - 20*t + 128 = -16*t, t - 134 = 4*u. Is -34 at most as big as u?
True
Let n be (-4)/10*75*2/(-1). Suppose -n = 3*m - 7*m. Which is bigger: -2/9 or m?
m
Let y = -30 - -23. Let j(l) = l**3 + 9*l**2 + 10*l + 4. Let h be j(y). Is h <= 32?
True
Let k = 222 - 221. Let o be (1 + 1)*1/9. Is k != o?
True
Let q = -27532/37 - -744. Which is smaller: q or -1?
-1
Let q = 1625/14 + -116. Suppose 1418 = -10*r - 282. Let k = r + 169. Which is greater: k or q?
q
Suppose 52*n = -3*c + 53*n - 19, -5*n - 17 = c. Is -6 smaller than c?
False
Suppose 2*a + 2*b + 2 = 6*a, -5*b - 5 = -a. Let q = 0.03 + 0. Let c = 1.97 + q. Which is smaller: a or c?
a
Let y = 0.6719 - 0.6719. Let b be (18/(-5))/((-2)/(-30)). Which is bigger: b or y?
y
Let x = 23 + 22. Let n be (-2)/(-2) + x/(-65). Let j = -138 - -138. Are n and j equal?
False
Suppose 0 = f + 21 + 28. Let l = 44 + f. Which is bigger: l or 0?
0
Let t = 1007 - 1014. Let v(f) = 0*f + f + 1 + f. Let j be v(-4). Is j <= t?
True
Let c be (399/(-49) + -9)*1. Is c at least 1?
False
Let k(j) = -53*j + 270. Let t be k(6). Is t != 3?
True
Suppose 2*d - 35 = -3*d. Suppose -15 = -d*a + 2*a. Suppose 1 = a*h + 4. Is h at least -1?
True
Let p = -12.14 - -12. Let f = 7.14 + p. Let d(z) = -z**3 + 4*z**2 + 16*z + 6. Let i be d(-2). Which is greater: f or i?
f
Let y be (-3)/15*4/(-2). Suppose -35 = 2*q - 33. Which is smaller: q or y?
q
Let i be ((-1722)/4)/21 - 2/4. Do -17 and i have the same value?
False
Let o = 16 - 20. Which is bigger: 34 or o?
34
Let n = 16 - 10. Let q be 2/n - 176/168. Which is smaller: q or -2?
-2
Let v(t) be the second derivative of t**4/12 + 7*t**3/6 + 5*t**2/2 - 3*t. Let w be v(-4). Which is bigger: -1 or w?
-1
Let a = 11 + 1. Let w = -12 + a. Suppose -u - 6*u + 182 = w. Is u less than or equal to 27?
True
Suppose -87*y - 1248 = -48*y. Which is smaller: -0.9 or y?
y
Let r = 313 + -397. Which is smaller: -80 or r?
r
Let j = -20273 + 16238675/801. Are 1 and j equal?
False
Let i(y) = y + 1. Let d be i(-1). Let f(x) = -x - 6. Let w be f(d). Let s(m) = -m**2 - 5*m - 14. Let q be s(-3). Which is smaller: q or w?
q
Let c(x) = x**3 - 4*x**2 - 10*x - 7. Let q be c(6). Let m be 0 + 1*(-1238)/18. Let h = 69 + m. Is h at least q?
False
Let a = 2348/21 - 112. Let r = -55/42 + a. Let h be (-8)/28 - (-12)/(-7). Which is bigger: r or h?
r
Let b = 13 - 8. Suppose 0 = -b*k + 3*k + z + 2, -4*z - 14 = -2*k. Let y = -970 + 8710/9. Does y = k?
False
Let w be -22*22/(-847)*(-14)/(-4). Which is greater: w or 4?
4
Let a(d) = -d**3 - 9*d**2 - 17*d - 4. Let x be a(-9). Is x at most as big as 149?
True
Let v = -325 - -325. Is -9/20 less than or equal to v?
True
Let f = -39 - -40. Which is smaller: -6/13 or f?
-6/13
Let a be 4 - (6*2/4)/1. Which is greater: -1/9 or a?
a
Let h = 42 - 39. Let o be (h*(-2)/3)/(-2). Are 2/97 and o equal?
False
Let w(x) = -2*x**2 - 9*x + 4. Let k(z) = -3*z**2 - 18*z + 9. Let p(f) = 6*k(f) - 10*w(f). Let n be p(8). Which is smaller: n or -12/13?
n
Let t(a) = a**2 - 9*a - 8. Let u be t(10). Suppose u*m - 1 - 13 = z, 5*m + 5*z = 5. Which is bigger: 6 or m?
6
Let y = -18 - -29. Let g(j) = j**3 - 11*j**2 + j - 7. Let m be g(y). Let l = m + -5. Is -6 at most l?
True
Let k be 4/(-6)*(-4 + 1). Let n(u) = 5*u + 1. Let w be n(1). Let r be (12/10)/(w/15). Is k >= r?
False
Let y = 4/2223 + -2968/2223. Let z = 2.9 + -4. Are y and z non-equal?
True
Suppose g - 4*y = 16, 0*g + g - 12 = 3*y. Let o = 3115/37092 + -2/3091. Which is smaller: g or o?
g
Suppose 0 = -47*p - 166 - 304. Which is smaller: 2/19 or p?
p
Suppose 0 = -12*c - 873 - 135. Which is smaller: c or -85?
-85
Let r = -5.5 + -0.5. Let g = 6.06 + r. Let w = 0.12 - g. Is 2/3 greater than w?
True
Suppose 0 = -4*c + 3*t - 101, t + 102 = -5*c - 48. Suppose -125*w + 120*w = 140. Is w >= c?
True
Let z = -376709/36 + 41365/4. Let r = z - -123. Do 1 and r have different values?
True
Let q = -108 + 108. Are -199 and q non-equal?
True
Let d = -8 + 11. Let l be 2/d + 2/(-3). Let b = -8104/99 + 740/9. Is l at least as big as b?
False
Let b be 5 + 3/(2 + -3). Suppose -4*j - y - 6 = 0, -j + 1 = b*j - 2*y. Let f = 1 - 4. Is f <= j?
True
Let x = 10 - 20. Let w = 0.099 + -0.038. Let l = 0.061 - w. Is l greater than x?
True
Let w = 72 + -73. Do 41 and w have different values?
True
Let w = -3029 - -2769. Which is smaller: 1 or w?
w
Let z(j) = -3*j**2 - 35*j + 97. Let c(u) = -2*u**2 - 23*u + 65. Let w(g) = -7*c(g) + 5*z(g). Let r be w(-16). Does r = -3?
False
Let o be (-38)/171 + 4/(-54)*-3. Suppose -34 = a + h, -a + 5*h - 5 - 5 = o. Is -30 < a?
False
Let y(k) = k**3 - 5*k**2 + 2*k + 1. Let s = 11 + -7. Suppose 0 = -5*n - 0*f - 4*f + 20, 0 = s*n + 2*f - 16. Let o be y(n). Is o != -3?
True
Let v be (-2)/(7/((-35)/(-10))). Let n be (v - 3)/4 + 9. Which is smaller: n or 3?
3
Let q = -2 + 7. Suppose 0 = p + 2*n - 1, -4*p - 54 - 7 = -q*n. Suppose -2*y - 16 = -0*y. Are p and y nonequal?
True
Let p = -50/147 - -64/147. Let u be 1/2 + (-2)/(-4). Which is greater: p or u?
u
Let z = 17 + -8. Let v = 6.95 + 2.15. Let p = z - v. Which is smaller: 8 or p?
p
Let n be 6 - 276*8/16. Which is greater: -263/2 or n?
-263/2
Let f = 51 - -2. Suppose -i + f = 79. Which is bigger: -25 or i?
-25
Let m be (3027/(-12))/((-51)/408). Which is smaller: m or 2017?
2017
Let i be ((-846)/(-56))/((48/28)/2). Which is greater: -0.1 or i?
i
Let t = -527/777 + 3/259. Which is smaller: t or -20.7?
-20.7
Suppose 5*m = 4*p - 11, 11 = -5*p - m - m. Let o be (-1)/p - (-7 - -4). Suppose u - 5*u + 12 = 0, 4*u - 8 = -o*f. Which is smaller: f or -1/38?
f
Let j be ((-3)/321)/(15/(-6)). Let g = j - -473/16585. Is 0 at least as big as g?
False
Let c be -11 - 6*2/4. Suppose 0 = 4*i - 6*i - 5*p - 40, -5*i - 81 = 3*p. Is i > c?
False
Let m(p) = -2*p + 23. Let l(v) = 4*v - 47. Let r(d) = 2*l(d) + 5*m(d). Let a be r(10). Let q be (-6)/(-44)*-6 - -1. Is a less than q?
False
Let z(i) = i**3 - 4*i**2 + 9*i - 74. Let s be z(5). Which is greater: s or 8?
8
Let z = 0 + 1. Let w = 1 - z. Let v = 59.4 + -49.4. Which is smaller: v or w?
w
Suppose 4*s = 3*z + 31, 0*s + 22 = 3*s - z. Let l = -5 + 7. Suppose -3*f + s = -l. Which is bigger: f or 2?
f
Suppose -8*t - 1545 = 3327. Which is smaller: t or -608?
t
Let n(b) = 47*b + 16. Let j be n(-11). Is j greater than or equal to -501?
True
Let c be 3 - 1 - (-111)/(-60). Let k(d) = -d**2 - 3*d + 18. Let i be k(3). Which is smaller: c or i?
i
Let n(l) = l**3 + 4*l**2 - 5*l - 2. Let p be n(-5). Let o be (357/2)/((-10)/(-5)). Let r = o + -90. Is p less than r?
True
Let v be 6*(-11)/((-176)/18). Is v > 7?
False
Let k = 230 + -242. Is k greater than -2?
False
Let d be 6/9*6 + 16. Suppose -8 = -4*w + d. Is 3 smaller than w?
True
Let j = -0.422 + -38.178. Let x = j + 38. Which is bigger: x or 1?
1
Let k(c) = -c + 12. Let v(i) = -i**2 - 10*i. Let u be v(-10). Let d be k(u). Let z be (d/(-15))/(2/10). Which is bigger: -9/2 or z?
z
Suppose -2*m + 0*m = 0. Let y = 625 - 255. Let g = -2225/6 + y. Which is bigger: g or m?
m
Suppose -2*v - 88 = 5*h, -10*h + 9*h - 38 = v. Which is smaller: v or -31?
v
Let q = 5.98 - -0.02. Let o be (-1)/9 + 7/63. Is o greater than or equal to q?
False
Suppose -16 = -4*a, -a = 5*n - 0*a + 1. Do 1/130 and n have different values?
True
Suppose 3*o + 11 = 4*w, -5*w + 0*w + 5*o + 20 = 0. Let a = -12701/242 + 105/2. Which is smaller: a or w?
w
Let b(q) = 3*q**2 +