4*b + v + 15 for b.
-5
Let z be 2/(-9)*1 - (-28 + 4000/144). Solve -3*u - 15 = z, 4*d + 3*u + 46 = 39 for d.
2
Let c = -364 + 308. Let r be 3*2/10 - c/40. Suppose -4 = -0*i + 3*i + 5*x, 2 = -i - 2*x. Solve 6 = 3*b, -r*a = -3*a - i*b + 4 for a.
0
Let z be 93 + -93 - (-6)/2. Let k(w) = 5 - 2 - w + 0*w + 3. Let m be k(0). Solve -2*y + 13 = z*f, 2*y - m*y - 5*f = -21 for y.
-1
Let w = -16149 - -16152. Solve -5*i - 22 = -i - w*o, -5*i - 30 = -5*o for i.
-4
Let m(a) = 5*a**2 + 105*a + 554. Let w be m(-11). Solve v - 3 = -h - w, 3*h - v = 13 for h.
3
Suppose 0 = 29*n - 42*n + 16*n - 24. Solve 2*h = -2*g + n, -7*g = -5*h - 2*g + 30 for h.
5
Suppose 15*y = 18*y - 21. Suppose -y*q = q - 24. Solve -q*v - 3*s = 0, -2*v - 2 = 3*s + s for v.
1
Let f = -164 + 172. Suppose f + 0 = -d + 3*q, -4 = -2*d + q. Solve 0 = 4*x + d*l + 36, -3*x + 4*l - 1 = -9 for x.
-4
Let m(q) = -q**3 - 34*q**2 - 243*q - 70. Let c be m(-24). Solve 0 = 2*l - c*b + 4, -18*l - 20 = -20*l - 4*b for l.
2
Suppose l + 2*f + 26 = 0, 4*l + f - 34 = -138. Let b = -20 - l. Suppose -b*a - 117 = -19*a. Solve -3*u - 4*h - a = 0, -u + h = -h + 3 for u.
-3
Suppose 46*l - 141*l + 770 = 295. Solve 2*s = -2*s - 4*v, -l*v = -5*s + 30 for s.
3
Suppose 20*r + 0*r = 4*r. Let l be r/((-3)/((-9)/12)). Solve -20 = -5*t, l*h + h = -4*t + 14 for h.
-2
Suppose -64*b - 10*b - 15*b = -890. Solve -c + 3*a = 13, 20*a - 22*a + b = -c for c.
-4
Let n = 1474 + -1472. Solve 3*w + 5*o - 35 = -14, 2*w - 2*o + n = 0 for w.
2
Let h be 2863/49 - 6/14. Suppose -7*y + 72 - h = 0. Solve -y*s - 16 = 5*r + 7, 2*s = r + 7 for s.
1
Suppose 309*c - 1680 = 267*c. Solve 3*w - 10 = c*t - 35*t, -3*t = -w + 10 for t.
-5
Suppose -15*u + 11*u = 2*h + 38, u + 6 = -4*h. Let r = u - -13. Solve -4*i + 5 = -2*s + r, -s = 5*i + 15 for i.
-2
Let d be 7 - ((-128)/(-12))/(18/(-27)). Solve 4*g - 2*i - 6 = 0, 9*g + 2*i = 56 - d for g.
3
Let x be 4/((1/4)/(184/(-64))). Let y = -42 - x. Solve y*d = 3*n, -19 = n + 3*d + 2*d for n.
-4
Let y(z) = -616*z**3 - 6*z**2 - 8*z - 6. Let d be y(-1). Solve 12 = 4*j, -5*j + d = -4*p + 589 for p.
-2
Let f = 2862 + -2862. Solve -12 = -2*h + p, 5*h = 2*p - f*p + 28 for h.
4
Let x(g) = -4 + 6*g**2 + 1 - 2*g**2 + g**3. Let u = -460 - -458. Let d be x(u). Solve 5*f - l = 0, 2*f - d*l + 14 = 37 for f.
-1
Suppose -7*j = -52668 + 52668. Solve j = 3*d + 3*c - 27, -11*d + 8*d = -c - 7 for d.
4
Let t = 7120 - 7118. Solve -2*g - 9 = v - 5, -10 = t*g - 2*v for g.
-3
Suppose -3*v + 93 = -r, 0 = -3*v + 4*r - 350 + 434. Solve 4*x = 3*x + 4*m + 26, 4*x - 4*m = v for x.
2
Let o be (1 - 5)*249/12. Let d = o + 87. Solve t + 12 = -m + 5*m, d*t - 24 = -2*m for t.
4
Let y = -10082 + 10085. Solve 5*d + 35 = 3*j + 13, 0 = -y*d - 5*j + 14 for d.
-2
Suppose -4*u - u + 19 = 4*q, -5*q = -5*u + 10. Let c be (-17 - -17) + (-4 - -7) + 2. Solve -13 = -u*x - 2*x - 3*f, c*x = -4*f + 14 for x.
2
Suppose 0 = -3*j - 4*t + 70, 2*j - t - 8 = 24. Let x be (j - 17)/((-3)/(-15) - 0). Solve x*v = w + 28, 5*v + w - 22 = -0*w for v.
5
Let w(m) = -8*m**3 - 112*m**2 + 2*m + 32. Let s be w(-14). Solve s*f - 4*x + 11 = 3, 5*x = -3*f - 14 for f.
-3
Let s(j) = j + 18. Let o be s(6). Suppose -18*f + 21*f = o. Suppose 11 = 3*r + 2. Solve -r*h - f = -3*x + 2*x, -h - 3*x - 16 = 0 for h.
-4
Let j(p) = -p - 15. Let y be j(-21). Suppose 9*b - y*b + 99 = 0. Let i = 35 + b. Solve u + u - i = 0, -2*d + 3*u - 3 = 0 for d.
0
Let l(k) = -k**3 - 3*k**2 - 17*k. Let z be l(0). Solve z = b + 99*u - 103*u + 19, b - u = -4 for b.
1
Let l be ((-4 + -36)/(-8))/1. Suppose 14 = l*o + 4, 3*f - 17 = -4*o. Solve 0 = 4*i - 20, f*g - 5*g = 3*i - 9 for g.
-3
Suppose 12 = -q + 5*c + 1, -4*q + 3*c + 7 = 0. Suppose -5*x - 15 = -q*x. Let z(g) = -g - 9. Let d be z(x). Solve t = -4*m + 6, d*m - m - 3*t + 1 = 0 for m.
1
Let a = 7 + -2. Let o = -177 + 364. Suppose 0 = -57*w - 16 + o. Solve -12 = -2*v - 3*z, w*z = a*v - 0*z - 9 for v.
3
Let u(j) = j**3 + 13*j**2 + 28*j - 17. Let b be u(-10). Suppose b*m + 20 = 29. Solve 2*v = 4*g - 20, 3*v - 7*v - m*g + 4 = 0 for v.
-2
Let k = 15244 - 15239. Let b be 2/(-3) + 70/15. Solve -5*l - b*c + 7 = -4, -k*c + 20 = 0 for l.
-1
Suppose 2*v - 3*u - 18 = 0, 5*v + 4*u - 17 = -18. Suppose 5*r = -f - 0*r + 25, 0 = 5*f + v*r - 37. Solve j + w + 1 = 0, 0 = 4*j + j - f*w + 25 for j.
-3
Let t be 8 + -5 - -10*9/6. Suppose 3 - t = -i. Let r(v) = -v**2 - 7*v - 2. Let b be r(-6). Solve -n + 1 = 3*x + 21, b*x + i = n for n.
-5
Let k = 114 + -99. Let r = k + -13. Solve -3*w = 4*z + 15, 0 = 5*z - w - 7 + r for z.
0
Let t = 64 + -24. Suppose -l - t = -54. Solve 0 = 5*a + 3*j - l, 0 = -2*a - 0*a - 4*j for a.
4
Let p(i) = i**3 - i**2 - 2*i + 5. Let s be p(0). Suppose 4*t - 56 = s*t. Let f = -56 - t. Solve w - 3*w + x - 8 = f, -5*w - 20 = 5*x for w.
-4
Suppose 0 = -97*u + 90*u + 84. Suppose 2*a = 0, -3*b - 3*a + 6*a = -u. Solve -y = 3*v - 2*y - b, 6 = 3*v - 3*y for v.
1
Let g = 9075 - 9071. Solve -5*q = 3*z - 37, -z + 1 = -g*q + 17 for z.
4
Let j be (12 + 40)/(-13) - (-2)/(4/22). Solve 0 = -4*l - j*i + 4*i + 16, -l + 9 = 2*i for l.
1
Suppose 177 = 57*y - 108. Let g = 13 + -9. Solve i = -2*i + g*v - y, -2*v = 5*i - 9 for i.
1
Let f = -21854 - -21859. Solve -2*a + 40 = f*q, -447*q = -446*q - a - 1 for q.
6
Suppose 54 = -1788*t + 1794*t. Solve -24 = 3*y + 5*u, t*u + 6 = 7*u for y.
-3
Suppose -4*m + 2*h = -16, m - 4 = -123*h + 118*h. Solve 4*j + a = -2 + 1, -3 = m*j + 3*a for j.
0
Suppose 19093 = 295*y - 453 - 6119. Solve -4*z = 3*h + 23, y - 65 = -2*z + 2*h for z.
-8
Let u(n) = -n - 5. Let l be u(-13). Let f be (-1)/8*-2 + 62/l. Suppose -5*o + 20 = 3*q, 4*q - o = -3*o + f. Solve q*k + 20 = -5*y + 5*k, 2*k - 10 = 3*y for y.
-2
Let x = -104 + 79. Let i = 18 - x. Suppose -7 = -5*t + i. Solve -5*z + s = -s - t, -3*z - s = -6 for z.
2
Suppose -13 = -5*d - h + 1, -3*d + 13 = -4*h. Suppose -d*l - 21 = -3*x, x + 9*l - 8*l - 13 = 0. Solve 4*z - 2*c + 10 = 0, c - x = z - 2*c for z.
-1
Let y(c) = -c**3 + 34*c**2 + 3*c - 100. Suppose -4*m + 3*s = -133, -2*m - 7*s = -2*s - 73. Let i be y(m). Solve 0*z - 2 = -z + u, i = 2*z - u for z.
0
Let s(g) = g**3 - 8*g**2 - 8*g + 11. Let t be s(9). Suppose 0 = 5*m - t + 5. Suppose m*j - 5 = 1. Solve 4*p = -4*f, -j*p = -0*f - f for p.
0
Let w(z) be the first derivative of -37*z**2/2 + 151*z + 134. Let f be w(4). Solve f*u + 3*c - 10 = 5*c, 3*c + 15 = -2*u for u.
0
Let u(q) = 104 + 8 - 75*q - 14 - 68*q + 140*q. Let n be u(31). Solve -4*a = -r + 3, -2*a = -0*a - n*r - 3 for a.
-1
Let q = 23 - 28. Let h be q - (-240)/(-8)*3/(-9). Solve h*f = -3*x + 2*f - 9, 4*x + 16 = -2*f for x.
-5
Let p = -182 + 212. Let j = -2 + 4. Solve -5*o + 3*q + p = 0, j*o + 2*o + 8 = -4*q for o.
3
Let s(v) = v**2 + 10*v - 3. Let k be s(-7). Let i = 33 + k. Suppose 0 = -5*f + i + 1. Solve 10 = -5*p + u, 2*p = -u + f - 6 for p.
-2
Let a(w) = 51*w - 6067. Let u be a(119). Solve 2*v - 4*t = -6, u*t + 15 = 5*v + 6 for v.
3
Let c(m) = 2*m**2 + 19*m + 21. Let k be c(-9). Solve 0 = 5*p + h - 19, -2*p + k = -5*h + h for p.
4
Suppose 0 = -4*j + 6*j + 544. Let b = 279 + j. Solve 2*o = 4*s - b - 3, 3*o = 5*s - 13 for s.
2
Suppose 0 = -4*s + w + 34, -4*w = s + 25 - 42. Solve 2*f - 8 = 6*q - 3*q, 3*q - 3*f = -s for q.
-2
Let c(f) = -f**2 - 8*f - 12. Let u be ((-5)/25)/((-2)/(-12))*5. Let r be c(u). Solve o = -3*a + 11, r*a = -5*o - 3*a - 5 for o.
-4
Let u be 5 + ((-3 - -4) + -8 - -4). Suppose 6*c = 37 + 35. Solve -5*w = -u*g - c, 3*g + 1 = -w - 0*g for w.
2
Let f be 3 - 11/((-44)/(-16)). Let o be (-6)/((-6)/f) - -4. Solve -i = -0*i + o*h + 11, -1 = 5*i - 3*h for i.
-2
Suppose 0 = z - 59 + 23. Let k be ((-1)/2 + (-3 - z))*-2. Let v = 82 - k. Solve -3*s - 3*b - 12 = 0, v*b + 8 = -3*s + b for s.
0
Let y be (-2 + -1)/(6/(-4)). Suppose y*d - 2 = -n - n, -4*n - 3 = -3*d. Solve 0 = h + 4*z - 2, 4*z = h - 1 - d for h.
2
Let j be ((-901)/119 + 8)*(-21)/(-3). Solve -j*r + 10 = -5*c, 5*c + 17 - 7 = 0 for r.
0
Let k(o) be the first derivative of o**2/2 - 10*o + 8. Let w be k(5). Let h be 3/w*-5 - -2. Solve 2*r = -h*a - 7, 0*a + r - 16 = 4*a for a.
-3
Suppose 5*u + 54 = -k + 71, -4*k = 2*u + 4. Solve -u*l + 2 + 11 = 3*h, 0 = -5*l + h + 2 for l.
1
Let v = -185 - -279. Suppose -4*u + 5*z + 65 = 0, -5*u + v = -8*z + 6*z. Solve 0 = o + 5*c - 15, 5*c - u = -5 for o.
0
Let r = 8 + -6. Let g(s) = -2*s + 3. Let z be g(-4