24 = 0. Solve -k*n + 6 = n for n.
2
Let j(c) = 2*c. Let d = 9 - 8. Let m be j(d). Let q be 1/((4 - m)/8). Solve -q*k = 5 - 1 for k.
-1
Let u(x) = -x - 1. Let t be u(-1). Let a be 2 - -2*(t + -1). Solve 2*j - 6*j + 12 = a for j.
3
Let d = 19 + -14. Solve 0 = -0*w - d*w for w.
0
Let b(j) = j**3 - 7*j**2 - j + 7. Let o be b(7). Solve o = k + 1 - 5 for k.
4
Let r(v) be the second derivative of -v + 3/2*v**2 + 0 + 1/6*v**3. Let p be r(0). Solve -p = y - 7 for y.
4
Let q(p) = p + 10. Let z(d) = -4*d - 51. Let x(u) = -11*q(u) - 2*z(u). Let v be x(-4). Solve -i = -v*i for i.
0
Let c(j) = -j + 0*j - j. Let a be c(-3). Solve 2*f - a - 4 = 0 for f.
5
Let c = 1 + 4. Suppose -14 = -0*u - 2*u. Suppose y = -5*w + 3, -y - y - 4*w + 6 = 0. Solve c*r + y = -u for r.
-2
Let i(n) = -n**3 + 9*n**2 - 9*n + 10. Let d be i(8). Suppose 0*k + k - 10 = d*t, -4*k = -4*t - 24. Solve 7*v - 25 = k*v for v.
5
Let i(c) = -c**2 + 6*c + 7. Let t be i(7). Suppose -5*v + t*v + 10 = 0. Solve v = 2*w - 2 for w.
2
Let b = 0 + 0. Suppose b = 2*d - 4 - 2. Solve -15 = 2*v + d*v for v.
-3
Suppose -n + 1 = 2*l, -6*l + 5*n - 5 = -2*l. Suppose l = -5*i + 54 + 26. Solve -b + 5*b = -i for b.
-4
Let y be (-208)/20 + 4/10. Let w = 18 + y. Let n be (w*-3 - 1)/(-1). Solve -4*q + n = q for q.
5
Let j(u) = -2*u**3 - 11*u**2 - 5*u + 7. Let r be j(-5). Solve -r*d = -2*d + 15 for d.
-3
Let u(v) = v**2. Let x be u(2). Solve 8 = -4*z - x for z.
-3
Let l(v) = v**3 + 5*v**2 + 1. Let s be l(-5). Solve -2*b + 3 = -s for b.
2
Let i(m) = m**2 + 11*m - 6. Let q be i(-12). Solve -1 = 5*b - q for b.
1
Suppose 12 = 4*w - z, 4*z + 9 = 3*w - 0*z. Suppose -2*l - l = -6. Suppose 2*a + 4*t = -a, -4*a = t. Solve a = l*v - w*v for v.
0
Suppose 4*f - 2 - 18 = 0. Solve f = 7*v - 2*v for v.
1
Let y(x) = -x**3 + 6*x**2 - 3*x - 2. Let d be y(5). Suppose j - d = -3*j. Suppose j*r - t + 3*t - 12 = 0, -4 = 2*r - 2*t. Solve -2 = -v + r for v.
4
Let u(m) = 4*m**2 + m - 6. Let d be u(-2). Solve -2*z = -d + 2 for z.
3
Suppose -7 = -3*j + 2. Solve -4*u - j = -u for u.
-1
Suppose -3*f + 0*w + 4*w - 1 = 0, -29 = -5*f - w. Suppose -20 = -4*o + 76. Let q = -4 + o. Solve -f*k = -k - q for k.
5
Let c = -15 - -17. Let g be (c + -1)/((-1)/(-2)). Solve -2 = 4*a + g for a.
-1
Let r be -3 - (3/(-1) + -27). Suppose -r = -5*j + 18. Let w be 137/j + (-4)/18. Solve 0*t + w = 3*t for t.
5
Suppose 3*w + 3 = 12. Suppose 5 = w*f - 1. Solve -3*k + 17 = f for k.
5
Suppose -t - t + 14 = 0. Suppose t*j = 2*j. Solve v = -j*v for v.
0
Let n be 7/3 + (-2)/(-3). Suppose 8 - 22 = -n*m + 4*p, 4 = 5*m + 3*p. Suppose -o + 5 = 5*d - 5, 0 = -2*o - 3*d + 6. Solve -m*z + o = 2 for z.
-1
Suppose -2 - 4 = -3*c. Solve -7*b = -c*b for b.
0
Let u(a) = a**3 + 5*a**2 - 8*a - 7. Suppose -5*b = -x - 11, -2*x + 3*b - 5 = 10. Let c be u(x). Solve 0 + 10 = -c*s for s.
-2
Let b be 92/6 + 4/6. Suppose -2*v + 20 = 14. Solve -1 = -v*y - b for y.
-5
Let c be (2 - 0) + (6 - 6). Suppose 0 = c*b + b. Solve b = -3*k + 7 + 2 for k.
3
Let l(d) = -d + 2. Let c be l(2). Solve c*z = 4*z for z.
0
Let o be 6/(-15) + 6/15. Let r be -2 + 5 + (o - 2). Solve 5 = 3*k - r for k.
2
Suppose 2*a = 2*g - 6, -5*g + a = 3 - 22. Solve -2 - 10 = g*w for w.
-3
Suppose 5*p + 4 = p - 4*c, -3*p + 2*c + 2 = 0. Suppose p = -d - d + 20. Suppose -16 = -0*r - 4*r. Solve -d - 10 = -r*g for g.
5
Let g(t) = -t**3 - 8*t**2 + 7*t + 4. Let m be g(-9). Suppose -j - p = -6*p - m, 0 = -5*j - 5*p - 10. Solve -20 = j*s - 7*s for s.
4
Suppose -3*w + 1 = -8. Suppose 7*u = 5*d + 4*u - 1, -u - 3 = -w*d. Suppose -40 = -7*j + d*j. Solve 0 = -2*b + j + 2 for b.
5
Let f = 4 - 0. Suppose 20 = 4*b - 5*o, 4*o - 5*o = b + f. Solve -5*a = -b*a for a.
0
Let u = 24 + -21. Solve -u*n - 25 = 2*n for n.
-5
Suppose -52 = 5*w + 3. Let g = w - -16. Suppose g*l = -0 + 10. Solve 0 = -l*x + 1 - 7 for x.
-3
Let b(y) = y**2 - y + 2. Let k be b(2). Let u = -40 + 41. Solve -i - u + k = 0 for i.
3
Let v = 18 - 2. Suppose -t = 1, -5*j + v = -3*t + 3. Solve -2 = -j*l - 4 for l.
-1
Suppose -9 + 11 = g. Suppose 9 = d + g. Solve d = 4*a + 3 for a.
1
Suppose 3*v = 4*h, 5*v - 20 - 15 = -5*h. Let f = -4 + v. Solve 2*a + a + 9 = f for a.
-3
Suppose 7 = -3*i + 5*j, 0 = -i + 4*j - 0*j - 7. Solve o + i = 6 for o.
5
Suppose h + 4*p = 4, 3*h - 3*p + 0 = 12. Solve 2*i - h*i + 8 = 0 for i.
4
Suppose -5*h + 4 + 16 = 0. Solve 0*f - 4 = h*f for f.
-1
Let w be 0 + (4 - 3) - -1. Solve -w*u = 3*u + 20 for u.
-4
Let h(v) = -v + 8. Let t be h(6). Suppose -4*z = t*q - 10, 2*z + q - 6*q = -13. Suppose 0 = x - z, 3*k - 2 = 2*k + 2*x. Solve 4*n = 3*n - k for n.
-4
Let l(k) = 0*k + 9 + k - 2*k + 0. Let u be l(8). Let t be -1*1 - (-3 - -2). Solve t*c - c = -u for c.
1
Let r = 14 + -28. Let d = -7 - r. Solve 5 = 4*j - d for j.
3
Let x(k) = 2*k + 10. Let f be x(-4). Suppose 0 = -2*i + 7 - 3. Solve -i - 4 = f*y for y.
-3
Suppose 2*c = -o - 0*o + 5, -3*o + 15 = 2*c. Solve -6 = 2*a - o*a for a.
2
Let j(u) = -4*u**2 + 5*u**3 - u**3 + 3 - 5*u**3. Let k be j(-4). Solve -k*p + 20 = 2*p for p.
4
Let i(h) = h**3 - 7*h**2 - 8*h + 11. Let y be i(8). Let b = -9 + y. Solve -b*z = 8 + 2 for z.
-5
Suppose -3*p = -2*p + 3*i - 6, 0 = -3*p - 2*i + 4. Solve x + 4*x - 10 = p for x.
2
Let w(u) = u**3 + 8*u**2 + u + 6. Let m be w(-8). Let a be 3/m*(-2 - 0). Solve -a*o = -o + 4 for o.
-2
Let i(f) = f**3 - 7*f**2 + f - 5. Let y be i(7). Let s(n) = 7*n**2 + 2*n - 1. Let c be s(1). Let g = -6 + c. Solve -y*t + 8 = g*t for t.
2
Let l = 25 + -22. Solve l*o = -0*o for o.
0
Let c be 9*5/90 + 46/4. Suppose -q + 2*q = 3. Solve -c = -w - q*w for w.
3
Let q be (12/15)/((-1)/(-5)). Suppose 4*r - 33 = r. Suppose 4*y - 4 = -0. Solve -q*b - y = r for b.
-3
Suppose -8 = 4*f + 8. Let r be (-1 - f)*1 + 9. Solve r = -3*g - g for g.
-3
Let m(u) = -u + 1. Let g be m(2). Let z = -1 - g. Solve 4*q - 1 - 7 = z for q.
2
Let q = -4 - 8. Let z = q - -14. Solve 3*j = 2*j - z for j.
-2
Suppose 3*z + 18 = 6*z. Suppose -10*m = -z*m - 20. Solve 0 = -m*y + 11 - 1 for y.
2
Let f(m) = m - 8. Let v be f(13). Suppose -6*n + v*n + 5 = 0. Solve -n*j + 16 = -j for j.
4
Let k be ((-19)/4)/((-2)/8). Suppose 4*f + f - 2*q = 26, -4*f + k = -q. Solve f*o + 3 = 11 for o.
2
Let p = 20 + -12. Suppose 4*m = p + 24. Solve 10 = -3*c + m*c for c.
2
Let k = 83 - 71. Solve -5*x = k - 2 for x.
-2
Let h(q) = q**2 + 8*q + 5. Let n be h(-8). Solve n*v - 11 = -36 for v.
-5
Let i be (-72)/(-32)*(-4)/(-3). Solve 5*n + 2 = i*n for n.
-1
Let v = 3 - 3. Suppose 5*a + 20 = v, 34 + 6 = 4*l + 2*a. Suppose 0 = u - t + 5, -3*u = -2*u - 4*t + 20. Solve 0*s + 3*s + l = u for s.
-4
Let v be (9/6)/(2/(-8)). Let y(b) = -2 + 2*b + 3*b - b**2 - 12*b. Let n be y(v). Solve 5*k = n*k + 3 for k.
3
Let y(u) = u + 1. Let m be -15*(10/6 - 2). Let f be y(m). Solve -c = -3*c - f for c.
-3
Let i be 4 + -1 - (5 + 1). Let h = i + 18. Solve 3 = -3*c + h for c.
4
Let p = -6 - -8. Suppose 0 = -2*y - 3 + 9. Suppose p*q = q + y. Solve -q*g = -5*g for g.
0
Let j = 2 + 1. Let a = -8 + 15. Solve j*y + a = -8 for y.
-5
Suppose -4*k + 5*k = 0. Solve k = p + 4*p - 5 for p.
1
Suppose 0 = -3*i + 5*w + 12, 4*i - 16 = -0*i + 2*w. Solve y = -i*y + 20 for y.
4
Suppose -4*n + 9 = -n. Suppose -n*w + 4 = 5*g - 0, -3*w + 3*g = -12. Suppose -w*l = -2*l. Solve l = 3*a - 7 - 2 for a.
3
Suppose 11*x - 28 = 7*x. Solve -5*z = -x*z + 4 for z.
2
Suppose 3*s + 4*p - 1 = 25, -35 = -5*s - 5*p. Let d(y) = y**3 + 8*y**2 + 6*y - 5. Let o = -17 + 10. Let g be d(o). Solve 0 = -0*t - g*t + s for t.
1
Let q be (-10 + -2)*1/(-3). Let t be 3/(-12) - 146/(-8). Suppose 0 = q*c - t + 2. Solve -3*x = -c*x for x.
0
Suppose -9 = 3*m - 2*m - g, -2*m - 6 = 2*g. Let q be (21/6)/(-7)*m. Solve 2*p + 1 = q for p.
1
Let q = -19 + 23. Suppose 0 = 3*y - 10 + q. Solve y*t = -t + 9 for t.
3
Let r(d) = -d**3 - 3*d**2 - 2*d + 2. Let y be r(-2). Suppose y*i + 0*i = 12. Let o = -28 - -28. Solve o = -t - i + 3 for t.
-3
Suppose 7*a = 5*a + 12. Solve -3*h = -a*h + 12 for h.
4
Suppose 0 = 3*j - 79 - 110. Let y = j - 38. Solve 2*u + 3*u = y for u.
5
Let c(l) = 2*l - l**2 + 2 + 5*l**2 - 5*l**2 - 11*l. Let a be c(-8). Let r = 11 + -6. Solve -a = 5*s + r for s.
-3
Let f(s) = -s + 3. Let y be f(0). Suppose -y*b + 5 = 125. Let l = -29 - b. Solve -l - 5 = 4*x for x.
-4
Suppose -4*p + 4 = -0*p. Let q be p/4 - 77/(-44). Solve q*u = -6 - 2 for u.
-4
Let a(j) = 2*j