2*n + p, -n = o*p - 0 - 2 for n.
0
Suppose 6*n - 5 - 7 = 0. Suppose -16 = -n*z - 2*z. Solve 2 = r + 3*s + 9, -4*r + z*s = -4 for r.
-1
Let x be -75*(-51)/(3 - 6). Let n be x/50*(-4)/6. Let u be (1/2)/(1/6). Solve -u*q - q = -h - n, -4*h + 16 = 5*q for q.
4
Suppose 3*m - 97 = -5*t, -4*m = 3*t - 6*m - 62. Suppose -2*v + t = 2*v. Solve 28 = v*o + 8, 18 = d + 4*o for d.
2
Let y = 821 - 817. Solve 0 = y*i + 2*j + 16, 4 + 9 = -i - 5*j for i.
-3
Let u be -5 - -4 - -4 - 1. Solve -h + 4*r = -u*h + 4, -3 = -3*r for h.
0
Let i be 152/15 + 14/(-105). Solve -3*d = 3*y - 6, y - i = 2*d - 5*d for d.
4
Let y(m) = m**3 + 11*m**2 + 6*m - 24. Suppose -21 = 5*l + 29. Let o be y(l). Solve -w - 2*w - 2*u = o, -4*w = 4*u + 24 for w.
-4
Suppose -2*x = -5*x. Let h be 3/5 - 1 - (-132)/55. Suppose 26 = h*n - x*n. Solve 5*o = s + 9, -2*s + 6*s + 3*o = -n for s.
-4
Let y be ((-4)/10 - 26/10) + 8. Let c be ((-77)/44)/((-1)/4). Let k = c - y. Solve 2*q = 4*j + 2, 0*q + 8 = -j - k*q for j.
-2
Let u(k) = -2*k**3 + 39*k**2 - 19*k + 4. Let q be u(19). Solve -12 = 5*j - 2*o, -2*o = 2*j + 6 - q for j.
-2
Suppose 30 = 64*n - 58*n. Solve n = -u + 4*k - 2, 5*k - 17 = 4*u for u.
-3
Suppose 4*t - 6 = -2. Let c be t - 5 - (-48)/8. Solve -5*b = -4*o - 23, o = -o - c*b + 2 for o.
-2
Let o(c) = -1 - 3*c - 4*c + c. Let a be o(-1). Solve -p - 3*u = p + 5, -a*u = -5*p for p.
-1
Let u be (-3)/27 + 38/18. Let y(o) = 5*o + 3. Let a be y(u). Solve -a = -3*s + 4*l, -s + 4*l + 1 = -2*s for s.
3
Let k(t) = 2*t + 20. Let p be k(-9). Suppose -p*i = -7*i + 20. Solve x - 9 = y, 0*y + 3*y - 1 = -i*x for x.
4
Suppose 5*n - 6 = 3*n. Let x(g) = -g - 1. Let a(m) = 4*m - 61. Let c(i) = -a(i) + 4*x(i). Let u be c(7). Solve -n*p = v - u - 4, 2*p = 0 for v.
5
Let s(g) = -g**3 + 11*g**2 - 10*g + 2. Let b be s(10). Suppose 4*d = b*d - 4. Let q be ((-1)/d - 2)*-2. Solve -5*f + 10 = 0, 4*x - q*f + 0*f = -14 for x.
-2
Suppose 0*y = n + 5*y - 3, 18 = 2*n - 2*y. Solve 3*o - 10 = -2*x, -4*x - n*o + 16 = -3*o for x.
-1
Suppose 11*s - 12*s - l + 2 = 0, 0 = -s + 3*l + 2. Solve 3*d = -2*a + 5, -2*a + 3*d = s*a + 35 for a.
-5
Let p(l) be the third derivative of l**4/24 + l**3/3 + 4*l**2. Let n be p(6). Solve -r - n = -4*k - 5*r, r = 3 for k.
-1
Let r = -5 - -20. Suppose -r + 3 = -3*u. Solve -u = 3*o - 4*a, 3*o - 1 - 3 = -4*a for o.
0
Suppose 61*d - 60*d = 12. Let k be (d/(-14))/((-46)/161). Solve -3*r + k*v = -6, -16 = -0*r - 3*r - 2*v for r.
4
Suppose -26 = -0*g - 2*g - 4*n, -5*g + 3*n = 0. Let p be ((-1)/15 + 66/165)*15. Let b = 12 + -7. Solve -g*i + 3 = 4*s, i + 4*i = -p*s + b for i.
1
Suppose 28 = 10*g - 6*g - 4*x, -3*g - x + 1 = 0. Solve -4*m + 21 - 5 = -g*l, 5*m = 5*l + 15 for l.
2
Let m(x) = 6*x - 10. Let a = -98 + 104. Let t be m(a). Solve 5*o + 4 = 3*u + t, o - 22 = 5*u for o.
2
Suppose b = 40 - 13. Let v be 9/b*6/1. Solve 12 = -4*t + v*n - 2, 3*t = -2*n - 21 for t.
-5
Let y = 141 + -138. Solve 3*f = -y*w, -5*f + 1 + 1 = 3*w for f.
1
Suppose -3*a + 11 = -0*a - x, -7 = -3*a + 2*x. Suppose 0 = -2*p + 4, -2*p + 38 = a*y - 3*p. Solve 2*s = -o - 0*o + 11, 4*o - s - y = 0 for o.
3
Let h(k) = 38*k - 83. Let b be h(3). Solve -3*m + 2*t - 22 = 0, 0*m + b = -4*m + 3*t for m.
-4
Suppose -90*b + 9 + 47 = -34*b. Suppose 5*c - p - 134 = -5*p, 0 = c - p - 34. Suppose -70 = -5*f + c. Solve 0 = t + 5*x - f, b + 49 = -5*t + 5*x for t.
-5
Let l = -4 + -2. Let m = 74 - 55. Let g be 38/m*l/(-4). Solve 2*y - g*f = 6 - 2, 2*y + 3*f = 4 for y.
2
Let y be 6/(1 + 2/4). Suppose 3*j + 5*f - 22 = 16, -4*f = -4*j - 24. Solve 4*a + v + j = 3, 2*v = -3*a + y for a.
0
Suppose -2*v = 8 - 12. Let t be 168/9*3*1/2. Solve -4*g + 37 = 5*x, -g - v*x = 3*x - t for g.
3
Let q = -22 - -25. Suppose -4*s = -3 - 1, -x - 1 = -5*s. Suppose -2*a - 16 = -3*c, -x*c + 0*c + 3*a + 23 = 0. Solve -1 - q = -o + 3*i, 4*i = -c*o - 2 for o.
1
Let r be 452/92 - 14/(-161). Solve -r*o = -5*a + 30, 4*a + 21 = -5*o - 0*a for o.
-5
Suppose 3*w + 4*i = -w + 92, -i - 4 = 0. Suppose -4*m = -j + 28, 3 = 2*m - 3*j + w. Let p be 0/5*3/m. Solve 0*a = -n - 2*a - 5, p = -a - 1 for n.
-3
Let h(g) = -63*g - 313. Let z be h(-5). Solve 3*w + 3*n - 5 - 1 = 0, -3*w + 1 = z*n for w.
-3
Suppose 0 = 5*z + 5, -20*w = -17*w - 5*z - 20. Solve -w*i = -2*x + 5, -4*x - 3*i = -2*i + 23 for x.
-5
Let u be 11 + 1/(1/14*-2). Solve 3*q = -u*c + 12, q - 4*q = -5*c + 15 for c.
3
Let t be 0 + ((-60)/5)/(-4). Suppose -2*f = -i - t, 0 = -f - 0*f - 4*i + 15. Solve 0 = -5*b + 3*s - 40, f*b + 4*s = -2*b - 5 for b.
-5
Let o = 67 - 65. Let y be (2 + -2)*((-3)/o)/3. Solve s + y*v - 10 = -3*v, -2 = -5*s + v for s.
1
Let j be 11*9/(-27)*-9. Solve -2*k - 4*w = -30, -3*k + j = 5*w - 7 for k.
5
Let u be 3/18*1 - (-315)/54. Let j(d) = -d - 2. Let w be j(3). Let q be (-2)/w - 153/(-5). Solve k - u*z = -2*z + 23, 5*z = 2*k - q for k.
3
Suppose 81 = 5*x - 2*x. Suppose -c - 2*c + x = 0. Solve 2*u = b + c, 2*b = 4*b - 2*u + 12 for b.
-3
Suppose -6*u + 58 = -14. Suppose -2*i - 2*i = 8, 0 = 5*y + 5*i. Suppose 0*f + f - y = 0. Solve 0 = g - 4*r - 17, 0 = f*g + 3*r - 2 + u for g.
1
Let g(n) = n**2 + 7. Let i be g(0). Let s be ((-10)/(-15))/((-2)/27). Let o = s + 14. Solve 2*x + 28 = i*x - 2*j, 20 = -o*j for x.
4
Suppose -4*d = -x + 107, 0*d = -d - 5*x - 11. Let m = 33 + d. Solve -u = 4*r - 10, 3*r - 3 - m = -2*u for r.
2
Let a be 4/6*(1 - 7). Let u be (-27)/3 - (-18)/6. Let p = a - u. Solve f + 10 = -3*f + p*v, 2*v + 17 = -5*f for f.
-3
Let v(d) = 5*d + 3. Let r be v(3). Suppose 3*u - r = -3*b, -2*b = u - 6*u + 2. Let i be 1/(106/(-54) + u). Solve 3*l + 1 = -2*j, -4*j + 3*l = i + 2 for j.
-5
Let d(z) be the first derivative of 2*z**3/3 + z**2/2 + 19. Let m be d(0). Solve m = 4*s - 4*f + 12, 3*f = -3*s - 0*f - 9 for s.
-3
Let r(y) = 4*y + 23. Let v be r(-7). Let k = v - -15. Solve 2*q = 2*n + 4, -4*n - n = k for q.
0
Suppose 4 = 5*d - 11. Solve -2*p = -6*b + 4*b + 12, -d*p - 2 = b for b.
4
Suppose 0 - 5 = u, 2*x - 2*u = 10. Solve 4*s - 13 = 2*n + 5, 5*s + 4*n + 10 = x for s.
2
Let g(z) = 17*z - 109. Let n be g(8). Solve 4*b - 3*r = -n, -3*b + 1 = -3*r + 25 for b.
-3
Let t be (-690)/(-100) - (-1)/10. Suppose 0 = -2*z + f + 11, 3*z + 3 = 4*f + 7. Let y be z/1 - 21/t. Solve 0 = 3*d + y*n - 14 - 7, 4*n = -3*d + 18 for d.
2
Let t(j) = -54*j + 0*j**2 - 12 - 3*j**2 + 32*j + 26*j - j**3. Let r be t(-5). Solve -4*l - 21 = u, -2*l - r = -2*u + 2*l for u.
-1
Suppose 0 = -2*s + b + 6, 0*s + 4*s - 4*b - 4 = 0. Solve -z - 4*z - 6 = l, -s*l + z - 4 = 0 for l.
-1
Let g(a) = a**3 - 15*a**2 + 40*a - 21. Let y be g(12). Solve 0 = -b + 4*b - 4*t + y, 35 = -4*b + 5*t for b.
-5
Let p(c) = c**2 + 22*c + 74. Let l be p(-18). Solve l*s = 3*y - 17, 2*s - 2*y - 23 = -7*y for s.
-1
Let u be (4 + -4)*(-2)/4. Suppose 4*t + 6 - 78 = u. Solve -2*c + 0*c + t = -4*s, -2*c - 3*s = 17 for c.
-1
Let i be 8*(0 - 1/2). Let k(p) = -5*p - 1. Let d(v) = 14*v + 4. Let n(o) = -3*d(o) - 8*k(o). Let g be n(i). Solve 13 = 3*j + 4*w + 36, g*j = 4*w + 16 for j.
-1
Let s be (-54)/15*40/(-12). Solve -2*g - 2*q = 4, -3*q + s = q for g.
-5
Let y be 2 + (0 - (0 + 2)). Suppose -85 = 5*p - 70. Let s = p - -5. Solve 3*m - 9 = -3*i - y*m, -i + s*m = 0 for i.
2
Let l = 160 - 136. Solve -5*u + l = -4*p, p - 3 = 2*u - 3*u for u.
4
Let t be 8/(-6)*6/(-4). Suppose 0 = -3*z + 5*y + 49, -y = 4*y + 10. Suppose g - 5 = 3*m + 12, -m - z = -4*g. Solve -l = -g*i - 1 - 2, -i = -l + t for l.
1
Let z(c) be the second derivative of -c**4/12 - c**3 + 7*c**2/2 + 35*c. Let p be z(-7). Solve a = -p*a + 2, 5*l - 5*a + 5 = 0 for l.
1
Suppose 3*y = -2*y + 275. Let l be (8/(-10))/((-22)/y). Solve -z - 20 = -4*j, -2 = 5*z + 4*j + l for z.
-4
Suppose 53 = -4*y + 3*y - 5*s, 0 = -5*y + 2*s - 157. Let i = y - -38. Suppose -i*z + 13 = -12. Solve -3*x + 4*h + 7 = 0, -4*x - 4 = z*h - 3 for x.
1
Suppose 0 = 5*t + 5*x + 10, -2*x - 6 = -2*t + x. Suppose 32*j - 4 = 30*j. Solve t = 2*r + c - 5, -5*r + j*c = 5 + 5 for r.
0
Suppose 1383*m = 1372*m. Solve t - 8 = -4*v - v, m = -5*v - 3*t + 4 for v.
2
Let g(z) = -9*z - 231. Let x be g(-26). Solve 3*o = -2*a + 3, -5*o - 2*a - x*a = -5 for o.
1
Let f = 10 - 5. Suppose 2*z - f*z + 9 = 0. Solve -3*d - d + z*i + 1 = 0, i - 1 = 0 for d.
1
Suppose 30 = -c + 3*c. Let i = c - 16. Let q be 0/((i - -5)/4). Solve -4*k - 41 = -5*x - q*k, -k + 11 = 3*x for x.
5
Let y = -31 - -20. Let t = 