*m - s for m.
-1
Let m be (-12)/18 + (-294)/(-18) - (-1)/3. Let f = -1 + 3. Solve m = -2*v - f*v for v.
-4
Suppose -5*m + 20 = 0, 4*w + 4*m = 2*m + 40. Solve v = -3 + w for v.
5
Let z = -165 - -169. Solve -2*j - z = -0*j for j.
-2
Suppose n - 5*x = 64, 4*n - 19*x = -21*x + 168. Solve -41*k + 52*k + n = 0 for k.
-4
Let t(v) = -6*v + 13. Let j be t(7). Let w = j + 24. Let k be 7/3 - w/(-15). Solve 0 = 2*p + k*p for p.
0
Let a(z) = -14*z - 172. Let d be a(-13). Solve 0 = 33*j - 38*j + d for j.
2
Let u be (-3)/(-3)*16*1. Suppose -8*t = -4*t - u. Suppose 2*g - 33 = -5*v - 9, -8 = -t*g. Solve v = -a + 2 for a.
-2
Suppose 3*r = 4*r - 3. Suppose 33 - 3 = -5*m - r*c, 2*m + c = -12. Let v(d) = -d + 4. Let g be v(m). Solve -f + g = -3*f for f.
-5
Suppose -4*c + 10 = c. Suppose 9 = c*x + x. Solve -x*y = 2*y - 25 for y.
5
Let y(w) = -w**2 - 5*w + 6. Let t be y(-7). Let s = 14 + t. Solve -s = -k + 3*k for k.
-3
Let i be -3 - 2/4*-6. Let r be (i - 15/9)*6. Let f = -10 - r. Solve 3*p + 8 + 4 = f for p.
-4
Let l be (72/(-32))/(6/(-176)). Let z = l + -60. Solve -3*s + 0 = z for s.
-2
Let m = -35 + 38. Suppose 2*p = m*p. Solve p = 5*j - j for j.
0
Let t be (10/(-6))/((-215)/387). Solve 20 = -t*k + 35 for k.
5
Let r = 55 - 64. Let f(w) = w**2 + 6*w - 22. Let b be f(r). Solve -3*x = -8*x + b for x.
1
Let w(d) = d**3 - 22*d**2 + 25*d - 73. Let y be w(21). Solve -y*n + 20*n - 27 = 0 for n.
3
Suppose -4*h + 464 = 4*z, -229 = -2*h - 4*z + 5. Suppose c - 20 = -3*r - 1, -5*c - 5*r = -h. Let n = c + -22. Solve -n*k + 21 = 6 for k.
5
Let l(q) = -5*q + 95. Let h be l(16). Solve -h = -k - 2*k for k.
5
Let t(a) = -12*a - 188. Let v be t(-16). Solve -6*w + 20 + v = 0 for w.
4
Suppose 4*u + u - 45 = 0. Suppose -3*p = -8*p - k + 115, 0 = 2*k. Let i = -19 + p. Solve -i*a = -29 + u for a.
5
Let y(q) = q**3 - 6*q**2 - 19*q + 25. Let g be y(8). Solve 218*m - 217*m = g for m.
1
Suppose s - 8 = -3*s. Let p be (3 + (-30)/12)/((-6)/(-36)). Solve -p*c = -s*c - 4 for c.
4
Suppose 6*n = -4 + 16. Let h be (2 - (1 - n)) + 7 + -7. Solve h*k = -k for k.
0
Suppose 0*d + 28 = 3*d - 5*a, -a - 8 = -d. Suppose 16 = 10*v - d*v. Suppose 3*q + 0*q + 4*p = 39, 4*q - v*p = 52. Solve 0 = 5*h - 2 - q for h.
3
Suppose -25*t = -3*t + 4*t - 78. Suppose 5*a - 19 - 1 = 0. Solve 0 = t*u + a - 1 for u.
-1
Let h(s) = 3*s + 13. Let j be h(-4). Suppose 19 + j = -4*u, -20 = -2*q + 4*u. Suppose 5*k + r - 6 = 0, k + q*k - 5*r + 4 = 0. Solve -16 + k = 3*t for t.
-5
Let m(d) = 3*d - 49. Let u be m(17). Let s(f) = -f**3 + 6*f**2 + 8*f - 3. Let z be s(7). Let x be ((-5)/(-2))/(2/z). Solve 0 = x*n + u - 22 for n.
4
Suppose -4*v + 4*a = -a + 382, 0 = 5*v + 3*a + 496. Let q = v - -113. Solve 0 = -3*m - 0 + q for m.
5
Let b be 20/(-3)*5/((-60)/27). Solve 0 = -9*g + 4*g - b for g.
-3
Let m = -1 - -1. Let y(v) = -v**2 + 6*v + 1. Let f(c) = c**2 - c. Let q(a) = 3*f(a) + y(a). Let j be q(-2). Solve m = -6*k + 3*k - j for k.
-1
Let m be 9 - (-1 + (7 - 1)). Let z(d) = d + 6. Let w be z(-6). Suppose w = -2*t - t + 24. Solve -t = -m*p - 0*p for p.
2
Suppose -4*v = -2*c - 80, -3 = c - 1. Solve v*f - 12 = 15*f for f.
3
Suppose -3 = q, 2*q = 3*i + i - 14. Solve -i*o = o + 9 for o.
-3
Suppose -40*x + 125 = -15*x. Solve 3*z = x*z for z.
0
Let j be 1138/42 - 168/1764. Solve -j*x = -13*x - 14 for x.
1
Let l(o) = -o**2 + 24*o - 20. Let s be l(23). Let p(v) = v**2 + 2. Let t be p(3). Solve 0 = 2*z - s + t for z.
-4
Let y be 2/(5/((-470)/(-4))). Suppose -2*h + 7*h - 115 = -4*i, h = 4*i + y. Solve -h = -5*r - 2 for r.
5
Let a be (-2)/10*0*(-1)/2. Suppose a = 10*s - 5*s - 100. Solve -3*n = 2*n + s for n.
-4
Let n(r) = -1. Let s(m) = -m**2 - 19*m - 6. Let k(v) = v - 1. Let p(c) = -6*k(c) - s(c). Let h(q) = -3*n(q) + p(q). Let j be h(-12). Solve -6*t = -j*t for t.
0
Suppose 0 = 2*s + 10, -2*g - 3*g + 35 = -2*s. Let h(k) = -k**3 + 4*k**2 + 5*k - 4. Let n be h(g). Let w be 2/n*-2 + 9. Solve -2*a = 3*a + w for a.
-2
Let i be (-28)/(-6) + (-2)/3. Let d(s) = s**3 + 6*s**2 + 5. Let o be d(-6). Suppose r - 4 + 8 = 4*u, 0 = o*r - u + 1. Solve i*q + 24 - 4 = r for q.
-5
Suppose 116*u - 40*u = 304. Solve -1 - 19 = -u*m for m.
5
Let o be (-207)/63 - (-4)/14. Let u be 0/((1 - 2) + 3/o). Solve u = x + 3*x + 12 for x.
-3
Let k(a) = 2*a**3 + 14*a**2 + 6. Suppose -3*h = 2*s + 26, -5*h = 2*s - 0*s + 34. Let q be k(s). Solve q*x - 2 = 4*x for x.
1
Suppose 0 = -103*s + 89*s + 378. Solve 20*z + 35 = s*z for z.
5
Let s = 67 + -73. Let u be ((-4)/6 - 1/s)*0. Solve u = c - 4*c + 15 for c.
5
Let t be 4 + 1*(-2 - -1). Let c be 4 + 7/((-28)/(-36)). Suppose -c = -5*w + j, -2*w + 2*j = -3*w - 4. Solve t = -w*u - 1 for u.
-2
Suppose -2*t + 5*s = -7*t - 15, -3*t - 7 = 5*s. Let f be 0/1*(5 + t)/1. Suppose v + 10 = -5*d, 2*d = -5*v + 17 + 2. Solve -v*p + f*p = 0 for p.
0
Let k be (-228)/(-39) - (-4)/26. Suppose -3*g - 9 = -k*g. Solve -2 = h - g for h.
1
Suppose 2*h - l - 7 = 0, -3*l = -3*h + 7*h + 1. Let n be (h/2 - 5)/((-8)/6). Solve -3 = 3*i + n for i.
-2
Suppose 12991*r - 12992*r + 7 = 0. Solve 32 = 5*p + r for p.
5
Let f be -16 - -23 - (-1)/(2/(-4)). Solve 8 = f*y - 2 for y.
2
Let m be 24/(-64) + (-393)/(-24). Solve 40*x + m = 44*x for x.
4
Let n(z) = -4*z**3 + 2*z + 2. Let h be n(-1). Solve -h*k + 0 = 4 for k.
-1
Suppose -4*z - 73 = -5*z. Suppose 11*o - z = 147. Solve -o = 5*f + 5 for f.
-5
Let o be 0 - (-18)/14 - 26/91. Let w be (o - -1)*12/6. Solve k + w*k = 15 for k.
3
Suppose -i + 70 = 13*i. Solve 7*y - i*y + 2 = 0 for y.
-1
Let h(x) = x**3 - 6*x**2 + 2*x - 4. Let q be h(6). Solve n + q*n + 45 = 0 for n.
-5
Let b = -86 + 91. Solve 3*u - 4*u + b = 0 for u.
5
Let a be ((-12)/10)/((-22)/55). Solve -r = -a*r - 4 for r.
-2
Let h(f) = -12*f - 1. Let y be h(1). Let d = -6 - y. Let q(r) = -r**3 + 8*r**2 - 6*r + 8. Let i be q(d). Solve 0 = -0*t - 3*t + i for t.
5
Suppose i = 2*n, 3*i + n = 2*n. Suppose i = -3*t + 4 + 2. Solve -2*l = t*l for l.
0
Suppose 0 = 2*x + 40 - 46. Solve 9*i = 10*i - x for i.
3
Let s = 4 - -8. Suppose 0 = 5*z - r - s, -8*r + 3*r + 15 = 0. Solve -n = -4*n + z for n.
1
Let l(f) = 2*f**3 + 20*f**2 + 33*f + 28. Let j be l(-8). Solve j*y - 11*y - 27 = 0 for y.
3
Let l be -1 + 0 + 0 + 4. Solve l*n - 5 = 4*n for n.
-5
Let o = -377 - -380. Let h(b) = -b**3 + 5*b**2 - 4*b - 1. Let r be h(3). Solve o*j + 8 = r*j for j.
4
Suppose 3*s - d - 7 = d, -3*d = -2*s + 3. Let a(c) = -c**3 + 2*c**2 + 4*c + 1. Let j be a(s). Suppose 0 = j*f - 7*f + 9. Solve -f*r = 6 + 6 for r.
-4
Let v = -15 + 19. Suppose v*c = -0*c + c. Solve c*f = 2*f - 10 for f.
5
Let u(x) = 4*x**2 + 17*x - 9. Let c be u(-5). Solve -4*q - 14 = -c for q.
-2
Let w = -3 - -6. Suppose 11 = 2*j + w. Suppose 3*d - d = -5*t - 2, -4*d = -j*t + 4. Solve t = -6*v + 3*v - 12 for v.
-4
Let u(m) be the third derivative of m**4/24 + 2*m**3/3 + 2*m**2. Let s be u(-4). Suppose 4 = -s*o + 2*o. Solve -3 + 1 = -o*c for c.
1
Suppose 0*d + 11*d = 836. Let q be 1/4 - 6/((-96)/d). Solve -5*g = -30 + q for g.
5
Let m be -4 - (3 + (-3)/6)*-4. Solve m*u - 75 = -87 for u.
-2
Let m = 2 - -2. Let h = -5 + m. Let r be h/(-3) - 2/6. Solve r = -0*t + 2*t - 4 for t.
2
Suppose -3*z + 9*z + 852 = 0. Let r = 162 + z. Solve -3*f - 2*f + r = 0 for f.
4
Let c(k) = k**2 + k - 7. Let o be c(-7). Suppose j - 3 = 5*j + q, -5*q = -5*j - o. Let s(f) = f + 2. Let t be s(j). Solve 2*i - 7*i - 20 = t for i.
-4
Let g(x) = -2*x - 10. Let k be g(-8). Suppose 8*c - 12 = k*c. Solve -2*h - 4 - c = 0 for h.
-5
Suppose 9*q + 3 = 21. Solve -16 = -q*z - 2*z for z.
4
Let m be ((-24)/(-60))/(1/65). Solve -4 = -6*u + m for u.
5
Suppose -4*z + 9*a - 2 = 7*a, 3*a = -3*z + 21. Solve z*y - 18 = -4*y for y.
3
Suppose 0 = -0*g + 2*g - 2. Suppose 0 = -s + g. Let h = 1585 + -1580. Solve h*j = 4*j + s for j.
1
Suppose 5*k - 4*g = -0*g + 20, 2*g + 10 = 2*k. Solve 2*p - 10 + 18 = k for p.
-4
Let w be (-1)/(-3) - 77/(-21). Let y be 35/14 + w/8. Solve -y = -j + 1 for j.
4
Suppose -243*r + 238*r + 5*u = -10, r - 3*u - 2 = 0. Solve -2*n = -6 + r for n.
2
Suppose 5*h + 2*s = -23, -2*h - 5*s = -h + 23. Let c = h + 7. Suppose -4*b = 2*o - 98 + 14, 0 = 2*b - c*o - 32. Solve 6*w = w + b for w.
4
Let o(d) = 24*d + 77. Let p be o(-3). Solve 2 + 8 = p*u for u.
2
Let q(g) be the second derivative of -g**5/20 - g**4/4 + 2*g**3/3 + g - 2. Suppose -3*s - p = -0*s + 16, -5*s = -5*p. Let r