*w = 2*w + 15, 5*w + 24 = b for b.
-1
Let v = 53 + -42. Suppose -5 = -8*n + v. Solve -4*m - 8 = -n*a + 5*a, 5*m + 5 = -5*a for a.
4
Let o = 10 + -5. Suppose -2*a = 0, -5*b + a + o = -25. Suppose b*t - t = 0. Solve -1 = u + d, t = u - 2*d - d - 19 for u.
4
Let i(r) = -r**3 - 10*r**2 + 11. Let f be i(-10). Let o be 152/f + (-18)/(-99). Solve 2*g = 4, 5*b + 3*g + o + 0 = 0 for b.
-4
Let b(c) = -3*c - 9. Let i be b(-4). Suppose q - 5*w = 0, -q + w = -i*q + 11. Solve -4*h - 13 = g, 2*h - q*g + 4 = -h for h.
-3
Let b be -4 + -3*(-10)/5. Solve i - 2 = 5*y + b*i, -17 = 2*y - 5*i for y.
-1
Let g be 2 - (-6)/(-15)*5. Let n be 4/(-28)*-7*3*1. Solve -n*v + 7 = 4*z - g*z, 4*v + 2*z = 6 for v.
1
Let v be (-2)/(-3) - 26/(-6). Suppose -v*l = z - 22, 3*l - 6 = -4*z + z. Let f = 3 - -2. Solve -i + w = 3, 0*i + 5*w = -l*i - f for i.
-2
Suppose 3*n - 6 = 3*x, 0*n = 3*x + 3*n - 18. Suppose 16 = x*c - 0. Solve -2*b - 2 = 0, 2*g + c + 1 = -5*b for g.
-2
Suppose -4*k - 8 = 4*g - 32, 4*g = -2*k + 16. Let t be 0 + g + (3 - 5). Suppose v = -t*v + 2. Solve -2*r - 9 = -3*b + v*r, -5*b + 15 = -5*r for b.
3
Let v = 284 - 280. Solve -4*f = v + 4, -8 = 4*x - 4*f for x.
-4
Suppose -28 = 5*u + 122. Let x be (u/25)/((-6)/15). Suppose -x*r + 2*y + 34 = 9, -35 = -4*r + 3*y. Solve -r*n + c = -17, 4*n - 3*c = -n + 11 for n.
4
Suppose 2*t = -3 - 3, -3*t + 15 = -4*y. Let x = -3 - y. Let q = 2 + -1. Solve -q = -4*v + x*v - w, 5*v + 25 = w for v.
-4
Let b be (6 - 0) + (-104 - -100). Solve 0 = 5*w - b*p + 11, 9*w - 2*p + 8 = 7*w for w.
-1
Suppose 3*n - 55*u - 27 = -50*u, 5*n + 3*u - 11 = 0. Solve -s - 14 = n*c, -7*s = -12*s - 5*c - 25 for s.
-2
Let f = -29 + 36. Suppose 0 = -f*o + 10*o. Solve o = -2*c + j + 6, -3*j = -c + 4*c for c.
2
Let r(q) = -q**3 + 8*q**2 - 4*q + 10. Let w be r(7). Let i = 34 - w. Solve -o = i*o + h + 9, -o - 4*h = 6 for o.
-2
Let t(m) = -7*m**2 + 58*m - 11. Let k be t(8). Solve -49 = 5*w + 5*i - 14, -w = k*i + 15 for w.
-5
Suppose -11 = 3*q + 2*b - b, -5*b + 2 = -4*q. Let d be 55 + (-7 - q) + -3. Suppose -40 - d = -4*k. Solve -3*x + 5*p = x, -2*x - k = 3*p for x.
-5
Let k = 1154 - 1130. Solve -2*f - 3*m = 4, 2*f - 5*m - k = -m for f.
4
Let u(f) = -f**2 - 15*f - 5. Let i be u(-10). Suppose -5*r + 10*r - i = 0. Suppose -2*c = -9 + 1. Solve -3*z + 4 + r = -2*h, c*z + 2*h = 8 for z.
3
Let w(m) = m**2 - 7*m - 13. Let p be w(8). Let g be (p/5)/((-2)/22). Solve -4*q = -2*c - 3 + g, 3*q = -4*c - 6 for c.
0
Let o(d) be the first derivative of -d**2/2 + 2*d - 9. Let b be o(-1). Solve b*c + 2*q = -0*c, -5*c + 25 = -5*q for c.
2
Suppose 21*x = 20*x - 3. Let n be (30/(-18))/(-1*x/(-9)). Solve -2*u = n*q + 8, -u + q + 0*q + 3 = 0 for u.
1
Let d(h) = -h**3 - 6*h**2 + 38*h + 219. Let f be d(-5). Solve -o - f = -2, 2*s + 4 = -3*o for s.
1
Suppose 5*f - 25 = -2*h + 4*h, -4*h + 20 = 0. Suppose 747*a - 753*a + 108 = 0. Solve -4*j - f*r - 13 = -2*r, -j + a = -3*r for j.
3
Let p(a) = -5*a - 1. Let v be p(-1). Let g(i) = -4*i - 14. Let n be g(-10). Let w = 359 - 359. Solve w*r - 5*x = 2*r + n, -x - 16 = v*r for r.
-3
Let j be (93/9 - 5)*18/4. Solve -5*i + 3*i - 7 = w, -i = -5*w - j for w.
-5
Let t(g) = g + 8. Suppose 3*k + 6 = 2*f, 4*k - 6*k - 14 = 2*f. Let j be t(f). Solve 4*p = -3*y - 17, -p = -3*p + j*y - 15 for p.
-5
Suppose -2*s + 3*t + 51 = -5, 126 = 5*s - 4*t. Solve -s = 2*l - 3*z, 2*l - z + 9 = -5 for l.
-5
Suppose -3*n = -f - 4*f - 26, 0 = -4*n + 8. Let g be (-119)/(-28) + (5/f - -1). Solve 5*y - 21 = 2*q, -4*y + g*q = q - 14 for y.
5
Let j(x) = x**2 - 15*x - 61. Let f be j(-4). Solve -f = -3*c - 0*c - 3*r, -3*c + 15 = -5*r for c.
5
Let o(d) = -25*d + 151. Let n be o(6). Solve x + 5*t + 24 = 0, t + n = -4*x - 0 for x.
1
Let m = 14 - 11. Suppose 0 = 3*g - m*d + 3, 0 = -5*g + 4*g - 5*d + 23. Solve -3*t + 18 = -j - 2, -5*j + g*t = 40 for j.
-5
Let n(a) = -a**3 - 15*a**2 - 16*a - 15. Let u be n(-14). Suppose -u*i + 8 + 5 = 0. Solve -5*y - i = 4*w - 7, y + 2*w - 6 = 0 for y.
-2
Let b(h) = -3*h + 4. Let v be b(0). Solve -3*m + 25 = -v*m - 5*d, 3*m = 5*d + 5 for m.
-5
Suppose 95*v + 64 = 103*v. Solve 0*j + v = -2*j + 5*u, 4 = -j + 5*u for j.
-4
Suppose -10*o - 3 = 7. Let k be (-4)/(-2)*((-7)/(-2) + o). Solve -k*q = -0*q - 10, 30 = 4*w + 5*q for w.
5
Suppose -5*p = -9 - 16. Suppose 2 = -p*j + 42. Let m = j - 3. Solve 2*n - 6 = 5*z, -n - 2 = 5*z - m*n for z.
-2
Let r = -35 + 51. Let t(v) = v. Let n be t(4). Solve -3*w = c - 13, -r + 3 = w - n*c for w.
3
Suppose -3*t - 350 = -4*u, 0*u = -4*t + 4*u - 460. Let g be (-1630)/t - 4/(-22). Let q = 18 - g. Solve -q*i + 8*i = 4*n - 8, 0 = -5*i - 4*n - 32 for i.
-4
Let q be (-136)/10 + (-4)/10. Let l = -12 - q. Suppose 5*r - 3*m = m - 1, -l*m + 23 = 5*r. Solve 4*i + 0 + 12 = 0, -r*i = j + 10 for j.
-1
Suppose -2*s = -4*n + 8, 3*s - 3*n = n - 4. Suppose 0 = p - 5. Suppose 5*r = -p*m + 17 + 3, -r + 3*m = s. Solve r = -2*d - 4*t + 4, -3*d = -5*t - 25 for d.
5
Let h(g) = g**3 - 19*g**2 - 40*g - 37. Let o be h(21). Suppose 0 = -4*m + 3*m + 5. Solve -o*f + 2 = -p - 12, 5*p = -m*f + 20 for f.
3
Let j = -1 + 3. Let k be (2/2)/(3/12). Suppose k = y - 1. Solve 2*z + 3*r = 13, -2*z - 13 = -y*z + j*r for z.
5
Suppose 0 = 4*p - 5*v - 6, -2 + 13 = -5*p - 3*v. Let t(c) = -22*c - 2. Let f be t(p). Solve -y + x = 0, 0 = -y - 2*y - 2*x + f for y.
4
Let k = 0 + -8. Let x be ((-12)/(-8))/((-6)/k). Let t be (-3)/9*(-2)/4*0. Solve 0 = 5*z + 4*l, t = -x*z + 5*l - 9 - 24 for z.
-4
Let q(n) = 88*n + 721. Let y be q(-8). Solve 2*u = -5*o - 0*o + y, u - 1 = 0 for o.
3
Let h be (-4)/(-6)*(-6 + 12). Solve a - 5 = -0*z + h*z, 5*a + 13 = z for a.
-3
Let n be (-7 - 3)*(-5 - 120/(-25)). Solve -n*l + 3*y - 3 = 3*l, -2*l - 3*y = 18 for l.
-3
Let z(q) = -2*q - 1. Let w(m) = -4*m - 1. Let u(o) = -4*w(o) + 7*z(o). Let g be u(4). Solve -10 = 3*a - g*f, -4*a = -a + f - 2 for a.
0
Let l(c) = -17*c**2 - c + 4. Let s be l(2). Let h = -63 - s. Solve -h*n - 2*a = 2*a - 16, -2*n = -4*a - 4 for n.
4
Let q = -6 - 14. Let n = q + 25. Solve -3*p + 7 = -2*m, -4*p + 2*p + 1 = -n*m for m.
1
Let j(v) be the third derivative of -v**4/24 + 8*v**3/3 + 17*v**2. Let z be j(15). Solve -z = 4*i + b, 1 + 4 = i + 2*b for i.
-1
Let w(p) = p**3 - 2*p**2 - 2*p. Let t be w(3). Suppose -8*l + 13*l = 0. Suppose l = -r + 7*r. Solve -2*n - 6 = -4*i - r*n, -n = -t*i + 2 for i.
-1
Let a = 8 + -6. Let o(u) = -u**2 - 5*u + 8. Let y be o(-6). Let j(h) = -15*h + 270. Let d be j(18). Solve d*c - c = -3*r - 4, a*c - 8 = y*r for r.
0
Suppose 2*z = 2*r - 18, z - 4*r + 16 = -5. Suppose -m = 3*m - 36. Let t = z + m. Solve -t*w - y = -17, -1 = -4*w + 2*w - 3*y for w.
5
Suppose 4 - 11 = -3*t - 5*h, -t = h - 3. Let o(p) = -4*p - t + 12 + p + 7*p. Let d be o(-2). Solve 5*l = -5*u, -3*l = -4*u - d*l + 28 for u.
4
Suppose 4*g - 18 = 27*p - 22*p, 3*g - 4*p = 14. Solve -3*k + k + 3*q = -6, -g*k + 2*q + 4 = 0 for k.
0
Suppose 6*q - 7 = -7. Solve -3*y + 2*f - 12 = q, -4 = y - f + 4*f for y.
-4
Let z be (1 - 1)/(-4 - -7). Solve -5*v - 5 = -2*b - 23, -4*v - 5*b + 21 = z for v.
4
Suppose 0 = -2*j - 3*j - 35. Let b = -6 - j. Let g(u) = u**3 + 6*u**2 + 6*u + 6. Let h be g(-5). Solve -z - 5*w - 2 = -h, -z - 3*w - b = 0 for z.
-1
Let b be (-12)/(-2 + (-3)/(-6)). Let v(d) = -d - 5. Let w be (21/(-6))/(9/18). Let o be v(w). Solve 4*c = -5*q - b, -o*q - 12 = q for c.
3
Let k(h) = 2 + 5 + 3*h + 5*h - 9*h. Let y be k(7). Suppose y = -w + 6 - 1. Solve 3*x = 2*a - 13, -w*a + 0*x + 10 = -3*x for a.
-1
Let m(c) = c**2 + 29*c + 214. Let h be m(-14). Solve 5*p = -10, -6*p = -4*z - 8*p - h for z.
0
Suppose 0*o + 5*o + 125 = 0. Let x = o - -28. Solve 2*p = 4*k - 8, p - 1 = -x*k - 0 for k.
1
Let i = -794 - -818. Suppose -2*u + 14 = -4*a, 5*u - 9 + 1 = a. Solve 2*z + 21 = -3*w, 4*w - u = -z - i for w.
-5
Suppose 0 = 26*j - 4*j. Solve -l + 6 = -4*l, j = 3*p + 5*l + 10 for p.
0
Let z(a) = a**2 - 4*a - 18. Let g be 4/(-6)*(-19 + 7). Let q be z(g). Solve -2*t = -0*w - 4*w - q, 3*w - 3*t = -18 for w.
-1
Let w = 380 - 380. Solve 2*x - 2*g = -0*x - 2, 5*g + 10 = w for x.
-3
Let t(z) = -6*z + 102. Let l be t(15). Solve 0 = -3*c + k + l, 3*k + 3 = 3*c - 15 for c.
3
Let a be 50/18 - (-2)/9. Let z(b) = b + 2*b - a*b - 1 - 3*b. Let p be z(-1). Solve 18 = -5*l + 3*x, l + x - p = -4 for l.
-3
Suppose 2 = 101*m - 100*m. Suppose 4*j + 7 = -b - 0*b, 6 = -2*j + 2*b. Let n 