- 2*m, 4*m = 4*r - 0*m. Solve 5 = 4*n + n, r = -4*j - n + 9 for j.
2
Let i = -8 + 13. Suppose 3*g + 3 = 3*p, 0 = i*p - 4*g - 7. Solve -2*r - r = p*q, 0 = 3*q - 2*r + 20 for q.
-4
Suppose -4*b + 28 = -2*b + 4*w, 0 = b + 4*w - 24. Solve -y = -k + 3, -4*k - 17 = b*y - 3*k for y.
-4
Let f = -1 + 3. Let r = -4 + 8. Suppose r = 4*i + y, -4*i - 8 = 6*y - 2*y. Solve b - 3*a = f + 2, 2*b + i*a = -16 for b.
-5
Let s = 26 + -24. Solve 2*n = -5*c - 0*n - 29, -n = -s*c - 8 for c.
-5
Let i(g) = -g**3 - g**2 + 5*g + 3. Let w be i(-3). Solve 2*p - 3*z - 13 = 0, -z - 7 - w = -5*p for p.
2
Suppose 0 = -36*g + 34*g. Solve 0 = -3*v - 5*q + 4, -4*q = 5*v - g - 11 for v.
3
Suppose 0 = 6*g - 12 - 12. Suppose -i - 2*i = 0. Solve i = -g*w - 2*n + 24, -3*w - 4*n - 1 + 24 = 0 for w.
5
Suppose -3*z + 0 = -12. Suppose -w - z*v = -1, -2*w + 4*v = 2*w - 24. Let b be (20/6)/(1/3). Solve -3*a - w*j + 5 = -j, 0 = 4*a - 3*j + b for a.
-1
Let f = -4 - -8. Solve -4*z - 3*l - 7 = 0, 0*l + 4*l - f = -2*z for z.
-4
Let h = 14 + -14. Solve 2*p - 7 = -2*n + 3*p, 5*n + 4*p - 24 = h for n.
4
Suppose 3*t + 0 + 7 = 4*c, 4*c - 28 = -4*t. Solve 10 = -5*l - c*n, 6*l + 6 = 3*l - n for l.
-2
Let s = 14 + -3. Suppose 4*m + 3 = s. Suppose 2*p - 6 = -h + 5, 4*h + m*p - 44 = 0. Solve -h = 4*d - 3*u - 0, 2*u + 2 = -2*d for d.
-2
Suppose 8*h + 17 = 2*l + 3*h, 3*l + 3*h + 27 = 0. Let o be (-10)/l*12/10. Solve 3 = -4*n - v - o, n + 8 = 3*v for n.
-2
Let l = 4 - 2. Suppose 0 = 2*s - 2*o + 1 + 5, 5*s - l*o + 12 = 0. Let c be (s + (3 - -1))/1. Solve -c*d + 18 = -5*d + 3*g, 3*d = g - 12 for d.
-3
Suppose -67 + 3 = -4*g. Let t = g - 13. Solve -t*w = 4*h - 5 + 1, 0 = 3*h - 3 for w.
0
Let v = -8 - -11. Solve -5*s + 20 = -2*i + v, 0 = 2*i + 2 for s.
3
Let h(p) = -2*p - 6. Let s be h(-4). Let l(v) = v**3 + 1. Let n be l(s). Let q = n + -6. Solve 2*r = -3*y + 2*y - 2, 4*y + q*r + 3 = 0 for y.
0
Let o be 9/6*8/6. Suppose o*w - 4 = -0. Solve -4*y = -w*y - 4*t + 26, 5*t - 10 = -2*y for y.
-5
Let j(s) = s + 3. Let n be j(0). Suppose 0 = d - 4*m + 11 + 7, -n*m + 23 = 4*d. Solve -d*y - 3*i + 10 = 2*i, 0 = 3*y + 5*i - 10 for y.
0
Suppose 5*w - 20 = -p - 2, -3*w + 3 = -2*p. Suppose o + 3*d = -9 - w, -4*d = 16. Suppose -8*a + 4*a + 24 = o. Solve 3*s - a = z + 2*z, 3*z = 5*s - 14 for z.
2
Suppose -3*q + 80 = q. Let a be -1*(0 + 1) - 5. Let o = a + 6. Solve 4*r - 20 = -n, -n - q = -o*n - 4*r for n.
0
Let r = 24 - 1. Let c = 25 - r. Solve c*g + 3*g - 10 = -5*b, 2*b + 3*g = 5 for b.
1
Let w(o) = -o**2 - 4*o**2 + 6*o**2 + 8 + 6*o + 3*o. Let l be w(-8). Solve -3 = -m + x, l = 5*m - 0*x + 5*x + 15 for m.
0
Let l(d) = d**2 - d + 1. Let i be l(1). Suppose 5*c + i = 6. Solve h + 19 = 5*j, -c + 11 = 2*j + 2*h for j.
4
Let y(f) = -4*f**3 - f**2 + f - 2. Let x be y(-2). Solve -2*h = 10, -x = -3*p + 3*h + 3 for p.
4
Let j be 1/5*3 - 51/(-15). Solve -2*n + 10 = 5*z, -j*z + 3*n - 2*n + 8 = 0 for z.
2
Suppose -q + 25 = 4*q. Solve 0 = -5*x + 2*x + q*c - 20, -2*x + 2*c = 12 for x.
-5
Let q(y) = -13*y - 22. Let v be q(-2). Solve v*h = -4*d - 40, 0 = -3*h + 3*d - 2*d - 10 for h.
-5
Suppose 2*s - 4*z - 10 = 4, 0 = -2*s + 2*z + 8. Solve -3*i - 2*v = -4 + s, -24 = -4*i + 4*v for i.
3
Suppose -16*s + 18*s = 10. Solve -3*y = p + 1, -3*y + s*p = -6*y - 17 for y.
1
Suppose 9*k - 6*k = 9. Solve y + c = -3 - 6, 0 = -k*y - c - 19 for y.
-5
Let k = -56 - -58. Solve 3*f = 5*s + 30, -k*s = -3*f - 0*s + 21 for f.
5
Suppose 2*a - 10 = -3*r, 5*a + 4 = -1. Solve -5*d = 3*x + 13, 4*x + 3*d = 7*d + r for x.
-1
Suppose -12 = 3*q - 0*q, 5*t + 4*q + 1 = 0. Solve t*z = -w - 1, -2*z + 0*z + 2*w = -2 for z.
0
Suppose 0*s = -3*s - 4*v + 2, -4*s + 9 = -v. Let k be (s/3)/((-4)/(-18)). Solve 2*o + k*t = 8, o = 2*o - t + 6 for o.
-2
Suppose -5 = -g - 3*y, -5*g + 9 = 4*y - 5*y. Suppose g*x = -0*x + 4. Solve -4*h - r = 13, x*h + 0*r = -3*r + 1 for h.
-4
Suppose -k = 3*k - 100. Suppose -c + 5*i = -33, -4*i - i = k. Suppose w - 15 = 3*z, -w + 3*w - 3*z - 39 = 0. Solve 3*u + 9 = 0, w = 5*x - c*u + 5*u for x.
3
Suppose -81 = -5*q - 4*c, -3*q - 2*q + 88 = -3*c. Suppose -o + 2 = 0, -9 + 41 = -4*w + 2*o. Let h = q + w. Solve -5*m = -5*t + h, t - 2*m = -0*t + 3 for t.
1
Let v(f) = -3*f - 8. Let l be v(-4). Solve l*c - 5 = -c + 5*r, -c + 21 = 4*r for c.
5
Let n = 16 + -13. Solve -3*l + t = 9, 0 = 2*l + n*t - 4*t + 5 for l.
-4
Let y(f) = f**3 + 3*f**2 - 5*f - 4. Let j be y(-3). Suppose -2*q - 6 = 0, q = 5*k - j - 2. Solve 0 = 3*o + 12, 0 = k*w + 4*o - 5 + 31 for w.
-5
Let i be (-4)/((2 - -2)/(-2)). Let j be 0 + i/2*-2. Let l be -1 + 1 + j - -10. Solve 0 = -4*b + 3*u - 7*u + l, -4*b - 2*u = -14 for b.
5
Let s = 4 + -2. Suppose s = 3*k - 4. Suppose -k*u = -6 - 2. Solve 0 = -2*z + 2*j + 6, 0*z + u*j = -2*z for z.
2
Suppose 2*u - 1 = 7. Let k be ((-6)/(-5))/((-3)/(-20)). Let x be (-2)/k - 84/(-16). Solve 4*d = q - 0*d + 1, x*q - 19 = -u*d for q.
3
Suppose 0*a + 4 = 2*a. Solve -5*t - 3 = -a*q + 1, -4*q - 2*t = 16 for q.
-3
Let g = 18 - 48. Let c be 3/(-1 - g/27). Let i = c + -7. Solve -s - 4 = w, -5*w - i = -2*s - 0*s for w.
-4
Suppose -5*a - 12 - 8 = 0. Let u(f) = 2 - 4 - 1 - f. Let l be u(a). Solve r - 19 = -5*q, l = -r - 4*q + 17 for r.
4
Suppose 2*m = -4*h, -4 - 4 = -3*m - 4*h. Solve -y + 3*z - 10 = 0, -3*y - 4*z + m + 1 = 0 for y.
-1
Suppose 0*w = 5*w - 145. Suppose b = 5*c - 6, -5*b = 2*c + 5 - w. Solve -c*g - 4*o - 17 + 7 = 0, -4*o - 22 = -2*g for g.
3
Let h = -92 + 96. Solve -15 = 5*b - 3*a, h*b + 5*a = 44 - 19 for b.
0
Let l = -3 - -5. Let k be 2/l - (-348)/2. Suppose -5*c - 7*v + 3*v + k = 0, 2*c + 4*v - 82 = 0. Solve 4*f - 3*i - 1 = 0, 4*f = -0*i - 3*i + c for f.
4
Let z = -16 - -19. Solve 4*j - 7 = -2*d + d, 15 = -z*d for j.
3
Let m = 53 - 47. Solve 4*c - n - 2 = -2*n, -3*c = 3*n - m for c.
0
Let f = 9 + -5. Solve -15 = -5*k, -3*k - 3 = -5*o - f*k for o.
0
Let k be (6/(-9))/((-8)/36). Solve k*b = 4*r + 13, -2*r = 4*b + 3*r - 7 for b.
3
Suppose m = -3*m + 24. Let c be 4/m + 1/3. Let u be c - (6/(-3))/(-2). Solve 4*b - 2*o + 4 = u, 4*b + 0*b - 4 = -2*o for b.
0
Let v = 3 - 1. Suppose -3*f = -4*j, -2*f = -3*j - 0*j - 1. Let r = -1 - j. Solve v*m - 2 = -0*m - k, r*k = 5*m + 4 for m.
0
Suppose -10 = 25*a - 30*a. Solve -a*y - 10 = n + 3*y, 3*y = -5*n - 6 for n.
0
Let u be 0 - (-2 + 0) - 2. Suppose u*d - 6 = -2*d. Let q be (-2)/(-1 + d)*-2. Solve q*j = 4*v - 8, -j + 4 = 5*v - 2*j for v.
0
Suppose -22 = -5*k + 3*x, k - 2*x + 0 = 3. Solve 4*s = k*f - 5, -3*s + 0*f - 3*f = 24 for s.
-5
Let k be (-2)/(0 - (1 + 1)). Suppose 5 = g + k. Suppose -3*p - 3*y = -g*p - 12, 3*y = 15. Solve -5*b = -5, -4*j = p*b - 2 + 19 for j.
-5
Let f(z) = -2*z - 9. Let v be (-6)/(5 - 2) - 5. Let l be f(v). Solve 4*y = 3*r + r - 32, 4*r = l*y + 37 for r.
3
Suppose -2*v + 13 = l, -5*v + l - 5 + 34 = 0. Let w = -17 - -10. Let h = w + 12. Solve -3*m - h*a = -9, -3*a - v = -6*m + 4*m for m.
3
Let u(h) = 5*h**2 - h + 1. Let o be u(1). Let k(m) = -2*m + 4. Let b be k(-5). Suppose -5*c + 3 = -7. Solve -b = -v + o*q, -c*v + 7*v - q - 22 = 0 for v.
4
Suppose 0 = u + 2*u - 12. Suppose -10 = -u*w - w. Solve -w = 2*m - 2*t, -2*m = 2*t - 17 - 1 for m.
4
Suppose -142*b = -138*b - 16. Solve w - 3*d - 7 = 0, b*d = -2*w - 0*w - 16 for w.
-2
Let s be (-32)/(-11 - -3) + (-1 - -22). Solve -5*k - s = 0, -k - 2 = -u + 3 for u.
0
Let g(m) be the third derivative of m**4/24 + 7*m**3/6 - m**2. Let p be g(-5). Let r = -12 - -24. Solve -4*d + k - 4 = 17, p*d + 4*k - r = 0 for d.
-4
Let f = 40 - 18. Solve 10 = -5*g, 5*d + f = -5*g + 2 for d.
-2
Suppose 28 = 2*u - 12. Solve 32 = 5*p + 4*s, 2*p - 5*s - u = -9*s for p.
4
Let o(s) = -8*s**3 - 1. Let z be o(-1). Solve -4*h - z = -3*y, 5*h + y = 4*y - 8 for h.
-1
Let x(i) = i - 18. Let q be x(38). Suppose 12 = 3*a + 4*k, -3*a + 5*k = -8*a + 15. Solve a = 5*v - z - 5, 5*v + 2*z = -2*z - q for v.
0
Let l = 16 + -7. Suppose 0 = -l*x + 4*x. Let g = 39 - 31. Solve -5*t - p + 3 = 0, -3*p + 1 + g = x for t.
0
Suppose -7*h - 11 + 53 = 0. Solve 2*j + 2 = 4*d, -h*j + j = d - 6 for j.
1
Suppose 1 = 5*v + 46. Let f = -5 - v. Let m be 0/(4 - (3 - -3)). Solve s - 14 = 2*t, m*t - f*t - 40 = -5*s for t.
-5
Suppose 5*t - 16 = -2*p, -p = -2*p - 3*t + 8. Solve 4*r = 5*q + 7, 5*r = 4*r - 5*q + p for r.
3
Let s be ((-1)/(-2))/1*-262. Suppose m = -73 - 21. Let u = m - s. Solve -5*k = 6*n - 2*n - 40, -3*k = 5*n