 Let m = a - 4. Let y(n) = -n + 18. Let u be y(15). Solve u*v = m*v - 8 for v.
4
Suppose 6 = -v - 8. Let k = v - -14. Solve -g + 4 - 7 = k for g.
-3
Let z(b) = -b**2 - 3*b. Let o be z(-3). Let n = o - -6. Suppose -n*v + v = 4*y + 15, 15 = -5*v. Solve -k = -y*k for k.
0
Let h = -3 + 11. Suppose 3*d = -2 + h. Solve d*y + 2*y + 12 = 0 for y.
-3
Let k(y) = y**2 - 4*y + 6. Suppose p = 4 - 0. Suppose 3*i = p*i - 4. Let w be k(i). Solve -x = -4*x - w for x.
-2
Let j(n) = n**3 - 5*n**2 - 6*n + 2. Let p be j(6). Let b = 5 - p. Suppose 5 = b*i - 2*i. Solve -d = i - 4 for d.
-1
Let l(z) = z**3 - 6*z**2 - z + 6. Let x(v) = -v + 11. Let k be x(5). Let b be l(k). Solve 3*t + 0*t + 3 = b for t.
-1
Let b(v) = 2*v - 3. Let u = 4 - 2. Suppose 0 = 3*j + u*j - 25. Let g be b(j). Solve -g + 3 = -p for p.
4
Let u(j) = -j**3 + 8*j**2 + 11*j - 12. Let m be u(9). Solve -2*c + m = 2 for c.
2
Let p be 1 + -3 - (-5 - -9). Let f = 4 + p. Let s be (-1)/3*(2 + f). Solve 3*r - 15 = -s*r for r.
5
Let w(a) = -a**2 - 9*a. Suppose 0*q + 18 = -2*q. Let x be w(q). Solve p - 5*p - 16 = x for p.
-4
Suppose 5*j - 36 = j. Let l(k) = k**3 + 5*k**2 - 4*k + 8. Let m be l(-6). Let u = m - -8. Solve -u*r + 7*r = -j for r.
-3
Let p = 12 + -6. Solve u + p = -u for u.
-3
Suppose 0 = n - 8 - 24. Suppose -4*l = 3*r - 41, -r = -0*r + 5*l - n. Let q = r - 5. Solve q*t - 8 = -0*t for t.
4
Suppose 0*d - 8 = -4*d. Suppose -3*u + 2 = -f - 2, 5*u - 2*f = 7. Solve -u = r - d*r for r.
1
Let d be 4*(2 - (8 + -1)). Let i = -11 - d. Let n = -7 + i. Solve -n = 2*u - 10 for u.
4
Let z(h) = -2*h - 3*h**2 + 3*h - 2 + 6*h**2. Let x be z(2). Suppose -c + 4*a = -4 + 20, -2*c + 3*a = x. Solve 0 = -c*y - y for y.
0
Let d = -20 + 15. Let l be -5*(d + 1 + 3). Solve l = 4*v - 11 for v.
4
Suppose -2*m + 4*m - 4*d = 2, -3*m + d - 2 = 0. Let q(z) = z - 7. Let p be q(5). Let a be ((m - -3) + p)/2. Solve 4 + a = -u for u.
-4
Suppose -2*c + 15 = 3. Let o = -4 + c. Solve 2*w + o*w + 8 = 0 for w.
-2
Suppose 3*r = -r + 5*m + 23, -8 = 2*r + 4*m. Suppose 4*a - 37 = -5*u, r = 4*u - 5*a - 3. Solve -t + u - 10 = 0 for t.
-5
Suppose -s + 3*m = 2*s - 6, 3*m + 4 = s. Solve 3*a - 11 - s = 0 for a.
4
Suppose 8*b - 3*b - 15 = 0. Solve 4*a + b + 13 = 0 for a.
-4
Let l = 56 - 53. Solve 0 - 15 = -l*c for c.
5
Suppose 0 = -8*l + l. Let p(t) = t + 5 - 5. Let b be p(5). Solve l = -3*r - 17 + b for r.
-4
Let p(h) = -2*h**2 + h + 5 - h**3 + 3*h**2 + 3*h**2. Let w be (-2)/(-4) + (-14)/(-4). Let f be p(w). Solve -1 = -4*z - f for z.
-2
Let m = 41 + -36. Solve m + 1 = -3*t for t.
-2
Suppose 0 = -10*f + 6*f + 40. Solve 7*g = 12*g + f for g.
-2
Let g(j) be the first derivative of j**3/3 + 3*j**2/2 - j + 1. Let x be g(-5). Suppose n = 3*n + 3*r - x, 9 = 3*r. Solve -3*y - y - 20 = n for y.
-5
Suppose s - 53 = -4*v, -3*v + 2*s + 9 + 17 = 0. Solve -5*h - v = -2*h for h.
-4
Let i be (-4)/8*50/(-1). Suppose 10 = -y + 2*t, -3*y + 0*y + 5*t = i. Let x = -2 + 5. Solve y = -o + 2*o - x for o.
3
Let w = 15 - 9. Let q be (-4)/(-24) - 1/w. Let u = q + 3. Solve -3*x - u = -2*x for x.
-3
Suppose -5*l = -49 - 26. Solve -l = -4*t + 1 for t.
4
Let o be 0 + (-1)/(-1) - -6. Let i = o + -5. Suppose -3*d - i*d - 2*r = -35, 0 = -d + 2*r + 19. Solve 0 = 3*b - 0 - d for b.
3
Let g(w) = w**2 - 8*w + 9. Let m = -6 - -13. Let z be g(m). Solve 5 = -z*s - 5 for s.
-5
Let v(l) = -6*l + 6. Let t be v(1). Solve -2*o + 3*o + 4 = t for o.
-4
Let s(b) = -b**2 - 13*b - 12. Let w be s(-11). Suppose -2*j = -j - w. Suppose k + 0 = -1, 2*v - 15 = -3*k. Solve v*h - 4*h + j = 0 for h.
-2
Let p(q) = 7*q**3 + 1. Let l be p(-1). Suppose 3*h - 24 = 6*h. Let z = l - h. Solve -z*m - m = -6 for m.
2
Let c(j) = 2*j**3 - 2*j**2 - 2. Let r(v) = v - 2. Let w be r(5). Let y be c(w). Let l = -19 + y. Solve 6*x = x - l for x.
-3
Let t be ((3 + -3)/3)/1. Solve -2 + t = -2*w for w.
1
Let r = 22 - 10. Solve 5*b + r + 8 = 0 for b.
-4
Suppose -9 = -3*c - 3. Solve -c*b - 3 = -9 for b.
3
Suppose 4*l = 9 + 3. Let g be 1/(-3 + 2) - -1. Suppose c - 7 = -0*h + 5*h, g = 4*c - 4*h - 12. Solve l*k + 3 = c*k for k.
-3
Suppose 5*t = h + 2*t - 18, -5*t - 8 = 2*h. Solve -2 = o - h for o.
4
Suppose -2*q = -2*b - 20, 3*q + 14 = 6*q + b. Solve q*p = p - 5 for p.
-1
Suppose 5*r - 3*n - 62 - 48 = 0, -2*r + 13 = 5*n. Suppose 78 - r = 5*p - 2*k, 2 = -k. Solve -p = 5*x + 4 for x.
-3
Let s = -3 + -6. Let n = -9 - s. Solve n*o + 3*o = 0 for o.
0
Suppose -4*h + h = -15. Solve -7*g + 2*g = h for g.
-1
Suppose 0 = -2*x + 4 + 8. Let k = x - 1. Let a = -19 - -19. Solve -k = i - a*i for i.
-5
Let b be (4/6)/((-2)/(-30)*5). Solve -3 = b*o - 5 for o.
1
Suppose -16 = 2*f + 2*f + 4*o, -5*o - 20 = 0. Solve v - 3*v - 6 = f for v.
-3
Let f = 4 + 0. Solve f*b + 3 = -17 for b.
-5
Let y(i) be the second derivative of i**5/20 + 13*i**4/12 + 2*i**3 + 2*i**2 + i. Let x be y(-12). Solve 0 = -3*l + x + 11 for l.
5
Let z = 109 - 104. Solve 31 = z*v + 6 for v.
5
Suppose 0 = 4*m - 0*m - 16. Solve m - 3 = r for r.
1
Suppose -2*i = -3*n - 2, 0 = -0*i + i + 4*n - 1. Solve 3*f - 14 = i for f.
5
Let s be (-3 + (-3 - -7))*0. Solve -4 + s = 2*z for z.
-2
Let c(w) = -w**3 + 3*w**2 - w + 1. Let b be c(2). Suppose -4*r + 53 = -27. Suppose 0 = b*l + 5*d + 25, -4*l - 2*d = 2*d + r. Solve -j - 4*j = l for j.
0
Suppose -3*g - g + 8 = -3*z, -5*z + 4*g = 0. Suppose -4*y + 70 = 2*d, 10*y - 5*y = d. Solve -z*f = f + d for f.
-5
Let k be (8 - -1) + 9/(-3). Suppose 0 = 2*s - 0 - k. Solve 0*m + 12 = s*m for m.
4
Let n be (4/6)/(-2) - (-900)/108. Solve -k - k = n for k.
-4
Let u(h) = h**3 + 6*h**2 - 2*h - 8. Let v be u(-6). Solve -3*w + v = -4*w for w.
-4
Let u(i) = 42*i**3 - i**2 + 1. Let q be u(-1). Let a be 1/(q/15 - -3). Solve a*g = 3*g + 8 for g.
4
Let s = 499 + -496. Let d = 0 + 0. Let a be 2/6 + 8/3. Solve d*u = a*u + s for u.
-1
Let b = 25 + -10. Suppose -4*o - 2 - 6 = 0. Let v = o - -6. Solve 7*c = v*c - b for c.
-5
Let a be 2/(-5) - 22/(-20)*4. Solve -a*h = -6*h + 2 for h.
1
Let m be (0/(-1))/((-2)/2). Solve -1 + m = o for o.
-1
Let r = -8 - -12. Suppose l + 0*l = r*p - 5, l + 2 = p. Solve 2*u + p - 3 = 0 for u.
1
Let y be (-274)/(-18) - 6/27. Suppose -5*i + 5 = -y. Solve -i*x - x = -10 for x.
2
Suppose 1 = -4*w + q, -5*q + 5 = -0*w + 3*w. Suppose 5*c + 9 = 84. Solve -3*v + c = -w*v for v.
5
Suppose -2*w + 29 = -5*f, -w + 12 = -2*f - 0. Solve -13 = -3*g + w for g.
5
Let p(h) = 2*h - 12. Let m be p(8). Suppose -f + 0*f = -16. Solve 0*c - f = m*c for c.
-4
Let l(g) be the first derivative of g**2 + 12*g - 6. Let o be l(-5). Solve 0 = -2*r - 0*r + o for r.
1
Let l be (-1 - (-2 - 0)) + 4. Suppose b - 1 = l. Suppose -c + b*c = 0. Solve c = -u - u - 6 for u.
-3
Suppose 5*u = -2*j + 11, 3*u - 2*u = -4*j - 5. Solve g - 4 = -u*g for g.
1
Let x(w) = -w**2 - 3*w + 5. Let j be x(-3). Suppose -2*m + 0 = -6. Suppose 0 = 5*o - 72 - m. Solve j*z = 2*z + o for z.
5
Let q be ((-6)/(-9))/(3/9). Let x be -1*(2 - (-3)/(-1)). Solve x = -v + q for v.
1
Let t(y) = y**3 - 7*y**2 - 6*y - 3. Let s be t(8). Suppose -2*d + 4*o = d + 16, -d = -3*o + 2. Let r = s + d. Solve 0*z = r*z + 10 for z.
-2
Let z be ((-6)/15)/(1/(-5)). Solve f + f = -z for f.
-1
Let q be (-9)/(-3 - -6) - -3. Solve j + q = -2 for j.
-2
Let i = -25 + 29. Solve 9*z + 25 = i*z for z.
-5
Suppose 16 = 2*b - 5*a, a - 13 = -2*b - 3*b. Suppose y - b = -2. Suppose -d - 4*c = -3*c - 2, d - 5*c - 14 = 0. Solve -n = d - y for n.
-3
Suppose -2*c = -0*c - 90. Let h be 8/(-6)*c/10. Let y = -1 - h. Solve -y - 1 = 3*p for p.
-2
Let l be 21/3 + -1 + (-4 - -2). Solve l*y = 5*y - 1 for y.
1
Suppose -c + 0*c + m = -5, -3*m - 1 = 4*c. Solve c*p + 3 = -p for p.
-1
Let i(h) = -h**2 - 5*h + 2. Let q be (-6)/2 - (3 - 1). Let c be i(q). Suppose -11*v + 39 - 6 = 0. Solve 0 = -v*z + c*z - 5 for z.
-5
Let n = -7 - -7. Solve -q + 3*q = n for q.
0
Let m(x) = x**2 - 3*x + 4. Let z be m(3). Let p be (-6)/(2/(z/(-3))). Solve 3 - p = -h for h.
1
Let t = -5 + 3. Let k be 1*(1 + -1) - t. Solve -k*n = -n for n.
0
Let j(q) = -q + 2. Let m be j(-2). Suppose -22 - 10 = -m*k - 3*d, -2*k + 30 = 5*d. Let u(x) = 2*x - 6. Let c be u(k). Solve 0 = c*y + y + 25 for y.
-5
Let h(x) = -x**2 + 9*x - 4. Let q be h(8). Suppose q*f + 5 = 5*f. Solve f = 2*z - 3 for z.
4
Let f(t) = t - 1. Let x be f(5). Suppose r + x*r = -d + 12, -4*r + d = -6. Solve 6*a - 16 = r*a for a.
4
Let