k - 0*p, -p = -z. Solve 4*f + k + 8 = 0 for f.
-2
Let w be (20/50)/((-1)/(-30)). Solve 0*y = 4*y + w for y.
-3
Let a(c) be the first derivative of -c**3/3 - 2*c**2 + 7*c + 5. Let u be a(-5). Solve -3 = u*r - 5 for r.
1
Let k(q) = -2*q - 14. Let z = 0 + 1. Suppose -19 = 2*a + z. Let i be k(a). Solve w - i = -w for w.
3
Let j(x) = x**2 - 5*x - 3. Let q be j(5). Let k be q + 14*(-3)/(-6). Solve 24 = -4*b + k for b.
-5
Let w(l) = -l**3 + 2*l**2 + 6*l - 2. Let d be w(4). Let r = d - -13. Solve -4 - 5 = r*a for a.
-3
Suppose 14*v - 11*v = 18. Solve 2*z - v = -z for z.
2
Suppose 0 = -0*k + 5*k - 15. Let v(z) = 3*z - 2. Let a be v(k). Solve 18 + a = 5*b for b.
5
Let h(s) = 15*s**2 - s - 1. Let l be h(-1). Suppose 0 = 3*f - l + 6. Suppose 0 = -p - 3*p + z + 4, -f*p = 5*z + 20. Solve 6*i - 2*i + 4 = p for i.
-1
Let a(z) = 2*z + 1. Let w be (8/14)/((-2)/(-7)). Let u be a(w). Solve 0 = -u*j + 11 + 9 for j.
4
Let d be (70/15 - 4)*3. Solve 0 = 2*w - d - 0 for w.
1
Suppose -5*g + 15 = m, -3*g - g + 3 = -m. Solve 0 = -w - g*w for w.
0
Suppose -2*u + 5*y - 5 = 0, 6*u - u + 1 = y. Suppose 0 = -5*h + 15, 4*x + h - 35 = -0*h. Let r be (0 + 0)*3/3. Solve 2*d + u + x = r for d.
-4
Let t(u) = -2*u - 7. Let q(s) = 10*s + 34. Let g(w) = 2*q(w) + 11*t(w). Let y be g(-7). Solve -2*k = -k - y for k.
5
Suppose -o = 3*r - 17, 0*r + 28 = 2*r + 4*o. Solve v = r*v - 12 for v.
4
Let v be 5/(-10) + 14/4. Suppose 4*f - 22 = v*y, 5*f = 5*y + 15 + 15. Let q(k) = -2*k**3 - 2*k**2 + 2*k + 1. Let z be q(y). Solve z*j - 6 = 3*j for j.
3
Let z(y) = -7 + 2 + 2*y + 2 - 3. Let l be z(5). Suppose 5*a - n = -0*a + 3, l*a = 5*n + 15. Solve a*b = -3*b for b.
0
Let u be 0/1 + 8 + 2. Let l = u - 6. Let k be (-5*1)/(1/(-4)). Solve l*o = -o + k for o.
4
Let n = 1 + 2. Let a = n + 2. Solve 3*x - 10 = a for x.
5
Let x(p) = -p**3 + 8*p**2 - 6*p - 6. Let w be x(7). Let g be w*(-1 + -1)*-4. Solve -g + 3 = i for i.
-5
Let i = 123 - 116. Solve 0 = w + 8 - i for w.
-1
Let p = 576 - 575. Let g be -2*((-13)/2)/1. Solve 3*n + p - g = 0 for n.
4
Let n(s) = s**3 + 7*s**2 + 6*s + 2. Let l be n(-6). Solve -l*c = -5 + 3 for c.
1
Suppose 3*f - 5*x - 8 = -2, 0 = -5*f - x + 10. Suppose 2*t = -f*t + 12. Suppose 0 = -8*c + t*c + 15. Solve l = c - 8 for l.
-5
Let u be ((-6)/(-8))/(-1 - (-25)/20). Solve -5*h - 2 = u for h.
-1
Suppose 18 = 8*u - 2*u. Solve 7 = -2*s - u for s.
-5
Suppose -3*a + 2 + 7 = 0. Suppose 3*g + 2*o - 52 = 0, -3*g = 2*g - a*o - 74. Solve -5*j + 9 = -g for j.
5
Let d be 2 + 1 + (-6 - -3). Solve d = 2*l - 0*l for l.
0
Suppose 0 = -3*y + 4*a + 11, -y + 3*a = -2 - 0. Solve -6*k + 5 = -y*k for k.
5
Let v(i) = -2*i - 3 + 0*i + 1 + i. Let r be v(-4). Solve -5 = -3*x - r for x.
1
Let w = 1 - -17. Let n be 26/10 + w/45. Let r be -1 + (-9 + n)/(-2). Solve -2*k = -k + r for k.
-2
Let j = 1 - -2. Suppose -9 = -3*k - r + 1, -5*k + 12 = -j*r. Solve 0 = -g + k*g + 4 for g.
-2
Suppose 3*p + 0*p = 0. Solve p = -f + 5 - 4 for f.
1
Let y be 0/(-3)*((-20)/15)/4. Solve 3 = s - y for s.
3
Suppose -3*a = a - d - 4, 3*d = 4*a + 4. Solve 7*m - a*m - 15 = 0 for m.
3
Suppose -t - 1 = 2. Let s be 5/((-5)/t) + 0. Solve -n + s*n - 4 = 0 for n.
2
Let k be (-1 - -3) + (-1 - 1). Let f = k + 2. Suppose 0 = -4*s + 5*s + v, -s + 12 = -f*v. Solve -s*b = b for b.
0
Let m be 9/(1/2 - -1). Suppose -m + 0 = -2*u. Solve -5*h + 22 + u = 0 for h.
5
Let s = 0 + 4. Solve 0*v + s = v for v.
4
Let m(i) = -6*i**3 - i - 1. Let s be m(-1). Suppose 91 = 5*p + 4*d, -d + 3 = p - 4*d. Solve p = y - s*y for y.
-3
Suppose d = -r - 3*d + 16, 12 = 3*d. Suppose -2*g + 6 = 36. Let t = g - -30. Solve 0 = 5*v - r - t for v.
3
Let t(g) = -4 + 5 + 2*g + 16 - g. Let m be t(-13). Solve -h = 3*h + m for h.
-1
Let h = -15 + 17. Solve h*z + 5 + 1 = 0 for z.
-3
Let v(z) = -3*z**2 + z + 7. Let a(b) = 2*b**2 - b - 4. Let c(y) = 5*a(y) + 3*v(y). Let r be c(3). Solve 0 = 5*f - r*f for f.
0
Suppose -q = 2*f - 2 - 0, -4*q + 14 = 2*f. Let p(z) = -6*z - 1. Let s be p(f). Let l(u) = -u**2 + 6*u. Let t be l(s). Solve t*c = 4*c for c.
0
Suppose 2 = 2*s - f, 5*f = s + f + 13. Let d(a) = -a**2 + 5*a + 4. Let j be d(5). Suppose 29 = 2*v + 5*g, 0 = 4*v + j*g - 3 - 25. Solve v*o = s*o for o.
0
Let n = -6 - -9. Solve -n*w - 6 = -w for w.
-3
Let u(k) = -k**3 + 6*k**2 - 8*k + 3. Let b(z) = 6*z**3 - 30*z**2 + 41*z - 16. Let m(n) = -2*b(n) - 11*u(n). Let c be m(-7). Solve -3*t - c = -t for t.
-3
Suppose 0 = 2*c + 3*h - 16, 0 = -3*c - 3*h + 2*h + 38. Let s be 2/(-10) - (-39)/(-5). Let d = s + 10. Solve -c = -4*y + d for y.
4
Suppose 0 = 4*p - 12. Solve p = 3*w - 0 for w.
1
Let c be ((-5 - -2) + 3)/3. Suppose 0 = -5*n + 10, -5*n = 3*p - 22 + 3. Solve c = p*v + 2*v + 5 for v.
-1
Let c(r) = r**3 - 10*r**2 - 12*r + 15. Let v be c(11). Suppose 20 = -v*a + 8*a. Solve 0*x - a*x - 15 = 0 for x.
-3
Let s be ((-6)/9)/((-4)/18). Let o be -2*s/(-2)*-3. Let g be (-30)/o*3/2. Solve i + 0*i = g for i.
5
Suppose 40*g = 31*g. Solve 4 = -2*n - g for n.
-2
Let s(m) = -m - 4. Let n be s(-8). Suppose 2*u - 10 = -3*u, -n*a = u - 22. Solve p + 1 - a = 0 for p.
4
Let n(t) = -t + 6. Let c be n(6). Let a = -1 + 4. Solve -a*q + q = c for q.
0
Suppose -5*y + 3*y + 10 = 0. Let g(l) = l**2 - 6*l + 5. Let c be g(y). Solve 0 = -3*n - c*n - 6 for n.
-2
Suppose y + 4*y = 3*o, 0 = 5*y. Solve o*b + 3 = b for b.
3
Let k be (4/5)/(4/10). Let u = -94 + 46. Let z = u + 68. Solve -3*s - k*s = -z for s.
4
Let i(m) = 2*m**2 - m. Let n be i(-1). Let l be 5*n - (1 + -2). Suppose 2*f = -4*v + l, -4*f = -0*f + 4*v - 24. Solve 4*x + 0*x = -f for x.
-1
Suppose r = -0*r - 3. Let a = -1 + 1. Let t = a - r. Solve -t*k + 5 = -10 for k.
5
Suppose -28*o = -32*o + 8. Solve 0 = -o*d - 2*d for d.
0
Suppose 5*x - 10*x + 60 = 0. Solve x = 5*j - 2*j for j.
4
Let d = -6 + 0. Let s = d - -6. Solve q - 3*q = s for q.
0
Let j(u) = -u**2 - 7*u + 18. Let q be j(-9). Solve -2*x + q = 4 for x.
-2
Let f(h) = -h**2 - 7*h - 9. Suppose 3*q + 11 = -0*b - b, -5*q - 16 = 4*b. Let d be f(q). Solve l + d = -0*l for l.
-3
Suppose 2*v + 2*v = 0. Solve n + 5 = -v*n for n.
-5
Let p(q) = 16*q + 5. Let n be p(10). Let s be n/90 - (-2)/12. Solve -s*j = 3*j - 15 for j.
3
Let w = -6 - 7. Let i = -11 - w. Solve -4 = -b - i for b.
2
Let f = 5 + -2. Let x(z) = z - 3. Let g be x(f). Let a be (-9)/(-3)*3/3. Solve g = a*u + 2*u for u.
0
Let k = -11 + 15. Let r = -4 + k. Suppose r = 3*i + i. Solve i = -0*v + 3*v - 6 for v.
2
Let o be (-8)/3*81/18. Suppose -2*x - 2*x = 32. Let j = x - o. Solve c + j = 5*c for c.
1
Suppose 4*y = 6*y - 20. Solve -d = 4*d + y for d.
-2
Suppose -2*q - 16 = -u, 4*u - 4*q = 3*u + 16. Solve -5*j + 4 = -u for j.
4
Let r(g) = -g - 7. Let m be r(-7). Suppose m = -3*x - 2 + 11. Solve 2 = 5*n - x for n.
1
Let n be (-18)/((-1 + 4)/(-3)). Suppose -2*b + n = b. Let j be (-1 + (-4)/b)*-3. Solve -j = -y - 0 for y.
5
Let j(u) = 15*u + 21. Let g be j(-1). Solve -4 = -2*k + g for k.
5
Suppose -17 = -2*r - 1. Let h be ((-18)/(-8))/(3/r). Solve l + 2*l = h for l.
2
Suppose 4*p - 9 = p. Suppose 4*w - 5*y + 98 = 0, w - 33 = 2*w + p*y. Let q be (-6)/w + (-2)/9. Solve -2*n + n - 3 = q for n.
-3
Let k(z) = z**2 - 6*z - 7. Let x be k(7). Solve -m + x*m + 3 = 0 for m.
3
Let u = 6 + -4. Let j(y) = y**3 - y**2 - y + 1. Let n be j(u). Let v = 0 + n. Solve v*q + 6 = q for q.
-3
Let b = -2 + -3. Let y = b - -7. Solve y*p + 20 = 7*p for p.
4
Suppose 4*y = 24 - 0. Suppose 1 = -5*k + y. Let g be 0*((-1)/k)/(-1). Solve a - 1 + 4 = g for a.
-3
Let b be ((-6)/8)/((-141)/(-36) - 4). Suppose -4*w + 25 = -3*w. Solve b*x = 4*x + w for x.
5
Let p be (-245)/(-13) - (-2)/13. Solve 5*o - 4 + p = 0 for o.
-3
Let j = 10 - 5. Let y = -15 + 23. Let w = y - j. Solve i = -w*i - 20 for i.
-5
Let i(s) = s**3 + 2*s**2. Let m be i(-2). Solve m*t = -t - 3 for t.
-3
Let b(s) = 3*s**2 - 3*s - 3*s**3 + 4*s**3 + 2 - s**2. Let o be b(-3). Let w(z) = z**3 - 12*z**2 + 10*z + 11. Let j be w(11). Solve o*t + t = j for t.
0
Suppose 0 = 5*i, -2*v + 3*i = 9 + 3. Let z = v + 8. Suppose z = 3*y + 2*s, 4*y + 4*s + 2 = -s. Solve h = -y*h + 3 for h.
1
Let c(s) = -s**3 + 9*s**2 - 7*s + 5. Let g be c(8). Suppose 3 + g = 4*j. Solve -r = -2*r - j for r.
-4
Let f(y) = y**3 + 11*y**2 - 13*y. Let s be f(-12). Solve n = 4*n - s for n.
4
Let v be (-2 + 1)/((-11)/66). Solve -t = -v*t + 25 for t.
5
Let v be 4/2*36/24. Suppose 3*