 v for p.
1
Let x = 2802 + -2798. Solve 2*z + 16 = -x*u, 2*z + 21 - 17 = 2*u for z.
-4
Let h(l) = 6146 + 34*l - 6136 + 6*l**2 - 14*l. Let n be h(-3). Solve f - q = 0, 3*f - 2*f = 3*q + n for f.
-2
Let b(m) = 10*m - 209. Let q(a) = -2*a + 41. Let l(w) = -2*b(w) - 11*q(w). Let s be l(19). Solve 0 = s*j - 2*r + 11, 2 = 5*j - 10*j - r for j.
-1
Let w(z) = -6*z**3 - 3*z**2 - 9*z - 7. Let t be w(-1). Solve -n + 1 = -t*i, 5*n = 4*n + 4*i for n.
-4
Let r be (-1)/3 + 7*78/126. Solve -r*i + 8 = -4*g, 3*g + 4 = 2*i - g for i.
2
Suppose 42*h - 76*h + 3162 = 0. Suppose -72 - 280 = -4*m + 4*t, -2*m + 5*t = -164. Let d = h - m. Solve 5*s + d = y, 5*s + 8*y - 3*y + 25 = 0 for s.
-1
Let q(d) = -2*d**3 - 71*d**2 - 33*d - 29. Let n be q(-35). Let u be n/36*2*-2. Solve -3*s - 4*z = -4 + u, -5*s - 5 = 5*z for s.
3
Let s(y) = 257 - 68 - 2070*y + 2093*y. Let w be s(-8). Solve w*n - 4*u = -40, -2*n = 3*u - 7*u + 28 for n.
-4
Let r(l) = -l**3 - 20*l**2 - 37*l + 2. Let b be r(-18). Solve -b = 4*c, -k - 15 = -6*k + 4*c for k.
-1
Let j(g) = 5*g**2 - 3*g - 2. Let i be j(-1). Suppose l - 4*c - 22 = c, 3*c = -3*l - i. Solve 0 = 4*r - v - 6, -l - 2 = r - 3*v for r.
2
Suppose 2*v = 2*o + 8, -99 = 4*o - 91. Solve -2*c = v*p - 6, 10 + 5 = -5*c + p for c.
-2
Suppose -5*g = 5*d - 4*g, 4*g = 4*d. Suppose 3*x + 3*r = 8*x + 6, -2*x - 2 = -r. Suppose x = -d*u - u - u. Solve -2*a = -4, n + 4*a + 0*a - 11 = u for n.
3
Let u = -787 - -1343. Let f = 561 - u. Solve -5*q - 2*t = -29, -f*q + 4*t = 2*t - 21 for q.
5
Let y = -3448 - -3455. Suppose -3*z + 30 = 3*x, -z - 14 = -4*x - x. Let r be (-7 - -4)/((-6)/4) + 2. Solve -3*f + y*f = 4*i, r*i = 2*f + z for f.
3
Suppose -10*h - 312 = -5*d - 11*h, 68 = d + h. Solve d - 66 = -2*t - n, 3*n = 15 for t.
0
Suppose 1 = 3*y + 4*t - 7, 6 = 3*t. Suppose -17*n + n + 80 = y. Solve z + 2*i - n = -0*z, 0 = 3*i - 6 for z.
1
Let k be ((-159)/6)/(-1) + -1 - (-69)/46. Solve 8*a - 13*a - 2*d = -21, -4*a - 5*d + k = 0 for a.
3
Let x be 5*(-4)/((-8 - 82)/9). Solve 5*n + 6 = -y - 21, -5*n = x*y + 29 for y.
-2
Let f(b) = -64*b**2 - 506*b + 51. Let v be f(-8). Solve -v*m - 6 = -l, 5*m + 7 = l - 5 for l.
-3
Let g(v) be the first derivative of -3*v**4/4 - 7*v**3 - 3*v**2/2 - 18*v - 156. Let m be g(-7). Solve o + m*u - u + 8 = 0, 4*o = -3*u - 22 for o.
-4
Let r = 15355 - 15347. Solve 5*l + 3*b = -r, 157 - 158 = 5*l - 4*b for l.
-1
Suppose 0*s = s - 3, 0 = 5*l - 3*s - 691. Suppose 136 - l = -4*b. Solve 3*o + 3*c - 4 + b = 0, -7 = 2*o + 5*c for o.
4
Suppose h - 15 = 6*h, 4*m + 3*h = 15. Let g = -2 + m. Suppose -4*t - 89 = -3*n, g*n - t - 110 = -0*t. Solve -5*i - x - x = -n, 5*i + x = 26 for i.
5
Let v be (0/(-47))/(6 + -11). Solve 2*m + 6 = v, -c - 18 + 3 = 4*m for c.
-3
Let m be (-11)/(-33)*(-6 + 45). Solve 4*z + 3 = -3*w, 0 = 5*z + m + 2 for w.
3
Suppose 6299*k = 6289*k + 70. Solve -2*f = -k*f - 20, 3*f = -y - 10 for y.
2
Suppose -5*f + 5*b - 266 = 134, -2*b = f + 74. Let r = -62 - f. Suppose r*m + 4 = 17*m. Solve -m*p - 4 = -4*u, 7*p - 4*p - 32 = -4*u for u.
5
Let o(s) = -s**3 + 18*s**2 - 10*s - 115. Let g be o(17). Solve 12*l - 5*w + 13 = 16*l, g*l + 4*w - 8 = 0 for l.
-3
Let n(p) = -49*p - 4. Let l be n(-2). Suppose -91 = -5*u + l. Let r = -32 + u. Solve -5*z - 22 = g, r*g - 6 = 9 for z.
-5
Let x = 17006 + -16804. Solve -5*m = 4*p - 39, x*m - 4*p + 18 = 200*m for m.
3
Let t = -41 - -104. Let z be (-1)/1 + (t - 8) - 2. Suppose z = 5*c - 8. Solve 4*n - c = 3*g, -2*g - 2 = -4*n + 6 for g.
-4
Suppose 4*u = -o + 13, -7*o + 3*o = -2*u + 2. Suppose 0 = -5*d + m + 10, 5*d = m - 4*m + 30. Solve -2*z - u*z - 21 = -i, -d*i - 13 = 4*z for z.
-4
Suppose -10 - 2 = -3*k. Suppose -5*f + 29 = 4*r, 2*r + k = 2*f - 4. Suppose 6 = -x - 0*z - 5*z, 24 = 4*x - 4*z. Solve 3*d + x + f = 2*h, 20 = -4*d for h.
-3
Let n(p) be the third derivative of p**6/120 + 7*p**5/15 + 13*p**4/6 + 4*p**3 + 131*p**2. Let s be n(-26). Solve 16 + 9 = -5*c + d, c = 4*d - s for c.
-4
Suppose 6 = -3*g - 2*d, -d = -13*g + 60 - 57. Solve -4*l - 20 = g, -3*n = -0*n - l + 4 for n.
-3
Let c be 27/12 + -4*3/48. Solve 0*v = -z - 5*v + 21, z + 14 = c*v for z.
-4
Let m(k) = -80*k + 962. Let i be m(12). Solve 0 = 2*x + 3*u - 8, -4*u = -4*x - i*u for x.
1
Let z(u) = -2*u**2 - 19*u - 35. Let p be z(-7). Let i(q) = 5*q + 8. Let j = 8 - 4. Let x be i(j). Solve 0 = b - 2*w + 12, -4*b - x = -p*w - 3*w for b.
-4
Suppose 96*z + 1167 = 1359. Solve 0 = z*f + 5*p + 12, -5*f - 5*p + 50 = 65 for f.
-1
Suppose 0 = 5*c - 625 - 390. Let x = c + -201. Solve b - 2*b - 2*l = -x, 6 = -3*b - 2*l for b.
-4
Let g = -4500 + 4502. Solve -5*u = t + 8, -11*t + u = -10*t + g for t.
-3
Let m(q) = -2*q**3 + 3*q**2 + 12*q - 6. Let c be m(3). Solve c*l + 17 = 5*n + 2, 0 = l - 2*n + 6 for l.
0
Let c = -1394 + 1395. Let w be 0 - 7/(21/(-18)). Let i be w/2 + -1 + 0. Solve i*h - 3 - c = 4*v, 0 = 4*v + 2*h - 12 for v.
1
Let a = 30 + -26. Suppose -4*c + 26 = 2*h - 0*h, -c = -a*h + 7. Solve -3*d = 5*q - 15, 0*d = d + q - h for d.
0
Suppose 85*g - 89*g = -16. Suppose -8*r = -10*r. Suppose -g*p + r*p = -72. Solve -35 = -4*t - 5*z, 0*t - z + p = 3*t for t.
5
Let h = -12049 + 12054. Solve -h*c = -3*t + 6, -5*c + 7*c + t - 2 = 0 for c.
0
Suppose -440 = 31*s + 8*s - 94*s. Solve p + 6 = 11*w - 6*w, 0 = -4*w + 4*p - s for w.
2
Let o(q) = q**2 - 15*q + 35. Let l be o(4). Let f be (-2 - -2)/((l + 7)*1). Solve -4*r + 4*m - 24 = f, -3*r + m = r + 15 for r.
-3
Let l(u) be the first derivative of -u**2/2 + 10*u + 11. Let s be l(3). Suppose 2*j - s*j = -5. Solve -2*y = -4*f + 6, -4*y + 5*f = 16 - j for y.
-5
Suppose 0 = 19*k - 8*k - 44. Suppose -2*r + 5*f = -k*r - 15, -4*f = 12. Solve w + a + 0*a + 6 = r, -3*a - 17 = 2*w for w.
-1
Suppose t + 1 - 138 = 0. Suppose -152 = -5*p - t. Solve p*z = 3*m + 1 + 8, 3 = -3*m for z.
2
Let q(f) = -f**2 - 59*f - 98. Let s be q(-57). Solve 3*t - 7*t = -3*h + s, t - 5*h + 4 = 0 for t.
-4
Suppose -8*j + 3*j = 9590. Let n be j/(-8) + (-1)/(-4). Let b be ((-4)/(-5))/(16/n). Solve 3 = 3*m, 5*m = -4*w + b - 3 for w.
1
Let q be ((-32)/(-56) - 4/7)*(-19)/38. Solve 0 = -2*v + 4*h + 12, 3 = 2*v - q*v + 5*h for v.
4
Let y be (3*6/54)/((-2)/48). Suppose 4*u = -0*k - 4*k - 12, 5*u = -2*k - 9. Let h be (-6 + 7)/(k/y) - 1. Solve 0 = -2*w + h*w - 1, 2*w = 5*g - 18 for g.
4
Let c be ((-30)/(-4))/((-6)/12). Let i be 39/5 + 12/c. Let m = i + -3. Solve 0 = d - 5*k + 23, -5*d = -5*k + m + 11 for d.
2
Let n = 314 + -350. Let b be (-16)/n + (-113)/(-9). Suppose 15 = -3*v + 8*v. Solve 0 = q - v*k - 15 + 1, 2*q - 3*k = b for q.
-1
Let q = 40 - 30. Let t(z) = -2*z**2 - 24*z - 4. Let m be t(-12). Let k be q/((16/m)/(-2)). Solve 4*p + k*l + 1 = -0, 2*l = -2 for p.
1
Let i(s) = 0*s**2 + 17*s**3 - s - s**2 + 0*s**2. Let m be 11/231*3*7/1. Let w be i(m). Solve 0 = 5*h + g + w, 2*g - 36 = 4*h - 2*g for h.
-4
Let q be (4032/18)/(-16) - -18. Solve -s + 13 = 4*m, q*s + 6*m = 3*m for s.
-3
Let m be ((-1470)/175)/((-3)/10) + -7. Solve i + 1 = 0, 4*s - 4*i = -3*i + m for s.
5
Suppose 4*g - 7 = 5. Suppose 0 = 41*x - 15*x - 572. Suppose -g = -23*s + x*s. Solve -b - 10 = -s*b - w, 10 = 2*b - w for b.
5
Suppose -h = -4*h - 2*b - 17, 0 = 2*h + 5*b - 7. Let n = -6 - h. Suppose 4*s + 4*a - 4 = 3*s, -12 = -3*s + n*a. Solve -s*t = -3*m - 3, 5*t - 5*m + 0 = 10 for t.
-3
Let k(d) = -d**2 - 8*d + 2. Let i be k(-7). Let b = 11 - i. Suppose 2703 = -6*p + 2733. Solve 3 = a - t, -b - 4 = -2*a - p*t for a.
3
Let r(z) = -3*z - 47. Let u(i) = -5*i - 49. Let o(h) = -4*r(h) + 3*u(h). Let q be o(11). Solve -3*j + s - 4 = 0, j + 3*s = -0*j - q for j.
-2
Let w(r) = 13*r - 68. Let b be w(6). Let c be 3 - (-45)/(-20) - b/(-8). Solve -5*g + 18 = -c*n, -2*g - 4*n + 16 = g for g.
4
Suppose -3*g - 857 = 3*p - 4*g, -274 = p + 2*g. Let d = 287 + p. Let x(m) = -2*m - 9. Let k be x(-7). Solve 0 = 3*u + 2*s + 2, -5*u + d*u = -k*s + 14 for u.
-2
Suppose 5*k = 13*k - 88. Suppose -u - k*u = 0. Suppose u = 3*a + 9 - 24. Solve 2*x = -4*m + 14, m = 4*m - a*x - 17 for m.
4
Suppose 19*l - 8 = 49. Suppose -4*v - 7 = 4*d - 35, -l*v - d = -27. Solve 2*o = -v, -q + 5*o = -0*q - 30 for q.
5
Let j be ((-6)/(-3) - 2) + 2. Let m be (-4)/(-24) + j/(-12). Suppose -5 = 5*g - m, g = t - 3. Solve -5*r - 10 = w, -t*r - w - 3 - 4 = 0 for r.
-1
Suppose -14*m - 9 = -17*m. Suppose m*c + 13 = 4*c. Suppose -26 + 91 = c*r. Solve -4*f + 