Let x(c) = c**3 + c**2 + c. Let a(v) = u(v) - 2*x(v). Let i be a(2). Solve 0 = i*t - 7 - 1 for t.
4
Let k be (-2)/(-8)*(1 - 3 - -102). Solve q + k = 6*q for q.
5
Suppose 2*g + 2 = -3*j, -4*j - 4*g - 2 = -2*g. Suppose j = -5*a - 86 + 21. Let p = 19 + a. Solve -p = l + l for l.
-3
Let f(s) = -s**3 - 11*s**2 - s - 11. Let z be f(-11). Solve -3*w = -z*w + 9 for w.
-3
Suppose m - 2 = 3*j, -3*m - 5*j = -4*m. Solve 0 = -m*l + 3 + 7 for l.
2
Let x be (-12)/5 - 2/(-5). Let o be x/9 + 8/36. Solve 0*h - h + 2 = o for h.
2
Suppose -4*d = -1 - 15. Suppose -2*w = -3*w + d. Suppose u - 25 = -w*u. Solve -25 = u*h - 0*h for h.
-5
Let x(c) = c**3 + 5*c**2 + 3. Let n be x(-5). Suppose 2*h - n*d = 10 - 1, 3*h - 14 = 5*d. Solve -j + 4 = h*j for j.
1
Suppose 2*x = 2 + 2. Suppose 1 = -3*m + 4. Suppose 0 = 3*s - 4 + m. Solve x*h - 1 = s for h.
1
Suppose -3*f - 30 = -4*a + 9, 3*a - 39 = -f. Solve -z = 2*z - a for z.
4
Suppose -5 = -3*m + 10. Suppose m*d - 9 = 1. Solve -d*z = -z + 1 for z.
-1
Let a(g) = -g**2 - 9*g - 9. Let y be a(-6). Suppose -p + 6 = -y. Solve 3*h - p + 0 = 0 for h.
5
Suppose q - 4*i + 16 = 0, q + 2*i - i = 4. Let n(u) = -u - 1. Let o(r) = -16*r - 32. Let x(p) = -32*n(p) + o(p). Let c be x(1). Solve 0 = -4*f - q*f + c for f.
4
Let p be ((-2)/4)/((-1)/2). Let y(s) = 2*s**2 - s + 1. Let v be y(p). Let b(h) = -2*h**3 + 9*h**2 + 7*h - 7. Let n be b(5). Solve i = v*i - n for i.
3
Suppose -4*v + 4*y + 76 = 0, -6*y - 95 = -5*v - 2*y. Suppose v + 16 = 5*j. Let o = -6 + 7. Solve -j = 2*w + o for w.
-4
Suppose 4*m = 25 - 13. Solve 0 = 4*k + m - 11 for k.
2
Let r(t) = -t**2 - 7*t + 5. Let n be (11 - 1)/(-2) - 2. Let o be r(n). Let u = o - 1. Solve -4 = u*d + 12 for d.
-4
Let j = 15 - 12. Suppose 3*w + 5*b - 31 = 0, 0*b - j*b = -w - 13. Solve 3*l = w + 13 for l.
5
Let d be (-702)/(-273) - (-4)/(-7). Solve -d - 6 = 2*l for l.
-4
Suppose -8*k + 6*k = -42. Solve -5*b + k = 1 for b.
4
Let l = 0 + 1. Let j = l - -7. Let t be (-6)/(-4)*(-5 - -7). Solve -g - j = -t*g for g.
4
Suppose -5*f = 4*i - 22, -5*i + 4*f = -8 + 1. Suppose -i*v - 2*v = -3*n + 32, -2*n + v + 12 = 0. Solve -10 = n*u + u for u.
-2
Let k be 5*(3 + -2) + -3. Suppose -m + 3*r + 2*r = -27, 0 = 4*m + k*r + 2. Solve 0 = m*n + n for n.
0
Let w = 28 - 32. Suppose -38 = -5*v + b, 5*b = 3*v + 2*v - 30. Let p = w + v. Solve -p*k = -0*k for k.
0
Let x = -3 - -6. Solve -8 = -x*y + 7 for y.
5
Suppose -3*i + 12 = 4*c, 2*c - 20 = -3*c - 5*i. Solve 0*t - 3*t + 6 = c for t.
2
Suppose -3*l + 24 = 2*l + 4*u, 0 = -2*u + 2. Let j = l - -6. Suppose 0 = -2*o + 5*x + 25, 4*o - 5*x - 20 = -x. Solve -3*c - 2*c - j = o for c.
-2
Let h = 0 + 3. Solve -10 = h*q - q for q.
-5
Suppose 2*q - 3*q + 2 = 0. Solve -q*c - 3*c - 25 = 0 for c.
-5
Let o be (-5 - -2)*(-5)/(-3). Let c(l) = -l - 7. Let j be c(o). Let z be ((-24)/(-9))/(j/(-3)). Solve -z = -4*x - 0 for x.
1
Suppose -c = q - 1, -5*q + c - 27 = -2*c. Let n = -1 - q. Solve -n*u + u - 3 = 0 for u.
-3
Suppose 2*r = -6, -4*r - 19 = -o - 0*r. Suppose -11 = -6*q + 7. Solve q*k + o = -5 for k.
-4
Let u(r) = -r**3 + 10*r**2 + 10*r + 15. Let w be u(11). Solve -3*x + 5 = -w*x for x.
-5
Suppose 19*q = 27*q. Let g be 3/12 - 14/(-8). Solve q = t + g*t for t.
0
Let h(y) = y**3 - y - 1. Let z be (-5 + 2)/((-3)/2). Let t be h(z). Let s = t + -1. Solve s*b - 2 = 3*b for b.
2
Let o(j) = j**3 + 4*j**2 + 3*j - 3. Let q be o(-3). Let k be 5 - 1/q*-3. Let d(n) = n**2 + 17*n - 18. Let a be d(-18). Solve k*s = -a*s - 20 for s.
-5
Let y(p) = -2*p + 12. Let q be y(-11). Let h = 47 - q. Let r = -4 + h. Solve -6 = 3*x + r for x.
-5
Let f be 48/4 - (1 + 1). Solve -2*i = -7*i - f for i.
-2
Suppose 4*z = 5*z. Suppose -3*r = -z*r. Suppose 4*p - 31 - 1 = r. Solve -2*h = -4*h - p for h.
-4
Let y(f) = -2*f**2 + 5*f - 1. Let m(q) = -q**2 + 2*q. Let d(z) = -5*m(z) + 2*y(z). Let g be d(-2). Solve 0 = -g*o - 0*o - 4 for o.
-2
Let j(d) = -d**3 + 4*d**2 + 5*d. Let y be j(5). Suppose y*u = -u. Suppose u = 3*h - 3*m - 9, 4*h - 14 = -2*m + 16. Solve -2*c - 4 = h for c.
-5
Let p = 335 - 334. Let s = 1 - -2. Solve s*q - 4*q = -p for q.
1
Suppose -5*r + 3*r = -6. Suppose 2*n = r*q + 5 + 1, 3*n - 9 = -2*q. Solve q*f - 2 = -f for f.
2
Suppose 0 = 2*n + 4, 4*n + 33 = 5*z. Solve z*w + 10 = 7*w for w.
5
Suppose 0 = 2*p + 4*d - 3*d, -p = -4*d + 18. Let i be 10*(-1 + (-3)/p). Let y = 193 - 185. Solve i*r - y = r for r.
2
Let n(v) = v + 1. Let l(o) = -o**2 - 12*o - 14. Let w(h) = -l(h) - 4*n(h). Let b be w(-7). Suppose -b*c + 0*c = 0. Solve c = 4*k - 9*k for k.
0
Suppose 0 = -4*g + 7*g - 15. Suppose 0 = g*l - l. Solve -c - 1 = -l*c for c.
-1
Let h = -1 - -6. Solve 2*k - 5 = h for k.
5
Suppose 0 = 3*y + 4*m - 11, y + 0*y = 4*m + 9. Let n = y + 0. Let c = -310 - -310. Solve -n*i + 7 + 3 = c for i.
2
Suppose 3*h + 6 = 6*h. Suppose -5*s = -h*s. Solve 4*q - q = s for q.
0
Let t(g) = 2*g**3 - 11*g**2 - 5*g - 5. Let l be t(6). Solve -s + l + 0 = 0 for s.
1
Let c = 45 + -33. Solve b - c = 5*b for b.
-3
Let i be -1*1*(-19)/1. Suppose 0 = g - 5*l + i, -2*l + 2 = -g - 2. Solve 0 = g*w - w for w.
0
Let l(n) = -2*n - 26. Let v be l(-13). Solve -9 = -3*u - v*u for u.
3
Let g(c) = c**2 - 2*c - 1. Let t be g(3). Suppose t*v + 9 = 3*x - 2*v, 3 = x + 5*v. Suppose -h = x*h. Solve h = w - 1 + 2 for w.
-1
Suppose 0 = 2*w - 1 - 7. Suppose 4 = -w*h - z, -h - 2*h - z = 4. Suppose -2*d = j - h*j - 20, -5*j = -5*d - 25. Solve -r + j = 4*r for r.
2
Suppose -6*j + 10*j - 12 = 0. Solve 3*u = -0 - j for u.
-1
Let z be 6*(-2 - 5/(-2)). Solve z*p + 1 = 2*p for p.
-1
Let o(z) = -z**2 - 5*z. Let m be o(-5). Solve 5*a - 5 + 0 = m for a.
1
Suppose -7 = 6*h + 5. Let n be 6 + h - (-2 - 1). Solve 4*m + n = -5 for m.
-3
Suppose 5*o + 0*o = -2*g + 23, 7 = -2*g + 5*o. Let u be (3/g)/(1/4). Suppose -5 + 1 = -4*p. Solve -p = -u*n + 5 for n.
2
Let d be 2 - 1 - 6/6. Let j = 5 + 5. Solve d*m = -2*m + j for m.
5
Let t(b) = b**3 + 7*b**2. Let g be t(-7). Solve -3*f = -g*f + 6 for f.
-2
Let g(b) = b**2 + 4*b - 12. Let j be g(-6). Suppose 5*q = -c + 19 - 5, -4*c = -2*q - 12. Solve -c = -2*t - j*t for t.
2
Suppose -4*c - 15 = 3*z, z - 25 = -5*c + 6*z. Solve r + r + 10 = c for r.
-5
Let w = 76 + -76. Solve w = 5*i + 24 - 4 for i.
-4
Let p(q) = -q**3 - 5*q**2 - 4*q + 3. Let m be p(-4). Suppose -4*y + m*y + 3 = 0. Solve -y*b + 15 = 2*b for b.
3
Suppose 3*s + 7 = -5*z + 2, -4*s = -5*z + 30. Let c(l) = -l**2 - 5*l - 3. Let y be c(-3). Suppose 2*g - y = 1. Solve -g*n = z*n for n.
0
Let a = 5 - 5. Suppose l + 5*f - 9 - 22 = a, 1 = l - f. Solve -2*n = n - l for n.
2
Suppose -x + 3*p = -1 - 11, -3*p = -3*x + 12. Let k = -11 + 26. Solve 0 = -x*r + 3*r - k for r.
5
Suppose o - 5 = 8. Let p = o - 8. Solve -1 + p = 2*u for u.
2
Let t(c) = c**3 - 11*c**2 - 27*c + 15. Let r be t(13). Solve -4 = -r*j - 2 for j.
1
Let b be 2/(-3) - 642/9. Let u = b - -105. Let z be 159/u + 4/22. Solve z*c + 8 = -2 for c.
-2
Suppose 13 + 12 = 5*x. Suppose 2*o + 2*i = 0, 5*o - x*i - 18 = 2. Solve w + 15 = -o*w for w.
-5
Let q(k) = 2*k**3 - 13*k**2 + 6*k + 5. Let b be q(6). Solve 0 = 3*n - b*n for n.
0
Let d be -5*(-3)/60 + 38/8. Solve -3*z - 1 = d for z.
-2
Suppose 4*c - 3*c + 4 = 0. Let f(n) be the third derivative of -n**6/120 - n**5/15 - n**4/8 - n**3/3 + n**2. Let i be f(c). Solve -t = t + i for t.
-5
Let m(x) = -x**3 - 5*x**2 - x - 3. Let r be m(-5). Suppose 5*d = -r*n - 1, 0*n - d - 5 = -2*n. Let a be -1 - 2*(0 - 1). Solve -a = n*w - 9 for w.
4
Let w = 0 + 0. Suppose 0 = 2*b - 5*u - 24, -3*b + 19 = 2*u + 2. Let k = 11 - b. Solve 4 = -k*c - w for c.
-1
Suppose 55 = 2*p + 51. Solve 3 = p*w - 3 for w.
3
Let n be 1*(-4)/2 - 0. Let d be (0 + 2 + n)/1. Let r be d/((-1)/(1 - 2)). Solve r = -f - 4*f for f.
0
Suppose 2*n - 10 = 46. Let t = n - -2. Solve -t + 5 = 5*p for p.
-5
Suppose 0*q - 4*q + 12 = 0. Solve -1 = b - q for b.
2
Suppose 18 = 6*w - 0*w. Solve -1 = w*m - 2*m for m.
-1
Suppose -3*m + 4*k + 9 = 0, 3*m - 1 = -5*k + 8. Solve 4*r = m + 9 for r.
3
Suppose 2 = -4*a + 2*a. Let g = a + 1. Solve g*n = -n for n.
0
Let c(j) = 2*j - 5. Let b be c(5). Suppose 0*q - 3*t + 3 = -b*q, 1 = t. Solve -5*z + q = -10 for z.
2
Let t be 5/(-1)*(-4 + (7 - 4)). Solve 5*w - t = -0 for w.
1
Suppose 0*s - 2*s - 4*s = 0. Solve 0*o - 4*o + 20 = s for o.
5
Suppose -h + 4 = h. Suppose 5*z + 16 = 9*z. Let x be 9 + (2 - (z + 1)). Solve h