-3*x for x.
1
Let a be (-3)/(-2)*2 + 21/(-21). Solve -6*u - 8 = -a for u.
-1
Let m = -36 + 44. Let c = 4 - 2. Suppose u + m = c*u. Solve -3*z = z + u for z.
-2
Let w = 74 + -71. Solve w*j + 0 = 6 for j.
2
Let g(v) be the second derivative of -v**3/6 + 8*v**2 + v. Let p be (-2)/9 + 4/18. Let c be g(p). Solve t + 3*t = -c for t.
-4
Suppose 25 = 119*y - 114*y. Solve 5 = -2*l - y for l.
-5
Suppose 0 = 2*k - 4*k + 20. Solve -5 = -5*s + k for s.
3
Let c be (0 - -2*1) + (10 - 10). Solve -r + c = 1 for r.
1
Suppose 4*q - 4 = -16, 2*v + 5 = q. Let x be 24/10 - v/(-10). Let i(s) = -s**3 - 14*s**2 - s - 14. Let t be i(-14). Solve t = x*r - r for r.
0
Suppose 2*g + 11 = -9. Let x = 8 + g. Let q be (x/(-3))/(6/9). Solve 4*u + q = 5 for u.
1
Suppose -5 = -5*o + 5*g, -5*o = 4*g + g + 45. Let p = o - -7. Solve 0 = p*j - 2*j + 3 for j.
-3
Let q(b) = -b**3 + 12*b**2 - 8*b - 22. Let a be q(11). Solve 0 = 5*n + 1 - a for n.
2
Let s(r) = r + 5. Let l be s(0). Suppose 6 = l*w - 4. Suppose -9*q + 4*q = 0. Solve q*z + 2 = w*z for z.
1
Let h be 3 + (-2 - -3) + 0. Suppose a - 1 = -0*a, -h*a = 2*c - 18. Suppose 2*z + w = 6, -5*w + 1 + c = -z. Solve -b = -z*b for b.
0
Let m(s) = -s**3 + 6*s**2 + 2*s - 9. Let p be m(6). Suppose -5*j = c + 15, -c - 2*c = -j - p. Solve c*b - 3 = -b for b.
3
Suppose 1 = 2*b - 1, 2*b = -3*i + 11. Suppose 28 = -i*a + 94. Solve 0 = -3*d - 7 + a for d.
5
Let p(d) = 3*d**2 + d - 3. Let k(t) = 4*t**2 + 2*t - 4. Let j(u) = -2*k(u) + 3*p(u). Let s be j(-1). Let c = 5 + s. Solve 25 = -c*y + y for y.
-5
Let d = -28 - -40. Suppose 3*z - 6 - 3 = 0. Suppose -7*c + 25 = -2*c. Solve -c*r + d = -z for r.
3
Suppose 0 = -0*o - 5*o + 30. Let t(g) = -g**2 + 5*g + 7. Let i be t(o). Let h be 12 + i + (2 - 0). Solve w + h = -4*w for w.
-3
Let b = -28 + 40. Solve 0 = 3*r + b for r.
-4
Suppose 2*y = -0*m - 5*m + 15, -2*y + 6 = 2*m. Solve -s - 1 = m for s.
-4
Suppose -4*p + c + 18 = 0, -p - 7 = 5*c - 1. Solve 0 = p*f - 8*f for f.
0
Suppose 0*c - 2 = c. Let f be 4/((-4)/c) - -18. Suppose 0 = -3*a + 12 + 3. Solve -f = a*d - d for d.
-5
Suppose 5*r = -2*o - 9 + 169, -2*o = -10. Let y be 22/6 - 20/r. Solve -y*p = 2*p for p.
0
Let i be ((-18)/(-21))/(12/56). Solve i*d + d = -5 for d.
-1
Suppose -3*w + 6*w - b = 5, w + 5*b - 23 = 0. Solve w*i - 10 = i for i.
5
Let l(s) = s**2 - 14*s + 15. Let z be l(13). Let g = -5 - -8. Solve g*q - z = 4 for q.
2
Suppose -29 = -5*w - 2*m - 2*m, w = -5*m + 10. Solve 15 = -0*j + w*j for j.
3
Let o = 4 - 2. Let a(m) = -o + 4*m - 1 + m**2 - 3 - m. Let r be a(-5). Solve 0 = h + h + r for h.
-2
Let t = -5 - -7. Suppose 0 - 8 = -t*a. Solve p + a*p = 0 for p.
0
Suppose 0 = -r - p - 10, 0 = -4*p + 14 - 6. Let s = r - -18. Solve 2 - s = -x for x.
4
Let d(f) = f**3 - 14*f**2 + f - 12. Let v be d(14). Solve -v*t + 10 = -4*t for t.
-5
Let h(u) = u**2 - 5*u - 7. Let v be h(6). Let s = 3 + v. Solve -s*p - 3*p - 25 = 0 for p.
-5
Suppose 0 = -5*x + 4*g + 175, -x + g = 3*x - 140. Suppose 5*m + 10 = x. Suppose -2*p = -3*p. Solve p*j = -m*j - 15 for j.
-3
Suppose -2*u - 2*u = -24. Let w(c) = c**3 - 5*c**2 - 2*c - 8. Let r be w(u). Solve r = n + 3*n for n.
4
Let y = -1 - 2. Let u = -1 - y. Solve p + u = -p for p.
-1
Let l(m) = m + 8. Let v be l(-4). Solve -3*u - 1 = -v for u.
1
Let d be (9/6 - 2)*-2. Let p(m) = d - m**2 + 2*m**2 + m + 2. Let r be p(0). Solve 0*t = r*t + 9 for t.
-3
Let k(w) = w**3 - 19*w**2 + w - 18. Let o be k(19). Solve 2*y = y - o for y.
-1
Let s be -1 + 10 - (-2 - -3). Suppose -s = -5*i + 12. Solve 13 = -i*c - 7 for c.
-5
Let n be (6/(-4))/(6/(-8)). Solve -n = -b - b for b.
1
Let h(o) = o**3 - 17*o**2 - 20*o + 36. Let k be h(18). Solve k = 4*x + 1 - 5 for x.
1
Suppose 8 + 13 = 7*z. Solve 0 = -z*m - 4 - 11 for m.
-5
Suppose -5*z = -23 + 3. Suppose -10 + 2 = -4*l. Let u be (z/3)/(l/3). Solve 0 = r + u - 3 for r.
1
Let c(m) = m**2 + 2*m - 5. Let v be c(-4). Suppose 4*q = v*s - 25, 32 + 33 = 5*s - 2*q. Solve -2*z + 5 = s for z.
-5
Let y(m) = -5*m - 1. Let o be y(-1). Solve -4*r + 4 = -o for r.
2
Let t(d) = 6*d - 3. Let f(c) = 5*c - 3. Let i(m) = 4*f(m) - 3*t(m). Let u(q) = q**3 - 7*q**2 + 2. Let n be u(7). Let z be i(n). Solve 0*r = r + z for r.
-1
Let q be (-78)/(-10) - (-1)/5. Let f = 4 - q. Let i(k) = -2*k + 1. Let w be i(f). Solve -x = 2*x - w for x.
3
Let g = -24 - -26. Solve g*d = 4 - 2 for d.
1
Let k = -45 - -49. Solve k*m = 25 - 5 for m.
5
Let i(b) = -b**3 - 2*b**2 - 3*b - 4. Let y be i(-2). Solve -y*h - 3 = 1 for h.
-2
Let r = 0 - -1. Suppose -27 = 159*m - 168*m. Solve -m*o - r = -7 for o.
2
Let q = 40 + -37. Solve 0 = 2*g + q*g - 10 for g.
2
Let l(z) = -z**2 - 12*z - 10. Let w be l(-10). Let d(s) = -s**2 + 11*s - 8. Let q be d(w). Solve q*v + v = 9 for v.
3
Suppose -62 = -3*u + 2*u. Suppose -4*q + 2*q = -2*c + u, c - 5*q = 19. Suppose -x + 2*v = -13, c = 4*x + 4*v - 3*v. Solve 4*d = x*d - 15 for d.
3
Suppose 2*f = -0*f - 2. Let g be 1/f*(2 + -2). Solve g*v = -4*v for v.
0
Let o be -3 + 5 + 1 - 1. Let n be (-3)/(-6) + 2/(-4). Suppose 0*y - o*y + 12 = n. Solve r - 20 = y*r for r.
-4
Let v(q) be the third derivative of -2*q**2 - 1/6*q**4 + 0*q + 1/60*q**5 + 0*q**3 + 0. Let u be v(4). Solve 2*x + u = 6 for x.
3
Suppose 4*v + v = -2*d + 14, -4*v = -5*d - 31. Suppose 0 = -3*n + 22 + 14. Suppose 4*t - 3*t = 3*t. Solve t*o - v*o = -n for o.
3
Let p be 2 + (8 - 4 - 4). Solve -p*b + 0*b + 6 = 0 for b.
3
Let l = -20 - -31. Let o(f) = f**2 + 3*f + 2. Let a be o(-2). Suppose 2*m - 4*k = -3*m - 10, a = 2*m - 3*k + l. Solve m*i = 3*i - 2 for i.
2
Let g(z) = 4*z**2 + 8*z - 4. Let u be g(-7). Let q be u/(-14) + (-4)/14. Let s be (6/12)/((-1)/q). Solve 0 = 3*l + 2 - s for l.
1
Let m be ((-4)/6)/((-1)/3). Suppose 0 = -k + 5 + 1. Let u be (k/(-2))/(3/(-4)). Solve 2*p - u = -m for p.
1
Let d be (-2)/(-9) + (-4)/18. Let x(b) = -9*b - 2. Let u be x(1). Let h = u + 16. Solve 3*s - h*s = d for s.
0
Let r be (2 + 2)/8*4. Let h = 2 - 1. Solve h - r = d for d.
-1
Let h(l) be the first derivative of l**4/4 - 2*l**3/3 + l**2/2 + 2. Let c be h(1). Solve 3*r = -c*r for r.
0
Suppose -5 = -7*d + 2*d. Solve -5*j + d = 16 for j.
-3
Let f = 1 - -4. Let o = f - 0. Solve -u + o*u - 8 = 0 for u.
2
Let q(l) = -2*l - 13. Let f be 1/(28/(-9) - -3). Let j be q(f). Solve p - 4 = -j for p.
-1
Suppose -3*d + 71 = 23. Let t = 45 - 36. Solve -5*s + t = -d for s.
5
Let s = -16 + 18. Solve 0 = -s*z - 10 for z.
-5
Let h(z) = z**2 - 3*z + 3. Let b be h(3). Solve -2 = -b*m + 1 for m.
1
Suppose 5*s - 20 = s. Suppose -2*d + s - 3 = 0. Let n be (5/10)/(d/6). Solve 10 = n*i - 5 for i.
5
Let s(m) = m**2 - 9*m + 8. Suppose -t + 4*q - q - 1 = 0, 5*q - 15 = 0. Let u be s(t). Let v be -1*(-1 + u) - -1. Solve h - 5 = v*h for h.
-5
Let j be (-3)/(2 - 10/4). Let p = j + -1. Suppose -p*y + 4 + 1 = 0. Solve -2*k + 3 = -y for k.
2
Let b(c) be the second derivative of -c**4/12 - c**3 - 3*c**2/2 - 4*c. Let d = -10 + 6. Let v be b(d). Solve -v*p = -p for p.
0
Suppose -5*p - 5*g - 10 = 0, -g + 4*g = 4*p - 6. Solve 0 = -p*o - o for o.
0
Let a = -86 + 90. Solve a*s - 5 = 11 for s.
4
Let u = 46 + -37. Solve 3 + u = 4*p for p.
3
Let c = 144 - 144. Solve c = -4*i - 15 + 35 for i.
5
Let h(t) = -t**3 + 7*t**2 - 6*t + 2. Suppose -2*d - 22 = -5*j - 0*d, -5*j + 14 = -4*d. Let m be h(j). Solve -m*i + 3 = 11 for i.
-4
Let v(o) = -o**3 - 5*o**2 - 4*o + 2. Let g be v(-4). Suppose -2*m - 2*j = 2, g*j = -7 + 1. Suppose a = -a + m. Solve -2 - a = -3*n for n.
1
Let q(x) = -x + 10. Let a(k) = -3*k + 30. Let f(n) = 4*a(n) - 11*q(n). Let r be f(5). Solve 0*z - r*z = 5 for z.
-1
Let k be 4/(-10) + 2/5. Solve k = 3*d - d - 10 for d.
5
Let s(v) = -v**3 - 3*v**2 + 3*v. Let p = 9 + -13. Let w be s(p). Solve 5*t + 16 = -w for t.
-4
Suppose 2*z + 149 - 157 = 0. Solve -z*x - 4 = -5*x for x.
4
Suppose -4*p + 0*p - 5*y = 124, 0 = 5*p - 2*y + 122. Suppose 0 = 3*j + 5*g + 48, -5*j - g - 15 - 65 = 0. Let s = j - p. Solve -2*x = -s - 0 for x.
5
Suppose -s - b = -4*s + 18, -2*s = -3*b - 19. Solve t = s*t for t.
0
Suppose -24 = f - 4*f. Suppose -2*y + 3*t + 27 = 2*y, t + f = y. Solve 2*b + y + 3 = 0 for b.
-3
Suppose 166 = 4*x - 10. Let f be (-4)/22 - (-96)/x. Solve -f*d + 0 = 8 for d.
-4
Suppose -5*v - 21 = 8*h - 4*h, 0 = -h + 4*v + 21. Solve -2*o = h - 9 for o.
4
Suppose 6 = 15*n - 13*n. Solve -3*l - n = -4*l for l.
3
Suppose 0 = -0*