(j) = 5*j - 7. Let h be z(2). Solve 0 = 4*r - 0*r - 3*x + 13, h*r = -4*x + 9 for r.
-1
Suppose -4*u + 47 + 13 = 0. Suppose -5*v - 2*c = -9, 3*v - u = -0*c + 2*c. Solve 2*p + v*g + 0*g - 4 = 0, -2*g = 2*p for p.
-4
Suppose -67 + 51 = -4*z. Let i = 4 - 3. Let x(t) = -2*t + 14. Let c be x(6). Solve 3*m = -c*h - 16, -4*h + 7 = -z*m - i for m.
-4
Let g(o) = -11*o - 215. Let s be g(-20). Solve 3*b + 4*i - 5*i = 8, 24 = b + s*i for b.
4
Let c = 5 + -2. Let t(y) = 6*y - 4. Let d be t(c). Let r = d + -12. Solve -r = -3*z + 5*p - 13, -4*p + 2 = z for z.
-2
Let m = -1294 - -1308. Solve -5*f + m = 4*u, -u + 3*u - 3*f = -4 for u.
1
Suppose l - 2 + 5 = 0, 5*y - 5*l - 40 = 0. Solve 4*f = -f + 5*o + 10, -3*f = -y*o for f.
5
Suppose -6*b - 169 + 25 = 0. Let q = -20 - b. Suppose 0 = q*s - 9 - 3. Solve s*f = 2*x + 4*f, 4*x - 12 = -5*f for x.
-2
Let g = -115 - -121. Solve 0 = 5*t - u - 24, -2*t = g*u - u + 12 for t.
4
Suppose -4*o + 6*z + 4 = 4*z, 3*z = -2*o + 18. Solve 2*d - 5*r = 1 + 6, o*d + 5*r + 27 = 0 for d.
-4
Let l(a) = -a**3 - 7*a**2 + 6*a + 45. Let t be l(-7). Solve 5*f = t*u - 0*u + 22, -24 = -4*f - 4*u for f.
5
Let p be 2/2*57/3. Solve 2 = 2*f + g - 3*g, -2*f - 5*g - p = 0 for f.
-2
Let b = 44 + -11. Let g = b - 20. Solve -5*i - 4 = -3*j - 1, -4*j + i - g = 0 for j.
-4
Suppose -5*n = -63 - 17. Suppose 13*d = 10 + n. Solve -2*t - 1 = 2*t - k, d*t = -3*k + 3 for t.
0
Let p = -9 - -15. Let t be (-10)/5*(36/8)/(-3). Solve i - 6 + 1 = t*x, 5*i = -4*x + p for x.
-1
Let r = -251 - -252. Solve -r = k - 2*y, 2*y - 11 = 5*k - 2*y for k.
-3
Suppose 4*m - 4*r - 8 = 0, m = -4*r + 2*r + 11. Solve -2 = -m*k + 2*g, -2*k = -3*g + 8*g - 24 for k.
2
Suppose 2*h = -h + 6. Let p = h + 7. Let m = 13 - p. Solve 0 = -3*v - 3*a, -21 = m*v - 3*a - 0*a for v.
-3
Suppose -4*n + 12 = -n. Suppose -2*t + 16 = 2*o, 11 + 5 = n*o. Solve -3*b - b = -4*a + 8, 8 = t*a + 4*b for a.
2
Let a be ((-6)/(-4))/((-15)/(-20)). Solve 5*q + y = -8, 2*y - a = q - 2*q for q.
-2
Let t = 1 + -1. Let b(c) = 2*c**3 + 7*c**2 - 33*c - 15. Let l be b(-6). Solve t = 5*w + 5*q + 8 + 12, -l*q = -3*w + 12 for w.
0
Suppose 3*h - 10 = -b, 10*b - 18 = -5*h + 9*b. Let r = 10 + -6. Solve 0 = -h*v + 5*d + 15, -2*d - 7 = -v - r*d for v.
5
Suppose 13*c + 6 = 16*c. Let b be 10/((3 - c) + 1). Solve b = q + 3*l, -q + 4*l - 6 = -3*q for q.
-1
Let s(u) = -u + 18. Let p be s(14). Solve 0 = 5*r - p*q + 20, r + 3*r - 5*q = -25 for r.
0
Let j(b) = b**2 - 3*b + 1. Let c be j(2). Let i be ((-2 - -4)*c)/(-1). Let n be (2/(-6))/(2/(-30)). Solve 25 = 5*v + 5*q, -2*v - i*q = -n*v for v.
2
Let g = 10 - 20. Suppose -2*u + s - 29 = -0*s, -3*s = u + 18. Let r = g - u. Solve n + 3 = 4*c, r*n = 2*c + 4*n - 3 for c.
0
Let d(o) = -o**2 + 6*o. Let h be -15 + (0 - 3) + 3. Let b = h + 20. Let t be d(b). Solve p = 4*i + 23, -t*i - 4*p = -2*i + 3 for i.
-5
Suppose -7*q + 612 = -13*q. Let z = 106 + q. Solve 0 = z*x + 2*c - 3*c - 18, 3*c = 6 for x.
5
Let s = 91 - 54. Suppose -5 = -y, h + 2*y - s = -2*y. Let c be (-36)/63*49/(-7). Solve -2*z + 2*g + 0 + 4 = 0, g = c*z - h for z.
5
Suppose 0 = 3*t + t - 16. Suppose -20 = -5*p - 5*o + t*o, -20 = 4*o. Suppose 2 = v, 14 = p*w + 5*v - 11. Solve i + w*i + u + 13 = 0, 2*u + 12 = -i for i.
-2
Let k(p) = -p**2 - p + 1. Let z(n) = -8*n**2 + 4*n - 2. Let s(m) = 3*k(m) + z(m). Let c be s(-1). Let t = c - -12. Solve -o - t = -l - 5, 2*o + l + 4 = 0 for o.
0
Let u = -2158 - -2162. Solve 5*w - 5*o = 10, u*w + o - 24 = -3*o for w.
4
Suppose 5*t + 5*z = 8*z + 51, -2*t = -4*z - 12. Solve -4*x + 3 = h - 3*x, 0 = -4*h - 2*x + t for h.
3
Let q(a) = 31*a - 19. Let m be q(3). Suppose m*u - 75*u + 1 = 0. Solve 3*i - 2*i = -o + u, -2*o + 4*i = -20 for o.
4
Let v(r) = -5*r + 7. Let c be v(4). Let p = c + 13. Let j be (-2)/(-3) + (-4)/(-3). Solve 0 = 3*d + 15, -d + p - 3 = j*i for i.
1
Suppose -11 = 3*z + 5*a + 30, z + 2*a = -13. Let i = 20 + z. Solve 2*o - r + 0*r - 3 = 0, -i*r = 3*o for o.
1
Let d(n) = -2*n + 20. Let u be d(0). Suppose -u = 4*q - 3*b, -2*q = -b + 4*b + 10. Let x be -1*(q - (1 + -4)). Solve 5*c = y + 7, -3*y - x*c + 15 = c for y.
3
Suppose -66 = 5*o + 59. Let c = -20 - o. Solve -c*x = -2*x + 5*f + 20, -x - 3*f = 8 for x.
-5
Suppose -63*f = -20*f + 28*f. Solve 5*y + 3*p + 9 = -0*y, f = 4*y + 4*p + 12 for y.
0
Let j be 70/7*3/5. Let c be 0/2 - 1 - -4. Suppose -c*y = 2*y - 15. Solve -b + 2*g = y*b - 8, 2*g + j = 2*b for b.
1
Suppose 2*u = -2*u. Suppose 2*a - 4*a + 6 = u. Solve -2*s - 3 = 5*z, z = -a*z + s + 8 for z.
1
Let a(m) = -2 + 2*m**2 + 2 + 2*m. Suppose 4*b + 17 = -3*n, 3*n + n + 12 = 0. Let d be a(b). Solve -y + 4 = f, -d*y = y + 2*f - 23 for y.
5
Suppose 9*p - 58 = 1067. Let m = p - 122. Solve -4 = m*r + 2*z, -2*r - 4*z + 4 = r for r.
-4
Let x = -31 + 36. Suppose 0 = -x*m + 15 - 5. Solve -3*z = -z + 4*f, 0 = -m*z - 5*f - 1 for z.
2
Suppose 0 = -11*k + 32 + 34. Solve -r = -2 + 3, 0 = x - 4*r - k for x.
2
Let b(s) = s**2 + 11*s - 2. Suppose 2*n - 2 = -20. Let h be b(n). Let c be h/(-3) + 6/18. Solve 0 = 3*q - 2*l - c, -11 = -4*q - 0*l + l for q.
3
Suppose -5*a + 3 = -4*b, -7*b + 6*b = 5*a - 18. Solve -4*m + 11 = g, -2*m + b*g - 13 = -4*m for m.
2
Suppose 5*p = k + 161, -5*k + 2 - 7 = 0. Let f = 60 - p. Solve 34 = -2*i + 4*r + 10, 0 = -4*i + 4*r - f for i.
-2
Suppose -5*v + 31 = -4*v. Let w = v - 29. Solve 5*n - 1 = -3*s, -2*s + 2 + 0 = w*n for n.
-1
Let z be (15/12)/(18/72). Solve 0*d = -3*d - 5*m + 9, d - m + z = 0 for d.
-2
Let i be -8*(-2 + 3)/(-4). Let j(b) = -3*b - 3. Let s be j(-4). Let q = s - 5. Solve 5*y + 1 - 8 = -i*d, -q*y + 24 = -3*d for d.
-4
Suppose 6*l - 1116 = -1104. Suppose 0*w - 4*w + 12 = 0. Solve -l*m + 30 = m - w*s, -4*m + 3*s = -35 for m.
5
Let c = -56 - -64. Suppose -4*y = -4*y + c*y. Solve -5*u - 26 = 2*o, y*o + o - 17 = 5*u for o.
-3
Let s be -4*(-3 - (-76)/24)*-6. Solve 5*q + 9 = c - 0*c, -s*c + 19 = -3*q for q.
-1
Let r(u) = -8*u + 24. Let k be r(3). Solve -3 = -3*w + 6*w + 3*p, w + 4*p + 16 = k for w.
4
Suppose 0 = 5*u - 0*u - 30. Suppose -2*c = -4*c + u. Solve 3*o - 21 = 4*g + g, c*g + 7 = -o for g.
-3
Suppose 15*t - 7*t - 9*t = 0. Solve -c = 4*m - 18, t = 2*c + 3 + 1 for m.
5
Suppose 131 - 131 = 10*j. Solve 2*b + 14 = 4*b - 2*s, 4*b + 5*s + 8 = j for b.
3
Suppose -2*y - 11 = -1. Let i be (-18)/y - 0 - 2/(-5). Solve 10 = 5*n + d, -i*n - 5*d = -7*n - 22 for n.
1
Let t(u) = -14 + 4 + 8 + u. Let f be t(7). Solve f*c = -5*d - 25, -3*d - 11 = -2 for c.
-2
Let b be 2/14 - 280/(-98). Suppose 0 = 10*f - 53 + b. Let v(o) = -o**3 + 5*o**2 - o + 1. Let g be v(3). Solve t = f*h - 18, -3*h - t + g = t for h.
4
Let q = 29 - 29. Suppose 3*j = -q*j + 12. Solve -2*a - 2*v - 9 = a, 2*a - j*v = -22 for a.
-5
Let o(c) = c + 2. Let d be o(5). Suppose 144 = -2*p - 4*p. Let r be d/((-28)/p) + -3. Solve -a + 2*b + r*b = 9, 0 = a + 3*b - 7 for a.
1
Suppose 0 = -4*f + 5*o + 27, -o - 3 + 15 = 5*f. Suppose -40 = -f*z - 2*h, -4*z = -2*h - h - 25. Solve v = 5*d - z, 0 = d + 2 - 3 for v.
-5
Let k = 15 + -5. Suppose -3*j + 25 = -v + 3*v, 2*v = k. Solve -5*o + j*s = -4*o + 8, -6 = -o - 2*s for o.
2
Suppose 6*l - 10*l = -f - 11, -l - 5*f = -8. Solve 2 = m + x, l*x = 4*x + 1 for m.
3
Let w(n) = -26*n - 23. Let d be w(-1). Solve -b = -3*k + b + 18, -d*b - 5 = k for k.
4
Let q be (-18)/(-5) - (-12)/30*1. Solve 10 = q*c - 2*s, 0 = c - s - 2*s for c.
3
Let g be 4 + 86*(-4)/(-8). Let u = g - 27. Solve 4*x - 4*p + 26 = 2*x, -u = -4*p for x.
-3
Let v = -4 + 7. Suppose 0 = 3*p + 4*p - 343. Suppose 4*l = s - 15, -4*s - 2*l = -7*l - p. Solve v*m - s = -4*b + 8*b, -m + b = -2 for m.
-3
Let p = -36 + 43. Let x(d) = d**3 - 7*d**2 - 2*d + 17. Let l be x(p). Solve -l*k = -0*k - 2*z - 4, k - 5*z + 16 = 0 for k.
4
Let a(c) = c**3 + 6*c**2 - 5*c + 19. Let y be a(-7). Solve 0 = y*v - 25, 2*p - 3*v + 15 = 6 for p.
3
Let j = -39 + 43. Suppose u + 3*a - j = 0, 3*u + u = -4*a + 16. Solve -14 = 3*h - q, h + 20 = -2*h + u*q for h.
-4
Suppose -2*l - 4*c = 14, -4*l + 3*c + 0*c - 17 = 0. Let a be 0 - 0 - (-2 + 3 + l). Solve -k + 5*x - 16 = k, -16 = -a*x for k.
2
Suppose -5*s + 21 = 2*b, 2 + 10 = 3*s + b. Solve -3*i = -2*q - 14 + s, 0 = -5*i - 5*q + 10 for i.
3
Let w(f) = 9*f - 3. Let m be w(3). Let l be (19/2)/(((-665)/(-38))/35). Solve -l = 5*r + 5*t - 59, 2*t - m = -4*r for r.
4
Suppose 4*s - 3 - 13 = 0. Suppose 10*z = s*z + 30. So