t x = -197 + 200. Solve -x*p + b = 11, 2*p - 3*p + b = 1 for p.
-5
Let z(k) = k**2 - 7*k - 34. Let o be z(13). Suppose -o = 22*u - 26*u. Let p(j) = -j - 2. Let n be p(-4). Solve -8 = n*t, 0 = 5*d - 4*t - 20 - u for d.
3
Let x(k) = k**3 - 7*k**2 + 4*k + 8. Let n be x(6). Let o be (0 - -3)/((-6)/n). Solve -4*q - 6 = 2*y, -22 = -2*y + o*q + q for y.
5
Suppose 3*g + 31 = 2*t, -10 = -5*t - 4*g + 56. Suppose 3*f + 2*p = t, -p - 2 + 0 = -3*f. Solve 14 = -5*o - 2*i, f = 6*o - 2*o - 5*i for o.
-2
Suppose -4 - 2 = -2*s. Let f be (28/8 - 0)*6. Let n be (f/(-18) - (-1)/2)*-3. Solve 2*q + 0*t - 3*t - 5 = 0, s*q = n*t for q.
-2
Suppose 53*n - 36 = 44*n. Solve -9 = 3*y - n*f, -4*y + 6*y + 5*f - 17 = 0 for y.
1
Let o = -17 - -39. Let k = 26 - o. Solve k*n - 3*l - 24 = 0, -n - 5*l = 12 + 5 for n.
3
Suppose 0 = 4*k - 1 + 161. Let s = 45 + k. Solve -s*l = -5*t + 10, -l = -4*t + 2 - 3 for t.
-1
Let b = -2 - -4. Suppose -b*l + 11 - 3 = 0. Let v = -76 - -80. Solve 5*o = -3*p + 18, -4*p - v = -l*o + 4 for p.
1
Let o(a) = 11*a + 45. Let y be o(-4). Let k be (-10)/y*(-5)/25. Solve 5*r = 2*f + r + 10, -r = -f - k for f.
1
Let u be (-1)/(((-28)/(-70))/((-8)/10)). Solve -5*h + 2*r = -u*r + 2, -2*h = -2*r for h.
-2
Suppose 14*p = 10*p + 60. Suppose t = -13 + p. Solve 0*d - t*d + o - 9 = 0, 4*d - 3*o = -23 for d.
-2
Let k = -2 + 5. Suppose k*t - 15 = 0, 5*v + 4*t - 30 = 3*t. Suppose 3*r - 43 = -13. Solve -v*o + r = -u, 4*o - 4 - 20 = 4*u for u.
-5
Let o = 9 + 6. Suppose -2*h + o + 11 = 4*k, 4*h - 28 = -2*k. Solve -5*d + k = 3*i, -i - 2*i = -4*d - 13 for i.
3
Suppose 21*n - 151 = 22*n. Let u = n + 153. Solve u*h = -c, -5*c + c = 2*h + 6 for c.
-2
Let i(l) = l**2 - 8*l - 5. Let s be i(7). Suppose -2*z - 5*j = 44, 3*z - 3*j + 43 = j. Let f = s - z. Solve -9 = -2*v + h, v = -0*v - f*h - 23 for v.
2
Suppose -4*j + 12 = 6*y - 10*y, -10 = -2*j. Solve -5*a = -y*a + 3*v + 6, 0 = v for a.
-2
Let y(r) = r**3 - 8*r**2 + 6*r - 33. Let b be y(8). Solve -a = a - 5*n - 6, 3*n = -5*a + b for a.
3
Let w(s) = -22*s + 2. Let q be w(-1). Let p = 29 - q. Suppose 0*c + p*i + 5 = 2*c, 5*i - 45 = -3*c. Solve -3*t = -2*v - c, -2*v + 4 = 5*t + v for t.
2
Let g(u) = -9*u - 10. Let l be g(-6). Suppose 0 = a - 3*a + l. Suppose z = -5*j - 0*z + 24, -4*j + 2*z = -a. Solve 2*p - 13 = p - j*d, 5*p = 2*d + 11 for p.
3
Suppose -j = 3*j - 16. Suppose -2*c - 60 = -u, -5*u + 270 = j*c - 16. Suppose -u = x - 3*x. Solve 0 = 4*y + 4*n - 28, -2*n - x = -5*y - 5*n for y.
4
Let a = 12 - 2. Let i(t) = -t**2 + 18*t - 14. Let g be i(17). Suppose y = 3*v - 9, 2*y - a = -g*v + 2*v. Solve -3*l + 5*q = 3, 28 = l + y*l + 4*q for l.
4
Let z be (-1 + 4 + -4)*-86. Let n = z - 83. Solve -5*y - 24 = 2*j, j - n*j - 16 = 3*y for y.
-4
Let i be -2*(7/2)/7*6. Let s be (3 + -1)*1 + i/(-2). Suppose -6*c = -2*c. Solve 4*p = -s*x - 8 - c, -x + 8 = -4*p for x.
0
Let u be 2/1 + 0/(-2). Suppose u*q = 4*m - 10, -3*m + 3 = -3*q - 0*m. Suppose -q*r = -3 - 12. Solve 6 = 2*f + x, r*f = 6*x - x - 15 for f.
1
Let m(p) = -2*p**3 - 3*p**2. Let g be m(-2). Suppose s - g*s = -v + 15, v = -3*s - 3. Let c = -4 + v. Solve -5*h - c*r = 2, 7*h - 3*h - 4*r - 4 = 0 for h.
0
Suppose -3*x = -2*v - 2, 3*x - 20 = -v - 3. Solve -c - 7 = -2*d, -4*c = -4*d - v*c + 11 for d.
3
Let j be (-1 - -4) + 8 + -5. Let w = 483 + -479. Solve -w*s + 9 = -5*q + 1, -3*s + j = -5*q for s.
2
Let u be -1 + 33/3 + 5/(-1). Solve 3*b + 5*f + 15 - u = 0, 2 = 5*b - f for b.
0
Let u(b) = -22*b - 239. Let w be u(-11). Solve -s = 4*j + 23, -j = -4*s + 2*j + w for s.
-3
Suppose 7*v = v + 54. Suppose -12 = -v*y + 3*y. Solve 0 = 5*o + y*i - 2, 4*o + o + 4*i + 6 = 0 for o.
2
Suppose -3*p + 64 = 4*u - 9*u, -5*u - p = 52. Let i = 208 + -219. Let t = i - u. Solve -16 = -5*x - 4*h, 5*x + 0*x + 2*h - 18 = t for x.
4
Let z be (-1)/(((-1)/3)/((-10)/(-3))). Solve -z = -5*u, u = -3*x + 3*u + 2 for x.
2
Suppose -7*b + 4*b = -6. Suppose 4*v = -5*f + 7 + 13, b*v - 10 = f. Solve -v*j - 6 + 1 = 5*w, j = 5*w + 5 for j.
0
Let v(n) = -n**3 + 9*n**2 + 12*n - 13. Let f be v(10). Let j be -8*(2 + 10/(-4)). Solve j*h - g - f = 12, -5*h - 5*g = -30 for h.
5
Let b = -282 - -287. Solve -3*x = -2*q + 19, q - b*x + 5 = 5*q for q.
5
Suppose -404 = -18*a - 350. Solve 5*u - a*r = -37, 0 = 2*u + u + r + 11 for u.
-5
Let p(o) = -2*o**3 + 14*o**2 - 14*o + 14. Let w be p(6). Suppose -2 + 12 = 4*k - 2*q, -2*k - 2*q = -w. Solve 16 = k*n - 4*t, 3*n + t = -n + 5 for n.
2
Let s(u) = -u**3 - 15*u**2 - 15*u - 10. Suppose -k = -0*k - 3, 3*b = -k - 39. Let j be s(b). Solve -3*w = -m + 2*w - 11, -w = j*m - 19 for m.
4
Let o = -1017 - -1018. Solve 3*r - o = -13*q + 17*q, 5 = -4*q - r for q.
-1
Suppose -t = 2*k + t + 4, 5*k + 16 = t. Let a(p) = 16*p - 5. Let i be a(k). Let c be (-2)/(-6)*(-2 - i). Solve -r - 4*w + 10 = -0*r, 5*w = r + c for r.
-2
Suppose -3*y = -75 + 21. Suppose -y = -3*g + 2*g. Solve -5*a - b = -7 + 21, 5*b + g = a for a.
-2
Suppose 0*g + 1 = -g. Let l be ((-6)/(-2))/(-1) - g. Let k be l/(-4) + (-17)/(-2). Solve d + o - 3 = 0, -4*d + k = -d - 5*o for d.
3
Let y be 1 - 1 - 165/(-33). Solve 5*k = -d + 10 + 4, -k + y = -2*d for d.
-1
Suppose 48 = 31*i - 15*i. Let h(k) = -3*k - 3. Let q be h(-2). Solve 0 = -5*z - q*t - 8, i*z + 3*t = -t - 7 for z.
-1
Suppose -3 = -h, -u - 41 = -2*h + 4. Let p = u - -55. Solve 4*l = -4*d + p, -2*d + 4 + 4 = -3*l for l.
0
Suppose 8*y - 8 = 16. Suppose 3*j + 12 = 3*i, y*j + 3*i - 14 = -2. Suppose j = -8*s + 3*s. Solve -2*a - 13 = -3*k, s = -4*a - 5*k - 1 + 8 for a.
-2
Let q be (15 - -1)/8 - 0. Solve -q*z = f - 1 + 14, -5*f = 3*z + 37 for f.
-5
Let q(u) = -u**2 + 3*u + 1. Let p(m) = -m**2 + 5*m + 8. Let j be p(6). Let r be q(j). Suppose 8 + 4 = r*y. Solve -5 - 3 = -y*v + 3*k, -3*k + 12 = 0 for v.
5
Suppose 4*s = 3*b - 15, 0 = -2*b - 0*s + 3*s + 10. Suppose b*t + 5 = 25. Solve -t*x - 26 = -2*g, -3*x - 29 = -3*g - 2 for x.
-4
Suppose -4*m + 173 = -5*d, 3*m - 5*d - 220 = -2*m. Suppose -12*s + 13 = -m. Solve h = 4*h - g + 11, -3*g = s*h + 23 for h.
-4
Let s = 386 - 382. Solve -p + b = 0, -2*p + 3*p - 9 = s*b for p.
-3
Let u be -1*(0/(-9))/((-1)/(-1)). Suppose -f + 0*f = 0. Suppose 3*z + 4*q - 10 = u, 2*z = -f*q + 3*q + 1. Solve 2*t - 2 + 12 = 4*w, -3*w - z*t = 3 for w.
1
Suppose -12 = 2*i + 2*i - 2*j, 5*i + 4 = -3*j. Let z = i - 5. Let w be z/28 + 50/8. Solve -f - 3*b + 8 = -w*f, 3*b - 1 = -2*f for f.
-1
Let c(f) = 4 + 7 + 5*f - 2 - 14. Let a be c(2). Solve -2*z + 0*b = 2*b - 4, -2*z = a*b - 10 for z.
0
Let u(z) = -z**2 - 24*z. Let l be u(-24). Solve l = -o + k + 7, 3*o - k = -5*k + 7 for o.
5
Suppose 2*o - 3*g + 2 = 0, o + 0*g + 3*g = 17. Solve -o*k - 6 = -3*t + 4*t, 5*k = 5*t for k.
-1
Let p(v) = -v**2 + 9*v - 5. Let a be p(6). Suppose 8*b - a*b + 15 = 0. Solve 0 = -0*x + 4*x + b*t + 20, 2*t = 0 for x.
-5
Let k(c) = -c**2 + 8*c - 7. Let t be k(7). Suppose 2*n + 16 = -t*n. Let y be 6*-4*1/n. Solve y*g - 3*q - 25 = 2*q, -5*q - 35 = -5*g for g.
5
Let d be (8/6)/((-3)/((-117)/2)). Let h = 14 + -9. Suppose -2*c - d = -5*q, 2*c + 32 = h*q - 2*c. Solve l - 4*y + 7 = 0, -3*l + 8*l + q*y - 13 = 0 for l.
1
Let d(s) = s**2 + 18*s + 5. Let b be 21*(60/(-21) + 2). Let j be d(b). Solve -5*l = 4*x + 40, 2*x - 3*x - j = 0 for l.
-4
Let t be (4/8)/(5/240). Solve 3*z + z + 4*f - 16 = 0, 0 = 4*z - 4*f + t for z.
-1
Let c be 5*2/(-10)*-19. Solve -u - 3*g = -c, 0*g = -5*u - 3*g + 35 for u.
4
Let q be (-1 + 20/8)*2. Suppose -3*d - q*k = -12, 4*d - 4*k = 6*d - 10. Suppose 2*z + 21 = d*p, 0 = 2*z - 6*z. Solve -t + 3 = i - 0, 5*t - p = -i for i.
2
Let s(p) = -p**2 - 4*p - 4. Suppose -5*f = z + 21, 2 = -f - f - 2*z. Let m be s(f). Let b be (-2)/(-3*(-2)/m). Solve 0 = b*t - q - 6, 3*q + 0 - 9 = 0 for t.
3
Let r(k) = -k**3 + 18*k**2 + 42*k - 35. Let j be r(20). Solve 32 = l - j*l + 4*d, 0 = 3*l + d + 8 for l.
-4
Let d = 2099 + -2097. Solve -13 = -r + 3*m, -d*r + 2*m - 1 + 15 = 0 for r.
4
Let y = 6 - 3. Let r = -98 + 152. Suppose 2*v = o + 4*o + r, 30 = 2*v + o. Solve -3*a + 4*t - v = 0, a - y*t = -4*a - 10 for a.
1
Suppose 0*n = n - 5. Let g(b) = -2*b**3 + 19*b**2 + 13*b - 20. Let v be g(10). Solve -n*p + 20 = 3*h, -h - v = -3*p + 2 for h.
0
Let m = 3 - 2. Let a be ((-28)/(-16))/(m/4). Let z = 34 + -23. Solve -3*t - 3*s - a = -2*t, 0 = -4*t + 5*s - z for t.
-4
Suppose -19*v - v = -60. Solve 2*j + 5*o + 22 = 0, 4*j + o -