-7. Let o be (2 - k)*(-10)/4. Solve -o*t = -2 - 13 for t.
3
Let w(v) = 4*v**2 - 20*v + 8. Let m be w(6). Solve -4*y + 12 = m for y.
-5
Let w = 45 - 41. Solve -p - w + 3 = 0 for p.
-1
Let u = 1 + 4. Suppose -u*m + 11 + 9 = 0. Solve 3*k = -m - 11 for k.
-5
Let j be 18/4 + 5/(-10). Suppose 0 = -j*l + 2*l - 3*z + 9, -4*z + 12 = 0. Suppose l = 4*o + o + 5*b - 25, -2*o = 4*b - 16. Solve -o*n - 8 + 0 = 0 for n.
-4
Let t(v) = -2*v**2 - 4*v**2 + v**3 + v - 1 + 0*v + 5*v. Let g be t(5). Suppose -y - 6 = -3*o, -g*o - 30 = -5*y - o. Solve 5*f + y + 1 = 0 for f.
-2
Let z(k) = k**3 + 4*k**2 + 3*k + 2. Let d be z(-3). Let h = d - -18. Solve 3*l = -l - h for l.
-5
Suppose 0 = -5*m - 20, f - m = -0*f + 6. Let k be (-3)/((2 - 1) + -2). Suppose 0 = -4*q + k*q. Solve q = -4*w + f - 10 for w.
-2
Suppose 3*a = 4*a - 1. Let j be (-3)/(-3) - (-1 - a). Suppose 0 = -5*c + j*x - 1 + 16, 0 = -5*c - 3*x + 15. Solve -c*o + 1 + 11 = 0 for o.
4
Suppose 3*m - 4 = 2. Suppose 0 = l + g - 6, -g + 18 = 2*l + m*l. Solve -i + l = 1 for i.
3
Suppose -2*f - 11 = -1, 5*f = -4*g - 17. Let p be 2/(g/(-6) + 1). Let m be (-2)/2 - (0 - 2). Solve 7 = -p*l + m for l.
-2
Suppose -5*a + 11 = -14. Solve a*t + 5 = 20 for t.
3
Suppose 3*v + 4*s = -12, 2*v + 11 = -5*s - 4. Solve -3*g - 3 + 0 = v for g.
-1
Suppose -4*j - 4 = 0, 0*w - 5*w - 3*j + 137 = 0. Suppose 3*p = l + w, 19 = 2*p - l - 0. Let v be p/(-3)*-2 - -2. Solve 0 = s + s + v for s.
-4
Suppose 3 = -3*s - 3. Let b be -1*1*(s - -2). Solve b = -5*l + 4*l for l.
0
Let g = -6 - -8. Let i be (g - 2)/(3 + -4). Solve 4*b + 14 - 34 = i for b.
5
Let z(t) be the second derivative of -t**3/6 + 9*t**2/2 + 2*t. Let o be z(7). Solve 3 = -x + o for x.
-1
Let x be 3/(-2)*(-20)/6. Solve x*t = t - 16 for t.
-4
Suppose 4*d - 6*m + m = 22, -5 = -3*d - 2*m. Solve -2*b + d*b - 3 = 0 for b.
3
Suppose -11 = 4*w - 3. Let v = 3 + -5. Let n be (-16)/v + 0/w. Solve z + z = -n for z.
-4
Let k = 4 + -2. Suppose -d + 5 = t - k, -3*t + 9 = -3*d. Solve 0 = 5*n - 25 + t for n.
4
Suppose -5*o - 114 = -2*o. Let u be 2/(-6) + o/(-6). Let f = u - 6. Solve f*k = -k + 2 for k.
2
Suppose -5*x + 45 = 5*s, -3*s + 4*x = -0*x + 1. Solve -10*i + 15 = -s*i for i.
3
Let p be 2 - -1*(4 + -3). Solve 0 = -2*d + p*d + 3 for d.
-3
Suppose -j + 9 = -3*t, 4*t = -2*j + 5*j - 12. Let v be 4 - (0 + -1) - 2. Solve j = -2*c + 3 + v for c.
3
Let d(t) = -2*t**3 - 5*t**2 - 5*t - 4. Let a be d(-3). Suppose -g + a = 4*g. Solve -k = -0*k + g for k.
-4
Let r(x) = -x - 4. Let n be r(-7). Suppose 0 = 3*l - l - 22. Suppose -n*v = -l - 37. Solve 4*k + v = -0*k for k.
-4
Let i be (-287)/(-14) - (-1)/(-2). Let c = i + -17. Solve c*w = -w + 4 for w.
1
Let h = 8 + -6. Suppose h = q, -3*l - 3*q + 2*q + 23 = 0. Solve l*n = 2*n for n.
0
Let r be (4/5)/((-2)/5). Let t = r - -2. Solve t - 9 = 3*o for o.
-3
Let b be 3/2*(-1 - -3). Suppose 2 = 2*c - b*c + 2*v, -14 = -2*c - 2*v. Let o be (c/6)/((-2)/(-72)). Solve -4*u + o = 8 for u.
4
Let z(j) = -3*j**2 + j + 4. Let u(l) = 5*l**2 - 2*l - 7. Let b(m) = -4*u(m) - 7*z(m). Let g be b(-2). Solve -g*o = -7*o + 25 for o.
5
Let a be (6/8)/((-1)/(-8)). Suppose -3*d + 5*x + 5 = 0, -3*d = d + x + 1. Solve d = -y + 3 - a for y.
-3
Suppose -4*j - 26 = -2*r, j + 1 = -3*r - j. Solve 0 = -r*n - n + 20 for n.
5
Suppose m - 10 = -0*m. Solve 2*b + m = -0*b for b.
-5
Let j = 14 - 6. Suppose 8*z + j = 4*z, -5*z = -3*k + 22. Suppose 0 = r + k, 15 = i - r - 2*r. Solve -3*o - i = -2*o for o.
-3
Suppose -2*i + 15 = 5*t, -i + 3*t + 3 = 4*t. Solve i = n - 6*n for n.
0
Let p = -26 - -28. Let o(b) = b + 9. Let h(z) = z**2 + 7*z + 1. Let j be h(-6). Let x be o(j). Solve 4*c = p*c + x for c.
2
Let y = -2 - -14. Let a = -8 + y. Solve -a*c + 4 = 24 for c.
-5
Let o(m) = m - 7. Let s be o(-9). Let p = -7 - s. Suppose 1 = -v - 2*q, 3*v - 5*q = 28 - p. Solve -6*x + 3*x - v = 0 for x.
-1
Let t(k) = -k**3 + 7*k**2 - 4*k - 7. Let l be t(6). Suppose -2*w = 3*n - 10, -l*n + 4*w = 3 - 5. Solve 0 = 5*m - n - 18 for m.
4
Let l = 10 + -8. Let f(s) = s**3 + 9*s**2 - 2*s - 13. Let x be f(-9). Solve l = x*h - 3 for h.
1
Let b(k) = -k + 12. Let f be b(9). Solve f*j = 3 - 0 for j.
1
Suppose 2*g + 1 = -3, 23 = 5*i - 4*g. Let k be (-833)/(-85) - ((-2)/10)/1. Solve i*x - k = 5 for x.
5
Let x = 11 - 8. Solve -5 = x*p + 10 for p.
-5
Let f = -1 + 2. Let r be 4/(f*(-2)/(-4)). Suppose -3*d + 8 = 2*p, 0 = p - d + 2 - 6. Solve 2*a = p*a - r for a.
4
Suppose -i = i. Suppose 0*z + 5 = -2*m + 3*z, -4*m + 2 = -2*z. Solve -m*k - 7 - 1 = i for k.
-4
Let c = 2 + 1. Solve -6 - 9 = c*h for h.
-5
Let d(q) = q**2 + 6*q + 7. Let o be d(-6). Suppose -1 = 3*l - o. Solve l = b + 6 for b.
-4
Let m(c) be the first derivative of c**4/2 + c - 3. Let a be m(1). Solve a + 5 = -2*t for t.
-4
Let g(p) be the first derivative of p**3 - 3*p**2/2 + 2. Suppose -4*q = 3*r - 7 + 21, 7 = -4*r - 3*q. Let y be g(r). Solve -5 = -h + y*h for h.
-1
Let t be (3 - 3)/(4 - 2). Solve y + y = t for y.
0
Suppose -3 - 7 = -5*j. Solve -5*z = -j*z + 12 for z.
-4
Suppose 4*n - 5*r - 63 = 0, -3*n + 4*r + 45 = -3. Suppose -2*x = -5*b - 20, x + 4*x = 2*b + 29. Let u = b + 2. Solve -g + 5*g + n = u for g.
-3
Suppose -2*p - y = -p - 12, -8 = -2*y. Solve -2*t - p = 2*t for t.
-2
Let g be 9/27*18/2. Solve -4*d - g = -19 for d.
4
Suppose -n + 4*n = 9. Let m be (-7)/n - (-12)/(-18). Let l be 1/(-3)*(m - 3). Solve 3*x = -l*x for x.
0
Let p be (3/6)/(5/(-60)). Let s be p/39 - 80/(-13). Solve -3*o = -s - 9 for o.
5
Suppose 4*u - 2*u = -26. Let n be 112/52 + 2/u. Solve n*v + 3*v = 0 for v.
0
Let n = -62 + 65. Solve -n*o + 0 = 3 for o.
-1
Let k(d) = -d + 1 + 0*d + 10. Let f be k(5). Let m = 1 + 0. Solve -5*g = -m + f for g.
-1
Suppose -5*w + 7 = 3*u, -3*w - 2*u + 1 = -3. Solve 0*v + w = -v for v.
-2
Let o(a) = a**2 - 5*a - 1. Let r be o(4). Let d be (5 - (1 + -1))/1. Let f = r + d. Solve v - 3 = -f*v for v.
3
Let h be (-16)/(-5) + (-12)/(-15). Solve 5*f - h*f = 2 for f.
2
Let k be 18 - 2/(-4)*(13 - 19). Solve -p - k = -4*p for p.
5
Let g = -3 - -1. Let c = g + 4. Let f = 4 - c. Solve f*s - 15 = -3*s for s.
3
Let w be -15*(-1 + 2 - 2). Let k be w/4 - (-3)/12. Solve -k = -3*z + 7*z for z.
-1
Suppose -p + 4*s = -0*s - 6, -3*s = -2*p + 7. Suppose 4*k = 8, 3*d - 26 = -p*d - 3*k. Suppose 21 = r + 4*c, 0 = -r + d*c - 2*c - 3. Solve r*w - 2 = 3 for w.
1
Suppose b + 3*b - 8 = 0. Let a be 2 + (-12)/((-4)/b). Solve q = -3*q + a for q.
2
Let d be (5/4)/(1/8). Let k = d + -8. Solve n = -k*n for n.
0
Let l be 6/33 - 40/(-22). Solve l = -m + 5 for m.
3
Suppose f + 0 = 3. Suppose 4*j = -3*h + 12, -5*h - f*j = -3*h - 9. Suppose 0 = 4*k - 16 + 4. Solve k*v - v + 4 = h for v.
-2
Let y(k) = -k**2 + 1 - 6*k + 9*k + 4*k. Let b be y(6). Solve -2*p = -b*p + 20 for p.
4
Let c be -38*((-1)/2)/(-1). Let n be c/(-7) + (-2)/(-7). Solve 0 = n*b - 0*b + 15 for b.
-5
Suppose 8*o - 27 = 53. Solve f - 5 = -o for f.
-5
Let o = 12 + -10. Solve 0 = 2*r - 0 + o for r.
-1
Let k = -23 + 25. Solve k*g + 20 = -3*g for g.
-4
Suppose -3*m + s = -21, 4*m + 4*s = -0*s + 12. Let o = -3 + 8. Suppose 20 + 0 = o*i. Solve -5*p - m = i for p.
-2
Suppose -l = 4*t + 44, t - 4*t - 4*l = 33. Let i = t + 33. Suppose z - i = -3*h, 0*h - 50 = -5*h + z. Solve -2*s + h = -5*s for s.
-3
Suppose -3*v = -4*v + 7. Suppose 4*q = 5*j - 5, q + 2 = -2*j + 17. Suppose j*t - 53 = v. Solve -5*x + t = -13 for x.
5
Let t(g) = -9*g**3 - 3*g**2 - 4*g - 2. Let q be t(-1). Solve 7 = 3*m - q for m.
5
Suppose 0*r = 5*r - 25. Solve i + 2 = r for i.
3
Suppose -4*h - 2*x = -64, h = -2*x + 11 + 8. Solve -6*l + h = -3*l for l.
5
Suppose -5*z + 3 + 7 = 0. Suppose 2*l + 4 = 0, z*x + 5*l - 34 = 2*l. Solve -5 - x = 5*j for j.
-5
Let c(z) = -3*z**2 - 3*z - 5. Let g(v) = 2*v**2 + 3*v + 4. Let j(q) = -3*c(q) - 4*g(q). Let b be j(4). Let d = 6 - b. Solve -3*s = 9 + d for s.
-4
Let x(l) = -l**2 - 15*l - 5. Let f be x(-15). Let j(g) = -g**3 - 6*g**2 - 7*g - 7. Let z be j(f). Solve z = 2*n - 3 for n.
3
Suppose 3*v + v = m + 85, -v + 3*m = -35. Let b = v - 17. Solve b*k + k - 12 = 0 for k.
3
Let d(u) be the first derivative of -u**3/3 - 9*u**2/2 - 7*u + 1. Let b be d(-8). Let h(a) = -a**3 - 8*a**2 - 7*a + 3. Let w be h(-7). Solve w*i = -b - 5 for i.
-2
Suppose 15 = 6*l - 9. Solve -u = l*u + 15 for u.
-3
Let j(l) = 2*l - 3. Suppose 0 = -2*i + 3*i - 3*k - 6, k = -2*i + 5. Let g b