k*b + d = 2 for b.
0
Let l(v) = 11*v + 5. Let d be l(5). Suppose b + 3*b = d. Solve -5*k = 2*z + b, z + 3 + 2 = 0 for k.
-1
Let s(v) = 7 - 2*v + 2*v - 2 - v. Let c be s(0). Solve -5*t + j - 22 = c*j, 5 = 5*t - 5*j for t.
-2
Suppose -13*p - 635 - 314 = 0. Let j = p + 77. Solve -5 = 3*v + 4*d, -d + 3 = -j*v + 9 for v.
1
Let s = 8 - 5. Suppose -11*f + 8251 = 8229. Solve -f*n = 2*k + 2, -2*n + 6*n + 6 = -s*k for n.
-3
Suppose 3*r = v + 3, r + 3 = 2*v + 4. Solve 9*l - 4*l + 20 = 5*j, v = 2*l + 3*j - 12 for l.
0
Let q(j) = j**3 + 5*j**2 + j - 3. Let w be q(-4). Suppose -12 = 2249*z - 2253*z. Solve z*g = s - 7, -s + w*g = 4*g - 9 for s.
4
Suppose 1 = -2*b - 7. Let r(y) = -7*y - 23. Let u be r(b). Solve 6*d + u*c - 50 = d, -3*d - 4*c + 35 = 0 for d.
5
Let u be (-36)/(-10) + 15/(-25). Let d be -12*(u/6 + -1). Solve -2*h - 7 = -3*j, -5*j = -2*h - j - d for h.
-5
Suppose -n - 4 + 20 = 0. Solve -l + 3*x - n = -0*l, 5*l = -3*x - 8 for l.
-4
Let h = 211 - 198. Solve j - 5*c = 2*j - h, 5*c = -2*j + 11 for j.
-2
Let v = -264 + 266. Suppose n = 5*i + 16, -2*n + 10 = -3*i - 8. Solve l + 2 = -u - v*l, 3*u + n = 2*l for u.
-2
Let i be (-222)/2*(2/3)/(-1). Suppose 4*c + i = 5*p, 5*p - 26 = 4*p - 2*c. Solve -4*j - 2*a + p = -a, 14 = 2*j - 2*a for j.
5
Suppose 41 = 2*h - 3*s, -2*h + 2*s = 7*s - 49. Solve 0 = 5*t + 3*q + h, 0*t = -3*t + 2*q - 17 for t.
-5
Let d be -2 - (-6 + (-12)/(-6)). Solve 2*r + 2*t = 4, 5*r + d*t + t - 10 = 0 for r.
2
Suppose 10 = w + 5*r, -6*r - 4 = -4*r. Suppose -4 + w = 4*k. Solve 4*v = -c - c + 10, k*c + v + 8 = 0 for c.
-3
Suppose 5*s - 26*u = -24*u + 14, 35 = 5*s + 5*u. Solve i + 3*i = s*v + 20, -3*i - v = -15 for i.
5
Let w = -342 - -362. Solve w = -4*g - 4*f - f, 2*g - 2*f - 8 = 0 for g.
0
Suppose 10*c + 10 = 12*c, 3*y - 2*c - 5 = 0. Solve 0 = 4*f + s - 18, f + y*s - 16 + 2 = 0 for f.
4
Suppose 0 = 4*x - 20, -5*x = u - 4*x - 7. Let y be (u/6)/((-1)/(-6)). Solve -4*f - y*t = 2*t + 20, -t = 5*f + 5 for f.
0
Let f = 3 + -1. Let b(z) = 3*z - 22. Let o(r) = 7*r - 45. Let s(n) = -5*b(n) + 2*o(n). Let k be s(11). Solve 5*c - 2*x - 11 = 0, -5*c - f*x = -5*x - k for c.
3
Let s = 536 + -532. Solve 5*a + 2*x = 17, 4*a - 7 = -s*x + 9 for a.
3
Let w(u) = -u**2 + 12*u + 33. Let x be w(14). Suppose -4*r - 2*y = 2*y - 12, -x*r + 14 = 4*y. Solve r*k - 2*g - 2 = -4*g, -2*g - 4 = 0 for k.
3
Let k be 10/(-3) - 1/(-3). Let b be 0 + k - 8/(-1). Suppose -24 = -b*g - 9. Solve 0 = g*c + 4*z - 4 + 12, 3*c - z + 13 = 0 for c.
-4
Let p be (1 + (0 - -63))/(-1). Let n be 54/8*p/(-24). Suppose -5*z = z - n. Solve -4*b = -3*f - 13, 0 = -2*b + z*b + 3*f + 8 for b.
1
Suppose -4*p + 5*k + 13 = 0, 4 - 9 = 5*k. Solve 5*j - 3 = 7, v - j - p = 0 for v.
4
Suppose 2*d = 5*q, 7*q - 11 = 4*q - d. Suppose 0*v = -q*v + 2. Suppose -4 + v = -3*y + 3*k, -y = 5*k - 7. Solve y*r + 6 = -4*w, -r - 22 = -2*w + 3*r for w.
1
Suppose 1 = j - 4*r, -6*r = -5*r - 1. Let m = 6 - 8. Let l = 5 + m. Solve -j = 2*u - l*f - 13, -3*u + 12 = 2*f for u.
4
Let s = 32 + 75. Let z = 110 - s. Solve o + z*d = 8, 0*o + 4*o + 1 = -d for o.
-1
Suppose -5*d + 10 = 2*p - 4*d, -3*p + d = -10. Solve -3*o - 2*c - 5 + p = 0, -3*c + 6 = 2*o for o.
-3
Suppose -4*n = -l + 4 - 21, 0 = -4*n - 2*l + 2. Solve -3*d + 4*c + 19 = 0, 3*c = -8*d + n*d + 22 for d.
5
Suppose -w = -8 + 3. Suppose 3*v + 3*r + 15 = -0*v, -w*v = -r - 5. Suppose 3*t = 0, -7 = -4*j + t + 5. Solve 0 = -9*f + 4*f - j*m + 8, v = 2*f + 3*m - 5 for f.
1
Let y(l) = 2*l**2 + 19*l - 3. Let b be y(-8). Let m = 32 + b. Solve -23 = m*p + 2*k, 4*p + k + 3*k + 16 = 0 for p.
-5
Suppose -3*u = -5*z + 54, 15 = 2*z - 5*u - 18. Suppose o - z = 3*i, 2*o - 4*o - 2*i = 6. Solve k = -o*k + 2*y + 15, -y = 5 for k.
5
Let n = 13 + -9. Let c(w) = -109*w - 109. Let q be c(-1). Solve -2*y + 6*y + n*s + 4 = q, -y - 5 = -3*s for y.
-2
Let v(h) = h**2 + 16*h + 13. Let u(n) = -n**2 - 15*n - 13. Let w(q) = -6*u(q) - 5*v(q). Let a be w(-9). Solve -12 = -3*i, a*o - 2*i - 7 = 1 for o.
4
Let j be 16/(-12)*54/(-24). Suppose g - j*g + 10 = 0, -3*o = -5*g + 13. Solve -4*l = o*t - 7*l + 9, 4*t = -5*l + 15 for t.
0
Let b be (-9 - 15/(-2))*8/(-3). Solve -16 = 4*k, -q + b*k - 1 = -20 for q.
3
Let g(h) = -h**2 + 10*h - 5. Let u be g(9). Solve -2*p = -d - d, -2*d - u*p + 24 = 0 for d.
4
Let y be 0/(43 - 52 - (0 - 7)). Solve y = 4*t - k, 27 = -4*t - 3*k + 11 for t.
-1
Suppose 0 = b - 19*b + 1062. Suppose 0 = b*x - 56*x - 21. Solve 8 = -3*l + x*l + 4*d, -4*l + d + 23 = 0 for l.
5
Suppose 2 = g - 31. Let m = 37 - g. Solve 23 = 5*x - 5*j + 3, m*x - 15 = 3*j for x.
3
Let w be (2/1)/((-32)/(-64)). Solve -w*a + 4 = 4*y, -5*a - 1 = -3*y - 9*a for y.
3
Let g be (-1 + 23)*38/209. Solve 0 = b + 4*y - 11, -2*b + g*b + 4*y - 14 = 0 for b.
3
Let g(w) = w**2 - 13*w + 15. Let t be g(12). Let l be (-36)/(-4 - -6) - -3. Let v be ((-30)/(-8))/(l/(-20)). Solve -2*c + 16 = -3*y - y, t*y + v*c = -25 for y.
-5
Suppose -4*p + 2*n = -146, 8*p - 4*n = 4*p + 140. Let z be (0 - p/4)/((-4)/8). Solve -2 = -5*i - 4*t, i - 3*i + 5*t = z for i.
-2
Let m(c) = c**3 - c**2 - 2*c + 2. Let u be m(2). Solve 2*p = 5*z + 5*p + 31, u = -p for z.
-5
Let h be -3 + -2 + 2 + -4. Let f be 87/9 - h/21. Suppose 5*v - 7 = -b, -2*v = -v + 4*b + f. Solve 0 = 3*w + t + 16, 0 = t + v*t + 12 for w.
-4
Let l be (3 - 0)*3799/393. Solve -y - m + 4 - 13 = 0, 5*y + m = -l for y.
-5
Let d = -229 - -234. Solve 2*f = s + 4*f + d, -s + 2*f + 11 = 0 for s.
3
Let p = -539 + 541. Solve 2*h - 8 = 0, p*y - 4*y + 4*h - 16 = 0 for y.
0
Let x = 644 - 641. Solve -x*v - 3*c - 6 = 18, -3*c = 4*v + 27 for v.
-3
Suppose -5*f = 3*f - 160. Solve 8 = 3*z + m - 4, 5*z - 4*m - f = 0 for z.
4
Suppose p = -3*p. Suppose p*u = -3*u + 12. Solve -y = -4*i - 4, -2*i = -4*y - 16 + u for i.
-2
Suppose -35*l + 22*l + 143 = 0. Solve -2*q + 3*j = q - 12, l = 2*q + j for q.
5
Suppose 0 = -4*i - 288 + 300. Solve -2*p - 3*q - 5 = -22, -p - 14 = -i*q for p.
1
Let c = 4090 - 4085. Let o(t) be the third derivative of t**4/8 - t**3 + t**2. Let y be o(4). Solve b - y = c*f, -b = 4*f + 5 - 2 for b.
1
Suppose -28 = -7*u - 14. Let o = 28 + -19. Suppose -14 = -o*c + u*c. Solve 0 = 5*q + 2*m + 10, 27 = c*q - 5*q + 3*m for q.
-4
Let m be -2 + 4 - -2 - 2. Suppose 2*j = 4*g - m, 0*g + 3 = g. Solve -j = 4*w + 3, 0 = -2*q + 3*w + 12 for q.
3
Let v(y) = -y**2 + 8*y - 3. Suppose a - 1 = 5. Let t be v(a). Suppose 16 = t*x - 5*x. Solve -2*z + 5*r = -x*z - 6, -2*r = 5*z + 15 for z.
-3
Let k = -14 - -16. Suppose -t + 9 = k*t. Suppose a + t*a = -3*x + 24, 2*a + 2*x - 12 = 0. Solve 0 + 21 = 4*o + 3*c, 5*o - 3*c = a for o.
3
Suppose -4*c + 27 = 15. Let b(t) = t**3 - 3*t**2 + 3. Let o be b(c). Solve h - n = o - 2, 4*h - 5*n = 9 for h.
-4
Let c be (-8)/(-3)*6/4. Suppose 0 = n - 2*x - 11, -3*n + x + 0*x + 13 = 0. Suppose -20 = -5*w + n*w. Solve -c*i + 5 = -b, 5*i + w = 2*i - 2*b for i.
0
Let a(s) = -s - 3. Let z be a(-5). Suppose 0 = 21*n - 119*n + 392. Solve 0 = y + z*d - 5, y + n*d - 20 + 5 = 0 for y.
-5
Let b = -24 - -47. Let l = -732 - -732. Solve -2 = -x - 3*i, l = -5*x + 2*i - 4*i + b for x.
5
Suppose -2*z - 36 = -5*z + 4*b, b - 60 = -5*z. Let d = z - 9. Solve 2*r + 25 = 5*y - d*r, -3*r = 12 for y.
1
Let u be (-539)/(-176) - (-9)/(-144). Solve u*t + v + 3*v = 10, -3*v + 5 = t for t.
2
Let d(b) = b**2 + b - 8. Let l be d(3). Suppose -l*i - 5 = 3*q - 19, 0 = i + q - 4. Solve -i*j + 20 = -5*t - j, -2*t - j = 15 for t.
-5
Let l = 6 - 0. Let c(q) = 26*q + 78. Let o be c(-3). Solve o = -g + l*g - 3*a + 8, 4*a = 5*g + 4 for g.
-4
Let o be (-4)/5*45/(-18). Let y = o - -1. Let n be 24/(y/2 + 0). Solve -3*w + n = 2*p, 4*w - 5*w - 4*p + 12 = 0 for w.
4
Let v = 33 + -29. Let a = 8 - 4. Suppose 5*u = 5*i - 15, -i - 18 = -a*u - 3*i. Solve -u*x - 6 = -4*g, -v*g + 2 = 3*x + 1 for x.
-1
Let o = 31 - 3. Solve -2*z + 8 = -3*i, 5*z + 8 - o = -5*i for i.
0
Let b = 35 + -32. Let a(r) = -9 - 13 + r**2 + 14 - 10*r. Let q be a(11). Solve 3*x = i + b*i - 13, -q*i + 11 = -x for i.
4
Let b = 278 - 240. Suppose 0 = -3*z - 32 + b. Suppose -8*k + 3*k + 15 = 0. Solve -k*p + 5 = -m - 5, -z*p + 4 = -2*m for m.
2
Suppose 0 = 15*y + 216 - 246. Solve 0 = 2*q + 2*f + y, -4 = 3*q - 3*f - 25 for q.
3
Suppose -6 = 2*p, -j + 12 = -0*j - 2*p. Suppose -j*y + 9*y - 9 = 0. Suppose -x + y = -0. Solve x*c = 15, 3 + 0 = 2*r - c for r.
4
Suppose 10*j + 662 - 