olve -q*k - 4 = 5*n, 2*k = 4*n + 9 + 15 for k.
4
Suppose -j - j + 18 = -4*l, 0 = 4*j + 3*l + 8. Let s be (-60)/(-36) + (j/(-3))/(-1). Solve -s*z - y = 8, -z - 4*y + y - 9 = 0 for z.
-3
Let g = 788 - 784. Solve -g*l - 5*k = -5, 18 = 3*l - 2*k + k for l.
5
Let x(h) = -h**3 - 13*h**2 - 10*h + 13. Let a be x(-12). Let k(y) = 3*y + 33. Let z be k(a). Solve -5*j = -z*i - 4*i - 24, 3*j - 14 = 2*i for i.
-1
Suppose 0 = -2*s - 2*s + 2*b + 12, s - 3*b = -7. Suppose 2*j + 3 = -5. Let z be (4/j - 2) + 5. Solve 3*o + m + s = -5, -2*m = z for o.
-3
Let m = 60 - 60. Let w(c) = -c**3 + 9*c**2 - 4*c + 10. Let i be w(7). Suppose i = -m*z + 4*z. Solve r + 2 = k, -4*r - k + z - 3 = 0 for r.
3
Let q(g) = 7*g**2 + 18*g - 20. Let s be q(1). Solve 0*a + 22 = 4*a + s*r, 13 = a + 5*r for a.
3
Let i be (-1768)/32 - 1/(-4). Let m be (1 - -1)/((-22)/i). Solve -4*h - m*s - 25 = 0, 4*h = -4*s + 7 - 27 for h.
0
Suppose -5*s = -3*m - 29, 0 = 26*s - 24*s - 3*m - 17. Solve -t - 3*x = 5, s = 5*t - 3*x + 11 for t.
-2
Suppose f + 326 - 351 = 0. Solve 2*r + 2*c - 2 = 0, f = -3*r + 5*c - 12 for r.
-4
Let c = 359 - 355. Let j = -1 - -5. Solve 3*f - 25 = -c*b, -f + 4*b = 3*f + j for f.
3
Suppose 0 = 367*l - 372*l + 80. Solve -7*y + l = 4*d - 3*y, d = 3*y - 16 for d.
-1
Suppose h - 7*u = -2*u - 3, -1 = -h + u. Solve h*w + 3*v + 4 + 3 = 0, 0 = w + 3*v + 2 for w.
-5
Let f(i) = -i**3 + 13*i**2 + 30*i + 5. Let a be f(15). Solve 4*y - l = 2*l + 19, -a*l = -2*y + 13 for y.
4
Let u = -979 + 984. Solve 28 = -u*c + 3*i, 4*i + 28 = -5*c + 7 for c.
-5
Let w(f) = f + 22. Let q be w(-12). Suppose -l - q = -14. Suppose 10 = -l*z + 6*z. Solve 0 = 2*v - j - z, -j = -2*v - 3*j + 2 for v.
2
Let z be 0/1*(-1)/1. Suppose z*p - 20 = -4*p. Suppose 6*a = p*d + 3*a - 30, 3*d + 5*a + 16 = 0. Solve -4*q + 3*q + 2 = -d*k, -6 = -3*q for k.
0
Let r(w) = w**3 + 11*w**2 - 10*w + 22. Let l be r(-12). Let c be (l + (-55)/(-20))/(1/4). Solve -k - 10 = -c*k - 3*a, -a + 8 = 3*k for k.
2
Let k(x) = -2 - 8 - 2*x + 1. Let j be k(-5). Suppose -10 = -d + 5. Solve 4 = t - i, 4*t + 4*i - j = d for t.
4
Let o = 637 - 638. Let b(k) = -7*k**3 + 2*k + 1. Let r be b(-1). Let f be (r - 2)*o*-1. Solve -6 = -5*y - 4*a, -5*y - f + 14 = 5*a for y.
-2
Suppose -11 = -4*h + 1. Suppose -c = h*c. Let s = -13 + 17. Solve 4*o + 6 = -q, s*o + c*o = -4*q for o.
-2
Suppose 9*n - 6*q + 28 = 14*n, 5*n - 13 = -q. Solve -n*j + 4 = f, 0 = -3*j - f - 6 + 10 for j.
0
Suppose -4*m - 2*z - 20 = 0, -4 + 19 = -3*m - 4*z. Let q = m - -5. Let y = 5 + q. Solve 0 = -4*a - 8*k + 4*k + 28, -4*a - 17 = -y*k for a.
2
Let w(f) = -f**3 - 20*f**2 - 48*f + 56. Let r be w(-17). Solve 2*o = -b - 3, 2*b + 2*b + o = -r for b.
-1
Let v = -797 - -800. Solve p + z = -1, 0*p - v*p - 4*z - 4 = 0 for p.
0
Let o = 169 - 169. Solve o = -x + 4*c + 13, 4*x - 2*c = c for x.
-3
Suppose 14*v - 17*v - 4*t = -42, 3*v - 15 = 5*t. Solve 12*l - 2*o + v = 7*l, -5 = -2*l - o for l.
0
Suppose 39 - 7 = 8*l. Solve -w + 16 = -l*r, 3*r + 2 = r + 2*w for r.
-5
Let u(i) = i**2 + 20*i - 572. Let x be u(-36). Solve -3*w + x = 4*r, 4*w - w = 5*r + 22 for w.
4
Suppose 4*h - 3*o - 56 = 5*h, -3*h = 2*o + 140. Let r be 1 - (2 + h/4). Suppose 2*l = x, x + 2*x = -4*l + r. Solve 0*i - 9 = 4*m + 5*i, 3*m + 2*i - x = 0 for m.
4
Let x be 3*(20*(-3)/(-18) + 1). Solve 2*w + o + 0*o = -7, 5*o = 2*w + x for w.
-4
Suppose -q - 6 = -3*v, -3*v + 0*q + 6 = 3*q. Let c = -286 + 288. Let a = -8 + 10. Solve t - a*t - c = -s, -v*t = -s + 6 for t.
-4
Let o(i) = 2*i**2 - i. Let p be o(-1). Let j be 1*2/(3/p). Let k = j + 0. Solve 35 = 5*n + 5*l, 5*n - k*l = l + 11 for n.
4
Let s = -785 - -787. Solve -5*c = -10*c - 25, 0 = -s*f - 2*c - 8 for f.
1
Let c be (5 - 2)*(-109 - -110). Solve 0 = d - 2*x + c + 2, -2*d = 4*x - 22 for d.
3
Suppose -21 = -10*v + 29. Solve -v*b - 2*d + 21 = 4, 5*b - d = 14 for b.
3
Let y(k) = -k**2 + 4*k + 47. Let u be y(-5). Solve -3*z + 5*p + 25 = u*z, 0 = -2*z - 5*p + 10 for z.
5
Let u(z) = -2*z**3 - 13*z**2 - 7*z - 3. Let w be u(-6). Solve 5*j + 17 = 4*n, 0 = -n - w*n - 5*j + 7 for n.
3
Let q(l) = 6*l**2 - 2*l. Let m be q(2). Let r(u) = -3*u + 65. Let t be r(m). Solve 4*p = t*b + p + 34, p = -b - 2 for b.
-5
Suppose 11 = 2*b + 5. Suppose z - b*j = -3*z + 9, 2*z = 3*j + 3. Solve a = 2*m - 4, 2*a + 0*a - 20 = -z*m for m.
4
Suppose -255 + 253 = -b. Solve -b*o - 20 = 4*i, -o - 7 = -0*o + i for o.
-4
Let w = -2154 - -2159. Solve 1 = w*x - 8*m + 10*m, 3*m = 9 for x.
-1
Let y be (-8)/6*(-1386)/264. Solve -z + 3*z - 3*x = y, 4*z + x + 7 = 0 for z.
-1
Let j(n) = -n**3 - 25*n**2 + 23*n - 48. Let a be j(-26). Let r be (4 + a/(-4) + 3)*-10. Solve -1 = -c + r*y, 4*c + 4*y + 15 = 5*y for c.
-4
Suppose 8*s - 11*s = 24. Let r be 1*s*(-1)/2. Solve -2*h = r*g + 4, g - 2*h + 14 = -4*g for g.
-2
Let w be (-8 - 28/(-7)) + 9. Solve 7 = -4*z + z + j, z - 3*j = -w for z.
-2
Suppose 8*u = 4*u - 2*v + 18, -3*u = -3*v + 9. Suppose -4 = -2*a - 2*q, 3 + 1 = -u*a + 2*q. Solve a = -3*z - 3*t - 6, -5*z + 2*t - 1 = -5 for z.
0
Suppose 31 = 8*t - 1. Suppose -24 = -5*l + t*l. Solve -4*p + 0 = 4*g + l, p + 3*g = -16 for p.
-1
Let u = -701 + 706. Solve -3*d - 12 = 0, 2*d + 3 = -3*x + u*d for x.
-5
Let s be 0/1*(-1)/(-3). Let t be s*15/20*4/6. Solve 3*m = -t*c - 5*c - 17, 4*m = -c for c.
-4
Suppose -16 = -2*m + 2*d, d = -0*m - 4*m + 7. Suppose 0 = -3*l - m, -5 = -5*q + 4*l + 9. Solve 0*a - 5*a = q*j - 2, a - 2*j + 2 = 0 for a.
0
Suppose -18 = -5*b + 2*q, -100 = -3*q - 112. Solve 3*y - 3*m = -2*m + 2, -4*y + b = -m for y.
0
Suppose -3*m + 40 = -5*q, 20 + 5 = 4*m - q. Suppose 2*x - m = k, 2*x + 0*x + k = 3. Solve -4*w + x*i - 5*i = 8, 5*w + 3*i + 10 = 0 for w.
-2
Suppose -11*z + 144 = -3*z. Solve 2*d - 3*r = -19, 0*d - d = 4*r - z for d.
-2
Let u be ((-208)/24)/(1/(-3)). Suppose 0 = 9*d - u - 10. Solve -2*j - 3*j = -3*v - 23, d*v - 8 = -3*j for j.
4
Let v(m) = -m**2 - 43*m + 470. Let z be v(9). Solve 0 = -5*b - z*d + 4, b = -3*d + 5 + 1 for b.
0
Let u = -142 + 146. Solve 2*z = -4*l - 2, 0 = -u*l - z - 7 for l.
-3
Let t(y) = -y + 8. Let v(f) = 2*f**2 + 2*f + 1. Let g be v(-1). Let l = 3 + g. Let s be t(l). Solve 5*q = -2*h, -s*q - q = h - 5 for q.
2
Let u(x) = x**2 - 10*x + 29. Let g be u(9). Let s = g - 14. Solve 0 = 2*q + 4*m - 26, s*m - 24 = -4*q + 5*m for q.
5
Let u(p) = -12*p - 11*p**2 - 1 + p**3 + 1. Let l = 39 + -27. Let j be u(l). Solve -5*v = -j*v - n - 5, -10 = -v + 2*n for v.
0
Suppose 0 = -2*t + 2*u - 86, 2*u - 115 = 3*t + 9. Let d = t - -28. Let h be (-6)/(-15) + (-36)/d. Solve 4*v = h*m - 16, 2*v + 12 = 2*m - v for m.
0
Suppose 0 = 30*n + 14*n - 5*n. Solve o = 3*j + 2*o - 6, n = -o for j.
2
Let j = 333 - 317. Solve -j = -2*t - 4*g, -2*g = 1 - 9 for t.
0
Suppose 3*l = 4*h + 2, 0 = -7*h + 5*h - 4. Let g be 1*l - 14/(-2). Solve -5*r - j + 6*j = -30, j = -g*r for r.
1
Suppose 4*l + 5 = 5*q, 26 = -5*q + l + 46. Solve -3*n = j - 5*n - 2, -n = j - q for j.
4
Let c = 75 + -59. Let q be (-14)/2 - (2 + -5). Let r be 11/6 + q/(-24). Solve -6*m + 8 = -2*m + r*z, -4*z = -m - c for m.
0
Suppose -43*a = -27*a. Solve -5*u = -6*q + 2*q - 7, a = -q - 2*u - 5 for q.
-3
Let x be (-14)/(-4) + (-6)/(-4). Solve -5*g - 5 = 3*d, 0*g = x*g - d + 25 for g.
-4
Suppose -b - 4*b - x = 41, 2*b - 3*x = -13. Let h be b/(-5) + (36/(-15))/4. Solve 3*y = 4*j - 2 - 4, 5*y = 3*j + h for j.
3
Let h be (8/(-10))/(-7 - (-231)/35). Solve h*d - d + 2*i + 3 = 0, 1 = i for d.
-5
Let r(s) = -s + 8. Let u be r(3). Suppose -d = u, -4*d = -4*w - 13 + 49. Solve 4*t = w*p + 2 - 22, -2*t - 5*p = 3 for t.
-4
Let m(s) = -2 + 4 - 3*s**3 - s + 4*s**3. Let x be m(0). Suppose 4 - 10 = -x*r, 3*r = 4*j - 7. Solve j*z = -c + 13, -5*z - 2*c = -11 - 3 for z.
4
Let n be ((-2)/8)/((-3)/(-12)). Let i be (n + (-1 - -3))/(-1) + 5. Solve -3*v + i*q + 3 = 0, -v + q + q = -1 for v.
1
Suppose 3 = u - 0, -5*u = -5*l - 15. Solve y = -l*y - 5, -y = 3*d - 10 for d.
5
Let x(g) = g**2 - g - 1. Let t be x(-1). Let b(z) = 7*z + 1. Let m be b(t). Suppose -4*a + m = -0. Solve -5 = l, a*r - 2*l - 2*l = 12 for r.
-4
Let y = -38 + 22. Let a be -35*(y/(-10) - 2). Let d be 78 - 68 - (-3 - (-8 + -2)). Solve -5*s - d*m + a = 0, -2*s + s - 5*m = -16 for s.
1
Suppose 3*u - 4*z + 12 = 0, 2*z = u - 5*u + 6. Suppose 4*q + u*y = 2*y + 2, 3 = -4*q + 3*y. Solve -4*w = -d + 17, -w + 6 = q*d - 6 for w.
-3
Let p = -17 - -3.