r(a) = a**2 + 5*a - 32. Let i be r(4). Solve -i*s + 0*o + 16 = -2*o, -1 = -s + 2*o for s.
5
Let p be (4/26)/(-3 - (-80)/26). Solve -7 = s - 2*v, 5*s + p*v - 3*v - 10 = 0 for s.
3
Suppose -2*z - 19 = -147. Suppose -10*k + z = -2*k. Solve v = 4*m + 10, k*v - 12 = 5*v + 3*m for v.
2
Let t(s) = s**2 + 3*s + 1. Let v be t(-2). Let j be 5 - (-3 + (1 - v)). Solve 0 = -5*i + 25, 2*i - j - 2 = 2*a for a.
1
Let h = -627 + 630. Solve 3*f = -k + 17, -2*k + h*f + 1 = 3 for k.
5
Let p(j) = 4*j**2 + 13*j - 1. Let b(i) = -9*i**2 - 27*i + 3. Let y(w) = 6*b(w) + 13*p(w). Let q be y(4). Solve 5*v - 4*h - 2 = 4, -q = 2*v - 5*h for v.
2
Suppose -1 - 1 = -2*p. Suppose p = -11*f + 10*f. Let z(j) = 4*j**2 + j + 1. Let h be z(f). Solve -4*u - 2*r + 6*r + 28 = 0, -13 = -u + h*r for u.
5
Let i = 467 - 467. Let x be (-9 - -5) + -1*2. Let p = x - -10. Solve -2*r - 4*j - 9 - 11 = i, 3*r + 20 = -p*j for r.
0
Let v(k) = k + 5. Let s be v(-1). Solve 0 = -u + c + 1, 0*u + c = s*u - 7 for u.
2
Let r = -113 - -116. Suppose 0 = 5*t - p - 17 - 5, 4*t = r*p + 22. Solve f + 2 = t*j - 2*j, f + 4 = 4*j for j.
1
Let l = 131 - 120. Solve -c - 4*o + 0 = -11, -3*c - o = l for c.
-5
Suppose 2*q - 19 = -2*q - 5*i, 2*q - 7 = -5*i. Suppose q*h - 9*h + 15 = 0. Solve -3*n - 2*g - 2 = 6, 5*n = 5*g - h for n.
-2
Let i(h) = h + 6. Let f be i(-7). Let y be -1*(-1)/f + 9. Let v = 449 + -445. Solve 4*t = 5*w - 11, -v*w + 4*t + y = t for w.
-1
Suppose 3*r + 35 = 4*j, j - 2*r = 3*j. Let u = -8 - j. Let y(k) = -3*k - 12. Let p be y(u). Solve 3*x + 3*s = -3, -5 + p = 2*x - 4*s for x.
3
Let x = -569 + 573. Solve -5*y + 5*c - 16 - 4 = 0, -4 = y - x*c for y.
-4
Let z be 56/(-6)*3/(-7). Solve z*d - 2*c = -12, c + 15 = -5*d + 5*c for d.
-3
Suppose 5*y - 2*y = 15. Suppose -3*i + y*i = 0. Let o = i + 2. Solve -3*s = -g + o, s = -2*g - 0 - 3 for s.
-1
Let j(h) = -h**2 - 5*h - 6. Let d = -17 - -14. Let m be j(d). Solve m = 4*l - 3*x + 20, -x - 15 = 3*l - 3*x for l.
-5
Suppose -15 = -5*m, -4*k + 2*m + 0*m + 6 = 0. Suppose -k*u = 4*a + 8, a - 1 = -4*u + 10. Solve -14 = -7*d + 3*d - v, -u*d + v + 18 = 0 for d.
4
Let y(j) = -11 + j**2 - 7*j + 2*j**2 + 3 - 4*j**2. Let w be y(-5). Suppose i - 4*i - w*v - 2 = 0, 4 = -v. Solve 3*m + 20 = -4*k, i*k = 4*m - 2 + 14 for m.
-4
Suppose -29*t + 34*t = 20. Solve -4*x = t*w + 12, -x - 1 = -5*w + 8 for w.
1
Suppose 11*f - 6*f = 25. Suppose -2*j - 2*h = h - 5, h + 20 = -f*j. Let k = 7 + j. Solve -o = 2*c + c + 6, o = k*c + 9 for o.
3
Let f = -220 - -222. Solve 3*a + 17 = p + 2, -a - f*p = 5 for a.
-5
Let t(g) = 3*g**3 - 2*g + 1. Let k be t(1). Let y(q) = 3 - 11 + 8*q - 5*q**2 + 4*q**k. Let a be y(6). Solve -4 = a*h - c + 6, 4*h - 4*c = -4 for h.
-3
Suppose 36*k = 32*k + 20. Let u = 10 + -6. Suppose u*f - 15 = 2*f - 5*s, 4*f = -3*s + 9. Solve f = -k*n - 6*q + 2*q - 8, -n = 4*q - 8 for n.
-4
Let a = 80 - 77. Suppose -5*v + a*y - y + 25 = 0, -25 = -5*v - y. Solve v*t + 0*m - 5 = -2*m, 2*m + 10 = 0 for t.
3
Let i be (-1)/(4/(-20)*1). Suppose 2*y + i - 9 = 0. Let k(r) = 28*r + 1. Let g be k(1). Solve -c - 2*c = 4*f + g, y*c + 21 = -3*f for c.
-3
Let x be (-21)/3 - 1/1. Let a = 13 + x. Suppose 2*b = g + 4, 3*b - 22 = -a*g + 10. Solve -c - 2 + 12 = 5*o, -2*o + 2*c = -b for o.
2
Let t be 20 + 2/(-6)*9. Solve -10 = -2*o, -3 - t = -p - 4*o for p.
0
Suppose 0 = -4*h + 4*l + 44, 2*l = -3*h - l + 27. Let n(w) = 7 + h + 6*w - 5*w. Let y be n(-13). Solve y = -q - 3*r + 20, 4 = r for q.
4
Let g = 1 - 1. Solve -5*k - 5*d = 40, k - 2*k - 2*d - 11 = g for k.
-5
Suppose 58*d = 41*d + 17. Let w(t) = -2*t + 11. Let n be w(8). Let c(z) = z**3 + 5*z**2. Let o be c(n). Solve o = 5*f - 3*v - d, 2*f + 5*v + 6 = 6*f for f.
-1
Let a be (-45)/6*2/(-3). Let q = 18 + -26. Let x be 6/(-4) + (-1)/(q/36). Solve -a = -3*f + 2*f + x*t, -5*f + 14 = -4*t for f.
2
Suppose 2*v - 36 = 36. Suppose 4*a = v - 20. Solve -5*c - 10 = f, 3*c + 0*c + 23 = -a*f for f.
-5
Let x(m) = -6*m - 1. Let l be x(3). Let j = -19 - l. Solve 2*z + j*f = 5*f + 16, 0 = 3*z + f - 7 for z.
3
Let i(v) = -3*v + 5. Let b be i(0). Suppose -7*r + 6*r + b = 0. Solve p - 14 = -r*j, -5*j + 3*j = 3*p - 3 for p.
-1
Let m = 291 + -291. Solve -5*r = c + 3*c + 22, m = -4*r - 4*c - 20 for r.
-2
Let d be (-102)/(-9)*(-15)/(-10). Let s = d - 13. Solve 0 = -s*f + 2*i - 4, 5*f + 2*i + 0 = -5 for f.
-1
Let q(y) = -y**2 + 5*y - 3. Let m = -3 + 5. Let x be q(m). Suppose -3*s = 7*i - 3*i - 2, 4*i + 4*s = 0. Solve -f - 4*f - x = -i*z, 3*z = f + 11 for z.
4
Suppose 24 = -24*y + 30*y. Solve 0 = 3*q - 4*p + 32, y*q - 5*p = -3*p - 26 for q.
-4
Let d = -8 + 11. Suppose -4*h - 15 = o - 2, 2*o = -h + 2. Solve 3*s - 7 = -4*y - o, d*s + 24 = 3*y for s.
-4
Let o = -18 + 22. Solve 2*c + 16 = o*h, -2*c - 20 = -7*c - 2*h for c.
2
Suppose f - 7 = -2. Suppose -5*x = 5*u - 50, 10*x + 4*u = 11*x + 15. Solve -x*g - 16 = -2*q + 11, 0 = -g - f for q.
1
Let g = -110 + 115. Solve 0 = -0*y - 3*y - 4*b + 10, 1 = -2*y + g*b for y.
2
Suppose -16 - 28 = -11*f. Let p(j) = 4*j - 7*j + 4*j. Let z be p(f). Solve -c = 2*s + 2, -2*s - 3*c = c - z for s.
-2
Suppose 0*j + 3*y - 97 = 4*j, -2*j + 5*y = 45. Let u = j + 31. Let z be 1/(-2)*(u - 12). Solve -z*i = i - 4*h, 4*i - 3*h - 3 = 0 for i.
3
Let a = -60 - -51. Let z = -4 - a. Solve 3*f - f - 5*s = -17, -f = -z*s + 16 for f.
-1
Let f be -1*(636/(-204) + (-4)/(-34)). Solve 5*n + f*o = 32, 3*n - 4 = -0*n + 2*o for n.
4
Suppose -7*z = -2*z + 75. Let b be (-3)/z - (-57)/15. Solve -15 = -b*x - 0*x + 5*i, -15 = 5*x + 5*i for x.
0
Let i be (-316)/26 + (-2 - (-112)/52). Let b = 7 - -9. Let r = b + i. Solve 5*q - 4*o = 5, r*q + 2*o + 4 - 34 = 0 for q.
5
Let u(i) = -3*i - 4. Let c be u(3). Let h = c - -18. Solve 2*q - 5*o + 21 = 0, 0*q = h*q + 3*o - 25 for q.
2
Let d(j) = -3*j**3 + j**2 - j + 2. Let m be d(-2). Suppose 0 = 13*i - 12*i. Suppose i = -r + 17 - 13. Solve 4*k = -16, m = r*s - 6*k + k for s.
3
Suppose -9 = -2*c - 4*x + 17, 4*x - 40 = -4*c. Let i = -60 + 142. Let o = -79 + i. Solve c*v + 5*j + 30 = o*v, j + 12 = -2*v for v.
-5
Let l be (132/88)/(6/16). Let r(b) = b**2 - 2*b - 4. Let y be r(5). Let z = 14 - y. Solve k + l*j - 7 = -j, 0 = k + 3*j - z for k.
-3
Let q(x) be the second derivative of x**3/6 - x**2/2 + 18*x. Let d(f) = f + 5. Let w be d(0). Let t be q(w). Solve -2*p - 22 = t*u, 3*u - 3*p + 3 = 9 for u.
-3
Let r = 15 + -22. Suppose 0 = -4*j + 12 + 80. Let p = r + j. Solve 3*n + 2*z = -p - 6, 5*n + z + 25 = 0 for n.
-4
Suppose 82 = 4*b + c, 0*b = -b - c + 22. Let l be (b/(-8) + 2)*0. Solve 0 = -h + 3*z - 2*z, 5*z - 10 = l for h.
2
Let i(f) = 11*f**3 + 3*f**2 + 5*f + 3. Let w be i(-1). Let l(j) = -j**3 - 9*j**2 + 9*j - 8. Let p be l(w). Solve 4*n = -3*d + 2*d + 14, n + p = -3*d for n.
4
Let b(p) = -4*p + 31. Let s be b(0). Let r = 34 - s. Solve 4*w + 10 = r*m, -5*w + m - 13 = 5 for w.
-4
Let u = 38 - 38. Let o(i) = -i + 4. Let n be o(4). Solve 2*k + 7*l - 2*l - 11 = n, u = -l + 3 for k.
-2
Let n = -405 - -409. Solve 2*m - 5*r - n = 0, 5*m - 2*r = 2*r + 10 for m.
2
Let v(x) = -4*x**3 + 2*x**2 + 5. Let w be v(0). Solve 2*y + 20 = -w*c + y, -4*y + 20 = -5*c for c.
-4
Suppose 0 = -7*t + 4*t + 264. Let m = -68 + t. Solve 5*k + 4*v - 20 = m, k + 3*v - 19 = 0 for k.
4
Let v(j) = j**2 - 5*j - 7. Let w be v(7). Let f = 117 - -20. Suppose f = 5*k - 48. Solve 2*o = 6*o - 5*s - k, o = -2*s - w for o.
3
Suppose 6*d = 7*d - 7. Let y = -37 - -48. Solve -2*u - 3*z - d = 0, 4*u - y = -2*z + z for u.
4
Let h(s) be the first derivative of s**4/4 + 2*s**3/3 - 3*s**2/2 + 4*s + 14. Let g be h(2). Solve 0 = -4*m + 5*i + 26, m + 3*m = -i + g for m.
4
Let s = -76 + 42. Let t = 35 + s. Solve 4*p + t = -7, p - 1 = -3*h for h.
1
Suppose 0 = -4*x - x + 160. Suppose -2*t - 6*t = -x. Solve -4*v + t*c = -4, -2*c + 8 = -4*c for v.
-3
Suppose -20 = 4*o - 0*o. Let j be o*(3 + 26/(-10)). Let m be (1 - j/2) + 1. Solve -2*q + 2 = -5*r, -2*r = -0*q + m*q + 16 for r.
-2
Let z(w) = w**3 + 6*w**2 + 3. Let y be z(-6). Solve -3*b + y*d + 1 = -2, -5*b - 4*d = -41 for b.
5
Let g = 528 + -524. Solve -4*m + 14 = -6*m + 4*z, 0 = -g*m - 4*z - 16 for m.
-5
Suppose 0 = 12*p + 17 - 41. Solve 28 = 2*t + 4*a - 2, -2*a = -p*t for t.
5
Suppose -211 = -4*c - i, 5*c + 3*i - 201 = c. Let r = c - 54. Solve 5*o - 3*s = -3, -4*o + s + 4*s - 5 = r for o.
0
Let d(r) = -3*r + 9. Let c be d(6). Let u be 7 + 