= a for r.
-2
Suppose -11 = 2*n + 13. Let w = n - -21. Solve -2*x = 2*l + x - w, 2*x = -l + 6 for l.
0
Let l be 1 - -1 - (5 + -5). Suppose -3*f + 4 = -l, t + 2*f = 22. Solve 5*u + 3*k = 14, 3*k - t = -3*u - 2*k for u.
1
Let u be (-2)/(-8) + (-42)/8. Let i = u + 5. Suppose 2*n + 3*n - 35 = i. Solve x + 11 = 2*x + 4*q, 2*q = x + n for x.
-1
Let a = 20 + -35. Let s = 18 + a. Suppose 0 = -5*d + s + 7. Solve 4*z - 8*z + 8 = -2*w, -d*w = -2*z for w.
4
Let i(z) = -4*z + 44. Let g be i(9). Solve -4*v = 2*o - 0*v - 16, 4*o - 4*v = g for o.
4
Let w(g) = g**2 - 3*g + 9. Let q be w(5). Let y = q + 21. Solve 5*m + 5*h - y = 0, -3*h + 12 = 3 for m.
5
Let d = -63 + 67. Suppose -6*y + y - d*c = -12, -4 = -2*y - 2*c. Solve -2*u = -5*b + 40 - 15, 5*u + y*b - 20 = 0 for u.
0
Suppose -30*c + 32*c + 4 = m, 3*m + 5*c - 12 = 0. Solve j - 5*x = m, j + 1 = -4*x + 5 for j.
4
Let w(k) be the third derivative of k**5/60 - k**4/12 - 5*k**2. Let r be w(2). Solve -u - 4*n - 17 = 0, -4*u + n + 2 + 15 = r for u.
3
Suppose 2*x - 16 = x + 2*r, 0 = -x - 5*r + 9. Let g be x/2 - (4 - 1). Solve 2*s - s = g*i - 9, -5*i + 15 = 0 for s.
3
Suppose -4*b = b - 4*n - 8, 0 = -5*b + 5*n + 10. Solve -5*f + 3*f = -y - 6, -y - 2 = b for f.
2
Suppose 0 = -3*v + 5*v, k = -v + 1. Let l be k + 5 + 0 + -2. Suppose -l = -5*f + f. Solve 0 = -4*q - 3*o + f, 10 + 1 = -4*q + o for q.
-2
Let y(w) = w**2 + 5*w + 2. Let r be y(-4). Let d be r/5 - 8/(-20). Let v = 1259 - 1257. Solve -4*m = -3*g + v, 3*m = -g - d*g - 8 for m.
-2
Suppose 3*r = -42 + 120. Let b = r - 38. Let h be b*2/(8/(-1)). Solve -2*y = 2*y + z + 19, -h*y - 5*z = 10 for y.
-5
Suppose 3*k + 210 = 8*k. Let c = k - 38. Solve -c*a + 5*r - 2*r + 35 = 0, a + 5*r + 20 = 0 for a.
5
Suppose -5*y - 2 = -17. Suppose -y*t - 5 = -20. Let h be (-1 - 1)*1 + t. Solve -2*k + 10 = 0, -k - h*k + 28 = -4*u for u.
-2
Suppose 14*p + 64 = 6*p. Let c = p - -12. Solve 0 = 2*m - 2*j + c, -m + 3*j - 24 = -4*m for m.
3
Let u be (-7 - -4) + ((-15)/5 - -8). Solve -3*a + 10 = -u*i, -5*a - 3*i - 1 = 14 for a.
0
Let i = 2468 - 2465. Solve 2*f - 2 = -i*c, 0 = -c - 5*f - 13 - 8 for c.
4
Suppose 0 = 4*a + 3*g - 48, -33*a - 18 = -35*a - 3*g. Solve -5*q = 4*j + 18, 5*j + a = -q + 3 for j.
-2
Let q(d) = -6*d + 25. Let m be q(10). Let n = 39 + m. Let g(f) = -f + 8. Let i be g(5). Solve 3*z - 13 = -o, 0 = -o - n*o + i*z + 11 for o.
4
Suppose 5*a - 18 = -3. Let l(j) = 8*j**2 - 8*j - 7. Let p be l(-3). Let h = -79 + p. Solve 5*n + h = a*r, n - 10 = -n + 4*r for n.
-5
Let b be -3 - (0 - -1)*-6. Suppose 0 = 5*w - 4*m + 109, -7*m + 3*m = -b*w - 67. Let o be ((-6)/w)/((-2)/(-28)). Solve 5*n - 9 = -3*f + f, -15 = f - o*n for f.
-3
Suppose 7*j - 2*j + 47 = 2*v, -5*j - 80 = -5*v. Let m(n) = 2*n**2 - 4*n - 3. Let u be m(5). Solve -2*l = 2*s + u - v, -2*s + 2*l = 4 for s.
-5
Let f(i) = i**2 - i - 7. Suppose 0*q + 8*q - 32 = 0. Let c be f(q). Solve 2*x - 5*u - 5 = -26, -c*x + 4*u = 27 for x.
-3
Let v be (-48)/(-18) + 2/6. Let f(u) = u - 1. Let g be f(4). Suppose -q - g*q = -56. Solve -2*k - q = -v*t, t - 5*k = -2*t + 17 for t.
4
Let d = 77 + -53. Let w be (-5)/3 + (-8)/d. Let t be (1 - w)/((-6)/(-4)). Solve q - 4*y = -13, t*y + 0*y = -q + 11 for q.
3
Let k be 139/5 + (-15)/(-75). Suppose -2*o = 2*o + k. Let x = -3 - o. Solve x = -2*f - 5*a + 14, 4*f - 4*a + 36 = 0 for f.
-5
Let g = -56 - -75. Let z = -18 + g. Solve -3*r - 17 = -5*d, -25 = -4*d + 5*r - z for d.
1
Let j(b) = 2*b + 14. Let x be ((-4)/(-6))/((-12)/126). Let d be j(x). Solve 4*w = -2*k + 10, 0 = -4*w + 2*k - d*k + 14 for w.
3
Suppose -3*b + 0*b = -12. Suppose 0 = -y - y + 4. Let g be (105/(-175))/((-1)/10). Solve -b*w + 4 = -w + y*s, -g = -3*s for w.
0
Let g(k) = -2*k**2 + k + 17. Let c be g(0). Let o be (-6*1)/(-1) + c/(-17). Solve -o*r - 5 = -5*j, -r - 3*j + 19 = j for r.
3
Suppose 2*r - 78 = -0*r. Let h = r + -36. Solve y - h*v - 7 = 0, 4*y + v + 0*v = 2 for y.
1
Let u(k) = -k - 9. Let l be u(5). Let v be l/35 + 17/5. Let z(f) = f**2 - 5*f + 6. Let y be z(5). Solve -r - 7 = -v*o - 3, -3*o = -3*r - y for r.
-1
Suppose -r = 4*k - 15, -k + 5*r - 6*r + 6 = 0. Solve a - 5 = -5*p - 0*a, k*a = 15 for p.
0
Let y(v) = -2*v - 29. Let q be y(-13). Let n be (4/(-8))/(2/12) - q. Solve -5*m - 25 = 5*i, -m + 3*i - 1 + 4 = n for m.
-3
Suppose -2*j = -3*j - 5*m + 1, -4*j + 76 = -4*m. Suppose y - j = -7. Let t = -9 + y. Solve -7 = -f - 2*h, t*f + 3*h - 3 = -4*f for f.
-3
Let m(u) = -u**3 - 8*u**2 + 11*u + 20. Let n be m(-9). Solve -2*i - 14 = 4*c, 0 = c - i - 6 + n for c.
-1
Let k = 37 - 22. Suppose k*q = 16*q. Solve -2*s + q = o + 5, 0 = 4*s + 5*o + 19 for s.
-1
Let f be (-1)/((-2)/(-10))*(-60)/(-25). Let j = -12 - f. Solve -2*u + u - 18 = 4*r, -4*u - 4*r - 24 = j for u.
-2
Suppose 4*w + 3*d = -19 + 45, -2*w = 3*d - 16. Solve 0 = w*p - 2*p + 3*k - 21, 4 = k for p.
3
Suppose 10*d = -52 - 78. Let y = -9 - d. Solve -v = 2*l + 3*v - 12, 0 = -y*l + 3*v + 13 for l.
4
Let j(g) = -g - 22. Let c(s) = s - 1. Let m(l) = -5*c(l) - j(l). Let f be m(6). Solve 0 = 4*h - 5*b - 16, b + 4*b = f*h - 17 for h.
-1
Let k = 3 - 7. Let q = 6 + k. Suppose 0 = -a - 15*a - 55 + 87. Solve 0 = r + f - a*f + 4, -q*f = -r - 9 for r.
1
Let y = -215 + 220. Solve y*a - 6*b + 20 = -b, 0 = -4*a - 2*b - 4 for a.
-2
Suppose 3 + 1 = 5*x + 4*s, x + 4*s + 12 = 0. Solve 3*m = -j - 0*j + 10, 0 = x*m - j - 4 for m.
2
Let n be 2*(-9)/6*-1. Suppose -2*m + 0*l = n*l - 26, -l = 5*m - 78. Let c be (-2 - -4 - (-120)/(-36))*-3. Solve 0 = c*a - m, -4*k + 2*k + 3*a = 8 for k.
2
Let w be 2 - 12/5 - (-3)/(-5). Let i be (-6)/(-6) + 2 + w. Solve -5*t - 8 = 3*g, -2*g + 2*t = -i*t - 2 for g.
-1
Let o(j) = 3*j**2 - 6*j. Let y be o(4). Suppose -3*f + 12 = -y. Suppose 0 = -3*h + 3*b + f, -2*h + 5*h - 12 = b. Solve -5*t - h*v = 25, -1 = 2*v + 9 for t.
-1
Let n = 3 + 12. Suppose -2*k - n = -5*m, 7 - 1 = -3*k + 2*m. Suppose k = j - 4*i + 3, 0 = 6*j - j - 3*i - 2. Solve -5*p + j = -10*p + b, 4*p + 5 = 5*b for p.
0
Suppose 9 - 24 = -5*y. Let u be (-102)/(-5) + y/5. Solve 3*j + 4*b = u, -3*j - b = -0*b - 12 for j.
3
Suppose 30*w = 18*w + 60. Solve 0 = -c + 3, 4*s = -s + w*c - 5 for s.
2
Suppose -3*m - 21 = -5*f, 5*f - 2*m - 13 = 2*f. Suppose -31 = -f*i - 10. Suppose -j + i*j - 24 = 0. Solve d + j*k = -6, -4*d + 0*k + 4*k + 16 = 0 for d.
2
Suppose 0 = 8*j + 8 + 8. Let l be (-1)/j*36/6. Let h(b) = b + 3. Let y be h(0). Solve 7*w = y*w + l*u - 6, -5*w - 4*u + 8 = 0 for w.
0
Let o = 1926 - 1926. Solve o = -3*l - 2*h + 20, -4*l - 4*h = -8*h for l.
4
Let f = 79 - 75. Suppose 2*p - 5*j = -p - 10, f*p + 3*j - 35 = 0. Solve 5*s = -5*l, -p*l = 3*s + 2 + 2 for l.
-2
Let m(c) = -7*c - 1. Let x be m(1). Let s be 2 + -3 - (x + 4). Solve -6*y = 2*a - s*y - 7, 3 = -2*a - y for a.
-4
Suppose 0 = 3*n - 2*n + 2. Let s be (0/(8/n))/2. Suppose -5*f + 14 + 6 = s. Solve -t - 3*t = 4*d, -f*d + 9 = -5*t for d.
1
Let p be 5*(-4)/(-40)*0. Suppose -2*i = 2*i - 5*j - 1, p = -4*i - 4*j + 28. Solve -4 = -x - i*h + 2*h, 2*x - 4*h - 8 = 0 for x.
4
Let p be (-99)/12*(-16)/(-6). Let d = 28 + p. Suppose 3*u - d - 9 = 0. Solve -2*s + 2 = -4, -19 = -2*k - u*s for k.
2
Let f(w) = w**3 - 6*w**2 + 6*w + 7. Let v be f(5). Let d(u) = u**3 - 14*u**2 + 25*u - 8. Let q be d(v). Solve -4*y = -12, 0*m - q*y = 3*m - 15 for m.
1
Let x be 1*((2 - 1) + 4). Solve -5*k + 2*r + 13 = 0, 0 = x*k - 3*k + 4*r - 10 for k.
3
Suppose 2*x - 5*x = -3. Let m be -7 + 4 + 3*x. Suppose -4*q - q + 15 = m. Solve 3 = -2*r + 9, q*r = d + 14 for d.
-5
Let n = -12 + 12. Let i(y) = -4*y - 11. Let j be i(-6). Let f = j + -11. Solve n = f*t + 2*m + m - 17, 0 = 4*t - 3*m - 7 for t.
4
Let o be 5/(100/144)*20. Suppose -o = 2*w - 8*w. Let a = -19 + w. Solve -40 = -4*d - a*k - 16, -11 = 5*d - 4*k for d.
1
Let z(f) = 9*f**2 - 18*f + 24. Let y(i) = -5*i**2 + 9*i - 12. Let s(k) = 11*y(k) + 6*z(k). Let n be s(-10). Solve 4*j = 3*j - m + 9, -n = 2*j - 3*m for j.
5
Suppose -14 = -4*u + 2*j, 3*u - 7*j - 8 = -3*j. Suppose 0 = -5*k - 2*i + 11, -7*k + u*k + 19 = -5*i. Solve -m = 2*s - 7*s + 20, -k*s = -5*m - 12 for m.
0
Suppose 29 = -4*p - 5*z, -2*p - 7 = -0*z + z. Let m(l) = l + 1. Let h be m(p). Solve h = -2*i - 4*s - 28, 8*i = 3*i + s - 15 for i.
-4
Suppose 128 = -48*u + 64*u. Solve -x = 5*m - u*m + 3, 0 = 2*x + 5*m + 6 for x.
-3
Let n(i) be the second derivative of 0 - 5*i + 0*i**2 + 1/12*i**