= 2*v - p, 0 = -4*p. Let g be (-3 - ((-34)/(-4) - 13))/(((-63)/(-12))/7). Solve -g - 8 = -v*y for y.
2
Suppose l + 4*r + 27 = 38, 5*l - 93 = -r. Solve 28 = -l*z - 10 for z.
-2
Let c(s) = s - 1. Let l be c(-4). Let h be 2/l - (-180)/75. Suppose -b + 17 = h*k + 3*k, k - 4*b = -5. Solve -3*u - k = -12 for u.
3
Let z(j) = -2*j + 24. Let p be z(12). Suppose 4*o - 12 = 0, 225 = -3*m + 3*o - p*o. Let c = -67 - m. Solve 0 = -c*s - 19 - 6 for s.
-5
Suppose -m + 39 = 2*t + 24, 0 = -2*t + 3*m - 5. Suppose -5*c - 5*a = -75, -2*c + 16 = -t*a - 14. Solve 0 = 2*h - 23 + c for h.
4
Let d be (6 - (-5 - -8))*1. Suppose z + d*z = -40. Let b(a) = -4*a - 37. Let q be b(z). Solve -q*h = 5 + 7 for h.
-4
Let d = 14 - 12. Let o = 87 + -83. Suppose 12*z + 10*z = -o*z. Solve 2*s = -z*s + d for s.
1
Suppose -4*w = -4*r - 1 - 59, r = -6. Solve -14*c + w*c + 30 = 0 for c.
6
Suppose -73 = -17*n + 46. Suppose 0 = -5*x - f + n, -7*f = -3*f - 8. Solve -x + 11 = 2*c for c.
5
Suppose 0*y - 1402 = -4*r + 2*y, 2*r = -5*y + 671. Let o = 372 - r. Solve 0 = x + o - 23 for x.
-1
Suppose -3*g + 2*c + 19 = 0, g = 3*c - 23 + 20. Suppose -99 - 27 = -g*x. Solve -6*w = x + 4 for w.
-3
Let z(f) = f**3 + 22*f**2 + 118*f + 8. Let n be z(-11). Solve -19*l - n = -22 for l.
-1
Suppose 0 = 11*v + 13 - 24. Let t be (v/((-1)/(-8)))/(148/111). Solve -t*j = -9 - 9 for j.
3
Let x(c) = c**2 - 3*c + 3. Let l = 137 - 137. Let k be x(l). Solve d - k = 1 for d.
4
Suppose -z = -1, 735 = 222*h - 220*h + 5*z. Solve 386 = -3*x + h for x.
-7
Let d = 320 + -317. Let u(c) = -2*c + 32. Let z be u(14). Solve -7 + z = -d*r for r.
1
Suppose -38*x = -32*x - 3294. Let w = x + -544. Solve -10 = -w*a - 5 for a.
1
Suppose -a + 206 = -16. Suppose -7*x + 264 - a = 0. Solve -x*j + 5*j = -4 for j.
4
Let a = -111 + 141. Let r = 30 - a. Let f be 18/36*(4 + r). Solve -6 = -f*m - 0*m for m.
3
Let g = 30 + -27. Let i(u) = -u**3 - 9*u**2 - 16*u - 13. Let z be i(-8). Suppose -54*c + 9 = -z*c. Solve 0*r = c*r + g for r.
-1
Let q be (-2)/3*(-4300)/80*54/45. Solve q*n + 28 = -15 for n.
-1
Let j = 184 + -165. Let t = j - 17. Solve t*u = 4*u - 10 for u.
5
Suppose -216 = 20*h - 656. Solve -117 = 17*v + h*v for v.
-3
Let d(r) = r**3 + 15*r**2 + 13*r + 29. Let y be d(-12). Let b = -282 + y. Solve -b = 2*c - 13 for c.
-5
Suppose 868 = 4*j - 3*b, -4*j + 0*b + 2*b = -872. Let d = j - 216. Solve -2*u = -d + 12 for u.
-4
Let d(j) = j**3 + 18*j**2 + 16*j - 11. Let s = 36 + -53. Let m be d(s). Let u(p) = -p**2 - 5*p - 2. Let c be u(-2). Solve -c*k + m = -2 for k.
2
Suppose -9*f - 8 = -10*f. Let u = 0 + f. Let j = -6 + u. Solve 3*k + 8 = j for k.
-2
Suppose 2*a + 3*a - 8 = -g, 5*a - 5*g - 20 = 0. Let p(i) = -14*i + 1 - 12*i - 11*i + i**2 + 36*i. Let x be p(a). Solve -x*t - 3 = -2*t for t.
-3
Let o be 180/54 + (-7)/(63/(-6)). Let b be (-6)/o*-8*(-4)/(-12). Solve -b*g = -7*g for g.
0
Let j = 2976 - 2959. Solve j*v = v - 32 for v.
-2
Suppose 2*q + 2*m = -0*q + 292, -2*q + 298 = 4*m. Let s = q + -139. Solve 0 = 8*f + f - s*f for f.
0
Let j = -86 - -110. Let v(b) = 3*b - 69. Let d be v(j). Let y be (-21)/d*((-190)/35 - -4). Solve 0*h = 5*h - y for h.
2
Suppose 7*b = 3*p + 11*b - 298, -2*b = 4. Solve p*f = 94*f + 24 for f.
3
Let m(v) = -4*v**3 - 5*v**2 - 7*v. Let p(b) = -6*b + b + 4*b**2 + 2*b**3 - 2*b**2 + 8*b. Let i(n) = 2*m(n) + 5*p(n). Let h be i(1). Solve -k - h*k = -16 for k.
4
Let i = 196 + -177. Let z(d) = -4*d + 78. Let n be z(i). Suppose 6*s - 16 = 56. Solve s = -n*h - 2*h for h.
-3
Let n = -5534 + 5691. Solve 0 = -11*f - n + 80 for f.
-7
Suppose 2*u - 34 = -4*f, 4*u - 80 = 9*f - 5*f. Solve -3*p + 1 = u for p.
-6
Let f = -1 - -6. Suppose f*b = 7*b - 2. Let a be ((-26)/(-78))/(-2*(-1)/18). Solve -b + 7 = -a*u for u.
-2
Let b = 1829 - 1810. Solve -b*o - 8*o + 189 = 0 for o.
7
Suppose -33*s = -20869 - 5597. Let a = s + -757. Solve v - 40 = -a for v.
-5
Let i(m) = 2*m - 9. Let p be i(5). Suppose -n - p = -5. Let q = -69 + 73. Solve -5*b + n = -q*b for b.
4
Let a(t) be the third derivative of t**4/24 - 5*t**3/3 + 8*t**2 + 1. Let k be a(15). Solve 2*u + 15 = k*u for u.
5
Let o be (-2 + -1 + 3)/2. Let p(s) = -s**2 - 3*s + 9. Let k be p(-4). Suppose -1 = 2*v - k. Solve o = -v*r + 7 - 1 for r.
3
Suppose -3*q + 2*q + 3 = 0. Let l be ((-111)/(-259) + 43/63)*(-2 + 11). Solve -q*v = -v + l for v.
-5
Let w(b) = 3*b**2 - 6*b - 4. Let l be w(5). Let q = 43 - l. Suppose -6*r + q = -4. Solve -r + 0 = -v for v.
1
Suppose -n = 4*k - 45, 2*n - 62 = -2*k + k. Suppose 34*i - n*i - 15 = 0. Solve m + i*m = 4 for m.
1
Suppose 2*o - 8 = 7*f - 2*f, -2*f - 4 = -o. Let v(w) = -w**2 + 5*w - 4. Let c be v(4). Solve o*j - j = c for j.
0
Suppose -4*u - 4 = -3*c, 4*c + u = -4*u + 57. Let s = -102 + 107. Suppose -2*x = x - 15, -s*x = 2*q - 65. Solve 3*y + q = c for y.
-4
Let b be 42/((2 - -4) + 9/(-2)) - 4. Solve b*t = -0*t - 96 for t.
-4
Let c be 7 + 0 - (-20 + 24). Let v be (-15)/(72/(-20) + c). Let i be 2 - (-6 + 7) - (-2)/(-2). Solve i = -5*u - v + 5 for u.
-4
Suppose 3*a = -4*x - a + 44, -2*x - 5*a + 31 = 0. Let t be 0 - (-3 + (x/4 - 24)). Suppose 0 = t*c - 29*c. Solve -2*j = -c*j + 2 for j.
-1
Suppose -3*t - 4 = -7. Suppose 11 = -3*k - 4*c, 3*c - t + 16 = 0. Solve -20 = -k*g - g for g.
5
Let g(j) = -14*j - 197. Let h be g(-16). Solve 0 = b + h*b + 17*b for b.
0
Suppose 0 = -23*t - 18*t + 38*t. Solve 30*x + t = -30 for x.
-1
Let m(i) = 5*i**3 - 23*i**2 - 21*i + 24. Let h(t) = -6*t**3 + 23*t**2 + 21*t - 25. Let w(l) = -6*h(l) - 7*m(l). Let q be w(-22). Solve 0 = -3*d - d + q for d.
1
Let l be 2/(-5) - 122/(-5). Suppose -a + 6 = 9*o - 8*o, -2*o = -3*a - 22. Solve -o = -22*q + l*q for q.
-4
Let z(t) = 821*t + 500. Let j be z(1). Solve 6 = 1322*u - j*u for u.
6
Suppose 0 = 26*a - 337 + 77. Solve a = 9*t - 7*t for t.
5
Suppose 0 = -5*k + 2*w + 22, 5*w - 33 + 1 = -2*k. Let f be (-2)/3 - ((-308)/k)/(-1). Let b = f - -55. Solve 2*i - 1 + b = 0 for i.
-1
Suppose 59 = 6*c + 89. Let b be -7 + (-6 + 4)*c. Solve -b*x - 21 = -9 for x.
-4
Suppose -16*f = -12*f - 8. Solve 0*m - 5*m = f*m for m.
0
Suppose 0 = 6*f - 2 + 98. Let g be (6/(-4))/(6/f). Solve -g*o = 24 - 8 for o.
-4
Suppose 2*i + q = -46, 5*q - 2 - 104 = 4*i. Let a be (14/(-112))/(1/i). Solve 26 - 32 = a*f for f.
-2
Let m = 9302 - 9281. Solve 24*a + 6 = m*a for a.
-2
Suppose c = 4*t - 1, -3*t - 2 = -0*c + 2*c. Suppose 4*q = 5*j - 15, -j - 1 + 4 = 5*q. Suppose 4*i - 2*w = -6*w + 40, -w - 10 = -j*i. Solve 5*n + i = -t*n for n.
-1
Suppose 0 = 3*q + 4*v - 95, -48*v + 38*v = 40. Solve 0 = -25*j + q*j for j.
0
Let r(t) be the third derivative of 7*t**5/60 - t**4/2 + 11*t**3/6 + 152*t**2. Let k be r(1). Solve 0 = 3*u - k - 0 for u.
2
Suppose 0 = 35*y + 950 - 215. Let u = -18 - y. Solve -u*o + o = 0 for o.
0
Let p = 22 - -22. Suppose 5*f - p = -4*r - 9, 4*f + 3*r - 27 = 0. Solve f*l - 2*l = -5 for l.
-5
Let r(v) = -v**2 + 46*v + 1686. Let d be r(70). Solve d*w - 37 = -79 for w.
-7
Suppose 16*z = 741 - 565. Solve z*o + 162 = 38*o for o.
6
Let k be (9 - (-11 + -15))/((-15)/(-18)). Solve -1908*w - k = -1901*w for w.
-6
Let y(q) = q**3 - 9*q**2 + 4*q - 11. Suppose 0 = -3*i + z + 7, -17 = 2*i - 3*z - 2*z. Suppose i*j - 23 = 13. Let o be y(j). Solve -o = -5*m - 0*m for m.
5
Suppose -3756 + 91 = -70*l + 1795. Solve -l = -6*p - 72 for p.
1
Let y(t) = -t**2 - 8*t + 10. Let c be y(-8). Suppose 204*b + 189 = 83*b + 431. Solve c = b*d + 2 for d.
4
Suppose -3*y - 86 = -2*h, -32 = 3*h + 9*y - 188. Solve -h*w = -37*w - 18 for w.
2
Suppose 2*h + 199 = 5*z, 24*h - 33 = -z + 21*h. Solve 5*q = -z*q for q.
0
Suppose -z = 3*b - 6, -4 = 3*b + 3*z - 10. Suppose -4*i + b = -2. Suppose 0 = -a + 4*q + 18, -6 = -5*a + 52717*q - 52718*q. Solve -a*c + 3 = -i for c.
2
Let y = 350 + -350. Solve y = 18*b + 53 + 55 for b.
-6
Let h be 12/(-10)*(-240)/32. Suppose 4*v - h*v = -5*u + 10, 4*u = 8. Suppose 3*a + 1 + 11 = v, 0 = -4*k - a + 16. Solve 0 = -t + k*t - 16 for t.
4
Let v(n) = -3*n**2 - 26*n - 7. Let c be v(-7). Solve -198*m = -205*m + c for m.
4
Suppose -z - z - 5*r = -79, -4*z = -3*r - 145. Let y = -22 + z. Suppose -3*p + y = -0. Solve -p*a + 9 = -11 for a.
4
Let f(w) = -3*w + 24*w**3 + 14*w - 10*w**2 - 24 + 3*w - 12 - 23*w**3. Let n be f(9). Solve -n*z - 4 = -10*z for z.
4
Suppose -5*o + 0*o - 2*w = -55, -5*o - w = -60. Suppose -5*z = -p - 64, 0*p + 44 = 4*z + 