 2*d + 4*x = w for d.
2
Suppose 206*z = 207*z - 4*l - 16, -4*z + 2*l + 8 = 0. Suppose -3*w - 2*w = -10. Solve a + 5*n = z, w*a = n - 0*n for a.
0
Let f(o) = 25*o**2 + 676*o + 27. Let r be f(-27). Solve -19 = -5*g - t - 2*t, 4*g - 2*t - 2 = r for g.
2
Let n = 2467 - 2465. Solve -3*p + 8*p = -j - 17, -2*j - 10 = n*p for p.
-3
Suppose 0 = -5*k + 349 + 1661. Let y = k - 398. Solve -8 + 0 = -b + y*r, 4*b = -3*r - 6 for b.
0
Suppose 5 = -2*t + 7*t - 4*r, -5*r = -5*t + 5. Let z(v) = 40*v - 37. Let a be z(t). Solve -4*j + 3 = -a*m - 0*m, 23 = -j - 4*m for j.
-3
Let m(h) = h**2 - 6*h - 7. Let w be m(7). Suppose -k + 17 = 2*k - 4*o, k + 5*o + 7 = w. Let c be -3*k*(-6)/27. Solve 4*b - 4*p + c = 10, -4*b - p = 17 for b.
-3
Let x be 7/(70/12)*(-259 + 264). Let k be 1 + -1 + (4 - 2). Suppose 4*y - k*y = 0. Solve -3*o + 5*m - 23 = y, -4*o - x = -m + 2 for o.
-1
Let w be (3 - 3)/(-3 + 0). Suppose 1 = 5*f - 3*r - 11, w = 4*r - 4. Suppose -s + 2 = -f*m, -2*s + s = -2. Solve 3*j - h + 1 = m, -h - 7 = 3*j - 2*j for j.
-2
Let z(r) = -r**2 - 12*r - 16. Let u be z(-12). Let s = u - -29. Solve -2*b - 13 = -4*x + s, 3*x - 12 = -b for b.
-3
Let m be -10 - -6 - 5*-1. Let a(d) = d**2 + 12*d + 22. Suppose 7*i + 114 = 37. Let w be a(i). Solve l = -5*r - m, -3*l + w = -0*l + r for l.
4
Suppose 38*u + 200 = 48*u. Solve -u*a - 3*z - 15 = -18*a, -2*a + 3 = -3*z for a.
-3
Suppose 78*t - 7*t = 0. Solve t = 3*v - b + 19, 5*b = -5*v + 2 - 7 for v.
-5
Let g(h) = h**2 - 2. Let n be g(-2). Let j(b) = -b**3 - 5*b**2 + 3*b + 11. Let x be j(-5). Let k = 8 + x. Solve z + 16 = -6*d + n*d, -z + k = -d for z.
0
Let s be 4/(-1*3/(-3)). Let w(q) = -4*q**2 + 5*q - 20. Let i be w(3). Let d be (-13)/((-819)/28) - i/9. Solve -s*p + 6*p - d = j, p + 4*j = -11 for p.
1
Let i be 2/((-2)/(-18)*6) - (5 + -5). Solve o - 3*h = 3, -5*o - i*h + 6 = -3*o for o.
3
Let j = 89 - 125. Suppose 125 = -5*o - h - 79, -2*h = 2*o + 80. Let d = j - o. Solve -b = d*t - 4*b - 3, -2*t + 4*b - 10 = 0 for t.
3
Let w = 7811 + -7793. Solve -3*n - w*u + 8 = -19*u, 2*u + 8 = 4*n for n.
4
Let k(q) = -2*q**2 + q**2 + 8*q - 7*q**2 + q**3 - 7. Let r be k(7). Suppose 0 = -o + s, 35 = 6*o - 4*o + 5*s. Solve f + c - o = r, 3*c = f - 6*f + 21 for f.
3
Let f = -24310 - -24317. Solve -17 = -4*p + 5*q, -2*p + q + f = -0*p for p.
3
Suppose -3*y = j - 95, 6*y - 5*j = 11*y - 165. Suppose g + 25 = 6*g. Let b(c) = c**2 + 4*c - 6. Let a be b(-6). Solve w + a - y = -5*f, -3*f - 13 = -g*w for f.
4
Let b = -67 + 69. Suppose c + 3*c + 3*t = 44, -3*t - 4 = -b*c. Solve 0 = -2*g - n - n + c, n - 19 = -4*g for g.
5
Let m(l) = -l**3 - 2*l**2 + 2*l + 6. Let d be m(-2). Solve -4*g + 4*j - 24 = 0, d*j = -4*g - 3 - 3 for g.
-3
Let w(s) = 15*s - 148. Suppose -72 = -5*x + 4*o - 26, 0 = 4*x + 3*o - 43. Let g be w(x). Solve 4*y - 2*y - 2 = 0, g*y = -i + 5 for i.
3
Suppose 2*h - 9 = -3*o, 5*h - 11 = -4*o + 1. Solve h = t - 5*q - 9 - 20, 2*q + 10 = 0 for t.
4
Let n(l) = -l - 14. Let a be n(-21). Suppose 2*f + a*f = 5*f. Suppose -6*c + 9 + 15 = f. Solve -p - 2*p = 4*y - 10, 4*p = -c*y + 8 for y.
4
Let k be (4/5 - (-12)/(-15)) + 2. Suppose y + 9 = 2*l, -9*y - 9 = 3*l - 6*y. Solve 2*i = -5*n - l, 2*i = -k*i + n - 4 for i.
-1
Suppose -33 + 35 = j. Suppose -j*q + 39 = q + 3*d, 2*q + d = 30. Solve 3*v - z + 3*z = 7, 5*v - q = -2*z for v.
5
Suppose 52*c - 2*c - 100 = 0. Solve c*p = 3*i + 6*p + 1, -2*p = 3*i - 7 for i.
5
Suppose 19 = 5*u - 17 + 26. Solve 2*g = -u*q, 3*g - 8*q = -7*q for g.
0
Let m(z) = z**3 - 187*z**2 + 1262*z - 340. Let b be m(180). Let x = 21 - 15. Solve 5*s + 3*r + 34 = -x, -b = 2*s + 2*r for s.
-5
Suppose 3*k + 3*q = -468, 10*q - 12*q = -k - 156. Let l = k - -161. Solve 0 = -3*g - l*b + 13, -4*g + 4*b + b = 6 for g.
1
Suppose -165*y - 7 = -158*y. Let w be -30 - -24 - y*10. Solve -2*f + 3*i = 3*f + 7, w*f + 4 = 2*i for f.
1
Let h = -100 + 184. Let t be h/(-20) - 3/(-15). Let d be 2 + (-96)/t - 0. Solve 5*x = z, 4*z - 6 = -d for x.
-1
Let o = 3568 - 3552. Solve -4*t + 5*h = 2*h + 16, -o = 4*t + 4*h for t.
-4
Let a = -41 - -48. Let z be 3/7 - (-4)/a. Suppose 1 = -4*o + z. Solve -4*c + 5*b + 15 + 13 = o, 4*b + 6 = -5*c for c.
2
Let s = 302 - 294. Solve -4*d - 3*r - 7 = 0, -d + r = s - 1 for d.
-4
Suppose -3*n = -2*o - 18, 3*n + 9 = 5*o + 36. Solve -2*w - n = -21*m + 19*m, -4*w - 23 = m for m.
-3
Let l be (1680/300)/(7/20). Solve -h - 8 = 2*p, 5*h = -7*p + 11*p + l for h.
0
Suppose -13*p + 350 + 2133 = 0. Let x = p - 189. Solve -x*t = -3*j + 5*j - 16, -4*j = -20 for t.
3
Suppose -3*x = k - 11, -21 + 14 = 4*k - 5*x. Let u be 4 + (-7 + 3 - -5). Solve -k*c - 1 = 3*q, c + 35 = 6*c - u*q for c.
4
Let c = 27 + -17. Let j be (-1 - (-86)/c)/(2/30). Let h = j - 107. Solve -h*n - 25 = -3*n - 3*z, 4*n + 19 = z for n.
-4
Let s = 328 - 258. Suppose 0 = -w + s - 45. Solve -17 = q + 4*d + 3, 4*q - 5*d - w = 0 for q.
0
Suppose -18*q = -31*q - 3302. Let a = q + 260. Solve -f + k - 3 = 0, f + 4*k = a*f + 16 for f.
-4
Let w be (20/(-5))/(126/30 - 5). Solve -3*z + 3 = 3*x, z - 4*z - w*x = -13 for z.
-4
Suppose 1081*d = 1083*d - 4*h + 14, -4*d = 5*h - 37. Solve 3*p + 16 - 19 = d*l, 12 = -3*p for l.
-5
Let l = -75 - -77. Suppose 4*x = 4*s - 0*s + 112, l*s = -4*x + 130. Suppose 0 = 6*j + x - 79. Solve -d - j = -4*t - 1, 0 = -d - 3*t + 14 for d.
5
Let a = -2227 + 2251. Solve -j - 10 = a*h - 23*h, h - 10 = 3*j for j.
-5
Suppose 1726*q = 1743*q - 2346. Solve 2*b = -139*t + q*t + 4, -3*t + 2*b = -12 for t.
4
Let v(f) = -4*f - 48. Let c(l) = -1. Let t = -81 + 80. Let o(h) = t*v(h) - 5*c(h). Let g be o(-12). Solve 5*m - 48 = 3*d - 11, 0 = -g*d - 4*m for d.
-4
Let a(v) = -412*v - 4944. Let y be a(-12). Solve 9*b - 5*k + 20 = 10*b, y = -3*k + 9 for b.
5
Let j = 21 + -19. Let b be (-3 + (-2)/(-2))*(-3)/j. Solve 4*a + 2*f = f - 1, -b*a - 5*f = 22 for a.
1
Let n be (112/42)/((-2)/(-3)). Suppose -11*s - n*s = -1275. Let v = s + -83. Solve 2*r = 3*a - 5, -4*r + 6 + 4 = -v*a for a.
5
Suppose 3*l - 3 = 0, -5*l - 6 = -s - 20. Let p(b) = b**3 + 8*b**2 - 12*b + 13. Let t be p(s). Let x = -36 + t. Solve x*f + 8 = 0, -f = -5*u + 4*f for u.
-2
Let h be ((-6)/6)/4*-20. Suppose h*b + 20 = 0, -4*k - 5*b = -4*b - 12. Solve 5*r = w + 14, 0*w - k*r + 11 = -w for w.
1
Let k = -96 - -99. Suppose -5*c = 15, k*c + 9 = -5*n + n. Suppose 0*u + n*u = 6*u. Solve 2*h - 5*l + 15 = u, h - l = -0*h for h.
5
Let y be 14 + 10*91/130. Solve -2*r + 2 = -3*o - y, -9 = 4*r + 5*o for r.
4
Let g(h) = 2*h**2 + 126*h + 885. Let x be g(-8). Solve 3*s = -3*m - 15, s - x*s - 5*m = 25 for s.
0
Let o = 56 + -50. Let l be o/4 - (-3)/(-3 - -9). Suppose 5*b - 3 + 1 = l*y, b - 22 = -5*y. Solve -y*j + 3*p + 21 = -5, 0 = p + 2 for j.
5
Let j(z) = z**3 + 4*z**2 - 2*z + 5. Let o be j(-4). Suppose -21*m + 45 = -12*m. Suppose 7*h = m*h. Solve -k + o = -4*g, 4*g + 2*k = -h*g - 22 for g.
-4
Let l(p) = -4*p + 20. Let i be l(-14). Suppose i = -4*r + 6*r. Let b = -34 + r. Solve -3*v + v + 4*u - 16 = 0, -b*v - 14 = -2*u for v.
-2
Let x = 2183 + -2163. Let c be 1 + -1 + (5 - 2). Suppose c = 2*o - d + 4*d, 4*d + 7 = o. Solve 3*i + 24 = 3*v, v - x = -o*v for i.
-3
Suppose 4 = -j - 2*l, j + 16 + 2 = 5*l. Let v = 17 + j. Suppose 3*s - v = 4*t, -3*s - t + 13 = 4. Solve s*m - 1 = -3*z + 2, -m = 4*z - 16 for m.
-4
Suppose 7*t + 627 = -4*a + 2*t, 2*t + 316 = -2*a. Let m = a + 168. Solve 0 = -3*v - 5*r - 19, -m*v - 7 = -7*r + 3*r for v.
-3
Suppose 2*j = 4, -39*p - 4 = -38*p - 4*j. Solve x + r = -p*x - 24, 2*r = 2*x for x.
-4
Let w(u) = -2*u**2 + 20*u + 11. Let y be w(10). Solve 0 = -4*h, -12*j + y*j = 3*h + 3 for j.
-3
Let j(q) = q**2 - 25*q + 16. Let k be j(26). Suppose -k = 109*n - 116*n. Solve -6 = 2*t - y, t + 2*y - n = -4 for t.
-2
Suppose 13*r = 19*r - 30. Suppose 5*g + 5*n = 0, -10*g + r*g - 3*n = -10. Solve 0 = -0*z + 2*z - l - g, -4*z - l + 13 = 0 for z.
3
Let r(v) = -3653*v - 65751. Let s be r(-18). Let o(c) = 2*c - 5. Let d be o(5). Suppose d + 5 = 2*x. Solve -s*p + 5*b - 17 = 0, -25 = 4*p - x*b - 4 for p.
-4
Suppose 7*q - 3*q + 3*i + 2031 = 0, 3*q + i = -1522. Let c = q + 510. Solve 2*j = -3*z - 1 - 4, -23 = 5*j - c*z for j.
-4
Let f = -196 - -202. Suppose -245*b = -242*b - f. Solve -5*m + 3*y - 2*y = 12, 2*m + b*y = -12 for m.
-3
Let b(w) be the first derivative of -w**3/3 - 13*w**2/2 + 3*w + 22. Let i be b(-13). Solve 0 = f + 5, -i*f =