 g = 85 + -83. Solve 0 = g*k - 1 - 1 for k.
1
Let d = 6 + -3. Suppose -g + d = 2. Solve -f + 2 = -g for f.
3
Suppose -2*v - 2*v = -2*b - 2, 4*v + 13 = 5*b. Solve 0 = -m + 3 - b for m.
-2
Let l be 8/48 - (-70)/12. Solve -20 = -2*r + l*r for r.
-5
Let q(y) = -9*y - 25. Let t be q(-3). Solve -4 = -6*k + t*k for k.
1
Let v = 2 + -2. Suppose -3*x - x = v. Solve -3*g + 6*g - 6 = x for g.
2
Let d = -2 - 1. Let s(n) = -n**3 - 3*n**2 - 4*n - 1. Let r be s(d). Solve w - r = -6 for w.
5
Let j = -4 + 4. Solve -3*w = -j*w for w.
0
Let v = -10 + 8. Let d(a) = a**2 + a. Let b be d(v). Solve w + 4 = b*w for w.
4
Let p = 3 - 1. Solve 4*a - p = 2 for a.
1
Let u be -3*1/(-3)*8. Suppose 3*r + k = 8 + 4, -9 = -5*r + 2*k. Solve -r*l = -l + u for l.
-4
Let k(v) = v + 2. Let j be k(8). Let r = j - 6. Solve -2*q - r - 2 = 0 for q.
-3
Let u be (4/(-6))/((-6)/45). Let m be 0*(u/(-2) - -3). Let p be (2 + -1 + -1)/1. Solve m*g + g - 5 = p for g.
5
Suppose 0*s + 10*s = -2*s. Solve s = -0*k + k for k.
0
Let q(r) = r**3 - 6*r**2 - 8*r - 2. Let v be q(6). Let l be 5/(v/(-4))*25. Solve -4*d - d - l = 0 for d.
-2
Suppose 3 - 1 = s. Suppose 3*p = 2*p + s. Solve -4 = p*o - o for o.
-4
Let f be (2 - 12)*(-4)/5. Let v be 34/f - (-2)/(-8). Solve 3*s - 2*s = -v for s.
-4
Let i(f) = -f**3. Let g be i(0). Let b = 0 - g. Let u = 2 + 4. Solve -x - 2*x + u = b for x.
2
Let i = -59 + 64. Solve 0 = -0*r + 5*r - i for r.
1
Let r(d) = d**3 - 13*d**2 + 10*d + 26. Let w be r(12). Suppose v - 4*c - 6 = 0, -3*v + 10 = -8*c + 4*c. Solve z + v = w*z for z.
2
Let m be (-3)/(-3)*(1 - 1). Suppose -b + 4*b = m. Solve n - 3*n = b for n.
0
Let r be (-6)/(-27) - (-25)/9. Solve -r*w - 2 + 5 = 0 for w.
1
Let c be 0/((-3)/(3/(-2))). Suppose 4*q - 24 = -4*o, q - 5*o = -o - 4. Suppose -15 = -2*f - 5. Solve c = p + q*p - f for p.
1
Let f be (-4)/6 + 44/12. Let s be -3*(f + 8/(-2)). Solve 0 = 4*d - s - 5 for d.
2
Let m be 2/(-6) + 52/12. Suppose l = -m*l + 80. Let n = 9 - 6. Solve -n*h - h - l = 0 for h.
-4
Let z(y) = 3*y**3 - y**2 + 3*y - 1. Let t be z(1). Let n = 6 - 1. Solve -n = t*f - 13 for f.
2
Let l = -5 + 3. Let w(n) be the second derivative of n**4/12 - n**3/6 - n. Let j be w(l). Solve -y - 1 = -j for y.
5
Let y(v) = v**3 - 17*v**2 - 19*v + 21. Let g be y(18). Solve 0 = 5*l - 4*l + g for l.
-3
Suppose 0 = 3*j + 4 + 5, -2*j - 4 = h. Suppose -2*r = h + 2, -26 = -4*x + 3*r. Solve x + 0 = -5*a for a.
-1
Let n = 14 - 10. Suppose 0 = n*m - 2 - 2. Solve 2*l - 9 = -m for l.
4
Suppose 2*q = 4*q - 8. Suppose u + q*u = y + 25, u - 4*y - 24 = 0. Solve 0 = -2*j + 2 + u for j.
3
Let u(i) be the second derivative of i**5/20 - 5*i**4/12 - 5*i**3/6 - 2*i**2 - 3*i. Let m be u(6). Suppose -4*k + 4 = -m*k. Solve 0*w = 2*w - k for w.
1
Let v = 1 + 2. Solve 0*f + v = f for f.
3
Suppose 2*k + 12 = 3*k. Solve r + k = -3*r for r.
-3
Let b(u) = 2*u + 16. Let l be b(-8). Solve 0*p - 2*p + 10 = l for p.
5
Let o(g) = -g**3 + 4*g**2 + 6*g - 5. Let y be o(5). Let z be 16/4 + -3 + y. Solve -m + z - 2 = 0 for m.
-1
Suppose -4*x = 4*q - 40, -23 = -5*q + 3*x + 3. Suppose -2*t + 17 + q = 0. Solve -j = -5*j - t for j.
-3
Suppose -5*p + 22 = -p - o, -18 = -2*p + 4*o. Suppose 29 + 6 = p*a. Solve 3*j + 20 = a*j for j.
5
Suppose 4*a = 2*a + 3*o, -4*a = 4*o - 40. Solve -a = -3*v + 9 for v.
5
Suppose -4*p + 0*p + 4*z - 24 = 0, -p = z - 4. Let h(v) = -7*v - 1. Let x be h(p). Solve x = 4*b - b for b.
2
Suppose 3 - 19 = -4*b, 20 = 2*t + 4*b. Let q(i) = i**2 - 5*i + 4. Let z be q(5). Let h = -6 + 10. Solve -t*o - z = -h*o for o.
2
Suppose -h = -2*a + 48 - 10, 0 = -4*a - h + 82. Solve o + 4*o = a for o.
4
Let h(i) = 2*i - 9*i - 13 - 2*i**2 + 3*i**2. Let t be h(9). Solve 1 = t*c + 21 for c.
-4
Suppose 0 = -0*p + 5*p - 50. Solve 6*a + p = a for a.
-2
Let z be (1 - 1)/((-6)/3). Let o(f) = 9*f**3 - f**2 - 4*f. Let l be o(2). Suppose 4*g + l = 8*g. Solve 2*a + a + g = z for a.
-5
Let u = -34 + 34. Solve 0 = -3*r - u - 6 for r.
-2
Let k(c) = -c + 0*c + 4*c - 4 - 2*c. Let p be k(4). Suppose -20 = -5*f - p*f. Solve -9 - 11 = f*o for o.
-5
Suppose 3*t = 5*h - 21, -8 - 1 = -4*h + 5*t. Suppose -b + h = 4. Solve 2*l = l - b for l.
-2
Let s(x) = -x - 3. Let m(l) = l**2 - 5*l + 2. Let j be m(5). Let p = -5 + j. Let q be s(p). Solve q = u - 5*u + 20 for u.
5
Let p(i) = -i**3 + i**2 + 3*i + 2. Let m be p(-3). Suppose -2*f = -m + 21. Solve 2 = 3*l - f for l.
2
Let f(l) = 2*l**2 + 2*l - 1. Let w be f(1). Solve w*q + 0*q + 6 = 0 for q.
-2
Let j(m) = -7*m - 3. Let y be j(-3). Solve -4*r + y = -2 for r.
5
Suppose -2*z + 34 = 8. Solve -3*v - 2 - z = 0 for v.
-5
Let t(g) = g**3 - 8*g**2 + 1. Let r be t(8). Let j be 9/(r + 2) - 1. Solve l = -j*l + 6 for l.
2
Let i(b) = -4 + 2*b**3 - 5*b**2 - 3*b**3 - 2*b - 4*b. Suppose -20 = 7*a - 2*a. Let r be i(a). Solve -t + 6 = -r*t for t.
-2
Let y(q) = q + 2. Suppose -z - 4 = -3*z - 2*a, -z - 5*a + 18 = 0. Let x be y(z). Solve x*o = o - 3 for o.
3
Let z(k) = k**3 + 3*k**2 + k + 4. Let r = -5 + 2. Let c be z(r). Solve q + c = -0 for q.
-1
Let i = 1 - -2. Solve -18 + i = -5*j for j.
3
Let v be (6 + -6)/(1 - 2). Solve -w + v*w = 0 for w.
0
Suppose 2*n - l - 11 = 0, 0*n = -5*n + 5*l + 30. Suppose n*r + 98 = 2*f - 0*f, 62 = -3*r - 2*f. Let c = -10 - r. Solve t + c = -t for t.
-5
Let u be 0 - -3 - 0 - 0. Solve -u*d + 0 = 9 for d.
-3
Let y(j) = j**3 + 8*j**2 + 4. Let q be y(-8). Let s(f) = f**2 - f - 2. Let p be s(q). Suppose 2*i - 60 = -2*i. Solve p*d = 5*d - i for d.
-3
Let w(k) = -k**2 + 7*k. Let q be w(5). Suppose u + u = q. Solve 8 = -u*b - 2 for b.
-2
Suppose 4 = 5*p - 11. Suppose 5*m = p*m. Suppose m = c - 3*c + 52. Solve -c + 6 = 5*n for n.
-4
Let d be ((-12)/10)/(32/(-240)). Solve 2*n + d = -n for n.
-3
Let g(c) = -8*c - 2*c - 10 - c**2 - 1. Let j be g(-8). Suppose 0 = j*i - 6 - 14. Solve i*s = -0 - 8 for s.
-2
Let i = 85 + -66. Solve -5*s = i - 4 for s.
-3
Let s(n) = -2*n**2 + 46*n - 44. Let d be s(22). Suppose 3*l = -5*f + 30, -l + 11 = -0*f + 2*f. Solve -u - f + 7 = d for u.
4
Let w = -41 + 26. Let c = 25 + w. Solve 4*r + c = -6 for r.
-4
Suppose 4 = 2*g - 0. Solve g*f + 0 = -2 for f.
-1
Suppose 5*n - 46 = -11. Solve 3 - n = 2*q for q.
-2
Let k(d) be the third derivative of -d**2 + 7/30*d**5 + 0*d**3 + 0 + 0*d + 1/24*d**4. Let u be k(1). Solve l = 6*l + u for l.
-3
Let p(y) = -y**3 + 10*y**2 + y - 2. Let q be p(10). Solve 3*j - q = j for j.
4
Suppose 3*h - 8 = j, -5*h + 19 = -5*j - 1. Let g(k) = -k**2 - 3*k. Let n be g(-2). Let o be 1/(-4) + (-34)/(-8). Solve -o*w + n = -h*w for w.
1
Let i(z) = -z**2 - 5*z + 1. Suppose 3*f + 20 + 12 = 5*y, f = -y. Suppose -5*b - 3*r - 24 = -2*b, -2*b + 2*r = y. Let g be i(b). Solve -2*c + g = -1 for c.
1
Let s(r) = -r**3 - 10*r**2 - 9*r + 3. Let w be s(-9). Suppose w*p = -p. Solve 0*u + u = p for u.
0
Let c be (1/(-3))/(7/(-42)). Let t = 2 + -4. Let v = c + t. Solve o = -v*o - 2 for o.
-2
Let t be (2 + -1)/((-1)/(-3)). Let k be 1/(2/t)*2. Solve -c - k*c = 0 for c.
0
Let n = -10 - -6. Let y be (-94)/n + 2/(-4). Solve 2 = -5*p - y for p.
-5
Let i be (-3)/((-1)/2*2). Solve 8 = -5*r + i for r.
-1
Let v(t) = t**3 + 6*t**2 + 3*t - 6. Let u be v(-5). Solve u*f = 12 + 4 for f.
4
Let p be 4/(-3)*(-12)/(-8). Let u be p + 1/(1/2). Solve u*z - 1 = -z for z.
1
Let q be (16/(-6))/(8/(-12)). Let r = -4 + 6. Suppose 0 = y - r - 0, 2*m = -y + 8. Solve 0 = -q*k - 11 + m for k.
-2
Let s(x) = x**3 - x**2 + x. Let w be s(0). Solve -5*o + w*o = -25 for o.
5
Let w = 13 - 11. Suppose 0*g - w*g = 0. Solve g - 2 = i for i.
-2
Let a(c) be the third derivative of -c**6/120 - 3*c**5/20 - 5*c**4/12 - 2*c**3 + 5*c**2. Let i be a(-8). Solve -r = -i - 0 for r.
4
Suppose 21*k - 19*k - 24 = 0. Solve -r + k = 2*r for r.
4
Let r be 4/10 - 69/(-15). Solve 4*w = -w + r for w.
1
Suppose -5*u + 7*u + 22 = 0. Let w(c) = -c - 9. Let g be w(u). Solve -3*m = -g*m - 5 for m.
5
Let g be (-1 + 5)/((-4)/(-10)). Let d = -1 + 5. Solve 0 = i + d*i - g for i.
2
Suppose -4*x + 25 = -3*p, -9 = -p - 2*x - x. Let y = -1 - p. Solve 0 = y*s + 3 + 1 for s.
-2
Let p be (-2 - 10) + (0 - 3). Let b = p + 6. Let x = -7 - b. Solve 0 = c + x*c + 6 for c.
-2
Let i be 16/(-10) - (-4)/(-10). Let x be 5/(1*(i - -3)). Let v = 4 + -1. Solve -v*c + x = -8*c for c.
-1
Let z be (13/(-3))/(13/(-39)). Let o = 18 - z. Solve 1 + o = 3*q for q.
2
Let p(v) = -10*v**2 + 1. 