 15*d + 7. Let t be m(4). Solve 11 = -t*k - 1 for k.
-4
Suppose 0 = 3*h - 4*v - 11 - 1, -4*h - 4*v = 12. Suppose h = -0*y + 4*y + n - 9, 9 = 2*y + 5*n. Solve y = r - 2 for r.
4
Suppose 6 = 2*r - 2. Solve -o + 6 = -r*o for o.
-2
Let v = -54 - -54. Let x be -1*3*(-2)/3. Solve x*r = -v + 4 for r.
2
Let u = 7 - 4. Let b = 1 + 7. Suppose z - b = -3*z. Solve z*r = -u*r - 10 for r.
-2
Let h = -19 - 6. Let q be (30/h)/(6/(-100)). Solve 2*o + q = -3*o for o.
-4
Let w = 8 + -5. Solve 0 = -8*q + w*q - 20 for q.
-4
Suppose 7*i = 3*i + 84. Suppose -5*b + b + i = -3*s, 7 = 3*b - 4*s. Solve b = -5*q - 16 for q.
-5
Suppose a - 1 = -2*q, 4*q = -a + 2 - 1. Solve a = 4*u - 11 for u.
3
Let b(y) = 3*y - 14. Let n be b(6). Solve -2*t = -4 - n for t.
4
Suppose 0 = 3*u - 4 - 11. Solve -4*n - u = n for n.
-1
Suppose -m + 3 - 2 = 0. Solve -z = 4 - m for z.
-3
Let x(m) = 3*m**3 - 3*m**2 - 9*m + 8. Let l(p) = -p**3 - p**2 + p - 1. Let u(f) = 2*l(f) + x(f). Let a be u(6). Solve -2*v + a*v = 0 for v.
0
Let r be ((-2)/4)/((-7)/70). Suppose -3*j = -2*m - 13, -3*m + 2*m = -j + 4. Let z = r + m. Solve z - 2 = -4*c for c.
-1
Let c = -5 - 1. Let d = c - -10. Suppose d = 4*t - 4. Solve -n + t = -2*n for n.
-2
Suppose -14 = -4*p + 6. Solve -4*s + 5 = -p*s for s.
-5
Let u = -4 + 8. Suppose 2*h - 76 = 3*n, n = -2*h + 2*n + 76. Suppose h = 5*f + 3*i + 8, -4*f + i + 24 = 0. Solve -6*j + u*j = -f for j.
3
Let o(j) be the first derivative of -j**3/3 + j**2 + j + 1. Let a be o(2). Solve -a + 2 = x for x.
1
Let b(s) = s**2 + 9*s + 8. Let t(y) = y**2 + 8*y - 1. Let l be t(-7). Let w be b(l). Let d be w/((-2)/(2 + -3)). Solve 0 = -r - d + 1 for r.
1
Suppose -19 = -4*j - 7. Suppose 3*v - 12 = -4*y + 5, -j*y - 3 = -3*v. Solve -y + 5 = -3*r for r.
-1
Let b(k) be the second derivative of -k**5/20 - k**3/6 - k**2/2 + 2*k. Let j be b(-1). Let x be (-4)/(-10) - ((-74)/(-10) - 10). Solve -h + x + j = 0 for h.
4
Suppose -8*k = 9*k. Solve 5*t - t - 12 = k for t.
3
Let y(z) = -z**2 + 10*z + 13. Suppose r + 22 = 3*r. Let f be y(r). Let w(k) = -k - 4. Let n be w(-5). Solve o - f = n for o.
3
Suppose 0 = l + l + 10. Let m = l + 6. Let i be (-6)/4*(m + -3). Solve i*u = -0*u for u.
0
Suppose 15 = 10*o - 7*o. Solve 3 + 2 = -o*i for i.
-1
Suppose 3*w + 8 = 50. Suppose -4*v + 6 + 10 = 0. Solve w = -v*h + 6 for h.
-2
Let f = 29 + -13. Let w = f + -11. Solve w*h = -24 - 1 for h.
-5
Suppose 3*x - 18 = -4*m, x - 2*m - 2 = -3*x. Suppose o - x*o = -3. Suppose 0*a - 48 = -3*a. Solve y - a = -o*y for y.
4
Let q(d) = 2*d + 15. Let i be q(-6). Suppose 0 = -6*l + l + 4*f + 92, 4*l - 76 = 2*f. Suppose -4*b = -0 - l. Solve -13 = -b*c - i for c.
2
Let l(g) = g - 3. Let y be l(5). Suppose -d = d - y. Let t be 2 + d/(-1) + 4. Solve 1 = -2*j - t for j.
-3
Suppose -4*u + 3*q = -u + 6, -u - 5*q = -28. Solve u = -7*m + 4*m for m.
-1
Let q(x) = 3*x**2 + 2*x - 1. Let w be q(1). Let f = -4 + w. Suppose 5*k = 0, 4*s - 2*k = -f*k + 12. Solve 4*y = s + 13 for y.
4
Let b be 2/((-4)/(-154)) - 2. Suppose -2*l - 3*l = b. Let x be (-6)/l*(25 + 0). Solve 5 + x = 3*w for w.
5
Suppose -3*x + 2*g = -6, 4*g - 2*g + 6 = -4*x. Solve 5*d - 25 + 5 = x for d.
4
Let h be ((-4)/(-5))/(1/5). Solve -2*i + h*i = 6 for i.
3
Let b(x) = 4*x**2 + 2*x - 2. Let l be b(-2). Let o be ((-12)/l)/((-4)/(-20)). Let r(a) = a**2 + 5*a - 4. Let n be r(o). Solve -n*g - 2 + 0 = 0 for g.
-1
Suppose -z - 4*z = -15. Suppose 25*j = 28*j - 30. Solve z*q + j = 1 for q.
-3
Suppose -5*b = -16 - 14. Let u = -6 + b. Suppose 24 + u = 3*h. Solve -h = 2*q - 0*q for q.
-4
Let m(g) = g**3 + 4*g**2 - 5*g. Let o be m(-5). Let w be (-3 + o/3)/(-1). Solve d + 2 - w = 0 for d.
1
Let w = 6 - 2. Suppose 0 = -2*j + w + 12. Solve 0 = -u - u + j for u.
4
Let y(c) = -c**2 - 7*c - 3. Suppose -4*d - 2*v = d + 26, 8 = -3*d - 5*v. Let z be y(d). Suppose -5*h + 4 = -z*h. Solve h*g = -0*g for g.
0
Suppose -8*n + 27 = n. Solve n*g + 29 = 38 for g.
3
Suppose -5*v + 0*v + 30 = -5*z, -2*v = 0. Let u be (3/2)/((-3)/z). Solve -4*o + u*o = 0 for o.
0
Let p = -1 + 3. Suppose -3*z - p*z = 0. Solve b = -z*b - 2 for b.
-2
Suppose 3 - 8 = -3*r - 2*d, -3*r - d + 10 = 0. Solve -7 - 8 = -r*p for p.
3
Suppose 3*s - 10 = 5. Solve -s*g - 11 = -1 for g.
-2
Suppose 0 = -3*t + 2*w + 56, -5*t + 102 = -0*t + w. Let f be (24/t)/(2/10). Let c = f - 4. Solve -d + c = -1 for d.
3
Suppose 4*b - 2*t + 12 = 6*b, 2*t - 4 = 2*b. Solve -b*g + 8 = 2*g for g.
2
Suppose -2*q + 8 = 5*t - 4*t, 20 = 5*q + 2*t. Suppose q*g = 2*h, -5*h - 4*g + 48 = -h. Solve -m + h = 3 for m.
5
Let v be 8/3 + 2/6. Suppose 5*s = 17 + v. Suppose -d + 1 = 2*t - 17, -t = 5*d. Solve 2*r - t = -s for r.
3
Let v = -3 + 4. Let l(u) = u**2 + 2*u - 1. Let q be l(1). Let n be 0 - q - (-3 - v). Solve 0*f = n*f for f.
0
Let z(q) = q**3 + 6*q**2 + 4*q - 4. Let b be z(-5). Suppose 0*t + 4*t - b = v, 4*v = t + 11. Solve 4 = v*o - 2 for o.
2
Suppose -62 - 13 = -5*m. Let t = 7 - m. Let h = t - -15. Solve k = h - 4 for k.
3
Let l be 0 - 2 - 24/(-4). Solve -j - 12 = -l*j for j.
4
Let i = 12 + -7. Let n = i - 0. Let q(b) = -b**3 + 6*b**2 - 4*b - 2. Let m be q(n). Solve -m = 5*c - 13 for c.
2
Suppose 11 = -3*w - 4*q, -q = w + w - 1. Suppose -3 = -n + 2*o + 15, -5*n = -w*o - 62. Solve 0*f + n = -2*f for f.
-5
Let v be (16/12)/((-8)/(-18)). Solve v*h = 2*h + 4 for h.
4
Let t(q) = 5*q + 15. Let y be t(-1). Solve 3*m - y = m for m.
5
Suppose -20 = -2*h + 2*l, -6 = l + 2*l. Let n = -60 - -62. Solve -4*d - h = -n*d for d.
-4
Suppose -3 - 3 = -2*h. Suppose 5*w - k - 27 = 0, 3*w = -5*k + 40 - 7. Solve -h*i = -w*i for i.
0
Let g be 3/(-7) - 9/(-21). Solve -4*b - 8 = -g*b for b.
-2
Let r = -4 - -4. Let h(t) = -t**2 + 2. Let q be h(r). Suppose -q*y = y. Solve y*j = -5*j for j.
0
Suppose 3*g - 10 = 8. Solve -2*h = h + g for h.
-2
Let l be 16/5 + (10/(-25))/2. Solve -l + 1 = s for s.
-2
Let t be ((-7)/14)/((-2)/16). Suppose 5*u + 3*s - 131 = 0, -5*u + 143 = -2*s + s. Solve t*v - u = -8 for v.
5
Let q(g) = g**3 + 6*g**2 + g + 6. Let a be q(-6). Suppose a*o + 4*o = 16. Solve -o*y = -5*y for y.
0
Let f(m) = -m**3 - 3*m**2 - 5*m - 3. Let l be (-33)/12 - (-1)/(-4). Let n be f(l). Solve 2*r = 6*r + n for r.
-3
Let v be ((-30)/(-4))/((-3)/(-2)). Solve 4*b - 2 = v*b for b.
-2
Let m = -119 + 122. Solve -m = 3*i - 9 for i.
2
Let q be ((-40)/(-36))/(-5) - (-2)/9. Solve 6*a - a - 20 = q for a.
4
Suppose -3*b + 6 = -6. Solve b*i = 5*i + 5 for i.
-5
Let q be 0/((-2)/((-6)/3)). Suppose -f = 2*f - 9. Solve q = -f*r - 12 + 3 for r.
-3
Suppose -2*a + 11 = 3. Suppose l = -0*l + 4*y - 18, 4*l = a*y - 12. Solve -l = 2*j - 3*j for j.
2
Let r be 3*4/(-8)*-2. Solve 12 = -t - r*t for t.
-3
Let t be (-3)/((42/(-20))/7). Let w(f) = -f**3 + 11*f**2 - 11*f + 14. Let g be w(t). Solve 0 = -g*n - 0*n for n.
0
Suppose 8*n = 3*n + 30. Suppose -2*x - 5*y = 0, 0*y + 2*y = 5*x. Suppose x = 5*r - n*r + 2. Solve -r*p = -p for p.
0
Suppose -2*z + g + 2 = -4, -3*z = 3*g. Suppose 6*j = z*j. Suppose -l + 6*i - 4*i + 6 = j, i = -3. Solve -o = -l*o for o.
0
Let t be 2/7 + 468/(-21). Let n be ((-132)/9)/(2/6). Let r be (-4)/t - 80/n. Solve r*x = -2*x for x.
0
Let p(r) = r**3 - 4*r**2 + 2*r + 4. Let w be p(3). Let u be (-18)/(-2) + (-1 - w). Solve 18 = 5*j - u for j.
5
Let x be 62/(-10) + (-2)/(-10). Let q be (-2)/x + 10/6. Let h be (-3 + 3)/(-1 + 3). Solve h = 4*y - q*y for y.
0
Let d be (-2 - -1)*(2 - 7). Let q be (-6)/4*2/(-3). Solve -2*i = d - q for i.
-2
Let y(v) = v + 1. Let b(z) = -z. Let l(o) = -5*b(o) - 6*y(o). Let f be l(-9). Let r(g) = g**2 - 6*g + 3. Let w be r(6). Solve f*p = w - 0 for p.
1
Let m be ((-19)/2)/(17/(-34)). Suppose 0*a = 5*a + 2*f - m, 4*a - 5*f - 35 = 0. Solve -3*h = -8*h + a for h.
1
Let s = 2 + 2. Suppose -r - 2*f = -1 - 3, s*r = -2*f + 16. Solve -r*k = -3*k + 5 for k.
-5
Suppose -2 = 3*l + 4. Let z be -1*(l - (-1 - -2)). Suppose 23 = k + 20. Solve -k*n = 3 + z for n.
-2
Let h(z) = 2*z + 1. Let r be (-6)/15 - (-21)/15. Let v be h(r). Solve 0 = v*t + t for t.
0
Suppose 3*s = 5*o - 22, 4*s + 20 = 4*o + s. Let u = o - 7. Let h = -3 - u. Solve 4 = -h*m + 2 for m.
-1
Suppose 0*i - 60 = 5*i. Let s = 18 + i. Solve r - s = -r for r.
3
Let n be (0 - -1)*0/(-1). Suppose 0*f + 2*f = 2*t, n = 3*t - 5*f - 6. Let w = 5 + t. Solve -z + w*z = 3 for z.
3
Let v = -4 + 12. Suppose -5*b + 7 = -v. Suppose 0 = 5*r - b - 2. Sol