 -k for k.
-2
Suppose -7 = -20*n + 13*n. Let v be 2*n/2*1. Solve -z - 5 = -v for z.
-4
Let w = 116 + -125. Suppose -k - 5*f - 12 = 2, 27 = 2*k - f. Let z = w + k. Solve y + 3 = z*y for y.
3
Suppose q + 2 = 8. Solve -f = 2*f - q for f.
2
Suppose 3*r - 4*p + 76 = 7*r, -2*p - 2 = 0. Solve -y - r = -11*y for y.
2
Suppose 0 = -6*a + 8*a. Suppose a*z = -z + 5*d - 1, 2*z - 10 = -2*d. Suppose 2*j + z = 3*j. Solve -3*m - j = 8 for m.
-4
Let r(q) = 11*q**3 - 15*q**2 - 8*q + 7*q**2 - 10*q**3. Let u be r(9). Suppose 12 = 3*v, -3*v = h - u - 4. Solve -h = k - 5 for k.
4
Let a(i) = -3*i**3 - 27*i**2 + 31*i + 10. Let u be a(-10). Solve -s + 3 + u = 0 for s.
3
Let a be (-5)/(-10) - (-7)/2. Suppose -4*s + 4*l = -8, -5*l = 3*s - 14 + 48. Let u be s/(-6)*0*-1. Solve u = -y - a for y.
-4
Let z(m) be the first derivative of -m**4/4 + 11*m**3/3 + m**2/2 - 6*m - 25. Let a be z(11). Solve -f + a*f + 12 = 0 for f.
-3
Let y(c) = -3*c - 20. Let k = -11 + 4. Let q be y(k). Solve q = b - 2 for b.
3
Suppose -3*d + k + 327 = 0, 0*d = -d - 2*k + 116. Let y = d + -105. Solve -15 = y*h + 10 for h.
-5
Suppose 5*x - 4 - 16 = 0. Let h(i) = i**3 - 5*i**2 + 5*i + 4. Let u be h(5). Let w = -25 + u. Solve x*y - 2*y = -w for y.
-2
Suppose -3*c - 4*f + 16 = 2*c, 4*c - 20 = -5*f. Let u be 32 + 1/1 - 1. Let z = u - 29. Solve c = -4*o + 19 - z for o.
4
Suppose 3*i = 4*i + 5*n + 5, n - 13 = -3*i. Solve 0 = i*y + y - 3*y for y.
0
Let v = 8 - 6. Suppose 4*s - 2*s - 6 = 5*w, 2*w = v*s - 6. Let d be 180/(-75) - (-24)/10. Solve d = -0*f + s*f for f.
0
Let r be 6/30 - 131/5. Let p be r/(-7) - 6/(-21). Suppose 10 = p*y - 14. Solve 4*j - y = 2*j for j.
3
Let q(j) be the second derivative of 1/20*j**5 - j**3 + 1/2*j**2 + 1/3*j**4 + 3*j + 0. Let x be q(-5). Solve -25 = o - x*o for o.
5
Let m be ((-4)/8)/((-2)/316). Suppose -5*h + 122 = -3*g, -5*g + m = 3*h - g. Suppose h = -0*u + 5*u. Solve u*p - p = 8 for p.
2
Suppose -2*z - 8 = -2*p, 4*p - 2 = -2*z + 8. Solve 0*n = -p*n + 12 for n.
4
Suppose 0 = -4*z + 4*b + 44, -2*z - 2*b + 15 = -23. Let f = z - 11. Suppose -3*u - 2*n + n = -f, -2*u + 3*n = -10. Solve -2*g - u*g = 0 for g.
0
Let i(t) = t**2 + 4*t + 3. Let o be i(-4). Let h be 24/5 - o/(-15). Suppose 0*r - 25 = -h*r. Solve 0 = 3*m - 8*m + r for m.
1
Suppose -5*n - 21 = -u, 4*n + u - 2 + 26 = 0. Let f(q) = q**3 + 4*q**2 - 8*q - 9. Let y be f(n). Solve -4 - y = 2*x for x.
-5
Let d = 8 + 78. Let s = -86 + d. Solve -2*v - v = s for v.
0
Let a = 2070 - 2063. Solve 19*i - 12*i = -a for i.
-1
Let m = 10 - -5. Let n = m - 15. Solve n = u + 2 + 2 for u.
-4
Let t(i) = 5*i - 37. Let o be t(7). Let d be (o + -19)/(-1) - 1. Solve -3*a = a + d for a.
-5
Let p be ((-27)/(-45)*85)/3. Solve -x + 12 - p = 0 for x.
-5
Suppose 2*k + 2*k = 16. Let l = -3 - -7. Suppose l*s - 80 = -s. Solve 0*x - k*x = -s for x.
4
Let g(l) be the second derivative of l**3/2 - l**2/2 + 4*l. Let u be g(1). Let i be 2 + 3 + -3 + -2 + 0. Solve i = r - u - 3 for r.
5
Let k be ((-10)/30)/((-2)/18). Suppose 4*y - 11 = -5*a - 3, -4*a + 4*y + 28 = 0. Solve a*m - 1 = k*m for m.
1
Suppose 3*v + 3*v - 54 = 0. Suppose -8*b = -84 - 36. Solve b = -v*j + 12*j for j.
5
Suppose 18 = -2*p + 5*p. Let f be ((-6)/9)/((-2)/p). Let y be 4/(6 + -2) + 4. Solve f*z + 3*z = y for z.
1
Let b = -515 - -543. Solve -16 = b*u - 32*u for u.
4
Let y be ((-1)/5*-9)/((-99)/(-330)). Solve 0 = 2*g + y - 14 for g.
4
Let p = 2 + -2. Suppose -16*v - 327 + 359 = 0. Suppose 5*t - 6*t + 7 = 0. Solve v*a - t - 3 = p for a.
5
Let h = -4 - -5. Let z(q) be the first derivative of q**3/3 + 7*q**2/2 + 21. Let y be z(-7). Solve o + 2 - h = y for o.
-1
Suppose -4*q - v + 29 = 0, -4*v + 7 = -3*q + v. Solve -9*a + q*a - 3 = 0 for a.
-1
Let z(x) = -2*x**3 - 2*x**2 + 4*x + 3. Let w be z(-2). Solve -17 + 2 = -w*u for u.
5
Let r(o) = -o**2 - 18*o + 157. Let s be r(-24). Solve s*q = -2*q - 15 for q.
-1
Suppose -4*c + 10 = 2. Let g(x) = 0*x**2 - c*x - x**3 - x**2 + x. Let p be g(-2). Solve 0 = p*u - u + 25 for u.
-5
Suppose 0 = 3*d, 4*z - 5*d + 3*d = 8. Solve z*o = -o for o.
0
Suppose -2*g - 23 = -3*x - 6*g, -5*x = 4*g - 49. Suppose -12 - x = -q. Solve q = 3*h - 8*h for h.
-5
Let b(u) = u**3 + 13*u**2 - 31*u + 14. Let f be b(-14). Suppose 13*v - f = -8*v. Solve -q = -4*q + v for q.
4
Suppose 3*b + 1 = 2*b, -42 = -l + 3*b. Solve -l*p + 36*p + 9 = 0 for p.
3
Suppose -3*n - 2*w + 41 = 0, -2*n + w + 13 = -19. Suppose 4*u - 40 + 5 = -r, -4*u = -4*r - 40. Suppose -4*b + u = -19. Solve b*c - n = 2*c for c.
3
Suppose a - 8 = -2*n, -5*n - 3*a + 41 = 19. Solve -n*f + 9 = -5*f for f.
-3
Let s = 7 + -5. Suppose 0 = -s*c + 2*k - 3*k, 2*k = 0. Let x = 2 + c. Solve n + 2 = -x for n.
-4
Suppose -3*a + 5 = -22. Suppose -3*r - 3 + a = 0. Suppose -6 = -h - 2*g, g = -2*h + 4 + r. Solve h*q + 4 = -6 for q.
-5
Let g be (0 - (3 - 3))/2. Suppose g = 9*y - 11 - 97. Solve 3*r - y = -3 for r.
3
Let y be (-1)/(4 - (-63)/(-15)). Suppose 3*d + 3 = 4*f - 3*f, -y*f - 4*d + 34 = 0. Solve 0 = -2*z - f for z.
-3
Let j = -146 - -186. Solve -2*i + j = 6*i for i.
5
Let a be 4/6 - (-4)/3. Let u be (-1)/(-2)*2 - -1. Suppose -2*o - 7 = a*l + 3, -10 = -l + u*o. Solve l*n + 6 = 3*n for n.
2
Let m(z) = z - 4. Suppose -9 = -4*n + 11. Let l be m(n). Solve 0 = f + 4 - l for f.
-3
Let m be (1/(-2))/(13/(-182)). Solve m = -3*r + 1 for r.
-2
Suppose -5*z + 91 + 4 = 5*t, -3*z = t - 27. Suppose -y = -6*y + t. Solve -4*j + 11 = y for j.
2
Let s be 84/(-27) + (-4)/(-36). Let w = -4 - -6. Let f be (-33)/(-9) + w/s. Solve 2*a - f = -1 for a.
1
Let v be (-1)/(-9)*-3*-63. Let m = v - 19. Let x = 8 + -5. Solve m*a = -x*a for a.
0
Let a = -251 - -254. Solve -i = a*i - 4 for i.
1
Suppose -135 = -7*b - 23. Let l be (-20)/160 + 34/b. Solve 0 = 5*t - 8 - l for t.
2
Suppose 0 = 7*m - 33 - 72. Solve 25 - m = -5*v for v.
-2
Let q(z) = -10 + 0 - 4 - 7*z + 0. Let w(y) = -3*y - 7. Let x(g) = -2*q(g) + 5*w(g). Let n be x(-7). Solve 0*l + l - 2 = n for l.
2
Let b = 1143 + -1143. Solve -8*r + 14 - 6 = b for r.
1
Suppose -29*z + 10 = -24*z. Let d(u) = u + 13. Let r be d(-10). Let f(s) = s**2 + 6*s + 1. Let q be f(-6). Solve q = -z*h + r for h.
1
Suppose 0 = 17*w - 19*w + 106. Let c = w + -51. Solve -2*l = 8 - c for l.
-3
Let x = 107 + -18. Solve 59 - x = 6*t for t.
-5
Let s be 30/3 - (3 + 0). Let n be 8/(-3)*s/((-42)/9). Solve -n*o - 3 = -7*o for o.
1
Suppose 0 = n + n - 6. Let i be ((-2)/(-6))/(n - 51/18). Solve -i*h + 12 = 2*h for h.
3
Suppose 0 = 2*s + 2*s. Suppose 3*j + j = -24. Let l be 4 + 9*(-8)/j. Solve s = -i + 5*i - l for i.
4
Let v be 5/(15/(-9)) - 32. Let j be (-22)/(-14) + (-15)/v. Solve -1 = -3*f + j*f for f.
1
Suppose -86 = -11*z - 9. Solve z*h = -22 + 8 for h.
-2
Suppose 2*g = 3*y - 45, g + 4*g = -2*y + 11. Solve -18*n - y - 23 = 0 for n.
-2
Suppose x = -4*n + 17, 9 = 5*n - x - 1. Suppose 2*s - n = -h, 0 = 5*h - 4*s + s - 41. Solve 2*f + h = -3 for f.
-5
Suppose 5*d - 10*d = -230. Suppose -3*l = -4*z - 57, 4*z - d - 2 = -4*l. Suppose 2*i = 5*i - l. Solve i = m + 1 for m.
4
Let v = -1 - -1. Suppose -2*i - 4*p = 0, v = -3*i - 0*p - 3*p. Let r be -2 + 0 + 3 - -5. Solve 3*u + i = r for u.
2
Suppose 6*h = 4*y + h - 23, -5*y - 3*h + 1 = 0. Suppose 29 = -5*m - i - 27, -4*i + 4 = m. Let w be 6/y*(-32)/m. Solve w = 5*t - t for t.
2
Let h(l) = -2*l**2 - 8*l - 3. Let p(g) = -4*g + 9. Let w be p(3). Let z be h(w). Suppose z*d = 4*d. Solve 7*s - 3*s + 20 = d for s.
-5
Suppose 4*t = 16 + 8. Let v = -203 + 206. Solve 3 = -v*q + t for q.
1
Let s be -10*(-6)/4 + -2. Suppose -6*k + 9*k = 2*t + s, 0 = 5*t - 5. Solve -12 - 8 = k*g for g.
-4
Let t(k) = -15*k + 265. Let b be t(17). Solve b*a - 13*a + 3 = 0 for a.
1
Let m be 12/((-5)/10*-4). Solve -2 = 4*n - m*n for n.
1
Let t be 2/9 + (-34)/(-9). Let z be 5 - (20/t + -3). Let h(m) = m**3 - 5*m**2 + 6*m - 6. Let o be h(4). Solve -z*b = o*b - 10 for b.
2
Suppose 0 = 22*x + 27*x. Solve 22*b - 1 + 1 = x for b.
0
Suppose -11*z + 74 - 41 = 0. Solve z*q - 6 = 6 for q.
4
Let w(c) = 3*c**2 + 2*c - 2. Let s be w(-2). Suppose -q = -4*f + 19 - 16, 2*q - 14 = -2*f. Solve f - s = -r for r.
4
Let p(c) = -c + 12. Let g be p(10). Let f be 2 - (-3)/1*g/(-3). Solve f = 2*z - 4*z + 2 for z.
1
Let r be (-10)/(-55) + (-2)/11 + 4. Solve -6*c = -10*c - r for c.
-1
Suppose 3*o + 5*y = -25, -3 = -3*o - 2*y - 13. Suppose o*k = k. Let v = 0 - k. S