 - 3*n + 0 + n**2. Let y be u(4). Solve -t - y*t = -15 for t.
5
Let d be (-16)/(-5) - (-6)/(-30). Solve -3*y + 0 = d for y.
-1
Suppose 2*j - 4 = j. Let y = j - -2. Let z be (1 - 3/9)*y. Solve -u = 1 - z for u.
3
Suppose 3 = 2*v - v. Suppose 0*x + 6 = v*x. Let m = 40 + -24. Solve 6 - m = x*u for u.
-5
Suppose -n - 2 = 0, 2*g + 5*n + 1 = -5. Suppose 2*t + 6*q = 4*q - 2, g*t - 14 = 2*q. Let y = 14 - 10. Solve -s - y = t*s for s.
-1
Let s = 6 + -4. Suppose 0 = z - s*z + 11. Let o = -7 + z. Solve -23 = o*l - 3 for l.
-5
Suppose -3*c + 24 = -0*c. Solve c*b - 3*b = 0 for b.
0
Let i = 34 - 19. Suppose -3*n + 21 = -i. Solve 0 = -4*p + n for p.
3
Let q(d) = d**3 + 5*d**2 - 8*d - 7. Let y be q(-6). Solve n - y = 2*n for n.
-5
Let b(l) = -l. Let w be b(-3). Let r = -13 + 23. Solve 8*v - w*v + r = 0 for v.
-2
Let o be (-80)/(-14) - (-2)/7. Let c(z) = z**2 - 2*z. Let t be c(4). Suppose -2*r = -o*r + t. Solve -r*u + 0*u + 10 = 0 for u.
5
Let m = -18 - -23. Solve -m*n + 8 = -7 for n.
3
Suppose -5*h + 8 = -7. Suppose -5*g = -h*g - 8. Solve w = -g*w + 25 for w.
5
Suppose -3*v - 1 = -4, l + 2 = 3*v. Solve a - 4 = l for a.
5
Suppose -5*y - 68 = -7*c + 3*c, 32 = 3*c + y. Suppose -2*k - g = -12, 2*k = k + g. Suppose -l + v = -2*v + c, k*l - v = 7. Solve f - l = -0*f for f.
3
Let x be ((-10)/(-4))/5*18. Let b(t) = -t + 3. Let n be b(3). Solve -3*a - x = -n*a for a.
-3
Let f(x) = 4*x - 14. Let l be f(7). Solve 0 = -5*d - 6 - l for d.
-4
Let d be (-8)/(-6)*3 + -2. Let m be (d + -2)*(-4)/8. Suppose m = -2*b + 5*w + 21, 3*b + 3*w - 6 = -2*b. Solve -b - 2 = 5*r for r.
-1
Let u be (-2)/9*(13 + -22). Suppose 2*f = -2*n + 24, 0*f - u*f - 4*n + 14 = 0. Solve 5 = 3*s + f for s.
-4
Let c(h) = -h - 1. Let r(w) = w**2 + 1. Let l be r(1). Suppose -4*x - l = d, 0*x + d = -x + 1. Let t be c(x). Solve -g - 2*g - 3 = t for g.
-1
Let r = 18 - 8. Let a(z) = -z + 11. Let i be a(r). Solve 4*t = i - 9 for t.
-2
Let b(c) be the third derivative of c**5/60 - 7*c**4/24 - 2*c**3 - 2*c**2. Let j be b(9). Solve -j*n = -n - 5 for n.
1
Let o be (-2)/((-6)/9) + 2. Suppose d - u = -3*u + 2, 28 = 3*d - o*u. Solve q = -q - d for q.
-3
Suppose -3*d - 1 = -5*a - 2*d, -4*d = -16. Let g be -1*(0 - (a - 1)). Solve -3 = 3*k - g for k.
-1
Suppose 6 = -0*u - 2*u, 4*v = 5*u + 47. Solve -6*w + v*w = 0 for w.
0
Let i be ((-54)/21)/((-105)/245). Suppose 0*c - 3*c - x = 1, c = -4*x - 4. Solve c = -5*k + 2*k - i for k.
-2
Suppose -l - 4*l + 65 = 0. Suppose -5*f + h - 6 = 0, -f - 4*f - 30 = 5*h. Let u be (f - -5)*6/9. Solve -u*x - l = -5 for x.
-4
Let z(l) = -l**3 - 6*l**2 - l + 8. Let n be z(-6). Solve 5*a = -1 - n for a.
-3
Suppose 0 = -5*y, 1 = 4*m - 3*y - 19. Solve m = 3*n - 7 for n.
4
Let h = 13 + -11. Suppose 3*z - h*b = 18, -5*z = -2*b - 14 - 12. Solve z*a = 5*a - 4 for a.
4
Let s = -32 + 15. Let a = -17 - s. Let z(j) = -4*j**3 + 2*j**2 - 1. Let n be z(-1). Solve -w = -a - n for w.
5
Let i be ((-3)/(-12) - 0) + (-19)/(-4). Solve 14 = i*m - 1 for m.
3
Let z = -10 - -13. Suppose z*f = f + 12. Solve 0 = f*x - 3*x + 12 for x.
-4
Let h be -3*((-16)/3 + 4). Solve n = h*n for n.
0
Let m = 11 - 9. Let x be (-14)/(-3) + m/6. Solve v + 0 = -x for v.
-5
Let q be (-3)/((-11)/(-7) + -2). Suppose a = 4*r + 1 + q, a + r = 8. Suppose -c = 2*m - a, 0 = 2*m - 2*c + c - 4. Solve -w = -0 - m for w.
3
Suppose -4*y = -t - 0*y, 2*t + 3*y = 0. Solve -h + 5*h = t for h.
0
Suppose 2*m - 20 = -5*f + 6*m, -2*f - 4*m = -8. Solve 2*s + 4 = -f for s.
-4
Suppose -j - 28 = -5*j. Let g(q) = q**2 + 6*q + 3. Let h be g(-6). Solve h*t + 5 = -j for t.
-4
Let s = 6 - 10. Let z = 7 + s. Suppose 6*f - 24 = z*f. Solve u = -u + f for u.
4
Let j be (-16)/(-10) - 8/(-20). Let g be (j/(-3))/((-1)/3). Suppose 5 = -i - 4*i + 5*m, i = 4*m - 13. Solve -i = -g*h + 5 for h.
4
Let n(v) = -v**3 - 2*v**2 - 2*v - 2. Let t be n(-2). Suppose t*x - 3 - 5 = 0. Suppose 2*z + 0 = x. Solve 6*i - z*i = -16 for i.
-4
Let t(g) = g**3 - 4*g**2 + g - 1. Let k be t(4). Solve k*p = -p for p.
0
Suppose s + 6*x - 5 = 3*x, -3*x + 45 = -3*s. Let d = -7 - s. Let h be ((-40)/15)/((-4)/18). Solve d*z + 3 = -h for z.
-5
Let y be 5/30 + 22/12. Suppose 0 = 3*s - 12, y*p + 0*s + s = 6. Solve p = h + 3 for h.
-2
Let u be 118/8 + 2/8. Let m = u - 11. Solve q + m = -q for q.
-2
Let h be (-13)/(-5) - (-4)/10. Let y(w) be the first derivative of w**2/2 + 8*w - 1. Let g be y(-5). Solve -h - 3 = -g*a for a.
2
Let z be (-2 - -5)/3 - -140. Suppose z = 5*d - 5*q - 29, 22 = d - 5*q. Let n be (-7)/14*(1 + -1). Solve n = -5*c - d + 12 for c.
-5
Let x(j) = -6*j**3 + j**2 + 7*j**3 + 3*j - 5*j**2 - 4. Let p be x(4). Solve -4*n - p = 8 for n.
-4
Let r = 8 + -7. Suppose r = t - 1. Solve -t*q - 9 = q for q.
-3
Let m = -13 + 17. Solve -8 + 0 = -m*b for b.
2
Suppose 0 = 8*y - 12*y + 8. Solve -y*b + 3 = -5*b for b.
-1
Suppose 2*f - 16 = -4*m + 4, 2*f - 16 = -3*m. Solve 15 = l + f*l for l.
5
Suppose 1 = -4*x - 11. Let s be x - (1 + -3 + -1). Solve s = a + 3*a + 8 for a.
-2
Let c(g) = -g + 7. Let n be c(7). Let u = n - -4. Solve 0 = u*o + o + 10 for o.
-2
Let t(u) = 2*u**2 - u + 1. Let y be t(1). Let g = y + -3. Let w = g - -2. Solve -w = 2*j - 9 for j.
4
Let v = 6 + -9. Let x be (v + 3)/(-2 - -1). Solve x*p = 5*p - 5 for p.
1
Suppose 3*g = 4*l - 5, g + 4*l = -4*g + 13. Suppose 1 + 5 = 2*a + w, -3*a + w + 19 = 0. Solve -19 - g = -a*u for u.
4
Let n(p) = -p**3 + 5*p**2 + 2*p + 4. Let h be n(5). Suppose h = 5*v + u, -v + u + u = 6. Solve v = -j - j for j.
-1
Let c(r) be the first derivative of r**4/4 - 2*r**3 + 7*r**2/2 - 6*r - 2. Let b be c(5). Solve -l - 3 + b = 0 for l.
1
Let p(d) = d**3 - 7*d**2 + 4*d + 12. Let r be p(6). Solve r = -2*g - 0*g + 6 for g.
3
Suppose 0*n - 19 = 5*m + 3*n, -2*n + 4 = 0. Let a(b) = -2*b - 7. Let v be a(m). Suppose 3 - 36 = -v*r. Solve 31 = -5*o + r for o.
-4
Let d(y) = 4*y - 1. Let b(t) = -4 - t - 4*t + 5. Let i(u) = -3*b(u) - 4*d(u). Let a be i(-1). Solve a*x + 2*x - 12 = 0 for x.
3
Let j(a) = a - 1. Let y be j(5). Suppose -3*n + n = -y. Suppose 3*v = -5*k + n*v + 9, 11 = 3*k - 5*v. Solve -k = 4*q + 6 for q.
-2
Let i(o) = o - 6. Let m be i(16). Let k be -1 - 0 - (-5 - 2). Let x be m/k - (-5)/15. Solve -x*y = 2*y for y.
0
Suppose 5*i - 8 = -4*r + 6*r, 0 = 5*i - 5*r - 5. Let s be i*(-3)/(-2) + -1. Suppose -5 = -t + z + 3, 0 = -s*t + 5*z + 31. Solve t*f + f = -12 for f.
-3
Let k(l) = l**2 - 2*l + 5*l - 2*l + 11. Let h be k(0). Suppose -v = -h - 5. Solve -5*j + v = -j for j.
4
Suppose 5*i - 4*i = 2. Suppose -f = p - 1, -5*f + p + 3*p + 5 = 0. Solve -c - i - f = 0 for c.
-3
Let d be (-2 + 2)/(1 + -2). Suppose -6*q + 3*q = d. Suppose -2*m + 0*m = q. Solve -2*u + 3*u - 4 = m for u.
4
Suppose -2*y = -37 + 5. Let g be 0/(3/(-6)*2). Suppose g = -5*a - 1 + 16. Solve 1 = -a*i + y for i.
5
Suppose -2*v = -2*f - 1 + 3, -5*v = -3*f - 5. Let u = -4 + 6. Suppose -x = -7 - 3. Solve v*l - x = u*l for l.
5
Let f(u) = u**3 + 12*u**2 + 9*u - 16. Let g be f(-11). Let v = g - 8. Let k be (5 - v/(-1))*1. Solve -14 = k*h - 2 for h.
-4
Suppose 8*g = g + 35. Solve -g*l + 3 + 2 = 0 for l.
1
Let r = -6 + 6. Solve r = h - 2*h + 5 for h.
5
Let g(h) = 6*h + 40. Let b be g(-6). Suppose m = 4*u + 2*m + 5, 4*m + 20 = 0. Solve u = b*n + n - 25 for n.
5
Let g(p) = -p**2 + 11*p. Let f be g(11). Solve d + f = -4 for d.
-4
Let s(w) = 3*w - 16. Let n be s(12). Solve -z + n = 3*z for z.
5
Suppose -2*n = 2*n - 4*b - 16, 0 = 4*n - 3*b - 16. Solve 3 = -n*f + f for f.
-1
Let d be (-15)/(-4) + (-1)/(-4). Suppose -l - u + 6 = 0, 5*u - 8 = -2*l + d*u. Suppose l*o - 22 = -v, -4*o + 11 + 23 = -3*v. Solve 5*h + o = -0*h for h.
-2
Let p be (-26)/(-8) + (-16)/64. Solve 4*y + 7 - p = 0 for y.
-1
Let q(r) be the first derivative of 7*r**2/2 - 2*r + 7. Let a be q(1). Solve -a - 3 = 2*w for w.
-4
Let g = 5 - 7. Let h(r) = 3*r**3 + 3 + 3*r**2 - 6 - 2*r**3 + 2. Let a be h(g). Solve q - a*q = 0 for q.
0
Let k(t) = t**2 - 5*t + 1. Let r be k(5). Let b(z) = 3*z**2 - z + 1. Let g be b(r). Suppose -g*o = -7*o - v + 10, 5*o - 4 = 3*v. Solve o*h + 2*h - 4 = 0 for h.
1
Let k = -2 - 1. Let p = -3 - k. Solve p*j + j = -2 for j.
-2
Suppose -3*s + 4 = 2*t - 8, 5*t + 33 = 3*s. Suppose -7*j = -s*j. Solve v + j*v - 5 = 0 for v.
5
Suppose 9*p + 12 = 11*p. Suppose -65 = -p*u + u. Solve 0 = -5*q + 3 - u for q.
-2
Suppose -4*w + 1 = j - 18, 5*w = 2*j + 2