 = -4 + 7. Let g be (-23)/(-6) - 1/(-6). Suppose 3*r - 46 = 5*c, -r + 4*c - g = -2*r. Solve -k = x*k - r for k.
3
Suppose 5*o - 4*k - 54 = 0, 4*o - 2*k - 31 = 11. Suppose 4*g + o + 30 = 0. Let n = 16 + g. Solve 0 = -i + n*i for i.
0
Let h(m) = m + 14. Let z be h(-11). Suppose 0*t + 2*o = -t + 9, 5*t - z*o = 6. Let k = 6 - t. Solve -2*r + k*r + 2 = 0 for r.
-2
Suppose t - 4 = 0, 6*t - 14 = 2*m + t. Solve m*u = -u for u.
0
Suppose -17*g + 19*g - 2 = 0. Solve -2*j - 3 = -g for j.
-1
Let j = -16 + 26. Suppose j = 5*y - 3*l, -2*y - y - 2*l = -25. Suppose -3*x = -y*x. Solve 3*s = -x*s - 6 for s.
-2
Let k(s) = -s**2 + 5*s + 5. Let b be k(5). Suppose b*q - 34 = -14. Solve -15 = q*w - 3 for w.
-3
Let p = -2 + 5. Let r be (9/5)/((-6)/(-20)). Solve p*v - r = 6 for v.
4
Let v(p) be the first derivative of -p**2 - 10*p + 8. Let d be v(-9). Solve 0*w = 2*w + d for w.
-4
Suppose 0 - 2 = -2*j + i, 0 = -4*j - i + 10. Solve 2*x = j + 4 for x.
3
Let j = 4 - 1. Suppose -j*k = -3*s, 2*s + 2*s = -2*k + 18. Suppose 3*f + s - 6 = 0. Solve -y + f + 1 = 0 for y.
2
Let d be 1*(7 - -2) - 2. Suppose 7*a + 13 = 3*g + 3*a, a = 2*g - d. Solve 0 - g = -l for l.
3
Suppose -2*b = 3*f - 3 - 1, -b - f + 2 = 0. Let r = 33 + -15. Let p = r + -10. Solve -2*u + p = b*u for u.
2
Let w be 8/(-6) - 4/(-3). Solve w = -5*g + 26 - 6 for g.
4
Let b be 14 + -6 - 2*2. Solve 3*f + b = 2*f for f.
-4
Let y = 15 + -15. Solve y = t - 5*t - 20 for t.
-5
Let t(u) = u**3 - 6*u**2 - 7*u + 2. Let d be t(7). Solve d = -a + 2*a for a.
2
Let p be 14/4 - 1/2. Suppose -h - p*h = -12. Suppose 0 = -4*q + 3*q. Solve -2*d - h*d - 10 = q for d.
-2
Suppose -4*c + 2*c = -6. Solve 4*n = 13 + c for n.
4
Let x(k) = -k - 12. Let c be x(-13). Solve c - 11 = -2*g for g.
5
Let a = 46 - 43. Solve -2*g + a = 11 for g.
-4
Let z = 11 - 4. Let y be 16 + (2/7 - 99/77). Solve 0 = -2*k + y - z for k.
4
Suppose 4*h + 23 = -3*v - 45, 3*v + 88 = -5*h. Let q be (-3)/2*h/6. Solve -q*r = -2*r - 9 for r.
3
Let y = -14 + 17. Let h be (-2 + y)*(-1 - -1). Solve 6 = -3*u - h*u for u.
-2
Suppose 3*o + 0 = 18. Solve -m + o*m = -15 for m.
-3
Suppose 45 = 5*r - 0*r. Suppose 7*m - r = 4*m. Solve 2 = -n + m for n.
1
Suppose -2*q + 0*q = 0. Suppose a = v + 1, q + 12 = 4*a + 4*v. Let c(x) = -x**2 + 7*x - 5. Let u be c(4). Solve 3 = -a*t + u for t.
2
Suppose 3*b + b + h - 4 = 0, 14 = -3*b - 5*h. Solve -3 = -3*a + b*a for a.
3
Let q(h) = h + 1. Let v(i) = -2*i + 7. Let d(a) = -4*q(a) - v(a). Suppose 2*r - 3*b + 21 + 7 = 0, r - b = -12. Let s be d(r). Solve -s*f - 16 = -1 for f.
-3
Let q(i) = -i**3 + i**2 - i - 2. Let a be q(0). Let n be a/1 + 5 - -2. Solve -k + n = -2*k for k.
-5
Suppose 0 = -a + 2*a. Let y = -65 - -70. Solve f + 0 - y = a for f.
5
Suppose 3*n = 2*n + 4. Suppose -f + 2*a = -12 + 2, 8 = 2*f - a. Solve 0 = f*p - p + n for p.
-4
Let d(h) = -2*h**3 + h**2 + 2*h**3 + h**3. Let i be d(0). Let p = i - -4. Solve -1 = a - p for a.
3
Suppose 2*w - 4*w = 0. Let p be 6/12*(0 + 0). Let n(q) = -q + 4. Let m be n(p). Solve -m*g + 0*g = w for g.
0
Let y be (24/20)/(6/40). Let q be 4 - 1 - (9 - y). Solve 4*x = q*x for x.
0
Let a = -51 + 55. Solve 0*j = -a*j + 20 for j.
5
Let j = 0 + 0. Let b(d) be the first derivative of -d**3/3 + 9*d**2/2 + 6*d + 9. Let y be b(9). Solve -y*g + g - 25 = j for g.
-5
Let f = 12 + -1. Let d(o) = 8*o + 1. Let r be d(-1). Let x = f + r. Solve 3 = b - x*b for b.
-1
Suppose -5*v - h = -2, v + 2*h = -2 + 6. Solve v = 4*u - u for u.
0
Suppose -o - 4 = -5*q, -2*o - 1 = -5*q + 2. Let t = o + 3. Suppose -y + 2*m = -0 - 4, -y = -m - t. Solve -4*a = -y + 24 for a.
-5
Let r(c) = 3*c - 29. Let z be r(11). Solve -2*t = -z*t - 6 for t.
-3
Suppose -5*f + 6 = 2*m, -4*m - f = -0*m + 6. Let z be -2*((-7 - m) + 1). Let c be (z/10)/(4/20). Solve 2 = c*j + 22 for j.
-5
Let i(n) be the third derivative of -n**6/120 - n**5/10 - n**4/24 - n**3/2 + n**2. Suppose 7*t + 54 = -2*t. Let r be i(t). Solve g = r*g - 10 for g.
5
Let t = -8 + 13. Suppose 10 = -0*z + t*z. Solve 0 = z*c - c - 1 for c.
1
Suppose -6*p - 11 + 29 = 0. Solve 0 = -p*o + 2*o for o.
0
Let q = 0 - -1. Suppose 4 = r - k, 3*k = -3*r - k - 16. Solve r = p + q + 3 for p.
-4
Let k = 20 - 20. Suppose -w - 3*w - 4*s + 32 = k, 0 = -5*w + s + 46. Solve 3*f + 3 = w for f.
2
Let j(n) = n**3 + 7*n**2 - n - 5. Let i be j(-7). Solve 20 = i*t + 2*t for t.
5
Let m = 653 + -653. Let g be (1/(-2))/(2/(-16)). Solve g*v - 3 - 1 = m for v.
1
Let k be 4*(1 + 0 - -1). Solve 24 = -4*i + k for i.
-4
Suppose -h = -2*h + 9. Suppose h + 3 = 3*g. Let v be (-8)/12*(-126)/g. Solve v - 5 = 4*r for r.
4
Suppose 5*d + 7 = 17. Suppose n + n - 12 = 0. Let i = n - d. Solve 2*w = i*w for w.
0
Let z = -4 - -6. Let t(w) = 3*w**2 - w - 2. Let g be t(-1). Suppose 11 + 0 = 3*p + d, 5*p + 5*d - 15 = 0. Solve -z - g = -p*v for v.
1
Suppose -3*x - 5 = 2*x. Let z = x - -4. Solve -z*u + 2*u - 5 = 0 for u.
-5
Let g = -4 + 7. Suppose -g*k - 2*m - 2 = 0, -k = 4*m + 10 + 4. Solve -1 = -k*s - 5 for s.
-2
Suppose 12 = 2*z + 4*x, -4*z - x - x + 12 = 0. Suppose 3*r - 9 = -5*d, 1 = -5*r + z*d + 47. Let y = -24 - -26. Solve r = y*f - 2 for f.
5
Let c(o) = o + 4. Let d be c(-2). Let i be 1 - d*(-2)/(-4). Solve i = 3*k + 2 + 1 for k.
-1
Suppose -5*a = -13 - 2. Solve a*z + 0*z - 12 = 0 for z.
4
Let x(g) = g**2 + g. Let u be x(-2). Suppose -u*w = k - 3*k - 18, -w = 5*k + 9. Solve a = -a - w for a.
-3
Let d be (-8 + 8)*(-1)/(-2). Let m(p) = -p**3 + 5*p**2 - 4*p + 5. Let f be (-2)/5 + 44/10. Let v be m(f). Solve v*o + 3 + 2 = d for o.
-1
Let y = -11 + 9. Let s(p) = 22*p + 2. Let l be s(5). Let g be l/52 + y/13. Solve -6 = -k - g*k for k.
2
Let d(n) = n + 2. Suppose 4*t = -28 - 20. Let g = -8 - t. Let z be d(g). Solve -j = -z*j for j.
0
Let o(h) be the first derivative of -h**3/3 - 7*h**2/2 - 10*h + 3. Let r be o(-5). Solve -2 = i - r for i.
-2
Let b = 12 - 4. Solve -b = -p - p for p.
4
Suppose -13 = -a - 0*d + d, 29 = a - 5*d. Let r = a + -3. Solve -y + r*y = 0 for y.
0
Let g be -1*(0 + -2) + 1. Let b = 19 - 17. Solve -i - g = b*i for i.
-1
Suppose 75 = 3*k + 2*k. Suppose -b - v = -3*b + k, 0 = 4*v - 4. Solve -28 + b = -4*u for u.
5
Let h be (-5 + 5)/(0 + 2). Let a be 1 + 1 - (h + 2). Solve -2*v - 3*v + 5 = a for v.
1
Let q(p) be the first derivative of -p**4/4 - 2*p**3/3 + p + 2. Let d be q(-3). Suppose 4 = 3*g - 5. Solve 2*a + g*a = d for a.
2
Let k(g) = g**3 - 2*g**2 - g - 4. Let r be k(3). Let p(i) = 3*i - 5 - r*i + 2 + 2. Let q be p(2). Solve 0 = -2*f + q + 3 for f.
2
Suppose 4*u - 5 - 7 = 0, -5*f + 5*u - 15 = 0. Let i = 13 - 9. Solve -t + f = i for t.
-4
Let w(t) = t**3 + t**2 - 2*t + 1. Let d be w(1). Let o(s) = -s**2 + 3*s. Let r be o(3). Solve -n + d - 5 = r for n.
-4
Let r be (-4)/(-14) + (-78)/(-21). Suppose -r*w = -3*w - 2. Let t = -10 - -17. Solve 10 = -w*z + t*z for z.
2
Suppose 3*m = -m. Solve m = -4*g + 8 + 12 for g.
5
Let r be 36/(-2)*4/(-6). Solve -27 = 5*h - r for h.
-3
Suppose -a = -2*a + 2. Suppose -a*v + 5 = -v. Suppose -6*h = -3*h + v*r + 2, 0 = h + 2*r + 1. Solve 3*s + h = -2 for s.
-1
Suppose 2 = c, -2*n - 1 = -c - 5. Solve 15 = -0*u + n*u for u.
5
Let l = 1 - 0. Let a = -1 + 4. Suppose u - 4 = -a*u. Solve 0 = -j + u + l for j.
2
Let m(n) = n + 3. Let q be m(0). Let v = 0 + q. Suppose d = -0*d + 2. Solve 2*s - v*s = -d for s.
2
Suppose -5*r = -58 - 27. Let j = 29 - r. Solve -2*x = x - j for x.
4
Let g(y) be the third derivative of y**7/2520 - y**6/180 + y**5/60 - y**2. Let s(j) be the third derivative of g(j). Let w be s(6). Solve 2*h = w - 0 for h.
4
Suppose 3*v = -4*c - 36, 3*v - c = 4*c - 9. Let z = -5 - v. Solve -1 = w - z for w.
2
Let n(m) be the third derivative of m**6/60 + m**5/60 - m**4/24 + m**3/6 - m**2. Let p be n(1). Solve t - 1 - p = 0 for t.
4
Let n(g) = -g**3 - 2*g**2 + 4*g + 4. Let i = -3 - -11. Suppose -r + i = -3*r. Let k be n(r). Solve -2*m - k = -7*m for m.
4
Let x be 2*-1 + 20/2. Suppose 0 = -6*y + y. Solve -3*m + x*m - 25 = y for m.
5
Let d be (5 + -5)*1/(-2). Suppose d = o + 4 - 2. Let c = o - -4. Solve 0*z + 2*z - c = 0 for z.
1
Let k = 4 - 0. Suppose k*y + 9 - 28 = 3*m, -2*y = -m - 9. Solve 0 = -2*r - y + 2 for r.
-1
Suppose -4*a + 61 = -51. Let h be 2/7 + 552/a. Solve 4*m = -m + h for m.
4
Suppose 4*t - 29 = -9. Suppose 0 = 6*s + 26 - 146. Solve f = t*f + s for f.
-5
Let y be (-3)/18*10*