3*p for z.
2
Let c = -28482 + 28487. Solve 0 = h - 3*z - 8, 14*z - 11*z + 32 = -c*h for h.
-4
Let x(f) = -f**3 + 41*f**2 + 1219*f + 74. Let p be x(61). Solve -4*v - t - 1 = -20, t = 4*v - p for v.
4
Let v be -1 - -3 - (1 - -79). Let h = -145 - v. Let r = h - -67. Solve -3*k + 2*m + 2 = 11, -3*k - m = r for k.
-1
Suppose 67 = 5*t - 63. Let m be t/78 - (-22)/6. Solve 2*v + m*k + 12 = 0, 3*k - 10 = 5*k for v.
4
Let q(s) be the third derivative of -s**4/24 - 2*s**3 + 7*s**2. Let y be q(-4). Let l be (-15)/(-20)*(0 - y). Solve 0*u - u + l = -c, 4*c + 5*u = -6 for c.
-4
Let s be 984/1476 - ((-7)/3 - 0). Suppose -y - 3 = -3*w + 1, 5*w = 3*y. Solve 5*m + 18 + y = -l, 0 = 4*l + s*m + 24 for l.
-3
Let f = 230 - 250. Let l be (-39)/(-6)*2 - f/5. Solve -2*y + 4 = -4*c + 2, -2*c - 5*y + l = 0 for c.
1
Let b(t) = t**2 + 23*t - 130. Let y be b(5). Solve 2*g = y, 5*a - 2*g = -14 - 11 for a.
-3
Suppose 0 = -187*r - 97 + 1032. Solve -r*i - 3*w + 30 = 0, 0 = -4*w + 20 for i.
3
Let c(a) = -8*a**3 - 71*a**2 + 2*a - 58. Let o be c(-9). Solve q = 2*g, -3*g - o*q - 9 = 4 for g.
-1
Let z = -3387 + 3389. Solve -z*y - 2*s = 10, 2*s = s for y.
-5
Let z be (-3 - (-1 - -1)) + (-69)/(-3). Let j be -3*3/(-12)*4. Suppose 0 = f - j*f + 8. Solve 4*p + f*b - 16 = 2*b, 2*b - z = -5*p for p.
4
Let x(s) = -3*s**2 - 20*s - 11. Let b be x(-6). Let q be b + (6/(-2) - -25). Suppose q*y = 26*y - 9. Solve -a + 5*j - 1 = 7, 6 = -y*a - 3*j for a.
-3
Suppose -13*q = 187*q - 600. Solve -3*y - 17 + q = m, 5*m - 3*y = -16 for m.
-5
Suppose -4*b - 4*z - 30 = -6*b, -45 = -3*b + z. Suppose -b = 2*k - 0*k - 5*u, 0 = 4*u - 12. Solve -2*o = 3*p + 10, k = 2*o - 5*p + 8 + 2 for o.
-5
Let p be (3 - (0 - -4))*(-1)/(-1). Let o = p - -5. Solve 0 = -o*c - 5*k - 25, -4*c + 5*k + 6 - 21 = 0 for c.
-5
Let n(i) = -3*i + 14. Suppose 4*o - 5*t = 16, -2*t - 4 = -o - 0. Let s be n(o). Solve 0 = -r - m - 6, -s*r = -2*m - 0 - 8 for r.
-1
Let n = 109304 + -109292. Let w = -2 - -2. Solve -2*r - 2*t + 6 = 16, -4*r + 4*t + n = w for r.
-1
Let s(g) = -2*g**3 - 2*g**2 + 24*g + 50. Let t be s(-2). Solve 4*m - 12*c + t = -15*c, 2*m = -c - 6 for m.
-4
Let y be (0 + (-2 - 0))/((-12)/282). Suppose -2*b = -4*o + 66, -5*o - 5*b = -y - 28. Solve 3*x = -5*h + o, 0 = 4*x - 4*h + h + 27 for x.
-3
Suppose x - 56 = 3*x. Let c be 6/(-8) + 1323/x. Let a be (c/72)/((-4)/18). Solve -a*j = -15, d - 2*j + 18 = j for d.
-3
Suppose 63 = 4*y - 45. Suppose y*l = 26*l + 3. Solve 5*d - 2*d = -2*q - 8, -l*q = 4*d + 11 for q.
-1
Let n = 9 + -4. Let l = -345 - -560. Suppose -52*s + 9*s = -l. Solve 6*j = 2*j - n*w - 10, 3*j + 10 = -s*w for j.
0
Suppose -3*z = -v - 17, -1425*z + 4*v + 3 = -1426*z. Solve -2*w - 4*t = 1 - z, -2*w + 5*t - 32 = 0 for w.
-6
Let w = 201 - 188. Solve 0 = 3*d + 2*u - 0*u - 11, 4*u = d - w for d.
5
Let k(a) = -a**3 + 18*a**2 + 16*a + 65. Let i be k(19). Solve 3*g - 20 = -p, -5*g + i*g + 3*p = 24 for g.
6
Let s = -191 - -194. Solve -4*u + 3*a = -s, -2*u + 5*a = -10 - 9 for u.
-3
Let y(i) = -3*i + 83. Let q be y(26). Solve w - 4*b = q, 3*w + 8*b - 6*b - 1 = 0 for w.
1
Suppose -395*d + 39 + 43 = -354*d. Solve 6 = -4*w + d*s, -70*w + 3*s + 7 = -72*w for w.
-2
Suppose -4*x + 4*u = -5 - 23, -4*x + 40 = 2*u. Suppose -3*f + x*b - 10*b + 17 = 0, 3*f = -3*b + 21. Solve f*j - z - z = 24, -3*j = -z - 14 for j.
4
Let l(s) = -63*s - 501. Let z be l(-8). Solve 0 = 4*v + 2*k + 24, 2*k + z - 6 = 5*v for v.
-3
Let t = -13 + 33. Let y = t - -5. Suppose y*u = 17*u + 24. Solve m + 5*n + 15 = n, -u*m + 35 = -4*n for m.
5
Let b = -4119 - -4127. Solve -5*y = -20, -4*k + b = -5*k + y for k.
-4
Let p(s) = -4*s - 28. Let h be (-1012)/(-165) + 4/(-30). Let x be (3/h)/(1/(-14)). Let g be p(x). Solve -5*a - 16 = -4*i, -2*i + g*a = 5*a - 8 for i.
4
Let r be ((-35)/315)/(2/(-36)). Solve -4*a + 20 = -2*i, r*i = 5*a - 0*a - 23 for a.
3
Suppose -b + 24 = 7*b. Suppose -3*a + 2 + 13 = 2*o, b = o. Suppose -a*q + 2*q + 81 = 4*l, l - 2*q - 18 = 0. Solve r = -5*p + 30, 2*p = -5*r + 3*p + l for r.
5
Let n(t) = 2*t**3 - 15*t - 5. Let h be n(3). Let a = 65 - 93. Let l be 8/a + 32/14. Solve 0 = 3*z + l*o - h, 4*z = 3*z - o for z.
4
Suppose -11*l + 4*l + 37*l - 1650 = 0. Solve -7 = 3*p + 2*f, 0 = -4*p - 53*f + l*f - 14 for p.
-3
Let b = -1299 - -731. Let k = 571 + b. Solve -k*w = 3*m + w + 14, m - 2*w = 12 for m.
2
Let a(f) = -955*f + 1037. Let w be a(1). Solve -2*c - 2*k = w - 90, k = 3 for c.
1
Let m be 0 + ((-74)/(-16) - (-129)/344). Solve -13 = m*h - 3*l, 0 = h - 0*h + 4*l - 2 for h.
-2
Suppose -48*n + 151*n = -45*n. Solve 0 = l - 5*m - 3, 5*l - 2*m + 6*m + 14 = n for l.
-2
Let c = 11912 - 11898. Solve -5*a = 3*b + 19, 5*b - 1 - c = a for a.
-5
Suppose 2*b = 3*b + 4*r, 3*r = -3*b + 27. Solve q + 3 = 1, -3*g + 3*q = -b for g.
2
Let t be (13 + -2 - 1)*(-15 + (-308)/(-20)). Solve 5*l + 66*r = 68*r - 12, 0 = t*r + 16 for l.
-4
Let n(j) = -3*j**3 - 17*j**2 + 2*j - 23. Suppose -4*v - 32 = 2*f - 8, -3*f - 2*v = 24. Let m be n(f). Solve z - 2 = 0, -3*y + m = z - 2*z for y.
1
Let v be (-5 + -1)*4/(-6). Suppose 1151 = 28*a + 871. Solve k + 11 = -3*o - 0*k, 5*o - v*k - a = 0 for o.
-2
Let k(j) = -3*j**2 + 57*j - 244. Let i be k(11). Solve -23*o + 8 = -i*o - 2*s, 5*o = -5*s - 20 for o.
0
Let u be (-2 + 15/6)*(8 + -6). Suppose 0 = -280*v + 255*v + 100. Solve v*i - 4*d = -12, -2*d + 2 = -i + u for i.
-5
Let s = 29982 + -29926. Solve -q = -t + s - 57, -t = 5*q + 19 for t.
-4
Let t be (-287)/35 - 20/25. Let c be ((-21)/t)/((-63)/(-81)). Solve 5*q + 11 = -c*b - 5, 5*q + 2 = 4*b for q.
-2
Let y(b) = -12*b + 278. Let p be y(23). Suppose -4 = j - 8. Suppose 3*f - 6 = 3. Solve -11 + f = -4*k + j*c, -p*k + 6 = -3*c for k.
0
Let p be (12/(-10))/((-2)/20). Let i be ((-1242)/483)/((12/21)/(-2)). Suppose -z + p - i = 0. Solve 5*h - 5*l - 30 = 0, -3*l + 2 = z*h - 10 for h.
5
Let a(g) = 5*g**2 - 9*g + 10. Let z be a(2). Suppose z*p + 6 = 30. Solve 5*u - 5*q + 15 = 0, -p = -0*q - q for u.
-1
Let p be (14*(-264)/(-64))/(3/8). Let m = -146 + p. Solve m = 5*q + 5*z + 43, -q - 3 = -z for q.
-5
Suppose 13 = -2*c - 17. Let j be (-88)/c + 18/135. Solve 5*n + r = j - 0, -2*n = -4*r + 2 for n.
1
Let k be -10 + 16 + (149 - -3 - -3). Let c = 180 - k. Solve -4*l - v - c = -6, 0 = -l - 4*v + 8 for l.
-4
Let s = 526 - 505. Solve x + s = 22, -2*o + 13 = 5*x for o.
4
Let j(g) = -2*g**2 - 31*g - 16. Let w be j(-13). Let d = 53 - w. Solve -c - l = -6*c, l = d*c + 1 for c.
1
Let o be ((-40)/(-6))/((-288)/(-648)) + -10. Solve b = -3*k + 10, o = 13*b - 14*b for k.
5
Let y = -71 - -70. Let q(l) = 3*l**2 + 6*l + 6. Let u be q(y). Solve 4*p = -k - 2*k, 5*p + u*k - 3 = 0 for p.
3
Let m = 13903 - 13894. Solve 50*p - m = 53*p - 3*u, 0 = -2*p - u + 6 for p.
1
Let g(w) = w**2 - 46*w + 5. Let h be g(0). Solve 4*o + h*x - 10 + 7 = 0, -2*o + 4*x + 8 = 0 for o.
2
Suppose -2*d + 8 = 4*f, -2*f - 6 = -5*f + 5*d. Let g be -3*4/f - -9. Solve g*c + w + 10 = 0, 4*w - 10 = -5*c - 29 for c.
-3
Let l(v) = -2*v**2 + 117*v - 164. Let g be l(57). Solve 5*x - 5*p = 15, -g = 8*x - 13*x - 3*p for x.
2
Let d = 5 + 76. Suppose 2*t = 5*n - 80, -2*n = 2*n - 5*t - d. Solve -5*z + 2*z = 15, -n = -3*w + 4*z for w.
-2
Let h(x) = -x**2 - 16*x - 26. Let p be h(-13). Suppose 2*t - 25 = -p. Solve -9 = -2*u - s, 3*u - 21 = 2*s - t*s for u.
3
Let c = 14 + -12. Suppose 0 = -j - 0*j + c. Suppose 3*w + 2 = -3*u + u, 5*w + 5*u + 10 = 0. Solve 12 = 2*s - w*v, j*s = 6*s + 3*v - 10 for s.
4
Let h be (-16 + 9 - -11) + -1. Solve -3 = -h*k + 4*q, q + 5 = -2*k - 4 for k.
-3
Let s(o) be the second derivative of -o**4/12 - 13*o**3/3 + 19*o**2/2 - 45*o + 2. Let i be s(-26). Solve -4*w - i = -2*a - 3, -w = -a + 6 for w.
-2
Suppose 4*p + 3*h - 36 = 5*h, -5*p - 3*h = -23. Suppose -5*w + 17 = p. Suppose 3*n = 4*n - 2. Solve 11 = n*d + 3*g, -6*d = -w*d + 2*g - 18 for d.
4
Let q(l) = 4*l**2 - 16*l + 11. Let d be q(4). Solve 4*m - 18 = -2*h - 4, -d = -5*h - 4*m for h.
-1
Let v(m) = m**2 - 31*m - 1801. Let c be v(-30). Solve -c*w - 7 = t - 30*w, -3*w + 9 = 3*t for t.
-2
Let g = 28 - 28. Let j be (-52)/(-18) + (-1)/(-9). Suppose -6*b + 72 = j*b. Solve -12 = -2*u - 4*s, -3*u + u - 2*s + b = g for u.
2
Suppose 1459*t = 1490*t - 672 + 83. Suppose 2*x - 11 = 11. Solve 5*q = 3*j - t, -q - j = 2*j + x for q.
-5
Let s(v) = 3*v + 18. Let y be s(-6). Let n be (-4)/(-20)*y - 33. Let t 