
Let d = -5998 + 5998. Solve 2*m = -d*m - 12 for m.
-6
Let p(t) = -t**3 + 9*t**2 - 4*t - 14. Let x be p(8). Suppose 3*q - 5*q - x = -g, 0 = -2*q - 8. Solve g*b = 9*b for b.
0
Let q = 34675 - 34491. Solve 0 = -q*i + 181*i - 27 for i.
-9
Suppose 2*w - 3*f = -20 + 32, -9 = -w + f. Solve w*o - 21*o + 18 = 0 for o.
3
Let j be 305/11 - (-72)/264. Solve -j*g - 213 = -99*g for g.
3
Let z(q) = 7*q - 23. Let b = 382 + -378. Let u be z(b). Solve 3*v + 16 = -u*v for v.
-2
Let c = -72 - 25. Let s = 2 - c. Let n = -96 + s. Solve -8 = n*q - q for q.
-4
Let p = -15168 + 15168. Solve -219*i + 225*i + 24 = p for i.
-4
Let g = 13 + -3. Let s = -910 - -912. Let t = 31 + -27. Solve -s*o + g = t for o.
3
Suppose -177*w + 2068 = -83*w. Solve 8*t = w - 38 for t.
-2
Let d(t) = -4*t**3 - t**2 + 9*t + 3. Let l(x) = 5*x**3 + 3*x**2 - 10*x - 4. Let n(k) = 4*d(k) + 3*l(k). Let y be n(6). Solve y = 2*u + 5 - 11 for u.
3
Let p(t) = -t + 3. Let m be p(3). Let k = -15707 + 15716. Solve -4*w - 11 - k = m for w.
-5
Let y(g) = 6*g + 37. Let l be y(-6). Suppose 6*x = l + 11. Solve 0 = -2*n + 8 + x for n.
5
Suppose -24 = -2*v - 0. Let t be (v - 232/24)/((-2)/(-6)). Solve -2*q + 10 = -t*q for q.
-2
Suppose -2*d + 34 = 4*x - 24, 0 = -x - d + 14. Let r be 6/(((-2)/8)/(x/(-24))). Suppose -5 + 2 = -m - 4*o, 5*m = 2*o + r. Solve -m*s + s = -6 for s.
3
Suppose -5*u - 3*d = 15, 5*u + 4*d - 2 = -22. Suppose 4*w - i - 16 = u, 0 = -0*w - 2*w + 2*i + 2. Suppose 8 = 2*p, 7*p - 9*p = -5*q - 3. Solve -q = r - w for r.
4
Let n = 5851 - 5826. Solve -17 + n = -2*d for d.
-4
Suppose -161 = -18*r - 17. Solve 235 = -r*x + 211 for x.
-3
Suppose 4*a + 174 = 4*n - 330, 0 = 2*n - 3*a - 244. Solve -23*i - 999 = -n*i for i.
9
Let r(c) = 36 - 9 - 8 - 16*c + 41. Let a be r(5). Let d be (45/a)/(-3)*4. Solve -2*q - 1 = d for q.
-2
Let g(s) = s + 5. Let w be g(-7). Let d = 320 - 319. Let b be 21*(-2)/3*d/w. Solve -5*i + b = -13 for i.
4
Let l = 8 - 1. Let b(t) be the third derivative of t**5/30 + t**4/8 - t**3/6 + 66*t**2. Let f be b(1). Solve -f*d + 13 = -l for d.
5
Let d = -3230 - -3290. Solve 21 = 53*s - d*s for s.
-3
Let w be ((-165)/20)/(30/(-80)). Solve -28 = w*s - 116 for s.
4
Suppose -7 + 16 - 9 = 5*y. Solve y = 10*b + 40 - 60 for b.
2
Let c = 17163 + -17163. Solve 633*u - 627*u - 18 = c for u.
3
Suppose 10*h - 5 = 5*h, 4*b + 3*h = -325. Let p = -57 - b. Solve -4*l - p = l for l.
-5
Let m(v) = -v**3 + 5*v**2 + 2*v - 5. Let i be m(5). Let n(z) = -2*z + 15. Suppose 20*g = 26*g - 42. Let d be n(g). Solve 0 = 4*y + i - d for y.
-1
Suppose 3*z + 0*z = 4*m - 11, 0 = 3*z + 4*m - 29. Suppose -z*d + 8*d = 8*d. Solve d = 6*j + 4 + 14 for j.
-3
Let n = -525 + 527. Let y(h) = -h**2 + 7*h. Let b(f) = 3*f**2 - 2*f. Let x be b(-1). Let p be y(x). Solve n = -4*c + p for c.
2
Let j be 7/((-14)/12) - -6. Suppose -9*d + 13*d = j. Solve 2*m = -d*m + 6 for m.
3
Let v(s) be the third derivative of -s**5/60 + s**4/12 + s**3/3 + 20*s**2. Let z be v(0). Suppose -z*j = -3 - 3. Solve q = -2*q - j for q.
-1
Let k = 178 + -183. Let t be (-20)/k*-2*1/(-2). Solve 13 = t*a + 5 for a.
2
Let a(v) = v + 9. Let t be a(-9). Let p = 0 - t. Suppose p = 5*k - 2*k. Solve 2 = 2*h - k for h.
1
Suppose 110 = 5*g + 3*c, 24*g + 66 = 27*g - 5*c. Solve -g*y - 83 = 27 for y.
-5
Let p(l) = 284*l**2 + 191*l + 1110. Let m be p(-6). Solve -10*s - 10188 = -m for s.
0
Let m(v) = -2*v - 5*v - 12 - 5*v + 0*v - 2*v**2. Let p be m(-4). Solve -p*s - 11 + 19 = 0 for s.
2
Suppose -15*t + 2*y - 1228 = -11*t, t + 293 = -3*y. Let s = t + 305. Solve 2*b + 10 + s = 0 for b.
-5
Suppose 3*a - 3 = -j, -2*a = -6*a + 12. Let i(l) = l**2 + 10*l + 7. Let k be i(j). Let q = k - -17. Solve 3*g + q + 6 = 0 for g.
-2
Let z be 8/(-18) - 6120/(-1377). Solve -3*v - z*v = -2*v for v.
0
Let l(w) = -19*w - 9. Let v be l(-3). Let u = v - 39. Suppose 4*n + p = -6 + 3, 2*n - 3*p - u = 0. Solve n = 2*o + 2*o + 8 for o.
-2
Let v be 28 + 10864/84 + (-2)/(-3). Solve -v*h = -167*h for h.
0
Let c be ((-3)/(3/(-16)))/(26/39). Let x = 4 + c. Suppose 0 = 31*p - x*p. Solve 5*s - 12 - 3 = p for s.
3
Let t = 357 + -353. Suppose -36 = -i - 2*i - m, t*m = i - 25. Solve -6*n - i = 5 for n.
-3
Let l(q) = q**3 + q**2 - 6*q - 7. Let p be l(-2). Suppose 2*i = -0*w - 2*w + 22, -i + 2*w = p. Solve -10*n = -i*n + 6 for n.
-2
Suppose -1851 + 78 = -348*c - 33. Solve -c*d - 20 = -30 for d.
2
Let y(b) = 2*b**3 + 28 - 2 - b**3 + 7*b**2 + 10*b. Suppose -672 = 38*j + 74*j. Let x be y(j). Solve 6 = -4*i + x for i.
-1
Let d = 22 - 22. Suppose 8*r - 64 + 16 = d. Solve t = r*t - 5 for t.
1
Let p = 1993 - 1988. Solve -244 = p*f - 274 for f.
6
Suppose 19*l - 867 - 83 = 0. Solve 0 = -a - 50 + l for a.
0
Suppose -375 = -9*v + 327. Let p = -78 + v. Suppose p = -4*k + 16, 4*k + 4 = 4*x + 2*k. Solve -x = o - 1 for o.
-2
Let k = -78 + 76. Let w be ((-14)/k)/((-5)/5). Let g = w + 15. Solve -5*p - 7 - g = 0 for p.
-3
Let m be (20/8)/(2/48*-2). Suppose -3*t + x + 69 = -t, 5*x + 141 = 4*t. Let b = m + t. Solve b*y = -y - 15 for y.
-3
Let w be ((-1400)/(-250))/((8/5)/4). Solve -24 + w = -2*l for l.
5
Suppose 0*u - 1275 = 25*u. Let v = -56 - -111. Let i = u + v. Solve i*o + 15 = -o for o.
-3
Let i(g) = -g**3 - 6*g**2 - 21*g - 11. Let r be i(-8). Solve r*y - 280*y + 20 = 0 for y.
-4
Let q(i) = i - 7. Let p be q(12). Let d = -13392 - -13491. Solve p*h - 104 = -d for h.
1
Suppose b = 12*b + 22. Let n be (b + 2)/((-12)/(-7 + 1)). Suppose 5*c + 4*y = 3*y + 47, 2*c + 2*y - 14 = n. Solve c = -2*v - 0*v for v.
-5
Let x(a) = 16*a**3 - 2*a**2 + a. Let f be x(1). Let r = -21715 - -21720. Solve -8*c = -r*c - f for c.
5
Suppose 4 = k - 2. Suppose -k*n + 588 + 48 = 0. Let w be n/10 + ((-32)/20)/(-4). Solve -w = -4*j + 5 for j.
4
Suppose 5*o - 115 = 5*w, -2*w + 2*o - 7*o - 18 = 0. Let j = 20 + w. Let f = j + 5. Solve 4*p - 2*p = -f for p.
-3
Suppose 0 = -l + 4*t, -5*l - 3*t = t - 24. Let s be 0 + 62/32 - 88/(-1408). Solve -l*w + 2 + s = 0 for w.
1
Suppose -1 = -c + 3*g, 2*c - 4 = -g + 5*g. Suppose -2*m - 8*l - 8 = -c*l, 5 = -5*m - 5*l. Solve -9 + 5 = -m*s for s.
2
Let g be 4 + ((-85)/(-2))/(7/28). Let n = 176 - g. Let r be (-2 + 1)/(1/(-3)). Solve -r*l - 4 = n for l.
-2
Let p(t) = 11*t**2 + 53*t + 26. Let j(q) = -5*q**2 - 26*q - 13. Let l(x) = -7*j(x) - 3*p(x). Let m be l(-11). Solve 6*f - 16 = m*f for f.
4
Let x be 1 + (-6 - -3) + 4/1. Suppose -a + j + 33 + 4 = 0, -a + x*j = -39. Suppose 39 = 38*b - a*b. Solve -5*w + 3 = b for w.
-2
Suppose 111*w = -41*w + 304. Let a(p) = -p**2 + p. Let c be a(1). Let j be 1 + c + (0 - -3). Solve j = w*n + 8 for n.
-2
Let i(t) = -10*t**3 + 101*t**2 + 107*t + 6. Let z be i(-1). Let o = 0 + 2. Solve 7*q - z = o*q for q.
2
Suppose 413*o - 436*o - 1 + 1 = 0. Solve -25*i + 0*i - 50 = o for i.
-2
Let x be (0 + 3)/(9/6). Let g = x + 1. Suppose 123 - 122 = u - 2*p, 2*u - 8 = 2*p. Solve -g*l = -22 + u for l.
5
Suppose 0 = 35*d - 41*d + 24. Suppose 1682 = -5*b - 2*n + 218, d*n = -5*b - 1458. Let h be 7/(b/(-138)) + 2/(-7). Solve -h*p - p = 8 for p.
-2
Let v(w) = w**2 + 7*w - 5. Let h be v(-8). Suppose 2*d - 6 = 0, 3 = -j + 3*d + 2*d. Let l = -2322 - -2322. Solve x + h*x - j = l for x.
3
Let n be (2 - 80)*(-6)/144*8. Solve n*q + 22 = -4 for q.
-1
Let s(g) = 11*g**3 - 3*g**2 + g - 4. Let h be s(3). Let t = h + -269. Solve t = -0*r + 3*r - 15 for r.
5
Suppose -4*i + 30 = -2*i. Suppose 223*c + 964 - 1587 = 1830. Solve -i*o = -c*o for o.
0
Let m be (-421402)/(-517) + 1/(-11) - (-1)/(-1). Solve 8 = m*s - 812*s for s.
4
Let q be -3*(-6)/(-3)*5/10. Let f be (q/6 + 1)*4. Solve -2*w = 6 + f for w.
-4
Suppose -419*d - 337 = 437 - 3707. Solve -201*h + 202*h = -d for h.
-7
Let f(s) = -23*s - 22. Let u be f(-6). Let n = 121 - u. Suppose 0 = n*k - 3*k + z - 9, -2*k = -3*z + 3. Solve k - 12 = 3*p for p.
-3
Let x be 1*(-3 + 1 - (18 - 63)). Solve 34*s - 54 = x*s for s.
-6
Suppose -14*v - 187*v + 4422 = 0. Solve -126 = 13*w - v for w.
-8
Let n(r) = -2*r**2 + 26*r + 32. Let o be n(12). Let w = -41 + o. Solve -w*x = -16*x + 4 for x.
4
Suppose -1946 = 12*c - 6170. Solve -c*l + 8 = -344*l for l.
1
Suppose -1210*z + 1207*z + 9 = 0. Suppose -20 = -z*v + 5*j + 20, 2*j = 2*v - 20. Solve v*i - 6*i = 2 for i.
-2
Let l(r) = -r**2 - 22*r + 719. Let a be l(-39). Solve -12 = 22*p - a for p.
2
Suppose -67 + 2 = -5*f. Let v = 16 - f. Suppose -p + 2*c - v =