k - 3*y + 18 = 0. Solve -g*n - k = n for n.
-2
Let g be 3/(-5) - 78/(-5). Suppose -18*a + 3 = -g*a. Solve 0 - a = -w for w.
1
Let d = -9 + 10. Let o = 3 - d. Let j be (-20)/(4/(-2))*2. Solve o*k - j = 6*k for k.
-5
Let x = 84 - 80. Solve -2 - 2 = x*n for n.
-1
Let a(w) = w**2 - 10*w + 11. Let d be a(9). Let g = d + -1. Solve -2 - g = 3*c for c.
-1
Let g be ((-20)/(-6))/((-4)/(-6)). Suppose 0 = 3*k + m - 1 - g, 2*m - 9 = -5*k. Solve -k*j = -j - 10 for j.
5
Suppose 0*p + 3*l - 27 = -3*p, -3*l = -4*p + 15. Solve -p*b = -b for b.
0
Suppose -7 = -5*f + 38. Let w(m) = m - 8. Let k be w(f). Solve -i = 3 - k for i.
-2
Suppose -2*a - 2*a = 4. Let q be (-1)/(a/3) - -1. Solve -7 = z - q for z.
-3
Let v be (-8)/(-10)*-4*20/(-32). Solve 0 = -5*h + 4*h - v for h.
-2
Suppose 2*a + 4*z - 20 - 8 = 0, 4*z = 0. Let y(u) = u**2 + 5*u - 2. Let q be y(-5). Let p be 3*3*q/(-6). Solve p*r + 2 = a for r.
4
Let c be (-16)/(-5) - (-2)/(-10). Suppose 0 = c*t - 5*t + 56. Suppose 5*v = -0*k + 2*k - t, 5*k + 3*v - 8 = 0. Solve 0 = k*x - 12 + 28 for x.
-4
Suppose 0*m = 5*m. Solve 4*w + 19 - 7 = m for w.
-3
Let p(h) = h**3 + 5*h**2 - 7*h - 3. Let u be p(-6). Let m be ((0/5)/2)/1. Solve 2*z - 11 + u = m for z.
4
Let m(a) = a**3 + 10*a**2 - 11*a + 1. Let n be m(-11). Let p be ((-9)/(-3 + 0))/n. Solve p*r - 2*r = -3 for r.
-3
Let v(p) = -p**3 + 10*p**2 - 8*p - 1. Let s be v(9). Solve -s = -5*b - 3 for b.
1
Let t be (2/(-4))/(9/18). Let j be (t - 0) + 3 + 0. Solve -r - j = -3 for r.
1
Let w be 8/(-20) - (-14)/10. Solve f + w = -2 for f.
-3
Suppose 3*c = c - n + 5, -2*c - 3*n = 5. Solve -c*z - 15 = -2*z for z.
-5
Suppose -5*t + 6 = 1. Solve -2*g - t = 9 for g.
-5
Let w(o) = o**2 + o + 4. Suppose 0 = -2*h - 2*h. Let t be w(h). Let m = -31 + 47. Solve t*c = -0*c - m for c.
-4
Let p = -1 + -8. Let s = p - -10. Solve 2*n + 7 + s = 0 for n.
-4
Let m be 30/15*(-3)/2 - -5. Solve p = m*p for p.
0
Let o = -37 + 40. Solve -4*j + 5*j = -o for j.
-3
Let v be 3/2 - 216/(-48). Solve -v*m + 2*m = 12 for m.
-3
Suppose -5*t = -2*a - 13, 6*t + 3*a = 3*t + 12. Solve 0 = -3*v - 0*v - t for v.
-1
Suppose 18 = 5*x - 42. Suppose -4*l = -3*l - x. Let m be 4/(((-5)/5)/(-2)). Solve 4*q = l + m for q.
5
Let p be (-1)/(-3) - (-15)/9. Let t = -22 - -26. Suppose p*x - t*x = -20. Solve 0 = -4*i + 2 - x for i.
-2
Let o = 128 - 68. Suppose s = 5*j - 45, -2*s + o = 2*j + 3*j. Solve 0*h - 5*h + j = 0 for h.
2
Let h(i) = i**3 - 7*i**2. Let f be (-7 - 0)/(0 - 1). Let y be h(f). Solve y = 3*o - 5 - 7 for o.
4
Let o(i) = 2*i + 1. Let c be o(-5). Let q = c + 11. Solve -q*v = 3*v + 15 for v.
-3
Let v = 36 - 19. Let a = -60 - -90. Let z = a + -26. Solve -z*k = -v + 1 for k.
4
Let i(u) = 6*u**2 + 11*u - 2*u**2 - 10 + 3*u**2. Let l(q) = -q**2 - q + 1. Let v(c) = -i(c) - 6*l(c). Let g be v(-3). Solve 3*h - 2 = g for h.
4
Let d(g) = 5*g - 7. Let k(j) = 14*j - 20. Let o(i) = -11*d(i) + 4*k(i). Let h be o(9). Suppose -16 = -2*b - h. Solve 2*z - b = -3*z for z.
1
Let b(p) = p**2 + 2*p + 2. Let x be b(-2). Solve -x = -2*l - 0 for l.
1
Let t(s) = -s**3 + 3*s**2 - s + 3. Let k be t(3). Solve d + 3*d + 12 = k for d.
-3
Let x(l) = -l - 5. Let i be x(-8). Solve -v + 0*v = -i for v.
3
Suppose 2 = 2*m - 2. Suppose -9 - 3 = -m*d. Solve -d*f - 15 = -f for f.
-3
Let c = 17 + -9. Solve -5*p + c = -p for p.
2
Suppose 42 + 58 = 10*r. Suppose -6 = -0*m - 3*m. Suppose -5 = -m*c + 1. Solve r = -2*z - c*z for z.
-2
Suppose -5*q = -10*q - 45. Let u(p) = p**2 + 10*p + 12. Let t be u(q). Solve -t*h + 4 = -5*h for h.
-2
Let r be (-2)/(-3) + (-39)/(-9). Suppose -s - f - 5 = -4*s, -11 = -r*s - f. Suppose 2*y + 4 = s*q - 0*q, 0 = 5*y - 2*q + 4. Solve y = 4*m - 0*m + 12 for m.
-3
Let t be (-4)/(-1)*6/8. Solve 0 = -t*w + 7 - 22 for w.
-5
Suppose -4*l = -0*l. Let m be 2 + 5*(-6)/(-15). Let b be (l - -3)/(4/m). Solve -c - b + 1 = 0 for c.
-2
Let s be (-162)/(-8) - 2/8. Suppose 3*d = 3*f - 15, 0 = 4*f + 5*d - 3*d - 8. Solve 8*u + s = f*u for u.
-4
Let x(n) = 3*n**2 - 4*n - 5. Let c be x(4). Suppose 0 = -4*u + 13 + c. Let t be (4/u)/((-1)/(-15)). Solve 0 = -3*p - 0*p + t for p.
2
Suppose 18 = -3*b + b. Let d be b/(1 + 2) + 7. Solve -i = i + d for i.
-2
Let p = 42 - 40. Solve 6*r + 12 = p*r for r.
-3
Let k = 15 - 24. Let b be k/(-2) + (-2)/4. Solve -3*n - b = 5 for n.
-3
Let g = 100 - 64. Solve -5*d + g = 11 for d.
5
Suppose 0 = -5*a + 20, 0*a - 4*a + 36 = 5*z. Let v = 4 + 1. Suppose -4*f + 29 - v = 0. Solve 0 = 5*n - f - z for n.
2
Suppose -2*w - 7 = a, 3*w - a + 3 = -0. Let d be -1 - -7 - w/(-1). Solve -3 = -d*z - 7 for z.
-1
Let n be (-13 - -1) + 4 + -2. Let v = n + 20. Solve 0 = d + d - v for d.
5
Let k be (-38)/(-8) + (-50)/(-8) + -6. Solve i - k = -3 for i.
2
Let z be (2/4)/(1/146). Let n be 52*(0/(-1) - -1). Suppose -5*k + z = -n. Solve 2*a + k = 7*a for a.
5
Suppose 0 = 2*s + 2*s - 4. Let y = s + 2. Solve n = -5 + y for n.
-2
Let l be -1 + 0 - (-21 - -8). Solve 0 = 2*m - 5*m + l for m.
4
Let p(m) = m**3 - 9*m**2 - m + 7. Let u be p(9). Let j = 6 + u. Solve 0 = -i + 7 - j for i.
3
Suppose 0 = 419*x - 421*x + 4. Solve 14 - 6 = -x*p for p.
-4
Let d be (1*6)/((-15)/(-10)). Suppose -d*p + p + 6 = 0. Solve -o + 4 = -p*o for o.
-4
Suppose -6*o = 28 - 178. Solve -6*t - o = -t for t.
-5
Suppose 15 = 2*k + 3*k. Suppose 0 = 2*n + 10, -7*d + k*d + 5*n + 45 = 0. Let r be (-2)/d*(-1 - 4). Solve -5*t + r + 13 = 0 for t.
3
Let j = -9 + 17. Let s = -6 + j. Solve -h = s*h - 15 for h.
5
Let p be ((-4)/(-7))/((-16)/(-56)). Let r(n) be the first derivative of n**2/2 - 2*n - 1. Let w be r(6). Solve -p*g + g = -w for g.
4
Let h(z) = 2*z**2 - 2*z + 3. Let t be h(1). Solve j + 1 = -t for j.
-4
Let z(r) = 5*r + 64. Let g be z(-12). Solve -2 = g*i + 2 for i.
-1
Let s(j) = 2*j**2 - 2*j - 1. Let x(o) = -o**2 - 9*o - 3. Let c be x(-9). Let m be (2 + 10/(-6))*c. Let l be s(m). Solve -l*g = -0*g for g.
0
Suppose 0*q = 2*q - 8. Suppose 2*y + 88 = 4*c, -q*y = -3*c - 3*y + 64. Solve -6*m = -m + c for m.
-4
Let k(o) = -o**2 + 3*o - 1. Let z = 4 - 3. Let g be k(z). Let m(u) = u**2 - u. Let s be m(g). Solve s = -b - 4*b for b.
0
Let h = -11 - -11. Solve h = -l - 3*l for l.
0
Suppose 3*m + 26 + 7 = 2*r, 3*m = 3*r - 33. Let h = -6 - m. Let a = 8 - h. Solve 2*u + a*u = -25 for u.
-5
Let h(q) = 2*q - 16. Let r be h(9). Suppose -p + c = -8, 0 = -p + r*c + 1 + 6. Solve 3*z = -0*z - p for z.
-3
Let z be (1/2)/(6/48). Suppose -90 = -5*n - 4*o, 3*o = n - 6*n + 95. Suppose -6 + 20 = 7*s. Solve -z*f - n = -s for f.
-5
Suppose 6 = 5*r - 19. Suppose -r*j - 2 = -17. Solve -2*w - j - 3 = 0 for w.
-3
Let n = -56 - -59. Solve -2*a + n = -5 for a.
4
Suppose 2*l - 3*l = 13. Let k = 15 + l. Solve 2*p = -k*p for p.
0
Suppose -83*b + 85*b = 10. Solve 0 = -7*m + b*m + 4 for m.
2
Let i = 3 + 1. Suppose 0 = 4*p - 4*f - f - 35, -2*f - 6 = 0. Solve p*y + 1 = -i for y.
-1
Let y be (6/(-4))/((-3)/6). Suppose 4*o = y*o. Solve -3*p - 1 - 5 = o for p.
-2
Let d = -2 + 7. Suppose -6*o = -o. Solve -d*i = -o*i for i.
0
Let k be (2 + -5)*(1 + 0). Let m be k - -1 - 20/(-5). Solve m*h = 6*h for h.
0
Suppose -20 = 3*j - 5*j. Suppose 3*a = j + 2. Solve k - a = 3*k for k.
-2
Suppose 2*n = n + 4. Solve -7 = -x - n for x.
3
Suppose 0 = 3*p - 5*u + 9, 6*p - 4*p + u = 7. Let l be 12*-3*1/(-6). Solve p*c + l = -0*c for c.
-3
Suppose 4*n - 2*q - 30 = 0, -n + 3*q + 24 = 2*n. Let l = n - 5. Solve 4 = 3*b - l*b for b.
4
Let g(o) = o**3 + 7*o**2 + o + 1. Let l be (-2 - (3 + 2))*1. Let u be g(l). Let t be u*(1 + 15/(-9)). Solve t*k - 7*k + 3 = 0 for k.
1
Let b(m) = 2*m**2 + 2*m. Let j be b(-2). Suppose -6 = x - j*x. Suppose 25 = -o + x*o. Solve o + 0 = -5*f for f.
-5
Let k(w) = w**2 - 7*w. Let y be k(7). Suppose -n + c + 2*c + 10 = y, 4*n - 25 = -3*c. Solve 5*b - 3 - n = 0 for b.
2
Suppose -z = -5*r - 3 - 8, -5*r - 6 = 4*z. Suppose 1 = g - z. Solve 1 = -f - g for f.
-3
Let d = 77 - 71. Solve 3*y = -0*y + d for y.
2
Suppose 0 = -0*z + 4*z. Suppose 0*u - 2*u = z. Solve u = 2*b + 3*b + 25 for b.
-5
Let m = -5 - -2. Let y be 10/15 - (-2)/m. Solve 2*d + 2 = -y*d for d.
-1
Let f = 15 - 8. Let r(d) = -3*d**2 + 18*d + 3. Let q be r(6). Solve -f - 8 = q*a for a.
-5
Let q be 8/(-2*1/(-1)). Let d be q/(-8) - (-3)/2. Let v(o) = 2*o. Let f be v(d). Solve 0*p + 10 = -f*p for p.
-5
Suppose 23 = 3*p - 4*k - 6, -7 = p + 2*k. Solve s - 10 = p*s for s.
-5