y, -5*m + 4*y + 9 = 0 for m.
1
Suppose 0*r = -3*r. Let q = r - 0. Let x = 886 - 884. Solve j + x*j + 5*i = 17, -2*j - i + 2 = q for j.
-1
Let t(r) = 6*r**3 - r**2 + r - 1. Let w be t(1). Suppose -8 = -w*f + 2. Suppose f*v + 4 = 4*v. Solve 10 = -d + v*i, -6 = d + i - 2*i for d.
-2
Let q(c) = c**2 - 3*c - 8. Let u be q(5). Let t be (-6 - 3)*(u/(-6) + 0). Solve -2*a = 4*i - 18, -2*a + 0*a + t*i = 3 for a.
3
Let i = 29 + -45. Let u be (-3 + 1 - i)/(2 + 0). Solve a = 2*a - 3*v + u, 3*v = -4*a + 17 for a.
2
Suppose 0 = -9*j + 8*j + 2. Solve 2*t - 6*t = 4, -j*l = -2*t + 2 for l.
-2
Suppose -h + 4*n + 17 = -15, -n + 22 = h. Solve z = -4*v - 4, -3*z - 2*z + 2*v = -h for z.
4
Let p be 3 + -1 + (-23 - -26). Solve -2*a + 2*v - 6 = 0, p*a + v - 5*v + 14 = 0 for a.
-2
Let g = 38 - 39. Let k be (g/(-3))/(8/72). Solve -5*b + 6*s - 10 = s, -2*b - k*s = 14 for b.
-4
Suppose 5 = i + 2. Let t = i - -1. Solve 0*v - 2*v - 6 = -p, -t*v + p = 12 for v.
-3
Let w be (4 - 3)/((-1)/13). Let n = w + 15. Solve -5*q + 2*s = 17 + 8, -n*q = -s + 11 for q.
-3
Let r = -26 - -14. Let n be (r/(-1))/((-24)/(-16)). Suppose -n*l + 12*l = 72. Solve l = -2*x - 4*s, 3*s - 6*s = 6 for x.
-5
Let m be -4*((-210)/(-20))/(-21). Solve -2*a - u + 4 = 11, -22 = m*a - 4*u for a.
-5
Let j = 129 + -69. Suppose -3*l - j = l. Let v = 18 + l. Solve y = -v + 1, 3*c - 2 = y for c.
0
Let l(a) = -15 - 18*a - 25*a + 34*a. Let r be l(-2). Solve 2*x + 6 = 0, 5*k + r*x = 5 + 1 for k.
3
Let m be -5*((-18)/(-10) - 3). Let r = m - -4. Suppose 7*k = 2*k + 2*o - r, -k = o - 5. Solve 2*t - 6 = 4*l - k*l, 3*l = -3*t - 27 for l.
-4
Suppose 0 = 34*p - 88 - 48. Let n be -1*(4 - (2 - -6)). Solve 16 = n*l + 5*u, 4*u + 5 + 11 = p*l for l.
4
Suppose 7*i - 92 = 3*i. Suppose -6 = 3*j + 6, 3*h = 2*j + i. Solve -h*u + u = -v - 5, 0 = 3*u - 5*v - 25 for u.
0
Suppose 30 = -5*p + 3*p. Let x be ((-2)/1)/(6/p). Let k(s) = -5*s**2 - 22*s - 19. Let j be k(-3). Solve -x*l + 2*c = -6, -j*c = 2*l + c - 10 for l.
2
Let y(f) = -f**3 + 4*f**2 + 5*f + 4. Let n be y(5). Let r be (-18)/8*(-1)/3*n. Solve 2*o - 4*q + r = 11, 5*o = 4*q + 20 for o.
4
Let x(y) = 2*y + 17. Let t be x(-7). Suppose 3*w + t*w = 12. Solve q = -w*p - 8, 8 = 2*q - 5*p + 3*p for q.
0
Suppose j + 4 = 5*j. Let g(n) = -j - 3*n + 7*n - 3*n - 1. Let o be g(2). Solve o = 4*l - 3*m + 14, 2*l = -0*l - 4*m + 4 for l.
-2
Suppose -5*p - 2*h + 53 = 0, p - 5 = 2*h + 8. Solve 24 = 5*q - 3*z + 7, 0 = -q - 3*z - p for q.
1
Suppose 0*g = -4*g. Suppose g = 4*z - 24 - 0. Let x(u) = u - 1. Let c be x(z). Solve -a - k = -c*a - 3, -3*a = -5*k - 19 for a.
-2
Let j be 1/(-2) + (-117)/18. Let k(c) = c**2 + 9*c + 17. Let o be k(j). Let x = -3 + 5. Solve -5*t - 6 = x*i, -3*i = o*t - 4*t - 8 for i.
2
Suppose 0 = -17*p + 32*p - 30. Solve t - 5*t = p*a + 26, 4*t - 9 = 5*a for t.
-4
Let q = -2171 - -2189. Suppose 0 = 3*u - 3 - 12. Let k be (3/2)/((-2)/(-20)). Solve d - q = -4*m - 0*m, -k = -5*m - u*d for m.
5
Suppose -4*i = -4*p - 4, 4*p + p = 5. Let d(q) = 9*q - 124. Let v be d(14). Solve 19 = v*z + 3*c, 4*z - c - 13 = -i*c for z.
2
Let n(z) = 6*z - 3. Let l be n(4). Let d = -8 - -13. Let b = l - d. Solve 4*u = 5*a + 41, -2*u + 6*u = b for a.
-5
Suppose -30*p + 34*p = 8. Solve 4 = -4*r + 4*k, 3*r - 2*k - 2 = p*r for r.
-4
Suppose 59 = 10*u - 21. Suppose 0 = 2*k + 2*k + 3*a - 18, 2*a + 4 = 0. Solve -4*y - u = -3*t, 0 = 4*y - k*t + t for y.
-5
Let x = -74 - -92. Suppose 0 = -26*l + x*l. Solve 2*t + 3*b - 7 = 6*t, l = -3*t + 2*b - 6 for t.
-4
Let k = -6 - -85. Let s = k - 77. Solve 0*o + 3*d + 8 = 4*o, 0 = -s*o + d + 2 for o.
-1
Let k(j) be the second derivative of j**4/12 + 3*j**3/2 + 6*j. Let r be k(-7). Let y be r/(-4)*(-8)/(-14). Solve -3*h - 2*b - 20 = -4*b, y*h + 24 = 4*b for h.
-4
Suppose 5*k + 113 = f, f + 4*k = -2*f + 263. Let h = 97 - f. Solve -o + 5*j + 6 = -h*o, -4*j = -3*o - 6 for o.
-2
Suppose 9*b - 92 = 106. Suppose -b = -2*z - i - i, 3*i - 18 = -2*z. Solve 3*x + x - 4*l - 20 = 0, -4*x + 3*l + z = 0 for x.
0
Suppose -m - 9 = -5*a + 1, -4*m = -4*a - 8. Solve -m*z + 25 = -k, 6*z - 2*z + 2*k - 20 = 0 for z.
5
Let w(u) = 2*u - 32 - 4*u - 4 + 6. Let x be w(-16). Solve -15 = -x*z + 4*z + 3*o, -z - 2*o = 10 for z.
0
Let g be ((-19)/38)/((-1)/2). Solve 5*f + g = 4*r - 0*r, 3*f + 3 = 3*r for f.
3
Let g(o) = -11*o**2 - 10*o**2 + 7 - 7*o + 22*o**2. Let q be g(5). Let l be (3/q)/((-3)/15). Solve 5*v = 3*j + l, 5 = j - 0 for v.
4
Let s(n) = -n + 12 - n - 2*n + 3*n. Let x be s(5). Solve 3*p = x*p - c - 6, 5*p + 3 = -4*c for p.
1
Let t(u) = u**2 - 6*u + 1. Let j be t(5). Let d be (2/(-1) + 5)*(j + 5). Solve -v + d*x = -0*v + 3, -5*v - 5*x = -5 for v.
0
Let g be (6/24)/((-6)/(-72)). Solve j - 5*c + 24 = 0, g*j = -2*c + 1 + 12 for j.
1
Suppose -3 = -3*d + 6. Let n be ((-40)/4)/(d/6 - 1). Suppose 4*o = o + 57. Solve -4*a + o = 3*i, 0*i - 5*a - n = -5*i for i.
5
Let n = 38 + -97. Let a = n + 64. Solve 0 = -3*p - 3*v + 15, a*p + 0*p = -2*v + 25 for p.
5
Let p(a) = -2*a**2 - 6*a - 3. Let t be p(-3). Let n be 4/t*(-105)/20. Solve -5*c = -3*l - n - 8, 4*c = -2*l - 10 for c.
0
Let i = 0 - -6. Let c = -6 + 8. Suppose c*d = n + 6, -4*d + 3*n + 8 = -0*d. Solve d*v = -4*u + 8, -i = 3*u - u for v.
4
Suppose -6*p + 4*p = -4. Let y(u) = u**2 + 5*u + 5. Let d be y(-5). Suppose 5 = 8*a + d. Solve 5*i + a*i = -3*o + 16, 5*o - p = 4*i for o.
2
Suppose g - 3*q = 8, 0*q = -g - 4*q + 1. Suppose -g*k = -6*k + 2. Suppose 5*y = 3*i + 13, -6*y + 3*y = 2*i - 23. Solve 3*t = t + k*b, -3*b - 5 = -i*t for t.
5
Let q(b) = 53*b - 419. Let k be q(8). Suppose 3*t = -c + 20, -4*t + 2*c = -0*c - 10. Solve -2*x + 2 = -0*h - 4*h, -t*h = -k*x for h.
-1
Suppose 0 = -a - a. Let o(k) = 3*k + 4. Let i = -22 + 22. Let l be o(i). Solve -10 = -5*q + l*v - a*v, 3*v + 17 = -q for q.
-2
Suppose -7*l + 16 = l. Solve 0 = -p - 5*c - 6, -2*p - 4*c - l = c for p.
4
Let u = -19 - -15. Let x be (2/u + 0)*(-7 - -3). Solve x = z - m - 2, 4*m = -3*z + 12 for z.
4
Suppose 19*z - 56 = 17*z. Let p = 48 - z. Suppose 5*n = -x + p, 0 = -x - 0*n + n + 2. Solve h = x*t - 29, 3*t = 4*h - 0*h + 31 for h.
-4
Suppose -6*s = -7*s + 10. Suppose -4*z = -2*p + s, -4*p + 15*z = 12*z - 15. Solve 2*u + p + 8 = -3*y, -5*u + 2*y + 20 = 0 for u.
2
Suppose -639*y - 2 = -640*y. Suppose 0*h = h - 2. Suppose -4*p - 7 = -3*k - 39, 4*p - h*k - 28 = 0. Solve r + 0*r + p*a = 10, 4*a - 22 = y*r for r.
-5
Let g be 2*-2*26/(-4). Solve h = -y + 2*y - 6, 3*h = 5*y - g for h.
-2
Let w(f) = -f**2 + 35*f + 888. Let x be w(-17). Solve -4*p + 1 = -a, -x*a - 3 = 2*p + 19 for a.
-5
Let r(l) = l**2 + 16*l + 4. Let k be r(-16). Suppose -k*c = -c - 57. Solve t + 0*t + 7 = -v, t + 4*v = -c for t.
-3
Let m = -288 + 293. Solve -2*z = x - 1 + 14, 3*x - 5*z = m for x.
-5
Let o(q) = -q**3 + 5*q**2 - 2*q - 3. Let j be o(4). Let u be j + -4 - -4 - 3. Solve 0 = 5*x - g + 28, -x - u*g + 1 = -0*g for x.
-5
Suppose -7*u + 861 = 126. Suppose -5 = 4*m - u. Solve 0 = -5*n - i - 20, -i = n - 5*n - m for n.
-5
Suppose 2*p + 8 = 2*r, -7*r - p - 4 = -11*r. Suppose 3*c - 5 = -4*t - 0, 3*t + 5*c = 1. Solve 6 = -t*m + v, r*v - 4 = 2*v for m.
-4
Let t = 0 - -5. Suppose -4*i + t = -3*i. Solve 0 = 5*p - 4*l - 10, -4*p = -5*l - 12 - i for p.
-2
Let d = 102 + -65. Let s = d - 33. Solve -2*r + 2*y - 10 = 6*y, -25 = 5*r - s*y for r.
-5
Let d = 955 + -952. Solve 3*h + 14 = z, -9 = h - d*z + 9 for h.
-3
Let m be (48/(-1))/(6 - 7). Let x be (2 - m/20)*10/(-2). Solve 11 = -2*o + 3*s - 14, -x*o - 2*s = 0 for o.
-5
Suppose 0 = -i - o - 3, 17 = 3*i - 4*o + 5. Let y = i + 5. Let b = 1 + y. Solve r = -5*g - 3 - 0, 3*g + b = -2*r for r.
-3
Let a be 1 + -10*(-3)/((-60)/(-8)). Solve 5*u - a*s - 1 = 14, 3 = u + s for u.
3
Let m(k) = -k**3 - 11*k**2 - 11*k - 8. Suppose -5*c = 0, 2*c + 30 = -3*b + c. Let s be m(b). Let v = s - 0. Solve -v*z = -5*q + z - 19, 4*z - 4 = -4*q for q.
-2
Suppose 21 = 2*v + v. Let f(c) = -c + 12. Let l be f(v). Suppose -6 = 5*m - 71. Solve 0 = -l*x - g - m, -3 = -2*x + 4*g + 5 for x.
-2
Let z(a) = -a**3 - 66*a**2 - 413*a + 22. Let h be z(-59). Solve -h = -5*y - q, -11*y + 4*q = -16*y + 13 for y.
5
Let w(d) = -d**2 + 4*d + 2. Let l be w(4). Let s = 114 + -107. Solve -o = 4*n, n + s = -l*o - 0*n for o.
-4
Let i be (133/57)/((-1)/(-15)). Let g = i + -26. Solve -4*k + 3*v - g = 0, 3*k = -0*k + 4*v - 5 for k.
-3
Let n(o) 