 Solve -k = 2 - z for k.
1
Let r be -3 + 5 - 2*1. Solve 3*c + 3 = -r*c for c.
-1
Let m = 3 + -3. Solve 4*v + m*v = -20 for v.
-5
Suppose 4*v - 9 = 2*v + s, v + 4*s - 18 = 0. Let m(c) = c**3 - 7*c**2 + 6*c - 6. Let h be m(v). Let f be h*-1*(-3)/(-6). Solve 0*x - f = -3*x for x.
1
Let i = -1 - -1. Suppose 0 = -i*u + 3*u. Solve -4*x + u*x = 8 for x.
-2
Suppose 52 - 17 = 5*p. Let j(f) = f**2 - 6*f - 2. Let i(h) = h**2 - 5*h + 7. Let c be i(5). Let y be j(c). Solve y*o - 18 = p for o.
5
Let y be 6/2*4/12. Let t be (22/(-1))/(3 - 1). Let i = -7 - t. Solve -i*n + y = 9 for n.
-2
Suppose 0*b + 3*b = 0. Let t be ((-8)/6)/(10/15). Let s(w) = 2*w**2 + 2*w + 1. Let u be s(t). Solve b*f - 20 = u*f for f.
-4
Suppose -9*m + 5*m = -16. Let k be 0*(-2 + m - 1). Solve -4*i = -k*i for i.
0
Let d = 7 + -4. Suppose -25 = 9*c - 4*c, -4*k = c - 27. Let o = k - d. Solve 0 = o*h + 9 + 16 for h.
-5
Let y(i) = 1. Let d(k) = k**3 - 12*k**2 + 13*k - 14. Let j(g) = d(g) - y(g). Let q be j(11). Suppose 3*r - h = 11, r - 2*r - 3*h = 3. Solve -q = r*u + 5 for u.
-4
Let k = -123 - -125. Solve k*c - 6 = -14 for c.
-4
Suppose -8 - 7 = -5*x. Suppose 0 = -2*p + x*p - 4. Solve -o - 25 = p*o for o.
-5
Let d(l) = l**3 - l**2 + l - 11. Let p be d(0). Let g(z) = -z**2 + 1 - 4*z - 7*z + 5. Let r be g(p). Solve j + 2 = r for j.
4
Let r(z) = -24*z**2 + z**3 + 10 + 0*z**3 - 6*z + 30*z**2. Let s be r(-7). Suppose 0 = 4*j - s*j. Solve j = 5*c + 8 - 23 for c.
3
Let o(u) = 3*u - 1. Let a(w) = 6*w - 3. Let y(t) = -2*a(t) + 5*o(t). Let j be y(1). Solve -16 = -3*n - j for n.
4
Let i be (2 + 0 + -1)*1. Let p = -1 + i. Suppose b - 2*b + 9 = p. Solve 0*m = -3*m + b for m.
3
Suppose -2*k = -6*k + 12. Suppose -7*u = -2*u - 20, -k*c - 4*u + 100 = 0. Solve -5*f + 13 - c = 0 for f.
-3
Suppose z - 11 = -o, 4*o - z + 3*z = 36. Suppose 3*v - 4*k = -v + 8, 2*k = 6. Suppose v*f - 4*t - 28 = 0, -t - o + 5 = 0. Solve -q + 6 = -f*q for q.
-2
Let s = 46 - 29. Suppose -k - 16 = -4*u + 3*k, 5*u - 2*k - s = 0. Let v(a) = 2*a + 2. Let q be v(3). Solve y = -u*y + q for y.
2
Let y = -7 + 9. Solve 0 = 2*s - 3*s - y for s.
-2
Let i(x) = x**3 - x**2 - x - 4. Let q be i(0). Let f = 4 + q. Solve 0 = -4*a - 8 - f for a.
-2
Let d(v) = v**3 + v**2 + 3. Let s be d(0). Suppose -y + 1 - 5 = 0, m + 18 = -5*y. Solve s*w = -m*w + 25 for w.
5
Suppose 5*f + 85 = 260. Let n = -23 + f. Let o = -7 + n. Solve 5*p - o - 15 = 0 for p.
4
Let f be -3 - -3 - 3/(-1). Suppose -2*r + f*r - 2 = 0. Solve -1 = r*c + 7 for c.
-4
Suppose -n + 18 = -2*n. Let y = -11 - n. Solve 0 = 3*t + y + 5 for t.
-4
Suppose -2*p + 3*p + 6 = 0. Let q be (-20)/p - (-3)/(-9). Solve q = 5*c + 13 for c.
-2
Let y be -3*(14/(-3))/7. Solve y*l + 4 = -4 for l.
-4
Let r = 2 - 0. Solve 3*v - r*v = 5 for v.
5
Let y(t) = 10*t + 6. Let u be y(5). Let k(p) = p**2 - 3*p - 5. Let w be k(5). Suppose u = w*z + 6*g - 3*g, 3*g = -z + 16. Solve -3*v + z = -2 for v.
4
Suppose 0 = 3*k + 5*f - 15, 5*k - 25 = 3*f - 0*f. Suppose -3*t + 7 = -k. Suppose t = -0*b + 2*b. Solve b = u - 1 for u.
3
Let m(p) = -p**3 - p**2 + 20. Let b be m(0). Suppose -h + b = y + 2*y, -2*y + 5*h = 15. Let s(c) = 2*c - 6. Let z be s(y). Solve -z*x - 8 = -2*x for x.
-4
Let j be (-68)/(-6)*12/8. Solve -7 + j = 2*t for t.
5
Let l(b) = -2*b + 1. Let n be l(-1). Suppose 0 = -4*h + r + 13, -2*h - n*r - 16 = r. Suppose -4*g = -3*s - 2, 4 = 5*s - g - h*g. Solve -s = -4*d + 2 for d.
1
Let y be ((12/(-9))/(-4))/(1/24). Solve -y = -v - v for v.
4
Let v(n) = -4*n. Let u be v(-5). Suppose -3*i = 4*s - u, i + 2*i - 4 = 4*s. Solve s*k - 2 = 4 for k.
3
Let z = -22 + 22. Let r = -19 + 24. Solve 2*l - l - r = z for l.
5
Let u = 32 + -28. Solve 0 = -2*x - 2 + u for x.
1
Let k be 39/18 + (-1)/6. Let u(p) = -p + 3. Let l be u(3). Solve 7*d - k*d - 25 = l for d.
5
Suppose -13 = y - 5*t - 3, -46 = -5*y + t. Let z = 0 + 5. Solve y + 15 = z*m for m.
5
Suppose -3*l + 16 = -5*q, -9 = -l + 3*q - 5*q. Solve -2*d + l*d = -10 for d.
-2
Let v(p) be the first derivative of p**3/3 - 9*p**2/2 + 8*p - 1. Let q be v(8). Solve 0*u - u = q for u.
0
Let a(n) = n**2 + 4*n + 3. Let o be a(-4). Suppose -o = -m + 2. Solve -m*b = -17 - 8 for b.
5
Suppose j = -a + 4*a - 4, 3*j + 8 = 5*a. Let v be -1*(-2 - 1*-3). Let f = v - -5. Solve a + f = -q for q.
-5
Let d be 4*2/4 + 28. Suppose 0 = -5*l - 0*l - d. Let z = l + 8. Solve z*a - 6 = 4*a for a.
-3
Let x be (49/(-35))/(2/(-10)). Let a = 10 - x. Suppose 0 = a*d - d - 12. Solve -d*k + 3*k = 3 for k.
-1
Let a be (-4)/((4 + -2)*-1). Solve 12 - a = 5*u for u.
2
Let o(u) be the third derivative of -u**5/60 + u**4/4 + 5*u**3/3 + 4*u**2. Let h be o(7). Solve h = m - 2*m for m.
-3
Suppose 0 = -5*w + 3*h + 146, -2*w + h + 58 = -0*w. Let g = -17 + w. Solve 3*t + g + 1 = 0 for t.
-4
Let a be (-1)/2*-6 - -3. Suppose -5*f = 5*r - 20, a*f - 2*f + 3*r = 16. Let m = -8 - -11. Solve f*d = m*d - 2 for d.
-2
Suppose -2*i - 4 = 10. Let k(v) = v**2 + 5*v - 10. Let f be k(i). Suppose -4*c = t - 3, -t - 1 = -f. Solve c*b + 4 = 2*b for b.
2
Let j(t) = 25*t - 15. Let a(l) = l - 1. Let i(q) = 20*a(q) - j(q). Let u be i(-2). Solve u = 2*y - y for y.
5
Let w(h) = h**3 - 10*h**2 + 9*h + 3. Let z be w(9). Let i be (0/(-1))/2*-1. Let y be (-2 + i)*(1 + -2). Solve g - y = z for g.
5
Let g be 38/8 - 2/(-8). Suppose o - 14 = 15. Suppose -4*m - g*i + o = 0, -3*m + i + 4*i - 22 = 0. Solve 0*j + j = -m for j.
-1
Suppose -5*h = -2*b + 9 + 7, 0 = 4*b - 4*h - 32. Suppose 4*o = 4*q - 13 - 3, 0 = -q + 5*o. Suppose -q*d = -b*d. Solve d*n - 12 = -4*n for n.
3
Suppose 6 = 3*g + 21, 2*b - 40 = 2*g. Let r = 6 - 1. Solve -r*i + b = -2*i for i.
5
Let s(y) = y**2 + 3*y + 4. Let p be s(-3). Let h = p - 4. Solve h = -n + 4*n + 12 for n.
-4
Let b be 3/(-5) + (-476)/(-85). Solve -4 - 1 = -b*x for x.
1
Let u be 2/(-2) + (5 - 1). Solve -u*n + 5 = -10 for n.
5
Let h(c) = -c**3 + 2*c**2 - c. Let k be ((-1)/5)/(5/(-25)). Let o be h(k). Solve o = 3*n - n - 10 for n.
5
Suppose 0 = z + 3*z - 52. Let d = z + -9. Suppose -o - 3*w = 2, 4*o - 3*o + d*w = -4. Solve 13 = o*b - 7 for b.
5
Suppose 0 = -2*l + 5*j + 16, -7*l + 2*l + j = -17. Let c be l + -2 + -2 + 1. Solve -i - 5 + 0 = c for i.
-5
Let j(f) = -2*f - 9. Let n be j(-6). Solve n = p - 4*p for p.
-1
Suppose 4*d - 14 = -3*l + 4*l, 4*d - 22 = 5*l. Suppose 2*p = -d*p + 3*h + 107, -4*p + 93 = 5*h. Solve -4*a + p - 10 = 0 for a.
3
Let d = 19 - 19. Solve d = 3*q + 3 for q.
-1
Let h be (3 - 0)/(9/12). Let w = h + 0. Solve w*z + 10 = 26 for z.
4
Let j be (-2)/((15/10)/(-3)). Solve -4 - 4 = j*s for s.
-2
Suppose 2*u + 3*s - 24 = -s, -4*s = u - 22. Let p be (-2)/(-4)*(1 - 1). Solve p = -d - u*d for d.
0
Let h = 0 - 0. Suppose h = 3*l - 4*l + 2. Solve l*d = 9 - 1 for d.
4
Let k = -33 + 37. Solve 0*o + k = -4*o for o.
-1
Let k be 2*(15/(-2))/5. Let a be -4*k/24*38. Suppose -a + 2 = 2*c - 5*g, 0 = c + 2*g - 14. Solve 5 = c*u + 1 for u.
1
Suppose -5*b + 20 - 46 = -3*r, 3*b + 12 = 0. Solve r*a + 3*a = 0 for a.
0
Let r(n) = -n**3 + 21*n**2 + 24*n - 33. Let a be r(22). Solve 7*x + 12 = a*x for x.
3
Let i(n) = -n**3 + 3*n**2 - n - 3. Let g be i(3). Let h be 4/g*(-18)/4. Suppose y = h + 2. Solve 5*r = y - 0 for r.
1
Let k(h) be the third derivative of h**5/60 - 5*h**3/6 + 2*h**2. Let v be k(0). Let b = 7 + v. Solve t = -b*t for t.
0
Suppose 0 = 17*t - 22*t - 15, -2*t + 94 = 5*h. Solve -4*m + 8*m = h for m.
5
Suppose 0 = -4*a + 5*t + 26, -a - 2*t = t + 2. Suppose -j + 3*j - a = 0. Let s(h) = -h**3 + 3*h**2 + h - 2. Let i be s(j). Solve q = 3*q + i for q.
-2
Let p = 3 + 1. Suppose 0 = -x + p*x + 12, 0 = 4*d + 2*x. Solve -d = n + n for n.
-1
Suppose 3*l - 8 = c, l = 3*c - 2*l. Solve -c*a + 8 = -0*a for a.
2
Let n be (1/(-3))/((-3)/27). Suppose 0*s - n = -s. Suppose 5*k - 5*y = 5, -5*k + 5*y - 3*y + 2 = 0. Solve k = s*h - h + 8 for h.
-4
Let g = 15 + -9. Solve 2*y - 2 = -g for y.
-2
Suppose -4*d + 21 - 5 = 0. Solve 0*x = -d*x + 20 for x.
5
Let j = 48 - 16. Let t be ((-27)/(-18))/(6/j). Solve 0 = -4*k - 4 - t for k.
-3
Let g = 39 + -27. Solve -6*j = -3*j + g for j.
-4
Let g be ((-2 - -2)/2)/(-2). Let f(l) = -2*l - 5. Let i be f(-5). Solve 15 = i*t - g for t.
3
Let b(v) = v**3 - 2*v**2 + 2*v - 1. Let l be b(1). Let h be l/(0 - (3 + -1)). Suppose -10 = 3*f - 4*j, -19 + 5 = 3*f - 5*j. Solve h = f*p + 2*p - 16 for p.
4
Suppose -5*n + 15 + 5 = 0. 