 Solve -y*h = 39 - 12 for h.
-3
Let t = 6 - 6. Let n be t/1*15/(-15). Solve n = r + 4 + 1 for r.
-5
Suppose 7*y = 10*y - 9. Let u be y + -4 - (-44)/8*2. Solve 2*c - u = -0*c for c.
5
Suppose 0 = 10*d - 9*d - 2. Suppose d*f + 2*h - 8 = 0, -4*f - h - 11 = -8*f. Solve 0 = -f*m - 2*m + 15 for m.
3
Suppose -250 = -27*k - 61. Solve 3*l = k*l + 12 for l.
-3
Suppose 2*q - 6 = -3*b - 3, -17 = -5*q + 2*b. Let y be 2/3 + -12*q/(-27). Solve y*z = -1 + 3 for z.
1
Let d(w) = 1 - 2 + 0*w**2 - w**2 - w + 3*w. Let z be d(-2). Let p = -7 - z. Solve -5*l - 3 - p = 0 for l.
-1
Let q = 7 + -59. Let z = -50 - q. Solve 6*d = z*d for d.
0
Suppose 7 + 5 = 12*g. Solve -g = -2*c - 5 for c.
-2
Let z be 4/14 + (-25)/(-35). Suppose -z = 3*y - 10. Solve -y*m = -8*m for m.
0
Suppose i = -2*i + 3*r + 3, 3*i - 6 = 2*r. Suppose -68*j + 63*j + 35 = 5*g, g + 23 = 4*j. Let l(w) = 5*w. Let u be l(1). Solve 0 = -u*o + j + i for o.
2
Suppose 4*j = 5 + 3. Suppose j*u + 2*u - 16 = 0. Suppose 0 = 5*l - u*a + 1, 5*a - 7*a + 5 = -l. Solve l*q + 4 = -q for q.
-1
Suppose 3*u - 57 = -0*u + 4*d, 39 = 2*u - 3*d. Suppose -2*j - 3*j = 2*t - 5, 3*t = -u. Solve 10 = v - j*v for v.
-5
Suppose -3*x + 2*a + 124 = 0, -2*a - 3*a = x - 64. Let k = x + -24. Solve -3*r = r + k for r.
-5
Let b = 0 - -3. Let l(r) = 3*r - 17. Let s be l(7). Let j be (s + 0 + -4)/2. Solve 3*k - b = -j*k for k.
1
Let x = -394 - -396. Solve 0 = 15*b - 0*b + x*b for b.
0
Let s(v) = -v**3 + v. Let z be s(0). Suppose 5*d - 50 = -z*t - 5*t, -4*d + 33 = 3*t. Solve 0 = -3*j - t - 2 for j.
-3
Let m = -973 + 975. Solve 0*a - a - m = 0 for a.
-2
Let a(h) = 5*h**2 + 15*h + 3. Let f be a(-3). Solve -4*g + 3 = -f*g for g.
3
Let f be (-7)/28 - 1/(-4). Suppose f = 3*n - 0 + 6. Let c(z) = -5*z + 3. Let j be c(n). Solve 0 = -2*a - j + 5 for a.
-4
Let m be 8/(-16)*(-4 + 0 - -2). Let v = 10 - 7. Let d be (-1)/(m/(1 - v)). Solve a = d*a for a.
0
Let r be (-6)/2*(-30 + 27). Solve r*d - 7*d = 10 for d.
5
Let g be (-16)/6*(-2 + (-55)/(-44)). Solve 0 = -2*s - 0*s + g for s.
1
Let j(a) = 5*a**2 - 7*a - 2. Let r(z) = -6*z**2 + 7*z + 2. Let t(i) = 7*j(i) + 6*r(i). Let o be t(-4). Solve 0 = c + c - o for c.
5
Let i = -41 - -50. Let h be 24/i - 1/(-3). Solve -h*j - 4 = 5 for j.
-3
Suppose -2*z = -0*z + 5*l + 21, -3*l - 25 = -5*z. Let t be (-1*21)/3 - z. Let x = 21 + t. Solve 8 + x = -4*s for s.
-5
Let l(w) = 10*w - 32. Let v be l(4). Solve s = 5 - v for s.
-3
Let h(x) = -104*x - 609. Let a be h(-6). Solve -48 = a*c - 27*c for c.
4
Suppose -10 + 25 = 5*i. Suppose -2*o + 40 = 2*w + 2*o, 3*o = 5*w - 100. Solve m - w = -i*m for m.
5
Let w(v) = v**3 + 7*v**2 + 1. Let i be w(-7). Let h be i - 2*(-2)/4. Suppose -h*s + 4 = 4*m, 7*m - 2*m - 12 = s. Solve m*j + 2*j = 0 for j.
0
Let s be ((-16)/(-4))/(11/(99/12)). Solve -s*q = -2 + 17 for q.
-5
Let h(v) = -v**2 + 17*v - 1. Let d be h(17). Let a be d/(20/10 - (-18)/(-8)). Solve -5 = n + a*n for n.
-1
Let a = 49 + -47. Solve a*u - 8*u = -24 for u.
4
Let u be 310/(-93)*(-6)/5. Solve 0*r - u*r - 4 = 0 for r.
-1
Let w = -32 + 34. Let m be (w - (-1 + 4))/((-4)/40). Solve m = 7*d - 2*d for d.
2
Let c(a) = -a**2 - 12*a + 45. Suppose 0 = -11*y + 16*y + 75. Let r be c(y). Solve -d - d = r for d.
0
Suppose 30*s = 22 + 38. Solve -s*k = -3*k for k.
0
Suppose g + 9 = 4*g. Suppose 0*v - g = -v. Solve -3 = -2*s + v*s for s.
-3
Suppose -2*m + 10 = 3*m. Suppose -m*k - 9 = 7. Let d be (-2)/1*k/2. Solve 0*x = -4*x + d for x.
2
Suppose 5*d + 1 = 11. Suppose h = d + 2. Suppose q = -h + 15. Solve q = -4*z - 5 for z.
-4
Let n = -199 + 214. Solve -19*r = -n*r - 8 for r.
2
Let h(i) = -i**2 + 3*i + 3. Let u be h(3). Let a be (3/2)/(2/(-4)). Let k = u - a. Solve 4 + k = 5*v for v.
2
Let b be ((0/13)/14)/(-5). Let n = -1 + 1. Solve 2*g + b*g - 6 = n for g.
3
Let c(s) = s**3 + 13*s**2 + 21*s - 7. Let k be c(-11). Let a = -35 + 41. Solve -18 + a = k*o for o.
-3
Suppose -10*r + 9*r = -5. Suppose 15 = r*h - 10. Solve 10*l = h*l for l.
0
Suppose 21*o + 4*l = 20*o + 24, -4*l = -5*o. Suppose 2*k + 0*k - 4 = -5*n, 2*k = 2*n - 10. Let j be (2 - 2)/(n/1). Solve o*x + j = 12 for x.
3
Suppose -3*x - 5*p = -35, 5*x + 24 = 9*x + p. Suppose -x*m + 55 = -0*m. Let b = m - 6. Solve -31 = -b*j - 11 for j.
4
Suppose 3*r + 0*r - 30 = 0. Suppose -16 = -3*u - r. Solve -u = -w + 2*w for w.
-2
Let b = 40 - 24. Solve -28 - b = -11*y for y.
4
Let p(l) be the third derivative of l**5/30 - 3*l**4/8 - 2*l**3 + 19*l**2 - 1. Let x be p(6). Solve f + x = 4*f for f.
2
Let c(o) = o. Let y(q) = 5*q - 7. Let d(z) = 4*c(z) - y(z). Let a be d(3). Solve a*v = v + 6 for v.
2
Suppose 0 = -x + 3*m - m + 4, -8 = -2*x - 5*m. Let g = x - 1. Suppose n - 3*n = -t + 4, g*t - 8 = 2*n. Solve t*d = -0*d for d.
0
Let c(o) = -40*o - 10. Let w be c(-1). Solve 5*m + 5 - w = 0 for m.
5
Suppose 2*k - 6*k = 0. Suppose h - 3*h + 24 = k. Suppose -r = 13 - 16. Solve 0 = -s - r*s + h for s.
3
Let w(u) = u**3 - 5*u**2 + u - 6. Let c be w(5). Let m be (15 + -17)/(c/2). Let v be 0*(2 - 4/m). Solve v = -5*k + 6 + 4 for k.
2
Suppose 3*r + 6 - 2 = 4*q, 5*r + 5*q - 40 = 0. Let j be 86/6 - r/(-6). Solve 0 = -2*w - w + j for w.
5
Suppose w - r = 3 + 7, -3*w - 2*r + 15 = 0. Solve 1 - w = -3*i for i.
2
Let b be 13/6 - 14/84. Suppose 4*a + 5*p = b - 1, 5*p = -a - 11. Solve -n + a*n - 9 = 0 for n.
3
Let d(v) = 4*v**3 - 8*v**2 + 5*v - 3. Let t(q) = -q**3 + q**2 - q + 1. Let z(g) = -d(g) - 3*t(g). Let i be z(5). Let u = 18 + i. Solve 20 - u = -4*m for m.
-3
Suppose 0 = -8*x + 13*x + 40. Let t be 5/((-1)/((-12)/x) + 1). Solve 4*a - 1 - t = 0 for a.
4
Suppose 4*a + 5 + 63 = 4*u, 2*u + 4*a = 4. Solve 0 = 14*l + 2 + u for l.
-1
Let u(z) = -z**2 + 0*z**2 + 0*z**2. Let l be u(0). Let g(v) = -v**3 + 19*v**2 + 21*v - 17. Let s be g(20). Solve l*i - s*i = -12 for i.
4
Let f = 2 + -19. Let p = f + 20. Suppose -p*y - 3 + 18 = 0. Solve 1 = -2*x + y for x.
2
Suppose -9*f = 14*f - 69. Solve -1 = f*v - 10 for v.
3
Suppose 3*v + 89 - 1 = -5*t, t = -4*v - 4. Let p be -4*(t/5 + 3). Solve -p = -3*q + 2 for q.
2
Let f(o) = -4*o**2 + o + 2. Let m(t) = -t**2 - t. Let y(j) = f(j) - 3*m(j). Let x be y(4). Solve -3*l = x*l - 10 for l.
2
Let g(j) = j**3 - 18*j**2 + 33*j - 11. Suppose 15*u - 25*u = -160. Let k be g(u). Suppose -2*t = -t - 1. Solve k - t = -a for a.
-4
Suppose -5*m + 95 = -0*m. Suppose -v + 3*v = -3*g + m, -3*g + 4*v = 11. Solve -g*z + 4 + 2 = 0 for z.
2
Let a(p) = -3*p - 7*p + 2*p - 7 + 21*p**2 - 22*p**2. Let v be a(-8). Let g(u) = u + 9. Let r be g(v). Solve r*j = -10 + 2 for j.
-4
Suppose m = -2*m + 27. Let p = -14 + m. Let t(s) = -s - 1. Let k be t(p). Solve 4 = k*f - 3*f for f.
4
Suppose 2 = h + 2*s, 5*s = -0*h + 3*h - 6. Suppose 3*c + 4 = 5*p, 2*p + h*p - 13 = c. Solve 3*b = c + 8 for b.
5
Suppose 0 = 2*i + 1 - 11. Let d(s) = 10*s**2 + 6*s - 43. Let h(r) = -7*r**2 - 4*r + 29. Let k(b) = i*d(b) + 7*h(b). Let f be k(-6). Solve -f = -9*x + 6*x for x.
4
Let s = -1679 + 1752. Solve -3 = -72*b + s*b for b.
-3
Suppose -j + n + 3*n + 1 = 0, -3*n - 2 = -j. Suppose 20 = 4*q, -2*v + 7*v + j = 5*q. Solve u + 12 = v*u for u.
4
Let p(w) = 0*w**2 - 5 + 5 + w**2 + 2*w. Let m(u) = u**2 - 7*u - 10. Let x be m(8). Let y be p(x). Solve -h = -y*h for h.
0
Let v(j) = -5*j**2 + 3*j + 3. Let y be v(3). Let g = -24 - y. Solve -2*r - g = r for r.
-3
Let b be ((-19)/(-19))/(1/2). Solve u + b*u = 12 for u.
4
Suppose -5*o + 4*r = -36, -5*o + 2*r + 32 = -r. Let k be 1159/76 - 1/o. Solve -2*z = 3*z + k for z.
-3
Suppose 4*u = -u + 4*a + 24, 0 = 4*u + a - 36. Suppose 3*o = u*o - 40. Solve -2*d = -0*d - o for d.
4
Let y(w) = w**3 - 5*w**2 - w - 1. Let j be y(6). Let n = -27 + j. Solve n*a = 2 + 2 for a.
2
Let c = -7 + 9. Suppose -c*f - 3 + 7 = 0. Solve -2*b + 4 = f for b.
1
Suppose 0 = 11*n - 53 - 2. Suppose n*y - 7 = -2*c + 7, -c - 4*y = -10. Solve 4*i = 2*i - c for i.
-1
Suppose -2*t + 7 + 17 = 0. Solve -2*j = t*j for j.
0
Let s = -63 + 43. Let t = s - -20. Suppose q + 5*c = -24, -2*q + 2*c = q - 13. Solve -l + t = -q for l.
1
Suppose -5*l - b + 19 = 1, 4*l - 5*b + 3 = 0. Solve 0 = l*x - 5*x for x.
0
Let h = -6 + 8. Let s(r) be the first derivative of r**4/4 + 2*r**3/3 - r**2/2 - 2*r + 3. Let x be s(-2). Solve x = -3*b + h*b - 1 for b.
-1
Suppose -3440 = -8*p - 232. Solve -p*t + 2 = -400*t for t.
2
Suppose 2*l = -4*b + 20, 4*b = 2*l - 1 + 5. Let u(z) 