2 = h*v - v + 3*c. Solve 6*x = v*x for x.
0
Suppose 4*c = 3*y - 7*y, 0 = -2*c - 2. Let q be (2 - 3) + y + 5. Let k be -1*(-6 - 1*-1). Solve 0 = -q*v - k for v.
-1
Suppose f = -f - 4*s + 2, -s = -4*f + 13. Suppose 2*l - f = 3. Suppose l*j - 3 = 2*j. Solve -j*w = -7 + 1 for w.
2
Let f be 24/64 - (-135)/24. Solve 2*q - f*q - 4 = 0 for q.
-1
Let x(i) = i**3 - 6*i**2 + 2*i - 9. Let z be x(6). Suppose -4*q - z*l = -12, -6 + 3 = -q + l. Solve q*d = d - 2 for d.
-1
Suppose 6*z + 4 = 5*z. Suppose -x - 3 = 0, 2*x = -g - 3*g - 22. Let o = z - g. Solve o*b = -3*b + 15 for b.
5
Suppose 2*h - 8 = h + 3*y, -h - 3*y - 22 = 0. Let f(p) = p + 10. Let w be f(h). Solve -2*d = w*d + 25 for d.
-5
Suppose 20 = o + 4*o. Solve u - 2 = -o for u.
-2
Suppose -5*b + 13 = 5*n - 27, -3*n - 24 = -5*b. Let s be (1/1)/(b/78). Solve -2*m + s = 5 for m.
4
Let b = 25 - 21. Let y(r) = -r**3 + 4*r**2 + r - 2. Let t be y(3). Solve -x = b*x + t for x.
-2
Let s = 11 + -18. Let y = -3 - s. Suppose 9*v = y*v. Solve v*d - 4*d = 0 for d.
0
Let b(o) = 0 - 2 + o + 0*o. Let y be b(4). Suppose -p = -y*p. Solve p = 4*x - 8*x for x.
0
Let a(l) = -l**2 - l + 1. Let g be a(-1). Solve 2*f - f = g for f.
1
Let g be 1/((-2)/4) - -2. Let m be (-2 - -3) + 2/2. Solve 0 = -g*a - m*a for a.
0
Suppose n = -2*n + k - 13, 0 = n + 3*k + 21. Let z = n - -7. Let x be (z - 2)*0 + 3. Solve v + 10 = x*v for v.
5
Let s be (-24)/15*60/(-8). Solve 0 = 4*k + s - 4 for k.
-2
Suppose 12 = 3*q, 0 = v + q - 2*q. Suppose -a + 0 = -v. Solve 0*n - a = -n for n.
4
Let p(b) = 2*b**2 + 2*b - 9. Let j be p(3). Solve 0 = -4*r + r + j for r.
5
Let z = 40 + -38. Solve -z*x = -x for x.
0
Suppose 2*t + 4 = 14. Solve -2*n - t + 1 = 0 for n.
-2
Let f(i) be the first derivative of -1/3*i**3 - 3*i**2 - 3*i - 2. Let t be f(-4). Solve 30 = -t*d + 10 for d.
-4
Let t(o) = o - 1. Let z be t(3). Suppose z*r - 16 = 8. Let u = r - 8. Solve -2*j - 2 - u = 0 for j.
-3
Let o(s) = 3*s - 23. Let p(j) = -j + 8. Let m(x) = 4*o(x) + 11*p(x). Let l = 12 + -6. Let f be m(l). Solve -7 = -i - f for i.
5
Let m(d) = d**3 - 2*d**2 + 4*d - 2. Let v be m(2). Solve -v = 4*s - s for s.
-2
Let h(g) = g + 1. Let j be h(2). Let i be (-3 - -4)*(j + 2). Suppose -i*a = -a - 16. Solve -a*y = -y + 6 for y.
-2
Let n = 106 - 97. Solve 0 = -2*c + n - 1 for c.
4
Suppose 3*o = c - 2*c - 10, 2*c - 2*o = 12. Solve 0 = 2*s + c*s for s.
0
Let g(d) = 2*d - 1. Let a be g(5). Let w = a + -7. Solve 0 = w*c + 1 - 7 for c.
3
Suppose 0*t + 3 = t. Let w = -21 - -21. Let a(g) = -g**3 + g**2 + 7. Let q be a(0). Solve q*b - t*b = w for b.
0
Let l be 184/(-18) + (-2)/(-9). Let k = l - -15. Solve 2 + 3 = k*g for g.
1
Let v = 7 + -7. Solve v = z + 4*z - 15 for z.
3
Suppose -z + 0 = -2. Suppose 0 = -z*f - 0 + 16. Solve 2*c + f - 18 = 0 for c.
5
Let g(y) = y**2 - 2*y + 1. Let z be g(-2). Let m = 0 - -1. Suppose -2 - m = -n. Solve n*a - 3 = -z for a.
-2
Let x be (-2)/(-6) - 16/12. Let u = x + 1. Solve -5*y + 25 = -u*y for y.
5
Let w be 2*-1 + (2 - -2). Solve 0 = w*c + c for c.
0
Let n = 46 + -27. Let s = n + -14. Solve s*j = -0*j for j.
0
Let t(x) = -x**2 + 6*x + 4. Let j be t(5). Solve 2*o + 3 = j for o.
3
Let z be -1 + 2 + (2 - 0). Suppose 2*g + 60 = 6*g. Suppose -z*t + 5*i + 21 = 2, -3*i = -3*t + g. Solve -t*d + 8 + 1 = 0 for d.
3
Suppose 2*c - 3 - 1 = 0. Let v(w) be the first derivative of w**2/2 + 4*w - 2. Let s be v(0). Solve -s*d + c*d - 10 = 0 for d.
-5
Let s be (1 - 14/(-4))*22/33. Solve -2*p - s = 7 for p.
-5
Let t = 4 + 0. Let s be (-2)/(-3) - (-46)/3. Let c = s - t. Solve c = 3*w + w for w.
3
Suppose 3*o - 12 = 0, 2*a = 2*o - 0*o - 4. Suppose -2*z = y - a, -5*y = 3*z - y + 7. Solve -z*f = -f for f.
0
Suppose -5*m = 2*d - 3, -m + 6*m = 3*d - 17. Let g(b) = -2*b - 16. Let x be g(-11). Solve -5*v - d - x = 0 for v.
-2
Let d(n) = n**3 + 6*n**2 + 2*n + 18. Let b be d(-6). Solve -b*j + 10 = -4*j for j.
5
Let t be 4/((-5)/(-10)*2). Solve -t = 4*o + 4 for o.
-2
Let k = -58 + 64. Solve 4*z - k = z for z.
2
Let q = -8 + 0. Let z = 2 + q. Let c be (z - -3)/(-2 + 1). Solve -4*f - c = -3*f for f.
-3
Let u be 8 - (-7)/(7/2). Let h be (-4)/u - (-210)/25. Solve 0*b + 2*b - h = 0 for b.
4
Let i(o) = o**2 + 5*o + 2. Let b be i(-5). Let m = -91 + 91. Suppose m = h + b*h - 3. Solve -4*a = -15 - h for a.
4
Let r be (9/5)/((-6)/(-20)). Suppose 0 = -2*h + 2*c + 8, 2*h = 4*h - c - 5. Solve -w = -h + r for w.
-5
Let j = -10 + 17. Suppose -j*m + 100 = -3*m. Solve 0 = -4*a - 9 + m for a.
4
Suppose 0*u = u. Suppose 3*x + 968 = x. Let g be x/(-24) - 2/12. Solve u*h + 4*h + g = 0 for h.
-5
Let y = -47 + 48. Solve y + 4 = -r for r.
-5
Let k = -40 - -60. Solve -k = b + 4*b for b.
-4
Let d(v) be the third derivative of v**4/12 - 5*v**3/6 + 2*v**2. Let g be d(4). Solve 0*h = h - g for h.
3
Let i = -260 + 285. Let b = 6 - 4. Solve b*n = -3*n - i for n.
-5
Suppose -5*a = 0, -2*x - 3*a + 13 = -11. Solve 3 = -3*m - x for m.
-5
Let q = 5 - 3. Let z(i) = 1 + 7*i - 13*i + 9*i. Let w be z(1). Solve -q*k - 2 = -w*k for k.
1
Let y(b) = 4*b - 5. Let p(j) = -7*j + 9. Let k = 11 - 16. Let u(g) = k*y(g) - 3*p(g). Let a be u(7). Solve -8 + 28 = a*v for v.
4
Suppose m - t = -6*t - 5, 4 = m + 2*t. Let z(j) = -j**2 + 4*j + 5. Suppose -x + 2*x = 5. Let s be z(x). Solve 2*p + s*p = m for p.
5
Let d(o) = o**3 + 13*o**2 - o + 3. Let y be d(-13). Suppose 4 = -2*z + y. Solve -z*n + 20 = -n for n.
4
Let f(c) = c**2 + c - 5. Let i be f(-5). Solve 5 = -5*t + i for t.
2
Suppose -4*m + 4 = -4. Solve -w = m*w for w.
0
Suppose 0 = 5*a - 6*a + 20. Let w = a - 17. Suppose 5 = -3*s + 17. Solve 0 = -k + s*k + w for k.
-1
Let t = -5 + 3. Let c be 0 - 2 - 10/t. Suppose 5*q - 17 = 7*q + 5*f, 0 = q - c*f - 19. Solve -q*r - r = 0 for r.
0
Let v = 0 - 2. Let u be 7 + -1 - (v + 5). Solve -2*y - u*y - 15 = 0 for y.
-3
Let t(w) = -5*w - 5. Let l be t(-6). Solve f + 4*f = -l for f.
-5
Suppose -3*g = -0*g - 9. Suppose g*j + 4 = 5*j. Let o be (16/(-3))/(j/(-3)). Solve -o = 2*b - 0 for b.
-4
Let c = 253 + -248. Let r be (-2 - -1)*(1 + -2). Solve t - c = -r for t.
4
Let o be (6 - 3) + 7 - 3. Let i = o + -7. Solve -20 = -i*v - 4*v for v.
5
Suppose 3*l - 11*l = 0. Solve l = -5*o + 15 - 0 for o.
3
Let c(m) = -6*m**3 - m - 1. Let g be c(-1). Let k be 2*(2 - 3/g). Suppose -4*z + 5*x + 39 = 0, 0*z + 5*z - 21 = -k*x. Solve -z + 2 = 2*a for a.
-2
Let a(s) = -s - 6. Let l be a(-6). Solve l = -3*d + d for d.
0
Let h(o) = -o**3 + 5*o**2 - 3*o - 5. Let m be h(4). Let c be (16/12 + m)*9. Solve -c*g = -g for g.
0
Suppose 4*y = 10 + 6. Let q be 1/y + 11/4. Solve 5*k - q = -8 for k.
-1
Let c(o) = -3*o**2. Let h be c(-1). Let s be (-1 + 0)*-1 + h. Let w be -2 + 0 - s/1. Solve w*p = -p for p.
0
Let w(h) = -1. Let j(x) = x + 8. Let p(u) = 3*j(u) + 21*w(u). Let s be p(4). Solve s + 0 = 3*q for q.
5
Suppose -11 - 25 = -2*m. Let l = m + -9. Let w = l - 7. Solve w*c - 3 = c for c.
3
Suppose 27 = -2*z + 35. Solve -6*j = -z*j + 8 for j.
-4
Suppose -2*o = o - 9. Let s be (5/o - 2)*-15. Suppose s*f = -2*y + 17, 3*f - 4*y = -4 + 9. Solve f*h - 20 = 7*h for h.
-5
Let a(u) = u**2 + 7*u - 6. Let j be a(-8). Let r(k) = 2*k - 7. Let t be r(5). Let y = t - 3. Solve j = q - y*q for q.
2
Let d(w) = 2*w - 6. Let x be d(4). Let q be -3 - (4 + -10 - -3). Solve q = 3*y - y + x for y.
-1
Suppose 10 = n + 8. Let s be 50/18 + 2/9. Solve s + n = q for q.
5
Let b(k) = -k**2 - 1. Let u be b(-1). Let i be (1 + u)/(-1)*2. Let l be -2*i*(-9)/12. Solve 4*g + l = 3*g for g.
-3
Suppose 5*r - 7 = 3. Let x be (-15)/10 - (-3)/r. Solve x = -3*z - z + 8 for z.
2
Let x(m) = -m**3 + 9*m**2 + 2. Let d be x(9). Let w be (d - 12)*(-8)/10. Solve -2 = 2*b - w for b.
3
Let f(l) be the third derivative of -l**6/120 + l**5/15 - l**3/2 + 3*l**2. Let u be f(3). Solve -b = -u*b + 20 for b.
4
Let s = 58 + -57. Solve 5*l = -s - 4 for l.
-1
Let h(d) be the third derivative of d**6/40 + d**5/120 + d**3/3 - 2*d**2. Let y(l) be the first derivative of h(l). Let x be y(-1). Solve -4*q + 2*q = x for q.
-4
Let y be (-26)/(-10) - 10/(-25). Suppose -19 + 4 = -y*t. Suppose 27 = 4*u - t. Solve 0 = 4*c - u for c.
2
Let u(o) = -o**3 + 5*o**2 - 4*o. Let g be u(3). Let n be (-3)/9 + 14/g. Let k(w) = 2*w**2 - 2*w - 2. Let d be k(n). Solve 0 = -l - d*l + 12 for l.
4
Suppose -3*b = -11*b. Solve 2*l + l + 15 = b for l.
-5
Suppose -4*d + 16 = 4*z, -4*