2 - 3*w + 3. Let x be p(2). Let g = x - 1. Solve f = g*k - 0 for k.
4
Let l(r) = -3*r**2 + 2*r**2 - 3 + 26*r - 31*r. Let g be l(-2). Solve 0 = -g*w + 6 - 3 for w.
1
Let k be 70/(-7) - -1*1. Let z = k + 15. Suppose z*f + 2 = 7*f. Solve -x + 4 = -f*x for x.
-4
Let n be (0 - 1)*(-20)/4. Let q(c) = 2*c**2 - c**2 + n*c**2 + 1 - 2*c. Let g be q(1). Solve 22 = g*o - 3 for o.
5
Let p = 4 - 1. Let f(x) = -x**3 + 4*x**2 - 3*x + 1. Let t be f(p). Solve -t = -z - 3 for z.
-2
Suppose -z + 12 = 5*h, 2*h - 12 = -2*h - 2*z. Suppose 0 = l - h*l. Solve q - 4*q = l for q.
0
Let u(l) be the second derivative of -l**4/12 + l**3/6 + 3*l**2/2 - l. Let z be u(0). Suppose -4*i = -5*a - 6 + 26, z*a - 29 = -i. Solve 0*h + a = 2*h for h.
4
Suppose 20*h - 20 = 18*h. Solve z - 3*z = h for z.
-5
Suppose 0 = 5*r - 4*k - 20, 0 = 3*r - 2*k + 4 - 16. Suppose 2*t - 2*p - r = 0, 3*t + 0*p - 6 = -4*p. Solve 4*h - 10 = -t for h.
2
Let s be (-10)/(-4) + 2/4. Let p = 12 + -8. Suppose 10 = 4*g + 2*i, 0 = -p*g + 2*g + 3*i - 15. Solve g = s*y - 4*y for y.
0
Suppose -5*j - b + 42 = 0, 36 = 3*j - 4*b + b. Solve 4*i = -j - 7 for i.
-4
Suppose 7 = -5*f + 77. Suppose 0 = -2*l - 4, f = z - 2*z - 2*l. Let q = z + 16. Solve 0 = a + q - 1 for a.
-5
Let x = -11 - -15. Let g be 12 + -7 + 2 + 0. Solve g*p + x = 3*p for p.
-1
Let h = -15 - -30. Let j(g) = -g**2 - 3*g + 4. Let w = -8 - -4. Let s be j(w). Solve s = -q + 6*q + h for q.
-3
Suppose -2*o - 8 = -6*o. Solve 0 = -o*l - 0*l for l.
0
Let k = -50 + 52. Solve 0 = k*y - 7*y + 5 for y.
1
Let r be ((0/3)/1)/1. Solve r = -3*h - h + 4 for h.
1
Let j(c) be the first derivative of c**3/3 - c**2/2 - 3*c - 1. Let o be j(3). Suppose p = -o*i - p, 0 = -2*i - 4*p. Solve y + i*y = 0 for y.
0
Let p(q) = q**3 - 5*q**2 - 2*q + 16. Let v be p(5). Solve 20 = -r + v*r for r.
4
Let h(b) = -b**2 - b + 1. Let s be h(-3). Let v(t) = -t**3 - 6*t**2 - 5*t + 5. Let i be v(s). Suppose 0 = i*d - 4*d - 4. Solve -u = d*u for u.
0
Let q(f) be the first derivative of f**3/3 + f**2/2 + f + 6. Let y be q(-2). Solve -y*b + b = 8 for b.
-4
Suppose 4*p - 28 - 72 = 0. Solve -2*c = 3*c + p for c.
-5
Let m be (-2)/(-4) + 17/(-34). Solve 4*q = -m*q - 8 for q.
-2
Suppose -5*m = -2*m - 45. Suppose 0 = -5*q - 0*q + m. Solve q*t = -5 + 2 for t.
-1
Let t = -1 - -1. Let g be 1*(t + (-6)/(-2)). Solve 12 = -6*d + g*d for d.
-4
Suppose -2*r = 4*w + 4, -3*r - 5 = -5*w - 32. Suppose -o + r*p - 1 = -23, -5*o + 47 = p. Solve f - o = -4*f for f.
2
Suppose -5*f + 2 = u - 0, -4*u - 5*f = -23. Suppose 3*h = u*h. Solve h = 2*v + 6 for v.
-3
Let v be 60/6*(-2)/5. Let m = v + 7. Solve -f + 0 = -m for f.
3
Suppose 0 = -4*l + 11 + 5. Suppose j = 0, -l*j = -0*q + 5*q - 5. Solve -z + q - 2 = 0 for z.
-1
Let l(d) = d**3 - 8*d**2 + 17*d - 7. Let n be l(5). Solve -n = 6*i - 5*i for i.
-3
Suppose 2*r + 0 - 3 = -l, -4*l - 3 = 3*r. Solve 2*x - 1 + r = 0 for x.
-1
Let a(c) be the second derivative of -c**5/20 - c**4/4 + c**3/2 + c**2/2 + 2*c. Let w be a(-4). Let n = -2 + w. Solve -n*k + k + 4 = 0 for k.
2
Suppose 5*w - 4*w = 0. Solve w*s - 1 = -s for s.
1
Suppose -4*f + u = -1 - 14, -3*u = -f + 1. Solve v - f = -v for v.
2
Let d(f) = f - 3. Let q be d(7). Let l be q/(2 - 16/10). Solve t = 3*t - l for t.
5
Let m(h) = 2*h**3 + h**3 - h**2 - 6*h**3. Let o be m(-1). Solve 6 + o = -2*r for r.
-4
Let n be 3/18 + (-92)/(-24). Let x = 0 + 5. Solve -1 + x = n*y for y.
1
Suppose -5*v = -2*v + 15. Let y be (-2)/2 - (v + 0). Solve 0 = y*g - g for g.
0
Suppose 8*f - 11*f + 21 = 0. Solve -i + 3 - f = 0 for i.
-4
Let w(q) be the third derivative of -7*q**4/24 - q**3 - 2*q**2. Let m be w(-3). Solve 0 = 8*j - 3*j + m for j.
-3
Let q = 2 - 1. Solve 0 = -2*k + 1 + q for k.
1
Suppose 2 + 1 = o. Suppose -o*u = -14 - 10. Solve t + t + u = 0 for t.
-4
Suppose 27*d + 20 = 32*d. Solve -d*o - 25 = o for o.
-5
Suppose 21 = 5*v - 2*w, 0*w = -4*v - 2*w + 6. Solve a - 6 = v*a for a.
-3
Let l = 21 - 0. Solve l = -4*w + 5 for w.
-4
Let q be 18/5 - (-4)/10. Let m be 0 + q + (-2 - -2). Suppose -3*u + 5*i = -27, 0 = -m*u - i + 14 - 1. Solve 6 + u = -5*p for p.
-2
Let u(n) = -2*n + 16. Let r be u(6). Solve -2*x + 2 = -r for x.
3
Let b be ((-10)/4)/((-1)/18). Let n = b - 26. Let f(c) = -c**3 - 2*c**2 - c - 1. Let h be f(-2). Solve n = 4*l - h for l.
5
Suppose -3*t + o - 5 = 0, 0*t - 2*t + 3*o = 15. Let m be -3*(t + (-4)/3). Solve 0 = -0*b + m*b + 8 for b.
-2
Suppose n - s = -2*s + 5, 3*n + 5*s - 25 = 0. Let q = -14 + 16. Solve n = -4*p + q*p + 2 for p.
1
Let q(i) = -i**3 - i**2 - i + 3. Let g be q(1). Solve g = -t - 0 + 2 for t.
2
Suppose 4*k = -n - 0*n + 17, 2*k = -2*n + 10. Let q = 1 - n. Let o be ((-8)/(-1))/2 + q. Solve 0 = -4*c + 8 + o for c.
3
Suppose -9*f - 57 = -12*f. Let l = f + -13. Solve 4*o - 14 = l for o.
5
Suppose -3*y = 2*y - 20. Suppose y*s - 55 + 15 = 0. Solve s = -2*h + 4*h for h.
5
Let y be 0 + 4 + 42/2. Solve -5*v - y = -0*v for v.
-5
Let m = -18 + 22. Solve -m*q + 0*q - 20 = 0 for q.
-5
Let x(s) = -s - 5. Let a be x(-8). Suppose 0 = 4*b - a*b - 3. Solve b - 19 = 4*q for q.
-4
Let i(d) = -4*d. Let u be i(-1). Suppose -q + 2*v + 28 = 2*q, -14 = q + u*v. Solve q + 9 = 3*f for f.
5
Let a = -88 - -88. Solve a = 4*x + 1 + 3 for x.
-1
Let u = -1 - -1. Let s(d) = d**2 - 4*d - 1. Let z be s(5). Suppose -z*w + 10 = -2*w. Solve u*y - y = -w for y.
5
Let h(k) be the first derivative of -5*k**2/2 - 2. Let u be h(-2). Suppose -6 = -m - 3*a, -3*a - 12 = -5*m - 0*a. Solve 2*y - u = -m*y for y.
2
Let o(m) = m - 4. Let q be o(6). Let z(k) = 1 + q*k - 9*k**3 - 2*k - 2*k**2. Let c be z(-1). Solve 5*d - c = -28 for d.
-4
Suppose -8*t = -11*t + 33. Solve 5*b = -1 + t for b.
2
Let d(w) = -5*w - 29. Let t be d(-6). Solve -v = t + 3 for v.
-4
Let c be (10/(-4))/(1/(-2)). Suppose -5*v - c = -5*r, -6*v = -3*v + 2*r - 2. Suppose 3*s = -2*s + 2*i + 42, -4*s - 4*i = -28. Solve 4*m - s = -v*m for m.
2
Let k(x) = 4*x**3 + 2*x**2 + 2*x + 1. Let v(g) = 3 - 3 + g**3. Let j(o) = -k(o) + v(o). Let q be j(-1). Solve q - 10 = 2*d for d.
-4
Suppose -3*m + 29 = -10. Suppose 3*l = 4*x - 18, 2*x - 16 = -0*x + 5*l. Solve x*z - 1 + m = 0 for z.
-4
Let a = 14 + -11. Suppose o - 8 = -a*o. Solve -3*f = o*f for f.
0
Suppose 3*b - 250 + 49 = 0. Suppose b = 3*z + q, 1 = -q + 2*q. Suppose 4*o + u = z, -4*u + 8 = -0. Solve o*d - 9 = 2*d for d.
3
Suppose 19 = 8*r - 13. Solve 12 = r*a - a for a.
4
Suppose 5*s - 18 - 12 = 0. Let g(v) = -v + 1. Let q be g(-4). Solve p - q = s*p for p.
-1
Suppose -3*c + 6 = z, 0*z - 6 = 2*z. Suppose 0 = c*w + w - 80. Solve -3*s + w = 5 for s.
5
Let l = 3 - 1. Let s be (-5)/l*(4 - 6). Solve -v + s = -0 for v.
5
Let q = 7 - 1. Suppose -2*m + 4*m - q = 0. Solve -d = -m*d + 8 for d.
4
Let k be -2*(-3)/2 + -3. Solve k = 4*r - 9*r - 25 for r.
-5
Suppose 0 = 27*m - 28*m + 5. Solve -m*f + f = 0 for f.
0
Let k = -27 + 27. Solve k = -2*m - 4 for m.
-2
Suppose 2*k = -3*k. Let v be (-2 - k)/((-2)/4). Solve -v*u = 1 + 3 for u.
-1
Let f be 4/5*(-175)/(-10). Solve f + 6 = 5*o for o.
4
Suppose 4*g = 5*m - 8, -4 - 4 = 4*g. Let b(o) = -o**3 + o**2 - o + 2. Let x be b(m). Let u(t) = -t. Let c be u(-3). Solve -c*k + x*k = 4 for k.
-4
Let u = 9 - 5. Suppose 2*c + 2*r + r - 13 = 0, -u*c + 37 = -5*r. Suppose -2*z + 0*z = -c. Solve z + 4 = 2*q for q.
4
Let f = -8 - -11. Let n = -3 + f. Solve -4*a + 2*a + 4 = n for a.
2
Suppose 2*j - 2 = 4. Let u = 1 + 3. Solve k + j = u*k for k.
1
Suppose j - 2*j = -60. Suppose -l - j = -6*l. Suppose -5*v + 15 + l = u, -2*v = u - 12. Solve -i = 2 + u for i.
-4
Suppose 3*q - 2*h = -26, -2*q - 2*q - 63 = 3*h. Let j = 3 - q. Suppose -5*n + 10 = -j. Solve n*m = 7 - 22 for m.
-3
Let y = 33 - 18. Let q(x) = -4*x - 23. Let m be q(-8). Solve -4*d + m*d = -y for d.
-3
Let i(o) = o - 7. Let v be i(10). Suppose 2*n + v*t - 6 = 0, 0 = 4*n - 5*n - 2*t + 4. Solve 9 + n = -3*h for h.
-3
Let z = 19 + -27. Let o(t) = t**3 + 7*t**2 - 7*t + 10. Let c be o(z). Solve -c*g + 0 = 2 for g.
-1
Let v = -6 - -14. Let h(l) = -l + 10. Let o be h(v). Let m = 5 - 1. Solve m*i + o = 5*i for i.
2
Suppose -4*u + u + 60 = 0. Solve -u = -0*q + 4*q for q.
-5
Let n(l) = l**2 + 9*l + 10. Let b be n(-8). Solve -7*o + b*o = -20 for o.
4
Suppose 3*p + 2*p - 4*p = 0. Solve 2 + p = -2*k for k.
-1
Suppose 22 = -4*d + 42. Solve -8*c = -3*c - d for c.
1
Suppose -7*p + 14 + 7 = 0. Solve 