= 6 for r.
3
Let m(l) = l**3 + 3*l**2 - 8*l + 14. Let d be m(-5). Solve -b - d - 1 = 0 for b.
-5
Suppose 5*d + 3*b = 26, 3*b + 6 = 2*d + d. Solve -d*a - 25 = a for a.
-5
Suppose -6 = t + 4*f, 2*f - 17 = -3*t - 5. Solve -10*n + 26 - t = 0 for n.
2
Let c be (-5)/55 + 12/11. Solve 2*j - 5 = c for j.
3
Let u be ((-4)/((-16)/12))/(12/20). Solve 0 = -u*j + 4*j + 4 for j.
4
Let t(b) = 2*b**2 + 17*b - 84. Let c be t(-12). Solve -8*i + 6*i + 4 = c for i.
2
Suppose -2*f + 27 = 3*o, o = f + 5 + 4. Let c = 1 + 4. Suppose 0*a - 3*i = -2*a + c, -i + 17 = 4*a. Solve o*g + 10 = a*g for g.
-2
Let r(x) = 141*x**2 + 1834*x + 13. Let j be r(-13). Let n be (0 - -1)*(-2 + 4). Solve j = 5*z - n + 7 for z.
-1
Suppose -3*n + 2*n = -11. Let v = n + -7. Suppose 5*j + 3*o = 34, -v - 12 = -5*j + 3*o. Solve -j*z = -3*z for z.
0
Suppose 0 = -v - c + 5, -30 = -5*v - 4*c - 7. Suppose -u - 2 = -w + v, 5*w - 19 = -u. Solve -3*p + w = -2*p for p.
4
Let f = -638 - -645. Solve 0*d - f*d = -8*d for d.
0
Let l be 12 + (-6 - -6) + -8. Solve u = -l*u for u.
0
Let o(t) be the first derivative of -t**4/4 + 10*t**3/3 + 25*t**2/2 - 12*t + 19. Let k be o(12). Solve -h + 0*h = k for h.
0
Let a = 658 + -656. Solve 5*g - 12 = -a for g.
2
Suppose 0 = -m - 0*m + 1. Suppose 0 = 8*q + m - 1. Solve -2*h + 3*h = q for h.
0
Suppose 87 = -0*j + 3*j + 3*h, -5*j + 137 = 3*h. Suppose -r = 2*w - 5, 3*w - j = -2*w - 5*r. Solve w*s + 2*s = -2 for s.
-1
Let a be (-2)/10 + (-144)/80. Let n be 1/a + 16/32. Solve n*f = f for f.
0
Let z = -24 + 20. Let f be (0 - -4) + 1 + z. Solve 4*g = 5*g - f for g.
1
Suppose -4*b + 3*l = -36, -9 - 35 = -4*b + 5*l. Solve -b*w + 0*w = 0 for w.
0
Let q = -29 + 33. Suppose d - 4*r = 4, 2*r - r + 1 = -q*d. Suppose d*y - 80 = -5*y. Solve 0 = -5*u + y + 4 for u.
4
Let w = -25 - 4. Let f = 34 + w. Solve -9 = f*u + 16 for u.
-5
Suppose -39 = -4*b - 3*h, 3*b + h = 52 - 29. Let g be 18/(-8)*2*-2. Solve -b = -x - g for x.
-3
Let b be 6/(-2) - (-1 - -63). Let s = -50 - b. Solve s = -l + 6*l for l.
3
Suppose -j - 25 = -6. Let t = 23 + j. Solve -t = -0*y - y for y.
4
Let h = -133 + 136. Let f(z) = 10*z. Let r be f(2). Solve r = -p - h*p for p.
-5
Let q(w) = -7*w**2 - 56*w. Let l be q(-8). Solve l*k + 2 = k for k.
2
Let q(i) = 6*i**2 - 7*i + 4. Let s be q(2). Solve 7*d + 0*d = -s for d.
-2
Let w = 32 + -30. Suppose 0 = -2*i + 4 + w. Suppose i*z = -2*z. Solve 0 = -h + 3 - z for h.
3
Suppose 42*m - 8 = 44*m, -5*g - 4*m = -9. Solve 6*l = g - 23 for l.
-3
Let b(w) = -w**2 + 19*w - 14. Let h be b(18). Let o be 11 + -9 + h - 3. Solve o + 5 = 4*l for l.
2
Let b(w) = -2*w**2 + 70. Let r be b(6). Suppose -5*o = -4*o - 8. Let l = r + o. Solve 25 = -l*f + f for f.
-5
Let i(l) = -l**2 + 25*l + 405. Let d be i(-11). Solve 7 = -q + d for q.
2
Let q = -13 + 55. Solve 3*o - q = -54 for o.
-4
Let c = -887 - -898. Solve -25 = 6*w - c*w for w.
5
Let z(l) = -l + 30. Suppose 5*i - 3*k = 76, -8 = 6*k - 2*k. Let h be z(i). Solve h - 4 = 3*f for f.
4
Suppose c + 3*c = q - 7, 0 = 5*c - 2*q + 11. Let b = c + 6. Suppose 0 = -b*j - 5*k - 10, -2*j + 2*k + 14 = j. Solve -j + 3 = -f for f.
-1
Suppose 0 = 3*z + 2*c - 19, 2*z - 2 = 3*z - c. Solve g + 16 = -z*g for g.
-4
Suppose 3*c + 6*h - 8*h - 1 = 0, -2*h + 5 = 3*c. Solve 4*j - c = -5 for j.
-1
Let j = -208 + 210. Solve -j*m = -m - 1 for m.
1
Suppose 4*f = 2*m - 32, -3*f - 10 = -m + 11. Let g = m - -2. Solve -2*o = 6 - g for o.
1
Suppose 0 = 3*y + 4*f + 2 + 1, 0 = -4*f - 12. Solve -18*d = -17*d + y for d.
-3
Let m be (18/(-15))/3*5. Let n = 10 + -5. Let z be (3 - n) + (-18)/m. Solve 2*s - z = -3 for s.
2
Let k = -39 + 71. Let g = -29 + k. Suppose 0 = 6*j - g*j - 12. Solve j = 3*c - 11 for c.
5
Let l be 14/(-4) + 1 + 513/114. Solve l*t = 19 - 19 for t.
0
Let m = -18 - -22. Suppose -2*z = 4*h - 12, -m*h + 0*h = -2*z - 20. Suppose -15 = -3*g + i, -h*g + 20 = -0*g - 5*i. Solve 3*j - 10 = g*j for j.
-5
Suppose i - 5*i - 10 = 2*j, 5*i + 2*j + 10 = 0. Suppose d + i*d + 5*v + 20 = 0, -25 = 5*v. Solve d*a + 0 = -20 for a.
-4
Suppose 13 = 2*a - 81. Let t = a + -43. Solve -3*w - 8 = t for w.
-4
Suppose -3*v - v = -20, 31 = g + 3*v. Suppose p = -4*p - 3*x + g, -10 = -5*x. Let c be -2 - 0/p - -5. Solve 5*b - 4*b - c = 0 for b.
3
Suppose -5*p + 8 - 13 = 0. Let s be (2 + -1 + p)/3. Solve -5*u + 27 - 2 = s for u.
5
Suppose 1 = 3*i - 2. Let p(b) = -b**3 + b**2. Let m(x) = x + 12. Let u be m(-11). Let f be p(u). Solve f = -3*r - i + 7 for r.
2
Let y be (-1)/4 + 29/4. Let k(d) = -d**3 - 4 + 3*d + 6*d**2 - 6*d**2 - 2*d + 7*d**2. Let m be k(y). Solve 1 = m*n - 5 for n.
2
Let q = -258 - -263. Solve q = -g + 3 for g.
-2
Let d(l) = 2*l**2 - 35*l + 125. Let w be d(13). Solve w*h + 13 - 5 = 0 for h.
-1
Suppose 20 = 5*l - 5*w, -2*l - 9*w + 6*w + 8 = 0. Solve -f + 15 = l*f for f.
3
Let f = 353 + -341. Solve f = -12*y + 9*y for y.
-4
Let z be (-3 - -8)/(-1)*-1. Let p(a) = 2*a**2 + 4*a - 1. Let d be p(-3). Solve z = -4*k + d*k for k.
5
Let a be (-70)/140 - (-269)/2. Solve a*v = 131*v - 6 for v.
-2
Suppose -17*j + 13*j + 8 = 0. Solve -8 = -j*r - 2 for r.
3
Let r = 23 + -19. Suppose h = -r*h. Solve 0*x - 4*x - 20 = h for x.
-5
Let n = -81 + 89. Suppose n*p - 49 + 1 = 0. Solve -3*l = -6*l - p for l.
-2
Let u = -141 + 203. Let x = -95 + u. Let j = -17 - x. Solve -j = -2*s + 6*s for s.
-4
Suppose -2*n + 9 = -21. Let o = n - 1. Let c = 16 - o. Solve -8 = c*g - 2 for g.
-3
Suppose 3*k + 28 = 5*l, 0*l = 4*l - 20. Let t be (-2)/(-3 - k)*3. Suppose 2*n + t*u = -u + 8, -n - 3*u = -4. Solve n*x + 4 = -12 for x.
-4
Suppose -2*a - 3 = -x - 21, a + x - 6 = 0. Solve -3 + 19 = a*o for o.
2
Let t be 28 + (-8)/(104/39). Solve 4*z - 9*z = -t for z.
5
Suppose -5*a - 7*k + 9*k + 456 = 0, 5*a - 450 = 5*k. Solve 0 = -2*p + a - 102 for p.
-5
Let q(s) be the third derivative of -s**5/60 + 11*s**4/24 + 7*s**2. Let p be q(11). Solve -2 + p = 2*h for h.
-1
Let p(c) be the third derivative of 1/60*c**5 + 2/3*c**3 + 2*c**2 + 0 + 0*c - 7/12*c**4. Let t be p(14). Solve t + 1 = 5*l for l.
1
Suppose 3*a = 4*r - 7*r + 21, -3*a - r = -13. Solve -a = -z - 5 for z.
-2
Let z(v) = -4*v**2 + v + 4. Let d be z(2). Let l be (-4)/d + 146/10. Solve 3*j - l = -0*j for j.
5
Suppose -9*u - 359 = 2*w - 4*u, 2*u = 5*w + 825. Let b = w - -170. Solve 5*d = b*d for d.
0
Let f = -73 + 68. Let j(b) = -b**3 - 3*b**2 + 13*b + 15. Let x be j(f). Solve h - 6*h = x for h.
0
Let w(q) = q**2 - 4. Let b be w(-3). Suppose 3*v - b*r - 77 = 0, r = 2*v - 3*r - 52. Let s be ((-8)/v)/(2/(-12)). Solve f + 1 + s = 0 for f.
-3
Let n(r) = -r**2 + 10*r - 6. Let i be (9/(-5))/1*-5. Let h be n(i). Solve 5*a - 8 = -h for a.
1
Let m = -7 - -10. Let c be 6/4 - (-21)/14. Suppose d = -b + m, 4*b + 3*d - 15 = -c. Solve z - b = -2*z for z.
1
Suppose c - k - 70 = 0, k = 4*c + 12 - 301. Solve 0 = -14*f - c + 17 for f.
-4
Suppose -3*o = -5*y - 2*o + 87, -24 = -y - 2*o. Solve -y*d = -21*d - 6 for d.
-2
Suppose 0 = 4*y - 109 + 93. Solve 10 = y*z - 6*z for z.
-5
Let i(r) = -r**2 + 19. Let w be i(-8). Let n be ((-60)/w)/((-2)/(-15)). Solve 2*u = n - 0 for u.
5
Let z(t) = 5 + 2*t**2 - 3 - t**3 - 2*t + 6*t**2 - 4*t**2. Let k be z(3). Suppose 2*s + 3 = 2*x + 5, -x + k*s - 21 = 0. Solve -x = 2*d - d for d.
-4
Let c be ((-17)/17)/(2/(-10)). Let q be 4 - (2 - 1)/1. Solve -6 = c*w - q*w for w.
-3
Let c(h) = h**3 - 10*h**2 + 22*h - 27. Let r be c(9). Let k = 98 - r. Solve 5*t + 2 = -k for t.
-2
Suppose -2 = -5*v - 5*y + 3, v + 5*y + 3 = 0. Let x be 18/(-27)*(-9)/v. Solve 2*b - 5*b = x for b.
-1
Suppose 14*j - 32 = 6*j. Suppose -9*c + 25 = -j*c. Solve 0 = 10*o - c*o for o.
0
Let x(s) be the first derivative of -5*s**4/4 - s**2/2 - 2*s - 4. Let c be x(-1). Solve c*w = -w for w.
0
Let k(r) = r + 17. Let b be k(-13). Suppose 0 = -z + h - b*h - 6, 4*z = 4*h + 40. Solve -2*x = -2 + z for x.
-2
Let y(c) = 8*c**2 + c + 2. Let p be y(0). Solve m + 2 = p*m for m.
2
Let g = -28 - -32. Suppose k - 15 = i, 0 = 4*i + g*k + 59 + 17. Let x = i - -22. Solve -x*y - 5 = -15 for y.
2
Let y(c) = c**2 - 10*c + 13. Let f be y(9). Suppose -3 = -f*q + 1. Solve -l - 4 = -q for l.
-3
Suppose -108*y + 45 = -99*y. Solve y*n = -1 - 9 for n.
-2
Let o = 847 - 842. Solve -13*y + o = -8*y for y.
1
Let q be 0*(-3)/(-3 + 0). Suppose 5*d = 6*d - 4. Solve -r + d = -q*r for r.
4
Let j be 4*((-135)/(-12))/(-3). Let z be (2/5)/((-3)