 z - s for z.
-1
Let q be (-3)/1 - (-18 + 8). Solve -x + 2 = q for x.
-5
Let j(y) = -y - 1. Let m be j(-1). Solve m = 6*u - 3*u for u.
0
Let u be -2 - -2*-2*1. Let w = 1 - u. Suppose 3*n + 5*s + w - 1 = 0, 3 = -3*n - 4*s. Solve -c - n = -0 for c.
-3
Let l be (1 + 0)*(-16)/(-2). Solve -3 + l = n for n.
5
Suppose -2 = 5*l - 7, -2*y - 5*l = -7. Suppose x + y - 3 = 0. Solve -x*q - 3*q - 25 = 0 for q.
-5
Let a = -48 + 52. Solve -3*p = -5 - a for p.
3
Let i(z) be the second derivative of 4*z**3/3 + z**2/2 + z. Let p(v) = 15*v + 2. Let j(n) = 7*i(n) - 4*p(n). Let x be j(-1). Solve a = -x*a for a.
0
Let w(t) = 2*t - 14*t + 3*t + t**3 - 4*t**2 - 5*t**2 - 8. Let l be w(10). Solve -2*s = l*s - 4 for s.
1
Suppose -3*g + 2 = -7. Let f be 0/(0 + 0 + 1). Let y = f - -8. Solve -y*a + g*a = -25 for a.
5
Suppose 2*t = p - 35, p - 4*t - 27 = 18. Suppose 3*n - j + 3*j = 10, -5*j - 17 = -3*n. Solve n*d - p = -d for d.
5
Suppose -s = 4 - 5. Let b(u) = 5*u**3 + 2*u**2 - 2*u + 1. Let o be b(s). Suppose p + 1 = -2*l, -2*p = -2*l + 4*l + o. Solve -v - l + 7 = 0 for v.
5
Let s be (1 - (-2 - -3)) + 4. Suppose -3*v + 5*u - 14 = 0, -s = 3*v + v - 3*u. Solve 0 = -o + 2 + v for o.
4
Let l(z) = z + 2. Let o be l(-2). Suppose 5*k = 4*t - 57, -3*t - t - 3*k + 81 = o. Suppose 5*q - 78 = -t. Solve -5*a - q = 3 for a.
-3
Suppose -26 + 14 = -3*t. Solve -10 = -t*n - n for n.
2
Let d = 7 - 5. Let a be -1*3/((-6)/d). Solve -5 = -3*b + a for b.
2
Let v = 180 - 178. Solve 0 = -q - v - 1 for q.
-3
Let v be 59 - 57 - (0 - (3 + 0)). Solve v*p - 26 + 11 = 0 for p.
3
Let k(u) = 2*u**2 - 28*u + 10. Let f be k(14). Solve -g + f = -6*g for g.
-2
Suppose -25*b = -29*b + 12. Solve 12 = 7*l - b*l for l.
3
Let d be (12/5)/(2/10). Let k be (3/(-2))/((-6)/d). Let j = -19 - -39. Solve 8*y - j = k*y for y.
4
Suppose 0 = 2*i - i. Solve i = -f + 2 - 4 for f.
-2
Suppose 2*q + 3*m = 4*m + 6, -6 = q + 4*m. Let v be 3*(2 + -3) + 9. Suppose -v = p + 3*p - 2*c, -q*p - 4*c + 22 = 0. Solve i + 0*i = p for i.
1
Let s = 82 - 82. Solve 5*f + 15 = -s for f.
-3
Let l be (-6)/4*(-48)/9. Let u(s) = -s**3 + 7*s**2 + 9*s - 3. Let m be u(l). Suppose 5*w = w + 2*p + 8, w = 4*p - m. Solve 5 = w*b - 10 for b.
5
Let w be ((-30)/20)/((-2)/4). Suppose w*n - 3 = -0*n. Let y be n/(-1) + (-5 - -12). Solve -y*f + 25 = -f for f.
5
Let r = 0 - -2. Suppose -16 = 4*h, -2*l + 6*h = 3*h - 20. Suppose 0 = l*k - 2*d + 4, -5*k + 0*k = r*d - 4. Solve 2*y = -k*y for y.
0
Let i = 25 - 20. Solve -i*b = -4*b - 3 for b.
3
Suppose -2*r - r = -9. Suppose -2*s + n + 10 = 0, -5*n + r - 25 = -3*s. Solve s*t = -t - 25 for t.
-5
Suppose g - 25 = -4*g. Let u(b) = b**3 - 5*b**2 + 3. Let w be u(g). Suppose 5*h = -0*h. Solve h*c + w*c = 12 for c.
4
Let q be (-2)/(-9) + 70/9. Let j be 4 + 3 + (2 - q). Solve -i = 3 + j for i.
-4
Suppose -90 = -3*n - 81. Solve 5*l - 8 = n*l for l.
4
Let a be ((-2)/3)/(3/(-45)). Suppose -5*d + 2*f = -21, -3*d + 3*f + 8 = -a. Solve 2*m = d*m + 3 for m.
-3
Let u(p) = -2*p - 7. Let i be u(-5). Solve -2*f - i*f = 0 for f.
0
Suppose -4*z = 3 - 15. Solve 0 = z*y - 7*y - 12 for y.
-3
Let j be 6/15 + 48/30. Suppose j*o = o. Solve 0*k - 3*k + 6 = o for k.
2
Let h(s) = -s**3 + 13*s**2 + 14*s + 2. Let v be h(14). Suppose 0 = -v*j + 7*j. Solve j = 3*t + 10 - 1 for t.
-3
Let c(o) = o**3 + 22*o**2 - 21*o + 49. Let g be c(-23). Solve -5*f = -g + 8 for f.
-1
Suppose 0 = q + 2*q + 3. Let k = -4 + 3. Let w be q/1*-1 + k. Solve w*l = -5*l - 15 for l.
-3
Let t be (24/(-28))/((-1)/7). Let q be (-4)/t - 44/(-12). Solve d + 1 = -q for d.
-4
Suppose -g - 6 + 4 = 2*k, -3*k - 5 = g. Suppose 0 = -g*r + 11 + 1. Solve 8 = -7*o + r*o for o.
-2
Suppose 5*i - 75 = -3*x, 3*i + 2*i - 3*x = 75. Let u = 15 - i. Solve -y + 0*y = u for y.
0
Suppose -2*h + 4*r - 10 = 0, -h - r + 25 = 3*h. Suppose 0 = d - 3*d + 12. Solve d*m = m + h for m.
1
Let o(u) = -3*u - 12. Let l be o(-5). Suppose -5*w = 5*j + 20, 0*w + l*w = 2*j - 12. Solve j = 2*c + 10 for c.
-5
Suppose -3*d = -3*u - 4*d + 1, -5*d - 27 = -u. Solve u*c - 2 = -0*c for c.
1
Suppose -4*k = k + 15. Let d = -3 - k. Suppose 0 = -3*h - d*h. Solve h - 5 = -b for b.
5
Suppose 2 = -4*x + 10. Solve x*o - 3 = -o for o.
1
Let x = 15 + -10. Let q = 17 - -36. Let l be q/11 + (-8)/(-44). Solve x + 5 = -l*s for s.
-2
Let z(n) = 3*n - 9. Let y be z(3). Solve -5*u + 10 = -y*u for u.
2
Let s be 6/3 + 1 + 0. Solve -s*k - k = -8 for k.
2
Let l be ((-15)/6)/((-6)/12). Suppose 2*j + 6 = l*j. Solve -c + j = c for c.
1
Let f be ((-4)/(-7) - -2)*-14. Let l be 9/f*40/(-2). Solve o + 0*o = l for o.
5
Suppose -38 = -2*d - 8. Let y(s) = s**3 - 4*s**2 - s + 4. Let o be y(4). Suppose o = 4*q - 20 - 0. Solve 2*f - q = -d for f.
-5
Let v = 30 + -26. Solve 6*r - v = 2*r for r.
1
Suppose -3 = -k, 0 = -2*l - 3*k + 20 - 7. Suppose 0 = 2*w + w - 3. Suppose d = l*d - w. Solve -y - 3 = -d for y.
-2
Suppose 0 = 24*h - 17*h - 35. Solve 2*w = h*w for w.
0
Let l = 4 - 2. Solve 0*a - l*a = 0 for a.
0
Suppose 0*i = 3*i. Suppose i*s + 14 = 2*s. Solve -s*k = -3*k - 16 for k.
4
Let z(b) = -b**2 + 2. Let u be z(0). Solve u*f - 2 = 2 for f.
2
Let m(c) = -3*c + 6. Let y be m(2). Solve -4*h + 17 - 1 = y for h.
4
Let j be (16/(-96))/((-1)/(-3))*-4. Solve -3*v = -j*v + 2 for v.
-2
Let z(d) = -4*d**3 - 4*d**2 - 4*d + 1. Let w(s) = 9*s**3 + 9*s**2 + 9*s - 3. Let i(b) = -3*w(b) - 7*z(b). Let g be i(0). Solve 0*m - g = -2*m for m.
1
Suppose -5 = 4*p - 21. Solve -p*t = -t + 9 for t.
-3
Let w = 7 + -7. Solve w = d - 2 - 2 for d.
4
Suppose 19 - 7 = -2*y. Let x be (9/y)/(6/(-20)). Solve -4*l = 11 + x for l.
-4
Suppose 4*z = 1 + 7. Suppose -i = -3*u + 4*u + 1, i = -2*u - z. Solve 6*h - 2*h + 20 = i for h.
-5
Let s(z) = z**2 - 2. Let c(w) = -w**3 - w**2 - w + 15. Let j be c(0). Let u be 2/(-5) + 36/j. Let q be s(u). Solve 0*y + 8 = -q*y for y.
-4
Suppose 0 = d - 3*d + 10. Suppose -d*l = c - 13, 4*l = c - 5*c + 20. Suppose 0 = -l*f - 5*y + 21, 2*y - 7 = -f + 2. Solve -3 = f*z - 0*z for z.
-1
Suppose 2*n + 3*n = -310. Let d be n/(-4) - (-4)/8. Solve -3*m - 4 + d = 0 for m.
4
Suppose 13*f - 11 = 119. Solve -p - f = -3*p for p.
5
Let r(m) be the first derivative of m**3/3 - m**2 + 4. Let d be r(0). Solve n - 2 + d = 0 for n.
2
Suppose k + 4 = 2*k. Let l(f) = 1 - 1 + k - 2*f + f. Let u be l(4). Solve -2 = 2*p - u*p for p.
-1
Let f = 6 + -4. Let b be 5/(-25)*0 - 0. Solve 2*i + f*i - 12 = b for i.
3
Let m(t) = -2*t + 7. Let k be m(6). Let u be 4/20 - 34/k. Suppose 0*h = -h + u. Solve -2*o = -h*o + 25 for o.
5
Suppose 3*z = -0 - 3. Let b(r) = 5*r**2 + r. Let u be b(z). Suppose 4*x + 88 = 5*g, u*g - 69 = g - 3*x. Solve 3*m - g = -m for m.
5
Let j = 65 + -59. Solve -4*m - j = 2 for m.
-2
Let d(f) = f**3 - 6*f**2 + 6*f + 1. Let i be d(5). Let l be 0 - 2*i/(-4). Solve 0 = l*m + m for m.
0
Suppose 2*a + 8 = 2*h, -2*a - 4 = -a. Solve 25 = -h*r + 5*r for r.
5
Let r(m) = m**2 - 9*m - 12. Let a be r(11). Let s be (-364)/(-18) - a/45. Solve -s = 3*h + h for h.
-5
Let v = -4 + -1. Let u(f) = -f. Let c be u(v). Suppose -4*b - 5 = -13. Solve c*a - b*a + 6 = 0 for a.
-2
Let w(n) = 4*n**2 - 2. Let k be w(2). Suppose -2*f - 4 = 3*l, -21 = -3*f + 2*l - 1. Suppose -f*d + 94 = k. Solve -q = -5*q + d for q.
5
Let i(p) = p**2 - 7*p - 2. Let j be i(7). Let c be (0 + -3 - j) + 4. Solve 5 = c*q - 10 for q.
5
Suppose -5*x = 4*p - 41, 2*p + 3*p + 4*x - 49 = 0. Suppose -p = 3*k + 3*s, -2*k - 3 = -4*s - 15. Solve k*m + 3*m - 12 = 0 for m.
4
Let i(s) = -3*s - 8. Let t be i(-4). Let p(u) = -u**3 + 5*u**2 - 3*u. Let w be p(t). Solve -w*l - 12 = -0*l for l.
-3
Suppose 0 = -4*y - 34 + 2. Let d = -3 - y. Let h = d + -4. Solve 0 = -3*p + h + 2 for p.
1
Let g be (-1 + (-14)/6)/((-34)/51). Solve 7 = 3*q - g for q.
4
Let x(c) = 3*c - 5. Let d be x(6). Let m = 21 - d. Solve -z = z + m for z.
-4
Suppose -3*z + 7*z = 0. Solve -4*j + 7*j - 9 = z for j.
3
Suppose 0*m + 4*v = -m - 4, 0 = -2*m + 3*v + 3. Solve -2*t - 2 = -m for t.
-1
Let h be ((-3)/(-3) + 0)*-10. Suppose 2*t + 4*f = -9 + 45, 0 = -t + 2*f + 2. Let p be (-4)/h - (-36)/t. Solve -2*z - p = -z for z.
-4
Suppose 0*b + 12*b - 120 = 0. Solve 4*d - b - 10 = 0 for d.
5
Let w be 2/6 + 24/9. Solve -w*a + 3 - 18 = 0 for a.
-5
Let h(k) = 4 + k**3 - 5*k**2 - 6*k + 1 - 3. Let f be h(6). Suppose -3 = -f*i + i. Solve -9 - 3 = i*s for s.
-4
Let i = 9 - 5. Let r = 8 - i. Solv