. Solve z*s - s = 4 for s.
4
Suppose -8 = 28*a - 176. Solve -a*y + 15*y = 0 for y.
0
Suppose 14 = 4*k + 2*u, -2*k + 0*u = 3*u - 5. Let m be (-74)/(-14) + 4/(-14). Suppose -m*s - 4*d + 30 = 0, 4*d - 10 = 2*s - 50. Solve k*j - 6 = s for j.
4
Let o(k) = k**2 + 7*k. Suppose -15*m = -13*m + 12. Let n be (-21)/m*(-2 - 0). Let a be o(n). Solve -t + 3 = -a*t for t.
3
Let h be (2 + 1)*6 - 3. Suppose 575 - 510 = 13*p. Solve -p*m + 2*m = h for m.
-5
Let z(d) = -3*d**2 - 3 + 4*d**2 + 8*d - 1 + 11. Let m be z(-7). Solve 0 = -m*u - 2*u + 2 for u.
1
Let y be ((-66)/18)/((-3)/9). Suppose 16*h - y*h = 15. Solve l + 5 = h for l.
-2
Let h(t) = t**2 - 3*t + 3. Let p be (-6 - -5)/(-1*1). Let c be h(p). Let i = 6 - 4. Solve i = r - c for r.
3
Let k(q) = 2*q**2 - 4*q + 3. Let t be k(5). Suppose t = -2*b - 3. Let z be (-184)/b + 2/(-9). Solve 0*l - z = -5*l for l.
2
Suppose h - 10 = -2*n, 0*n + 45 = 2*h - n. Suppose -3 + 3 = -6*s. Suppose s = y + 4 - 7. Solve y*q = -2*q + h for q.
4
Let z(f) = -10*f + 206. Let v be z(19). Solve v*p - 6*p = 40 for p.
4
Suppose 53*v + 284 = 708. Solve v = 2*x + 2*x for x.
2
Suppose 3*o - 8 = -2. Let i(h) = -h**3 + 7*h**2 - 7*h + 6. Let c be i(6). Suppose 3*f = 3, -5*k + 2*f + c*f = -13. Solve 4 = -k*t - o for t.
-2
Let a be 12/(-39)*247/(-38). Solve -3*b = a*b + 15 for b.
-3
Let r(l) be the second derivative of l**5/20 + 7*l**4/12 - l**3/6 + 5*l**2/2 - 4*l. Let u be r(-7). Suppose u = -0*q + 3*q. Solve -q*o = -7 - 1 for o.
2
Suppose 5*z + 0*p - p = 305, 3*z = -3*p + 165. Suppose -5*n + z = -n. Suppose -11*o + n = -8*o. Solve o*b - 4*b = 5 for b.
5
Suppose 0 = 3*t - 2*s - 68, -5*s = -3*t + 36 + 17. Solve 6*f = -t + 14 for f.
-2
Let g(o) = 11*o + 48. Let j be g(-4). Solve 33 = j*d + 21 for d.
3
Let k = 149 - 149. Let c(g) = -g**3 + 7*g**2 + 7*g + 12. Let i be c(8). Solve k*x - i = -x for x.
4
Suppose -4*h = t - 2*t - 11, -3*h + 2*t + 12 = 0. Solve 5*l = 8 + h for l.
2
Let u(r) = -2*r**2 - 17*r - 17. Let i be u(-7). Solve 5 - 5 = -i*c for c.
0
Suppose -7 = -3*a + 2. Let i(z) = -z**2 + 11*z - 9. Let c be i(9). Suppose a = -3*v + c. Solve 3*d - 10 = -v*d for d.
2
Let p be 8 + 2 + -5 + -5. Solve 15*z - 16*z - 1 = p for z.
-1
Suppose i - 19 = -9. Suppose -3*s - 1 = -i. Solve -v = s*v + 8 for v.
-2
Let d(a) = 6*a. Let m be d(2). Solve -20 = -m*g + 8*g for g.
5
Suppose -2 - 2 = 3*h - 2*v, -2*v = -h - 8. Suppose -h*n = 1 - 11. Let g be (-61)/(-5) - 11/55. Solve g = -n*f + f for f.
-3
Let v(t) = t**3 + 7*t**2 + t + 4. Let o be v(-7). Let m(r) = r + 3. Let s be m(o). Solve s = -x - x for x.
0
Let o = 0 - -29. Let m = 34 - o. Solve m*r - 15 + 5 = 0 for r.
2
Let s(j) = -j**2 - j + 3. Let q be s(0). Suppose -t - 4 = -5. Let o be (q/(-4))/(t/(-4)). Solve -1 = 2*d - o for d.
1
Let s be 0/(((-5)/(-10))/(2/(-12))). Solve -2*x = -s*x for x.
0
Let v be (-3 - 0) + -6*477/(-27). Solve -v = 4*u - 107 for u.
1
Let y = 60 + -102. Let w = -59 - y. Let n = -13 - w. Solve 0 = n*z - 3 - 1 for z.
1
Suppose -i + 15 - 57 = 0. Let m = i - -62. Solve 0 = -z + 5*z + m for z.
-5
Suppose 5*l + 24 = 5*n - 31, -2*n = -l - 22. Suppose 0 = 3*h - n*h + 16. Solve -h = -f - f for f.
1
Suppose 2*x - 9*x - x = 0. Solve x = 145*y - 143*y + 6 for y.
-3
Suppose 0 = -4*c - z + 20, -c - 5*z - 20 = -5*c. Solve c*h + 6 = 11*h for h.
1
Let g be (-180)/(-13) - 6/(-39). Let j(r) = -12 + 3*r + g - 2*r. Let l be j(6). Solve 0 = 4*k + l for k.
-2
Let u(n) = 3*n**2 - 78*n + 87. Let w be u(25). Solve 0 = -w*l - 5*l for l.
0
Suppose 9*h - 4*h = -170. Let q = h + 28. Let k be (-3 - q)*(-4)/(-6). Solve 4 - 2 = k*m for m.
1
Suppose -26 = -3*k - 2. Let y = -6 + k. Suppose -7*b = -9*b - x + 35, 0 = -4*x - 20. Solve b = 7*r - y*r for r.
4
Let t be (-84)/(-105)*5/2. Suppose 0 = 4*l - 6 - t. Solve l*x - 16 = 6*x for x.
-4
Suppose s - 9 = -2*g - 0, 0 = -5*g - s + 15. Solve -m = -g*m + 1 for m.
1
Suppose 0 = -n + 1 + 1. Suppose -12 = -n*d - 2*d. Let o be (d - 1)/(3 - 1). Solve y + o = -4 for y.
-5
Suppose -54*y + 53*y + 2 = 0. Solve -y*a = -5 - 3 for a.
4
Let b = 10 - 10. Suppose p - 3*p + 2 = b. Solve -o + 5 = p for o.
4
Suppose 4 = -6*c + 4*c, -2*c + 6 = 5*o. Let k(l) = 107 - 5*l**2 - l**3 - 5*l - 110 + 0*l**3. Let t be k(-4). Solve b - o = -t for b.
1
Let p(v) = v**2 + v + 10. Suppose -6*m = -2*m. Let s be p(m). Solve -s = -3*i - 1 for i.
3
Suppose 3*o - 2*v = -8, 2*o + 5*v - 20 + 0 = 0. Solve o = 2*b - 6*b + 8 for b.
2
Let q be 0 + 3 + 1 + -3. Suppose 3*j - q = -0*m - 4*m, 0 = 4*m + 2*j - 6. Suppose -2*c - c - 11 = -4*k, -m*k + 8 = -4*c. Solve -k*i = -4*i - 4 for i.
4
Suppose 7 = 3*v + 4. Let y = 6 - v. Suppose 7*j = y*j + 8. Solve 0 = 2*q - 6*q - j for q.
-1
Let i(x) = x**3 - 7*x**2 + 6*x + 4. Let o be i(6). Let k = -165 + 165. Suppose -w - o*w = k. Solve -5 = -w*b + b for b.
-5
Suppose j - 47 - 57 = 5*o, 3 = 3*o. Suppose -j + 329 = 11*h. Solve -v + h = -6*v for v.
-4
Suppose 0 = 2*c + 3*x - 2, 2*c - c = -5*x + 1. Let k(w) = 4*w**2 - 3*w + 1. Let n be k(c). Solve n*v = 3*v + 5 for v.
-5
Suppose -10*x + 11*x = 8. Solve 10*v = x*v + 6 for v.
3
Let r = -228 - -238. Solve 0 = 4*x + r - 26 for x.
4
Suppose 3*q - 2*o + 4 = 0, -q + 4*o - 8 = 2*q. Solve q = 3*s - 5*s + 2 for s.
1
Suppose 5*c + 26 = q, -5*q - 5*c + 3 = -7. Solve -15 = 3*p - q for p.
-3
Suppose 0 = 49*u - 51*u. Solve u = -4*t + 15 - 27 for t.
-3
Suppose 5*q + 408 - 123 = 0. Let k = -55 - q. Solve -k*a - 3 = -a for a.
-3
Let o = -3 + -5. Let v be (1 + o/(-1))*1/3. Solve -v*h + 18 - 3 = 0 for h.
5
Let c = 79 + -75. Let v = -71 + 74. Solve -c*m = -3*m + v for m.
-3
Suppose 3*f - 6 = -t + 4*f, 3*f = 4*t - 19. Let y(v) = 2*v + 1. Let w be y(t). Suppose -8*h + w*h = 0. Solve 1 + h = -s for s.
-1
Suppose 4*k = -0*k. Suppose 7*n - 3067 + 3046 = 0. Solve k = -b + n + 2 for b.
5
Let p(h) = h + 7. Let v be p(-7). Let u = 2 - v. Suppose 0 = 5*m - 4*r - 9, -u*m + 3*r = -0*r + 2. Solve -m*i = -0*i - 25 for i.
5
Let g = 95 + -84. Suppose 3*l = -2*x + 18, -4*l - 2*x + g = -13. Solve 0 = -a + l*a for a.
0
Let c = -1042 + 1069. Solve -8*j - c = j for j.
-3
Let l(b) = -b**2 - 13*b + 18. Let n be l(-12). Let y = -27 + n. Solve y*v + 4 - 1 = 0 for v.
-1
Let j be (-18)/(-9) + (-1)/1. Let p be 0*(j/6)/(4/(-12)). Solve s = 5 - p for s.
5
Let c(u) be the first derivative of 3/2*u**2 - 5*u + 3. Let r be c(7). Solve 0*v - r = 4*v for v.
-4
Let x be 0 + (-1 - (-6 + 5)). Solve 0 + x = 5*q for q.
0
Suppose l = 20 - 17. Suppose -w - 20 = -l*w. Solve -3*a + w = -a for a.
5
Suppose 0 = -3*i + v + 1, -v = 5*i - 7. Solve -3*w - 7 = -i for w.
-2
Let z = 15 - 11. Suppose z*h - 9 = 7. Suppose -4*i - h*k = -16, -4*i + 7*k = 3*k. Solve 0 = -7*r + i*r - 20 for r.
-4
Let f = 32 - 26. Solve f*y = -11 - 19 for y.
-5
Let j(i) = i**2 - 14*i - 1. Let z be j(14). Let b(g) = -4*g**3 - g - 2. Let c be b(z). Solve c*x - 25 = -2*x for x.
5
Let a(d) = d**2 - 16*d - 27. Let r be a(18). Let h(s) = -3*s + 27. Let z be h(r). Solve 3*y + 11 - 2 = z for y.
-3
Suppose -3*m + 5*g - 2*g = 72, -g = 4*m + 71. Let k = m + 19. Solve s + 0*s + 2 = k for s.
-2
Let z be 9/3 - 5 - (1 + 3). Let p(o) = -o**3 - 3*o**2 + 3*o + 3. Let g be p(-4). Let t = g + z. Solve 6 = y + t for y.
5
Let u = 47 - -5. Suppose -j - 6 + 7 = 0. Let t be j/(-4) + 1001/u. Solve 5*v - 1 = t for v.
4
Let o(v) = -3*v**2 + 2*v. Let g be o(-2). Let r = -9 - g. Suppose a = -4*z + 18, -11*a - 25 = -3*z - 6*a. Solve -z*l + 32 = r for l.
5
Let b be -1 - (-1 + 1) - 0. Let i be b/(-1) - (-28)/7. Suppose 0*g = i*g. Solve -k + g = -3 for k.
3
Let x be (-52)/(-78)*9/2. Solve -x*w + 20 = -8*w for w.
-4
Let f(n) = -1 - 14*n**2 - n + 2 + 0 + 6*n**2. Let b be f(1). Let l be 2 + b/((-3)/3). Solve -l = -i - 5 for i.
5
Let v be (0/18)/((-1)/(-1)*-1). Suppose -4*x + v = -8. Solve b + x = 7 for b.
5
Let b = -328 + 340. Solve -6*o + b*o = 18 for o.
3
Let u be (-25)/20 - (-3)/12. Let y be (-2 - u)*0*-1. Suppose y = -2*i + 6*i. Solve 3*o = -i - 3 for o.
-1
Let h be (-1)/5 - 160/(-50). Solve h*b + b = 0 for b.
0
Suppose -o + l + 4*l + 61 = 0, -l - 353 = -5*o. Suppose 0 = -3*v - 2*j - o - 3, 0 = -4*v - 5*j - 101. Let k be (3/(-2))/(18/v). Solve k*h + h = 0 for h.
0
Let f(o) = o**2 + 14*o + 13. Let u be f(-10). Let j = u + 29. Solve 0*z - j*z = 10 for z.
-5
Let t be (2/4)/(0 - (-1)/38). Suppose 0 = 20*j - t*j - 5. Solve 0 = -j*a - 2 + 7 for a.
1
Let c be 21/2*(-1