216 = a*q - 186 for q.
-5
Let o be 6 + -2 - (3 - 4). Let f be 12/(-15)*1*(0 - o). Suppose -2*d = -f*d + 6. Solve 1 = i + d for i.
-2
Let p be (-8)/(-6) - (-4)/(-12). Suppose 2*f + p - 7 = 0. Suppose 89*y = -3*o + 93*y + 14, -70 = -3*o - 4*y. Solve 0 = -f*w + 2 - o for w.
-4
Suppose -25*y + 341 - 141 = 0. Solve -u - 3 = -y for u.
5
Let v = 3102 + -3037. Solve 0 = -20*f + 25 - v for f.
-2
Let c be ((-9)/27)/(-1 - 653/(-654)). Let f = c - 216. Let u(y) = -y**3 - 16*y**2 - 14*y + 20. Let r be u(-15). Solve -r = -f*h + 3*h for h.
-5
Let o be (20/(-12))/((-5)/6). Let k(s) = -6 - 4*s**2 + 2*s + 0 - 5*s**o + s**3 - 11*s. Let d be k(10). Solve -2 + d = -2*u for u.
-1
Let x be ((-5)/((-10)/8))/(14/1323). Solve -x*i = -376*i + 10 for i.
-5
Let s = 0 + 0. Let u(k) = -k**2 + 362*k + 1468. Let y be u(-4). Solve y*w - 4 - 4 = s for w.
2
Let k(y) = 2*y + 18. Let x be k(-6). Suppose 13*a - 76 = -x*a. Suppose -h + 6 = -1. Solve a*v = -h - 13 for v.
-5
Let z(o) = o**3 - 48*o**2 - 98*o + 2713. Let s be z(49). Solve -311*j = -s*j + 6 for j.
6
Let h be (-2)/(1*(-2)/4). Suppose -692 = 6*c - 1952. Let q = 211 - c. Solve h = -f + q for f.
-3
Let x(o) = -o**3 - 7*o**2 + 7*o - 2. Let k be (-3)/(-21) + (-57)/7. Let d be x(k). Suppose 3*a + d = 6*a. Solve 3*u = u - a for u.
-1
Let d(z) = -986 - 2*z + 7*z - z**2 + 1005 + 0*z**2. Let l be d(7). Solve t + l = 1 for t.
-4
Let v(y) = y**3 + 2*y**2 - 4*y + 1. Let g be v(-3). Suppose -g*q + 2*q = -14. Let p = -9066 + 9069. Solve 0 = c - p + q for c.
-4
Let m(o) = -2*o**2 + 26*o + 76. Let x(g) = 2*g**2 + 12*g + 33. Let l be x(-3). Let f be m(l). Solve 0 = f*s + 24 + 8 for s.
-2
Let f(l) = -2*l**3 + 2*l + 5. Let n be 0*(8/40)/(8/(-10)). Let p be f(n). Solve -15 = -5*w + p for w.
4
Let o = -311 + 311. Suppose -v + o*v + 11 = 0. Solve -v = -b - 15 for b.
-4
Suppose 8832 = 16*u + 75*u + 5*u. Solve -25*o = -2*o - u for o.
4
Let k be 6/(-33) - (-205744)/242. Solve 3*l + 844 = k for l.
2
Suppose -4 = -4*l + 16. Let g(f) = 6*f - 26. Let a be g(l). Let z = 10 - 5. Solve -z*y - 19 = -a for y.
-3
Let y(u) = -11*u + 13. Suppose 0 = -7*d + 6*d + 6. Let j be y(d). Let i = j + 55. Solve -16 = 2*c + i*c for c.
-4
Let y(x) = -2*x**2 + 80*x - 740. Let v be y(16). Solve 44 - v = 8*i for i.
2
Let j = -154 - -161. Suppose j = 3*v - 3*y + 4, -5*v - y = -17. Solve 7 = -v*c + 1 for c.
-2
Let h(d) = -d**3 + 2*d**2 + 27*d - 18. Let a be h(6). Suppose -39*b + 3 - 3 = a. Solve b = 4*f - 21 + 13 for f.
2
Suppose -5*r + 3*q = -158, -11*q + 7*q + 16 = 0. Suppose 0 = -7*i + 85 + r. Solve -3*w + 11 = i for w.
-2
Let d = 36854 + -36834. Solve 347*w - 357*w = -d for w.
2
Suppose -10*k + 6 = -7*k. Suppose 4*m + 3 = -3*z, -3*z - 2 - 1 = k*m. Solve m = -2*g - 8 for g.
-4
Suppose -6 = 69*h - 72*h. Suppose 2*k + h = -2*y, 2*y - 5 = -11. Solve 13 = -3*x - k for x.
-5
Let s(h) = 4*h - 56. Let f be s(15). Solve -g = g - f for g.
2
Let x be 16/(-6)*(-5 + 28/8). Suppose 0 = -23*c - x*c + 108. Solve c*h = 5*h + 2*h for h.
0
Let d be 3 - 24*2 - -1. Let q be (-9)/(-6) - ((-1)/2)/(-1). Let x be q/(-2 - d/20). Solve 0 = -4*o - 11 - x for o.
-4
Let l = -1188 + 628. Let j be (-2)/9 + l/72. Let u(n) = -n**3 - 7*n**2 + 6*n - 11. Let v be u(j). Solve v*f - 7 = -2 for f.
1
Let b = -739 + 573. Let t = b + 174. Solve 0 = 9*v - 7*v - t for v.
4
Suppose 4*i = -4*o + 28, -5*o = -2*o - 3*i - 21. Solve o*y + 18 = -17 for y.
-5
Suppose -47*l = -31*l + 640. Let x be (-2)/((l/(-96))/(-5)). Solve -x*n + 4 = -22*n for n.
2
Suppose 8*x + 61 - 205 = 0. Suppose x + 39 = 3*g. Solve 1 = 4*b - g for b.
5
Suppose 0 = 4743*f - 4747*f + 28. Solve -f*m + 5*m = -10 for m.
5
Let d(j) = 9*j - j**2 + 19 + 3*j + 3*j - 30*j. Let i be d(-16). Solve -i*h - 16 = -7*h for h.
4
Let q be (2754/1458)/(2/36). Solve q*y + 54 = 28*y for y.
-9
Let o(f) = f**3 + f**2 + 5*f + 6. Let r = 31 + -34. Let c be o(r). Let u = -12 - c. Solve -5*s + 2*s = -u for s.
5
Suppose -14*u + 18*u - 4 = 3*n, -5*n + 5*u = 5. Suppose 32*d - 26*d - 6 = n. Let j be -3 + 2 - 1/(-1). Solve j = 4*t - 3*t - d for t.
1
Let m be 6/183 + 37320/366. Solve m = 36*y - 19*y for y.
6
Let n(i) = 8*i + 1518. Let t be n(23). Solve -1694*d + 48 = -t*d for d.
-6
Let w = -13672 + 13686. Solve -w*q = -29*q - 15 for q.
-1
Let d(c) = -13*c + c**2 + 6 + c**2 + 0*c**2. Suppose 140*y - 137*y = 18. Let u be d(y). Solve 0*a - 3*a - 3 = u for a.
-1
Let u = 263 + -263. Let c be -2 - ((2 - 6) + u). Solve c*t + 6 = 12 for t.
3
Let s(o) = 3*o. Let m(g) = -32*g - 28. Let c(n) = -m(n) - 10*s(n). Suppose -3*u - 18 = 21. Let j be c(u). Solve l = j*l for l.
0
Let w(t) = -22 - 13*t + 31*t + 12*t. Let z be w(1). Let x = 10 - 7. Solve -z = j - x for j.
-5
Suppose 0 = 2*q - q. Suppose -4*i - i = q, -3*a + 6 = -3*i. Suppose 16*k - 36 = 7*k. Solve k = -3*f + a*f for f.
-4
Suppose -p - 2*d = 4, -p + 15 + 5 = -4*d. Suppose 5*i - 35 = 5*v, i - p*i - 3*v + 51 = 0. Suppose 7*q - i*q + 10 = 0. Solve 0 = q*m + 6 + 4 for m.
-5
Let h be ((57 - -10) + -5)*((-6)/(-4))/3. Solve -9 + 71 = -h*a for a.
-2
Let i = 19 - 27. Let c(h) = 2*h - 15. Let p(a) = -8*a + 43. Let f(g) = -14*c(g) - 4*p(g). Let r be f(i). Solve -2*t + r*t = 0 for t.
0
Let q(u) = -45*u - 385. Let t(n) = 15*n + 128. Let m(y) = 3*q(y) + 10*t(y). Let h be m(-8). Solve 2 = -h*x - 8 for x.
-2
Let o(d) = 27*d - 2703. Let i be o(103). Solve -i*b + 74*b = 20 for b.
-5
Suppose 4*x + 2*s - 6*s - 112 = 0, 71 = 2*x + 3*s. Suppose -18*a = -x - 5. Solve -10 + 2 = a*j for j.
-4
Let j = -197 + 216. Suppose j*t - 101 = -25. Solve 4*l = 4 + t for l.
2
Suppose -3*c + 5*q = 12, -21*c + 5*q - 2*q = -108. Solve c*t + 17 = 29 for t.
2
Suppose -1823*y - 1494 = -1829*y. Solve 254*j - y*j = -25 for j.
-5
Let v(z) = 34*z + 9. Let r(x) = -97*x - 26. Let i(p) = 4*r(p) + 11*v(p). Let j be i(-1). Suppose -4*w + 16 = -0*w. Solve -j*n + 5 = -w*n for n.
1
Suppose -4*a - 3*u + 14 = 0, u + 4 = 2. Let w(q) = -q**3 + 7*q**2 + 4*q - 27. Let m be w(7). Solve 0 = t + a - m for t.
-4
Let l be -7 - ((-13)/(52/(-40)) + -34). Solve l*b + 6*b + 138 = 0 for b.
-6
Let n(p) be the third derivative of p**4/4 + 6*p**3 - 46*p**2. Let z be n(-6). Solve w = -z*w for w.
0
Let c be 0/((-57)/570 - (-22)/20). Solve -8*j + 1230 - 1286 = c for j.
-7
Let t = 10344 - 10337. Solve -391 + 356 = -t*g for g.
5
Let x = 8 + 13. Suppose -x*t - 40 = -25*t. Solve -t*n = -9*n + 5 for n.
-5
Let r = -13115 + 13189. Solve 0 = -9*w - 28*w + r for w.
2
Let k be 585/(-312)*432/(-15). Solve -108 + k = 6*v for v.
-9
Let d(l) = -13*l**3 + l**2 + l. Let w be d(-1). Solve -10*v = 53 - w for v.
-4
Let t(i) = -21*i + 13*i + 21*i - 27 - 11. Let c be t(3). Let l(m) = -m**3 - 6*m**2 - 10*m - 22. Let b be l(-5). Solve 0 = b*k + 10 - c for k.
-3
Suppose 0 = -19*c + 23*c. Solve c = -14*h + 12*h for h.
0
Let h = 3708 + -3702. Solve 4*u - 10 = -h for u.
1
Let m = -28 - -30. Suppose m*a = 2*b - 4 + 12, 4*a - 44 = -3*b. Solve 0*w - 4*w + a = 0 for w.
2
Suppose 5*q + 5*o = 50, 20*q - 15*q - 4*o - 5 = 0. Solve 2*i + 7 = -q*i for i.
-1
Let q(d) = -2*d**3 - d**2 + 6*d + 17. Let u be q(-4). Solve 15*s + u = 36*s for s.
5
Let m = -27744 + 27855. Solve -16*d + 175 = m for d.
4
Let b(j) be the third derivative of j**4/24 + 2*j**3 + 4*j**2 - 21*j. Let u be b(-11). Solve 0 = -4*i + 3 + u for i.
1
Let h be (-32 + 4848/120)/((-2)/(-5)). Solve -h*j - 120 = -81*j for j.
2
Suppose 3*t + 3*p - 17 = 61, 76 = 3*t + p. Solve 10*m + t*m = 70 for m.
2
Suppose 5 = 4*s + d, 2*s = -s + 5*d - 2. Let c be s - (-3 - 1 - (-1 + 1)). Suppose -5 = c*f - 40. Solve -5*h - 8 - f = 0 for h.
-3
Let n(h) = -4*h + 24. Let i be n(7). Let m be 14/(-56) + (-17)/i. Solve m = 2*d - 2 for d.
3
Let j be 60/27 + (-75)/(-27) + -3. Suppose s + 17 = 4*g, -j*g = -g - 3*s - 7. Solve 2*b = -12 + g for b.
-4
Let a = 221 + -225. Let f be 2/a - 3/30*-115. Solve 5*t - f = 9 for t.
4
Suppose -5*y = -4*u + 37, -2 = y + 3. Let r(i) = 21 - u*i - 8*i + 13*i. Let l be r(-5). Solve l = 3*z - 1 for z.
4
Let z be (-6)/(66/121) - (3 - 30). Solve -59 = -z*q + 69 for q.
8
Let v(f) = f**2 - 21*f + 52. Let o be v(19). Let a be (8/18)/(848/(-72) + 12). Solve 16*h = o*h - a for h.
-1
Suppose 4*b = 0, 5*s - 4*b + 26 = 76. Suppose -4*t + s = 38. Let m = -7 - t. Solve -2*d - 3*d + 10 = m for d.
2
Suppose -2*d - 4*s = -4, 0 = 2*d - 5*s - 13. Suppose d*q = -6*j + 3*j, -j = -5*q. Solve -16 = 4*y - q