4*r - 11 = -8*r - 3*k. Solve a + 2 = r for a.
3
Suppose 0 = -v + 2*m + 3, v + 4*m = -0*v + 27. Let b(f) = 4*f - v*f + 6*f + 5. Let h be b(-5). Solve -2*s - h + 2 = 0 for s.
-4
Let k be (-6)/4*184/(-69). Solve -2*c + 30 = k*c for c.
5
Suppose 31*m - 30*m - 15 = 0. Suppose -m*u - 4 = -16*u. Solve 5*i - u*i = 1 for i.
1
Suppose 3*f - 2 = 7. Suppose 5*l + 5*a = -15, 5*l + f*a + 1 = -4. Suppose -5*x = -l*i, 0 = 6*x - 3*x + i - 11. Solve -9 = -x*g + 5*g for g.
-3
Let j(d) = 3*d - 15. Suppose -16 = -4*g - 4*y, 0 = 2*g - y + 2 - 16. Let l be j(g). Solve -v + 20 = l*v for v.
5
Let b(a) = -a - 6. Let i be b(-6). Suppose -d - 3*m + 15 = 2*d, 4*d = -5*m + 23. Let l = d - -1. Solve i = 4*r - 5*r + l for r.
3
Suppose -9*f + 28 = -44. Let x(r) = -2*r + 2. Let t be x(5). Let k = t + f. Solve -3*y + k*y = 0 for y.
0
Let s = -51 + -26. Let m = -52 - s. Solve 3*v - m = 8*v for v.
-5
Let i = -941 - -941. Solve 0 = -i*s + 5*s - 15 for s.
3
Suppose 3*u - v + 61 = 0, -u - v - 22 = -3*v. Let h(b) = b**3 - b**2 + 8. Let s be h(3). Let x = s + u. Solve -d + x = d for d.
3
Let j be (-76)/4 - (-8)/2. Let a(f) = f**3 + 14*f**2 - 18*f - 16. Let q be a(j). Suppose c - 5*s + 0*s = q, c = -3*s - 11. Solve 0 = -2*u + c*u - 8 for u.
4
Let t be 18/36 - 2/4. Suppose -15*f + 39 + 21 = t. Solve -3 = j - f for j.
1
Let q(n) = 2*n + 1. Let x be q(2). Suppose 0*i = 3*i. Suppose -12*j - 2 = -2. Solve j*v + v + x = i for v.
-5
Suppose i - 24 = -5*p, -5*p + 4 = 35*i - 39*i. Solve p*x - 35 = -3*x for x.
5
Let z be 340/(-14) + 12/42. Let q be 3/z - 6/(-48). Solve 0 = k - q*k for k.
0
Suppose -3*r - 2 = -14. Let w = 137 - 132. Solve -k = -w*k - r for k.
-1
Suppose -20 = -4*p - 0*p. Let q(k) = -k**3 + 8*k**2 - 8*k + 6. Let u be q(p). Let t = u - 16. Solve 6*s - s - t = 0 for s.
5
Let m(j) = j**3 - 5*j**2 - 5*j - 7. Let y be m(6). Let l = y + -4. Let u be 1*(2 + l) + 8. Solve -2*o = -u*o + 3 for o.
1
Suppose i = -7 + 1. Let u be (-2 - i/2)*3. Solve r = -u*r + 16 for r.
4
Let c(s) = s + 7. Let p be c(-6). Suppose -3*v + 33 = o, v - 2*o - p - 3 = 0. Suppose i = v - 5. Solve -4*y + i = -3 for y.
2
Let r(b) = -16*b - 298. Let g be r(-19). Suppose 0 = -2*v + 3*q + 18, -3*q - 19 = -5*v - 2*q. Solve -n = -v*n - g for n.
-3
Suppose 0*i + 2 = 4*i - 2*y, -4*i = -4*y + 4. Suppose -5*w + 2*w = 0, 0 = 4*f + i*w - 20. Solve -f*n + 15 = -8*n for n.
-5
Suppose 0 = -2*a + 3*i + 23 + 22, 5*a + 3*i - 60 = 0. Let h = a - 7. Solve 3*u = -u - h for u.
-2
Let g(r) = 2*r**2 - 9*r + 1. Let c be g(5). Let m be 2/12 - (-23)/c. Solve 0 = -k - m + 1 for k.
-3
Let l be (1 + 1 + -9)*28/(-49). Suppose 2*s + 0*s - 3*c = 16, 0 = -4*s + l*c + 24. Let r = 1 + -1. Solve r = -2*m - s for m.
-1
Let a = 39 + -34. Solve -a = -42*w + 41*w for w.
5
Let x(z) = -z**3 + 6*z**2 - 7*z - 3. Let g be -12*(-1 + (-15)/(-12))*-1. Let t be x(g). Solve 0 = 3*q - t for q.
1
Suppose 9*k + 37 = 82. Solve -6*h - 1 = -k*h for h.
-1
Let a = 1912 + -1906. Solve -44 = a*k - 17*k for k.
4
Suppose 2*m = 6*m - 5*x + 172, -5*m = -4*x + 224. Let l = -44 - m. Solve l*d + d = 0 for d.
0
Suppose 0*z - z + 15 = 0. Suppose -2*i - 8*i = -40. Solve -z = i*j - 3 for j.
-3
Let m(y) = y**3 - y**2 - 4*y + 7. Let u be m(2). Solve u*r - 7*r = 12 for r.
-3
Let o(b) = -b**2 - 41*b - 178. Let m be o(-36). Solve -r + r = m*r for r.
0
Let t = 68 + -121. Let y = t + 53. Solve -5*l + 5 = -y*l for l.
1
Suppose 2*a - 3*y = 0, -5*a - 13*y = -17*y. Suppose -d + 0 + 6 = a. Solve -2*p + d = p for p.
2
Suppose 4*j + 2*h - 28 = j, -2*h + 4 = j. Solve -1 = j*u - 11*u for u.
-1
Suppose -5*x + 10 = 3*v - 5, v - 5 = -4*x. Solve -v*m + 25 = -10*m for m.
-5
Let x(z) = z**3 - 22*z**2 - 23*z + 10. Let h be x(23). Solve 2*d - 4*d + h = 0 for d.
5
Let c(w) be the second derivative of w**4/12 + 4*w**3/3 + 3*w**2 - 208*w. Suppose 2*d + 27 = 11. Let a be c(d). Solve -a - 4 = -2*u for u.
5
Suppose 6 - 7 = -o. Let f be (-7)/3 + o + 100/30. Solve -f*h = -h for h.
0
Let a(k) = k**3 - 2*k**2 - 3*k - 4. Let s be a(3). Let f = s + 29. Solve 6*l - f = l for l.
5
Let y(a) = a**2 - 4*a - 5. Let o be y(5). Suppose 5*d - 4*n + 10 = o, 0*d = -d - n + 7. Solve d*v - 3*v - 3 = 0 for v.
-3
Let x = 10 + -5. Suppose 2*k - 26 = 2*o, 5*k + 0*o - 59 = -o. Suppose k = 3*f + 6. Solve -x*s - f - 3 = 0 for s.
-1
Suppose b - 3 = 1. Suppose 0 = 2*d + d - 42. Let o = d - b. Solve -o = -6*p + p for p.
2
Let w(t) be the first derivative of -t**4/4 + 4*t**3 - 11*t**2/2 + 4*t - 9. Let f be w(11). Solve 0*a + 2*a = -f for a.
-2
Let h = 167 + -164. Suppose 5*c - 10 = -5*a, 0*a + a = c + 2. Solve h*y - 4*y - 3 = c for y.
-3
Let t be (-2 + (-33)/(-15))*(15 - -70). Solve 0 = t*f - 16*f + 4 for f.
-4
Suppose -3*q - a = -5*q - 45, -5*q = a + 130. Let b = -22 - q. Solve b*c = c - 2 for c.
-1
Let i(x) = -x**3 - 8*x**2 - 8*x - 3. Suppose 0 = -2*j - 4*o - o + 6, 4*j + 4*o + 12 = 0. Let b be i(j). Solve -5 + 1 = b*d for d.
-1
Let i(w) = -4*w**2 - 31*w - 39. Let k be i(-5). Solve -k = -9*h + h for h.
2
Let o be (4 + 69/(-6))*(-8)/10. Suppose 5*i - 9 = 2*i. Let j = 3 - i. Solve j = -5*f - o - 4 for f.
-2
Let b be (630/(-12))/15*-4. Solve b*r + 10 = 12*r for r.
-5
Suppose 3*u = -1 - 29. Let q = -9 - u. Solve 2 = r + q for r.
1
Let b = -2920 + 2920. Suppose -2*w - 2*w = -16. Solve -2*f - w = -b for f.
-2
Suppose -4*y + 23 = -3*m, 3*y - 4*m - 12 = 14. Let o(c) = 4*c + c**3 - 14 + 6*c**y + 6 - 4*c - 2*c. Let r be o(-6). Solve 3 - 23 = -r*j for j.
5
Suppose 5*h - 50 = -4*q + 10*h, 48 = 5*q + h. Solve -4*u = q*u - 56 for u.
4
Let c(n) = -n**3 + 21*n**2 - 96*n + 7. Let p be c(14). Solve -5 = 8*g + p for g.
-5
Suppose a + 4*y = -3*a + 40, -3*a = -5*y - 22. Solve a*f - 4*f = 15 for f.
3
Let f = -43 - -67. Let m be 8 + f/18 + (-14)/6. Solve 4*b + 9 = -m for b.
-4
Suppose 0 = 2*j - 73*j + 213. Solve j*w - 29 + 38 = 0 for w.
-3
Let l(x) = -x - 2. Let m(i) = -3*i + 7. Let k be m(5). Let d be l(k). Let z = -4 + d. Solve 0 = -z*o - 0*o + 8 for o.
4
Let f be (-6)/(-8) - ((-231)/28 + 4). Suppose f*g = -4*w + 2, 2*g + 16 = 3*w + 3. Solve l + w*l = 8 for l.
2
Suppose 0 = 13*c - 98 + 384. Let l be 4/(-11)*121/c. Solve l*t = -3 - 5 for t.
-4
Let g = 37 - 30. Let t(n) = -6 - 1 + n + 2. Let h be t(g). Solve 2 = -2*r - h for r.
-2
Let i = -33 - -51. Let o(n) = -n - 6. Let p be o(-12). Suppose -2*l - p = -i. Solve -4*z = 2 + l for z.
-2
Let a be (-11 + 15)/(1/2). Let q be 12*4/a + -2. Solve q*s + 25 = -s for s.
-5
Let x = -68 + 54. Let u(s) = s + 17. Let d be u(x). Solve -6 + d = 3*k for k.
-1
Suppose -10 = -3*a + 11. Suppose 23 = z + w, a*z = 3*z + 3*w + 64. Suppose -5*d = -26 - z. Solve i + 2*i = -d for i.
-3
Suppose 9*l = 7*l + 26. Suppose 4 = -z - o + 9, -z + 5*o - l = 0. Solve -z*k - k = -12 for k.
4
Suppose -3*t = l - 19, 49 = 3*l + 5*t - 0*t. Solve -l = -m - 15 for m.
-2
Suppose 4*l + c + 2 = 3*c, 4*c = 5*l + 10. Let m = 63 - 60. Suppose -l*a = m*a. Solve a = -0*j - 2*j for j.
0
Let x be 0 - (0/(-3) + 0). Let s(h) = x*h + 4 + h**2 + 0*h**2 - 3*h. Let r be s(3). Solve r*a = a for a.
0
Let u(x) = x**2 - 3*x - 12. Let l be u(5). Let v be (-1 + l)/(9/(-6)). Suppose -v*j = -7 - 5. Solve -2 = k - j for k.
4
Let j(h) = -h + 9. Let k be j(17). Let a be (3/(-12) + -2)*(k - -4). Suppose 0 = -3*s - 4*y + 38, 3*s + y = -0*s + 23. Solve s = -3*n - a for n.
-5
Suppose -4*v = 8 + 12. Let o be v/((-15)/93)*1. Suppose 3 = -4*t + o. Solve -t*m - 12 = -3*m for m.
-3
Let q(v) = -v**3 - 4*v**2 + 5*v + 4. Suppose 1 = -3*r - 14. Let x be q(r). Let l = -120 + 120. Solve -4*g - x = -l for g.
-1
Let v = 45 + -60. Let s = 18 + v. Solve s*o + 10 = 1 for o.
-3
Let o(w) = w**3 + 7. Let f = -13 + 13. Let y be o(f). Suppose -5*k + 13 = -y. Solve 0 = -k*a + 2*a - 6 for a.
-3
Let d be (-2 + 7 - 4)*-2. Let w be (-7*9/(-126))/(d/(-36)). Solve -5*c = -2*c + w for c.
-3
Let q = -91 - -92. Solve r + q = 4 for r.
3
Suppose 2*d - 16 = -4*q, -2*d = -q - 2 + 1. Suppose -8*x + 100 = -q*x. Let o = -256 + 262. Solve l = o*l - x for l.
4
Suppose -d + 5*h = -8, 7*d - 2*d = 4*h + 40. Solve 0 = -d*y + 9*y for y.
0
Let d(b) = b**3 + 6*b**2 - 3*b - 8. Let q be d(-6). Suppose q*t - 30 = 30. Let m(j) = -2*j - 11. Let x be m(-8). Solve f - x = t*f for f.
-1
Let b be (-28)/(-6)*12/8. Let f = -3 + b. Suppose -2*k = 2*w - 2, -2*k + f = -3*k + 4*w. Solve k = -2*u + 5*u for u.
0
Let q(l) = -4*l - 12. Let t(d) = 7*d 