- 4 = 0. Solve 2*s = -2*s - z for s.
-2
Let q be (-2)/6*1*3. Let k = -1 - q. Suppose 5*j = 3*j. Solve j = -o - k*o - 4 for o.
-4
Suppose -o + 5 = 4. Solve -o - 3 = 2*i for i.
-2
Suppose 5*f = -3*n - 2*n - 15, -2*f - 3*n = 10. Let t(a) = 2 - 3 + a + 4*a. Let p be t(f). Solve -20 = p*q - 0*q for q.
-5
Let v(w) = -w**3 + 3*w**2 + 4*w. Let j be v(4). Let h = j + 2. Suppose -10 + h = -2*f. Solve 1 = 5*g - f for g.
1
Let c = -13 + 20. Suppose -c*v = -10*v + 12. Solve 0 = v*j + 3 + 1 for j.
-1
Suppose o - 3*z = 18, -2*o + 2 = -3*o - z. Suppose -2*x - 2*u + 7 = 3*x, x - o*u - 15 = 0. Suppose -h + x = 1. Solve -h*m = 6 - 0 for m.
-3
Let o be ((-4)/2)/2 + 7. Let k = 2 + -3. Let m = k - -9. Solve m*g = 5*g + o for g.
2
Let n(h) = 2*h - 16. Let a be n(12). Suppose -3*p + a = -4. Solve -p = b - 2*b for b.
4
Let p be (-114)/(-8) - (-27)/36. Let d be ((-24)/p)/((-2)/20). Solve 3*m = -m - d for m.
-4
Let h(l) = l**3 - 14*l**2 - 14*l - 10. Suppose -4*k + 3*t - 87 = -9*k, -2*t = 4*k - 68. Let p be h(k). Solve 0 = n + 1 - p for n.
4
Suppose x - 2 = -y, -4*y - 7*x + 8 = -5*x. Solve i - y*i = 1 for i.
-1
Let o(q) = -q**3 - 3*q**2 - 2*q - 1. Let a be o(-3). Suppose 2*k = 3 + a. Solve -2 = s - k for s.
2
Let g(f) = 3*f - 15. Let s be g(5). Suppose -5*t - 104 - 41 = 0. Let x = 45 + t. Solve s = w - 5*w - x for w.
-4
Suppose 4*z + 3 - 39 = 0. Let q be z/(-6) - 9/(-6). Solve q = -5*g + 2*g - 3 for g.
-1
Let r = -1 - -5. Solve -6 + 2 = -r*l for l.
1
Suppose 0 = s - 4*s - d + 38, 3*d = -5*s + 66. Solve -s = 5*z - 2 for z.
-2
Let k(p) = -2*p**2 + 1. Let o be k(-1). Let h = o + 3. Let c = -2 + 9. Solve -c*n + h*n = 0 for n.
0
Let q be ((-12)/10)/(15/(-50)). Suppose -2*k = -3*k - q, 0 = 4*f + 2*k. Solve 3*w = f*w for w.
0
Let d(x) = -x**3 + 10*x**2 - x + 12. Let r(f) = 11*f**2 + f. Let i be r(-1). Let m be d(i). Solve -6 + m = 4*s for s.
-1
Let d = -13 - -17. Solve -6*l = -2*l + d for l.
-1
Let g(x) = -x**2 + x. Let p = -5 + 6. Let r be g(p). Solve r*j + j = 0 for j.
0
Let g = 5 + -4. Suppose z + g = 8. Suppose -3*u + z = -2*u. Solve -4*m + u = 15 for m.
-2
Suppose -i + 8 = 3*i. Let x = -4 - -14. Let c(z) = z. Let d be c(0). Solve -i*a + d*a = x for a.
-5
Let m(g) = -2 + 0*g - 2*g + 0*g. Let n be m(-3). Suppose 0*f = -n*f. Solve l + 4*l - 25 = f for l.
5
Let y = -16 + 16. Let m be (-1)/2 + 3/(-2). Let h be -3 + (y - m) - -3. Solve -3*f = -4*f - h for f.
-2
Suppose 0 = -4*k + 4. Let o be k*7 - 0/(-7). Solve 0 = -2*a + o + 1 for a.
4
Let f(p) = -p**3 + 10*p**2 - 10*p + 9. Let i be f(9). Suppose i = -5*g + 5 + 5. Solve 0 = 3*b - b - g for b.
1
Let o be 11 - (8 + 1)/3. Let u be 2 + 1 + 3 - 0. Suppose 0 = -u*w + 4*w. Solve -4*l - o = -w*l for l.
-2
Let c be 4 - (1 - -2 - -1). Suppose 2*q + 2 - 12 = 0. Solve b - q = -c*b for b.
5
Let c = 13 + -10. Suppose -31 = -4*n - n + 4*q, c*q + 12 = 0. Solve -5 = n*i + 10 for i.
-5
Suppose j - u + 24 = 0, -j = -3*u + 12 + 4. Let z be 11/4 - 7/j. Solve -z*t + 7*t = 0 for t.
0
Suppose -k + 2*k - 4 = 0. Solve -k = 4*l - 0 for l.
-1
Suppose s = -6*i + 4*i + 8, i - 10 = s. Suppose 3*b = -3*c, 3*c + i = -b - c. Solve 20 = -b*k - 2*k for k.
-5
Let h(r) = -2*r**2 - 70*r + 2. Let w be h(-35). Suppose -o + 20 = 3*o. Solve p + w = o for p.
3
Let a(p) = -p**3 + p**2 + 2*p + 5. Let o be a(0). Solve 6*f - f = -o for f.
-1
Let d be (-2)/7 - (-4)/14. Solve -r + 0 - 2 = d for r.
-2
Let f be (2/10)/(2/10). Let z be ((-21)/9)/(f/(-3)). Suppose 0 = 2*u - 8 - 16. Solve -4*n = -z*n + u for n.
4
Let b(w) = w - 7. Let s be b(12). Suppose s = 2*o - q, 4*o - q - 11 = -0*q. Solve -4*y - 1 = -o*y for y.
-1
Suppose 5*y + 5*h = 45, y + 5 = -2*y + 5*h. Solve -y - 1 = 3*q for q.
-2
Let n = 22 - 19. Solve 6 = -n*m + m for m.
-3
Let y(s) = s - 2. Let r be y(6). Let d(n) = n - 1. Let c be d(r). Let z = 8 - c. Solve 0 = w + 1 - z for w.
4
Let x be (-2 + -6)/((-2)/1). Suppose 0 = x*v - 5*o - 7, 4*v - o + 1 = 2*v. Let s be (v - -2)/(4/2). Solve s = -p - 1 - 0 for p.
-1
Let l = 91 - 62. Suppose -l = -3*h + 31. Solve 0 = 2*c + 2*c + h for c.
-5
Suppose 0 = -4*r - 5*x - 4, -2*r + 2*x = -5*r - 3. Let i = 1 - r. Suppose 0*s = s - i. Solve -1 = -s*q - 3 for q.
-1
Let x(v) = v**3 - 10*v**2 - 10*v - 7. Let f be x(11). Suppose j = -2*l + 8, 0*j + f*j + 2*l - 8 = 0. Solve j = -4*t - t for t.
0
Let z(s) = -s**3 + 7*s**2 + 9*s - 5. Let f be z(8). Solve -3*l = -f - 12 for l.
5
Let w be (4/7)/(20/70). Suppose 3*q - w*v = 27, 3*q - q + 4*v = 2. Solve 3*o = q*o for o.
0
Suppose 0*q + 15 = 5*q. Let a = 18 - 19. Let t = q + a. Solve 4*p - 6 = t for p.
2
Let a(w) = 8*w - 8. Let z(u) = -7*u + 7. Let i(q) = -6*a(q) - 7*z(q). Let o be i(1). Suppose x + x = o. Solve x*b + 4*b = 16 for b.
4
Let u = 31 + -48. Let c = 9 + u. Let m = -5 - c. Solve k = -m*k + 16 for k.
4
Suppose -3*o - o + 128 = 0. Suppose 2*b - 4*g - o = 0, 7 = -3*b - 5*g - 0. Solve 2*a + b = -a for a.
-2
Let h be 8/(-10) - -58*(-1)/(-10). Solve -3*u + h*u = -8 for u.
-4
Suppose -2*o = 10 - 28. Solve o = 4*w + 29 for w.
-5
Suppose 0 = -4*x - 2*a + 40, -4 = -x - 2*a + 6. Solve 3*c - 8*c = -x for c.
2
Let y(v) = v - 9. Let p be y(11). Solve -16 = 2*j + p*j for j.
-4
Let p(j) = 5*j - 15. Let m be p(3). Solve 4*t + 8 = -m for t.
-2
Suppose -8*a = -3 - 13. Solve -2*z - a - 4 = 0 for z.
-3
Suppose 8*y - 21 = y. Solve 0 = g - 2*g - y for g.
-3
Let t = -49 + 52. Solve -t*x + 8 = -4 for x.
4
Let t be (-14)/(-21)*(-18)/(-4). Solve 0 = t*k + 6 + 6 for k.
-4
Let b = -107 + 107. Solve -f = -b*f + 5 for f.
-5
Let i(a) = -3*a - 12. Let b(n) = n + 4. Let x(t) = -11*b(t) - 4*i(t). Let p be x(-2). Solve -2*f - p*f = -16 for f.
4
Let g = 0 + 3. Suppose g*n + 188 = 2*c + 2*c, -2*c + 96 = -n. Let p = -27 + c. Solve -4*h = 7 - p for h.
4
Let f = 106 - 52. Suppose 2*b + 3*o + f = 5*b, 0 = -2*b - o + 39. Suppose 12 = 5*h + 32, -4*h = -s + b. Solve -y = s*y - 16 for y.
4
Let t(y) = -2*y**2 + 5 + y**2 + 0 + 7*y. Let d be (4/(-6))/((-2)/21). Let v be t(d). Solve -m - v = -0 for m.
-5
Suppose 2*g = 4 - 0. Solve g*o = -0*o - 8 for o.
-4
Suppose 2*w - 50 = -8*w. Solve 0 = -0*g + w*g - 15 for g.
3
Let f be 1/(3 - 34/12). Suppose f*w - 14 - 10 = 0. Solve 9*g + 20 = w*g for g.
-4
Suppose -32 = -4*d + 2*q, 7 = 2*d + q - 1. Solve -2*o = -d*o - 4 for o.
-1
Suppose -3*m = 2*y + 5 - 15, -y - m = -5. Solve -y*g = -23 + 3 for g.
4
Suppose 5*f - 4*r + 6 = 0, 0*f + 4*f + 2*r - 16 = 0. Solve 0*d = 2*d - f for d.
1
Suppose -w - r = 5 - 2, 4*r - 2 = 3*w. Let o(m) = m + 4. Let d be o(w). Solve -d*q = 2*q + 8 for q.
-2
Let r(h) = -h**2 - 4*h + 6. Let g be r(-5). Suppose -w - g = -6. Suppose -24 = -w*x + 2*x. Solve -m - x = m for m.
-4
Suppose 0 = -4*g + 2*z - 7 + 25, 2*z = -2*g - 6. Let c = g - 0. Suppose c*h + 3*h = 0. Solve l - 4 = -h for l.
4
Let z = -44 + 46. Solve 0*s - 6 = z*s for s.
-3
Suppose 5 - 3 = r, 4*l - 3*r = 6. Solve -2 = l*j - j for j.
-1
Suppose 3*a - 3 = -3. Solve a = -3*p + p - 6 for p.
-3
Let x = -60 - -62. Solve -2*h - 8 = x*h for h.
-2
Let x be (1 + -4)/((-4)/4). Let o(z) = z + 3. Let f be o(-3). Suppose -1 = l + 4*y, f*y - 4 = 4*y. Solve -l*b = -0*b + x for b.
-1
Let b(v) = -v**3 + 5*v**2 + 3. Let j be b(6). Let k be (-2)/(-6) - 154/j. Solve 0 = k*u - 0*u + 25 for u.
-5
Suppose 0 = 3*c + 5 - 17. Solve -i + c = -0 for i.
4
Let d(q) = -2*q + 10. Let i be d(5). Solve i = r + r for r.
0
Let z(u) = 2*u**2 - 9*u - u**2 - 9 + 20. Let c(k) = -k**3 - 12*k**2 - 11*k + 8. Let h be c(-11). Let q be z(h). Solve 0 = -q*f + 13 - 1 for f.
4
Let q(u) = -4*u**2 - 3*u - 2. Let l(t) = 7*t**2 + 7*t + 3. Let j(b) = 3*l(b) + 5*q(b). Let h be j(-7). Suppose -r = -h*r + 20. Solve -5*v = -r - 1 for v.
1
Suppose 4*f - 1 = 3*l - 0*l, 3 = -3*l + 3*f. Let h = l + 5. Solve 0 = 4*b - h*b for b.
0
Let p = 4 - -2. Solve 4*z + p + 10 = 0 for z.
-4
Let k be (-3 - 1) + (3 - -1). Solve k = x - 3 - 0 for x.
3
Let b(a) = a**3 - 3*a**2 + a + 1. Let c be b(3). Solve 6*v = 2*v + c for v.
1
Suppose -2*k = 5*h - 13, -2*h - 2 = 2*k - 12. Let z = h - 1. Solve -s + z = 3 for s.
-3
Suppose 3*a + k - 11 = -a, -3*a + 22 = -2*k. Suppose q + 3*v - 2 = 0, -a*q - v - 2*v = 1. Let o be q - (0 + -1 + -2). Solve -o*j = -5*j - 15 for j.
-5
Suppose -5 = -14*w + 9*w. Let v be (-24)/(-9) - (-4)/(-6). Let d be (-4)/v + (-4)/(-2). Solve d = -0*c - c + w for c.
1
Let b(c) be the first derivative of c**2/2 - 4*c - 7. Let 