ose 5*i = -p - 27 + 6, -3*i - 15 = 0. Solve l*s + 2*s = -p for s.
-2
Let f(u) = u - 1. Let p be f(6). Suppose -p*a + 13 = -s, -3 - 3 = 2*s. Solve a = -2*v - 0 for v.
-1
Let q be ((-4)/10)/(3/15). Let z(n) = -n + n**2 + 2*n + 2 - 3*n + 3*n. Let j be z(q). Solve 0 = j*m + m - 20 for m.
4
Let y(x) = -x**2 + 16*x + 3. Let m be y(16). Solve -25 = m*p + 2*p for p.
-5
Let v = -28 + 34. Solve -g + 4 = v for g.
-2
Let s(z) = z**2 - 17*z - 58. Let d be s(20). Solve d*w + 10 = -0*w for w.
-5
Suppose 2*s + 3*r = -2*s - 3, -3*s + 5*r = -34. Suppose -7*q + 10 = -6*q + 4*u, -5*u = -10. Solve s*y + q*y = 0 for y.
0
Suppose -5*f + 7 + 18 = 0. Suppose 0 = -f*q, 5*j + 2*q = q. Suppose j = -5*o - 8 + 23. Solve o*r = 6*r - 3 for r.
1
Suppose -4*k + 2*v = -3*v + 3, -12 = -3*k - v. Solve -y - k*y - 4 = 0 for y.
-1
Let k(l) = -3*l - 3. Let h be ((-8)/6 - -2)*-6. Let j be k(h). Solve 0*m + j = 3*m for m.
3
Suppose -2*y + 0*y + 25 = -3*j, -2*j = -3*y + 35. Solve -3 = -2*r - y for r.
-4
Suppose 0 = 5*i + 122 - 32. Let b = i - -18. Let z = 2 + 1. Solve m + b = z for m.
3
Let q(d) = d - 15. Let g be q(0). Let n be (-2)/(-5) - 54/g. Solve -n*b + 2 = -10 for b.
3
Suppose -12 = -h - 2*h. Let j = -37 - -39. Solve j = h*s - 2 for s.
1
Let a(q) be the first derivative of q**3/3 - 2*q + 3. Let m be a(-2). Solve 8 = 2*r + m for r.
3
Let p = -129 - -134. Solve s = p*s for s.
0
Suppose -6*i = -10*i. Solve i*p + 6 = -2*p for p.
-3
Suppose 2*u - 7*u + 30 = 0. Solve 5*q - 2*q = u for q.
2
Let r be (1 - -3) + -3 - -14. Solve 11 - r = -4*u for u.
1
Suppose 4*f - 3 = 1. Let d be -2 - -5 - 2 - f. Solve -2*i + d*i = 0 for i.
0
Suppose 0 = -5*z - 4*k + 5, z - 2*k + 3 + 10 = 0. Let o be (-1 + -2)/(z/3). Solve o*b = 2 - 5 for b.
-1
Let g(l) = l**2 - 13*l - 24. Let d be g(15). Solve -d*p = -5*p + 2 for p.
-2
Suppose -3*l + 8 = -1. Let y = l + 1. Solve -y*x - 12 + 0 = 0 for x.
-3
Let g(x) = -x**3 + 8*x**2 - x + 9. Let c be g(8). Let n = c + 11. Solve 3*y = -0*y + n for y.
4
Let s(w) = -w**2 + 2*w + 2. Let b be s(-2). Suppose t + 5*f = -30, 5*t + 4*f + 53 = -13. Let h = b - t. Solve g = h*g for g.
0
Let v(w) = w**3 - 7*w**2 + 13*w - 12. Let l be v(5). Solve l*q = -2*q for q.
0
Suppose 5*t - u - 60 = -6*u, -3*t + 36 = -u. Suppose 2*m + 8 = -5*v, 0 = 3*v - 3*m - t. Suppose 3*q + v*q = 0. Solve q - 2 = -d for d.
2
Let c(g) = -g. Let b be c(-5). Solve 2*o - 5 = b for o.
5
Let z(r) = r**2 - 3*r - 4. Let u be z(4). Suppose 0*s + s = -k + 16, u = -3*s - k + 44. Solve -5*y - 11 = s for y.
-5
Suppose -5*w - 5 - 8 = -2*p, -3*p = w - 11. Let b = 2 - w. Solve 0 = -b*h - 2*h for h.
0
Let l(y) = 0*y**2 + 6 - 4 - 3*y - y**2 + 2. Let c be l(-3). Solve b - 9 = c*b for b.
-3
Suppose 0*w = -5*w + 15. Let z(t) = -w*t + 2*t + 2*t. Let y be z(4). Solve 0 = 2*p - 4 - y for p.
4
Suppose 0*n = 5*n. Let k be 7 + -3 + n + -2. Solve -k*l - 4 = -l for l.
-4
Suppose -4*k = -5*u + 2*u - 24, 0 = -u - 4*k + 8. Let q = u - -7. Solve 0*x + q = -x for x.
-3
Let x be 2 + -1 - 15/3. Let u be ((-1)/2)/(2/x). Solve 1 = b - u for b.
2
Let b be -15*1/2*-2. Suppose 3*t = -2*t + b. Suppose -3*s + 39 = t*j - s, 0 = -2*j - 4*s + 18. Solve -y = 2*y - j for y.
5
Let d be 1/(-3) + 2/6. Suppose 5*r - 15 = p + p, d = -3*p - 3*r + 30. Suppose 2*c + 2*z = -0*c + 22, p*z = 3*c - 9. Solve -x = x - c for x.
4
Suppose -4 = -0*q - 2*q. Suppose 0 + q = s, 0 = -5*o - s + 22. Solve 0 = 5*i - o*i - 2 for i.
2
Suppose 6*c - 36 = 2*c - 4*k, 5*k = 3*c - 3. Solve 9*z = c*z for z.
0
Let h be (-4)/8*0/3. Let d be h/((-3 + 0)/(-3)). Solve 0 = -d*g - 3*g for g.
0
Suppose 0*s = -5*d - s - 6, -2*s = -5*d - 18. Let p be 3/d*28/(-21). Solve -p*o = 2*o for o.
0
Suppose 4*i = -7 + 19. Suppose -6*v + i*v + 15 = 0. Solve 0 = -3*c + v*c for c.
0
Let t = 1 - -3. Let o = -4 + t. Solve o*s = s for s.
0
Suppose -3*d + 19 = 2*s - 6*s, s = 5*d - 60. Let h = 13 - d. Solve h = 3*v + v - 12 for v.
3
Let g = 48 + -43. Solve 0 = -2*h + g*h - 15 for h.
5
Let s(h) = 2*h - 1. Let v be s(2). Solve t = -v*t - 8 for t.
-2
Suppose 2*b = -t - 4, -3*b - 11 + 3 = t. Solve 0 = 3*c - t - 2 for c.
2
Let c(z) = -z**3 + 5*z**2 + z - 3. Let q be c(5). Let o = 2 - 0. Suppose n = -0*n + o. Solve n*r + q = -0 for r.
-1
Let b(i) = -8*i**2 - 10*i + 4. Let f(c) = -c**2 - c. Let t(k) = -b(k) + 6*f(k). Let o be t(-3). Solve -v - o = v for v.
-1
Let g(f) = -f**3 - 6*f**2 + 2. Let z be g(-6). Let r = 3 - z. Solve -2 = 3*o + r for o.
-1
Let g = 14 + -8. Let b(k) = 6*k + 2. Let p(a) = -5*a - 3. Let w(r) = -6*b(r) - 7*p(r). Let h be w(g). Solve 6 = h*t - 0 for t.
2
Suppose -2*y = 3*y. Solve y = 3*r - r for r.
0
Suppose 45 = 4*h + 3*k, -h = 3*k - 2*k - 11. Suppose 5*j + h - 27 = 0. Solve 0 = -2*z - 5 - j for z.
-4
Let r be (14/21)/((6/(-3))/12). Suppose v - 14 + 1 = 0. Let t = r + v. Solve 0 = -5*c - 6 - t for c.
-3
Let o be 1 + (-1 + 5 - 1). Suppose 0 = o*y - y - 60. Let g = 46 + -46. Solve -4*d = -g*d + y for d.
-5
Let b(c) = c**2 + 8*c + 10. Let u be b(-7). Suppose -u*j + 4 = -5. Let r be -2*(-1)/(j/3). Solve -r*m = 3*m + 20 for m.
-4
Let t = 124 + -123. Solve -2*x + 3 = -t for x.
2
Suppose 8 = 5*d + s, 5*s = s + 12. Let o be 0 - 1 - (d - 2). Solve -2*g + 4*g = o for g.
0
Let y = 2 - 3. Let l be 1/y*-1 - -1. Solve -w = 1 - l for w.
1
Let s = -3 + 6. Suppose s*y + 4*r - 1 = 1, 5*r + 15 = 5*y. Suppose -2*d + o = -1, -4*d = -y*d + 5*o - 31. Solve -2*m + d = -m for m.
3
Let r(i) = 2*i**2 - 9*i - 10. Let f be r(7). Solve 2*t = -3*t - f for t.
-5
Let x = -12 + 17. Suppose -44 = -x*z + 11. Suppose 4*f + 3 = 4*l - 1, 5*f = 20. Solve l*y = z + 9 for y.
4
Let p(t) = t + 1. Suppose z = 2*z. Let w be p(z). Let q(u) = 2*u. Let r be q(1). Solve 1 = r*d - w for d.
1
Suppose -n = -6*n + 4*f + 27, 30 = 5*n - 5*f. Let t be (-66)/(-4) + 5/10. Suppose -2 = -c - 0. Solve t = n*q + c for q.
5
Suppose 3*w = -4*b - 4, 2*b + b = -4*w - 3. Solve -4*f - 4 - 4 = w for f.
-2
Let d = -18 - -30. Suppose -5*v = -d - 3. Solve v = -4*z + 7 for z.
1
Suppose -47 = -3*m - 3*w - w, 3*m = w + 22. Solve -4*l + m*l = 0 for l.
0
Let k be (-2)/11 + 300/(-44). Let w(o) = -5 - 5 - o + 4. Let l be w(k). Solve m + l = -1 for m.
-2
Suppose d - 5*d + 8 = 0. Suppose -f - 5*n = -2, -f - 2*f + d*n + 6 = 0. Suppose 5*m + a = 24, -2*m + 4*a = f*m. Solve 2*u = m*u for u.
0
Suppose 4*l - 7*k - 20 = -2*k, -2*k = 0. Suppose -l*d = -d. Solve -3*g - 9 = -d for g.
-3
Let j = -7 - -1. Let z be j/30 + 1/5. Solve 0 = -z*t + t + 3 for t.
-3
Suppose -x + 2*l + 7 = 4*l, 0 = 2*x - 3*l. Suppose -x*f + 3 = -0. Suppose z = 5*j + 4*z + 4, -z - 8 = -5*j. Solve j = -2*i - f for i.
-1
Let v(s) be the first derivative of 25*s**3/3 + 3. Let l be v(-1). Solve -4*p + l = p for p.
5
Let w = -2 + 4. Let u(a) = 2*a**2 - 3*a + 2. Let s be u(w). Let m = -7 - -12. Solve m = 3*p - s for p.
3
Let n(r) = -6*r - 14. Let a be n(-5). Solve -k = -5*k + a for k.
4
Suppose 6*i - 3*i - 45 = 0. Suppose -3*y = 3*l - 2*l - 5, -1 = -2*l + 3*y. Suppose -4*c + 20 = c - 5*r, -i = -l*c - 5*r. Solve 0*v + 15 = c*v for v.
3
Let y be (-34)/85 + 3/(-5) + 4. Solve 9 = -6*h + y*h for h.
-3
Let c(q) = -q - 5. Let v be c(-6). Solve 9 = 4*s + v for s.
2
Suppose 4*z = 70 - 22. Let l be 3 + (-3)/z*-4. Solve 0*g - l*g = -20 for g.
5
Let v(y) = y**2 - 4*y - 5. Let t be v(5). Let f = 4 + t. Let o(d) = d + 3. Let q be o(-3). Solve f = -q*u - 2*u for u.
-2
Let o be 2/7 + 190/70. Solve 6 = u + o for u.
3
Let y = -15 + 30. Solve v - 6*v = -y for v.
3
Let n = 13 - 7. Let p = n + 2. Let m(i) = -i**2 + 10*i + 2. Let x be m(p). Solve -4*r = 2 + x for r.
-5
Suppose -14 + 5 = -3*s. Solve 0 = -z + s*z - 10 for z.
5
Let f be (-1 + -4)*(-8)/10. Let t be (-2)/f + 1/2. Let k(q) = -q**3 + 9*q**2 - 9*q + 12. Let r be k(8). Solve r*m - m = t for m.
0
Let u = 1 - -2. Let z be -8 - -7 - 21/(-3). Solve z*p = 3*p - u for p.
-1
Let x be 109 - 2 - (-2)/(-1). Suppose -4*p - p = -x. Let j be 3/(p/12 - 1). Solve -j*m + 4 = -5*m for m.
-4
Suppose f - 4 = -f. Suppose -5*g = -2*b - 28, 0 = 5*g + 2*b + 3*b. Let k(i) = i**3 - 5*i**2 + 6*i - 2. Let u be k(g). Solve -u = -a - f*a for a.
2
Suppose -5*j + j = -36. Suppose -r - 3 = -4. Let t = j - r. Solve b = 5*b + t for b.
-2
Suppose -4*r + 1 = -3*r. Let f be 5*-1*r/(-1). Solve -f*o = -43 + 18 for o.
5
Suppose -3*o + 10 = 2*o. Let v = -75 + 77. Let r = o + v. Solve 0*s = -r*s + 4 for s.
1
Let j be 39/26 