Solve -12 = -x*u - 6 for u.
2
Let w(l) = l**3 - 7*l**2 - 2*l + 2. Let z be w(9). Suppose 2*v - z = -28. Suppose -3*g - h - h + 64 = 0, 0 = -3*g - h + v. Solve -4*k = g - 2 for k.
-4
Suppose 101*c - 95*c = 18. Solve -52*u - c = -49*u for u.
-1
Suppose z + 9 = 2*z + 2*s, -4*s + 21 = 3*z. Suppose n + 4*l = 16, 2*l - 14 = -z*n + n. Let h(c) = 35*c + 528. Let p be h(-15). Solve -b - p = -n*b for b.
1
Suppose 57 = 21*p + 15. Solve p*x = -4*x + 24 for x.
4
Let h be (-17)/(-68) + 2/16*-2. Suppose -2*s + 5 = -5*u, 2*s + 6*u - 5*u + 1 = h. Solve s*b + 4 = -4*b for b.
-1
Let b be 4/12*(-6)/1. Let c(j) = -j - 1. Let g be c(b). Suppose g = 5*a - 9. Solve -a*s = -0*s for s.
0
Suppose 16 = -4*w - 0*w. Let i be 2 + -3 - w/2 - -1. Solve -x = i - 3 for x.
1
Let v = -5 + 5. Let a = -140 - -148. Solve v = -a*g + 3*g + 20 for g.
4
Let r = -17 + 22. Suppose 2*u - 30 = -4*l - 8, -r*l + 29 = 3*u. Solve s - u = -2*s for s.
1
Let t(z) = 4*z - 92. Let j be t(26). Solve 5*o - 37 + j = 0 for o.
5
Let z = -495 + 507. Solve 20 = -8*u + z for u.
-1
Let i(n) = -n + 3. Let u be i(0). Let y be 20/(-10)*((-2)/(-12) - (-598)/(-276)). Solve u*f = y*f for f.
0
Let t be (-49)/(-5) - (224/(-20))/(-14). Solve 2*h = -h + t*h for h.
0
Let z be ((-136)/51)/((-6)/9). Suppose 3*o + 4*b - 190 = o, 5*b = 0. Suppose -z*m - 27 = -o. Solve -4*p = -m + 5 for p.
3
Let q be 0 + 1 + (1 - 2) + 0. Suppose -o - 2*j - 37 = -4*o, q = 2*o - j - 26. Solve 0 = -3*p - 0*p + o for p.
5
Suppose -3*w + 3*f + 4 = -8, w - 5*f - 20 = 0. Let b(o) = -2*o + 1. Let v be b(-2). Suppose -5*t + 20 + v = w. Solve 2*c = c - t for c.
-5
Let f = -95 - -112. Solve f - 2 = 5*i for i.
3
Let m = 98 - 137. Let p = -23 - m. Solve -4*j + p = -0*j for j.
4
Let f(s) = -5*s**3 - 8*s**2 - 2*s + 1. Let u be f(-3). Suppose -2*p = -9*p + u. Let q be (2/4)/(1/6). Solve q*x = x + p for x.
5
Let w(x) = -x**2 - 40*x - 62. Let k be w(-37). Solve k = 6*g + 25 for g.
4
Suppose 18 = -o + 3*o. Let x(r) = r - 9. Let g be x(o). Suppose -14*n + 11*n = g. Solve -2*c = -n*c - 4 for c.
2
Suppose 5*q - 3*q = 4*s - 4, -s - 1 = -q. Let a be (-80)/(-36) - q/18. Solve -4 = -2*w - a for w.
1
Let n be 0/(-1 - -5 - 1). Suppose n*d + 3*d + 18 = 2*c, 5*d = -c - 17. Suppose -18 = 3*t - 3, -2*s + c*t + 23 = 0. Solve 0 = -w - s + 1 for w.
-3
Let u = 452 + -443. Solve 2*n + u = -n for n.
-3
Let o = 1204 - 1203. Solve o = -10*i - 19 for i.
-2
Let p(l) = l**3 + 2*l + 4 + 5*l**3 - 7*l**3. Let k be p(0). Solve 0 = -5*m - 1 - k for m.
-1
Let u = 1456 + -1436. Solve 7*t - 2*t + u = 0 for t.
-4
Suppose -r - 5*t + 0*t - 20 = 0, -8 = -3*r + 2*t. Suppose -5*i - 4*p - 11 = r, 11 - 2 = -3*i - 3*p. Solve -y - i = 1 for y.
-2
Suppose 10 = u + 4*o, -5*u + 2*o + 4 = -u. Let m be (2 - 0) + (-32 - -16). Let c = 16 + m. Solve c*z = -u*z for z.
0
Let d(y) = -y**3 + 25*y**2 + y - 16. Let z be (-1)/1*(-43 + 18). Let m be d(z). Solve m = 4*b - b for b.
3
Let o be (2/11)/((-15)/(-165)). Solve 2*x = -o - 4 for x.
-3
Suppose -4*a = -0*a - 4. Let w(q) = -q**2 - 5*q + 38. Let f be w(-9). Solve -f*z = 3 + a for z.
-2
Let j(k) = k**3 - 24*k**2 - 48*k - 85. Let f be j(26). Solve -5*v = -4 + f for v.
-3
Let y = 15 + -33. Let a = y - -21. Let c(u) = u**3 - 2*u**2 - 4*u + 3. Let f be c(a). Solve f = -4*x + 5 - 1 for x.
1
Let g(f) = f + 15. Let s = -6 - -15. Let c = s - 18. Let h be g(c). Solve -h*l = -l for l.
0
Suppose b + 4*b - 15 = 0. Let v be (-60)/(1*9/(-6)). Suppose 0 = r + 4*r - v. Solve 4 = -b*q - r for q.
-4
Let q(p) = 17*p + 190. Let a be q(-11). Solve -7*w - a = 32 for w.
-5
Let u be (-3 + -21)*(-2)/(-3). Let r = -6 - u. Solve 0 = -3*p - r + 4 for p.
-2
Let q(x) = 23*x - 16. Let a be q(2). Solve 0 = -9*u + a - 12 for u.
2
Let g be 1 + 0 + (-12)/(-6). Let f = 3 - g. Solve f = 5*h + 4 - 29 for h.
5
Let v(f) = f**3 + 7*f**2 - 3*f - 17. Let b be v(-7). Solve b*w - 8 = -4 for w.
1
Let a(m) = m + 39. Let z be a(-8). Solve -4*w - 11 = -z for w.
5
Suppose 0 = -17*a + 38*a - 2751. Solve 0 = -2*l + a - 121 for l.
5
Let v = 221 + -219. Solve -4*n = v + 2 for n.
-1
Let n(x) = -x**3 + 7*x**2 + 10*x - 7. Let w be n(8). Solve -3*q = 14*q + w*q for q.
0
Let d = 564 - 558. Solve -4*p + d + 14 = 0 for p.
5
Let k(l) = l**3 + 28*l**2 + 39*l + 332. Let x be k(-27). Solve x*o - 9*o - 5 = 0 for o.
-5
Let u = 87 - 83. Solve -u*i = 3 + 5 for i.
-2
Suppose -1 = n, -4*n - 1 = -5*v - 12. Let j(u) = -u**3 - 3*u**2 + 1. Let z be j(v). Let b be 4/1*15/12. Solve t + b = z for t.
-4
Let x(r) = r**2 - 6*r + 2. Let a be x(6). Suppose 4*b - 1 = t, -4*b - t = -3*t - a. Solve -w + 2*w - 3 = b for w.
3
Let g = -638 + 641. Solve -g*t - 18 = -12 for t.
-2
Let m = 30 + 18. Suppose 3*q + q = m. Let w be 0*(-3)/(4 - 10) - -5. Solve t = w*t + q for t.
-3
Let t be (3/5)/((-4)/380). Let o = t - -59. Solve -o - 2 = 4*h for h.
-1
Let s be 2 + (-3)/((-12)/16). Let z(y) = 2*y**3 - 13*y**2 + 7*y - 4. Let t be z(6). Solve -s = -g - t for g.
4
Suppose 0 = 3*p + 4*g + 7, -2*p + 4*p = -4*g + 2. Let h = 15 - -1. Let i = h + p. Solve f - 3 = -i for f.
-4
Suppose 14*a + 400 = 1324. Solve a*c = 58*c + 32 for c.
4
Let i(m) = -3*m**2 - 17*m - 10. Let g be i(-5). Solve -3*k + 11 + 1 = g for k.
4
Suppose -3*w - 5*o + 6 = 0, 2*w - 2 = -o + 2. Solve w*x + 0*x - 3*x = 0 for x.
0
Let g(i) be the first derivative of -i**3/3 + 3*i**2 + 7*i - 6. Let u be g(5). Let v be (u/(-9))/((-1)/6). Solve -c = c + v for c.
-4
Let z(i) = 3*i - 15. Let l(t) = 2*t - 14. Let c(m) = -4*l(m) + 3*z(m). Let v be c(-8). Solve 0 = -6*y + v*y for y.
0
Let a be (4 + -9)*(-3 + 2). Suppose -d - 3 = w, 4*w + 3*d = a*w - 9. Solve 9 + w = -3*o for o.
-3
Let s(y) = y + 1. Let r be s(7). Suppose 4*u - r = 4. Let m(g) = -g + 11. Let q be m(0). Solve q = 4*h + u for h.
2
Let c = -35 + 39. Suppose 0 = 3*b - 6, -2*a + 12 = -0*a + c*b. Solve a*g = 3*g - 1 for g.
1
Let y(d) = 5*d - 14. Let f be y(5). Suppose -5*b + p + 2*p = -84, 2*b = -3*p + 21. Let g = b - f. Solve 0*k = -k + g for k.
4
Let g(i) be the third derivative of i**5/30 + i**4/8 - i**3/3 - 18*i**2. Let p be g(-2). Solve -2*x = -p*x - 4 for x.
2
Let p be (-25)/3 - (-2)/(-3). Let n = 16 - p. Let b(x) = x**3 - 6*x**2 + x. Let o be b(6). Solve o*c - c = -n for c.
-5
Let f(o) = o**2 + 11*o - 5. Let h be f(-11). Let z be (-1)/h + 288/60. Solve -2*k + z = -5 for k.
5
Suppose -21*g + 20*g + 15 = 5*t, 5*g + t - 147 = 0. Solve -21*x + 27*x - g = 0 for x.
5
Let i(z) = -40*z + 203. Let p be i(5). Solve 0 = 7*a - p*a - 8 for a.
2
Suppose 3*p + 5*v - 15 - 15 = 0, -45 = -4*p - 5*v. Let m = 2 - 2. Suppose 0 = 5*y - 3*w - 28, m = -5*y + 4*w + w + 30. Solve -y = 5*b - p for b.
2
Let l(s) = -s**3 + 18*s**2 + 17*s - 21. Let v be l(19). Let w = 60 + v. Solve -3*f - 4 = -w for f.
-1
Suppose 1 - 19 = 3*x. Let g = x - -13. Suppose -5*l = 4*a - 10, -4*l - 4*a + g + 1 = 0. Solve 0*y - l*y + 2 = 0 for y.
1
Let d = 1 - -43. Let u = -40 + d. Solve -u*q - 11 - 1 = 0 for q.
-3
Let w(j) = j**3 - 3*j**2 - 6*j - 17. Let z be w(5). Solve 0 = z*q - 0 + 12 for q.
-4
Let u(j) = 4*j**2 - 4. Let r be u(3). Suppose -4*m = -4*y - r, 0*y - 5*y = 5*m. Let b = m - -10. Solve 4*h - b + 6 = 0 for h.
2
Let w(q) = 9*q - 198. Let u be w(22). Let v = -4 - -7. Solve u*o = -v*o - 15 for o.
-5
Let i(d) = 2*d**2 + 4*d + 3. Let h be i(4). Suppose -3*z = -g + h, -3 = -3*z + 4*z - 5*g. Let w be z/(-81) - 32/(-18). Solve -w - 2 = -4*l for l.
1
Let v(f) = -4*f**3 - f**2 - f. Let i be (-1 - -2) + 3*(-8)/12. Let z be v(i). Solve 0 = -0*g - z*g for g.
0
Let t = -436 - -451. Solve -t = 6*q - 9*q for q.
5
Let x be 3/(-12) + (-159)/4. Let b = x - -43. Solve -b*m - 4 = m for m.
-1
Let n be (15/6)/(0 - 2/(-4)). Suppose n*d - 4 - 21 = 0. Solve -d*u + u = -4 for u.
1
Let r(p) = p - 8. Let z = 31 + -19. Let b be r(z). Suppose b*d + 5*w - 24 = 0, -3*w = -d - 4*d - 7. Solve 3*l = -5 - d for l.
-2
Let n = -70 - -43. Let s be (-114)/(-27) + 6/n. Solve -14 = -s*r - 6 for r.
2
Let a(q) = q**3 + 28*q**2 + 29*q + 72. Let u be a(-27). Let f be (3 - u/6)/2. Solve 0 = -f*j - 5*j - 25 for j.
-5
Let a(z) be the first derivative of -3*z + 1/4*z**4 - 3*z**2 + 5 + 4/3*z**3. Let d be a(-5). Solve r = -r + d for r.
1
Let n(t) = -t**2 - 4*t - 3. Let u be n(-3). Suppose -3 = -z - 6. Let j be (-1)/z - (-32)/12. Solve -k - j = -u*k for k.
-3
Suppose -3 = -2*a + 1. Suppose 3*u + a*b + 24 = 2*u, -2*b + 120 = -5*u. Let r 