3*j = 0, -6 = -5*m + 4*j. Solve -3*i = -m*i + 1 for i.
-1
Let j(x) = -x**2 + 7*x + 4. Let z be j(7). Suppose 0 = 5*i - 4*r, i = 4*i + z*r. Suppose i*d + 1 = -4*k - 3*d, -4*k - 5*d = 7. Solve k*v - 5*v = 12 for v.
-4
Let v = -28 + 33. Solve -v*r - 8 = -r for r.
-2
Let g = 17 + -14. Suppose 0 = g*f - 6*f. Solve -3*c - 6 = -f for c.
-2
Let a be 3/2*8/6. Let y = a + -2. Suppose -2*b + 6*b = y. Solve -4 = -4*c - b for c.
1
Suppose -13*u + 43 + 9 = 0. Solve 0 = 2*z + u - 0 for z.
-2
Suppose 2*b - 4*k = 6*b + 12, -5*k = 15. Suppose -4*w + 7*w - 18 = b. Let s be 1*(w - 0) - 0. Solve 1 - s = -x for x.
5
Suppose -g + 2*g = -16. Let m = 19 + g. Solve 0 = -m*p + p + 10 for p.
5
Let z(l) = l**2 - 7*l + 5. Let s be z(7). Suppose -s*i = -38 + 13. Solve 0 = -i*h + 25 - 0 for h.
5
Let k be -3 - 4*8/(-4). Solve k*c = -0*c + 25 for c.
5
Let x(s) = s**2 + 3*s + 10. Let v be x(-3). Solve v*z = 5*z - 15 for z.
-3
Suppose -12 = -2*k - 2*k. Suppose k*t = -2*u + 51, -u + 0*u - 4*t + 38 = 0. Suppose 0 = -l + 4*q - 5, -2*l + u = 5*q + 2. Solve 0 = l*y + 2 - 14 for y.
4
Let d be -7*-1*(-8)/(-28). Solve -2*n - 6 = d for n.
-4
Suppose 12 = 3*p - 0. Suppose p*y - 25 = -y. Solve y*a = 2*a - 15 for a.
-5
Suppose 0 = 3*j + 3 - 9, -2*j + 4 = 4*g. Let a be 1*2*(1 - g). Let z = 4 - a. Solve 0 = -z*u - 3*u for u.
0
Let x(m) = m - 1. Let q(f) = -2*f**2 + 3*f. Let a(y) = q(y) - x(y). Let z be a(-1). Let b(h) = h**3 + 4*h**2 + 4*h + 3. Let u be b(z). Solve l = -u*l for l.
0
Suppose 0 = 3*d - 8 + 2. Let c be 12/(-2)*(-1)/d. Solve 12 = 3*m - c for m.
5
Suppose -4*t = q + 2*q - 13, -4*q = -4*t - 8. Solve 5*h - 2*h + q = 0 for h.
-1
Let a(o) be the third derivative of -o**6/120 - o**5/10 + o**4/4 - o**3/6 + o**2. Let u be a(-7). Let y = u - 2. Solve s + y = -s for s.
-2
Let f = 7 + -6. Solve 4*j = f - 21 for j.
-5
Suppose -3*k + 4*z = 12 + 6, 4*k = z - 11. Let r = k + 2. Solve -i + 4 - 1 = r for i.
3
Let i be (-1)/(2/6) + 6. Suppose 0 = 2*d - i*d + 15. Let x be (-70)/d*6/(-4). Solve x + 5 = 4*g for g.
3
Suppose 7 = f - k, -4*f - 21*k = -18*k - 49. Solve 4*q + q = f for q.
2
Suppose 2*f + 25 = 3*h, h + h + 4*f - 6 = 0. Solve w - h = -2 for w.
5
Let u be 6/1 - (10 - 9). Suppose -4 + 24 = 5*w. Suppose 4*c = h + w, 4*h + u = 6*c - c. Solve 0 = -2*i + i + c for i.
1
Suppose -5*w - 2*j + 3*j = 34, 4*w + 8 = -4*j. Let k be 4/12 - (-2)/w. Suppose k = -0*d - 5*d. Solve 2*u + 5 + 1 = d for u.
-3
Let z(j) be the third derivative of -j**5/60 + j**4/3 - 2*j**3/3 + 2*j**2. Let k be z(7). Let h be k/(-6)*-10 - 2. Solve -2*o + h*o = 0 for o.
0
Let i be (3/2)/((-3)/20). Let n be (-3 + 5)*i/(-4). Suppose 4*m + 12 = 4, 5*u - n*m - 35 = 0. Solve u*c = 5 - 15 for c.
-2
Let c(q) = -q**3 + 5*q**2 - 4*q + 2. Let v be c(4). Let r = 2 + 1. Suppose -4*p = t - 12, t - 22 = -3*t - 3*p. Solve r*y = t + v for y.
2
Let v(t) = t**3 + 4*t**2 + 2*t. Let i be v(-3). Solve j = i*j + 4 for j.
-2
Let b = 70 + -66. Let r(x) = x + 1. Let g be r(3). Let n = 8 - g. Solve 8 + n = -b*c for c.
-3
Suppose 5*q = 16 - 6, -q + 42 = 2*y. Suppose -a + 3*a = -y. Let s = a - -16. Solve -d = d - s for d.
3
Suppose -6 = -z + 5*d + 2, 2*z + d = 27. Suppose h + z + 2 = 0. Let g be (-1)/5 - 78/h. Solve 2*p + g = p for p.
-5
Suppose -3*s + q = -31, -3*s = -2*q - 8 - 27. Suppose -12 - s = -3*p. Solve 2*j + 15 = p*j for j.
3
Suppose x - 38 = -4*x - l, 5*x + 5*l = 50. Solve 2*j + 3 = x for j.
2
Let r(d) = -23*d**2 - d - 2. Let f be r(-2). Let o be f/(-22) - (-6)/(-33). Suppose -3*g + 15 = -3*a, 3*a - 8*a = -o*g + 22. Solve j - 1 = g for j.
4
Suppose -x + 3*g - 2*g = 1, 3*g - 2 = 4*x. Let n = 5 + x. Solve 19 = 5*k - n for k.
5
Suppose -18 = -3*u - 3*z, -5*u = -2*u - z - 18. Let m = 12 - u. Solve 4*i = i + m for i.
2
Suppose 4*q - 18 = 2*y, -3*q - y + 12 = -2*y. Solve 5 = q*h + 2*h for h.
1
Let y be -2 + 30/3 + -2. Solve -y*q = -2*q for q.
0
Suppose -3*s = -3*d - 33, 3*d = s + d - 14. Solve -s = -4*o - 0 for o.
2
Let y = -223 - -231. Let t(c) = -c**3 - 6*c**2 - 2*c - 4. Let k be t(-6). Suppose 0 = 4*f - r + 6*r + 10, 0 = 4*r + k. Solve f = 4*s - y - 8 for s.
4
Let m(y) = -y + 5. Let w be m(6). Let a be 8/4*(-1)/w. Solve -a*x + 1 = -x for x.
1
Let r(o) = -o**2 - 6*o - 3. Let v be r(-4). Let d = -7 + 7. Suppose d = -4*c - v*x + 34, 2*c + 2*x - 20 = -2*x. Solve z = -z - c for z.
-3
Let r be 4/(-14) - 6/(-21). Solve r = 4*c + 5 + 11 for c.
-4
Let h be (-131)/(-6) + (-3)/(-18). Let r = 22 - h. Solve 3*x - 8 + 2 = r for x.
2
Suppose v = 2 + 1. Solve -v + 5 = d for d.
2
Suppose -25 + 10 = -5*z. Suppose -3*m = 3 - 9. Solve z + m = 5*j for j.
1
Let q be -1 + 0 - 10/(-2). Let o(i) = -i**3 - 4*i**2 - i - 2. Let n be 3/(14/(-8) - -1). Let w be o(n). Solve -w*d + 0*d + q = 0 for d.
2
Let p(a) = -a - 3. Let k(q) = -2*q - 5. Let s(y) = -3*k(y) + 5*p(y). Let m be s(3). Solve -4 = 2*r - m*r for r.
4
Let p = -35 + 38. Solve p*d - 1 - 8 = 0 for d.
3
Let m be (1/3)/(1/6). Let p(q) = q**3 + 9*q**2 + 14*q - 12. Let u be p(-6). Solve u = -2*z - m*z for z.
-3
Suppose 0 = -8*i + 2*i + 24. Solve 2*g = 3*g + i for g.
-4
Let o be 84/(-224) - (-43)/8. Let k = 16 - 43. Let f be (-6)/k - 338/(-18). Solve -o*g + 4 = f for g.
-3
Let x be 5*-3*3/(-15). Solve x*r = -2*r for r.
0
Let y be (-1)/(3/(-69) + 0). Suppose 1 = -c + 5. Let p be 2/1*(-3)/(-2). Solve -c*x + y = p for x.
5
Let o(z) = z**3 - 5*z**2 - 8*z + 12. Let s be o(6). Suppose s = 3*m + 3, -5*m = 4*i - 0*m + 5. Solve 0*p + p - 5 = i for p.
5
Let f = 7 - 3. Solve f = -4*o - 4 for o.
-2
Suppose 0 = -n - 4*s + 87 - 7, 2*n - 4*s = 184. Suppose -2*h = -2*c - 2*c + n, -c + 2*h = -19. Let p be c + 2 + 0/(-2). Solve y - 6*y - p = 0 for y.
-5
Let y(h) = -h**3 + 24*h**2 + 5. Let m be y(24). Solve -5 = m*z - 30 for z.
5
Let l(p) = -2*p + 8. Let y be l(-8). Suppose 4*r + 4*a - y = 0, 2*r - 2*a - 2 = 6. Solve 0 - r = -k for k.
5
Let u be (-30)/(1*(2 + -1)). Let f = -16 - u. Suppose 4*h = -20, -h - h = -4*i + f. Solve i - 4 = -w for w.
3
Let i = -14 + 21. Suppose -i*o + 5*o + 4 = 0, 14 = 5*h + 2*o. Solve h*a + a + 9 = 0 for a.
-3
Let z(d) = d**2 - 1. Let t be z(-2). Let a(o) = o + 0 - 4*o + 1. Let x be a(-1). Solve 0 = t*f + x + 5 for f.
-3
Suppose 0 = 5*o - 2*q - 30, -o + 3*q - 6 = -2*o. Suppose 3*k + 18 = o*k. Solve 0 = -0*f - 3*f + k for f.
2
Let s(c) = 7*c**2 - c - 1. Let i be s(-1). Suppose -2*z + 20 = -3*x, z - 4*x + 0*x = 20. Let w = i - z. Solve w*a - 3 + 6 = 0 for a.
-1
Suppose -2*b + 3*q = 2*q + 12, 3*b = 3*q - 21. Let g be b*-1*(-3 - -4). Solve -5*s - g - 15 = 0 for s.
-4
Let q(b) = -b**2 + 9*b + 14. Let k be q(10). Suppose k*j = 3 + 9. Solve -2*u - 5 = j for u.
-4
Let n(h) = h**2 + 2*h - 8. Let w be n(-6). Solve -3*t + w = t for t.
4
Suppose -3*v - 7 - 5 = -4*h, 3*h + 3*v - 9 = 0. Solve 2*u + h*u = 0 for u.
0
Suppose 2*q - t = 5*q - 22, q = -5*t + 26. Solve q*k = 4*k + 6 for k.
3
Let j = 106 - 103. Solve -10 = j*p + 2*p for p.
-2
Let u(g) = g**3 + 3*g**2 - 6*g - 3. Let z be u(-4). Suppose -z*q + 4 = -11. Solve -s - q*s = 0 for s.
0
Let o = 11 - -4. Solve 4*k - k = o for k.
5
Let a(b) = 2*b**2 - b - 2. Let x be a(2). Let t be -2*1 + x + -2. Suppose -5*y = -t*y. Solve y*h = 2*h + 8 for h.
-4
Let q = 71 - 61. Solve 5*r = -10 - q for r.
-4
Let m be -3 + (-4)/(-6)*6. Let x be (3 + -2 - m)/(-1). Suppose -c + 3*c = 0. Solve x = -c*r - 2*r + 4 for r.
2
Suppose c + 1 = 2*c. Let x be (33/22)/(c/4). Solve -j - 2*j = x for j.
-2
Suppose 0 = -g + 5, -2*y = y + 2*g - 22. Solve -15 = y*b + 5 for b.
-5
Suppose -b = 3*h - 4, 4*b - 16 = 5*h - 0*h. Suppose b*m = 6 + 2. Solve 0 = -m*j + 9 - 1 for j.
4
Suppose 4*w + 1 = 21. Let p = 7 - w. Solve -3*m - p*m = -25 for m.
5
Let d be 2 + (2 - (2 + -1)). Solve d = 3*s + 9 for s.
-2
Suppose 2*c + 6 = 3*b, 3*c + 8 + 15 = b. Let h(p) = -p**3 - 10*p**2 - 9*p + 5. Let r be h(c). Solve -3*x + r + 4 = 0 for x.
3
Suppose -4*y + 4*f + 20 = 0, -2*y + 4*y + f - 10 = 0. Suppose -2*p = p. Suppose 2*r + 2*v - 8 = 0, -3*r - 2*r = 4*v - 19. Solve p = y*k - r*k - 4 for k.
2
Suppose -16 = -2*w - 6*w. Solve w*b - 2 = 6 for b.
4
Let w(o) = -2*o**2 + 2*o + 4. Let l be w(0). Solve 8 = -2*n + l for n.
-2
Let t be (-46)/(-10) - (-2)/5. Suppose -2*i = g - 16, -5*i - t = -g - 3. Solve -6*u = -3*u - g for u.
4
Let l(d) = 3 + 1 - d**2 + d**3 - 3. Let h be l(2). Suppose -j + h = -0, -5*s + j = -35. Solve 4*f = s*f for f.
0
Let 