 10, -3*w + 2*x = -i*x + 6 for w.
-2
Let s be 2/(-18) - (472/(-36) - 2). Solve -s = 3*q, -4*t + 5 = -q + 4*q for t.
5
Let q(p) = 3*p**3 + 4*p**2 + 8*p + 13. Let t be q(-6). Let c be t/28 - 1/(-4). Let v = -14 - c. Solve 2*h + v*b = 18, -h + 0*h + 12 = 4*b for h.
4
Let z(j) = -4*j**2 - 39*j - 15. Let k be z(-9). Solve 0 = 4*o + 4*g - k, 32 + 3 = 5*o - 5*g for o.
5
Suppose -15*k - 24 = -21*k. Solve r + k*r - 45 = 5*m, -5*r = 4*m for r.
4
Let c be 15/(-10)*40/(-12). Suppose 88 = 4*r + p, 0*r = 5*r + c*p - 110. Solve 3*k + 0*k = -2*o - r, -4*k - 2*o = 26 for k.
-4
Let c be 3/54 - (-2012)/72. Solve 0 = -4*t + 4*g + c, 3*t - 30 + 6 = 4*g for t.
4
Let s(d) = -d**2 + 1. Let y be s(0). Let z be y/3*0/(-3). Let t be z - (12 + -4)/(-4). Solve 2*x - 30 = -5*k, -3*k + 0*x = -t*x - 2 for k.
4
Let z(t) = -33*t + 102. Let i be z(3). Solve -5*x + 2*f = 0, 5*x + i*f + f = -30 for x.
-2
Let m = -11 - -20. Let t = m + -6. Solve 0*v = 4*b + 5*v - 10, -t = b + 4*v for b.
5
Suppose j + 1 = -3*n - 2, 3*j - 19 = 5*n. Let h be (9 - 12)*(-2)/j. Solve 2*f - 10 = 0, -a - 2*f = -h - 11 for a.
3
Let z be (-3 - (-111)/9)/((-2)/(-3)). Solve -u = 4*s - 10, -2*s + u = 2*s - z for s.
3
Let c = 59 + -57. Let d be (10/4*c)/((-10)/(-50)). Solve -5*l + y = -4*y - d, 7 = 3*l + y for l.
3
Let a(v) = v**3 + 8*v**2 + 6*v - 3. Let s be ((-35)/20)/((-1)/(-4)). Let o be a(s). Let p be 0/2 - (-39 + -1). Solve n = -5*u - 32 + 2, p = -o*u - 4*n for u.
-5
Let w be (14 + -4)*1/2. Suppose 0 = -5*m + w*z + 70, z = 6*z + 25. Solve 6*v - v = 20, -l = 2*v - m for l.
1
Let r(a) = -a**2 - 6*a - 3. Let q(g) = -2*g - 1. Let y(o) = 17*q(o) - 6*r(o). Let z be y(-1). Solve 1 = -2*c + 2*l - 9, -z*c - 3*l = 17 for c.
-4
Suppose a = -5*a + 60. Let b(q) = 3*q - 25. Let l be b(a). Solve t - l = -4*h, 0*t = 2*t + 2*h - 10 for t.
5
Let p = 17 - 16. Solve -3*d + 4*d - p = 0, 14 = -3*f - d for f.
-5
Let t be 1 + (-3)/(12/(-112)). Suppose -11 = 2*o - t. Solve 0 = 3*b + o, -h - 15 = 2*h + 4*b for h.
-1
Let p be 437/5 + (-6)/(-10). Suppose -5*a = 2*k - 2 + 112, 2*k = 4*a + p. Let r = 38 + a. Solve 5*f = -m - 10, -4*f + m + r = -3*m for f.
-1
Suppose -4*u + 18 = p, 5*u - 3*p - 9 = 5. Solve -5*a - u*v + 2*v + 14 = 0, 4*v + 2 = 5*a for a.
2
Suppose -14*u = -9*u - 10. Solve 3*m = 2*x + 2, -u*m + x = -1 - 2 for m.
4
Let x = -16 - 8. Let q = x - -26. Let n = -4 + 8. Solve q*j + 4*f - 20 = 0, j + 9 = n*j - f for j.
4
Let q be ((-9)/12)/(3/660*-5). Solve 2*n = 4*r + r - q, -3*n + 5*r - 37 = 0 for n.
-4
Let n = 5 + -1. Let u(w) be the third derivative of w**4/24 - w**3/3 - 2*w**2 + 7. Let b be u(n). Solve q + 15 = 5*v + 45, 0 = -b*q - 4*v - 10 for q.
5
Suppose -2*x = 4 - 6. Let b be x*((2 - 1) + 1). Let u be (-21)/(-56) - 42/(-16). Solve -b*w = 3*a + u, 5*a - 3*w + 10 = -14 for a.
-3
Let r be 12/(2 + 0) + (-3 - 0). Suppose -2*d + 20 = r*d, 5 = u + d. Solve f + 5*x = x - u, -5*f + 18 = -3*x for f.
3
Let b = 1217 + -1182. Solve -2*q = 5*o + 33, -3*o - q = -16 + b for o.
-5
Let d = -30 - -29. Let g be d*(2 - -2) - -55. Suppose -l + 4*l = g. Solve 5*v + 3*h = -l, -5*v + 2*h = -3*h - 15 for v.
-1
Suppose -4*c + 4*p + 4 = 0, 2*p + 12 = -0*c + 4*c. Suppose 0 = -7*o + 6*o + c. Solve 4*n - 5*q + 10 = 0, 3*n - o*q + 10 = 5*n for n.
0
Let i = 33 - 32. Suppose -4*q + 13 = i. Solve -3 - 4 = 2*p + q*o, 3*p - 2*o - 22 = 0 for p.
4
Let j(u) = -6*u - 10. Let v(w) = 7*w + 10. Let y(a) = 6*j(a) + 5*v(a). Let n be y(-20). Solve -8 = -4*k, -2*s - n = -6*k + 2*k for s.
-1
Let v = -28 - -31. Solve 0 = -3*d - 2*h - 1, -4*d = -v*d + 2*h + 7 for d.
3
Suppose 3*s = j, 7*s - 2*s - 10 = 0. Let t(y) = -y + y + y - 6. Let g be t(j). Solve l + 2*r + r = 18, g = -4*l + r + 7 for l.
3
Let l = -3 + 11. Let x(k) = 2*k - 21. Let t be x(13). Suppose 0 = -3*u - 0*u + 5*s + 21, -4 = -t*u - 2*s. Solve j = u*a + 2*j - l, 0 = 4*j for a.
4
Let x = 32 + -29. Let d = -11 - -7. Let n be (d/6)/((-32)/240). Solve -n*y - 5*r + 10*r = 20, -y = -2*r + x for y.
-5
Suppose 3*s + 2*s = 25. Suppose -2*u - u = 3*m + 6, 2 = -s*u - 3*m. Solve -5*d + 3 - u = -x, 0 = 2*d for x.
-1
Let z be 100/28 - (-16)/(-28). Solve z*t - 3 = 2*d, d + 1 + 3 = -t for t.
-1
Let h be 2*2 - (-15 - -16). Suppose -2*z = q - 11, -h*q + 23 = z + q. Let b = 1 - -1. Solve -4*a = -3*f + 14, -b*a = z*f + 2*a + 26 for f.
-2
Suppose h - 3005 = -3001. Solve h*i = b - 2*b + 15, 3*b = 2*i - 11 for i.
4
Suppose -3*i = -c + 2 - 0, 4 = 2*c - 3*i. Let a be 1*(c - 0 - -2). Solve 0 = -m + w, 8*m + 3*w = a*m for m.
0
Suppose 5*t + 25 = 5*x, 6*t - 2*t = -2*x - 8. Suppose 0 = -x*g + 3*g - 7. Solve 5*f = -4*d + 28, 0 = g*f - 2*f - 5*d - 10 for f.
4
Let j = 94 - 102. Let s(f) = -3*f - 22. Let y be s(j). Solve -x = y*g - 11, -2*x + 3*g - 6 = -0*x for x.
3
Let r = 1 + 1. Suppose j = -r*j. Suppose -14*d + 1225 = 1197. Solve d*c = z - j*c + 9, c = 3*z + 2 for z.
1
Let c(h) = h**2 + h + 25. Let a be 0*(-2 + 12/8). Let u be c(a). Let g be (1 - 1)/(11 + -13). Solve g*n + 4*n - 5*y = -u, n - y = -5 for n.
0
Let f = -171 + 173. Solve -2*a = 4*j + 22, f*a = -a - 5*j - 30 for a.
-5
Suppose 5*m + 16 - 116 = 0. Let l be ((-140)/42)/(5/(-6)). Suppose -l*c - c - x = -m, 5*c = -5*x. Solve 3*p - 2 = -4*k - 26, 4*p + c*k + 31 = 0 for p.
-4
Suppose x = -q + 4, x + 14 = -2*q + 3*q. Let i = q + -6. Solve r = i*m - 2*r + 18, 5*r = 3*m + 26 for m.
-2
Suppose -4*t = 4*s - 8, -3*s = -8*s - 3*t + 14. Let c = 1102 + -1100. Suppose -s*l + 5*l - c = 0. Solve 3 = d + 4*h, -5*d - l*h + 10 + 5 = 0 for d.
3
Suppose -9 = 4*n - 3*v, -n + 12 = 6*v - 2*v. Solve n = -3*g - 3*y + 15, 9 = 5*g + 2*y - 13 for g.
4
Let m be 2 - 2/4*0. Let o = -10 - -14. Suppose 12 = 5*u - 4*y, 4*u + 1 - 25 = -o*y. Solve 4*h + 3*r + 9 + m = 0, u*r + 6 = -h for h.
-2
Let x = 1064 + -1062. Solve 3*b + x*b - 2 = 4*r, -5*b - 7 = -r for b.
-2
Let l(k) = 77*k. Suppose z + 4 = 3. Let i be l(z). Let u be (-4)/22 + (-322)/i. Solve 4*d - 12 = -3*x, 0*x - 9 = -u*x - 3*d for x.
0
Let t(f) = f**2 - 6*f - 70. Let i be t(12). Solve -3*o - i*o + 3*r = -10, 4*r = 0 for o.
2
Suppose 24 = q - 2*q. Let a be q/(-9)*(-12)/(-8). Suppose 0*n + 2*n = -5*m + 11, -m + 13 = a*n. Solve r - 4*r + 5*b + 6 = 0, -r + n*b = -2 for r.
2
Suppose -5*i + 13 + 2 = 0. Suppose 3*w - i = 2*w. Solve 2*s + a + 1 = 0, 0 = 5*s - w*a - 2*a - 35 for s.
2
Let r(u) be the first derivative of 4*u**3/3 + 2*u**2 + 4*u + 21. Let t be r(-2). Solve 4*y + 2*c = -12, 3*y - 4*c - 1 = t for y.
-1
Suppose -17*z + 1 = -84. Let h be 1*-3 - -4*10/z. Let o be ((-6)/4)/((-2)/12). Solve o = -4*c + n + 2*n, h*c = -n + 3 for c.
0
Let d = 30 - 21. Let a be (-6)/d - 48/(-18). Suppose 4*y = a*y. Solve y = -v + 3*v - n - 6, -v + 3*n = -3 for v.
3
Let g(b) = -b**3 - 16*b**2 - 17*b - 26. Let d be g(-15). Solve -2*i + 5*y = -25, d*y = 4*i - 9*i - 20 for i.
0
Let z(f) = f**3 - 8*f**2 + 3. Let m be z(8). Let u(i) = -3*i + 0*i + i**2 + 2 - m - 2*i**2. Let o be u(-2). Solve 3 = -3*d + 5*r, d - 2*r + o = 3*r for d.
-1
Suppose -15 = -4*x - x. Let i = x + -13. Let y be (-2)/(-3)*(-75)/i. Solve -6 = -y*o - 2*m, 2*o + 5*m + 8 = o for o.
2
Let t be -16*(12 + -12 - (-21)/(-12)). Solve -4*r = -4*j + t, 0 = j + 5*r + 8 - 3 for j.
5
Let z = 156 - 149. Solve -4 = 4*t - 4*x, z*t + 2*x = 6*t + 2 for t.
0
Let m(x) = -10*x + 100. Let w be m(10). Solve w = -5*d - 3*f - 14, -2*d - d + 5*f = 22 for d.
-4
Suppose -172 + 64 = -4*w - 4*y, -w + 33 = 3*y. Solve -2*o - 4*v + 18 = 0, 5*v = -5*o + w + 6 for o.
3
Suppose -3*y = -7*y + 24. Let u(c) = 3*c + c**2 - 3 + 2 + y - c. Let r be u(3). Solve z - 3*o = -4*z + 20, -5*z - r = 5*o for z.
1
Let r = 10 - 7. Solve -20 = -2*f + r*f - 5*k, f + 5*k = 10 for f.
-5
Let n(a) = -4 + a - 3*a + 0*a + a. Let x be n(-5). Suppose -3*m + 31 = -5*g, -3*m - x + 2 = g. Solve -4*t = -m*l - 18, 9*l + 25 = 5*t + 4*l for t.
4
Suppose -2*h - 2*h + 3*c = -14, -4 = -h + c. Solve 2*y + 3*l - 2 = -h*y, -4 = -y + l for y.
2
Let n(p) = -55*p**3 - 2*p**2 + 1. Let h be n(-1). Suppose 0 = 6*d - 3*d + h. Let b = d + 22. Solve 3*z + 4*v = 2*v - 8, -b*z - 3*v - 10 = 0 for z.
-4
Suppose 5*q + 4*v = 24, 0 = 5*q + 2*v - 14 - 8. Let z be 1 + (q - 8) + 5. Solve -2*f = -z*y + 6, 0*f - 5*y = 2*f + 20 for f.
-5
Let z(n) = n**2 - 3*n + 16. Let h(w) = -w - 1. Let l(f) = 5*h(f) + z(f). Let x be l(8). Solve 5*p = 3*u - 2*u + 3, -5*u - p + x = 0 for u.
2
Let i(c) = -c**3 - 2*c**2 + 4*c