4*j + 12 - 5, -4*u - 22 = -5*j. Let o = j - -9. Solve -l = -3*r, 4*l + o = -2*r + l for r.
-1
Suppose 0 = -4*m + 10 + 54. Suppose 3*f + 3*k + 2*k = m, 0 = 4*f - 4*k. Solve -i + 5*r - 3 = 10, 5*i + f = 4*r for i.
2
Suppose 15 = 3*d + 3*t, d - 5*t - 10 = 19. Suppose 0 = 3*m - 3*x - 43 - 2, -8 = 2*x. Let n = m - d. Solve 0 = 2*a - 4*i + 10, -2*a + 0*i = -n*i + 4 for a.
1
Let j = -13 - -10. Let v be (-2)/j + 20/15. Solve 3*i + 5 = -v*l + 21, 0 = -4*l - 2*i + 24 for l.
5
Suppose 2*m + 3*s = 18 + 7, 3*m - 3*s = 0. Solve 0 = 5*v + 2*q - 17, 2*q - m*q + 3 = 0 for v.
3
Suppose 0 = 3*h - 2*h. Suppose -u + h*n = -5*n - 25, 4*n = 2*u - 20. Solve 5*o = -x + 16, -3*o - 2*x + 4 + 0 = u for o.
4
Let l be (5/(-10)*26)/(-1). Solve -4 - 2 = 4*g + 2*a, 3*g - l = -5*a for g.
-4
Suppose 5*j + 3*h + 5 = 0, -2*j = 3*h - h + 6. Suppose -j*i = 2*i - 12. Solve -i*a + 6 = 2*u + a, -a = -3*u + 2 for u.
1
Suppose 0 = 3*p - p - 4. Let a = -4 - -9. Solve -4*h + a*f = -8*h - 25, p*f = -2 for h.
-5
Let p(j) = -j**3 + 4*j**2 + 14*j - 4. Let o be p(6). Let u = o - 6. Solve -5*t + 6*i - u*i + 9 = 0, -2*t = 4*i - 26 for t.
5
Let s(b) = 5*b + 1. Let l be s(3). Let j = 23 - l. Let w = j - -10. Solve x + 4*p = 2*x - w, 0 = x + 4*p + 7 for x.
5
Let i(s) = s + 9. Let u(l) = -2*l - 17. Let b(m) = 5*i(m) + 2*u(m). Let q be b(0). Let n = -8 + q. Solve 3*c = -2*v + 17, -2*c - n*c = 5*v - 35 for c.
3
Let j be (-2)/(-1 - 3/(-6)). Suppose o - j = -2. Solve r = o*w - 6, 0*w + 2*w = -3*r + 22 for r.
4
Let x(m) = 4*m**2 + m. Suppose -2*s - 2*b = -0*b + 12, -56 = 4*s - 4*b. Let w be 1/2 - 5/s. Let a be x(w). Solve 2*n + j - 8 = 0, -a*n + 2 = -3*j + 4 for n.
2
Let h = -5 - -9. Suppose -5 = -y + 4*t + 1, 5*t - 10 = 0. Solve u = -2*l + 1, h*u = -3*l - 0*l + y for u.
5
Let r = -3 - 4. Let u be (-74)/(-14) - (-2)/r. Solve c + 11 = -3*c - 3*w, 3*c + u = w for c.
-2
Let n(b) = 3*b - 2. Let u be n(2). Solve -2*a = u*l - 20, -25 = -5*l + 4*a - a for l.
5
Let z be 6 - (-28)/(-6) - (-2)/3. Solve -4*f = z*r + 2*r - 12, -2*f = -r + 9 for f.
-2
Let k(z) = -z**2 + 12*z - 19. Let b be k(9). Solve 5*g = 2*q + 28, -3*q - g + 0 = b for q.
-4
Let s(x) = 8*x + 6*x - 7*x. Let c = 0 - -1. Let o be s(c). Solve -4*w = 3*y + o, -4*w = -3*y + 44 - 19 for w.
-4
Let c = 5 - 15. Let q be 6/(-15) + (-24)/c. Suppose 14 - 4 = 5*t. Solve -2 = q*y - y, t*y - 21 = 5*u for u.
-5
Let i(v) = 5*v - 15. Let u be i(4). Solve 0 = -2*r + 4*g + 8, 0*r + u*r + 3*g = -6 for r.
0
Let s = -7 + 13. Let g = 9 - s. Solve g*m - 5*j = 7*m, 4*j = -2*m + 6 for m.
-5
Suppose -171 = b - 3*b - v, 0 = -2*b + 5*v + 201. Suppose -4*n + b - 12 = 0. Suppose 4*r - 21 - n = 0. Solve 3*y + 8 = -2*m, 0 = m + 3*y + r for m.
2
Let v(c) = c - 4. Let o be v(-8). Let r = 18 + o. Solve -4*d = -d + l + 10, 5*d + r = l for d.
-2
Let o = 9 - 6. Let m be o/(-12) - 13/(-4). Solve 2*r = -2*n + 4, -m*r = -2*n - n for n.
1
Suppose -2 = -4*a + 4*f - 50, -3*a + 5*f = 46. Let u = a + 10. Solve -v + u*l + 8 = -2*v, -16 = 4*l for v.
4
Let t = -1 - -2. Let s be t - 1/((-3)/6). Suppose s*c = 3*i + 6, 0 = 3*i - 5*c - 0*c + 14. Solve 30 = 5*j - 5*z, 7 = i*j - 5*z - 20 for j.
1
Let o(f) = -f**2 - 5*f - 2. Let u be o(-2). Solve -3*a = u*v - 23, -6*v + 2*a - 6 = -4*v for v.
2
Let h be 12/30 + 4/(-10). Solve h = -4*d + 20, -2*z - 4*d + 21 = d for z.
-2
Let q be 6 + -2 - 6/2. Suppose 0*o = -o + q. Solve -5*n - 2*m = 1 + 1, -5*n + m = -o for n.
0
Let f(a) = -a - 10. Let z be f(-11). Solve -m + 14 = m + 2*k, -m + 3*k - z = 0 for m.
5
Let s be 7 + (10/5)/(-1). Solve 3*i - 3*g = g - 12, 3*i + 12 = s*g for i.
-4
Let w be (-966)/(-27) + 4/18. Let t = w + -22. Solve g + 2 = -2*h + 3, 4*g - t = -3*h for g.
5
Suppose -105 = -5*a + 5*y, -33 = -3*a + 2*a - 3*y. Suppose -3*l + 3*h + 6 = 0, a = 3*l + l + 4*h. Solve -g + l = -3*g + 5*m, -5*g = -m + 10 for g.
-2
Suppose -66 = -3*h + 3*d, -4*d = -h - 2*h + 70. Suppose 24 + 15 = -3*p. Let y = p + h. Solve 5*w = -4*s + s, y*w + s = 0 for w.
0
Let y = -8 - -7. Let x be (y - -1)/(0 + 1). Solve x = -5*c - 0*t - 2*t - 35, 3*c + 3*t = -30 for c.
-5
Let f(q) = q**3 - 10*q**2 + 10*q - 6. Let b be f(9). Solve 2*l = -8, 5*l = -b*k - 3 - 2 for k.
5
Let r be 5*(1*2)/2. Let l be 6/4*(-2 - -4). Suppose -l*a - r*f = -2, -3*a = -4*f - 8 - 12. Solve 0 = 3*j - 5*v - 17, -20 = -3*j + 7*j + a*v for j.
-1
Suppose -t + 5*q - 15 = 0, -5*q + 15 = -3*t + t. Solve 4*x - v + t*v + 23 = 0, -4*x + 4*v = 32 for x.
-5
Let d(z) = -3*z - 1. Let r be d(-1). Let g(b) = b**3 - 3*b**2 - b + 2. Let y be g(3). Let p = y - -3. Solve 3*o + r*a = 4, -o + 3 = p*a - 3*a for o.
2
Let z = 541 + -246. Suppose -6 = -2*u, 4*s - 2*u - z = u. Suppose -5*w - 5*x + 4*x + s = 0, 0 = w - 5*x - 36. Solve -2*f - 3 = -3*n + 9, -4*n + w = -3*f for f.
0
Let w(f) = -2*f - 8. Let t be w(-5). Let a = 5 + -1. Solve -5*g = t*k - a, -2*g + 2*k = 3 + 1 for g.
0
Let t = -24 + 30. Solve n = 3*r - t, -5*n = -0*r - 3*r + 6 for r.
2
Suppose 0 = 2*w - 6*w. Let i(f) = -f - 5. Let r be i(w). Let k = r + 5. Solve 5*q + 5*x = 5, -2*q = -2*x - k*x + 6 for q.
-1
Let a(y) = y**3 - 4*y**2 - 2*y**3 + 7*y - 3*y**2. Let d be a(-8). Let k = 13 - d. Solve -4*x - 3 = -k*h - 30, -3 = 2*x + 3*h for x.
3
Suppose 2*w - 5*n - 20 = 0, 4*w + 3*n + 2 = 16. Suppose -14 = -5*i + 2*s, -5*s + w = 2*i - 18. Solve -o - i*h = -7, o = 6*o - h + 28 for o.
-5
Let j = -23 - -28. Solve -5*y - j = 4*r, 2*r - 2*y = y - 19 for r.
-5
Suppose -4*z + 9 = -3. Solve -z*u - 2*v - 4 = 0, 0*u + u - 2*v = -12 for u.
-4
Suppose 3*t = 4*t - 2. Let v be (-663)/(-26) + (-1)/t. Solve 5*c = 2*u + v, c + 2*u + 5 + 2 = 0 for c.
3
Let d(r) = -r. Let q be d(-6). Suppose g - q = -2*g. Solve -1 = j - g, 5*o + 26 = j for o.
-5
Let k = 10 + -6. Solve -2*m = -k*l - 2, -3*l + 0*m = -m for l.
1
Let q be 24/1*17/17. Let s be 0/2*12/q. Solve -l = 2*d - 6, -5*d + 3*d + 4*l - 14 = s for d.
1
Suppose 4*n - 28 = 3*m, 0 = -3*n - 4*m + 14 + 7. Let b = n - 3. Solve -b*a = z - 12, -18 = -3*a - 4*z + z for a.
2
Suppose -2*f + 3*f = -4*t + 11, 5*t + 5 = 0. Let m = f - 21. Let b be (-16)/12*m*3. Solve -4*z + 20 = 0, -2*n = n + 3*z - b for n.
3
Suppose 0 = -y - 3*y - 4. Let q be (-12)/(-2) - (0 - y). Solve l = -q*b - 4 - 20, 0 = 5*l - 4*b + 4 for l.
-4
Let w = 38 - 35. Solve 2*y - 3*r = 3, w*r = 3*y - 1 - 2 for y.
0
Let m = -3 + 7. Suppose 2*y + 8 = 4*s, y - m = -4*s + 2*y. Solve 0*c + 5*k - 14 = 2*c, c + 2*k - 11 = s for c.
3
Let q be 240/(-20)*1/(-2). Solve -4 = 4*c - f + 8, 2*c + q = f for c.
-3
Suppose -2*w = w - 15. Suppose w*p - 4 = 86. Solve -13 = -5*b - 4*u, b - 4*u - p + 1 = 0 for b.
5
Let i = 27 - 25. Suppose -i*u - 10 = -7*u. Solve 2*w = -4*s + 24, u = w - 0 for s.
5
Let z = 3 + -1. Suppose -2*s + 56 = z*s. Solve m - 5*r = 19, s = -2*r + 6 for m.
-1
Suppose 5 = -4*v + 25. Suppose v*j + 0 = 10. Suppose 0 = -n + 4, -12 - 8 = -4*b - j*n. Solve -4*y = 5*u - 41, 3*y - 23 = -b*u + y for u.
5
Let r = -33 - -48. Let a(z) = 3*z**3 + 2*z**2 - z. Let x be a(1). Let q = 9 - 6. Solve v + r = x*n, 4*n - 5 = -q*v + 14 for v.
1
Let j be (-5 - (4 + -7))*(-13 + 0). Solve -3*l = 2*l - 2*s - 24, 4*l - j = 5*s for l.
4
Let p = -9 - -3. Let j = p - -10. Solve r = -j*w + 12, r + 3*w - 6 = 3 for r.
0
Let u be (-6)/(-8)*2*-2. Let n = 3 + u. Solve n = -5*o + 15 + 5, -i - 2*o = -9 for i.
1
Suppose -3*d - 40 = 4*l, 5*d = -3*l - 0*l - 63. Let k be (-4)/d*6 - -3. Solve -k*w = 20, 2*w + 12 = -5*x + x for x.
-1
Let h = 3 + -24. Let b = 21 + h. Solve 2*s + 2*y - 4 = -b*s, 2*y - 8 = 0 for s.
-2
Suppose -5 = -6*m + m. Suppose m + 5 = 2*i. Solve 5 = -2*k + 5*d + 15, 5*k - i*d = 25 for k.
5
Suppose 3*b + 11 = 4*r, -2*r + 25 = -10*b + 15*b. Solve -4*k = -r*o + 11, -2*k - 10 = 2*o - 0*k for o.
-1
Let r = 10 - 3. Let g = 7 - r. Suppose 2*y - 3*y - 4 = 0, g = -3*c + y + 13. Solve -2*h = c*h - 2*b + 27, 0 = 3*h + 3*b + 12 for h.
-5
Let p be 3/5 + 138/(-30). Let h = p - -8. Solve -r - 3 = 0, 1 + 6 = -t - h*r for t.
5
Let c(j) = -17*j - 51. Let i be c(-3). Solve -q - 3 = i, 3*m + 3*q = -0*m for m.
3
Let b = -55 - -59. Let t(q) = -q**2 - 8*q + 9. Let w be t(-9). Suppose w*f = -2*f. Solve f = 2*i + b, 3*l + 1 = -2*i + 3*i for l.
-1
Suppose -5 = -2*g + 9. Let o(l) = -l**3 + 7*l**2 + 4*l - 3. Let r be o(g). Solve 5*p - 4*f - r = 0, -8 = -4*p + p + f for p.
1
Suppose 21 = 2*t + t. Suppose -3*k = -2 - t. Suppose 0*v = 3*v. Solve 0 = -2*r