Solve -v = 4*y + d for y.
-2
Suppose -c - 2 = -0*c. Let g(j) = -2*j**3 - 3*j**2 - 3*j. Let d be g(c). Let v = -5 + d. Solve 0*m - v = -5*m for m.
1
Suppose -5*i + 85 = 10. Solve i = -3*v - 0 for v.
-5
Suppose -5*p - 3 - 22 = 0, 4*l = 5*p + 49. Solve -l*r = -2*r for r.
0
Let c be (4/(-6))/((-2)/6). Suppose 7*s - 20 = 2*s. Let i be (1/(-2))/(s/(-24)). Solve c = j - i for j.
5
Let y(s) = -3*s - 56. Let l be y(-22). Let p be 2/(-3) + 14/3. Solve 9*q = p*q + l for q.
2
Let d be (-2)/6 + (-80)/12. Let b(l) = -l**3 - 6*l**2 + 7*l + 7. Let k be b(d). Let c = k + -2. Solve 0*x - x + c = 0 for x.
5
Suppose -3*w - 1 + 10 = 0. Solve -3*j - w = -0*j for j.
-1
Let k = 10 - 7. Suppose -i = 2*c + k*i - 26, -10 = -2*i. Solve 2 = c*y - 4*y for y.
-2
Let l(d) = 15*d**3 - 7*d**2 - 5*d + 5. Let m(z) = 7*z**3 - 3*z**2 - 2*z + 2. Let v(t) = 2*l(t) - 5*m(t). Let k be v(-1). Solve 0 = -g - g + k for g.
3
Let g = -13 - -9. Let y(z) = -z**3 - 3*z**2 + 5*z + 6. Let m be y(g). Solve -v = -3*v + m for v.
1
Let c = -24 - -26. Solve 2*u = -c - 2 for u.
-2
Suppose 20 = 2*m + 2*m. Solve 1 = -3*b - m for b.
-2
Let x(w) = -w - 1. Let c(n) be the second derivative of 5*n**3/6 + 11*n**2/2 + 2*n. Let y(d) = c(d) + 6*x(d). Let p be y(5). Solve p = -b - 4 - 1 for b.
-5
Let o = -82 + 86. Solve 5*k - o*k = -2 for k.
-2
Let b(r) = -2*r - 2. Let j be b(7). Let v = j - -16. Solve -2*x + x + 2 = v for x.
2
Let x(m) = -2*m**2 + 5*m + 12. Let y be x(4). Suppose 2*u = -3*u + 25. Solve u*j + y*j - 10 = 0 for j.
2
Suppose b = -6*b + 14. Solve s = b*s for s.
0
Suppose 0*z = 4*z. Suppose 3*n - 6 = -z. Suppose 3*g - 2 = n*g. Solve -g = -k - k for k.
1
Let n(z) be the first derivative of z**3/3 + 11*z**2/2 + 3. Let i be n(-11). Suppose i*c = 2*c - 10. Solve -3 = c*l + 17 for l.
-4
Let i = 0 - -8. Let h = 43 + -36. Solve 3*k - h*k - i = 0 for k.
-2
Let c(s) = -s**2 - 8*s - 7. Let t be c(-7). Suppose 2*u - 22 = -4*i, -4 + 7 = u. Solve t = 2*v - i for v.
2
Suppose 0 = -v - 3*j + 19, 4*j = -4*v - 24 + 60. Suppose -l - 5*u + v = -3, l + 4*u = 7. Let h be (-8)/2*(-18)/8. Solve h + l = -4*c for c.
-4
Let n = 6 + -3. Let f = 2 - n. Let k be 2/(1 - f) - -3. Solve k*l - l + 15 = 0 for l.
-5
Let t(i) = i**2 + 7*i - 4. Let s be t(-8). Solve 10 + 6 = s*f for f.
4
Suppose 0 = 4*l + 8 - 20. Solve 2*d = -l*d - 25 for d.
-5
Let d(s) = s + 5. Let q be d(-5). Let o(x) = x + 1. Let r be o(-4). Let u = r + 5. Solve q = 3*f - u - 1 for f.
1
Suppose -2*h + 3 = -h, 3 = -2*u + 5*h. Solve g - u*g = 0 for g.
0
Let t be (0 - 1)*(1 - 5). Suppose -3*i + 5*y + 107 = i, t*i - 114 = -2*y. Suppose 3*p = 8 + i. Solve 0 = 3*b - 0 - p for b.
4
Suppose -3*t + 7 = j, 4*j = 4*t + 8*j + 4. Solve 0*z = -z + t for z.
4
Suppose -y + 4*y - 99 = 0. Let h be 6/y + 8/(-44). Solve -2*a - 2 = -h for a.
-1
Suppose -k + 4 = -2. Suppose -k*t = -t - 5. Solve t - 4 = -n for n.
3
Suppose 8*x = -2*x. Solve 0 = -5*k + 10 - x for k.
2
Suppose 0 = 4*s - 4*h + 5*h - 98, 5*h - 10 = 0. Suppose -9 = 5*a - s. Solve -2*u + u - a = 0 for u.
-3
Suppose -q = q - 10. Let t(d) = d**3 - 7*d**2 - d + 7. Let m be t(7). Solve q*s + 0*s + 5 = m for s.
-1
Suppose 2*d - 2*b = -4*b, -2*b - 21 = -5*d. Suppose f - 24 = -d*f. Solve -2*p = f + 2 for p.
-4
Let k be (12/10)/(9/30). Suppose k*g + 3 = 5*g. Solve -4*h = -3*h - g for h.
3
Let q(r) = r**2 - r. Let l be q(0). Suppose l*o = -o. Solve 10*s - 5*s = o for s.
0
Let k = -1 + 3. Let x(i) = -k*i + 6*i + 0*i + 10 - 3*i. Let o be x(-7). Solve -o*v - 13 = -1 for v.
-4
Let k = 0 + 0. Let d = -6 - -11. Suppose 32 = d*p - 2*v + 6*v, -6 = -3*p + 2*v. Solve -u - p + 0 = k for u.
-4
Let w = 131 - 131. Solve -t + w*t = 0 for t.
0
Suppose -2*y - 2 = -l, 0 = 3*y + 1 - 4. Let u be 2 - l/(-4) - 0. Solve -u = -j - 2 for j.
1
Let d be -3 - (-1 - (-8)/(-4)). Solve m - 3 + d = 0 for m.
3
Let z = -21 + 22. Solve 5 + z = -2*n for n.
-3
Suppose -5*h + 7*h = 34. Let m = h - 17. Solve m = 3*n - n + 8 for n.
-4
Suppose -9*q + 45 = -4*q. Solve q*i = 4*i for i.
0
Suppose -2*c + 184 = 5*t, 3*c - 3 + 12 = 0. Suppose t = 5*s - 22. Solve f = -2*f + s for f.
4
Suppose 2*s - 10 = 0, 3*s - 3 = 4*j - 4. Solve -j*z = z + 10 for z.
-2
Let a(i) = i**3 - 12*i**2 + 5. Let z be a(12). Solve -z*l + 22 = 2 for l.
4
Let a(x) = x + 2. Let t be a(0). Let d = 3 + t. Solve d = b + 2 for b.
3
Let t = 33 + -32. Solve -2*i - 1 = t for i.
-1
Suppose 3*r - 15 = -4*w + 2*w, -2*r + 54 = 5*w. Solve 0 = -0*h - 3*h - w for h.
-4
Let p = -7 - -8. Let u = 13 + -5. Let m be -2 - p - u/(-1). Solve 0 = -2*f + m*f for f.
0
Let m be (-66)/(-8) - (-2)/(-8). Let f be (-3 - -6)/(9/6). Suppose 31 = 4*h - 5*r, 4*h + f*r + 7 = 17. Solve h*i = -0*i - m for i.
-2
Let t = -117 + 120. Solve t*v + 10 = 1 for v.
-3
Suppose 3*g - 8 = -g. Suppose 3*h = -15, g*j + h - 4 = -j. Solve 0 = 2*b + j*b + 25 for b.
-5
Suppose 0*t + 17 = 5*n - 4*t, 4*n + 5*t = -11. Suppose -n = 3*w - 4. Let o be -2 + (-5)/(5/(-3)). Solve l - o = w for l.
2
Let w be ((-60)/(-36))/((-2)/(-6)). Solve 0*h = h + w for h.
-5
Suppose -9 = -5*v + 1. Let j be 0 - 1 - 1 - -2. Suppose j*z = z. Solve v*p - 7*p - 5 = z for p.
-1
Let p be (-2 - 0)/((-2)/(-5)). Let h be (p + 5)*1/2. Solve 2*z + 8 = -h*z for z.
-4
Suppose 5*o + 5 + 7 = 2*f, -5*f - o = -3. Suppose -3*k + 3*w + 4 = -11, 3*k = 4*w + 20. Solve k*g = -g + f for g.
1
Suppose 4 = -n - 0*n - 4*r, -5*n + 4*r = -52. Let y = n + -4. Let u = -4 + y. Solve u = 2*v - 4*v - 10 for v.
-5
Let n(i) = i**2 + 3*i + 3. Let x be n(-3). Suppose 5*k - 3 = 7. Suppose 4*c = c + 9. Solve c = k*y - x for y.
3
Suppose 6 = -2*r - 6. Let s be ((-2)/(-3))/((-1)/r). Suppose -s*n + q + q - 2 = 0, -2*n = 2*q - 2. Solve -2*j - 3 + 1 = n for j.
-1
Let n = -10 + 6. Let a be 1 - 0 - 24/n. Solve -a = -5*d + 3 for d.
2
Suppose -38 = -p + 5*x, 0*p - 4*x = 4*p - 104. Suppose 3*t - p = 8. Solve 0 = -2*c - 2*c + t for c.
3
Let d(f) = -4*f + 15. Let v be d(3). Solve o + v = -0*o for o.
-3
Let o(m) = -m**2 - m. Let f be o(1). Let s = f - 2. Let j = s + 8. Solve 0 = j*i + 9 + 11 for i.
-5
Let a(u) = u**3 + 2*u**2 - 4*u - 3. Let b(x) = -x**2 - 7*x - 3. Let z be b(-7). Let c be a(z). Let w = 2 - c. Solve -5 + 3 = -w*k for k.
1
Let u be ((1 + -1)/(-1))/(-1). Solve 2*k + u*k - 8 = 0 for k.
4
Let z(g) be the first derivative of 0*g - 1 + 3/2*g**2 - g**3 - 1/4*g**4. Let q be z(-4). Solve 3*t = q*t - 2 for t.
2
Suppose -4*n = -0*n - 3*w - 146, -3*w - 6 = 0. Let a = n + -10. Solve 0*b - a = -5*b for b.
5
Suppose -2*h = -0*h - 4. Suppose -1 = -h*g + 1. Suppose -2*u - 3 = -5. Solve -g = l + u for l.
-2
Let a be (-3)/(-8) - 202/(-16). Solve 2*j = a - 7 for j.
3
Let r(b) = -2*b + 6. Let f be r(3). Let h be 1/(1/1)*3. Solve -6*q + h*q - 9 = f for q.
-3
Let j(d) = d**2 + d + 78. Let f be j(0). Suppose 5*x - f = -18. Solve -3*h - h - x = 0 for h.
-3
Suppose 2*n + 2*v = 70 + 68, 5*n - 325 = 5*v. Suppose -2*t + p = -n, -29 = -2*t + t - p. Solve -5*h = t - 12 for h.
-4
Let k(j) = j**3 + 2*j + 9*j**2 + 9 - j - 4*j**2. Let n be k(-5). Solve n*r - 4 = 4 for r.
2
Let l = 125 + -120. Solve 0 = -3*q - l - 1 for q.
-2
Suppose 4*l + 0*t = 4*t + 4, -2*t = 6. Let s = l + 8. Let b be (-1)/((-1)/(s + -2)). Solve -b*a = -9*a for a.
0
Let c be (3 - 3)*(-1 + 0). Let d be 3/6*(c - -2). Solve 2*r - 7 = -d for r.
3
Suppose 3 = -i + 6. Suppose 5*v + n = 4*v + 5, 5*v - 23 = -i*n. Solve -v*m + 16 = -0*m for m.
4
Let g be -2 + 11/(11/6). Solve 2*b + g + 6 = 0 for b.
-5
Suppose 2*y + p - 5 = 0, -4*y + 16 - 3 = 5*p. Solve -1 = -y*u + 3*u for u.
-1
Let o = -40 + 59. Suppose -30 = -5*y + 4*r, r - 74 = -5*y - o. Solve y = -k + 3*k for k.
5
Let u(w) be the second derivative of w**3/6 - 5*w**2 - 3*w. Let c be u(11). Let g = c - -3. Solve -f - 3*f = g for f.
-1
Let j = 189 + -179. Solve 0 = 6*q - j*q for q.
0
Let z be (-12 - -16) + 16 + 0. Solve 0*w + 5*w - z = 0 for w.
4
Let c(x) = -2*x + 7*x - x - x**2 + x + 2. Let g be c(5). Suppose -3*f - 4*l = -16, -g*f = -6*f - 2*l + 8. Solve 5*w - 1 - 9 = f for w.
2
Suppose r = 4*r. Let k = r - -5. Suppose 0 = -5*s + s + 12. Solve s*y + k + 4 = 0 for y.
-3
Let k be ((-20)/8 + 2)*-4. Solve k*h = 6*h + 20 for h.
-5
Let m = -9 - -9. Solve m = -3*n + n + 2 for n.
1
Let h be -2*(0 - -1) + 6. Suppose -h*m + 3 = -3*m. Let l be 0 + m - (-2 - -1). Solve l*b = -b for b.
0
Let p = 4 + -2. Let q be (-2 - (p - 5))*12. Suppose q - 27 = -5*z. S