
Let y = -33 - -43. Solve -4 = -2*t - 0*t - 4*w, -4*w = -t - y for t.
-2
Let t = 8 + -4. Let s = t + 1. Suppose 2*k - c = -5*c - 6, 15 = -k - s*c. Solve -3*d = f + 7, 5*f - 21 - 24 = k*d for d.
-4
Let z(x) = -x**2 - 11*x - 6. Suppose -4*d + d - 24 = 0. Let p be z(d). Solve -3*v - 4 + 12 = -n, -3*n - p = -3*v for n.
-5
Let p(g) = -5*g - 9. Let t be p(-4). Solve t = -3*o - n, 0*n + 25 = -5*n for o.
-2
Let g = -13 + 8. Let p(z) = z**3 + 6*z**2 + 7*z + 6. Let j be p(g). Let f = -2 - j. Solve -2*s - f*s - 5*o = 2, -o = 2 for s.
2
Suppose -22 = -3*s - 4*z, 12 = -s - s + 4*z. Suppose -s*n + 8 = -0. Solve -2*w = g + 6, 4*w - 2*g = -0*g + n for w.
-1
Let c = 22 + -20. Solve 0*f - 4*f = 5*x - 5, c*f - 16 = 2*x for x.
-3
Let q(i) = i**2 + 12*i - 28. Let p be q(-15). Solve -c - 27 = 2*k - 7*k, c + p = 3*k for c.
-2
Let v = 7 - 4. Let d be ((-8)/10)/(2/(-5)). Suppose 4*t - b = 13, -d*b + 0*b - 11 = -3*t. Solve 3*g + 24 = -v*m, 1 = -0*g + t*g - 2*m for g.
-3
Let v be 1/(-5) - (-399)/95. Solve 4*g - 19 = -3*x, g - x = -v*g for g.
1
Let k(c) = -c**2 + 4*c - 1. Let t be k(3). Suppose 0 = z + t*z - 15. Suppose 0*m + 6 = z*r - 2*m, -r - 5*m = -12. Solve l + 4*q - 8 = 2*l, -r = -4*l - q for l.
0
Let f = 9 - -12. Suppose -3*d + f = 9. Solve 4*v - d*r - 32 = -r, -r - 9 = -v for v.
5
Let d(y) = -y**3 - y**2 - y. Let o be d(0). Let c = 11 + o. Solve 3*g + 0*g = -2*q, -3*q = -g - c for q.
3
Let s(a) = a**3 - 14*a**2 - 14*a - 9. Let h be s(15). Suppose 44*z - 41*z - h = 0. Solve -2*g - z*w - 20 = 0, -2*w + 45 = -5*g - 6*w for g.
-5
Let o(c) = -2*c**3 + 7*c**2 - 3*c. Let p be o(3). Solve 0*d + d + r = 2, p = 5*d + 3*r - 16 for d.
5
Let a(q) = q**3 + 4*q**2 - 5*q. Let s be a(-4). Solve -4*v - s = 5*k, -4*k = 4*v - v + 16 for k.
-4
Suppose 2*o - 4*o = -12. Suppose q - 6 = 5*y - 2*y, y = -q + o. Solve 3*m - 5*c = q, -m - 2*c - 3*c = -2 for m.
2
Suppose 5*r - 6 = -r. Solve -2*l - i = -l, -5*i + r = 4*l for l.
-1
Let a = 37 + -35. Solve 5*u + 18 = -3*h, 5*u + a + 11 = 2*h for u.
-3
Let u be (0 - -4)*(-5)/(-10). Solve -u*i - 1 = -l, 10 = -2*i + 5*l - 3 for i.
1
Let c(l) = 2*l**3 - 3*l**2 - 4. Let z be c(3). Solve 4*v - v - 1 = o, v - 5*o = -z for v.
2
Suppose q + 2*q - 4*m = 31, -3*q = 4*m + 1. Suppose -x + q = 4. Solve -4 = 4*g + 4*k, 6 = 3*g + k + x for g.
3
Let b(h) = -h**2 - 5*h + 5. Let s be b(-6). Let a(t) = -2 + 5 + 2*t - 2 + t**2. Let u be a(s). Solve 3*d - 8 = -2*p, 3*p = 4*d - 22 - u for p.
-2
Let j be (-1 - -2 - 1) + 16. Suppose -5*m = 2*n - 5*n + 20, -n + 8 = -2*m. Suppose -2*w = -n*w. Solve -4*p + j = w, 0 = -x + 5*x + 2*p + 4 for x.
-3
Suppose 0 = -2*h - p + 7, 6 - 22 = -4*h - 4*p. Let m(a) = -h*a + 3*a**2 + 3 - 1 - 3. Let x be m(3). Solve -5*u = -4*y + x, -u - 6 = -2*y + u for y.
-2
Suppose 0 = -5*r - 0*q + 3*q + 25, -r = q - 5. Let a = r + -3. Suppose 5*n - 26 = x, -a*x - 6 = -2*n - 6*x. Solve 2*c + n*y = 3*y - 2, -5*c - 2*y = -7 for c.
3
Let j(a) = -a**3 + a**2 + 5*a + 2. Let m be j(4). Let c = -21 - m. Solve -10 = -0*o - 5*o, -c*p = -o - 23 for p.
5
Suppose -5*u + 4 = -4*u. Solve -4*g - u*v = -20, 10 = 3*g - v + 3*v for g.
0
Let n(h) = -h**2 - 4*h + 5. Let o be n(-5). Suppose -3*r + o = -24. Solve 2*p = -4*v + r*v + 2, 3*p - 5 = 4*v for v.
1
Let i(z) = 56*z**3 + z**2 - z - 1. Let r be i(1). Let f = r - 39. Solve 2*d + 2*m - f = 0, 0 = -5*d - 3*m + 19 + 11 for d.
3
Let z = 494 + -489. Let s = 11 + -7. Suppose 3*r = s*r. Solve -2*t + 3*a + 6 = -7*t, r = -4*t + z*a - 27 for t.
-3
Let t(g) = g**2 - 5*g + 3. Let d be t(5). Solve 22 = -5*s + d*f, s + s + 2*f - 4 = 0 for s.
-2
Let u = -109 - -154. Solve 0 = -k - k + 10, 0 = -5*b + 5*k - u for b.
-4
Let b(j) = j. Let z be b(5). Let t(m) = -m**3 - 14*m**2 - 14*m - 10. Let x be t(-13). Solve 2*f - 7 = 1, 3 = z*o - x*f for o.
3
Let l = -6 + 14. Let x be (-1)/(-4) + 38/l. Solve 0 = -0*g - 5*g + x*q, 4*g + q - 20 = 0 for g.
4
Let b be (8 - -1) + (-1 - 0). Suppose -b = -8*j + 7*j. Solve 3*w + 10 = j*x - 3*x, 0 = 4*w - 4*x + 8 for w.
0
Let l(c) = 5*c**2 + 6 - 2 + 1 - c**3 + 6*c. Suppose 0 = -3*g + 12, 0*g - 36 = -4*x - 3*g. Let k be l(x). Solve 3*j = -3*h, -k*j = -h + 4*h + 4 for h.
2
Suppose 3*d = -5*u + 8, 4*d = -0*u + 4*u - 32. Let q(v) = 3 + 0*v + 2*v + v**2 + 1. Let t be q(-6). Solve -4*j = -l + j - 23, u*j - t = 4*l for l.
-3
Suppose 5*v - 3*r - 48 = -12, 4*v + r - 39 = 0. Solve -4*i = -4, -4*h + v*h - i + 16 = 0 for h.
-3
Let o be (-4)/8 + (-5)/(-2). Suppose 4*p + o = 10. Suppose 3*h = 4*h - p. Solve -4*z - 2*w + 2 = 0, -h*z - 3*z + w = 8 for z.
-1
Let z = 15 + -18. Let c be (-16)/z - 4/12. Solve -p - 13 = -0*v + 4*v, c*p - 4*v - 7 = 0 for p.
-1
Let a be 145/30 - 1/(-6). Solve 3*r - 3 = y + y, -2*y + r - a = 0 for y.
-3
Let w(v) = -v**2 - 4*v + 5. Let h be w(-4). Let j be 7 + (-2)/1*2. Solve -10 = -2*l, -j*l - l + 35 = -h*a for a.
-3
Suppose 4*s + 4 = -n + 28, 2*s = -2*n + 18. Let v be (12/(-14))/(18/(-168)). Solve j - 2 = -s*a - v, 5*j - 24 = 2*a for j.
4
Suppose 3*y = 4*y. Let m(p) = p**2 - p + 3. Let j be m(y). Solve -b + 20 = -4*v, -2*v - 10 = b + j*b for b.
0
Let k = 2 - 0. Suppose k*w + 4 = 3*w. Solve 0 = 3*u - w*t + 32, -3*u + 2*u = -4*t + 24 for u.
-4
Suppose 0*w - 19 = -4*m + 3*w, 2*m = -2*w + 6. Solve 3*f = -m*r + 24, -3*f = 5*r - 2*f - 19 for r.
3
Let l(p) be the second derivative of -p**3/3 - 9*p**2/2 - 2*p. Suppose -12 = -k + 3*k. Let x be l(k). Solve -2*s + 10 = i, 3*s = x*i + i - 7 for i.
4
Let l be 3*3*8/(-18). Let o = -2 - l. Suppose o*f - 80 = -3*f. Solve 0*m - 4*m + f = -4*z, 3*z = -3*m for m.
2
Suppose 2*d - 4 = 6. Solve -3*h + 2*z + 14 = 0, -5*z = h - d*h + 28 for h.
2
Let q = -5 - -9. Solve q*x = 5*x - 3*l - 14, x + 5*l + 10 = 0 for x.
5
Let i(j) = 2 - 1 + 3*j - 4. Let n be i(3). Solve c - 3 = -4*k, 2*c - 3*k + n = k for c.
-1
Let p be (-3)/6 + 33/6. Solve -8*a + 2*w + 16 = -3*a, -5*w - 10 = -p*a for a.
4
Let i be 7*-1*24/(-28). Let g = 11 - 5. Suppose 0 = f - g*a + a + 22, -4*f = -5*a + 13. Solve t - 5 = -3*z, -f*z = -i*z + 3*t + 21 for z.
3
Suppose 0*q + 10 = 5*w + 5*q, -20 = -5*w + 5*q. Let y(p) = -1 + 1 - 7*p**2 - w + p**3 + 0 + 5*p. Let l be y(7). Solve -2*i = 5*x + 2*i + l, -5*i - 19 = x for x.
-4
Let q = 53 - 51. Suppose 4*y - 3 = 1. Solve -g = -q*m + 4*m - y, 0 = -3*m - g for m.
-1
Let r = -45 + 50. Solve -5*c - 5*k = 20, -r*c + 3*k - 11 = 5*k for c.
-1
Suppose -4*w + 6 = p - 11, -w + 20 = p. Solve -5*t - 17 = 3*u, -p = 5*u + t - 0*t for u.
-4
Let q = -67 + 192. Suppose -5*f - 5*p = -q, -27 - 87 = -4*f + 3*p. Solve 4*t - f + 6 = d, -5 = -t for d.
-1
Let n(h) = h**3 + 3*h**2 - h - 1. Let f be n(-2). Suppose f*p - 3*y - 2*y = 15, 4*y = -4*p + 28. Solve 0 = 5*w - 2*r + 26, 0*w - 27 = 3*w - p*r for w.
-4
Let x be (-3 + 5)/(10/75). Solve 1 = -f - 4*l, -6*f = -2*f - 3*l - x for f.
3
Let n = 10 + -6. Suppose -b - 5*r = -8, -n*b = 4*r - 38 + 6. Solve k = -5*i + b, 3*k = 3*i + k - 10 for i.
2
Let v be 14 + 2 - (1 - 3). Suppose -7*m + m = -18. Solve -4*w - 5*l = v, 2 = -m*w + 2*l - 0*l for w.
-2
Suppose 6 = 4*a - 22. Solve -2*b + 2*s = 2, 4*b = 2*s - 15 + a for b.
-3
Suppose -z + 2 = -0. Suppose -z*u + 3*t + t = -56, -4*u - 2*t = -72. Solve 5*v + 0*v - u = -r, -5*r + 5*v - 50 = 0 for r.
-5
Let w(h) = h**3 - 8*h**2 - h + 9. Let q be w(8). Solve -2*d + 6 - 1 = -y, -q = 2*y - d for y.
1
Let x be 0/(1 + 0 + -3). Suppose -2*j - 2*j + 104 = 0. Suppose j = o + o. Solve -5*t - 3*r + o = x, -t + 2*r + 4 = 2*t for t.
2
Let i be (-14)/21*(-3 + 0). Solve -4*d + 2*t + 0*t = i, 0 = 3*t + 3 for d.
-1
Let v(l) = 10*l - 2. Let x be v(1). Suppose 3*t - x = -t. Solve 0*d + 3*i + 17 = t*d, 4*d - 4*i = 24 for d.
1
Suppose 12 = -7*l + 4*l, 0 = -2*d - l + 2. Solve -2*x + x + 4*z = -13, -3*z + d = -5*x for x.
-3
Suppose 9 = 5*i - 4*i. Suppose t - 4*d + 1 = 12, -3*d - i = -t. Solve t*y + 21 = a - 4*a, 0 = -5*a + 4*y - 17 for a.
-5
Suppose -40*k + 39*k = 0. Solve -4*f - 2*s + 18 = k, 0*f = 3*f + 2*s - 14 for f.
4
Let j(t) be the third derivative of -t**6/20 - t**5/60 - t**4/24 - t**3/6 - 5*t**2. Let f be j(-1). Solve z = 2, -f*z + 2 = -5*u - 3 for u.
1
Suppose 0*j + 5*j = 20. Let c = 6 + -3. Let x be 1/3*(16 + -4). Solve y + x*m - j + c = 0, 4*m - 21 = -5*y for y.
5
Let p be (-13)/3*(-4 - -1). Let d = p - -6. Let m be 4/14 - 66/(-14). Solve 0 = 4*o + m*k + 16, -2*k - 3*k - d = o for o.
1
Let i(b) = b + 7. Suppose -4*