6, 4*a + 1 = 2*k + p for k.
1
Let l = -112 + 127. Let w be 0 + 1 + 1 - -1. Solve 4*r - l = d, -4*r + 22 = -w*d + 1 for r.
3
Let u(f) = 3*f + 20. Suppose 2*x + 3*x + 25 = 0. Let r be u(x). Solve -2*p - 11 = w + 2*w, -r*w - 13 = -2*p for w.
-3
Suppose -4*r + 2 = -3*v, 3*v = -4*r + 18 - 4. Let y(t) = -2*t**2 - 32*t - 20. Let m be y(-15). Suppose 2 = -p + m. Solve 5*o - 9 = 2*b, p = o + 3*o - r*b for o.
1
Let b = 5 + 1. Suppose 2*w - 2 = -i + b, w = -2*i + 13. Let t be (i/(-30))/(2/(-10)). Solve g = -2*g + 5*h - 14, 0 = h - t for g.
-3
Let a = 136 - 134. Solve 9 = 3*k, a*j - k - 9 = -j for j.
4
Let y = -280 - -280. Solve -2*v + 2*l - 7 = -3*l, y = -5*l + 5 for v.
-1
Let c be 7/((-28)/(-8))*2. Let f(t) = t + 4. Let g be f(-5). Let b = 1 + g. Solve -17 = 4*y - 3*k + 10, c*y - 5*k + 37 = b for y.
-3
Let j be (-1)/(-2)*(7 - 3). Suppose j*w = y - 0*w - 8, y = 4*w. Suppose 20 = 5*k - 0*t - 3*t, y = 4*k - 5*t. Solve 2*m + 3*m - 1 = -4*x, -1 = 3*m + k*x for m.
1
Suppose 2*o + 88 = -6*o. Let l = -7 - o. Solve 3*c - l*y - 21 = 0, 0 = -3*c + 5*c - 2*y - 12 for c.
3
Let p(m) = -m**2 + 6*m + 4. Let r be p(6). Suppose -t = -1 + r. Let k be (t/6)/(3/(-30)). Solve -5*d = -k*b + 40, -8*b + 4*b - 4 = 5*d for b.
4
Suppose 0*f + 9 = 3*f - 2*l, -f = 2*l - 11. Suppose 2*j + 2*j - 88 = 0. Let r = -22 + j. Solve -2 = g + 5*u, r*u = f*g - u + 10 for g.
-2
Let u be ((-4)/5)/((-16)/120). Let n = -135 - -139. Solve 2*c - u = m, 0 = -2*m + n*m - 8 for c.
5
Let t = -1 + 5. Let s = 932 - 920. Solve 3*r - s = -2*r + n, -27 = -t*r - 5*n for r.
3
Let p = -76 - -111. Let b = 39 - p. Solve b*x + 3*z + 8 = 0, -3*z - 2*z = 2*x + 18 for x.
1
Let c = 41 + -36. Suppose -i - 4 = -c*i. Let h be 2 + -2 - (-2 - i). Solve -v + 6*m - h*m - 4 = 0, -5*v - 3 = 2*m for v.
-1
Let y be 404/36 + (-2)/9. Suppose y*j = 9*j + 8. Let c be 41/j - (-12)/16. Solve 3*o = -h + c, h - 13 = 5*o - 34 for o.
4
Let x(v) = -v**3 - 3*v**2 + 4*v + 2. Let f be x(-4). Let k(h) = h**2 + 10*h + 37. Let b be k(-6). Solve 5*y - 5 = -5*s, -4*y + b = -y - f*s for y.
3
Let n = 37 + -42. Let c be (n/(-4))/(13/52). Solve -s - c*w - 7 = -w, 13 = 5*s + 4*w for s.
5
Let j = -978 - -987. Solve -2*a = 6, 3*d - 2*a = -6*a - j for d.
1
Let s(y) = -4*y**3 + 5*y**3 - 2*y + y + 0*y - 4. Let m be s(3). Solve 4*i = -f + 3*f + m, f + 14 = 3*i for i.
4
Let o = 1661 - 1650. Solve -2*t = -3*u + o, -t - 13 = -u - 5*t for u.
5
Suppose 3*c + 114 = 5*c. Suppose 0 = 5*b - 2*b - c. Let d = 23 - b. Solve 2*o - 3 = -o - p, -16 = -2*o + d*p for o.
2
Let t be (-3 + -1)/(5 - 3). Let x = 4 - t. Suppose x + 14 = 5*d. Solve -a - d*g = -8*g + 6, -a - 5*g + 3 = 0 for a.
-2
Let g(l) = -l**3 + l**2 - 14*l + 1. Let s be g(0). Solve -5*h + 7 = 2*u, s = 3*h - 4*u + 2 for h.
1
Suppose -12*p + 284 - 8 = 0. Solve -2*v + 7*v - 3*w - 5 = 0, -v + 5*w = -p for v.
-2
Let y(n) = -6*n - 48. Let b(m) = -2*m - 16. Let w(l) = 11*b(l) - 4*y(l). Let d be w(-7). Solve -5*f - 2*z + 17 = 0, -4*f - 3*z - d = -2*f for f.
5
Suppose 14 = -59*q + 61*q - 4*j, -q + 3*j + 8 = 0. Solve -5*a = q*z - a + 21, -4*a = -4 for z.
-5
Let w(z) = z**3 + 6*z**2 - 2*z - 7. Let k(n) = -5*n + 3*n + 3 - 5. Let f be k(2). Let a be w(f). Solve 5*g - a*m = -m + 20, -3*m = g + 15 for g.
0
Let g(a) = -a + 5. Let y be g(0). Let h = -3 - -5. Solve -4*z - y = -5*l - 3, -3*z + 10 = h*l for l.
2
Let m = 35 + -35. Solve 5*f + 3*r = 1, m = 2*f - 3*r + 2 - 15 for f.
2
Let y = 74 - 72. Suppose 2*a - 5*k = -15, 5*a + 3*k - k = 6. Solve -3*c = -s - a*s - 6, 5*c - y*s = 10 for c.
2
Let p(y) = -y**3 + 5*y**2 - 2*y - 6. Suppose -12*x = -17*x + 15. Let f be p(x). Solve -f*s + s + 4*m = -5, 5*m = 0 for s.
1
Suppose -2*k = -4, -7*k - 4 = -4*f - 3*k. Suppose f*n + 15 = 15. Solve n = -s - 4, -4*p - 5*s = -1 + 5 for p.
4
Let u be ((-50)/(-125))/(1/5). Let o be (u + -2)*(15/6 + -2). Solve 4*q = n - 23, -2*q + 0*q + 2*n - 16 = o for q.
-5
Let r = 6 - 1. Let u(o) = o**2 + 3 - 35*o - 1 + 37*o. Let z be u(3). Solve 0 = 4*l - 2*d + r + z, 0 = 5*l + 5*d + 5 for l.
-4
Suppose -836 = -11*c - 33*c. Solve -z - 2 = 2*x - 0, -c = x - 4*z for x.
-3
Let t = 22 + -22. Suppose -3*v - k - 4*k + 17 = 0, k - 1 = t. Solve -5*w - 6 = 3*l, 0*w + 2 = -l + v*w for l.
-2
Suppose -1 + 2 = c. Let h be (2 + 1 - 0) + c. Let i be ((-4)/(-10))/(h/20). Solve 0*a + 4*a + i*m = 2, -a + m = -5 for a.
2
Suppose -66*m + 35 = -97. Solve -10*v + 14*v = m*k + 12, -3*v = 4*k - 9 for v.
3
Let s = 251 - 227. Solve -s = 5*j + 2*i - 5*i, -2*i - 3 = 3*j for j.
-3
Let u be ((-10)/(-35))/((-4)/(-28)). Suppose 5*p + 4*s - 7 = 0, 4*p = -s + 2 + 8. Solve a = -a + p*o + 3, 0 = -a + o + u for a.
3
Let v(y) = 32*y + 10. Let k be v(3). Suppose -k = -3*n - 2*n + 4*w, 5*n + 4*w - 114 = 0. Solve 4*o = -2*u - n, -12 = 3*u + 3*o - 4*o for u.
-5
Suppose t - 12 = -6. Suppose -5*v = 3*u + t, v + 0*v = -3. Solve -u*z - 3 = -q, -2 - 2 = -z + 2*q for z.
-2
Let o = -426 + 431. Solve -3*w - 3*g + 8*g - 7 = 0, 0 = o*g + 5 for w.
-4
Let y = -537 + 541. Solve 0 = 2*z - y*m - 2, 5*z + 0*m + 3*m + 8 = 0 for z.
-1
Let g = -51 - -53. Let f be 117/26 - g/(-4). Let x = -16 - -25. Solve -f*t - z = 19, 0*z + x = t - 3*z for t.
-3
Suppose 12 = 12*p - 12. Solve 0 = -p*x + 4*n + 20, -n - 14 = -2*x + n for x.
4
Suppose 4*y + 5*x = 13, 2*y = -0*y - 4*x + 2. Let b be (14/4)/y*0. Solve -3*q - 3 = -5*m - 0*q, 4*m - 4*q + 4 = b for m.
3
Suppose 4*m + m = 20. Let i(c) = -c - 15. Let q be i(-19). Suppose 5*d = -2*y + 62, -3*d + q*d = 5*y + 34. Solve 2*w = 3*f - 8, -m*f = -4*w - 2 - d for w.
-4
Let f be (-24)/(-32)*-2 - 14/(-4). Solve 2*r - 29 = -3*r + 2*i, -f*r - i = -8 for r.
5
Suppose 3*t + 0*t - 23 = -5*m, -4*m = 2*t - 12. Let h be ((-15)/(-30))/((-2)/t). Let i = h + 29. Solve -2*x - 40 = 5*j + x, -4*j = x + i for j.
-5
Suppose 11 = -3*n + 8, 3*l - n = 37. Solve 0 = -4*k - 2*r - 10, -l = -k + 6*k + 3*r for k.
-3
Let r = -862 + 862. Solve 3*n - j - 7 = r, 3*n + 3*j - 11 = 8*j for n.
2
Let r(u) = u**3 - 10*u**2 - 12*u - 3. Let t be r(11). Let f be 3 + 1*-1 + 19 + t. Solve i + 2*y = f*y - 24, 4*y = -5*i - 4 for i.
-4
Suppose 2*m = -4*z - 8, 0*z + 12 = -3*z. Suppose 38*b + 21 = 31*b, 3*b = -2*c - 1. Solve 0*r + 4*r = -2*g + c, m*g + 4 = 4*r for g.
0
Suppose -5*n + 68 = -3*c + 4*c, 3*n - 2*c = 33. Solve -2*x = z + 3, -2*z + n = -z - 2*x for z.
5
Let s(h) = -h**3 + 7*h**2 + 11*h - 16. Let b be s(8). Let w = 0 + -3. Let i be (1 - -1) + 3 + w. Solve o + 4*u - b*u = -i, -6 = 3*o + u for o.
-2
Let l = 901 + -899. Solve -5*y - 5*v + 5 = -l*v, -y - 4*v + 18 = 0 for y.
-2
Suppose -2*i + 22 - 9 = -j, -4*i = -3*j - 31. Let o = 36 + -21. Let v = o + -10. Solve w - 17 = -i*h + 4, 5 = v*w for h.
5
Suppose 1 = -5*f + 11. Let y = 7 + -1. Suppose -20 = -4*p - 13*z + 11*z, 3*p - 12 = -3*z. Solve -26 = 3*s - y*l + l, -f*l + p = s for s.
-2
Let h = -100 - -105. Suppose 0*l - 5*k = 5*l - 25, -2*l + 10 = h*k. Solve 12 = -3*m - l*t, -3*t + 8*t + 16 = -4*m for m.
-4
Suppose 5*y - b - 23 = 0, 2*b = -11*y + 9*y + 2. Solve -5*t + 8 = -4*l, 0 = -2*t + 3*l + l - y for t.
4
Suppose 24 = 8*f - 0. Let x(p) = p**2 + 14*p. Let c be x(-14). Solve 2*q - 4*i + 12 = 0, c = q + 5*i - 4 + f for q.
-4
Let h be -3*(-4)/6*1. Let n be -1*(2/h + -1). Suppose -3*s + 42 = 6. Solve w - 2 = 0, -b = -n*b - 5*w + s for b.
-2
Let o = -12 - -77. Let t = -59 + o. Solve -t = 2*q + j, 4*q - 2*j + 0*j = -4 for q.
-2
Let b be (0/(1 - 0))/(-11 + 7). Solve -20 = -4*t, 2*t = -b*m + 3*m + 22 for m.
-4
Let g(x) = x**3 + 3*x**2 + 6*x + 21. Let t be g(-3). Solve 5*k = -t*l + 20, 8 = -4*l + 2*k - 0*k for l.
0
Let s(a) be the third derivative of a**4/24 - 3*a**2. Let r be s(4). Solve 4*x + q + 11 = -r*q, -5*q + 21 = -4*x for x.
-4
Let v = 186 + -181. Solve -3*w = v*d + 20, d + 9 = -3*w - 7 for w.
-5
Let g = 69 + -62. Suppose 0 = -7*x + g + 7. Solve 2*u = -0*u - x*z - 18, -5*z = 25 for u.
-4
Suppose 19*w = 2 + 150. Solve 4*c - 16 = -3*u, 4 + w = 2*u + 3*c for u.
0
Let o be ((-8)/5)/((-20)/150). Let c be (o/10)/(-1*3/(-10)). Solve 2*y - 5*y - 16 = 4*l, 0 = -c*l - 2*y - 12 for l.
-1
Suppose 8*s + 21 = -4*n + 3*s, -s - 15 = 2*n. Let t = n - -13. Suppose -t*w + 14 = 2*b, -2*w + 2 + 9 = -3*b. Solve w*c + 4*i = 0, 4*c + i + 0*i = -15 for c.
-5
Suppose 3*p + 4 = -5*o + 31, o - 2*p = 8. Suppose t = 8 - o. Suppose r = 2*v + 2, -v + 3*v + 12 = t*r. Solve -4*s + 4*y = 0, 3*s + y - r = -y for 