 Solve k = o + o for o.
0
Let f = -46 - -49. Solve 5*k = 2*k + f for k.
1
Let p(g) = g**3 - 7*g**2 + 6*g + 2. Let u = 10 - 4. Let s be p(u). Suppose 7*h = s*h. Solve h = -b - 4*b - 10 for b.
-2
Suppose x + 5*h - 23 = -0*h, -2*h = -2*x - 2. Suppose -4*o - a = 24, -3*o + 0*a - a - 18 = 0. Let g be (3 + o)/(-1) - 3. Solve -x*w + 8*w - 20 = g for w.
4
Let t(o) = -o**2 + 11*o - 15. Let m be t(6). Let y = 9 + -18. Let z be (y/m)/((-3)/15). Solve 0 = -z*d - d + 16 for d.
4
Suppose -4*q + 4 = 2*c, 2*c - 4*q = 4 - 0. Solve 3*l = c*l - 4 for l.
-4
Let r be 2/(12/(-2)) + 119/51. Solve -5*v - r = -3*v for v.
-1
Suppose 2*t - t - 5 = 0. Suppose t*y + y = 0. Solve y = -3*h + 5 + 7 for h.
4
Let b be (-2 - -4) + (-2 + 3 - -1). Solve -b + 2 = 2*p for p.
-1
Suppose -4*k + 8 = 4*k. Solve -2*r = -r + k for r.
-1
Suppose -q = -3*d - 19, 3*q = 3*d - d + 22. Let w = -2 - d. Suppose -5 - w = -2*v. Solve 0 = -v*m - m - 25 for m.
-5
Suppose -2*m = -m - 3. Solve 6 = m*x - 5*x for x.
-3
Suppose 4*b - 3*w = 5, 0*b + 4*b + 2*w = 10. Solve 0 = 5*q - b*q for q.
0
Let w(l) = 2*l + 4. Let u be w(0). Solve -5*k - u = 1 for k.
-1
Suppose -4*r + 3*w = -11, -2*r + 2*w = -1 - 3. Suppose -r*x = -0*x. Solve -6*h + 2*h = x for h.
0
Suppose 0 = 4*q + 3*q. Solve q = -4*s + 4 + 4 for s.
2
Suppose 5*c = -20, 0*k - 17 = -k + 3*c. Let l = 2 + -2. Solve -k*q - 13 + 3 = l for q.
-2
Let a(m) be the second derivative of m**4/12 - m**3/6 - 4*m. Let y be a(-2). Solve 0 = -0*n - 2*n + y for n.
3
Suppose 35*m = -2*m + 74. Suppose 0*z = 3*n + 3*z - 9, -2*n - 1 = -5*z. Solve m*d = -n*d - 20 for d.
-5
Suppose 0*h = 5*h. Suppose h = -0*w - 5*w + 20. Let v be 3/6*-2 + w. Solve n = v*n for n.
0
Suppose 3 = 3*g - 9. Suppose 0 = 2*n - 0*n + 10. Let r = 7 + n. Solve -r*c = -0*c + g for c.
-2
Suppose 10 = 4*b + n, -b = 4*b + 3*n - 16. Suppose -32 = -5*v + b*y + 26, 0 = -v - y + 13. Solve 3*u + u = v for u.
3
Suppose f = 2*m, -2*m + 4*f = -4*m. Suppose m*y - 2*y = -16. Solve 0 = -y*k + 3*k - 5 for k.
-1
Let x = 76 - 70. Solve 0 = x*a - 2*a - 20 for a.
5
Let a(v) be the second derivative of -2*v**3/3 - 3*v**2 + 2*v. Let h be a(-4). Suppose 2*r - 179 = -175. Solve r*y - h = -3*y for y.
2
Let i(s) = s + 4*s**2 - 2*s**2 + 8 + s**3 + 6*s**2. Suppose n + 0 + 8 = 0. Let d be i(n). Solve 4*j + d = -8 for j.
-2
Suppose -2*z + 0*z - 6 = x, 3*z - 2*x = 5. Let o be -2 - z/((-1)/(-48)). Suppose -4*y - 5*r = -o, 0*y = -5*y - 3*r + 51. Solve -3*l = y - 0 for l.
-3
Let d be (6/4 + -3)*4/(-6). Solve 2*g - 5 = d for g.
3
Let i = 10 - 1. Solve 5*p - 8 = i*p for p.
-2
Suppose -4*i + 33 - 1 = 0. Suppose -13*c + 30 = -i*c. Solve -2*o - c = -2 for o.
-2
Let l be (-9)/(-3 + (-1)/2 - -2). Solve -4*p = -l*p for p.
0
Let b be 9/(-18)*-2*1. Let z(c) = 12*c - 3. Let s be z(b). Solve 1 = 2*l + s for l.
-4
Suppose 2 = h - 3, 0 = -4*g + 3*h + 137. Suppose -s + 46 = 5*k, 5*k - s - g = -4*s. Let i = 15 - 5. Solve 0 = -5*q - k - i for q.
-4
Let l(w) = w**3 - 6*w**2 + 11*w - 5. Let o be l(4). Solve -5*c - o = 8 for c.
-3
Let m(o) = o + 8. Let z be m(-6). Suppose -3*x = -0*x - 12. Suppose 0*i - 2*a = x*i - 28, a + 40 = 4*i. Solve -z*j + 3 = i for j.
-3
Suppose -34 = -17*x + 17. Solve 0*p = x*p for p.
0
Suppose -3*g = 2*v - 9 + 2, 3*g + v - 5 = 0. Solve 0*c = c + g for c.
-1
Let x be 3*(-3 + (-10)/(-3)). Let b be 4/(-12) + x/3. Solve b = -t + 3 for t.
3
Let w(s) = -s**3 - s**2 + s + 2. Let t be w(0). Let h be (3 + -2)/(-1) + t. Solve -1 - h = -2*m for m.
1
Suppose -3*w + 2*w + 5*u + 5 = 0, 0 = 2*w + 2*u - 22. Solve -h = h - w for h.
5
Suppose 3*c - 78 = -57. Solve 2*d = c*d - 10 for d.
2
Let q be -3*(-3 + -1 + 3). Let v(h) = 2*h**2 - 5*h + 4. Let n be v(q). Solve 1 = 4*i - n for i.
2
Suppose -r + 4 = -0*r. Solve -n + r*n = 9 for n.
3
Let b(k) = k**2 + 7*k - 8. Let j be b(-7). Let f = 9 + j. Suppose -i + 1 = -f. Solve -6 = -i*w + 4 for w.
5
Suppose -3*m - 5 = 1. Let g be 0 + m + (1 - -3). Solve 7*d = g*d + 10 for d.
2
Let x = 0 - -3. Let y(w) = w**2 + x - 3 + 2 - 3*w. Let j be y(3). Solve -5 = -d + j*d for d.
-5
Suppose 0 = 5*t - 3 - 7. Suppose -4*a + 0 = -8. Suppose -a*q = -3*q. Solve t*v - 1 - 9 = q for v.
5
Suppose 5 = -l + 2*f - 1, -14 = -3*l - 2*f. Suppose l + 13 = 3*u. Solve -7 = -3*k + u for k.
4
Let o(n) = 2*n**2 - 3*n. Let w be o(3). Suppose 0 = -2*j - j + w. Solve -x = -2*x + j for x.
3
Let c be (2 - -1)/(4/4). Solve 0*t = -c*t for t.
0
Suppose 6*k - 3*k = 0, 0 = -5*i - 2*k + 35. Let f(o) = o - 4. Let b be f(i). Solve 5*d = -23 + b for d.
-4
Let c(f) = 2*f - 24. Let y be c(15). Solve 3*m - 6 = y*m for m.
-2
Let z = -25 + 25. Solve -w + z = 4 for w.
-4
Let i be 9/7 + 16/(-56). Solve -i = -5*x + 4 for x.
1
Let w(z) = -2*z + 26. Let y be w(12). Solve -y*r + 6 - 2 = 0 for r.
2
Suppose i = 1 + 3. Solve -i*b - b = 0 for b.
0
Let j be 1 - 6 - -4 - -2. Solve 0 = q + 2 + j for q.
-3
Suppose -5*c - 25 = 4*m, -2*m = 2*m - 4*c - 20. Solve 2*h + 1 + 1 = m for h.
-1
Suppose 5*x = -15 + 5. Let f be -3*(-2)/3 - x. Suppose -2*i + 2 = -2*g, -f*g - g - 4*i = -22. Solve o - 3 = g*o for o.
-3
Let y = 1 + -1. Let t = 14 + -5. Solve y = -p - 2*p - t for p.
-3
Let o be 1/(3/((-6)/(-1))). Suppose -2*u + 2*g = -0*g - 32, 0 = u - 2*g - 20. Suppose u = 4*j, 0*a - 5*a = 5*j - 25. Solve o*y + 8 - a = 0 for y.
-3
Let w be ((-24)/18)/(4/(-6)). Let m = -9 + 16. Solve -w*u = -m - 3 for u.
5
Let l(g) = -g**3 + 4*g**2 + 6*g - 10. Let x be l(5). Let n be (7/(-6))/(x/30). Solve -n*h = -3*h - 12 for h.
3
Let z = 1 + 1. Suppose -l - 58 = -3*y, -l + 6 = z*l. Suppose 4*h - 10 = 2*h. Solve h*n + y = 5 for n.
-3
Suppose 37 + 68 = 5*v. Let k = v + -17. Suppose -d = 3*b + d - 10, 0 = b - 2*d + 2. Solve b*x = k*x - 10 for x.
5
Suppose m - 2*a - a = 1, -m = -2*a. Let v be m/(1/(-2)*-4). Let f be -3 + 3 + v + 1. Solve -j - 2 = -f*j for j.
-2
Let w be (-8)/(-24) - 22/(-6). Let l be 2/((-6)/w - -2). Solve -l = -3*o - 16 for o.
-4
Suppose -17 = w + 18. Let z be (-60)/w + (-4)/(-14). Let p = -6 - -9. Solve -z*g = -p*g + 4 for g.
4
Let r be 11/6 - (-8)/48. Solve -r*g + 8 = 2*g for g.
2
Suppose -6*s + 54 - 6 = 0. Solve 3*a - s*a = -5 for a.
1
Let i = 7 + -4. Let p(a) = -a**3 + 2*a**2 + 4*a + 1. Let l be p(i). Solve -g - 3 = -l*g for g.
1
Let b be ((-4)/(-10))/((-4)/(-10)). Let q = b - -4. Let c be 6/(-21) + (-30)/(-7). Solve 25 = c*f + q for f.
5
Let v(u) = u**2 - u - 4. Let q be v(-3). Let x = 36 - q. Let l = -8 - -12. Solve l*o = -x + 8 for o.
-5
Let z = 4 + -7. Let o be (-1 - 0) + 2 + 4. Let q = o + z. Solve q*l + 3 + 1 = 0 for l.
-2
Let x = -20 - -22. Suppose 3*l - 2*l = x. Solve 5*w = l*w + 12 for w.
4
Suppose 5*s - 3*f - 1 = 6, 3*s = 4*f + 2. Solve -s*k - 2 = -4*k for k.
1
Let m(f) = -f**2 - 3 - 5*f**2 + 0*f**2 + f**3 + 6*f. Let v be m(5). Suppose 0*g - 5 = 4*g + 5*c, 3*c = -4*g - 3. Solve -v*t + t + 3 = g for t.
3
Suppose -3 = -5*x + 2*x + 3*l, -3*x - 2*l - 2 = 0. Solve x = -r + 2 for r.
2
Let w(r) = -2*r - 6. Let a be w(-4). Suppose 4 = a*v - 0*v. Solve 0 = v*n + 3*n + 15 for n.
-3
Suppose 0*k - k = -3*b + 13, -3*k = 3*b - 9. Suppose -b*p = -3*p - 2. Suppose -3*g - 2*g + 20 = 0. Solve -g = -v - p for v.
2
Let k be (-4)/(-10) + 36/10. Let z(f) = -4*f - 69. Let b be z(-18). Solve -m = b*m - k for m.
1
Let u be 5*(1 - 0) - 3. Suppose k = u*k. Solve 0 = -2*a - 2 - k for a.
-1
Let s(z) = 6*z + 38. Let m be s(-6). Let h(x) = -2*x + 1. Let t be h(-1). Solve m*l = l - t for l.
-3
Suppose 0 = 3*y, 2*x = -9*y + 4*y + 56. Solve 0 = -4*d + 12 - x for d.
-4
Let a(f) = -2*f + 4. Let d be a(2). Solve v + v - 10 = d for v.
5
Let i(k) = -10*k - 3. Let w be i(-2). Suppose s - w - 5 = -5*b, 4*b = -2*s + 20. Suppose 0 = -5*x - 3*a + 3, 8*x - 4*x = 2*a - s. Solve 12 + x = 4*n for n.
3
Let p = 4 + -4. Suppose b + 16 = 5*b. Solve 0 = -m - p + b for m.
4
Suppose 3*z - 14 = 4. Let s = 11 + 5. Let d be 1/(-1) + s/4. Solve z = 3*u - d for u.
3
Suppose 1 + 3 = 2*b. Solve -6 = -b*d + 4*d for d.
-3
Suppose z = -9 + 21. Solve p + 3*p - z = 0 for p.
3
Let q(w) = -45*w**3 - w**2 - w - 1. Let h be q(-1). Suppose h + 0 = -4*p. Let a = p - -15. Solve 0 = -0*v - a*v for v.
0
Let v = 2 - 0. Let a(x) = -x + 1. Let c be a(-5). Let r be ((-4)/c)/(8/(-60)). Solve r - 3 = -v*i for i.
-1
Let p = 1 - -5. Let v be p*2*(-1)/(-3). Solve 7*j = v*j - 6 for j.
-2
Let r = -2 - -2. Let t(c) = -c**2 - c + 3. Let j be t(-3). Let v =