 -j - s*n - 3 = 0, 3*j - 4*n + 9 = -n for j.
-3
Let t = 23 - 19. Solve 0 = -i - i - 3*c - 17, t*i = -c - 9 for i.
-1
Let u(z) = 6*z**3 - z**2. Let m be u(1). Solve b - 3*d = 2, 5*d - 29 = -m*b + d for b.
5
Let z(i) = i + 17. Let w be z(-13). Solve 3*u - 4*k - w = 0, -u - 2*k + k - 1 = 0 for u.
0
Let j = -43 - -46. Solve -3*f - 24 = j*i, -9 = i + 5*f + 15 for i.
-4
Suppose -4*r = 3*z - 18, 4*z = -z - 10. Solve 3*o + 2*g - 7 = r*g, -2*g = -3*o - 1 for o.
-3
Let m(t) = -t**3 - 7*t**2 - t - 6. Let j be m(-7). Let w be ((-2)/4 + j)*6. Let k be (7 + -2)*(-1 + 2). Solve y - k*p = -w + 11, -3*p - 9 = -2*y for y.
3
Let r = -86 + 91. Let i = -13 - -21. Solve r*y + 28 = 3*p + p, -2*p = 3*y + i for y.
-4
Let l be 0/(-4) + -2 - -37. Let s be (-2)/7 - (-710)/l. Solve 2*u = 5*g - 8, 0 = -g + 5*g - 5*u - s for g.
0
Let o(g) = -g**2 - g + 1. Let l be o(-1). Solve 2*k + 5 = k - 2*j, j + l = -2*k for k.
1
Let w = -3 + 3. Suppose w*l + 24 = l. Suppose -v - v = -l. Solve 2*k + 3*o = 2, 4*o - v = -5*k - 0*o for k.
4
Suppose 2*y - 15 = -3*y. Suppose -2*u + 6 = -5*c, -y*c + 5*u - 7 - 8 = 0. Solve 5*t + 3*v - 7*v = c, -2*v = 4*t for t.
0
Suppose -6*z + 65 = -31. Suppose -1 = -4*p + 15, 0 = b + 3*p - 17. Solve 5*i + z = 3*q, 0*q + 5 = -b*q + 2*i for q.
-3
Let i(q) = 2*q**3 - q + 3. Let m be i(0). Solve m*t + 3*n = 2*n - 12, 0 = -5*t + n - 20 for t.
-4
Let m(p) = p**3 + 11*p**2 - 11*p - 1. Let i be m(-12). Let q = 18 + i. Solve 0*a - q*n = a, -5*n = 0 for a.
0
Let l = -9 + 11. Let d = 0 + 0. Solve 2*f + 0 - 6 = d, l*f = -k + 3 for k.
-3
Suppose 5*c - 14 = 6. Solve -3*d - 8 = -23, -2*d - 6 = c*t for t.
-4
Let v be ((-144)/(-20))/(1/5). Suppose -t = t - v. Solve -4*r + 2*b = -t, 5*r - 6 - 11 = -3*b for r.
4
Let b be (-6)/(-14) - (-53)/7. Suppose 2*s - 2*f + 14 = 4*s, -4*s + 2*f = 2. Suppose 6 = 2*h + s. Solve -3*p + w = -b, -16 = -3*p + h*w - 3 for p.
1
Suppose -16 = -4*r - r + 3*i, r = -3*i - 4. Suppose -6 + r = -t. Solve -s + 2 = g, -s - 8 = -g - t*s for g.
-1
Let c be (2/(-7))/((-9)/63). Solve c*h + x - 3 = 0, 2 = 3*x + 5 for h.
2
Let g be (-8 - -11)*(-1)/(6/(-10)). Solve -2*n - 5*a + 8 = -2*a, -5*n + g*a + 20 = 0 for n.
4
Let u be (0 - -2) + 0 + 0. Solve -b + 5 = -2*x, b - 5 = 3*x + u*x for b.
5
Suppose 4*s = 5*j - 17, 0 = 3*j - 7*j - 2*s + 24. Solve 0 = -j*i + 4*d + 3, 3 = 3*i - 3*d for i.
-1
Let q be (-4)/(-14) + (-2)/7. Suppose 3*p = -2*p + 20. Suppose -8 = -p*j + 16. Solve 2*v = 4*b - 6 - 8, -4*v - 3*b - j = q for v.
-3
Suppose m - 3*w - 19 = 5*m, -5*m + 4*w + 15 = 0. Let f be (2/4)/m*12. Let j be 40/(-15)*f/4. Solve 0 = 5*b + j*y + 28, -5*y - 4 = -3*y for b.
-4
Let k = 12 - 5. Let g be (1 - 0) + -1 - (8 + -19). Let h = g - k. Solve -4*z + 12 = -z, -5*s - h*z = -41 for s.
5
Let x = 0 + -12. Let g be (-3 + 1)*x/8. Solve 4*m + g = 3*u - 4, -u = -5*m - 17 for u.
-3
Suppose -24 + 6 = -b - 5*l, 2*l = -b + 9. Solve -b*x + 3*r + 15 = r, r = -3 for x.
3
Suppose -x = 5*y + 1 + 20, -y = -5*x + 25. Let w be (-25)/(y + 3 - -1). Solve -5*k + l + 0*l = -29, k - 5*l = w for k.
5
Let x = -21 - -28. Let a = -7 + x. Solve 29 = -5*m + 2*z, -z = -a*z - 2 for m.
-5
Suppose 0 = -2*y - 4*c + 12, -3 = -y - 5*c + 6. Suppose y*h + 0*h = 24. Solve -3*f = 3*u, 3*f - h = 4*u + 4*f for u.
-2
Suppose 0 = 3*r + 2*c - 10, 8*r = 3*r + 5*c. Solve -r*p + 12 = 3*q, -2*q + 20 = 2*p + 3*q for p.
0
Suppose -3 - 1 = -4*r. Solve -r = -2*u + 3*l, -u = -0*l - l - 2 for u.
5
Let w be ((-27)/(-6))/(6/8). Solve 4*j - 2*t = -w, -18 = 4*j - t + 3*t for j.
-3
Let d = 0 - -6. Suppose 2*t = d*t. Let j = 2 + 1. Solve t = -4*n + 5*q - j*q + 2, -n + 2 = -2*q for n.
0
Suppose -3*q = 5*u - 31, -2*q - 3*u = -4*u + 1. Suppose q*h - 5*o + 15 = 3*h, -5*h - 4*o = -33. Solve v - h*x = 8, 5*v + 5*x = 6 + 4 for v.
3
Let d be -2 + 4/(0 - -1). Solve -3*b + d*z - 9 = 0, -4*b + 2*b = -3*z + 11 for b.
-1
Let b = -4 + 5. Let j(g) = 19*g**2 - g + 1. Let a be j(b). Solve -24 = 5*x - 4*r, x - a = 5*x - 3*r for x.
-4
Let h(c) = c**2 + 7*c + 8. Let s be h(-7). Let d = -74 + 78. Solve -4*m + m - 6 = -d*b, 4*m + s = -4*b for b.
0
Let s be (-1)/4 - (-72)/32. Solve -s*o - o - 20 = -4*x, -x + 5 = 5*o for x.
5
Let f(c) = -c**3 + 8*c**2 - 5*c - 9. Let q be f(7). Solve -5*x = 4*i - 0*x - 37, -i = q*x - 28 for i.
3
Let j = -2 + 4. Let a(n) = -n**3 - 2*n**2 + 1. Let u be a(-2). Let o be (j - 2) + 4 + u. Solve 0*d - l - 19 = o*d, -17 = 5*d + 3*l for d.
-4
Let z(s) = s**2 - 8*s - 6. Let o be z(9). Solve 4*l = o*d - 3 - 1, -4*d + 5 = -5*l for d.
0
Let j = 11 + -7. Solve h - 1 = j*v, -5*h = -v - 11 - 13 for v.
1
Let k = 0 + -4. Let j = k + 6. Solve 2*o = -j*o - 8, -5*y - o = 22 for y.
-4
Suppose 3 = x - 3. Suppose -f + x = -0. Suppose -u = u - f. Solve 1 = -4*j + u*c - 12, j = -c - 5 for j.
-4
Suppose 9*n = 8*n. Solve 2*s = -s + z - 6, -s + z - 4 = n for s.
-1
Let z be -2*(-1 - 11/(-2)). Let k = z + 13. Suppose 0 = -k*x + 18 - 6. Solve -10 + 0 = -x*y + 5*j, 0 = -2*y + 4*j + 6 for y.
5
Let b = -46 - -68. Let o(g) = -g + 6. Let x be o(6). Suppose 48 = 2*l - x*l. Solve 2*p + 3*v = -b, 5*p + l = p - v for p.
-5
Let y = -12 + 53. Suppose a + 28 = 2*m, 23 + y = 5*m - a. Solve 4*v + 0*v = 3*o + 9, m = -4*o + 2*v for o.
-3
Suppose -10 + 0 = -5*d. Suppose -d*b - 3*t + 20 = -8, -2*t + 32 = 3*b. Solve -6*s + 2*s - 11 = c, -2*s = b for c.
5
Let v = -5 + 7. Suppose -p + 15 = p - 5*q, 24 = 2*p - v*q. Solve 0*b = -3*b, p = 3*y + b for y.
5
Let l be (1/(-3))/(1/(-12)). Suppose c = l*c. Suppose c = -3*v + 8 + 1. Solve 3*z = -v*j + 27, -2*j = 5*z - 5 - 28 for j.
4
Suppose 5*a = u + 12, 2*a - 9 = 4*u - 5*u. Solve 2*j = 2*b - 8, 2*j + 3*b + 28 = -u*j for j.
-5
Suppose -9*j - m + 16 = -4*j, -j - 8 = 3*m. Solve 0 = g + j*z + 18, 0*z = -z - 5 for g.
2
Let u(b) = -b**2 - 6*b - 4. Let d be u(-3). Solve 3*x + 4*t - 28 = 0, 3*t - 36 = -d*x - t for x.
4
Let g = 7 + -5. Let u(a) = a**3. Let k be u(1). Let h be k/g*(47 - 1). Solve 3*l - 13 = 2*r, 4*r - 3*l - 2*l = -h for r.
-2
Let p be (10/15)/((-6)/(-45)). Suppose p*k - 19 = -4*j + 18, -21 = -2*j - 3*k. Suppose -2*t - 3*t = 0. Solve -2*s + 22 = -5*i, i + j = -t*i - s for i.
-4
Let d = 3 + -1. Solve -2*s + 10 = a + a, -10 = -3*s + d*a for s.
4
Let t(p) = -p**3 - 3*p**2 + 2*p - 4. Let a be t(-4). Let h(r) = -2*r - 5. Let v be h(-6). Let y = -8 + 15. Solve -5*f = -a*x + y, 4*f = -x - 0*x + v for f.
1
Suppose -13 + 76 = 3*s. Let d be (-18)/(-4)*154/s. Let o = 0 - -8. Solve -4*m = -3*w + o, -3*m - 2*w = -10 + d for m.
-5
Suppose 63 = -a + 67. Solve -a*w + 12 = 2*l, -2*w - 10 = -3*l - 0 for l.
4
Let u = 17 + -10. Let h = u + -2. Suppose 2*j = -3*z + 18, 3*z - 3*j = h*z - 17. Solve -2*y + 12 = -3*t - 2, z*t + 20 = 3*y for y.
4
Suppose 5*b + 6 = 26. Solve 5*j = -25, -b*m = -2*j - 8 - 2 for m.
0
Let i = 45 - 45. Solve 4 = 3*z + 4*c, i*c = -c + 1 for z.
0
Let k(c) = -c**2 + 8*c - 1. Let r be k(7). Let g(p) = 10*p**2 - r + 8*p + 5 - 6 + p**3. Let b be g(-9). Solve b*s + 19 = -3*q - 6, 4*q = -s - 25 for s.
-5
Let m(d) = d**3 - 8*d**2 - 7*d - 17. Let s be m(9). Solve 4*p - 2*r + 5 + 5 = 0, r - s = 0 for p.
-2
Suppose -4*m = x + 2, 2*m - 6 = x - 5*x. Solve -x*h + 4*o = 2, -2*o - 2 = -3*h - o for h.
1
Let g(s) = 2*s + 1. Let l be g(1). Let n be -2*l/6*-3. Let r be (-20)/6*(-6)/5. Solve r = n*y - 2*w, 3*y + 6*w - w + 31 = 0 for y.
-2
Suppose 7*o - 12 = 5*o. Suppose i = -i + o. Solve 4*g = -t - 8, -3*g - i*t + 3 = -0 for g.
-3
Let g(m) = -m**2 + 5*m + 1. Let x be g(3). Suppose -x = -5*n - a + 11, 3*n + 2*a - 8 = 0. Solve 12 = -2*b + k, n*b = -0*b + 5*k - 36 for b.
-4
Let n = 14 - 2. Solve 0 = 2*f - 2*l - n, -2*f - l + 6 = -0*f for f.
4
Let i = 15 + -6. Suppose -2*f = -5*f + 27. Let s = f + -6. Solve 2*a = s*h + 6, -3*a = -2*h - h - i for a.
3
Let v(g) = -3*g - 45. Let a be v(-21). Solve 0 = -2*u + 2*i - 8 - 6, -2*u = -3*i + a for u.
-3
Let t = -24 - -34. Suppose 0 = -5*b - 2*h + t, b - 4 = h + 5. Suppose c + 2*f - 10 = 0, c - 5*f + 18 = -0. Solve 1 = -5*z - b*r - 2, 0 = c*r - 6 for z.
-3
Let r(d) = 5*d**3 + d. Let q be r(1). Suppose q*y = 3*y. Solve -g = -4*t - y*t + 2, 4*t - 12 = -4*g for t.
1
Let d be (-52)/(-6) + 4/12. Suppose 0 = z - a - 2*a + d, z = -4*a + 12. Suppose z = -2*i + 2 + 2. Solve s + 0*s = -i*c + 2, -2 = -s for c.
0
Let a = -41 + 46. Solve -5*r = -4*q - 37, 2*r - q - 8 = a for r.
5
Let l(d) = -2*d**3 + 13. Let u be l(0). Solv