 Solve 3*k - 2*k = -3*z - 13, 2*k - c = 2*z for z.
-5
Let t(g) = 1 - 1 + g**2 + g**3 + 11 + 0*g**2. Let b be t(0). Suppose -24 = -4*z + 4*q, 4*z + 0*q = -3*q + 3. Solve -2*a = -z*w + 6 + b, 0 = 2*a + 2*w - 8 for a.
-1
Suppose 0 = 58*s - 48*s - 40. Solve s*z + 8 = 0, 3*j + 3*z + 10 + 5 = 0 for j.
-3
Let j(b) = -4*b + 1. Let k be j(-2). Let s be ((-6)/k)/((-2)/3). Let v = 4 + s. Solve -5*a + 9 + 5 = -g, 6 = g + v*a for g.
-4
Let z = -273 - -278. Solve 2*n - 4*v = -16, 0*n + v + 5 = z*n for n.
2
Suppose 0 = -w + 43 - 16. Suppose 3*z - w = l, 5*l - 15 = -0*l. Suppose -z*f - 10 = -15*f. Solve t = r + 4*t - 5, f = -r + 4*t for r.
2
Suppose 12 = -2*q + 6*q. Suppose w + 0 = y + 1, -3*w = 4*y - 17. Solve -3*h + q = -b - y*b, -5*h - 5*b = 15 for h.
-1
Let i be 110/15 + (-2)/(-3). Suppose -4*u = -2*u - i. Suppose 2*d - 5*j = 6*d - 1, u*d = 2*j + 22. Solve -d*o + 0 + 29 = -3*x, -o - 4 = 3*x for o.
5
Let x = -1098 + 1100. Solve 2*m + 5*b = 4*m + 20, -3*b = x*m + 4 for m.
-5
Let s(z) = z - 1. Let j be s(1). Suppose j*y + 4*y - 4*b = 16, 4*y - 16 = -5*b. Solve y = -t, x + x + 3*t + 4 = 0 for x.
4
Suppose -2*x = -3*t + 25, -2*x + 25 = 5*t + 3*x. Solve -h + 3*w = -3*h - t, 2*h + 2 = 2*w for h.
-2
Let h be (92 - 4)/4 + -8. Solve 5*w + h = -6*s + 2*s, w + 7 = -5*s for s.
-1
Let q(m) = 19*m - m**3 - 17 - 6*m + 9*m - 22*m**2. Let l be q(-23). Solve -l*y + 3 = -2*y - 5*o, 5*y - 4*o = -3 for y.
-3
Let d(o) = -3*o. Let x be d(-1). Suppose 0 = -x*z - 0 + 9. Suppose -z*l - 2*l - 5*t + 90 = 0, 2*l + 4*t = 44. Solve -4*n - 3*u = -l, -3*n + 4 = n - 2*u for n.
2
Suppose 0 = z - 3*s - 14, -z - 5*s - 14 = -4. Suppose 0*c - 25 = -z*c. Let i = -404 - -408. Solve i*y = -c*j + 7 - 2, -4 = -y - 4*j for y.
0
Let j(d) be the first derivative of 1/2*d**2 + d + 3. Let q be j(2). Solve 2*w - 5*w + q*a - 12 = 0, -2*w - a - 5 = 0 for w.
-3
Suppose 6*j - 21 = 3. Let p be (2/(-4))/(2/(-68)). Let w be 2/(-5) + p/5. Solve -w*q = -2*u + 5*u, -3*q = j*u for u.
0
Suppose 8*v + 15 = 11*v. Solve -v - 10 = 2*p + r, 5*p - 2*r + 15 = 0 for p.
-5
Let h = 51 - 51. Suppose -5*n + h + 8 = 4*v, -4*v + 8 = -n. Solve -3*a = 3*o + 4 - 10, v*a - 4 = 3*o for a.
2
Suppose -4*p + 33 = 5*d, -4*d + 13 = -p - d. Let c = -53 - -56. Let n = 12 - c. Solve o - k = 4, -o = 2*k + p + n for o.
-1
Let j be (-1)/(2/14*(0 - 1)). Let h = j + -3. Solve z = 2*n - 0*n - h, 0 = 4*n - 16 for z.
4
Let k be -18*3/(-5)*80/48. Solve 2*l - 4*j - k = 3*l, 5*l = 3*j + 25 for l.
2
Let f(o) = 43*o - 1. Let i be f(2). Suppose 13 - i = -4*s. Let h be s/(-27) - 23/(-3). Solve -3*x - 8 = -n, 5*n = h*x - 3*x + 29 for x.
-1
Let n = 7 - 4. Suppose 4*s = 3*s + n. Let v be 2/3 + (-70)/(-30). Solve -3*m = -3*r - 21, -v = s*m - 2*m + r for m.
2
Let x be 16*3/(-6)*4. Let w be x/(-5) - (-14)/(-35). Suppose 2*z + w = 0, 5*z - 2*z = 5*o - 29. Solve -3*m - 35 = o*v, 0 = -3*m - 5*v - 22 - 18 for m.
-5
Let y(m) = m**3 + 8*m**2 + 7*m + 9. Let w be y(-4). Let r be -1*((-58)/18 + 10/w). Solve -3*b - r*x = 0, -b - 2*x = -0*b - 4 for b.
-4
Suppose o = 11 - 21. Let g = -8 - o. Suppose 0 = 3*k + 5*j - g - 32, 3*k + 3*j - 30 = 0. Solve -u - 5*h + 13 = -h, -2*h + k = 0 for u.
-3
Let g be (-6)/(-18) - (-6)/(-18). Solve -o = -4*a - 5*o + 24, -4*a - 2*o + 22 = g for a.
5
Let l(s) = -s**2 + 4*s + 9. Let w be l(7). Let n = -10 - w. Suppose 0 = -n*g - 4*j + 4, 4*j = -0*j - 20. Solve -2*f - 12 = 5*m, -4*m = -4 + g for f.
-1
Let s be 74/481 - (-50)/13. Solve -2*g + 6*g - s = -5*y, -2*g = 5*y - 12 for y.
4
Suppose 5 - 35 = -5*u. Suppose 44*h - 41*h + 2*b + 3 = 0, -3*h + 4*b = -33. Solve 3*j + 5 = -i, -h*j - u - 19 = -4*i for j.
-3
Let w be (-18)/(-2) - (-1)/1. Let y = -1 + w. Suppose 25*h = 26*h - 5. Solve -3*u + h*c = 19, 4*u + c - 22 = -y for u.
2
Suppose 0 = -4*d - 4*w + w + 17, 3*d - 4*w = 19. Solve 0*k - 4*k + 17 = -d*n, 5*k - 10 = -5*n for n.
-1
Suppose 3*q - 4*l - 31 = l, 1 = 3*q + l. Let z be (1 + q)*(-2)/6. Let y be (1 - 3) + z + 3. Solve 2*b - 2*v = 4, -2*b - 4*v + 3 - 23 = y for b.
-2
Let h(s) be the second derivative of -5*s**2 - 2/3*s**3 + s + 1/20*s**5 - 1/2*s**4 + 0. Let z be h(7). Solve 0 = 4*y - v + 34 - z, -3*y - 27 = -4*v for y.
-5
Let a be (-206)/(-14) - 2/(-7). Suppose 0 = 2*v - a + 7. Let p = -9 - -11. Solve 2*q = -5*c + 7, p*q = -3*c - c + v for q.
-4
Suppose 3*v - 2 - 4 = 0. Solve s = j, -3*j - 2*s = v*j + 28 for j.
-4
Suppose 5*b + 2*u - 9 = 0, -24*u + 27*u + 44 = 4*b. Suppose 4*f = 3*f - 1, f = -2*w + 9. Solve 3 = a + c - w*c, 5*a - b*c = 0 for a.
-1
Suppose 2*g - 8 = -2*q - 4*q, -2 = -3*q - 2*g. Solve 6 = -4*i + 5*h, -2*i - q = -h - 2*h for i.
-4
Let c be -4 + 5/25 + 2/(-10). Let z be (6/c - -1)*0 + 2. Let b be 2/(-9) - 114/(-27). Solve -2*l = -z*h - 6*l - 22, -b*h = 2*l + 20 for h.
-3
Suppose -2*i + 8*i - 48 = 0. Suppose -3 = 7*f - i*f. Solve f*d + 14 = -0*r + 2*r, -3*d = -5*r + 17 for r.
1
Let m(j) = j**2 - 5*j - 6. Suppose 0 = -4*l + 55 - 31. Let h be m(l). Solve h = -z - 4*s + 11, 36 = -4*z + 2*s + 2*s for z.
-5
Suppose 330*s = 332*s - 12. Solve 4*y - 4*c = -4, 4*y + s*c + 13 = c for y.
-2
Suppose -42 = 10*a - 62. Solve 4*c - a*n = 14, -5*n + 0 - 8 = -c for c.
3
Let v be 15/40 - (-74)/16. Suppose 0 = b - 5, v*y - 7*b = -5*b + 90. Solve h + 3*h = y, t + 3*h = 16 for t.
1
Let n(p) = p**2 - 30*p + 49. Let i be n(28). Let r(u) = -u + 16. Let o be r(i). Solve -2*z + 0 + 18 = -5*w, 0 = -5*w - 3*z - o for w.
-4
Let u = 21 - -2. Let a = 27 - u. Solve -5*o + 12 = -4*z - 8, z + a*o = -5 for z.
-5
Suppose -7*n = 6*n - 806. Let h = n + -59. Suppose 4*c + 16 = j, -5*j + c = -0*c - 23. Solve -4*w + 5*k - h - 9 = 0, k - j = 0 for w.
2
Let t(u) = 5*u**2 + u + 1. Let w = 14 - 15. Let b be t(w). Let l = 9 - 9. Solve l = 5*n + g + g + b, 0 = -g + 5 for n.
-3
Suppose -3*h - h + w + 26 = 0, 0 = 3*w + 6. Suppose -2*b - 5*u + h = -u, 0 = -4*u. Solve 2*c + 6 = -2*l, b*c + 4*l + 6 + 5 = 0 for c.
-1
Let w be (4 + 53/(-2))/(2/4). Let y be (-170)/w + (-4)/(-18). Solve -4*p + 2*b = 0, 2*p - 2*b + 3*b + y = 0 for p.
-1
Let h(t) = t**2 - 3. Let z be h(0). Let s be (3 - (-7)/z)*6. Suppose -o = -2*o + s. Solve 4 = o*p + 2*m, 0*p + 3*p + 7 = -4*m for p.
3
Let o = 525 - 522. Solve 2*g - w = o*w, g - w - 1 = 0 for g.
2
Let m(y) = y**2 + 5*y - 6. Let s be m(3). Let q = s + -16. Suppose -g - 3 = -q*g. Solve 24 = 4*o + g*i, 5 = 3*o - i - 0*i for o.
3
Let m(w) = -3*w + w - 6 + 3*w + 2*w. Let l be m(5). Suppose -3*k = 3 - l. Solve k*r - 11 = 4*r - 5*p, -3*p + 15 = -4*r for r.
-3
Let a be ((-24)/6 - -23) + (-6)/2. Let b = a + -13. Let q(x) = -x**3 - 4*x**2 - 4*x - 4. Let h be q(-4). Solve -4*l - 17 = -b*v, 0*v - 3*v + 3*l = -h for v.
-1
Let n be 48*3/8*-2. Let l = n + 46. Solve -a = 2*g - l, -5*g + 2*a = -0*a - 16 for g.
4
Let y be (-1)/3 - (-70)/(-15). Let c = y - -9. Let n = -1 + c. Solve 3*j + u - 2 = 1, j - u + n = 0 for j.
0
Let z(m) = m**2 - 33*m + 92. Let f be z(30). Solve -4*b + 2*s + 0*s = f, 4*s + 8 = -4*b for b.
-1
Suppose -3 = -2*k + 1. Let x be -1 + 3 + (-3 - (-9 + k)). Solve 3*o = -o + r - 14, -x = -3*r for o.
-3
Let w(g) = 6*g + 75. Let f be w(-12). Solve -2*m = p - 10, -3*m + 15 = -0*p - f*p for m.
5
Suppose 16*r = -1398 + 1478. Suppose 0*f - 10 = -3*b - 4*f, f - 7 = -3*b. Solve -5*u = -b*t + 3*t + 14, 3*u + 14 = r*t for u.
-3
Let p be (0 - -7)*(-138)/(-483). Solve 4*a + p*t = -20, -5*a + 3*a - 18 = 3*t for a.
-3
Suppose 2 + 0 = -2*l. Let w(z) = -z**2 + 1. Let d be w(l). Solve d*y + 5*y - 14 = 3*j, j = -3*y for j.
-3
Suppose -5*a = -11*a - 6. Let k(f) = -2*f. Let j be k(a). Suppose 3*w - g - 3 = -j*g, 3*w - 2*g + 6 = 0. Solve -5*x + 15 = w, 3*t - 2*x = 4*t - 11 for t.
5
Let p = -400 + 402. Solve -6 = -3*q - p*n + n, -4*q - n = -8 for q.
2
Let r(w) = -w**2 + 2*w - 20. Let q be r(0). Let d = -17 - q. Suppose 14 = 3*m + 8. Solve 4*k = -3*p + 17, m*p = 4*k - d*k + 4 for p.
3
Suppose 4*z - 5*k - 10 = z, 14 = 2*z + 4*k. Suppose 0*h - z = h. Let u be (-8)/h*10/4. Solve u = c - q - 0, -16 = -3*c + 4*q for c.
0
Let u(g) = -g + 6. Let r be u(4). Suppose 0 = 4*c - 30 + 6. Solve -w + c = r*q + 3*w, -3*w + 5 = q for q.
-1
Suppose 3*j + 9 = 0, -2*j + 30 = 3*u + 2*j. Suppose 17*s = u*s + 15. Solve 4*n + 20 = 0, 23 - s = 3*p - 3*n for p.
1
Suppose 6*q + 26 = 8*q. Suppose -q*v - 10 = -18*v. Solve b + 2 = -j - v*b, 0 = -5*j - 2*b + 3 for j.
1
Let g be (-7)/28 + (-3 - (-146)/8). Le