+ 14 = -2*m for j.
4
Let k(o) = 26*o**2 + 2*o + 1. Let z = 10 - 5. Suppose -5*r - 17 = 4*n - 3, -z*n = -5*r - 5. Let p be k(n). Solve 0 = -5*q - p, -q = -0*w + w + 3 for w.
2
Let q = -4 + 6. Solve -5*h - 2*p + 16 = -0*h, -q*p = h for h.
4
Let u = -9 - -14. Solve -c = 2*l - 1, -2*l - 24 = -u*l + 3*c for l.
3
Let h(o) = o + 2. Suppose 5 = -c - 2. Let w = 5 + c. Let u be h(w). Solve 3*m + s - 1 + 5 = u, -3*s = 5*m for m.
-3
Let i be 3/(((-15)/2)/(-5)). Let j = 88 + -71. Solve 3*n + j = 4*c, -5*n + 2 - 13 = i*c for n.
-3
Suppose 3*g = 1 + 11. Suppose -17 - 7 = -g*z. Solve -2*b + 2*t = z*t - 10, b + t - 5 = 0 for b.
5
Let p be (-25)/10 - (-2)/(-4). Let t be p/6 - (-11)/2. Suppose 4*m = 5*u - 21, -3*u + t*m + 10 = -0*u. Solve -3*v = u*j + 5, v = 3*j + 3*v + 2 for j.
-4
Suppose -5*u = 52 + 68. Let b be u/(-60) + (-23)/(-5). Solve -5*i + i + g = 7, -5*i + 5*g - b = 0 for i.
-2
Suppose 2*b - 8*b = -30. Solve 3*f + 0*f - b*i = 18, -i = 2*f + 1 for f.
1
Let w be 9/6 - 12/8. Solve 3*f + 15 = 3*a - 3, w = 5*f + 3*a + 14 for f.
-4
Let h be 2 + 1 + (6 + 2)/8. Solve 0 = 2*t + 3*f + 7, 3*t + 7 - 39 = h*f for t.
4
Let r = -47 - -49. Solve 0 = 5*k - 4*g + 13 + r, 4*g = 0 for k.
-3
Suppose 5*g = 15 - 5. Solve g*a + 4 - 2 = 4*l, -3*a - 3 = 3*l for a.
-1
Let o = 8 - 6. Solve 4*q = -3*b + 15, 2*b - o = -5*q + 8 for q.
0
Suppose -s + 9*s - 16 = 0. Solve -n + 6 = -4*l, -3*n - l + 7 = -s*l for n.
2
Suppose -3*v - 8*v = -44. Solve 3*d = -v*p - 16, 0*p = -4*d - p - 4 for d.
0
Let l be 6 + (-7)/14 + (-1)/2. Solve 1 + 9 = 2*m - v, 0 = l*v for m.
5
Suppose 0 = -g + 2*l + 4 - 0, -5*g + 8 = 2*l. Solve -5*x = -4*a - 21, 0 = -3*x + g + 1 for a.
-4
Let x(g) be the third derivative of -g**5/60 + 5*g**4/12 - 2*g**3 + 3*g**2. Let q be x(8). Solve q*n - m = 7, 5*n + 2 = 4*n + m for n.
3
Suppose 3*c + 11 = -4. Let p(z) = z + 5. Let f be p(c). Solve 3*b + 4*g - 8 + 0 = f, 4*g - 16 = -5*b for b.
4
Let s = -44 + 20. Let d = 34 + s. Solve -3*u = 3*i + 9, 2*i + i = -2*u - d for i.
-4
Suppose -2*n + 21 = 2*o + o, -5*n = -3*o - 21. Let c = 4 + n. Suppose -3*r = -r - c. Solve -r*a = 2*t + 1, -2*a = -2*t - 4*a + 2 for t.
2
Suppose 80 = 21*q - 17*q. Solve -2*w - 10 = -2*d, -5*w - 5*d - q = -9*d for w.
0
Suppose 3*o = 7*u - 10*u + 42, 4*u - 59 = -3*o. Solve -4*b + u = 3*a - 0*a, -4*b + 2 = -2*a for b.
2
Let c(d) = -d**2 + 13*d + 19. Let s be c(14). Solve 4*m - u - 24 = 0, -2*m + s*u = 2*m - 40 for m.
5
Let v(b) = -4*b - 17. Let j be v(-7). Let x = j - 11. Solve x*d + 1 = -2*d - c, -3 = c for d.
1
Let v be ((-4)/(-3))/(4/9). Let a be -1*(-1 + v + -5). Solve b + 6 = d, a*b = 5*d - 11 - 17 for b.
-1
Suppose 2*g = -3*g + 30. Solve -3*k + g*k = 5*y + 35, -5*y = 2*k + 10 for y.
-4
Let z(u) = -u**3 + 6*u**2 - 5*u + 3. Let c be (-228)/(-42) + (-3)/7. Let a be z(c). Solve 0 = -5*q + q - 4*o, a*o + 8 = 5*q for q.
1
Let w be 5/3 + 4/(-6). Let y = w + 3. Suppose -4*x = -12 - 20. Solve -5*t + 39 = y*u + x, u = 4*t - 8 for t.
3
Let p = 52 + -48. Solve -5*f = -5*v - 20, 0*f = f + 5*v - p for f.
4
Suppose 0 = -8*j + 2*j + 24. Solve -2*a - 8 = 5*m, 4*m + 0*a + a = -j for m.
0
Suppose -2*z = -2*x + 48 + 2, -1 = z. Suppose 0 = -3*p - x - 36. Let k be 8/p + (-4)/(-10). Solve y = 5*l - 20, -y + 6*y - 25 = k for l.
5
Let c be ((-56)/(-21))/((-4)/(-18)). Let a = 15 - c. Solve -l + 0*b - a*b + 14 = 0, -2*b = -6 for l.
5
Suppose i - 2*u + 8 = -3, 2*i + 4*u + 6 = 0. Let h(o) = o**2 + 7*o + 3. Let x be h(i). Solve -b + 25 = b + 3*w, 3*w = x*b for b.
5
Let o(c) = -c**2 - 10*c - 12. Let s be o(-8). Let y(k) = -2*k - 3. Let q be -5 - -6 - 5*1. Let x be y(q). Solve 3*l - 13 = -i, s*i - 31 = -x*l - 0*l for l.
3
Let g = 0 + -1. Let r be 6 - (2 + -3 + g). Solve 0 = -t - 4*h + r, t + 5*h = 12 - 1 for t.
-4
Suppose 0 = 2*c + 3*c + 10. Let g(h) = h**2 + 3*h + 2. Let w be g(c). Solve -5*x = 2*l + 16, w*l + 2*l - 8 = x for x.
-4
Suppose 2*s = 5*i - 61, 4*i + 5*s = s + 32. Let v(u) = u**2 - 4*u - 2. Let w be v(7). Let b = w + 6. Solve t - 5*q + i = 0, 2*t + 2*t = -3*q + b for t.
4
Let r be 14/6 - 6/(-9). Let z be (15/(-6))/(r/(-6)). Solve 3*d = 2*s + 2, -2*s + 0*s = -z*d + 6 for d.
2
Suppose -5*y + 8*y = 15. Let b(t) = t**3 - 6*t**2 + 8*t - 3. Let l be b(y). Solve -4*s - 2*a = l, -5*s - 15 = -0*s + 2*a for s.
-3
Let q be ((-6)/(-39) + 402/(-78))*-1. Solve 5*r - m = r, 4*r + q*m = 0 for r.
0
Let o be (-6)/(-3)*((-21)/(-6) + -2). Solve -5*c + z + 9 = -5, 5*z + 26 = o*c for c.
2
Let h(r) = r**3 + 3*r**2 - 6*r - 8. Let a be h(-3). Solve 5*w - 3*i = -29, -a + 33 = -5*w + i for w.
-4
Let y = 13 - 13. Solve 5*z - 5*v - 40 = 0, z + 3*v = -y*z - 4 for z.
5
Let g be (-284)/(-14) - (-22)/(-77). Suppose g = -7*o + 9*o. Solve -4*c - 3*k - 16 = 0, 2*c + 2*k + o = -0*c for c.
-1
Let w(x) = -x + 2. Let h(z) = -z**2 + 4*z + 2. Let g be h(6). Let u be w(g). Solve 2*q = -2*c, -5*c - q + u = -c for c.
4
Suppose -4*d - 25 = d. Let p = -2 - d. Solve l - 5*q = -l - p, 5*q = 5 for l.
1
Suppose w = -2*n + 43, -5*n + 5*w = -2*n - 45. Suppose -5*u = -15 - n. Solve c + 3*z = u, -c + 4*z + 5 = 26 for c.
-5
Let g(y) = 8*y + 13. Let q be g(0). Solve 2*r - 5*k = -0*r + q, 0 = -5*k - 15 for r.
-1
Let c(a) = a**3 - 14*a**2 + 13*a + 4. Let t be c(13). Solve -i - 5*s = -19, -3*i = -i + t*s - 20 for i.
4
Suppose 5*a = -2*n - 2*n + 41, -25 = -a - 5*n. Suppose 87 - 207 = -4*v. Solve -r + 12 = 3*j, 10 = -a*j + v for r.
0
Let v be (2/(-4))/(2/12). Let x be (3/12 - 1)/((-2)/(-8)). Let z be 4 + v - 0 - x. Solve -2*k = z*o + 2, -4*o = -0*o - 3*k - 23 for o.
2
Suppose -4*c = 3*a - 6*a - 4, 0 = 2*a + 3*c + 31. Let q(n) = -n - 5. Let y be q(a). Let b be y/(-6)*(1 + -1). Solve 11 = -2*h - 3*x, 3*h - 5*x = -b*x - 7 for h.
-4
Let z = -22 - -15. Let a(x) = -x**2 - 7*x + 5. Let p be a(z). Solve -p = -2*d + w, -17 = -0*d - 5*d + w for d.
4
Suppose -d + f = -0*d - 3, 0 = 3*d + 5*f - 17. Suppose -4*u = -q - 18, d*u = 3*q + 8 + 6. Solve -3*a + 2*n = -18, 8*a - 3*a = q*n + 26 for a.
4
Let z be 2/(-4) + (-1)/(-2). Let r be -1 + z + (1 - -3). Suppose -h = h - p - 8, 4*h + p = 10. Solve h*q + l - 13 = 0, -3*l = -r*q + 2*l + 25 for q.
5
Let j(q) = 4 - 7*q**2 - 9*q - 2*q + 6*q**2 + 3. Let m be j(-8). Solve -4*g + 16 = k, -2*k - 2*k = -3*g + m for k.
-4
Let i(j) = -j**2 - j + 8. Let u be i(0). Suppose u*z - 3 = 7*z. Solve -13 = 5*t + v + 6, 0 = 2*t + 5*v + z for t.
-4
Suppose -2*b + 6*b + 5*j + 25 = 0, -25 = 2*b + 5*j. Let q be 8/(-28) - 23/(-7). Suppose 5*s - q*s = 10. Solve 4*z + 5 = -3*d, b = -0*d + 2*d - s*z - 12 for d.
1
Suppose h = y - 8, 3*y = 2*h + 37 - 15. Let p = y + -1. Solve 5*l - u - p = 0, -5*l - 15 = -8*u + 3*u for l.
2
Let x be 8/(4/(2 + 2)). Solve s + 3*w + x = 0, -5*s = 4*w - 5*w - 24 for s.
4
Let l(i) = -4*i + 22. Let r be l(9). Let s = -12 - r. Solve 3*f + 5 = w, -s*w = 2*f - w + 5 for f.
-2
Let z be ((-20)/(-6))/((-8)/(-12)). Suppose u - 1 = 3. Solve -u*x - 4*y - 20 = 0, 0*y - y = z*x + 21 for x.
-4
Let r(j) = -7*j**2 - 2*j + 1. Let l be r(1). Let o(m) = m + 13. Let n be o(l). Solve h + 3*h - n*g = -1, 5*h + 17 = g for h.
-4
Suppose s + 0*s = 0. Suppose s = u + 53 - 686. Let o be u/33 - 2/11. Solve -3*d + o = 4*n, -3*d + 7*d + 12 = 4*n for n.
4
Suppose 0*d + 2 = 5*y - d, 0 = -y - 5*d - 10. Solve 3*b + 7 = -u, -20 = -4*u - y*u for b.
-4
Let w(x) = -4*x**3 + x + 1. Let a be w(-1). Solve 0*n - 5*n - a*p = 6, -4*n + p = -12 for n.
2
Let g = 34 - 34. Solve 2*u - y + 8 = -g*y, 5*u - 5*y = -25 for u.
-3
Let m be 70/(-5)*(-1)/(-2). Let g(l) = l**2 + 7*l + 4. Let y be g(m). Solve -4*n + 10 = -2*j, -j = -y*j + 3*n - 12 for j.
-3
Let w(q) = 2*q + 5. Let r be w(-6). Let a be 2/(-7) - 2/r. Suppose k - 2 = -a*v + 2*v, 5*v = -4*k + 47. Solve -4*g - 4 = -5*d + k, -d - 4 = -4*g for d.
4
Suppose -26 = 3*p - 8. Let y be (2/p)/(4/(-12)). Let s be (-1)/(-1) - -2*y. Solve 5*t = 3*o - 2, 5*t = 3*t + s*o - 8 for t.
2
Let y = 9 - 5. Suppose y*j = -0*j. Solve p + 11 = -0*i - 3*i, 5*i - 2*p + 33 = j for i.
-5
Let h be 3/(5*6/50). Solve 0 = -l + h*y - 21, -3*l + 2*l - 16 = -4*y for l.
4
Let f be ((-9)/6)/(21/(-56)). Solve 3*z = 5*i + 33 - 6, -4*i - f = 2*z for i.
-3
Let n be 15/6*12/10. Let v(r) = r**2 - 1. Let u be v(-1). Let o(q) = -q + 1. Let f be o(-1). Solve -n*m + 5 = 5*j, -f*j + u*j - 7 = 3*m for j.
4
Suppose 4*r + 24 = 5*f, -3*f + 3 = -4*r - 13. Let y(c) = c + 3. Let l be y(f). Solve 0 = -