4*p + 16 = -5*n for n.
0
Let y(s) = -2*s - 5. Let m be y(-4). Suppose -4*w = -9*w + 2*g + 25, -m*w + 4*g + 29 = 0. Solve -h + w*h = l + 2, -l + 4 = h for h.
2
Let u(t) = -t**3 - 3*t**2 + 3*t - 1. Let x(d) = d**2 - 4*d - 4. Let w be x(4). Let v be u(w). Solve -v*g + 18 = -3*h, h + 2*h - 2*g = -15 for h.
-3
Suppose 0 = 3*t - 3. Let a = 5 - t. Solve -a*q + 0*l + 2*l - 26 = 0, -5*l = 2*q - 17 for q.
-4
Let t(h) = -3*h - 8. Let a be t(-4). Suppose 0 = 3*l + 2*b + 2, 2*b - 6*b = a. Solve -2*u + 27 = 5*v, l*u + 16 = -4*u + 4*v for u.
1
Suppose 14 = 4*b - p, p + 4*p = -b - 7. Suppose 12 = -0*n + b*n. Solve -n*a - 3*u = -35, -2*u + 5*u = a + 10 for a.
5
Let r be (3/(-3))/((-2)/2). Suppose -2*t = 4*f - 26, 37 - r = 5*f - t. Suppose 0 = 3*j - f - 2. Solve -i - 24 = -6*i - 3*q, 0 = -3*i + 2*q + j for i.
3
Let n = -28 - 0. Let v be 4/(-14) - 36/n. Let w(z) = -z**3 + 5*z**2 + 9*z - 9. Let c be w(6). Solve h - 3*a + c = -10, h + a = v for h.
-4
Let i = -11 - -14. Solve -b + i*k - 1 = 1, 0 = 3*b + 2*k + 6 for b.
-2
Suppose -x = -3*x + 8. Suppose -x*k - 2*j + 16 = 0, -4*k + 0*j - 12 = -5*j. Solve 9 = h - 2*v, 3*h = 5*h + k*v for h.
3
Suppose 2*x = -x + 15. Let i = x + -3. Solve 5 = 2*q - 0*l - 5*l, 4*l = 2*q - i for q.
-5
Suppose -4 = -5*i + 6. Suppose 0 = 3*h + 3*y - 9, -h - 3*y + 1 = 2. Suppose h*w - 28 = -s, w + 2*w = 5*s. Solve a + 1 = -w*k, -2*a + 0*k = -k + i for a.
-1
Let h be ((-4)/4)/(2/(-10)). Suppose 0 = 3*t - 4 - h. Solve 2*k + 1 = -s + 9, 20 = t*s + 5*k for s.
0
Let b be ((-6)/3)/(2/(-8)). Let d = 2 + 2. Solve -3*m = -4*m - d*p + 2, 0 = -4*m + 3*p + b for m.
2
Suppose -12 = -4*q - 0*q. Suppose 34 = q*r + 10. Solve 5*s - r = a, -a = 4*a + 2*s + 13 for a.
-3
Let m be 0 - (-5 + 2 - 2). Let r = -2 + m. Solve -5*c = r*u - 12, -2*u - 4 = -2*c - 4*u for c.
3
Let m be 1/(0 + (-3)/(-6)). Suppose 3*s = 3*v + 33, -s = m - 4. Let r = 17 + v. Solve -3*d = 5*j, 0 = 4*j + 3*d + d + r for j.
3
Let m = 0 + 3. Let d(g) = -g**3 + 0*g**m + 8*g + 0 + 4 - 4*g**2. Let k be d(-6). Solve -2*n = 4*a + 22, a + 0*a + 5*n = -k for a.
-3
Suppose 2*g - 10 = -2. Suppose -4*n + 16 = -4*k, 5*n - 18 = 4*k + 2. Let m = k - -4. Solve 6 = d + g*a, 0 = -m*d + 3*a + 2 + 3 for d.
2
Let x be (-1)/5 - (-11)/5. Let f = 3 - -1. Let r(d) = d**3 - 5*d**2 + 7*d - 6. Let b be r(f). Solve -2*o + 4*o = -x*n + 12, -b = 3*o - 3*n for o.
2
Let i(n) = n**3 - 6*n**2 + 5. Let m be i(5). Let a be ((-62)/(-3))/(m/(-30)). Solve -4*q = -0*q + 2*b + 2, -a = 2*q - 5*b for q.
-3
Let r be 2 + (4*4 - -2). Suppose f = -f - r. Let w be 2/((-24)/f + -2). Solve -3*p + w = h - 3, -2*h + 13 = 5*p for h.
-1
Let s be (-3170)/6 + (-1)/(-3). Let l be 2/(-10) - s/15. Solve 0*a - 3*a - 15 = 0, 5*x - 3*a - l = 0 for x.
4
Let l = -16 - -19. Let z be (-19 - -18)/((-2)/42). Solve 0 = 3*g + 4*y - 1 - 2, 4*g + z = l*y for g.
-3
Let x(s) = 3*s + 59. Let o be x(-18). Solve 3*g + 29 = -4*b + 11, -5 = o*b - 5*g for b.
-3
Let n(w) = w**3 + 3*w**2 - 6*w - 3. Let m be n(-4). Suppose -2*r - a + 3*a = -14, 0 = 4*r - 2*a - 22. Solve 0 = 4*k + c - 8 - 1, r*k - 3 = m*c for k.
2
Let k(x) = 24*x**2 + x - 1. Let p be k(1). Solve -2 + 6 = 3*j - 4*a, 4*j = -2*a - p for j.
-4
Let r be (-4)/6 + 68/12. Let z = -4 + 6. Suppose 3*g - 3 = -r*h, -4*h = -z*h + 2*g - 2. Solve 2*m - n + 12 = 0, -2*m + h*n = 3*n - 4 for m.
-4
Suppose s = 6*s + 5. Let n = 5 + s. Solve 0 = -n*b + 2*x + 6 + 18, -4*x - 24 = -2*b for b.
4
Let w(d) = d**3 + 10*d**2 - 12*d - 9. Let h be w(-11). Solve 0 = 5*p - 4*n + h + 11, 3*p = 4*n - 3 for p.
-5
Suppose -2 = -60*n + 59*n. Solve 1 = -4*s - j + n, -2*j - 3 = 3*s for s.
1
Let g(v) = -v - 3. Let x be g(-12). Solve x - 1 = 4*b + 4*p, 2*b = -5*p + 19 for b.
-3
Suppose -2*w + 51 = 7. Let f be w/10 - (-3)/(-15). Solve -3*g + 15 = -3*l, 13 = l + f*g + 3*g for l.
-2
Let b(n) = -n**2 + 17*n + 22. Let c be b(18). Solve 2*l = -0*l - 2*t + 4, 5*t = -c*l + 11 for l.
-1
Let v(a) = -a**3 + 6*a**2 - 2*a - 12. Let s be v(5). Solve 2*b + 2 = 0, 0 = -s*d + 5*b + 2 - 3 for d.
-2
Let m(u) = -u**2 + 13*u - 10. Let d be m(12). Solve 0 = -d*z + 6*z - q - 11, -q = z - 9 for z.
4
Let a = 5 + -5. Solve -3*l - 4 + 31 = -3*i, -5*l - 4*i + 9 = a for l.
5
Suppose -3*u + 1 = 2*g - 1, 3*u + 13 = -5*g. Solve d - u*d - k = 13, -k - 18 = 4*d for d.
-5
Suppose 0 = 5*n - 38 - 32. Suppose 4*u - 6 = n. Let q be (-2)/(-4) + u/2. Solve 2*t + 13 = 3*x, 0 = 2*x + x + 3*t - q for x.
3
Let p(s) be the first derivative of s**2/2 + 13*s - 1. Suppose 3*f + 0*f = -30. Let i be p(f). Solve v = -i*x - 8, -3*x + v = 4*v + 18 for x.
-1
Let m = -136 + 140. Suppose 3*g = 4 + 2. Let r be ((-4)/(-10))/(g/20). Solve z - 17 = -r*s - 0*z, m*z = s for s.
4
Let y be (-26)/(-169) - 100/(-26). Solve 0 = -2*k - 7*t + 4*t - y, -4*k + 4*t = 8 for k.
-2
Let t(c) be the third derivative of 5*c**4/24 - 2*c**2. Let q be t(-4). Let g = 33 + q. Solve -u = -1, 0*j + u = 4*j + g for j.
-3
Let a = 2 - -3. Suppose 4*x = -4*l + 28, 5*l = -0*l + 2*x. Suppose -4*s - 12 = -2*q + l, -2*q + 15 = -a*s. Solve 2*t - 5*f = -14, q*t - 4*f = -0*t - 1 for t.
3
Suppose 0 = 2*j - 7*j + 10. Solve -10 = l + p, 4 = -3*l + j*p - 1 for l.
-5
Let i = -3 + 4. Suppose 5*v = -3*d + 16, 2*v + v - 4*d = 27. Suppose 0 = -4*c + 11 + v. Solve c*n - 6*n + i = -3*m, 3*m + 16 = 5*n for m.
3
Let h = -8 + 18. Let u be (h/(-4)*2)/(-1). Solve 0 = -5*k - 2*i - u + 14, 3*i = -4*k + 3 for k.
3
Let c(f) = 9 + 4*f**2 - 5*f**2 - 6*f + 1. Let r be c(-7). Solve 3*b = 3*a + 12, 4*b + a - r*a - 6 = 0 for b.
-1
Let d = -24 - -34. Let x be (-8)/d*15/(-6). Solve n - f = x*n, -3*n - 4*f = 3 for n.
3
Let x be (2 - -3)*(0 - -1). Suppose -2*u = -4*w + 16, -x*u = -8*w + 4*w + 22. Let c be -2 + w + -1 + 3. Solve -4*v = -c*d - 12, -3*d - 4*v = d + 16 for d.
-4
Suppose 8 + 42 = 2*d. Let q(x) = x**2 + x + 4. Let o be q(0). Let u be (-2)/(o/6) + 8. Solve -u*g + 5*i + d = 0, -2 = -4*g + i - 3*i for g.
2
Let i(t) = -t**2 - 13*t + 7. Suppose 3*f + 52 = -f. Let h be i(f). Solve -h*m = -2*m - g - 6, -3*m = 4*g + 1 for m.
1
Let h = -4 + 7. Let a be 2/(-5) - 22/(-5). Let s be (-2*1)/((-6)/15). Solve -p = -h*p - a*b - 18, -p = -s*b - 12 for p.
-3
Suppose 0 = 2*d + 2 - 8. Solve 33 = -3*o - 2*o + 4*a, 3*a - 21 = d*o for o.
-5
Suppose 300 = -l + 308. Solve -3*s - 2*f + l = -f, -4*s = -3*f - 28 for s.
4
Let l = -3 - -9. Suppose d + l = 4*g, -2*d - 5*g + 7 = -3*d. Let k = 1 - d. Solve 3*a + 12 = 3*j, -k*j + 21 = -5*a + 3 for a.
-3
Let x be (-3 - -5)/((-4)/(-6)). Suppose 0 = 2*g + 2*g. Solve 2*w - 3*w - 4*b + 16 = g, -x*w - 3 = -5*b for w.
4
Let f(k) = -k + 7. Let i be f(7). Solve i*q + 2*q = 3*y + 8, 4*y - 5*q + 13 = 0 for y.
-2
Let j be 9/(-3)*2/6. Let y be (3 + -1*15)*j. Solve -3*q = -a - y, 2 = -4*a - 5*q + 22 for a.
0
Let t = -29 + 15. Let y = t - -16. Solve y*o - 3*u + 6 = 0, -5*u + 0 = 4*o - 32 for o.
3
Suppose p - 5*p = -112. Solve -2*m + o = 3*m + p, 2*o = 6 for m.
-5
Let o(f) = 3*f**2 - f + 1. Suppose -2*b - 3 = -5*b. Let y be o(b). Suppose 0 = -3*z + 6*z - 75. Solve 7*u - 2*u + z = -2*k, -y*u = 5*k + 15 for k.
0
Let g = -49 + 29. Let m = 29 - g. Suppose -2*z + d = -m, -z - d = -4*z + 71. Solve -32 = -3*f + 4*b, -2*b = -f - 2*f + z for f.
4
Suppose -3*u = u + 80. Let r = u - -8. Let i be (-45)/r + (-3)/(-12). Solve 0*d + 31 = -5*a - i*d, 3*d = 4*a for a.
-3
Suppose -4*d + 296 = -0*d. Let t be (-2 + 5)*d/(-6). Let l = -23 - t. Solve -c - 8 = 4*j, -l = 2*c + 5*j - 4 for c.
0
Let o(h) = -h**2 - 6*h + 3. Let a be o(-4). Solve 3*q + 4 = 2*q, q - a = 3*t for t.
-5
Let k be -2 - (3 + -3 + -4). Solve o = g - 0 - k, o - 1 = -2*g for o.
-1
Let c be (8/10)/((-5)/(-75)). Let k be 0/1 - (3 - c). Solve -5*s = -2*p - 33, -2*p + p - k = -s for s.
5
Let a = 6 + 4. Solve -3*y - 2*t = a, -2*y + 5*t = 14 - 1 for y.
-4
Let n(j) = j**2 - 4*j - 6. Let z = 22 + -16. Let l be n(z). Solve 5*t + 0 = 2*v + l, 3*t + 5*v = -15 for t.
0
Suppose -6*q + 4 = -5*q. Solve 2*r - 2 = z, 4*r = 5*z - q*z + 4 for r.
1
Let u = 20 + -5. Solve -2*z - 12 = -2*d, z - u = 3*z - 5*d for z.
-5
Let i be -1*1 + -9 + 10. Suppose 24*y - 29*y = i. Solve 4*u + 16 = y, -3*u - 6 = -f + 3*f for f.
3
Suppose 4 = -4*p - f, 2*p + 5*f - 22 = -6. Let m be 0 + (-3)/p*2. Suppose 5*q + 2*x = 73, 3*q - 5*x - 16 - 34 = 0. Solve 3*g = q, -r = r + g + m for r.
-4
Let h be (-27)/3*(-2)/6. Suppose 10*d - 12*d + 16 = 0. Suppose -h*r - 