*k - 4. Let y be x(-3). Let b(i) = 3*i - 4*i + 0*i**2 + 3 - 4*i - i**2. Let s be b(y). Solve -5*w + 18 = -s for w.
5
Let l be 114/22 + 2/(-11). Suppose 0 = c - l*c. Solve -3 = u - c for u.
-3
Let t(k) = k + 10. Let z be t(-7). Suppose -5*a + 2*a = -6. Suppose 0 = -4*c + 2*j - a, -3*c + 3*j - 3 = -0*j. Solve -3*v + c = z for v.
-1
Suppose 0 = 4*l + l + 40. Let t(c) = -c**3 - 7*c**2 + 9*c + 11. Let q be t(l). Solve d = 2 - q for d.
-1
Suppose -5*s + 6*s + 24 = 0. Let l be 158/8 + (-6)/s. Solve -4*f - f = -l for f.
4
Suppose 4 = -5*z + 9*z. Let p = -4 + z. Let n be (p + (2 - 2))*-1. Solve -n*h - 10 + 1 = 0 for h.
-3
Suppose z = 5*z - 16. Suppose -k - 13 = -0*v - z*v, 2*v + 5*k = -21. Solve x - 1 = v for x.
3
Let h = 4 - 15. Let c = h + 11. Suppose c*k + 1 = k. Solve -k + 13 = 4*s for s.
3
Suppose -86 + 2 = 4*l. Let d = -1 + -5. Let z = d - l. Solve c + z = 4*c for c.
5
Let l = -16 - -18. Suppose -i + 25 = -6*i, -5*n - 4*i = 0. Let j(p) = p**2 + 12. Let g be j(0). Solve l*t = -g + n for t.
-4
Let p(q) = -5*q - 3 + 2*q + 3*q + 3*q. Let a be p(2). Solve 15 = a*m - 0*m for m.
5
Let v be ((-4)/7)/((-6)/21). Let z = 31 - 16. Suppose 3 + 15 = i - 5*g, -4*i + 6 = 2*g. Solve i*m + v*m - z = 0 for m.
3
Let m(d) = -d**3 - 4*d**2 - 5*d - 2. Let y be m(-3). Let f be 9/6*4/3. Suppose 0*j - f = 2*j - 3*v, 5*j = 5*v. Solve -4 - y = -j*k for k.
4
Let l = 3 + -4. Let t be (l - -5)/(3 - -1). Solve -3 = -2*i + t for i.
2
Suppose 3*h - 2*h = -8. Let y = h - -11. Solve -4 = -c - y for c.
1
Let g be (-26)/(-6) - 2/(-3). Suppose 5*d - 65 = 5*a, 5*a + g = 3*d - 36. Let u be -4*9/d*-1. Solve u = 2*b - 3*b for b.
-3
Suppose 8 + 4 = 3*d. Solve 11 + d = 3*t for t.
5
Let o(v) = v**3 + 6*v**2 + 5. Let j be o(-6). Suppose 0 = -2*d + 2*f + 8, 58 = 3*d + j*f + 14. Suppose -3*l = -d*l + 10. Solve 1 + 3 = l*y for y.
2
Suppose -8 = -u - 2*r, r = -u - 0*u + 5. Solve 0 = 2*d - 0*d + u for d.
-1
Let h(k) = 2*k**2 + 4*k - 1. Let u be h(-3). Suppose 4*m + 1 = -u*j, -m = -0*j + j + 1. Solve j*w + 1 = -5 for w.
-2
Let b(y) = y**2 + 10*y + 8. Let u be b(-9). Let k be (-1)/(1/(-2)*u). Let t = 5 + k. Solve -4*f - 9 = t for f.
-3
Let s = 58 - 30. Suppose -s = -j - j. Suppose -j = -3*b + 4. Solve -b*z + z = 5 for z.
-1
Let z(l) = -l**2 - 9*l - 2. Let p be z(-5). Let m be p/4*10/15. Suppose m*h = 7*h - 24. Solve -k - 2*k = h for k.
-2
Let b be (-5 - -2 - -5) + 2. Solve -5 = b*h + h for h.
-1
Let f(y) = y**3 - y**2 - 3*y - 2. Suppose -u + v = 3, u = v + 3*v - 6. Let s be f(u). Let p(x) = -x - 6. Let r be p(s). Solve r*i - 4*i + 6 = 0 for i.
3
Suppose -b - d = 0, 0 = -5*b - 4*d + 8*d. Let h(y) = 5*y**3 - 2*y + 1. Let m be h(1). Let f be 12/9*(-18)/(-4). Solve b = -2*p + m + f for p.
5
Suppose 2*m = a + 4 + 6, 0 = -4*m + 20. Solve a = -2*i + 4*i for i.
0
Suppose 3 + 5 = 2*b. Suppose b*a - 16 = -0*a. Solve p + 3*p - a = 0 for p.
1
Let v(q) = -q**2 + 3*q. Let i be v(0). Let n(k) be the second derivative of k**3/3 - k**2/2 + 2*k. Let o be n(3). Solve i = x - o + 1 for x.
4
Let c be (5 + -1)*1/2. Suppose -c*u = 3*u - 45. Let g = -11 - -15. Solve -m + u = -g*m for m.
-3
Suppose -7*p + 140 = 3*p. Solve q - p = -11 for q.
3
Let n(g) = -g + 5. Let f be n(0). Suppose 0 = f*r - 10, 2*a + 2 = 3*r + 6. Suppose u = a - 1. Solve u*k = -k for k.
0
Let q be (-2)/1*(-28)/(-8). Let b = 15 + q. Let h = b + -7. Solve -p - h = -0*p for p.
-1
Suppose 9 = 5*q - 21. Suppose -6*s - 4 = -16. Solve s*r + 2 = -q for r.
-4
Let v be ((-6)/(-10))/((-1)/(-5)). Solve -5*n + v = -2*n for n.
1
Let b(o) = -o**2 - 8*o + 2. Let s be b(-8). Solve 0*v = s*v for v.
0
Let t be ((-20)/90)/((-2)/18). Solve 0 = -2*u - t*u for u.
0
Suppose 2*t - 1 - 9 = 0. Suppose b - 2 = 0, 0 = t*d - 0*b + b - 127. Solve 2*a + d = -3*a for a.
-5
Let f = 100 - 100. Solve 3*y + 2 + 1 = f for y.
-1
Suppose -3*g + 3*p + 0*p = 0, 2*g - 4*p + 2 = 0. Let b be (g + 2)*(-4)/3. Let i be (b*1)/((-2)/1). Solve i*m - 3 = 3*m for m.
-3
Suppose 17*b - 9*b = 40. Solve 0*d = b*d - 25 for d.
5
Suppose -x - 28 = -3*x. Let n be x/3 + 5/15. Solve 2*k = 1 - n for k.
-2
Let p = -3 - -5. Suppose 5*m + 48 - 12 = 4*q, -p*m = -5*q + 45. Solve q = -3*v - 0 for v.
-3
Suppose 2*i + i = 0. Solve 4*x = -i + 8 for x.
2
Let p = -14 + 8. Let g = 8 + p. Solve -g = -l + 2 for l.
4
Let p be (-1 - 3) + 5 + 3. Solve -2*v + v - p = 0 for v.
-4
Suppose 6*b + 0*b = 12. Solve -6 + b = -w for w.
4
Let i = -4 + 6. Suppose -y = -i*y - 2*s + 2, 4*s - 14 = -3*y. Solve 3*q + y = -2 for q.
-4
Let x be (30/18)/(1/3). Suppose 3*o - x = 1. Solve o*l = 7*l for l.
0
Suppose 1 = -s + 4. Let b be 1 - (4/(-1) + s). Suppose b*z + 2 + 2 = -4*h, 0 = 3*z - 5*h - 38. Solve 0 = -3*w + z*w - 9 for w.
3
Let u = -12 + 16. Let y = 0 + u. Solve -y = -t + 1 for t.
5
Suppose 2*v = -3*y + 117, -4*v - 4*y = -7*v + 150. Let m be 66/v + (-4)/18. Solve o - 2*o + m = 0 for o.
1
Let f(k) = k**2 - 9*k + 6. Let u be f(7). Let g be u*(30/8)/(-5). Let w = -2 - -2. Solve g + w = 2*b for b.
3
Let x be (7 + -4)/3*2. Solve 4*i + 6 = -x for i.
-2
Suppose -3*h + 2 = -4*h. Let k = 0 - h. Suppose l - 1 - 2 = -w, 2*l = -3*w + 9. Solve -w*m = -k*m for m.
0
Let i be 3 + (-3)/1 + 0. Suppose a + 7 - 27 = i. Solve 5*u - u = a for u.
5
Let i be 21/14*4/6. Solve -c + i = -0 for c.
1
Let g(j) = j**2 + 3*j - 8. Let r be g(-6). Suppose h - 4*f - 11 = 0, 0 = -4*f - r + 2. Solve h*y = -y - 16 for y.
-4
Let f be (4/6)/(4/(-6)). Let t be 27 + (1 - (4 + f)). Solve 8*c + t = 3*c for c.
-5
Let g = -3 - 13. Let x be (-6)/(-8) - (-12)/g. Solve c + 0*c + 5 = x for c.
-5
Suppose 3*u - 10 = 2. Suppose 5*o + u = 2*s - 3, -3*s = 3*o. Solve 4 + s = g for g.
5
Let z = 17 + -14. Solve 4 = -z*y + 10 for y.
2
Let r be 8/3*(-6)/(-4). Suppose -5*b + 45 = 4*p, r*p - 13 = b + 2. Suppose -4*t = -13 - 3. Solve -b = -t*x - x for x.
1
Suppose -3*l - 3 + 1 = w, 5*l = -4*w - 15. Let r be (-2)/6*0*l. Solve 0 = -r*a - 3*a + 3 for a.
1
Let l(i) = -3*i**2 - 4*i - 2. Let h be l(-2). Let m(b) = -b**3 - 5*b**2 + 6*b + 4. Let u be m(h). Suppose k - u + 0 = 0. Solve r = -r - k for r.
-2
Suppose -6 + 2 = -2*t. Suppose -2*d - 7*b = -t*b - 18, -4*d + 6 = -5*b. Solve -2*a = -d*a + 6 for a.
3
Let g be 24/(-10)*(-5)/2. Solve 9*v = g*v for v.
0
Let f be (-26)/8 - (-1)/4. Let s(t) = -t**2 - 4*t - 3. Let c be s(f). Let i = 1 + c. Solve -3*w + 8 + i = 0 for w.
3
Suppose 2*r = -6*t + t + 22, 4*t + 3*r - 19 = 0. Solve t*n - 14 = 2 for n.
4
Suppose 4 - 20 = -4*b. Solve 0 = -b*z + 9 + 3 for z.
3
Let q be (3 - 3)/(5 + -7). Suppose -5*t - 13 = 3*h, -3*h + t = -t - 22. Let b = q + h. Solve 4 + 4 = -b*y for y.
-2
Suppose 0 = 4*s - 7*s + 21. Solve s = 4*h + 23 for h.
-4
Let d = -7 + 17. Let g = -5 - -10. Suppose -g*z + d + 10 = 0. Solve -z*n - 6 = -n for n.
-2
Suppose -27*q = -29*q. Solve q*o = 2*o for o.
0
Suppose -10 = -4*p + 6. Suppose -p*x = -5*x + 15. Suppose -3*t - o + 16 = 0, 3*t - 12 = t - o. Solve j = t*j + x for j.
-5
Suppose 29*p = 32*p. Solve y - 2*y + 2 = p for y.
2
Suppose y + 22 = 34. Solve 2*s = -s + y for s.
4
Suppose 3*c = -3*l + 24, -4*l - 3 + 40 = 5*c. Solve l*i - 14 = 1 for i.
5
Let a be 1/1 + 21 + -2. Let l = a + -16. Solve 9*y = l*y - 10 for y.
-2
Suppose -2*v - 8 = -4*v. Solve -v*q = -q + 15 for q.
-5
Let t(f) = -f**2 - 11*f + 1 - 4 + f + 3*f. Let x be t(-6). Solve 4 = -m - x*m for m.
-1
Suppose -4*o + 4*k = -8*o + 28, 9 = -3*o + 3*k. Let x = 9 + -3. Solve -v = o*v - x for v.
2
Let x(i) = i**2 - 4*i - 7. Let c be x(7). Let t = 21 - c. Solve -2*a + 1 - t = 0 for a.
-3
Suppose 5*m - 60 = -2*f, -6*m + 2*m + 60 = 4*f. Solve 2*g + m = -3*g for g.
-2
Suppose g + p + 0*p - 17 = 0, g = 4*p + 12. Suppose -2*i + 3*f = -64, 4*f = -3*i + g + 46. Let w = i - 11. Solve 0 = -3*q - 0*q - w for q.
-5
Let z = 4 - 5. Let s = 4 + -1. Let p = z + s. Solve -1 = p*r - 3 for r.
1
Let l be (-6)/24 + (-34)/(-8). Solve -3*n + l = -11 for n.
5
Suppose 12 + 18 = 5*g. Let l = g - 3. Solve l*f - 5 = 4*f for f.
-5
Let n be 8 + -3 + 0 + -1. Solve -n*i = i + 10 for i.
-2
Suppose -2*p + k + 11 = 2*p, -19 = -5*p - 4*k. Suppose -10 = p*c - 1. Let i = 6 + c. Solve -b - i*b = 16 for b.
-4
Let u(p) = -2*p - 2. Let v be u(-4). Solve s + 2*s - v = 0 for s.
2
Let x(h) = -h**2 - 2*h + 1. Let n be x(-3). Let s be ((-84)/(-30))/(n/(-5)). Solve 0 = 2*m + 3 + s for m.
-5
Let a(h) be the first derivative of h**2/2 - 3*h + 1. Let b be 