2*l - 5*z - 21. Are -2/263 and l equal?
False
Let d(i) = -3 + 3 + 1 + 3*i**2 - 4*i**2 - 7*i. Let o be d(-6). Let z(h) = 2*h + 6. Let w be z(0). Is w at least o?
False
Let i = -5 - 7. Let p = i - -18. Suppose 0 = -5*b + 2*c - p*c, -c = 3*b. Which is smaller: 2/17 or b?
b
Suppose 0*x - 2*x = 0. Let f(v) = v + 1. Let n be f(x). Suppose 0 = 7*r - 2*r - 25. Is r > n?
True
Let r be 1*(-148 + (2 - 13)). Which is greater: -161 or r?
r
Let n = 2/355 - -696/2485. Let j be ((-80)/(-60))/((-4)/(-1) - 8). Is n bigger than j?
True
Let d = 32 + -53. Let v be ((-45)/d)/(6/(-21)). Let g(f) = 2*f - 3. Let t be g(-3). Does t = v?
False
Let s be 36609/63*(-279)/4. Let l = s - -40520. Let f = -49/4 - l. Which is smaller: f or -2?
-2
Let p be ((-6)/18)/((-1)/(-3)). Let g(n) = 2*n + 12. Let l be g(-5). Let h be (-3)/p*l/33. Is h smaller than 0?
False
Let g be 8/45 - 2/(-9). Let a = -30 - 71. Let h = -94 - a. Are g and h nonequal?
True
Suppose 7*d = 2*d + 45. Let p = d + 5. Let k = 15 - p. Does 0 = k?
False
Let q = -0.027 - -5.427. Let x = q - 6.4. Let h = -15 - -91/6. Which is smaller: h or x?
x
Let s = -74.019 + 74. Let q = 0.319 + s. Which is smaller: q or -0.3?
-0.3
Suppose -58*d + 52*d = -18. Let r be 36/(-117)*d/2. Which is smaller: -1 or r?
-1
Let b = -33.3 - -32. Let c = -1.5 - b. Which is bigger: c or 1/4?
1/4
Suppose t = -m - 36, -4*m = -0*m - 20. Let v = t + 46. Is v at least as big as 8?
False
Suppose -q + d - 22 = -0*q, -2 = -d. Suppose 14 = 7*r - 6*r. Suppose 301 - 35 = -r*y. Which is smaller: y or q?
q
Let k be ((-2)/(-69))/((-6)/(-2)). Are 1 and k equal?
False
Suppose -3*m + 7*m - 60 = 0. Suppose -2*l - 3*l = m. Let v be ((-2)/(-10))/(l/5). Which is smaller: -6 or v?
-6
Suppose 4*t = -4*g + 8, 6 - 5 = -2*g + 3*t. Let n(r) = r**2 + 2*r + 9. Let x be n(0). Suppose -8 = m - x. Is g <= m?
True
Let n = -2.857 + 0.057. Let g = 2.7 + n. Is g greater than -17?
True
Suppose -2*h + 2 = 0, -6863 = -8*n + 3*n - 3*h. Let i be -3 + n/528 + 1/3. Are -1 and i equal?
False
Let d = -209 + 95. Let k be (10/(-6))/(-4 - d/36). Which is greater: 12/11 or k?
k
Let f = 444.243 + -0.243. Is f at least 1?
True
Let a(s) = s**3 + 5*s**2 + 4*s + 1. Let y be a(-4). Let p = -843 + 850. Which is bigger: p or y?
p
Let b = -2 - 42. Let r = -137/3 - b. Is r less than -0.2?
True
Suppose 0*q = -5*q - 35. Let a be (-1 - 3)/(q + 5). Suppose -2*c = a*c + 8. Is -2/3 smaller than c?
False
Let x = -0.2 - -1. Let d = -2698 - -2698.1. Are d and x nonequal?
True
Let w = 168 - 291. Let q = w + 92. Does 2 = q?
False
Suppose 35*a - 387 = 38*a. Which is smaller: a or -130?
-130
Let c = -642 + 624. Is -11 at most as big as c?
False
Suppose -2*n - 3*z = -1 - 7, -8 = -2*n - 5*z. Suppose 3 = 5*r + n*d, 4*d - 5 - 2 = -r. Let u be 1/((-40)/12 - -3). Which is smaller: r or u?
u
Let c(v) = 2*v**2 - v - 2. Let n be c(-1). Let p be 1*n/9 - 46/207. Which is bigger: 0 or p?
0
Let n(h) = -15 - h - 3 + 1 + 3*h. Let s be n(0). Is s bigger than -18?
True
Let x = -188 - -188. Is x greater than -24?
True
Let v = 7/5 + 7/5. Is -2 at least v?
False
Let a be (-23 + 25)/((-2)/(-5)). Suppose a*f = -8 - 157. Let z be (-1 - f/6)*2. Which is bigger: 3 or z?
z
Let b = -0.0564 - 0.0506. Which is smaller: b or 0?
b
Let j = -744 + 745. Which is smaller: -28/5 or j?
-28/5
Let o be (-7)/15 + 4/6. Suppose 4*d - 5 = 5*l, -l + 0*l - 2*d - 1 = 0. Let z be 2 - l*4/(-4). Are o and z nonequal?
True
Let y(p) = -2*p**3 + 9*p**2 - 8*p + 12. Let d be y(4). Let w be (d/1 - (-26)/6)*3. Which is smaller: w or -7/3?
-7/3
Let h = -83.9489 - 0.0511. Which is smaller: h or 1?
h
Let u(n) = -57*n + 3. Suppose -3 = b, -x = -b - 13 + 5. Let i be u(x). Let k = i + 2542/9. Which is smaller: -1 or k?
-1
Let u = 1325/1764 + -1/882. Let i(w) be the first derivative of w**2 - 3*w - 2. Let x be i(2). Do u and x have the same value?
False
Let f = 0 - -0.02. Let y be 9 + ((-12)/(-1))/(-4). Let p be (-15)/10*(-2)/y. Is f smaller than p?
True
Let h(f) = f**3 - 11*f**2 + f. Let s be h(12). Let m = s + -138. Is m greater than 19?
False
Let g = 0.77 - -2.23. Let m(r) = r - 1. Let o be m(0). Which is smaller: g or o?
o
Let s = -1 + 3. Let x be 2 - 6*s/4. Let q = 678 - 678.3. Which is greater: x or q?
q
Let z be 0 - (-7 + 474/(-198)*-3). Are z and -10.2 nonequal?
True
Let q = -707 - -717.22. Let l = q - 0.22. Let p = -10.1 + l. Is p bigger than -0.05?
False
Let i be (-6169)/682*(4/14)/(-1). Let x = i - 30/11. Let z(m) = -m**2 + 4*m + 5. Let j be z(5). Do j and x have different values?
True
Let o be 57/19*1113/9. Are 1117/3 and o unequal?
True
Let i be ((-52)/39)/((-2)/(-3)) - 13. Which is greater: -21 or i?
i
Suppose o = -2*k - 2*o - 57, -o - 162 = 5*k. Let q be k/(-12)*(1 - 5). Let h be ((-10)/(-4))/((-1)/4). Which is smaller: q or h?
q
Let t(m) = 113*m + 497. Let k be t(-5). Is -206/3 greater than or equal to k?
False
Suppose 0*r - 3*r = y - 2, 8 = -3*y + 5*r. Suppose -91 = -13*n + 6*n. Let a be (n/(-65))/(y/(-4)). Which is smaller: a or -2?
-2
Let y = -7.9 - -7.9. Which is bigger: y or -1/18?
y
Suppose d = -2*u - 0*u - 5, 2*u - 2 = 0. Let p be (d/21)/((-2)/6). Which is bigger: p or -3/10?
p
Let b = -11 - -12. Let x = 5/3 - 44/21. Is x < b?
True
Let u = -1149 + 1157. Which is greater: 1/5 or u?
u
Suppose -2*h + 24 = h. Let z = 136 - 134. Let p(k) = k**2 - 3*k + 3. Let m be p(z). Is m < h?
True
Suppose -5*r - 6*g + 8*g = -101, -7 = -r - 4*g. Is r less than 53/3?
False
Let k(u) be the third derivative of u**5/60 - u**4/3 - 19*u**2. Let z be k(5). Is -1 less than z?
False
Let k = -112 + 48. Let y be (-1 - k/68)*6. Does y = 1/4?
False
Let x = 1095 - 1090. Let o be (4/(-6))/((-1)/9). Suppose x*v = -10, -2*t + 2*v - o = v. Which is bigger: t or -13/5?
-13/5
Let f(q) = q**3 - 9*q**2 + 18*q - 5. Let n be f(7). Suppose -18*k = -17*k + n. Is k != -25?
True
Let d = -0.1 + 0.1. Let w = -50.004 + 50. Let b = -4.004 - w. Which is greater: d or b?
d
Let u = 6 + -4. Suppose -5*s + 41 = -4*g, 2*s + 0*s - 26 = 4*g. Suppose -4*q + 44 = y + 2, -59 = -s*q + 2*y. Is q at most u?
False
Let o be (-3 - 8/(-6))*-6. Let m(y) = -7*y - 1. Let i be m(1). Let t = 3 - i. Is t <= o?
False
Let i = -2/101 + -1107/202. Which is smaller: i or -3?
i
Let x = -2 + 0. Let r(c) = -2*c**2 + 2*c - 7. Let p(d) = -d**2 + 3*d - 7. Let g(y) = x*r(y) + 3*p(y). Let k be g(-6). Are k and -4 unequal?
True
Let v = 91.61 - 116.566. Let p = -0.044 + v. Which is bigger: 1 or p?
1
Let o(d) = -d**2 + d + 12. Let b be o(8). Let z = b - -32. Does -11 = z?
False
Let v be 16/(-24) - 290/(-366). Let z = -259/10797 + v. Let a = z + 135/413. Which is smaller: 0 or a?
0
Suppose 3*y - 8 = -2*m - y, -3*y - 15 = 0. Let p be 132/(-315) + m/105. Which is greater: p or -1?
p
Let k = -561 - -484. Is 0.2 bigger than k?
True
Let v = -1.69 + 14.69. Let i = -41 + 27. Let a = i + v. Is a at least as big as 21?
False
Let h(z) = -23*z**2 + 2*z + 6. Let p(a) = -8*a**2 + a + 2. Let r(m) = 2*h(m) - 7*p(m). Let d be r(-1). Is 10 > d?
False
Let d(n) = -n + 11. Let a be d(7). Suppose -12 = q + 5*k, -a*k - 30 = -5*q - 3. Suppose x - 9 = -c + 3*c, 2*x = -q*c - 10. Which is bigger: -11/3 or c?
-11/3
Suppose 5*k + 2*v + 2*v - 31 = 0, 4*k - 28 = -4*v. Suppose 2*d + k*d - 15 = 0. Do 3 and d have the same value?
True
Suppose 4*f = -0*f + 4, 232 = -4*a - 4*f. Is -61 at most a?
True
Let f = 0.063 + 13.437. Let l = f - 8.5. Suppose -t - 2*t = 0. Which is smaller: t or l?
t
Let n = 20 + -1. Let z = 19.06 - n. Which is bigger: z or -2/5?
z
Suppose -4*u + 10 = -3*u. Let d be (u/75)/(4/18). Let a(j) = 4*j - 56. Let h be a(14). Which is smaller: h or d?
h
Let k be -1 - (18/(-8) + 3/12). Suppose -5*z + k - 6 = 0. Let j = -1533/4940 + 1/380. Are j and z equal?
False
Let x be (-88)/10 - (-1)/(-5). Let v be 1/(-4)*x/(-18). Which is bigger: v or 1?
1
Suppose 0 = 4*b + 4 + 12. Let l be (2/b)/(11/(-6)). Suppose -2*o + 2*q = -6, 4*o + q + 1 - 3 = 0. Which is greater: l or o?
o
Let p be ((-3)/(-12)*6)/(2 - 0). Let h = 0.2 - 0.1. Is p < h?
False
Suppose -5*v = 4*q - 46, -v + 5*q + 14 = q. Let s(b) = -b**3 + v - 5*b - 6*b**2 + b - 15 + 3*b. Let c be s(-6). Which is smaller: c or 2?
c
Let u = -8.4 - -133.4. Let h = u - 125.06. Which is smaller: 1/8 or h?
h
Let a(t) = 15*t**2 + 6*t + 2. Let u be a(-6). Let m = -21701/43 + u. Let d = m - -1/129. Which is greater: d or 2/3?
d