be c(1). Suppose 2 = 2*a - 0*a - 2*k, 4*k = a + x. Solve -3*f - 5 = a*f for f.
-1
Let k = -2 - -11. Let m be (-2)/k + 303/27. Suppose -2*p = -5*d + 27, -4*p = -3*d + 8 + m. Solve -q - 1 + d = 0 for q.
4
Let x(s) = -s**2 + 9*s + 12. Let d be x(10). Solve 2*l - 20 = -d*l for l.
5
Let t = -67 - -67. Solve u + 2*u + 9 = t for u.
-3
Let k = 2 - 2. Suppose k = -2*j + 10 - 2. Solve -j = -0*o + 4*o for o.
-1
Let x = 75 - 6. Let w = x - 48. Let f = w - 14. Solve 0 = -3*t + f*t + 8 for t.
-2
Suppose -2*x + 4 = -4. Let f = 20 - x. Solve h + f = 5*h for h.
4
Suppose -3 = -0*h - h + k, h = -2*k + 6. Solve h = -2*l - 2 for l.
-3
Let o = -12 - -22. Let b = -8 + o. Suppose 4*k + 7 - 27 = b*y, -20 = -y - 4*k. Solve 5*q - 15 + y = 0 for q.
3
Suppose -2*v - 4*x + 26 = 0, 0*v + 2*v = -5*x + 28. Solve 2*l = -l + v for l.
3
Suppose 7 = 3*l - 2. Solve -l*c + 8 = -c for c.
4
Suppose -3*v + 6*v = -5*m - 18, 8 = -2*m - 2*v. Let r = 5 + m. Suppose 0 = -b + 5*h, 16 = b + h - r. Solve -4*j = j - b for j.
3
Let n(r) = -r**2 + 3*r + 7. Let s be n(6). Let b = -5 - s. Let c be 4/(-12) - (-14)/b. Solve 0 = -5*i + c + 8 for i.
2
Let r = 10 - 7. Let y = 60 - 60. Let z(v) = v + 6. Let p be z(-6). Solve p*j + r*j = y for j.
0
Suppose 24 = 3*v - 5*g, 3*v = v - 3*g - 3. Solve v*w - 6*w = 9 for w.
-3
Let s be (1/2)/(14/196). Solve -1 = -2*l + s for l.
4
Let r be 11 - (-1 + (2 - 1)). Let b(t) = -t + 13. Let z be b(r). Solve -z*s = -s for s.
0
Suppose 0 = 2*c + 5*c - 35. Solve -c*s + 7 = -18 for s.
5
Let v be -3 + 0 + 1 + 2. Suppose -3*i - 5*d + 28 = 0, d - 3*d + 10 = v. Solve -i = -h - 0 for h.
1
Let o(s) = -6*s**2 + 8 + 4*s**2 + s**2 - 5*s. Let k be o(-6). Solve b = -k*b for b.
0
Let f = 13 + -13. Let a = f + 0. Solve p = -a*p for p.
0
Suppose h - x + 0 + 11 = 0, 2*h = 3*x - 25. Let s(b) be the first derivative of b**4/4 + 8*b**3/3 - b**2/2 - 6*b - 12. Let d be s(h). Solve 27 = -5*a + d for a.
-5
Suppose -4*o = o + 10. Let n = 5 + o. Solve n*s = -6 - 3 for s.
-3
Let o(f) = f**3 - 8*f**2 - f + 10. Let t be o(8). Solve 2*m - t = 4*m for m.
-1
Let s(a) = -4*a**2 + 3*a**3 + 0*a**3 + 5 - 2*a**3 - a**2. Let x be s(5). Solve -3*h + x = -1 for h.
2
Suppose 5*i + 8*z = 3*z + 25, -6 = 2*z. Solve i*b - 2 = 6*b for b.
1
Suppose 0 = -2*v - p - 1, 4*v - p - 4 = 3. Let r be (v - (0 - 0))*1. Suppose 3*o = 3*i + 21, o + r = 2*i - 3*i. Solve l = -0*l - o for l.
-3
Let d be 0 + (2*-1 - -2). Suppose 4*m - 5 + 1 = d. Solve 2*b - 11 = -m for b.
5
Suppose 5*d - 45 = -m, -3*d + m = 2*m - 29. Let a(l) = l**2 - 8*l - 3. Let h be a(d). Let p = 4 + h. Solve -p = -4*f + 11 for f.
3
Let c = 8 + -6. Let v be (-52)/9 + 8/(-36). Let o = -4 - v. Solve -4*z - o = c for z.
-1
Let r(p) = -9*p - 38. Let x be r(-6). Solve 5*a + x = a for a.
-4
Suppose 2*w = -3*j - 2*w + 21, 3*w - 6 = j. Suppose -v + 2*v - 13 = -3*r, j = 3*v. Solve -r*t + t = 15 for t.
-5
Suppose -w - 2*h + 0*h + 15 = 0, 0 = -4*w + 4*h. Suppose g - 15 = 2*q, 2*g + 4 = -w*q - 20. Let s be (-3)/(-9) + (-10)/q. Solve -8 = 2*k + s*k for k.
-2
Let n = -62 - -68. Solve -v + 3*v + n = 0 for v.
-3
Let y = 2 - 2. Let u be 1*(5 - (-3 + 3)). Solve -x + u*x = y for x.
0
Let h = 168 - 165. Solve -h*g + 6*g - 6 = 0 for g.
2
Let q = -6 - -10. Let a(w) = 2*w - 4. Let y = 5 + -2. Let z be a(y). Solve -z*x + q = 2 for x.
1
Suppose 0 = 4*k - 0*k - 16. Let q(c) = c**2 - 5*c. Let i be q(k). Let x be i/2*10/(-4). Solve 0 = -x*d + 2*d + 15 for d.
5
Let b be (12 + -10)*(-2 + 4). Solve i = -b*i + 25 for i.
5
Let l(w) = -w**3 - 13*w**2 - 21*w + 17. Let k be l(-11). Solve 0 = -k*z + 3*z + 6 for z.
2
Suppose 6*v - 39 = 3*v. Suppose 24 = 4*q - 4*s, -2 - 10 = 3*s. Suppose 5*w = v + q. Solve -w - 9 = -4*k for k.
3
Let n = -12 - -18. Let b be (-4)/(-6)*-3 - -4. Solve b*f = n*f + 8 for f.
-2
Let g = 1 + 15. Solve -5*u + g = -u for u.
4
Suppose -7 = -4*p + 1. Let g = 3 - 3. Suppose g*b + 12 = 4*b. Solve b*f = p*f - 3 for f.
-3
Let v = 26 + -17. Suppose 0 = 3*q - 3*w + w - 24, -18 = -4*q - 2*w. Suppose -q*z = -3*z - v. Solve 2*s + 1 = z*s for s.
1
Suppose 3*t + 19 = -5. Let a be t*((-14)/4 - -2). Solve -5*u + 3 + a = 0 for u.
3
Suppose 0 = -i + 3, 7*i = c + 2*i + 14. Solve -6 = j - c for j.
-5
Let m be 4/14 - (-46)/(-14). Let g = -5 - m. Let n = 2 - g. Solve -2*r + n*r = 2 for r.
1
Let q be (-2)/(-4) + (-10)/(-4). Solve -q*p - 23 = -8 for p.
-5
Let i = 4 + -2. Let n be i*-1*111/(-6). Suppose 5*y - b - 2*b - n = 0, 5*b = -4*y. Solve -3*v = -4*v + y for v.
5
Suppose 0 = 3*z - z - 8. Solve -z*k + k = -6 for k.
2
Let y be 126/(-4)*12/(-9). Suppose 0 = 5*w - y - 18. Solve w = -5*m + m for m.
-3
Let v = -15 + 27. Suppose v + 4 = 4*g. Solve 0 = g*t - 4 - 12 for t.
4
Let l be -3 + (-188)/(-36) - 4/18. Solve 0 = 4*h - l + 14 for h.
-3
Let w be ((-126)/15)/((-3)/10). Suppose 0 = -2*r - 3 + 11. Suppose -r*n + 17 = -3*b, b + b = 2. Solve n*s + 8 = w for s.
4
Suppose 0 = -3*m + 6*m. Solve -5*a + 0 - 10 = m for a.
-2
Suppose -4*q = 4*w - 4, -3*q - 5*w - 3 = -8*w. Let y be 24/(-16)*(-2)/3. Solve q = h + 2 - y for h.
-1
Let k(c) = c**2 + 7*c + 6. Let s be k(-6). Solve -20 = -s*u - 4*u for u.
5
Suppose o = 3*o - 30. Suppose 4*j - 7*j + o = 0. Solve -j*x = -6*x - 5 for x.
-5
Let r be ((-2)/2)/(0 - 1). Solve -2*a + 3*a + r = 0 for a.
-1
Let u(m) = m**3 - 7*m**2 - m + 7. Let x be u(7). Solve x = 3*q - 2*q for q.
0
Suppose -3*m + 46 = -2. Suppose 4*b - 4 = m. Solve 12 = -b*d + d for d.
-3
Suppose 0 = m - x + 4 - 14, 3*x = 2*m - 23. Suppose 0 = -3*l - 0*l + 18. Let b = l + -4. Solve 3 = b*a - m for a.
5
Let y = 8 + -3. Solve 12 = y*a - 3 for a.
3
Let x = 136 - 134. Solve 5*o + x = -3 for o.
-1
Let h = 156 + -152. Solve -7 = -h*n + 5 for n.
3
Let n be (-2 + 5)*1/3. Let m(w) = 2*w - 8. Let a(h) = -h + 10. Let o be a(6). Let d be m(o). Solve -u - n + 5 = d for u.
4
Suppose o - 4 = -0*o. Suppose y + 2*y + 20 = 4*a, -5*y = -o*a + 20. Solve -t - 4 = -y for t.
-4
Let a(j) = -j - 3. Let b be a(-7). Suppose b*o - 32 = -0*v - 4*v, 2*o = v + 7. Suppose -v*i + 10 = -i. Solve -i*n - 4 - 21 = 0 for n.
-5
Suppose 0 = -0*u + 2*u. Let r be (-2)/(-10) - 168/(-35). Suppose 20 = r*p - u. Solve -q = -1 + p for q.
-3
Suppose -2 = u - v, -2*v - 3*v + 10 = u. Suppose 5*q - 19 = 4*o, u*o = 5*q + 3*o - 12. Suppose 4 = 2*h - 6. Solve -4 = q*b + h for b.
-3
Let l be 2/(-15) - (-47)/15. Solve -q - l = -4 for q.
1
Let h be -1*(-5 - -3)*-4. Let q be (4/(-6))/(h/36). Solve q*v = 2*v for v.
0
Let x be (1 - -1)/(-2)*0. Let r(l) = -l**2 - 15*l - 12. Let h be r(-14). Solve x*b - h = b for b.
-2
Let w = 10 - 6. Let y(t) = 5*t - 3. Let r be y(1). Solve 2*c = r + w for c.
3
Suppose 7*k = 10*k. Suppose m + 6 - 10 = k. Solve 3 = -m*j + 5*j for j.
3
Let j(d) = 5 + 1 + 2*d - 2. Let t be j(-3). Let q = 6 - t. Solve -q*z = -3*z for z.
0
Let y be 558/(-30) - 4/10. Let p = 23 + y. Solve p = 2*f - 2 for f.
3
Let l be 1*11 - (9 - 7). Let h(q) = -q + 9. Let b be h(l). Solve -s - 2*s = b for s.
0
Let b(c) = -c**3 + 11*c**2 + 2. Let h be b(11). Solve h + 0 = -i for i.
-2
Let m = -75 + 81. Solve m*x - 3*x = 6 for x.
2
Let l(y) = y**2 - 3*y - 4. Let r be l(4). Solve -u + 6*u = r for u.
0
Suppose 12 = -f - 5*g, -3*f - 18 = -4*f + 5*g. Suppose -3*h = -4*m - 24, -6*m = 3*h - m - 24. Let w = -4 + h. Solve 17 = w*s - f for s.
5
Let v(i) = i**2 + 5*i - 1. Let y be v(-4). Let o = y + 11. Suppose -3*u + o = -u + a, 3*a + 6 = 0. Solve -u = h - 6 for h.
2
Let h(q) be the third derivative of q**6/360 - q**5/20 - q**3/6 - 2*q**2. Let o(w) be the first derivative of h(w). Let p be o(6). Solve p = b + b - 4 for b.
2
Let k = -40 - -25. Let c = 15 + k. Solve c = -u + 2*u for u.
0
Suppose -z + 19 = 2*g, -g + 2*z + 0 + 2 = 0. Let i be (9 - 1) + (-2 - 1). Suppose 5*f + i*m - 30 = 0, 0*f = -3*f + 5*m - 14. Solve 0 = -f*o + g for o.
4
Suppose 5*g - 2*v - 15 + 4 = 0, -2*v = -3*g + 5. Solve -j = -g + 2 for j.
1
Let n = 16 + -9. Suppose n*j - 2*j = 10. Suppose 24 = q - 4*o, 2*o + 8 + j = 0. Solve -9 = q*k - 1 for k.
-2
Let f(b) = 3*b**2 + 3*b + 1. Let x be f(-1). Solve -6 + x = d for d.
-5
Let q = -4 + 6. Suppose 0 = q*k - 4*k + 6. Let v be 3/(k + (-4)/2). Solve -v*j = -2*j + 1 for j.
-1
Let y = 1 + 3. Suppose -20 = -3*f - 2*d, d - 5*d = -5*f + y. Suppose -5*n + 3*w - 5 = -20, -f*n - 3*w - 15 = 0. Solve -3*u + 2 - 8 = n for u.
-2
Let c(y) be the first derivative of 5*y**4/4 - y**2 + 