-5*j + 5*n, 4*n = 2*j. Solve j*s + s = 0 for s.
0
Suppose 3*m - 4*m - n = 32, -5*n + 20 = 0. Let j be ((-6)/(-4))/(-3)*m. Suppose 7 = 5*x - j. Solve -x*p = -5 - 10 for p.
3
Let k(a) = a**3 - 13*a**2 - a + 15. Suppose -2*c + 0*c + 21 = -5*g, -4*g + 69 = 5*c. Let o be k(c). Solve o = x + 3 for x.
-1
Suppose 5*i = -4*m + 2, 12 = 5*i - 3*m + 2*m. Solve -i*h - 3*h - 10 = 0 for h.
-2
Suppose 0 = 5*d - d - 12. Let t = -6 + 13. Solve -t*c = -d*c + 16 for c.
-4
Suppose -4*i + 14 = -5*b, -i - 6*b = -2*b - 14. Suppose -2*k + i*k = 36. Suppose -k = -4*u - 1. Solve -u*f + 2 = -8 for f.
5
Let h(l) = -2*l**2 - 3*l + 10. Let y be h(8). Let c be (0 - (1 - 2))*y. Let m be 4/(-14) + c/(-7). Solve 0 = -3*z - 2*z + m for z.
4
Let u be (-7)/(-3) - 3/9. Let v be u/9 + 183/27. Let j = -30 + 50. Solve -3*c + j = -v*c for c.
-5
Let l = -26 - -29. Solve -l*p + 6 = -p for p.
3
Let c = -1 - -1. Suppose c = 3*r - 0*r - 54. Solve 5*f = r + 7 for f.
5
Suppose 7 = 3*g - 5, 0 = -3*b + g + 11. Suppose b = -k - 0, -2*t = -2*k - 14. Solve t*q + 3*q - 5 = 0 for q.
1
Suppose i - 6 = -0*i. Suppose -30 = -i*z + 3*z. Suppose -13 = 5*m + 4*f + 7, 2*f = -z. Solve m = -4*c - 6 - 6 for c.
-3
Let i = -31 - -35. Solve -i*o = -o for o.
0
Let d(j) = j**2 - 7*j - 28. Let l be d(10). Solve 5*n + l = 4*n for n.
-2
Let n = -23 + 33. Solve -2*q + 0 = n for q.
-5
Let g(u) = -3*u + 24. Let s be g(7). Solve 6 = 6*j - s*j for j.
2
Suppose 4*o = 2*b + 4, -2*b - 3*o = -o - 2. Suppose -2 = 4*i - 18, 31 = 3*d + 4*i. Solve b = -3*w + d*w + 4 for w.
-2
Suppose x = 6*x + 3*v - 18, 16 = 2*x - v. Let s = 3 - 1. Solve -c + x = s*c for c.
2
Let k(a) = -a**3 + 2*a + 6. Let l be k(-4). Let d be (-3)/(-6)*l + -1. Suppose d = 5*s - 15. Solve 3*m - s = -0*m for m.
3
Let r(a) = -a**2 + 3*a + 4. Suppose -5 = -5*b + 3*m + 2*m, -5*b = 2*m - 26. Let k be r(b). Suppose 0*z - 4*z + 12 = k. Solve -z*l - 10 = 5 for l.
-5
Let r(d) = -d**2 + 5*d - 1. Let f be r(5). Let h = -1 - f. Let t be 3*(-1)/9*-12. Solve h = t*a - 9*a - 5 for a.
-1
Let h be (-5 - -6) + (0 - 0). Solve 2*g + 3 = h for g.
-1
Let s(y) = 2*y**2 - 4*y + 4. Let d be s(2). Solve 0 = -i - 3*i + d for i.
1
Let p be (-3)/(-12) - (-15)/(-12). Let t(w) = w**2 - 2*w - 1. Let u be t(p). Solve -u*f = -f for f.
0
Let k(m) = m**2 + 2*m - 4. Let z be k(-4). Let d = z - 2. Solve 2 = 4*w - d*w for w.
1
Suppose 0 = -0*c - c + 5. Solve -c*v - 15 + 5 = 0 for v.
-2
Suppose -z + 15 = 4*z. Solve 0 = 2*d - 5 - z for d.
4
Suppose 26 - 8 = 2*v. Let n be 3/v - (-16)/6. Solve n*m + 4 - 1 = 0 for m.
-1
Suppose 5*d - 2*k = -35, d - k = -0 - 4. Let q = 11 + d. Solve 3 = q*p - 1 for p.
2
Let l = 12 - 9. Solve 0 = -c - 2 - l for c.
-5
Suppose -71 = 4*p - 0*u + 3*u, -2*p + 5*u = 3. Let q = 20 + p. Solve 4*a - q = a for a.
2
Suppose -2*f - 5*a = 21 - 1, 0 = 5*f - 3*a - 12. Suppose 4*r + 1 = -0*k + k, -5*r + 10 = f. Let m = k - 1. Solve 3*l = l + m for l.
4
Suppose -4*b = -20 + 4. Solve h + h = -b for h.
-2
Let u = 41 + -41. Solve u = -5*k - 15 + 40 for k.
5
Let b be 4/16*2*14. Solve b = -5*i - 8 for i.
-3
Suppose z = 3*h + 6, -2*z + 5*z = -2*h - 4. Solve 3*t - 4 - 11 = z for t.
5
Let u be (-24)/(-84) - (-94)/14. Solve 12 = -u*j + 3*j for j.
-3
Let o(b) = b**3 - b**2 + 2*b - 2. Let a be (-4)/(-5)*20/8. Let f be o(a). Solve f*t = 4*t for t.
0
Let f(p) = -p**3 - p**2 + 3*p + 1. Let y be f(-2). Let j be -3 - -1 - 18/y. Let z = j + -10. Solve -n - n = -z for n.
3
Let s be (0/(-1*2))/(-3). Suppose -5*j + 20 = 5*j. Solve s = j*t - 7*t for t.
0
Let a = -3 - -5. Solve a*f + 16 = -2*f for f.
-4
Let r(g) = -g - 5. Suppose -3*q - 9 = 0, -4*s + s - 6 = 4*q. Suppose 0 = s*t - 3*u - 0 + 23, 3*t + 9 = -4*u. Let k be r(t). Solve 0 = -2*m - k*m for m.
0
Let y be 2 + 0 + 1 + 2. Solve 7*s = y*s - 10 for s.
-5
Let p = -11 - -11. Solve p = -o - 3*o for o.
0
Let q(j) = 3*j - 1. Let s be q(2). Suppose s*c - u - 16 = 0, -21 + 5 = -4*u. Solve -c*k - 7 = 9 for k.
-4
Suppose -5*b = -a + 2*a + 2, 4*b = -4. Solve 0*s = 3*s + a for s.
-1
Suppose 0 = -3*n + 1 + 5. Suppose -r = -3*q + 4*r - 15, n*r - 6 = 3*q. Solve 0*t + 4*t - 20 = q for t.
5
Suppose 7*k - 40 = 2*k. Solve k = -g + 5*g for g.
2
Suppose 0 = 5*k - 0*k - 40. Let m be 8/1 + k/4. Suppose -5*s - 3*n + 2*n = 3, -2*s - 15 = 5*n. Solve s*c = 2*c + m for c.
-5
Let l = -1 - 1. Let o = 50 - 52. Let k = o - l. Solve 0*s + 4*s = k for s.
0
Let w(i) = 2*i**2 - 4 - i + i**3 + 1 + 1 - 2*i. Let l be w(-3). Let s(d) = d**2 + 2*d + 1. Let y be s(l). Solve -4 = 5*a + y for a.
-1
Let g(u) = -u + 15. Let x be g(15). Solve 0 = -x*t + 5*t + 15 for t.
-3
Let p be (-1 - (-1)/1)/1. Let h(q) = q**2 + 2. Let x be h(2). Suppose x*i = 2*i + 40. Solve -4*d + i + 10 = p for d.
5
Let y(p) = -p + 1. Let d be y(8). Let g(a) = a**3 + 6*a**2 - 9*a - 8. Let n be g(d). Solve -12 = n*u - 3*u for u.
-4
Let z(i) = i**2 - 3*i - 6. Let h be z(5). Let q(a) = a**2 - 5*a + 6. Let t be q(h). Solve -5*p = -t*p + 3 for p.
-1
Let y(a) = -a + 11. Let p(o) = -o**2 - 7*o + 3. Let f be p(-6). Let j be y(f). Suppose j*v - 4 = 2. Solve u = v*u for u.
0
Let t = 37 - 34. Suppose 0 = -0*k + 3*k - 5*a - 24, -3*a = 3*k. Suppose -2*y + k = -19. Solve t = 2*w + y for w.
-4
Let r(c) = 3*c + 6. Let m be r(6). Suppose -2*i - 4*y = 2*i - m, -3*y = 4*i - 23. Suppose 4*x + 3*x = 63. Solve 0 = -2*s + i*s + x for s.
-3
Suppose 7*p = 12*p - 3*z - 9, 3*z - 18 = -4*p. Solve 8 = 7*o - p*o for o.
2
Let a(m) be the first derivative of -m**2/2 - 3*m + 1. Let x be a(-5). Solve j + 6 = -x*j for j.
-2
Let y = 5 - 2. Suppose 2*n - 3*i + 5 = 0, -7*n + 15 = -3*n - i. Suppose -q = -n*v + 58, -7 = 2*v - q - 32. Solve -2*g + y = v for g.
-4
Let u(j) be the second derivative of -j**4/12 + 3*j**3/2 - 5*j**2 - 8*j. Let b be u(7). Solve 0*q = b*q + 20 for q.
-5
Let b(z) = 3*z - 4. Let c be 2/4*(6 - 2). Let w be b(c). Solve -a = a - w for a.
1
Let l = -30 - -31. Solve w + l = 3 for w.
2
Let r(f) = f - 3. Let m be (-2)/7 - (-636)/21. Let o be (m/(-25))/((-2)/5). Let c be r(o). Solve -h + c*h = 4 for h.
-4
Suppose 0*i - 2*l + 90 = 2*i, 155 = 4*i - l. Suppose -i = -5*d + 5*y, -2 = -3*d - 2*y - 3. Solve 2*s + s = -d for s.
-1
Let b(s) = 2*s**2 - s + 1. Let r be b(1). Suppose 0 = -r*p - 3*p. Solve 4*n - 3*n = p for n.
0
Let j(w) = 4*w**3 - 5*w**2 + 10*w - 11. Let q(x) = -5*x**3 + 5*x**2 - 11*x + 12. Let z(f) = -6*j(f) - 5*q(f). Let b be z(-6). Solve -5*d + b = -5 for d.
1
Suppose q + 3*u = -12, q + 13 = 2*q - 2*u. Let s be 6*1*(-4)/3. Let p = s + 11. Solve 4*j - p = q*j for j.
3
Let u(z) = z + 9. Let x be u(-7). Solve 0 = 4*q + 6 + x for q.
-2
Suppose u + 2*q + 6 = 0, q + 11 = 4*u + 2*q. Solve 20 = -4*d + u for d.
-4
Suppose 2*d - 5*v - 12 = -d, 0 = v. Solve -d*p + 5 - 1 = 0 for p.
1
Let j(f) = 17*f + 5. Let u be j(4). Suppose u - 13 = 5*a. Solve 2*t = -4 + a for t.
4
Suppose -5*m - 10 = -3*m. Let p be 22/m + (-6)/(-15). Let u = -1 - p. Solve -h + u = -0*h for h.
3
Let a be (-4)/16 - 17/(-4). Let z = 1 + -1. Suppose -4*n - 5*l + z*l + 25 = 0, 9 = n + a*l. Solve -n*p + p = -20 for p.
5
Let b = 22 + 3. Suppose 2*u = -2*h - u + 5, -u = 3*h - b. Solve h*v = 5*v for v.
0
Suppose -4*x = -7*x. Solve -5*r + 3*r - 6 = x for r.
-3
Let x be (-4)/6*27/6. Let b = x + 5. Suppose g = -b*g. Solve -u = 3 - g for u.
-3
Let o be 3 + 2 + 1 + -6. Solve -a + 4 + 0 = o for a.
4
Let l = 4 - -9. Suppose -2*y - 4*w = -l + 1, -5*y + 25 = 5*w. Solve 0 = y*k + 11 + 1 for k.
-3
Let t = -8 + 10. Solve -27 = -5*v - t for v.
5
Let m be 2 + (-6)/(2/(-2)). Suppose -6 = 5*o - m*o. Solve o*t + 2*t = -4 for t.
-1
Suppose 0 = -2*v - 8*v - 2*v. Solve r = -v*r for r.
0
Let z = 13 - 6. Suppose -5*j - z + 46 = 3*q, 3*q - 12 = 4*j. Solve -x = 3 - q for x.
5
Suppose -4*f = -7*f + 21. Suppose 30 = f*s + 9. Solve 0 = -s*q + 4*q - 4 for q.
4
Let c = -4 + 4. Solve c = -3*v - 2*v for v.
0
Suppose -9 = -w - 6. Solve 2*j = 1 - w for j.
-1
Suppose 5 = 17*k - 12*k. Let c(g) = 2*g**2 - 4*g + 3. Let u be c(2). Let r = u + k. Solve r*j + 0 = 4 for j.
1
Let k(c) = c**3 - 6*c**2 + 5*c + 5. Let m be k(5). Suppose -l = y + 5 + 2, -55 = 5*y - 5*l. Let v be (-60)/y + 1/3. Solve m*h = -v + 32 for h.
5
Suppose -2*p + 6*p + 4*i = -4, -p - 5*i - 5 = 0. Suppose -a + 7 = -5*h, -9 = -7*a + 6*a + 3*h. Solve -3*s + p*s = a for s.
-4
Suppose -3*k + 7*k = 32. Let t = -15 + k. Let j = -5 - t. Solve -q = -j*q for q.
0
Suppose 2*