-3*u - u for u.
0
Let q = -17 - -29. Suppose 4*m + 3*o = -16, -3*m + 2*o + 3*o - q = 0. Let d be (1 - -3)*m/(-8). Solve -5*n = -d*n - 6 for n.
2
Let j = 4 + -4. Let k = 4 - 1. Suppose 0*x + k*x - 24 = j. Solve 6*b - 2*b = -x for b.
-2
Let g(w) be the first derivative of -w**4/4 + w**3 + 5*w**2/2 - w + 4. Let k be g(4). Suppose 2*i = -2*a + 3*a - k, -4*a + 12 = -2*i. Solve 0 = 4*j - i*j for j.
0
Let j(k) = k**3 + 8*k**2 + 6*k - 5. Let l be j(-7). Solve 2 = b - l for b.
4
Let g = 7 - 3. Suppose 0 = 3*t + 3*c - 15, 0 = g*c - 1 - 3. Solve -t = -2*x + 6 for x.
5
Let n(y) = -y**3 + 5*y**2. Let f be n(5). Let s = f - -3. Suppose 0 = 42*j - 46*j + 16. Solve s*o + j = o for o.
-2
Let l(c) = c**2 + 6*c - 5. Let h be l(-7). Suppose 14 = 2*a + w - 12, 2*w = -h*a + 26. Let y = -8 + 20. Solve -5*g = -a - y for g.
5
Let f(u) = -32*u. Let l be f(6). Let i be ((-1)/(-4))/((-16)/l). Solve -i*c + 0*c = -15 for c.
5
Let g(y) = -y**3 + 4*y + 3. Let h be g(-2). Suppose 3*a - 10 = a. Solve a*p - h = -18 for p.
-3
Suppose 0*r = 2*r + 2*u - 4, 2*r + 5*u + 5 = 0. Let b be (-1 + 0)/((-1)/5). Let v = b - r. Solve c - 2*c + 3 = v for c.
3
Let o(u) = 1 + 2*u**3 - 10*u**2 - 2*u**3 - u - u**3. Let i be o(-10). Let x be 3*(-2)/15*-10. Solve x*k = i + 1 for k.
3
Let j be 15/6*16/20. Solve -j*f = -2 + 4 for f.
-1
Let a = 2 - 2. Suppose y + a*w - 2 = 3*w, 0 = -3*w. Solve y*j - 9 = -1 for j.
4
Let v be 1 + -2 + 1 - 32/(-8). Suppose 0 = g - 0*g - 3*c + 4, 2*g + 4*c - 12 = 0. Solve -h - v = -g for h.
-2
Let n be 0 + 51 + 0 + 2. Let j = n - 38. Solve j = 5*g - 2*g for g.
5
Suppose 0 = -b - b. Suppose g = 5*g. Let d = g - b. Solve -2*q - 8 = -d*q for q.
-4
Let q(u) = -u**3 + 11*u**2 + 2*u - 22. Let v be q(11). Let l be 2/8 + 21/12. Let d = 3 + l. Solve 0*g + g - d = v for g.
5
Let t(k) = 3*k + 15. Let n be t(-7). Let j be (-8)/4 - (n - -1). Solve -j = -2*b + b for b.
3
Suppose 0 = 11*n + 35 - 90. Solve n*w - 4 = 3*w for w.
2
Let w = 74 - 30. Suppose -s + 0*y - y = -1, -3*s - y = -11. Suppose 0 = s*p, -4*r + w = 3*p + 12. Solve 4*z - 2*z + r = 0 for z.
-4
Suppose -3*c + 30 = -c. Suppose 0 = 3*a + c, -2*a - 3*a - 10 = 5*l. Let r = -14 + 20. Solve r = -l*b + 3 for b.
-1
Suppose 0 = -5*m + 42 - 32. Solve -3*n = -m*n for n.
0
Let f(z) = -8*z - 4*z + 11*z. Let a be f(-5). Solve -3*n = -a - 7 for n.
4
Let s = 7 + -5. Let h(y) = y**2 - 11*y + 10. Let q be h(10). Solve d + 0 - s = q for d.
2
Let b(o) = o**2 + 3*o - 3. Let n = -3 + -2. Let l be b(n). Solve l*c = 3*c for c.
0
Suppose 2*p = 8, -6*p = 4*x - 2*p - 16. Let j = x + 2. Solve j*t + 1 = t for t.
-1
Let z = 7 - 1. Solve c = z*c + 20 for c.
-4
Suppose -3*j + 2*n = 2*j - 17, 12 = 3*n. Suppose 6*r = j*r + 3. Suppose 0 = r*b - 6*b + 12. Solve -8 = -b*c - 20 for c.
-3
Suppose 3*q - 14 = 1. Solve 0 = -2*f + 7*f - q for f.
1
Let p = 47 + -46. Suppose -j = -2*j + 9. Let h = j - 5. Solve h = -c + p for c.
-3
Let n = 1 + 4. Solve 0*j - 15 = n*j for j.
-3
Let v = 7 - 3. Let k = 6 - 2. Solve -k = -0*l - v*l for l.
1
Let u(m) = m**3 + 7*m**2 - 9*m - 3. Let y be u(-8). Suppose 0 = -3*z - y*i + 37, 0 = z - 2*z + 4*i - 16. Solve z*n - n + 6 = 0 for n.
-2
Suppose 4*x - 19 = -5*c - 0*x, 5*c = -2*x + 17. Solve -j = -4*j + c for j.
1
Let t = -11 - -8. Let v = t - -3. Solve 8 = -2*z - v*z for z.
-4
Suppose 0 = 4*j - 7*j + 9. Solve -m = -j*m + 4 for m.
2
Let w = -53 - -129. Let l be 4/(-18) + w/18. Solve -3*o = -2*o - l for o.
4
Suppose 5*h + 16 = 26. Solve 2*w - 4*w = h for w.
-1
Let r be (-12)/(-18)*18/4. Solve d = r*d for d.
0
Let k(p) = 2*p - 12. Let o be k(7). Solve -j = -o*j for j.
0
Let r(w) = -w**3 + 7*w**2 - 6*w - 2. Let x be r(6). Let s be (-12)/(-8) + (-1)/x. Solve 8 = -0*n + s*n for n.
4
Let g(s) = s + 4. Let y(u) = u**3 + 4*u**2 + 4*u - 1. Let r be y(-3). Let v be g(r). Solve 0 = -p - v*p for p.
0
Suppose 5*k = 5*h + 25, k = 2*k + 5. Let g = -6 - h. Solve 4 = -g*q + 5*q for q.
4
Let x = 12 + 0. Solve -x = 4*k - 0 for k.
-3
Suppose 0 = v - 2*v + a, 3*v = 4*a - 2. Suppose -6*x = -v*x. Solve x = 5*p - 27 + 2 for p.
5
Let g = -1 + 17. Solve 0 = -3*j + 4 - g for j.
-4
Suppose 9*z = -9*z. Solve -2*j + 5 + 3 = z for j.
4
Let s(b) = 3*b - 1. Suppose 0 + 5 = 5*p. Let l be s(p). Let y be (-2)/(l - 4)*2. Solve 1 + y = 3*h for h.
1
Let o(m) = m**3 + 6*m**2 - m - 2. Let x be o(-6). Suppose 0 = 3*z - x*z. Solve s = -z*s - 2 for s.
-2
Let a(o) = 7*o**2 + 2*o - 1. Let q be a(1). Let z = q + -6. Let i be (-3)/12 - 39/(-12). Solve -z*y + 3 = -i for y.
3
Let r(s) = -s**3 + 7*s**2 - 4*s. Let h be r(6). Suppose -5*c + 2*f + 17 = 0, 2*f = 4*c - 0*c - h. Solve q + c = 2*q for q.
5
Suppose -3*s = -0*s. Suppose -p = 3*h - 4, s = p + 2*h - 1 - 3. Solve p*l + l + 25 = 0 for l.
-5
Suppose -6*y + 10 = -8. Solve -y*u = 2*u for u.
0
Let b(y) = 10*y**2 - 1. Let p be b(-1). Suppose -4*c = 3*q - p, 2 = 5*c + q - 1. Solve 3*n - 12 - 3 = c for n.
5
Let p be (-182)/(-6) + 4/(-12). Suppose 5*w - w - 3*v - 5 = 0, -5*w - v + p = 0. Solve 0 = -w*l - 21 + 6 for l.
-3
Suppose l = 2*v - 5, 2*l + 13 = -4*v + 3. Solve 4*b + v = 4 for b.
1
Suppose -5*b = 3*p - 16, -4*p + 4*b + 6 = 3*b. Suppose 0*u + 12 = 4*u. Suppose 2*h - 2*y - 28 = 0, 0*y = -u*h + 4*y + 46. Solve p*o - 7*o - h = 0 for o.
-2
Let y be (-1 - 0)/(1/(-1)). Solve 0 = p + 1 + y for p.
-2
Let b(f) = 0*f + f**2 - 3*f - 2 + 0*f**2. Let s be b(4). Suppose 18 - 22 = -2*a. Solve a*g = 10 - s for g.
4
Let k = 20 + 4. Let u be k/18*-1*3. Let d = u - -8. Solve -d*j - 2 = -6*j for j.
1
Let k be ((1 - 3) + -13)*-1. Suppose -p = 5*u + 2 - k, -u = -3*p + 7. Solve p*o = 1 + 2 for o.
1
Let i(u) = -u**2 - 18*u + 24. Let b be i(-19). Solve -g = -b*g - 12 for g.
-3
Suppose -2*n = 5*h + 9, 4*n - 30 = -n - 2*h. Solve 0 = -n*p + 3*p for p.
0
Suppose 0 = 12*a - 2 + 2. Solve 5*v + 0*v - 15 = a for v.
3
Suppose 3*f = 2*f. Suppose -t + 4*t = f. Suppose -3*r + 44 - 5 = 3*p, 2*p + 5*r - 17 = t. Solve 4 + p = -4*h for h.
-5
Suppose 2*d - 10 + 2 = 0. Let n be (1 - 3) + d + 13. Solve n = 6*k - 3*k for k.
5
Let a be (-14)/63 + 22/18. Solve -3*y - a = -13 for y.
4
Let v = -8 + 8. Let b(u) = u**3 - u**2 + u - 3. Let z be b(0). Let g be (z/6)/(2/(-12)). Solve v = -k + g*k - 4 for k.
2
Suppose -5*i = -2*i + 6. Suppose -4*z + 4 = -4*c - 0, -2*z = -5*c + 7. Let w = z + i. Solve n = -0*n + w for n.
2
Suppose 3*j + 8 = -4. Let w be -2 + j/(-1) - -3. Solve 7*q - 2*q - w = 0 for q.
1
Let l(z) = -z**3 - 26*z**2 - 48*z + 2. Let r be l(-24). Solve j - r = -4 for j.
-2
Let y = 25 - 21. Solve -m - y*m = -20 for m.
4
Let x = 9 - 2. Let c(p) = -p**3 + 3*p**2 + 5*p - 2. Let t(q) = -2*q**3 + 5*q**2 + 9*q - 3. Let l(r) = 7*c(r) - 3*t(r). Let z be l(x). Solve z + 1 = 3*m for m.
1
Let o be (-36)/(8/2)*-1. Suppose 0 = 2*y + 14. Let l = o + y. Solve 0 = 5*g - l + 22 for g.
-4
Let y be 1 + 5 + -4 + 3. Let c be (-6 + y)*(-5 - -1). Solve c*j - 5 = -j for j.
1
Let m(a) = a + 30. Let i be m(-21). Solve i*b - 11*b = -6 for b.
3
Let j(s) = s + 1. Let d be j(-1). Let a = 9 - 5. Suppose d*o = a*o - 16. Solve -o = -3*f + 2*f for f.
4
Let a = -3 + 20. Suppose -m + a - 5 = 0. Solve 4*j + m = 4 for j.
-2
Suppose 0 = 2*w + w - 6. Let d be 1 + 1 + 14/w. Solve -2*y = y + d for y.
-3
Let r(l) = -2*l - 6. Suppose 4*i = 6*x - 4*x + 22, 5*x + 2*i + 19 = 0. Let y be r(x). Suppose -a + 6 = y. Solve -b - 6 = a*b for b.
-2
Suppose -5*r - 13 + 78 = 0. Let y = 22 - r. Let c(u) = u**2 - 10*u + 12. Let t be c(y). Solve -5*z = -t*z + 8 for z.
-4
Let o(j) = j - 1. Let y be o(6). Solve 0*h + 5*h + y = 0 for h.
-1
Let n(a) be the second derivative of -a**5/20 + a**4/2 + a**3/6 - 3*a**2/2 - 2*a. Let i be n(6). Let r = 4 - i. Solve r = -l + 4 for l.
3
Suppose -18 = -g + 6*q - 3*q, -3*g - 4*q = 11. Solve g + 7 = 2*d for d.
5
Let x(i) = -i - 2. Let c be x(4). Let u(r) = r**3 + 7*r**2 + 6*r + 9. Let l be u(c). Solve -4*p - 10 = -l*p for p.
2
Let h(p) = -p**2 - 5*p + 6. Let c be h(-3). Let n be 4/6*(-6)/(-4). Let a be n/(-2)*(2 - 2). Solve a = y + 2*y + c for y.
-4
Let j be 12/(-4)*1/(-3). Let k be 4*j + (-4 - -6). Let g be (k + -6)/(2*1). Solve g = -2*t + 4*t - 8 for t.
4
Let p be 0 + -2 + 0/(-1). Let s(j) = -9*j - 2. Let o be s(p). Suppose o = 4*x - 2*d, d + 11 = 4*x - x. Solve x*f = -7 - 2 for f.
-3
Suppose -5*p - 5*c + 220 = 0, 4*c + 203 = 4*p - c. Let n = p - 82. Let w be 10/n - 37/(-7). Solve 8 = -w*m + m for 