y = 8 for j.
5
Suppose 2*k + 5 = -1. Let c be (-5 - k) + 10/2. Solve 2 = q + c*s, -3*s + 3 = q + s for q.
-1
Suppose -3*q - 16 = 2*h, 6*q - 3*q - 5*h - 19 = 0. Let n be (-483)/(-12) + q/8. Solve -2*g = 3*g + 5*d + n, -10 = 5*g - 5*d for g.
-5
Suppose 5 = -3*s - 13. Let a be ((-9)/6)/(s/8). Solve 2*o + a*c - 2 = -c, 5*c = -5*o + 10 for o.
4
Let g be 2/6 + (-13)/3. Let j be g/(-3)*(-36)/(-4). Solve 1 = -z + 3*r - 3, -z = 5*r - j for z.
2
Let f be ((-8)/10)/(4/(-10)). Solve 3*b + 2 = 5*y, -2*y + 3*b = f*y - 1 for y.
1
Let o = -34 - -17. Let u = o - -22. Solve 0 = -2*k + 3*z - 0 + u, 1 = k - 3*z for k.
4
Let h = -19 + 25. Suppose -3*k - h = 5*c, -5 = -k + 3*c + 7. Solve 0*b - 1 = 3*a - b, k*b = -4*a + 3 for a.
0
Suppose y + 3 = 5*r - y, r + 5*y = 6. Let d be r + 2/4*2. Let u = -14 + 16. Solve -c = 5*x + 6, c - d*c + u = x for x.
-2
Let x be 145/40 - (-3)/8. Solve -2*h = -2*g - 2, g + 10 + 0 = x*h for h.
3
Let c be (-2)/4 - (-21)/(-6). Let j = 9 + c. Solve 0*o - 4*h = 2*o + 6, -2*h = j*o + 7 for o.
-1
Let x(o) = 6*o**2 - o - 1. Suppose -2*y - 1 = 1. Let q be x(y). Suppose -12 = 2*u - q*u. Solve -4*r + 4*j + 12 = 0, -3*r + 4*j = -4*r + u for r.
3
Let h be -4*(-2 + (-9)/(-6)). Suppose -1 = h*n - 9. Solve n*f + 0*f = -2*x - 6, -3 = x for f.
0
Let j(h) = -h**3 + 9*h**2 + 2*h - 9. Let p be j(9). Solve 2*c - 12 = 5*i, p = -3*i - 2*c + 5*c for i.
-2
Suppose 10*p - 6 = 14. Solve -o + 3*o = -p*g - 2, 0 = -5*o - 5 for g.
0
Suppose -h + 16 = 3*u, -5 = 5*h + u - 29. Solve h*o - j - 18 = 0, 0*o = -o + 5*j - 5 for o.
5
Let d(l) = l + 1. Let r(i) = -2*i - 1. Let v(y) = -5*d(y) - 4*r(y). Let w be v(9). Let j = w - 15. Solve 2*k = -3*x - j, -2*x + 7 = -4*k - 3*x for k.
-1
Let l(h) = 3*h**2. Let k be l(1). Solve -k*z - 4*f = -5, 3 = z - f - 1 for z.
3
Suppose -2*m - 6 - 6 = 0. Let q be 22/6 - (-4)/m. Solve -4*x = -q*x + 3*l - 9, -4*l = -x - 12 for x.
0
Let c = -7 - -11. Suppose c*r + 64 = 5*r. Suppose -4*y + 4*f + r = 0, 2*y + 3*f + 60 = 6*y. Solve 4*d - i - 12 = 0, -2*d = 2*d + 3*i - y for d.
3
Let u(c) = c**3 + 6*c**2 + 5*c + 5. Let o be u(-5). Solve -5*w + 25 = -o*q, 0*q + q + w = 5 for q.
0
Let n(v) = -v**3 + 7*v**2 + v - 7. Suppose k - 3 = 2. Suppose 2*z - k*z + 21 = 0. Let p be n(z). Solve 2*c - 13 = m - 0, p = -5*m + c - 20 for m.
-3
Let f be ((-2)/5)/(2/(-30)). Suppose l = 4*l - 9. Solve f = -l*x + 15, 4*x - 32 = 4*k for k.
-5
Suppose 3*a + 5 - 22 = d, 5*d = -5*a - 5. Suppose -3*x - 24 = -7*x. Suppose x + 14 = 4*s, 3*s - 35 = -a*b. Solve -4*o - 9 = -i - 4*i, b*o - 15 = i for o.
4
Suppose 2*c - 9 = -3. Let j(w) = w - 3. Let p be j(c). Solve 3 = -3*s - 3*n - p, -3*n = 0 for s.
-1
Let v be ((-81)/6)/(6/(-8)). Solve v = -2*g - 5*d, 7 + 18 = 5*g - 5*d for g.
1
Let r = -6 + 9. Suppose -2*c - 2*s - 55 = r*c, -s = -2*c - 13. Let p = -7 - c. Solve -p*u - 3*w = -0*w - 6, -5*w + 23 = -u for u.
-3
Let w = -8 - -11. Let s = w - 1. Solve 0 = 4*x - s*p + 14, -3*p = 2*x + 1 + 18 for x.
-5
Let b = 175 + -172. Solve 4*a + 28 = -4*y, a - y + b*y = -12 for a.
-2
Let j = -6 + 9. Let o be 1 + (-3 - -2) + 16. Solve -o = 5*r - j*c, r + 0*r + 4*c + 17 = 0 for r.
-5
Suppose 88 = 4*h - 0*h. Suppose 0 = -n + 4*n - 4*r - h, -16 = -2*n + 3*r. Solve s - 2*x = 5 + 7, -n*x = 2*s for s.
4
Suppose 4*g - 4*z = 48, -29 = -5*g - 5*z + 11. Let j = -2 + g. Solve 3*f + 3*p + 23 = j*p, 0 = -4*f - 4*p + 12 for f.
-1
Let s be 1/((-2)/5*5/(-26)). Solve 5*w - r + s = 0, 2*r - r = 4*w + 11 for w.
-2
Let m(u) = u - 6. Let g be m(8). Suppose 0 = g*r - 7*r + 30. Solve -r = -4*k - 5*l, -5*k = -l + 5*l - 3 for k.
-1
Let m be (-2 - (-43)/7) + 4/(-28). Solve -m*h = h - 2*d - 15, 5*h = -d for h.
1
Suppose 2*o + 4 - 10 = 0. Let w = -2 + 5. Let p = 7 - w. Solve 5*b - 8 = o*b - 2*i, -p*i = -b - 16 for b.
0
Suppose -4*p - 3*p + p = 0. Solve 5*c - 6 + 30 = 2*x, p = -c + 3*x - 10 for c.
-4
Suppose -2*k = -3*k. Let w be (-2 - 20) + (2 - k). Let j be (w/(-6))/((-6)/(-9)). Solve 2*t + 2*i = -4, 0 = -2*t - t + j*i + 34 for t.
3
Let i(r) = r**3 + 4*r**2 + r - 3. Let t be i(-2). Solve 0 = -4*x + 2*w + t*w - 12, 5*x + 15 = 2*w for x.
-3
Suppose 21 = 5*q - 0*z - 2*z, 6 = -3*q - 5*z. Let i = 6 - q. Solve -2*j + i*f + 8 = 0, -4*j - 3*f - 5 = -21 for j.
4
Let d = 25 + -22. Solve 0 = -d*p - 2*b + 12, b = 5*p - 7 - 13 for p.
4
Suppose -15 = 2*z - 3*z - 2*m, -2*z = -2*m. Solve o - 3 = 3*o + 3*r, -z*o = -r - 1 for o.
0
Let u be 3*1 - (2 + -2). Suppose 5*b - 42 = 18. Solve 4*z + 13 + 2 = 5*m, 4*m = -u*z + b for z.
0
Suppose 2*j - 6 = -2. Let g = j + -2. Solve -34 + 4 = b + 5*h, g = -4*b + 4*h for b.
-5
Let u be -4 - (-13 - (-4 + 0)). Solve -u*p - 5*g + 5 = -0*p, -5*p + 3*g = -21 for p.
3
Let y = 23 - 13. Let b = y - 6. Solve b*s - 10 = 2*o - 0, 4*s - 4*o = 12 for s.
2
Suppose -3*g - g + i = -18, 10 = 5*i. Suppose 0*o - 110 = -g*o. Solve 2*k + 14 = 4*v, -2*v + o - 3 = -5*k for k.
-3
Let j be (-1)/(1/3) - -6. Suppose 2*t + t - j*g = -9, -4*t + 2*g - 2 = 0. Solve 10 = -2*b + t*i, -i = -3*b - 3*i for b.
-2
Let q be ((-15)/12 - -1)*-4. Let r be 4 + 0/q - 2. Solve d + 4 = r*g + 17, 1 = d + g for d.
5
Let y be ((-6)/(-8))/(((-6)/8)/(-3)). Solve -5*z = 4*i - 29, 7 = y*z - z - 3*i for z.
5
Let i(h) = h**3 - 6*h**2 + 5*h - 7. Let x be i(5). Let b(g) = -g**3 - 6*g**2 + 8*g + 7. Let l be b(x). Solve n + 4*f + 0*f + 22 = l, -n - 2*f - 12 = 0 for n.
-2
Suppose -5*a + 102 = -i, 3*a = 8*i - 3*i + 70. Solve 4*g + 0*w = 3*w - a, 4*g + 16 = 2*w for g.
-2
Let v be (-8)/(-4) + -1 + 3. Solve 3*z - 15 + 0 = 3*m, 2*z = v*m + 10 for z.
5
Let v(i) = i**2 - 12*i + 5. Let z be v(12). Suppose 0 = 2*j + u - 3, 0 = -z*u + 3*u - 2. Solve 0 = 4*c + t - 15, 4*c + t + j*t - 21 = 0 for c.
3
Let z(g) = -g**3 + 6*g**2 - g - 5. Let d be z(5). Solve 0*x + 4*x + d = -t, x + 5*t = -18 for x.
-3
Let p(y) = y**3 + 6*y**2 - 7*y + 6. Let c be p(-7). Solve 2*o = 5*x, x = -2*x - c for o.
-5
Let b(r) = -3*r - 6. Let a be b(-4). Let q be (-2)/4 + 3/a. Let d(n) = 26*n**2 + n + 1. Let w be d(-1). Solve k = -3*f - k - 7, q = -f + 5*k + w for f.
1
Suppose 0 = 2*g + g - 48. Let y = 45 - 40. Solve -y*o - r = 3*r - g, -5*r + 3 = 2*o for o.
4
Let c(i) = i**2 - 7*i - 24. Let u be c(10). Solve -4*k - 20 = -4*j, u*j + 1 = -5*k + 5*j for k.
-1
Suppose 0 = -4*a - 7 + 27. Suppose a*v + 20 = 3*h, -v = -3*h + 6 + 34. Let y be (2 + -1)*(8 + -2). Solve -2*x = -i - y, 0 = 3*x - h - 0 for i.
4
Let o = -2 + 2. Let v be ((-1)/2)/((-2)/16). Let g be 2/4 + 46/v. Solve -4*s + g = -4*l, o = 2*l + 3*l - 2*s + 21 for l.
-5
Let o be 1 + 10 - (-3)/(-1). Suppose 0 = -i - i + o. Solve -p + 2*q - 1 = 0, -i*p + 1 = -3*q - 0 for p.
1
Suppose -5*k = -6*k. Solve 0 = s - 2*t + 6, -4*s + 2*t + t - 9 = k for s.
0
Suppose -7 + 1 = -3*k. Suppose -2*r + 16 = k*r. Solve -3*v + 25 + 5 = -3*a, 0 = a - r*v + 25 for a.
-5
Let l = -65 - -67. Solve j = -s + l, -4*j + 3 = -s - 5 for s.
0
Let p = 11 - 8. Suppose -p*w - 4*i + 65 = 0, 35 = 2*w + 2*i - i. Solve 3*d = -4*r + w, -4*r + r + 5 = d for d.
5
Suppose -3*v - 8*f = -3*f + 10, 4*v - 10 = -2*f. Let l = -1 + v. Let w be (l - 4)*2/(-2). Solve -3*m + k + 4 = 0, w*m - 4*k - 7 = -3*m for m.
1
Let x(j) = j**3 + 21*j**2 - 25*j - 31. Let r be x(-22). Suppose 0 = -3*w + 12. Solve r = 3*p + w*a, -p - 2*a - 5 = -20 for p.
5
Let q(o) = -o**2 - 7*o. Let k be q(-7). Suppose t + u = -k + 12, 3*u = -2*t + 26. Suppose -2*y = -4*y + t. Solve 2 = y*b + 2*s - 4*s, -4*b + 12 = s for b.
2
Let p be 4/(-10) + (-27)/(-5). Let x(m) = -2*m + 14. Let f be x(5). Solve 1 = -p*w - 4, -w = f*b + 1 for b.
0
Let l = 8 - 6. Let z be (-1)/2 + (-9)/(-2). Solve -o - z*q + 4 = -3*o, l*o - 20 = -4*q for o.
4
Let i(d) = -d**2 - 7*d - 1. Let p be i(-7). Let k = p + 6. Suppose -8 = -z - 2*l, -4*l + 3*l = 4. Solve m - 2*w = 4*m + 12, 0 = -4*m - k*w - z for m.
-4
Suppose -6 = -3*m + 9. Solve -16 = -5*n - 3*v, -3*n + 1 = -5*v + m for n.
2
Let v = 107 - 107. Solve v = -4*p + 4*u - 8, 0 = -4*p - 6*u + u - 26 for p.
-4
Suppose -m + 14 = -1. Solve 2*n + 5*b = -m, -b = 3*n + 2*b + 9 for n.
0
Let v be (3/3)/(2/4). Let l = -3 + 3. Suppose l = r - k - 15, -k - 2 = -0. Solve -4*x + c = -5*x + 2, -v*x + r = -c for x.
5
Let c be ((-3)/2)/(6/32). Let f = 10 + c. Solve -8 = -2*q - f*z, -3*q + 8*q + 3*z - 10 = 0 for q.
-1
Let w = 166 + -163. Let j = 0 + 17. Solve -o + 4*b + 6 = -j, w*b = 2*o - 21 for o.
3
Let f = -56 + 59. Solve -23 =