 v*m - 12. Solve 2*r = -2*b + r + 3, -4*b - 19 = -a*r for b.
-1
Let q(v) = v**2 - 7*v + 6. Let d be q(6). Let k be ((-3)/(-3) + d)*7. Solve -5*h + 20 = -s, -k - 1 = -3*s - 2*h for s.
0
Let c be 2/12 + 583/66. Suppose c = -b + 4*b. Solve 0 = 5*i - 5*g + 10 + 10, -b*g = -4*i - 17 for i.
-5
Let j(p) = -p**3 + 4*p**2 + p. Let w be (-5)/(-2)*(-24)/(-15). Let n be j(w). Solve 5*g - 12 = -n*c - 0*g, -9 = -3*c - 4*g for c.
3
Let f(j) = -j**2 - j + 2. Let b be f(-2). Solve -i + 16 = 3*i - 2*r, b = -3*r - 6 for i.
3
Suppose -3*k = -51 + 6. Let w = 0 + k. Solve b - 3*b - u = 9, -5*b = -5*u - w for b.
-2
Let k be (2 + -8)*(-2)/4. Suppose -z = k*z. Suppose z = 2*u + u - 12. Solve u*l = -4*f, -4*f = -0*f - 5*l + 27 for f.
-3
Suppose 0 = 5*t + 15, 2*t + 0 + 58 = 4*l. Solve -2*u = -u - 5*i - l, i = -5*u + 13 for u.
3
Let h = -8 + 13. Suppose -4*l = -3*l - h. Suppose l*k - 11 = 4. Solve -13 = 3*a + 5*s - 4, 9 = -k*a + 4*s for a.
-3
Let r = -120 - -120. Solve -m = -3*i + 2, 6 = i - 3*m - r*m for i.
0
Let y be (3*-1 - -2)/1. Let t(m) = m**3 + 2*m**2. Let u be t(y). Let q = u - -1. Solve 0 = q*s - 2*n + 16, -2*n + 3 = -n for s.
-5
Let o(u) = u**3 + 10*u**2 - 11*u + 6. Let q be o(-11). Solve -4*v = -16, -q + 2 = -2*k - v for k.
0
Suppose 4*n + 20 = 5*l, 5*l = 5*n + 4*l + 4. Suppose -r + n + 3 = 0. Solve -a + 4 = 5*s, r*s + 1 = 2*a + 6 for a.
-1
Let j(n) = 7*n**2 + n - 1. Let p be j(1). Let m(i) = -i**3 + 6*i**2 + 10*i. Let l be m(p). Let c = l - 10. Solve v = q - 3, 7*v = 4*v - 2*q + c for v.
1
Let c = 5 - 1. Let l(x) = x**3 + 7*x**2 + x + 9. Let q be l(-7). Suppose -g - q*g = 0. Solve 4*y - 5*i - 12 = 4, -c*y + i = g for y.
-1
Suppose -5*l - 18 = -11*l. Solve k - 7 = -4*a + 18, 3*k - l*a = 0 for k.
5
Let b be 2/(-4) - (-1)/2. Let a(y) = -y**2 + 3*y + 4. Let s be a(3). Suppose s = v - b. Solve 0 = -3*x - 5*m + 32, 0 = -x - 3*x + 5*m - v for x.
4
Let d be -2 + -5 + 4 + -1. Let a = 1 - d. Solve 2*q = 3*w - 14, -10 = 3*q - 3*w + a for q.
-1
Suppose 2*n = 5*n - 12. Solve w + 4 = 5*v - 0*w, n*w = 5*v - 16 for v.
0
Suppose 118 = 5*l - 2. Solve 2 = -2*w + 2*t, -4*t - l = 2*w + 2 for w.
-5
Suppose -2*j = w - 4, -4*w + j + 5 = -2. Let t be (-12)/9*-3 - -2. Solve -2*h + t*h + 14 = w*y, 0 = -4*h - 4 for y.
5
Let q be (1/(-2))/((-2)/4). Let b = q + -2. Let t be 1*((2 - 1) + b). Solve 5*r - 11 = 4*u - t*r, -2*u - 2*r - 10 = 0 for u.
-4
Suppose 24 = z + 8. Solve 0 = l + 3*r + 1 + 6, 0 = 5*l - 2*r - z for l.
2
Suppose -5 = 5*a, -t + 0 = 5*a - 9. Suppose p = 4, -3 = -4*x - 2*p + 13. Solve 2*l - t = i - 5*i, 11 = 5*l + x*i for l.
1
Let w be (-1 + -15)*5/(-5). Suppose -4*r + r - 6 = 0, -2*l - 5*r = -w. Solve -5*j = -d + 7 + 4, j = 4*d + l for d.
-4
Let w = -5 - -10. Suppose -3*q - 1 = -4*i - 3, i = 4*q - 7. Solve -3*v - q*n - 9 = 0, w*n + 6 = 3*v + 2*n for v.
-1
Suppose -15*l = -17*l. Solve -2*d = -3*f - 16, -d + l*f = -2*f - 10 for d.
2
Suppose 1 = 5*t + 5*i - 4, -t + 5*i + 7 = 0. Solve -4*p = -l + t*l - 14, 2*l - 7 = -p for p.
3
Let y = 1 - -1. Solve 4*b - j = 0, -4*j = -4*b - y*j for b.
0
Let s = 14 - 11. Solve 0 = -l - s*b - 8, -4*l - b = 4*b + 18 for l.
-2
Let k(s) = -s + 19. Let i be k(13). Solve 3*y + 4*b + 25 = 0, y + 4*b + i = -13 for y.
-3
Suppose -5*z - 5*y + 10 = 0, -26 = 4*y - 10. Solve 5*p + k + k + 18 = 0, -3*p + z = -3*k for p.
-2
Let y = -1 - -1. Let w = 10 + -15. Let f = w + 10. Solve 2*o - 12 - 2 = 4*b, -4*o + f*b + 19 = y for o.
1
Let i(q) be the first derivative of -q**2 + 2*q + 1. Let s be i(6). Let y = -7 - s. Solve y*t = v - 14 + 2, -4*t = 2*v + 26 for v.
-3
Suppose -5*w + 69 = r, -r - 3*w + 7*w + 78 = 0. Let j be 9/(-54) + r/12. Solve 5*z = m + 2*m + 6, 0 = -5*z - 3*m - j for z.
0
Let t be -1 - -5 - (0 + 0). Suppose 0*v = -v + t. Let c(g) = -g**2 + 5*g. Let s be c(v). Solve 3*q + s*y + 0*y + 7 = 0, 0 = 4*q - y + 22 for q.
-5
Suppose -4*l + 2*t = -12, 0 = 5*l - 6*t + t - 15. Solve 1 = -k - 2, l*u + 6 = k for u.
-3
Suppose 0 = 5*b - z - 14 - 33, 4*z = -8. Let x = b + -7. Solve -2*o - 3*o - x*u = 21, 2 = -2*o - 4*u for o.
-5
Suppose 14 + 26 = 10*a. Solve 2*w - 6 = a*t - w, 0 = -4*t - w + 2 for t.
0
Suppose -6*m + 3*m + 6 = 0. Let i be ((-15)/(-9))/(4/12). Let l be i*3*(-6)/(-45). Solve -v = -3*r - m, 0*r - 12 = -2*r - l*v for r.
1
Suppose -2*q + q + 0*q = 0. Solve -3*c + 16 = -5*n - 21, -4*c + n + 21 = q for c.
4
Suppose 0 = -5*z + 20, 3*l - z - 6 = -1. Suppose m + 3 = 9. Let i be (-2 - 0)/(m/(-21)). Solve -2*y + i*y = -l*c + 32, 4*y - 4 = 3*c for c.
4
Let s = 23 - 19. Solve -y = m - 3, s*m = 5*y + 2*m + 6 for y.
0
Suppose p + 47 = 2*c, 0*p = c - 2*p - 19. Let i = -10 + 15. Suppose -i + c = 4*g. Solve -5*z = 4*f + f - 10, -g*f - 26 = -4*z for z.
4
Let f(i) = i**2 + 7*i. Let s be f(-6). Let c(w) = w**2 + 7*w + 9. Let a be c(s). Solve -5*r + 3*t - 2*t = 21, a*r + t = -11 for r.
-4
Suppose -4*m + 3*m = 0. Suppose 4*w + 0*w = m. Solve -4*n = -n + 12, w = -2*c + 5*n + 14 for c.
-3
Let d be 9 - (0 - (1 - 1)). Let r be (-6)/(-33) + (-114)/22. Let f be (r - -2)/(1/(-8)). Solve d = -2*t + 5*k, t = -2*t - 5*k + f for t.
3
Suppose -3*h + 5*z = -0*z + 54, 5*z = -4*h - 37. Let y = -9 - h. Solve 0 = -2*j + 2*a - 14, -4*a + y = -5*j - 28 for j.
-4
Suppose 2*d + 4*q = 22 - 4, -d + 11 = 3*q. Suppose -4*v - 10 = -p + 3*p, 0 = 3*v - d*p + 1. Let y = 7 + v. Solve -t + y*s + 3 = 10, 5*t - 19 = -2*s for t.
3
Let v = -8 + 11. Solve 0 = v*c + 3*y - 0*y + 9, 4 = -2*y for c.
-1
Let q = 15 - -8. Solve 0 = i - 4, 3*v = i + i - q for v.
-5
Suppose 4 - 2 = l. Suppose -w - l*b = -18, 0 = -w + 3*b + 7 + 1. Let g be 4/w + 57/21. Solve -4*h = g*q - 26 + 8, 5*q - 10 = 0 for h.
3
Suppose 4*c + 5*z - 2 = 0, -2*z + 1 = c + 2. Solve 5*n - 22 + 7 = 3*o, -2*n + c*o + 15 = 0 for n.
0
Let o be (-7)/(28/(-88)) - (-3 - -1). Solve -4*w + p + o = -p, -2*w = -3*p - 16 for w.
5
Suppose 3*b + 16 = -b. Let l be (-31)/4 - (-1)/b. Let t be l/4 - 1*-7. Solve -u = d - t, 4*u - u + 25 = 5*d for d.
5
Suppose 4*b - 8*d = -4*d, -3*b + d + 10 = 0. Solve -b*v + 17 = 3*k + k, 0 = -3*v - k + 6 for v.
1
Let f(r) = -r**3 + 5*r**2 - 5. Let g(s) = -s**3 - 1. Let w(k) = -f(k) + 2*g(k). Let t be w(-5). Solve 4*z - j + 8 = 0, -5*j = t*z + 13 + 16 for z.
-3
Let y(w) = 3*w - 2*w + 0*w. Let x be y(2). Let d = -19 - -25. Solve -x*l + 0*l - 4*q + d = 0, 6 = 5*l + q for l.
1
Let u = 65 - 32. Suppose 0 = 4*k + 5*y - 25, -3*k - 5*y + u - 13 = 0. Let q be (-4)/(-6)*18/4. Solve 5*r - 25 = -q*z, 0 = -4*r + k*r - 2 for z.
5
Suppose 3*w + 46 - 1 = 0. Let z be (-111)/w - (-4)/(-10). Solve -2*u - 10 = 4*a, -2*u + z*u + 5 = -5*a for a.
-4
Suppose 0 = -g + 2 + 1. Solve -2*f + 20 = -g*q, 4 = 4*q + 2*f + 3*f for q.
-4
Let f(n) be the first derivative of -7*n**2/2 + 4*n + 7. Let l be f(-4). Solve 5*k - i + 25 = 0, 2*k + k - 4*i = -l for k.
-4
Let l(p) = p + 4*p + 4*p**2 - 2*p**2. Let r be l(-4). Let w be ((-9)/(-27))/((-1)/(-15)). Solve -3*f = -7*f + 4*s + r, w*s + 25 = 0 for f.
-2
Suppose -i = -2*p + 6, 4*p + 3 = -5*i + 29. Solve 4*u - 24 = i*s - 0*u, -3*u = 4*s - 7 for s.
-2
Let d be (10 - 8) + (-16)/2. Let o = 17 + d. Solve 3*j - 2*j + 2*y + o = 0, 3*y = -2*j - 19 for j.
-5
Suppose 2*k - 11 = -5. Solve -18 = -3*r - k*q, -5*r - 5*q - 10 = -8*r for r.
5
Suppose 5*b - 6 = 9. Suppose -7*w + 124 = -b*w. Solve 4*z - 3*y = w, 4*z - 3*y - 26 = -y for z.
4
Suppose -4*h - i = 3*i, 0 = -3*h - 4*i. Solve h*u = 3*q + 5*u + 14, -q = -2*u + 1 for q.
-3
Suppose -3*c = -h, -3*h - 11 = -6*h - 2*c. Suppose 2 = -d + 3*d. Suppose 0 = a - 1 - d. Solve -z + 15 = -4*y, 0*z - h = -a*z - y for z.
3
Let h(m) = -4 - 3*m + 9 + 4*m. Let v be h(-3). Solve -v*r = c + 10, 5*c - 2*c + 15 = -3*r for c.
0
Suppose 2*b + 2*f - 3*f - 7 = 0, -3*b = 4*f + 6. Let s be (-1)/b - (-57)/6. Let p = 16 - s. Solve g = -3*j + 18, 5*g - 2*j + 2 = p for g.
3
Let n be (-26)/(-22) - 4/22. Solve 5*f = -5*r, -5*r + n = 4*f - 1 for r.
2
Let y = 40 - 36. Solve y*d + k = -6, -5*d - 3*k - 15 = 2*k for d.
-1
Let x be (-2 - 3 - -3) + 2. Let m = x + 4. Solve -m*t - l = -11, -4*l - 41 = -4*t + l for t.
4
Let w be 9/(-2)*(-12)/18. Suppose 25 = -4*j - 0*y + w*y, 0 = j - 3*y + 4. Let p = -5 - j. Solve -3*r + v - 13 = p*v, 0 = -5*r - 2*v - 22 for r.
-4
Suppose -p = -6*p + 80. Let f be 4/(-6) - p/(-24). Suppose q + q = f. Solve 0 = 4*n - q*n - 4*o + 8, -n = 4*o - 23 for n.
3
Suppose 2*q = 3 + 3. Let r = -25 