6*m for m.
-4
Suppose -3842*f - 154 = -3864*f. Solve 16 - 30 = f*s for s.
-2
Let k be 45/(-6)*4/6. Let i(z) = 3*z**2 - 12 + z**3 - 29*z + 17 + 19*z. Let r be i(k). Solve -2 + 12 = r*x for x.
2
Let n be (-80)/60*(-3)/2 - -6. Let v be 2 + n*((-4)/8)/(-1). Solve 4*d + 2 = v*d for d.
1
Let x = -17024 - -17032. Solve -51*s + 354 = x*s for s.
6
Let a be (1 - 1)/(-1) + 2. Suppose 4*i = a*j - 3*j + 19, -3 = -3*i. Solve -5*c - 10 = j for c.
-5
Let m = -990 - -1008. Solve 14*k - m = 5*k for k.
2
Let p be (-9)/(-2)*8/12. Suppose 0 = -4*f + p*f + 15. Let g(a) = -a**2 + 17*a - 15. Let v be g(f). Solve -3*x + v - 3 = 0 for x.
4
Suppose 8*y = 11*y - 3*x - 30, 0 = -2*x - 8. Solve -36 = y*h - 15*h for h.
4
Suppose 3*d = -2*g - 9 + 37, 4*g + 3*d - 68 = 0. Let a = -2 - g. Let p be (6/20)/(a/55)*-4. Solve 2*n + p + 5 = 0 for n.
-4
Let p be 90/(-144)*86*-4. Solve 219*c - p*c + 8 = 0 for c.
-2
Suppose -50*m + 163 = 13. Solve -m*j = -j - 10*j for j.
0
Suppose m - 9*t + 1527 = 5922, -5*m + 21775 = -5*t. Solve 4349*x + 8 = m*x for x.
8
Suppose -4*y + 4*o = 7*o - 1, -2*o = 5*y - 10. Suppose -25 = y*r - 29, -4*r + 2 = -x. Solve -j = -0*j + x for j.
-2
Suppose 0 = 2*s + 4*v - 70, -3*s - 152 = -7*s + 4*v. Suppose 5*z - s*r - 27 = -39*r, -z = -2*r - 15. Solve 6 + 29 = -z*k for k.
-5
Suppose 2*w - f - 2*f = -297, 20 = -4*f. Let o be 492/w + (-4)/(-26). Let t = 4 - o. Solve -4*g + t = 19 for g.
-3
Let c = -101 - -183. Suppose -3*o + 94 = c. Solve -3*h - 1 = -o for h.
1
Suppose 4*f + 13 + 11 = 8*p, -5*p = 3*f - 15. Solve -30*b + 28*b - 4 = f for b.
-2
Let z be 314 - (1 + 32/(-16)). Solve -58*g - 25 = -z for g.
5
Suppose 4*b - 91 = 101. Let f = -45 + b. Let u be (1 - 6)*((-24)/10)/f. Solve -u*h = h + 5 for h.
-1
Let t(h) = 2*h**3 + 14*h**2 - 95*h - 635. Let v be t(-6). Solve -v*q + 359 = 394 for q.
-5
Suppose 9*s + 39 = 21. Let w be (-52 + s)/(81/(-54)). Solve -g + w = 11*g for g.
3
Suppose 5*z + o - 109 = 0, 4*o + 43 = 3*z - o. Solve -z = 17*b - 10*b for b.
-3
Let g be (42 - 46)*42/(-8). Solve -16*c = -9*c + g for c.
-3
Let p = 5 + 2. Let v = 970 + -970. Solve -p*i + 3*i + 16 = v for i.
4
Suppose -2*q + 7*q = -3*l - 76, 28 = -l - 3*q. Let x be 4/(-10) + (-2 - l/5). Let p be ((-2)/8 - x)/(15/(-40)). Solve 0 = -5*j - p + 1 for j.
-1
Let k = 222 + -206. Let q(s) = -7*s + 124. Let y be q(k). Solve m = 7 - y for m.
-5
Suppose -7*p - 9*l + 177 = -7*l, -3*l - 45 = -p. Solve 6*c - 3 + p = 0 for c.
-4
Suppose 560 = 547*c - 540*c. Suppose 20*w - 30*w = -c. Solve q = 5*q + w for q.
-2
Let c(i) = -181*i - 9055. Let p be c(-51). Solve -6*x + p = 182 for x.
-1
Let x = 28860 + -28672. Solve -x*q + 195*q + 14 = 0 for q.
-2
Let g be (2 + -1)*(-22 + 1). Let b = 1041 - 1036. Let d be (98/g + b)/((-1)/(-6)). Solve 3*w + d - 17 = 0 for w.
5
Let g = -662 + 680. Suppose g*c = 2*c + 192. Solve 2*x = -x - c for x.
-4
Let h(f) = 18*f + 11. Let t be -1*(-5 + 7) + (2 - -1). Let v be h(t). Solve -v = 2*o - 19 for o.
-5
Let q = 22284 + -22280. Let d(t) = t - 3. Let n be d(3). Solve -q*f + 16 = -n for f.
4
Let a = -1419 - -1457. Solve a = -4*h + 30 for h.
-2
Let b be (3/(-7))/((-94)/658). Let q(y) = 16 - 3 + 9*y**2 + 3*y**3 - 9*y - 2*y**3 - 2. Let j be q(-10). Solve -b*m + j = -11 for m.
4
Let p(r) = r + 1. Let t(s) = 34. Let w(g) = 3*p(g) - t(g). Let l be w(12). Let o = -14 - -34. Solve 0 = 5*v + l + o for v.
-5
Let l be (16*7/(-84))/(7/(-105)*5). Suppose -2*s = -42 - 8. Solve l*q + s = -q for q.
-5
Let j(z) = 5*z**2 - 55*z - 128. Let v be j(-2). Let r(i) = -i**3 - 5*i**2 + 8*i + 8. Let q be r(-6). Let u = q + 16. Solve u = 5*w - v*w for w.
4
Let p(s) = -s**2 + 7*s - 8. Let u be p(4). Let t be ((-40)/(-12))/(-10)*30/(-2). Suppose -u*q = -t*q. Solve -m + 6*m = q for m.
0
Suppose 184*x - 21135 - 24692 = 19309. Solve 0 = -347*s + x*s + 7 for s.
-1
Let m(f) = 12*f. Let d be m(3). Suppose d*c = 45*c. Solve k = -c - 5 for k.
-5
Let u be (-113)/((-6)/(-12)*-2). Let t be 1/(-4) - (-1 - u/4). Solve t = 7*v - 6 for v.
5
Let s(j) be the first derivative of -j**4/2 - 5*j**3/3 + 6*j - 16. Let h be s(-3). Suppose -h*k + 2*k = -26. Solve o = k*o for o.
0
Let u = 23 + -7. Suppose -3*v + 49 = 4*b, 0 = -4*v + 2*b + 71 - 35. Solve v = r + u for r.
-5
Let h = -223 + 205. Let l(u) = -u**3 - 19*u**2 - 18*u + 23. Let y be l(h). Solve 18*m = y*m + 20 for m.
-4
Let n = 2 - 52. Let l be n/(-30) + 34/3. Solve -l + 12 = -q for q.
1
Suppose -24 = -23*w + 19*w. Let b be (-1)/((-105)/396 - w/(-33)). Let f be 94/6 - (-4)/b. Solve -5*d + f = -9 for d.
5
Let p = 655 + -426. Suppose 7*x + 26 = p. Solve x*o - 28*o = -1 for o.
-1
Let z be (6/(-15))/(1 + (-16)/15). Suppose -z*x = -5*x - 7. Suppose 2*t + x = 7. Solve t = -3*f - f - 20 for f.
-5
Suppose -2*y = 2*y - 596. Suppose 142*i = y*i. Solve -4*f - f + 20 = i for f.
4
Suppose -13*o + 10*o + 105 = 0. Let y(x) = -30*x**3 + 2*x**2 - x - 2. Let v be y(-1). Let n = o - v. Solve -1 = -n*g + 11 for g.
3
Suppose 63*i - 1864 = 55*i. Let a = i + -233. Solve -2*t + 1 - 7 = a for t.
-3
Let c = -310 + 313. Suppose 6*r + 16 = 5*b + 10*r, -c*b + r = 4. Solve b = 3*f + 5 - 17 for f.
4
Let q = -2396 + 2477. Solve -22*i - 37 + q = 0 for i.
2
Let c(g) = -4*g. Let n be c(-1). Suppose 0 = 3*x - n*x. Suppose x = -3*o - 24 + 36. Solve z + 2 = o for z.
2
Let n = 269 + -255. Let g be n/2 + -2 + -2. Solve 22 = -5*b - g for b.
-5
Let k(s) = 10*s**2 + 17*s + 56. Let n be k(-5). Let u = 224 - n. Solve -5*a - u = 17 for a.
-4
Let x(z) = -z**3 + 14*z**2 + 14*z + 7. Let b be x(14). Let d = -201 + b. Solve 5*f + d = 6*f for f.
2
Let b = -36326 - -36679. Solve -14*l - b = -451 for l.
7
Let f be ((-5)/(-20)*4)/(-12 + 10)*-10. Let h be (-3)/(-9) - (-8)/3. Suppose -5*t = -g + 6*g - 35, -h*t - 19 = -f*g. Solve 0 = -t*i - 3 + 5 for i.
1
Let t = -305 - -309. Let d be 6/(2 - t) - -8. Solve c = d*c + 16 for c.
-4
Suppose 0 = -x - 0*x + 5. Suppose -b - x = -3*a, -a = -b - 3 + 2. Solve -a*d - 6 + 0 = 0 for d.
-3
Suppose -3*s + 0*s = -5*s. Suppose -j + n = 4*n - 10, s = -3*j + n + 70. Let b be j*1 + (1 - 1) + 0. Solve 5*h = -b + 7 for h.
-3
Suppose -108*q = -17879 - 9180 - 16465. Solve 347 = 8*i + q for i.
-7
Let d(g) = 2*g**3 + 29*g**2 - 72*g - 77. Let x be d(-16). Solve -891 = 73*p - x for p.
-8
Let a(o) = 2*o**3 + 53*o**2 - 42*o - 397. Let l be a(-27). Solve -l*c - 20 = -44 for c.
3
Let j be (-18)/(-15)*(-5)/(-2). Suppose 0*c + 34 = j*v - c, -44 = -3*v - 4*c. Let m(t) = 3*t - 21. Let l be m(v). Solve -3 = 3*o - l for o.
4
Let j(n) be the third derivative of 7*n**6/120 + n**5/60 - n**4/24 + 39*n**2. Let o = -4 - -5. Let l be j(o). Solve -9 = 10*w - l*w for w.
-3
Suppose 179*x + 96 = 182*x + 4*p, -3*x = 2*p - 90. Solve x*c = 41*c - 26 for c.
2
Suppose -5*s - 867 = -2*s. Let d = s - -292. Solve -2*p - d = -5 for p.
1
Let x(u) = 2*u**2 + 5*u + 6. Let n be x(-3). Let r be 0 + -2 + 27/n. Solve -f + 4 = r for f.
3
Suppose -5*u = 6 - 16. Let t = 1 + u. Suppose 4*w - 2 = -n + 11, -n = t*w - 11. Solve -1 = v - w for v.
1
Suppose n - 2*y = -5 + 320, -y + 1553 = 5*n. Let w = -302 + n. Solve -12 = -3*r - w for r.
1
Suppose 3*n - 9 = 0, 3*f - 8*n = -10*n - 21. Let h be -3 + 36/(-5 - f). Solve 11*i - i = h*i for i.
0
Let f(m) = 2*m**2 - m - 2. Let n be f(3). Suppose n*b - 41 = -2. Solve -r = 7 - b for r.
-4
Let o(b) = -b**3 - 8*b**2 - 8*b - 4. Let d be o(-7). Suppose -9*x - 6*x + 26 = -2*x. Solve 3 = -x*z - d for z.
-3
Let s(x) = x**2 - 7*x - 8. Let c be s(8). Suppose 0*h + 3 = 4*l - h, -3*l + 3*h = c. Solve -4 = -b + l for b.
5
Suppose 12*o + 3 = 27. Suppose -24*s + 198 = -o*s. Solve 0 = -s*p + 5*p + 8 for p.
2
Suppose 4*z = -4*o + 16, -4 = -o - 19*z + 20*z. Solve 4*j - 20 = -o for j.
4
Let v be 33 + 21/(84/(-64)). Solve -v*k = -11*k - 30 for k.
5
Suppose -4*s = -5*r, 7*s = 2*r + 6*s. Let f be (-1 - (-5 + r))*(25 - 23). Solve -f*x + 3*x - 15 = 0 for x.
-3
Let q be (((-748)/3)/(-2))/(46/138). Let d = -372 + q. Suppose -5*k = -2*p - 11, 3*p - k - 5 = -p. Solve 4 = p*n + d for n.
1
Suppose 18*p + 81*p = 297. Let t(a) = a**2 + 6*a + 7. Let b(d) = -d**3 - 10*d**2 - 8*d + 4. Let s be b(-9). Let k be t(s). Solve y + p = -k*y for y.
-1
Let c = -4 + 6. Suppose 0 = j - 5, 13 = 2*l + c*j - j. Solve -3 = l*t - 7 for t.
1
Suppose 4*z = -0*z + 3*w + 14, -5*w = -3*z + 16. Suppose 3*i + 11 = 20. Suppose 5*f = -3*n + 40, -10 = -4*n - f + i*f. Solve n + 5 