2 = -7*k - y for k.
1
Suppose -5*b = -3*g - 2*b + 3, -1 = 2*g - 5*b. Solve g*n - 9 = 5*m, 5 - 17 = 4*n for m.
-3
Let b(j) = 4*j + 2*j**2 - j**3 - j + 1 - j. Let n be b(-1). Let o be ((-3)/(-6))/(5/30) + 1. Solve -n = -o*c + 2*h - 16, -20 = 4*c + 4*h for c.
-4
Let d be (0 + 2)*(-9)/(-6). Suppose -54 = -d*l + 2*i - 5*i, i = 0. Solve -5*m + l = 5*a + 3, 3*a - 13 = -5*m for a.
1
Suppose 0 = -a - 2, 4*a - 52 = 92*f - 95*f. Solve 0 = -3*z - 2*s - f, -3*z + 3*s = 4*s + 16 for z.
-4
Let w = 8 + -8. Suppose w = 21*x - 22*x + 4. Suppose -5*o + 5 = 5*f, x*f - 2*o - 7 - 3 = 0. Solve -5*l - 5 = 3*q, f*l - q = l - 9 for l.
-4
Suppose 28*s + 2 = 86. Solve 0 = 4*d - s*r - r + 8, 0 = 3*d + 3*r for d.
-1
Let p be (-6)/(-3)*(-21)/(-6). Let y(d) = d**2 + 7. Let z be y(p). Let l be (-14)/91 - z/(-26). Solve 4*o - 2*x - 10 = 0, 2*o - 3*o + l*x = -7 for o.
1
Suppose -3*h = -5*h + 6. Suppose -h*o = 5 - 14. Let c = 0 + o. Solve u = -2*n, c*n - u - 2 = 4*n for n.
2
Let n(t) = -5*t + 4. Suppose -4*b + 21 = p + b, 5*b - 39 = -4*p. Let s = -8 + p. Let o be n(s). Solve -4*k = -v + o, -14 = 2*k + v + 2*v for k.
-4
Let q = 34 - 18. Suppose g + q - 23 = 0. Solve g*y + 2*z = 2*y + 8, y - 3*z - 5 = 0 for y.
2
Let f = -229 + 233. Solve -b - 3 - 11 = f*o, 3*o = -b - 10 for b.
2
Suppose -297 + 294 = -o. Solve -o = -s + w, s = 4*w + 7 - 1 for s.
2
Let b be (3/(-2))/(12/32). Let h(t) = t**2 + 2*t + 4. Let n be h(b). Suppose 0 = -w - 2*w + 6. Solve 0*o + 7 = o - u, -w*o + n = -u for o.
5
Let p(f) = -f**3 - 11*f**2 + 14*f + 27. Let q be p(-12). Let c = -5 + 8. Solve 16 = -2*t - 0*u + 3*u, q*u = c*t + 21 for t.
-5
Let w = 405 + -401. Suppose -2*x + 5*n = -30, -n = 2*x + 3*n + 6. Let q be 17/5 + (-2)/x. Solve 3*v = -2*z - 15 + 2, -17 = q*z + w*v for z.
1
Let q = 250 + -103. Let v = 237 - q. Let f be (2/4)/(3/v). Solve -5*h - 4 = i - f, -2*i + 5*h - 23 = 0 for i.
-4
Let j(l) = -l**3 - 18*l**2 + l + 23. Let i be j(-18). Solve 4*p + 0*p = 3*b + 1, i*p + 7 = b for p.
-2
Let v be 2/3 - (-5 + (-17)/(-3)). Solve 5*l = -15, 2*t + 0*l - 4*l - 8 = v for t.
-2
Let l = -154 - -29. Let z = l + 130. Solve 15 = -z*k - 2*s, -k + 0*k - 4*s - 3 = 0 for k.
-3
Let d be 1*(3 + -5 - 5). Let p(h) = -h**3 - 6*h**2 + 2*h - 13. Let q be p(d). Let c = q - 22. Solve 2*s = 3*w + 3*s, c = -2*w + 4*s for w.
0
Let q = 13 + -9. Solve 5*m + 1 = j + 4, -4*m = -4*j + q for m.
1
Suppose 0 = -i + 1 - 11. Let x = i + 25. Let f be 9 + -7 + (-1 - -2). Solve 0 = f*w + 3*o + x, -o + 3 = -w - 0*w for w.
-4
Let j(l) = 15*l + 32. Let q be j(4). Suppose 0 = q*k - 96*k + 16. Solve -3*w + 14 = k*b, -5*w - 5*b + 4 = -11 for w.
-2
Let a be ((-483)/(-24))/7 - 7/(-56). Solve 3*k + a = 0, 3*b + k = -0*k + 11 for b.
4
Let p be 22 + -4 - (9 + 1). Solve 4*l - 4*j = -5*j - 7, -p = -4*l + 4*j for l.
-1
Let o be (3 + -4)*(6 - -2). Let y = -3 - o. Suppose 13 = 3*m - 2*t, t + 0*t + y = 0. Solve -4*u = 2*s - 12, s + 2 = u - m for s.
0
Suppose 35*r = -30*r - 20 + 215. Let z be 2/6*(-51)/(-1). Solve -3*f - o - z = -r*o, f = 3*o - 15 for f.
-3
Suppose 2*o = -1 + 27. Let s(k) be the third derivative of k**4/24 + 8*k**3/3 + 18*k**2. Let y be s(o). Solve -5*c = d - 10, -5*d + 3*c - 7*c + y = 0 for d.
5
Let a be -2 + (6 - 5) - -5. Solve 0 = -h - z + 5, a*h = -3*z + 13 + 4 for h.
2
Let l be -4*1*(1 + -3). Suppose 128 = l*w - 4*w. Let y = w + -14. Solve y = -4*p + 4*m - 2, 0 = -4*p - 4*m + 20 for p.
0
Suppose 13*s - 9 - 43 = 0. Solve -2*i + 2*l = -8, 6 = -3*i - 7*l + s*l for i.
1
Suppose 155 = 4*l + t, -4*l = 2*t - 6*t - 160. Let m = 55 - l. Let v be (4 - 9)*(-84)/140. Solve -x = -3*a + 14, -m = -v*a - 4*x + 3 for a.
5
Suppose 3*j = 6*j - 18. Let i be (-3 + 5)*j/4. Suppose 0 = -3*r - 0*r. Solve -i*x + 0*c - 4*c + 4 = r, 0 = 4*c - 16 for x.
-4
Suppose 2*b + 3*p = 1, 7*p - 13 = -4*b + 12*p. Solve 4*o - 10 = 5*j, -b*j = 2*o - 7*o + 21 for j.
2
Let l be (-8)/(-1) - (-5 - 39)/(-11). Solve -l*i - 6*v - 17 = -3*v, -5*v = -5 for i.
-5
Let c be 8*(((-54)/(-12))/(-3) - -2). Let f be 9/2 - (-1)/(-2). Let o be (52/(-16) + c)*f. Solve 8*x = -3*l + o*x, x = -3 for l.
5
Suppose 2*q = 3*r + 8, -5*q = r - 10 - 10. Solve 3*c - 32 = q*t, -3*t + 2*t = 5*c - 15 for c.
4
Suppose 3*v + v + 32 = 4*x, -5*x - 2*v + 19 = 0. Solve 5*f - 3*q = -32, 2*f - x*q = -4*q - 12 for f.
-4
Suppose 0 = 6*g - 3*g - 144. Suppose 0*p + g = 4*p. Suppose s + 3 - 5 = 0. Solve i = 5*z - 6 - 8, p = -s*z - 4*i for z.
2
Suppose -6*q - 126 = 12. Let f = q + 29. Solve -r = -h - f, 3*h - 8 + 22 = r for r.
2
Let m(v) = 13*v + 2. Let f be m(-1). Let w(z) = -z - 10. Let l be w(f). Let o be (4/(-10))/(-1*(-1)/(-10)). Solve 2*u = -3*u - 5*k, -3*u - o*k - l = 0 for u.
1
Suppose 10*f - 12*f = -20. Let o be (34/5)/(16/f)*4. Solve 4*b + n = -o, 2*b + 0*b + 11 = -n for b.
-3
Let g(o) = o**2 - 5*o + 7. Let q = 35 + -24. Suppose 0 = -4*a + 13 + q. Let f be g(a). Solve f = 5*r - 0*d - 4*d, -2*r + 5*d = 5 for r.
5
Suppose -84 = -12*j + 6*j. Suppose 5*c = -j + 34. Solve -4*x + z + c = 0, 2*x - 6*x - z = 4 for x.
0
Suppose -7 = -w - 5*u, -2*w + 2*u - 5*u + 7 = 0. Solve -1 = -l - m + w*m, 0 = 3*m for l.
1
Let w be (-8064)/(-792) - 2/11. Solve -4*a + 2*z = -w, 5*z + 25 = -4*a - a for a.
0
Let d be (3/6)/(2/4) - -1. Suppose -21*m = -5*m - 64. Solve -7*q + 30 = -5*v - d*q, -15 = v - m*q for v.
-3
Let p be (-76)/8*4/(-2). Suppose 0 = 13*x - 71 + p. Solve -x*d - 16 = 0, 9*d - 4*d + 4 = 4*m for m.
-4
Let m(d) = -d**2 + 5*d - 2. Let n be m(3). Suppose 3*q = -q + 20. Suppose q*h - 2*w - 26 = w, 6 = h - w. Solve 5*y - x = 3*x, h*x = n*y + 4 for y.
4
Suppose -4*g = -138 + 126. Solve 0 = 4*q + 5*a + 4, -4*a = g*q + 8 - 4 for q.
4
Let o(a) = -14*a - 10. Let s be o(6). Let q be s/8 + (-2)/8. Let n = q + 15. Solve -n*u = -x + 20 - 6, 3*x - 3*u - 18 = 0 for x.
2
Suppose 5*d = -4*b - 0*d + 12, 0 = -3*b - 3*d + 9. Suppose 22 - 61 = -3*y + b*q, 4*y = 2*q + 56. Solve -y = -2*z - t, 0*z + t = -z + 10 for z.
5
Suppose 0 = -2*v - 2*v - 5*s, 0 = 5*v - s. Let a be (3 - 0/(-2)) + v. Let q be 0/(-1)*(-3 - 3 - -5). Solve q = a*u - 0*u - 3, 3*r = 4*u - 13 for r.
-3
Let z(q) be the first derivative of q**2/2 - 2*q - 13. Let n be z(5). Solve -3*s - 2*s + 2 = n*d, -5*d - 6 = -s for s.
1
Let l = -6 - -1. Let m = l - -12. Suppose 4*g = m*g. Solve -11 = 2*r + z, -2*z = -3*r - g*z - 6 for r.
-4
Let h = 2 + 1. Suppose h*z = 3*t + t + 842, -t = -3*z + 827. Let r be z/6 - 12/18. Solve -3*s - r = -4*o - 8*s, 0 = 2*s - 10 for o.
5
Suppose t - 8 = -5*o, -4*t - 33 = -5*o - 15. Solve -5*h + 5 = -u, -4 + 5 = o*u + h for u.
0
Let w(q) = -58 - 11*q + 60 - 2*q. Let d be w(0). Solve 3*u - 2*s = -16, -2*s + 5*s + d = -2*u for u.
-4
Let p be 5/25 + (-88)/(-10). Let f(g) = -4*g + g**3 - p*g + 4*g - 3 + 6*g**2 - 4. Let v be f(-7). Solve -x = -3*n - 11, -4*x = n + 4*n + v for n.
-3
Suppose -9*u + 50 = -49. Solve 3*a + u = -5*d + 6*a, 2 = d - 2*a for d.
-4
Suppose -2*d = x - 0*x - 14, -2*d + 2*x + 2 = 0. Suppose -n - 5*p = -26, d*n - 41 - 5 = -4*p. Solve 5*s - 10 = -w + n, -3*w + s = 0 for w.
1
Let p be (-2 - (-10)/6)/((-3)/90). Suppose 2*j + 9 = k, -5*j = 5 + p. Let f be 5 + 1 + 1*-1. Solve -c = f*z + 2, -c + 1 = -z - k for c.
3
Suppose -24 = -2*j + 4*j. Let u be 6/j - (-7)/2. Solve -3*o - f = f - 10, 5*o - u*f = -15 for o.
0
Let t = 118 - 104. Let q be -1*3 + -9 + t. Solve 2*l + l + 19 = 5*m, -q*l = 5*m - 4 for m.
2
Suppose -2*z + l = -15, -2*z + 10 = -4*l - 20. Solve -11*j = 2*a - 8*j + 5, -z = -5*j for a.
-4
Let j = -977 + 977. Let v(m) = m**2 + 6*m + 5. Let y be v(-6). Solve j = y*g + 15, -16 - 1 = -x + 5*g for x.
2
Let b = 27 + -24. Suppose -2*t - b + 5 = 0, 3*u - 67 = -4*t. Solve -g = 4*q + u, -3*q - 4 = 8 for g.
-5
Suppose 6*t = 5*t + 3. Suppose 0 = v + 5*z + 1, 3 = -z - 2*z. Suppose p - 3 = v*w, -3*w - p + 0 + t = 0. Solve w = 2*f + 4*a, 2 = f - 3*a + 4*a for f.
4
Suppose 5*w + 37 = -123*l + 126*l, 3*l + 5*w = -13. Solve 0 = -3*b - i - 8, -l*i = -2*b + 3 + 1 for b.
-2
Suppose -4*y = -20, -g = -10*y + 13*y - 21. Solve 2*l = 3*l + 2*x - g, -5*l + 2*x = 30 for l.
-4
Let y be (-5 + 6)*(2 + 0). Let o be -1*((-2 - -2) + -5). Suppose r - 4*a - 4 = 3*r, 2*r = -a + o. Solve 4*n = r*x - 0*x - 8, 2*x + y*n = -16 for x.
-3
Let b = -47 - -35. Let m be b/(-8)*((-3)/(-9) + 1). Solve 2*h - 4*p = 2, 5*p = 2*h - 0 - m for h.
1
Let u = -35 + 60. Suppose -15 = -5*c - 5*g, -3*c = 6*g -