1
Let d(p) = -2*p**3 + 201*p**2 - 69*p - 3095. Let q be d(100). Solve a = 4*b - 12, -q*b = -0*b + 2*a - 2 for b.
2
Suppose -1124 = -11*k + 1131. Let j = k - 187. Solve b = -3*b + 2*o + j, -14 = -3*b + 2*o for b.
4
Suppose -5*x + 4*l + 126 = 0, -8*x = -6*x - 4*l - 72. Solve -k + 17 = -5*f + 9*f, 2*k = 5*f - x for f.
4
Suppose 0 = -4*r - k - 773, 882 = -3*r + 3*k + 306. Let c = r + 199. Let l(z) = z**2 - 2*z + 2. Let u be l(3). Solve -d - c = -3*v + 7, 4*d + u*v = 16 for d.
-1
Let k be (-9)/((-90)/4)*45. Solve 3*n - 23 = 4*j, -n = -4*j - k + 5 for n.
5
Suppose 28*y - 2804 = 3104. Let z = y + -209. Solve -2*m = -2*k, 18 = 5*k + z*m - 17 for k.
5
Suppose -y - 57 = -2*g, -22*g + 23*g + 10 = -5*y. Solve -3*w = 0, 3*q = 8*q - 3*w + g for q.
-5
Let n(o) = 9*o + 159. Let c be n(-18). Let w be 5/c*10/40*-12. Solve -6*q = -2*q - 16, -w*q + 15 = x for x.
-5
Let f be 1 + (4/(-42) + 24/(-42))*-3. Solve 9 = -f*d - 4*i, -5*d - 5 + 1 = 3*i for d.
1
Suppose 44*s + 25 - 231 = -59*s. Solve s*c - 4*j - 23 + 1 = 0, -3*c + 27 = -4*j for c.
5
Suppose 0 = -4*j - 4*u + 4, -851*u = -4*j - 852*u + 16. Solve 5*l - t - 16 + 23 = 0, 3*t - 1 = -j*l for l.
-1
Let n(q) = -q**2 - 2. Let a be n(0). Let f be 3 + 1*(a + -1). Suppose 30*k - 110 = 8*k. Solve -2*o = f, 2*m + 3 = -k*o + 9 for m.
3
Suppose -8*t + 15 = -3*t. Suppose 0 = -13*f + 17793 - 6288. Suppose 18 = -879*z + f*z. Solve -r - z*n = -5, 13 = -2*r + t*n - 4 for r.
-4
Let l = -539 - -1341. Let q = 807 - l. Solve 2*a - 1 = 3*d + 4, -13 = -q*d - 2*a for d.
1
Let h(f) = f**3 - 50*f**2 + 262*f + 91. Let z be h(44). Solve -3*o - 3 = 2*d - 5, -2 = -4*o - z*d for o.
2
Let w(g) = -1369*g - 9583. Let m be w(-7). Solve 2*f = n + 9, 3*f + m*f = 5*n + 24 for f.
3
Let g(u) = u**2 + 15*u - 5. Let h = 29 - 45. Let l be g(h). Let p be 1/3*(l - -1). Solve -5*n = 0, -4*w + p = -n + 20 for w.
-4
Let f = 8467 + -8455. Solve -14*x - w = -f*x - 23, 3*x = -w + 32 for x.
9
Suppose 90 = -35*w + 153 + 112. Solve -w*h - 3*v - 16 = -v, -4*v = -3*h + 6 for h.
-2
Let w = 49 + -40. Suppose 35 = w*y - 55. Let m(g) = -g**2 + 26*g - 85. Let o be m(4). Solve -o*u - 5*n = -6*n + y, -5*n + 8 = -u for u.
-3
Let p(l) = -15 + 18*l**2 + 57*l**3 - 23*l**3 - 2*l - 33*l**3. Let z be p(-18). Solve 4*t = h - z, 2*t + t = -h - 7 for t.
-4
Suppose m = 10*x - 8*x - 7, 5*x = -3*m + 45. Solve 0 = -0*s + 4*s - w + 6, 4*s - m*w - 2 = 0 for s.
-2
Let d = 291 - 140. Let h = 167 - d. Solve 0 = -4*z + 4*l - 20 - h, -2*z - 3*l = -7 for z.
-4
Let l be 1/4 + 11/2*25/50. Solve 5*h - 15 = -y, 2*y + 5 + 4 = l*h for y.
0
Suppose 0 = 4*l + 3*z + 3, -l - 19 = -5*z - 24. Solve l = -3*r + n - 13, -28*r = -25*r - 5*n + 29 for r.
-3
Suppose 29*c + 35*c = 256. Solve -5*i + c*r = 0, -5*i - 13*r - 35 = -10*r for i.
-4
Let c(m) = -3 - 3*m + 11 + 0*m + 5*m. Let f be c(-4). Let y(d) = -3*d**2 + 26*d + 13. Let i be y(9). Solve 24 = -f*k - 4*k - 3*v, -i*k + 5*v + 8 = 0 for k.
-3
Let i = -5908 + 5919. Solve -i = -2*p - u, -2*p + 2*u - 38 + 34 = 0 for p.
3
Let z(n) = 2*n**2 - 7*n - 6. Let o be z(-1). Suppose 6*b + 4*a - 24 = 3*b, -4*b - o*a = -25. Solve 0 = -g + 1, -g + 4*g = b*r - 1 for r.
1
Let z(q) = 19*q**2 + q - 3. Let i be z(2). Suppose -t - i = 4*t. Let w = t + 20. Solve 0 = -4*n - 3*h + 21, -n - 3*h - 3 = -w*n for n.
3
Suppose 0 = -51*k - 45*k + 95*k. Solve 5*o = k, -c + 86*o - 3 = 88*o for c.
-3
Let j be 28 + -3 - (29 - 18). Solve o - 5 + 13 = 3*r, r + 3*o = -j for r.
1
Let a(d) = -22*d + 98. Let u be a(5). Let r be (u/(-14))/((-12)/(-42)). Solve 0 = 2*h - q - 11, r*q + 18 = -h + 4*h for h.
5
Let p be ((-2)/(-50)*-5)/(-1)*(-7 - -72). Solve c = 4*c + 9*v - 33, c = -4*v + p for c.
5
Let v(z) = -16*z - 85. Let j be v(-7). Suppose s - 10 = -s. Let g be 8/(-2) - 602/(-86). Solve s*r - 29 = 3*k + r, g*r - j = 4*k for k.
-3
Suppose -3*d + 3*f + 150 = 0, 268 = 5*d - 0*f + 4*f. Let w = 56 - d. Solve -c + 2 = -h, 0 = 3*c - 0*h + 2*h + w for c.
0
Suppose -19*t = 39 - 45 - 70. Solve -4*r - 5 - 2 = -3*q, t*q - 22 = -r for r.
2
Let b = -77 - -86. Suppose -b*o = -2*o - 35. Suppose -6 = -h + t, -o*h + 0*h - 3*t + 22 = 0. Solve h*q + 3*y = -10, 3*y = 2*q - 15 - 2 for q.
1
Suppose 2*n + 5*w = 18, 4*w - 34 = -2*n - n. Solve 8 = 2*s + n, r - 5*s - 20 = 0 for r.
5
Suppose 5*m + y - 82 = -0*m, 10 = m - 3*y. Suppose 0 = 870*b - 1434*b + 2820. Solve 0*i = l + 3*i, -b*l = -i - m for l.
3
Let l = 5526 + -5521. Solve -3*i = l*v + 5 + 1, 3*v + i = -2 for v.
0
Let i(y) = y**2 - 21*y - 158. Let f = 126 + -132. Let n be i(f). Solve -2 = m - 4*j + 2, 2*j + 12 = n*m for m.
4
Let h be 5*(-9)/(-90) + 90/4. Suppose h*b + 5 = 97. Solve 4*u - 3 = -3*c - 0, b*u - c = -17 for u.
-3
Let y(t) = 77*t + 442. Let s(a) = a - 5. Let l(q) = -6*s(q) - y(q). Let g be l(-5). Solve -v + 2*v + 5*k = -22, -3*v + g*k = -24 for v.
3
Suppose 2*r - 14 - 20 = 0. Suppose r - 13 = -4*j, 4*l + j = 11. Solve -2*d - 4*s + 16 = -l*d, s - 4 = -d for d.
0
Suppose 16*o + 1887 - 459 = 118*o. Solve -o*v = b - 11*v - 2, 0 = -5*v for b.
2
Suppose -2*f + 5*w = -300, 4*w - 149 = -3*f + 301. Let n = -148 + f. Solve 4*r - 2 = 4*b + n, 3*r + 7 = b for r.
-4
Let j(a) = -a + 32. Let r be j(30). Suppose -5*o + 22 = r*t, 4*t - 2*o = 3*t + 20. Suppose 20*k - 16 = t*k. Solve 4*f - 2*g = 6, f + k*g - 3 = 4*f for f.
3
Let o = 19847 - 19844. Solve 7*p - 5*p + o*z + 14 = 0, -p = -4*z - 4 for p.
-4
Let a = 13 + -7. Suppose 37 - 27 = 2*c. Let g be 15/(-4)*(-12)/(-10)*-2. Solve -2*q = -0*q - 2*l + a, -2*q - g = -c*l for q.
-2
Suppose -58 + 265 = -25*s + 2157. Solve 3*a + 49 = 5*n + s, -3*a + 9 = 0 for n.
-4
Suppose 144 = 36*k - 360. Suppose -k = 38*o - 45*o. Solve 5*i = 2*t + i + 4, 0 = o*i - 6 for t.
4
Let u = -127 + 125. Let x(g) be the first derivative of g**4/2 + 5*g**3/3 + g**2/2 - g - 15. Let i be x(u). Solve 3 = 3*s - 5*l - 0, -s = -4*l - i for s.
1
Let q be ((-4)/((-4)/(-3)))/((-5)/15). Suppose -80 = -q*d - d. Solve -2*r - 1 - 6 = -z, -d = 3*r + z for r.
-3
Let p = 134 + -136. Let b be p*(-4)/(-8) - -3. Solve -b*f - f - s - 3 = 0, -3*f = -s + 9 for f.
-2
Let u(y) = -4*y**2 + 102*y - 66. Let q be u(24). Let o be (-2)/9 - 668/(-9). Let m = q - o. Solve -4*i - 12 = m*t, -4*t + t - 9 = i for t.
-3
Let s be 5 - (8/8)/1. Let h be s/10*-1 - 66/(-15). Solve 5*w - 10 = -j, 3*j + 2*w - h = -j for j.
0
Let z be (-18)/(-8) - (-18)/24. Suppose 15 + z = 2*j. Suppose j*l - 7*l = 12. Solve 3*s = -3*w + l*w, 3*s + 3 = 0 for w.
-1
Suppose -4*y = 4*d - 36, 5*y - 3*d + 1028 = 1025. Solve -y*v + 23 = j, -19*v = j - 24*v + 17 for j.
8
Let p(y) = y**2 + 17*y + 36. Let l be p(-15). Suppose l*u + 21 = 45. Solve -4*b + 3*w - 12 = 0, 4*w - 24 + 8 = u*b for b.
0
Let x = 205 - 241. Let q be (48/x)/(2/6*-1). Suppose 4*t + l = -3*l - 20, 2*t + 15 = -3*l. Solve -11 = 5*v - 3*o, q*o - 7 + t = -v for v.
-1
Suppose 0 = -22*v + 21*v - 44. Let d = 71 + v. Let z = -24 + d. Solve -z*a + 26 = -5*q - 2, a + q = -4 for a.
1
Let j = -220 - -269. Let a = j + -45. Solve -4*s - 4 = -a*d, 3*s + 4*d + 43 = 12 for s.
-5
Suppose -18 = -4*s - 22, s = -c + 3. Let p be 10/(-45) - 320/18. Let o = -5 - p. Solve -c*h = -6*h - r + 7, r = -5*h + o for h.
2
Let i be 540/(-252) + 1/7. Let b be i + (-1 - -15)*2 + 1. Solve -3*a - y = -4 - 5, 3*a - b = 5*y for a.
4
Let z be (-2)/(-8)*(19 + -15). Let i be (-1 - 0)*6/z. Let b = 0 - i. Solve a - 4*a + 2*t = -b, 3*a + 2*t = 6 for a.
2
Let n(f) = 70*f - 40. Let z be n(5). Let w = -307 + z. Solve -2*o + 5*u = -4*o - 29, -21 = 3*o + w*u for o.
-2
Suppose 0 = 1581*c - 1666*c + 765. Solve 4*u - b + 3 = 0, -7*b = -3*u - c*b + 6 for u.
0
Suppose 0*n - 2*h = -4*n + 20, -4*h - 5 = -n. Suppose 0 = -n*r - 3*r + 16. Suppose r*m - 7*m = -25. Solve -20 = 4*q - 4*z, m*q + 4*z - 3*z = 5 for q.
0
Suppose -3*a - 11 = 3*b - 56, 0 = -b + a + 3. Solve 21*s = -3*k + 17*s + b, 3*k - 9 = 5*s for k.
3
Suppose 0 = 3*h - r + 39 - 3, 0 = -5*r. Let o be -7 + 6 - h/4. Solve 0 = -2*j - 2*j - 4*b - 28, 6 = o*j - 3*b for j.
-3
Let l = -1120 + 1122. Solve -17*t + 19*t = 3*d - 22, -l*d - 2*t = 2 for d.
4
Suppose -173*w = -4095 - 5247. Solve -2*v - 1 = -k, -57*k + w*k + v = 7 for k.
-3
Suppose -2*x + 10 = 8*x. Let c be (3 + -3)/(x - (-3 - -5)). Solve -m - 2 = c, 5*q - m + 14 = q for q.
-4
Let k = 36 + 35. Let b = 73 - k. Solve 3*i - 5 = b*n + 1, -2*i = 0 for n.
-3
Let u(z) = 13*z - 214 - 215 + 393. Let n be u(3). So