 -b + 17 = -a*b + 5*n, 3*n + 5 = 5*b for b.
4
Suppose 13*c - 173 + 147 = 0. Solve 3*v + c*y - 4 = 0, 5*v + 6*y - 10 = y for v.
0
Let a = -34 + 37. Solve 4*w = 4*v + 20, -6 = -3*w - a*v + 9 for w.
5
Let y(v) = -24*v + 171. Let o be y(7). Solve -5*a - 30 = -5*l, -2*l - 10 = 3*a - o*l for a.
-2
Suppose -4*z - 15 + 5 = -t, -8 = -5*t - z. Solve s + h = 3, h + 5 - 12 = -t*s for s.
4
Let b be (-22)/(-2) - (-6 + 8) - 3. Solve 18 = -4*u + 5*k + b, 0 = 2*u + 3*k - 16 for u.
2
Suppose -2*t - 2 = -2*z, -3*t = -5*z + t + 10. Suppose -o = -3 - z. Let y be (-40)/(-12) - (-6)/o. Solve 0*q = -2*q - 2*v - y, -2*v = -2*q - 4 for q.
-2
Suppose 2*g = 6 + 6. Suppose 3*h + 6 + g = 0. Let d be (3 - (h - -6)) + 30. Solve 3*j - d = 4*a + a, -j + 4*a = -22 for j.
2
Suppose 5*i - 12 = -42. Let g = -1 - i. Suppose -18 = -2*a - 5*k, -g*k = -15 + 5. Solve 4*p - 4*v = a, -6*p + p - 4*v - 40 = 0 for p.
-4
Let h(q) = 5*q**2 - 3 - 2*q - 10*q**2 + 7*q**2. Let w be h(4). Suppose -8 = j - 4*i, 0 = -j + 4*j + 3*i - w. Solve j*k + 3*v + 3 = 4, -3*v = k - 7 for k.
-2
Let o be 18/4 - 3/(-6). Suppose -u + o*u = 8. Solve u*d = 4*d - 2*t - 18, 11 = -d - 3*t for d.
4
Let a = -285 + 312. Solve -a = -5*q + 2*q + 3*o, q = -4*o - 16 for q.
4
Suppose -16*q = -14*q - 4. Solve -i = q*i + s + 13, 5*i + 3*s + 27 = 0 for i.
-3
Let g(w) = 3*w**3 + 2*w**2 - w. Let t be g(1). Let b = -22 + 24. Let r be b/14 + (-7)/49. Solve -4*m = -k + 2, -3*m + k - t + 3 = r for m.
-1
Suppose 142 = 3*n + 133. Suppose 3*j = 8 + 10. Solve 0*b + n*k - j = -4*b, -4*b - k = -10 for b.
3
Let k be (-3 - -10) + -1*2. Suppose 4*m = -14 + 54. Let r = m - 10. Solve -2*h + 22 = 5*f - k*h, 3*h - 3 = r for f.
5
Suppose 10 = 5*u - 3*w, 0 = -2*u + 4*w + 6 - 16. Solve -2*s + 3*g - u - 5 = 0, 0 = -s + g - 3 for s.
1
Suppose -4 - 5 = -3*o, 3*o - 64 = -5*a. Let r be 3/(-2)*(-12)/9. Let w = 1770 - 1766. Solve 2*f - 12 - r = u, f = -w*u - a for f.
5
Let g be (30/9 + -2)*3. Solve 3*l + 16 = 4*n, 2*n = -3*l + 12 - g for l.
0
Let y(p) = -2*p - 13. Let f be y(-8). Solve -f*k = 5*t + 18, 4 = -k + 2*t + 9 for k.
-1
Let q = 171 - 152. Suppose -15*j - 8 = -q*j. Solve 5*u = -j*v + 18, -2*u - 2*v - 10 = -4*u for u.
4
Let a = 273 + -271. Suppose -5*k + 30 = 4*g, 0*k = 4*k + a*g - 18. Suppose -2 = -3*s + 10. Solve -1 = -k*c - t + s, -2*c - 2*t + 6 = 0 for c.
2
Let o be 3302/5 - (-2)/(-5). Let i be (-2)/(-8) - o/(-48). Let y be (-6)/4 + i/4. Solve -m = -y*m - 1, 3*m = -x - 4 for x.
-1
Suppose 0 = -5*s - 0*s + 20. Suppose -s*a + 2 = -3*a. Suppose t - 38 = 5*o, -9*t + o = -14*t + 60. Solve -3*b - 3*y = -b - 12, 3*b = -a*y + t for b.
3
Let r = 5 + 10. Suppose r = -0*m + 5*m. Let f = -3 + 7. Solve -m = -0*o - o - 2*p, 4 = -f*p for o.
5
Let h(x) = 4*x + 33. Let w(y) = y + 6. Let f be w(-13). Let n be h(f). Solve 5*j - 17 = -3*p, 5*p - p + n*j - 21 = 0 for p.
4
Let m(x) = -4*x - 31. Let l be m(-15). Let v = l + -26. Solve 0 = -v*t + 4*n - 23, 0 = 4*t + t + 3*n - 10 for t.
-1
Let g(h) = h + 75 + 80 - 140. Let u be g(-12). Solve -4*p + 3*z = -9, -4*p - u*z + 2 = -13 for p.
3
Let o = 137 + -135. Let n be 1*(-3)/(-9)*3. Let j be -2*n + 21/3. Solve j = o*l + 3, -x = l for x.
-1
Let m = 1255 + -1245. Solve -l - 3*r + 7*r = -11, -3*r = l + m for l.
-1
Let b(l) = -l**2 - l + 2. Let f be b(-4). Let d be (0 - f)*(1 - (-3)/(-5)). Let t(z) = -z**2 + 9. Let n be t(0). Solve 2*r - d*h - 3 = n, 6 = -2*h for r.
0
Let i = 75 - 70. Suppose 0 = -4*u - i*d + 32, 9 = 5*u + 2*d - 14. Solve -24 = -4*q + u*m - 4*m, -2*q - 2*m + 18 = 0 for q.
5
Suppose -34*c + 64 = -4. Solve -5*l + 36 = -0*l + 4*n, 4*n - 24 = -c*l for l.
4
Let s = 1 + 0. Let i be s/2 + (-25)/(-10). Let y be 0 + 1/2 + (-5)/10. Solve -i*h = 4*k - 7*k - 15, -2*h - 4*k + 10 = y for h.
5
Let c(f) be the first derivative of 3/2*f**2 + 2*f + 1/4*f**4 - 4/3*f**3 - 8. Let j be c(3). Solve -r = -2*i - 6, j*i + 10 = -0 for r.
-4
Let q be 4/(-3)*3 - -8. Let a be 42/12 - (-3)/(-2). Suppose a*o - 12 = -q. Solve 5*j - j + 24 = o*m, 5*j = 2*m - 27 for j.
-5
Let j be -2 + (10 - 7) + -3 + 0. Let h be j/14 - (-88)/28. Solve c + 4*p - h - 14 = 0, -4*c + 2*p + 14 = 0 for c.
5
Let n = -121 + 141. Solve -3 = 3*s - 3*h, 0 = -3*s - s - 4*h - n for s.
-3
Suppose 5*q + 4 = -181. Let x = 38 + q. Solve -4*m - 3*d + 4 - 11 = 0, 0 = -m + 2*d + x for m.
-1
Let q(g) = g - 9. Suppose 0*k - 4*n - 42 = -3*k, -k = -5*n - 3. Suppose -4*f + k + 26 = 0. Let m be q(f). Solve -4*z = 5*t - 3 + 7, m*t + 20 = 3*z for z.
4
Let r(v) = -v**2 - 7*v + 101. Let o be r(-14). Solve 7 = -2*a - 5*s, -6*s = 2*a - o*s + 1 for a.
4
Suppose -11*h + 770 = -187. Let k = h + -82. Solve 35 = -k*a - 5*r, 5*r + 1 + 14 = 0 for a.
-4
Suppose 25 = 2*h + k, 2*h - 5*k + 4 = 23. Solve -2*s + 2*a = -h, -2*s + 2 = 5*a + 11 for s.
3
Suppose 3*k + k = 0. Suppose k = -2*v - 2*w + 28, -3*v - 2*w = 2*v - 64. Let r be (-2)/8 + 3/v. Solve r = 4*y + m - 17, -2*y + 4 = -4*m - 0*m for y.
4
Suppose 3*z = z - f - 3, -5*z + f = -3. Suppose 3*p = -g + 16, 2*g + z*p - 5*p = 10. Suppose -3*m + g = 2*m. Solve m + 0 = -2*t + 4*q, 24 = -4*t - 2*q for t.
-5
Suppose 5*u + 49*x = 52*x + 8, -x + 4 = 5*u. Suppose 0 = -d + 2 - 0. Suppose -o + u = -d. Solve -18 + 3 = -3*k + 3*r, k = -o*r + 1 for k.
4
Let j = -22 - -33. Suppose 0 = -5*y - 1 + j. Solve -5*z - 14 = -l + y*l, l + 6 = -z for z.
-2
Let a(k) = -12*k + 158. Let r be a(11). Solve 3*w + r = -5*x + 4, -x - 14 = 3*w for x.
-2
Suppose 2*l = j + 8, 0 = 4*l - 2*l + 4*j - 18. Solve 5*s + 5*h - 5 - l = 0, 4*h = 4*s for s.
1
Let c(q) = q**3 - 10*q**2 + 20*q - 7. Let v be c(8). Let w = v - 21. Solve 4*p + 3*n = 8*n + 16, -5*n = w*p - 16 for p.
4
Let h(p) = -p**3 + 3*p**2 + 5*p - 3. Let a be h(5). Let z be a/(-7) - (0 + 2). Let j be ((-2)/3)/((-1)/3). Solve j*u - 3*x + z*x = 5, u + 3*x + 15 = 0 for u.
0
Let x = 836 - 833. Solve -2*n - 18 = 4*h, -5*n = -n - 3*h + x for n.
-3
Let m = 85 - 83. Solve -m*g + 7*g = -2*r - 17, 0 = -5*g - 5*r - 5 for g.
-5
Let d = -344 - -350. Solve -2*c = -3*m + 14, 5*m + 4*c + d = -0*m for m.
2
Let h(x) be the third derivative of -x**2 - 1/12*x**4 + 1/60*x**5 + 0*x + 0 + 1/6*x**3. Let v be h(3). Solve 0 = -v*j + z - 4, 1 = -j - 2*z + 9 for j.
0
Let b = -93 - 2. Let k = b - -98. Solve 4*x = 2*a - 12 + 30, k*x = -3*a + 18 for x.
5
Let m(p) = -5*p - 58. Let i be m(-12). Suppose -3*a - 12 = -15*a. Solve -z + 1 = k, i*z - a = z for k.
0
Let p = -273 - -273. Solve p = 3*u - 7*u - 2*k - 24, -4*u - k - 22 = 0 for u.
-5
Let s(v) = -32*v + 164. Let b be s(5). Solve 0 = b*a - 0*f + 4*f, -2 = -f for a.
-2
Let v(a) = a + 21. Let t be v(-11). Let n be t/(-2)*8/(-10). Solve 5*c + 14 = 3*k, 2*k + n*c = -0 + 2 for k.
3
Let a(i) = -11*i - 53. Let c be a(-5). Suppose -12*n - c*n = -28. Solve 4*b = -2*x + n, -30 = 4*x - 3*b - 1 for x.
-5
Let h(n) = 5*n - 35. Let f be h(8). Let b be (10/f - 4) + 6. Solve 2*u + 4 - 10 = 3*x, -3*x - b*u - 6 = 0 for x.
-2
Suppose 4*a - 29 - 59 = -4*y, -5*a = -y - 98. Suppose 0*u + a = 4*u. Solve 3*r - i = -4, -u*r = -0*r - 5*i + 20 for r.
0
Let w(m) = m**2 - 15*m + 54. Let p be w(9). Let d(b) = 7*b + 1 - 3*b**2 + 0*b**2 + 4*b**2 + 0*b. Let n be d(-7). Solve 0 = 2*g + 4, 2*g + p*g - n = x for x.
-5
Let z(q) = q**2 + 2*q + 1. Let h be z(-1). Let c(l) = l**2 - 9*l - 67. Let u be c(14). Solve -u*k + 4*s = 10 - 1, h = -4*s for k.
-3
Suppose -6*z + 20 = -2*z. Solve z*p = -5*d + 15, 4*d + 3 + 1 = 0 for p.
4
Suppose -3*x - 2*v = -0 + 8, -x + 3*v + 12 = 0. Solve -5*k - 20 = 5*g, x = 5*g - 3*g + 2 for k.
-3
Suppose 21*j + 3*t = 16*j - 5, 0 = 5*j + t - 5. Solve 4*m + 20 = 4*u, 3*m + 2*u + 1 = -j*u for m.
-3
Suppose -5 = v, -5*v - 12 - 13 = i. Solve i = -3*r + 5*k - 14, 3*k = -r - 0*r for r.
-3
Suppose -6 = 6*g - 12. Let s be 1*(1 + g) + (26 - 18). Solve 0 = 2*q + 2*u - 4, -q - 5*u + s = q for q.
0
Let a = -837 + 842. Solve l = 3*t - 4*l + 11, -a = -5*l for t.
-2
Let r(g) = g**3 + 12*g**2 - 15*g - 12. Suppose 4*n = -58 + 6. Let v be r(n). Solve -v - 3 = -5*y + s, -5*y + 2*s = -19 for y.
3
Let j = 36 - 6. Let p = -27 + j. Solve h + 5 = 0, 6*h + 40 = -5*t + p*h for t.
-5
Let w(b) = -3*b - 17. Let k be w(-11). Suppose -k*l - 15 = -21*l. Solve -4*s - 14 = 2*c, 2*s + l*c = 4*c - 1 for s.
-2
Let p = 1032 + -1032. Suppose -3*g + 2 = -4. Solve -g*t + x = -10, -4*t + 3*x = -p*x - 20 for t.
5
Let f = -353 - -358. Solve -a + 2 = b, 5*b = b + f*a