k for b.
-5
Let y = 716 + -712. Solve -5*x - m = -2*x - 6, 5*x = y*m + 27 for x.
3
Let d be (-2 - (-2)/1)/(-4). Suppose -h + d*h + 4 = 0. Suppose 0 = 6*c - 2*c - 28. Solve 0 = -x - h*l + 5 + c, 4*x + 2*l = -8 for x.
-4
Let l be ((232 + 0)/(-4))/2. Let y = -65 - l. Let w = 37 + y. Solve 3*n - 2 = n - 4*x, -n - 3*x - w = 0 for n.
5
Let u(q) = -q**3 + 21*q**2 - 108*q + 5. Let h be u(9). Solve -3*b - 22 = h*c, 0 = c + b - 4*b + 8 for c.
-5
Suppose 2*k + 552 - 572 = -2*j, -2*j = -4*k + 10. Solve -o + 0 = -n + 9, -j*o - 4*n = 18 for o.
-6
Let t(z) = 73*z - 22. Let g(h) = 24*h - 8. Let u(l) = -17*g(l) + 6*t(l). Let d be u(0). Solve 2*m + d = -3*m - 4*p, 4*p = 2*m + 24 for m.
-4
Let s = 54 - 50. Suppose 7 = s*r - 3*r. Suppose 3*x = -2*h + 8, 2*x = r*x - 3*h - 7. Solve 4*m - 14 = x*k, -3*m = -k - k - 9 for m.
5
Let j = 30 - 31. Let r be (j - 6)*(-105)/245. Solve 3*o - 4*v = -12, -2*v + 5 = -r*o - 1 for o.
0
Suppose -50 = -2*t + 5*y, 8 = 3*y - 4. Suppose -t*g - 5 + 180 = 0. Solve 3 = -5*i + 4*k + 28, 0 = -3*i + g*k + 15 for i.
5
Let l(f) = -f**2 + 7*f - 4. Let a be l(6). Suppose a*i = 29 - 21. Suppose 4*d + z = 19, -i*z = z + 5. Solve c - 3 = -q - 0*c, q + 2*c - d = 0 for q.
1
Suppose -130 = -h + 3*o + 2*o, -377 = -3*h + 2*o. Let d be (6785/(-69) + 15)/(6/9). Let l = d + h. Solve 3*t - 3*p = -0*p, l = t + 3*p for t.
0
Suppose t + 4*o = 22, -2*t + 34 = 2*o + o. Suppose 0 = t*x - 784 - 266. Let n = x + -65. Solve 0 = -5*r + b - n, 5*r - 5*b = 12 - 2 for r.
-3
Let u = -65 + 68. Let o = 5237 + -5237. Solve 0 = -r + 1, 3*r = -u*h - o*r + 3 for h.
0
Suppose 50*f = -270*f + 1280. Solve 2*v + 2 = -f*j, 207*j - 3*v = 210*j - 6 for j.
-3
Let m(g) = 8*g - 53. Suppose -7*i = i - 96. Let s be m(i). Suppose 0 = -5*f - s + 53. Solve -2*c = -5*c - 5*z + 3, 0 = -f*c - 4*z + 4 for c.
-4
Let p = 1 - -19. Let l = p - 15. Suppose -2 + l = b. Solve -12 = -i + b*o, 5*o + 3 + 0 = -4*i for i.
3
Let t be (-4)/18 + 8060/(-180). Suppose 0 = 2*v - o - 93, -5*v - 3*o - 2*o = -240. Let b = t + v. Solve 1 = -2*q - x - 7, -x = -b for q.
-5
Let g = 13776 + -13775. Solve -5*k - 3*l - 25 = 0, 38*k - 35*k - l + g = 0 for k.
-2
Suppose 3 = -d - 19. Let c = 19 + d. Let a be (2/(-4))/(c/6) - -2. Solve -k = -2*n + 1 + 7, -5*n + 21 = -a*k for k.
-2
Let g(o) = -o**2 - 2. Let z(p) = 3*p**2 + 4. Let d(i) = 5*g(i) + 2*z(i). Let x be d(-2). Solve -x*j - 12 = -4, 5*y = 4*j - 9 for y.
-5
Suppose -g - 4*y = -9*g + 24, -y - 6 = 0. Solve g = 2*v, -50*v + 25 = 5*w - 47*v for w.
5
Let g(z) = z**3 + 17*z**2 + 68*z + 23. Let i be g(-11). Let f be ((-10)/(-80))/(i/8). Solve w + f = -h, 2*w - 8 = 2*h + w for h.
-3
Suppose -w + 40*k = 39*k - 57, 186 = 3*w + 2*k. Solve w*c = -4*n + 61*c, -n + 5 = c for n.
1
Let v(s) = -s**3 + 11*s**2 + 34*s - 101. Let d be v(13). Solve -z - 5 = 2*b + 4, -d*b - 4*z = 16 for b.
-4
Suppose 13*s + 915 = -1620. Let t = s - -195. Solve -4 = -2*h + 5*j + 1, t = 3*h + 4*j + 4 for h.
0
Suppose -9*y + 1584 = 3*y. Let p be (y/55)/((-6)/(-40)). Suppose -12*j + p = -4*j. Solve 3*q + 3*x + 2 + 4 = 0, -q = -3*x + j for q.
-2
Suppose -2*y + 11 = t, 7 = 5*y + 4*t - 25. Suppose -y*g + 43 = 23. Solve 2*p + 2*p + g*u = -21, 4*p + 2*u + 6 = 0 for p.
1
Suppose 0 = -5*r + 2*r + 6. Suppose -3*n = -3 + 6. Let k be n + (5 + (-60)/8)*-4. Solve -6 = r*j + 4*u, -2*j + 4*u = -j + k for j.
-5
Let z = 69 + -69. Suppose -5*x + 153 - 143 = z. Solve 3*y + 2*y - x*h = 25, 0 = -h for y.
5
Let d = 389 - 375. Let i be (d/35)/(1/10). Solve -t = 2*o - 8, -14 - 2 = -i*o + 4*t for o.
4
Suppose a + 3*m = 262, a + 7*m - 256 = 6*m. Suppose 37*t - a = -68. Solve j - 12 = -t*q + 3*q, 2*q = 5*j for q.
5
Let j(m) = 7*m - 6. Suppose -4*r + 0 + 8 = 0. Suppose 0 = r*z + 6*z - 40. Let x be j(z). Solve 3*b = -5*n + 15, 5*b = -n + x - 4 for b.
5
Suppose -8*n - 478 = 10*n - 532. Solve -3*h - 40 = -5*r - 8*h, -29 = -4*r - n*h for r.
5
Suppose 4*t - h = 0, -4*t + 0*h - 3*h = -16. Let a = 8 - -13. Let p be t*(-12)/(-7) - (-6)/a. Solve b + p*s - 3*s - 2 = 0, 0 = -b - s + 2 for b.
2
Suppose -y - 3*y = -12. Let m = 5 - y. Solve -m*j = -6, -5 + 1 = -q - 2*j for q.
-2
Let q(u) = -u**2 - 122*u + 388. Let z be q(3). Solve 2*x + 3*x - z = -v, x + 5 = -4*v for v.
-2
Suppose 0 = -10*h + 14 + 136. Suppose 3*c = -2*z + h, 0*c + 5*c = 25. Solve 0 = 2*t + v + 4*v + 10, z = -t - 3*v - 7 for t.
5
Let f(p) = 600*p - 1797. Let o be f(3). Solve 0 = -2*v + 2*q + 4, -v - o*v - 4*q - 8 = 0 for v.
0
Suppose -3 = 5*w - 6*w. Suppose 42*u + 36 = 46*u - 4*j, -5*j + 11 = 3*u. Solve 5*d - w = 12, d = b + u for b.
-4
Suppose 13*a - 11*a = 2*u + 28, 4*u = 16. Suppose 3*l + 3*d - 12 = 0, -5*l + a = 2*d - 5. Solve 4*p = -l*b - 21, -b + 0*b + 3*p = 8 for b.
-5
Let l = 29 + 99. Suppose l*o - 18 = 122*o. Solve -o*q + 2*a - 11 = 0, -a + 3 - 14 = 4*q for q.
-3
Let h(f) = -f**3 - 3*f**2 + 3. Let b be h(-3). Let m be (-1782)/(-12) + -3*2/12. Suppose -65*r + m = 9*r. Solve 2*s + 13 = b*o + s, r*s + 1 = o for o.
5
Let u = 96 + -90. Suppose 0 = 5*p - u*p + 1. Solve -2*h - m + p = 0, 5*m + 0 - 5 = 4*h for h.
0
Suppose -a = 5*t - 74, 3*t = a - 134 + 44. Suppose -4*b + 62 = -2*p, -p + 5*p = -2*b - a. Let x = p + 24. Solve -8 = 4*j, -j + x = 2*r + r for r.
1
Let p(l) = 102*l - 1881. Let b be p(19). Solve b*r - 5*u - 3 = 53*r, 5*u - 3 = r for r.
2
Let y = -8966 - -8971. Solve -2 = y*m - 7*r + 10*r, -4*m - 5*r - 12 = 0 for m.
2
Let f be ((-444)/(-36) - 11)*21/2. Let w(t) = -t**3 + 14*t**2 + 4*t - 53. Let a be w(f). Solve -3*v + 5*h = -a, -2*h = 2*v + 3*h - 2 for v.
1
Suppose -3*k = 2*s - 14, 0 = 5*k - 3*s + 2*s - 19. Solve k*a + 35 = -2*x + 15, 0 = 4*a + x + 16 for a.
-3
Let h = -29 - -317. Let t = -288 + h. Solve t = 3*u - 2*r - 4, -u - 5 + 1 = -2*r for u.
4
Let i(o) = -o**2 + 109*o + 1452. Let r be i(-12). Solve 4*y + 0*y - 2*t + 2 = 0, -y + t + 1 = r for y.
-2
Let u = 432 + -429. Solve 0 = o - j - 2, -2*o - 9 + u = 3*j for o.
0
Suppose -2*q + 23 = -l - 29, -5*q - l + 123 = 0. Let r = q - 12. Let t(z) = -2*z**3 + 3*z**2 + 7. Let w be t(2). Solve -w*m + 4*m + r = -3*s, s + 5*m = 5 for s.
-5
Let r = -6273 + 6277. Solve -3*d + 24 = r*c, 11*c = -2*d + 7*c + 20 for d.
4
Suppose 0*g - 8*g = 9*g - 323. Solve 2*x - g*s - 14 = -22*s, s = 4 for x.
1
Suppose 22*u - 19*u = -6, 2*u - 8 = -3*p. Solve -4*k + 21 = 7*m, 2*m + 3*k - p*k - 6 = 0 for m.
3
Suppose 31*j = 109 + 46. Suppose j*h = 4*h + 9. Solve -5*l = 4*t + h + 6, -4*t = -l - 3 for l.
-3
Let v be (((-8)/(-12) - -3) + -5)/((-2)/6). Solve 2*m = -10, -66 = v*c - m - 59 for c.
-3
Suppose 197*f + 268*f - 64*f = 4010. Solve -k = f*i - 6*i - 6, -3*i = 3*k for i.
2
Let j be 40 - ((-32)/(-6) + 66/(-198)). Solve 5*b = 5*h + j, -h = 9*b - 4*b - 23 for h.
-2
Suppose 377 + 205 = 198*i - 4*i. Solve -i*n + 17 = 2*n - 3*o, -4*n = o for n.
1
Let y(m) = -m**3 - 10*m**2 - 22*m + 1. Let z be y(-5). Let r be (12/z)/((-42)/196). Let x = -3 + 6. Solve -x*a + 5*k - 7 + 2 = 0, -5*k + 10 = -r*a for a.
-5
Suppose s + 1 - 49 = -3*d, -4*s = 4*d - 56. Solve 2*l + 3*l - 4*w = 33, -w = -3*l + d for l.
5
Let k(f) = f**3 + 62*f**2 + 115*f - 298. Let g be k(-60). Solve 4*b = 2*b + 2*w - g, -4*b + w = -11 for b.
4
Let q = 38 - 18. Suppose 5*j - w + 15 = -0*w, -5*w - 25 = 0. Let f be (4/j)/(-1) + 4. Solve -2*d = -0*d + f*l + q, 3*d + 23 = -4*l for d.
-5
Suppose -2*n - 7 = t, -8 = n - 3*t + 13. Let b be ((-10)/n)/(32/96). Solve b*w - p + 4*p = -14, 3 = -p for w.
-1
Suppose x + 3*g - 8 = 0, 4*x - 7 - 14 = -g. Let z be x*(12/5 - 2). Solve z*r + 6 = -0*r + 4*w, -5*r + 33 = 2*w for r.
5
Let r(j) = -2*j + 33. Let y be r(9). Suppose 2 = -14*f + y*f. Suppose 4*v - 3*a = -5*a + 30, -f*a + 10 = 0. Solve -u - 5 = -2*n - 6*u, -v*n = -u - 26 for n.
5
Suppose a + x + 2*x = 0, -3 = -2*a - 3*x. Solve -2*t - 4*r = 10, a*t - 199*r + 203*r = -11 for t.
-1
Suppose -8 = 3*f - 23. Suppose -2*n = 2*a - 2, -4*a + 9 = -n - 10. Let l(t) = 47*t + 1470. Let u be l(-31). Solve -5*r - 4*i = -i + u, -13 = a*r + f*i for r.
-2
Let m be 6/(-9)*42/294 + 1392/63. Solve -4*h + 3*f = -3, -20*f = -2*h - m*f - 16 for h.
-3
Suppose -48 = -4*n + 16. Let f(g) = -2*g**3 - 19*g**2 + 12*g + 23. Let y be f(-10). Let v be -5*3/10*(-2)/y. Solve -w = -4*b, -5*b - 3*w + v + n = 0 for b.
1
Let y(i) = 283*i - 9053. Let j be y(32). Solve -j*p + 6 = 4*c, -c + 0*c + p = 2 for c.
0
Let x be 6 - ((-10)/6)/(-11 + 376/36). Solve 