Let b be d/(-4)*6/15. Solve -2*h - 5 = b for h.
-3
Let l(z) = 2*z**2 - 54*z + 2. Let t be l(27). Solve 0 = 3*c + t*c - 20 for c.
4
Suppose 0 = 2*s + s + 12. Let x be (s/(-5))/(5/75). Let n be 16/x*(-3)/(-2). Solve -n*g + 8 = 2*g for g.
2
Suppose -8*h = -7*h - 3. Solve h*x = -2*x - 15 for x.
-3
Let f be 0*(3/2 + -1). Suppose f = -0*u + 2*u - 24. Suppose 4*c - u = -4*z, -3*z - 2*c + 16 = z. Solve 3*x + z + 4 = 0 for x.
-3
Let p = -1 + 2. Let i = 4 + p. Suppose -4*q - 11 = -3*r, q - i*r + 28 = 4. Solve -2*a + 5 = q for a.
2
Let b be (-4)/(-14) + (-12)/(-7). Suppose 3*a + 2*i = 6*a - 29, 20 = 2*a - 2*i. Solve k = -b*k + a for k.
3
Suppose 0 = -3*k - 2*l - 2, -2*l - 2 = 4*k - 0*l. Let c be 0 - (8 + -4) - -6. Solve -c*u = -k*u - 10 for u.
5
Suppose 0 = 5*z - 20 - 5. Suppose -q = q - 2. Let g = 3 + q. Solve -g*i = i - z for i.
1
Let l(q) = -q**2 + 4*q - 3. Suppose -o - 8 = -3*o. Suppose o = t + 2. Let c be l(t). Solve 0 = -n - c for n.
-1
Suppose 2*t + 2*n = 5 + 5, 19 = 5*t + 2*n. Suppose 4 = 4*k, -28 = -3*i - 2*i - 3*k. Suppose -i*s + 13 = t*m, -2*s - m = -0*m - 5. Solve -3*z - 15 = s*z for z.
-3
Let a be ((-2)/6)/((-3)/((-540)/(-5))). Solve -3*i = i - a for i.
3
Let z be (4/((-8)/(-6)))/1. Let d = 7 - z. Suppose 7*h - 5 = 2*h. Solve d = -w - h for w.
-5
Let o be (3/(-12))/(3*(-1)/60). Solve -o*q = -10*q + 20 for q.
4
Let r(d) = 2*d - 4. Let m be r(4). Suppose -3*q + 6*q + 3 = 0. Let w = m + q. Solve c = w*c + 8 for c.
-4
Let z be (-8)/(-20) + 6/10. Let b be z + (2 - 1) - -2. Solve -2*u - b = -14 for u.
5
Let y(t) be the third derivative of -t**6/24 - t**5/60 - t**4/24 - 6*t**2. Let l be y(-1). Solve 0*u - l*u = 15 for u.
-3
Suppose 4*i + 14 = 102. Let n = i + -17. Solve -2*v + n*v + 12 = 0 for v.
-4
Let c(a) = 2*a**2 - 24*a - 20. Let d be c(13). Solve -t - d = t for t.
-3
Suppose 0 = r + t - 18, 5*r = -2*t + 48 + 33. Suppose 3*h = r, -3*q + h - 5 = -0*h. Solve f + q + 1 = 0 for f.
-1
Let u = 6 - 2. Suppose 0*h + 4*m + 88 = u*h, h - 5*m = 38. Suppose -h = -5*a + 12. Solve -d - d = a for d.
-3
Suppose 3 = -n - 2*n. Let h = n - -2. Let z be ((-4)/10)/(h/(-15)). Solve -z*g + g = 0 for g.
0
Let t(d) = d - 7. Let u = 27 - 18. Let j be t(u). Solve 5 = x + j for x.
3
Let x = 37 + -21. Let v(k) = -k - 4. Let p be v(-7). Suppose -2*m + p*m - 4 = 0. Solve x - m = 3*w for w.
4
Suppose -j + 6*j + 21 = -h, 3 = 2*h - 5*j. Let u be ((-5)/4)/(h/24). Solve 4*q = -u + 17 for q.
3
Let y = 112 - 110. Solve v - y + 0 = 0 for v.
2
Let z be (-1)/(-4) + (-5)/4. Let a be (-1)/z*(3 - 1). Solve 0 = a*o + 2*o - 8 for o.
2
Let d(j) = -4*j + 0*j - 2*j - 15 + 4*j. Let v be d(-10). Solve -1 = -3*m + v for m.
2
Let f(l) = -l + 23. Let t be f(21). Let c(r) = -r**2 + 11*r - 7. Let h be c(8). Suppose 0*x + 5*y = 2*x - 13, 3*y = -5*x + h. Solve t*m - 2 = x*m for m.
-1
Suppose 9*v - 62 - 1 = 0. Solve -4*n = -v*n + 15 for n.
5
Let k(v) = v**3 + 3*v**2 - 3*v + 2. Let t be k(-4). Let c be t/4*(-5 + 3). Solve c = -p + 3 for p.
2
Let k = 25 - 5. Let t = k - 12. Let o be 0 + 4 + -1 + 20. Solve -5*n + t = o for n.
-3
Let g be (-2904)/(-30) + 1/5. Suppose -5*p + 12 = -13. Suppose w - g = -p*j, -4*j - w = 3*w - 68. Solve 0*i - j = -4*i for i.
5
Suppose -2*h - 1 = -k, h - 4 = -k - 0. Suppose k*a - 30 = -0*a. Suppose -5*q - 2 = -2*x + x, 0 = -5*q + 3*x - 6. Solve 0*t - 2*t + a = q for t.
5
Let f(k) = -2*k**2 + 5*k - 1. Let q be f(4). Let t = q + 23. Suppose i + t + 1 = 3*x, x - 9 = -i. Solve -x*a = -a for a.
0
Let u be 4 - 1/(1/(-2)). Suppose -4 - u = -5*z. Solve 2 + 2 = -z*n for n.
-2
Suppose -g - 3*g + 8 = 0. Suppose 0 = -n + i + 8, 3 = n + 5*i + 1. Let v = n - 4. Solve -g = q + v for q.
-5
Let b be 0/(0/3 - -2). Suppose 5*a + b*a - 10 = 0. Suppose 0*i - i = -3*f + 1, -a*f = -5*i - 5. Solve c + f*c + 5 = 0 for c.
-5
Let g(s) = -s**2 + 12*s + 15. Let i be g(12). Solve -i = -6*p + p for p.
3
Let q be (-2 + 2 - 2) + 2. Let d(v) = v**2 + 4. Let a be d(q). Let g be a/(-3)*12/(-8). Solve 3*r = 5*r + g for r.
-1
Suppose -79*c + 83*c - 8 = 0. Solve -3*j + c*j + 4 = 0 for j.
4
Let j be (3 + -4)*(1 - 8). Let m(u) = -u + 3. Let c be m(j). Let o(b) = -b - 3. Let d be o(c). Solve 0 = -3*s - 16 + d for s.
-5
Let t be 14/(-4)*18/(-21). Solve m = 4*m + t for m.
-1
Suppose -3*w - 34 = -5*s - 0*w, 0 = 2*w + 6. Suppose 3*k + 7 = 4*z, -k + 6 = -z + 7. Solve 0 = -z*a - s + 1 for a.
-1
Suppose 4*v - z - z - 100 = 0, 4*z + 11 = v. Suppose -v = -6*r + 3*r. Solve -6 - r = -3*j for j.
5
Let d be (-2)/(-3)*(-72)/(-16). Let m be 1/2*(-1 - -9). Suppose -5*h = -m*h. Solve h*q = d*q for q.
0
Let b be -3*3/6*(-4)/3. Suppose 0 = -2*y - o + 32, -4*y = o - 57 - 7. Suppose -h - 5*l - 5 = 3, 3*h = 5*l + y. Solve b*z = 6 - h for z.
2
Let y(d) = -2*d**2 - 3*d + 3. Let f be y(-5). Let k = f - -45. Suppose -101 = -5*l - 3*m, 3*m + k = -0*l + l. Solve -5*g + l + 1 = 0 for g.
4
Let k(o) = o + 11. Suppose z = 2*z + 8. Let m be k(z). Solve -10 = -m*s + 5*s for s.
-5
Let k be 136/(-36) + (-4)/18. Let h = k - -4. Suppose -3*a + 3*u = -9, -2*a - 3*a + 21 = u. Solve h = -5*y + a*y - 2 for y.
-2
Let n be 5/1 + -5 + 3. Suppose -n + 18 = 5*u. Solve 0 = d + 4 - u for d.
-1
Suppose 4 - 10 = -3*y. Solve -4 = -y*k - 12 for k.
-4
Let s(w) = 6 + 0*w**2 + 8*w**2 - 2 - w**3. Suppose -5 = 6*d - 53. Let m be s(d). Solve 2 + 18 = -m*u for u.
-5
Suppose 6*t + 5 = 29. Solve -s - t*s - 25 = 0 for s.
-5
Suppose -6*z + 3 = -15. Solve r + z = -2*r for r.
-1
Let c be 4*(3 + (-5)/2). Let i(j) = j**3 + 2*j**2 - 2*j + 1. Let u be i(1). Solve c = -u*g + 10 for g.
4
Let r(l) = 7*l. Let x(g) = g. Let q(i) = -r(i) + 6*x(i). Let c be q(-3). Suppose 0*w - c*w = 0. Solve w = 3*v - 4*v + 3 for v.
3
Suppose 0*n = -2*n + 2. Let j be -28*(0 + n + -2). Suppose -5*m = 4*q - j, 0*q - 2 = 3*q - 2*m. Solve 0 = h - 1 - q for h.
3
Let g = -112 - -117. Solve -17 - 3 = g*l for l.
-4
Let f = -9 - -10. Solve 2*k - 9 = f for k.
5
Let r be ((-12)/(-16))/(2/8). Let y(c) = -c**2 + 11*c - 16. Let v be y(9). Solve -v*u - 15 = r*u for u.
-3
Let c(u) = -u**2 - 9*u - 8. Let f be c(-8). Suppose 2*p - p = 12. Solve f*b - 3*b = -p for b.
4
Let c(o) = o**3 + o**2 - 2*o - 2. Let f be c(-1). Solve 5*r + 11 - 1 = f for r.
-2
Suppose -15 = -4*u - u. Suppose c = 4*g - 7, -3*c = u*g - 36 + 12. Solve g*y = -y - 20 for y.
-5
Let f(p) = -p**3 - 5*p**2 + 22*p - 15. Let v be f(-8). Solve -v = -3*d - 4 for d.
-1
Suppose -2*h - g = -3*g, 2 = 2*h - g. Solve 0*x - 10 = h*x for x.
-5
Let n(g) be the first derivative of g**3/3 - 9*g**2/2 - 5*g - 5. Let o be n(10). Solve 0*c - c = -o for c.
5
Suppose -3*o - 5 + 2 = 0. Let t = o + 7. Solve -t + 26 = 4*w for w.
5
Let s = 19 - 11. Suppose 0 = 2*o + a - 4 - 2, -2*a - s = 0. Solve -t - 4*t = -o for t.
1
Let i be (-60)/42*(-6 + -1). Solve -3*c + i = -5*c for c.
-5
Suppose 0 = 3*s - 9 - 18. Suppose 4*w = s*w - 15. Suppose -3*r = 2*r + 4*y - 29, 15 = 4*r - 5*y. Solve 4 + r = -w*t for t.
-3
Suppose 3*d + 6 = 0, 5*l - 2*d - 19 + 0 = 0. Solve -5*n = l + 22 for n.
-5
Let h = 5 - 5. Let n = h + 2. Solve n*w + 3 + 5 = 0 for w.
-4
Suppose -35*m = -31*m - 40. Let j = -2 + m. Let u be (1 + -1)*(0 - 1). Solve -2*i - 4 + j = u for i.
2
Let y be (-2)/3 - (-16)/24. Suppose 4*r = -y*r + 24. Let b be 9/(-6)*(-16)/r. Solve -15 - 1 = -b*z for z.
4
Let k be (1/(-1) - -2)*0. Solve 1 + k = -p for p.
-1
Let b be (-1 + 2)/((-1)/(-3)). Let j be 266/98 - 4/(-14). Suppose -w + 48 = j*w. Solve b*n + w = 6*n for n.
4
Let r = -18 - -20. Solve 0 = r*h + 8 for h.
-4
Let x = -2 - -6. Solve -l = -x + 2 for l.
2
Let v = 3 - 1. Let s(q) = 2*q - 2. Let j be s(v). Suppose -j*n - n = -12. Solve i = -n*i for i.
0
Let d(b) = b**3 - 6*b**2 + 7*b - 6. Let f be d(5). Solve -3*w = -2*w - f for w.
4
Let f = -27 - -42. Suppose g = -4*g + f. Solve -n = g*n - 16 for n.
4
Suppose s - 18 + 4 = 5*j, -4*s - 19 = 5*j. Let i be (s - -1)*(-5)/10. Suppose 5*q + 0*q = i. Solve 4*f = -q*f + 4 for f.
1
Let n(k) = k**2 + k + 2. Let t be n(-2). Suppose 17 = z + 14. Solve z*g = t*g for g.
0
Let m be 4 - (1 - (-1 + 2)). Suppose 0 = 6*w - w + 5*s + 25, m*s = w. Let r = w + 6. Solve 4*f - r*f = -10 for f.
-5
Suppose 2*w - 9 = -4*l + 7, 2*l = 2*w - 4. Suppose -2*g + 3*g = 4*n + 14, 5*g + l*n = 4. Solve -2*z + g = 6 for z.
-2
Suppose a = -w - 0*a + 6, 4*a = -2*w + 4. Let g(f) = 2*f**2 + f + 1. Let y be g(-2). Let o = w - y. Solve 0 = o*