 -3*m + m + a for m.
5
Let r(t) = t**2 - 2*t + 1. Let z be r(-2). Let l(f) = f**2 - 3*f + 2. Suppose 3*w = -3 + 9. Let k be l(w). Solve k = 6*h - 3*h + z for h.
-3
Let v(s) = s**3 - 6*s**2 - 16*s + 7. Let t be v(8). Suppose 0 = -t*c - 7*c + 6*c. Solve 4*j - 2*j = c for j.
0
Suppose 8*f - 4*f = 96. Let i be 4/f*-22*-3. Suppose 3*w - 2*b - i = 3*b, -2*w - b = -3. Solve k = w*k for k.
0
Suppose 9*q + 5 = 10*q. Suppose -o + 4*x = -16, -q*o + 4 + 1 = 5*x. Suppose -o*g - 5*n + 11 = -4, 5 = -5*n. Solve -16 = m - g*m for m.
4
Suppose -123*r = -38482 + 6133. Solve -r*u + 273*u = -10 for u.
-1
Suppose 4*m - 3*c = -155, 0 = -5*m - c + 2*c - 180. Let w = -30 - m. Suppose 3*v = -w*f + 29, 3*v = -0*v + 5*f - 11. Solve -v*j + j = 0 for j.
0
Let p be 1 - (-3 - -12)/(-3). Suppose -j = p*j - 45. Let y = 913 - 910. Solve y*o + j = -0*o for o.
-3
Let m be (21/(-28))/(2/(-8)). Let k(o) = -4*o - 12. Let r be k(-4). Suppose r*d = d + 2*d. Solve d = -4*a + a - m for a.
-1
Let c be 1*6*(-9 + 190/20). Suppose -4*w + 57 = 3*s, c*w - 21*s + 20*s = 59. Solve -3*y + 9*y - w = 0 for y.
3
Suppose 3766 = -7*l + 6013. Solve 324*i = l*i - 21 for i.
-7
Let k = -521 - -523. Suppose -3*b - k*b + 45 = u, 5*b + 3*u - 55 = 0. Solve 2*d + b - 4 = 0 for d.
-2
Suppose 0 = -2*k + 4 - 0, 3*t + 4*k - 26 = 0. Let w = 1124 + -1120. Solve w*s = s + t for s.
2
Suppose 3*d - 2*d + 3 = 0, 0 = -3*k - d + 18. Let i be (3/(-14) - 2/k)*0. Let y = i + 5. Solve 0 = 5*c + y + 10 for c.
-3
Suppose -6*y - 7 = -c - 8*y, -2*c + 4*y - 2 = 0. Let p(t) = -72*t + 76. Let z be p(1). Let q be (-74)/(-14) - (-8)/(-28). Solve -c = -z*w + q for w.
2
Let t be (33/44)/((-6)/(-40)) + 124. Let z = t - 110. Solve -z*m + 17*m = 6 for m.
-3
Let v = 5310 - 5274. Solve -40*y = -v*y + 4 for y.
-1
Let d = 10 - 1. Let p(s) = -2*s + 4*s - d - 6*s**2 + s**3 + s**2 - 1. Let l be p(5). Solve l + 4 = 2*r for r.
2
Let r(h) = -h**3 + h**2 + 38*h + 23. Let j be r(-7). Suppose 157*v = j*v. Solve 0*b + 2*b - 10 = v for b.
5
Let i be (21 + -24)/((-429)/213 + 2). Solve -i*a + 40 = -203*a for a.
4
Let i = 13836 - 13833. Suppose -3*r - 3*z + 3 = 0, 2*r - 3*z - 7 - 20 = 0. Solve -6 = -r*t + i*t for t.
2
Let v be (12/(-15))/(18/(-1710)). Suppose 82*c = v*c + 102. Solve -20*r + c*r - 6 = 0 for r.
-2
Let l = -915 - -1089. Solve -78*n - 9*n + l = 0 for n.
2
Suppose m + 4*i - 32 + 1 = 0, 4*i = 3*m - 157. Suppose 3*k = 25 + m. Solve 44 - k = 4*p for p.
5
Let x = 9868 + -9863. Solve 0 = c + x for c.
-5
Let v(s) = 2*s**2 - 89*s - 265. Let x be v(-3). Solve 0*n + 60 = -x*n for n.
-3
Suppose 306*m + 31 = 318*m - 101. Solve -m*f + 63*f - 364 = 0 for f.
7
Let i be (-32)/(-96) + (-32)/(-3) + -1 + 2. Solve -9*w = i*w + 42 for w.
-2
Suppose 32*v = 31*v - 78. Let n = v - -86. Let w be 10/n - ((-3)/4 + 0). Solve -y = y - w for y.
1
Let k(b) = -b**3 + 7*b**2 - 7*b + 8. Let n be k(6). Let v = 357 + -357. Suppose v = 22*m + 6 - 6. Solve -a = -m*a - n for a.
2
Let f be 10 - 6 - 58/(-2). Suppose -11*g = -f + 231. Let h = 20 + g. Solve 0 = -h*j - 3*j for j.
0
Let v(y) = 7*y**2 + y. Let q be v(-1). Suppose 2*n - q - 10 = -f, -4*f = -5*n + 40. Suppose -254*r - 263*r = -751*r + 254*r - 100. Solve n*d - r*d = 15 for d.
5
Let j(c) = c**3 - 4*c + 1. Let n be j(4). Let u = -82 + n. Let h = u + 37. Solve 4*d = 3*d + h for d.
4
Let x be 122/4*(17 - 33). Let g = 493 + x. Solve -b = -6*b - g for b.
-1
Suppose 16 + 48 = 8*g. Let o be 130/(-15)*(-2)/4*3. Solve g*d + 15 = o*d for d.
3
Let s be 2*20/48*(58 + -52). Solve 54 = 11*n - s*n for n.
9
Suppose 4*z - 63 = -32*z + 9. Solve 13*c = -z*c - 60 for c.
-4
Let k be (4/6)/(1/6). Let y = 47310 - 47290. Solve -k*d + 9*d = y for d.
4
Suppose a + 9*d = 4*d + 2, -4*d + 8 = 4*a. Suppose 0 = -67*t + 41*t + 234. Suppose 3*x = 4*l - t, -16*x - 5 = -17*x. Solve 8 = -l*u + a*u for u.
-2
Suppose -4 = -4*k, 3*a = 5*k + 6 - 5. Let n = 0 + a. Solve -x - 12 = n*x for x.
-4
Let d(a) = -7*a**2 + 10*a**2 - 17*a + 74 - 9*a**2 + a**3 + a. Let x be d(7). Solve x*f - 22*f - 22 = 0 for f.
-2
Suppose 4*m + 4 = 4*o, 8*m - 2*o + 2 = 9*m. Solve m = 34*y - 12 + 182 for y.
-5
Let k(c) = 5*c - 16. Let o be k(8). Suppose 4*a = 4*p + p - o, -5*a = -4*p + 21. Let x be a/(2/(-3)) + (-20)/(-8). Solve -2 = -3*q + x*q for q.
-2
Suppose y + 3*s = 403, 8*s = -3*y + 7*s + 1225. Solve 0 = 11*q + y - 376 for q.
-3
Let d be (-2 - -1) + (-652 - 36). Let k = d - -700. Solve -7 - k = -9*a for a.
2
Let m be ((-40)/(-6))/((-4)/12). Let y be (0 - -1)*(-19 - m). Suppose y = 2*c - 7. Solve -s = c*s + 5 for s.
-1
Suppose 11*t + 78 = 24*t. Let r(m) = -5*m**2 + 32*m - 9. Let z be r(t). Solve 0*j + z*j = 2*j for j.
0
Suppose -3*g - 5*d + 37 = 0, 17 = 5*d - 8. Let p be (-2)/8 - (g - 114/8). Let k be 4/((-1)/p*-8). Solve 0 = 4*s - k - 11 for s.
4
Let g be (-3)/(-21) - 143/(-77). Let d be 2/g + ((-6)/(-3))/2. Solve -7*x = -d*x - 20 for x.
4
Let m(l) = -4*l**3 + 234*l**2 + 1369*l - 31. Let g be m(-6). Solve 20*r + 1023 = g for r.
1
Suppose 9*y = -2*y. Suppose -2*q + 5 - 12 = -5*t, 2*t + 2*q = y. Let g be t + (-3)/(-4) - 9/(-36). Solve -g = -d - 0 for d.
2
Suppose -3*m + 25 = 1. Suppose -2*n = -3*d - 2*d + 4, 0 = -n - d + 5. Suppose 0 = 5*a - n*a - 5*c - 1, a + 1 = 4*c. Solve f = -a*f - m for f.
-2
Suppose 3*b - 20 = -4*g, 8*b = 3*b - 2*g + 10. Solve b = 7*w - 57*w - 100 for w.
-2
Suppose 1004 = -6*u - 4828. Let w be (-2)/(-7) - u/126. Solve -k + w = 5 for k.
3
Suppose -f + 19 = -5*b, -6*b = 5*f - b - 35. Let w(h) = -35*h + 1473. Let x be w(42). Solve f = -x*p - 6 for p.
-5
Suppose -p = -4*o - 91, 2*p + 0*o - 188 = 2*o. Let c = -89 + p. Solve 0 = -3*q + c*q - 9 for q.
3
Let d(s) = -4*s - 17. Let m(q) = -q - 1. Suppose 0 = -5*k + 1 + 4, -2*w + 13 = 5*k. Let i be m(w). Let g be d(i). Solve 16 = g*z + z for z.
4
Let v(y) = 8*y**2 - 38*y + 224. Let t be v(6). Solve t - 302 = 3*d for d.
-6
Let a(k) = k**3 + 20*k**2 + k + 24. Suppose 7*m - 65 + 205 = 0. Let i be a(m). Solve i*b + 0*b = 8 for b.
2
Suppose 4 = 2*j - 4. Let w be ((-4)/10)/(j/(-20)). Suppose -4*z - 8 = -4*k - w*z, -4*k + 5*z = -2. Solve -k = 2*r - 1 for r.
-1
Let n = 14 + -7. Suppose 5*c = n*c. Let y(g) = g**3 - 20*g**2 - 69*g + 3. Let m be y(23). Solve c + m = 3*u for u.
1
Suppose 3*m - 4*m - 4 = 0, 2*q = -m - 234. Let r = q + 116. Solve r = g + 2 for g.
-1
Let m be 165/(-9) - 7/((-42)/(-4)). Let i(x) = -5*x - 92. Let o be i(m). Solve 5*l + 7 + o = 0 for l.
-2
Suppose -3*n - n + 44 = 4*l, 5*n + 4*l - 52 = 0. Suppose -3*m - 5*f = -17, n*m - 7*m + 5*f = -1. Solve m = -b + 8 for b.
-1
Let u be 56/140 + (-6)/15. Solve u = 6*z - 73 + 43 for z.
5
Let x be (-18)/30 - (3 - 176/10). Solve 161*s - x = 154*s for s.
2
Suppose -3*a + 34 = 2*t, -38*t + 36*t + 50 = 5*a. Solve 2716*k = 2712*k + a for k.
2
Let f(x) = x**2 - 3*x - 5. Let q be f(5). Suppose -52*r + 426 = -1337 + 203. Solve -d + r = q*d for d.
5
Let c(q) be the third derivative of 1/12*q**4 + 0 + 0*q - 2*q**2 + 17/2*q**3. Let i be c(-21). Solve -3*r - i = -0*r for r.
-3
Let k be -32*((-4)/8 + 0). Suppose 9*d - 5*d = -k. Let l = -2 - d. Solve l*z + 2*z = -16 for z.
-4
Suppose 4*w - 4*v = 35 + 13, 12 = w + 2*v. Let g be (-1)/(35/(2520/(-32))) - 3/(-4). Solve -g = -15*p + w*p for p.
1
Let c = -873 - -1042. Solve -3*m + c - 172 = 0 for m.
-1
Let p(n) = -n**3 - 16*n**2 - 36*n + 41. Let h be p(-13). Suppose -2*r - 4 = 5*t, -10 = h*r - 4*r + 2*t. Solve r*g = -2*g + g for g.
0
Let x(k) = 2*k**2 - 50*k - 49. Let h be x(26). Solve -11*p + 14*p = h for p.
1
Suppose 0 = z - 19 - 17. Suppose -167 = -z*o + 49. Solve 0 = o*j - j for j.
0
Let q = -22876 - -23005. Solve 4*c = q - 137 for c.
-2
Let i(o) = o**3 - 7*o**2 + 3*o - 5. Let a be i(7). Suppose 6 = -5*l + a. Let f = 10205 + -10205. Solve -l*x = -f*x + 10 for x.
-5
Let r(z) be the first derivative of -z**2/2 - z + 2. Let n(f) = -143*f - 1577. Let u be n(-11). Let s be r(u). Solve 1 = -2*y + s*y for y.
1
Suppose -5*f - 2*a = 74, 0 = -f - 3*f + 2*a - 52. Let j = -16 - f. Let o be (0 + (-1)/j)*0. Solve g - 3 + 8 = o for g.
-5
Let a be 0 + 17 + -12 + 70. Solve 99 - a = 8*i for i.
3
Let d(o) be the first derivative of -5*o**2/2 - 16*o + 40. Let t be 0 + 6/(-9)*6. Let k be d(t). Solve -k*v - 12 = -v for v.
-4
Let n(q) = q - 9. Let d be n(9). Suppose 11*s + 8 - 41 = d. Solve -s*y + 21 = 4*y for y.
3
Suppose d = -2*v - 2*d - 1, -2*d + 2 = 0. Let l 