 3*f = -21. Solve h = -7*k + 4*k for k.
-1
Suppose 2*d + 4*l + 22 = 7*d, 2*l + 6 = 0. Solve 3*o + 1 = -d for o.
-1
Let b = 0 + 4. Suppose 0 = -0*z - 2*z + b. Solve -m + z*m + 5 = 0 for m.
-5
Let j = -11 - -15. Let w = -1 + j. Let c(q) = -q**2 + 10*q + 2. Let o be c(10). Solve w*y - 10 = o for y.
4
Let n be ((-1)/(-3))/(2/6). Let s be (-2)/(n/(18/(-4))). Solve -5*k - 16 = s for k.
-5
Suppose -15 = 4*x - 5*y, 4*x + 3 + 3 = 2*y. Solve 2*p + x = -6 for p.
-3
Let i be (6/(-3) - -2)/(16/(-8)). Solve i*u - u - 1 = 0 for u.
-1
Let h = 7 - -1. Let v = h - 5. Solve -v*z = -5*z for z.
0
Let h(g) = g**3 - 5*g**2 - 9*g - 8. Let k be h(7). Suppose d + 2*i + 9 = 0, -5*i + 0*i - k = -2*d. Solve -2*l + 3*l = d for l.
1
Suppose -6 = -3*c + 3*i + 3, 0 = 3*c + 3*i + 9. Let y be (-1 - c)*27/(-9). Solve u - y = -6 for u.
-3
Suppose 13 = 5*w - 17. Solve -3 = n - w for n.
3
Let x be ((-20)/8)/(2/(-12)). Let j = -6 - -6. Solve -o - 4*o + x = j for o.
3
Let p be 0/(-4) + (-10)/(-2). Suppose -8 = -u + p*u - 4*g, -g + 2 = -2*u. Solve -2*f + 0*f + 6 = u for f.
3
Suppose -2 = 2*m - 5*n, -m + n = 3*n - 8. Solve -r = m*r + 10 for r.
-2
Suppose 3*s - 2 = 4*o + 6, 3*s = 2*o + 10. Solve -s = 2*c + 2*c for c.
-1
Let m be (1/(-2))/((-3)/108). Suppose 0 = -i + c - 2, -2*i + i + 5*c - m = 0. Solve -i*n - 1 = -5 for n.
2
Let b(z) = -7 + 4*z**2 - z**3 + 12*z + 0*z**2 - 5*z. Let t be b(5). Suppose 3 + t = n. Solve n + 4 = 5*m for m.
2
Let w = 0 + 5. Suppose -2*q + 7 = -w. Solve -b - b - q = 0 for b.
-3
Let v(x) = -4*x - 9. Let f be v(-3). Solve 13 = f*z + 4 for z.
3
Suppose 3*o + 9 = 2*d, 1 = -3*o + 16. Solve -d = -2*n - 2*n for n.
3
Suppose -2*b - 80 = -4*v + 20, -5*v = -2*b - 127. Let x = 52 - v. Solve -8*r + 3*r = x for r.
-5
Suppose 6*m + 20 = 8*m. Solve -o + m = -3*o for o.
-5
Suppose -t = 0, -3*t + 12 = 5*u - u. Solve u*x - 4*x = 0 for x.
0
Let u be 8/2 - (6 - 11). Solve 0 = -r + 4*r - u for r.
3
Suppose 2*s = -14*s - 6*s. Let b be ((-2)/(-3))/(2/6). Solve -b*d = -s*d for d.
0
Let v = 25 - 20. Solve -3 - 2 = -v*a for a.
1
Let f be 1 + (1 - (-2 - 1)). Suppose -f*r + 16 = 4*o, r - 2*r = 5*o - 20. Suppose 4*p = 5*p - 8. Solve r = -5*d + d + p for d.
2
Let f be 2/18*3*6. Let j be (1/f)/((-2)/(-16)). Solve -11 - j = -3*q for q.
5
Suppose -5*c - o = -6*o - 95, -3*o = 4*c - 90. Solve 0 = 4*s + 1 - c for s.
5
Let q = 12 + -7. Suppose 6*t = 19 + 17. Solve u - q = t*u for u.
-1
Let t be -8 - -12 - (-1 + 2). Let i be ((-40)/15)/((-2)/t). Let b = -1 - -1. Solve -d - i - 1 = b for d.
-5
Let f = -21 + 30. Let v be 3*3/(9/(-4)). Let h be 7/4 - 1/v. Solve 0 = -h*n + 3 - f for n.
-3
Let l(h) = -2*h - 2. Let b be l(-4). Suppose 0 = 2*k - k + b. Let a = k + 8. Solve -15 = -a*s + 5*s for s.
-5
Suppose 3*r = 12, 0 = 2*g - 3*r - 1 + 11. Let p = 2 + g. Solve -p - 1 = 2*w for w.
-2
Let k = -5 - -7. Suppose 0 = 4*s + 3*y - 63, -3*y - 2 + 5 = 0. Solve -o - k*o = -s for o.
5
Let b(i) = i**3 + 16*i**2 + i + 18. Let a be b(-16). Solve a*z + 4 = z for z.
-4
Let x be 5/(-3)*(-2 - 1). Let h = -5 + x. Suppose h = -s + 1. Solve -b - 5 = -s for b.
-4
Let r be (-1)/(-5) - (-3)/(-15). Solve 0 = d - r*d for d.
0
Let z be (-204)/(-60) + 4/(-10). Suppose -3*u = -2*u - z. Let n be ((-1)/(-2))/((-2)/(-24)). Solve -u*k = -0 - n for k.
2
Let v(g) be the second derivative of g**3/6 + g**2/2 + 6*g. Let q be v(-1). Solve q = n + 1 + 4 for n.
-5
Suppose 3*y = -0*a + 4*a - 1, -2*a = -8. Solve 0 = -2*c + y*c + 3 for c.
-1
Suppose 4*j + 0 - 4 = 0. Solve -u - j - 4 = 0 for u.
-5
Let d be (-4)/3*(-6 - (-2 + -1)). Solve d*r = -3 - 1 for r.
-1
Suppose 3 = 5*c - 12. Solve -c*r = -2*r - 2 for r.
2
Let y = -13 + 16. Solve 4*i = 3*i - y for i.
-3
Let a = -5 + 7. Let b be a*(-2)/8*0. Suppose 2*j + 0*j = 4. Solve -j*t - 3*t - 25 = b for t.
-5
Let x be ((-36)/63)/((-4)/14). Let k be 21/7 + (-1 - x). Solve 0 = n - 4 - k for n.
4
Let z = 19 + -17. Solve -5*l = -z*l for l.
0
Let p(u) = u**3 - 3*u**2 + 2*u + 1. Let q be p(2). Let v(m) = 6*m + 1. Let c be v(q). Solve 0 = 3*d - 1 + c for d.
-2
Suppose 9*k - 7*k - 16 = 0. Solve -3*b = 2 - k for b.
2
Let r(b) = b**2 - 4*b + 3. Let l be r(4). Suppose 3*h = l*z - 12, 0*z + 2*h = z - 7. Solve f - z - 4 = 0 for f.
5
Let m = -118 + 120. Solve m*p = 3*p - 3 for p.
3
Let l(k) = k**2 + 6*k - 10. Let d(o) = o. Let i(q) = -d(q) + l(q). Let n be i(-7). Solve 20 = -n*h + 4 for h.
-4
Let u(x) = x**3 - 7*x**2 + 6*x + 3. Let a be u(6). Let v be 1/3 - 11/((-66)/16). Solve -v*n - 6 = a for n.
-3
Let y be 3/12 - 6/(-8). Solve 0 = -4*i + y + 7 for i.
2
Suppose 0 = -9*t + 81 + 9. Solve -2 = 4*y + t for y.
-3
Let v(f) = f**2 + f - 2. Let x(w) = 1. Let i(t) = v(t) + 3*x(t). Let l be i(-2). Solve l*o - 12 = -o for o.
3
Suppose 5*y - y = 60. Suppose 0 = -13*b + 8*b + y. Solve v + b = -2*v for v.
-1
Suppose 20 = 5*a - 4*z, -20 = 4*a + 3*z - 5. Solve a = 3*r + 1 + 8 for r.
-3
Let p be (-29 + 27)*(1*-1)/1. Solve -s = 5 - p for s.
-3
Let w(m) be the first derivative of m**3/3 - 2*m**2 + 7. Suppose -4 - 6 = -4*t - 2*o, 0 = 3*t - 4*o - 35. Let r be w(t). Solve 2*a = r*a for a.
0
Let v = -144 - -149. Solve 0 = 4*g - 1 + v for g.
-1
Let k = -27 + 30. Solve k*f = 5*f - 2 for f.
1
Suppose -6*d = -d - 20. Solve d*z = 2*z + 8 for z.
4
Suppose -3*f + 2*f = -3. Suppose -f*z + 8 = -z. Solve 5*l + z = l for l.
-1
Let z be (10/(-4))/(3/(-6)). Let s = -8 - -12. Suppose -5*l + d = -4*d - 15, l - 3 = -s*d. Solve -z*w = -l*w - 2 for w.
1
Let w be ((-20)/(-2))/((-4)/(-2)). Let q(n) = n**2 + 8*n + 6. Let v be q(-7). Let j be 1 - (0 - v/(-1)). Solve -8 = -w*m + j for m.
2
Let r be (-38)/(-9) - (-6)/(-27). Let o(t) = -t**2 + 5*t - 2. Let a be o(r). Solve 4*c = a*c - 8 for c.
-4
Suppose 4*j = 3*j + 4. Suppose -p + 35 = 5*c - 2*p, 5*c = -j*p + 35. Solve 5*n + c = 27 for n.
4
Suppose -31 = -2*o - 9. Let t = o + -11. Solve -25 = 5*d - t*d for d.
-5
Let a be (-22)/(-8) + 7/28. Let f be 13 + 2*-1 + 0. Solve -4*m - a = -f for m.
2
Let q be (-4 - -3)*-3 + 0. Solve q*z + 1 = 7 for z.
2
Suppose 2*l = 5*r - 2*l - 31, -2*r = -l - 13. Solve -3 = 4*x - r for x.
1
Let j = -4 + 4. Solve j = l + l - 6 for l.
3
Let b(o) = -o**3 - 3*o**2 + o - 5. Let u be b(-4). Suppose 12*k - 20 = u*k. Solve 0 = -4*v - k for v.
-1
Suppose -2*r = -5 + 3. Solve -4*k = r + 7 for k.
-2
Suppose 0 = -3*j - 11*d + 6*d - 6, 5*j - d - 18 = 0. Suppose -3*r + 12 = -5*r. Let h be (r/(-2))/((-9)/(-12)). Solve h*o = 3*o - j for o.
-3
Let w be (16/20)/(1/5). Suppose 2*x + b - w = -3*b, 3*b + 6 = 0. Suppose m - 18 = -0*c + c, -4*m - 2*c + 54 = 0. Solve 0 = q - x*q + m for q.
3
Suppose -3*w + 30 = 3*c, 2*w - 1 = 4*c - 5. Solve -m - 15 = -w*m for m.
3
Suppose 0 = l - 5*a + 5, -l - 2*a + 2 = -6*l. Suppose -3*g + 4*q = -l*g + 8, -4*g = -5*q + 9. Solve -23 = g*r - 3 for r.
-5
Let h be ((-9)/(-4))/((-3)/(-28)). Solve -h = 3*v - 6 for v.
-5
Let z be (-1 - -2)*1 + -7. Let x = z - -6. Solve x = -s - 0*s + 3 for s.
3
Let l = 6 - 6. Solve l = 2*i - i - 5 for i.
5
Let p(k) = k**2 + 8*k - 1. Let l be p(-9). Suppose 5*g - l = -3*r + 6*r, -r + 5*g - 16 = 0. Solve -r*u = -2*u + 4 for u.
-2
Suppose 3*x - 2*x = -n + 3, 4*n = 5*x + 3. Let f be (x + -1)*(3 - 4). Solve 0*w + 2*w - 4 = f for w.
2
Let c(y) = -y + 11. Let f be c(5). Solve 0 = -f*q + 2*q for q.
0
Suppose 4*f - 7 = -23. Let i be f/(-6) + 3/9. Let y be 2 - (i - 1) - -1. Solve -y*t + 0*t - 12 = 0 for t.
-4
Suppose w + w = 0. Let u = 616 + -612. Solve w = -u*s + 5 + 11 for s.
4
Let i be (9/(-6) + -1)*-2. Suppose -b + i*b = 20. Solve b*r = -11 + 1 for r.
-2
Let k(l) = l**2 - 5*l + 1. Let u be k(7). Suppose u = -0*i + 5*i. Solve i*v + 8 = -v for v.
-2
Let h be -3 + 2 + 5 - 30/(-15). Solve -4*u - h = -2 for u.
-1
Suppose 0 = -2*w - 2*w. Suppose w = -2*m + 2 - 0. Solve 0*q - q - m = 0 for q.
-1
Suppose 0 = 6*h - 15 - 3. Solve -h*d + 4 = -5 for d.
3
Let h(t) = t**3 - 6*t**2 + 5*t + 3. Let l be h(5). Let c(j) = 0 + 3 + 3*j - 4*j. Let d be c(l). Solve 0*o - 4*o - 16 = d for o.
-4
Suppose 4*c = -4*k, -5*k - 4*c + 12 = -5*c. Solve -3*d = k*d + 20 for d.
-4
Let f = -26 + 28. Solve -f + 5 = g for g.
3
Let x be -1 + -3 - (-22 + 13). Solve -a + x = 3 for a.
2
Let j(y) = -y. Suppose -11 = 4*h + 13. Let d(i) = 8*i + 2. Let z(p) = h*j(p) - d(p). Let s be z(-2). Solve -3 = -m - s for m.
1
Let u(j) = -7*j - 8*j**2 + 12 + 27*j**2 - 18*j**2. Let i be u(6). Let o be (-12)/