 a*k - 4 for k.
4
Let z = 6114 + -6087. Solve 28 = -20*d + z*d for d.
4
Let r(w) = -2*w**2 - 441*w - 3398. Let s be r(-8). Suppose 4*k + 12 = -3*o, -2*o - 6 = -4*o + 2*k. Suppose -5*t + 40 = -o*t. Solve t = -0*b - s*b for b.
-4
Let p be -3*(1 - (-3)/(-18)*76). Let d = 37 - p. Solve 0 = -3*v - d*v - 15 for v.
-3
Suppose -5*a = 10*a + 150. Let u(o) = 10*o + o**2 - 5 - 12 + 2 - 2*o. Let t be u(a). Solve -h = -t*h - 4 for h.
-1
Let r(p) = 2*p**2 + p + 3. Let z be r(2). Suppose 0 = -3*y - 0*y + 9. Suppose 0 = 4*d + f - 13, d + y*f - 27 = -2*f. Solve -3*g = z + d for g.
-5
Let w be (-47)/(-4 + 3) + -3. Let l be (-172)/(-16) - (-55)/w. Solve -10*b - 2 = -l for b.
1
Suppose 295 = 40*d - 65. Solve -14 - 4 = d*l for l.
-2
Let y(o) = o + 21. Let m be y(-18). Let w(r) = r**2 + 6*r + 2. Let z(a) = a**2 + 6*a + 2. Let u(j) = m*w(j) - 4*z(j). Let k be u(-5). Solve -1 - 14 = k*v for v.
-5
Let u(a) = a**2 + 6*a + 10. Let g be u(-10). Let w = g - 19. Let k = w + -27. Solve f + k = -f for f.
-2
Let t(h) = 3*h - 7. Let v(z) = 0*z - z + 295 - 293 - 6*z**2 - 2*z**3. Let f be v(-3). Let x be t(f). Solve 0*d - 2*d = x for d.
-4
Suppose -2*d - 16*h + 25 = -21*h, 5*d + 5 = -h. Suppose d = -11*m + 29*m. Solve l - 2*l - 3 = m for l.
-3
Suppose 17*z - 51 - 1513 = 0. Suppose -120 = -14*w - z. Solve w*n - 32 = -38 for n.
-3
Suppose -3*m - 29*w + 33*w + 590 = 0, -w = 2*m - 397. Let s = -194 + m. Solve 18 = s*i + 5*i for i.
2
Suppose 3*p = -4*t + 116, 44 = 2*t + 5*p - 28. Suppose -t = -2*w + 4*z, z - 12 = -w + 2*z. Let m = -106 - -109. Solve -w = m*x - 2 for x.
-3
Suppose w = -2*w + 90. Suppose 3*u - 3*p + 1101 - 1107 = 0, -3*u - 6 = -6*p. Solve -6*g - u + w = 0 for g.
4
Let o = -3 + 6. Suppose -l = o*c - 19, -l + c + 0*c - 1 = 0. Let u(d) = d**2 - 20*d + 85. Let y be u(6). Solve -z + y = -l for z.
5
Suppose -2*a - 3*p + 355 = 0, -5*p - 223 = 361*a - 362*a. Solve 17*c - a = -30*c for c.
4
Let g(m) = 8*m**2 + 6*m - 5. Let x be g(4). Let z = -142 + x. Solve l = 1 - z for l.
-4
Let a = -487 + 491. Suppose a*b = -16, -3*x + x + 18 = -b. Solve 3*q = 14*q - x*q for q.
0
Let i(d) = -8*d + d + 15*d - 7*d + 125. Let m be i(0). Let x = m + -120. Solve h = 6*h - x for h.
1
Let i(h) = -h**2 - 7*h + 126. Let v be i(8). Let f be ((-187)/(-77) - -4) + v/(-14). Solve 0 = -f*q - 40 + 34 for q.
-1
Suppose 2*q = 4*j - 114, -j + 50*q = 45*q - 24. Solve 0 = 8*p - j*p - 84 for p.
-4
Let j be (39/(-9) + 3)*-3. Let l(g) = -g**2 - g + 43. Let v be l(-7). Suppose v = -n + 10. Solve -n = -j*y + 11 for y.
5
Suppose 3*c = c + 8. Suppose 8*b - c = -2*u + 6*b, 0 = 3*u - 4*b + 1. Solve -x + u = 2 for x.
-1
Suppose -80*v + 90846 = 120*v + 109*v. Solve 11*k = 228 - v for k.
-6
Let w be (-27 + 2)*(-6 + -3)/9. Suppose 0 = -12*u + w*u - 390. Solve b - u + 25 = 0 for b.
5
Let m = 114 + -112. Suppose 0 = m*u - 68 - 0. Solve -9 + u = -5*h for h.
-5
Let i(o) = o**3 - 2*o + 1. Let u be i(2). Suppose -3*v + 4 = -u. Let f be (-12)/(-8)*(-5*40/15)/(-2). Solve -v*d + 1 - f = 0 for d.
-3
Let h(c) = -163*c + 527. Let o be h(3). Solve 23*r - 4*r = o for r.
2
Let d be (-22)/(-6) - 1/(-3). Suppose -4*o - 19*i + 20*i = -56, -60 = -4*o + 2*i. Suppose o = -d*q + 53. Solve -2*r + q = -0*r for r.
5
Suppose 0*u = u - 4. Suppose -h - 11*j = -10*j - 9, h = -5*j + 25. Suppose -h*i = -19 + u. Solve i*o + 0*o = 3 for o.
1
Let z(h) = 3*h + 19. Let r be z(8). Let x = -38 + r. Suppose -s = -y + 4, -5*y = -8*y + x*s + 18. Solve -2*b - y = -5 for b.
2
Let b = -34 - -39. Suppose 2*n - b*w = 25, -19 = -2*n + w + 2*w. Let q be ((-5)/1)/n + 14. Solve 5*d + 7 = -q for d.
-4
Let q be (1512/(-882))/((-3)/4*2/21). Solve q = 38*d - 32*d for d.
4
Let d = 24065 + -24065. Solve -11*a = -d*a - 33 for a.
3
Let b = 3662 + -3656. Solve b = 18*c - 21*c for c.
-2
Let v(o) = -51*o - 493. Let b be v(-10). Solve 57 = -8*r + b for r.
-5
Let k(i) = 9*i + 89. Let r be k(-8). Suppose -r*f = -15*f - 8. Solve -x + 1 = -f for x.
5
Let y be -4*((-17)/2 - -5). Let x be (-8)/14*49/y*-8. Solve a = 5*a - x for a.
4
Let p(w) = -w**2 - 5*w + 12. Let c be p(-6). Suppose 25 + 5 = c*l. Let x be (1 - 3/(-1))*(l + -4). Solve 4*r - 12 - x = 0 for r.
4
Let a be 604/12 - (-1 - 1/(-3)). Let b be a/4 - (-6)/(-8). Suppose -10*i = -4*i - b. Solve -1 = -o - i for o.
-1
Suppose 145 = 13*d - 50. Suppose -29 = -3*h + i - 28, d = -5*h + 5*i. Solve 8 + h = -5*r for r.
-2
Let l = -447 + 692. Let c = -200 + l. Solve -c = -d - 44 for d.
1
Let g = -255 - -271. Solve -g*h = 86 - 198 for h.
7
Suppose -1871 = -77*p + 2762 + 2682. Solve p - 87 = 2*m for m.
4
Let k(h) = -2*h + 87. Let d be k(-14). Solve -22*m = m + d for m.
-5
Let t(v) = 5*v + 130. Let a(o) = -10*o + 38. Let n be a(6). Let z be t(n). Solve -4*u + 0*u = -z for u.
5
Let u = -4767 + 4818. Solve u*h - 73*h = -154 for h.
7
Suppose -31*m + 690 = -21*m. Suppose m*c - 46*c - 115 = 0. Solve b + 8 = c*b for b.
2
Suppose -2*o + 92*o + 1794 - 11064 = 0. Solve 0 = 10*g + 153 - o for g.
-5
Suppose 0 = 2*j - 5*j + 3*r - 36, 34 = -3*j + 5*r. Let c be j/(-1)*36/234. Solve c*g - 4 - 6 = 0 for g.
5
Let v(b) = -10 - 3 - 3*b - 18*b**2 + 2*b**3 + 21*b - b**3. Let m be v(17). Suppose m = -o + 3*o. Solve -1 = -o*f + 1 for f.
1
Let y = -18055 - -18082. Solve y*m + 72 = 18*m for m.
-8
Suppose -4*z - 5*l = -4*l + 373, -5*z - 461 = 3*l. Let b = 1393 - 1489. Let y = z - b. Solve 0*h + y*h + 6 = 0 for h.
-3
Let l(f) = -15*f + 2. Let n be l(2). Let h be ((-12)/(-10) - 1) + n/(-10). Solve -h*z + 3 = -6 for z.
3
Let z(u) = u**2 + 79*u + 406. Let h be z(-75). Solve 70*g - h = 384 for g.
7
Suppose 3*z - 483 + 477 = -0*z. Suppose o + 5*s - 20 = 0, 3*s + 0*s = 2*o + 12. Solve o*h - 8 = z*h for h.
-4
Let w(d) = 3*d**2 - 106*d - 41. Let m be w(37). Suppose 19*y = -29*y + m. Solve -y*z + 4*z = -3 for z.
-3
Suppose 2670 = -159*x + 26679. Solve 0 = -153*p + x*p - 12 for p.
-6
Let x = 145 - 145. Suppose -2*h + 20 = 3*l - 15, x = 4*l + 2*h - 46. Suppose -3*y = -22 - l. Solve 16*r - 10 = y*r for r.
2
Let o = 55 - 52. Suppose 2*g + u - o*u - 10 = 0, g = -u + 3. Let j(s) = -s**2 + 6*s - 8. Let v be j(g). Solve -2*n - 3 - 1 = v for n.
-2
Let b be ((-2774)/95)/((-2)/5). Let t = b + -67. Solve 0*d + t = -3*d for d.
-2
Suppose 4*h = 20, 12*a - 10*a - 20 = -2*h. Suppose -4*u + 64 = 2*s, 13*s - a*u + 95 = 16*s. Solve 0 = -22*v + 16*v + s for v.
5
Let i(v) = -v**3 + 6*v**2 + 4. Let z be i(6). Suppose -7*b = -z*b - 12. Suppose -b = -3*j + j. Solve -u = j*u for u.
0
Let h = 2751 - 2748. Solve 2*p = -88*p - h*p for p.
0
Let v = -214 - -215. Suppose -40 = -17*k + 12*k. Solve -v = -k*z - 17 for z.
-2
Suppose 0*t + 8 = t. Suppose t = h + h. Suppose 4*l - 5*l + 38 = 31. Solve -h*j + 9 = -l*j for j.
-3
Let u be (-6)/(-12)*2*3. Suppose -3*v - 113 - 1 = -u*k, 0 = -2*v - 4*k - 76. Let j = v + 44. Solve b - j = -4 for b.
2
Let r(s) = s**2 - 14*s + 3. Let k be r(14). Suppose 17 = k*t - c + 5, -2*t + c + 9 = 0. Solve -t = 2*a - 5 for a.
1
Let a be (-8)/(-12) - (-1 - 14/6). Suppose a*i + 20 = -v, 2*i + 3*v + 14 = -6. Let d = 16 - i. Solve -3*k - k + d = 0 for k.
5
Let h = -283 - -501. Let p = h + -214. Solve -c = -2*c - p for c.
-4
Let a(g) = g**3 + 54*g**2 + 58*g + 285. Let z be a(-53). Solve -22 = -z*u + 98 for u.
6
Let q = -1579 + 1921. Solve 267 = 15*n + q for n.
-5
Suppose -22*u - 2164 = 58. Let f = u + 104. Let b be (-1 + -8)/(6/(-4)). Solve f*r = b*r for r.
0
Let z = 228 - 218. Suppose 0 = z*u - 9*u - 25. Solve -3*a - 2*a = -u for a.
5
Let j = -8661 + 8665. Suppose -k - 4*k = 0. Solve -12 = -j*l - k*l for l.
3
Let m(s) = s + 8. Let t be m(-6). Suppose 189*z = 198*z - 18. Suppose -4*b = -6*b. Solve -z*x - t = -b for x.
-1
Let o(k) = -k**2 - 122*k - 578. Let i be o(-117). Solve i*u + 7*u - 14 = 0 for u.
1
Suppose 10*s - 21 = 3*s. Suppose -s*c + 2 + 4 = 0. Suppose 3 = k + l, 2*k - 3*l = c*l + 6. Solve 2*w - k*w = 4 for w.
-4
Let p = 10 + -5. Let s(y) = y**2 - 5*y - 1. Let q be s(6). Suppose -q*x = -20*x + 60. Solve 0 = p*i - 6 - x for i.
2
Let w = -3973 - -4044. Solve 29*o = 100*o + w for o.
-1
Let j be (12/9)/(20/45). Solve j = -5*w - 22 for w.
-5
Suppose 40 = 5*g + 15. Suppose -5*b + 20 = -5*a, -a = -3*a - 8. Suppose -v + b*v = -g. Solve -4*c = -v*c + 1 for c.
1
Suppose 0 = -4*i - 2*n + 188 + 458, -139 = -i + 2*n. Solve 0 = -17*u + i - 21 for u.
8
Let d(p) = -p**3 - p**2 + 4. Let c be d(0). S