 = 9, 8 = -m - v*z for m.
1
Let i be 9 - (-3 + -1 + 4). Solve -r = -s - i, 5 + 20 = 5*r - s for r.
4
Suppose -w = 2*w + n + 6, -5*w - 12 = n. Let h = w + 6. Solve 0 = 4*l - 4*p + 2 + 6, -9 = h*p for l.
-5
Let y = -4 - -4. Suppose 2*p + 2*p = y. Let g = -6 - -8. Solve h + g*h + 9 = 2*a, -4*h + a - 12 = p for h.
-3
Suppose 0 = 4*m - 3*y - 52, 2*y = 2*m - 0*y - 28. Let d be (-24)/(-14) - m/(-35). Solve 22 = -4*a + 3*f, 3*a + d*f + 4 = a for a.
-4
Let g = 26 - 26. Suppose -2*k + 0*k = 5*x - 105, 4*x + 4*k - 96 = g. Solve 5*p + 3*a = -27, 0*p - p - 4*a - x = 0 for p.
-3
Let u be (60/(-70))/((-2)/7). Solve 3*x = 3*s, u*x - 6 = -2*s + 2*x for s.
2
Let n(u) = -1. Let i(v) = v + 6. Let l(s) = i(s) + 4*n(s). Let z be l(2). Suppose -2*p + 0*p + 8 = 0. Solve p*g - 7 = -2*x + 3*g, z*x = -3*g + 19 for x.
1
Suppose -5*t = 0, d = -5*t + t - 16. Let p = d - -22. Solve -33 = 5*f + 4*s, -s + 10 = -p*s for f.
-5
Suppose -3*w + 5*j = -10, w = 4*j - 5*j + 6. Let n = -11 + 11. Suppose n*z = 2*z. Solve -3*x = 4*b - 7, w*x + z*x - 5*b + 35 = 0 for x.
-3
Let f = -24 + 37. Let g(w) = -w + 3. Let b = -2 + 2. Let j be g(b). Solve -4*n + j = 3*r, 0*r + f = 2*r - n for r.
5
Let i = 89 - 88. Solve -5*k - 4*p = i + 8, -3*k - 2*p - 7 = 0 for k.
-5
Let r(z) = z**2 - 2*z + 1. Let k be r(-4). Solve -4*w = a - k, a + 2*a = -w + 20 for w.
5
Let q(m) = -2*m**2 - 2*m + 1. Let c be q(-2). Let a be 1/((-4)/c + -1). Suppose 2 = -3*f - 5*u - 8, 0 = u + 2. Solve -o + g + a = 2, f = 5*o + 4*g + 4 for o.
0
Let m(n) = -n**3 - 5*n**2 - n. Let i be m(-5). Solve 5*j - 2*p - 25 = 0, 5 + i = -2*p for j.
3
Let h(c) = -2*c + 3. Let u be h(0). Solve -10 = u*f - x, 2*f - 4*x - 1 - 9 = 0 for f.
-5
Suppose -130 = -2*p - 3*p. Solve 0 = -5*t + 4*x - 8, t + p = -4*t - 2*x for t.
-4
Let b(l) be the third derivative of -l**4/24 + 7*l**3/6 + 4*l**2. Let x be b(0). Solve 3*a = 3*z, 5*a + 32 = 4*z - x*z for z.
-4
Suppose 5*l + 7 + 8 = -5*m, 0 = -2*l - 10. Solve 4*n = -1 - 7, 2*n = 2*v - m for v.
-1
Let x(f) = -f + 13. Let s be x(10). Suppose b - 4 = -0*b, -3*a + 84 = s*b. Solve a = 2*t + 3*o + 2*o, 5*t = 3*o - 2 for t.
2
Let k(x) = 6*x**2 - 2*x + 2. Let o be k(2). Let r be 7/(-4) + (-1)/4. Let d = 4 + r. Solve o = d*m - 4*p, -4*m - 4*p - 1 = 3 for m.
3
Let x be 2*-5*(-8)/20. Suppose -7 - 13 = -x*n. Let g be ((-10)/(-4) - 2)*6. Solve -3*m + 14 = -n*t, t = g*m - 8*m - 14 for m.
-2
Let v(i) = -i**2 + 5*i - 2. Let d be v(5). Let o = 1 - d. Suppose -5*q + 2*a + 119 = 0, -4*a + 34 = q - 3. Solve -3*b - k = o + 6, -4*b + 3*k = q for b.
-4
Let f = -6 - -8. Suppose -d - 2*d = -f*s + 2, -2*s + 18 = 5*d. Solve v + 10 = 6*v - 3*c, -30 = -d*v - 4*c for v.
5
Let x(q) = 3*q - 14. Let h be x(6). Solve 5*v - v + h*t + 24 = 0, -4*v - 12 = t for v.
-2
Let r = -30 + 30. Solve -20 = -4*z, r = 3*x + 5*z - 10 - 18 for x.
1
Suppose 0 = -3*a - 6, 2*i - a = -3*i + 22. Let s be (6/i)/(3/4). Solve -2*d - g - 4*g + 1 = 0, s*d - 4*g - 10 = 0 for d.
3
Let i(a) = -5*a - 6. Let k be i(-6). Solve 6*l - k = 2*l + 2*d, 5*l + 2*d = 21 for l.
5
Let u = 8 - -4. Suppose u*q - 12 = 9*q. Let t = 0 + 0. Solve -7 = 4*n + 3*w - t, q*w = 3*n - 1 for n.
-1
Let n(h) = 10*h - 32. Let l be n(6). Suppose y - 17 = -5*o + 28, 0 = 2*y - 10. Suppose l - o = t. Solve -3*w + 2*v - 8 = 0, -2*w - 5*v + t = -0*w for w.
0
Let g(a) = -2*a. Suppose -10*s + 6*s - 8 = 0. Let n be g(s). Solve q = 2*q + 2, n*x + 5*q = -10 for x.
0
Let k = 57 - 39. Suppose 2*p + 3*p = -20. Let w = 0 - p. Solve 3 = -3*y, -w*g + y - k = -y for g.
-5
Suppose 0 = p + 4*n - 8 - 2, -2*n = p - 8. Let u be 2 - (-1)/(1/(-2)). Solve p = -2*j - u*j + 4*i, -4*j = -2*i + 18 for j.
-5
Let t = 15 - 12. Suppose -15 = -2*m - 3*m. Solve m*c - 6*u + 2*u = -29, -t*u + 3 = 4*c for c.
-3
Suppose -4*k = -5 - 3. Suppose -6 = -3*f + 6. Suppose -2*j - k = x - f*x, -x + 3*j = -3. Solve -5*i + 4*z = -x*i - 8, -4 = 2*i + 2*z for i.
0
Suppose 3*t + 2 = -l + 3*l, 4*l + 4*t + 36 = 0. Let o = l - -4. Let m = o + 3. Solve m*k + 3*k = -v + 14, -2*k - 3*v = -16 for k.
2
Suppose -t = 4*t - 90. Suppose -3*a - 5*j = t, -14 = 2*a + 3*j - 1. Let d be (-2)/(-6) - a/3. Solve -3*w - 2*s = d, 3*s + s + 8 = 0 for w.
0
Let g be (3*-1)/((-9)/264). Let h = -62 + g. Let a = -18 - -32. Solve 0 = -3*k + o - a, 5*k = -0*k + 3*o - h for k.
-4
Suppose -4*f = 56 - 0. Let x be (16/28)/((-4)/f). Solve 5*s = -2 + 7, -2*m - 4*s = -x for m.
-1
Let d = -3 + 6. Suppose 3*v - 13 = -5*l + 5*v, 5*v - 14 = -d*l. Let h(i) = 3*i + 3. Let y be h(4). Solve 4*q + y = l*k, k - 3*k - 4*q = -10 for k.
5
Suppose -4 = -18*t + 16*t. Solve 5 - 3 = -q - g, t*g = -3*q - 7 for q.
-3
Let l be (-4)/14 - (-32)/14. Suppose -h + 5*o - 18 = 0, 7*o = l*o + 15. Let y be -5 + 11 - (-1 - h). Solve 2 = -3*q + y*q + t, 2*t = -4 for q.
4
Let p be (0 - -3)/1 - -2. Suppose 9 + 11 = p*o. Solve -2*j + o*z - 16 = 0, -7 - 9 = -5*j - 4*z for j.
0
Let q = 105 + -100. Solve 5*g + 2*u = 9, -3*u + q = -3*g + u for g.
1
Let l be (-6)/(-33) - (423/(-33) - -1). Solve -g = -4*t + 2*g - l, 4*t - 16 = -4*g for t.
0
Suppose 5*r - 20 = 5. Solve -d + 1 = -3*p + 6*p, r*d = 5*p - 35 for d.
-5
Suppose -2*d + 4 = 0, 3 = q - d - 0. Solve 5*y - q*a + 20 = 0, -3*y + y + 3*a = 7 for y.
-5
Suppose h = -5*m + 28, -4*m = 4*h - 7 - 25. Solve h*f = -3*a + 17 - 5, 8 = 2*f - a for f.
4
Let p = -50 + 53. Solve 3*l + p*r + r = 25, -2*l + 10 = r for l.
3
Suppose 15*w + 4 = 16*w. Solve 12 = w*h, 6*t - 7 = 5*t - 4*h for t.
-5
Let d be (-2 + 2 - 28)*-1. Solve 2*w + 4*y + d = -0*y, 2*w = -3*y - 23 for w.
-4
Suppose p + 5*f = -3*p + 32, p = 3*f - 9. Suppose -4*s = r + 18, 0 = 2*r + p*s + s + 16. Solve r*n + 2 + 1 = -x, -5*n - 15 = 0 for x.
3
Let m(t) = 4*t**3 - t - 1. Let c be m(-1). Let f = c - -7. Let i(s) = -s**2 + 4*s + 2. Let x be i(4). Solve a = x, f*b - 16 = -4*a + 2*a for b.
4
Suppose -5*t = 5*x - 155, -t = 5*x - 123 - 12. Suppose 0 = -4*p + 2*p + x. Solve -4 = 3*u - p, k + 19 = 5*u for k.
-4
Let y = 108 - 101. Solve y = o - 4*o + 2*m, m - 5 = 0 for o.
1
Let t(d) = d - 7. Let i be t(7). Let z(y) = y**2 + y + 2. Let f be z(i). Suppose -10 - 2 = -f*s. Solve -h - 3*b + 2 = -s*h, 0 = h + b - 6 for h.
2
Let q(a) = -a**3 - 2*a**2 + a. Let z be q(-2). Let r be (z/(-1) - 3) + 4. Let p(o) = o**3 - 5*o**2. Let t be p(5). Solve 2*u = 3 + r, 3*m + u = t for m.
-1
Suppose 4 = o - a, -10 = -2*o - 5*a + 5. Solve 2*h - 19 = o*q - 2*h, q - 2 = -5*h for q.
-3
Let p(i) = 2*i**3 - 4*i**2 + 2*i. Let h be p(2). Suppose -h*m + 49 = 5*l, -4*l + 13 = -2*m + l. Let t = -4 + m. Solve 2*u = t*z, -2*u - u - 4*z = -28 for u.
4
Let f be (-153)/(-3) + -1 + 2. Suppose f - 8 = 4*w. Solve -3*g + 4*s = -w, -2*g + 0*g + 12 = -5*s for g.
1
Suppose 0 = 13*f + 5*f. Solve -2*b + 6 = f, -3*b - b = -2*k - 2 for k.
5
Let g(s) = -s**2 + 7*s - 6. Let c be 4/6*45/6. Let v be g(c). Solve -3*p = v*i - 5 + 1, 5*p = 2*i + 24 for i.
-2
Let a = 3 - -2. Suppose 6 - 21 = -a*b. Solve -5*l + b*i + i + 27 = 0, 3*l - 4*i - 21 = 0 for l.
3
Suppose 111*p = 114*p - 6. Solve 5*g = -2*u - 27 + 8, -4*g = p*u + 14 for u.
3
Let s = -11 - -15. Suppose k + 0*i + 3*i + 9 = 0, 3*i = -s*k - 9. Suppose 4*t - 20 + 4 = k. Solve 2*m = 4*l + 4, -9 = t*m - 6*m - l for m.
4
Let y(k) = -k - 2. Let j be y(-5). Suppose 0 = -j*r - 2 + 8. Solve 0*v - 3*v + 6 = -3*m, 5*v + r*m + 4 = 0 for v.
0
Let d be 9/(-6)*8/(-3). Solve d = -2*v, -5*v - 1 - 4 = 5*u for u.
1
Suppose -34*s + 32*s + 10 = 0. Solve s*h = -2*u - 19, 0*u + u = -5*h - 22 for u.
3
Suppose 0 = 2*g - 3*g + 3. Suppose 2*n = -2*n + 20. Suppose 1 = -4*i + n. Solve s + 2*s = -4*l + i, 3 = -g*s for l.
1
Let s be (-6)/10 - 8/20. Let g be s/(-5) - 138/(-10). Suppose j = -4*r + 19, 2*r + 5*j = -0*j + 5. Solve -b - r = 2*v - 4*v, -3*b = -5*v + g for v.
1
Suppose -5*g = -5*y - 25, 0 = -2*y + y + 3*g - 15. Solve -4*w - 4 = u - y*w, -2*w + 8 = -2*u for u.
-4
Let i = 33 + -8. Suppose 2*r = x - 3 + 5, -5*r + 5 = -5*x. Suppose -l + 4 = -x. Solve -y = -l*k - i, 0 = 2*k + k + 15 for y.
5
Let o be (-70)/(-50) + (-4)/10. Solve -4*s - 2 = 3*b, 3*b = -s - o + 5 for b.
2
Suppose -3*x + 11*s + 12 = 6*s, -4 = -x - 5*s. Let z be (-2)/(2/6 + -1). Solve 0*h - z*h = -9, -31 = -x*n - 5*h for n.
4
Let r be (-7)/(-28) + 1/(-4). Suppose r = -2*g - 2*g + 12. Solve k - 2*m + 1 = 0, -g*k + 2*m = 2*k + 13 for k.
-3
Suppose -7 = -3*i + 38. Let n be (3 - 39/i)*5. Solve -4*t + 3