2 - 2*j - 1. Let c be r(-2). Let p = 9 + c. Solve 1 = p*t - 15 for t.
4
Let r(y) = y**3 + 4*y**2 - 3*y - 2. Let h be r(-4). Suppose 3*j = -4*x - x + 28, -2*x = -h. Solve -3 - j = -2*n for n.
2
Suppose -1 = 2*r + 15. Let l = r + 10. Solve -z + 3 = -l*z for z.
-3
Suppose 0 = -10*n + 8*n + 4. Solve 3*h = -n*h for h.
0
Let l be (30/(-25))/(2/(-5)). Let z be l*(-3 - (-102)/9). Solve 4*o = -o + z for o.
5
Let q = -130 + 130. Solve 0 = -q*f + 2*f + 8 for f.
-4
Suppose 6*i - 3*i = 36. Suppose 0 = 13*g - i*g - 3. Solve -g - 5 = 4*v for v.
-2
Let o(s) = -s**2 + 3*s. Suppose 5*p = -5*v - 15, 20 = 2*p - 3*v + 1. Let y be o(p). Solve 0 = 3*d - y - 10 for d.
4
Let r = 4 + -1. Suppose -4*q + 2*m + 6 = 0, -3*m + 4 + r = 2*q. Suppose y + y = -5*s + 7, -s - 5 = q*y. Solve -s = k - 4 for k.
1
Suppose -25 = -j - 23. Solve 0 = j*g + 2*g + 8 for g.
-2
Suppose 0*t + 14 = 5*s + 4*t, -t + 5 = 2*s. Let p be (-1 - s) + 1*6. Solve p*y = -2*y for y.
0
Let p be 0/(-3) - -1*3. Let j(h) = h**3 - p + 2*h + 7*h**2 + 0 - 3*h. Let n be j(-7). Solve -z + 25 = n*z for z.
5
Suppose -4*z + 13 = -o - 3, 12 = -3*o. Let a be 1 + 3*2/z. Suppose 3 = -2*t + a*t. Solve t*s + 1 = -2 for s.
-1
Let w = -1 - -3. Let v = -15 - -24. Solve -w*h = h - v for h.
3
Let h(q) = -q**2 - 3*q + 4. Let x = -10 + 7. Let b be h(x). Solve -5*j = -4*j + b for j.
-4
Let v(u) = -u**2 - u + 4. Let j be v(-3). Let h be ((-1)/j)/((-1)/(-4)). Suppose h*n + 1 = -5*k, -k - 6 - 23 = -2*n. Solve -3*b - b = n for b.
-3
Let q = -22 - -24. Solve w + q = 5 for w.
3
Let n = 140 - 136. Solve -n*r = -3 - 9 for r.
3
Let b = 14 - 12. Solve -n + 6 = b*n for n.
2
Let j = 118 - 116. Solve 2 = j*z - 2 for z.
2
Let p(k) be the first derivative of -k**4/4 + k**3/3 + k**2/2 + 2*k + 3. Let h be p(2). Solve h = 2*q + q + 9 for q.
-3
Let c(d) = d + 2. Let f be c(3). Let v(u) = f*u**2 - 2*u**2 - 4*u - u**2 + 2. Let y be v(2). Solve 0 = -0*w - y*w for w.
0
Let g(m) = -m + 12. Let c be g(9). Suppose 0*x + 28 = 4*x. Suppose -3*f + 0*o = -2*o, -f + 3*o - x = 0. Solve f = -c*h - 1 for h.
-1
Let p = 10 + -6. Suppose 0 = -3*v - 0*v. Suppose -5*k - 2 = -4*i - 8, -5*i + 5 = v. Solve 3*o + k = -p for o.
-2
Let z = 16 + -8. Suppose 3*j - z*j = 0. Suppose 16 = -j*i + 4*i. Solve -i*d = -d for d.
0
Let x be (40/(-30))/(1/(-3)). Let p be x - (8*-1)/(-4). Solve 0 = -3*w - p*w for w.
0
Suppose -4*k - k = 35. Let f = k + 9. Solve 5*n = -8 - f for n.
-2
Suppose -2*m = -0*m - 6. Suppose m*h - 3 = 6. Let d = h - 3. Solve d = 4*k - 5*k - 4 for k.
-4
Let o(c) be the third derivative of -c**4/3 - c**3/3 - c**2. Let w = 7 - 10. Let x be o(w). Solve 5*b - x = 3 for b.
5
Suppose 33 - 3 = 2*i + 5*d, -2*d + 67 = 3*i. Solve -i = 9*v - 4*v for v.
-5
Let u = 6 - 4. Solve -15 = 3*w + u*w for w.
-3
Suppose 5*n - 3*w + w = 60, -5*w + 12 = n. Suppose 2*f - n = -f. Solve 0 = -f*a + 25 - 5 for a.
5
Let x(f) = -f + 10. Let m(p) = p - 19. Let s(v) = 6*m(v) + 11*x(v). Suppose -3*c - 7 - 2 = 0. Let i be s(c). Solve -14 = 5*k + i for k.
-5
Suppose -5*c + 25 = -0*c. Suppose -5*z + 4*b - 5 = -1, 0 = -z - 5*b + c. Solve m = -z*m for m.
0
Suppose -3*r = -5*l - 9, -3*l - 2*l - 2*r = -6. Solve x + l = -3 for x.
-3
Let t = 72 - 68. Solve 6*r - 4 = t*r for r.
2
Let j = 1 - -4. Solve 0 = 3*r + 4 + j for r.
-3
Let p(r) = -2*r - 13*r**2 + 12*r**2 + 0 + 2. Let w be p(-2). Solve -5 = -3*j - w*j for j.
1
Suppose 5 = -3*v + 5*u + 34, -3*v + 4*u = -25. Suppose 4 = 4*q - v*q. Solve -1 - q = -5*p for p.
1
Suppose 0 = 2*r + 3*i - 4*i - 18, i - 24 = -4*r. Suppose 0 = 4*s - 0 - 4. Solve -s = -2*k - r for k.
-3
Let g(o) = 11*o**3 - o. Let p be g(1). Suppose d = 4*c + c - p, -3*c - 2*d = -19. Solve -c*w = w + 8 for w.
-2
Let b(m) = m - 14. Let k be b(17). Solve -8*y = -k*y for y.
0
Let i(w) = -2*w - 3. Let d = -2 + -2. Let y be i(d). Solve -2*m - y = 3*m for m.
-1
Let c(y) = y**2 + 10*y - 1. Let g be c(-11). Suppose -5*u + g = 0, 2*l - 20 = -2*l - 2*u. Solve -h - l*h = -25 for h.
5
Let c = -1 - -6. Suppose c*f - 75 = -0*f. Solve 2*n = -n + f for n.
5
Suppose -4*s = 52 - 8. Let x(r) = -r - 7. Let o be x(s). Suppose 0 = -z + 8 + o. Solve 0*b + z = 3*b for b.
4
Let n be 1 + (1 - (2 - 0)). Let g(r) = r**2 + 6*r - 1. Let l be g(-6). Let w be -1 - 1/(l/26). Solve 5*t - w = -n*t for t.
5
Let u = -6 - -8. Solve -c - u = -0 for c.
-2
Let h be 12/(-66) + (-68)/(-11). Let m be (-27)/9*(-4)/h. Solve 3*o - m*o = 0 for o.
0
Suppose 8*n = 3*n. Solve n = 4*k - k for k.
0
Let v = -22 - -16. Let y(k) = k**2 - k - 2. Let r be y(v). Let l = -25 + r. Solve 0 = d - 4*d + l for d.
5
Let o = -42 + 59. Solve -3*j - o + 2 = 0 for j.
-5
Let g(z) = -2*z**2 + 3*z**2 + 21 - 11*z - 6 + 0*z**2. Let u be g(10). Solve u*c = -3 - 12 for c.
-3
Suppose i - a - 7 = 0, 4*i - 3*a - 8 = 17. Let g be 34/9 + i/18. Solve -o + g + 1 = 0 for o.
5
Let u be (4/(-3))/(-7 + (-40)/(-6)). Let g = 6 - 3. Solve -g*a - 7 + u = 0 for a.
-1
Let n(u) = 3*u**2 - 14*u + 13. Let b be n(4). Solve 18 = b*j - 2 for j.
4
Let j = 10 - 33. Let p = -13 - j. Suppose 2*d - 29 = -5*c, -2*d = 3*d - p. Solve -c*m - 6 - 4 = 0 for m.
-2
Let m be (6/(-8))/((-1)/4). Suppose m*g - 68 = -5*o, -g = -0*o - o - 12. Suppose 2*w - 3*u - g = 0, 18 = -w + 2*w - 4*u. Solve -w*v = -3*v for v.
0
Let x(b) = -5*b - 10. Let o be x(-5). Solve 19 = q + o for q.
4
Let b = 5 + 0. Let y be (-17)/(-5) - 2/b. Let n be y*(1 - (2 - 2)). Solve 2 = n*l - 4 for l.
2
Suppose 2 = o - 0, 0 = 3*x - 5*o + 7. Suppose 4*b - 16 = -4*h, 2*h + 3*b - 3 = 7. Solve -h*y + x = 3 for y.
-1
Let g be (-1)/(-4) + 75/20. Let t(n) = -n**3 + 3*n**2 + 5*n + 2. Let f be t(g). Suppose -d + 0*d + 3 = -2*i, -d - i + f = 0. Solve d = 5*b + 15 for b.
-2
Let k be 0*(6/(-4) - -2). Solve 2*t = -k*t for t.
0
Suppose 0 = -5*r - 5*s + 55, -2*r + 24 = -0*s + 4*s. Let y = -7 + r. Solve -q = 2*q + y for q.
-1
Let f(r) = -4*r + 16. Let k be f(4). Solve k = -2*t + 18 - 8 for t.
5
Let o be (2/6)/(15/135). Suppose o*b + 0*d - 2*d - 30 = 0, -27 = -3*b + d. Solve 3*c = b*c for c.
0
Let y = 11 - 8. Suppose 3*a = -y*m + 42, 5*m + 3 - 49 = -3*a. Let j be 11/3 - (-4)/(-6). Solve -j - a = -3*b for b.
5
Let j be (-2)/(4/(-6)) + -1. Suppose -l + j*l = 0. Solve 0 = -b - l*b for b.
0
Let d = 86 + 14. Suppose 4*v = d - 8. Suppose 2*b + 6 = j, -5*j + v = -0*j - 3*b. Solve -j*h = 18 - 2 for h.
-4
Let k = 10 + 1. Suppose 4*j = -0*j - 3*x - k, 24 = 4*j - 4*x. Solve 2 + j = 3*n for n.
1
Let m(z) = -2*z + 1. Let g(n) = -n**2 - 5*n - 5. Let o be g(-5). Let i be m(o). Let t = 16 - i. Solve 0*f = t*f + 5 for f.
-1
Let c(p) = -7 - 3*p + 0*p**2 + 2*p**2 + 3. Let q be c(3). Solve q*o + 0*o = 15 for o.
3
Let c be 0 - 1/(-1)*5. Suppose 0*o + 8 = 2*o. Suppose -b - 5*v - o = -v, 5*v + 20 = 0. Solve 2*s = c*s + b for s.
-4
Suppose 0 = -4*y + 3 + 1. Solve q + y - 6 = 0 for q.
5
Let l(k) = k. Let r be l(-2). Let q = r - -2. Solve -m = -q*m - 2 for m.
2
Let r(z) = z**3 + 6*z**2 - 5*z + 5. Let l be r(-7). Let o = l + 12. Solve 5*a = 2*a - o for a.
-1
Let j(b) = -9*b + b - 10 + 19 + 1 + b**2. Let t be j(7). Solve -6*d = -t*d for d.
0
Let c be -1 + -2*(-16)/2. Suppose -7*m + 2*m = -c. Solve -m*g + 0*g = -3 for g.
1
Let d(n) be the third derivative of n**5/60 - n**4/8 + n**3/2 + n**2. Let c be d(2). Suppose 0 = 3*v - c - 8. Solve 2 = -v*b + b for b.
-1
Let i(f) = f**3 - 3*f**2 - 6*f + 4. Let y be i(5). Suppose 3*p + 5*g - y = 0, -5*g - 24 = -2*p - p. Solve -7 = -5*u + p for u.
3
Suppose 3*j - 4 = j. Suppose 0 = j*y - 7*y. Suppose 2*s - z - 5 = 0, 5*z = 5 - 0. Solve y = 4*f - s - 5 for f.
2
Let k(x) = -x + 3. Let f be k(0). Let s(m) = m**3 - 2*m**2 - 2*m + 2. Let z be s(f). Let g = z + -2. Solve g = 4*j - j for j.
1
Suppose -5*m + h = -2*h - 37, 3*m = h + 19. Let t = -5 - -2. Let n = m + t. Solve f = -n - 0 for f.
-2
Let p(h) = h**3 - 5*h**2 - 5*h - 1. Let c be p(6). Solve 5*f + 0*f - c = 0 for f.
1
Let c be ((-1)/2)/(2/(-16)). Suppose 4*n = 2*n + c. Suppose -5*d + 26 = 2*k, k - 3*k - 2*d = -14. Solve -k*r - n*r = 20 for r.
-4
Suppose 2*j + 25 = 7*j. Solve j = 4*f + 1 for f.
1
Let x(f) be the second derivative of -f**6/720 + 3*f**5/40 + f**4/6 - 3*f. Let a(s) be the third derivative of x(s). Let h be a(4). Solve 0*b - h = -b for b.
5
Let z be 0/(0 + 3 - (-24)/(-4)). Solve z = 2*j + 2*j for j.
0
Suppose 3*z - 10 = -2*z. Let h = -8 + 4. Let i = 6 + h. Solve 4*g = z*g + i for g.
1