 2264. Let g = -15 - -26. Solve p + m = 0, -3*m + b = g for p.
2
Let z = -9 + 3. Let d be z/(-9) + 4/12. Suppose -3*o - 3*b + d = -14, 3*o - 15 = -b. Solve -4*k - 4*i + o*i = -14, -5*k = 4*i - 28 for k.
4
Suppose -3*s = 5*o - 22, -3*o + 4 = -o. Suppose -s*w + 5*w + 11 = 4*i, -i - 2*w = 4. Solve -i*g + 6*g + 26 = 2*a, 5*g = -4*a for g.
-4
Suppose -5*m = 2 + 18. Let n be (m + 22/4)/((-6)/(-20)). Solve -o - 3*o - t = -4, -n*o = -3*t - 22 for o.
2
Let x(v) = 9*v + 1. Let y be x(1). Let c(a) = -9*a + 11*a - 12*a - 14*a - 8 + 25*a. Let o be c(y). Solve -4*t + 4*f = o*f - 18, 5*t = -3*f - 5 for t.
2
Let n(m) = -m**2 - 15*m + 18. Suppose -2*k - 24 = -4*r, 2*r = 3*k + 48 - 4. Let p be n(k). Solve 0 = 5*g + 7*a - p*a - 20, -3*g + 5*a = 20 for g.
0
Let z = 37872 + -37867. Solve -z = 15*l + 5*a, 4*l - 2*a + 9 - 11 = 0 for l.
0
Suppose c = v - 4 - 2, 0 = 2*c + 2*v - 4. Suppose -3*m + 7*k - 3 = 11*k, k = -3*m - 12. Let z = c - m. Solve 0 = 5*q - 2*l - 15, -l - 2*l = q - z for q.
3
Suppose -31*i + 2*c = -36*i + 4, -i + 5*c = 10. Solve 3*b - 4*j + 2 = i, 0 = -9*b + 7*b + 3*j - 1 for b.
-2
Let u be ((160/(-12))/(-5))/((-8)/(-18)). Solve 5*k - 3*m + 11 = u*k, 2*m = -2*k + 2 for k.
-4
Let d be 0 - -1 - 1/(2/(-20)). Solve 0 = -3*x + h - d, -3*x - 5*h = -3 + 2 for x.
-3
Let h(f) = 16*f + 228. Let u(l) = -3*l**2 + 3*l - 8. Let m be u(2). Let q be h(m). Solve 2*t + 3 + 1 = 2*y, y - 7 = -q*t for y.
3
Suppose q + 504 = -3*l, 5*q - 74 - 448 = 3*l. Let w = 169 + l. Solve w = 2*k - u - 15, -3*k - u - u + 5 = 0 for k.
5
Let j = 97 + -52. Suppose -57 = -6*n + j. Let u = 17 - n. Solve -12 = -2*l + l - 5*t, -2*t + 4 = u for l.
2
Let f be (-12*4/(-112))/(2/14). Suppose -3*d = -5*a - 160, -4*a - a = -4*d + 205. Suppose 0 = -2*q + 12. Solve -5 = 4*t + f*x - q*x, 4*x = -5*t - d for t.
-5
Suppose -t - 2*h + 3 - 5 = 0, -4*h = -4*t + 28. Suppose 20 = t*v - 3*v. Solve -40 = 5*k - 5*j, -5*k - 3*j + 4*j - v = 0 for k.
-3
Suppose -108 = -5*r - 13. Let p = r - 15. Suppose -15*h + p = -13*h. Solve 4*q + 5*v - 3 = 3, -3*q - 5*v + h = 0 for q.
4
Let s(c) = -2*c**3 + 59*c**2 - 20*c - 196. Let w be s(29). Solve -60*k - a = -w*k, 5*k + 10 = -a for k.
-1
Let z(g) = -g**2 + 11*g + 129. Let r be z(-7). Suppose -50 = -3*d + y, 6*d - 54 = r*d - 3*y. Solve -4*x + 14 = 2*b, 2*b - d = -7*x + 2*x for x.
3
Let o = 1386 + -1374. Suppose 0 = 3*k - 4*w + 11, 0*k + k + 2 = w. Suppose -7 - 5 = -k*j. Solve 3*n = j*i + o, -i - 8 = -2*n - 4*i for n.
4
Let a = 99 + -101. Let d be (18/(-12) - a)*4*2. Solve 3*f - f = 2*t + d, -3*t = -f + 8 for f.
-1
Suppose -13*l = -3602 - 779. Suppose -l + 127 = -35*b. Solve 3*h - b = 7*w - 2*w, 0 = -3*w - 9 for h.
-3
Let w be (-2)/(-40)*-4*-170. Suppose -w = -12*y + 2. Solve 0*o = 3*l - 2*o - 8, -4*o + 2 = y*l for l.
2
Let g(c) = c**3 - 15*c**2 - 33*c - 15. Let l be g(17). Solve 0 = l*t + 4*h - 2, -2*t + h = -4*h - 20 for t.
5
Let f be 11/(22/(-8))*82. Let w be (6/10 - 1) + f/(-20). Solve -4 = -a, a + 4*a - w = -2*l for l.
-2
Suppose -l - m = -2 - 1, -5*l - m = -19. Suppose -q - 5*p = 7, 1 - 11 = -l*q - p. Solve -2*a - 14 = 4*h, -4*a + q*h = -3*a - 3 for a.
-3
Let y = 3347 - 3327. Solve -2*b - 22*f - 6 = -y*f, -b - 5*f = 15 for b.
0
Let w(s) = -s**2 + 16*s. Let d be w(35). Let k = 667 + d. Solve -3*j - 4*y = 2, -3 = -k*y - 7 for j.
2
Suppose -2*t - 3630 = -g - 3641, -2*t + 2*g + 4 = 0. Solve -8 - 4 = 2*b, -4*b - t = -5*h for h.
-3
Let h be (-1)/8 - 3975/(-1272). Suppose -2*s + 3*x + 19 = 0, 5*s + 0*s = 5*x + 35. Solve -r + 12 = 3*n, 3*n + s*n = h*r + 6 for r.
3
Let k(w) = -165*w + 1982. Let q be k(12). Solve 35 = q*u + 5*n, -u + 2*n - 130 = -125 for u.
5
Let k(o) = -o**2 - 5*o - 4. Let w be k(-3). Let q = 7961 - 7961. Solve 3*m + q = w*y + 20, y + 2*m = 4 for y.
-4
Suppose -5*g + 37 = 5*r - 23, 4*g - 44 = -2*r. Suppose 37 = 3*m + g. Let s = -31 - -34. Solve -3*x + s = 0, m = 5*l + x + 3 for l.
1
Let x(m) = m**3 - m. Let g be x(0). Let v(t) = 5047*t - 90844. Let j be v(18). Solve -n + 0*i - j*i - 11 = g, -n + i = -4 for n.
-1
Let a = -2992 - -2999. Solve 20 = -5*s, a + 5 = -5*u - 3*s for u.
0
Let f = 399 - 374. Suppose v + 6*h - 10*h - f = 0, -5*h = 25. Solve 0 = 4*p + 3*k - 1, -v*p + 0*k = 4*k - 2 for p.
-2
Let v be 3/(-15) - (-2)/10. Suppose -4*f + 30 = 3*y, -y - 22 = 41*f - 45*f. Solve -y*m + m + 3*j + 10 = v, 4*j - 5 = 5*m for m.
-5
Suppose 190 - 1089 = -34*f + 5*f. Solve 5*h - 26 = 2*q, -5*h + 1 = q - f for h.
6
Let c = 187 - 172. Let r be 6/c - (0 + 65/(-25)). Solve -3*k + 19 - 6 = -j, r*j - 9 = -3*k for k.
4
Let c = 99 - 51. Suppose k + 5*k = c. Suppose 2*t = 4*s - 3*s + 11, 5*t - k = -4*s. Solve -18 = -2*x + 3*x + 4*r, -5*x = -t*r - 6 for x.
-2
Let o = -5 + 9. Let n be ((-4)/18)/(16/(-1224)). Suppose o*d + 0*d - r = 21, -3*d + r = -n. Solve 2*y - 3*b + 1 = y, -y - 3 = -d*b for y.
5
Suppose 0 = 13*k + 8 - 385. Solve m = -3*m + 4*u + 8, -3*m - 4*u = k for m.
-3
Let j = 78 + -75. Suppose j*w + 32 = 7*w. Suppose 0 = 19*i - 23*i + w. Solve -2*n - 12 + 2 = i*q, 4*n - 16 = 5*q for q.
-4
Let k(g) = -4*g**2 - 51*g - 33. Suppose -3*b - 48 = -3*f, b = -4*f - 0*f + 4. Let l be k(b). Solve l*a + a + d = 1, 0 = -2*a - 2*d - 4 for a.
1
Let h(q) = -q**2 - 5*q - 22. Let s be h(-6). Let t be s/(-182) + 74/26. Solve -5*v + 15 = -t*n - 19, -5*n = -4*v + 35 for v.
5
Suppose 4*g = 3*d - 8, 3*g + 0*d = 3*d - 6. Let i be (8/32)/(g/(-16)). Solve -2 = 2*c, 2*t + 4*c - 4 - i = 0 for t.
5
Suppose 25*u - 7618 + 543 = 0. Let m = u + -256. Solve -w = -4*p + 24, 5*w + 18 = 5*p - m for p.
5
Suppose 67 = 147*m - 107 - 1002. Solve m = -5*o + 3*c - 2, 2*o + 2*c + 4 = 0 for o.
-2
Let g = -151 + 157. Suppose 0 = -2*h + g*h - 32. Solve x - h = 3*p, x - 5*p - 14 = -x for x.
2
Let r(u) = 6*u**3 + 3*u**2 - 8*u + 6. Let k be r(1). Let j be 12/2 - (-6 + k). Solve -4*p - f + 11 = 0, j*f + 1 = -p + f for p.
3
Let i be -1*1 - (14 + -15). Suppose 0 = 61*c - 136*c + 675. Solve i = -3*t - 2*t - 4*s - c, -t + s = 0 for t.
-1
Let v(j) = -5*j**2 - 171*j - 13. Let c be v(-34). Solve -4*m + 3*u + c - 7 = 0, -3*u = -3*m + 12 for m.
2
Let q = 1 - -1. Suppose 4*s + 75 = 9*s. Suppose 10*v = s*v - 20. Solve -16 = -3*l - v*g, 4*l - g + q = -2 for l.
0
Suppose -450*f + 418*f = -64. Solve 2*n - f - 8 = -2*u, -n = -5*u + 7 for n.
3
Let o = 847 + -843. Suppose 77*p - o = 75*p. Solve -3*c = -4*y + 3, y - p = c - 1 for c.
-1
Let d be -2 + 20 + 0 + -1 + 0. Suppose 6*x + 3*f = 8*x + d, -2*x + 2*f - 12 = 0. Let b be 0/(-13) + x + 4. Solve -4*t - 3*n + 4 = -3, 0 = b*t + 5*n - 8 for t.
1
Suppose -45*f - 480 = -141*f. Solve 6*r - 30 = f*y + r, -8 = 3*y - r for y.
-1
Let p(m) = -10*m**2 - 67 - 64 + 191 - 64 + 27*m + 2*m**3 - 3*m**3. Let u be p(2). Solve -5*y = -y - u*f - 24, -y + 2*f = -9 for y.
5
Suppose 0*x = 4*y + x - 916, 2*y - 464 = x. Let k = y - 220. Solve 5*t + k = 0, -2*h - 4*t = -3*t - 2 for h.
2
Let p(h) = h**2 + 260*h - 524. Let j be p(2). Solve -2*s + w - 3 + 1 = j, -6 = 3*w for s.
-2
Let q = 8369 + -8365. Solve q*s = -2*a, 0 = 3*a - 35*s + 34*s - 7 for a.
2
Suppose 0 = -2*h - 6, 7*l - 4*l = -5*h - 21. Let d be (-7)/l + (-81)/(-54). Solve -3*s + 6*s - 12 = -5*i, 0 = -d*i - 2*s + 13 for i.
3
Suppose -158 = -65*l - 28. Solve -11*o + 15*o - 5*j = 20, -l*j = 8 for o.
0
Suppose 4*n - 27 = -4*u - 11, 4*n - 8 = 4*u. Suppose -15 = 5*j, 0 = -5*q + n*j - 8*j. Suppose -q*m = -8*m + 125. Solve m = g - 0*g + 4*z, g - 3*z = -10 for g.
5
Let h(k) = 37 + k**2 + 7*k + 12 + 18*k. Let p be h(-23). Solve 3*v - 3*l - 18 = -0*l, 4*v - p*l - 21 = 0 for v.
3
Let m = -1551 + 1581. Solve -6 = 4*c + m*a - 28*a, c - 4*a = 12 for c.
0
Let f(p) = 4*p - 38. Suppose 0 = 4*d - 8*d + 36. Let v be f(d). Let i be v + (4 - (3 + 0) - -5). Solve -m + 11 = -3*l, -i*l - 28 = -m - 3*m for l.
-2
Let q be 4/((-8)/(-4)) + 2. Suppose 2*l - 15 = -23. Let o(b) = b**3 + b**2 - 12*b + 5. Let j be o(l). Solve c + q*c + 2 = 4*t, t = -j*c - 12 for t.
-2
Suppose -109*g + 85*g + 672 = 0. Solve -4*s - g = -2*i - i, 5*s - 2*i = -28 for s.
-4
Suppose 0 = 3*g + 2*x + 4 - 12, 2*x - 2 = 0. Solve -2*d = -g*s - 2*s + 20, -4 = -s for d.
-2
Let q(v) = -4*v - 7. Let b be q(-1). Let n = 7 + b. Suppose -y - n*y + 5*l = -115, -3*l - 15 = 0. Solve -f = -2*k + 3*f - 18, -3*f + y = 3*k for k.
1
Suppose 564 = -3*n + 3*j, 2*n + 4*j + 967 = -3*n. Let z = n - -193. Solve 6*l - 10 = r + l, -l + z = 5*