. Let m be (15/h)/5*-3. Solve 4*i + n = -m for i.
-1
Let r be 1*(-3 + -8 + -1). Let l be 4/r + (-7)/(-3). Solve -3 = l*u + 5 for u.
-4
Let d be (-6)/(36/(-39)) + (-6)/4. Solve d = -2*w - 3 for w.
-4
Let w(y) = -y**2 - 3*y + 1. Let f be w(-3). Suppose -g + 4 = f. Solve 4*t + g = -5 for t.
-2
Let l be (-87)/(-18) - (-3)/18. Suppose 23 = -l*k + 133. Solve 5*d + k + 3 = 0 for d.
-5
Let h be 9/(9/2) + 1. Solve -2 = m - h for m.
1
Let n be (-1242)/(-39) + 4/26. Solve -4*f + 12 = n for f.
-5
Let k be 7 + ((-6)/2)/1. Suppose 0 = k*t - 0*t. Solve -p - 4*p + 20 = t for p.
4
Suppose 3*x = -4*q - 0 + 1, -x - 3*q = 3. Suppose -x*o = o. Suppose o = -5*l + 5 + 10. Solve -2*f + 5 = l*f for f.
1
Let r = -9 - -13. Solve -r*j + 15 = j for j.
3
Suppose -6 - 12 = -a. Solve -a = 4*o + 2 for o.
-5
Let b(y) = -y**3 + 5*y**2 - 8*y - 4. Let z(u) = u**3 - 5*u**2 + 7*u + 3. Let g(s) = 3*b(s) + 4*z(s). Let o be g(3). Let w = -3 - o. Solve -w*j - 7 = -1 for j.
-2
Let w be ((-5)/(-10))/((-2)/44). Let k be (-4)/(-8) + w/(-2). Suppose 3*b - k = -0. Solve -3*c + b = -1 for c.
1
Suppose -2*w = -5*w + 3*g + 9, -w = -5*g + 5. Solve -3*m - w = 10 for m.
-5
Suppose 6*u + 2*h = 2*u + 2, 0 = -4*u + 4*h - 4. Solve 0 = -u*v + v - 1 for v.
1
Let b be (-8)/(-10) + 42/10. Solve -5*a + 5 + b = 0 for a.
2
Suppose 14 = 7*j - 7. Solve -c + j = 2 for c.
1
Let j(n) = -2*n**3 + 1. Let v(p) = -8*p**3 + p**2 + 4. Let k(f) = -9*j(f) + 2*v(f). Let y be k(1). Suppose 8 = -2*u + y*u. Solve i + u = -i for i.
-4
Let n(r) = -r**3 - 5*r**2 - 2*r - 6. Let z be n(-5). Let l be z/(-40)*6*-5. Solve -2*c + 20 = l*c for c.
4
Let s be 2/(-8) + 9/4. Suppose -s*y + 4 = -4*y - 2*z, 0 = 2*y - 4*z - 20. Suppose y*u = -2*u. Solve h + u*h = 2 for h.
2
Suppose 0 = l + 3*l, 0 = -5*y - l + 20. Suppose -1 = 3*g - y*g. Let x = -5 + 5. Solve d + x*d = g for d.
1
Let x(f) = 2*f**3 + 2*f**2 + 3*f + 3. Let c be x(3). Suppose -5*h + c = v + 5, 5*h + 4*v = 76. Solve 4*t = -h - 0 for t.
-4
Suppose 4*l - 40 = -4*m, 2*m - 28 = -4*l + 4*m. Solve 2*w = 4*w - l for w.
4
Let y be (-1)/((-15)/6 + 2). Suppose 5*k - y*j - 18 = 3*k, 2*j = -3*k + 27. Let d be ((-6)/k)/(1/(-3)). Solve 3*i = -d*i + 20 for i.
4
Suppose -3*w = -12, -2*x - x + 4*w - 10 = 0. Suppose 2*h - 16 - 14 = 0. Solve -h = i + x*i for i.
-5
Let s = -48 + 73. Let m = s - 8. Solve 8 = -5*y - m for y.
-5
Suppose -g + c = -11, 8*c + 35 = 3*g + 4*c. Solve 5*b = g + 6 for b.
3
Let m(k) = 2*k**2 - 8*k + 1. Let d be (1 + (-3)/6)*32. Let l be d/3 - 6/(-9). Let v be m(l). Solve 6*x - v = x for x.
5
Suppose -i = -6*i. Let l(c) = 4*c**2 + c + 3*c + c**3 - 3*c - 2*c**3. Let a be l(4). Solve a*s = -i*s + 4 for s.
1
Let f(r) = -r**3 - 13*r**2 + 3. Let u be f(-13). Let s = 2 + 0. Solve t = -s*t + u for t.
1
Let t be (-8)/(-5)*6/24*10. Solve t*w = w for w.
0
Suppose 3 = -0*w - 3*w, -5*x = -w + 64. Let v = x - -13. Solve 3 + v = u for u.
3
Suppose 3*p - 27 = 18. Solve -5 = 5*i + p for i.
-4
Let g be -1*1*(-28)/7. Suppose -4*p + g = -4. Solve -4 - 6 = p*k for k.
-5
Let n be 6/((15/2)/5). Let t = n - 2. Solve -t*d = -2 - 2 for d.
2
Let b(x) = -2*x + 16. Let n be b(6). Solve -o = n*o for o.
0
Suppose -5*i + 1 = -29. Suppose 0 = h - i + 1. Solve -2*a = -a + h for a.
-5
Suppose d + 1 = 0, -3*d = o - 4*o + 63. Solve 8*z + o = 3*z for z.
-4
Let x = 13 - 10. Suppose 57 = n + 5*u, u + 18 = 2*n - 41. Suppose -o - x*o + n = 0. Solve o = 2*r - 2 for r.
5
Let k(u) = u**3 - 3*u**2 - 3. Let t be k(3). Let d be 1/(10/4 + t). Let x be (4/d + 2)/(-2). Solve 1 = -w - x for w.
-1
Let a be (-30)/(-8) + 2/8. Suppose -a = 2*j - 2. Let f = 4 + j. Solve f*c = -0 + 3 for c.
1
Suppose 5*h = 17*h - 24. Solve -6*m + h*m + 4 = 0 for m.
1
Suppose 0 = -0*a - 2*a - 3*u + 4, 0 = a - 2*u - 16. Let y = 97 - 95. Solve a = 6*v - y*v for v.
2
Suppose -1 - 5 = -2*p. Suppose 20 = f + p*f. Solve 10 = -0*j - f*j for j.
-2
Suppose 4*t = -u + 30, 0*t - 3*t + 17 = -2*u. Suppose c - t*j = -3*j + 17, 2*c = -j - 11. Let s be 3/(c + 54/15). Solve s*h + 2 = 7 for h.
1
Let f(w) = -6*w - 14. Let b(m) = 2*m + 5. Let s(u) = -11*b(u) - 4*f(u). Let p be s(6). Solve -38 = -5*o - p for o.
5
Suppose 7*r + 62 = 90. Solve -z - 9 = -r*z for z.
3
Let z be 2 + ((-87)/(-27) - (-4)/(-18)). Solve 3*g + z = 4*g for g.
5
Suppose 10 = 3*g - 5. Solve 3 = g*i - 2 for i.
1
Suppose -36 = -2*s - 6. Solve -3*z - s = 2*z for z.
-3
Suppose 4*s = 8*s - 4. Solve 0 = -d - s for d.
-1
Let x = 10 - 10. Let r(l) = -l**2 - l. Let w be r(x). Suppose -g - 3*g = 0. Solve g*t - 2*t + 8 = w for t.
4
Suppose 5*r = 4*t + 9 - 4, 4*r + 3*t - 4 = 0. Solve -3 = 2*d + r for d.
-2
Suppose 0 = 5*a - 0*a - 35. Let m(q) = 3*q + a - 4*q - 17. Let t be m(-10). Solve o + t = -3 for o.
-3
Let j(u) = u**2 + 7*u + 14. Let z be j(-5). Let g(l) = 2*l**2 - 2*l - 3. Let d be g(-2). Suppose -d = z*p - b - 34, 5 = -p + 4*b. Solve 4*f + 1 = -p for f.
-2
Let a = -20 - -28. Solve -3*p = -5*p + a for p.
4
Let b(n) = n**2 - 2*n - 5. Let f be b(4). Let l(z) = z**3 + 6*z**2 + 8*z + 8. Let a be l(-6). Let i = 60 + a. Solve -r - i = f*r for r.
-5
Let l = -7 - -18. Let r be 0*(-1 + 3 + -1). Suppose r = 4*s - 0*s + 2*h - 20, -4*s = 4*h - 20. Solve l + 4 = s*b for b.
3
Let z(u) = -5*u**2 + 3*u**3 + 3*u**3 - 1 - 5*u**3 + u. Let n be z(5). Solve h + 6 = n for h.
-2
Suppose 0 = 2*y - 4*u - 8, 5*y + 2 = -2*u - 2. Let b be (y - -1) + 3 + 0. Solve b*o = 7*o + 6 for o.
-2
Let o = 0 - 0. Suppose -m = -o*m. Solve -2*a + m = 2 for a.
-1
Suppose -w + 3 + 1 = 0. Suppose w*o - 3*o = 1. Suppose -h + 0*h = 0. Solve -t - o - 1 = h for t.
-2
Let p be -20 - (-5 - (-2 + 0)). Let q = 22 + p. Solve 5*y - 10 = -q for y.
1
Suppose -2*d - 4 + 12 = 0. Let o be 1 + d/2*1. Solve o*n - 21 = -9 for n.
4
Suppose -4*t - 3 + 39 = 0. Suppose -25 = -t*u + 4*u + 3*j, 0 = -4*u + 4*j + 20. Solve u*r - 6 + 16 = 0 for r.
-2
Let d be (-1 + 6)*12/20. Let a be (7/(-2) + d)*-2. Solve -5 = -n - a for n.
4
Suppose -2*v - 3*g = 29, 53 = 2*v - 6*v - 5*g. Let u be 2/v - (-8)/28. Let d = 5 - u. Solve -5*m + 4*m = -d for m.
5
Let t = -3 - -5. Let w(g) = -g**3 + 5*g**2 - 3*g + 1. Let q be w(4). Suppose 0*u + q = 2*u - j, 0 = -4*u + 4*j + 12. Solve -t*x + 20 = u*x for x.
5
Let i be (-1)/(-2) + (-13)/2. Let z be i/3*(1 + -2). Let q be -2 + 3/(12/28). Solve -q*a = -z*a for a.
0
Let r(z) = -z**3 - 9*z**2 + 10*z + 6. Let y be r(-10). Solve y = -b - b for b.
-3
Suppose -5*n = -6*n. Solve 2 = -2*y - n*y for y.
-1
Let q = 60 + -55. Solve -2*a + 15 = -q*a for a.
-5
Suppose 16 = -2*u - 4*a, -5*u - 10 = -0*u + 4*a. Suppose -3*r + 4 + u = 0. Solve -r*c - 15 = 3*c for c.
-3
Let b be 81/(-12) - (-2)/(-8). Let r be 4/(-8) - b/2. Solve 3 = 2*l - r*l for l.
-3
Suppose -z + 0*z = -2. Suppose -1 + 7 = -5*t + 3*h, z*t - 6 = 4*h. Let m = 0 - t. Solve m*d - 2*d = 1 for d.
1
Suppose -2*r - 3 = -3*r. Solve -q = -r*q - 4 for q.
-2
Let h be (0 + 0)/(-4 - -3). Suppose 4*q - 20 = -h. Solve 2*u = q*u + 12 for u.
-4
Suppose 0 = 2*l - 16. Solve -l*q + 1 = -9*q for q.
-1
Let d(c) = 2*c. Let o be d(1). Let k be 10/(-25) - (-44)/10. Suppose g - o = k. Solve 0*b = 3*b - g for b.
2
Let r be (-2)/(-6) + (-6)/18. Let g = 3 - 0. Solve g*a + 0 + 3 = r for a.
-1
Let o be -3 + 11 - (1 + -1). Suppose 0 = 2*r - 4*j - 0*j + 8, -2*r - 4*j + o = 0. Let h(g) = g**2 - 2*g + 1. Let b be h(1). Solve b = -d - r*d - 5 for d.
-5
Let l(d) = d**3 - 2*d**2 - d + 4. Let z be l(3). Suppose -5*y + z*y - 15 = 0. Solve -6 = -x - y for x.
3
Let i(g) = 3*g + 9. Suppose 0 = -2*b - 3 + 1. Let w(t) = t. Let a(q) = b*i(q) + w(q). Let k be a(-7). Solve k*z + 8 = -2 for z.
-2
Let m = -1 - -3. Suppose -l = -m*w, 0 = -4*w + l + 5 - 3. Suppose 4*a - 21 = -w. Solve -a*n + 16 = -n for n.
4
Let q be 0/(-2) - (-3 + 3). Let u = q - 0. Solve -2*y + 3*y + 1 = u for y.
-1
Suppose -2 = 4*d + 2*l, -l + 3 = 5*d + 1. Let k be (6/8)/((-1)/(-4)). Solve d = k*n + 4 for n.
-1
Let h(k) be the third derivative of k**5/20 - k**3/6 - 2*k**2. Let x be h(1). Suppose 5*o - i - 5 = 0, 3*o - x = -3*i + 1. Solve j + o = 3 for j.
2
Let k = 2 - 1. Let z = 1 - k. Solve -4*o = -z*o for o.
0
Suppose 5 = -h + 3*r, -h + 2*h - 2*r + 4 = 0. Let b be 0 - -10 - (-4)/h. Suppose -3*j - 93 = -102. Solve v = -j*v + b for v.
2
Let s be 2*1/(-2)*-1. Suppose 0 = -4*l - 0*l + 12. Suppose 5*q = -15, l*z - 6*z = -q - 9. Solve 3*y = -s - z for y.
-1
Let h be -1 + 2 + -2 - -4. Sol