 v = -0*s + s - u. Solve -2 = 3*d + s for d.
-4
Let f(k) = k**3 - 5*k**2 + 3*k + 4. Let v be f(4). Suppose v*m + 2*m - 12 = 0. Let c be (3/1)/((-5)/(-5)). Solve m*a + 3 = c*a for a.
-1
Suppose -x + 0*m - 1 = 3*m, m = 3*x - 17. Solve 3*s = x + 4 for s.
3
Let n(v) = -v**2 - 10*v. Let u be n(-9). Suppose -5*j = -0*j - 2*o - 20, -4*j + 3*o + 16 = 0. Solve -u = -s - j for s.
5
Let z be (2 + -2)/(2 - 4). Suppose 2*j = -4*p + 18, -5*j + 0*p - p + 36 = z. Solve 0 = a + j - 3 for a.
-4
Let r(y) = -y**3 + 8*y**2 + 19*y + 14. Let d be r(10). Suppose -q - 4*n - 1 + 0 = 0, 4*q = 4*n + 16. Solve -19 = d*x - q for x.
-4
Let f = 10 + -1. Let j = f - 1. Solve 3*k - 25 = j*k for k.
-5
Let j be (-20)/15*(-1 + -2). Let b be 0*(1 - (-2)/(-4)). Solve b = -w + j + 1 for w.
5
Let r(w) = -7*w**3 - w. Let f be r(-1). Suppose -f = -2*c - 2*c. Suppose -4*d = 3*j - 32, -3*j = -5*j + c*d - 2. Solve 0 = j*h + h for h.
0
Let w be 5/(-5*1/(-5)). Solve -w*y - 20 = -0 for y.
-4
Suppose -3*s - z + 27 = 0, -3*z = -5*s - 4*z + 45. Let t be 12/s*(12 + 0). Solve 5*k + t = k for k.
-4
Let g(b) = -3*b - 2 - 5*b + 1 + 2*b + b**2. Let c be g(7). Solve -2*t - c + 2 = 0 for t.
-2
Let t(l) = -l**2 + 4*l + 5. Let j(o) = -o**3 + 11*o**2 + 5. Let x be j(11). Let b be t(x). Solve -z = -b*z for z.
0
Let h = 2 + 0. Suppose -2*q - h*q = 0. Let b(f) = f**3 + f**2 + f + 3. Let j be b(q). Solve -j*r = r for r.
0
Suppose 4*g + 3 = g, 5 = -3*l - 5*g. Let a be (l - 2)*(6 + -7). Solve -2*j - a*j = -4 for j.
1
Let z(c) = c**3 + 6*c**2 - 8*c - 5. Suppose 0 = -5*o + 3*p + 106, -5*p = -4*o - 4*p + 89. Let t be o/(-3) + 6/9. Let f be z(t). Solve -f*g = -g + 2 for g.
-2
Suppose 3*k = -2*i - 21, 0*i = 2*k - 4*i + 30. Suppose -26 = 3*l - 4*z, 2 = l + z + 6. Let c be 30*(0 + l/k). Solve 6*d = d + c for d.
4
Suppose 3*s + 5 = 4*s. Suppose -q + s - 1 = 0. Suppose 0*z + 4*u = 5*z - 21, -5*z + 5*u = -25. Solve q*c + 3 = -z for c.
-1
Suppose -20 = -5*d - 2*k, -3*d - 2*k = -7*k + 19. Suppose -22 = -z - 3*c - 7, 4*z = 3*c - 15. Suppose z*n - 1 = -n. Solve -u + n = d for u.
-1
Let g(h) = -h**3 + 7*h**2 - 6*h + 3. Let m be g(6). Solve 0 = -o - m*o - 20 for o.
-5
Suppose -4*g = -18 - 6. Let m(v) = -v**2 + 5*v + 6. Let i be m(g). Solve i*o + 2*o + 8 = 0 for o.
-4
Let q = -2 + 4. Suppose -q*t = t. Suppose 2*f + f - 6 = t. Solve 10 = -0*m + f*m for m.
5
Let f be 3*(-6)/(-9) - 1. Let g be (f + 0)*(-8 + 5). Let w = 4 + g. Solve 0*j - w = j for j.
-1
Let q = -11 - -16. Let g = q - 1. Solve g*h - h = 0 for h.
0
Suppose 2*y - 2*f = 5*y - 42, 0 = -5*f. Let r = y - 8. Let n = 8 - r. Solve 1 = -n*k - 7 for k.
-4
Suppose 0 = 2*q - 6*q + 12. Suppose 0 = -3*x + 9, 5*x - 23 = q*f + 7. Let m = 7 + f. Solve -m*t + 0 = 6 for t.
-3
Let j = 14 - 22. Let b be (-21)/(-14)*j/(-6). Solve 0*w = b*w - 4 for w.
2
Let s(i) be the first derivative of -i**4/4 + 10*i**3/3 - 9*i**2/2 - 2. Let v be s(9). Solve 3*k + v*k = -3 for k.
-1
Let s be ((-3)/(-7))/((-3)/105*-5). Solve 4*k = s*k + 3 for k.
3
Let n(m) = -m**2 - 8*m - 1. Suppose 6*a + 37 = 2*a - 5*t, -5*t - 5 = 0. Let o be n(a). Let i be (9/(-3)*1)/o. Solve i*u + 4 = 2*u for u.
-4
Suppose -3*m - 2*m = 2*m. Solve 2*f - f - 1 = m for f.
1
Let b = 7 - 3. Suppose 7 = 5*s + r, 2*s = -2*s - b*r - 4. Suppose -3*v = -0*v - 9. Solve 0 = s*f + v*f - 5 for f.
1
Let j(r) = r - 4. Let q be j(9). Suppose -2*g - 5*u = 0, -3*g + 3*u = -q*g + 4. Solve 2*s - 12 = g*s for s.
-4
Suppose 0 = 4*m + 25 + 3. Let l be (-2)/2*(m - 0). Suppose 0 = -7*y - 4 + 32. Solve g - y = -l for g.
-3
Let l = 2 - 2. Let b = l - 0. Solve b*z = 2*z - 2 for z.
1
Suppose -5*o = -4*o. Let a = 3 - o. Solve 0*y - a*y + 15 = 0 for y.
5
Suppose -2*z = 2*g + 3*g - 24, g = 3*z - 2. Suppose z*k + 6 = 3*k. Let m = 49 + -46. Solve -k + m = -y for y.
3
Let p(d) = d + 9. Let s be p(-4). Suppose -2*q = -j + 3, s*j + q = -q - 9. Let v = j + 1. Solve v = b - 2 for b.
2
Suppose g - 16 = -3*g. Let w be 3/(-1*(-3)/(-9)). Let z be (w/(-5))/(2/10). Solve -g*r - z = 11 for r.
-5
Suppose 0 = 5*t - 4*t. Solve -2*x + 8 = -t for x.
4
Let m be 1 - (-2)/1*1. Suppose -a - c - c = 15, 0 = a - 2*c + 15. Let h = -14 - a. Solve h = m*b - 2 for b.
1
Let h = 37 - 37. Solve -4*v + 6*v - 6 = h for v.
3
Let d = -1 - -1. Let q be 0 - -2 - (2 - d). Let n = 2 + q. Solve -2*a + 20 = n*a for a.
5
Suppose -4*i + 3*r = -39, r = 5*i - 4*r - 50. Suppose 3*c - 27 - i = 0. Suppose -3*m + c = 5*j - m, j = 4*m + 20. Solve a - j = -0*a for a.
4
Let u(b) = -b**2 - 5*b - 3. Let c be u(-4). Solve 0*k - k = -c for k.
1
Let r be -2 + 8 - (3 - 1). Suppose -r*u + 18 = -2*u. Let h be 0*(u/6 + -2). Solve 5*x = -h*x - 5 for x.
-1
Let x(q) = 3 + 2*q - 5*q + 4*q. Let y = 4 - -3. Let c be x(y). Solve c = -2*t - 0 for t.
-5
Let p(k) = k**2 + 5*k + 3. Let g be p(-5). Solve o + g*o = 0 for o.
0
Suppose 0 = -3*l - 0 + 9. Suppose 4*b - 14 = l*r, b = 4*b + r - 4. Solve -b - 2 = y for y.
-4
Suppose -2*w = -3*w. Let u be -2 - w - (2 + -3). Let p be 1*u*(0 - 1). Solve -5*h + 6 - p = 0 for h.
1
Let h be 274/(-8) + 3/12. Let k = h - -54. Solve 5*j + k = j for j.
-5
Let b = -81 + 85. Solve -b*m + m = 12 for m.
-4
Let i(j) = -j - 8. Let t be i(-11). Solve 21 = -t*r + 6 for r.
-5
Suppose z + 3*q + 7 = 0, -2*z + 6 + 7 = -3*q. Solve -z*v = v + 6 for v.
-2
Let z be (-2)/(-2*(-2)/(-6)). Suppose z*n - n - 10 = 0. Suppose 0 = -j + 5*u + 34, 0 = -3*j - 3*u - n + 17. Solve -5*h - 34 + j = 0 for h.
-5
Let a be (-3)/2*(-4)/3. Let b(s) = -s - s + 2*s**2 - s**3 - 1 + 0*s + 4*s. Let v be b(a). Solve 0 = v*n + 1 + 8 for n.
-3
Let v be 10 - 3/(-1 + -2). Let x = v + -6. Solve -x*c = -3*c + 8 for c.
-4
Let u be (3 - 2)/(-1)*0. Let t(b) = 3*b**2. Let i be t(-2). Suppose i = q + 3*q. Solve u = q*v + 7 + 5 for v.
-4
Let a be ((-15)/(-25))/(1 - 28/30). Solve -7*o = -a*o for o.
0
Suppose 2*r + 2*r = -12, 0 = -p + 2*r + 11. Suppose -3*z - 8 = -p*z. Let l = z + -3. Solve 2*s = 5 - l for s.
2
Let t(w) = -w - 2*w + w - 7. Let q be t(-5). Suppose -5*l + 5*r + 27 = -73, 5*l - 100 = q*r. Solve 4*y - l = -y for y.
4
Let g = -7 + 12. Solve -g*i = -i + 4 for i.
-1
Suppose 0 = -3*b - g + 14, -4*b + b + g + 10 = 0. Solve -b*p = -5*p - 5 for p.
-5
Let g be 10*(-5)/(-10)*(-8)/(-10). Solve 3*x - x = -g for x.
-2
Let l(m) = m**3 - m + 6. Let q = 16 + -16. Let n be l(q). Solve 5*z - n*z = 5 for z.
-5
Let c = 0 + 2. Suppose 0 = -3*r - c*r + 125. Solve -h - 4*h = -r for h.
5
Suppose 3*x = 3, 0*f = -3*f + 5*x + 25. Solve -f = 4*z + 10 for z.
-5
Let q be 2/9 - 10/45. Solve 0 = -q*l - 2*l for l.
0
Let m be 2/4 - (-66)/4. Suppose q = 2*n - 11, 0*q = -3*q - 4*n + m. Let u = q - -6. Solve 10 + 5 = u*o for o.
3
Let z be (-1)/3*108/(-9). Solve 0*f = z*f + 16 for f.
-4
Let h(g) = -2*g + 17. Let i(w) = -7*w**3 - w**2 - 2*w - 1. Let y be i(-1). Let s be h(y). Solve 2*t + s*t + 5 = 0 for t.
-1
Let s be ((-2)/(-3))/((-1)/(-3)). Let r(n) = -n**2 - 5*n. Let u be r(-3). Solve s*q + u = -4 for q.
-5
Let r(m) = m**3 + m**2 + 2. Let l be r(2). Let x(s) = s**3 - 9*s**2 - 11*s + 10. Let w be x(10). Solve 5*h - l - 6 = w for h.
4
Let a(j) = j - 12. Let y be a(12). Solve 4*x + y*x = 20 for x.
5
Suppose -w = 4*r - 46 - 13, 0 = -5*r + w + 85. Solve 0 = 4*v + r - 4 for v.
-3
Let z(v) = -v**2 + v + 6. Let l be 2/(-8) + 7/28. Let n be z(l). Solve n*u = u for u.
0
Let c be (-3)/4*32/(-12). Suppose 5*x + 7 = 4*z, -14 = -3*z - 4*x - x. Solve -z*p = c*p - 20 for p.
4
Let f(u) = 3*u + 5 - 3 - 10*u. Let t be f(2). Let n = -7 - t. Solve -n = 6*d - d for d.
-1
Let u = 0 + 5. Solve -1 + u = 4*q for q.
1
Let j be ((-4)/6)/((-1)/51). Suppose -5*o + 2*w + j = 0, -2*w - 23 = -4*o + w. Let k(u) = 2*u - 14. Let h be k(8). Solve 0*v - o = -h*v for v.
4
Let y(t) = -3*t + 4*t - 5*t - 5 + 3*t. Let r be y(-8). Solve 0 = -o - r - 2 for o.
-5
Let f(o) = -o**2 - 7*o - 5. Let r be f(-5). Suppose -4*m + r = -a - 0*a, 0 = -4*a + 12. Suppose -3 = -m*w - 1. Solve -w = 5*d + 9 for d.
-2
Suppose 13*j - 8*j = 0. Solve j*v = -5*v for v.
0
Suppose 4*i + 4 = -a, -25 = 3*a + 4*i + 3. Let v = -2 - a. Solve -v = -0*q + 5*q for q.
-2
Let w(i) = -4 + 3*i**2 - 2*i**2 + 2*i + 0*i. Suppose -m + 5*m = -16. Let u be w(m). Solve -2*p = -u*p for p.
0
Suppose -5*f - b + 24 = 0, -3*f + b + 6 + 2 = 0. Suppose 0 = -w + f*w - 24. Solve w*k - 4*k = 0 for k.
0
Let g be (-656)/(-208) + (-2)/13. Solve 4*i = 5*i - g for i.
3
Let s = -15