-2*m - 2 + 6 for m.
2
Let s(f) = f**2 + 1. Let c be s(3). Suppose -3*o + c = -2. Solve 0 = -0*n - o*n - 12 for n.
-3
Let a be (-3)/6*2 - -3. Solve -q + a = 6 for q.
-4
Suppose 4*i = 17 + 15. Let m(o) = o - 8. Let q be m(6). Let b = q + i. Solve 2*n + 0*n = b for n.
3
Let g(f) = -f**2 - 2*f + 2. Let x be g(-2). Let h = x - 0. Suppose 21 = h*v + 9. Solve 0 = -0*y - 2*y - v for y.
-3
Suppose -k = k. Let j = k + 3. Let p be j/(-9) - 32/(-6). Solve 0*h = -h - p for h.
-5
Suppose 5 + 23 = 7*c. Solve -c*g + 7 = 3 for g.
1
Let k be 4/16 - 11/(-4). Suppose -z - 1 = r - k, -4*z - 32 = -4*r. Solve r*b = b for b.
0
Let v(r) be the first derivative of r**3/3 - 5*r**2/2 - 6*r + 2. Let g be v(6). Solve 2*a - 2 + 8 = g for a.
-3
Let x be (-380)/(-65) + (-4)/(-26). Let p = -2 + x. Solve -n = -p*n for n.
0
Let z(h) = -h**3 + 12*h**2 + 12*h + 18. Let p be z(13). Solve -4*s = -p*s for s.
0
Let y = -9 - -16. Solve 0 = -2*f + y*f for f.
0
Let h = 3 - 3. Solve h = 4*q + 5 + 3 for q.
-2
Let x(i) = i**2 + i - 10. Let k be x(-4). Solve -k*z - 1 = 1 for z.
-1
Let g = 44 + -41. Solve -2*m + 5 = -g*m for m.
-5
Let b be (-27)/6*(-4)/(-6). Suppose 7 = -z + 2. Let f = b - z. Solve -f*s + 4 = -s for s.
4
Let v = 55 + -51. Solve 0 = -v*x + 2 + 10 for x.
3
Let p(y) = -3*y + 3*y - y. Suppose -2*k + 4*k = -10. Let q be p(k). Solve -15 = -q*c - 0*c for c.
3
Let o = 120 + -120. Solve o = -z - 1 - 2 for z.
-3
Let y = 19 + -13. Solve -y*u + 10*u = -8 for u.
-2
Suppose -1 = -4*z + 15. Solve 4 = 5*x - z*x for x.
4
Suppose 0 = -12*p + 7*p. Solve p*a - 5*a = 5 for a.
-1
Let s = -7 + 24. Let n = s + -17. Solve x + n*x - 3 = 0 for x.
3
Suppose -3*i = -0*i + 36. Let f be (i/(-9))/((-2)/(-18)). Solve h - 4*h = f for h.
-4
Suppose -4*r - 2*x + x + 5 = 0, -7 = -5*r - 2*x. Suppose -w + 5*g = -0*g - 17, -5*w - 3*g = -r. Solve q - 3 = -w for q.
1
Suppose -3*v = 2*v - 390. Let w be (v/4)/(12/16). Solve -5*b - w = -1 for b.
-5
Let g(z) = -z**2 - 3*z + 3. Let l be g(-3). Suppose 2*a - 3 = 3. Suppose -b + 0*v - 2*v - 4 = 0, -3*b = 3*v + a. Solve -l*x + b*x = 3 for x.
-3
Suppose 15 = 3*d - 3*v - 2*v, -15 = -5*v. Let f = d + -2. Solve f = -3*b + b for b.
-4
Suppose 0*q + 3*q - 12 = 0, 2*b + 6 = -3*q. Let x be 0/(-4 - b/3). Solve 6 = 2*n - x*n for n.
3
Let n(a) = 3*a - 2. Let x be (4 - -1) + (-3)/1. Let r be n(x). Solve -r*o - 16 = -4 for o.
-3
Let u = -19 + 22. Solve -9 = -0*d + u*d for d.
-3
Let m(p) = -p**2 + 6*p + 10. Let o be m(8). Let z = 10 + o. Solve -8 - 4 = -z*j for j.
3
Let z be ((-1 + 2)/1)/(25/125). Solve z*b = -0*b for b.
0
Let b(q) = 2*q**2 - 6*q + 5. Let r be b(3). Suppose 0 = 5*d - 25, 2*d + 14 = -6*c + 2*c. Let s(u) = -u + 2. Let o be s(c). Solve -o = r*i + 7 for i.
-3
Suppose -w = -2, -2*g - w + 10 = 4*w. Suppose 4*c - 4 = -4*j, 4*j + g = -5*c + 2. Solve 3*n - 6 + j = 0 for n.
1
Suppose -2*v - 20 = -4*p, 3*p + 4*v = -0*v + 4. Solve i - p = -1 for i.
3
Suppose 3*q + 5 = 3*w + 8, -4*q + 2 = -5*w. Let d(u) = u**2 + u + 1. Let f be d(-1). Let o = f + 4. Solve -w - 8 = o*k for k.
-2
Suppose 2*a + 20 = 2*j + 4*a, -5*a = -10. Solve 3*m = m - j for m.
-4
Let m = -49 + 54. Solve -m*g + 4 = -g for g.
1
Let x be -4 + 8 + 3/1. Let m(j) be the third derivative of j**5/60 - 7*j**4/24 - j**2. Let d be m(x). Solve 4*t = -d - 12 for t.
-3
Let w(y) = 2*y - 3. Let r = -3 - -5. Let f be w(r). Solve 0 = 2*u + 7 + f for u.
-4
Suppose p = -4 - 2. Let u(f) = f**3 + 7*f**2 + 6*f. Let z be u(p). Solve 2*r + 2 + 4 = z for r.
-3
Let w(g) = -g**2 - 6*g - 3. Suppose 0*m + 10 = -2*m. Let f be w(m). Suppose o + f*o = 0. Solve o = -0*t + 2*t for t.
0
Let o be 0/(-3 - 2)*-1. Solve o*b = 4*b - 20 for b.
5
Let x be (3 - (-1 + -2)) + -1. Let r(n) = -n**2 + 4*n + 8. Let z be r(x). Solve -j + z = -0 for j.
3
Let j be (-30)/(-9)*(-6)/(-4). Suppose -2*f - 1 = 3, -j*f + 8 = 3*c. Solve c*q - 3*q = -3 for q.
-1
Let m = 6 - 2. Let n be 6/15 - 2/5. Suppose -4*v = -n*v + m*o - 68, 4*v - 62 = -o. Solve -g = 2*g - v for g.
5
Let u = 7 + -11. Let a be 2*(-22)/u - -2. Solve -33 = 4*n - a for n.
-5
Let r be 180/48*(-4)/(-3). Solve 2*a + r = 3*a for a.
5
Let c = 1 + -5. Let w be (1 + -4 - -7) + c. Solve w*i - 5*i = 10 for i.
-2
Suppose -5*j + 1 = -3*g - 10, g + 2 = 0. Let x(q) = -4*q + q**3 + 5*q + 0 + 4*q**3 - j - q**2. Let r be x(1). Solve -r*b + 6 = 2 for b.
1
Let h(i) = -i**3 - 2*i**2 + 3*i + 4. Let d be h(-3). Solve d = -2*x + 6*x for x.
1
Suppose 4*b - 38 = -3*p + 9, -p - 27 = -4*b. Let z = 8 - b. Solve z = 5*c - c + 20 for c.
-5
Let f be (3/4)/((-2)/(-8)). Solve -4*z = -3*z - f for z.
3
Suppose 2*r = 3*r + 5. Let s = r + 8. Suppose 0 = 3*o - s - 12. Solve 7*i - 2*i + o = 0 for i.
-1
Let m(r) = 5*r - 8. Let i be m(6). Let p = 5 - 2. Suppose 5*q + 4*h - i = 7*h, 0 = -4*q + p*h + 20. Solve 0 + 4 = -q*v for v.
-2
Let d = -10 - 0. Let w = -6 - d. Suppose 0 = 4*s - i + 6*i - 2, 3*i = -2*s. Solve -r + w = -s*r for r.
-2
Let o be (-1 - 0)/(1/(-3)). Solve 4*u - o = 1 for u.
1
Let g(u) = -u**3 - 4*u**2 - u - 4. Let m be g(-4). Suppose m = -4*t - t + 25. Suppose h + 3*p - 30 = -3*h, -5*p = t*h - 40. Solve o - 10 = h*o for o.
-2
Suppose -6*d + d + 20 = 0. Suppose -2*q + 0*q - 44 = 0. Let c = 32 + q. Solve 2*v = d*v + c for v.
-5
Let x(m) = 4*m**2 + m - 1. Let j be x(1). Let q(r) = 2*r**2 - 3*r**2 + 4*r + 7 - 5. Let c be q(4). Solve t = c*t + j for t.
-4
Suppose 0*j + 27 = 3*j. Solve -6 - j = 5*z for z.
-3
Let h(q) = 3*q**3 - q**2 - 2*q - 1. Let d be h(2). Suppose 3*l + 2*l - d = 0. Suppose -l*y - s + 0 = 1, 3*s + 3 = 2*y. Solve -j + y = -3 for j.
3
Let z = -3 + 5. Suppose 2*k = -3*n + 24, 0 = 3*k + z*k + 3*n - 42. Solve -v - v = -k for v.
3
Suppose 44 = 2*q - 6. Suppose -2*j = -4*c + j - 15, -5*j + q = -3*c. Suppose -4*l - 21 = -5*g, 3*l + 2*l - 2*g + 5 = c. Solve -l = -4*a + 7 for a.
2
Suppose -3*m - 25 = 4*z, -5*z - 8 - 24 = 3*m. Let q(v) = -7*v + 5. Let f be q(z). Suppose 4*d + 2*s - f = 0, -3*d - 4*s = d - 60. Solve 2*h = -h + d for h.
4
Let u be (2/(-1) - -2)/(-2). Suppose u*k = 4*k - 2*i - 16, 3*i - 20 = -5*k. Solve -k*d = 10 - 2 for d.
-2
Let x(v) be the second derivative of v**4/12 + 2*v**3/3 + 2*v**2 + v. Let u be x(-4). Solve 0*l + 16 = -u*l for l.
-4
Let f = -305 + 305. Let t be 1 + 1/((-2)/(-4)). Solve f*o + o = -t for o.
-3
Suppose 0 = 5*p + 3 - 18. Solve 1 = p*q + 4 for q.
-1
Let t(p) = p + 2. Let a be t(1). Solve -a = w - 4*w for w.
1
Suppose 5*h = -2*i + 37, 0*h - 1 = -h. Solve 5*w = 4 + i for w.
4
Let u(n) = -n**2 - n + 2. Let a be u(-1). Solve -a*z + 8 = -0*z for z.
4
Let l(u) be the first derivative of 3*u**2/2 - u - 1. Let h be l(2). Solve -h*b = -0*b for b.
0
Suppose -5*l = -l - 8. Solve j - l = 1 for j.
3
Let j be (4/8)/(1/4). Solve j*n = 4*n for n.
0
Let k be (6/5)/((-6)/(-20)). Let h be 4/k - (1 + -3). Solve 2*p - h = -p for p.
1
Let t(f) = -2*f**3 - f**2 - f. Let d be t(-1). Suppose 41 = d*z - 33. Suppose -4*k = 4*h - h - z, -3*k = 2*h - 29. Solve 4 = -3*a + k for a.
3
Let d be ((-5)/(-20))/(5/80). Solve l = -l - d for l.
-2
Suppose 4*c + 4 = 2*f - 0, -5*c = -5*f - 5. Let q(j) = j. Let h(t) = -5*t + 1. Let l(u) = h(u) + 4*q(u). Let k be l(f). Solve -k*p = 13 + 7 for p.
-4
Let q be -5*(2/(-5) + -2). Suppose -q = -4*w + w. Solve -h - 1 = w for h.
-5
Suppose 0*g + 8*g = 0. Solve g = -k + 1 for k.
1
Suppose 0 = 2*u - 9 - 23. Solve -2*c - 2*c - u = 0 for c.
-4
Let b be (2 + 9)*(3 - 2). Let u = -7 + b. Solve 0 = l - 3*l - u for l.
-2
Let n be 6 + 0/(2/(-2)). Let v = 1 - -4. Suppose 0*i - 10 = -v*i. Solve i*g + 12 = n*g for g.
3
Suppose 2*u = u + 14. Solve -5*h - 39 = -u for h.
-5
Suppose t = -t + 4*y - 2, 3*y = 6. Solve 25 = -t*g - 2*g for g.
-5
Suppose 0 = p - 4*p + 15. Suppose 0 = -p*t + 20 - 0. Suppose -2*l = -2*w - 12, 14 = 4*l + t*w - 3*w. Solve -2*y - l = -0*y for y.
-2
Let t be (0/(-2))/(1/(-4 + 5)). Solve -6*o + 4*o - 2 = t for o.
-1
Suppose -4*z + 1 = -3. Solve 0 = 3*d + z + 11 for d.
-4
Let l(n) = -n - 4. Let x be l(-6). Let d be 2*2 + x + -2. Let j = -5 - -5. Solve 0 = o - j*o - d for o.
4
Suppose 5*w = 10*w. Solve k = -w*k - 3 for k.
-3
Let g(j) = 2 - 4 + j - 2*j. Let t be g(-5). Solve -c - t*c = 0 for c.
0
Let a = 6 - -1. Suppose -2*f + f - a = 0. Let i = f - -12. Solve 0 = -v - 4 + i for v.
1
Let w be 12/10*(-20)/(-8). Suppose w*i = -i. Suppose -4*z - z + 30 = i. Solve -z*g - 20 = -2*g for g.
-5
Let l(p)