uppose -n + 30 = 2*n. Let x = 4 + 2. Let y = x - 2. Solve 0 = -y*p - p + n for p.
2
Let i = -1 + 3. Suppose 3*u + 3*q - 4 = 4*q, -i*u = -2*q. Suppose 3*p - 3 = -3*s, 4*p + 0 = -2*s + u. Solve p*d = -d for d.
0
Suppose -3*f = -0*f + 39. Let g = -8 - f. Solve 0 = -5*a - 0 - g for a.
-1
Suppose -3*c + h = -13, 2*c + 2*c + 8 = -5*h. Let z be c/2 + (-6)/(-4). Solve 0*x - z = 3*x for x.
-1
Suppose k = 5*z - k + 85, -5*k = -3*z - 51. Let l = -17 - z. Solve m = -l*m for m.
0
Let j = -10 - -13. Suppose -5*w = 3*h - h - 24, -j*h - 15 = -w. Solve 3*p + 6 = -w for p.
-4
Let u(o) = -o**3 - 7*o**2 - 6*o + 1. Let c be u(-6). Suppose v - 1 = c. Let i be 2/4*(2 - 2). Solve -v*f + i*f = -6 for f.
3
Suppose -4*p + 10 = -5*h - 21, 2*p - 4*h - 20 = 0. Let y be (10 - 0) + (3 - 1). Solve -y = -p*d + d for d.
4
Let q(t) = -2*t - 8. Let h be q(-4). Solve 0 = 2*z - h*z + 8 for z.
-4
Let u be (-1 + 3)*2/(-4). Let j be -4 + u/(-1 - 0). Let s be (-3 - (j - 0))/(-2). Solve n - 4*n - 12 = s for n.
-4
Suppose 0*q - 3*q + 5*o = 0, o = -3*q + 18. Let i be -1 + -1 + 0 + 3. Suppose i = u - 11. Solve r - u = q*r for r.
-3
Let m = 7 + 2. Suppose m*v - 13*v = -8. Solve 5*d = v*d for d.
0
Suppose 0 = 11*s - 7*s - 24. Let x(i) = -i**3 + i**2. Let c(h) = 7*h**3 - 16*h**2. Let f(t) = s*x(t) + c(t). Let q be f(10). Solve -b - b = q for b.
0
Suppose 3*i + 5*a - 16 = 0, 0 = i - 3*a + 2 + 2. Suppose 2*k = -2 + 6. Suppose 3*q = k*r + 26, 3*q + 5*r - 10 = -2*q. Solve 2*p - q - i = 0 for p.
4
Let d be (-12)/(-12) + -2 + 8. Let b be 4/((-4)/(-2)) - -16. Solve -5*h = -d - b for h.
5
Suppose -5*r = -3*n - 30, 6*r - r - 5*n = 40. Suppose 0 = r*p - 3 - 15. Solve 0 = -s + p*s - 20 for s.
4
Let q be (-6)/(-4) - (-5)/10*-1. Solve -q = o - 4 for o.
3
Let c be 1/2 - (-1 - 15/6). Solve 0 = -t + c*t for t.
0
Let p(h) = -h + 4. Let k be p(3). Let o be k + 1 + 2 - 2. Suppose 4*v = -5*y + 37 - 11, 0 = -2*v + 5*y - o. Solve 1 + v = l for l.
5
Let i be 0/(2/2) + 5. Let x be 2/(-4) - i/(-10). Solve x*b + 10 = 2*b for b.
5
Suppose h - 33 = -4*y, -2*h + 0*h = -2*y + 4. Let c = 7 - y. Solve c = -g + 5 for g.
5
Suppose 0 = 3*p - 5*j + 10, -5 = p + 3*p - 5*j. Let d = p - 1. Let g = 8 - d. Solve 0 = -5*l + 1 + g for l.
1
Suppose -3 = -2*r + 5. Suppose -r - 4 = -2*a. Solve 0 = -3*v - a + 7 for v.
1
Suppose 0 = -4*w + a - 3 + 4, 4 = -4*a. Solve -5*q - 7 + 2 = w for q.
-1
Suppose -18*c + 125 = -145. Solve c = -9*a + 6*a for a.
-5
Let v(r) = -2*r**3 + 3*r**2 - r - r + 7 - 4 + r**3. Let t be (3/2)/((-3)/(-4)). Let x be v(t). Solve -5*c + x*c = -4 for c.
2
Suppose 32 - 86 = -9*l. Solve -5*u + 4 + l = 0 for u.
2
Let u = 5 - 0. Let l = 29 - 22. Suppose -3*q = 2*w + u, 3*w = -l*q + 3*q - 6. Solve -2*n + w = -0*n for n.
1
Let o = 9 + -10. Suppose 4 = 4*c - 12. Let i = c - o. Solve -i*v = -v - 20 for v.
5
Let r(v) = -v - 5. Let j(m) = 11*m + 17. Let y(z) = 5*z + 8. Let a(q) = 4*j(q) - 9*y(q). Let c(g) = 3*a(g) - 4*r(g). Let w be c(0). Solve -s = -3*s + w for s.
4
Suppose -5*r = -12*r + 49. Solve 5*a - r = 8 for a.
3
Suppose 0 = -4*w - 2*p + 24, 3*w - 24 = -w - 5*p. Solve 3 = -3*t + w for t.
1
Let f(x) = -2*x - 4. Let w be f(-4). Suppose 2*j - 23 = j - 3*s, -w*j + 4*s = -108. Suppose -4*v + j = 6. Solve -5*g + 0 + v = 0 for g.
1
Suppose -9*h - 4 = -6*h + 5*p, 3*h - 8 = p. Solve 2*d - h = d for d.
2
Suppose -5 = -v - 2*l, 2*v + 0*v - l - 15 = 0. Solve 10 = f + v for f.
3
Suppose 0*s + s + 4*y - 20 = 0, -s + 2*y = 4. Solve -w - s = 3*w for w.
-1
Let c(t) = 0*t**2 + t**2 + 16 - 14*t - 4 + 4*t. Let r be c(9). Solve 2 = r*x + 17 for x.
-5
Let d be (-2 - -3)/(3/30). Solve -d - 2 = 3*s for s.
-4
Let f be (6 - 0)/(1/1). Let u be 0/(0 - 4/2). Suppose -t - 12 = 5*c, -2*c = 1 + 5. Solve -f = -u*l + t*l for l.
-2
Suppose -4*w + 6 = -w. Suppose 6*v = w*v + 12. Solve 4 = l + v for l.
1
Let u(b) = b**3 - 2*b**2 - 2*b + 2. Let r be u(2). Let z(v) = -2*v - 1. Let y be z(r). Let o = 6 - y. Solve 3*i + 0*i = o for i.
1
Let v(g) = g**3 + 4*g**2 - 2*g - 3. Let r be v(-4). Suppose 7*u - r*u = 8. Solve 9 = -u*t - 3 for t.
-3
Suppose -16 = -3*s - 4. Suppose 0 = 3*k - s - 2. Suppose 0 = t + 3*t - 16. Solve -2*u - k = -t for u.
1
Suppose 15 = 5*q - 10. Suppose -8 = -3*v + 40. Solve 0 = -q*p + p + v for p.
4
Let c(s) = -s**3 + 7*s**2 + 7*s + 6. Let k be c(8). Let i be (1*-6 - -2)/k. Let r be 1*i/((-6)/(-9)). Solve r*g + 16 = -g for g.
-4
Let k(q) = q**3 - 12*q**2 + 10*q + 12. Let l be k(11). Solve 5*m + l = 6 for m.
1
Let p(x) = -x**2 - 7*x + 8. Let w be p(-7). Let l(b) be the third derivative of -b**5/60 + b**4/6 + 7*b**3/6 + 3*b**2. Let f be l(5). Solve -f*u - w = 2 for u.
-5
Let o be 2 + (-2)/(-2 - -3). Suppose 0 = 4*r + c - 3*c, 4*r + 2*c = o. Solve -2*s - s - 3 = r for s.
-1
Suppose -4*y + 2*y = -3*v + 72, 2*v = 5*y + 59. Suppose 0*d + v = 2*d. Solve d = 4*i - 1 for i.
3
Let x(m) = -3*m**2 + 4*m + 5. Let n(s) = 10*s**2 - 13*s - 15. Let y(g) = -2*n(g) - 7*x(g). Let j be y(4). Suppose -4*d = -5 - j. Solve 8 + d = 2*p for p.
5
Suppose 0 = -5*i + 2*i. Let q(b) be the third derivative of -b**5/60 + b**4/8 + b**2. Let g be q(3). Solve p + g*p - 1 = i for p.
1
Let t be (-1 - -2) + (-4)/(-1). Solve 2*d = t*d + 6 for d.
-2
Let f be ((-12)/10)/(6/(-100)). Solve 6*j + 10 + f = 0 for j.
-5
Let n be (1/(-3))/((-2)/18). Suppose 4*u = n*u + 2. Solve 3 = u*t + 13 for t.
-5
Let b = 3 + 0. Suppose 2*m = -3*z + 29, -z - m - b*m = -13. Solve -2*s + z = s for s.
3
Suppose 0*w + w - 2 = 0. Suppose -s = 4*g + 2*s - 32, -s = -5*g + 21. Let f = -3 - -3. Solve f = -w*x + g*x for x.
0
Let z(n) = n - 10. Let v be z(11). Solve v + 1 = l for l.
2
Let u(r) = -r**2 - 3*r - 2. Let i be u(-2). Suppose -4*g = -2*g + 28. Let b be (-1)/(2/g)*1. Solve -5*d + 18 + b = i for d.
5
Let c be (0 - 0)/(-3 - -2). Solve -4*k = -c + 4 for k.
-1
Let k = -36 - -38. Solve -3*b = k*b - 25 for b.
5
Let z = 2 + 8. Suppose -o = 4*o + 3*p - 16, -z = -5*p. Solve -17 = 3*n - o for n.
-5
Let t = -45 - -55. Solve 1 = -3*w + t for w.
3
Suppose 47 = 4*y - 5*y. Let d = -24 - y. Let o = d + -14. Solve -o*z = -5*z + 16 for z.
-4
Suppose 7 - 3 = 2*u. Solve q = u*q for q.
0
Suppose 5*p = 5*z - 30, -z - 13 = -3*z + 3*p. Solve z*f = 3*f + 8 for f.
4
Let g = 15 - 7. Suppose 5*u = -3*w - g, -4*u + 4 = 20. Solve 5 + 7 = w*k for k.
3
Let d(y) = y**3 + 3*y**2 - 2*y - 1. Let s be d(-3). Suppose -18 = -4*b - 3*t + 5*t, -3*t - 5 = s*b. Solve -m - b = m for m.
-1
Suppose d - 5*d = 5*j + 4, 5*j + d = -1. Suppose -2*w - 2*w = j. Let z be -6 + 2 - -6 - -1. Solve z*b + 2*b = w for b.
0
Let s(n) = 2*n + 3. Let g be s(-4). Let m(f) = -7*f + 10*f - f**3 + 6*f**2 - 4 + 2*f**3. Let p be m(g). Solve -c - p = c for c.
-3
Suppose -2 = 2*s + 5*v - 17, 2*s - 5*v = 5. Solve -i = -s*i for i.
0
Suppose 0*y = 2*y - 8. Let i(g) = -g + 4. Let c be i(y). Solve c*u = -3*u for u.
0
Let z = 21 + -19. Solve -m + 7 = z for m.
5
Suppose 3*j + 0 = 12. Solve 0*c + j*c + 4 = 0 for c.
-1
Suppose 25 = -2*c - 21. Let s = -19 - c. Solve -r = s*r - 15 for r.
3
Let g(n) = -n**2 - 9*n - 8. Let y be -2*((-7)/(-2))/1. Let c be g(y). Solve 0 = k - c*k for k.
0
Let v = 25 + -23. Solve 0 = v*x - 5 + 1 for x.
2
Let u be -11*(-2)/6*3 + 0. Suppose -2*j + 6*j = 20. Solve -u = -j*v - 36 for v.
-5
Let k = 11 + -6. Suppose 2*p + k = 9. Solve -3*o + p*o + 2 = 0 for o.
2
Let x be (-1)/(-5) + 252/(-35). Let f = -15 - x. Let l = f + 8. Solve -u - 3*u = l for u.
0
Let v(u) = -u**2 + 13. Let o be v(-3). Solve -2*r + 10 = o for r.
3
Let i = -4 + 16. Solve -4*x = -0*x + i for x.
-3
Let u(i) = 2*i**3 - 3*i**2 + i - 2. Let v be u(2). Solve -1 = -5*q + v for q.
1
Suppose -g + 5 = 2*t, 0*g - 4*g + 13 = t. Let m be (1 - 2)/((-1)/g). Solve 4 + 8 = m*v for v.
4
Suppose 7*h - 1 - 13 = 0. Solve -o = 3 - h for o.
-1
Let b be (1/(-3))/(-1)*9. Let a(v) = -12 + 9*v + v**2 + 12. Let j be a(-9). Solve -15 = b*p - j for p.
-5
Suppose 0*h = 2*h + 5*z - 9, -3*h + 2*z = 34. Let s = h + 8. Solve 3*f + 9 + s = 0 for f.
-3
Suppose r = -5 + 8. Let a be (-2)/3 - (-35)/r. Solve -4 - a = -3*j for j.
5
Let x = 6 - 1. Let t = x - 0. Suppose -v - 1 = -t. Solve 4 = v*b - 8 for b.
3
Let k = -2 + -1. Let d = 3 + k. Solve -3*o + 15 + d = 0 for o.
5
Let f be (-58)/(-6) + 2/6. Suppose -5*x + 38 = -2. Let n be (1/(-2))/((-2)/x). Solve -f = n*a - 4*a for a.
5
Let s be 120/(-100)*(-10)/6. Solve 2*a = 3*a - s for a