*x for w.
-4
Suppose 0 = -5*g + 3*k + 29, -4*g + 7 = 6*k - 3*k. Let h be (g - 2)*1 + -2. Suppose 6 + 0 = 3*f. Solve b + f*v + 13 = h, -5*b - v = -3*b + 14 for b.
-5
Let x be (-8)/(-6) - (-4)/6. Suppose x*n - 7*n = 0. Solve -3*g - o - 3*o + 2 = 0, 2*g + 3*o - 2 = n for g.
-2
Let a be 0*(-1)/(-2) - (1 + -13). Solve -5*f - 3*q - 4 = -3, 2*q - a = 3*f for f.
-2
Let x(n) = -n**2 - 9*n - 7. Let p = -25 - -18. Let d be x(p). Solve -16 = 4*z, -z + 3*z = -5*q + d for q.
3
Let f = -8 - -4. Let r = f - 0. Let c = r - -4. Solve c*h - 20 = 4*h - 4*g, -5*h - 22 = -4*g for h.
-2
Let o be 6/8 + ((-9)/4)/(-1). Solve 0 = 2*t + o*l + 1, 2*l = 3*t + 2*t + 12 for t.
-2
Suppose -5*f + 0*f = -20. Suppose -2*i + 7*i - 15 = 0. Solve 4 - 14 = -i*m + 2*p, -10 = -f*m + p for m.
2
Let p = 5 - 0. Solve p*v = -5*y + 3*y + 7, -2*v = -4*y - 22 for v.
3
Let a = -9 - -9. Suppose 0 = -a*j + 2*j - 8. Suppose -14 + 6 = -j*r. Solve -15 = r*u + u + l, -5*u = -3*l + 11 for u.
-4
Let p = -5 - 5. Let s = 14 + p. Solve -s*y + x - 3*x = -22, 0 = -y + 4*x - 17 for y.
3
Let d(a) = -a**3 + 4*a**2 - 3*a + 1. Let h be d(3). Suppose 0 = 2*f - 5 - 1. Solve -3*z - 28 = -5*k + h, 3*z = f*k - 21 for z.
-3
Let f(i) = i**3 - 7*i**2 + 4. Let r be f(7). Solve 0 = -5*o - 5, r*x - 2*o = -o - 19 for x.
-5
Suppose -r + 154 = 5*s, -5*s - 2*r + 128 = -s. Solve 0*j + 3*j - 5*p + s = 0, -j = 3*p - 4 for j.
-5
Let h = -4 + 10. Let b = h - 4. Solve b*d + 4*y = -12, 2*d - 2*y - 6 = -0*d for d.
0
Let p = -10 + 6. Let r be (3 - 1 - p) + -2. Solve -4*h - 1 = r*g + 23, -5*g + 3*h + 2 = 0 for g.
-2
Suppose -33 = -5*s + 82. Solve 4*t + v = s, -6*v + 5 = -2*t - v for t.
5
Let d(h) = -h**2 - 5*h - 3. Let j be d(-3). Suppose j*q - 120 = -2*q. Solve 4*m - 4*i - 12 = 0, 0 = m - 5*i - q + 1 for m.
-2
Suppose -3*l = -6 - 0. Let j be -2 - (l - 0)*-2. Solve 4*c - 2 = 5*u - 9, j*c + 3*u = -9 for c.
-3
Let m be ((-4)/(-1))/(7 - 5). Suppose -4 = -0*z - 2*z. Let n be z*1/m - -1. Solve 3*h = -2*h - 3*u - 31, 5*h + 21 = n*u for h.
-5
Suppose 3*t - 2*v + 0*v = -115, t - 3*v + 43 = 0. Let k = -25 - t. Let s = k - 9. Solve -3*d - 4*n + 15 = -s, 3*n = 4*d + 1 for d.
2
Let o be 1/(-3) - 21/(-9). Let t be -15*1 + (-12)/(-6). Let j(y) = y**3 + 13*y**2 + y + 13. Let r be j(t). Solve r = -v, -3*p + o*v + 2*v = 6 for p.
-2
Let u be 1 - 5/(-10)*6. Solve -3*d = -2*i + 16, u*i = -3*d - 4 - 0 for i.
2
Let w = 0 - 2. Let s be 9*(8/(-6) - w). Let q(j) = j - 5. Let p be q(5). Solve -k + p*r - 2 = 2*r, -4*k - r + s = 0 for k.
2
Suppose 0 = -3*p + 3*a + 18, -2*p + 4*a + 14 = -0*a. Solve c - 3*l + 4*l + 2 = 0, p*l - 25 = 2*c for c.
-5
Suppose 12 = 10*t - 8. Solve -4*l - 5 = -l + h, -4*l + h - t = 0 for l.
-1
Suppose 0 = -l - 4, 3*i = 4*i + 4*l + 13. Let k be i/1 + (-2)/2. Suppose -5*a + k*h - h + 11 = 0, 0 = 3*h + 3. Solve 0 = -4*p, 3*p + 0*p = -a*u + 2 for u.
1
Suppose -m - 20 = -2*i - 5*m, -2*i - m + 5 = 0. Solve -k + 6 = u, 2*k = -i*k - 4*u + 20 for k.
2
Suppose -1 = 4*y - 9. Let t be 2/4*0/2. Let x = y + t. Solve x*u + 5*l + 15 = -u, -5*u - 25 = -l for u.
-5
Suppose -k - 53 = -55. Solve k*g + 28 = -4*x, -x + 5*x = 5*g for g.
-4
Let b(s) = -s**2 - 16*s - 13. Let h be b(-15). Let y = -3 - -1. Let v be y/7 + 128/7. Solve -3*g = -0*u + h*u - 14, 5*g - 2*u = v for g.
4
Let j = 138 - 133. Solve -5 = -i - w, i - 4*i + j = w for i.
0
Suppose 0 = -2*l + 2*f + 8, l + 7*f - 2*f = -8. Solve 3*s + l = 2*s - d, s + 7 = -2*d for s.
3
Let d be 2*-6*(-2)/8. Suppose 0*l = -l - d. Let f = l - -6. Solve -3*s - 11 = -3*u - 5*s, -2*u - 10 = -f*s for u.
1
Let d be (-3)/(-2)*(-4)/(-3). Suppose 2*m - 8 = -d*m. Solve -m*y + 6 = -0*h + 4*h, -6 = -5*y - h for y.
1
Let x be (1*(1 - 4))/(-1). Solve -4*q - 2 = x*z, 3 - 2 = -z - q for z.
-2
Let p = 11 + 97. Suppose -2*g - g = -p. Solve 5*j + 14 = -5*b - g, 3*b = -15 for j.
-5
Suppose k + k = 0. Suppose k = 2*j + 2*j - 5*v - 45, 25 = j - 4*v. Suppose w + 17 = j*q, w + 0*q + 5 = 2*q. Solve -i = -m - 2*i - w, i = -3*m - 9 for m.
-3
Let a = -3 - -3. Suppose 5*m - 5*u - 8 - 7 = 0, 2*u - 6 = a. Let x be 1/3 - 2/m. Solve x = -2*g - 2, -4*g = -4*n + g + 1 for n.
-1
Let z be ((-12)/(-14))/((-4)/(-56)). Solve -v + 2*o + 12 = 0, v - 3*o - z - 4 = 0 for v.
4
Let t be (1 - -3) + -2*1. Suppose 7*f - 45 = t*f. Suppose 0 = -3*i + i + 6. Solve 0 = 4*u + 2*m + i*m - f, -1 = -m for u.
1
Suppose 4*w + 72 = -2*u - 40, -2*w - 240 = 5*u. Let b be 4/(-14) - u/14. Suppose 1 = -2*t + 9. Solve -t*o + 3*q + 12 = 0, 0 = -b*o + 2*o - 4*q - 16 for o.
0
Let q be 3/6 - 3/(-2). Suppose -q*w + 4 = -4. Let c be 2/20*4*10. Solve -4*n - 2*p + w*p = -20, -c*p = -2*n + 16 for n.
4
Let n be 1/(2 - (-1 - -4)). Let z = n + 2. Let y = 1 + z. Solve 3*k + v = 1, 3*k + y*k + v - 3 = 0 for k.
1
Suppose 7*n - 30 = -2. Solve -20 = -2*l + 5*j, -n*l - 3*j + 24 = -5*j for l.
5
Let v be ((-6)/4 + 0)*16/(-6). Solve z + 3*z - 16 = v*x, 5*x - 8 = -2*z for z.
4
Let a = -13 - -14. Suppose -5*j - a = -16. Solve 15 = 2*m - 5*f, -8*m = -4*m - j*f + 5 for m.
-5
Let s(a) be the third derivative of -a**6/120 - a**5/30 + a**4/12 + a**2. Let o be s(-3). Let m = -1 - -17. Solve b - 5*r - m = 3, 5*b - 2*r = o for b.
-1
Suppose -21 + 6 = 3*z. Let t(m) = -2 + m - 4*m + 2*m. Let x be t(z). Solve 3*p + 15 = 0, 2*n + x*p = 4*p - 3 for n.
-4
Let i(c) = -1 + 3*c - 3*c**2 + c**3 + 0*c**3 - 6*c. Let l be i(4). Solve 0 = -2*t + 2, -h + 3*t - l = h for h.
0
Suppose 9*i + 10 = 11*i. Solve -i*o - 10 = r, 15 = -4*o + 2*r + 7 for o.
-2
Suppose 3*s + 4*f - 14 = 0, -2*s + 0*f = -3*f + 2. Suppose 3*p = 4 + s. Solve p*t = t - 3, 3*t = w - 13 for w.
4
Suppose -4*h - 3*q + 7 = -5*h, 0 = -5*h + 4*q - 2. Solve 7 = -3*b + 5*t, b + 3*t - 9 = -h*b for b.
1
Let c be (-4 - 0 - -1) + 83. Suppose 0 = 5*y - 20, -2*d + y = -3*y - c. Let n be (-2)/(-5) - d/(-30). Solve -x = 2, -2*j + 8 = -3*j - n*x for j.
-4
Let k = -17 + 9. Let s = k - -4. Let g be -4*2*2/s. Solve -4*y = 2*l - 14, 0*y + 4*l - g = -2*y for y.
4
Let r(n) be the second derivative of n**4/12 + n**3/6 + 2*n**2 + n. Let l = 0 - 0. Let i be r(l). Solve 0 = -5*g - 2*m - 31, 0 = -i*m + 6 - 18 for g.
-5
Suppose 0 = 4*v + 14 - 78. Solve 5*w - r - 4 = -v, -3*r - 21 = 4*w for w.
-3
Let k(a) = 2*a - 4. Let o(h) = -6*h - 2. Let f be o(-6). Suppose f - 14 = 4*g. Let y be k(g). Solve 4*s = -q - y, 4*s = 5*q - q - 16 for q.
2
Let l(n) = -17 + 26 - 11 + 8*n. Let q be l(3). Solve -4*u - z + 5 = q, 5*u + z = -21 for u.
-4
Let g be 6 + (0 + 0 + 3 - 2). Solve 4*z + 3*o = -g, 0*z - o = 5*z + 17 for z.
-4
Suppose -2*m + 0 - 3 = -3*x, -3*m + 1 = x. Let w(t) = 3*t**2 - t. Let b be w(x). Solve -s - s - z + 12 = 0, -5*s - b*z + 28 = 0 for s.
4
Suppose 4*y = -y + 320. Let u = -45 + y. Solve 3*o + u = 4*q, o - 7 = -2*q - 0*o for q.
4
Suppose 6*g + 8 = 2*g + 4*n, -3*g + n + 4 = 0. Solve 3*m + 15 = -2*s, 2 - 5 = g*m - 2*s for m.
-3
Let w(p) = 2*p**3 - p**2 + 1. Let q be w(1). Solve -5*m - q = -r, 0*m = m for r.
2
Let g = -24 + 28. Let y be (-3)/1*-1 + 0. Solve -u = -f + g*f + 10, -5*f + y*u = 12 for f.
-3
Let a be (-5 - 1 - -6)/3. Solve a = -2*m - 2*m - 20, n + 4*m = -16 for n.
4
Suppose 0 = 3*t - 1 - 5. Solve y - 3*q = -t*q + 6, 15 = -5*q for y.
3
Let a be (-8)/(-44) - (-80)/44. Solve -2*c = -a*q - 14, 0 = -0*q - q - 3*c + 5 for q.
-4
Let g(r) = -2*r + 5. Let m be g(-10). Let p = -5 - -8. Solve -3*a - m = -2*k, -5*k = -0*a + p*a - 10 for a.
-5
Let i be 4 + -1*1 + (-34 - -33). Solve 4*x + 14 = 3*u, i*x + 3*u + 6 = 5*u for x.
-5
Suppose -3*t - 1 = -w - 2*t, 4*t + 4 = -5*w. Solve w = 3*v - u + 2*u - 3, -4*v = -2*u + 6 for v.
0
Suppose 0 = -a + 5*a. Suppose a*l - 9 = -3*l. Let w be 0/1 + 1*l. Solve -w*n - 10 = g + n, -2*g - 5*n - 14 = 0 for g.
-2
Let w be 4/(-6)*3 - -4. Let l(u) = u**2 + 8*u + 6. Let i be l(-7). Let o = i - -4. Solve -w*y + 5*z = -o*y - 14, 5*z = -2*y - 13 for y.
1
Let o(u) = -u**3 - 7*u**2 - 6*u + 2. Suppose 2*j + 12 = -0*j. Let g be o(j). Let p = 26 + -4. Solve 4*m - p = g*k, -5 = -3*m - 3*k - 2 for m.
4
Suppose -2*m - 6 = -2*u - 0*m, 3 = 3*m. Suppose 0*h + 2*h - u = 0. Let p be 4/(4*h/36). Solve 2*y + 2 = -5*r, 2*r + 4*y = 3*r + p for r.
-2
Let k(v) = v**2 - 4*v - 12. Let l be k(6). Solve 2*o = 3*i - 13, l*i + 2*i = 2*o + 12 for i.
1
Suppose -25 = -5*x + 4*n, 4*x - 20 = -0*x + 3*n. Solve 1 = -4*y + x*z, 4*y - 4*z + 7 = -z for y.
-4
Let f(d) = -6*d + 27. Let s be f(4). Solv