Solve -y = 5*z - 3 for z.
-1
Suppose -2 = p - 2*p + 2*a, -5*a = p + 5. Let s be (-4 - 36/(-8))*p. Solve 3*i - 12 = -s for i.
4
Suppose 3*t = 2*t - 1, 4*l - 5*t = 29. Solve 0 = l*p - 4 - 8 for p.
2
Suppose -29 = -5*r - 4*v, 0 = 5*r + v - 2*v - 49. Suppose 0 = -r*a + 9 + 9. Solve -4 = 2*y + a*y for y.
-1
Suppose -6*p + 3*p + 36 = 0. Let x = 14 - p. Solve x*s = 3*s for s.
0
Let b(x) = -3*x + 18. Let d be (-8)/(-2) + (-1 - 4). Let z be ((-1)/(d/12))/2. Let y be b(z). Solve y = 3*u + 9 for u.
-3
Let v be -7 + (2 - 4) + 5. Let j = 6 - v. Solve 7*h = 2*h - j for h.
-2
Let s = -7 + 3. Suppose 6*y - 24 = 5*y. Let n be ((-2)/4)/(s/y). Solve -n*j + 6 = -j for j.
3
Suppose 0 = -5*b + b - 16. Let a be (b - -6 - 2) + 3. Solve 0 = a*d + d for d.
0
Suppose 0 = 27*w - 42*w + 195. Solve -w*v = -8*v for v.
0
Let d = 55 - 64. Let u be d/(-27) + (-11)/(-3). Solve -3*j + 4 = -u*j for j.
-4
Suppose -2*d + 18 = 4. Let s(v) = -5*v**2 - 8*v. Let w(b) = 9*b**2 + 15*b + 1. Let h(r) = d*s(r) + 4*w(r). Let l be h(-5). Solve -k = 2*k - l for k.
3
Let d be (1 + 0)/(1/9). Let j(l) = l**3 - l**2 + 2*l + 15. Let m be j(0). Let x = m - 10. Solve -x*r - 16 = d for r.
-5
Let u = -30 + 46. Suppose 3*q + 1 = u. Solve 5 + 0 = -q*r for r.
-1
Let i be 1/((-130)/135 + 4 + -3). Solve 5*l + 12 = i for l.
3
Let i be (22/5 + -5)/((-8)/80). Solve g - 8 = -i for g.
2
Suppose -3*r - 5*d = 10, -4*d + 14 = -2*r - 0*r. Let p be (0 - r/5)*6. Solve 0 = 2*s + p for s.
-3
Let h be (1/2)/(1/4). Suppose -2*b + 11 + 117 = 0. Let j be 888/b + (-2)/(-16). Solve 3*w = -j + h for w.
-4
Let f = 65 + -25. Suppose -2 = -f*t + 39*t. Solve 1 + 1 = t*h for h.
1
Let j = 0 - 0. Suppose 4*y - 47 - 69 = 0. Let b = y - 26. Solve -5*c + 2 + b = j for c.
1
Let h be 1/(-4) - 6213/(-228). Solve 30*u + 15 = h*u for u.
-5
Let j(v) = -v - 4. Let l be j(-9). Suppose 8*i - 7*i - 72 = -l*s, 33 = 3*s + 4*i. Suppose 5*q - t - 16 = -0*t, t + 1 = 0. Solve s = -q*r - 2*r for r.
-3
Let h be 2 - -2 - (-5 + 4). Suppose h*x + 10 = 0, 3*x - 44 = -g - g. Suppose -7*r = -2*r - g. Solve r*u = 4*u + 3 for u.
3
Let t = 5 - 2. Suppose 10 = -t*n - 14. Let w = n + 11. Solve 0*b = -w*b + 12 for b.
4
Suppose 7 = 2*r + 1. Let q = 37 - 2. Suppose -r*x = 4*v + 5, -5*x + 4*v + q = -2*x. Solve x = 4*b - 3 for b.
2
Suppose 0 = -20*k + 21 + 39. Solve k*i - 4 = 4*i for i.
-4
Let u(s) be the third derivative of s**5/60 + s**4/12 - s**3/6 - 11*s**2. Let b be u(-4). Suppose -o = 2*t - b, -5*t + o = -7 - 0. Solve 0*h + h = -t for h.
-2
Suppose 2*q = -b + 9, -19 = 5*b + 6. Solve -q*f = 5*f for f.
0
Let x = -344 + 350. Solve 0*q + 6*q = -x for q.
-1
Suppose 891 + 229 = 16*f. Solve -q + f = 75 for q.
-5
Suppose -17 = t + 4*t - m, -t - 5*m = 19. Let i be 8/t - (-1 - 2). Solve 2*c - i + 3 = 0 for c.
-1
Let g be (-45)/180 - 51/(-12). Solve -g = -21*f + 19*f for f.
2
Let u(i) = 11*i**2 - 2*i - 1. Let j be u(-1). Suppose -50 = 8*p - 3*p. Let t = p + j. Solve 0*y + t*y = -6 for y.
-3
Let n = -30 + 38. Suppose 0 = z + 3*h - n + 2, -h + 57 = 4*z. Let m be (4/6)/(2/12). Solve -m*s - 5 = z for s.
-5
Let a(k) = 4*k**2 - 26*k + 15. Let v be a(7). Solve -v = 4*l - 49 for l.
5
Let n(x) be the third derivative of x**7/2520 - x**6/144 + x**4/6 - 4*x**2. Let c(y) be the second derivative of n(y). Let r be c(6). Solve -z = z + r for z.
-3
Let o(t) = t**2 + 2*t - 6. Let f be o(-4). Suppose -7*a + 15 = -f*a. Suppose 5*x = a*l + 22, -l + 16 = 5*x - 10. Solve -6 + 21 = x*k for k.
3
Suppose -3*d + 5 = -2*n, -5*n - 1 = -2*d - 5. Suppose x = -0 + d. Solve 4*y + x = y for y.
-1
Let f be (-1)/(-1) - (1 - 9). Let j = -14 - -10. Let v(y) = -y**3 - 5*y**2 - 5*y. Let t be v(j). Solve -f = t*p - 1 for p.
-2
Let g = -259 - -259. Solve -9 = 3*y - g*y for y.
-3
Suppose -3*b + 3*d = -21, 2*b + 4*d - 2 = 3*d. Solve -b*k - 4*k = -7 for k.
1
Suppose -4*t + 20 = -0*t. Suppose 0 = 2*s - 2*c + c - 9, -c = -t*s + 15. Let m = 1 + 2. Solve -y + m = s*y for y.
1
Suppose -2*g + 9 + 1 = 0. Suppose 0*u - 3*u = -4*o - 20, 3*u + g*o + 25 = 0. Suppose u = b - 2*r - 6, 4*r = r - 9. Solve 3*d = -b*d for d.
0
Let a(i) = i**2 + 10*i - 253. Let s be a(-22). Solve 15*z + 20 = s*z for z.
-5
Let n be ((-20)/8)/(16/(-224)). Solve -38 = d - n for d.
-3
Let y(j) = j**2 - 6*j + 30. Let b(c) = c + 1. Let r(u) = 6*b(u) - y(u). Let f be r(6). Solve -n = 3*n - f for n.
3
Let x = -195 + 195. Solve x*w - 16 = 4*w for w.
-4
Let c(n) = n**2 + 3*n - 13. Let g be c(-6). Solve g + 7 = -6*s for s.
-2
Suppose -b = -0*b - 2. Let m(k) = k**2 + 3*k + 1. Let g be m(-3). Suppose d - 1 = g. Solve -b*x + 4*x = d for x.
1
Suppose -3*r + 6*r = 15. Let s = r - 0. Let f = 37 + -34. Solve s = -f*n + 2 for n.
-1
Suppose -44 - 6 = -5*o. Suppose 7*v - o*v = -9. Solve 0*m + v*m = 15 for m.
5
Let q(a) = -a**2 + 2*a + 15. Let u be q(5). Solve u + 4 = -2*o for o.
-2
Let r be ((-6)/8 - -1)*56. Solve 9*w - 20 = r*w for w.
-4
Suppose 4*k + 6*k = 7*k. Solve -3*f - f + 4 = k for f.
1
Suppose p = -0*p - 3. Let a be (-12)/(-10)*(-10)/p. Suppose 2 + 10 = a*j. Solve 0 = -2*y - y + j for y.
1
Let o be 7/(84/(-16))*-9. Suppose o*h = 9*h. Suppose h = -4*g + 4. Solve 5*q - g = 14 for q.
3
Let l(w) = w**2 - 22 + 0*w**2 + 11*w + 22 + 18. Let i be l(-9). Solve i*q = -q for q.
0
Suppose 0 = -108*y + 106*y + 44. Solve 17*n = y*n for n.
0
Suppose z + 6 = 4*z. Let v = -1304 + 808. Let t be v/(-40) + 2/(-5). Solve -c + t = z*c for c.
4
Let n(v) = 2*v**2 - 14*v + 19. Let d be n(7). Solve 4*q = -d - 1 for q.
-5
Suppose n + 21 = 4*k, -1 = -5*k + 4*k - 4*n. Suppose 0 = -4*i + 85 - k. Solve -2*y - 3*y + i = 0 for y.
4
Let p be -3 - (4 + (0 - 5)). Let a be -3 + (3 + -1)/p. Let x be -2 + 1 + (-1 - a). Solve 0 = -x*v - 2*v + 4 for v.
1
Let o be (-8)/3*(-6)/(-4). Let g be o*(75/(-10))/5. Solve g = 3*w - 5*w for w.
-3
Suppose 0 = z + 2*l + 51, z + 4*l + 1 = -56. Let d = -45 - z. Solve x - 6*x = d for x.
0
Suppose -4*h + 14 - 2 = 4*l, 0 = -3*h - 2*l + 6. Suppose 0 = 5*r + 2*k - 26, h = -r + 3*k - 7*k + 16. Solve r = -4*f - 16 for f.
-5
Let d be ((-1)/2)/((-2)/16). Let f = 15322 - 15320. Solve -d*w = -f*w for w.
0
Suppose -9*r - 64 = -r. Let p be (-2)/r + (-26)/8. Let y be (-5)/(-5)*-2*p. Solve -3*g = 21 - y for g.
-5
Suppose -x + 0 = -1. Let o = -836 - -837. Solve -o = -t + x for t.
2
Suppose 0 = 3*a + 4*z + 10 + 32, a + z + 15 = 0. Let q = -14 - a. Let f be (3 - q) + -1 + 3. Solve f = -3*i + 13 for i.
4
Let i be (3/2)/(5/10). Suppose -r + 2 = 4*v - 0*r, i*r = -2*v + 6. Solve -3*d + v*d + 3 = 0 for d.
1
Let d = 6 - 3. Let s = 51 - 13. Let y = -33 + s. Solve y*t = d*t + 8 for t.
4
Suppose 6*z = 2*z - 8. Let o(n) = -n**2 + 5*n - 4. Let l(q) = -q**2 + 4*q - 4. Let x(p) = z*l(p) + 3*o(p). Let t be x(6). Solve -4*m + 2 = -t*m for m.
1
Let d be 1/(-4) + 481/52. Solve 0 = 8*j - d*j + 2 for j.
2
Suppose 3*q = 3*i + 12, 3*i + 4*q = 3*q - 12. Let r be (-7)/((-35)/i)*5/(-2). Solve r*o - 2 = -4 for o.
-1
Let y = 1724 + -1680. Solve -y = -2*c - 54 for c.
-5
Suppose -34*a + 48 = -28*a. Solve -a*z - z = -36 for z.
4
Let r = -14 + 24. Let w be 4/(-26) - 154/(-1001). Solve w = -4*d - 10 - r for d.
-5
Suppose -3*y + 21 = 3*z, 5*z + 3*y = -8 + 49. Let p(l) = l**3 - 11*l**2 + 10*l + 4. Let u be p(z). Solve 0 = 5*w - u*w + 3 for w.
-3
Let f = 13 - 11. Suppose 26 - 84 = l - 3*o, -2*l + 5*o - 112 = 0. Let i = -46 - l. Solve i = -3*m - f*m - 10 for m.
-2
Suppose -2*c + 3 = -1. Suppose -3*y + 3*h = -9, -3*y - 7 = c*h - 26. Solve 0*d + y = -d for d.
-5
Let t(g) = 3*g**3 - 3*g**2 + 2*g. Let z be t(1). Solve -z*y = 3*y - 20 for y.
4
Suppose 7*f - 2*f - 20 = 0. Suppose -9 = -k - f. Suppose -7*u = -k*u - 8. Solve u*l + 0*l = 16 for l.
4
Suppose 9*b + 14*b = -736. Let y be (12/2)/(b/(-80)). Let o(u) = u**3 + 4*u**2. Let h be o(-4). Solve 3*j + h*j = y for j.
5
Let q(g) = -g + 8. Let o(n) = -2*n + 17. Let z be o(7). Let r be q(z). Suppose 0 = 2*f - r*d - 12, 5*d = -3*f + d - 5. Solve 3*p - 5 = f for p.
2
Let d = 12 - 10. Let w be 7 - d/(1 - -1). Solve w*c = c + 25 for c.
5
Suppose -3*h = 2*h - 3*t - 29, -4*t + 29 = 3*h. Solve w = -h + 3 for w.
-4
Let c(y) = 2*y + 17. Let w be c(-7). Let s be (-186)/124*(-2)/1. Solve -6*f + s*f = -w for f.
1
Suppose 0 = -9*i + 4*i - 45. Let z be (-13)/3*(i + 6). Let j be (z - 12) + (-3)/(-1). Solve 0 = -j*k + 2*k for k.
0
Let j = 7 - 2. Let p(w) = -w + 3. Let x be p(6). Let n(d) = 