*m = 0, -y = 3*p + 5*m for p.
-4
Let t(j) = -j**3 + 6*j**2 + 10*j + 1. Let m be t(7). Let r = m + -7. Let i be (1 + -1)*4/(-8). Solve a - 19 = 4*s - i*a, 0 = 3*s - a + r for s.
-4
Let l = -287 - -301. Solve 0 = -3*v - 2*t - 14, 4 = -v - 4*t - l for v.
-2
Let s = -98 - -99. Let r be -2*s*3/(-1). Solve 4*y - 3 - 1 = 4*c, r = 3*y for c.
1
Let d be -5 + 7/(-2 - -3). Suppose -5*j = -d*j - 6. Solve 3*z = a - 2*z + 15, 2*a - j*z = -6 for a.
0
Suppose -8*h + 15 = -3*h. Suppose 3*p - 5*c - 24 = h, -9 = -p - 4*c. Solve p = -3*b - 3*m + m, 5*b + m = -22 for b.
-5
Suppose -61*j = -75*j. Solve 5*k - 5 = 0, j*m + 3*k + 9 = -4*m for m.
-3
Let f(b) = -b + 10. Let u be f(5). Solve -3*c = -4*a + 1, 3*c - 15 = 4*c - u*a for c.
5
Let c be 2 - (-5)/((-10)/4). Let m(x) = -x**3 - 8*x**2 - 7*x + 1. Let y be m(-7). Let n be -1 - (-1 + y - 2). Solve 2*q - 8 = c, -2*b + q - n = 5 for b.
-1
Let b = -110 - -115. Solve 3*y - 10 + 34 = -b*l, -y - 4*l = 15 for y.
-3
Let q = 1878 - 1876. Suppose 3*z = 4*g + 3, -2*z + 1 = -1. Solve 2*c = -5*a + 7, q*c + g*c + 14 = 2*a for a.
3
Suppose c = 3*z + 48, 2*z = -5*c - 0*z + 223. Suppose -4*n + 10 = n + 3*h, 4*n - 5*h = c. Solve -n = 4*w - t, -2*w + 6 + 5 = -5*t for w.
-2
Suppose 0 = -213*l + 200*l. Solve 2*q + 4*c - 10 = l, -9*q + 13 = -7*q + 5*c for q.
-1
Let x be (-33)/(1 - 10/4). Let w = x + -15. Let t be 6/(-33) + (-26)/(-22). Solve -2*r - t = -3*l - w*r, 0 = -2*l + r + 5 for l.
2
Let w(k) = k**3 + k + 1. Let t be w(0). Let x = t - 1. Suppose -5*s + 3*o - 8*o + 5 = x, 5*o + 1 = -2*s. Solve -a + 20 = 3*a - 5*p, 4*a + 8 = -s*p for a.
0
Suppose r - 41 = -39. Solve -r*q + 2*s + 3 = -q, 5*s = -5*q - 15 for q.
-1
Let w = -153 - -170. Let k(a) = a**3 - 17*a**2 + 2*a - 29. Let t be k(w). Solve f = -t*j + 14, 2 = -4*j + f + 6 for j.
2
Let c(r) = -2*r**3 - 28*r**2 - 26*r + 6. Let f be c(-13). Solve 0 = 3*n - 4*y - f, n + 3*y = -0*n - 11 for n.
-2
Let b(h) = h + 12. Let t be b(6). Suppose -5*v + 2*o + 34 = 3, t = 4*v - 5*o. Let a = 8 - 5. Solve a*u = -3*i + 15, 2*i = 7*i - 4*u - v for i.
3
Let n be -6*(26/(-6) + 4). Let c = -4 - n. Let u be (-2 + c)/(-2) + 4. Solve -5*d + 1 - 6 = 5*k, -u = -2*k for d.
-5
Let n be -2 + ((-12)/(-18) - 5/3). Let v be (-2 - n)/((-3)/(-6)). Solve w + 6 = -2*i, i = -3*w - v - 1 for i.
-3
Let l = -23 + 25. Suppose 7*s = l*s + 100. Solve -3 = -5*v + h + 2, -s = -4*h for v.
2
Suppose -5*w - 2*a = 8, 5*w + 4*a = -19 + 3. Solve -4*z + 16 = 0, w*p - 5*z = p - 15 for p.
-5
Suppose 0 = s - 3*k + 8, 13*s - 4*k = 18*s - 55. Solve s*m - q = 3*m + 10, -3*q = -2*m + 10 for m.
2
Let t(r) = r**3 - 4*r**2 - 3*r - 6. Let z be t(5). Suppose -2*u + 14 = z. Solve l + 3*l - 12 = u*d, -2*l = 4*d + 20 for d.
-4
Let m(r) = r**2 + 4*r + 3. Let a be m(-3). Suppose 5 = -3*q + 2, a = -5*x - 2*q + 8. Suppose -12 = 2*v - 6*v. Solve 26 = -v*k + 5*t, 3*k = -3*t + x + 4 for k.
-2
Let f be 6/3 + 27 + -1. Suppose 0 = 3*q - 2*q - z - 8, f = 4*q - 3*z. Solve -q*i = 2*d - 2 + 10, 6 = 2*i - 4*d for i.
-1
Suppose 3*n = 2*n + 4. Let o = 0 + n. Solve -3*s - k = -o*k + 12, 5*k - 15 = 0 for s.
-1
Let f be (0 + 3)/(9/(-12)) - -6. Solve l + 6 = -m, -6*m + f*m - l = 15 for m.
-3
Let b = -600 - -606. Solve -2*c - 4 = -4*h - 0*c, -b = -h + 3*c for h.
0
Let n = 24 + -19. Let w(i) = i**3 + 10*i**2 - 25*i - 12. Let j be w(-12). Solve -y + 2 = 2*l - 0, -3*y - n*l + 7 = j for y.
4
Suppose 27 = -372*m + 381*m. Solve -5*o - 1 = -4*v, -6 = m*v + 4*o - o for v.
-1
Let s be (-68)/8 + (-28)/8 + 3. Let q = s + 13. Solve v + 5*y = 6*y, v = q*y + 9 for v.
-3
Let r(s) = -s**3 - 6*s**2 - 7*s - 2. Let c be r(-5). Suppose 16 - c = 4*y. Solve 2*k + 6 + 4 = -5*o, 18 = -y*o + 2*k for o.
-4
Let n = 271 + -268. Solve j = w - 0 - 5, -5*w = n*j - 17 for j.
-1
Let i be (-6)/54 + (-1 - (-19)/9). Solve -4 + i = o - 5*b, -3*b = -5*o - 15 for o.
-3
Let u be (2*18/(-60))/((-1)/5). Suppose 7*i = -2*f + 4*i + 20, 0 = -f - u*i + 16. Solve -8 = -f*g - 4*w + w, 5*g - 2*w - 33 = 0 for g.
5
Suppose 10*j = 67 - 27. Solve j*n - 3 = 5*i - 7, 0 = 4*i for n.
-1
Suppose -44 + 16 = -4*q + 2*m, 5 = 5*q + 5*m. Let v = -268 + 281. Solve q = 2*h + 3*a, 2 + v = -2*h + a for h.
-5
Let r be (-2)/(-3)*45/30. Let k be 48 + (1 - r - -2). Let g be (6/(-5))/((-15)/k). Solve 5*t = -2*y - 33, -g*y - 6 = 2*t + 20 for t.
-5
Let i be 14*1/(-2)*1. Suppose 34 = 3*u - 4*m + 2*m, u = 5*m + 20. Let v = i + u. Solve -5*o - 4*z + 4 + 0 = 0, -v*o = z - 8 for o.
4
Let l = 1742 + -1737. Let w be (9 - -1) + 0 + -2. Solve 2*f - w = -l*g + 5*f, 0 = -2*f - 2 for g.
1
Let a(f) be the second derivative of 5*f**4/12 - f**3/3 + 2*f**2 + 9*f. Let i be a(2). Suppose -3*j = -7*j + i. Solve v - 4*s = 2 - 6, 0 = -3*v + j*s + 2 for v.
4
Let t(u) = u**3 - 10*u**2 + 8*u + 9. Let c be t(9). Solve 5*r - b + 15 = c, r + 0*b = 3*b + 11 for r.
-4
Suppose -30 = -4*c - c. Solve -5*p - 18 = -3*z, p - z - 2*z + c = 0 for p.
-3
Let r = 3 + -6. Suppose 0 = 2*z + 3*z. Let k be 7 - (r + (1 - z)). Solve 3*t + 2*i + k = i, 0 = -5*t - 3*i - 15 for t.
-3
Let p be 5*(0 - 1)*(-318)/265. Solve h = x + p - 5, x = -4*h + 4 for x.
0
Let c be (-26)/(-10) + 3*10/75. Let f(l) = l**2 - 2. Let x be f(-3). Let i = -4 + x. Solve c*j - 7*j + 10 = -i*g, 2*g - 16 = -3*j for j.
4
Suppose 0 = -0*b + 4*b - 12. Suppose -25 = -3*w - 4*s, -w = -b*s + s + 5. Suppose -w*z + 14 = -55. Solve 3*u + 2*n + z = -2*n, 5*u + n + 10 = 0 for u.
-1
Suppose -3*n + 41 + 55 = 0. Solve 2*g - 8 - 4 = 4*d, 0 = 3*g + 4*d + n for g.
-4
Let x be 1/2*2*20. Suppose 0 = -q - 27 + 13. Let w be (-20)/q + x/35. Solve 3*c - 4*u - 31 = -0*c, 2*c = w*u + 18 for c.
5
Let n be (-2)/(-36)*75*6. Solve -2*f = -f + 5*d - n, -3*d - 3 = -3*f for f.
5
Suppose -a - 6*u = -2*u - 4, 5*u = 2*a - 8. Suppose a*m - 3*m + 3*n + 3 = 0, m - 3*n = 9. Let c = 4 - -13. Solve -m*j - c = 2*t, 4 = -j - 4*t - 15 for j.
-3
Let d be 3/5 + (-18)/30. Let q be -10*((-2)/(-4) + -8 + 7). Solve d = 5*j - q*x - 15, 3*j = -2*j + x - 5 for j.
-2
Let m = 1411 - 1409. Solve 7*v - 3*t + 6 = 4*v, -4 = m*t for v.
-4
Let p(y) = 2*y**2 - 6*y - 26. Let r be p(6). Solve r = -c - 2*f - 1, -c = f + 7 for c.
-3
Let k = -50 + 78. Let b = -39 + k. Let h = b + 14. Solve -h*s - 5*r = 2, 2 = -s + 3*r - 4*r for s.
-4
Let v(g) = -2*g - 44. Let m be v(-23). Suppose -2*r = 5*x + r - 21, m*r = 4. Solve -4*h = -x*h - 3*z - 2, 4*h + 5*z + 26 = 0 for h.
-4
Let w = -21 + 55. Let x = -29 + w. Solve -2*n = 8, -3*b - b + 20 = -x*n for b.
0
Suppose -5*h + 10*h - 20 = 0. Let o be 1/((h/12)/1). Suppose -o*p - 4*b + 28 = -1, 2*p - 21 = -3*b. Solve -2*v - 2*d = 2, -p*d = -0*d + 9 for v.
2
Let d(u) = u + 3. Let w be d(-7). Let s be -1*3 + (w - -52). Let y be s/25*10/6. Solve 0*f + 6 = -4*f + y*z, 3*z = 6 for f.
0
Let k(v) = -v**3 - 48*v**2 + 49*v + 5. Let u be k(-49). Solve 0 = -4*w - 12, -u*h = -8*h + 3*w for h.
-3
Let s = 2042 - 2039. Solve 0*v - 3*v - j = s, -18 = 3*v - 4*j for v.
-2
Let f be ((-9)/18)/(2/(-52)). Let h = f + -9. Suppose b + h*b = -2*x + 30, 5*x = 2*b + 17. Solve -3*g + 7 = z, 0*g = x*g + 2*z - 13 for g.
1
Let a(o) = -o**2 - 4*o + 21. Let g be a(-6). Let n be 4 - 3/g*-3. Solve -5*p = 5*c - n, 5*c - 2 = 4*p + 39 for p.
-4
Let i(k) = 3*k**2 - 12*k - 21. Let z(p) = -4*p**2 + 11*p + 21. Let r(q) = -6*i(q) - 5*z(q). Let y be r(-7). Solve -s - 5*h - 14 = y, -3*s = 3*h + 1 + 17 for s.
-4
Let b(h) = -2*h**2 + 20*h - 44. Let o be b(6). Solve 2*c + o*r - 4 = 0, -2*c + r + 4*r = -13 for c.
4
Suppose 19 = 5*o - 16. Suppose 0 = 4*z + z - 5. Let c be (z*-5)/(5 + -3)*-2. Solve -4*b - o = 3*q, 5 = c*b - 0*q + q for b.
2
Let r = 0 + 0. Let z be -1*((-2 - -3) + -6). Let m = r + z. Solve 0 = -5*q + 5*o + 20, -m*q + 0*q - o + 26 = 0 for q.
5
Let l(n) = -n**2 + 6*n + 4. Let m be l(6). Solve -v + z - 13 = m*v, 5*z - 25 = 5*v for v.
-2
Suppose -2*p + 2*d - 8 = -6*p, -2*d = p + 1. Suppose 0 = -p*r + 4*l + 20, -5*l - 20 = -4*r - l. Solve m - 10 = 2*u + 2*m, r = m for u.
-5
Suppose 3*o - 4*o + 1 = 0. Let t be 20*o*(-5)/(-10). Solve -3*d + 2*u = -7*d - t, -2*d + 4*u = 0 for d.
-2
Let b(v) = v**3 - 7*v**2 + 13*v + 2. Let a be b(4). Suppose -4*i + 5*f + 10 = 0, 6 = -i + a*f - 9*f. Solve i*q + 3*k - 9 = 2*q, k = -2*q + 3 for q.
0
Let b(o) = 5*o + 152. Let l be b(-30). Solve 4*h + 20 = 3*d, -5*d + 12 = l*h - d for h.
-2
Let l = 29 + -23. Let h be 15/(-45)*l*-1. Solve s + 2*f = 5*s + 10, 2 = -h