7*x + o*x for x.
3
Suppose -5*p = 0, 6*p = -3*a + 3*p - 75. Let d = a + 118. Let c = -93 + d. Solve c = 3*l + l + 12 for l.
-3
Suppose -5*q = j - 6, 0 = 6*j - 2*j + 16. Suppose -y + 1 = -5. Suppose -2*i = -c + 12, 4*i = i - y. Solve 2*k = -q*k - c for k.
-2
Let q = 30 - 21. Suppose -45*d = -46*d + q. Suppose -z = -4*z + d. Solve 1 - z = -l for l.
2
Let n(z) = -5*z**3 + 3*z**2 - 4*z - 5. Let v be n(3). Let y = v - -140. Solve 0*g + y = 3*g for g.
5
Suppose 39*f + 38*f = 54*f + 92. Solve 21*k - 151 + f = 0 for k.
7
Suppose 657 = -3*p - 3*l - 453, 0 = l + 5. Let t = p + 390. Solve b + t = 24 for b.
-1
Suppose -4*f + 10949 = 10793. Solve -f*k + 3*k = -108 for k.
3
Let o(n) = n**3 - 14*n**2 + 2*n + 21. Let r be o(14). Suppose -r = -11*t + 138. Solve 3 = -t*g + 16*g for g.
-3
Suppose -138 = 396*u - 442*u. Solve 4*x - u - 13 = 0 for x.
4
Let h be (-2)/(-10) + 111/(-5). Let b(p) = -p**3 + 5*p - 25*p - 30*p**2 + 47 + 53*p**2 - 18*p**2 - 28*p**2. Let x be b(h). Solve x = -2*l - l for l.
-1
Let d = 234 + -164. Let g be 1/(-5) - (-84)/d. Solve -s - 1 = g for s.
-2
Let i = 44 + -41. Let q be (i - -5)/(4/6). Suppose 3*l - q = -2*p, 2*p - p - 7 = -l. Solve 0 = -5*s + p*s - 8 for s.
2
Let s be ((-21)/9)/(1/(-3)). Let j be (-1)/((11 - 7)/(-40)) - 7. Solve -j*c - s = -4 for c.
-1
Let x(j) = -j**2 + 13*j - 6. Let l(d) = 2*d**2 - 26*d + 14. Let y(q) = -4*l(q) - 7*x(q). Let b be y(4). Solve -8*w - 10 = b for w.
-4
Suppose 0 = -d - 5*f + 18, 2*f + f = 4*d - 164. Suppose d*t = 37*t. Solve 0*r - 4*r + r = t for r.
0
Let n be (-2 - -130)/2 - (-24 + 21). Solve -n*b + 27 + 308 = 0 for b.
5
Suppose -5*o + 1273 = 4*m - 2*o, 642 = 2*m - 4*o. Let v = m - 319. Solve -6*h + 9*h = v for h.
0
Let b = 3125 - 3123. Suppose 4*j - 6 = 14. Solve 0 = j*t - b*t for t.
0
Let d = -3001 + 3023. Solve -5*n + 85 = -d*n for n.
-5
Let v(k) = -k**3 - 10*k**2 + 15*k + 55. Suppose 3*x = 12, x - 17 = 2*n + 9. Let h be v(n). Solve -5*p - 1 = -h for p.
2
Suppose 3*w - 8 = -5*k + 34, 4*w = -5*k + 51. Solve 31 = 28*y + k for y.
1
Let m(d) = -d**3 - 57*d**2 + 304*d - 345. Let q be m(-62). Solve -q*i = -38*i - 66 for i.
-6
Let a = 1690 - 1688. Let m(u) = 5*u**2 - 2*u + 2. Let c be m(1). Solve c*d - a = -12 for d.
-2
Let x(h) = -2*h + 15. Suppose 13 = 3*g + l, 2*l - 1 = -4*g + 3*g. Let q be x(g). Solve -2 + q = -3*u for u.
-1
Let i be 35*(-6)/330*-11. Solve -5*o - i = 2*o for o.
-1
Let u = -827 + 832. Let g(b) = -3*b + 1 - 6*b - b**2 - 4. Let x be g(-7). Solve u*f = 4 + x for f.
3
Let w be (9 - 9)/(0 + -2). Suppose o + b = 22, 3*o - o + 5*b - 56 = w. Solve 5*d - 8 = -o for d.
-2
Let g be (32/(-12) - (-1)/(-3)) + 95. Let r be (-5)/(3*(-3)/9)*-17. Let m = g + r. Solve 4 = -m*c + 3*c for c.
-1
Let v be (-108)/20 + -2 + (-42)/(-30). Let z be v/51 - (1 - (-446)/(-34)). Solve z*p = 21*p for p.
0
Let v = -4 + 5. Let d = -6431 - -6434. Solve -h = d - v for h.
-2
Let z(n) = 3*n**3 + 36*n**2 - 7*n + 103. Let j(k) = 7*k**3 + 73*k**2 - 15*k + 207. Let c(f) = -4*j(f) + 9*z(f). Let v be c(32). Solve -22 = -v*a - 16 for a.
2
Let r(d) = 2153*d**2 + 57*d + 2. Let i be r(-1). Solve -2100*x + i*x + 6 = 0 for x.
3
Let f(a) = 48 + 2*a**2 - 44 - a**2 - 2*a. Let o be f(3). Let x(v) = -v**3 - 64*v**2 + 1187*v + 173. Let w be x(-79). Solve 4*r + o = w for r.
2
Let p = -216 - -256. Suppose -9*c + p = c. Solve v - 12 = c*v for v.
-4
Suppose 2*v = -0 + 4. Suppose -2*g + 171 = 75. Suppose -14*w = 2*w - g. Solve v*h - w = h for h.
3
Let k = -596 - -610. Suppose -2 - 180 = -k*x. Solve 0 = -6*j + x - 25 for j.
-2
Suppose -72 = -5*v - 17. Suppose -v*l + 36 = -5*l. Let j be 2 - -3*4/l. Solve 0 = j*y - 0*y for y.
0
Let q = -4286 + 4313. Solve 2*g + 17 = q for g.
5
Let f be 364/(-1 + 15) - 12. Solve 53*t = 60*t + f for t.
-2
Let d be (-1)/1*31/(-31) - -6. Solve -w = -d*w - 12 for w.
-2
Suppose 38 + 78 = -4*b. Let j be (12/(-9))/(4/102). Let l = b - j. Solve 0 = -2*p - 5 - l for p.
-5
Let m be (0 + 0)*13/(117/9). Suppose -7 = -w - m*w. Solve 3 = 5*i - w for i.
2
Let t = -1243 + 1247. Suppose -3*a - 27 = -j, -41 = -3*j + a - 2*a. Suppose 0 = g + 4*u - j, -u = t*u - 15. Solve -6*f = -g*f - 15 for f.
5
Let t(l) = -4*l**3 + 63*l**2 - 21*l. Let h be t(15). Suppose -h = -62*c + 53*c. Solve 4*u - c = -4*u for u.
5
Let m = 445 - 424. Solve -34 = m*j + 92 for j.
-6
Let x(f) be the third derivative of -f**4/24 + 3*f**3 + 2*f**2 - 19. Let h be x(-9). Solve -30*n = -h*n for n.
0
Let j = 443 - 382. Solve -j*u + 120 = -101*u for u.
-3
Let s(h) = -h**3 + 7*h**2 + 2*h - 5. Let p be s(7). Let m = 9 - p. Suppose -3*t - 3 + 12 = m. Solve -z - 2*z + t = 0 for z.
1
Let y(g) = 5*g**3 + g**2 + 2*g + 15. Let c(l) = -l**3 - l**2. Let v(f) = 6*c(f) + y(f). Let x be v(-5). Solve 9 = x*i - 1 for i.
2
Let m = 58 - 38. Suppose 0 = -2*k - b + 6 - 2, -5*b - m = 0. Let l(g) = g**2 + 8*g + 1. Let p be l(-9). Solve r + p = -k*r for r.
-2
Let w be 2516/13*1 - 7734/(-16757). Solve -w = 21*c - 47 for c.
-7
Let r = 7097 + -7097. Solve -25*c - 83 + 108 = r for c.
1
Let v(s) = -s**2 + 12*s - 6. Let g be v(11). Suppose -3*z + g = -4. Suppose z*c = t + t + 24, 0 = -5*c - 4*t + 18. Solve -f - c + 3 = 0 for f.
-3
Let g be (-7 + -2)/3 - -18. Let t(z) = 8*z + 14. Let s be t(5). Let i = -49 + s. Solve -g = i*b - 0*b for b.
-3
Let p(i) = -8*i + 11*i + 8*i - i. Let u be p(-4). Let v be (2/(-4))/(5/(u*1)). Solve -7 = -v*b + 5 for b.
3
Let a(d) = d**2 + 143*d + 952. Let i be a(-136). Solve 7*s - 15 - 27 = i for s.
6
Let w be 6/21 + 13/((-91)/30). Let c be (w - -2)*17/(272/(-120)). Solve c = -2*j + 9 for j.
-3
Let o = 62 + -58. Suppose 0*s + 20 = 5*z + s, 0 = -4*z - o*s. Suppose 0 = z*p - 0*p - 10. Solve -p = 3*h - h for h.
-1
Suppose 235979 = 673*s + 41482. Solve 34*q = 119 - s for q.
-5
Suppose -17*y + 3*a = -15*y - 546, -y - 4*a = -284. Solve 0 = -38*q + 66 + y for q.
9
Let x be (-27591)/(-918) - (-4)/(-72). Solve -x*n + 58 = -32 for n.
3
Let x = 1051 + -1051. Solve 14*w - 16*w = x for w.
0
Suppose 531 - 145 = 5*w - 3*g, 2*w = 4*g + 174. Solve 17*x = -22 + w for x.
3
Let r be -3 - 35/3*252/70. Suppose -4*o + 3*m = -183, -3*o - 3*m = -40 - 92. Let n = o + r. Solve -3*q - 2*q = n for q.
0
Suppose -4*a - 5 = -61. Let y(l) = 9*l + 292. Suppose 4*o - 2*k + 200 = 80, -6*o - 4*k - 208 = 0. Let r be y(o). Solve r = -5*s + a for s.
2
Suppose 903 = 15*b + 753. Solve b*n - 7 + 7 = 0 for n.
0
Let k = 12812 + -12773. Solve -k*p + 168 + 27 = 0 for p.
5
Let t be 25*2/20*116. Suppose 0 = p + 2*p - 4*u + 203, t = -5*p - 3*u. Let d = p - -63. Solve d*z - 8 + 2 = 0 for z.
3
Let o(c) = -c - 14. Let v = 159 + -178. Let g be o(v). Solve -8*t = -3*t - g for t.
1
Let u = -4708 + 4713. Suppose 0*v - 5*v = -10. Solve -v = g - u for g.
3
Let k(f) = -6*f - 17. Let i be k(-6). Let r = -19 + i. Suppose -5*l + 4*l = r. Solve 20 = -l*a + 4*a for a.
5
Let n = -1862 + 1923. Solve n*p + 105 = 46*p for p.
-7
Let w = -294 - -296. Suppose 1 = g - 2*n - 32, 0 = -w*g - 3*n + 45. Solve -31*k = -g*k + 16 for k.
-4
Suppose 0 = -3*c - d + 17, 5*d - 1 = c + 4. Let l = 32 + -29. Let q be 5 + 1 + l + -4. Solve -q = 5*t + c for t.
-2
Let s = 176 - 171. Suppose -s*a + 2*a = 3, 0 = -4*d + 3*a + 31. Solve -35 = -d*u - 0*u for u.
5
Let p(c) be the first derivative of c**4/4 - 8*c**3/3 + 11*c**2/2 + 11*c - 2. Let s be p(6). Suppose -s*q + 8*q = 0. Solve -4*u - 8 + 28 = q for u.
5
Let t be -5 - (6/(-16) - (-552)/(-64)). Suppose 5*m - t*h = 27, -h + 4*h = m - 12. Solve -3*p + 9 = m for p.
2
Suppose 0 = 82*j - 89 - 813. Solve j*s + 22*s = -165 for s.
-5
Suppose 0 = 28*b - 29*b + 2. Suppose -4*l = m - 9, 7 = m - l - b. Suppose 2*a = -0*a - 5*f, a - 2*f = m. Solve -d + a = -0*d for d.
5
Suppose -3*l - 5 = 10, 2*s - 3*l = -1715. Let z = -852 - s. Solve -2*t = -15 + z for t.
1
Suppose -32*z - 200 = 16*z - 73*z. Solve 23*p - z*p = -7*p for p.
0
Let u(w) = -w**3 - 3*w**2 - 3*w + 4. Let l be u(-4). Let f(b) = -3*b + 1. Let k be f(-2). Suppose 5*j + k - l = 0. Solve 0 = -j*g - 30 + 5 for g.
-5
Suppose -3 + 6 = k. Suppose 2*f + 2 = 3*t + 17, -k*t = 2*f - 9. Suppose f*c - 22 = -5*c. Solve -c*s + 4 = -6 for s.
5
Let c = 304 - 235. Suppose -8*y + c = 5. Solve y*r = -19 + 11 for r.
-1
Let y(w) = 19 + 7*w**2 + 4*w + 20 + w**3 - 7 + 6 - 9*w. Let c be y(-8). Solve 4*r - c = 6 for r.
5
Let u(v) = -107*v + 216. Let b be u(2). Let c(n) = -2*n**2 - n + 1. L