 9 = 0, 4*a - g = -4*i - a for i.
4
Let x(g) = g + 9. Let r be x(5). Let u be (r/(-5))/((-4)/10). Solve k + 6 + u = 5*t, -4*t + 2*k + 14 = 0 for t.
2
Suppose 4 - 5 = -o. Let t be (1 - 2 - o) + 2. Solve 3*m = -4*z + 5, t = 3*m + 4*z - z - 3 for m.
-1
Let v be (-10 + -2)*2/(-6). Solve 2*x = -2*n + 10, -v*x + 5 = -3*x + 3*n for x.
5
Let i = -15 - -15. Solve 3*x - 2*t = -1, -x + 2*t = -i*t - 1 for x.
-1
Let k(i) = -4*i**2 - 21*i - 3. Let r be k(-5). Solve 9 = 3*u + 3*p - 9, 16 = 5*u - r*p for u.
4
Let h = 16 + -7. Solve 0 = 3*z + 3*y - h, -3*y = -2*z - 5 + 6 for z.
2
Let t = -109 + 114. Solve 4*j = 3*p + j, 2*p = -t*j - 21 for p.
-3
Let z be 6*(-11)/(-33)*(1 + 1). Let r(i) = i**3 - 5*i**2 - 5*i - 3. Let q be r(6). Solve 3*k + 31 = -5*o, -z*o = -2*k - q*k + 10 for k.
-2
Let p(q) = -q**2 + 10*q - 1. Let h = 2 - -5. Let b be p(h). Solve 5*a + v - b = 0, -2*v = 3*a - 13 + 1 for a.
4
Let c be (-1 + 1)/(2 - 1). Suppose 0 = l + 5*y - 18, 4*l = y - c*y + 51. Solve g = 2, 5*g + 5 - l = -k for k.
-2
Let y be (-2)/6*(-9)/1. Suppose 2*j + 17 = 4*w - y*j, 5*w + j = 14. Solve 0 = 5*c - r + 7, w*c = c + 2*r - 6 for c.
-1
Let t be (-10)/30 + 7/3. Solve b - x + 2*x - 7 = 0, t*b + x - 11 = 0 for b.
4
Let a = 10 - 11. Let s be (-2)/(a*(-3)/(-6)). Solve 7*k = 2*k - u + 12, s*k = -u + 10 for k.
2
Suppose 8 = -5*g - 5*o + 38, 4*g = 5*o + 15. Solve -2*d - t + 10 = -g*t, -4*t - 12 = 0 for d.
-1
Let u be 10/(-14) - (-2)/(-7). Let r be (-3)/(-1)*(-1)/u. Suppose r*l = 19 - 7. Solve l*o + 4*j = -28, -j = 2*o - 0*j + 10 for o.
-3
Suppose -3*s + 4 = -5. Solve -p - 17 = -4*p - 5*f, 3*p = -s*f + 15 for p.
4
Suppose -y = 3*l - 6*y - 10, -4*l = 4*y - 24. Solve 0 = q + l*a - 25, -4*q + 9*q - 37 = -3*a for q.
5
Suppose 4*i = -2 + 14. Let n = 9 - 6. Solve -6 = i*x + z - 2*z, n*x = 5*z - 6 for x.
-2
Let h = -64 + 97. Let b = 15 + h. Suppose 4*a - b = -16. Solve -2*d + 25 = 5*n, 0*n = n + d - a for n.
3
Let t = -7 + 7. Suppose 4*d - 2*d - 6 = 0. Suppose t = u - d*u. Solve 5*z - 25 = u, -p + z + z = 6 for p.
4
Let w(i) be the second derivative of -i**5/10 - i**4/3 - i**3/2 - i**2 + 3*i. Let f be w(-2). Solve 0 = 5*c + 5*x, -5*c + 5*x - f*x + 24 = 0 for c.
4
Suppose 5*b = 2*n - 14, 3*n - 11 = 2*b + 3*b. Let d be (2/(-3))/(1/n). Let i(f) = -4*f - 33. Let s be i(-9). Solve -d*g = -4*c - 14, s*g + 0*c - 17 = 2*c for g.
5
Let o be 0/1 + 0 - (13 + -23). Solve 0 = -4*l - b - 7, 2*l - 2*b + o + 6 = 0 for l.
-3
Suppose -5*t - 19 = -4*v, 0 = 2*v + 3*t - 12 - 3. Suppose 8 = 2*g - v*g. Let s = 6 + g. Solve -s*q = 5*n - 10, 5*n = -0*q + 5*q + 10 for q.
0
Let o = -8 + 35. Suppose -5*z = -z + l - 17, -5*z + 23 = 3*l. Suppose -z*c - 19 = -79. Solve -c = -4*g - 0*g - a, 5*a = -4*g + o for g.
3
Let i(m) = m**2 - 2*m. Let c(n) = n**2 + 11*n + 18. Let h be c(-9). Let a be i(h). Solve 5*q + 5*r - 20 = a, -3*r = -2*q + q for q.
3
Let x be ((-4)/6)/(4/(-60)). Suppose 0 = 2*s + 5*i - 16 + 2, -5*i + x = 0. Solve -4*a - 1 = 5*t + 10, 2 = s*t for a.
-4
Suppose 2*q - 6 = 2, -52 = -4*s - 3*q. Solve -5*h - 3*y - 2*y = s, h - 4 = 5*y for h.
-1
Let s(x) be the first derivative of 5*x - 3 - 1/2*x**2. Let f be s(4). Solve -t = -z - f, 4 = 4*t + 3*z - 7 for t.
2
Suppose -u + 3*u + 6 = 0. Let q be (-8)/u + 2/6. Solve 4*x + 3*k + 0 = 1, -q*x - k + 2 = 0 for x.
1
Let p(x) = 5*x**2 - 1. Let t = 1 - -6. Suppose 4 = t*i - 3*i. Let k be p(i). Solve -2*q - 3 = -d + q, -3*d - k*q - 4 = 0 for d.
0
Suppose 5*r - 5*y = 5, 13 = 4*r - y - 3. Suppose -r*f = -23 + 3. Solve -3*k - f = 3*c + 17, c = -3*k - 17 for k.
-5
Let u(x) = x**3 + 3*x**2 + 2*x + 4. Let q be u(-3). Let c be q/6 + 39/9. Solve -4*p + 9*j = c*j + 17, -3*p - 5*j + 31 = 0 for p.
2
Let y be (2*-1)/6*(-450)/10. Solve -k - y = -0*k + 4*h, 4*h + 9 = k for k.
-3
Suppose q + 4*q - 8 = 3*h, 0 = -3*h + 12. Solve -3*c + 1 = -q*b, -5*c = -5*b - 0*b for c.
-1
Let z(n) = 2*n + 3 - 5*n + 0*n + 2*n. Let s be z(0). Suppose s*a = 7*a - 16. Solve 0 = 3*i + 6, -a + 0 = -3*g + 2*i for g.
0
Let y be -1 + (-2 - (-6 + 3)). Solve -3*w + g = w - 6, y = 4*w + 2*g - 12 for w.
2
Let f(w) = w**2 + 13*w + 15. Let r be f(-12). Let k be (r - 0) + 23/1. Solve 4*j - k = -3*d - 0*d, 27 = d + 5*j for d.
2
Let h(r) = r**2 - 6*r + 5. Let i be h(4). Let k = 5 + i. Suppose -4*f + k*m + 8 = -16, 0 = -5*f - 4*m + 43. Solve 2*o = -4*g - 0*o + 12, -g - f = -2*o for g.
1
Let x = -43 + 49. Solve 3*k = 5*b + 10, -x = 2*k - 3*k - b for k.
5
Let b(f) = 3*f + 1. Let d be b(-2). Let x = d + 8. Solve a - 3*l + 16 = -0*l, 8 = -x*a - l for a.
-4
Let z(j) = -j**3 + 7*j**2 + 3. Let l be z(7). Let u be (-240)/36*(-48)/10. Solve -5*k + 0*d = l*d - u, d + 12 = 4*k for k.
4
Let h be (-88)/33*(-3)/2. Solve -j - 3*g = -12, 0*j - h*j - 4*g = -16 for j.
0
Let r = -9 + -1. Let v = -5 - r. Solve 0 = v*h - u + 18, -5*h = -u + 5*u + 3 for h.
-3
Suppose -11 = -15*d + 19. Solve -5*j + 3*n = -4, d*j = -j - 4*n - 15 for j.
-1
Let g be (-8)/(-28) + (-12)/(-7). Let s be -2 + 0 - 2*-3. Suppose -u - 2 = -l - s*l, -u = 2*l - 19. Solve 2*t + u = -5*w, g + 1 = -w for t.
1
Let p be (-155)/(-35) - 4/(-7). Solve 5*q - p*a - 21 = 9, -5*a = -2*q + 15 for q.
5
Suppose 3*n - 44 = -4*h, -17 + 4 = -n - 3*h. Solve -5*q - 21 = -4*o, o + 2*q + n = -q for o.
-1
Let f(t) = -2*t**2 + 53*t + 28. Let w be f(27). Solve -2*q - 12 = -5*g, 0*g - w = g + 3*q for g.
2
Let k be (-124)/(-44) - 4/(-22). Let z be k + -2 + -2 + -6. Let c = z + 15. Solve 2*s - c = -2*f, -5*f + s - 2*s = 0 for f.
-1
Let z = 18 + -16. Suppose s + 2*n = -2*s + 3, 0 = z*s + 2*n. Solve 5*j + x - 3 = 0, 2*j + 2 + 2 = -s*x for j.
1
Let n be 8/3*(-3)/(-2). Solve n*b = -2*s - s + 27, 5*s - 31 = -2*b for b.
3
Let i(r) = -10*r - 4*r**3 - 5*r**2 + 4*r**3 - 6*r**2 - r**3. Let f be i(-10). Solve f = w + 5*u + 4, -4*w + u + 6 = w for w.
1
Let d(n) = 4*n + 5. Let x be d(0). Solve 22 = -x*w - 2*c + 4*c, -c + 1 = 0 for w.
-4
Suppose -8 = -2*q - i, 4*q - 2*q - 3*i = -8. Solve -4*k - d - 17 = q*d, 1 = d for k.
-5
Let d(b) = -2*b - 6. Let o be d(-3). Solve 0 = -s + 5*y, o*s = 2*s + y - 11 for s.
5
Suppose 0 = -3*x - 2*f - 37, -5*x - 3*f + f = 55. Let a(t) = -t**3 - 10*t**2 - 8*t + 10. Let s be a(x). Solve 3*c + s = y - 6, -4*y = 2*c + 14 for c.
-3
Let s(h) = h**2 - 6*h - 6. Let v be s(7). Let p be -1 + 4/v - 1. Solve 4*y = -3*j - 25, p*y - 6 = 5*y - 2*j for y.
-4
Let u be (1*-4)/2*-2. Let m be (-258)/(-54) + (-2)/(-9). Suppose 3*q - 90 = m*p, q - 8 = -3*p + 8. Solve 0 = 5*a - q, 3*v = -0*v + 2*a - u for v.
2
Suppose 4*x + 27 = 5*d, -4*d - x + 15 = -2*x. Solve v = d*h - 8*h - 11, -4*h - 8 = 0 for v.
-1
Let x = 8 - 4. Suppose -w + x = -6. Solve 2*b + 3*b - w = 4*g, b + g + 7 = 0 for b.
-2
Suppose 20 = 2*l - 2*a - a, l + 16 = -5*a. Suppose -3*t + 20 = l*k - 5*t, 2*k + 5*t + 14 = 0. Let u = 8 - 6. Solve 15 = -u*z - k*z, -z = -4*f - 9 for f.
-3
Let t be ((-2)/(-4))/((-2)/(-4)). Solve 3*k - 3*s = 18, 2*s + 9 - t = 0 for k.
2
Let n(g) = 3*g**3 - 2*g - 1. Let y be (12/(-16))/(2/8). Let o = y + 5. Let s be n(o). Solve -2*k - 3*k = 3*a - s, 5*k - 10 = 0 for a.
3
Let y(u) = -u**3 - 5*u**2 - u + 1. Let t be y(-4). Let n(f) = -f**3 - 10*f**2 + 12*f + 15. Let r be n(t). Solve 5*m - 5*i - 10 = 0, -i = m - r*m + 4 for m.
1
Let u be 1*3 - (10 - 7). Solve u = 5*d, c - d + 2 = -3 for c.
-5
Suppose 3*l - 12 = -l. Solve -11 = b + t - 2, -4*t - 32 = l*b for b.
-4
Let p be 3/(-1) + -1 + 4. Suppose p = -t + 4*t - 33. Solve -t = 2*y + 2*f - f, -4*f = 20 for y.
-3
Let y = 11 + -11. Suppose 5*b + 5 + y = 0. Let q be ((0 - 1) + 0)/b. Solve 2*u - 3 = -i, -4*u - 8 = -i + q for u.
-1
Suppose o + o - 6 = 0. Suppose o*b - 2*b = 1. Solve l + 3*i = -1, 0*l + i = -l + b for l.
2
Let n = 36 - 32. Solve -3*w = 5*a - 22, 16 = 5*w + 5*a - n for w.
-1
Suppose 0 = 3*i + 2*w - 16, 3*w = i - 2*i + 17. Suppose x + x - 2 = 5*v, 5*v = -5*x + 75. Let d = -8 + x. Solve d*t = 2*m - 1 - 5, 4*t + i*m = -8 for t.
-2
Suppose 7*g - 6 = 4*g. Solve -x = x - 3*n + g, -x - 2*n + 6 = 0 for x.
2
Suppose 4*k - 4 = 0, -3*k = 3*c - 5*c + 121. Suppose -4*m + 25 = -5*y, -c = -9*m + 4*m - 4*y. Suppose -5*s + 10 = -m. Solve -v = 3, -s*v - 1 - 1 = 5*b for b.
2
Let l(a) = -a**3 - 6*a**2 - a - 2. Suppose 2*z - 24 = 6*z. Let r be l(z). Let d(u) = -u - 10. Let s be d(-13). Solve 4*o - 5*o = -4*j + 5, o = -r*j + s for j.
1
Let u = 21 - 21. Solve 2*g = 4*l - 0*l + 8, u = 5*l for g.
