-5*c + y = -c for c.
5
Suppose 2*c = c + 9. Let g(w) = w**3 - 9*w**2 + 2*w - 13. Let u be g(c). Suppose 3*j - 20 = u*d, -4*j = -0*d - 2*d - 22. Solve 0*i - j*i = -10 for i.
2
Suppose 0 = -3*q - q + 16. Suppose q*v = -8 + 28. Solve 4 + 11 = v*t for t.
3
Let h(p) = -p + 4. Let n be h(-9). Let c = 30 - n. Solve c - 1 = -4*g for g.
-4
Let b(n) = 2 + 4 + n - 3. Let w be b(12). Suppose 5*t + 5 = -5*c, -5*c + 5*t = -0*t - w. Solve c + 7 = 2*i for i.
4
Let d(r) = r**2 + 10*r + 9. Let w be d(-9). Solve -4 + w = 4*h for h.
-1
Suppose -t = -2*t + 5*y - 26, -5*t + 5*y = 110. Let r be ((-6)/(-7))/(t/(-98)). Solve -3 - 17 = -r*m for m.
5
Let q(i) = -i**3 + 7*i**2 - 3*i + 22. Let n be q(7). Let z(p) = -2*p - 8. Let b be z(-6). Solve -b*o = -n + 13 for o.
-3
Let b = -14 + 15. Solve -5 = 2*o + b for o.
-3
Suppose 2*f - h - 13 = 2*h, 6 = -2*h. Solve k - f = -1 for k.
1
Let l be -10*(1 + 14/(-10)). Let r be 11/4 + 1/l. Suppose 2*t - 5*u + 22 - 9 = 0, -u = 2*t - 5. Solve t - r = -f for f.
2
Let j = 4 + -2. Solve -r + 0*r - j = 0 for r.
-2
Let m(n) = 12*n - 5. Let i be m(2). Solve -4 = -3*t - i for t.
-5
Suppose -2*g = -3*g - 1, 0 = 2*f - 2*g - 10. Let y = f - 5. Let j be (y/(-3))/(3/27). Solve m - 1 + j = 0 for m.
-2
Suppose -2*x = 2*x - 60. Suppose 54*y - 55*y + 2 = 0. Solve y*v + v + x = 0 for v.
-5
Let o = -12 + 11. Suppose 3*g - 7*g + m = 1, 3*m - 3 = 3*g. Let d = g - o. Solve 2*f - d + 5 = 0 for f.
-2
Suppose 0*z = -2*z + 2*y - 2, -3*y + 3 = -2*z. Let p(m) = 3*m - 2. Let g(f) = 10*f - 6. Let x(k) = 2*g(k) - 7*p(k). Let i be x(z). Solve i = -3*u + 5 for u.
1
Let j = 14 + -9. Let y be 1/((-1)/(-2)) + -2. Let d = y - -2. Solve 12 - d = -j*v for v.
-2
Suppose -16 = 4*s - 6*s. Suppose -d + 2*d - 3 = 0. Suppose 2*t = -0*t + 2*r + 14, d*t - r = 15. Solve -t*b + 16 = -s*b for b.
-4
Let x = 38 - 54. Let f = 18 + x. Solve -f*y = 3 + 1 for y.
-2
Suppose -30 = -10*w + 30. Suppose -4*n - 4*t = -12, -4*t = -0*n + 2*n - 4. Solve n = 5*z - w for z.
2
Let k be ((-11)/2)/(1/(-2)). Let r = k + -6. Suppose 15 = 2*v - 3*q, -2*v = 4*q - 39 - 11. Solve -r*l + 0*l = v for l.
-3
Let n = 14 - 10. Let w = n + 11. Solve -3*x + 0 = w for x.
-5
Let i(u) = 3*u**2 + 3*u + 2. Let h be i(-1). Solve h*q + 4 = 6*q for q.
1
Let l = 28 - 11. Suppose 0 = 4*v - 3*g - l, -1 = -g + 4. Let r be ((-8)/6)/(v/(-12)). Solve -4 = -r*t - 0*t for t.
2
Suppose 5*n = -2*o + 152, -n - n = -o - 68. Suppose -3*d + d = -n. Suppose l - 5*x = -18, 4*l = -0*l - 2*x + d. Solve -m + 1 = -l*m for m.
-1
Let l be (10/25)/((-3)/(-15)). Let t be 2/(-2)*(0 + -4). Suppose 0 = t*o - 3*o - 4. Solve o = 2*c - l for c.
3
Let d(u) = u**2 - 3*u - 8. Let t be d(6). Solve -t + 0 = 5*v for v.
-2
Let z = 8 - 5. Let g be 0/(z/3 - 3). Solve g = -p - 3*p + 8 for p.
2
Let g(a) = -a + 11. Suppose 0*s + 40 = 5*s. Let d be g(s). Solve f + 2*f = -d for f.
-1
Let m be ((-48)/10)/((-22)/55). Solve -2*p - p + m = 0 for p.
4
Let u(k) = k**3 + 3*k**2. Let i be u(-3). Solve -v + 0 + 4 = i for v.
4
Let v = 0 - 9. Let j = -13 - v. Let a = 4 + j. Solve a = k - 6*k for k.
0
Let p(s) = -24*s**3 - s + 1. Let l be p(1). Let w = -12 - l. Suppose 5*f - 12 = -2. Solve -w = -f*a - 4 for a.
4
Let c(u) = u**2 - 3*u. Let i be c(3). Solve -m = 5 - i for m.
-5
Let k(d) = -6*d - 1. Let m be k(-1). Suppose -26 - 14 = -2*t. Suppose -t = b - m*b. Solve -36 + 11 = -b*w for w.
5
Let o(s) be the third derivative of -s**6/120 + s**5/60 - 5*s**2. Let p be o(0). Solve -3*h - 15 + 0 = p for h.
-5
Suppose -4 = -d - 0*d. Let k(n) = n - 1. Let s be k(d). Let w = s - 3. Solve w*h + 5*h = 15 for h.
3
Suppose 0 = s + 3*s - 64. Let b = s + -16. Solve b = 3*l - 6*l - 12 for l.
-4
Let u = 8 - 6. Let h = 4 - u. Let a = h - -1. Solve a*f - 9 = 6*f for f.
-3
Suppose -5*f = -4*f - 9. Let j(h) = h**2 - 9*h + 3. Let y be j(f). Suppose 2 = -5*k + 3*t + 3, -3*k + 12 = 2*t. Solve -y*a - k*a = 0 for a.
0
Let k be (0 - 0) + 0/2. Suppose k = -j - j + 3*b - 13, 2*j - 4*b = -18. Let x(d) = 3*d. Let q be x(j). Solve 0 = -n + q*n for n.
0
Let z(t) = t**2 + 7*t - 19. Let m be z(-10). Suppose 5*n + 17 = -4*f + 57, 3*f - n = m. Solve -i + 1 - f = 0 for i.
-4
Let j = 3 - -3. Solve 2*r - j*r = 12 for r.
-3
Suppose 3*m + 2*m = 55. Suppose -5*f + 5 = 2*h, -5*f = 3*h - f - m. Let p = -4 + 5. Solve -h*x + 21 = p for x.
4
Let t be (2/4)/(2/12). Let b(a) = a + 6. Let f be b(-3). Suppose -f*q - 12 = -6*q. Solve t*r - 8 = q for r.
4
Suppose -24 = -22*m + 19*m. Solve -3*i = -m*i + 5 for i.
1
Let n = 15 + -10. Suppose 2*w - 18 = n*w. Let l be (-18)/(-3)*(-8)/w. Solve -3*h + 5*h + l = 0 for h.
-4
Suppose 3*f - 7 = o, 0*o + 7 = f + 2*o. Suppose -2*z - f + 7 = 0. Solve -z = p - 5 for p.
3
Let s = -8 - -10. Suppose -3*q + 3 = 4*c, -2*q + 4*c - 2*c + 2 = 0. Solve s*i - q = i for i.
1
Suppose 0 = 5*k + y - 9, -5*k + 15 = 4*y - 6. Let g = -3 - -2. Let v = -1 - g. Solve v*b + k = -b for b.
-1
Suppose -7*n = n - 88. Solve -3*v - n = 1 for v.
-4
Let b(c) = c + 12. Let i be b(-10). Solve 3 = -i*x + 1 for x.
-1
Let f = -2 - -4. Solve a = -f*a for a.
0
Let i(r) = -r**3 + 2*r**2 + 6*r - 8. Let o be i(3). Solve o = l - 4 for l.
5
Let t(c) = c**3 - 10*c**2 - 11*c + 12. Let v be t(11). Solve 6*b = 2*b + v for b.
3
Suppose 0 = -9*j + 19*j - 5*j. Solve l + j*l = 5 for l.
5
Let o be (-1)/(-3) - (-2)/(-6). Solve p + 3*p - 12 = o for p.
3
Let z be (0*(-3)/9)/(-3). Solve y - 2*y = z for y.
0
Let s = -1 - -5. Let c be (-1)/(3 + 3 + -5). Let n(j) = j**2 - 1. Let w be n(c). Solve -8 = -s*t - w for t.
2
Suppose -5*z = -2*z + 84. Let i be 7/z + 26/8. Solve -i*s = -8*s for s.
0
Let q(j) = 2*j + 8. Let z be q(5). Let m = -15 + z. Solve 22 + m = -5*h for h.
-5
Let w be 16/((-5)/(15/(-2))). Let c be 0/(4*(-1)/2). Suppose 4*f - 2*o = 20, 0*f + 4*f - 3*o - w = c. Solve 16 = -f*q - q for q.
-4
Let k(f) = -f**3 - 7*f**2 - 7*f - 6. Let r be ((-6)/1*-1)/(-1). Let j be k(r). Solve j = 3*q - 0 + 3 for q.
-1
Let o be (-12)/(-6) + (-1 - -2). Solve -2*x = o*x - 10 for x.
2
Let g(u) = 5*u - 28. Let m be g(7). Solve -2*o = -m*o - 5 for o.
-1
Suppose 7 = 2*j + 3. Solve -j*i = -i + 3 for i.
-3
Suppose 0 = -f - a + 2*a + 4, 2*a + 8 = 4*f. Let v be 25/9 - (-2)/9. Suppose 4*c = 2*g - 14, v*g = -4*c + 2 - 1. Solve f = g*y + 1 + 2 for y.
-1
Let c be 0/(7 - (3 - -1)). Solve -3*z + 5 + 7 = c for z.
4
Let t = 19 - 13. Let b be t - 0/(2 + -5). Solve 0 = 5*j + 14 + b for j.
-4
Let j(l) = l**2 + 1. Let p be j(-2). Suppose -11 = -4*v + 4*o + 9, p*o = 25. Solve -f = -3*f - v for f.
-5
Suppose 5*o - r = 7, 2*o + r - 1 = 3*o. Solve -o = 2*f - 4 for f.
1
Let o = -13 + 13. Suppose 6*b + 8 - 32 = o. Solve 15 = -9*v + b*v for v.
-3
Let x = -4 + 7. Solve x*u - 1 = 2 for u.
1
Let o be (-6)/1*(-12)/9. Suppose -3*f + o = f. Let t be 1/f*0/3. Solve t = 4*q + 13 - 33 for q.
5
Let m(x) = x**2 - 2*x + 4. Let t be m(2). Let z be 14/(-49) + 4/14. Let s be z/(-3 - (0 + -2)). Solve 0 = -s*p - t*p for p.
0
Let t be (15/(0 + -3))/(-1). Suppose -6 = t*r + 14. Let u = 6 + r. Solve 0 = -0*w - w + u for w.
2
Let r(g) = g**2 - 5*g - 2. Let c be r(4). Suppose -4*w = w - 45. Let h = c + w. Solve -h*n - 6 = -5*n for n.
3
Suppose 9 + 5 = 2*t + 2*g, -2*t - g = -9. Let u = 0 + 4. Solve t*n = -0 - u for n.
-2
Suppose -3*o + 15 = 2*o. Suppose 5*q - 7 - o = -5*w, 5*w = -2*q + 4. Solve -q = 4*b + 10 for b.
-3
Suppose 0 = -4*h - h. Let l be (-56)/(-20) + 128/40 + -3. Suppose 2*m + 9 = 3*m. Solve h*u + l*u = m for u.
3
Let w = 9 - 23. Let u be ((-4)/w)/((-3)/(-21)). Solve 5*s + u = -8 for s.
-2
Let x(y) = 6*y**2 - 5*y. Let s(d) = d. Let r(v) = 4*s(v) + x(v). Let g be r(1). Solve 0 = -a + g - 3 for a.
2
Let u(d) = -d**2 + 5*d + 3. Let y be u(6). Let c = y - -8. Solve c*x - 4*x = 0 for x.
0
Let v(p) = -p**2 - 9*p. Let n be v(-9). Solve 1 = -n*f - f for f.
-1
Let q = 4 - 7. Let z be 0*q/(-3) + 3. Solve -z*s - s = -4 for s.
1
Suppose 11 + 5 = 4*z. Let o = -7 - -7. Suppose 6*p - p - 25 = o. Solve z*l = -l + p for l.
1
Let t = -23 + 13. Let v be t/35 - (-6)/21. Solve -3*j + 6*j + 15 = v for j.
-5
Let l(h) = h**3 + 9*h**2 + 7*h - 9. Let q be l(-8). Let f be 0 + -1*(-2 + q). Solve 10 = f*v + 4 for v.
2
Suppose 2 = 3*x - 4. Suppose -5*h = -3*q + 24, 3*h + 6 = -q - 0*h. Suppose -w - 40 = -q*w. Solve -x*b = 2*b - w for b.
5
Let l be (2/4)/(7/14). Suppose 5 = 3*s - l. Solve 1 = -s*z + 3 for z.
1
Let l(w) = w**3 - 7*