3*a + k = -7 for a.
-5
Let g = -5 - -6. Let q = g + -4. Let t = 5 + q. Solve 12 = -2*i + t for i.
-5
Suppose 0 = -k - 0 + 3. Suppose -k*x = -5*x. Solve x*a = -2*a - 2 for a.
-1
Let x(s) = s**3 + 1. Let j be x(-1). Suppose j*p = 4*p - 8. Solve -p*c = -5*c - 3 for c.
-1
Let l be (-9)/(-3)*6/9. Solve 0 = -l*z + 1 + 5 for z.
3
Let s(v) = v + 1. Let z be s(1). Solve -12 = z*b - 5*b for b.
4
Suppose -j = j - 6. Solve v - 12 = -j*v for v.
3
Suppose 11*h - 6*h - 10 = 0. Solve o + 15 = -h*o for o.
-5
Let r(d) = 7*d - 3. Let l be r(1). Solve l*s - 6 = -2 for s.
1
Suppose -v = -14 + 11. Let t(m) = -3 + 4*m**3 + 4*m**2 - 5*m**3 - 2*m + 0*m**2. Let y be t(v). Solve y = -2*i + 1 - 5 for i.
-2
Suppose -2*s - 24 = 3*n, 0 = 2*n + s + 3 + 14. Let v be (-2)/(-10) - 28/n. Suppose 2*d = -w + 3, w = -v*w + 3*d + 12. Solve -w*i - 3 - 3 = 0 for i.
-2
Let c be 4 + 16/((-16)/4). Solve -3*w - 2*w - 10 = c for w.
-2
Let m = -7 + 9. Solve -m = -2*g - 4 for g.
-1
Let a = -4 - -11. Solve -3*q = a + 2 for q.
-3
Suppose 0 = -2*m + 2*z - 4, 4*z - 15 = -2*m - 1. Let x = 3 + m. Suppose -2*o + 4 = 0, -u + 0 = x*o - 8. Solve -g - 3 - 2 = u for g.
-5
Let x = 5 + -4. Let y(n) = 9*n**2 - 2*n + 1. Let d be y(x). Solve -5*s + 3 = -d*s for s.
-1
Let f = -3 + 3. Suppose f + 6 = 3*o. Suppose -3*d - 3 - 7 = q, 0 = -q + 3*d + 14. Solve 4*v = o*v - q for v.
-1
Suppose -3*c = 0, 3*m - 4*c + 2 = -4. Let a = 5 + m. Solve 4*b - a - 1 = 0 for b.
1
Let h(n) = -5*n**2 - 1. Let l be h(-1). Let x = 27 - 35. Let a = l - x. Solve -20 = -a*j - 3*j for j.
4
Let s(a) = -a**3 + 2*a**2 + a + 1. Let y be s(2). Solve -g + y*g + 2 = 0 for g.
-1
Let n(o) = o**2 - 2*o + 4. Let l be n(3). Let r = 11 - l. Let y = r + -3. Solve 4*b = 5*b - y for b.
1
Suppose 0*t = -3*t + 2*m + 8, 2*t + 4*m = 0. Suppose 3*b = -2*b - 15. Let k be 2/b*(-12)/4. Solve 0*s + k = t*s for s.
1
Let k(z) = z - 4. Let a be k(6). Let x be 13/5 - 6/(-15). Solve a*t + x = -5 for t.
-4
Suppose -4*a + 10 = -2*r, -4*r - 5 = -5*a + 3. Suppose -5*k = -a*w, 5*w - 3*k = -5*k. Solve 3*i + i - 8 = w for i.
2
Let j(y) = -y + 9. Let o be j(4). Let n = 8 - 4. Let k = o - n. Solve 4*i = -k - 11 for i.
-3
Suppose 4*p = 0, 0*t = -5*t + 3*p. Solve 0 = -3*a - t*a for a.
0
Suppose 0 = -3*m + c - 0*c + 47, 4*m = 2*c + 64. Solve m = z - 6*z for z.
-3
Suppose -o + 4*n = -4, 2*o + 2*o + n = -18. Let j be -2 - 1/2*-2. Let i be o*(-3 + 3 + j). Solve i*y - 3 - 1 = 0 for y.
1
Let w = 2 + 5. Suppose 4*j - 2*x = -2, -2*j + w + 2 = x. Let f = 2 - j. Solve 10*v - 5*v - 25 = f for v.
5
Let h(u) = 2*u. Let l be h(0). Solve -4*y - 11 - 9 = l for y.
-5
Let c = 14 + -22. Let f be -4 + 1 + 1 - c. Suppose 0*r = -4*g - r + f, -g = 3*r + 4. Solve -5 = -n - g for n.
3
Let l(f) = -f - 5. Let p be l(-5). Let r(d) be the second derivative of -d**3/2 - 3*d**2/2 - d. Let b be r(-5). Solve p - b = -3*n for n.
4
Let h = 7 + -5. Suppose 5*b - 10 = p, 4*p - 17 = -h*b + 3*b. Solve 0*w + p*w = 25 for w.
5
Suppose 0 = 2*d - 4*o + 12, 0 = -5*d + 3*o - 8 - 1. Solve -6*c + 4*c - 2 = d for c.
-1
Let m = 34 - 30. Solve -3 = -m*z + z for z.
1
Let o(s) = -s**2 + 3*s + 4. Let t be o(4). Solve 0 = -t*d - 2*d + 4 for d.
2
Let d be 783/189 + 0 + 2/(-14). Suppose -k - 6 = -w, 4*w + 2*k + 16 = -2*k. Let i be (2 - w) + -2 + 1. Solve d*s - s = i for s.
0
Let c(z) = -z**3 - 6*z**2 - z - 7. Let d(s) = s**2 + 5*s - 6. Let a be d(-5). Let g be c(a). Let k be ((-6)/12)/(g/30). Solve 4*f = f + k for f.
5
Let s be 14 - (0 - 3 - -2). Suppose -g + 4*z - 22 = -4*g, 0 = -5*g + 4*z - 6. Suppose 2*h - 8 = -g*h. Solve -h*k - s = -7*k for k.
3
Let d = -1 + 6. Let a = -3 + d. Solve 0 = w - a - 0 for w.
2
Let b(i) = -6 + 4 + 5*i - i**2 - 2. Let a be b(4). Solve a - 3 = -k for k.
3
Suppose -5*y - 5 = -3*t, -31 = -5*t - y - 2*y. Solve 3*k = 4*k + t for k.
-5
Suppose -3*b - 2*b + 13 = g, -4*g - 4*b + 36 = 0. Solve -4*m + 0 = g for m.
-2
Suppose 3*v = 7*v. Suppose v = -5*w + w. Solve -t + w*t - 3 = 0 for t.
-3
Suppose u - 2 = -8. Let z(l) = l**3 + 4*l**2 - 11*l + 8. Let t be z(u). Solve 7*y - t*y - 5 = 0 for y.
1
Suppose 36 - 54 = -2*t. Solve 25 = t*w - 4*w for w.
5
Let y be (-6)/(-2 + -1) + -2. Let p = y + -1. Let t be 3*p/(-3)*0. Solve -4*a - a = t for a.
0
Let r(j) be the third derivative of -j**4/24 - j**3/6 - 2*j**2. Let z be r(-5). Solve f = -z*f + 25 for f.
5
Let f = 7 - 5. Suppose -f*t = t. Solve -3*j - j = t for j.
0
Let l = -6 - -8. Suppose l*a - 6*a = -12. Solve -a*c - c + 16 = 0 for c.
4
Suppose 3*j + 0*j = 36. Solve x - 5*x = -j for x.
3
Suppose f + 38 = 41. Let m be (-6)/4*(-8)/6. Solve 3 = f*p - m*p for p.
3
Let h be 10*(3 + (-2 - 0)). Suppose -3*v + h = -v. Solve -v*f = -3*f for f.
0
Let v = -12 - -18. Suppose -2*u - 12 = -4*r - 5*u, 2*r - 5*u = v. Solve 15 = -3*j + r for j.
-4
Let f be 2/2 + -2*(1 + -6). Solve f*g = 13*g - 6 for g.
3
Let o(y) = -y**3 + 10*y**2 + y - 12. Let x be o(10). Let c = 1 - x. Solve -c*h = 11 + 4 for h.
-5
Suppose 11*g - 22*g = -55. Solve 0 = g*i - 1 - 4 for i.
1
Let g(y) = 3*y**2 + 1. Let o = 3 + -4. Let u be g(o). Suppose 5*r + 1 = -4, 4*c - 59 = -5*r. Solve c = u*a - 0*a for a.
4
Suppose -8 = k + 3*v + v, 14 = 2*k - 2*v. Suppose 4*i = -k + 12. Solve 0 = 2*u + 4 + i for u.
-3
Suppose -10*c + 12*c = 4. Let x be (-153)/(-21) + (-2)/7. Suppose r = -c + x. Solve 9 = -r*b + 24 for b.
3
Suppose 2*r + 5 = 3*r. Suppose 2 = -p + 4*o, 2*p + 10 = r*o - 0*o. Let y be (-42)/p - (-2)/(-10). Solve -5*w + y = -6*w for w.
-4
Let z = 139 + -83. Let a be (-86)/(-14) - 8/z. Solve 7*s = a*s - 2 for s.
-2
Let v(g) = g - 1. Let y be v(2). Solve -c + 3 = -y for c.
4
Suppose 0 = 2*h + 2, 4*q + 0*h - 3*h = 23. Solve 3*a = 8*a - q for a.
1
Let y be 23/5 - (-32)/80. Solve y*g = -6 + 1 for g.
-1
Let j(b) be the second derivative of -b**4/12 - b**3/3 + 2*b. Let m be j(-5). Let r be ((-36)/m)/((-3)/(-10)). Solve 3*c - c + r = 0 for c.
-4
Let f(r) = r**3 - 16*r**2 + 2*r - 29. Let l be f(16). Solve 3*n = 2*n + l for n.
3
Let a be ((-4)/10)/(5/(-200)). Solve -a = b + 3*b for b.
-4
Let o be (-2)/5 + 54/10. Suppose -o*g + 10 = -4*f - f, 3*g - 2*f = 6. Solve i = 7 - g for i.
5
Let r = 3 - 3. Let a = r - -5. Suppose -a*o + 10*o = 35. Solve -v - o = -3 for v.
-4
Suppose 0 = 5*z - 4*j - 10, 2*j = -2*z + 12 + 10. Let p be 10/(2/1) - -1. Solve -p*m + 3*m = -z for m.
2
Let q be (-2 - (-7)/5) + 78/30. Let w be (72/3)/3 - 1. Solve 1 - w = q*f for f.
-3
Suppose -z + 51 = 3*h - 6*z, -h = -z - 15. Solve 5*r - h = 3 for r.
3
Let n(c) = -c**3 + 6*c**2 + 10*c - 1. Let h be n(7). Let d = -8 + 10. Solve d*f = -2*f + h for f.
5
Suppose 8 = -8*h + 12*h. Solve -h*k = 2 + 2 for k.
-2
Suppose 2*z + 15 = -5*w, -z = 5*w - 0*w + 20. Suppose -c + 16 = 3*c. Suppose z*m + c = 14. Solve m*f + 3 = -f for f.
-1
Let g(k) = 2*k + 2. Let j be g(2). Let v = 6 - j. Solve v = -3*y + 6*y for y.
0
Suppose 2*c - 2*z + 2 = c, -3 = -2*c - 3*z. Let r be c/((7 + -4)/(-3)). Solve r = 7*y - 3*y - 4 for y.
1
Suppose -h = -4*d + 102, -3*d + 2*h = 7*h - 65. Solve d = -x - 4*x for x.
-5
Let u(n) = -n**2 - 7*n - 8. Let f be u(-5). Suppose 0 = 2*o + s - 3, 0 = 4*s + f + 2. Solve 0 = 2*b + o + 4 for b.
-3
Let k be (11/33)/(1/27). Suppose 0*v + 3*z = -2*v - k, 0 = 2*z + 10. Solve v*r - 25 = -2*r for r.
5
Let d = 4 + -5. Let z = 2 - d. Suppose 0 = 8*g - z*g - k, 3*g - 2*k = 0. Solve 0*h - 2*h = g for h.
0
Suppose -4*g + 0*g = 0. Suppose -4*h - h = 0. Let k = 3 + h. Solve g = a + 7 - k for a.
-4
Let i(z) = -z**3 + 3*z**2 + 2*z - 4. Let h be i(3). Suppose 16*t + t = 0. Solve t = -h*m - 2*m - 16 for m.
-4
Suppose -2*i - i + 12 = 0. Solve -4 = -4*d + i for d.
2
Let i = 18 - 18. Solve -d - 9 + 11 = i for d.
2
Let t(o) = -o**3 - 4*o**2 + 3*o - 4. Let r be (-3 - 0) + (4 - 6). Let i be t(r). Solve -i*a + 2*a + 8 = 0 for a.
2
Let f be 36/(-10) - (-4)/(-10). Suppose 0 = -2*i - i + 3*r - 15, -2*i = 3*r - 5. Let b = i - f. Solve -b*c + 10 = -0 for c.
5
Suppose -6*y = -10*y + 12. Solve -y*j = j for j.
0
Let k = -4 + 7. Let c be (k - 1)*(-10)/4. Let l = -1 - c. Solve -l*g = g for g.
0
Suppose 14 = 2*h - t - 4*t, 2*t + 20 = -4*h. Let g(n) = -n**2 - 4*n - 2. Let m be g(h). Solve -r - 5 + m = 0 for r.
-4
Let k(r) = 34*r - 203. Let h be k(6). Let i be (-2)/4 - 22/(-4). Suppose 2 - i = 3*u, -z = 5*u + 2. Solve 4*c - z*c + h = 0 for c.
-1
Let h = 6 + -3. Let q(t) = t - 5. Let w be q(7). Let o 