 Let m = h + 1. Solve m*p = p for p.
0
Suppose 2*g - 15 = 5*a, -3*g = 7*a - 2*a - 10. Solve 7*h + g = 6*h for h.
-5
Let u(d) = 2*d + 5. Let j be u(5). Suppose -3*q + 3*y = q - j, -4*y = -4*q + 20. Suppose 0 = -5*c - q*c + 75. Solve b - 4*b = -c for b.
5
Suppose -12*z + 13*z - 8 = 0. Suppose z*x = 13*x. Solve 4 = g - x*g for g.
4
Let i = 55 + -51. Solve -2 = i*w + 18 for w.
-5
Suppose -2*n = 3*q + 368 - 115, 3*n = 4*q - 337. Let s = n - -119. Solve s = -5*c + 3 + 7 for c.
2
Suppose 7*v - 60 = 2*v. Let q be 3*(2 - (0 + (-4)/v)). Solve 5*u = -q - 3 for u.
-2
Let x(u) = -4*u**3 - 3*u**2 + 4*u + 10. Let y be x(-2). Solve 21*r - 3 = y*r for r.
-3
Let i be 21/14*(4 + -2). Suppose -5*u - i*t + 37 = 0, -t = 2*u + t - 14. Solve -3*b + u = -7*b for b.
-2
Let j be -1 + (-14)/(-18) - (-58)/18. Suppose -2*r + j*f - f + 2 = 0, -4*r - f + 9 = 0. Solve u = -0 - r for u.
-2
Suppose -6 = 3*a + n - 27, -3*a + 15 = 3*n. Solve a*j = -2*j - 50 for j.
-5
Let x be ((-25)/(-10) + -2)*4. Solve x*n - 4 = 3*n for n.
-4
Suppose -w - 3*w + 12 = 0. Let b(s) = s**3 + s**2 - 26*s - 26. Let p be b(-5). Solve o - w = -p for o.
-1
Let p(d) = -d + 26. Let q be p(-22). Let s be 0/(32/q*3/(-2)). Solve 3*m + 2*m + 10 = s for m.
-2
Suppose 131*x = 135*x - 16. Solve x*u - 27 = -27 for u.
0
Suppose -4*p + 0*p + 16 = 0, -5*x - 5*p = -110. Suppose j + 2*z = -7, -x = -2*j + 4*j + 5*z. Solve -j - 1 = n for n.
-2
Let p(b) = -b**2 - b + 17. Let y be p(0). Let f = 124 + -92. Let u = f - y. Solve u = -4*z + z for z.
-5
Suppose -7*m = -4*m - 102. Suppose -5*n + m = -41. Suppose -3*u - n = -42. Solve -u = -3*b + 6 for b.
5
Let j(x) be the first derivative of x**4/4 - 2*x**3/3 - x**2 + 2*x - 4. Let h be j(3). Solve 0 = h*l - 0*l + 10 for l.
-2
Let p be -1 - (8/(-10))/((-6)/(-15)). Suppose -12 + 35 = -w + 5*f, 2*w = f - p. Solve 4 = w*j - 2 for j.
3
Let i be (-8)/(-10) - 4/(-20). Suppose -t = 3*r - 6*r - i, t = -r + 1. Let z(x) = -x + 2. Let j be z(r). Solve s = -j*s - 9 for s.
-3
Let d be 2 + 32/(-18) - 8/36. Solve d = 11*i + i + 36 for i.
-3
Let m(w) = w**3 + 7*w**2 - w + 5. Suppose -4*j + 6 = -2*x, 5*x + 8 = 2*x + 5*j. Let s be (-10 + -4)/(x - -3). Let v be m(s). Solve 5*l - v = 2*l for l.
4
Let u be (-6 - -4) + -3 + 14. Solve 1 = -u*a + 8*a for a.
-1
Suppose -2*s + 8*s = 4*s. Let p be (s/35)/((-3)/(3/(-2))). Solve -3*w + p*w + 9 = 0 for w.
3
Let i(r) = -r**2. Let k be i(0). Let m = 0 + k. Suppose 7*l - 4*l - 6 = m. Solve -d - l = -3*d for d.
1
Let c(j) = j**3 - 6*j**2. Let b be c(6). Let m = -3 - -8. Suppose -3*f = m*u - 19, -14 = -u - b*f - 4*f. Solve 0 = -i + 2 + u for i.
4
Let k be 561/6 + 12/8. Let c = k + -93. Solve u + c = 4 for u.
2
Let u = -8 + 9. Let b(y) = y**2 - 3*y + 1. Let m be b(2). Let o = m + u. Solve 0 = -2*w - o*w + 10 for w.
5
Let p(j) = 86*j + 1. Let c be p(2). Suppose -13 = 4*l - c. Suppose -5*m = -10*m + l. Solve -o + 3*o = -m for o.
-4
Let y be -1*((-2)/1 + 8). Suppose 4*d + 2*t = 24 + 4, 5*t = 5*d - 50. Let p = d + y. Solve 0 = u - p*u for u.
0
Let k be (-57)/(-19) + (-12)/(-2). Solve 3*x - k = -0 for x.
3
Let l = -318 - -324. Solve -3*w = -3 + l for w.
-1
Let i = -36 + 40. Solve i = 2*b - 3*b for b.
-4
Let n(p) = -p**3 - 7*p**2 - 9*p - 13. Let s be n(-6). Solve s*m - 94 + 114 = 0 for m.
-4
Let y(n) = -n + 5. Let a be y(-4). Solve -4*r - 3 = a for r.
-3
Let i = 48 - 40. Let o be (-3 + 0)/(0 + -1). Solve o*t - t = i for t.
4
Let r be ((-16)/6)/((-2)/6). Let o be -1*4 - (10 + -14). Suppose 6 = 16*q - 14*q. Solve q*u + u + r = o for u.
-2
Suppose -7*a = -2*a. Suppose a*c + 3*c - 19 = q, 3*q - 3 = -3*c. Let s be (-1 - c)/((-6)/8). Solve 3*z = 2 - s for z.
-2
Let l be 0/(((-9)/(-3) + -6)/1). Suppose 3*q - 14 = -w + 2*w, -5*w = -q - 14. Suppose 5*y + q = 31. Solve l = y*m - 2 - 3 for m.
1
Suppose 0 = -7*k + 3*k + 40. Suppose j + 2*y + 8 = k, -4*y = 0. Solve -a = 3 - j for a.
-1
Let i = -40 - -67. Suppose i = -2*c + 45. Solve 0 = -2*v - v + c for v.
3
Let p(r) = 15*r - 6. Let a be p(2). Suppose -6 = d + 3*b, 4*d = 6*b - 2*b + a. Solve 2*t + 5 = -d for t.
-4
Suppose 5*r = -4*s - 181, -5*s - 6 = -r - 19. Let t be r/(-77) + 6/(-14). Suppose t = 4*v - 3*z - 57, 4*z + 2 = -4*v + 38. Solve -f + v = 3*f for f.
3
Let r(o) = o - 25. Let l be r(20). Let q(z) = -z**3 - 5*z**2 - z - 1. Let k be q(l). Solve c - k*c = -6 for c.
2
Suppose -5 = -c - 2*u, 4*c - 5*u = 7*c - 14. Suppose -4*d - 20 = -4*m, -4*d + 2*d - 10 = c*m. Solve -j - 2*j - 12 = m for j.
-4
Suppose 0 = 3*g - 2*r - 11, -3*r - 12 + 3 = -2*g. Suppose g*n = 2*t - 10, -4*n - 21 = -5. Let v be t + 6/(-1 - -3). Solve -2*s - v = -0*s for s.
-1
Suppose d - 8 - 5 = -4*t, -3*d = t - 17. Let s be (0 - 1)*(-9 + (t - 0)). Solve 2*o - 3 = s for o.
5
Let c(s) = -2*s - 1. Let q be c(4). Let j = 142 - 128. Let k = q + j. Solve -2 - 3 = -k*f for f.
1
Let p be 11/(-9 - 13)*-12. Solve -6*x - p = -18 for x.
2
Suppose 7*p = -9 + 37. Solve j = j - p*j for j.
0
Suppose 28*l - 21 = 147. Let r(v) = 4*v - 4. Suppose 0*d + 2*d = 12. Let n be r(d). Solve -l*a + n = -a for a.
4
Let n(p) = 5 + 2 - 6*p**2 - p**3 - 4. Let i(d) = 3*d - 45. Let w be i(13). Let f be n(w). Solve k = f*k for k.
0
Suppose -5*c = 10 - 0. Let f be c/(-9) + (-176)/(-18). Suppose -o + f = 4*o. Solve o*b + 4 = 4*b for b.
2
Let i(w) = -2*w - 13 + w + w**2 + 4*w + 0*w. Let c be i(-7). Solve -c = -0*n - 3*n for n.
5
Let m be ((-60)/(-21) + -2)*7/2. Let g be -2 - (10/(-1) + m). Let i = -13 - -14. Solve -g + i = f for f.
-4
Let z(y) = -y**3 - 24*y**2 - 30*y - 159. Let q be z(-23). Solve -7*j + 20 = -q*j for j.
4
Let q(y) = 19*y**3 + 1. Let f be q(-1). Let l = f - -19. Solve z - l = -3 for z.
-2
Suppose -2*r = -3*r + 4. Suppose 0*h - r = 5*m - h, 20 = 5*h. Suppose 3*s + 14 = 4*q + q, -2*s - 5*q + 24 = m. Solve -4*x = -s*x for x.
0
Let q(i) = -2*i + 4. Let h be q(-6). Suppose h = x + 2*j + 3, -3*j = -15. Let r be (-6)/(-9) - (-28)/x. Solve -p - p = -r for p.
5
Let r(z) = -29*z - 218. Let p be r(-8). Solve -p + 0 = -7*g for g.
2
Let b(y) be the third derivative of -y**6/120 + y**5/30 - y**4/24 - 2*y**3/3 - 11*y**2. Let t be b(-2). Solve -6 = 5*h + t for h.
-4
Let r(c) = -c + 10. Let u be r(8). Let t = 2 + -3. Let w = u - t. Solve w*p + p = 12 for p.
3
Suppose w + 9 = 5*w - 5*c, 0 = -2*w + c + 3. Suppose -4 + 1 = -y. Solve -y*v + w = -2 for v.
1
Let f = -1 - 21. Let a = -22 - f. Solve a*p = 5*p + 15 for p.
-3
Let c(q) = -q**3 - 4*q**2 - q + 1. Let k be c(-4). Suppose 3 = -k*y + 13. Solve y = -4*s - 2 for s.
-1
Let d = -3 - -10. Let j be (-6 - -4)/((-2)/3). Suppose -3*w = -4*i + 71, -j*w = 3*i + w - 72. Solve -d*z + i = -2*z for z.
4
Suppose -4*y + 7 = -4*a - 25, 5*a = 0. Solve 0 = n - y + 7 for n.
1
Let a = -48 - -82. Let k = a - 20. Solve -2 = 4*d - k for d.
3
Let h(b) = b**2 - 4. Let g be h(-2). Let u = 2 + 0. Solve u*p = -g*p - 10 for p.
-5
Let a(i) = 3*i**2 + 9*i - 54. Let x be a(-6). Solve -d - 12*d + 13 = x for d.
1
Let r(c) = 3*c**2 + 2*c - 2. Let z be r(-2). Suppose 15 - z = 3*p. Solve p*g = -11 + 2 for g.
-3
Let b be 260/36 + -4 - 4/18. Suppose 12 = b*r, -2*v = -v - 2*r + 6. Solve 0 = v*m - m - 3 for m.
3
Suppose -28*k + 35 = -21. Solve k*a = -a + 6 for a.
2
Suppose -2*l - 14 = -4*w, -4*w - 3*l + 9 = -0*l. Suppose y + w = 2*y. Solve -3*q - y + 12 = 0 for q.
3
Let c = 67 + -55. Let z be 54/c - 1/(-2). Solve -10 = -5*l + z for l.
3
Let i = -22 - -24. Suppose 0 = 2*z + i*z. Solve 3*p - p = z for p.
0
Suppose -9*q + 5 + 13 = 0. Let a be 3/(-2)*(-4)/3. Solve q*w + a - 4 = 0 for w.
1
Let g(y) = -y**2 + 7*y - 10. Let w(m) = -4*m + 10. Let p be w(2). Let u be g(p). Solve -2*v + 7*v = u for v.
0
Suppose 2*m = 0, 4*t - 16 = -0*t + 2*m. Let g(q) = q + 3*q + 4*q - t*q. Let y be g(1). Solve 0*l - 20 = y*l for l.
-5
Suppose 4*g = 20, -3*l + 4*l = 3*g - 13. Let u = -45 - -50. Let p be 18/63 + ((-2)/(-7))/(-1). Solve -u*f + l*f = p for f.
0
Let b = 2004 + -1995. Solve 2*r - 1 - b = 0 for r.
5
Suppose -h - x + 6 = 1, -5*x + 25 = -3*h. Suppose 8*y - 6*y + 2 = h, -2*y = -5*u + 2. Let i(z) = -z**3 + 6*z**2. Let p be i(6). Solve -4*r + u*r - 20 = p for r.
-5
Let d(o) = 2 + 5*o + 2 + 9*o - 5. Let c be d(-1). Let r be ((-51)/c - 3)*20. Solve -3*z - r = -z for z.
-4
Let u = 17 - 14. Suppose 0 = u*r + 2*i - 28, -27 = -5*r - 2*i + 25. Suppose x - 4 + r = 4*t, 4*t = -x. Solve -6 + t = q for q.
-5
Let m be 14 