= -2*a, -2*z - 8 = 0 for a.
0
Suppose -3*b + 12 = -6. Suppose 22 = b*s - 2*s + 3*d, -3*d = 2*s - 14. Let h = -3 - -7. Solve -s*z - 5*r = -21, h*z - 20 = -2*r - 2*r for z.
4
Let z be ((-2)/(-6))/(2/66). Suppose 5*o + 0*c = -2*c, -c = -3*o + z. Solve -o*i - 17 = 3*h - 6*i, 0 = -4*h - 3*i + 19 for h.
1
Let r be -10*(0 + 1/(-2)). Suppose 6 = -2*s + r*s. Let n = -10 - -14. Solve -3*b = n*z - 5, 4*z = b + s*b + 35 for b.
-5
Suppose 8 = -4*s - 3*d - 2*d, 3*s - 5*d = 29. Let x = 8 + -6. Suppose 0 = -x*m + 1 + 5. Solve m*r = 2*n - 1, -r + s*n + 6 = r for r.
-3
Suppose -4*k + 3*z + 20 = 0, 6*k - 2*z - 16 = 2*k. Suppose 5 = o + 3. Solve 2*r - 4 = -o*r, -6 = a - k*r for a.
-4
Let a(p) = -2*p**2 + 8*p + 5. Let x be a(4). Solve -2*r = 5*k - 15, -x + 4 = -k for r.
5
Let c be 23 + -2*1 + 1. Let z = -1 + 5. Suppose -8*h + 8 = -3*h + z*b, h - 4*b = 16. Solve -m = h*m + 2*s + c, 3*m + 14 = -2*s for m.
-4
Let c = 5 - -26. Suppose -5*g + c = 2*f, -4*g + 2*f + 15 = 1. Solve -g*d - h = 2*h - 6, -2*d + 3*h = -15 for d.
3
Let a = 0 - -4. Let w = a + 1. Suppose 3*m + 4 = 2*q, q - 4*m + 18 = 3*q. Solve 5 = q*d - 5*f, 41 = 5*d - f + w*f for d.
5
Let u(q) = 3*q + 2. Let s be u(1). Let d be s/((-13)/6 - -3). Solve d*f - 5*y + 18 = 2*f, -2*y + 8 = -2*f for f.
-2
Let m be (-4)/(-6) + (-2)/3. Suppose -3*d = -m*d - 24. Solve -h - h + d = 0, w - h = -9 for w.
-5
Let h = -8 - -6. Let b = h - -7. Solve 5*j + 3*t - t = 5, b*j - 2*t + 15 = 0 for j.
-1
Suppose 2*l - 2*o = 2*o + 28, 4*o = l - 18. Suppose -10 = -5*f + l. Solve -3*v = 6, -5*v - 19 = f*p + 7 for p.
-4
Let i(z) be the second derivative of 0*z**2 - z + 0 + 1/12*z**4 + 0*z**3. Let j be i(-2). Solve -j*r - q = -1 - 2, -3*q - 1 = 2*r for r.
1
Suppose 15 + 15 = 5*r. Let i = 7 - r. Solve 0 = -y - u - 5, 8 = -3*u - i for y.
-2
Let l(j) = -j**3 - 7*j**2 - j - 2. Let x be l(-7). Suppose -5 = -n + q - 2, -2*q + 22 = 2*n. Let v = n + -2. Solve -v*a + 0*f - 10 = -x*f, -a = -3*f + 8 for a.
1
Let w = -121 - -121. Solve -3*a - 6 = w, 2*s + 2*a + 12 = 2 for s.
-3
Let a = -110 - -113. Solve -3*w = 3*x - 3, a*x - 24 = 2*w - 1 for w.
-4
Let z be (2/3 + -1)*-6. Solve -18 = -z*w + 4*f, 2*w + 4*f - 12 = 6*f for w.
3
Suppose -b = 5, -2*c - 1 = -4*b + 5*b. Suppose c*o + 3*p - 2*p - 6 = 0, -2*o = 3*p - 10. Solve 3*v - 4*v = 5*q - 16, 4*v - 10 = -o*q for q.
3
Let j(r) = -2*r. Let n be (-3)/12 - (-6)/(-8). Let x be j(n). Suppose -2*q + 14 - x = 0. Solve 0 = 2*t + t - g - 7, 0 = -4*t + 2*g + q for t.
4
Let u(t) = t**2 + 5*t - 4. Let o be u(-6). Suppose 0 = 4*q - 2*q + 8, -i - o*q = 5. Solve 4*c + 4 + 1 = a, -4*c + i*a = -1 for c.
-2
Let x(d) = -2*d + 1. Let l be x(-1). Let f(s) = -l - 2 + 2*s + 2 + 0*s. Let j be f(3). Solve 3*b + 12 = -0*b - 4*q, q = 3*b - j for b.
0
Let r be (-5)/15 + (-5)/3. Let m(d) be the second derivative of d**4/6 - d. Let s be m(r). Solve 6 = 3*g, 4*n - s = -2*g + 6*g for n.
4
Let i(z) = z**2 - 2*z + 1. Let f be i(2). Let s be f/1 - (-2 - 9). Suppose 5*m - 3*m = -2*w + 6, -m + s = 4*w. Solve -w*p = -3*k - k - 16, 0 = -k - p + 3 for k.
-1
Suppose -29*n = -27*n - 4. Solve -5*y - n*a + 15 = 3*a, 4*y - 2 = a for y.
1
Suppose -5*q + 12 = -q. Suppose -3*g = -3, 3 = x + q*x - 5*g. Let o be (x - 1) + (-3)/(-3). Solve -16 = 2*j - 0*j + 2*d, o*d + 21 = -3*j for j.
-5
Suppose 73 = 4*k - 3*u, 8*k - 4*u + 64 = 10*k. Solve 2*z = -b - 2*z - 14, 3*b - 4*z = k for b.
2
Let c be ((-2)/(-4))/((-1)/(-22)). Let u be (-2)/6 - 144/(-27). Suppose x = 2, u*b + 2*x = 3 + 41. Solve 0 = -2*g - 2*v + b, -7*g + 2*g + 4*v + c = 0 for g.
3
Suppose -p - 2*k + 9 - 2 = 0, 0 = 3*p - 2*k - 5. Suppose -3*z + 12 = p. Solve -4*m = -4*s, z*s - 24 = -0*s - 3*m for s.
4
Let m be 4/(0 + (-8)/(-12)). Solve 5*o = -2*a - 7, -5*a + 3 = -2*o + m for a.
-1
Let j(h) = 3*h**2 - h + 1. Let l be j(1). Solve 0 = 2*y - l*v - v + 8, 0 = -2*y - 4*v for y.
-2
Let a = 10 - 9. Let w = 1 - a. Suppose 2*n - 7 - 1 = w. Solve r + n = 0, 3*r + 0*r = -3*g for g.
4
Let a(j) = 6*j - j**2 - 4 - 8 + 15. Let g be a(4). Solve 4*p = -5*d - 17, -10 = 3*d - 3*p + g for d.
-5
Suppose 3*i + 2 = 8. Solve i*q - 4*s + 12 = 2, 4*s = 5*q + 25 for q.
-5
Let v = -6 - 19. Let t = v + 47. Solve -n = -c - 9, -n + 2*c = 2*n - t for n.
4
Suppose 0 = -3*w + 4*w - 5. Suppose 15 = 4*a - 5*a + w*k, -2*a - 2 = -3*k. Let i be 1 + a - (-2 - -4). Solve -i*c + 5*x - x = 16, 5*c + 2*x + 13 = 0 for c.
-3
Let c(x) = x + 1. Let u be c(4). Suppose -g = 2*k + 3*k - 20, 0 = u*k + 2*g - 25. Solve -3*r + q + 1 = 0, -k = -2*q + 1 for r.
1
Suppose 2*r - 5*r = -42. Suppose 3*z + 2*c = 40, -r = 5*z + 5*c - 89. Solve -5*q - 10 = 5*s - 0*s, -3*s - z = 5*q for q.
-2
Let q = -43 - -43. Solve q = 2*l - 6, -2*l + 22 = -5*o - 3*l for o.
-5
Let t(h) = h**2 - 14*h + 15. Let w be t(13). Solve -2*b + w = 3*c, -5*c + 16 = -3*b - 0*c for b.
-2
Let y be (-20 + 0 - -2) + 2. Let d = -10 - y. Solve -h - d = g, -5*g - 26 = -1 for h.
-1
Suppose -2*x - 32 = -5*t - 5*x, -3*x = -4*t + 31. Solve t*h + 41 = 3*h - 5*u, -2*u - 30 = 5*h for h.
-4
Let t(w) = 2*w - 6. Let b be t(4). Solve 6 - 2 = b*l + 5*v, 2*l = -v + 4 for l.
2
Let l(p) = -8*p - 2. Let y be l(1). Let r be (10 + y)/((-2)/(-2)). Solve 0 = -2*o - 4*z, r = 5*o + 3*z - 3 - 4 for o.
2
Suppose 8 = -2*k + 16. Solve 0 = 4*t + 3*i + 2, 3*t + i - 9 = k*i for t.
1
Let n be -4*(22/(-8) - -2). Let h = -40 - -37. Let s = h + n. Solve 6 = -2*b + 2*m, 4*b + 5*m - 4 + 34 = s for b.
-5
Let x = -10 + 14. Suppose x*h = 8*h - 12. Suppose j - 4*l = -h*j + 32, 3*j + 4*l = -4. Solve -3*f - j*d + 1 = 0, 2*f = -3*f + 2*d - 7 for f.
-1
Let g = -2 - -4. Suppose -8 = -g*q + 2. Solve z = -q*y + 30, 5*z - 50 = -8*y + 3*y for y.
5
Suppose -6*y - 15 = -39. Solve -y = -5*q - 2*a, q + a = -3*a - 10 for q.
2
Let x(i) = -i**3 - i**2 + i + 1. Let l = -3 - -1. Let f be x(l). Suppose j = f*j. Solve 2*s - 4*a - 4 = 2, j = 5*s - 3*a - 8 for s.
1
Suppose 0 = 3*c + c - 48. Solve 5*m - 2*a + 18 = -c, m + 5*a = 21 for m.
-4
Let h(t) = t**3 - t**2 - 2*t + 3. Let x be h(2). Suppose -3*j = -5*o + 8, 0 = 7*j - 3*j - o - 12. Solve x*i - 3*l + 24 = 0, j*l - 6 = -5*i - 1 for i.
-3
Let i be 4/(-6)*42/(-4). Suppose -2*u - s - 12 = -i*u, 3*u - 14 = 4*s. Solve -c = -3*y - u, -3*y - 3 - 3 = 0 for c.
-4
Suppose 4*k = 4*x + 19 + 57, -k + 37 = -2*x. Let f be 114/27 - (-4)/x. Solve 0 = -z - 3*a + 11, -5*z + 3*a - 13 = f for z.
-1
Suppose -3*q = -a - 12, 4*a - 3*a = -q + 4. Suppose -4*w + 15 = 3*k, q*k + 4*w - 13 = 3*k. Solve -4*y = -5*t + k, -5*t - 5 = 2*y + 18 for y.
-4
Suppose -7*j + 3 = -10*j. Let h(k) = 15*k + 9. Let w(r) = -4*r - 2. Let b(y) = 2*h(y) + 9*w(y). Let t be b(j). Solve -3*p = -4*a + 2, a = -3*a - p - t for a.
-1
Suppose -1 = 2*j - 5. Solve -4*u + 18 = -c, 4*c + 21 = 5*u + j*c for u.
5
Let w be (-11 - -4)*(-1 - 0). Let y = w - 8. Let x = y + 7. Solve 0 = c + c - x, 0 = 3*b - 2*c + 3 for b.
1
Let d(b) = 3*b**3 - 2*b**2 + 2*b + 2. Let w be d(2). Solve 4*x + 37 = 5*q, -x = -0*q + 5*q - w for x.
-3
Suppose -3*k + 1 - 7 = 0, -3*k = -4*z + 22. Solve -4*d - 5*q = 6, -12 = -z*d + 2*d + 5*q for d.
1
Let q(n) = n**2 - 4*n - 3. Let w be q(5). Solve -2*b = -b + w*x - 11, 2*b + 5*x = 27 for b.
1
Let u = -4 - -6. Suppose u*h + 150 = 5*h. Let j = h - 27. Solve t = 5*p + j, 3*p = -3*t - t for p.
-4
Suppose -f = 2, 3*f = -y + 5*f + 8. Solve z - 3*z - 8 = 0, -3*b - 16 = y*z for b.
0
Let j(c) = c**3 + 6*c**2 + 5*c - 5. Let f be j(-5). Let h = f - -7. Solve 3*r - 2*g - 10 = 0, h*r - 5*g = -0*r + 3 for r.
4
Let o(c) = -c + 9. Let i be o(4). Suppose b + 17 = -3*q + 3, -2*q - 4*b = 26. Let m be (-3)/(q/25*1). Solve -5*a + i = -4*r, 0*a = -3*r - 2*a + m for r.
5
Suppose 5*d - 2*l - 18 = 0, -2*l + 2 = 5*d - 0*d. Solve 2*a + 2*y - 5*y - d = 0, -5*a + 4*y = -5 for a.
1
Let i(w) = w**2 + 5*w - 4. Let a be i(-6). Suppose -2*u - x - a*x + 4 = 0, 5*u - 31 = 3*x. Solve -14 - 5 = q + u*c, -3*q + c = 9 for q.
-4
Suppose 3*v - 15 = 2*k + 2*k, 0 = -2*k. Suppose -20 + 5 = -v*l. Solve 2*a = q + 6, 4*q + 0*a + 14 = l*a for q.
-2
Suppose 2*q = 6*q - 4. Let t(p) = 34*p**3 + 2*p**2 - p. Let f be t(q). Solve -4*l + 20 = 0, -5*y - 5*l = -3*l - f for y.
5
Let j(p) = 2*p**3 + 13*p**2 + 7*p + 12. Let y be j(-6). Solve -5*l + 6 = 2*r, -3*r = -r - 2*l - y for r.
3
Suppose -5*y + 6 = -4. Let k = y - 0. Suppose h - 1 = k. Solve -3*u + 0*u - 3 = f, h*u - 9 = 3*f for f.
-3
Let j(f) = f. L