*b - 19. Solve -5*m - 3 = -k, 0*m - 3*m - b*k = -9 for m.
0
Let j(x) = 2*x**2 + 7*x - 1. Let h(f) = -f**2 - f + 1. Let a(d) = 3*h(d) + j(d). Let u be a(3). Solve 5*r + 12 + 7 = -3*v, 2*v - 29 = u*r for v.
2
Let u(q) = -2*q + 4. Let k be u(0). Solve 0*y - 5 = -5*z - y, -k*y = 5*z - 5 for z.
1
Suppose 0*z + 3*r + 7 = z, -5*r = 2*z - 14. Suppose 5*c - z*c = -12. Solve -c = q - x + 3*x, -q = x + 2 for q.
2
Let r = 118 - 113. Solve -5*b - u + 7 = 0, b - 2 - 9 = -r*u for b.
1
Let f(p) = 2*p**2 - 2*p - 1. Let m be f(-1). Let z(l) = -l + 6. Let r be z(m). Solve -r*w - 3*k - 29 = -7*k, 5*w = 2*k - 25 for w.
-3
Suppose 5*q - 10 = -0*q. Suppose -6 = v + 2*v. Let c(m) = -4*m - 3. Let f be c(v). Solve -3*t + 15 = 3*y, -q*t + y - 13 = -f*t for t.
4
Suppose 0*i = -3*s + 4*i + 38, -5 = -5*s - 5*i. Suppose -x - 2 = -2*y, 0 - s = -3*y. Solve f - 3*v - 10 = 0, -4*f + 24 = -x*v - 2*v for f.
4
Suppose z + 6 = 4*z. Let q(v) = v**2 - 3*v + 6. Let j be q(4). Suppose -z*y - j = -4*y. Solve 11 = -y*b + 3*u - 4*u, 4*b - 4*u = -4 for b.
-2
Suppose -5*r = 2*h + 5 - 15, h = -4*r + 11. Solve i = -x - 5, -3*x + r*x = -2*i - 7 for x.
-3
Let z(c) = -2*c**2 + 17*c + 13. Let u be z(9). Solve -5*q + 8 = -u*j, 6*q - 2*q - j - 2 = 0 for q.
0
Let d = 13 - 6. Solve 18 = -4*w + 2*l, 2*w + d = w + 3*l for w.
-4
Let v = -9 - -11. Suppose h + v*h - 12 = 0. Solve -h*n + 2 = -w + 3*w, -w + 3*n = 4 for w.
-1
Suppose 18*o + 72 = 22*o. Solve 5 = 4*b + 3*x + o, 3*b + 14 = 2*x for b.
-4
Let u(z) be the first derivative of 1/3*z**3 - 4*z + 2 + 5/2*z**2. Let h be u(-6). Solve 2*y - 4*y - 5*f = 2, f + h = -2*y for y.
-1
Suppose 4*l - l = 0. Let c be (-3)/(-15) + 3/(-15). Let n be 1 + c - (-2 - l). Solve 4*p + o = 0, -n*o - 13 = 3*p + o for p.
1
Let u(j) = -j**2 + 0*j - 4 + 6 + j. Let l be u(2). Let f = 0 - l. Solve 0 = -2*g + 5*c, f = -3*g + 3*c - 5 - 4 for g.
-5
Let m(h) = -3*h**3 - h**2 - h. Let z(g) = -g + 8. Let s be z(9). Let v be m(s). Solve 0 = -f - 5*n + 19, -2*f + v*n - 1 = -0*f for f.
4
Suppose 5*a - 3*g - 19 = a, -14 = -4*a - 2*g. Suppose b + 2*b - 14 = -m, 4*m + 8 = a*b. Solve w + c + c = 9, 3*w + b*c = 23 for w.
5
Suppose 1 = -2*t + 3*t + 4*b, 5*t - 3*b - 28 = 0. Solve 0 = t*j, j - 10 = -5*d - 2*j for d.
2
Suppose -4*h + 28 = -5*d, 3*h + 5*d + 16 = h. Suppose 4*n - 2*n + 2 = -5*g, -h*n = -3*g - 14. Solve -3*m = -5*q - 17, n*q + 18 = m + 3 for m.
-1
Let k = -4 + 4. Suppose -2*l = 2*z - 4*z - 70, -5*l + 165 = -3*z. Let x be -1 + 1 + l/2. Solve k = 2*o + w + 4*w + 17, -x = -5*o - w for o.
4
Let l = 88 - 52. Suppose 3*n + 0*n - l = 0. Suppose 0 = -v - 4*k + 3, -v + 5*v + 4*k - n = 0. Solve 0 = 3*z + 3*u + v, -2*u = z - 2 + 5 for z.
1
Suppose -2*i - 75 = -5*i. Let r be (-65 + 6/(-3))/(-1). Let f = r - i. Solve -30 = -5*k + 3*m, k - 5*m + 14 = f for k.
3
Suppose -3*u = 3*z - 36, -4*u + 0*u - 24 = -5*z. Suppose -3*h + 4 = -z. Let t = 13 - 10. Solve 2*g + t*g - 20 = -5*q, h*q = 3*g + 16 for q.
4
Let f be 1/(-2) - (-138)/12. Solve -4*c - x = 4*x + 11, -2*c + 3*x = -f for c.
1
Suppose 0*c = -2*c + 8, 4*z - 3*c = 12. Solve -z = -b + k, 2*b = k + 8 - 0 for b.
2
Let y(h) = h**3 + 3*h**2 - 7. Let j be y(-4). Let l = -23 - j. Let b = -7 + 13. Solve 3*x - 5 - 4 = -q, -2*q + b = l for x.
2
Suppose -26 = -10*q - 6. Solve q*p - l - 10 = -5*l, -l = -5*p - 19 for p.
-3
Suppose 3*s - 1 = 5. Solve -5*g - 3*j + s = -5, -3*g + 1 = 5*j for g.
2
Let m be 5/(-8)*2*-4. Let z = -6 + 9. Suppose 0 = m*t + 3*k - 13, t + 0 + 1 = z*k. Solve -5*l = -n + 3, -7*l + t*l = -3*n + 9 for n.
3
Let x = 9 - 7. Suppose 5*t + o + 2 = 10, o = -2*t + 5. Let q = 1 - t. Solve q = -5*m - x*j - 12 - 3, j = 0 for m.
-3
Let p(f) be the third derivative of f**6/120 + f**5/30 - f**4/12 + 11*f**2. Let k = 3 + -5. Let a be p(k). Solve 3*b = 2*g, a*g = 4*b + 1 + 3 for g.
3
Let b = -158 + 188. Solve -b = -2*i + 5*i - 3*m, -25 = -5*m for i.
-5
Let j(r) = 2*r - 8. Let w be j(6). Let u be 6/15 + 4/(-10). Suppose -4*m + 20 = -u. Solve w*n + 4*h = -0*n, 0 = -m*n + 3*h + 8 for n.
1
Let s(o) = o**2 + 23*o + 25. Let c be s(-22). Solve 7*m - 12 = c*m - 2*b, b = 4 for m.
1
Suppose 5*g - 3*f - 15 = 0, 6 = 2*g - 0*f + 4*f. Solve 0 = -c + 2*r + 10, 0 = -5*c + g*r - 5*r - 10 for c.
0
Suppose 0*n - 30 = -5*n. Let t = 4 + -2. Solve -t*d - 2*b - n = 2*d, 0 = 3*d + 4*b + 2 for d.
-2
Suppose -11*t + 0*t = -33. Solve 0*j - 2*j + 10 = 0, b = j - t for b.
2
Let t(o) = -o**3 + 2*o**2 + 3*o + 1. Let s be t(3). Solve n - 2 = 2*a, 4*n - s = a + 6*n for a.
-1
Suppose 74*o - 79*o + 30 = 0. Solve 4*q = 2*k - o, -2*q - 2*k + 10 = 4 for q.
0
Suppose -224 = -6*g - 14. Solve 3*t + 24 = 3*d - 0*d, -g = 5*t - 4*d for t.
-3
Suppose 20*m + 30 = 22*m. Solve r = 5*a + m, r + r + 5*a + 30 = 0 for r.
-5
Let r = -8 - -9. Let f(v) = 0*v - 6*v + r + 3*v + 4*v. Let l be f(2). Solve -5*p + l*h - 4*h = -15, -3*p = -2*h - 9 for p.
3
Let z(a) = 4*a**2 - a**2 - 2*a**2 - 5 - 8*a. Let f be z(8). Let l = 10 + f. Solve -20 = -10*o + l*o + u, -3*u - 12 = -3*o for o.
4
Let t = -26 - -36. Solve -2*z - 4 - t = -5*c, 4*z + 2*c = 20 for z.
3
Suppose 2*d + 5*p + 16 = -0*d, 2*d = 5*p + 4. Let z(i) = i**2 + i - 4. Let h be z(d). Solve h*g + 15 = -3*g - 3*y, -2*g - 6 = 4*y for g.
-3
Suppose -4*k - 6 = -7*k. Solve 2*p - k = 2*n, 2*n - 3*n + 2*p = 6 for n.
4
Suppose 2*u + 8 = 3*k, -2*u = -5*u - 12. Solve 2*w + 17 = -3*c, 0 = -k*w - 3*w - 3 for c.
-5
Let a = -1 + 1. Suppose 0*g + 2*g - 8 = a. Solve -20 = g*b - 5*s, -10 = -3*b + 5*b + 3*s for b.
-5
Suppose 4*r - 5*u = 4 + 11, 0 = -2*r - 5*u + 45. Let l be (2 - r)*7/(-14). Let z(q) = 8*q**2. Let a be z(-1). Solve 2*c + 2*w - l = 0, 2*c + w = 3*c + a for c.
-3
Let m = -34 - -47. Suppose -44 = -4*o - 4*v, 3*o - 2*v + 0*v = m. Solve 4*q + 12 = -3*h, -3*h + 16 = -o*h for q.
0
Suppose 5*q - q = 4. Let r = q - 4. Let s = r + 7. Solve s*x = 4*g + 4, -5 = -2*g - 1 for x.
3
Let w(m) be the first derivative of 2*m**3/3 + 2*m**2 + 3*m + 2. Let g = 2 - 4. Let o be w(g). Solve 5*h = -2*b + 2, 6*h + 3*b - o = h for h.
0
Suppose -3*j - 3*u = 2*j + 15, -2*j + 5*u = 37. Let w be ((-1)/(-3))/(j/(-36)). Let m = -13 + 18. Solve m*k = -2*z + w, 4*k = -z - z for k.
2
Let m = -14 - -19. Let n be 8/6*(-6)/(-4). Solve m*z + n*f = -7, -4*z + 0*f - 5 = f for z.
-1
Suppose 3*l - 5*n + 19 = 0, 5*n - 15 = 6*l - l. Suppose -2 - 1 = m + 5*d, l*m + 5*d = -1. Suppose m*h - 3 = 3. Solve -3*a + 6 = -h*z, -5*z = -2 - 3 for a.
3
Let f(m) = 3*m + 2. Let r be f(-2). Let c = r + 6. Let z(v) = 4*v**2. Let b be z(c). Solve p - 2*p + b = 3*s, -16 = -3*p - s for p.
4
Let p = -20 - -33. Solve -w - p = 3*q, -3*w - 4*q + 8 = -8*w for w.
-4
Suppose -z + 2*z + p = 17, p = z - 23. Let g = -7 + 10. Suppose -g*o - a + 2 = 0, 2*o + 5*a = -12 - 4. Solve -4*t = 5*w + z, -3*t - o*w = -t + 10 for t.
-5
Let w be (-2 + (-2)/2)/((-9)/9). Solve w*n - 2*n = 2*l - 4, -5*n = 5*l - 10 for l.
2
Let x(d) = d**2 - 2*d + 7. Let l be x(2). Solve -2*i = -4*a + 2, -4*i + 5*a + 0 = l for i.
-3
Let q be 3/((-51)/42 + 1). Let c = -12 - q. Solve 5*i + c*y - 22 = 0, -2 = -i + y + y for i.
4
Let r be 2/(-5)*1*-5. Let b be (r - -1)*-1*5. Let u be (-5)/(b/(-6)) + 2. Solve z = 5*l - 15, 5*l - 3*z - 38 + 13 = u for l.
2
Let d(u) = -u**2 + 12*u + 2. Let r be d(12). Let w(s) = 2*s + 1. Let l be w(r). Let c = 0 + 1. Solve 2*z + 13 = -5*n, 0*n + l*z = -2*n - c for n.
-3
Suppose -2*g + 16 = -2*j, 0*g + 5*j = -3*g - 16. Solve 0 = 4*o + 3*m + 1, -g*o - 5*m = -o + 11 for o.
2
Let d = 4 - 2. Suppose -m = 1 - d, -2*o - 5*m = -65. Solve -4*n = 4*w - 40, 5*w - 4*w = -5*n + o for n.
5
Let a(x) = -x**3 + 8*x**2 + 10*x - 4. Let g be a(9). Let o be (2 - (0 + g)) + 3. Let r = 8 - o. Solve -4*k - 2*f - r = 0, 0 = k - 2*f - f + 2 for k.
-2
Suppose 9 = 9*j - 9. Solve -j*k - 17 = -3*u - k, 2*u - 5*k - 20 = 0 for u.
5
Suppose 5*b = 3*w + 82, -b + w = 4*b - 84. Let m(h) = h**2 - 6*h + 4. Let x be m(6). Solve -f - 2*f + n = -1, -x*n = f + b for f.
-1
Let d = 4 + 7. Let s(p) = 2*p + 1. Let n be s(2). Solve -n*o = 2*l + d, 5*o - 2*l + 0*l - 1 = 0 for o.
-1
Let o = 6 + -2. Suppose 25 = -s - 4*s, -2*i - o*s = 4. Solve r + i = -0*r + 4*q, 2*r + 2*q = 14 for r.
4
Let f = 17 + -14. Suppose f*z - 15 = -4*o, 0 = z + 3*o + 1 - 6. Solve 0*q - 5 = z*q + 2*c, 2 = -2*q - 4*c for q.
-1
Suppose -5*a - 4*f - 2 = 0, 2*a + f = -3*f + 4. Let n be ((-8)/4)/a - -1. Solve -5*g = -3*c 