v - 16 for v.
-5
Suppose 0 = 10*l - 5*l + q - 18, -2*q = l - 9. Suppose -5*f + 26 = -l*s + 8, -4*s - 13 = -3*f. Let v(y) = 2*y - 1. Let m be v(2). Solve m + 3 = f*b for b.
2
Suppose -3*r + 8*r = 3*r. Suppose r = -k + 10*k. Solve 2*z = -k + 6 for z.
3
Let x(y) = -6*y + 57. Suppose 0 = -2*l + 3*a + 19, -2*l - 3*a - 5 = -18. Let q be x(l). Solve -13*d = -q*d + 12 for d.
-3
Let s be (-129)/(-27) + -5 - (-130)/18. Let d(b) = 18*b**3 - b**2. Let z be d(1). Let c = z - s. Solve h - 3*h = c for h.
-5
Let b = 301 + -269. Suppose -78*o + 70*o = -b. Solve 0 = y + 1 - o for y.
3
Suppose -4*n = -r - 260 - 275, -5*r + 139 = n. Suppose -k + n = 46. Let z = 88 - k. Solve z = 3*t - 2*t for t.
0
Suppose 30*p + 30 = -43*p + 906. Solve -p*d = d for d.
0
Suppose 10 = 2*d + 4. Suppose k + 3 = -4*f, -2*k - d = -4*f + 3. Let w be -3*(-6 - -7)/(5/(-5)). Solve f = 5*h + w + 2 for h.
-1
Suppose 0 = -a + 2*v + 54, 0 = -5*a + 5*v + 16 + 224. Solve 79*c - 72*c - a = 0 for c.
6
Suppose 4*w = 3*a - 3, 6*a - 9*a - 4*w = -27. Solve -a*y - 187 = -207 for y.
4
Suppose -94*p + 34*p - 97*p = -5024. Solve -p*r = -21*r for r.
0
Let v(x) = 2*x + 11. Let k be v(-4). Let n(h) = 2*h - 3. Let a(z) = 3*z - 3. Let w(b) = k*a(b) - 4*n(b). Let m be w(1). Solve 3 = -m*p - 13 for p.
-4
Let x(p) = -677*p + 2953. Let o be x(4). Solve -4*d = -53*d - o for d.
-5
Suppose 4*h - 231 = -u, -9 = 40*u - 43*u. Solve h*t + 12 = 59*t for t.
6
Suppose -4*k = 4*y - 4, -4*k + 4*y = -2 - 18. Suppose -k = -9*u + 51. Solve 20 = -u*f + f for f.
-4
Suppose s - 90 = -4*k, -4*k - 203 + 289 = 3*s. Solve -9 = -14*v - k for v.
-1
Let b(c) = 4*c - 6. Let t be b(4). Suppose -6*m - 24 = -t*m. Suppose -3*v - 4*l + 19 = 0, 2*v - 3*l - m = l. Solve v*d = d for d.
0
Let m = -52 - -53. Let n be m - ((-3)/6*-2)/(-1). Solve n*r + 0*r - 6 = 0 for r.
3
Let n be (666/518)/(2/28) - -2. Solve -n = -17*g + 31 for g.
3
Let v(u) = 5*u - 3. Let b be v(2). Suppose f + 4*j - 10 = 0, -2*j + 32 = 1658*f - 1656*f. Solve -17 - f = -b*c for c.
5
Let o(u) = -3*u**3 - 7*u**2 - 3*u + 21. Let a be o(-5). Solve -a*q + 238*q + 12 = 0 for q.
-6
Let s(a) = 2*a**3 + 2*a**2 + 28*a - 5. Let r be s(-4). Let x = 218 + r. Solve -17 = 4*c - x for c.
-3
Let x = -324 - -392. Suppose b - 3*f - 22 = 0, 5*b - f - 108 = -x. Solve 0 = -3*j + b*j - 0*j for j.
0
Let j(t) = -t**2 + 70*t - 991. Let g be j(28). Solve -2*a - 35*a - g = 0 for a.
-5
Let q(v) = -16*v**2 - 418*v - 39. Let p be q(-26). Solve 134*n - 121*n - p = 0 for n.
1
Let p(f) = 4*f**2 - 19*f + 9. Let s be p(7). Solve -48*h = s - 312 for h.
5
Suppose 4*t + 3*h = -0*h - 12, 8 = -2*t - h. Let g = 6 + t. Solve g*s = -s - 5 for s.
-5
Suppose 4*x + 43 = 39. Let z be x*(-5 + 6)*-23. Solve -9*r - 13 = z for r.
-4
Suppose -27*s = 2*s - 4*s. Solve s = 8*j + 6 - 30 for j.
3
Let r = 196 - 194. Let c be (-1)/r + 145/58. Solve -3 - c = t for t.
-5
Suppose -4*t + 4*d = -572, -15*d = 4*t - 12*d - 579. Solve t*h - 149*h = -5 for h.
1
Let z(r) = 7*r - 74. Let l be z(11). Suppose -v + l = -4*v - 3*q, -q = 4. Solve -v*s + 23 = 8 for s.
5
Let j be (-12640)/(-316) + -4*(3 - 2). Solve -j*b + 37 = 325 for b.
-8
Suppose -4260 = 19*n - 9*n. Let s = -407 - n. Solve 11 = 2*g + s for g.
-4
Suppose 401*c - 24 = -409*c + 804*c. Let h be 2/(-5) + 5/((-100)/(-88)). Solve 0 = h*v - 3*v - c*v for v.
0
Let v = 925 - 845. Solve 0 = -52*f - 76 - v for f.
-3
Let l(a) = 3*a + 11. Let h be l(3). Suppose h = -3*m + 26. Suppose -m*t + 0*t = -2. Solve t = 2*q + 3 for q.
-1
Suppose 68 + 2 = -7*y. Let h be 3*(y/(-6) - (-12 - -13)). Solve 1 = -t + h for t.
1
Suppose -5*m + 15*c - 14*c + 17 = 0, 0 = 4*m + c - 19. Solve 0 = 97*o + m + 190 for o.
-2
Let f be (3 + -3)/(1*-1). Let n = 23 + -13. Let p = 15900 - 15897. Solve p*v - v + n = f for v.
-5
Let v be (93 - (-19 + 14))*1. Solve v - 71 = 9*k for k.
3
Suppose 3*p + 2 = 2*p, -2*n = -5*p - 14. Suppose -10 = n*t - 10. Suppose -3*z + k = -16, -5*z + 5*k = -t*k - 40. Solve -z*h + h = -12 for h.
4
Let a = -46 + 17. Let k = -25 - a. Suppose -5 = -k*v - v. Solve 2*d = d + v for d.
1
Let j = -91 - -91. Suppose j = -18*t + 33 + 39. Solve -7*w + t = -3 for w.
1
Let s = -35852 - -35884. Let k(r) = r**2 + 2*r - 6. Let n be k(5). Solve n*h = s*h for h.
0
Suppose -3*b + 13*n + 84 = 16*n, 4*b = -5*n + 115. Solve 0 = 10*u + 35 - b for u.
-1
Let p = 29 + -17. Suppose j + 9 = 2*t, -413*t + 409*t - 4*j = -24. Solve t*x - 3 = p for x.
3
Let n = -10761 - -10773. Solve 3 = -n*h - 45 for h.
-4
Let r = 1299 + -1096. Solve 6 = -209*x + r*x for x.
-1
Let o(y) = -y**3 + 11*y**2 - 20*y + 149. Let u be o(10). Solve u*h - 22*h + 162 = 0 for h.
-6
Let d(b) = -7*b**3 - 13*b**2 + 46*b + 17. Let z(o) = -4*o**3 - 6*o**2 + 23*o + 8. Let k(x) = -3*d(x) + 5*z(x). Let j be k(-11). Solve p = 4 - j for p.
4
Suppose 12*k = -39 + 135. Suppose 8*y + p - k = 7*y, 3*y - 14 = 2*p. Solve 15 = -j + y*j for j.
3
Suppose 0 = 3*j + 3*m - 99, m + 115 = 3*j. Let q = j - 37. Suppose q*d + 4*d = 8. Solve 3*x - 1 - d = 0 for x.
1
Let q(r) = r**3 - 4*r**2 - 4*r - 3. Let n be q(5). Let p be -32*(15/(-6) + n). Let l be (33/22)/(-6 - 126/(-20)). Solve -l*t + p = -t for t.
4
Suppose -3*a + 9*a = -48. Let s(r) = r**3 + 7*r**2 - 11*r - 21. Let x be s(a). Solve l + 5*l = x*l for l.
0
Suppose 0 = -6*u + 2*u. Suppose 4*v - 30 = 2*v. Suppose -v = q + 5*o, -4*q = -q - o - 3. Solve q = -4*f - u*f - 4 for f.
-1
Suppose -7*p + 5 + 163 = 0. Let q be p*3/9*(7 - 6). Solve -q = -y - y for y.
4
Let b be -9 + 10 + 1/((-1)/(-11)). Let n(z) = z**2 - 10*z - 21. Let p be n(b). Solve -p*i + 0*i = -3 for i.
1
Let q(n) = 2*n**2 - 9*n + 19. Let t be q(3). Let z(c) = -c**2 + 6*c + 3. Let b = 58 + -52. Let s be z(b). Solve 0 = y - s*y + t for y.
5
Let r(z) = 2*z**3 - 40*z**2 + 10*z + 198. Let c be r(21). Solve -7*h - 1255 = -c for h.
5
Suppose 0 = -2*i + 3*a - 9, 5*a = 15. Let j be 4 - (i/3)/4. Suppose -3*t + 2 = j*u + 6, 0 = -5*t + 3*u + 3. Solve t = -4*k + 32 - 12 for k.
5
Let a = -464 - -558. Suppose 0 = 2*p, -4*p + a = -3*h + 274. Solve -15*b + 3*b - h = 0 for b.
-5
Let k = 2738 + -2702. Solve 6*u - 30 = k*u for u.
-1
Let m(b) = b**3 + 2*b**2 - 9*b + 4. Let t be m(2). Suppose 0 = 2*w - 6 - t, 3*w = -3*g + 441. Solve 0 = 2*n - g + 147 for n.
-2
Let z(s) = s**2 + 7*s + 221. Let o be z(-28). Let u = o - 804. Solve -5*y + u = -15 for y.
4
Let h(d) = 10*d**3 + 108*d**2 - 650*d + 25. Let b be h(6). Solve -b = -z - 2164 for z.
9
Let c(m) = -11*m + 104. Let k be c(3). Let d = 74 - k. Solve d + 6 = -3*n for n.
-3
Let i(m) = -m**3 + 39*m**2 - 91*m + 668. Let p be i(37). Solve 6 - p = -33*f for f.
1
Let f be 0 + 11 - 16 - 3*(0 - 32). Solve -9*d = 4*d - f for d.
7
Suppose -t = -2*t + 5*p + 45, 2*t + 3*p - 25 = 0. Let w be 69/(-92)*t/(-3). Solve -6 = -11*u + w*u for u.
1
Let t be 316/632 - 3/(-6)*21. Solve 19*c + t = 30*c for c.
1
Suppose -2*u = u - 12. Suppose -14 = -3*f - 35, -3*y - 38 = 8*f. Solve y*g - u*g = 8 for g.
4
Let j = -19661 + 19711. Solve 40 = 15*p - j for p.
6
Let a(k) = -k**2 - 9*k - 16. Suppose 5*j - 6*j - 5 = 0. Let u be a(j). Solve 0*p = -u*p - 16 for p.
-4
Suppose 3*r + 5*d = 90, 4*r - 380*d = -383*d + 131. Solve r*m = 40*m + 5 for m.
-1
Let c = 294 - 424. Let r = -128 - c. Solve r*t - 5*t = 6 for t.
-2
Suppose 0 = -t + 11 - 5. Let x be ((-72)/28)/(t/28). Let h be (-4)/14 - 15/(630/x). Solve c + 2 + 0 = h for c.
-2
Let x be (-9)/(-27)*231 + -1. Solve 205 = -43*j + x for j.
-3
Suppose 5*k = 4*a - 392, 3*a - 237 = 5*k + 57. Solve a = -21*m - 28*m for m.
-2
Let a = -18 + 207. Suppose -28*h + h + a = 0. Solve h*b - 12 = 16 for b.
4
Let s = -6853 + 6917. Solve 14*z + 18*z + s = 0 for z.
-2
Suppose -5*d = -9 - 6. Suppose 4*o + 9*s - 30 = 11*s, -4*o - d*s + 35 = 0. Solve o*p = 13*p + 5 for p.
-1
Suppose 4*o + 2*n = 18, -5*o - 3*n = -770 + 746. Solve o*b = -7 - 5 for b.
-4
Suppose -3*p = -4*c + 355, 14*c + 360 = 18*c - 4*p. Solve -61*s = -c*s - 96 for s.
-4
Let a be 6 + 151 + -18 + 10. Solve 5*k + 154 = a for k.
-1
Let w be (-3)/((-2)/48*4). Let u be (6/4)/((-6)/64). Let a = w + u. Solve -b - 15 = a*b for b.
-5
Suppose -5*t = 461 + 69. Let p(k) = k**3 - 8*k**2 - 13*k - 4. Let z be p(8). Let d = t - z. Solve -15 = d*q + q for q.
-5
Let u(h) = 11*h**3 - 140*h**2 - 29*h + 16. Let v be u(13). Solve -22*b + 58 = v for b.
-4
Suppose 5*b - 162 - 33 = 0. Let t be ((-6)/(-3))/(26/b). Solve 