m for k.
4
Let r be 1 - ((-2)/(-2) + -3). Suppose 8 = -4*b - 0*b. Let u = b + 7. Solve u*x = -23 + r for x.
-4
Suppose -16 + 14 = -2*w. Suppose 7 = 3*z - a + w, 4*a - 3 = 3*z. Solve -z*y - 2 = -y for y.
-1
Suppose 0 = 4*t, 4 = -h + 3*h + 2*t. Let z be (-4 - 45/(-10))*6. Suppose 0 = z*s - 5*p + 1 + 8, 2*p + 2 = 4*s. Solve 0 = m - h - s for m.
4
Suppose 3*l + 12 = 5*c + 3, 2*l = 5*c - 6. Let v be (4 - 2 - c)/2. Solve -o = v + 3 for o.
-4
Suppose 2*b = -3*b. Suppose b = 2*c - c - 3. Solve s + c = 1 for s.
-2
Let a(i) = -i**2 + i + 5. Let f be a(0). Solve -10 = f*z - 0*z for z.
-2
Suppose -d + 18 = 4*q - 0*d, 4*q - 3*d - 10 = 0. Suppose -5*f + 24 - q = 0. Solve 0 = -0*u + f*u + 16 for u.
-4
Suppose 5*a - 11 + 1 = 0. Let q(y) = -6*y**3 - y**2 - 2*y - 1. Let i be q(-1). Let n = i - a. Solve 0 = x + x + n for x.
-2
Let m(y) be the third derivative of y**6/120 + 2*y**5/15 + y**4/3 + 4*y**3/3 - 2*y**2. Let l be m(-7). Let k be (l - (-3)/(-2))*0. Solve k*b = -b for b.
0
Suppose 0 = -2*n + 2*p + 94, -3*n + 61 = 5*p - 112. Let j = -31 + n. Solve 3*o = -o + j for o.
5
Suppose -4*n + 4*t + 16 = 0, -2 = -n + 3*n - 4*t. Solve 3*f = -0*f - n for f.
-3
Let l(m) = -m - 7. Let j be l(-7). Suppose -8*o + 6*o + 8 = j. Solve 2 = o*d + 14 for d.
-3
Let w(l) = l**3 - l**2 + l + 4. Let k be w(0). Let v = 10 + -10. Solve k*r + v = -4 for r.
-1
Suppose 5*b - 15 = -3*v, -2*v + v + 5 = 0. Solve b*a - 5*a = 25 for a.
-5
Suppose 0 = 3*o - 4*o + 73. Suppose 5*d = -15, -2*h + o = 2*h - 3*d. Solve -4*a - h = -8*a for a.
4
Let t(b) = -b**2 - 10*b + 21. Let z be t(-11). Let c(y) be the first derivative of y**3/3 - 9*y**2/2 - 8*y + 1. Let a be c(z). Solve a*n - 9 = -n for n.
3
Let u be (4/(-4))/((-1)/2). Suppose -2*p + 0 + 4 = 0. Let o be (1 + 0 - 3) + 2. Solve p*h = -o*h + u for h.
1
Suppose -48 = 3*w - w. Let g = w + 44. Solve -4*y + g = y for y.
4
Let s(r) = 0*r**2 - 3*r**2 + 4*r + 3*r**2 - 4 - r**2. Let a be s(2). Solve a = -3*i + 14 + 1 for i.
5
Let w(x) = 2*x - 3. Let q be w(3). Suppose -2*d = -d - q. Solve -d*n = 19 - 4 for n.
-5
Let q(s) = s**2 - s - 2. Let p be q(-3). Let k be (-8)/p*(-75)/6. Solve -f + k = 4*f for f.
2
Let k be (4/10)/((-1)/(-15)). Let m = k + -2. Let s = -5 - -11. Solve s = m*h - h for h.
2
Let g(b) = -b**3 + 2*b**2 + 1. Let s be g(2). Let l be 2 - s - (2 + -1). Solve 5*y = -l*y - 15 for y.
-3
Let h(c) = -2*c**3 - 4*c**2 - c + 2. Let f be h(-2). Let t(y) = -5 + 5*y**2 - f*y + 2*y**2 - 6*y**2. Let x be t(5). Solve x = 5*i + 4 + 1 for i.
-1
Let r be ((-21)/(-2))/7*(10 + -2). Let v = 1 - -2. Solve -v*o = o - r for o.
3
Let y be 106/6 - 2/3. Let i = 11 - y. Let a be (-3)/(i/(-4)) + 5. Solve 2*n + a - 11 = 0 for n.
4
Let s = -6 + 2. Let v = 6 + s. Suppose -2*c = -5*c + 3. Solve -v*b - c = 3 for b.
-2
Let v = 118 - 70. Suppose 2*a + v = -2*a. Let h be (-6)/a + (-2)/4. Solve h*j = -4*j - 16 for j.
-4
Suppose -3*l = 2*l. Solve -j + 2*j = l for j.
0
Suppose -36*d + 29*d + 35 = 0. Solve 0 = 4*k - 5*k + d for k.
5
Suppose -4 = -2*g - 0. Let r be 0 - g - (-7 - -4). Solve x + r = -2 for x.
-3
Suppose -2*n - 6 = -3*m + m, m - 12 = 4*n. Suppose 5*j = 3*s - 22, -5*j = -4*s - m*s + 26. Let o = 2 - 2. Solve t + s*t = o for t.
0
Let q(r) = -41*r**2 + 3*r - 2. Let p be q(2). Let z be (-10)/65 - p/26. Solve -c = c + z for c.
-3
Let x be 412/60 + (-8)/(-60). Suppose 2*p = x*p - 20. Solve 18 = p*c - 2 for c.
5
Suppose 35 = -4*i + 47. Solve i = -3*q - 3 for q.
-2
Let b be (-74)/(-6) - 4/(-6). Suppose 0 = -k + b - 1. Solve -j = 2*j + k for j.
-4
Suppose -5*n + 4*x = -54, 14 = 3*n + 3*x - 13. Solve 2*v = -3*v + n for v.
2
Let x = -3 - -7. Let y be 14/(-2)*(3 - x). Suppose -y*m = 2*s - 2*m - 3, -3*s + 17 = -5*m. Solve s + 0 = 2*v for v.
2
Suppose 3*m + 0*m = 9. Solve 0 = y - m*y + 2 for y.
1
Suppose 26 = 2*a - 3*c + 5, -a - 2*c = -7. Suppose 0 = -2*f - 0*f. Solve 2*d - 5*d - a = f for d.
-3
Let d = -1 + 4. Solve 2*h + d + 7 = 0 for h.
-5
Suppose 0*q - 5*q = 0. Solve q = 3*b - b for b.
0
Let i be (-1)/((-2 - (-3)/2)*2). Solve -4*s + 11 = -i for s.
3
Suppose 16 = -j - 3*j. Let c be (j/(-6))/((-2)/(-6)). Suppose 0 = -3*w + c*w + 2. Solve -w*k = -k - 3 for k.
3
Suppose 5*q = 4*s - 5, -7 = s + 2*q - 18. Suppose 0 = -3*k, -s*x - 3*k = -0*k - 10. Solve -2 = -x*y - 10 for y.
-4
Suppose -16 = j - 9*j. Solve q = -q - j for q.
-1
Let b be 4/(-10) + 58/(-5). Let i be ((b*5)/3)/(-2). Let g be ((-16)/10)/((-4)/i). Solve -20 = g*a - 4 for a.
-4
Let i = 0 + 8. Suppose -2*w + 5*b = -33, -4*b - i = -0*w + 3*w. Solve -2*a - 4 = -w*a for a.
2
Suppose -11 = -3*r + 4. Suppose 150 = 9*t - 12. Suppose -3 + t = r*w. Solve 0 = -w*a + a - 8 for a.
-4
Suppose -4*x = 3*z - 68, 0 = 4*x - 2*x + 4*z - 44. Let d = -12 + x. Solve 3 = -d*i + 5*i for i.
1
Suppose -14 = -17*n + 10*n. Solve 0 = -0*w + n*w for w.
0
Let i = 7 + -5. Suppose 0 = -2*u + 4*n + 8, i*u + n - 4 = u. Solve -r + 3*r - u = 0 for r.
2
Let d be ((-2)/12*-8)/((-12)/(-27)). Solve 0 = d*y - y + 6 for y.
-3
Suppose -u + 0*u - 2 = 0. Let f(v) be the first derivative of -3*v**4/4 - v**3/3 - v**2 + v - 2. Let y be f(u). Solve 4*g + g = -y for g.
-5
Let i be 0*(1 + 0) - -2. Suppose -i*g = 3*g + 60. Let c be g/(-54) + 43/9. Solve 14 = c*b - 11 for b.
5
Let x be -2 - -2 - -1 - 17. Let o = x - -17. Solve -2*s = -3 - o for s.
2
Suppose 0 = 3*q - 5 - 10. Let b be 1/q - 27/(-15). Solve -c = c + b for c.
-1
Suppose i + 3 = 2*a - 0*a, 2*i = 3*a - 5. Let l(m) be the third derivative of -m**4/8 - m**3/6 + 4*m**2. Let g be l(i). Solve 0*c = -g*c + 8 for c.
4
Let f = -4 - -8. Suppose 3*w - y - 3*y - 48 = 0, 64 = 4*w + f*y. Solve 0 = 4*m - 4 - w for m.
5
Suppose 3*f - 5*f + 34 = 0. Suppose -5*n = -4*u + 2 + 27, 5*n = 2*u - f. Solve y = u*y + 15 for y.
-3
Let f = -10 - -15. Suppose -2*g - 4*d = -14, 2*g = 7*g + 3*d - 63. Solve 0*a = -f*a + g for a.
3
Suppose 21 = 5*m - 44. Suppose m*r = 18*r. Solve -4 = -u - r for u.
4
Let p be 1*6/(-12)*-6. Solve -15 + 3 = p*c for c.
-4
Let f be -3 + 24/(-3 + 6). Suppose 0 = -4*g + f*g. Solve 2*t + 3*t + 5 = g for t.
-1
Let o(i) be the first derivative of i**7/840 - i**6/36 + i**4/3 - i**3 - 1. Let h(a) be the third derivative of o(a). Let m be h(10). Solve y + m = 5*y for y.
2
Let x(w) = -3*w - 10. Let m be x(-4). Solve m*j = -j + 6 for j.
2
Suppose 4*y - 9 = 3. Let f = y + 2. Suppose -5*l = 2*z - 17, -f*z = 2*l - 2*z + 2. Solve -w = -0*w + l for w.
-5
Let o be ((-2)/5)/(3/(-75)). Suppose -5*j + 11 = b - 3*j, -2*b = -4*j + o. Solve -2*m + b*m = 1 for m.
1
Let r(l) = -4*l**3 + 2*l**2 + 5*l + 3. Let v be r(-1). Solve 0*i = i + v for i.
-4
Let v(j) = -j**2 + 4*j - 1. Let h be v(2). Solve h + 9 = 3*t for t.
4
Let u(k) = -2*k**2 - 8. Let p(f) = 1. Let r(m) = -6*p(m) - u(m). Let j(q) be the first derivative of r(q). Let i be j(1). Solve -3*x - i = -1 for x.
-1
Suppose 5*u = -10 + 35. Suppose 3*g = -2*q + 4, u*g - 5*q - 36 = -q. Solve -g*b + 3 + 13 = 0 for b.
4
Suppose 14 = 5*a - 3*z - z, -a - 3*z = 1. Suppose 5*g - 8 = 12. Solve -2*j + a = g for j.
-1
Suppose 0 = 5*p - 3*y - 15 + 7, p = 5*y + 6. Solve -7 + p = 2*c for c.
-3
Suppose 0*n + 3*n = 0. Suppose q + 2 = 0, -4*j + 16 = 4*q - 8. Suppose -p - p + j = n. Solve 1 = -p*y + 17 for y.
4
Suppose 4*l - 5 = 11. Suppose -3*u + r - 4 = -u, r = l*u + 4. Suppose b + z = 5, -z + 5 = 2*b - 3. Solve u = -y - b*y for y.
0
Suppose v + 79 = 3*o, o - 37 = 5*v + 8. Let s be (-15)/o - 46/(-10). Solve y + 9 = s*y for y.
3
Let k(i) = -i**2 + 1. Suppose 2*o + 2 = -0*j + 2*j, o + 10 = 4*j. Let r be k(o). Let d be 11 - -1*(r + 1). Solve -4*a + d = 1 for a.
2
Let i(h) = -h**2 - 5*h + 6. Suppose -5*a + 1 = d - 14, -5*a + 20 = 0. Let c be i(d). Solve -c*b - 25 = -b for b.
-5
Let i be (16/(-5))/(1/5). Let r = -8 - i. Solve 4*g + 24 - r = 0 for g.
-4
Let t(u) be the second derivative of u**3/6 + u. Let x be t(0). Solve 0 = v - x + 5 for v.
-5
Let h(v) = v**2 + v. Let f be h(1). Let w = 0 + 5. Suppose -2*g - 11 = 4*q - 57, -59 = -w*q - 2*g. Solve f*c + 3 = q for c.
5
Let k(j) = -j**3 + 4*j**2 - 2*j + 4. Let p be k(4). Let u be (-612)/(-78) + p/(-26). Solve 3*y + u = 23 for y.
5
Let f be (4/(-8))/(2/(-4)). Suppose 0 = -3*u + 5 + f. Let s be u/7 - (-19)/7. Solve 0 = b - s + 1 for b.
2
Let p(a) = a**2 + 11*a + 18. Let u be p(-10). Solve u = 3*y - y for y.
4
Let a be 1 + (4 + -2)/(-2). Suppose 6*z - 2*z - 17 = -3*