3 = -0*w + w, p*x - 4*w + 22 = 0 for x.
-5
Let l(z) = z**3 - 8*z**2 + 12*z + 5. Let n be l(6). Solve -5*p - 28 = k, n*k + 40 = 3*p - 8*p for p.
-5
Suppose 11 = -5*h + 26. Suppose -3*a + 0*g - 9 = -h*g, -3*a + 15 = 5*g. Solve a = v + 4*c + 12, 3*v - 20 = 2*v + 4*c for v.
4
Let m(s) = -s + 5. Let y be m(-7). Let g = y - 7. Solve 25 = -0*n + 5*n + g*k, 3*n + k = 9 for n.
2
Let x be (6 - 3) + (14 - -1). Solve 2*f - x = -4*b, f + 4*f = 2*b - 3 for b.
4
Suppose -2*s = -0*s + 5*a - 5, -5*a + 5 = -5*s. Suppose -3*i + s = 9. Let u be 0/i + (-1 - -4). Solve -3*q + 22 = q - 5*d, -2*q - u*d = 0 for q.
3
Suppose 0*z = 4*g + 2*z + 8, -3*g - 24 = -3*z. Let c = g - -7. Solve -v - c*d - 22 = v, 0 = 3*v - d + 11 for v.
-5
Let x(j) = 0 + 0*j - 2*j - 11. Let b be x(-8). Solve -t + 10 - 4 = -5*a, 0 = -b*t + 3*a - 14 for t.
-4
Let i(z) = -5*z - 1. Let p be i(-1). Let f = 11 + -6. Suppose 2*w = -5*a, 5*a + 4 = -f*w - 11. Solve -a*d - 2 = 5*l + d, 2*d = -p*l for l.
2
Let z = 8 + -4. Suppose -z*p = -6*p. Let o(j) = j + 5. Let n be o(-4). Solve -5*f + 4*h - 14 + 3 = p, h = -n for f.
-3
Let p = -4 + 9. Suppose p*h = 55 + 190. Let i = -24 + h. Solve -6*s + i = 2*y - s, 5 = 2*y + s for y.
0
Suppose r - 5*r = -20. Solve f - 8 + 3 = -r*a, -2*f + 4 = 4*a for f.
0
Let c(v) = -v**3 + v**2 + 2*v + 3. Let g be c(-2). Let p = 7 - g. Let a be (1 + -7)*8/p. Solve 5*f = -3*u - 4, 2*f - 8*u = -4*u - a for f.
-2
Let d = 7 + -3. Solve 2*h = -5*n - 26, 5*h - 2 = d*n - 1 for n.
-4
Suppose -24 + 4 = -4*j. Solve j*g + 13 = h, -g + 3 = -h + 4 for g.
-3
Suppose c - 2*a - 6 = 0, 5*a - 15 = -3*c - 2*c. Let g be 2 - 1 - (-6)/(-2). Let n = c + g. Solve -n*y - 5*m = 18, m = y + 3*m + 7 for y.
1
Let q be (-15)/9*-3 - 3. Solve 2*p = 4*p + 5*m - 21, q*p - 3*m + 3 = 0 for p.
3
Let z(k) = 3 + 3 + 3*k**2 + k**3 - k - 3*k + 3*k**2. Let m be z(-6). Solve 4*p - 12 = q - m, 3*p + 4*q + 23 = 0 for p.
-5
Suppose 5*b = 3*s + 23, -b + 4*b = -s - 17. Let w = 16 + s. Suppose z + 22 = w*j - 2*z, -2*z - 8 = 0. Solve 0 = -j*u - 2*d + 6, -d + 4*d = u + 13 for u.
-1
Suppose 2 = 5*u - 8. Suppose 0 = -u*y - 2*y + 100. Solve -r - 7 = -m - 0*m, 3*m - 4*r - y = 0 for m.
3
Suppose 15 = -7*i + 12*i. Let a(f) = -f**3 - f**2. Let b be a(-1). Suppose -i*p + 14 + 4 = b. Solve 2*w + p = y, 4*w = -0*w + 3*y - 8 for w.
-5
Let q be 26/(-4) - 30/(-20). Let o = q - -8. Solve -2*j - t = 2*t + 9, -2*t - 1 = o*j for j.
3
Suppose -2*q - 13 = -2*r - 3*r, -5*r - 15 = 5*q. Let i be (-1)/(3 + 2 + q). Let u = i - -1. Solve 9 = 3*t, 5*p = t - u*t - 18 for p.
-3
Let u(f) be the second derivative of f**4/6 + 2*f**3/3 + 3*f**2/2 + 4*f. Let k = 0 + -2. Let w be u(k). Solve -w*r - 5*p = 23, 0 - 12 = 4*r + 2*p for r.
-1
Suppose -15 = -2*n - n. Suppose -5*b + 4 = 3*k, 1 = k - n*b - 7. Solve -k*c + 5 = -0*l + 5*l, 5*l + 2*c = 5 for l.
1
Suppose -2*n - 12 = -30. Solve 4*f = -4*k, -2*k - n = f + 4*f for k.
3
Let w = 15 + -7. Let i = -2 + w. Suppose -z + 0*m = -5*m + i, -4*m = 5*z - 28. Solve 20 = z*a - k, -5*k + 12 = 3*a - 3 for a.
5
Let i = 1 - -1. Let c(t) = 3*t - i - 2*t + t - 3*t. Let v be c(-4). Solve 5*w - 3*n = -11 - 23, -4*w = -v*n + 26 for w.
-5
Let r be (-2)/((-1)/4*1). Solve -2*s + r = k, -5*k + s - 5 = 10 for k.
-2
Let l = 1 - -2. Let a(u) = -4 + l + 2 + u. Let m be a(1). Solve 23 = -m*g + 5*r, -g - 7 = -r - 0 for g.
-4
Suppose 0*j = 3*j + 15. Let h be 0 + 6 + (j - -2). Let x be 3/9 - (-20)/h. Solve 0 = -4*o + 12, b + 21 = 4*o + x for b.
-2
Let h = -13 - -17. Solve k = h*t - 6, -t - 6 = -4*k - 0 for t.
2
Suppose -4*q = 4*s - 340, -s + 50 + 47 = -2*q. Let h = s - 64. Let m be 4 + -2 + 1 + 2. Solve -m*i - p = -0*p - 20, -2*i = -3*p - h for i.
5
Let i be 3 - (-3 - (1 + -3)). Solve -2*z + i*z = 4*h + 14, 4*h = -5*z - 7 for z.
1
Suppose 0 = -0*d + d - 3. Solve a = 2*n + 1, d*a - a + 5*n = 11 for a.
3
Let s(m) be the first derivative of m**3/3 - m**2 - 4*m + 5. Let y be s(4). Solve 3*c + g = -y, -3*c + c + 2*g = 0 for c.
-1
Let q be -1*2*2/4. Let s = q + 13. Solve 5*f = -15, -3*t - 6 = 2*f + s for t.
-4
Suppose j + 2 = 6. Let b be 2*(-1 + 2) - j. Let c = 0 - b. Solve -2 = p - x, -5*p - 2*x + 26 = c*x for p.
2
Let q(c) = 5*c**2 + c. Let l be q(-1). Solve 3*r + x - 3 = l*x, 0 = 4*r - 2*x for r.
-1
Suppose 0 = -4*j + m + 21, 18 = 2*j - 3*m + m. Solve r = 2*r - j*c - 4, -3*c = -r + 2 for r.
-4
Let w(l) = -2*l**3 - 2*l**2 - 1. Let c be 2 + -1 + 2 + -5. Let k be w(c). Solve 5*p + 0*p = 4*x + 13, 0 = 2*p - x - k for p.
5
Let y(c) = c**3 + 3*c**2 - c + 14. Let q be y(-4). Let o(s) = -s**3 + 4*s**2 + 7*s - 1. Let v be o(5). Solve -v = -t + q*n, -3*t + n + 13 = 1 for t.
3
Let h(s) = -s**3 + 3*s**2 + s - 1. Let g be h(3). Solve -9 = x - 5*m, g*x + 2*m - 7 + 1 = 0 for x.
1
Let w be (14/8)/(3/12). Let r be 2/w - (-38)/14. Solve c - 6 = r*j - 2*j, -c - 2*j - 9 = 0 for c.
1
Let k(d) be the first derivative of d**2/2 + 10*d - 3. Let p be k(-7). Solve -p*a = 4*l - 3*l - 1, a - 5*l + 5 = 0 for a.
0
Suppose 5*l = -4*t + 3*t + 15, -4*t = 5*l - 30. Solve -l*d - 2*d + 27 = 5*v, -v = -d for v.
3
Let a = 28 - 32. Let j be 1463/33 + a/(-6). Solve -4*z = -2*z + 2*r - 20, -j = -4*z - 5*r for z.
5
Suppose -3*a - 90 = -5*b, 40 = 9*b - 8*b - 5*a. Solve -p = -h + 1, -p + b = -5*h - 0*h for h.
-4
Suppose 6*g - 27 = -3. Solve 10 + 2 = -g*z + 2*l, -3*l = -z + 7 for z.
-5
Let m be (-2 + -4)/(-1 + -1). Solve m*d = -2*y + 15, -y + d + 20 = 5*d for y.
0
Let b = 6 + -2. Let y = b - 1. Solve 0 = -y*o + 2*h + 5, 4*o + 6*h = 3*h + 1 for o.
1
Let f = 4 - 1. Let d = -18 + 12. Let i be f/((-4)/(32/d)). Solve -5*n - 5*c = -10, -i*n - c + 4*c = -1 for n.
1
Suppose 2*s + s = 0. Suppose -9 = 3*f - s*f. Let j be f/(-1) + 0/(-3). Solve 12 = -j*r - 5*n + 34, 2*r + 12 = 2*n for r.
-1
Suppose 2*k - 40 = 5*k + 5*i, 64 = -3*k + i. Suppose -128 = -4*d + 56. Let n be (-3)/(2 + d/k). Solve 8*y - 4*y = -3*t + n, 24 = 5*y - 2*t for y.
4
Let z be (4 - (-3 - -6))*5. Solve 9 = a - 4*u - 5, 0 = -z*a - u + 7 for a.
2
Let i(w) be the third derivative of w**6/120 + w**5/60 - w**4/12 + w**2. Let d be i(2). Solve 0 = -u - 2*l + 5*l + d, 5*u + 8 = -l for u.
-1
Let o be (3 - 0)*(-14)/(-21). Solve -3*p - 5*h - 11 = 0, -5*p + o - 10 = -2*h for p.
-2
Let p be ((-6)/4 - -1)*0. Suppose 5 + 7 = 3*u. Solve 0 = -5*d + 15, p = -u*i + 5*d + 1 - 0 for i.
4
Let f = 29 - 19. Suppose 4*x - f = 10. Solve -x*t + 3 = -2*t, t = -5*j + 26 for j.
5
Let f be (-2 - -5)/(-1*1). Let b be f/(6/4) - -5. Solve 3*u = -2*y - 17, b*y + 5*u + 28 = -0*y for y.
-1
Suppose n - u - 1 = 0, 0*u = u - 1. Let i(b) = b - 6. Let x be i(6). Suppose x = 4*f - n*f. Solve 5*t - 20 = 5*c, 3*t - t + 3*c - 3 = f for t.
3
Suppose -5*p - 10 = -h - 0*h, 0 = h - 2*p - 13. Solve -2*w + 8*x - 3*x = -15, -w + h = -4*x for w.
-5
Let o(a) = -32*a - 4. Let f be o(7). Let u be 12/(-42) - f/14. Let x be ((-2)/(-4))/((-3)/(-156)). Solve 5*z + x = -4*n, -n + 4*n + 2*z + u = 0 for n.
-4
Suppose 54 - 9 = 9*z. Solve 3*t + 5*i = -0 + 19, -17 = -4*t - z*i for t.
-2
Let h = 79 + -74. Solve -15 = -3*c, -h*u + u = 4*c - 12 for u.
-2
Let n(z) = -8*z - 3. Let l(r) = 9*r + 2. Let u(s) = 5*l(s) + 6*n(s). Let v be u(-7). Solve -4*d + 0*p + 3*p = -19, -3*d + p = -v for d.
4
Suppose 2*p = 5*p - 9. Solve -2*g - 11 = -p*j + 2*g, -2*g - 1 = 3*j for j.
1
Let h be (-2)/(-13) - 134/26. Let m(t) = -t**2 - 6*t + 2. Let u be m(h). Solve 3 = 5*i - x, 0*x + 2*x = -3*i + u for i.
1
Let d be (18/(-14) - -1)/((-13)/91). Solve -w = 5, 3*v - d*w = 2*v + 12 for v.
2
Suppose -7*r + 6*r = -2. Solve -3*j = 5*p + 20, -4*p - j = -r*p + 7 for p.
-1
Suppose 5*p - 3*j + j - 22 = 0, -2*p + 4*j = -12. Solve p*c - 5*d + 10 = c, -2*c + d = -5 for c.
5
Let h(s) = s**2 - 9*s + 3. Let z be h(9). Suppose 4*j = 15 - z. Solve 2*r - o - 3 = 0, -3*r - j*o + 1 + 26 = 0 for r.
4
Suppose -i + 1 = -1. Solve -2*x - x + 1 = -i*r, -2*x + 4 = 2*r for x.
1
Let c be 0 + (4 - 13) - 0. Let y = -7 - c. Solve -4*g + 3*m = -m, y = 5*g - 4*m for g.
2
Let f = 96 - 92. Solve -5*w = y - f, -w - 20 = -5*y + 4*w for y.
4
Let p = 3 + 21. Solve 0 = -4*n + 2*y + 26, 0*n + n = 4*y + p for n.
4
Let z be (-2 - 0)/(2/3). Let c = 5 + z. Suppose -1 = 2*j - 7. Solve 2*m - p - 6 = 0, p = c*m + j*p for m.
2
Let t be (-2)/(-10) - (-237)/15. Solve 0 = k - 4*v - 3 - 13, t = 5*k - 4*v for k.
0
Let x(l) = -l + 4. Let y be x(0). Solve -2*z - 2 = y*a, -3*a + 4*a =