ve 5*j = 3*f - l, -2*j = f + 3 + 1 for f.
0
Let i be (16/(-4))/(-4) + 7. Let f be (27/(-18))/((-2)/i). Solve 4*r + m + 13 = 0, 0 = -r - 6*m + 3*m - f for r.
-3
Let u(n) = -n - 6. Let t be u(-5). Let j be (t/(-2) + -1)*-12. Let m be 1 - j/3 - -1. Solve -3*k - 2 = -r, m = -4*k - 2*r + 5*r - 11 for k.
1
Let v = -9 - -26. Let d be 50/4 + 2/4. Suppose 3*z - 2*z = -2*s - 3, 6 = 2*s - 2*z. Solve -4*u - h - d = s, 0*h - v = -4*u + 5*h for u.
-2
Let u = 5 - 8. Let w be u/(-6)*-2*-51. Suppose 3*k - w - 3 = 0. Solve 3*a + 4 = a, 5*a = -2*l - k for l.
-4
Let q(u) = u + 13. Let i be q(-11). Solve -4*f + 6 - i = 0, -p - 5*f = -8 for p.
3
Let a = 0 + 4. Solve u - 3 = a*w + 8, 1 = w - u for w.
-4
Suppose -2*f = -0*f. Let k = -1 + f. Let x = 3 - k. Solve 0 = 2*l + l + x*z + 7, 5*l - z = 19 for l.
3
Suppose 0 = -g + 7 - 2. Solve -2*n + 23 = 2*t + t, -4*n - 9 = -g*t for t.
5
Let h = 14 - 7. Let n = h - -3. Solve 5*k - m = 4*m + 30, 4*k = -3*m + n for k.
4
Let r(g) be the second derivative of g**3/6 - 2*g. Let o be r(2). Solve o*b - 4*d = -b - 19, 4*b - d + 21 = 0 for b.
-5
Let d be -2 + 6 + (-3 - -2). Let g be 7/2 - d/(-6). Solve 2 - 4 = -3*x + w, g = 3*x + w for x.
1
Suppose 4*d - 2*d - q - 2 = 0, -4*q - 2 = -5*d. Let k(v) = -6*v - 54. Let p be k(-11). Solve -d*s = -3*o + 3, 3*o + 4*s = s - p for o.
-1
Let w be (4/7)/((-14)/(-49)). Solve -3 = w*o - m, 2*o - 4 = 3*o + 2*m for o.
-2
Suppose 11*r - 165 = -0*r. Solve 0 = 3*y - 0*y - r, -d + 5*y = 20 for d.
5
Let s(f) = -f**3 + f**2 + 2*f. Let a be s(0). Solve a = 3*i - 4*p + p + 6, 3*p = -3*i - 18 for i.
-4
Let t be 16/6*(-9)/(-6). Solve 5*i - y - t = i, -1 = -i + 4*y for i.
1
Suppose s = 13 - 6. Suppose s*y + 5*q - 65 = 4*y, -4*y + 5*q = -40. Solve 0 = -3*b + 3*g + y, g = -b - 3*g - 10 for b.
2
Suppose 0 = p - 4 - 1. Suppose 5 = -p*r + 45. Let z = r + -3. Solve z*l - 5*i + 11 = -8*i, 2*l - 1 = -3*i for l.
-4
Let k = 3 + 0. Let l = 29 - 21. Solve 26 = 5*y - k*g - l, 5*g = -4*y + 5 for y.
5
Let i = 204 + -201. Let p(r) = 29*r. Let f be p(1). Solve -8 = -c + y, -3*c + i*y + y + f = 0 for c.
3
Let v be (-3)/(-12)*-2*0. Solve -4*b + 6 = 5*u, v*u = 3*u - 2*b - 8 for u.
2
Let b(t) = t - 7. Let v be b(7). Solve 2*p + 10 = v, i + 5*p + 17 + 3 = 0 for i.
5
Let z = 17 - 5. Suppose -3*i = -6 - z. Let r(p) = 2*p**2 - 9*p + 2. Let s be r(i). Solve 0*x + x - 5 = 0, s = 4*q + 4*x for q.
0
Let n be ((-3)/9)/(-1 + 32/36). Solve n*w - 8 = -2*p + 2*w, 12 = 3*w for p.
2
Suppose -b = -4*b. Suppose b = 5*t - 15. Solve 6*k - k - t*v + 17 = 0, -4*k = -4*v + 12 for k.
-4
Let k(i) be the first derivative of i**2/2 - 5*i - 3. Let v be k(7). Solve -2*x + 3 = -5*r + 8, -v*r + 2 = -3*x for r.
1
Let x(n) = -3*n - 4. Let f be x(-3). Suppose -h + 43 = -f*o, -4*o + o + 3 = h. Solve 3*k - h = u + 2*u, 5*k - 27 = 2*u for u.
-1
Suppose 11 - 27 = -2*k. Solve 3*b - 4*d = 7, -2*d - k = -4*b + 2*d for b.
1
Let b(r) = 2*r**2 + 2*r - 3. Let i be b(4). Solve -3*x - i = -5*t, 5*t - 3*t = -x + 6 for t.
5
Let i(q) = 2*q**2 + 1. Let a be i(1). Suppose -42*k = -51*k + 36. Solve -4*c = -a*y + 17, 5*c = 4*c + k*y - 14 for c.
-2
Suppose -2*m + 2*p + 8 = 2*m, -p + 2 = m. Solve 0 = -m*k - 3*a - 11, k + 5*a = 2*a - 7 for k.
-4
Let j = -1 + 3. Suppose -j*h - c - 7 = -4, -2*h + 2*c = -12. Suppose 3*b - 5 - h = 0. Solve l - 5 = 0, -f + 0*l = -b*l + 12 for f.
-2
Let t(b) = b. Let l be t(4). Solve 2 = -2*r + l*p, -4*r + 9 = -p + 27 for r.
-5
Suppose -4*c = 4*h - 140, 3*h = 6*h + 4*c - 110. Solve 2*x - 8 = -m, -4*x - m = -6*m - h for x.
5
Let g be 33 - (-1)/(-1 + 0). Suppose -g = -3*l - l. Suppose 4*c + 4*n - l = 3*c, 2*c - 3*n = 5. Solve c*m + 12 = 0, k + 3*m + m + 8 = 0 for k.
4
Let j be 3 + 204/3 + 2. Let m = j - 18. Suppose -4*s = -2*d - 6, m = 5*d + 5*s - s. Solve d*t + 5*a = 4*t - 6, 3*t = -a + 6 for t.
3
Let a(c) = 0*c - 4*c - 9*c**2 - 2*c**3 + 3*c + c**3 - 2. Let l be a(-9). Solve -t - 2*y = y + l, -1 = t + y for t.
2
Let c = 52 - 49. Solve c*i + i = p + 20, p = 2*i - 12 for p.
-4
Let m be 11/5 - (-8)/(-40). Solve 0*s = m*s + 5*g - 8, 5*g = 3*s + 13 for s.
-1
Let p be (-284)/(-12) + (-2)/(-6). Suppose -s + p = 2*s. Solve 4*f + 13 = -u, -2*u - 2 - s = 4*f for f.
-4
Suppose 0 = 5*y - 2*d - 19, 2*d + 3 = 4*y - 13. Suppose -1 - 8 = -y*b. Solve 3*z + 0*r - 10 = -r, -b*z + 3*r = 6 for z.
2
Let q = -1 - -16. Suppose -5*t + q = -2*c, -2*c = 4*t + 2*c - 12. Solve 5*v + 32 = -t*n + 5, 5 = -5*n + 5*v for n.
-4
Suppose 4*m + 0 = 16. Suppose -f + 14 = 2*d + 1, m*f - 47 = -3*d. Solve -4*a + f = -6*a - 3*q, 4*q + 20 = 0 for a.
2
Let a = 18 + -1. Let k = -7 + a. Let n = 12 - 5. Solve -o = 3*w - n, 3*o + 4*w - k = 1 for o.
1
Suppose -6*w - 2*k = -2*w - 20, 3*k - 24 = -4*w. Solve s = 2*n + n + 1, w*s + 2 = 4*n for s.
-2
Suppose 0 = 2*h - 5*h. Solve -2*x + 4*n - 1 - 5 = h, 5*x = 4*n + 9 for x.
5
Suppose 0 = 3*l + t + 17 + 24, 2*l - 4*t + 4 = 0. Let u = -12 - l. Solve 4*k + 8 = u, h + 0*h - 3*k = 4 for h.
-2
Let k be (7/(-2) + 3)*8. Let i(l) = l**2 - l - 1. Let h be i(k). Solve 0 = 4*j - 2*f - 2, -3*j + j + 5*f = h for j.
3
Let u be (-3)/(-9) + (-84)/9. Let f = -4 - u. Suppose -4*o + 7*x - 2*x - f = 0, 25 = 4*o + x. Solve 0 = -o*a + 5*g - 10, -4*g + g - 18 = 3*a for a.
-4
Suppose 5*r = -3*y, y - 10 = -4*y - 5*r. Suppose -4*d = -0*d + 3*s - 29, -4*s - 36 = -4*d. Solve -5*h - 3*j = -d, 3 = y*h - 3*j + 1 for h.
1
Let r(l) = -l**2 - 5*l + 8. Let s be r(-6). Suppose -3*b + 9 = 0, -s*g + 3 = -0*g - b. Solve 0 = -4*o + 4, g*c + 0*c + 5*o - 2 = 0 for c.
-1
Let u(f) be the third derivative of -f**5/60 - 3*f**4/8 - 4*f**3/3 + 5*f**2. Let v be u(-8). Solve 0 = -2*q - 4*n - 2 + 10, -2*q + 5*n + 8 = v for q.
4
Let z be (-6 + 0)*(-2)/(-4). Let u = 19 + -31. Let v be (-2)/z + u/(-9). Solve 5*h - 5*k = -50, 3*h = -2*k + v - 7 for h.
-5
Let u be (18/(-6))/(6/(-10)). Solve -z - z + 10 = -u*x, -4*x - 3*z = 31 for x.
-4
Let z = -176 - -178. Solve 3*g = z*t + 10, -3*g = 3*t + 2*t - 17 for g.
4
Let b = 36 - 21. Solve z = 2*d - 0 + 6, 0 = -5*z - 5*d - b for z.
0
Suppose 9*k = 2*k + 28. Solve 4*w + k = -4*o, -w - 5*o = -5*w + 23 for w.
2
Let q be (-160)/12 - (-4)/(-6). Let b be 4/q - 153/(-21). Solve -5 = 5*f + 4*i, -22 + b = 4*f + i for f.
-5
Suppose 5*i + 2 = 22. Solve d = -a - 2, i*d = 2*a - 0*a - 8 for d.
-2
Let f = 5 + -5. Suppose -5 = -3*l - 5*q - 13, -l - 2*q - 4 = f. Suppose l*b + 6*i - 2*i = 0, -5*i - 30 = -b. Solve -2*n - b = -r, n - r + 4*r = 1 for n.
-2
Let q = 0 + 17. Let n = q + -14. Solve -l - 6 = 4*l + 2*z, -n*l + 2*z + 6 = 0 for l.
0
Let a be 630/147 + (-4)/14. Suppose 2*g + 1 - 5 = 0. Solve m - g*m + a*s + 16 = 0, 0 = 3*m - s + 7 for m.
-4
Suppose -13 = 2*w - 7*w + 3*h, 4*h = 5*w - 14. Suppose u - 7 = -a, -u = -w*a + 7*a - 27. Solve 3*m - 18 = 6*r - 3*r, 0 = 2*m - a*r - 15 for m.
5
Let t = -3 - -5. Let b = -3 + t. Let i be 2*b*2/(-2). Solve 5*p = 5*v + 2*p + 30, -p = i*v + 1 for v.
-3
Let i(u) = 19*u - 1. Let k be i(1). Solve b - 3*p - 1 = 0, 3*b = b - 4*p - k for b.
-5
Let i(n) = -n**2 - 4*n - 1. Let a be i(-3). Solve 0 = -4*w - s + 10, -w + s + 1 = a*s for w.
3
Suppose -4 - 8 = -4*j. Suppose t = -4*z + 43, -3*t + 0*t = j. Let g(p) = -2*p + 6. Let s be g(-5). Solve c + 3*l - 2 = -z, -5*l - s = 2*c for c.
-3
Suppose 5*v - 110 = -5*p, 0*v + 3*v - 5*p = 106. Solve v = -4*u + 3*q, q = -2*u + 3 - 4 for u.
-3
Suppose 5*v + 10 = -2*g, 3*v + 25 = 2*g - 7*g. Solve v*o - 2*o = -r + 1, r = o - 1 for o.
-2
Let m be (-1)/(-4)*-2*-4. Solve -4 = z - 2*h + m, -2*z = -3*h + 9 for z.
0
Let f = -10 - -20. Let z be f/(-45) + 20/9. Solve -2*o = x - 4, 2*x + 20 = z*o - x for o.
4
Suppose -5 = 3*i + 2*i. Let u(j) = -10*j. Let g be u(i). Suppose g = -0*p + p. Solve 1 = -h, -l = 5*h - 10*h - p for l.
5
Suppose -2*b - 5 = 2*l - 3*l, 2*b = -5*l - 11. Let a = 18 - 24. Let q be 15*(b - 20/a). Solve 1 = -2*t - 3, 0 = w + 3*t + q for w.
1
Let s be ((-6)/(-5))/(6/20). Solve 4*u + 3*g - 10 = 0, -2*u + 0 = -3*g + s for u.
1
Suppose -17*d + 27*d = 0. Solve -m + 2*v = -3, m = -3*v - d*v + 3 for m.
3
Suppose -3*u + 14 = 2. Suppose 5*s - 35 = -0*s. Suppose 5 = -2*l + 11. Solve -5*z + l*x = -x + 13, -u*x = z - s for z.
-1
Let f be 2/3 - 4/(-3). Let n be (-1)/(2/(-16)*f). Solve 0 = -2*a - 3*a - s - n, -4*s - 16 = 5*a for a.
0
Suppose -8*i + 44 = -4*i. Suppose -3*x = -2*x - 2. Suppose x*q = -q + 12. Solve 6 = n - 2*g, i = -n +