o*m - 12 for v.
5
Let h(l) = 3*l**2 - 14*l - 15. Let b be h(-1). Solve 4*p - 13 = s, -s = 4*s + b*p + 21 for s.
-5
Let g be -69 + 62 + -1 + 16. Solve 4*y - g = -2*l, -5*l + y + 11 = 2 for l.
2
Let v(t) = -7*t + 19. Let g(r) = -4*r + 9. Let h(z) = -5*g(z) + 2*v(z). Let i be h(2). Solve 2*y + 2 = 2*n, 0*n - i = 5*y - 3*n for y.
-1
Let t = -26 - -40. Suppose -n + y + t = 0, n + 0*n - 10 = -y. Solve 0 = -4*j + 4*z + 12, -5*j - 3*z - z - n = 0 for j.
0
Let n(o) = -23*o - 228. Let y be n(-10). Solve -j - 10 = 6*d - 3*d, 5*j - 2 = -y*d for j.
2
Suppose 4*p + 0*p + 52 = 2*j, -j = -p - 31. Let k = -11 + j. Solve -5*r + 3*q = -k, -q - 8 = r + q for r.
2
Suppose 3*y + 11 = -b + 5*b, -7 = -b + 5*y. Suppose -3*f + b*f = 3*i - 2, 0 = f - 3*i - 2. Solve 3*z + 3 = k, 6*k + 2*z + 16 = f*k for k.
-3
Let k be 18/2 + -5 + (-2)/(-2). Let o be (1 + 0)*4/4. Let c = k - o. Solve -25 = 5*y + 4*i, 0 = c*y + 3*i + 2*i + 20 for y.
-5
Let o(g) = g**3 - 17*g**2 - 15*g - 29. Let f be o(18). Suppose 5*m - 24 = -2*u + f, -4*u - 3*m = -63. Solve -3*y = -5*t - 12, 4*t = -3*y - t + u for y.
4
Let x = -571 - -573. Solve -3*s - 4 = 5*d, 12 + 1 = -x*d - 5*s for d.
1
Suppose 3*q - 7 = -4. Suppose -2*w + 15 = q. Solve f = -3*l + w, 0 = 3*l - 5 - 1 for f.
1
Let t = -8 - -12. Suppose 7 = 2*o - n, t*o = 4*n - 1 + 9. Suppose c = -3*p - 4*c - o, -c - 1 = 5*p. Solve 0 = 3*y - u - 14 - p, 0 = 5*y - 3*u - 22 for y.
5
Let o = -49 + 81. Let p = o + -21. Solve -8*f + 3*f - 4*u = -p, 3*u - 14 = 2*f for f.
-1
Suppose 40 = -2*g + 4*k, -17 = 4*g - 3*k + 58. Let l = -6 + g. Let x = l + 40. Solve 0 = -3*s + 5*s - 5*v - x, s - 2*v - 6 = 0 for s.
-2
Let w(b) = 27*b - 80. Let h be w(3). Let p = 1 - 1. Let f be 3 - (-2)/(-2)*p. Solve 2*i = g + 1 + h, f*i = 4*g + 8 for i.
0
Let x(h) = -7*h**2 - 4*h + 0*h**2 + 6*h**2 - 1 + h**3. Let f be x(3). Solve 2*l - 3*b - 2 - 5 = 0, -f*b = l + 16 for l.
-1
Suppose -50*c + 43*c + 28 = 0. Let d be 44/3 + 1/3. Solve 0*k + d = -3*k - 3*z, k - c*z = 10 for k.
-2
Let a(t) = 23*t - 835. Let f be a(37). Solve 3*z + u - 7 = 0, 7*z + 4*u = 6*z - f for z.
4
Suppose 3*j - 47 = 49. Let a be j/(-6)*(-30)/(-8). Let m = a + 25. Solve 2*n - 2*c = -8, -m*c = -7 - 13 for n.
0
Suppose 8 = -j + 5*j. Let z be (-69)/(-21) + -3 + (-14)/49. Solve z = s - 3*f + 2, -4*s = f + j*f - 22 for s.
4
Let x(d) = 2*d**2 + d - 2. Let b be x(-2). Suppose 5*u = -b*i + 9, 4*u + 0*u + 2*i = 12. Solve 3 = -u*w + z + 2*z, 26 = -2*w - 5*z for w.
-3
Let u be 34/4 - 2/4. Let j(n) = -33*n**2 - 165*n + 3. Let v be j(-5). Suppose -u*b = -v*b - 10. Solve 4*d = -b*y + 30, 2*d = -d + 2*y + 5 for d.
5
Let m = 31 - 43. Let s = 12 + m. Solve -a - 6 + 3 = -5*b, 4*b - a - 2 = s for b.
1
Suppose 10*j - 6*j - 152 = 0. Let z be 0 + 1 + -3 + j. Suppose 2*f + z = 5*f. Solve f = -h - 2*r, -r - 3 = -h - 0 for h.
-2
Suppose -305 + 330 = 5*r. Solve 0*v - r*v = -5*p - 5, 0 = -v - 2*p + 4 for v.
2
Let l be ((3 + -3)/(-1))/2. Let b(p) = -p**3 - 22*p**2 - 40*p + 3. Let f be b(-20). Solve 4*m = -2*q - m + 1, f*q + m + 5 = l for q.
-2
Suppose 2*u - 4*w = 18, -w - 3 = -3*u + u. Let q be 1*(-8)/(-3 + 1). Let x = q + u. Solve 5*s = -x*j - 27, 5*s - 2*j + 7 = -0*j for s.
-3
Suppose 405 = -80*f + 125*f. Solve 9 = 3*q, -f*m + 4*m + 5*q - 20 = 0 for m.
-1
Let l be -5 + ((-6)/(-36) - 118/(-12)). Solve 0*h + b + 9 = -h, 3*h + 37 = -l*b for h.
-4
Let k = 171 - 166. Solve -v - 6*n = -n + 16, -5*v - 20 = k*n for v.
-1
Let l(b) = -b**2 + 13*b + 11*b - 13*b + 5. Let n be l(11). Solve y = n*g + 14, -3*y - 3*g + 0*g = 12 for y.
-1
Let h = 522 - 520. Solve 3*g = -h*v + 7, 2*v = 5*g - 2*v - 41 for g.
5
Let m be (18/3)/(15/10). Solve z - m*p = -3*z - 24, z + 10 = 3*p for z.
-4
Suppose -7*k = -3*k + 52. Let u(q) = 14 + 14*q + 0*q**3 - 10*q**2 - q**3 - 2*q**2. Let m be u(k). Solve -c - 3*j = -2*c + 1, -c + j = -m for c.
1
Let h be (-12 + 11 + 1)/(3 - 0). Solve -5*k + k = -3*t - 16, -k - 4*t + 4 = h for k.
4
Let g(c) = -c**2 - 4*c + 4. Suppose -4 = 2*w - w. Let v be g(w). Solve -a + 4*n + 3 = 0, 2*a - n + v = -3*n for a.
-1
Suppose -12*n + s - 102 = -16*n, 3*n - 69 = 3*s. Solve 5*m + n = 0, 4*x - 3*m = -0*x - 1 for x.
-4
Let n(y) = -37*y - 329. Let v be n(-9). Solve 5*s - v*s + 6 = 3*d, d - 13 = 4*s for s.
-3
Let z(o) = -32*o + 160. Let i be z(5). Suppose 3*s + 0 - 6 = 0. Solve 0*y - s*y + 3 = -q, q + 3*y - 7 = i for q.
1
Let s(x) be the second derivative of x**5/20 - 5*x**4/12 - 2*x**3 - 4*x**2 + 17*x. Let q be s(7). Solve -5*z + 19 = 3*u + 6, q = 4*z - 2*u for z.
2
Let d(n) = 5*n - 93. Let o be d(19). Solve -4*f - 7 = -2*g + 19, 10 = -o*f for g.
3
Suppose 11*l - 298 = -34. Solve 0 = v + k - 7, -k = -4*v - 3*k + l for v.
5
Let z(n) = 2*n + 22. Let d be z(-5). Solve -3*v + 8 = -3*o - v, 3*v = d for o.
0
Let o(j) = j**3 - 12*j**2 - 12*j - 2. Let l be o(13). Suppose -2*n - 3*f - l = 0, -13 = 4*n + 5*f + 4. Solve -4*p - 7 = 3*w - 0*w, 0 = -2*w + n*p for w.
-1
Let i(a) = 1. Let n(q) = -2*q - 10. Let m(r) = -5*i(r) - n(r). Let o be m(-1). Solve 0 = b + 4, 5*k - 3*b + o = -5 for k.
-4
Let i = -12 - -12. Suppose -3*v + v + 10 = 0. Suppose 0 = -x + a - 0 + 1, 3*x - v*a + 5 = 0. Solve 3*p + 2*k - 2 = i, -5 = -7*p + 2*p - x*k for p.
0
Let s(h) = -57 - 54 + h + 103. Let m = 17 + -7. Let w be s(m). Solve 2 = -4*o + 2*l, 0 = -3*o + 4*l - w*l - 4 for o.
2
Let h = 147 + -135. Solve 3*n + 2*i = 12, 4*n - n - 2*i - h = 0 for n.
4
Suppose 50*y - 23*y = 29*y. Solve -2*l = 2, -p + y*p - 5*l - 1 = 0 for p.
4
Let t(j) = j**2 - j + 1. Let k(d) = -4*d**2 + 6*d + 17. Let c(f) = -k(f) - 3*t(f). Let y be c(8). Solve -4*a - 5 = v, 3*v + y - 5 = 0 for a.
0
Suppose 0 = a + 2*c - 1, 0*c - c - 4 = -a. Suppose 3*l - 5*r = 0, -4*l - a*r + 2*r = -23. Solve 0 = 2*j - 0*p + 3*p - 12, -l*p = -2*j - 4 for j.
3
Suppose 5*i - 3*o = 311, -7*i - o + 259 = -3*i. Let t = i + -40. Solve 0 = -4*w - 4*d - t, 2*d = 4*w - 0*d - 6 for w.
-1
Let c be ((-425)/(-340))/((-1)/(-7 + -1)). Solve -2*o - 18 = 4*b, -b - c = 4*o + 5 for b.
-3
Let z(w) = 22*w - 171. Let y be z(8). Solve -y*p + c = -11, -5*c - 11 = -4*p + p for p.
2
Suppose -24 = -3*i + 36. Suppose -2*l - 3 = -5*j - 2, -17 = 5*j + 4*l. Let b be j + (-3)/((-12)/i). Solve -b*w = 20, -m - 3*w = -0*w + 14 for m.
1
Suppose 12 = -3*s + 2*s. Let z(w) = 2*w - 1. Let k be z(9). Let f = k + s. Solve 5 = -f*x + p - 10, 4*x - 5*p = 9 for x.
-4
Suppose 3*d = -3*n + 18, 4*d = -3*n - 0*n + 16. Suppose -j = j - n. Solve 2*o - 3*p + 2 = -2*o, -8 = -j*p for o.
1
Let z(m) = -m**2 - 18*m - 68. Let c be z(-6). Let v be ((-2)/2)/(3/(-3)). Solve -24 = -3*t - 5*q, 0 = -2*t + c*q - v - 5 for t.
3
Let c be -1*68/8*-2. Suppose -c = -2*j - 1. Solve 3*l + j = -a - 3*a, 0 = -2*l + 8 for a.
-5
Let w = 41 - -28. Suppose t + 2*t - c - w = 0, -4*c + 10 = t. Suppose 0 = 2*r - 5*a - 19, -5*r + t = -0*a - 4*a. Solve -y + 3*i = r*i, 0 = -3*y - 4*i for y.
0
Suppose -51*y + 46*y + 10 = 0. Let u be (-3)/y + 18/(-12) - -28. Solve 5*d + u = 0, 3*b = -d - 4 - 4 for b.
-1
Let c = -676 + 678. Solve -2*b + o = 1, 3*b - c*o = -3*o - 9 for b.
-2
Suppose -15*d + 3*k = -13*d - 32, 5*d + 4*k - 126 = 0. Solve t + t = -h + 1, -5*h - t - d = 0 for h.
-5
Let h = -29 - -33. Suppose 0 = h*q + q - 70. Let y be 8/(-6)*(-21)/q. Solve -9 - 1 = -2*g + y*a, 4*g + 5 = -a for g.
0
Suppose -125 = 17*c - 193. Solve -5*h - 17 = -4*p - 29, -5*h + 28 = c*p for h.
4
Suppose 0 = 2*v + 3*t + 3, -13*v + 12*v - 4*t = 9. Solve 4 = -v*l - 4*g + 3*g, 0 = 5*l + 3*g for l.
-3
Let y = 264 + -262. Solve 4*c - 4 - 7 = -q, 3*q = y*c - 23 for q.
-5
Let w(o) = -o**3 + 7*o**2 - 7*o + 8. Let m be w(7). Let a = -39 - m. Suppose -3*t + 10 = -t. Solve -5*r + 2*z + 16 = -8, -t*r + 16 = a*z for r.
4
Let h(w) be the third derivative of -5/2*w**3 + 1/24*w**4 + 0*w + 0 + 8*w**2. Let y be h(20). Solve 2*i - y*f - 15 = 0, 0 = -3*i + 3*f + 1 + 8 for i.
0
Suppose 0*l - 3*c = 2*l, -3*c - 12 = 0. Suppose -l = -4*b + b. Solve u + 3*r = 2*r - b, -8 = 4*u + 2*r for u.
-2
Let l = -3 + 6. Let d = 28 + -30. Let i be (2/d)/(4/(-44)). Solve z = l*b + i + 8, -7 = -b - 3*z for b.
-5
Suppose 4*c + 2*p - 29 = 27, -2*p = 0. Solve -2*t = 2*x + c, -4*t + 7*t + x = -13 for t.
-3
Let r = -337 - -340. Solve 0 = -r*z + w - 1, z - 7 + 0 = 4*w for z.
-1
Let b be 3*((-80)/12 - -3). Let i(u) = u + 27. Let a be i(b). Solve 3*d + 2*v + 2 = 0, -5*v + 2*v = -5*d - a for d.
-2
S