-4*k. Solve 1 = k*y - u for y.
4
Suppose 46 = 4*l - 114. Suppose 4*m + 10 = 26. Suppose 3*v - v + 10 = 4*h, m*h - l = -4*v. Solve 0 = 4*j - 11 - h for j.
4
Let a(p) = -p**3 + 3*p**2 + p - 3. Let x be a(3). Suppose 5*v = 4*c - 27, x = 3*c + 2*v - 3. Suppose 22*h + 421329 = 421417. Solve 0 = t + c - h for t.
1
Let f(r) = r**3 - 77*r**2 + 220*r + 161. Let h be f(74). Solve 2 = -11*w + h*w for w.
1
Let u(d) = -11*d**3 + 84*d + 2 - 2*d**2 - 85*d + 2 - d**2. Let y be u(-2). Suppose 85*v - 12 = y*v. Solve c - 1 = -v for c.
-3
Suppose 115 = -3*q + 136. Let m(x) = 4*x**2 - 28*x + 3. Let j be m(q). Solve j*f - 4 + 19 = 0 for f.
-5
Let l = 12456 + -12431. Solve 56 = 17*a - l*a for a.
-7
Suppose -59*h = -61*h + 16. Solve h*l = -7 - 25 for l.
-4
Suppose -25 = -5*h + 3*z, -z - 3*z - 20 = 0. Suppose -4*s = -5*d - 23, 11 = 2*d - 7*d - h*s. Let b be (-2)/d + (-4)/(-12). Solve -5 + b = 2*r for r.
-2
Let o(m) = m**3 + 28*m**2 - 18*m + 34. Let g be o(-29). Let b = g - -285. Solve 10*p - 15*p + 25 = b for p.
5
Suppose 0 = 12*d + 47617 - 48085. Solve 145*j - 132*j = d for j.
3
Let p(g) = -6*g**2 - 12*g - 8. Let u(k) = k**2 + k - 1. Let q(o) = p(o) + 4*u(o). Let i be q(-5). Let s = -22 - i. Solve -d = -s*d - 5 for d.
5
Suppose 2234 = -40*d - 624*d + 6882. Let z be ((-4)/(-6))/((-4)/(-30)). Solve -d = -z*q + 3 for q.
2
Suppose 3*g + 6 = 3*y + 27, -4*g - 3*y + 21 = 0. Let i(u) = u**2 - 12*u + 38. Let k be i(g). Solve k*x - 3*x = 0 for x.
0
Let w = -3973 - -3979. Solve w*k + 11*k + 51 = 0 for k.
-3
Let q = -4 - -7. Suppose 10*g - 147 = -11*g. Suppose -q*i + c = -g*i + 7, -c = -3*i. Solve -i = 2*w + 3 for w.
-2
Let g(m) = -m**3 + 17*m**2 - 63*m + 44153 - 44204 + 2*m**3. Let r be g(-20). Solve -2*u = 9 - r for u.
0
Let j(f) = -f**3 + 7*f**2 + 8*f + 3. Let q be j(8). Let w(o) = -24*o + 12. Let a be w(q). Let v be (-73)/(-5) + -2 + a/(-25). Solve 0*g + 3*g = v for g.
5
Suppose 9*c + 246 = 39. Let m(n) = -n**3 - 20*n**2 + 68*n - 23. Let x be m(c). Suppose -q + 1 = -0*q. Solve -u + q - 2 = x for u.
-1
Let d = 1363 - 1346. Solve -23*a - 30 = -d*a for a.
-5
Suppose 0 = -n + 10*f - 8*f + 42, -14*f = -4*n + 198. Solve n*r - 94 = 98 for r.
6
Let q = -10 + 14. Let j(i) = 10*i - 10. Let u(h) = 2*h - 2. Let y(l) = -3*j(l) + 14*u(l). Let x be y(1). Solve 8 = -q*g - x for g.
-2
Let r be ((-42)/(-98))/(2/14). Suppose -6*m + r*m + 12 = 0. Suppose -q + f = 2, -m*q + f - 2 = -0*q. Solve q = -3*z + 1 + 2 for z.
1
Let c = 116 + -115. Let b be -4 + c + (-10)/(-1). Let l be (-5)/(-2) + ((-14)/(-4))/b. Solve -4*w + l*w + 1 = 0 for w.
1
Let d(f) = f**3 - 10*f**2 - 30*f + 28. Let p be d(14). Let g = p - 390. Solve g*j - 18 = -8 for j.
5
Let d be 3/(204/8) + ((-1411)/(-289) - -14). Solve 0 = -d*n + 18 + 96 for n.
6
Let m(p) = p**3 + p**2 + p + 3. Let a be m(0). Let g = 94 - 59. Suppose 4*o = -a*o + g. Solve 2 = o*h - 13 for h.
3
Let z(r) = -7*r - 3. Let g(y) = -y**2 - 4*y + 59. Let f be g(6). Let l be z(f). Let j be 1*l/10 + (-84)/(-15). Solve -6*k - j = -3*k for k.
-2
Let j be (-42)/(-2) + (575 - 572). Solve 42*i - j*i = 108 for i.
6
Suppose 8 = 2*d - r, -4*d = 5*r - 1 - 15. Suppose -5*l - d*n = -46, 2*n = -5*l + l + 32. Suppose -5*x - 18*x = 17*x + 9*x. Solve 3*v - 5*v - l = x for v.
-3
Suppose 15 = 30*z - 25*z. Let x be (6/(-8))/((-1)/36*z). Solve -x*o + 0*o + 45 = 0 for o.
5
Let p(d) = 47*d - 8 - d**2 - 34*d + 2 - 2. Let t be p(6). Solve -29*h + t*h = -5 for h.
-1
Suppose 3*s = 5*h + 152, 0 = -3*s + 3*h - 6*h + 144. Suppose s = 5*m - q, 2*m + 3*q = -0*m + 23. Suppose -m*z = -2*z - 32. Solve z*i = i - 6 for i.
-2
Let k = -9 - -12. Let u be 144/(-270)*(-885)/236. Let i = 2 - 2. Solve i = -k*m - u*m for m.
0
Suppose 4*t - r - 172 = 0, -3*t - r + 117 + 19 = 0. Solve 0 = -t*x + 55*x for x.
0
Let c(r) = r**2 - 6*r - 50. Let h be c(10). Let j be 4/h - (-26)/65. Solve 3*b + 3 = -j*b for b.
-1
Let w be 308/16 + (-5)/20. Suppose 2*s = w + 11. Let o(q) = q - 9. Let d be o(s). Solve 0 = 3*j - 9 - d for j.
5
Let q be (-2)/(-5)*-20 + (-516)/(-2). Solve a + q = 247 for a.
-3
Suppose -j = 2*r - 28 + 10, -j = -5*r + 24. Solve -r*t - 9 = 33 for t.
-7
Let h be 72 - (25*8/(-20) - -4). Solve 0 = 59*q - h*q + 38 for q.
2
Suppose 16*z + 65 = 3*z. Suppose -3 + 11 = -4*w. Let s be -3 - (-4 + z) - (-6)/w. Solve 0 = s*i - 20 + 8 for i.
4
Suppose -4*k + 68 + 16 = 0. Let d = k - 1. Let s be 15/6*8/d. Solve 0 = -2*g + s + 1 for g.
1
Suppose -38*z + 10 = -104. Suppose -a - 96 = -5*m - z*a, 5*a - 15 = 0. Solve 0 = -m*o + 11*o + 7 for o.
1
Suppose -4*j + 306 = -2*a - 1308, 399 = j - 5*a. Solve -408 = f - j for f.
-4
Let j = -312 - -311. Let y be j + 0 - 168/(-56). Solve -20 = -2*c - y*c for c.
5
Let k(g) = 2*g**2 - 47*g + 255. Let h be k(15). Solve h = -6*o - 135 + 93 for o.
-7
Let g(f) = -3*f**2 + 10*f + 13. Let h = -200 - -204. Let x be g(h). Solve x = 2*a - 1 for a.
3
Let r = -211 - -213. Suppose -18 = -5*h + 2*j, 5*j = r*h - 2 - 1. Suppose -9 = -2*t - 1. Solve t*z = 2*z + h for z.
2
Suppose 5*q - 3*j = 306 + 190, 2*j + 14 = 0. Solve -12*l = 7*l + q for l.
-5
Suppose -5*x + 15 = -w, 17 = -2*x + 5*w + 23. Solve 4*f - 7 + x = 0 for f.
1
Suppose 1823 = r + 3*o, 3*o - 1 = 2. Let x be (-1)/(7/2) - r/(-196). Solve -5*m + x - 4 = 0 for m.
1
Let q(u) = -7*u**2 + 23*u + 8. Let a(d) = 3*d**2 - 12*d - 4. Let o(x) = -5*a(x) - 2*q(x). Let i be o(14). Suppose -i = 6*h - 16. Solve -h*m - 3*m = 0 for m.
0
Let w(z) = -z**3 - 9*z**2 + 9*z - 9. Let d be w(-10). Suppose -2*q - 2*t = -6, 2*t = -3*q + 6 + 2. Solve -q*y + d = -y for y.
1
Let r be (-4 - -3)*(-2 - 1)*-1. Let t be -4 - -1 - (-2 + (-3)/r). Let a(z) = 7*z + 16. Let i be a(t). Solve i*p = p + 4 for p.
4
Let i be (-1*(-140)/6)/((-22)/(-66)). Suppose -i*s = -66*s - 12. Suppose 3*u - 25 = -4*r + 4*u, 0 = s*r - 3*u - 21. Solve t = -t - r for t.
-3
Let o be (-10 + 483/46)*94*1. Solve 22 = -5*q + o for q.
5
Suppose 173 = -4*i - 135. Let q = i + 81. Suppose 0 = q*d - 2*o - 10, -d - 4*o = -22 - 3. Solve -d*j = -12 + 2 for j.
2
Let s be 46 - (9/((-45)/(-35)) + -2). Solve s = -2*l + 49 for l.
4
Let m(d) = d**2 + 43*d + 258. Let z be m(-36). Suppose z*q - 2*q = -3*t + 60, -5*t = 0. Solve -11 = -4*v + q*v for v.
-1
Let d(f) = 0 - f**2 - 4*f - 3 + 0 - 10. Let g be d(-5). Let o = g + 18. Solve o*r - 2 = 2*r for r.
-1
Let h be 949/219 + 1/(-3). Solve 7587*z - h = 7585*z for z.
2
Suppose 2*g - 32 = -3*y - y, 48 = 5*g + 2*y. Solve 0 = 48*s - 44*s + g for s.
-2
Suppose -2*c + 267 = 11*w, 8*c - 5*w - 144 = 7*c. Solve c - 209 = -14*a for a.
5
Let r = 222 + -218. Suppose -4*t = 4*q - 16, -t - 3*t + r*q = -24. Solve 3 + 22 = -t*z for z.
-5
Suppose 77*q + 8 = 85*q. Let k(s) = s**3 + s + 2. Suppose -10*u = -5*u. Let l be k(u). Solve 3 + q = -l*p for p.
-2
Let c(a) = 3*a - 33. Let m be c(16). Suppose m = 5*z - k, 8*k = 3*z + 7*k - 7. Solve -z*f = -0*f - f for f.
0
Let x = -4535 + 4644. Solve x - 64 = 15*f for f.
3
Let f = 568 - 157. Suppose -686 = f*p - 418*p. Solve p*r = 96*r + 2 for r.
1
Suppose -4*r = -7*r + 126. Suppose 53*w - 47*w = r. Solve 6*s = w*s for s.
0
Let j(u) = u**3 + 2*u**2 + 19*u + 26. Let l be j(-8). Let f = -478 - l. Solve -9*d + f = -d for d.
4
Suppose -2*v - i + 44 = 0, -i = 2*v - 5*i - 64. Let u(c) = -3*c**3 - 2*c**2 + 3*c + 4. Let m be u(-1). Solve -6*d - m*d = -v for d.
3
Suppose 0 = 2*p + 2*p - 3556. Let r be p/35 - (-2)/(-5). Suppose 5 = -10*s + r. Solve -6 = -s*n - n for n.
2
Suppose -d = 8*d + 3*d - 6996. Solve -2*b + 567 - d = 0 for b.
-8
Let h be 60 - (-12)/13*(-1300)/200. Solve 0 = h*t - 53*t - 5 for t.
5
Let l = 3895 - 3893. Solve 0 = 44*o - 43*o - l for o.
2
Let j(n) = 34*n**3 + n**2 + 10*n - 10. Let r be j(1). Solve 16*z = r*z - 19 for z.
1
Suppose 0 = -55*z + 59*z - 1448. Let r = 368 - z. Solve -2*q + 4*q - r = 0 for q.
3
Let k = 32196 + -32147. Solve 24*o - 219 = -k*o for o.
3
Let i = 6173 - 6063. Solve 2*p + i = 100 for p.
-5
Suppose 4*h + 3*z - 12 = 0, 2*z = 6*z - 16. Let l(m) = m**2 + 4. Let w be l(h). Solve 0 = i - w for i.
4
Let l(o) = o**2 + 11*o + 45. Let g be l(-9). Suppose -g*a = -8*a - 15*a. Solve a = -0*n + 3*n - 9 for n.
3
Suppose 0 = 3*c - 6, -2*v + 4*v - 5*c = -6. Let i be ((v/4)/(-1))/(2/(-16)). Let w be 3/(i - 51/15). Solve -20 = w*t - t for t.
-5
Suppose -68 = -c - 4*a, -17*c = -19*c + 3*a + 81. Solve c = b + 11*b for b.
4
Let w(j) = -j - 12. Let n(f)