-r. Let j be y(-2). Solve j*n = i*n for n.
0
Suppose -3*d = -d - 10. Solve -d*l - 15 = -0*l for l.
-3
Let n be (1/3)/((-4)/(-24)). Let y be (-6)/(n + (-4 - -1)). Let g = y + -4. Solve g*b + 0*b = 0 for b.
0
Let s be (0 + 6/12)*10. Let v be (4/(-2) - -5)*1. Solve 4*g - v*g = -s for g.
-5
Let b = 3 - 4. Suppose z - 2 = 3*z. Let m be b*(z + -4 - 0). Solve -f - 4*f = -m for f.
1
Let g = 6 + -1. Let v(f) = f + 6. Let b be v(9). Solve g*z = -5 - b for z.
-4
Let f(h) = -2*h + 53. Let c be f(26). Solve 0*m - c = m for m.
-1
Let x(k) = k**2 - 6*k + 1. Let v be x(5). Let j = v + 4. Solve -6 = -2*g - j*g for g.
3
Let b(s) = -3*s**3 - s + 1. Let t be b(1). Let z be (3/9 - t)*3. Solve z = 2*p - 4*p for p.
-5
Suppose -5*r + 28 = -r. Let f = -6 + r. Solve -2*k - 3 = f for k.
-2
Suppose 0 = -5*l - 13 + 38. Let s be 4/(-8)*(-2 + -4). Suppose -l = s*k - 17. Solve 0*t - k = 2*t for t.
-2
Let x(k) = -2*k. Let c be (4/(-3))/((-2)/(-3)). Let y be x(c). Solve -y*t + 13 - 33 = 0 for t.
-5
Suppose 0 = -3*i + 6*i - 18. Solve l + 3 = i for l.
3
Suppose 0 = 3*h + 3*x + 24, -5*h - 4 = -0*h - 4*x. Let i(o) = o**2 + o - 4. Let s be i(h). Solve -4*w = -s*w + 16 for w.
4
Let i be -1*(-3)/(-2)*-4. Suppose -3*u + 3 = -i. Solve 1 = -t + u for t.
2
Let d = 231 - 55. Let a = d + -121. Suppose -5*m = y - a, 2*m - 4*y - 20 = -2*m. Solve -2 - m = -3*t for t.
4
Let k(p) = -p**3 - 10*p**2 + 9*p - 16. Let j be k(-11). Solve 1 = -a + j for a.
5
Let y = -11 + 14. Solve -h + y + 2 = 0 for h.
5
Let z = -49 - -49. Solve z*v = 4*v - 8 for v.
2
Let n = 62 - 49. Solve 15 = 2*t + n for t.
1
Let c be ((-11)/(-22))/((-2)/24). Let h(p) = -p - 3. Let g be h(c). Solve -g*n - 5 = -4*n for n.
5
Let w be 2/(-8) + (-1)/(-4). Let k be 8/(-4)*(w - 1). Solve -k*d + 5*d = 0 for d.
0
Let y = -5 + 1. Let s(h) be the third derivative of h**6/120 + h**5/15 - h**4/24 + h**3/6 + h**2. Let w be s(y). Solve w*d + 4 = d for d.
-1
Let q be 277/5 - (-12)/(-30). Suppose -5*j + q = -20. Let t be 85/j + (-2)/3. Solve m = t*m + 20 for m.
-5
Suppose 3*a - 4 = 5. Solve 1 + a = 2*f for f.
2
Suppose -5*g + 4 = 2*r - 0*r, 2*r = 2*g + 4. Let o(i) = -i**2 + 4*i + 3. Let w be o(6). Let u be 1/2 + w/(-2). Solve g*d - u = -d for d.
5
Let o = -2 + 13. Let b = -7 + o. Solve -2*n + b = 2*n for n.
1
Suppose 0 = 2*v - 8*v + 24. Solve -v = m - 0 for m.
-4
Suppose 2*h + 1 = 23. Let i = 11 - h. Solve 3*w - w - 2 = i for w.
1
Let k be 1*-3*(-5 + 2). Solve -3*t + 3 = k for t.
-2
Suppose 5*d - 20 = 10. Let c(n) = n + 9. Let m be c(-8). Let f = 1 + m. Solve k = -f*k + d for k.
2
Let p be 9/6 - 3/(-2). Solve p*u = -0*u for u.
0
Suppose -2*j + 3*j - 4*y - 20 = 0, -36 = -4*j + 5*y. Suppose h + 0 = -j. Let r be (-2)/(-1)*h/(-8). Solve 2 = n + r for n.
1
Suppose -12 - 20 = -4*d. Let g be (-146)/d - 3/(-12). Let q be ((-24)/g)/((-2)/(-3)). Solve c + q = -1 for c.
-3
Suppose 2*j + 4*p - 2 = -0*p, 14 = 2*j + p. Let h = -9 + j. Solve -3*r - 15 + h = 0 for r.
-5
Let i = -99 + 104. Solve 0*d - 25 = i*d for d.
-5
Let n(k) = 6*k + 21. Let l be n(-3). Solve -l*g - 2*g - 25 = 0 for g.
-5
Let g be 8*1*(-6)/(-4). Suppose 2*d = -4*o + 5*o + 13, d = 5*o + 29. Suppose -4*i = -v - 14, i + d*v + 0*v = g. Solve -6 = -i*h - 2 for h.
1
Let x be ((-16)/(-6))/((-16)/(-24)). Suppose l = 3*c, -x*l = -c - 2*c. Solve c = -5*g + 3*g + 2 for g.
1
Suppose 5 = j + j - b, -5 = -3*j + b. Solve -o + 3 - 4 = j for o.
-1
Let z be 22 - (-1)/(1/(-2)). Suppose -3*i + 5*i = 5*w - 12, 0 = w + 4*i - z. Suppose w*d = 4*t - 32, -2*d = -5*t + 24 + 4. Solve s - 1 = -t for s.
-3
Suppose 28*q - 27*q - 6 = 0. Solve q = 3*m - 5*m for m.
-3
Let p = 8 - 5. Suppose -p*u - 3 = 27. Let f be u/6*(-4 - -1). Solve 2*j - 1 - f = 0 for j.
3
Suppose 6*h + 3 = 33. Solve -13 = h*b - 38 for b.
5
Let p be (-20)/3*72/(-40). Let c(j) = -3*j**3. Let n be c(-1). Solve n*k = 6*k - p for k.
4
Let c be (-4 - -7)*1 - 1. Suppose 6*n - 2*n + u = 11, -2*n - 2*u = c. Solve 0*d = n*d - 8 for d.
2
Let i = 12 + -17. Let f = 8 - i. Suppose 0 = 3*s - 5*s - x + 7, 5*s - f = -x. Solve 0*k = k + s for k.
-2
Suppose 0 = -o + 3*k + 7, o - 2 = -0*o - 2*k. Solve -o*n - 7 = 5 for n.
-3
Let b(w) = -5*w**2 - w + 1. Let o be b(1). Let q = 11 + -1. Let u = q + o. Solve 3 = u*x + 8 for x.
-1
Suppose 24 = -0*s + 3*s. Let m(a) = a**3 - 7*a**2 + 9*a - 15. Let j be m(6). Solve j*h = -7 - s for h.
-5
Let k(q) = -q**2 - 3*q + 2. Let v(z) = -2*z**2 - 5*z + 3. Let f(l) = -5*k(l) + 2*v(l). Let x be f(-6). Solve x*w - 1 + 7 = 0 for w.
-3
Let s be (-9)/18*(0 - 2). Solve 2 = 3*q - s for q.
1
Let l be (-1)/(-1)*(40 - 4). Suppose -5*t = -2*t - l. Solve -t = 5*r + 3 for r.
-3
Let d be (7/14)/(2/(-32)). Let l be (1/2)/(12/(-576)). Let f be 6/l - 42/d. Solve -3 = -f*a + 17 for a.
4
Suppose 0 = d - 1, 2*d - 10 - 22 = -3*i. Let m be (-4)/18 - i/(-45). Suppose m = 3*z + z - 12. Solve 3*y + z = 4*y for y.
3
Suppose p - 3*o + 2*o - 9 = 0, 5*p = 4*o + 40. Suppose 160 = i + p*i. Let c be i/6 - (-2)/3. Solve 6 + c = 3*a for a.
4
Let d be 322/84 + 2/12. Solve c + 0*c = -d for c.
-4
Let o(q) = -q**3 + 4*q**2 - q + 3. Suppose 26 = 2*a + 5*x, 0*x - x = -3*a + 5. Let f be o(a). Suppose 2*h - 32 + 26 = 0. Solve -h = 3*y + f for y.
-4
Let v = -1 - -1. Solve v = 5*m + 1 - 16 for m.
3
Suppose 4 - 16 = 2*o. Let s be (-18)/(-24) + o/8. Let q = 2 + 0. Solve s = -q*j - 2*j for j.
0
Suppose 0 = -4*v + 9 + 11, 2*g - 2*v = -10. Solve 5*u + g*u - 25 = 0 for u.
5
Let v(a) = a - 1. Let m be v(1). Let n(s) = -14*s + 19. Let k be n(1). Solve m = k*b - 14 + 4 for b.
2
Let q = -17 + 10. Let t = q + 10. Suppose -3*a + 0*a = t*j - 6, 41 = 3*a - 4*j. Solve s + a = 3 for s.
-4
Let j = 157 - 134. Solve -3 + j = 5*v for v.
4
Suppose 10 = -2*q - 3*v - 23, -2*q = 5*v + 39. Let j = q - -14. Solve 2*z - j = 6 for z.
4
Let u = 11 - 6. Solve -3 + 8 = -u*f for f.
-1
Let s(c) = -2*c - 3 + 1 + 0*c + c. Let u be s(-2). Solve u*q - q + 5 = 0 for q.
5
Let n(x) = x - 2. Let c be n(6). Suppose -3*m + 10 = -c*w + 42, 4*w - 2*m = 28. Solve w*y + 20 = -0*y for y.
-4
Let b = -13 - -22. Solve 6*r - b = 3*r for r.
3
Let i = -1 + 15. Let g be 6/(-21) + 4/i. Solve g = -w - w for w.
0
Let o(z) = -5*z - 4 + 3*z + 0 + 4*z. Let i(u) = -3*u + 6. Let h(x) = 5*i(x) + 7*o(x). Let t be h(0). Solve p - 5 = t*p for p.
-5
Suppose z - 2*p + 4*p = 0, -5*p = z + 9. Solve 0 = -11*k + z*k - 15 for k.
-3
Let i = 4 - 4. Let w = -2 + 1. Let g be 2*(w + 15/6). Solve i*a = a - g for a.
3
Let q be (6/(-9) + 2/3)/(-2). Solve q = 2*h - 4*h - 4 for h.
-2
Let x(y) = -y**2 + 4*y - 5. Let n be x(4). Let p(m) = -m**3 - 4*m**2 - 2*m - 4. Let w be p(-2). Let s = n - w. Solve 2*d + s*d = 15 for d.
3
Let o(g) = -g - 2. Let f = 9 + -16. Let c be o(f). Solve -20 = -c*x - 5 for x.
3
Let s(o) = o + 20. Let i be s(0). Suppose -2 = b - 2*c + c, -5*c = -25. Solve b*r - i = -r for r.
5
Let w(n) = 3*n - 1. Let d be w(2). Let g be (1/4)/(-2*(-7)/168). Solve -g*b + 4*b = -d for b.
-5
Let y(o) = o + 3. Let g be y(1). Let f(q) = 3*q - 8. Let m be f(g). Solve -m + 0 = -2*h for h.
2
Suppose 4*u = -r - 17, 4*r + 3 - 25 = 2*u. Suppose -3*d = -r*w - 72, 4*d - 66 = -6*w + 4*w. Solve -3*x + d = 4 for x.
5
Suppose 0*i - 7*i + 147 = 0. Solve i - 1 = 5*y for y.
4
Suppose -5*v + 11 = -9. Let z = 3 - 0. Solve -v = b - z for b.
-1
Let w(x) = x**2 - 6. Let t be w(-3). Solve -4*z = -t - 9 for z.
3
Suppose 2*g = 3*v - v - 16, g + 4 = 0. Solve -3 = v*j - 7 for j.
1
Let t(q) = -2*q - 1. Let l be t(-5). Suppose 2*f + 3 = l. Suppose -5*h + 3*w + 24 = 0, -2*h - 4*w - 27 = -7*h. Solve h*r + f = 6 for r.
1
Let o be (45/30)/((-1)/16*-6). Solve 0 = -o*h + 6*h for h.
0
Let k be 9/(-15) - (-56)/10. Solve 10*v - 5 = k*v for v.
1
Let k = -16 + 21. Solve -h = -k*h + 4 for h.
1
Let d be (0 + -1)/((-2)/6). Suppose -6*l = -d*l. Solve 5*c - 28 + 8 = l for c.
4
Suppose 2*n - 10*k = -7*k + 15, -4*n + 4*k + 20 = 0. Solve n = -3*s + 8 + 1 for s.
3
Let h(y) = 2*y**2 - 3*y + 3*y + 7*y - 6*y. Suppose 4*j - 9*j - 10 = 0. Let n be h(j). Solve -n = 6*l - 3*l for l.
-2
Suppose 0 = 4*r - 0*r - 8. Suppose -4*h - i = -11, -6*h - 4*i = -h - 22. Solve q - h = r*q for q.
-2
Let o(c) be the second derivative of c**4/12 + 2*c**3/3 - c**2/2 - 3*c. Let n be o(-2). Let b = n - -10. Solve -2 = b*x + 18 for x.
-4
Suppose -4 = -3*i + 5*p + 13, 0 = 5*i - 4*p - 24. Solve -2*k - i = -3*k for k.
4
Let z = 33 - 24. Solv