*l + 11 = -h. Solve -s - 5*t = 2*s + 12, 0 = l*t for s.
-4
Suppose 0 = -m - 2*j - 2, -4*m + 2*m + 8 = -2*j. Solve 4*x = -3*k - 13, m*k - x = 7*k + 16 for k.
-3
Let r be 2/(-6) - (-55)/(-15). Let s be r/(-1 + 3 - 0). Let z be (18/27)/(s/(-27)). Solve t + 3*t - 16 = -2*j, z = 3*t + 3*j for t.
5
Suppose -4*s + 5*s - 31 = 0. Solve 0 = -5*n - 2*c - s, -3*n + 2*c + 3*c = 0 for n.
-5
Let k(x) = -x**2 + 6*x + 2. Let z be k(6). Let w(f) = -5 + 0 - f - 2*f + z*f. Let a be w(-7). Solve 3*y - a*t = -t, 3*y = 3*t - 6 for y.
1
Suppose -z = 4*o - 7, 2*z - 13 = 4*o + 7*z. Solve -w = -5*f + 23, 0 = 2*w - 0*f - o*f + 18 for w.
-3
Let v be (39 - -3) + (-2)/1. Suppose r - v = -4*l, -3*l + 5*l = -5*r + 2. Solve 0 = 6*d - 3*d - u - l, -3*d - 19 = 5*u for d.
2
Let a be 1*(-4 - 15/(-3)). Solve -4 = -4*v - 4*k, 4*k - 2 = -v - a for v.
1
Suppose 2*z + z - 7 = -i, -1 = 2*z - 5*i. Solve -z*r + 23 = 5*b, 0*r + 2*r = -b + 11 for r.
4
Suppose 2 = -4*l - 3*u + 21, -u = 3*l - 13. Solve 2*b + 2*v - 7 = 5, 2*b = l*v - 12 for b.
2
Let x(w) = 2*w - 12. Suppose n - 8 = 4. Let g be x(n). Suppose 3*j - 2*c + 8 = 4*j, -j = -3*c + g. Solve t - 2*t + 2*o - 10 = j, -9 = -3*o for t.
-4
Suppose -137 = -4*y + 119. Suppose 0 = 7*c - 3*c - y. Solve 3*i + 14 = u + 5*i, c = -u + 4*i for u.
4
Let u be ((3 - 3) + 2)/(8/12). Solve -u*v + a + 6 = -2*a, a = -4*v - 7 for v.
-1
Suppose -3*u + 20 = -2*u. Solve 2*t - 12 = 2*m, 5*t + u = -8*m + 3*m for t.
1
Let x be 4/(-10) + (-76)/10. Let n(r) = -r**2 - 10*r - 3. Let p be n(x). Solve -o - 1 = 0, 5*d - p = 3*o - 0*o for d.
2
Suppose -28*z + 31*z = 21. Solve -r = c - 1, 4*r + c - z = -0*r for r.
2
Let y = 3 - 0. Solve -3*t + 20 = 5*l, 11 = 3*t - l - y for t.
5
Let k(w) = w - 15. Let h be k(15). Solve -3*v = -2*i - 19, -2*v + h*v + 3*i = -16 for v.
5
Let u(x) = -x**3 + 5*x**2 + 7*x - 3. Let c be u(6). Solve 4*g - 5 = -c*r + 10, -r - 3*g + 5 = 0 for r.
5
Suppose -4*q = -2*q - 6. Suppose q*p - 15 = -0*p. Solve 5*s + 4*d - p = 4, 5*s + 3*d = 8 for s.
1
Let b = 73 + -41. Let x be b/6 - (-2)/(-6). Suppose -2*y = 4, y = -x*z - 0*z + 8. Solve -4 = 2*i + 5*j, i - 3*j + z = -5*j for i.
-2
Let q be -3 + 2 - 1/(-1). Solve b + 4*b + 3*w + 29 = q, 2*b + 2 = 2*w for b.
-4
Let j = 10 + 6. Solve k = 4*n + j, 2*k + 2 + 5 = -5*n for k.
4
Let r = -130 + 135. Solve -7*v = s - 4*v - 7, 2*v = r*s + 33 for s.
-5
Let m(y) be the first derivative of -1/3*y**3 - y - 3/2*y**2 + 3. Let h be m(-2). Solve -g = 2*v + 1, 2*v + 2*g = -7 + h for v.
2
Suppose 28 = 3*y + 4*j, y + 2*j - 4*j + 4 = 0. Solve -y*u + 5*v - 4 = 0, 4*u + 3*v - 38 = -10 for u.
4
Suppose 3*q + 23 - 53 = 0. Solve -5*z + 8 = 4*a - 2, -q = -5*z for a.
0
Suppose 2*n + 2 + 6 = 0, -2*h - 5*n = 12. Solve -h*p - 3 = d, p - 6 = 2*d - 2*p for d.
-3
Suppose -27 = -4*a - 5*v, 0 = 4*a - v + 3*v - 18. Solve 4*r = a*c + 20, -10 = 4*r - 5*r + 2*c for r.
2
Let a be 13/4 + 1/(-4). Let s be (-2)/(-3) - (-195)/45. Solve 5*q - c + 2 = 0, -a*q + q = s*c + 17 for q.
-1
Let r be (-30 - -27) + 6/1. Solve d - y + 1 = -1, -3*d - r = -4*y for d.
-5
Let i = -1 + 5. Let b = -2 + i. Let r = -3 + 6. Solve -2*o = -4*j - 16, -b*o + 3*o - r*j - 10 = 0 for o.
4
Let j be (30/(-1))/(-2) - 2. Let q(t) = 1 + 2*t - 3*t - 4. Let i be q(-5). Solve 0 = v - 3*k - i, 1 - j = 2*v + 2*k for v.
-4
Let b(i) = -i**2 + 2*i + 11. Let u be b(4). Solve -u*y - 2*y = c + 10, 2 = 3*c - y for c.
0
Let o be 2/(-3) - 46/(-6). Suppose 0 = -o*c + 2*c + 15. Suppose -2*g - 34 = -c*l, -18 = -3*l + 3*g + 21. Solve -2*i - 14 = -l*u + 4*u, 0 = -2*u - i + 5 for u.
3
Suppose -3*l + 54 + 33 = 0. Let r = -7 + l. Solve -2*g = 4*v - r, -g + 17 = 2*v + 2*v for v.
3
Suppose 2*i + 0*i = 20. Suppose -3*u + 5 = -i. Suppose -3*z + 117 = 3*x, 0 = 5*x + 3*z - 5*z - 167. Solve -l + 5*t + 4 = -6, -x = 4*l + u*t for l.
-5
Suppose -4*s - 5*l + 3 = -2, 3*l - 3 = -s. Suppose s = -5*u - 25, -2*t + 5*u + 25 = t. Suppose -27 = -t*v - v. Solve 0 = q - 5*x - v, q + 4*x + 22 = 2*q for q.
2
Let y = -1 - -4. Suppose 30 - 6 = 4*z + 3*a, 5*z = 3*a + y. Let j be (4/z)/(6/27). Solve -4*o - 8 = 0, -2*o + j*o + 4 = -4*w for w.
1
Let n(z) = -4*z + 38. Let p be n(9). Suppose 0 = v - 4 + 2. Solve v*b + 9 = 4*h + h, p*b - 18 = -4*h for b.
3
Let h(x) = -x**2 + 4*x. Let c be h(3). Solve u = -2*q - 2 - 4, 0 = -q + u + c for q.
-1
Let t(y) = y**2 - 4. Let g(k) = -k**3 - 6*k**2 - k - 3. Let i be 4/14 + (-176)/28. Let w be g(i). Let s be t(w). Solve -3*f - 4*o = f + 20, s*f = o - 19 for f.
-4
Let l = 5 + 0. Solve 0*n + 3*n - u + 5 = 0, 0 = l*n - 4*u - 1 for n.
-3
Suppose 0 = x - 6 + 3. Suppose x*n + 2*n = 15. Solve 0 = -s - 3*k + 9, -k + 12 = -2*s + n*k for s.
0
Let y = -19 + 26. Solve 2*a + 3*c = y*a - 10, 0 = -a + 2*c - 5 for a.
5
Suppose -4*p + p + 9 = 0. Let c = p - -2. Solve -4*z + 3*z + c = -4*s, 0 = -2*z + 10 for s.
0
Suppose 0*x - 3 = -x. Suppose -3*v + x = 0, 4*s - 5*v = -3*v + 18. Solve 0 = -h, -3*j - s*h = -3 - 0 for j.
1
Suppose 5*z + 2*r = 6, -2*z - r = 2*z - 6. Let h = 2 + 2. Suppose 0 = 8*j - h*j. Solve -3*a - 5*c - 37 = j, -3*a + z*a - 5*c = 29 for a.
-4
Let v = -14 - -16. Solve -k = 3, 19 = -3*y - 3*k - v for y.
-4
Let f(c) = c**2 + 14*c + 18. Let m be f(-13). Solve 0 = 5*p - m*b + 15, 2*p + b = -3 for p.
-2
Suppose 0 = -7*u + 5*u. Solve -5*d = 3*o + o, u = -d + o for d.
0
Let a = 19 + -19. Solve -4*r - 3*v - 14 = 0, a*v = -2*r - 3*v - 4 for r.
-5
Suppose 3 + 3 = -3*k. Let g = k - -7. Solve -2*f = -3*f, 3*f + g = a for a.
5
Suppose -5 = t - s, -t + 0*s = s + 7. Let p = -1 - t. Solve m = 2*m + b + 1, -37 = -3*m + p*b for m.
4
Let r(t) = t**3 + 6*t**2 - t - 5. Let m be r(-6). Let c = -1 - 14. Let j = -10 - c. Solve -3*u - 4*f = 26, -3*u = -j*f + 4*f + m for u.
-2
Let y(h) = h**2 + 13*h + 17. Let m be y(-12). Solve -5*c - 2*p + 15 = -15, -m*c - 3*p = -35 for c.
4
Let m(k) = k - 4. Let h be m(7). Suppose 2*v + 5*i = -15, 4*v + i + 4 = 19. Solve -h*n = -3*l - 1 + 4, -l - v*n = 17 for l.
-2
Let k(s) = -s - 7. Let h be k(-7). Suppose h = 5*y - 2*y. Solve y*d = 2*d - 4*m + 12, -d = -3*m + 8 for d.
-2
Suppose 7 + 4 = k. Solve -5*r + 3*a = -22, -2*r + a = 2*a - k for r.
5
Suppose 5*f - 12 = 3. Let w = f - 11. Let s be 2*6*(-2)/w. Solve -s*o + 2*n - 3 = 0, 2*n = -0*n for o.
-1
Let g(m) = m + 2. Let c be g(0). Let j(u) = 6*u - 45. Let b be j(11). Let s(n) = n**2 + 5. Let o be s(0). Solve -2*d + b - 5 = c*i, -o*i = 4*d - 35 for i.
3
Let t be 10 - 3 - (4 - 1). Let z be (-1 + 2)/(t/20). Let s = -1 - -2. Solve 0 = -w - s, -3*g = -2*g - 5*w - z for g.
0
Let g(s) = s**2 + 6*s + 3. Let d be g(-7). Let n(k) = k**2 - 10*k + 3. Let l be n(d). Suppose -j - 1 = -l. Solve 0*u + u = -b - 6, -13 = -j*b + 3*u for b.
-1
Let s = -13 + 24. Suppose -4*p = -s - 9. Solve -b + 4*z = -17, -3*z = p*b - 3 + 33 for b.
-3
Suppose 3 = -2*q + 5, 0 = -3*c - 5*q + 17. Let f be 66/14 + c/14. Suppose -5*g = u - 6 - 2, -4*g = f*u - 19. Solve u*b = -t + 6*t + 21, 4*b + 5*t = -7 for b.
2
Suppose 7*w + 10 = 5*w - 4*u, -50 = -5*w + 5*u. Solve -z + 5*d - d = 12, w*d - 28 = -2*z for z.
4
Let h = -11 + 14. Solve -3*t - 12 = -2*d, 5*d = -h*t - 0 + 9 for t.
-2
Let p = -1 - -3. Let l(n) = -3 + 2 + 6*n - 3 + 3. Let x be l(1). Solve 3*m = -x*z - 19, 3*m + 3 - p = 4*z for m.
-3
Let z be 2/(-6) + 14/6. Suppose j + 3 = z*j. Solve -5*r - 11 = -0*i + 2*i, -3*i = 3*r + j for i.
2
Let z be (0 - -2)*(2 + -3). Let n = 6 + z. Solve -2*y = 4*d - 20, 3*d - n*y + 3*y - 5 = 0 for d.
3
Suppose -14 + 29 = 15*f. Solve -3*m + f = -h, m - 5*h - 4 = -13 for m.
1
Suppose -5*d + 10 = 0, 2*l + 2 - 4 = 4*d. Solve 4*q - l = -5*b - 0*q, 3*b + 3*q = 0 for b.
5
Let y be (6/4)/(12/32). Let k be (-1)/2 - (-36)/8. Solve -j - 4*j + l = -y, -16 = k*j + 4*l for j.
0
Let s be 1/(-5) - (-11)/5. Let u be (-2)/5 + (-10)/(-25). Let o = u + 4. Solve 4*g - 10 + s = -o*v, -5*v + 3*g = 6 for v.
0
Let g = 7 + -1. Let i = g - 3. Solve 2 = -i*j - 7, 2*d + 22 = -4*j for d.
-5
Let y(v) = 3*v - 4. Let b be y(4). Let o be (-9)/(-15) + 37/5. Solve -3*z + b = -3*r + o*r, -r - z = 0 for r.
4
Let y be 0*4*(-4)/(-32). Solve h = 5*m - 27, -3*m + 11 = -y*h + 2*h for m.
5
Let t(p) be the first derivative of -1/2*p**2 + 0*p - 3. Let d be t(-3). Solve 5*q - 16 = -n + 3*n, 0 = -d*q - 2*n + 16 for q.
4
Suppose -5*h + 20 = 5*q - 20, 4*q = -2*h + 26. Solve 17 = -q*t + 3*v, -3*t - 2*v = -v - 1 for t.
-1
Suppose 5*t - t = -12. L