m for m.
-3
Let i = -46 + 66. Let c be 64/i - (-1)/(-5). Suppose 5*r - 3*v - 78 = 0, r - c*v = -2*r + 48. Solve -2*l + r = l for l.
5
Let m(f) = 4*f - 20. Let g be m(6). Solve 0 = g*k + 2 - 10 for k.
2
Suppose -5*n - 3*v = -15, 0 = 2*n + 3*n - 2*v - 15. Solve n*p + 1 - 4 = 0 for p.
1
Let y be ((-1)/(-2))/(1/10). Suppose 4*t + 16 = 4*n, 5*n - 4*t - 14 = y. Suppose 4*b - n*k = -0*k + 10, -2*k = -3*b + 8. Solve -b*a + 0*a + 20 = 0 for a.
5
Let b(g) = g + 4*g - 4*g**3 + 5 + 3*g**3 + g - 4*g**2. Let l be b(-5). Solve z - 3*z + 4 = l for z.
2
Let b = -7 - -15. Let r(z) = -z**2 + 7*z + 10. Let t be r(b). Solve -t*k = -0*k for k.
0
Suppose -p + 3 = -h + 7, -4*h + 16 = 4*p. Suppose -4*a = -4*v - 4, -a - 3*v + 2*v = -7. Solve 0*j - 2*j - a = p for j.
-2
Let o(p) = -p - 3. Let i be o(-3). Suppose i = -3*h - 5*s + 25, 2*h - 7 - 11 = -2*s. Suppose -5*l + 32 = -3*v, 3*l = -2*v - 1 + 5. Solve -6 = -l*y + h for y.
4
Suppose 3*l - 2*i = i + 93, 5*i - 85 = -3*l. Let x be (l/9)/(2/9). Solve -2*k - x = k for k.
-5
Suppose -3*x = 2*x - 2*v - 11, 0 = -4*x + 2*v + 8. Solve d = x*d for d.
0
Suppose -m - 7 = -5*z, z + 7 = m + 2*m. Suppose -4*c - m + 15 = 0. Solve -c*i = -7*i for i.
0
Suppose -3*i - i + 8 = 0. Suppose -5*v = 2*s - 15, 0 = -2*v - 0*v - 2*s + 12. Solve 0 = i*l - 3*l - v for l.
-1
Suppose -5*o + 4*s + 9 = 0, o + 5*s - 40 = -3*o. Suppose -i - 3*l + 3 = 0, -o*i - 2*l = -3*i - 2. Solve i = -4*r - r - 25 for r.
-5
Let p(x) = -x**3 + 6*x**2 + 2*x + 8. Let i(u) = 7*u - 1. Let w be i(1). Let j be p(w). Solve 0 = 5*l - l + j for l.
-5
Let c be ((-10)/(-4))/(2/4). Let b(n) = n**2 - n - 4. Let i be b(3). Let a be 0/i - (-8 - -4). Solve -c*p - 1 = a for p.
-1
Let y(h) be the third derivative of -h**5/60 - h**4/4 - 2*h**3/3 - h**2. Let x be y(-3). Solve 0 = -2*m + x + 1 for m.
3
Let i be -3 - (-1)/(1/(-2)). Let c(f) be the second derivative of -f**4/12 - 5*f**3/6 + 3*f**2 + f. Let a be c(i). Solve a + 19 = -5*b for b.
-5
Let q(w) = -w**2 + 6*w - 5. Let x be q(4). Let p = -2 + x. Suppose 2*f = 2*k + 4, f + 0 + 6 = 5*k. Solve f = -g + p for g.
-3
Suppose -13*t + 54 = 2. Solve -4 = -t*o - 16 for o.
-3
Let q(o) be the first derivative of 3*o**2/2 - 10*o - 1. Let x be q(5). Solve -x*h + 23 = -2 for h.
5
Suppose -2*o = -o - 7. Suppose o*d = 3*d. Solve d = -3*j + j + 6 for j.
3
Let n(l) = l + 10. Let i be n(-7). Suppose 21 + 0 = 3*x. Suppose 2*w - x = b - 1, 0 = 3*w - 12. Solve -i*a = -a + b for a.
-1
Let h = 3 - -2. Suppose 4*q = 5*q - h. Suppose -4*c - 4 = -4*n + 4, -n + q*c - 2 = 0. Solve n*t = -t for t.
0
Suppose 0 = 3*o - 2*n - 18, 4*o + n - 14 = -1. Let p be (-1 + (-21)/(-15))*-50. Let v = 29 + p. Solve -r = -o*r - v for r.
-3
Let d be (12/(-9))/(10/(-15)). Solve d*s + 1 - 3 = 0 for s.
1
Let o = 179 - 176. Solve v - o = -2*v for v.
1
Let c = 4 - -4. Let d be 8 + -2 + -1 + 3. Suppose -3*f + 2*t + 16 = 0, -t - 1 = f - d. Solve -2*k - c = -f*k for k.
2
Suppose -1 - 3 = -2*v. Suppose 0 = -3*r - v*r + 25. Solve 12 = h - r*h for h.
-3
Let p = -21 - -26. Solve 7 = -p*i - 13 for i.
-4
Let o = 52 + -46. Solve 5*y = o*y for y.
0
Suppose -5*s + 1 - 2 = -3*w, w + 3 = 5*s. Solve -2*m - w*m = 0 for m.
0
Let f be (-4)/3*(-15)/(-2). Let k be 2/(-5) - 114/f. Solve -2*w = -k + 3 for w.
4
Let t be (30/35)/((-1)/(-7)). Suppose -3*c + 22 = 5*s - t, 3*s = 2*c - 6. Solve c = 4*u - 2 for u.
2
Let f = 10 + -7. Suppose 5*l = -4*y + 26, 0 = -2*l + 3*l + 5*y - 22. Solve 3 = f*a - l*a for a.
3
Let x(y) = y**3 + 9*y**2 + y + 7. Let a be x(-7). Let j = -63 + a. Solve 10 = 5*p + j for p.
-5
Suppose -3*m + 3*f = -4*m - 15, 3*f = -3*m - 15. Suppose x = -m*x + 8. Solve y = -y + x for y.
4
Suppose 7*v - 4*v - 6 = 0. Suppose 2*d - 15 = -3. Solve 0*t + v*t = d for t.
3
Let j be -5 - 2/(-2) - -4. Solve j*y = -4*y for y.
0
Let r(m) = -m**2 + 4*m. Let z(f) = -f**3 - f**2 + 4. Let a be z(0). Let d be r(a). Solve -3*g + 6 - 3 = d for g.
1
Let z = -17 + 38. Let t be ((-14)/z)/(4/(-30)). Solve 0 = -4*a + 7 + t for a.
3
Suppose 0 = 5*p + 4*c - 6*c, -p - 4*c = 0. Suppose -2*n = -p*n. Solve n = -7*z + 2*z + 20 for z.
4
Let t = 0 + 2. Suppose -t*v = -3*v - 8. Let i = 19 + v. Solve -2*d + i = 3 for d.
4
Suppose 4*v = 8*v - 12. Solve 2*c = c + v for c.
3
Let i = 7 - -5. Suppose i = -0*o + 4*o. Solve 0 = -o*q + 2*q + 1 for q.
1
Let h = -57 + 62. Solve 0 = -0*b - b + h for b.
5
Suppose 0*y = -3*y + c + 51, -c = 0. Suppose 5*x - y = u, -3*x + 3*u = -x - 12. Solve 2*b - 5*b - x = 0 for b.
-1
Suppose 0 = 3*h + h - 16. Suppose 0*o + 16 = y - h*o, 4*o = -16. Let l(q) = q + 3. Let j be l(y). Solve 0 = j*w + 1 - 7 for w.
2
Let i(p) = -17*p**3 + p + 1. Let b be i(-1). Suppose -2 + b = 3*q. Suppose 0*y - y - 15 = -q*g, -g = -y - 3. Solve -f + 4 - 2 = y for f.
2
Let z(l) = l - 4*l**3 + 0*l**3 + 4*l**2 + 3*l**3. Let p be (-12)/(-9)*(5 + -2). Let y be z(p). Solve 1 = 5*f - y*f for f.
1
Suppose 1 - 5 = -4*c. Let y be (0 + -2)*(-6)/4. Let k be (c*2)/(6/y). Solve -m + k = -0 for m.
1
Suppose -3*k - 2*k - 3*s + 67 = 0, -15 = -k - s. Solve 5*o - 9 = k for o.
4
Suppose 49 = 5*l + 5*g - 46, -3*l - g = -67. Solve -5*i = -9 + l for i.
-3
Let y be -15*(0 + -1)*4/12. Solve y*f + 15 + 5 = 0 for f.
-4
Let i = -4 - -6. Suppose o - i = 2. Solve 0 = -h + o*h for h.
0
Suppose 11*g - 6*g - 15 = 0. Solve 0*j = -g*j + 9 for j.
3
Let w be 1/4*4*23. Let t = 4 - 3. Suppose t - 5 = -b. Solve 3 - w = -b*v for v.
5
Let p = -39 + 64. Suppose -q = 4*q - p. Solve 0 = -5*h - q - 0 for h.
-1
Suppose -20 = 11*t - 16*t. Solve -4*d + t + 0 = 0 for d.
1
Let h(g) = g**3 + g**2 + 3*g - 3. Let c be h(2). Let q(b) = -b**2 + 12*b - 6. Let w be q(11). Solve -c = -0*l + w*l for l.
-3
Let g(c) be the first derivative of c**4/4 - c**3 + 3*c**2/2 + 2. Let w be g(2). Let j(i) = i**2 + 2*i - 1. Let u be j(-3). Solve w*k = -8 + u for k.
-3
Let i(h) = h**3 - 11*h**2 + 21*h - 13. Let w be i(9). Solve w = 5*m - 1 for m.
3
Let p = -11 + 14. Solve 0 = -p*z - 5 - 7 for z.
-4
Let u(h) = -h**2 + 5*h + 8. Let w be u(6). Suppose -32 + 26 = -3*m. Solve -m*s - w = -s for s.
-2
Let q(i) = -4*i. Let c be q(-1). Solve g + c = -g for g.
-2
Let h = -1 - -21. Solve 0 = -4*l - h for l.
-5
Let k be ((-3)/(-4))/((-24)/(-128)). Solve -k*a + 8 = -2*a for a.
4
Let v = -6 + 11. Suppose 13*t = 320 - 73. Solve v*g = -6 - t for g.
-5
Let g(f) be the second derivative of f**5/20 - f**3/2 + f**2 - f. Let b be g(2). Solve -4*o + b = -0*o for o.
1
Let x(t) = 5*t - 37. Let y be x(8). Solve 0*l + y*l = 0 for l.
0
Let p be ((-38)/95)/(2/(-70)). Solve -o - p + 9 = 0 for o.
-5
Let g = -2 + -3. Let t = g - -8. Suppose -4*b = -2*k + 12, 3*k - 2*b - 4 - 10 = 0. Solve -k = -l - t*l for l.
1
Suppose 0 = -5*c + 5, 2 = 2*o - 2*c. Solve -6 = -s - o*s for s.
2
Let s(m) = 15*m**2 - 25*m + 25. Let y(x) = 7*x**2 - 12*x + 12. Let g(c) = -6*s(c) + 13*y(c). Let a be g(6). Suppose -k = 2*k - a. Solve k*r + r = 0 for r.
0
Let b be -2*1/(-2)*0. Suppose q + b = 4. Suppose -q*t = -5*t. Solve t*y + 5 = y for y.
5
Let w = 2 - -2. Suppose u + w = l, -2*u = -l - 0 + 6. Solve -l = -4*c + 10 for c.
3
Let h = 82 + -77. Solve -h*z - 1 + 11 = 0 for z.
2
Suppose 6 = 7*i - i. Solve 5*p = -4 - i for p.
-1
Let p(c) = 3*c - 6. Let b be p(2). Solve b = -t - 0*t for t.
0
Let y = 23 - 15. Solve 2*d = -0 - y for d.
-4
Let m be -1 - (3/(-3))/(4/12). Solve -2*q + q + m = 0 for q.
2
Let o(t) = -t**3 - 5*t**2 - 6*t - 3. Let v be o(-4). Suppose v*y - 3 = 2. Let i be (-2 - -5) + 0 - y. Solve 0 = -5*l - 12 + i for l.
-2
Let x(o) = 4*o - 7. Let p be x(3). Solve 0 = g - 2*g + p for g.
5
Suppose 8 = 2*s - 2. Suppose -p + 2 = -2*f - 0*p, -s*p + 20 = 0. Solve 5 - f = -2*l for l.
-2
Let k(l) = -l**2 + 4*l + 7. Let s be (-2)/(-6) - 118/(-6). Suppose q - s = -3*q. Let p be k(q). Solve -p*r = 3*r for r.
0
Let a(f) = -2*f**2 + 7*f + 1. Let l be a(5). Let u be (4/l)/((-3)/21). Let h = -14 - -14. Solve 0 = -h*i - u*i for i.
0
Suppose h + 5*u + 2 = 22, -2*h + 3*u = 12. Suppose 2*s + s - 9 = h. Let r = 0 + 1. Solve -s - r = 4*j for j.
-1
Let w(v) = -v**3 + 8*v**2 - v + 11. Suppose -2*j = r - 16, 2*j + 3*j - 52 = -4*r. Let g be w(r). Suppose g - 11 = -4*x. Solve 6*u - x*u - 4 = 0 for u.
1
Let k = -27 - -19. Let q = 8 + k. Solve q = -3*u + 4*u for u.
0
Let f = 1 - -2. Suppose -f*c = 2*c - 5. Solve 0*z - c = z for z.
-1
Let c(a) = 2*a - 14. Let o be c(8). Solve 2*z - 8 =