olve 0 = 5*s + j - 2 for s.
-4
Let f(v) = -v**3 + 12*v**2 - 12*v + 11. Let d be f(11). Suppose 4*g + d*g + 16 = 4*p, 0 = 4*g + 16. Suppose 0 = 5*h - 0*h - 15. Solve p = -h*r - 0*r - 3 for r.
-1
Let d be 1*(2 - 3)*-1*2. Suppose -6*o = -3*o - 15. Let t = 5 + o. Solve -d*v = -4*v - t for v.
-5
Let s = -14 + -8. Let h = 27 + s. Solve -x + 0 - h = 0 for x.
-5
Let g = -33 - -26. Let x be 1000/70 - (-2)/g. Let a be (-6*x/3)/(-2). Solve -a - 6 = -4*q for q.
5
Suppose 19*w = -28*w + 235. Solve 17 = -w*p + 2 for p.
-3
Suppose n - 3*l = -0*l - 5, 4*n = l - 31. Let b = 27 + n. Let m be (-17)/(-4) - 2/8. Solve 3*g = b - m for g.
5
Let l = 165 - 158. Solve -6*o - l = -37 for o.
5
Let t(u) = u**2 - 2*u - 1. Let v = -5 + 8. Let n be t(v). Suppose 0 = -n*i - i. Solve i = c + 4 - 2 for c.
-2
Let s be (0 + 134)*(8 - 7). Let k = -134 + s. Solve 4*t = -k*t for t.
0
Suppose -7*p + 4*p - 27 = 0. Let y(s) = -s**2 - 9*s. Let j be y(p). Suppose 0 = 2*q + 2*i + 2 - j, 4*q + 3 = -3*i. Solve -2*v + 0*v = q for v.
0
Let t = -478 + 497. Solve -9 = -t*i + 16*i for i.
3
Let g = -2666 + 2686. Let a(u) = -u - 4. Let t be a(-4). Solve t*i = -4*i - g for i.
-5
Let z(t) be the first derivative of -t**4/4 + 8*t**3/3 - 5*t**2/2 - 5. Let p be z(7). Suppose -h + 3*a = -p, a + 24 = 2*h - 4*a. Solve -b + h = -0*b for b.
2
Suppose 0 = 2*c - p - 53, -3*c + 4*c - 31 = -p. Suppose 5*f - c = 37. Let h = f - 7. Solve 0 = 5*q - h*q for q.
0
Let m(x) = 62*x - 306. Let f be m(5). Solve f = -4*k + 4 for k.
0
Suppose -k = -4*d - 20, 3*d - 14 = -2*k - 7. Solve 2*f + k = 18 for f.
5
Let p(v) = 3*v**2 - 3*v - 4. Let z be p(3). Let o be (-2 - z/(-6)) + 14/3. Suppose 6 = 2*r - 0. Solve -o*i - 2 = r for i.
-1
Let o = 41 + -40. Let p be (16/10)/(o/(-5)*-2). Solve -20 + p = -4*c for c.
4
Let p(u) = 2*u**2 - 16*u + 37. Let x be p(4). Solve -4*k = x - 1 for k.
-1
Let b(s) = -2 + s + 2 + 1. Let r be b(-6). Let n be (-69)/(-3) + (-15)/r. Solve 1 = -5*g + n for g.
5
Suppose 0 = 10*z - 111 + 11. Solve -8*r = -6*r + z for r.
-5
Let l(c) = -2*c**3 - 15*c**2 - 13*c - 37. Let d be l(-7). Solve 32*f - d = 31*f for f.
5
Suppose -36*j + 26 + 10 = 0. Solve o + j = 2*o for o.
1
Let l(x) = 3*x**2 + 37*x + 14. Let a be l(-12). Let u be 1/3*1*9. Suppose z - g - 4 = g, g + a = -u*z. Solve z = 2*j - 0 + 2 for j.
-1
Let v(h) = 5*h + 1. Let i(k) = -3*k. Let y(a) = -7*i(a) - 4*v(a). Let b be y(6). Solve -b*z - 10 = 3*z for z.
-2
Suppose 3*g = -4*f + 1, 2*f = -5*g + g + 18. Solve 17*m - 27 - g = 0 for m.
2
Let b(v) = -20*v**3 + 50*v**2 + 25*v - 55. Let h(i) = 7*i**3 - 17*i**2 - 8*i + 18. Let d(u) = 6*b(u) + 17*h(u). Let a be d(12). Solve a = l - 4 for l.
4
Let y = -9 + 7. Let l be ((-1)/y + 0)*8. Suppose l = 2*g - 0*g. Solve -z = z + g for z.
-1
Suppose 8*j - 34 = -10. Solve j*n + 6 = -0 for n.
-2
Let x be (24/10 - 2)*-5. Let i be 0 - x - -2 - 1. Solve -20 = -i*w - 2*w for w.
4
Let q(w) = -18 + w + 33 - 2. Let c be q(-10). Solve -c - 1 = 2*a for a.
-2
Suppose 5*k - 5*o - 199 = -4*o, -3*o = 5*k - 203. Solve -15 = -5*f - k for f.
-5
Let y be (112/252)/(-1 + 22/18). Solve -y - 38 = 8*w for w.
-5
Let m(r) = -6*r + 9. Let l be m(-4). Let k = l - 33. Solve -2*p + 10 + 0 = k for p.
5
Suppose 2*p - 2 = 0, 7*j - 4*p - 2 = 4*j. Solve -j*d = -6*d + 8 for d.
2
Let b be 5 - ((-5)/(-10) + 3)*-4. Let f be 2/(-3) + (-49)/3. Let s = b + f. Solve 2*q = -s*q + 8 for q.
2
Let h(r) = r**3 + 19*r**2 + 66*r - 45. Let o be h(-14). Solve -o*j + 8 + 3 = 0 for j.
1
Let t be (-3)/(-12)*4 + -29. Let v = t + 19. Let d be -2 + 2 + (v - -11). Solve 0 = -4*z + 2*z + d for z.
1
Let k be ((-1)/3)/(3/9). Let m be 13 + (-2 - (0 + k)). Let c = -11 + m. Solve 0 = -j + c for j.
1
Suppose -21*l + 4*j - 18 = -26*l, -4*l + 2*j = -4. Solve l*x = 4*x + x for x.
0
Let a(g) = -3*g + 7. Suppose 0*y - 4*y + 10 = -m, y - 13 = -5*m. Suppose y*k + 11 = -25. Let v be a(k). Solve -18 + v = 5*x for x.
5
Let g(z) = 9*z - 57. Let p be g(8). Solve p*s - 30 = 25*s for s.
-3
Suppose 8*m - 3*m - 21 = -3*f, -4*m + f = -27. Solve m*x = -2*x + 32 for x.
4
Suppose 11*j - 16*j + 190 = -5*k, 2*j - 81 = -3*k. Solve -11*d = 2*d + j for d.
-3
Let f = -38 - -59. Let q = f - 16. Let p = q - 3. Solve s = -p*s for s.
0
Let j(b) = b**3 + b**2 - 3*b + 2. Let p be j(0). Solve p*g - 6 = -2 for g.
2
Suppose v + 4*z = -26 - 58, 4*z = 4*v + 236. Let u = -62 - v. Solve u*q = -3*q + 15 for q.
3
Suppose 16 = 9*a - 2. Suppose 4*h = -0*t - a*t + 60, 3*h - 55 = -2*t. Solve 0 = -0*d + 5*d - t for d.
4
Let x be (-1 + 0 + 0)*-6. Let p = 5 - 7. Let t = x + p. Solve -3*v = -t*v + 4 for v.
4
Let y = -1109 - -1138. Solve -25 + y = 4*x for x.
1
Let b = 8 + -8. Suppose 2*r = -b*r - 6, -2*r = g + 6. Solve g*d - 16 = 4*d for d.
-4
Suppose -4*t + 54 = 2*p - 9*t, 2*t = -p + 45. Solve -33*f + p*f = -12 for f.
-3
Suppose -2*n + 4 + 11 = 5*v, 3 = v + 4*n. Let r be 2/((-24)/9)*(-8)/6. Solve -2*k + v = -r for k.
2
Suppose 4*g = 6*g - 16. Suppose 0 = u + 2*f + 2, u + 2*f + 26 = 6*u. Suppose 2*d - 2 = -j, -u*j + d = 3*d - g. Solve 7*y = j*y - 10 for y.
-2
Suppose 4*b + 84 = 8*b + 4*u, -3*b - 4*u = -61. Let x = -19 + b. Solve -x*t = -5*t - 2 for t.
-2
Let b = -824 + 839. Solve 10*t - 15*t = -b for t.
3
Let z(l) = 10*l - 17. Let o be z(2). Suppose 3*g = -5*r + 2*g + 7, 11 = r - o*g. Solve -7 = -u - r for u.
5
Let g(x) = 22*x**3 - 5*x + 4. Let c be g(1). Suppose -7*s + c = -0*s. Solve -n = -s + 2 for n.
1
Let u(z) = -4*z**3 - 2*z**2 - 2*z - 1. Let m be u(-1). Suppose -s + 108 = m*s. Let w = -7 + s. Solve 0 = -5*g + w for g.
4
Let j = -66 + 68. Solve j*y - 7 = 3 for y.
5
Let p(s) = 7*s - 4. Let o be p(4). Suppose h - 6 = -f, -f = 3*f - 4*h - o. Solve -f = -2*j + 2 for j.
4
Let b(j) = -14*j - 384. Let m be b(-29). Solve 9*c = -5 - m for c.
-3
Let g(i) = -i - 23. Let r be g(-26). Suppose -9 = -4*v + 7. Solve r*x + v = 1 for x.
-1
Let t(c) = c**3 - 6*c**2 - 8*c + 10. Let u be t(7). Let j be -5*(u + (-66)/15). Suppose -j*z = -2*z. Solve z = 3*p - 7*p - 4 for p.
-1
Suppose -94 = -17*i + 42. Solve 25 - 1 = -i*h for h.
-3
Let t(u) = -u**3 + 6*u**2 - 4*u - 1. Let y(k) = k**2 - 9*k - 18. Let c be y(11). Let h be t(c). Solve 4*d = -1 - h for d.
-4
Let z(v) = -v**2 - v + 5. Let o be z(-5). Let w = -12 - o. Suppose -2*y = -w*a - 16, -5*y + 3*a - 17 = -48. Solve y = 2*l - 5 for l.
5
Let m be 1/3*51*-1. Let g be (-4)/4 + -1 - m. Solve -g = -0*t - 3*t for t.
5
Let i(n) = -6*n + 122. Let z be i(20). Let y be (-4)/2 - 1*-5. Suppose 1 - y = -o. Solve -o*h - z*h = 0 for h.
0
Let s = -2 + 4. Let q be (-12)/8*-2 - 1. Suppose q*a = -5*t - 1 + 2, 0 = -a + t + 4. Solve -s*m = a*m + 25 for m.
-5
Suppose -s + 0*b = 3*b - 29, -4*b - 69 = -5*s. Suppose 0 = -3*h - 11 + s. Solve 3*f + 25 = -h*f for f.
-5
Let y be (-25 - -29) + (-1 - 1) + 0. Let l(s) be the first derivative of 3*s**2/2 - 4*s + 1. Let w be l(y). Solve j = -0*j - w for j.
-2
Suppose 2*y - 8*x = -9*x + 98, -y - x + 48 = 0. Solve 0 = 5*t - 15*t + y for t.
5
Let m(h) = -3 + 0*h + 0*h + 0 + 2*h. Let f(j) = 11*j + 91. Let t be f(-8). Let z be m(t). Solve z*l - l = 10 for l.
5
Let x be (2/(-6))/(6/(-378)). Let h(y) = 3*y - 5. Let p be h(3). Suppose -5*g + p + x = 0. Solve -4*s = s - g for s.
1
Let a = 255 + -247. Solve -8*s - 8 = a for s.
-2
Let p = -10 + -2. Let k = p - -9. Let b be 20*(44/(-16) - k). Solve b*g - 4 - 21 = 0 for g.
5
Let o = 4 + -2. Suppose 0 = 5*k + 2*t + 2*t - 105, 3*k - 3*t - 63 = 0. Let u = 28 - k. Solve -5*i - o = -u for i.
1
Let f be -3*30/(-40)*4. Solve -f = -6*t + 21 for t.
5
Let o be (-33)/9 + 8/12. Let u be (o + 4)*8/1. Solve z = 5*z - u for z.
2
Suppose -8*d + 4*w = -5*d + 545, 0 = -3*d - 5*w - 500. Let x = 179 + d. Solve -7 = -x*a - 23 for a.
-4
Let y(a) = -a - 4. Suppose -5*b - 27 = -3*k, 2*b = -0*b - 2*k + 2. Let f be y(b). Let l(w) = 5*w**2 + 3*w + 2. Let q be l(f). Solve -4*r = -q - 12 for r.
4
Let j be (29 + 1)*9/27. Let o(i) = -i**2 + 13*i - 18. Let v be o(j). Suppose 3*s - 9 = c, 3 = 3*c + v. Solve p = -s*p - 12 for p.
-4
Let l(m) = 2*m**2 + 14*m + 14. Let r be l(-6). Suppose 2*d + 2*d - 8 = 0, r*b = d - 2. Solve -2*y - 2 = -b*y for y.
-1
Suppose -3*q + 12 = 0, 0 = -3*d + 6*d - 5*q - 7. Suppose d*n = -6 + 15. Solve -n = y + 2 for y.
-3
Suppose 4*x - 8 - 8 = 0. Let b be (-6 - -2)*((-63)/(-12) + -7). Solve x*s + 23 = b for s.
-4
Suppose 0 = b - 0*b - 5. Solve -b = 3*r + 