, 5 = 5*t. Solve -p*x = 4*j, 2*j + 2 = -4*x - 6 for j.
4
Suppose 7*q - 12 = 3*q. Let c be (-19 - (-2 + q))/(-1). Suppose -2*i + 4*i = 6. Solve 4*d - 30 = i*l + d, 0 = -5*l - d - c for l.
-5
Suppose -3*i + 292 = 283. Let t be -7 - (1 - (0 - -2)). Let d = -4 - t. Solve -4*q - 9 = -1, -i*n + q + d = 0 for n.
0
Let q(s) = 2*s - 4. Let z be q(3). Let m(a) = -a**3 + 3*a**2 + 4. Let r be m(3). Suppose 4*k - 16 = r. Solve -4*l = -n + 18, z*l + 0*n + 18 = k*n for l.
-4
Let b = -5 - -9. Let h be 1 + 18 - (3 - 4). Suppose 0*n + h = b*n. Solve n*f = -5*s, -8 = 2*f + 2*f + 2*s for f.
-4
Let x be (-12)/(-7) - (-6)/21. Suppose -x = p - 2*p. Let q = -13 + 19. Solve -3*g + q = -p*w + 5*w, -w - 3*g = -6 for w.
0
Let k = 80 - 78. Solve a = -k*r - 0*a + 8, 3*r + 5*a - 12 = 0 for r.
4
Suppose 0 = 2*u + 3*u - 45. Let g be 10/6 + 3/u. Solve 0 = 3*t + 3*n + 3, -t - g*n - n + 7 = 0 for t.
-5
Let m(r) = -r**3 - 8*r**2 + 4. Let i(c) = c**2 + 9*c + 6. Let o be i(-7). Let a be m(o). Solve -a*x - 12 = -2*q, 5*q + 15 = -x + 2*x for q.
-4
Suppose -2 - 30 = -4*q. Suppose 0 = -4*d + q. Solve -10 = 5*a - t, -d*a = a + t - 2 for a.
-1
Let q = -12 - -16. Suppose -13*s - q = -14*s. Suppose 0 = t + 3, 3*v + 2*v - 24 = 3*t. Solve -2*j = s*w - w - v, -j - 2*w + 1 = 0 for j.
3
Suppose -3*a - 3*y - 18 = 0, a + y - 6*y = -36. Let f = a - -5. Let q = -4 - f. Solve 4*k + 4*r = 0, -12 = q*r - 6*r for k.
-3
Let b be (-78)/(-18) - 1/3. Suppose -q = -r + 9 - 2, 0 = b*r + 2*q - 16. Solve i - 2*m - 16 = 6*i, r*m = 3*i + 22 for i.
-4
Suppose 0 = -5*b + 2*y + 12, -b + 5*b - 11 = 3*y. Solve b*t = -5*s + 11, -s - 4*t - 17 = -4*s for s.
3
Suppose -6 = 7*a - 8*a. Suppose -5*z + a*z - 5 = 0. Solve 3 = 3*p - 3*o - 24, -z*p - 2*o = -17 for p.
5
Let p(m) = -m - 3. Let l be p(-5). Solve l*t + b = -5, -3*t - 3*b - 7 = -b for t.
-3
Let s(m) = m**2 - 11*m - 10. Let f be s(12). Suppose -5*z = -t - 9, -8 = -7*z + 4*z - 2*t. Solve 5*v = -10, 0*b - z = -f*b + 2*v for b.
-1
Let g = 8 - 5. Solve 5*l - 9 = g*j - 0, 5*l + j = 17 for l.
3
Let m(q) = 12*q**3 + 1. Let j be m(1). Suppose -42 = -5*o + j. Solve -b - 4*i = -7*i + o, -2*b = 4*i + 2 for b.
-5
Let p be (-6)/(2 + 1) + 6. Suppose p*w = w + 3. Let f be -3 + 7 - (w + -2). Solve -3*n = 2*n - 2*h + 35, f*h = -4*n + 5 for n.
-5
Let i = 51 + -42. Solve -3*r + 3*t + t - i = 0, -4*r - t + 7 = 0 for r.
1
Let w = 28 + -25. Solve 0 = -l + 4*r - 22, l + r + 0*r = w for l.
-2
Suppose -4*l - 12 = 3*j, 2*j + 0 - 3 = l. Solve 9 = 3*w - 0, j = 2*c + 4*w - 22 for c.
5
Let w(o) = o**2 + 7*o + 9. Let i be w(-6). Let c = i - -9. Let g(a) = 4*a - 4. Let k be g(4). Solve -4*s - c = 2*b, s = 3*b - 3*s - k for b.
0
Let j(r) = -2*r + 14 + 0*r - r + 4*r. Let v be j(-9). Solve v*q + a + 8 = -0*q, -4*q = -4*a + 16 for q.
-2
Let k(i) = -i**2 + 9. Let r be k(-3). Solve -2*b = -r*b + w - 8, 0 = -w for b.
4
Suppose 6 + 24 = 5*k. Solve -k*n + 3*n = -3*c - 9, 15 = 4*n - c for n.
4
Suppose 24 = 2*w + 5*t, -4*t + 22 = 5*w - 2*w. Suppose 0 = -4*m - 2*a + 8 + 2, -2*a = w. Solve -3*g - 2 + 18 = -v, m*v - 8 = -5*g for v.
-4
Let z(s) be the first derivative of s**4/2 + s**3/3 - s - 3. Let f be z(1). Solve -5*a = f*g - 3, 4*g = -3*a + 5 + 8 for a.
-1
Suppose -2 = -2*l + 10. Let k be -1*(2 - (-1 + l)). Let n(t) = t + 7. Let h be n(-5). Solve a - 2*a = k*c - 6, -2*a = h*c - 8 for c.
1
Let s be (2*3/(-6))/((-1)/2). Solve 4 = -2*w, -w = -s*n - 0*w - 2 for n.
-2
Let f(m) = 4*m**3 + m**2. Let y be f(1). Suppose -5*r + 12 = -8. Let w = 7 - r. Solve 6 - 2 = w*s + 4*g, y*g = -5*s for s.
-4
Let q = 78 - 75. Solve -3*b - w + q*w + 13 = 0, -5*w = 25 for b.
1
Let i be ((-14)/3)/(-2) + (-3)/9. Solve -2*h + i*f = -0*f - 8, -4*h + 5*f + 20 = 0 for h.
0
Suppose 0 = 2*h + 4 + 10. Let g = h - -10. Suppose n = -0*n + g. Solve -5*m - 29 = -4*c, 1 = -2*c + n*m + 18 for c.
1
Suppose 4*s = 6 + 18. Suppose s = 4*z - 14. Let m(q) = -q**3 - 7*q**2 + q + 10. Let w be m(-7). Solve 4*a - u - 3 + 16 = 0, -z*u = -w*a + 3 for a.
-4
Suppose -2*p - 3 = 4*y - 37, -3*y - 2*p + 24 = 0. Let v be (-4)/10 + 44/y. Solve -5*a + 9*d - 20 = v*d, 0 = -4*a - 5*d + 20 for a.
0
Let g = -3 + 3. Let r be 1/4 - 171/(-36). Solve g = r*d - 3*d + 4, d = 2*z - 8 for z.
3
Let u(t) be the first derivative of -t**4/4 - 5*t**3/3 + 3*t - 1. Let r be u(-5). Solve -3*p - 3*n + r = 0, 2*n + 8 = 2*p + 26 for p.
-4
Suppose 4*k - 11 = 1. Solve -4*h - 5*u = 41, k*h - u + 5 + 2 = 0 for h.
-4
Let c(b) = -b + 22. Let r(j) = -j**3 + 6*j**2 - 6*j + 4. Let m be r(4). Let d be c(m). Solve 0 = -p + 3*q - d, 3*p + 6*q + 2 = q for p.
-4
Let k be ((-27)/(-18))/((-2)/(-4)). Solve -4*p = 5*x - 3*p + 7, -4*p = k*x + 11 for x.
-1
Let d(q) = -2*q. Let u be d(-1). Suppose 1 - 5 = -u*v. Solve 0 = 3*f + v*r, -2*f - 2 = 2*f + 2*r for f.
-2
Let s = 18 + -16. Solve n - 2*n + 11 = s*l, n = 5*l - 17 for l.
4
Let k = -15 - -16. Solve 2*t = -3*b + 2, 0 = 2*b - 4*t - k + 5 for b.
0
Let c = 103 + -103. Suppose 4*r + 0*r + 8 = 4*l, 0 = 2*r - l. Solve c*j = -5*s - j - 27, 24 = -4*s - r*j for s.
-5
Let u = 8 - 13. Let b = u - -5. Let l be ((-16)/20)/((-2)/10). Solve -4*o + l*c + 20 = b, -3*c = -o + 5*o - 13 for o.
4
Let i = 2 - 2. Suppose g - 6 - 6 = i. Solve 4*t - g = -0*o - 4*o, 9 = t - 2*o for t.
5
Let f(p) = -p + 1. Let v(k) = -k + 1. Let w(d) = -7*f(d) + 6*v(d). Let s be w(1). Solve h + 3*o + 9 = s, 4*h = -o - o - 6 for h.
0
Let u(z) = -z**3 - 4*z**2 + 5*z + 3. Let a be u(-5). Solve -a*c - 18 = -3*m, -3*m + 0 - 2 = 2*c for c.
-4
Suppose -7*j = -2*j - 20. Let u be (-2)/2*(11 - -1)/(-6). Solve -u*m - 6 = -2*q, -2*m - j*q - 23 = m for m.
-5
Let j = -3 - -11. Solve 2*y + 0*m + m - j = 0, -5*y - 2*m + 20 = 0 for y.
4
Suppose 0*j + 2*y = j - 2, -4*j = -2*y - 14. Let l = 1 + -2. Let d be (l*3)/(3/(-15)). Solve w - 5*u = 19, -j*u = u + d for w.
4
Suppose -3*s = -s - 8. Solve 6*w - w + g - 5 = 0, -4*w + s = -4*g for w.
1
Let l(r) = r**3 + 12*r**2 + 10*r - 1. Let f be l(-11). Let p = 15 - f. Solve -6*x - 25 = -x + p*q, -5*x = q + 21 for x.
-4
Suppose b - 3*b + b = 0. Solve 5*t - k + 9 = b, t - 3*k = 4*t + 9 for t.
-2
Let r(i) = i - 1. Let v be r(5). Let s = v + -2. Let u be (-4)/(0 + -2)*7. Solve 0 = 4*b - 2*j + u, 3*b + 5*j + 20 = s*b for b.
-5
Suppose -4*m - 12 = z - 36, -32 = -3*z - 4*m. Suppose -q + 5 = -5*k + k, -z*q + 20 = k. Solve -5*p - 12 = 13, -r - 23 = q*p for r.
2
Let o = 2 - -1. Let z(m) = m + 2. Let a be z(o). Solve 0 = -a*u + 5*f - 5, 3*f = 4*u - 2 + 8 for u.
-3
Let y(c) = 3*c - 1. Let v be y(1). Suppose -29*g - 84 = -35*g. Solve -5*x = -2*w + 6, -v*x - g = 5*w - 0*x for w.
-2
Suppose 4*o - 15 = -o. Solve -o*t - 7 = -r, 2*t - 4*r - 3 = -1 for t.
-3
Let h be (7/2)/(4/(-8)). Let f be h + -3 + 0 + 2. Let a be (f - 1)*12/(-18). Solve 3*c + 6 = 0, -2*l - 2*c - a = c for l.
0
Let s(a) = 2*a. Let p be s(3). Let g = p - 1. Suppose 0*t + 15 = g*t. Solve 0 = -4*y + 3*n + 26, -y - t*n = -3*y + 16 for y.
5
Let p be (1/(-2))/((-3)/12). Suppose 0 = -2*w + y, 6*w = p*w - 3*y - 10. Let q = 1 - w. Solve 5*v - q*z = 2, 0 = -2*v + 3*z - 9 + 1 for v.
2
Suppose 3*l - 2 = -5*w + 7, -w - 2*l = 1. Solve -5*x - w = -2*x, -b - 4*x = 1 for b.
3
Suppose 0 = 3*d - 4*k + 3, -k = -2*d + k. Suppose -i + 29 = -3*c, 3*c = -8*i + d*i - 17. Let n = c - -18. Solve 6*p - 3*p = 3*q + n, -2*p + 4 = -3*q for p.
5
Suppose 0 = -3*l + a + 9, -5*l - 3*a = -2*a - 7. Solve -3*r = -l*b - 14, 5*r - b + 4*b - 17 = 0 for r.
4
Let x be (-3)/12*2*2. Let h = 5 + x. Let i be 48*((-2)/(-3) + 0). Solve -5*g - 5*r - 44 = -h, 3*r = -5*g - i for g.
-4
Suppose -w = -4*q - 3*w + 252, 126 = 2*q + 3*w. Let a = q + -43. Solve -4*x = -3*r + a, -6*r + 2*r = -5*x - 26 for r.
4
Let j(q) be the second derivative of q**4/12 - q**3/6 + 10*q**2 + q. Let c be j(0). Suppose 10*o = 5*o + c. Solve -o*w + h + 18 = -0*h, 4*w = -3*h + 10 for w.
4
Let k(u) = u**3 + 7*u**2 - u - 2. Let y be ((-36)/15)/(3/(-10)). Let g = y - 15. Let h be k(g). Solve -2*t = 2*d - 6 - 2, -7 = h*t - 4*d for t.
1
Let b be -6 + -1 + -2 + 2. Let c = 13 + b. Let u be (-2)/6 - (-2)/c. Solve -2*k = -u*k + f + 4, -2*k + 2*f - 4 = 0 for k.
-2
Let h(b) = -b + 12. Let o be h(8). Suppose 0 = m + 4 - 19. Let k = m - o. Solve 0 = 4*p + v - k - 9, -5*v + 8 = -3*p for p.
4
Let z = -16 - -18. Solve -2*d - 21 = 7*w - z*w, 4*d + 5*w = -27 for d.
-3
Suppose 10*n - 96 = 2*n. Solve -3*x - 5*d + 31 = n, 2*d 