 6*x = -8*x - p for x.
-6
Let z(b) = 45*b**3 - 2*b**2 + 22*b - 39. Let k be z(2). Let c = k - 357. Let x be (2/(-5))/((-2)/10). Solve -2*u + 3*u - x = c for u.
2
Suppose 11*d = -16*d + 10*d. Suppose 0 = 3*h - 4*i + 13 - 48, -5*h - i + 20 = 0. Suppose -2*t = -7*u + h*u, -4*u - 3*t + 21 = d. Solve 2 = -u*o - 1 for o.
-1
Let d(k) = -k**3 + 9*k**2 - 11*k + 3. Let i be d(10). Let g = -203 - i. Solve -g*x = -3*x for x.
0
Suppose k = 3*n - 9, 45*k = 53*k + n - 53. Solve -k = -1367*f + 1366*f for f.
6
Let f = -81 + 174. Let p be ((-62)/f)/(4/(-30)). Let t(w) = -w - 6. Let r be t(-6). Solve p*q - 20 = -r*q for q.
4
Let f = -791 + 803. Solve -f = 11*g - 15*g for g.
3
Let v be 25320/520 + 8/26. Solve -12*t = 85 - v for t.
-3
Let n be (21 + 14)/7 + 7. Suppose 0 = -5*t + 2 + 13. Solve n = -z - t*z for z.
-3
Let q be -7 + (-498)/(-12) - 6/(-4). Suppose -2*m = -5*g + q, 2*g - 9 = -3*m - 6. Let r = g - -2. Solve -r = 3*c - 2 for c.
-2
Suppose -11*x - 40 = -5*o - 7*x, o - 9 = x. Let g(n) = n**2 + 9*n - 3. Let p be g(-10). Suppose -2*c + p*c + 32 = o*b, 8 = b - 5*c. Solve -12*d = -b*d for d.
0
Suppose -5*d = c - 25, 0 = -c - 2*d - 2*d + 20. Let u = 16114 + -16112. Solve -u*q - 9 + 1 = c for q.
-4
Suppose -515*r + 512*r + 12 = -2*h, -h = -4*r + 6. Let y be (-5)/10*(1 - -29). Let j be y/(-2)*(-6)/(-9). Solve r = -3*o - j + 17 for o.
4
Let c(d) = 10*d**2 - 192*d + 44. Let b be c(19). Let n = 1 - 1. Suppose b*y = -n*y + y. Solve -m + 6*m = y for m.
0
Let o be (2/6)/((-1)/(-24)). Suppose -2 = 2*b + 4*k, 0 = 5*k - 5. Let m be -4 + ((-24)/b)/1 + -1. Solve -m*p - o = 4 for p.
-4
Let o(c) = 7*c**2 + 4*c + 4. Let d be o(-3). Suppose 49*j + 1123 = -1131. Let f = d + j. Solve f + 16 = 5*t for t.
5
Suppose 0 = -t + 2*q - 2 + 59, -4*t + 288 = 2*q. Solve t - 65 = v for v.
4
Suppose -19*x + 24*x = 0. Suppose -2 = -2*l - 4*k - x, 5*l - 2*k = 17. Solve 0 = -n - l + 2 for n.
-1
Let m(p) = -p**2 + 50*p - 68. Let x be m(29). Let g = x + -532. Solve g*u - 14*u + 5 = 0 for u.
1
Let g be 6/(-9) + ((-88)/6)/(-4). Let w(b) = -21 - 1 + g*b - b + b**2. Let m be w(-6). Solve m*k = -k for k.
0
Suppose -8*x = -2*x - 336. Suppose 4*l = 2*y - 100, 6*l - 3*l - 50 = -y. Let u = x - y. Solve q = u*q for q.
0
Let c(u) = -u + 3. Let j be c(0). Let w = 26 - 23. Suppose -w*a + 43 = -5*k, a - 5*k - 6 = 15. Solve -a = -j*z + 4 for z.
5
Let n = -71 + 67. Let x = n + 4. Let f be (-5)/((1 - x)/(-2 + 1)). Solve -s + f*s = 8 for s.
2
Let s(h) = 2*h**2 - 24*h - 2240. Let j be s(40). Solve -15*b - 12*b + 81 = j for b.
3
Let u be 0*(5 + (-70)/15). Suppose -6*f = -u*f - 30. Suppose f*t - 15 = -10. Solve -t = -2*g + 3 for g.
2
Let a(q) = q**2 - 19*q + 53. Suppose 0 = 6*p + 20*p - 416. Let x be a(p). Solve -v + 1 = x for v.
-4
Suppose 10*i + 15*i = -3300. Let y = i + 140. Solve 0 = -17*z + y*z for z.
0
Let m = -359 + 261. Let d be (-6)/21 - 1498/m. Solve -8*h = -3*h + d for h.
-3
Suppose 46*s = -s - s + 912. Solve 56 - 189 = s*r for r.
-7
Let r(j) = 5*j**2 + 162*j + 23. Let t(d) = 3*d**2 + 80*d + 11. Let x(v) = -6*r(v) + 11*t(v). Let k be x(31). Solve k*u + 2 = -40 for u.
-3
Let x = -1760 + 1913. Solve x = 4*t + 129 for t.
6
Suppose -2*a + 4*a - 4*n + 20 = 0, 0 = 5*n - 25. Suppose a = -y - 2*o + 8, 4*y - 2*o - 31 + 9 = 0. Suppose y - 7 = -m. Solve -t = -0*t - m for t.
1
Suppose 2*c = -6, -3*c - 13 = 3*d - 520. Solve -139*s = -d*s - 99 for s.
-3
Let l(v) = v**3 - 2*v**2 - 3*v + 2. Let a be l(3). Let g = -250 - -438. Let b be g/20 + 2/(-5). Solve -r = a*r - b for r.
3
Suppose -159 = 5*k - r, -3*r - 2*r + 175 = -5*k. Let a = 31 + k. Solve a = 5*c - 13 + 18 for c.
-1
Suppose -3*r - 229 = -5*n + 22, -r - 149 = -3*n. Suppose n = -5*d + 149. Suppose -7*o + 5 = -6*o. Solve -u = -o*u + d for u.
5
Suppose 7*z = 18*z - 352. Suppose 0 = 572*y - 568*y - z. Solve 4 = 6*b - y*b for b.
-2
Suppose l - 4*t - 4 = 0, 4*l + 11*t - 100 = 6*t. Let u(i) = i**2 + 11*i - 32. Let x be u(-14). Solve 0 = -5*m + x*m - l for m.
4
Let o = 7832 + -7832. Solve -22*t + 30 + 14 = o for t.
2
Let b be (36/42)/(1/(-14)). Let w = b - -15. Solve 2*a - w - 5 = 0 for a.
4
Suppose -3*g + 4*g - 2*l = 9, 0 = 3*g + 4*l - 57. Solve -g*f - 26 = 64 for f.
-6
Let l be ((-129)/(-2))/((99/(-12))/(-11)). Let y = 94 - l. Suppose -m = m - y. Solve -m*b - 6 = 2 for b.
-2
Let m be 615 - -7 - (0/(-3) - 0). Let a = m + -620. Let h = -5 - -9. Solve 6*f + h = a*f for f.
-1
Let j be -11 - (-4)/((-48)/(-132)). Solve j = -124*t + 119*t - 20 for t.
-4
Let c(a) be the first derivative of a**3/3 - 11*a**2/2 - 6*a - 2. Let l be c(12). Suppose -80*d + 77*d + 42 = 0. Solve d = 4*j - l for j.
5
Suppose -w = s + 168, -4*w - 717 = 11*s - 16*s. Let n = w - -178. Solve 0 = -c - n + 7 for c.
2
Let p be (-5 - (-38)/6)*(-57)/(-4). Solve -12*b + p*b + 49 = 0 for b.
-7
Suppose 3*a + 2 = 2*b, 0 = -0*b - b - a + 6. Suppose 0*x - 3*i + 11 = x, 4*i = b*x - 28. Suppose 5*h = x + 12. Solve -k + 15 = h*k for k.
3
Let h(u) = -25*u - 3. Let s be h(-3). Let o be -29 - 15/(210/(-182)). Let k be 6/(-27) - o/s. Solve -l = -k*l for l.
0
Let x = 132 - -16. Solve -7*f + x = 106 for f.
6
Let p = -7224 + 7239. Solve p*q = -17*q - 192 for q.
-6
Suppose 0*n = -2*n. Suppose 2*v = -4*k + 2188, 3*v + 2*v = 0. Suppose 543*s + 28 = k*s. Solve -4*b + 1 + s = n for b.
2
Suppose -l + 2*l = 2. Let a = l + 1. Suppose -2*m - 17 = 5*f, 0 = -3*m + 2*f + 1061 - 1039. Solve 1 + a = m*d for d.
1
Suppose 12*y - 15*y = 0. Suppose 2*b + 2*x = 60, 0*b - 2*x - 120 = -4*b. Solve y = 7*t - b + 2 for t.
4
Let j(k) = -k**2 - 10*k + 43. Let l be j(-12). Suppose -t = -4*o - l, -t + o + 4 = 2*o. Solve 0 = -t*d + 5 + 9 for d.
2
Let z be ((-256)/(-240)*3)/(2/5). Solve 0 = -z*f + 44 - 12 for f.
4
Suppose u + c - 10 = 0, -3*u + 0 = -5*c + 10. Suppose p = -u, 0 = 4*z - 2*z + 2*p + 28. Let x be z/(-36) + 2/(-8). Solve 0 = 3*r - x*r + 15 for r.
-5
Let p(u) = -u**3 + 61*u**2 - 91*u - 1466. Let i be p(59). Solve 0 = i*f - 8*f + 476 for f.
-4
Suppose -2*v + 11 = -5. Let m = 195 + -343. Let h = 151 + m. Solve v = h*b + b for b.
2
Let q be (-21)/49 + (-246)/14. Suppose 0 = 2*o + 52 + 20. Let s be o/(-10) + q/30. Solve s*p - 4 = p for p.
2
Suppose 0 = -11*v - 9*v + 2*v + 2358. Solve -39*x + v = -181 for x.
8
Let z(k) = -k**2 + 16*k - 48. Suppose 3*l - 25 = 11. Let v be z(l). Solve v = -3*w + w - 10 for w.
-5
Let m be 218/545 + 126/10. Suppose m*a = -11*a + 144. Solve 3*v - 6*v = a for v.
-2
Let s be (-16 - -19) + (0 - 3). Suppose s = -56*h + 64*h. Solve h*z = 4*z for z.
0
Suppose 0*h - 2*h + 20 = 5*x, 0 = -h. Suppose t + x*t = -y + 30, -y + 5*t = 20. Suppose 6*i - 4*i + j = 50, y*j = -2*i + 50. Solve -4*p - p = -i for p.
5
Let o(k) = -k**3 + 8*k**2 - 7*k - 4. Let t be o(7). Let i be (-126)/(-33) + t/(-22). Suppose -19 = -3*b + p - i, 4*p = -12. Solve h = -2 + b for h.
2
Let m(l) = l**2 - 126*l + 949. Let d be m(8). Suppose p - 2*p = 0. Solve 8*j - d*j = p for j.
0
Suppose 475*p + 161 = 502*p - 1. Solve -p*i - 123 = -93 for i.
-5
Let p(c) = 2*c**2 - 9*c + 6. Let d be p(4). Suppose -2*f + 2*j = -5*f + 14, -d*j - 14 = -4*f. Let z be -6 + 7 - (-2 + 2). Solve 5*u + f = -z for u.
-1
Let x(p) = p**2 + 8*p + 8. Let z = 43 - 37. Suppose 8 = -2*n - z. Let y be x(n). Solve m + 2 = -y for m.
-3
Let v be 8 + -1*(9 + -28). Solve -11*x - 17 - v = 0 for x.
-4
Let h(q) = -107*q + 2356. Let p be h(21). Solve -p*r = -216*r + 109*r for r.
0
Let d(q) = q**3 - 22*q**2 + 49*q - 4. Let m be d(6). Let t = m - -286. Solve -3*p - p + 16 = t for p.
4
Let y = 240 + -116. Suppose i + 275 = 3*n + 233, 3*n = 5*i + 18. Solve 0 = -y*w + 121*w - i for w.
-2
Suppose 13*n = -24*n. Suppose -5*h = 5*r - 65, 5*r + n*r = -4*h + 61. Solve 2*p - 21 = r*p for p.
-3
Suppose 2*y - 997*i - 29 = -996*i, 5*y = -3*i + 45. Solve 13*h + y = -53 for h.
-5
Suppose -4*i - 2090 = -a - 547, -4*i + 2*a - 1542 = 0. Let g = i - -436. Solve g = -3*z - 7*z for z.
-5
Let l = 682 - 193. Suppose -20*a + l = 109. Solve 3*j + 4 - a = 0 for j.
5
Suppose -3*q + 34*x = 33*x - 5, -5*q - 3*x = -27. Solve -q*v + 13*v = 50 for v.
5
Suppose 1649*p + 364 = 1675*p. Let k be -1*(0 - (17 + -3)). Solve p - k = -2*w for w.
0
Suppose -12 = 40*i - 43*i. Let p be (2 - -5) + 0 + -2. Let f = -5 + p. Solve -i = -f*r - 2*r for r.
2
Let y(z) = z**2 - 12*z + 44. Let w be y(9). Suppose -10*o + w*o = 21. Solve -o*d = 2*d + 5 for d.
-1
Le