i(c) = c - 10. Let s be i(12). Solve 4*y = -l*n - 24, y + 2 = n + s*n for n.
-1
Let d = 45 + -20. Suppose -4*a + d = a. Solve -s + 11 = 3*g, a*s + 4 = 4*g + s for g.
3
Suppose -2*q + 5*x + 6 = 0, 4*x + 5 = 2*q - 1. Solve r + r - 4*d = 8, -3*r - q = -d for r.
-2
Let j(r) = -r. Let c be j(-4). Solve -13 = -c*v - d, 0*v + 5*d + 7 = 4*v for v.
3
Let a be (3/2)/(-3)*2. Let z = -1 - a. Solve 0 = 3*q + 4*p + 12, 0*q - q - 2*p - 6 = z for q.
0
Let p(q) = 5*q - 16. Let w be p(4). Solve s = -3*m + 19, s + w*s - 35 = -3*m for m.
5
Let p(n) = n**3 + 6*n**2 - 8*n - 7. Let w be p(-7). Solve 5*o = -2*q + 17, 2*o + q - 6 = -w*q for o.
5
Let q be 1 + -1 - (-3 + -6). Solve 4*s = 2*o + 3*s - 7, q = -3*s for o.
2
Suppose 5*o - 240 = 3*o. Suppose -4*n - n = -o. Suppose 4*x - 2*x - 8 = 0. Solve 2*m + n = x*p, p - 5*m - 40 = -4*p for p.
4
Suppose 3 - 6 = 3*u, -b - 2 = 4*u. Suppose -v + 20 = 5*k, 4*k = -2*v - v + 16. Suppose -b*i + v*i = -12. Solve 17 = r - 3*q, 2*q - i*q = 5*r - 9 for r.
5
Let k(g) = 7*g - 2. Let l be k(1). Solve -b - z - 2*z - 4 = 0, -b - 10 = l*z for b.
5
Suppose -6*q = -2*q + 3*m + 1, -4*q + 5*m + 23 = 0. Solve 2*y + 10 = 2*h, 5*y + 3 = -q*h - 1 for h.
3
Let h = -55 + 57. Solve -2*b + 4 = k, -b = -2*k - k - h for b.
2
Let k be 2/(-6) - (-40)/12. Solve 4*x + 7 = -q, 0 = 3*x - 2*x + 5*q - k for x.
-2
Let m(c) = -3*c - 1. Let s be m(-1). Suppose -3*k = -5*w + 11, s*w + 4*k + k + 8 = 0. Solve -2*f = 2*y + 4, 3*f + 2*y + 1 + w = 0 for f.
2
Let v(a) = -2*a - 37. Let y be v(-21). Solve 0 = 5*x + 6*r - r + 10, y = -r for x.
3
Let j = -2 + 7. Let k(r) = -r**3 + 4*r**2 + 6*r - 1. Let q be k(j). Solve 3*d - q*s + 21 = -7*s, 3*s = -d - 17 for d.
-2
Let o = 20 - 4. Solve 4*r - 2*f = 0, -4*r - 3*f - o = -f for r.
-2
Suppose 0 = 2*n - 3*n + 4. Solve -n*r + 4*b = 4, -2*b = -4*r + 1 + 5 for r.
4
Let o(p) = p**2 + 7*p - 11. Let x be o(-8). Let g = x - -4. Solve -5*j + 11 - g = 5*i, -4*j + 4*i = 32 for j.
-3
Let t be 2/5 - (-4)/(-10). Suppose t*w - 42 = -2*w. Solve -5*a - 34 = 3*s, -2*s - a = 2*a + w for s.
-3
Suppose n = -2*n + 9. Let r(a) = a**3 - 2*a - 1. Let z be r(-1). Let o = 5 - z. Solve -18 - n = -4*m - x, -o*m = 3*x - 28 for m.
5
Suppose 0 = -3*x + w + 13, -4*w + w = 4*x. Let n(t) = t + 2. Let m be n(x). Suppose 0 = o - 6*o. Solve -15 = r + 3*c - 0*c, 5*r + m*c + 35 = o for r.
-3
Let s be 52 + -1 + (-12)/4. Suppose 0 = 2*a - 5*q - 23, 3*q = 3*a - s. Solve m = -c + 6, a - 1 = 5*m - c for m.
4
Let i = -62 - -62. Solve -q - 2 = q, i = 5*a - q - 1 for a.
0
Let q = 1 + -4. Let d = -1 - q. Solve 5*a = 5, 17 = -5*t + d*a - 0*a for t.
-3
Let t = -3 - -13. Let g be (-40)/12*(-12)/t. Solve 3*v = -4*p - 7, g*v + 12 = 3*p - 7*p for p.
2
Let z be 19/2 - 3/(-6). Suppose 10*o = 5*o + 15. Solve -3*w + o*l = -l - z, 9 = 5*w + l for w.
2
Let a be (2 + 0)/(2/4). Suppose 4*c - 44 = -0. Let q = 46 - 28. Solve -t = 5*p + q, -t - 4*p = c + a for t.
-3
Let p be 3/(-1)*(-3)/9. Suppose 5*j - 5 = -2*k + p, k = -j. Let l be 1/(-2)*(-2 + j). Solve d = -0*n + 2*n, l = -4*n - 5*d + 28 for n.
2
Let r be ((-6)/(-9))/(6/(-153)). Let z = -7 - r. Solve -2*x + 0*m - m + 15 = 0, z = -2*x + 4*m for x.
5
Let b = -4 - -9. Solve 0*a + 3*a + 10 = 2*j, 4*a = j - b for a.
0
Suppose -19 = -4*v - 7. Suppose v*m = 4*k + 6, 2*m - 6 = -m - 5*k. Solve -2*b + 12 = 4*i, 6*b - 22 = -m*i + b for i.
1
Let k be 5/(28/(-10) - -3). Solve -q + 2 = -4*z - 21, 5*q = 2*z + k for z.
-5
Suppose -3*c + 5 = 2. Let n be (c/2)/(-1)*-18. Let h be 14*(-1 - (-45)/35). Solve m + 4*j = n, 0 = -2*m - h*j + 6 for m.
-3
Let y(c) = -c**2 - 3*c + 4. Suppose -3*p = -2 + 11. Let f be y(p). Solve 4*h = -f*r + 8*h - 4, -2*r = h - 4 for r.
1
Suppose p = 3*q + 2*q + 9, -3*q = -4*p - 15. Let b = 8 + p. Suppose o - b*o + 5 = 5*g, -o = -g + 1. Solve o = 4*w - 2*z + 4, -3*w = 3*z + 6 - 3 for w.
-1
Suppose -5*n + 15 = -3*h + 4, -n = 5*h - 19. Solve -n*j - 12 = 0, -3*j - 7 - 3 = u for u.
-1
Suppose 0 = 4*q + o - 30, 0 = -5*q + 3*o + 37 + 9. Let r be (0 - q)/(-1 + -1). Let x be (r/14)/(3/21). Solve -4*f = n - 18, 4*n - 2 = f + x for f.
4
Let c(v) = 13 - 11 - v + 16*v. Let o = -1 + 3. Let m be c(o). Solve -16 = -4*f - s, 0 = -2*f - 2*f - 5*s + m for f.
3
Let n = 19 + -44. Let t be 2/9 - n/9. Solve t*d - 3*h + 2*h = -5, -5*h = 3*d - 7 for d.
-1
Let c be (1 + -2)/((-1)/5). Suppose -c*g + 4 = -26. Let n be 2/(-1 + 9/g). Solve 8 = n*s, 5*a - a + 2 = 5*s for a.
2
Suppose 5*m - 13 - 23 = 2*i, 0 = 3*i + 9. Suppose m*d = d. Let q be (-1 - d) + (-3 - -12). Solve 8 = -2*l, -4*b + 0*l = 2*l - q for b.
4
Let t(q) = -q**2 - 12*q + 16. Let f be t(-13). Solve -f*i + 12 = -k, 3*k - 2*i = k - 4 for k.
3
Suppose 3*g = 5*n + 51, -9*g - 3*n = -4*g - 85. Solve q - 1 = -3*z, 3*z + g = -5*q - z for q.
-5
Let g be (2 + -6 + 0)/(-1). Solve 3*i = 4*r - g, 0 = -4*i - 5*r + 5 for i.
0
Let v(k) = -3*k - 3. Let t(r) = -16*r - 15. Let y(g) = -2*t(g) + 11*v(g). Let c be y(-7). Solve -c*d = -4*i, -2*d = 3*d - i + 16 for d.
-4
Let w be (-3)/2 + (-13)/(-2). Solve -w*n + 2 = -4*y - 0, -n + 4 = y for n.
2
Suppose -2*y - 32 = -4*c, -y + 41 = 5*c + 8. Let d(l) = -12*l**2 + 2*l - 1. Let t be d(1). Let m = 14 + t. Solve -3*o + 2*r = -2*r + m, -4*r = -o + c for o.
-5
Let o = -2 - 0. Let i be 0/(o - (-2 - -2)). Solve 0 = -k - 0*z + z, i = -3*z for k.
0
Suppose -13*o + 15*o = 40. Let z be 50/8 + (-1)/4. Solve h = 2*d, h + o = z*h for d.
2
Let t be 0 - (0 - (3 - -2)). Solve -5*r = 25, -4*r + 0 = 5*b + t for b.
3
Let o be -1 + 4 + -6 + 7. Suppose 3*b + 3*h = 15, 4*b + 5*h - 4 = 6*b. Solve -3*a - 4*m = -8*a + 10, b = -o*a + m for a.
-2
Let o(q) = 2*q**2 + 3*q - 2. Let p be o(3). Suppose -1 = g - 7. Solve -4*w - 20 = 5*m, m + p = w - g*w for w.
-5
Let w be (-122)/(-8) - (-1)/(-4). Suppose -4*t = -2*q - 3*t + 12, -5*q - 5*t = -w. Solve 0*k - q*k = -4*x - 10, 7 = -k - x for k.
-2
Suppose -123 = -7*o + 10. Let l = 21 - o. Solve -3*u = -2*x - 9, -u - l*x = -7 - 4 for u.
5
Suppose -q + 2*q = 2*c - 34, -5*q + 51 = 3*c. Suppose -c = -5*l - 7, -148 = -4*z - 4*l. Solve -v - 4*v - z = -5*u, 0 = -3*v + u - 13 for v.
-3
Suppose 0 = b + 4*b - 10. Solve 5*i - 8 = -x, 3*x + b*i + 4 = i for x.
-2
Suppose -23 = -4*c - 7. Solve -3*y + 32 = c*q, -45 = -0*q - 5*q - 5*y for q.
5
Suppose 5*y - q - 7 = -0*q, q = 3*y - 5. Solve -y = 3*z + 4*f, 0*z - 3*f - 7 = z for z.
5
Let g(r) = -3*r**3 - r**2 + 4*r + 5. Let s be g(-1). Solve s*j + 2*d + 19 = 0, d + 30 = -4*j - 4*d for j.
-5
Let g = 8 + -3. Suppose 3*k = z - 3, k - 3*k + z - 3 = 0. Let r be (-1)/(-2)*(4 + 2). Solve 0 = -g*u - k*u - r*b - 9, -3*b = -6 for u.
-3
Suppose 23 = 4*m + j, m + 3 + 1 = 3*j. Solve -5*c + z = -0 + 14, m*c = -3*z - 18 for c.
-3
Let y = 13 + -12. Solve -5*r - 10 = 0, r + 0*r - y = -3*n for n.
1
Let p = 17 + -12. Suppose -a + 4*q - 4 = 3*q, -5*a + 8 = 2*q. Let n = p - a. Solve 3*o = -0*o - 3*j - 9, j = n*o + 9 for o.
-2
Let j be (48/(-40))/(4/(-70)). Let h = -18 + j. Solve -h*d - 4 = 5*x, -x - 12 = 5*d + 2*x for d.
-3
Let y be -1*2*(3 - 5). Let u(i) be the third derivative of i**4/12 + i**3/3 - i**2. Let z be u(5). Solve -12 = -4*b + y*k, 0 = 4*b + 3*k - 3 + z for b.
0
Suppose 25 = -p + 6*p. Let z(h) = h - 5. Let d be z(p). Let k be -1 - -2 - (-6 + 1). Solve -r + v + 2 = d, -k*r + 10 = -3*r - v for r.
4
Let m be (-16)/(-3) + 57/(-9) + 6. Solve b = -m*i - 11, 20 = -4*i + 3*b - b for i.
-3
Suppose 2*a = 3*h + 12, -2*a - 5*h - 14 = 6. Let r(g) = g. Let c be r(2). Suppose c*u = b - u - 11, 0 = -2*u. Solve -5*j + b = 5*f - j, a = -f + 4*j - 17 for f.
-1
Let w(c) = c**2 + 634. Let x be w(0). Let z be x/18 + (-4)/18. Suppose -7*h = -5*a - 2*h + z, -h + 23 = 5*a. Solve -12 = a*i + 4*y, -2*i - 2 = i + 5*y for i.
-4
Let g = -4 + 7. Let p = -6 - -13. Suppose -3*d - 12 = -p*d. Solve -d*y = -g*l + 27, 0*y = 4*y - 5*l + 40 for y.
-5
Let r be 0/(2 + (-3)/3). Suppose 0*p - p + 5 = r. Solve 0 = -5*x + p*z, 5*x + z = 5*z - 2 for x.
-2
Let d(h) = h**2 + 6*h - 11. Let r be d(-8). Let i = -10 - -14. Suppose u - 2 = -4*t + 10, 4*t - u - i = 0. Solve t*j - k + 4 = 0, 14 = -2*j + k - r*k for j.
-3
Suppose 8 = 2*w, v + 2*w - 22 = 22. Let t = -227 - -231. Solve 5*x = t*y + v, -y = y - 2*x + 16 for y.
-4
Let f be 1/(4/16)*1. Suppose 0 = -f*n + 14 - 2. Solve -4 = -n*i - 2*u, -i - i = -5*u + 29 for i.
-2
Suppose 11*z - 4*z = 21. Solve b = -m - 5, -b + 6 = -z*b - m for b