 -5*q + 5*m + 35 = 0 for q.
5
Let d(j) = -j**3 + 6*j**2 + j - 25. Let f be d(5). Solve -5*b = -o + 6, 2*b - 18 = b + f*o for b.
-2
Suppose 0 = 5*h - 26 - 4. Suppose -22 = -4*g - h. Solve 3*d + 3 = 4*a, -d + 0*d - 17 = g*a for a.
-3
Suppose 6*a - 6 = 3*a. Suppose -4 = -a*h - 0. Solve -16 = -2*k + 3*i, h*k + 4 + 4 = -3*i for k.
2
Let l(f) = 2*f + 21. Let u be l(-9). Suppose 2*n + 3 = u*n. Solve 4*v = 12, 4*w - 2*w + n*v - 13 = 0 for w.
2
Let q(f) = 2*f - 9. Let w be q(6). Suppose 0 = 3*o - 8*o + 20. Let v be 3 - o - (-17)/1. Solve 3*i + w*x = 12, -3*i - v = -6*i - 5*x for i.
2
Suppose -3*p + 2*s = -9, -4*p + 1 = -5*s - 11. Suppose -5*d = 4*u - 51, d - 19 = -p*u - 0. Let y = -4 + d. Solve 0 = -5*b + 25, -4*o + 0 = -y*b - 5 for o.
5
Suppose -m + 15 = 2*m. Solve -5*i = -4*u - 23, -m*i + 21 = 2*u - 5*u for i.
3
Let h be 3/(-6) - 14/4. Let x = h + 4. Suppose 4*z = -x*z + 20. Solve 1 = s - z*a, 2*s + 0 = -4*a + 2 for s.
1
Let t(k) = k**3 - 8*k**2 + 7*k - 3. Let f be t(7). Let n = 0 - f. Let s = -1 + n. Solve r - 4 = -4*v, -s*v + 3*r = -1 - 15 for v.
2
Suppose 5*k - 56 = -4*n, 2*n + k = -k + 28. Solve 5*p = -2*c + 21, 2*c - 5*c - 4*p = -n for c.
-2
Suppose -3*u = -2*u. Suppose u*o = 3*o. Solve o = -w + 2*i - 2, 4*w + 8 = -0*w + 3*i for w.
-2
Let b = 12 - 7. Solve 4*g = 2*f + f + 2, 11 = -g - b*f for g.
-1
Let r be (-1)/((-2)/4) - 1. Suppose -b + 3 = r. Solve j - b*k - 6 = -6*k, 3*j + k = 7 for j.
2
Suppose -18*i + 22*i - 40 = 0. Solve i + 11 = -3*n - 5*a, 5*a + 9 = 3*n for n.
-2
Let k = 10 + -7. Suppose 0 = 3*b - k*f + 4 + 2, b + 18 = 5*f. Solve -b*l = 4*z - 7 - 11, -3*z = 3*l - 12 for l.
-1
Suppose 2*h + 18 = -2. Let u(i) = -3*i - 3. Let x be u(h). Solve 3*b + 23 = 4*k, 0*k + x = -5*b + k for b.
-5
Let x(z) = z**2 + z - 7. Let a be x(-5). Solve -5*k + 4*k = -2*j - 4, -5*j + k = a for j.
-3
Suppose 5*z = z - 116. Let w = -12 - z. Solve 0 = 3*j - s - 8, -4*s - 3 - w = 0 for j.
1
Suppose -17*v - 8 = -21*v. Solve -o + 5 = 5*c + 25, v*c + 3*o - 5 = 0 for c.
-5
Suppose -4*r - 15 = -9*r. Let s be 5/((0 - -2)/2). Solve 5*i + 10 = -5*p, 2*i + r*p + 0 + s = 0 for i.
-1
Let v = -1 - -4. Suppose -3*n + 5 = -5*n - v*m, 0 = -3*m - 9. Suppose 0 = -2*i - n*i + 16. Solve f + 4*z - 15 = 0, f + z - i*z + 20 = 0 for f.
-5
Let o be (-15)/(4 + (-15)/6). Suppose -92 = -4*k - 4*h, 2*k - 50 = -h - 7. Let z be (-8)/k + (-34)/o. Solve -3*r - 2*a = 3*a + 5, z*r - a = 1 for r.
0
Suppose 45 = -4*d + 9*d. Solve d = -2*t + s, 4*t - 5*s = -2 - 13 for t.
-5
Suppose 0 = -0*v + 2*v - 8. Suppose 2*q = 0, 0 = -v*g - q + 86 - 18. Solve -4*h - 3*u = h - g, 4*u - 20 = -4*h for h.
1
Suppose 3*x + 4 = 4*f, -x - f = -2*f. Let b be 3/(-4) - (-1)/(-4). Let s = b - -7. Solve -2*a - v - s = -2, -v - x = -5*a for a.
0
Suppose -13*w + 9 = -10*w. Solve 1 = 4*c - 3*o - 1, w*c = -5*o + 16 for c.
2
Let f be 13/((-13)/(-6)) + 4. Solve f = 5*l, 3*r + 5*l = 7*r - 2 for r.
3
Let f(y) be the first derivative of y**3/3 + 2*y**2 - 3*y + 1. Let x be f(-5). Solve -2*i - x*i + 5*q = -36, 2*i + 8 = -4*q for i.
4
Let b(c) = c**2 + 10*c - 10. Let t be b(-12). Solve -3*u + 3*o - 22 = u, 3*o - t = 2*u for u.
-4
Let l(h) = h**2 + 10*h + 19. Let u be l(-8). Solve -2*s + 1 = 11, 0 = u*p + 3*s + 18 for p.
-1
Suppose 5 = 2*w - 3. Let p be 0 + 2 + (-3)/1. Let m = w - p. Solve k - m*f - 10 = 0, 3*k + 1 = 5*f + 21 for k.
5
Let j be 1/((-10)/(-4))*2*5. Solve -2*d = -6*d + 2*p - 12, 0 = -3*d + 4*p - j for d.
-4
Let c be (-1 + -4 - -3) + 2. Solve c*k + 4*k - 8 = 0, 2*t - 4*k = -10 for t.
-1
Let c be 5/(-10) - 165/(-10). Solve -2*u + 3 = -z, -5*z + 1 = 2*u + c for u.
0
Suppose 2*u + 0 = 4. Suppose -2*g - 3*g + 15 = 0. Solve -g*m + 1 = -u, -6 = 3*t + 3*m for t.
-3
Let h = 20 + 11. Let r = -7 + 7. Solve d = 3, h = -r*j + 5*j + 2*d for j.
5
Suppose -4*d = d - 5, r + 4*d - 8 = 0. Solve 4*u - 3*b + 2*b = 11, -12 = r*b for u.
2
Suppose 4*b + 2 = 2*b. Let z(w) = 10*w**2 + 2*w + 1. Let p be z(b). Solve 3*u - 2*u - r = p, 2*u = 3*r + 23 for u.
4
Suppose 4*z = 5*s - s, 12 = -3*s - z. Let y be s/(-5)*(2 + 3). Suppose 0 = -a - 4*a + 25. Solve 9 = -3*m + 3*t, -y*m + a*t - 2 - 5 = 0 for m.
-4
Suppose 0 = -y - 1 + 5. Solve 5*r - 5*z - 4 = -z, -4*z = y for r.
0
Suppose -2*l - 2 = -4*l. Solve 0 = 5*b - 5*x - 15, 2*x + 11 = l for b.
-2
Let x = -7 - -15. Let w = 1 + -1. Solve 0*h + 2*h = s + x, w = s for h.
4
Let b = -17 - -33. Solve 3*t - 26 = -5*d + 7*t, 0 = 4*t + b for d.
2
Let m(j) = j + 7. Let k be m(-3). Suppose o + 2 = -0. Let x = k + o. Solve 2*n + 20 = -x*c, -4*c + n + 10 = 25 for c.
-5
Suppose s + 5 - 4 = 0. Let l = s + 1. Let y(b) = b**3 - 6*b**2 - 6*b + 3. Let k be y(7). Solve l = -w + r + 3, -5*w = 3*r - 1 + k for w.
0
Let f = -17 + 22. Solve -2*o + 2*u + 11 = 5*u, -o = -f*u + 1 for o.
4
Suppose 3*m + 3*c - 18 = -0*c, 3*c + 3 = 4*m. Suppose -m*n - 51 = -6*n. Suppose w + 2*w - 6 = 0. Solve -3*q - n = w*o, -4*q + 5 = -2*o - 3*q for o.
-4
Let x = 0 + -4. Let j be 282/22 + x/(-22). Solve -3*h - 2*h - j = -q, 2*q + 3*h = 0 for q.
3
Let i(t) be the second derivative of t**5/20 + t**4/2 + 2*t**3/3 - 3*t**2/2 - t. Let w = 9 - 14. Let v be i(w). Solve v*r - 2 = r + 4*d, 3*r - 6 = 3*d for r.
2
Suppose 0*n + 9 = 3*n. Solve 0 = w + 3*w - n*y + 8, 2*y = 4*w + 4 for w.
1
Suppose p = 3*p - 4. Let f = 8 - p. Let u be f*1*10/4. Solve -3*v + 0*v = -3*w, 0 = 2*w - 5*v + u for w.
5
Suppose -5*b - 3*n + 38 = -17, 0 = b - n - 19. Solve 4*w - b = -2*z, 0*w - 10 = -2*z - 3*w for z.
-1
Suppose 5*l = 4*l + 21. Suppose 2*p + 5*h - 1 = 2*h, 0 = 3*p + 3*h - 3. Let v be 1*(1 - (-1 - -3) - -2). Solve 4*m = -3*x + v, 5*x = p*m + m + l for m.
-2
Let n = 138 + -133. Solve 5*w - r + 6*r = 10, n*w - 8 = -4*r for w.
0
Let s be ((-15)/6 + 2)*(-48)/8. Solve -z - 19 = s*m, -5*z = -3*m + 2*m + 15 for z.
-4
Let h be 0*(-1)/(-2)*-2. Let o = h - -3. Let m(v) = v**3 + 6*v**2 + 4*v - 3. Let c be m(-5). Solve 0 = -4*x - c*y - 4, -o*x + 4*y + 28 = 9 for x.
1
Let v = -5 - -3. Let b be (-48)/6*1/v. Let r(t) = -t**2 - t + 2. Let i be r(0). Solve 0 = 3*j - 4*s, -b*j + 2*j = -i*s for j.
0
Let k(r) = 2*r + 5. Let m be k(-3). Let z be 2/((-12)/13 - m). Solve 4*i + z = t + 10, 0 = 4*t + 4*i + 16 for t.
0
Let r(j) = j**3 + j**2 - 2*j. Let k be r(2). Let z(y) = -3*y - 14. Let b be z(-4). Let p be (8 - k) + (0 - b). Solve 2*v + 5*g + 20 = 0, g - p = 2*v - 6 for v.
0
Let f be 0/(0 - (-2 + 1)). Let a be (-5 + 4)*(-5 + 0). Solve -a*d + 24 = -4*w, -3*d + 11 = -f*w + w for d.
4
Suppose 0 = 12*k - 17*k + 5. Let d(y) = 24*y**3 - y**2. Let u be d(k). Solve -4*w = -4*o + 32, -w = 3*w - o + u for w.
-5
Let w(n) = -n - 7. Let i be w(-8). Solve -3*o - m = -17, -o + 2*m = -0 - i for o.
5
Let g be 52/16 - 1/4. Solve 2 = -4*c + 2*y, -3*c - 10 = g*y - 4 for c.
-1
Suppose 4*n - 5*n = 15. Let s(l) = -l**3 - 16*l**2 - 15*l. Let f be s(n). Solve d = 5*v - 3*d + 20, -5*v - 2*d - 20 = f for v.
-4
Let m(h) = h**2 - h + 1. Let c be m(2). Let v be 2/6*(c + 0). Let b = 39 - 34. Solve -3*j = 2*j - b*z - 10, z = 2*j + v for j.
-3
Let p be 0/(-1 + 2 + 0). Suppose p = -8*j + 5*j - 3. Let f be 11 + 0 + 1 + j. Solve x - 3 = -3*c + 4, -f = -c + 4*x for c.
3
Suppose -4*k = -3*n + 8, -3*n + 15 = -k + 4*k. Solve 0 = -3*x + 5*b - 17 - 6, -n*b = -3*x - 19 for x.
-1
Let j be (-1)/4 + (-3)/24*-82. Suppose 0 = 3*v - v + m - 14, 4*v - m = 16. Solve 3*l + 7 + 3 = -5*d, 4*l = v*d + j for l.
0
Let q be 4*-1*1/(-2). Suppose f + 11 = -2*w + 24, w + 3*f = 9. Let x be 111/(-2)*(-4)/w. Solve 3*u = 3*i - 27, 3*i - x = 5*u - q for u.
-4
Let y(i) = 3*i - 8. Let p be y(4). Suppose 0 = -b + 2*a + 1, -p*a - 3 = -b - 3*a. Solve 3*t - 3 = b*d - 4*d, 6 = -2*d for t.
0
Let q be (4 - (-12)/(-3))/(-2). Solve q = -2*p - 4*d + 2*d - 4, 0 = -4*p - 3*d - 8 for p.
-2
Suppose 3*c = -2*c. Let a(l) = -3*l - 15. Let g be a(-10). Suppose c*f = 3*f - g. Solve -f*b + 30 = 3*k + 5, 3*k - 5 = 5*b for k.
5
Suppose 5*k - 25 = -5. Suppose -2*t + k*t = 4. Let c be -2 - (11*-1 + -1). Solve 5*o + c = 5*n, t*n - 4 = 2*o - 4*o for n.
2
Let q be -1*(2 - 4 - -1). Solve n = 2*u - q, -3*n + 3*u + 0*u + 6 = 0 for n.
5
Suppose 4*r + 5 = 21. Solve -2*z = -2*f + r, -2*f + 6*z - z + 16 = 0 for f.
-2
Let u be (2 + 1)*(-8 - -9). Solve 5*z = z - n - 3, -15 = -u*n for z.
-2
Let n be -3 + (-3 + 2)*-6. Solve 0 = 5*w - 4*v - 12, 4*w + 2 = -n*v - 7 for w.
0
Let h(q) = q**3 - 4*q**2 - 2. L