0/k*(-16)/10. Solve 8 = -x*p + 2*p for p.
-4
Suppose 20 = -7*c + 11*c. Suppose c*n - 6*n = 0. Suppose -7*x + x + 186 = n. Solve 6 - x = 5*t for t.
-5
Let n be -5*(-12)/30*(13 + 3). Solve 0*k = 8*k - n for k.
4
Suppose 2*t + 4 = 8. Let i be (13 - 13)*1/t. Solve o - 5 = -i*o for o.
5
Let o be (6/(-18))/(5/(-795)). Solve o*v - 43*v = -20 for v.
-2
Let o(t) = t - 7. Let n be o(3). Let s be (0 - -3) + (n - -6). Suppose s*u = 9*u. Solve 4*z + u*z = -4 for z.
-1
Let x be (-20)/((-2)/(-6)*36/(-24)). Solve -5*a - x = -20 for a.
-4
Suppose -2*x - 7 = -y, 2*y - x - 26 = -3*y. Suppose y*v = -m + 17, 3*m = -2*v + 10 + 2. Solve 2 + 0 = -m*h for h.
-1
Suppose -30*o - 115 = -505. Solve 5*p + 8 = o*p for p.
1
Let o(f) = 26 + 9 + 31 - 11*f - 94. Let h be o(-3). Solve 0 = -h*z + 3*z + 6 for z.
3
Let o(j) = -j**2 - 13*j - 27. Let y be o(-10). Solve 2*w + 9 = y for w.
-3
Let v = 3 - -2. Let z = 447 - 445. Solve 7*t - z = v*t for t.
1
Let p be 4 + 1 + 2 + (1 - 5). Suppose -5*v + 50 = 4*d, -1 + p = 2*v - 2*d. Solve -y + v*y = 0 for y.
0
Let i(j) = 2*j**2 + 90*j + 216. Let w be i(-43). Solve 2 = w*k - 46*k for k.
-1
Suppose w = -0*w + 4. Let u be (-9)/3 - -19 - 2. Let d = -14 + u. Solve d = y - w*y - 6 for y.
-2
Suppose 5*z - 3*d = -d + 25, -2*z + 2*d + 16 = 0. Let y be -3 + 3 - (-7 + z). Solve -y*l + 4 = 8 for l.
-1
Let w(n) = 7*n + 1. Let f be w(5). Let z = 41 - f. Solve z*k - 20 = -5 for k.
3
Let u be 32/(-80) + 21/15. Solve -u + 17 = 8*h for h.
2
Let l(j) = j**3 + 13*j**2 + 11*j - 8. Let p = -81 - -69. Let v be l(p). Suppose -4*i = -9 + 1. Solve -i*c + c = -v for c.
4
Suppose 4*q - 23 = -15. Let n be (1 - q)/(2/14). Let l be (-12)/n - (-32)/112. Solve -2 - l = k for k.
-4
Suppose a - 15 = -2*a. Let j be -30*(-4 - (-90)/25). Solve -j = -g + a*g for g.
-3
Suppose 31 = -4*s - 17. Let d be 16/(-32) + 13/2. Let m be (8/s)/(d/(-27)). Solve 3 + 12 = m*o for o.
5
Let o(r) = 2*r**2 - r**3 + 25 + 14*r - 3 - 15 - 15*r**2. Let b be o(-14). Let c(k) = -k**2 + 5*k + 3. Let i be c(5). Solve 0 = b*f - i*f - 16 for f.
4
Suppose 3*g + 53 = 65. Solve 7*z + g - 4 = 0 for z.
0
Let d be ((-1)/(-5))/((-6)/(-30)). Let b be (8/4 + 3)*d. Suppose -b*p + 36 = p. Solve -2*y + p*y = 12 for y.
3
Let m be (3 + (-77)/55)/((-2)/(-10)). Solve 15 = m*b - 9 for b.
3
Let l = -23 + 33. Let o(u) = 2*u**2 - 11 - u + 2*u**2 + 2*u + 7*u**2 - u**3. Let r be o(11). Solve r*h = -2*h - l for h.
-5
Let o(g) = -9*g**2 - 31*g - 15. Let y(h) = 4*h**2 + 16*h + 8. Let d(z) = 2*o(z) + 5*y(z). Let q be d(-9). Solve 2*t = -3*t - q for t.
-2
Suppose 0 = 2*k - 0*k + 28. Let y be (k/35)/((-2)/20). Let i(q) = -q**3 + 6*q**2 - 5*q + 1. Let b be i(y). Solve b = -5*o - 2 for o.
-3
Let f be 88/(-20) + 0 - 3/5. Let m = 0 - -1. Let x be (-2 - f)/(-3) + m. Solve 0*q + q = x for q.
0
Let v be (-215)/(-45) - 5 - 4/(-18). Solve 3*f + 0 - 6 = v for f.
2
Let f = 298 + -294. Solve 0 = -2*n + 8 - f for n.
2
Let v = -7 + 7. Let z be (189/(-14))/((-2)/4). Let d = z - 17. Solve 2*s = -v*s + d for s.
5
Let s(i) = 6*i - 14. Suppose 0 = -5*j + 2*h + 17, 4 = 4*j - 5*h - 13. Let l be s(j). Solve 7*w = l*w + 15 for w.
5
Let n be -1 - -3*(1 - 2). Let k be (n/(-2) + -34)/(-2). Solve -5*x - k = -x for x.
-4
Let t = -89 - -125. Let o = 40 - t. Suppose r - 25 = -o*r. Solve -r*z + 7*z = 4 for z.
2
Let u be (22/(-66))/(2/492*2). Suppose -d = -l + 43, -l + 0*l + 82 = -2*d. Let m = d - u. Solve 0 = m*q - 3*q for q.
0
Suppose -349 = 17*x - 400. Solve 3*z = 10*z - x*z for z.
0
Let c be -1*3*(2 - 1/1). Let t(m) = -2*m - 2. Let x be t(c). Solve -6 = -x*b + 10 for b.
4
Let n be 12 + 4*(-8)/((-128)/12). Solve -n*r = -9*r for r.
0
Let q = -259 - -274. Solve -q*k + 10 = -13*k for k.
5
Let b = 204 + -194. Solve b = 4*y - 2*y for y.
5
Let r be 4/4*3 + 16*1. Solve 5*y + r = 9 for y.
-2
Let c be 264/56 - 2/(-7). Suppose -c*p = -9*p. Suppose o + 11 = 3*y, -3*o - 3*y + 22 = -y. Solve o*t + p*t = 12 for t.
3
Suppose -3*a - 9 = 0, -4*o + 5*a - 8 = -35. Solve 2*v - o*v + 4 = 0 for v.
4
Let b be (-196)/(-16) + (-1)/4. Solve -4 = b*l - 16*l for l.
1
Let q be (-39)/(-26) - 1/(-2). Suppose -16*z + 21*z = 15. Solve 0 = q*m - 3*m + z for m.
3
Suppose -5*j + 8 + 22 = 0. Let b(u) = u**3 + u**2 + u + 9. Let h be b(0). Suppose -h*s = -5*s. Solve s = 3*z + 3 - j for z.
1
Let j(n) = n**3 - 5*n**2 + 3*n + 6. Let r be j(4). Solve 5*d + r + 23 = 0 for d.
-5
Suppose 0 = 3*s - n - 5, n - 10 = s + 3*n. Suppose w - 2*x + 4 = 0, 0*w = -5*w - 3*x + 32. Let y(r) = r**2 + 16. Let z be y(0). Solve w*f = -s*f - z for f.
-4
Let r be 6 + -7 + (4 + -5)*-17. Solve 22*k + 18 = r*k for k.
-3
Suppose 8*s + a - 3 = 5*s, -4*s = 3*a - 9. Let m be 6/(1 - -2) + s. Suppose -5*f + m*p = -9, -3*p - p + 18 = 2*f. Solve f*h - 5 = -2*h for h.
1
Let g(j) = -51*j - 297. Let k be g(-7). Solve -2*r = 10*r - k for r.
5
Let l(w) = -2*w + 17. Let m be l(7). Let j = m - -1. Let x be 1*-2 - 1*-6. Solve 0 = -4*p + j + x for p.
2
Suppose 77*a = 364 + 98. Solve -6*h = -3*h - a for h.
2
Suppose -5*b + 5 = -5*p, -4*b + 2 = -2*p - 10. Solve 29*g + p = 27*g for g.
-2
Suppose 10 = 2*f + h + h, 0 = -2*f + 5*h + 45. Let n(r) = -3*r**2 + 10*r + 1 + 2*r**2 + 5. Let i be n(f). Solve i = 4*d - 2 for d.
2
Suppose 9*i - 6*i = 27. Let y be ((-30)/9)/((-6)/i). Solve -y*d - 12 = 8 for d.
-4
Let q(t) = -t**2 - 7*t + 1. Let j be q(-4). Let u be 0 + -2*(-2 + -5). Let a = u - j. Solve a = 5*n + 26 for n.
-5
Let k be 17/(-34) + (-54)/(-4). Solve -5*t = -k - 7 for t.
4
Suppose 3*f = 4*c - 25, -5*c + 2*f + 44 = 18. Suppose 3*k - 3 = 3*l + 3, -c*l = -5*k + 12. Solve k*a = 3*a + 3 for a.
3
Suppose -35 = -28*k + 33*k. Let n(t) = 0*t + 4 + 5 + t. Let u be n(k). Solve u*i - 5*i + 15 = 0 for i.
5
Suppose 0 = y + 2*y + 2*u + 4, 4*u + 8 = 0. Let c be y/(9/((-27)/(-6))). Suppose 5*s = -2*q + 33, c = -4*s + 27 - 7. Solve 6*p - 6 = q*p for p.
3
Let t(j) = 2*j + 6. Let r be t(5). Solve -3*v + r - 31 = 0 for v.
-5
Let y be (3 + 7)/(30/12). Solve y*c + c + 25 = 0 for c.
-5
Suppose a - 4*g = 3, 5*a + 3 = g + 18. Solve 3 = -2*w + a for w.
0
Suppose 0*u = -3*u + 33. Suppose 0 = f + 4, 2*f = 5*s + 6*f + u. Suppose -1 - 19 = -5*b. Solve 0 = -b*d + 3 + s for d.
1
Suppose -7*t - 2 = 5. Let g be -3 - (10*t - -4). Solve -4*d + g = -9 for d.
3
Let h(b) = -b**3 - 7*b**2 - 2*b - 12. Let u be h(-7). Suppose -3*r + 0*r - u = 4*l, 5*r = -5*l. Let t be (3 - (r - 3)) + 4. Solve -t = -w + 5*w for w.
-2
Let d(j) = -j**3 + 12*j**2 + 29*j - 11. Suppose 0 = 5*h - 2*h - 42. Let c be d(h). Solve c = 5*l - 7 for l.
2
Suppose 3*z - 4*k = 23, 3*k = -4*z - k + 12. Solve 0 = z*w + 25 - 20 for w.
-1
Suppose 9 = 5*u + 5*q - 26, -6 = -2*q. Suppose -y + 1 = -u. Suppose 5*a - 15 = y. Solve -a*c = -19 + 3 for c.
4
Let t be (-2)/(-7) + (-6)/((-294)/35). Let a be (3 - (0 - 2)) + -1. Solve a*o = -9 + t for o.
-2
Let m be 1/2 + 56/(-16) - -18. Let b(y) = -y**3 + 9*y**2 - 7*y + 10. Let k be b(10). Let g be ((-3)/2)/(m/k). Solve -4*p - g = -0 for p.
-4
Suppose -3*j - 24 = -5*g - 6*j, -2*g + 16 = -2*j. Let x be ((-6)/2 + 12)/(-1). Let f = x + 11. Solve 0 = f*y - g*y + 8 for y.
2
Suppose 18 = 4*g + 5*g. Solve i - g*i - 4 = 0 for i.
-4
Suppose -5*y - 12 = -8*y. Let j(v) = 0 + v**2 - 8*v + 1 + 4*v. Let l be j(y). Solve l + 7 = 2*f for f.
4
Let u = -23 + 26. Suppose 0 = u*w + 37 - 49. Solve a - 2*a = -w for a.
4
Let t = 74 - 72. Let o(z) = z + 2. Let h be o(-2). Suppose -5*r - 8 = t*d - 38, h = r + 3*d - 6. Solve r - 3 = b for b.
3
Suppose 3*g - 3 - 19 = -2*s, 2*g - 28 = -4*s. Let u be -1 + (-4 - -4) + g. Solve -u*c - c + 4 = 0 for c.
1
Suppose 5*j - 11 = 3*j + 3*c, -4*j = -c - 17. Suppose 5*h = 2*h - j*h. Solve h = 2*r - 4*r + 6 for r.
3
Let w(q) = q**3 + 11*q**2 + 17*q - 6. Let f be w(-9). Let t(l) = l**3 + 9*l**2 - 7*l + 7*l. Let z be t(-9). Solve 2*d + f + 1 = z for d.
-2
Suppose 2*h + 0*h + 3 = -b, h = b + 6. Let s be h + 3/1 - 0. Solve 0 = 5*a + s + 6 for a.
-2
Let q(y) = -y**2 - 2*y + 25. Let x(t) = -13*t + 33. Let l be x(3). Let n be q(l). Solve 21*d - n = 20*d for d.
1
Suppose 3*a - 2*l = 8, 5*l + 9 = 9*a - 7*a. Solve 0 = -4*g - 10 + a for g.
-2
Let z be -1*(-1 + 0 + -1). Suppose l - z = -0*l. Suppose 3*u - l*u = 0. Solve 2*d - 6 = -u*d for d.
3
Suppose 509 = 5*a + 509. Solve -3*r - 2*r = a for r.
0
Let c = 11 + -12. Let w be c/(3*(-1)/12). Solve h = -h - w for h.
-2
Let b(c) be the second d