-z - 12 = j*z for z.
-4
Let x(h) = -h**2 + 10*h + 25. Let k be x(12). Solve -14 = 3*j + k for j.
-5
Let i be (-2)/1*3/(-6). Let v = 3 - i. Solve -4*x + 14 = -v for x.
4
Let b(z) = -z + 9. Let g be b(6). Suppose 4*f - g = f + 4*s, 2*s + 2 = 2*f. Solve -2*w = -7 - f for w.
4
Let d(u) = -u**3 - 8*u**2 + 9*u + 6. Let p be d(-9). Suppose -6*x + 9*x - p = 0. Solve x = 3*f - f for f.
1
Let t be ((-2)/(-4))/(3/12). Let w = 7 + t. Let b be (66/w)/((-2)/(-3)). Solve 1 - b = -2*y for y.
5
Suppose 5*l = -3*z + 32, -l - 3*l = z - 20. Solve -2*v = -l*v for v.
0
Suppose 2*y = -3*q + 4, 2*q - y + 2 = 4*q. Let t be (q - 0) + (-9 - -9). Solve -z - 2*z - 6 = t for z.
-2
Let a be (51/(-9) - -4)/(3/(-9)). Solve -3 = -a*r - 8 for r.
-1
Let q = 11 - 8. Suppose -3*d + 43 = -2. Suppose -b + 3*o = -d, -5*b = 2*o - 0*o - 24. Solve -z + b = -q*z for z.
-3
Let i(h) = 2*h + 18. Let f be i(-8). Suppose -6 - 6 = -f*r. Solve 2*z = -z + r for z.
2
Let y(g) = -g**2 + 10*g + 3. Let d = -1 + 11. Let a be y(d). Solve 0 = -2*f - a - 7 for f.
-5
Let q(n) = n**3 + 12*n**2 + 5. Let f be q(-12). Suppose x + 4*z = -f, 7*x - 2*x - 4*z - 23 = 0. Suppose -x*v + v = 0. Solve 3*w + v - 6 = 0 for w.
2
Let d = 54 - 51. Let c(q) = 18*q - 1. Let a be c(2). Suppose 4*z = 23 - 7, 0 = -3*i - 5*z + a. Solve d*n - i = 7 for n.
4
Let h be (-4)/6*(-48)/8. Suppose -h*f = -2*l - 15 + 3, 2*f + 6 = -5*l. Solve -f*y + 0 = -2 for y.
1
Suppose -5*v = 20, l - v = 11 - 4. Suppose 3*i + 3 = -3*b, 2*b + 1 = 7*b + l*i. Solve -b = u + u for u.
-1
Let w = 64 - 40. Suppose 4 - w = -5*v. Let x = 5 + -1. Solve -x = -v*a + 6*a for a.
-2
Let y(o) = o**3 - 6*o**2 + 2*o - 8. Let u be y(6). Solve 1 = -5*f - u for f.
-1
Let z be 10/3 - (-12)/18. Solve z = 2*l - l for l.
4
Let p(v) = -v - 1. Let r be p(-3). Solve r*l = 6*l - 8 for l.
2
Let s(d) = 3*d**2 + 3*d - 2. Let x(l) = -1 - 4 + 6*l + 0 + l**2. Let c be x(-7). Let q be s(c). Solve -5*b + b - q = 0 for b.
-4
Let l = 37 - 17. Solve -4*j + 0*j = -l for j.
5
Let b(s) = s**2 - s + 2. Suppose 13*x - 15*x + 4 = 0. Let h be b(x). Solve -j + h = -0*j for j.
4
Suppose 2 + 4 = r. Suppose 34 = 4*a + r. Solve a*f = 4*f for f.
0
Let t be (-1)/(-4 + 3) - 1. Let y = -4 - -32. Suppose -2*s - 2 = 2*b - y, -9 = -b - 3*s. Solve t = 5*o - 0*o - b for o.
3
Suppose w - 3*r - 4 = 0, -r = -5*w - 5*r + 1. Suppose -2*a + 3 = -w. Solve -3 = a*k - k for k.
-3
Let a(l) = -5*l**3 + 2*l**2 - 2*l - 5. Let v(c) = 6*c**3 - 3*c**2 + 3*c + 6. Let u(k) = -5*a(k) - 4*v(k). Let o be u(1). Solve o*x = -0 + 6 for x.
3
Let n(q) = q**3 - 7*q**2 + 7*q - 1. Let h be n(6). Solve 0*i - 20 = -h*i for i.
4
Let f = 2 + -3. Let l(h) = -8*h**3 - 2*h**2 + 1. Let j be l(f). Let z(t) = t**2 - 7*t + 5. Let x be z(j). Solve x*b - 2*b = -6 for b.
-2
Let k be 2/(-13) + (-1264)/(-104). Suppose -k = -10*b + 4*b. Solve b*r - 5*r = -3 for r.
1
Suppose -2*x + 20 = 3*d - x, d - 4*x = -2. Let m be (-2 + 4/d)*-3. Let q = m - 1. Solve -10 = -q*l + 5 for l.
5
Let c = -40 + 46. Solve 2*s - 5*s = c for s.
-2
Let t be (8/(-12))/((-4)/30). Suppose -t*p + 2*g + 13 = -2, -p = -2*g + 5. Solve p*r + 3 = 13 for r.
2
Let b be (10 + (2 - 2))/2. Suppose 0*j - 5*j = -20, 40 = 5*v - b*j. Solve 6*s = 3*s + v for s.
4
Let i(d) = -d**3 + 3*d**2 + 4. Suppose 0 = 4*x - 19 + 7. Let p be i(x). Suppose 2*k + 3*k = 10. Solve -2*s = k*s - p for s.
1
Let r(a) = 2*a**2 - 4*a - 3. Let t be r(5). Let k(w) = w**3 + 12*w**2 + 9*w - 15. Let f be k(-11). Solve 4*p - t + f = 0 for p.
5
Suppose 3*v = 2*w - 0 + 1, 3*v - 3*w + 3 = 0. Solve 5*y + v = -12 for y.
-3
Let u = 125 - 125. Solve u*r - r = 0 for r.
0
Suppose 2*k - 12 = -4*k. Suppose -v - 8 = -k*s, -5*s + 30 - 10 = 2*v. Solve s*a = -0*a for a.
0
Let g = 62 + -42. Solve -4*h - h + g = 0 for h.
4
Suppose 5*z - 4*x - 72 = 0, 2*z - x - 2 - 25 = 0. Let q = z + -12. Solve l + q*l = 2 for l.
2
Let z(p) = -p**2 + 1 + 0 + 0*p**2 + 3*p. Let d be z(3). Solve -3*j = 2 + d for j.
-1
Let x be (0*(-5)/(-20))/(-1). Solve 5 = -x*w - 5*w for w.
-1
Suppose -2*s + 32 = 3*t, 2*s + 0*s = 3*t - 28. Solve p + p + t = 0 for p.
-5
Let a be 6/10 - (-36)/15. Suppose -i - 4*i = z + 5, -2*z - a*i = 3. Solve z*d - d = 3 for d.
-3
Suppose 3 = -5*x + 13. Let b(g) = g + 4. Let j be b(-7). Let w be (-6)/3 - (1 + j). Solve -2*s - x = -w for s.
-1
Suppose 0 = 4*m - m - 15. Solve -2*r = -m - 5 for r.
5
Let d(i) = 3*i - 38. Let s(u) = u - 13. Let t(w) = -4*d(w) + 11*s(w). Let x be t(9). Solve 0*m - 3*m - 12 = x for m.
-4
Let g(a) = 7*a**2 - a. Let s be g(1). Suppose r = s*r. Solve r = -b - b + 2 for b.
1
Let i = 7 - 3. Solve -x - i*x = 10 for x.
-2
Let l(c) = 2*c - 4. Let o(j) = 3*j - 8. Let g(b) = -5*l(b) + 3*o(b). Let i be g(-6). Solve -i*n - 25 = 3*n for n.
-5
Suppose 0 = 3*z + 6, 4*i - 14 = 3*z + 2*z. Solve 2*m + i + 7 = 0 for m.
-4
Let i be (4 - 0)*10/(-8). Suppose -3*t - 5*j = -7*t - 36, 2*t = -j - 4. Let u = t - i. Solve 0 = 2*s - u - 3 for s.
2
Suppose -20*n + 49 - 9 = 0. Let s = 1 + -1. Solve -n = -s*d + d for d.
-2
Let h(a) = a**3 + 15*a**2 + 13*a + 6. Let b be h(-14). Solve -t = -6*t - b for t.
-4
Let h = -154 + 154. Solve h*j = j for j.
0
Let v(s) = -2*s + 3. Let n be v(6). Let u = n - -9. Solve u = -2*l + 2 for l.
1
Suppose 0 = 6*u - 0*u - 24. Solve n = -u*n - 15 for n.
-3
Suppose -1 = -5*z + 19. Suppose -v - z = -3*v. Solve v*m + m = -12 for m.
-4
Suppose 25 = -6*x + x. Let y(j) = -j**3 - 5*j**2 + 3. Let u be y(x). Solve c - u = 4*c for c.
-1
Let u be (-46)/(-14) + (-6)/21. Solve -u*m = 2*m for m.
0
Let k = 25 + -21. Solve -k*j = 1 + 15 for j.
-4
Suppose -5*t + 20 = -5*n, -4 = -0*n - 2*n - t. Let d(w) = 13*w**2 - 1. Let l be d(1). Suppose -5*b + 5 = -4*b - x, 2*b - 3*x = 11. Solve n*y - l = -b*y for y.
3
Suppose -m + 5*f = -4*m + 51, 4*m - 5*f - 33 = 0. Suppose -5*b = n - 24, m - 4 = -2*n + 4*b. Solve 2*h - n = -0*h for h.
2
Let i(a) = -a + 9. Let n be i(7). Suppose -n + 1 = -g. Solve -g = -2*k - 11 for k.
-5
Let j = -36 + 51. Solve j + 5 = -4*g for g.
-5
Let b(t) = t**2 + 9*t - 4*t - 7*t - 3. Let j be b(3). Solve c - 3 - 1 = j for c.
4
Let y(w) = w**2 + 4*w + 2. Let t be y(-4). Solve -t*i - 15 = i for i.
-5
Suppose 2*z = 0, 7*z - 2*z = -3*g. Suppose g = -d + 4*n + 10 + 12, -5*d + 25 = -3*n. Solve 3 = d*t + 1 for t.
1
Let q = 4 + -2. Suppose -3*l - 11 = -4*x + 4, x + l = q. Solve z - 4 = x*z for z.
-2
Suppose 0*m + 4*m - 96 = 0. Let l be (-1)/2*m/(-3). Let j = 4 - l. Solve 0 = -2*t + 2 - j for t.
1
Let u be 4/(-18) - 194/18. Let n = u - -15. Solve 0 = p - n*p + 12 for p.
4
Suppose -4*o + 0*o + 12 = 0. Let t(p) = p**3 + 2*p**2 - 3*p. Let g be t(2). Suppose -2*x + g = -0*x. Solve -o*j + 1 = -x for j.
2
Let m(t) = -t**3 + 6*t**2 - 6*t + 5. Let i be m(5). Suppose 0 = -i*x - x. Solve b + x*b = 0 for b.
0
Let k = -2 + -8. Let a be (6/9)/(k/(-15)). Solve 2*d - a = -7 for d.
-3
Suppose 10 + 5 = -3*l, -5*i + l - 15 = 0. Let n = i - -7. Solve -z + n*z = 0 for z.
0
Let l be 76/28 + 4/14. Solve 1 = -2*m - l for m.
-2
Let u(v) be the first derivative of -5*v**3 - 63*v - 1. Let o(y) = 7*y**2 + 31. Let l(k) = 13*o(k) + 6*u(k). Let w be l(0). Solve -t = -6*t - w for t.
-5
Let b = 82 + -79. Solve -2*l = -b - 3 for l.
3
Suppose 0 = -2*o + 12. Let d be 0/(4/o*-3). Solve d*k = k for k.
0
Let h(o) = -o**2 + 9*o + 2. Let j be h(10). Let r = 13 + j. Solve -r*l - 29 = -9 for l.
-4
Let j(a) = -3*a + 2. Let u be j(-3). Let w = u + -10. Solve w = -z + 2 for z.
1
Suppose -q = -a + 16, 2*a + 2*a + q - 44 = 0. Let j = a - 8. Solve 6 = j*x + 14 for x.
-2
Suppose -2*b + 2*i + 14 = 0, 3*i - 2 = 5*i. Solve 4*o = 6 + b for o.
3
Suppose -f = 2*f - 12. Suppose 0*u - a = -2*u + 17, a + 31 = f*u. Let v(i) = i**2 - 5*i - 5. Let y be v(u). Solve 6 + y = -5*c for c.
-3
Let t = -5 - -10. Suppose k - 4 = 0, -x - t*k + 20 = 3*x. Solve x = l - 3 + 1 for l.
2
Let q be 1/(2 + (-39)/20). Let l = q - 8. Suppose 0*y - 2*y + l = 0. Solve y*v - 12 = 3*v for v.
4
Let m(c) be the first derivative of -7/2*c**2 - 2 - 2*c. Let u be m(-2). Solve 0*a + 3*a = u for a.
4
Let i = -10 + 14. Suppose 4*f = 2*f + y - i, -2*y = -8. Solve 4*n - n - 9 = f for n.
3
Let p be ((-108)/(-63))/(27/21 - 1). Solve 0 = -3*r + p*r for r.
0
Suppose 3*a = 4*q + 25, 2*a - 7*a = 4*q + 1. Suppose 0 = l - 1 - a. Solve 0 = 4*f - l - 0 for f.
1
Suppose 3*r - 9 = 2*a - 3, 4 = 5*a + 2*r. Suppose -i + 3 = -a. Suppose i*n - n =