ppose 4*k - 15 - 9 = -4*i, -s*i - 4 = 0. Solve -3*a + k = 2 for a.
2
Suppose 0 = v + 2 - 5. Suppose v*t - 64 = -t. Solve -4 = 5*w + t for w.
-4
Suppose 5*i - 4*a + 15 = -8*a, -5*a = -2*i + 27. Solve -2*o - i = -3 for o.
1
Let h(q) be the first derivative of -q**4/4 - 2*q**3/3 - 3*q - 2. Suppose 0 = 2*i + 4*y + 18, 1 = -2*i + 3*y + 4. Let l be h(i). Solve 6 = -4*r - l for r.
-3
Let d(c) = c**2 + 3*c + 4. Let w be d(-6). Suppose -2*g + w = -2*i, -4*g - 3*i = -13 - 3. Solve -g*x + 3*x - 8 = 0 for x.
-2
Suppose -3*v - 5*y = 16, 3*y + 4 = 4*v - 23. Solve 0*o - v*o = 15 for o.
-5
Suppose 0 = -h - 1 - 0. Let c be (h/(-1))/(2/8). Solve 3*t = -1 + c for t.
1
Let i(a) = a**3 + 4*a**2 + 2*a + 2. Suppose 0 = 2*l + l + 9. Let n be i(l). Suppose -n*g + 22 = -2*h + 6*h, -2*g - 4*h + 4 = 0. Solve -v + g = 3 for v.
3
Let n = 11 + -8. Let z = -46 - -48. Solve -f = -z - n for f.
5
Let x be -6*2*(-3)/12. Let t(a) = x*a**3 + 5*a**2 - 1 - 4*a**3 + 7*a - 3. Let j be t(6). Solve -d - 12 = j*d for d.
-4
Suppose -4*k + 3*t = -41, -3*t = 9*k - 5*k - 23. Solve -y = -5*y + k for y.
2
Let v(l) = -2*l + 9. Let t = 8 - 12. Let q(a) = -a + 5. Let j(s) = t*v(s) + 7*q(s). Let w be j(1). Solve 3*c = -w*c - 3 for c.
-1
Let p be (-1 - (-3)/5)/(20/(-50)). Solve l - 4 = -p for l.
3
Let b = -3 - -6. Let r be (-1)/(-3)*b*0. Let x be 0/(-1*2) + r. Solve x*q = q + 2 for q.
-2
Let q be (-6)/(-1)*(-1)/(-3). Suppose l = 5*z - 61 - 35, 3*z = q*l + 52. Let p(u) = u**2 + 14*u. Let d be p(-14). Solve -4*x = -d*x + z for x.
-5
Suppose -4*i + 5*j = -25, 2*i + 2*i + 3*j = -15. Suppose 3*n - 3*b = 27 - 6, -5*n - 3*b + 3 = i. Solve 13 = -n*k + 1 for k.
-4
Suppose -4*y + 5*h - 12 = 9, -2 = 3*y - h. Let r = -2 - -5. Solve -b = r + y for b.
-4
Let l = 9 - 3. Let d(b) = -4*b. Let v be d(-2). Solve l*t = 2*t - v for t.
-2
Suppose -3 = 4*z + 17. Let t = z - -3. Let u be ((-10)/4)/(t/4). Solve -1 - 9 = -u*d for d.
2
Let i be (8 - 6)*(-1 - -3). Suppose -5 = -a, i*r - 8*r + 3*a = -1. Suppose -5*z = r - 24. Solve -3*u + z*u = 0 for u.
0
Let d(u) = -u - 4. Let i be d(-4). Suppose i*t = t. Let w be 7/3 + 1/(-3). Solve t = -p + w*p for p.
0
Let a = 20 - 10. Suppose a = 4*u + u. Suppose 2*b + p - 3 = 0, 5*b - u*p - 18 = -p. Solve 0*r = -b*r + 9 for r.
3
Suppose -5*v - f + 35 = -6*f, 44 = 4*v + 4*f. Let a(h) = -h**3 + h + 5. Let n be a(0). Suppose 8 = 2*q - 8. Solve v = n*k - q*k for k.
-3
Suppose 0 = -6*d + 36. Solve -9 = d*a - 3*a for a.
-3
Let h(f) = -f**2. Let k(s) = -s**2 - 1. Let m(w) = -2*h(w) - k(w). Let q be m(1). Solve -q*o = 14 - 2 for o.
-3
Suppose 3*t = -5*y + 6, -3*t - 20 = -4*y + 1. Solve 2*s + 5 = y*s for s.
5
Suppose -n + 3 = -3*r - 4, -4*n + 19 = -3*r. Solve -y = y + n for y.
-2
Suppose 3*f = -28 + 10. Let h = -2 - f. Solve -h*o + 2*o = 0 for o.
0
Suppose 0 = -2*y + 10 - 2. Suppose -y*x + 0*r = r - 13, r = 5. Solve 6 = x*v - 2 for v.
4
Let f = -91 + 91. Suppose 0 = -3*k - 3 + 18. Solve 15 = k*u - f for u.
3
Let v(u) be the first derivative of -u**4/4 + 5*u**3/3 + 7*u**2/2 + 2*u + 1. Let s be v(6). Solve 4*p + s = -0*p for p.
-2
Suppose -z = 4*z - 4*h - 29, -h - 6 = -z. Solve 2*i + 3*i = z for i.
1
Let t = 13 - 11. Suppose x - 3*x = 2, -v = t*x - 4. Suppose a + 2*a - 45 = 0. Solve 0 = 3*w + a - v for w.
-3
Suppose -i - 2 = 3*w, 4*w + 12 = -5*i + 2. Suppose -4*q + 9 = -p - 6, -5*p - 4*q = -45. Solve w = 3*v - p*v - 10 for v.
-5
Let s(m) = -m**3 + 9*m**2 - 9*m + 12. Suppose -z = 3*z - 32. Let h be s(z). Let v = -6 + 7. Solve h*j = -9 + v for j.
-2
Let c(j) = 11*j - 2. Let b be c(2). Let t(a) = 10*a - 5. Let q be t(1). Solve b = -q*u - 0*u for u.
-4
Let h be 180/99 - (-4)/22. Suppose -6 = -3*f + h*x, 0 = -7*f + 3*f - 5*x + 31. Suppose 3*g + 0*g = 0. Solve f*b + b + 5 = g for b.
-1
Let z(u) = u**2 - 7*u + 9. Let r be z(6). Let j be (r + 13)/((-4)/(-2)). Solve 0*g = 4*g - j for g.
2
Suppose 2*q + 6*c - c = 4, -20 = 5*c. Suppose 4*t - q = -2*m, m + 8 = 5*t - 7. Solve 0 = o - t*o for o.
0
Let g(w) be the second derivative of -w**5/20 - w**4/6 - w**3/2 - w**2 - 5*w. Let n be g(-2). Solve 2*t = -0 + n for t.
2
Let a(m) = 5*m - 13. Let b be a(3). Solve b*x - 2 = -4 for x.
-1
Suppose -6*r - 84 = -9*r. Suppose -5*x + 3*x = -r. Solve x = -5*w - 11 for w.
-5
Let k = 5 - 2. Suppose g = -3 - k. Let z = 8 + g. Solve z*f - f = 0 for f.
0
Let z(j) = j**3 + 5*j**2 - 3*j - 4. Let h be z(-5). Suppose 0 = 2*w - 5*s - h, 2*w - 2*s = s + 13. Let m be (1 + w/(-6))*-6. Solve 0 = -m*p + 3*p for p.
0
Let q = -83 + 103. Solve 0 = c + 3*c - q for c.
5
Let o be ((-8)/3)/(-4)*-36. Let c be o/(-14) - (-4)/14. Suppose -5*f + 3 + c = 0. Solve f = -q - 1 for q.
-2
Suppose -5*w + 13 + 2 = 0. Let m(l) = -l + 7. Let g be m(7). Let h be (1 + -16)/(1/(-1)). Solve w*p = -g - h for p.
-5
Let l be 3/6 - 78/(-4). Solve 2*k = 7*k - l for k.
4
Let o(n) = n**2 + 3*n + 3. Let d(t) = -t + 4. Let b be d(4). Let u be (0 - b) + -2 + 0. Let z be o(u). Solve 2*g = g + z for g.
1
Let y(p) = p - 7. Let s be y(11). Solve s*d - 8 - 4 = 0 for d.
3
Suppose 0 = -2*p + 3*p, -5*n + 15 = -p. Solve u = n*u + 10 for u.
-5
Let w = 19 + -19. Solve w = 2*j - 4*j - 2 for j.
-1
Let u be 1 + -1 - (-4 + 4). Solve f - 3*f + 10 = u for f.
5
Let w be -3 - 2*-2 - -4. Solve -w*x = 11 - 1 for x.
-2
Suppose 3 = w - n, 4*n - 1 = 5*n. Solve 0*h = w*h + 8 for h.
-4
Suppose 0 = -5*j + x + 3, 2*j = 2*x + 2 - 4. Solve -2*p - 7 = j for p.
-4
Let d be 6/(-27) + 29/9. Suppose 0 = -2*b - d*b + 20. Suppose 2*j = b*j. Solve j*p = p for p.
0
Suppose 5*v - 3*v = 8. Suppose -u + 3 = -2*j + 4, -7 = v*j - 5*u. Solve s - 7 = -j for s.
5
Let j be 2/3 + 17/(-3). Let q(d) = -d**2 - 6*d - 2. Let f be q(j). Suppose -5*x = -10*m + 14*m + 2, -2*m + 4*x = -12. Solve -8 + m = f*b for b.
-2
Suppose -4*d - 5 = 2*w - 27, -4 = 2*d - 2*w. Solve d*v + 4 = -2 for v.
-2
Let h be 3 + 7/((-21)/(-6)). Suppose -h*q + 80 = 4*m, 3*q - 58 - 2 = -3*m. Solve -2*t - m = 3*t for t.
-4
Suppose 0 = -4*r + r - 24. Let z be 15/(-6)*r/10. Let d(i) = i**2 - i + 1. Let k be d(-2). Solve -z*g - 10 = -k*g for g.
2
Suppose -2*g + 3*g = 3. Let d = g + 0. Solve 0*h = h + d for h.
-3
Suppose -2*u + 8*a - 9*a = -3, -u + 3*a - 9 = 0. Solve -5*v - 13 + 3 = u for v.
-2
Let i = -3 + 8. Solve -i*d = -0*d - 25 for d.
5
Suppose -p + 6 = 2*p, 26 = 4*y + p. Solve 0 = -n + y - 1 for n.
5
Let p(j) = -j - 1. Let l be p(-1). Solve 2 = d - l*d for d.
2
Suppose -10 = 5*k - 0*k. Let h(j) = 2*j**2 - j - 3. Let x be h(k). Solve -x*v + 2*v = -10 for v.
2
Let j = 1 + 0. Suppose -2*p = -b - 1, 3*b - j = 4*p - 2. Solve b - 2 = i for i.
-1
Suppose 2*s = 2*r, -2*s - 4*r = -15 - 15. Suppose -4*z + 16 = -s*d, 0 = d - 0*z + 5*z - 20. Solve d = -4*l - 11 + 31 for l.
5
Suppose 3*c - g + 0*g = 10, -5*c = 2*g - 2. Solve j + 4 = c*j for j.
4
Let w(c) = -2*c**3 - c**2 - 2*c - 1. Let d be w(-1). Suppose d*f - 5*f = -6. Suppose 0 = 3*z + 3*j + j - 19, 3*j + 24 = 2*z. Solve -f*i - i + z = 0 for i.
3
Suppose -6 = -4*y + 2*y. Solve y*d - 10 = 5*d for d.
-5
Let j be ((-45)/12)/(2/8). Let o = j - -19. Solve 2*g + 2 = o for g.
1
Let c be ((-4)/6)/((-1)/9). Let i be c/5 + 20/25. Let f = 1 - 1. Solve f = -i*b + 3*b for b.
0
Let o be 0/(((-12)/(-3))/2) - -1. Solve 4*x - o = 5*x for x.
-1
Let w be -1*(1 + (-6)/2). Suppose 3*f = -w*f. Suppose 35 = 5*i + 5*y, -4*i + 2*y = -17 + 1. Solve -i*d + 5 = -f for d.
1
Suppose -13 = 2*v - 17. Solve 3*h = 2*h - v for h.
-2
Suppose 3*z - 2*z = 1. Let w(x) = x**2 - x - 2. Let v be w(3). Suppose -2*r + 10 = -5*k, -r = -v*k + 1 - 6. Solve -4 - z = r*i for i.
-1
Let q = 7 + -7. Solve -1 = -q*k - k for k.
1
Let k(r) = -r - 4. Let n be k(-4). Solve 5*y + n*y = 10 for y.
2
Let g = -2 + -5. Let f = g + 10. Let s = f + 0. Solve 3 = s*c - 3 for c.
2
Suppose -l - 4 = -b, -2*l + 4*b = 14 + 2. Suppose 5*f - 35 = -l*f. Solve -f*o + 12 = -3*o for o.
3
Suppose -3*j - j + 2 = -5*b, j = -3*b + 9. Solve 3 = b*q - q for q.
3
Suppose m - 17 = 2*p + 2*p, 28 = 5*m - p. Suppose 5 = -3*l + m*z - 3, 4*l + 3*z = 28. Solve 2 = l*a - 14 for a.
4
Suppose 4*v + s + 4 = 18, 0 = -4*v + s + 10. Suppose 0*d = -v*d. Suppose 4*l - 53 = -5. Solve 3*o + 0 - l = d for o.
4
Let p(w) = w**3 - w**2 - w. Let m be p(2). Let g be 3/((-9)/3)*-15. Suppose -5*x - 27 = -4*k, 7*x + g = 2*x. Solve k*t = m*t for t.
0
Let r be -3*((-5)/(-9))/((-10)/30). Solve 4*d + 15 + r = 0 for d.
-5
Let w