x - 1 = -0*x. Let u be x/(-2) - (-27)/w. Solve -2 - u = 2*s for s.
-3
Let n = 15 - 12. Solve -a = -0 + n for a.
-3
Suppose 6*a - a = -3*s + 28, 0 = 4*a + 5*s - 12. Let q(l) = 3*l - 1. Let v(h) = 7*h - 2. Let d(r) = 5*q(r) - 2*v(r). Let n be d(4). Solve 15 = a*x - n*x for x.
3
Let t(a) = -2*a. Let s be t(-4). Suppose 4*p + s = 24. Let l(d) = 2*d - 6. Let q be l(10). Solve -q - 2 = p*x for x.
-4
Let v = 1 + 10. Solve -3*w - 4 = v for w.
-5
Suppose -5*w = 2*o + 3 - 7, -o + 2 = -4*w. Solve -s = -o*s - 3 for s.
-3
Suppose 3*l = 3*b + 9, 0 + 9 = 2*l - b. Suppose 3*k - 10 = -n, 3*k + 6*n = 3*n + l. Solve 2*p + k = 3*p for p.
4
Suppose 0 = -0*b - 2*b + 48. Suppose 0 = -y - y + b. Solve -8*q = -4*q + y for q.
-3
Let q be 6/15 + (-34)/10. Let i be 3 - (q + 9 + -3). Solve -2*c + 0 + 2 = i for c.
1
Let u be 2/(-7) + 65/7. Solve -u = -4*p - 29 for p.
-5
Let b = 17 - 16. Solve z + 0 = b for z.
1
Let m(n) = n**3 + n**2 + n. Suppose 0 = 5*c + 3*b + 1, -4*c + 6*c = -b - 1. Let i be m(c). Let o = i - -11. Solve -o*h + 20 + 5 = 0 for h.
5
Suppose 0 = -0*j + 3*j. Let s be ((0 + j)*1)/(-1). Suppose 0 = 3*y - 5*c - s*c - 26, 5*y + 4*c + 6 = 0. Solve -2*p = -4*p - y for p.
-1
Let v(u) = -u**3 + 18*u**2 - 15*u - 30. Let j be v(17). Solve -3 - 9 = j*r for r.
-3
Suppose 0 = -5*b + 3*t - 8 + 26, 2*b + 4*t - 2 = 0. Solve -5 = -b*y + 4 for y.
3
Suppose -2*t - 6 = -4*t. Suppose 7*z - 4 = 5*o + 3*z, t*o + 4 = 4*z. Solve o + 2 = -x for x.
-2
Let y = -24 + 24. Solve y = -12*l + 7*l - 15 for l.
-3
Suppose 0 = z - 2*z + 4. Suppose 8 + 13 = 3*s - 5*h, 20 = 4*s - z*h. Solve 5 = 3*x + s for x.
1
Let r(h) = -h**3 - 14*h**2 - 15*h - 6. Let o be r(-13). Let f be (-15)/10*o/(-6). Solve -2*i + 3 = -f*i for i.
-1
Let m be (((-100)/(-8))/(-5))/((-3)/6). Let y(k) = 3*k**3 + k**2 - k. Let v be y(1). Suppose -q + 1 = 3*c, -4*q + c = -3*q - 13. Solve -m*o = -v*o + q for o.
-5
Let y = 10 - 0. Let o = y - 10. Solve -2*w - 4 = -o for w.
-2
Suppose -3*d = -9 - 0. Suppose -15 = -d*m - 2*m. Solve -t = m*t for t.
0
Suppose 5*q + 1 + 4 = 0. Let l = 1 - q. Suppose -m = -5*r + 25, -l*r - 5*m + 0*m + 37 = 0. Solve 5*i = 3*i - r for i.
-3
Let b(r) = -r**3 - r**2 - 5*r + 20. Let z be b(0). Solve 5*t = t - z for t.
-5
Suppose -2*d = 2*d - 80. Solve -3*x - 2*x - d = 0 for x.
-4
Let z(d) = -8*d**3 - 26*d**2 - 32*d + 16. Let t(a) = -3*a**3 - 9*a**2 - 11*a + 5. Let g(p) = -11*t(p) + 4*z(p). Let c be g(6). Solve c*m + 25 = -2*m for m.
-5
Let w(b) = 2*b**2 - 2*b - 4. Let u be w(3). Let j = 13 - u. Let p be j + (0 - 3/3). Solve -p + 0 = y for y.
-4
Suppose -5*z = 2*q - 21, 0 = -3*q + q - z + 9. Let o = q - -1. Suppose -b + o = b. Solve -3*h = -h - b for h.
1
Suppose -3*f - 35 = -8*f. Solve 0 = 3*g + 2 + f for g.
-3
Let x = -3 - -3. Suppose 2*c - 3*j - 15 = -3*c, 4*c - 4*j - 4 = x. Let k be 4/c + 14/(-21). Solve k = 2*h + 2 - 4 for h.
1
Suppose 0 = -3*k + 4*g - 10, -5*k + 3*g - 1 - 1 = 0. Solve k*v - 6 = -4 for v.
1
Let o = -10 - -10. Solve 4*h + 9 + 3 = o for h.
-3
Let a = -7 + 15. Let n(z) = z**2 - 4. Let v be n(-3). Let i = -34 + 34. Solve -v*u + u - a = i for u.
-2
Let k = -30 + 25. Let b = 3 - 7. Let c = b - k. Solve -3*y + c = -8 for y.
3
Suppose 5*u - 2*l = 15, 5*u = -0*l + 5*l + 30. Suppose -3*a + 56 = a - 4*k, -2*k = a + u. Suppose t = p + a, -3*t - p - 13 = -5*t. Solve -t*o - 3 = -3*o for o.
-3
Suppose 5*q = 0, -c - 3 = 3*q - 5. Let t be (1/c)/((-3)/(-30)). Suppose 0 = 2*r - t + 1. Solve -2*k - r = 4 for k.
-3
Let d(j) = j - 4. Let z(l) = l. Let p be z(4). Let k be d(p). Suppose 20 = 5*m - k*m. Solve -m*c = c + 10 for c.
-2
Let i(k) = -k + 2. Let c be i(-6). Let w be 76/c + (-2)/(-4). Solve -4*j + w = -6 for j.
4
Let b = 0 - 0. Solve 3*z - 2*z + 4 = b for z.
-4
Let u(j) = -j**2 + 1. Let x be u(0). Solve 0 = -a + x for a.
1
Let z be 2/6 + 35/3. Let s be z/42 - (-5)/7. Solve -2*n = 1 + s for n.
-1
Suppose 0 = -10*u + 5*u + 15. Solve -4 = k + u*k for k.
-1
Let k = -21 + 21. Solve 0 = -2*j - k + 4 for j.
2
Let z(g) = 2*g - 3. Let c be z(6). Let d = -12 + 24. Let q = d - c. Solve q = r - 1 for r.
4
Let q = -2 + -3. Let c = q - -8. Solve 2 = c*z + 8 for z.
-2
Suppose 7 = 2*r + r - k, -4*r + 10 = -k. Suppose -r + 8 = q. Solve q*s = 1 - 26 for s.
-5
Suppose -z + 3 = 2*u, -u + 4 = -z + 1. Solve 0 = -4*b + u - 10 for b.
-2
Let x = -5 - -7. Suppose m = x*m. Solve m = 4*i + i + 25 for i.
-5
Suppose v = -5*s + 32, -5*s + 24 = -2*v - v. Suppose -3*r = -g - 8 - s, -r = -5*g. Solve -h + 12 = -r*h for h.
-3
Let y be (-1)/((-15)/12 - -1). Suppose 26 - 6 = y*t. Solve t*u + 6 = 2*u for u.
-2
Suppose -q + 14 = -l + 6*l, 0 = 3*q - 12. Suppose 0 = l*m - 29 + 21. Solve -2*n - m = 2 for n.
-3
Let z = -3 + 5. Suppose z*k - 12 = -2*a + 4*k, 0 = k + 5. Solve i + a = -4 for i.
-5
Suppose -2*n + o = -16, -2*n = o - 6*o. Solve 0*v - n = 2*v for v.
-5
Let d(g) = g**3 - 7*g**2 + g - 4. Let f be d(7). Solve f*i = i - 2 for i.
-1
Let w(p) = -5*p - 1. Let j be w(-1). Solve 4*u = 3*u + j for u.
4
Suppose -5*a - 2*m + 35 = 0, -2*a = -0*a + 3*m - 25. Let g = 8 - a. Let f = 0 + 7. Solve -n + f = g for n.
4
Let i(t) = t - 2. Let h be i(2). Solve h = 4*m - 2*m - 6 for m.
3
Let p = 6 - -8. Let d be (-2)/6 + p/6. Solve 0 = -2*w - d*w - 20 for w.
-5
Let r(g) = g. Let p be r(3). Let l = 3 - p. Let a be 16 + l + 0 + -1. Solve 2*s = -s - a for s.
-5
Let b = -3 + 8. Let d be -5*(0 + (-2)/b). Solve 6 = -d*k - 4 for k.
-5
Let m be (-2)/3 - (-70)/15. Let p = 4 - 1. Suppose m + 5 = p*q. Solve -4*g + q = -17 for g.
5
Let m(i) = 2*i**2 + 3*i + 4. Let o be m(-3). Suppose -s + 42 = 2*s. Let u be 5/(-15) + s/6. Solve 5 = -u*w + o for w.
4
Let y be 2/12 + 7/(-42). Solve y*q = q for q.
0
Let a(s) = -s + 9. Let x be a(7). Let q(k) = 3*k**3 - 2*k**2 - 2*k + 3. Let v be q(2). Suppose 8 = p - x*d, -14 = -5*p - d + v. Solve -6 = 3*t + p for t.
-4
Let m(n) = n**2 - 5*n - 9. Let b be m(7). Suppose -3*y - 5 - 7 = 5*l, -4*y - 16 = 0. Solve l = -b*j + j for j.
0
Suppose -8 = 5*v - 9*v. Solve 0 = -6*y + v*y - 8 for y.
-2
Let j(p) = p. Let u be j(-4). Let t(i) = -i**3 - 5*i**2 - 4*i. Let d be t(u). Let h be 0/(-1 + d) + 2. Solve -b + h = -2*b for b.
-2
Suppose -57 = -3*t - 3*v, -4*t - 9 = -4*v - 53. Suppose -i = 4*i - t. Solve i*z + 0 = -15 for z.
-5
Let v(n) be the third derivative of n**5/60 - 5*n**4/24 - n**3/6 - 4*n**2. Let t be v(6). Solve t*z - z = 0 for z.
0
Suppose c - 74 = -5*h, -2*h = -h - 2*c - 17. Suppose 3*r - 5*g = -0*r - 19, 3*g = h. Suppose -y + 12 = r*y. Solve -y*j - 8 + 24 = 0 for j.
4
Let o be 8/6*3/2. Let u be (-56)/16*(-152)/14. Suppose 2*p + 3*p + 40 = 5*a, 4*a - 2*p = u. Solve -o*b - a = -3 for b.
-4
Let r(x) = 6 + x**2 - 2 - 8*x + 3. Suppose -y + 5 = -4*i + 5*i, -y = -3*i + 23. Let d be r(i). Solve g + g = d for g.
0
Let u(v) = -v**2 - 3*v + 3. Let k be u(-3). Let x = 2 + -2. Let t = k - x. Solve -t = z - 4 for z.
1
Let u = -3 - -3. Suppose -4*o = -u*o - 8. Suppose 0 = 3*f - 4 - o. Solve -f*l + 8 = -0 for l.
4
Let d be 2/(88/20 + -4). Let l = -9 + 6. Let q = 3 + l. Solve q*n - d*n = -20 for n.
4
Suppose -160 - 20 = -4*u - 4*x, -135 = -3*u - 2*x. Suppose -5*p + u = 5*k, 4*p - 13 - 27 = -5*k. Solve -k*g + g = 0 for g.
0
Suppose 7*r = -0*r + 42. Solve -r*f + 15 = -3*f for f.
5
Let b(n) be the second derivative of -n**5/20 + n**4/2 - 2*n**3/3 + 7*n. Let v be b(5). Solve 0 = 3*c - 8*c + v for c.
1
Suppose 0 = o - 0*n + n + 2, 3*o + 6 = 5*n. Let y be -2 - 3/3*o. Solve -b + y = -2 for b.
2
Let m be ((-2)/12)/(17/(-102)). Solve -m = -d - 6 for d.
-5
Let c(u) = -2*u**2 + 40*u + 43. Let m be c(21). Solve -2*k - 5 = m for k.
-3
Suppose 38 = -0*h + 5*h + o, -5*o = -3*h + 6. Solve h*d = 4*d for d.
0
Let s(q) = -q**3 + 4*q**2 + 7*q - 25. Let b be s(4). Solve b*z = -2*z + 25 for z.
5
Let w be 2/6 - (-35)/3. Suppose y - 5*n + 17 = -0, 0 = -3*n + w. Solve -2*i + 5 - y = 0 for i.
1
Suppose 8*d - 2*r - 18 = 3*d, -4*r - 4 = -2*d. Suppose 6*f - 3*f = -d*z + 5, 5*z = -3*f + 10. Solve -z*n - 13 = -3 for n.
-2
Let q = -8 + -1. Let l = -16 + 41. Let d = q + l. Solve 5*r + d = -4 for r.
-4
Let c = 9 + -7. Let d = 3 - 3. Solve 2*o + c*o = d for o.
0
Suppose 2*z + 4*c = -6, 3*z = -z - 4*c. Solve -3*w = -4*w + z for w.
3
Let v = 11 - 3. Solve -v = -3*r - 2 for r.
2
Suppose -4*k + 15 = -5. Suppose -j = 4*m - 9, 5*m - k = 2*j + 3*j. Let y be (-3 + m)/((-1)/3). Solve y*l = 1 -