 -2*u - 6 for u.
-3
Suppose 89 = 8*d - 15. Solve -5*a = -2 - d for a.
3
Let p = 91 + -87. Solve 2 = -2*g - p for g.
-3
Let o = -80 - -80. Solve o = -5*d + 12 + 8 for d.
4
Suppose -5*p - 23 = -3*f, -3 = p + 2*p. Let b(c) = c**3 - 5*c**2 + 4*c - 1. Let d be b(4). Let r be -2 - -4 - 7/d. Solve r = -f*m + 3*m for m.
-3
Let g = 17 + -15. Solve -2*x = -0 - g for x.
1
Suppose 7*g + 3*v - 4 = 3*g, v + 24 = 5*g. Solve -f = f + g for f.
-2
Let c be (-9)/(-3) + -1 + 8/2. Solve -6*t = -3*t + c for t.
-2
Let y(u) be the second derivative of u**5/20 + u**3/6 + 3*u**2/2 - 4*u. Let k be y(0). Solve q + k*q + 20 = 0 for q.
-5
Suppose 3*d - 9 = -3. Suppose -3*l - d*c - 27 = 0, 4*c + c + 45 = -5*l. Let h = -2 - l. Solve 1 = -3*r + h for r.
2
Let z(u) = -u**3 - 5*u**2 - 5*u. Let q be z(-4). Suppose -2*v + 9 + 21 = 0. Solve q*a - v = a for a.
5
Let q = 8 - 7. Let g = 1 + q. Solve 0 = -g*f - f + 6 for f.
2
Let n(r) = 2*r. Suppose 6 = -2*d + 22. Suppose -5*x = -j - d, -x - 3*j - 10 + 2 = 0. Let k be n(x). Solve 3*t - t = k for t.
1
Let w(s) = s**2 + 10*s - 3. Let c be w(-12). Let b be (c/6)/(1/2). Solve -2 - b = 3*y for y.
-3
Let i(s) be the second derivative of -s**5/20 + s**4/4 - s**3/6 + s. Let j be i(2). Suppose h = -4*h + 15. Solve z - j = -h for z.
-1
Suppose 0 = -0*p + 4*p - 12. Suppose 0 = p*v - 2*v - 4, 2*v - 2 = 2*j. Solve -5*o = -j*o for o.
0
Let q(p) = -p**3 - p + 4. Let h be q(0). Solve -h*m - 2 = -10 for m.
2
Let h(z) = 2*z. Let u be h(4). Suppose 4*d - u = -0*d. Solve 8 = d*i + 2 for i.
3
Suppose -2*f - 3 - 1 = 2*p, 0 = -p + 4*f - 7. Let s = p - -9. Let l be 7/14 - 10/(-4). Solve 3 = -l*w - s for w.
-3
Let i = 43 - 40. Solve 9 = i*h + 24 for h.
-5
Suppose 5*u - 53 = -w, -u + 6*u - 41 = 3*w. Solve -5*z + u*z = -15 for z.
-3
Let k be ((-2)/(-2))/(5/(-10)). Let d = 0 + 1. Let x be 4 - (1 + k + d). Solve -4*z = 12 - x for z.
-2
Let l(b) = b**3 + 5*b**2 + 4*b. Let q be l(-4). Suppose q = -4*a + a. Solve -o + a*o = 2 for o.
-2
Let p(i) = -i**2 + 5*i. Let h be p(4). Let y be -2 + -3*(-8)/6. Suppose w - 5*g + 3 = 0, -5*w - g = 4*g - 15. Solve -y*v = h + w for v.
-3
Suppose 3*o - o - 6 = 0. Solve -8 = o*d + d for d.
-2
Let q = 50 + -28. Let b be 0 - -1 - (-2 - -3). Suppose -3*u + 0*u = b. Solve u = -5*k - 7 + q for k.
3
Suppose -30 = -6*f - 0*f. Solve -f*i + 12 = -8*i for i.
-4
Suppose -j - 180 = -19*j. Solve -2*m + j = -7*m for m.
-2
Suppose -3*o - 30 = -y - 0*o, -4*y + 40 = 4*o. Let f be -1*2 - y/(-3). Suppose f*i - 5*r = 24, -2*i + 12 = 4*r - 6*r. Solve i*l + 1 = 4 for l.
1
Let s(d) = -d + 3. Let p be s(0). Solve 0 = -i + p*i for i.
0
Suppose 0 = -5*g - t + 78, 2*g + 54 = 6*g + 5*t. Solve 3*c - g = -c for c.
4
Suppose -2*u - 3*v + 10 = -43, -9 = -3*v. Let p = -15 + u. Solve 0 = p*x - 2*x - 5 for x.
1
Let n(t) = 4*t**2 - 6*t + 2. Let w(b) = 5*b**2 - 6*b + 1. Let s be 2 - (-2 - 0/(-3)). Let l(g) = s*n(g) - 3*w(g). Let d be l(5). Solve 3*v - 12 = -d*v for v.
4
Let y(b) = -5*b + 90. Let j be y(15). Solve 0 = -2*k - 3*k + j for k.
3
Let i(v) = -22*v - 1. Let a be i(1). Let n be a/(-3) - (-4)/(-6). Solve 0 = n*o - 2*o for o.
0
Suppose -c - 13 = 3*g, 7*c + 15 = 2*c - 5*g. Solve -5*y + 13 = -c for y.
3
Suppose 0 = 4*g + 3 - 19. Let z = g + -1. Solve z*s - 8 = 7 for s.
5
Suppose -5*o + 2*p + 50 = 0, 3*o + 4*p = -o + 12. Suppose 4*m = -2*d - 2, -m = 2*m + 3*d + 6. Let q be 72/(-6)*m/(-4). Solve o = g - q*g for g.
-4
Let b(l) = l + 7. Let q be b(-7). Suppose -8*n + 4*n + 100 = q. Solve 3*m = -2*m + n for m.
5
Suppose 2*p - 20 = -4*s, 5*s - 27 = 3*p - 2. Suppose 3*d + p*d = 45. Solve 4*y = -d - 5 for y.
-5
Suppose -5*d + z + z = -16, -5*d + 24 = 2*z. Solve 0*g + d = 4*g for g.
1
Suppose 20 = 2*k + 18. Solve g - k + 0 = 0 for g.
1
Let o be (-1 + 2)/(4 - 3). Let a = -11 + 15. Suppose 0 = 5*k + 5, -2*l - 6 = -a*k - 18. Solve -l*r + 5 = o for r.
1
Suppose -3 + 0 = -h. Solve 5 = h*t - 4 for t.
3
Suppose 0 = -3*l + 4*z + 23, l - z - 11 = -3*z. Let v(r) = r**3 - 9*r**2 + 8. Let b be v(l). Suppose i - n - 1 = n, b = -i + 5*n. Solve -i = 2*m - 17 for m.
5
Suppose 3*v - 14 = -5. Solve -v*w + w = 4 for w.
-2
Let i = 10 - 6. Suppose 0 = -i*m - 0*m. Solve m*a = -4*a for a.
0
Let n = -2 + 4. Suppose -5*g = -n*r - 21, -3 = r + g - 10. Suppose -r*p = p. Solve -6 + p = 2*z for z.
-3
Let l(r) = -11*r**2 + 2*r - 1. Let a be l(1). Let h be 4/10 + (-46)/a. Let q be (-195)/(-27) + 2/(-9). Solve 18 = h*y - q for y.
5
Suppose c = 3*l - 0 + 31, -5*l - 105 = -5*c. Solve a + 3*a = c for a.
4
Suppose 5*g = 4*f - 2 + 7, -g = -3*f - 1. Solve s + 0*s = g for s.
1
Suppose -2*y = -3*z + y - 9, 5*y - 24 = -4*z. Suppose -z = 3*d - 10. Solve 8*f + 5 = d*f for f.
-1
Suppose 2*t + 9 = 6*t + i, 2*i + 6 = 0. Suppose -t*c + 2*p = 2, -5*c - 5*p - 10 = -40. Let d be (-1 + (-3)/(-2))*2. Solve -c*w - d = -w for w.
-1
Let p(b) be the first derivative of b**3/3 - 3*b**2 + b - 4. Let x be p(6). Solve -a = x - 3 for a.
2
Let j(o) = 7*o - 1. Let s be j(-1). Let x = 10 + s. Solve x*g + g = -9 for g.
-3
Suppose -10 = -3*k + u, 5*u - 30 = 2*k - 3*k. Suppose 0 = 4*q - 2*q - 42. Let j = q - 21. Solve -k*a - 15 = -j*a for a.
-3
Let k(p) = 4*p**3 - p**2 + 1. Let m be k(1). Suppose -3*b - 3 = -4*r, -m*b + 3 + 3 = -2*r. Solve -r*f + 3 = -3 for f.
2
Let j be 26 + 4/((-12)/(-3)). Let p = j + -17. Solve 4*b = 6*b - p for b.
5
Suppose -2*q - 2*w = -4*w - 2, 0 = -5*w + 25. Let x = q + -6. Solve -c + x = 1 for c.
-1
Let s = 32 - 30. Solve 0 = -h + s - 5 for h.
-3
Let n(a) = a**2 + 4*a - 4. Let q be n(-4). Let m = 18 + -12. Let x = q + m. Solve 3*k = -x*k - 25 for k.
-5
Let z be (-8)/(-14)*(-2 + 9). Solve z + 0 = -4*w for w.
-1
Let y(k) = k**2 - 2*k - 4. Let q be y(4). Let s(g) = g**3 + 12*g**2 + 11*g + 5. Let h be s(-11). Suppose r - h = -0. Solve -r*m + 3*m = -q for m.
2
Let x(z) = -2*z**3 - 4*z**2 - 3. Let h(b) = 2*b + 3. Let o be h(-3). Let c be x(o). Solve -5*l = -10*l - c for l.
-3
Suppose 0*v = -4*x - 2*v + 18, -x - v = -4. Suppose -7 = -x*t - 17. Let i = t - -4. Solve -12 + i = -2*g for g.
5
Suppose 0 = 8*s - 6*s + 4*t + 12, 10 = -5*s - 5*t. Solve s*f - 7 = 1 for f.
4
Suppose 0 = -2*j - x + 6 - 0, -j = -3*x - 10. Solve 0 = -j*u + u + 6 for u.
2
Let u = 17 - 11. Let m be -2 - (-2*u)/(-1). Let x be (-10)/(-35) - 38/m. Solve x*y = y - 8 for y.
-4
Let p(v) = -2*v**3 + 3 - 2*v + v**2 - 2 + 11*v**3 + 11*v**3. Let r be p(1). Solve -7*n + r = -2*n for n.
4
Suppose 15 = 2*k + k. Let j be (-44)/(-7) - 2/7. Let w = -1 + 1. Solve -k*a + j + 19 = w for a.
5
Let m(n) = n**3 - 5*n**2 - 6*n + 5. Let x be m(6). Solve 3*z = 8*z + x for z.
-1
Suppose 2*a - 25 = -5*r, 0 = -3*a + r + 25 + 21. Solve 3*o - 3 = -a for o.
-4
Suppose -4*d - 10 = r + 2, -5*r - 6 = 2*d. Let a(q) = q**2 - 14. Let y be a(-5). Suppose -2*z = 5*s - 4, -3 = 4*z + 3*s - y. Solve -z*c - 4 = -r*c for c.
-2
Suppose -4 = 4*t + 4*i, -4*t + 3 = 3*i - 6*i. Solve t = -r - r for r.
0
Let q be -3*(1 - (-13)/(-3)). Let v be 1/(-5) - (-292)/q. Suppose 4*i - 13 = 3*b, 5*b = -5*i - 4 + v. Solve 0 = k + i - 3 for k.
-1
Suppose -b = -3*u + 13, -2*b = u + b + 9. Solve 0 = 3*y - 4*y + u for y.
3
Suppose 16 = 6*h - 2*h. Solve 0*l - 4 = h*l for l.
-1
Suppose 3*g - 1 = -m - 13, -3*m = 9. Let w be g*(-2 - (-16)/12). Solve -2*x - w*x + 8 = 0 for x.
2
Let v be 3/9 + (-5)/(-3). Let y = -1 + v. Solve 0*f - y = -f for f.
1
Let g(o) = -o**3 + 4*o**2 - 4*o + 4. Let z be g(3). Let q = 38 - 38. Solve -3*m + z + 5 = q for m.
2
Let v be (-92)/(-3) + (-4)/6. Let n = v + -14. Solve 5*r - r - n = 0 for r.
4
Let t(j) = -j**2 + 10*j - 5. Let g be 2/(-3)*54/(-4). Let h be t(g). Solve h*r = r for r.
0
Suppose -4*a + 8 = 0, 5*a - 108 = -5*l + a. Suppose u - l = -4*u. Solve -u = -m - 2 for m.
2
Let z be (-2)/(-11) + 62/22. Suppose 0*c + z*c - 15 = 0. Let f be (c - 2)*(0 - -1). Solve 0 = f*j + 9 for j.
-3
Let j(u) = -u**3 - 7*u**2 + u + 9. Let v(m) = -6*m**3 - m. Let o be v(1). Let w be j(o). Solve -1 = -r + w for r.
3
Let v = 0 - -5. Suppose -3*a + b + v = 0, -25 = -4*a + a + 5*b. Suppose -4*f + 20 - 4 = a. Solve -f*t - t = -25 for t.
5
Suppose 14 + 1 = 3*f. Let x be 204/9*9/6. Solve 9 = f*d + x for d.
-5
Let c = -17 + 10. Let k = 1 + c. Let l be (k - -3) + 2 + 2. Solve 3*i = -2 - l for i.
-1
Suppose 0*r - 3*r = 0. Solve r = 5*i + 1 + 24 for i.
-5
Let o(i) = -5 + i + i - 3. Let b be o(5). Solve 0 = -4*x + b*x - 