d - 4, -2*k = 5*d - 14 for k.
2
Let d(h) = h**2 + 73*h + 1150. Let f be d(-23). Solve -3*v + 6*v + 5*b + 16 = f, 3*b = -6 for v.
-2
Let d = 24 + 63. Let z = 14 + -97. Let o = d + z. Solve 3*v - 5*s - 3 = -23, 6 = -2*v - o*s for v.
-5
Suppose -12*n + 496 = 50*n. Solve -3*j = n*p - 12*p + 5, 2*p = j + 3 for p.
2
Suppose 597 - 1653 = -132*n. Solve -64*a + 68*a = 3*g + n, 0 = g for a.
2
Suppose -61 = 123*f - 69 - 238. Solve -36 = -x + 2*o - 43, -f*o + 10 = 0 for x.
3
Let d = -520 - -940. Let s = -412 + d. Solve 4*f - f - 2*r = s, -5 = -f + 3*r for f.
2
Let o(k) = 343*k - 354. Let g be o(1). Suppose 34 = -3*y - 5. Let u = g - y. Solve 3*x + 7 = -u*j, 0 = -3*j - 0*j + 4*x - 2 for j.
-2
Let j = -178 - -180. Suppose -i + 23 = p, 0 = -5*p + j*i - i + 97. Solve 4*l = -4*q + p, -4*l + 1 = 3*q - 14 for q.
5
Suppose 51*d - 225 + 31 = 265. Solve s - 11*u - d = -14*u, 5*u - 15 = -2*s for s.
0
Suppose -7 - 17 = -3*n. Suppose -2*j = -4*z + n, j + 0*z = -z + 2. Suppose 5*t + 3*w - 6 = 9, j = 3*t - 5*w + 25. Solve 3 = i + i + g, t = 3*i - g - 17 for i.
4
Let j be (-64)/(-6) + (20/6)/(-5). Let c be (-4 - -4)*2/6. Suppose c = j*o - 9*o - 3. Solve -2*v = 0, r = o*r + 4*v - 6 for r.
3
Let a(u) = u**3 + 18*u**2 + 14*u - 48. Let x be a(-17). Solve -2*b - 22 = 4*p, -4*b - x*p - 14 = -5*p for b.
-5
Suppose 0 = -28*d + 1008 + 320 + 72. Solve 54*o = d*o + z + 5, 5 = -5*z for o.
1
Let u(b) = 3*b + 2. Let c be u(-2). Let a be 52/14 - c/14. Let q(t) = 147*t + 2062. Let g be q(-14). Solve 5*v = o, a*o + g*v - 14 = 10 for o.
5
Suppose 25*t = 14 + 136. Suppose 0 = 2*n + 4*i - 6*i - 2, t = 2*n - i. Solve -14 = n*v - l, l = -3*v + 6*v + 10 for v.
-2
Suppose 127*w = 879 - 244. Solve x = 31*s - 27*s - 8, -5*x - 15 = w*s for s.
1
Let t be 9/(-1) + 19 + -6. Solve t*s + 0 = -4*h - 4, 0 = 2*s for h.
-1
Let v be 3*((-5)/(-10))/((-1)/(-2)). Let x = -33 + 41. Let s = -3 + x. Solve 15 = 2*m + s*w, 0*w + 15 = v*w for m.
-5
Let g = -40 - -41. Solve -4*w = 4*y + 36, 49*y + g = -w + 50*y for w.
-5
Let v be (26 + 2)*((-4)/2 + 4). Let f be (-48)/v*(-28)/6. Solve 0 = 3*r - 4*s + 3, 0*s = -2*r - f*s - 22 for r.
-5
Let t(y) = 39*y - 16. Let g be t(3). Let h = g - 96. Solve h = -p - v, 2*p = -0*p - 4*v - 12 for p.
-4
Let z = 345 - 337. Let k(d) = 8*d - 61. Let q be k(z). Solve -4*m = -3*j - 19, -j + 3*m = -q*j - 7 for j.
-5
Let b be (-5 - -8) + (-4)/2. Suppose -4*v + 4*i = -2*v - 402, -4*i = -5*v + 1005. Let n = -198 + v. Solve -3*y = -2*c - n, 4*c + b = -y + 16 for y.
3
Let v be 1 + -2 + (20 - (-11 + 26)). Let l(o) = 2*o - 13. Let a be l(11). Solve -3*f = w - 3*w - 15, w - a = -v*f for w.
-3
Let v(q) = q**3 - 41*q**2 + 207*q + 129. Let b be v(35). Solve -4*s = -5*a - 0*s + b, 5 = -5*s for a.
4
Let y(f) = -2*f**2 - 266*f - 510. Let g be y(-2). Solve 0 = -b - 5*w + w + g, 5*w = 5*b + 30 for b.
-2
Let c = -2874 + 2878. Solve 0 = -b - c*n + 20, -4*b = n - 3 - 2 for b.
0
Let g be 2*8*(-5)/12*(-33)/110. Let f be 18/8*16/6. Solve 4*v - 3*c + f = -5, 0 = g*v + 4*c for v.
-2
Suppose 0*c - 3*c = -a - 10, -5*a + 22 = 3*c. Let m = 585 + -643. Let z = m + 60. Solve 2 = -z*n - 2, 0 = 5*j - c*n - 18 for j.
2
Let w = -27 - -47. Let q be ((-1)/(-5))/(((-175)/350)/(25/(-2))). Solve -3 = x, -q*h + h + w = -4*x for h.
2
Let g(d) = -3154*d - 9454. Let v be g(-3). Let n = 3 + 0. Solve -w + l = 0, 2*w + v + 17 = -n*l for w.
-5
Suppose 0 = -263*m + 261*m - 8. Let y be (-16)/4 - (-8)/((-4)/m). Let v be (-8)/(-2) - (-1)/(-1). Solve p + 2*p = -y*j + 29, v*j - 30 = -5*p for j.
5
Let l(j) be the first derivative of -j**3 + 1/2*j**2 - 1/4*j**4 + 2 + 4*j. Let p be l(0). Solve -p*i + 13 = 3*a, -13 = -2*i - 4*a + 1 for i.
1
Suppose 0 = -330*b + 357*b - 135. Solve -b*j + 4*c - 3*c = 20, -5*c + 37 = -4*j for j.
-3
Suppose 72 = 4*n + 8*n. Suppose 0*w + n*w - 5*w = 0. Suppose -6*r + 65 + 61 = w. Solve 5 = 2*f - 2*a - 9, -5*f + r = 2*a for f.
5
Let f(h) = 2*h**2 - 7*h. Let p be f(5). Suppose -457*s + 63 = -450*s. Suppose -p - 3 = -s*v. Solve 5*g + 11 = o + v*g, 11 = -2*o - 5*g for o.
2
Suppose 21*t = 17*t + 3428. Let c = 867 - t. Solve -2*k - c = 0, 0 = -w - 4*w - 3*k - 10 for w.
1
Let s = -77 + 111. Suppose s = -14*k + 118. Suppose 3*d - 18 = 5*j, 0 = j + k - 3. Solve 0 = r + d, -r = 4*c - 4*r - 3 for c.
0
Let c(d) be the second derivative of -5*d**3/6 + 21*d**2/2 - 50*d - 1. Let q be c(3). Solve 4*m = 8, 8*m - 5*m = 3*r + q for r.
0
Let f be (6/(-2))/((3*-1)/3). Let x be (-6)/(-12) - (-13)/2 - 3. Let b be 3/2*x/f. Solve -3*a = 3*q, b*q = 3*a - 2*q - 7 for a.
1
Suppose -2*t = -c + 89, 129 = -3*t - 3*c + 6*c. Let k = -41 - t. Suppose 5*f + 31 = 2*n, k*n + 11*f + 10 = 6*f. Solve 0 = i + i - 8, -n*i = 3*b - 24 for b.
4
Suppose 14*f - 448 + 2352 = 0. Let k = -135 - f. Solve -a = 2*d - k, 0 = -2*a - d - 1 for a.
-1
Suppose -129 = -22*s + 69. Suppose s*n = 23 + 4. Solve l + 5*c = 6*l + 45, -n*l - 31 = -4*c for l.
-5
Suppose -5*f - 14 = 4*k, 25*f - 40 = 20*f + 5*k. Suppose -3*t - 6 = -t. Let q = 7 + t. Solve 0 = 2*v + q, -f*o - 4*v + 1 = o for o.
3
Suppose 9 = 2*o - 5*j, 5*o = 36*j - 34*j + 12. Solve g - 7*l = -8*l - o, 3*g - 4*l = 15 for g.
1
Let z(t) = t**3 + 4*t**2 - 6*t - 4. Suppose 3*v - j + 14 = 0, v = 2*v + 2*j. Let c be z(v). Solve w = -w + 3*b - 20, -5*b = -c for w.
-4
Suppose 0*g + 3*v = 3*g + 39, 0 = -5*g - 4*v - 47. Let w be 6/(-33) - (-150)/(-22). Let l = w - g. Solve -4*s = l*q - 4, 0 = -2*s + q - 5*q for s.
2
Let x(m) = -m**2 - 27*m - 19. Let h be x(-24). Solve 3*y + 3*o = 0, -4*o = -h*y + 52*y - 10 for y.
-2
Let c = 9 + -20. Suppose x + 5*v = 0, 3*x + 4*v + 29 = 84. Let q = x + c. Solve 2*b + 2*d = -2*d - 14, d = -4*b - q for b.
-3
Suppose m + 171 = t + 6*m, -4*t + 579 = -m. Let q = -126 + t. Solve -5*v + q = 0, -r - 4*r = 3*v + 13 for r.
-5
Let p be (-60)/(-26) - 36/117. Solve 4*c - 4*q = -28, 3 = q - p for c.
-2
Suppose 0 = -95*q - 93*q + 198*q. Solve q*x - v - 21 = 4*x, 2*v = -x - 14 for x.
-4
Suppose -9*p + 169 = 4*p. Suppose -c - 2*u = 4, -p*c - 40 = -18*c + 5*u. Solve -c = 5*t - h + 9, 5*t = -2*h - 19 for t.
-3
Suppose 20*z + 1714 = 3454. Solve 2*d + 4 = -3*p, 3*d + z*p - 11 = 91*p for d.
1
Let i(y) = y - 12*y**3 - 12*y**3 - 1 + 28*y**3. Let z be i(1). Suppose 3*t = 5 + z. Solve 2*j + t*p - 6*p + 6 = 0, 0 = -5*j + 3*p - 15 for j.
-3
Let j = 10932 - 10927. Solve 5*l + 7 = 8*l - o, -3*l = j*o - 37 for l.
4
Let z(l) = -l**3 + 3*l**2 - 11*l + 65. Let n be z(4). Solve -n*p - 34 = 3*h, 3*h + 3*p + 32 = 8 for h.
-3
Suppose -r + 5*q = -457, -r = -6*r - 4*q + 2169. Let b = r + -437. Solve -y = g - 0 + 2, b = 2*y + 3*g + 4 for y.
-2
Let i be 3434/15453 - (0 - (-25)/(-9)). Solve 5*d - 3*z = 30 + 7, 0 = -i*d - 2*z + 7 for d.
5
Let l(m) be the first derivative of -15*m - 4 - 1/2*m**2. Let s be l(-20). Solve -s*j - n = -2*n - 11, -3*j - n = -13 for j.
3
Let w(h) = -5*h**2 - 21*h - 74. Let r(x) = -14*x**2 - 63*x - 221. Let o(v) = 6*r(v) - 17*w(v). Let u be o(24). Solve 5*d - j = 20, 15 = -d - 0*j + u*j for d.
5
Let y = 4239 + -4232. Solve -n - y = -3, 2*v = -2*n - 6 for v.
1
Suppose 0 = -26*r + 77*r. Solve 2*x - 2*s + 20 = 7*x, -2*x + 2*s + 8 = r for x.
4
Let a = -22571 + 22575. Solve l - 7*p - 3 = -9*p, a*l - 4*p = 0 for l.
1
Suppose -5*n - 6*r + r + 30 = 0, 0 = -3*n - 2*r + 14. Solve 2*x - v + 8 = 0, -9*v - 4 = -n*x - 11*v for x.
-2
Suppose 90 = 5*i - 3*x, 0*i - 4*x + 41 = i. Suppose 3*q - 5*g = 34, q = 5*g + 7 + i. Solve -3*n = 2*r + 7 + q, -2*n - 14 = 5*r for n.
-2
Suppose -1044 = 3*r - 330. Let u be (-6)/14*1*r/34. Solve 11 = -u*b + 5*t, -b + 2*t + 3 - 8 = 0 for b.
3
Let a be ((-21)/70 - 0)*-70. Suppose 0*m - 5*m - 2*d + 22 = 0, -3*m - 2*d + 10 = 0. Solve 4*i - s = -m*s + 31, 0 = -3*i - 3*s + a for i.
4
Suppose -v - 5 = 3*d, -3*v = 2*d - 11 + 26. Solve 8*y - 4*y - 12 = 2*c, d = -3*c - 3*y + 9 for c.
0
Suppose 20*t + 180 = 25*t. Suppose 110*v + t = 113*v. Solve 3*d + d = -2*z + 16, -3*z = -v for d.
2
Let g(a) = 4*a + 54. Let w be g(-6). Let p be (-27 + w)/(6/4). Solve 5*n + 0*b - 20 = -p*b, 0 = 2*n - 4*b + 16 for n.
2
Let z = 6709 - 6701. Solve -5*o = 5*f - 10, -z*f - 2 = -2*o - 12*f for o.
3
Suppose -26*g - 4*j = -31*g + 8, -g + j + 1 = 0. Solve g*d + 13 = 3*l, -7 = l + 5*d - 5 for l.
3
Suppose 2529*b = 2538*b - 126. Solve 3*t + 4*y - 24 = 0, -35 = -3*t - 3*y - b for t.
4
Suppose 3*a + 64 = -4*p, 16 = -3*a + 4. Let w be (-2)