-3*y = -x*y - 3 for y.
1
Suppose 0 = 2*g - 5*g. Let j be 78/14 + (-3)/21*4. Solve j*i + g = -5 for i.
-1
Suppose -3*f + 0*f = -15. Suppose 0 = 2*o - 4, -s + 0 + 9 = -2*o. Suppose -s = -f*i - 3. Solve d = -i - 3 for d.
-5
Suppose 6*b - 22 = 4*b. Let t = b - 11. Solve 3*f + 0*f + 6 = t for f.
-2
Let a(m) = -m**3 + 7*m**2 - 5*m + 6. Let r be a(6). Solve -2*d = 2*d + r for d.
-3
Let d(x) = 2*x + 51. Let v be d(-22). Solve -2*c = -v*c for c.
0
Let z(t) = t**3 + 2*t**2 - 2*t - 4. Let b be z(-2). Solve 2*r - 4 = -b*r for r.
2
Let g = 4 + 0. Solve 3*u - g = -19 for u.
-5
Suppose 3*p = 11 + 13. Solve i - p + 3 = 0 for i.
5
Let v be (-18)/(-10)*150/45. Suppose 5*w = 20, -2*a = -0*a - w. Solve -a*o = -v*o for o.
0
Suppose 4*y = 2*y - 24. Let n = y - -12. Solve n = k + k for k.
0
Suppose 4*g - 13 = 2*o + 1, -5*g = -3*o - 15. Solve 0 = -12*n + 14*n - g for n.
3
Let t(y) = -y**3 + 3*y**2 - 2. Let f be t(2). Let c be ((3/(-2))/3)/(1/(-8)). Solve c = f*i - i for i.
4
Let g(d) be the third derivative of d**5/60 - d**4/6 - d**3/2 + 10*d**2. Let o be g(5). Solve 0*n + o = n for n.
2
Suppose a - 5*g - 111 = -2*a, -a - 4*g = -20. Let j = 10 - 5. Solve -7 = -j*o - a for o.
-5
Let a = -59 + 59. Solve a + 3 = -3*y for y.
-1
Let g be 74/10 + (-4)/10. Suppose 5*f - g = 3. Suppose -2 - 8 = -w. Solve f*o - w = 4*o for o.
-5
Let b be 5*(11 - 5)/((-30)/(-4)). Suppose 0 = -5*f, -f = -2*s - 2 - 0. Let t = -1 - s. Solve t*j + b = -4*j for j.
-1
Let l = -135 + 143. Solve -4*m - l = 4 for m.
-3
Suppose f - 3 = -4*j, -f + 3 = -0*f - 3*j. Suppose -8 = -5*n - f*y - 2, n + 5*y + 12 = 0. Solve -5*s - 18 = -n for s.
-3
Suppose -m = n - 5*m + 12, 2 = -n + 2*m. Let j be 2*2*6/n. Suppose -j*b = b. Solve 3*y - 7*y - 4 = b for y.
-1
Let p(f) = -f**3 - 2*f**2 + 2*f - 3. Suppose -5*a - 14 = -49. Suppose 7 = -2*b - u, 4*b - 3*u - 2*u + a = 0. Let g be p(b). Solve g = 3*q - 4 + 7 for q.
-1
Let g = -10 - -19. Suppose 4*s - g = 5*y - 1, -y = 5*s - 39. Solve s*j - 2*j - 5 = 0 for j.
1
Let x = -20 + 18. Let c be -1 + x + -1 + 13. Solve -c = -u - 2*u for u.
3
Let r be 4/6 - (-2)/6. Let z = -4 - -5. Solve -r = u + z for u.
-2
Suppose 2*x - 2 = -b, 3*x + 32 = 4*b - 9. Let u = 12 - b. Solve u*y - 2 = 2*y for y.
1
Suppose -4*o + 32 = -4*j, j - 6*j - 34 = -3*o. Suppose 0 = -o*u + u. Let m = -517 - -523. Solve 2*x - m = -u for x.
3
Suppose 0 = -n + 2*n - 5. Let q = n - 2. Let c be (130/15)/((-4)/(-6)). Solve 2*g + c = q for g.
-5
Suppose -2*d = -0*d - 8. Suppose y + 1 = 2*o - 1, -d*y = 4*o - 4. Solve y = -z - z + 8 for z.
4
Let r(d) = d**2 + d - 3. Let z be r(-3). Solve -2*c = -z*c for c.
0
Suppose -2 = g, -3*g - 2 = -d + 12. Suppose 2*s - d = -2. Let x(i) = i - 1. Let b be x(s). Solve b*l - 1 = -3 for l.
-1
Let c be 1*(8 - 0) - -1. Suppose -5*s = -c - 6. Solve 9 = -2*p + s for p.
-3
Let m = -61 - -62. Solve 3 = -2*h + m for h.
-1
Let i be (14 - 22)*2/(-4). Solve i*f - 8*f = 4 for f.
-1
Suppose -2 - 7 = -3*m. Suppose m*k = -k. Solve k = -3*h - 2*h for h.
0
Let x = -1 + 0. Let t be 1/((-3)/6)*x. Let j = 3 - t. Solve 3 = 2*z + j for z.
1
Let b(o) = o**2 + 7*o - 8. Let c be b(-8). Suppose -3*y = -c*y - 9. Solve y = q + 7 for q.
-4
Suppose 0 = 8*s + 5 - 29. Solve -5 = -2*u + s for u.
4
Suppose 4*l + 2 = -14. Let k = 9 + l. Suppose 0 = -2*b + p + 29, -2*b - k*p = -0*b + 1. Solve 5*r - 3 - b = 0 for r.
3
Suppose 0 = 5*a - a - 8. Let z(b) = -1. Let k(j) = j - 4. Let f(u) = k(u) - 4*z(u). Let n be f(16). Solve a*x = -2*x - n for x.
-4
Suppose -b - 4 = -3*b. Suppose b*r - 17 = -3*t, 0*r - r - 5 = -3*t. Solve a = r*a + 15 for a.
-5
Let v(d) = -d**2 - d + 6. Let u be v(0). Solve 0*a - u = 2*a for a.
-3
Let h be 1 - -1 - 4 - -2. Let v = 37 - 24. Suppose 113 = 4*t + v. Solve 4*s - 5 + t = h for s.
-5
Let x(k) = k**2 - 10*k + 9. Suppose 20 = 4*p - 2*p. Let q be x(p). Let f be -1*(0 - 2/2). Solve -2*i - q - f = 0 for i.
-5
Suppose -j + 0*y - 18 = -y, 4*y - 59 = 3*j. Let g = j + 15. Solve 1 - 11 = -g*s for s.
5
Let f(g) = -g**3 + 6*g**2 - 6*g + 5. Let v be f(5). Solve 0*c - c - 4 = v for c.
-4
Suppose -5*x + 31 = 1. Solve x*o = 4*o - 4 for o.
-2
Suppose -3*a + 15 = 0, -3*a + 13 = r - 0*a. Let v be r/1*(-6)/4. Suppose v*b - b = 0. Solve 0*h + 3*h = b for h.
0
Let o(t) be the first derivative of -2 - 1/3*t**3 + 2*t**2 + t. Let s be o(2). Solve s*r + 1 = 4*r for r.
-1
Let f(q) = -q**3 + 2*q. Let h be f(0). Let m be (-24)/(-12) - (h - -2). Solve m = j + j for j.
0
Let k be (-168)/40 + 2/10. Let l = 10 + k. Solve 0 = 3*a + 3 - l for a.
1
Let h(n) = n**3 + 12*n**2 + 4. Let s be h(-12). Suppose -4*i = -2*i - s. Solve k - i + 4 = 0 for k.
-2
Let c(t) be the third derivative of -t**6/120 + t**5/12 + 7*t**4/24 - t**3/3 + 8*t**2. Let u = 4 - -2. Let a be c(u). Solve v = -v - a for v.
-2
Suppose 0*v - 25 = -5*v. Suppose 0*h = v*h - 20, 3*r - 8 = -2*h. Solve 4*x = -r*x for x.
0
Suppose 3*g = -3*h + 24, -1 - 7 = -5*h + 3*g. Suppose 12 = -h*x + 6*x. Solve -t - x = t for t.
-3
Let h = 8 + -6. Suppose -u - 4 = -h*u. Suppose u*p = 18 - 2, 4*p = 2*z + 12. Solve d + z*d = 3 for d.
1
Suppose -4*h = 3*w + 52, -h = 5*w - 2*h + 56. Let s = -10 - w. Suppose 5*x - 50 = -3*q, -3*q + 17 + 13 = 3*x. Solve x = -s*n - 3*n for n.
-2
Suppose -b + 4*p - 2 = 0, 2*b + 3 = 6*b - 5*p. Solve 5*f - b*f = 9 for f.
3
Let x(g) = g + 24. Let l be x(-20). Solve 2*u + l = -2*u for u.
-1
Suppose 0 = -2*l + 5 - 1. Solve l*q - 2 + 8 = 0 for q.
-3
Let o = -1 - -11. Let h be (18/(-5))/((-4)/o). Solve 4*b + 11 = -h for b.
-5
Let a be (2 - (-1 - -1)) + -2. Let x be 682/44 + 1/(-2). Solve 5*k - x = -a*k for k.
3
Let v(b) = -b**3 + b**2 - b + 3. Let j be v(0). Solve -10 = -j*y + 2 for y.
4
Let q = 20 + -14. Suppose q = 3*s, 4*c - 17 = 3*s - 7. Solve -2*k - c = -3*k for k.
4
Let b(m) = -m**2 + 7*m - 4. Let v be b(6). Let s(o) = -o + 8. Let p be s(5). Solve v*w - p = w for w.
3
Let x(i) = i**3 + 6*i**2 + 7*i + 10. Let d be x(-5). Solve -4*m + 0 + 12 = d for m.
3
Suppose 0*v = 2*v + 4*j - 10, -2*v = -j - 10. Suppose -4*z = -n - 17, 0 = 3*n + 2*n - 2*z - v. Let m be 6/(2*n/15). Solve -2*w - m = 3*w for w.
-3
Let a(h) = h**2. Let r be a(1). Suppose 2*u + 5*m - 2 = 0, -m - 63 = -5*u + m. Let y = u - 10. Solve -2*l + r = -y for l.
1
Let m be ((-4)/8)/((-1)/2). Solve -3*k - 4 + m = 0 for k.
-1
Suppose -2*h = -4*a + 6, -2*a + 1 = 2*h - 5*h. Let w = a + 5. Solve 3 = j + w for j.
-4
Suppose 3*z = 5*y + 16, -3*z + 4*y = 5*y + 14. Let m be 1 - (1 + (-6 - z)). Solve -4*s + m*s + 2 = 0 for s.
2
Let f(a) = -a**3 - 13*a**2 - 22*a + 3. Let x be f(-11). Solve 15 = 3*s + x for s.
4
Let d(n) = n. Let t(i) = 5*i. Let r(u) = 9*d(u) - 2*t(u). Let b be r(-4). Solve 0 = -m - 1 - b for m.
-5
Suppose -8*b + 81 + 175 = 0. Solve -5*r + 7 = b for r.
-5
Suppose -38*f = -48*f + 240. Solve f = 5*k + 19 for k.
1
Suppose -3*u + 3 = -0*u. Suppose -5 = -0*q - q. Suppose -q*f + 3 + 7 = 0. Solve -f = c - u for c.
-1
Suppose -2*i = -5*k + 2*i + 220, -4*i = 2*k - 88. Suppose -16 - k = -4*r. Solve -r = -2*b - b for b.
5
Let g(d) = 2*d - 8. Let l be g(6). Solve 0 = l*s + 15 - 3 for s.
-3
Let f(x) be the first derivative of 3*x**4/2 - x**3/3 - x**2/2 + x - 3. Let j be f(1). Solve -5 - 5 = j*d for d.
-2
Let l(z) = z**2 + 17*z + 1. Let s be l(-17). Solve -10 = -3*u - s for u.
3
Let s(y) = -8*y + 53. Let i be s(5). Solve 3*r - i - 2 = 0 for r.
5
Let o(r) = r**2 - 13*r + 6. Let d be o(12). Let b = d + 6. Solve -3*s + s + 2 = b for s.
1
Let y(o) be the first derivative of o**3/3 + o**2 - o + 4. Let z be y(-3). Solve -z*u + 15 = u for u.
5
Suppose -4*n + 7*n = 60. Let s be (-2)/(-6) + n/(-6). Let v(m) = -m. Let q be v(s). Solve -3 + 9 = -q*l for l.
-2
Let g be -1*(-3 + 0 + 0). Let j = 29 - 15. Suppose 0 = 4*b - 3*m + m, -5*m + j = 4*b. Solve l + g = -b for l.
-4
Let s = 4 - -1. Suppose 2 + 6 = -o - 3*a, 5*o - a - 24 = 0. Solve -24 + o = -s*j for j.
4
Suppose 2*w + 14 = -5*r - 0*r, -3*w = -2*r - 17. Solve w*u + 8 + 4 = 0 for u.
-4
Suppose -3*m = -b + 2, -5*b + 6 = 3*m - 4. Solve b = 5*d - 3*d for d.
1
Suppose 2*n = -2*u, 5*n - 4 = -3*u - 0. Solve n*r = 4*r + 10 for r.
-5
Suppose 0 = -0*i + 4*i + 8. Let a(y) = y**3 + y**2 - 3*y - 1. Let q be a(i). Let d = q + 14. Solve -l = 4*l - d for l.
3
Let p(v) = -v**3 - 5*v**2 + v + 9. Let k be p(-5). Solve 5*c - 6 = k for c.
2
Suppose 3*q - c - c - 3 = 0, q - 6 = -c. Solve q*p = 