Suppose -v = -k - s. Solve -2 = -v*c + 3 for c.
1
Suppose -4*x - 1 = 7. Let l be -1*9/(-1 + x). Suppose -l*a - 3 = -12. Solve a = -m - 0 for m.
-3
Let t be (-1 + (-2)/(-4))*0. Let u be (-3)/(45/12)*5. Let l be (-6 + 7)/((-1)/u). Solve t*m + l = -m for m.
-4
Let w = 8 - 5. Suppose 6 = 2*z - v, 0*v = w*v - 12. Solve 12 = z*b - b for b.
3
Let t = 15 + -10. Solve -4*h + t = -5*h for h.
-5
Let m be (2/6)/((-2)/(-30)). Let n be (3 + -1)/((-4)/50). Let h be 47/5 + 10/n. Solve -h = -m*t + 2*t for t.
3
Let l = 13 - 10. Solve -w = -2 - l for w.
5
Let b = -6 + 11. Suppose 0*r - b*r + 5 = 0. Let t be (-1 - 4)*-1 - r. Solve -o + t = o for o.
2
Let n be 10/(-5)*(-3 + 2). Solve n*o = -o for o.
0
Let k(t) = 4*t**2 - 3*t**3 + 2*t**3 + 9 - 10*t**2 + 7*t. Let i be k(-7). Let b be 2/(-1 + i/7). Solve -3*n + b = -2 for n.
3
Suppose s - 2*w + 4 = 0, -4*w + 16 = s - 2*w. Solve 9 + s = 3*i for i.
5
Let l(j) = -j + 11. Suppose 0 = 2*r - 21 + 5. Let a be l(r). Solve -a*p = -6 + 21 for p.
-5
Let n be (1 - 0) + (-40)/(-10). Solve -1 = n*d - 6 for d.
1
Let o(j) = j**2 - 3*j + 4. Let q = -5 + 7. Suppose q + 7 = 3*g. Let i be o(g). Solve 0*c - 16 = i*c for c.
-4
Suppose -k = -c + 2*c + 1, 4*c + 22 = 5*k. Solve -k*z - z = -12 for z.
4
Let b(f) = f**3 + 11*f**2 + 9*f - 6. Let o be b(-10). Solve o*m - m = -9 for m.
-3
Let q(n) = -n**3 + 4*n**2 - 4*n + 3. Let v be q(3). Suppose 2 = x, 2*l - 2*x - x = v. Solve 4 + 8 = l*b for b.
4
Let z(r) = r**3 + 11*r**2 + 12*r + 14. Let c be z(-10). Let s be (-3)/c*2*4. Suppose -4*t = q - 8, -t = -s*q - 6*t + 65. Solve -q = -4*d - 0 for d.
5
Let s = -65 - -111. Suppose 4*w - 5*i = 47 + 48, 2*i + s = 2*w. Solve -6*b - w = -b for b.
-4
Let o(q) = q + 8. Let t be o(-10). Let v be -1 - (1*-4 - t). Solve -3*d - v = -4 for d.
1
Suppose -193 = 3*d - i, -d + 3*i = d + 117. Let z = -46 - d. Solve 0 = 3*l - 8*l + z for l.
4
Let w(z) = -z**2 + 7*z - 4. Let k be w(6). Solve -3*v = -v - k for v.
1
Let u(v) be the third derivative of v**6/120 - v**5/20 + v**4/8 - 2*v**3/3 - 2*v**2. Let g be u(3). Solve 2*i = g*i for i.
0
Let g = 8 - 5. Suppose g*b + 1 = -8. Let j(t) = -t - 1. Let v be j(b). Solve -v*f + 4 = 2 for f.
1
Let y = 11 + -43. Let p be (-6)/18 - y/6. Suppose p*v - 8 = v. Solve -v = -2*g + 2 for g.
2
Let h = 54 - 51. Solve -22 = -h*q - 7 for q.
5
Let x be (5 - 2)/(-9)*-21. Solve -13 = 5*r + x for r.
-4
Suppose 2*f + 5*i - 12 = 0, -5*i + 9*i = -4*f + 36. Solve 3*a - 2 = -f for a.
-3
Let d = 36 - 20. Let y be ((-3)/6)/((-4)/d). Solve 2*h - 8 = y for h.
5
Let t be 98/6 + 2/(-6). Suppose 2*r - 5*l + 5 + t = 0, -6 = 2*r - 2*l. Suppose -3 = -4*p - 5*a, -a + 9 = r*p - 6*a. Solve -p = -2*h + 4 for h.
3
Let l(y) = -y**2 - 3*y. Let x be l(-4). Let i be 12/x - (-1 + -4). Let b(p) = p**3 + 10*p**2 - p - 7. Let o be b(-10). Solve i*w - 1 = o for w.
2
Suppose -3*l = -l - 46. Suppose 0 = 3*u - 4 - l. Solve u = 4*o + 25 for o.
-4
Let r = -97 + 97. Solve 5*y + r = -5 for y.
-1
Suppose -3*j = 3 - 9. Solve -y - j + 0 = 0 for y.
-2
Let a(w) = 0*w + w - 5 + 14. Let r be a(-7). Suppose -j - i = -4, -3*i + 2 = -1. Solve 0 = r*s - j*s for s.
0
Let s = -35 - -55. Suppose 4*p + s = -0*p. Let l = 8 + p. Solve l*q = -2*q - 10 for q.
-2
Let d(u) = 15*u + 2*u**2 + 13 + 5*u**2 - u**3 - 16*u. Let p be d(7). Solve f = -f + p for f.
3
Let n(u) = -u**2 - 13*u + 10. Let f be n(-13). Suppose 2*x = -2 + f. Solve -15 = -x*q + q for q.
5
Suppose 11*z = 15*z - 12. Suppose -z*d = -0*d. Solve d = -n - 1 - 3 for n.
-4
Let h(m) = 4*m**2 + m - 4. Let d be h(2). Solve 1 = -5*w - d for w.
-3
Let d = -11 - -13. Solve 0 = -d*u + 3*u for u.
0
Suppose 2*h + 3*h = -2*t + 20, -5*t = -2*h + 37. Solve 0 = -h*g + 4*g + 8 for g.
4
Let c be (-4 + 3)/(1/(1 + -3)). Solve 0*t = c*t for t.
0
Suppose -i + 0*i + 6 = 0. Suppose -2 = 4*p - i*p. Solve -2 = -f + p for f.
3
Suppose -5*l + 2*j + 25 = 0, 2*l + 0*l - 1 = -j. Suppose 4*x - 4*s - 24 = 0, -l*x - s = s - 3. Solve x*b = -b for b.
0
Let n(t) = 38*t - 1. Let a be n(1). Let o = -1 - -16. Suppose 4*u + o + a = 4*h, -h + 7 = u. Solve 0 = 2*q + 3*q + h for q.
-2
Let j be (-12)/(-18)*(0 - -3). Let q(u) = -u**2 - 9*u - 5. Let k be q(-4). Let r = k + -10. Solve -j = r*p - 27 for p.
5
Let x(a) = a**3 + 4*a**2. Let i be x(-4). Let c = i - -5. Suppose -c*l = 0, -3*d + 23 = 2*l - 1. Solve -5*b + d = -2 for b.
2
Suppose -2*i = i. Suppose h = -m + 11 - 1, i = 3*m + 5*h - 38. Solve -k = -m*k for k.
0
Let o be 4 + 0*1/3. Suppose -z + 2*z + 11 = 3*n, -n + 17 = -3*z. Solve -3*f + o = -n*f for f.
4
Let w(u) = -u**3 - 4*u**2 + u + 5. Let t be w(-5). Solve 0 = -d + 6*d + t for d.
-5
Let f = 0 - -2. Let o = 5 - f. Solve g - o = -2*g for g.
1
Let u be (0 - -5 - -1) + -1. Let t(g) be the first derivative of g**4/4 - 5*g**3/3 + 2*g + 3. Let w be t(u). Solve 2 = -w*l + 10 for l.
4
Let o(w) = -w**2 + 2*w - 1. Let m = -11 - -12. Let z be o(m). Solve 2*u + 2 = -z for u.
-1
Let g(q) = -q**3 + q**2 + 2*q + 2. Let m be g(-2). Suppose -2*r - l - 1 = 0, 0 = -2*r + 2*l + m + 4. Solve r = 4*z - 10 for z.
3
Suppose 0 = 4*z - z. Suppose -4*a + 7*a = 3*m - 15, -3*m = -4*a - 17. Let y be a/(-2)*(0 + z). Solve 4*o - 16 = -y for o.
4
Suppose 4*n - 16 = -5*l, -5*n - 4*l - 13 = -33. Solve -3*r - n = -4*r for r.
4
Let l = -17 - -11. Let f = 11 + l. Let r = 1 + -1. Solve r = -f*m + m for m.
0
Suppose g + 19 = -4*b, -2*b - 11 = -4*g + 3. Let y be ((-2)/g - -3) + -1. Suppose -4 = -y*d - d. Solve 0 = -d*u + u - 3 for u.
-1
Let f be 1*((-2)/(-1) + 1). Let z(l) = -2*l - 5. Let t be z(-8). Suppose 0 = 2*u - a - 7, a = -4*u - 0 + t. Solve 0*h = -u*h - f for h.
-1
Let g(z) = z**3 + 9*z**2 - 3. Let n be g(-9). Let s(v) = 3*v + 3. Let f(o) = 7*o + 6. Let u(w) = -2*f(w) + 5*s(w). Let l be u(n). Solve p + 3 - 2 = l for p.
-1
Suppose 2*x + 190 = 5*u + x, 3*x = 4*u - 152. Let v = u + -27. Let s be 2/(-11) - (-24)/v. Solve s*k + 8 = -2*k for k.
-2
Suppose 0 = 3*q - 5*k - 15, 2*q - 5 = q + 2*k. Suppose 0*d = -q*d + 30. Let h = d - 3. Solve h = -5*u - 7 for u.
-2
Let s = -1 + 3. Suppose 0 = 4*h - s*h - 4. Solve -5*n - 12 = -h*n for n.
-4
Let p be (-1)/(-1 + (-44)/(-48)). Let j be 40/p - (-1)/(-3). Solve -15 + 6 = -j*b for b.
3
Let l(s) = -s**3 - 3*s**2 - 4*s - 1. Let p be l(-3). Suppose 5*o = -0*o + 5. Suppose 3*i = p + o. Solve i - 1 = -3*t for t.
-1
Suppose -2*o + 5*l + 5 = 0, o - 3*l = -5*l - 2. Suppose o = z - 4*z. Solve -3*d + 8*d = z for d.
0
Let t = 48 - 28. Suppose -5*z - 4*l + 8 = 0, -3*l - 5 = 4. Solve u = -z*u - t for u.
-4
Let s(h) = h**3 - 7*h**2 + 8*h - 9. Let y be s(6). Suppose -2*x + 20 = y*x + 3*f, -4*f + 20 = 5*x. Solve -x + 0 = i for i.
-4
Suppose 7*l = 3*l + l. Solve l*t = -t for t.
0
Suppose -2*r + 12 + 14 = 0. Suppose r = 4*h + 1. Solve h*c = c - 10 for c.
-5
Let l(f) = -2 - f + 2*f + 7*f**2 - f**2 - f**3. Let y be l(6). Let v be 204/21 - y/(-14). Solve 3*m = 1 - v for m.
-3
Let h be ((-1 - 0) + 4)*2. Let g(s) = -6*s - 2. Let u be g(-1). Solve -h*j + 10 = -u*j for j.
5
Let k = -7 + 9. Let b be (-2 - k)*1/2. Let i = 7 + b. Solve -5 - i = -5*x for x.
2
Let a(x) = x. Let u(f) = 2*f**2 - 4*f + 3. Let z be u(2). Let b be a(z). Suppose 0 = -4*t + 2*s + 58, -55 = -2*t - 2*t + 3*s. Solve -b*r - 1 = -t for r.
5
Let i = -8 + 15. Suppose i*v - 2*v - 2*x = 18, 3*v - 5*x = 26. Solve -v*r + r - 4 = 0 for r.
-4
Let s be 2/6*(-1 + 1). Solve 5*j = -s*j + 25 for j.
5
Let s(m) = m**2 + 5*m - 10. Let u be 1/((-1)/(7 + 0)). Let g be s(u). Solve 0 = -4*f + g + 4 for f.
2
Let l = -23 + 33. Suppose 3*i = 4*i - 2*s + 23, 2*i + 42 = 3*s. Let n be (-72)/i + 2/l. Solve 22 = n*w - 3 for w.
5
Let h be ((-8)/14)/(2/(-7)). Let t be h/(-6) + (-38)/(-6). Solve -t = c - 4*c for c.
2
Let x = 6 - 4. Suppose 0 = 2*c + x*j + 2, -3*j - 4 = 2*c + 1. Solve -3 + 1 = c*b for b.
-1
Let b = 8 + -6. Solve 4*f = -b - 6 for f.
-2
Let y be 33/9 - (-1)/3. Solve -y*u - 7 = 1 for u.
-2
Let q(v) = 3*v - 3 + 0*v + 2. Let h be q(3). Suppose 3*f + 6 = -3*o, -28 + 26 = -4*f - 2*o. Solve -f*k + 5*k + h = 0 for k.
-4
Let z be -2*(-1 - 0/(-1)). Suppose -z*t + 11 - 5 = 0. Let f(c) = c + 1. Let n be f(4). Solve -2*q = t*q + n for q.
-1
Let h(i) = -2*i**3 - 4*i**2 - 2*i - 2. Let j be h(-3). Let m be ((-2 - 0) + 3)*4. Suppose -v + m*u + j = -0*v, -v - 14 = 5*u. Solve -o = 2*o - v for o.
2
Let u be ((-8)/(-6))/((-2)/(-3)). Suppose -4*z + 21 = -u*z + w, -2*z +