10*d = -2*c + 8*d - 18, -c = v*d + 29 for c.
-4
Let x be (65/15)/((-1)/(-3)). Suppose -x*v = 2*v - 1200. Suppose -v = -25*f + 9*f. Solve -4*w = -3*p - 5 + 1, -w = f*p - 1 for w.
1
Let s(b) = -b**2 - 3*b + 10. Let v be s(2). Let n be v - (-7 - 3 - -5). Solve -l - n*r = 10, 4*r = -3*l - l - 24 for l.
-5
Suppose 4*l = -3*b + 52, 5*b + l - 42 = 22. Suppose -104 = b*y - 152. Solve -p - 5*g = p + 10, p = y*g - 5 for p.
-5
Let x = -164 + 166. Suppose 5*i = -x*j + 16, -2*j + 4 = 2*j - 4*i. Solve -m - 2*b - b = j, -5*b = 5 for m.
0
Let d = -192 - 28. Let h = d + 220. Solve h = 4*k + 4*p + 4, 2*k - 14 = 4*p - 4 for k.
1
Let i(s) = -2*s**2 - 8*s + 9. Let l be i(0). Suppose 5 = -l*m + 59. Solve 3*n - 2 = -5*d, 5*d = 2*n - n + m for n.
-1
Suppose 190 - 30 = 8*a. Suppose -40 = -3*o - 5*k, 6*k - a = 2*k. Solve o*m + 5 = -0*f + f, 5*m + 5 = -f for m.
-1
Suppose 114 = 2*u + 2*t + 98, -8 = -4*u + 4*t. Solve 6 = w + 2*i, -5*w + 0*i + u*i = -15 for w.
4
Let k be -11*((-88)/(-12))/(14/(-21)). Let o = 122 - k. Solve -o + 23 = -2*l + 4*q, -13 = 2*l - q for l.
-5
Let l(d) = 2*d**2 + 14*d + 19. Let u be l(-3). Let w = u + 8. Solve 2*z - 4*b = -2*z + 32, -4*z - w*b = -4 for z.
4
Let m = 58 - 57. Let d(z) = 5*z - 5. Let p be d(m). Let q = -36 - -39. Solve -l + q*k - 13 = p, 0*l = -l - 3*k + 5 for l.
-4
Suppose -3*x + 4 = 30*r - 29*r, -3*r + 12 = 4*x. Solve 0 = 2*u - 4*u - a - 1, -4*a + 12 = x for u.
-2
Let a(j) be the first derivative of j**4/2 + 2*j**3/3 + 3*j**2/2 - 10*j + 20. Let c be a(2). Solve 4*s + 5*p - 5 = -c, -4*p + 14 = -2*s for s.
-5
Suppose -5*y + 16 = k, -2*k + 3*y + 80 = 3*k. Let b be (6/21)/(k/14 + -1). Solve 2*u - b = 3*l - 0*u, -5*u + 5 = -l for l.
0
Suppose 97 + 475 = 11*o. Let b be (-2)/(-12) - o/24. Let p be (3*(b - -4))/2. Solve -4*m - 6 = -p*x, 4*m - 3*m = 3*x + 3 for x.
-2
Let r be ((-45)/(-18))/(5/12*3). Suppose -13 = -r*x - 1. Solve -y + x*y + 35 = 3*o, 2 = -3*y - 2*o for y.
-4
Suppose 12*q - 9*q + 918 = 0. Let g = -296 - q. Solve 3*x - 22 - 4 = 5*w, 5*w + g = -5*x for w.
-4
Let p be (-9)/((15/5)/57). Let d = p - -176. Solve -w = -4*s - 17, d*w - 2*s + 3 = -4*s for w.
1
Let n be (13 + 357/(-28))*20. Solve 0 = n*f - 5*t + 20, -4 = f - 12*t + 10*t for f.
-4
Let h(p) be the first derivative of p**4/2 + 10*p**3/3 - 15*p**2/2 - 15*p + 14. Let c be h(-6). Solve -3*v = -2*n - 3*n + c, 3*v - 2*n + 3 = 0 for v.
-1
Suppose -15*c + 13*c = 3*h - 69, -103 = -3*c - 4*h. Suppose -37*t - 20 = -c*t. Let u be 4 - (1*3 - (t - -7)). Solve -y + 6*y - n = 0, -u*y + 4*n = 0 for y.
0
Let f be -2 + -13 + 0 + 27. Solve f = -3*u + 4*l, -u + 4*l = -1 + 5 for u.
-4
Suppose 2*p - 3*g - 181 = 2, 5*g = -5*p + 395. Suppose p*k = 86*k - 8. Solve -r = 5*h + 15, k*h + 5*r = 3*r - 12 for h.
-3
Let z be (-12)/10*300/(-30). Suppose -4*a + z = -a. Solve 0*k - 20 = -a*k, 5 = 2*p + k for p.
0
Suppose 0 = 4974*h - 4972*h - 8. Suppose -4*n = -3*n - 3. Suppose u - 2 = n. Solve 5*p + 1 = -y + 3, 2*y = u*p + h for p.
0
Let s(j) = -j**2 - j + 16. Let g be s(0). Let b(k) = -8*k + 162. Let h be b(19). Suppose h = -325*z + 327*z. Solve w + 5*t + 8 = 3*t, -z*w - g = 2*t for w.
-2
Let p be (24/9)/2*(-2670)/(-40). Let h = 110 - p. Suppose 0 = -2*z - z. Solve 0 = -2*b + 5*j + 34 - 4, z = 5*b + j - h for b.
5
Let a(m) = m**2 - 1. Let s(y) = 5*y**2 - y - 4. Let l(g) = -4*a(g) + s(g). Let k be l(-1). Solve k*h + 0 = 2, 5*p + 19 = -h for p.
-4
Let u = -18338 - -18353. Solve -u = -3*j, 2*j = c + 3*j - 1 for c.
-4
Let k be (-822)/(-959)*(-70)/(-6). Solve 0 = 4*c + 2*h - 14, 0 = 3*c + h - 22 + k for c.
5
Suppose -29 = c + 5*u, 0*c + u = -c - 29. Let k = -462 - -438. Let d = k - c. Solve 2*g = d*h - 0 - 5, 4*h + 4 = 0 for g.
-5
Let n be 41/((-574)/168) - -15. Solve -3*r = -3*u + n, 4*u - 4 - 9 = -5*r for r.
1
Suppose 8*g - 55 = 17. Let w = g + 16. Let t be 1 - w/(-5) - 1. Solve -t*y + 2*m - 6 = -0*m, y - 3*m = -9 for y.
0
Let n = 1767 + -1744. Solve 3*l - n = -5*p - 19, -4*p - 2*l + 2 = 0 for p.
-1
Suppose l - 4*l + 5*r + 312 = 0, 312 = 3*l - 4*r. Let d be l/40 + (-6)/(-15). Solve -p = i - d, 19 = 3*p + 2*p + 3*i for p.
5
Let t = -270 + 275. Let y be 6 - (-9 + 39)/t. Solve -4*w + 2*q - 3 - 3 = y, -w - 5*q = 29 for w.
-4
Suppose 4*p = -29 + 73. Suppose -26*z = -25*z - p. Suppose -5*x + z = 1. Solve 3*l - x*l - 23 = 5*b, l = 2*b + 8 for b.
-5
Let f be ((-62)/248)/(22/24 + -1). Suppose 0*a + 5*a - 4*c = 32, -f*c - 21 = -3*a. Solve 5*w + a*t - t - 2 = 0, -2*t + 6 = w for w.
-2
Let z be (17 - 31)/(7/(-4)). Suppose 5*s - 11 = -71. Let k = s - -23. Solve k = 3*x + h, -x + 2*h + z = -5 for x.
5
Suppose 0*d + 1392 = 8*d. Let g = 190 - d. Solve r - g = 3*b + 6*r, -2*b - r = -1 for b.
3
Let r = 794 - 791. Solve r*p - 14 = -5*x, 2*x - 5*p - 31 = -44 for x.
1
Let n(z) = -z**3 + 25*z**2 + z - 46. Let f be n(25). Let r be (-11 - (-1168)/84) + (-2)/f. Solve -r = -4*t + 1, -4*u - 4*t + 16 = 0 for u.
3
Suppose 0 = -2*t + 3*r - 403, -t = -r + 52 + 147. Let b = t - -210. Solve -3*j + h + 12 = 0, -b = -4*j + h - 0*h for j.
4
Let t = 313 + -124. Suppose 181 + t = 10*o. Suppose -9 = -6*y + 3*y. Solve 5*a - o = 4*i, y - 16 = -2*a + i for a.
5
Let y be (5 + -7)/((-2)/(-11)). Let n be y/((-11)/(-14)) - -4. Let m be ((-4)/n)/(6/465). Solve 41 = -5*j - 4*p, 3*j + 2*p = -2*p - m for j.
-5
Suppose 0 = -17*z + 13*z + 84. Suppose 5*a - 35 = -3*p, a - 5*p + z = -0*p. Solve a*h - f = 3*f + 28, 0 = -2*h + 5*f + 29 for h.
2
Let x(f) = -f**3 + 6*f**2 + f - 4. Let r(q) = 2*q**2 + q + 6. Let t be r(0). Let a be x(t). Solve -2*w = -8, -5*w = 3*v + a*v for v.
-4
Let v(s) = -s**3 + 13*s**2 + 17*s - 22. Let l = 100 - 86. Let m be v(l). Solve -m + 8 = -4*t, 0 = 5*j - 5*t + 30 for j.
-3
Suppose 6*i + 16 = 2*i, -2*i = -3*y + 188. Suppose 0*z + z - y = 5*r, 3*z + 4*r = 256. Suppose 8*l - 4*l - z = 0. Solve t - 5*j = -24 - 0, l = 5*t + 3*j for t.
1
Let g(u) = -5*u**2 - 442*u + 1198. Let i be g(-91). Solve r = -4*r + 5*c + 25, 3*c = -i for r.
0
Suppose 68*o = -8*o + 152. Solve -5*y = -d - o + 3, d - 4*y = 1 for d.
1
Suppose -4*y = 4*u - 32, 5*u - 28 = 7*y - 10*y. Solve -u*f = c - 6, f = -0*f - 5*c + 3 for f.
3
Let o be (2/10)/(11/(-55)). Let h be -2 - o - 2 - (0 - 7). Solve 2*b = -4*s + 6, -h*b = 5*s - 3*b - 9 for s.
2
Suppose 94 = 4*p + 74. Solve -20 = 2*i - p*i - u, -i + u = 0 for i.
5
Suppose -5*u + 40 = 4*n, 0 = 2*u - 22*n + 25*n - 23. Solve 2*r + 14 = -2*t, 30 = u*t - 9*t - 4*r for t.
-2
Let a = -39 + 15. Suppose 4*n = -5*d - 106, 27 = -n + 5*d - 12. Let y = a - n. Solve u = 5, y*u - 19 = 2*t - 0*t for t.
3
Let l(j) = 45 - 7*j + j**2 + 3 - 11*j. Let d be l(3). Solve -6 = 5*v - d*k - 34, 2*v + 2*k = 8 for v.
5
Let i be (-2)/4 + 55/10. Suppose -33*v - 56*v + 356 = 0. Solve -2*f + 3*k - i*k - 6 = 0, -v*k + 23 = -3*f for f.
-5
Suppose -3*q + q = 4*c - 12, 0 = c + q - 3. Suppose m = -c*f + 43, 5*f = -4*m + 3*m + 69. Solve 0 = -4*a + k + 8, -f = -5*a - 3*k - 3 for a.
2
Suppose f + 15*f - 9*f - 70 = 0. Solve -t - 14 = -5*r, 3*r = -14*t + 10*t - f for r.
2
Let k(v) = 2*v**2 - 22 - 6*v - 20*v - 18*v - 3*v. Let p be k(24). Solve -4*r - 17 = -5*b, 7*r = 2*r + p*b for r.
2
Let z = -6336 - -6356. Solve u - 2*f = -4, -5*u - z = -2*f + 5*f for u.
-4
Let l be -2*(-3 + 44/8) + -6 + 62. Solve -4*m + 46*c - 18 = l*c, 3*m + 4 = c for m.
-2
Let r(d) = -30*d - 928. Let g be r(-31). Solve 5*o + 8 = o + g*u, -4*o - 5*u = 8 for o.
-2
Suppose -i = -5*j + 2*i + 93, -5*j + 101 = -i. Suppose -j + 33 = 6*a. Solve -4*z = -5*s + 5, 4*z = -s - 1 + a for s.
1
Suppose -u = 2*k - 617 - 909, 0 = -k - 2*u + 757. Let i be (4/(-6))/(15/k). Let c = -32 - i. Solve 3*a + c = 4*p + 22, -4*a = 2*p - 12 for a.
4
Suppose -3*z + z - 4*v + 8 = 0, -12 = -3*z + 5*v. Suppose -3*b - 17 = -2*s, -z = -4*s - 2*b + 6. Solve -5*c - 2*u + 0*u - s = 0, 5*c - 5*u = -25 for c.
-2
Let x be 14 + -1 + -2 - (-16)/(-2). Solve 0 = -x*p + 2*v + 11, 4*v + 8 = -3*p - 5 for p.
1
Let t be (-13)/(-26) - (7/2)/(-1). Solve -2*n + 1 = 3*w, t*n + 5*w = n + 3 for n.
-4
Suppose -340 = 54*v - 610. Solve 2*b - 5*l + 9 - 2 = 0, -4*l + v = -b for b.
-1
Let r(h) be the third derivative of h**6/120 + h**5/20 - 31*h**4/24 - 19*h**3/6 + 37*h**2. Let a be r(-7). Solve 8 = -3*u + a*u - f, 2*u - 5*f = 19 for u.
-3
Let b = 15 + 10. Suppose 5*y - 3 = -3*z + 7, 2*z = -3*y + 5. Suppose -2*w - 3*i = 0, y*w + 17*i - 19 = 19*i. Solve -5*g -