-l*p - p - 6, 5*p = 5*x + 15 for x.
-2
Suppose 4*f - 2*f = 44. Let k be 4/f + 12/(-66). Solve k = -5*h - 3*o + 15, 0 = 6*o - 3*o - 15 for h.
0
Let h be 0*(-3)/(15/(-5)). Suppose 3*c + t = -0*t, 4*c - 2*t = h. Let p = 23 + -19. Solve -p*u - 17 = 5*l - c*u, l + 7 = u for l.
-5
Let b(i) = -i**3 - 17*i**2 + i + 23. Let a be b(-17). Suppose a*t = 7*t - 4. Solve 2*c = -c - l + 15, 20 = 2*c + t*l for c.
4
Let s be ((-18)/(6 + -15))/((-2)/8). Let x be s/(-2 + 0) + (-30)/30. Solve -x*y - 1 = b, -y + 2 = -b + 1 for b.
-1
Let j(u) = 10*u**2 - u. Suppose 0 = -3*b + 14*b. Let v(q) = q**2 - 4*q - 1. Let r be v(b). Let f be j(r). Solve -3*t - f = -y, -1 = -4*t - 2*y + 1 for t.
-2
Let j(t) = -t**3 - 18*t**2 + 3*t + 55. Let f be j(-18). Let q be (-6 - -7)*(f + (-1 - -5)). Solve -q*n = 0, -3*y - n - 2*n = 9 for y.
-3
Suppose -71*c = -136*c + 260. Solve -5*p = 2*j + 4, -8 = -c*j - 4*p + 2*p for j.
3
Let g(t) = 2*t**3 + 92*t**2 + 768*t - 19. Let w be g(-11). Solve 2*m + 7 = -s, -3*m + 14 = w*s - 4*m for s.
3
Let p = -9119 + 9137. Solve 5*i - 3*u + 23 = 0, -3*i + u = 31 - p for i.
-4
Let b = -34 - -135. Let l = b + -96. Let z(x) = x**3 - 6*x**2 - 5*x - 10. Let s be z(7). Solve -d + 5*u + l = 0, -d = s*u - u + 11 for d.
-5
Let k(b) = -692*b - 15. Let r be k(-1). Let q = 679 - r. Solve c - 3*j = q, -c + 1 = -j - 1 for c.
2
Let x = -2626 - -2631. Solve -x*m - 2*w = -0 - 5, -4*m = -3*w - 27 for m.
3
Let t = 48 + -44. Suppose 5*h - 2*l = 33, 3*l = t*h - 39 + 7. Suppose -4*v = 5*f - 18, -v - 3 = -h. Solve 3*i + 2*i + 22 = 3*a, -a - 3*i = f for a.
4
Let b(z) = z**2 + 6*z + 7. Let m be b(-5). Let h = -5 + 14. Suppose 5*t - 4*v = -3, 340*t + 3*v = 345*t - 4. Solve 0 = -5*i + t*u, 6*u + h = -5*i + m*u for i.
-1
Let n = -24 - -28. Suppose -11 = -2*q + x, -q - 8*x = -3*x. Solve 0 = n*u - 4*i - 13 + 1, -25 = q*i for u.
-2
Let t(g) = -2*g**2 - 3*g - 4. Let j be t(3). Let b = j + 37. Suppose -5 = 5*a - 0, -l + b = -3*a. Solve -l*h + 6 = -3*c, -21 = -5*c - 4*h + 14 for c.
3
Suppose -44682*g + 44691*g = 0. Solve 3*q - r + 15 = -g*q, r = -3*q - 9 for q.
-4
Let b = -6 - -10. Let r = 543 + -531. Let o be (-18)/r - (-19)/2. Solve 5*a = -b*k - 2 - o, -8 = 4*a + k for a.
-2
Suppose -7*i + 38 = 24. Suppose 2*t = -3*p + p + 10, -18 = -i*p + 2*t. Solve 2*o + 1 = -2*f - 3, 2*f + 5*o = -p for f.
-1
Suppose 0 = -68*j + 324 - 6 + 22. Solve 17*d - 19*d + 8 = w, -35 = -j*d + 5*w for d.
5
Let n(u) = -u**3 + 30*u**2 + 127*u - 2011. Let k be n(32). Solve 2*w + 6*d - 2*d - 2 = 0, 0 = 5*w + k*d for w.
-1
Let c be 33/((-3 - (-4 + 4)) + 4). Let g = -26 + c. Suppose 20 = 5*u + 5. Solve 2*p - g = -u*i, 2*i - p + 2 = 3*i for i.
3
Let t be (4 - (-52)/6)*21/14. Suppose 0 = -b + 4, -5*d + 3*b = 4*b - t. Solve -4*p = d*l - 0 - 8, -5*p = -l + 9 for l.
4
Let z = 25878 - 25873. Solve -z*p + 28*s = 33*s - 5, -3*p + 6*s = -3 for p.
1
Suppose -14*h - 36 = -18*h. Let g(x) = x**2 - 8*x - 8. Let j be g(h). Solve 2*l + 17 = -3*f, -3*f + l - 6 = -j for f.
-3
Let g(x) = x**3 - 11*x**2 - 18*x + 18. Let n be g(-2). Solve -u - 51 = -3*t - 64, 2*u - n = -2*t for t.
-3
Suppose -3*y + 5*n = -20, 28*y - 3*n - 28 = 23*y. Suppose y*j = 4*i - 0 + 6, 5*i - 7 = -j. Solve c + 7 = j*g, -g + 30 = 2*g + 5*c for g.
5
Let w be (-9)/(-6)*58/3*2. Let p = 58 - w. Suppose 8*l - 9 = 31. Solve 3*x + 5*a + 7 = -p, 13 = -2*x + l*a for x.
-4
Let x = -173 - -23. Let r = 82 + x. Let q = r + 69. Solve j + 11 = -4*z, 4*z - j + 4 = -q for z.
-2
Let m = 12165 + -12162. Solve -4*x + 19 = d, -2*d + 0*d = -m*x + 17 for d.
-1
Let u be ((-58)/(-6) - 11/(-33)) + -8. Solve -2*v = -u*f - 4, -4*v - 119 = -123 for f.
-1
Let o be 7/(168/(-3030)) + (-2)/(-8). Let x = o - -126. Solve -4*w + h - 5 = -x*h, -17 = w + 5*h for w.
-2
Let o = -419 - -422. Suppose 22*s - 25*s = -o*t - 6, 0 = -s - 4*t + 17. Solve -a = -q + s, -5*q - a - 3*a - 20 = 0 for q.
0
Suppose 20 = 6*b - b + 5*v, -b - 2*v = 1. Suppose -4*s = -0*s - 5*q - 3, 2*s + 5*q - b = 0. Solve s*z - 2*h - 1 + 3 = 0, h = -2 for z.
-3
Let y(i) be the first derivative of 7*i**2/2 + 66*i + 104. Let o be y(-9). Solve 0 = a - o, -4*x = x + 4*a - 37 for x.
5
Let z(h) = -h - 2*h + 3 + 1 - 2 + h**3. Let i be z(0). Solve -1 = 5*j - 2*j + 2*w, i*w = -j + 5 for j.
-3
Suppose -q = -y + 9, 4*q - 37 = 3*y - 70. Solve y*s + 6*m - 2*m = -3, -10 = 5*s + 5*m for s.
-5
Suppose r - 5*p = 3, 0 = r - 5*p + 4*p - 3. Suppose 0 = -2*m - 4*k + 8, -8*m + 4*m + r = -5*k. Solve 5*q + 25 = -4*g, -m*g - 3*q = -4*q + 9 for g.
-5
Suppose 0 = 5*y - n - 17, -3*n - 15 = -64*y + 61*y. Solve 3*j - 13 = 39*d - 40*d, -y*j - 4*d + 25 = 0 for j.
3
Let c be (-75)/24 + 3 - (-5)/120*51. Solve 3*t + 42*m = 38*m - 28, -c*t = 2*m + 16 for t.
-4
Let r be -16 + (4/(-4) - -22). Solve 3*l + 20 = r*a, -3*a + 18 = 40*l - 43*l for a.
1
Let y = 10604 + -10596. Solve 4*f + 0 = a + 11, -a = -3*f + y for f.
3
Let p(c) = 5*c + 49. Let s be p(7). Let n = s + -81. Solve g = 5*w - 21, -n*g + w - 2 = 5 for g.
-1
Suppose 5*g + s - 61 = 2*g, 3*g - 45 = 3*s. Suppose g*j = 39*j - 80. Solve 5*f + 21 = -4*o - 0*f, 0 = -2*o - j*f - 12 for o.
-4
Suppose 79*d = 24*d + 2805. Suppose -7*r = 10*r - d*r. Solve r = 5*y - 2*i, 2*y - 6*y + i = 0 for y.
0
Let w(h) = h**3 - 3*h**2 + 3. Let k be w(3). Let r(q) = -3*q**2 + 0*q**2 + 5*q**2 - k - 3*q. Let v be r(3). Solve 0 = 5*o + 15, -3*o = -d - v*o - 9 for d.
0
Let k(v) = 57*v + 719. Let z be k(-12). Solve -i = 3*m - 9, 0 = -2*m - 5*i + 67 - z for m.
1
Suppose 16*s - 106 + 74 = 0. Solve s*d = -5*o - 3, 20*o = 24*o + 2*d + 4 for o.
1
Suppose -46*y + 36 = -40*y. Suppose 0*o - 5*h = 3*o - y, 3*o = 5*h + 6. Let u be (4 - 3)*(-5 + 7). Solve 4*t - u*q = 16, 2*q + 8 - 4 = -o*t for t.
2
Let g be (1 - -3)*(-40)/(-16). Suppose -4*h + g = v, -6*v + 3*v - 2 = -4*h. Let r be -2 + 2 + 4 - 0. Solve -v*t + a + 1 = -2, -3*t - r*a = 1 for t.
1
Let n = -31 + 34. Let f(j) = -2*j. Let v be f(0). Suppose -6*b + 4*b = v. Solve 0 = n*y + 4 + 5, 2*h + 5*y + 9 = b for h.
3
Let h be (-50)/4*(-26)/(-1040)*-16. Solve -5*w + h*q = 25, 4*w + 2*q - 40 = -54 for w.
-4
Suppose 125*m - 90 = 119*m. Suppose 2*v + 2*a - 19 = -m, -5*a - 14 = -v. Solve -z - 8 = v*c + 2*z, 2*c - 10 = -5*z for c.
-5
Suppose 24 = -6*v + 10*v. Suppose 14*c - v*c - 32 = 0. Suppose 0 = -p + z + c*z + 17, -2*p + 4*z = -16. Solve g - 3 = -i + 2, 2*i = p*g - 2 for g.
3
Let c be 6/((-6)/((-132)/77) + -2). Solve -2*r + 4*a - 3 - 3 = 0, 3*a = -c*r - 1 for r.
-1
Let p = -13636 + 13641. Solve -2 = w + 3*j + 17, -5*j - 5 = -p*w for w.
-4
Let a(p) = -p**3 + 86*p**2 + 172*p + 364. Let r be a(88). Solve -4*d + 3*t - r - 12 = 0, -29 = 3*d - 5*t for d.
-3
Let k(s) = s**2 - 2*s - 4. Let l(v) = 3*v**2 + 49*v + 20. Let d be l(-16). Let y be k(d). Solve -2*h = -y*c + 14, 5 - 15 = -3*c + 2*h for c.
4
Let o(k) = 2*k - 1. Let u be o(2). Suppose -5*g - 4*l - 9 = -29, u*g = -2*l + 12. Solve 8 = -3*q + 4*s, -4*q = s + g + 13 for q.
-4
Let i be 2/24*-2 + (-169)/(-78). Solve 0*w - y - 6 = i*w, 2*w - y + 6 = 0 for w.
-3
Suppose -20*p + 127*p - 214 = 0. Solve -2*u = p*h - 14, 4*h = 4*u - 0*u + 12 for h.
5
Suppose -4*k - 4 + 40 = -f, -4*f + 24 = 5*k. Let j(y) = 7*y - 3. Let m be j(3). Suppose 2*i + m = k*i. Solve -g + i*g + 5*t = -15, 4*g + 4*t = 0 for g.
5
Let d be 10*(-2)/8*-2*1. Let i(q) = q**2 + 7*q - d + 12*q - 33*q + 7*q. Let p be i(8). Solve p*o = -2*j - 19, -3*o = -8*o - 2*j - 25 for o.
-3
Let z = 21354 + -21350. Solve 7*x - 2*x = 4*j - 25, x - z = -j for j.
5
Suppose -8*h + 855 = 3*h + 8*h. Solve -14 = -4*b + v + 2, 5*v = -5*b + h for b.
5
Let o = 952 - 938. Let n be (-56)/49*o/(-4). Solve -3*d - n*t = 0, -2*d + 7*t = 5*t for d.
0
Suppose -4*j - g = -3, 5*j + 3 + 0 = g. Suppose 10 = 5*p - 2*z, -3*z = 5*p - 4 - 6. Suppose -p - 2 = -2*u. Solve 5*w - 20 = 0, -f + u*f + 4*w - 13 = j for f.
-3
Let t = 7 + -5. Suppose -217*g = -222*g - 4*s + 14, 12 = 4*g + 3*s. Solve t*m - 4 = 2*w, 4*w = g*m - 3*m - 6 for w.
0
Let x(m) = m**3 + 4*m**2 - 2*m + 3. Let j be x(-4). Let k be 2*((-250)/20)/(-5). Solve 5*u + 4*o + j = 0, 0 = 3*u + k*o - o + 13 for u.
1
Suppose 26*a + 54*a = -44*a + 32*a. Solve -3*l - 5*g - 30 = a, -5*g + 0*g - 35 = 4*l for l.
-5
Suppose 14*k = 163 + 187. Suppose -194*w + k = -189*w. Solve -z = -2*n - 9, -2*z + 17 + 6 = -w*n for z.
-1
Let v = -3456 + 3457. Solve -5*i - v = 4, -5*i = -l for l.
-5
Let i be (-175)/(-59) + 