2*k = -16. Solve 2*g = 3*g + d for g.
-3
Let z = 16 + -14. Solve -4*d = -z*d - 8 for d.
4
Let f be 0/(3*(-1)/(-3)). Suppose f*o = o. Suppose 54 = 4*y + 2*z, y + 4*z = -0 + 24. Solve 4*r + o = y for r.
3
Suppose -2*v = -6*v - 3*u + 74, 4*v - 4*u = 60. Let q = -12 + v. Suppose 3*h - 45 = 3*l, 0 = -3*h + 4*h + 3*l - 3. Solve -p + q*p = h for p.
3
Suppose 0 = d - 9 + 2. Solve -5*b = -d*b - 2 for b.
-1
Let z(r) = 2*r**3 - 11*r**2 - 7*r + 2. Let l be z(8). Let x be (-12)/(-54) + l/18. Solve -2*v = -7*v - x for v.
-3
Let l(t) = 7*t - 19. Let h be l(3). Solve 2*n - 6 = h for n.
4
Let t be (-4)/(-26) + (-4)/26. Solve -m + t*m + 3 = 0 for m.
3
Let p be (-480)/(-27) - (-4)/18. Suppose -o + p = 2*r - 0, -5*r - 4*o + 42 = 0. Solve -10 = 5*k + r for k.
-4
Suppose 2 = 5*k - 18. Let p(y) = y - 2. Let o be p(k). Solve 2*n + o = 8 for n.
3
Let t = -18 + 31. Suppose a + 4*v - t = 0, v = 5*a - 2*v - 19. Solve -a*x + 11 - 1 = 0 for x.
2
Let p be (3 - 2) + 11 - -1. Solve -3*a + p + 2 = 0 for a.
5
Let r be 75 + -1*(3 + 0). Let q be (2/(-6))/((-6)/r). Solve 2*v + q - 12 = 0 for v.
4
Let t = -9 + 13. Solve -m = -t*m + 3 for m.
1
Suppose 24 = 3*d + 12. Solve 0*t = t + d for t.
-4
Suppose 2*y - 4 = p, 2*y + p - 3 - 1 = 0. Let g be 2/(2/12*1). Solve 0 = 5*v - y*v + g for v.
-4
Let v(a) = -2*a + 3. Let l be v(4). Let z be (l + 5)*1/2. Solve z = t - 0 + 5 for t.
-5
Let w be 2/(-11) + 12/66. Solve w = -4*t - 6 - 2 for t.
-2
Let p(q) = -5*q**3 + 2*q + 2*q - 4*q**2 + 4*q**3 + q. Let w be p(-5). Solve -u - u + 4 = w for u.
2
Suppose t + 6 = 4*t. Suppose 10 = 4*j - 6. Suppose 0 + 4 = j*q. Solve -f + q = -t for f.
3
Let t(b) be the first derivative of -b**3/3 - b**2/2 + 3*b + 1. Let g be t(0). Let u be 1 + 3*2/g. Solve u*d + 2*d = -15 for d.
-3
Suppose 0 = -r + 2 - 1, 2*x - 5*r + 9 = 0. Let v be 3/6*(x + 6). Let d be 2/(-6) + (-1)/(-3). Solve -2*y + v = -d for y.
1
Let v(o) be the first derivative of -o**4/4 - 3*o**3 - 4*o**2 + 9*o + 1. Let k be v(-8). Solve 3*q = 3 + k for q.
4
Let d = 15 - 10. Let s = d + -3. Suppose -3*i + 5*i - 7 = l, -s*i - 2*l = -4. Solve i*o = -6 - 9 for o.
-5
Suppose 0 = 2*t - t - 5. Suppose -x + t*x = 4. Suppose 2*n + x = 5. Solve -3 = m - n for m.
-1
Let n(o) = o**2 - 5*o + 3. Let l be n(6). Suppose 3*z = -0*z + l, 5*v - 5*z = 185. Suppose -v = -0*k - 2*k. Solve 0 - k = -4*x for x.
5
Suppose -3*w = -4*w + 3*o + 6, -5*w + 3*o = 18. Let l be -1 + 6 + 0/w. Solve l*y + 7 = -3 for y.
-2
Suppose 0*x + x - 4 = 0. Solve -4*r + 0 + x = 0 for r.
1
Let m(s) = 2*s**2 - 5*s. Let q(c) = -c**2 + 5*c + 1. Let k(g) = -2*m(g) - 3*q(g). Let b be k(-2). Solve -6 = b*n + 3 for n.
-3
Suppose 7*p - 9*p = 6, 4*p + 17 = 5*c. Solve 7 = 2*b - c for b.
4
Suppose -4*i - 3*q = -q - 10, -5 = -3*i + q. Let k be (i - 1)/(3/12). Solve -k*c = -2*c for c.
0
Suppose 60 + 28 = 8*d. Solve -p + d = 9 for p.
2
Let o be (-2)/6 + 164/(-12). Let u be 2*7*7/o. Let b be (-68)/u - (-6)/21. Solve -5*j = -b - 5 for j.
3
Let d be 0*6/9*(-3)/(-6). Suppose 0 + 4 = l - 2*q, -l - 2*q - 4 = 0. Solve -3*b + l*b + 9 = d for b.
3
Let f(b) = 3*b**2 - 3*b - 2. Let o be f(2). Solve 3*h = -h + o for h.
1
Let a(w) = 3*w + 8. Let k be a(-6). Let f = 12 + k. Solve -f*n - 12 = n for n.
-4
Let s(y) = 4*y**2 - y - 2. Let z(p) = -7*p**2 + 3*p + 3. Let i(c) = 5*s(c) + 3*z(c). Let n be (-39)/(-12) - (-1)/(-4). Let a be i(n). Solve w - a = 3 for w.
5
Suppose 0 = o - 4*o + 15. Let p(t) = -t**2 + 5*t. Let w be p(o). Solve -4*g + 0*g - 20 = w for g.
-5
Let x be 3/(84/188) + (-4)/(-14). Solve -x + 5 = 2*a for a.
-1
Suppose 5*s = -12 + 37. Suppose 4*b - 3*q - 3 = -0*q, -1 = -2*b + q. Suppose b*v + s = v. Solve 0 + 5 = -v*p for p.
-1
Let x(c) = c - 4. Let j be x(9). Suppose -7 = -4*v + 3*q + 2, 0 = -2*v - j*q + 37. Solve 2*u - 4 = v*u for u.
-1
Suppose -11 = -4*u - 3. Suppose l + u*l + 50 = 2*x, -4 = -2*l. Let z = x + -18. Solve 6*p - z = p for p.
2
Let v(i) = 2*i**3 + 6. Let f be v(0). Solve f*u - 3 = 7*u for u.
-3
Let m(g) = -g**2 + 6*g + 2. Let j be m(6). Solve -j*n - 2 - 8 = 0 for n.
-5
Suppose 2*c - c = 2. Solve c*u + 3*u = 15 for u.
3
Let u(y) = -y**2 - 4*y - 2. Let c be u(-4). Let z = c - -2. Solve z = -0*o + o - 3 for o.
3
Let m(a) = a**2 + 6*a. Let x be m(-7). Let u(f) = 9*f + 1. Let y be u(1). Suppose -y = -3*v - 1. Solve -v*t + x = 1 for t.
2
Let s be (0 + 0/(-3))/(-2). Suppose -5*j + s = -25. Suppose -2*k - t - j = -18, -3 = -3*k + 4*t. Solve h - k*h = 0 for h.
0
Let n be (-1)/4 - (-27)/12. Suppose -4 = -n*a - p + 3*p, 5*a - 24 = -2*p. Suppose a*g - 2*g = 0. Solve 3*f = -g*f + 6 for f.
2
Let y be (3 + -3 + 3)*7. Let u = y - 13. Suppose 2*f - u = -2*f. Solve f*h = h + 3 for h.
3
Let v be -1*(3 - (-3)/(-1)). Suppose 0 = 4*r + 2*x - 62, r = 4*x - v*x + 20. Solve 0*c - 4*c = r for c.
-4
Let b(d) = 3*d + 5. Let q be b(-1). Solve -q = j + 2 for j.
-4
Let a = 27 + -22. Suppose -4*q = -5*q + 5*i - 25, 5*q - 25 = -a*i. Solve q = -4*y + 9 + 11 for y.
5
Let k(x) = 3*x**2 + 1. Let h be k(1). Let m be (-40)/h*3/(-6). Solve m = g + 10 for g.
-5
Let n be ((-10)/4)/(1/(-2)). Let i = 5 - n. Solve i*k = -5*k - 20 for k.
-4
Suppose 0*y = -3*y. Let n = 0 - y. Solve n = 3*c - 5 - 4 for c.
3
Let u = 25 + -16. Suppose 180 = 5*n - 4*n. Let a be n/16 + (-3)/12. Solve -5*q + u = -a for q.
4
Let j(s) = -s + 2. Let b = 3 + -4. Let t be j(b). Solve -v = -t*v for v.
0
Let z = 9 + -7. Solve 2*c = -z*c for c.
0
Suppose 0 = -3*d - 9 + 36. Solve -3*w - 3 = d for w.
-4
Let k(a) = a + 2. Let g(x) be the third derivative of x**4/24 - 2*x**2. Let j(f) = -4*g(f) + k(f). Let i be j(-2). Solve -t + 5*t = -i for t.
-2
Let c(v) = -v + 4. Suppose -3*r - 2*r + 40 = 0. Let p be (-2)/r - (-34)/8. Let f be c(p). Solve n + f = 4 for n.
4
Suppose 2*i - 4*i = -2*f - 8, 6 = 3*f. Suppose s + g - 17 = i*g, -5*s - 5 = 5*g. Solve -s = -4*m + 5*m for m.
-2
Let h(y) = -y - 2. Let n be h(5). Let s = -5 - n. Let c(x) = 2*x**2 - x - 2. Let l be c(2). Solve 0 = l*t + s + 2 for t.
-1
Let r = -9 - -16. Let x = -1 - -3. Solve x*v = r*v for v.
0
Suppose -4*p = -4, 0 = -f - 4*p + 11 - 0. Let n(l) = -l**3 - 11*l**2 - 11*l - 8. Let j be n(-10). Solve o - j = -f for o.
-5
Suppose -8 = -5*n + n. Solve n = t - 0*t for t.
2
Suppose 0 = -2*n + 2. Solve 0 = 3*w - n + 10 for w.
-3
Let a = 2 - 0. Suppose 0 = 2*z - 2*g - 10, 0*z + g = -a*z - 5. Solve 6*j - 2*j = z for j.
0
Let n(v) = -v**2 + 8*v - 5. Let u be n(7). Suppose -u*d + 3*y + 18 = 0, 0*y + 12 = -3*y. Solve -d*q = -q for q.
0
Let v = -28 + 16. Let c be (v/(-8))/(-3)*-8. Solve 0 = -c*a - 0 + 8 for a.
2
Suppose 3*p - 5*p = -4*p. Solve 4*t + 14 + 6 = p for t.
-5
Let m = 1 + 1. Let s(o) = 2*o**2 + 4*o**2 + 11 - 11*o + 5*o**m - o**3. Let g be s(10). Solve 2*u + g + 3 = 0 for u.
-2
Let v(s) be the third derivative of s**5/60 - s**3/6 - 2*s**2. Let y be v(-1). Suppose 24 = -y*w + 4*w. Solve u - w*u = -5 for u.
1
Let w = -13 + 19. Suppose w = 2*v - 4. Solve 17 = -v*q + 2 for q.
-3
Let d(o) = 2*o**2 + o - 2. Let j be d(-2). Let a(g) = -4*g + 110. Let p be a(26). Solve p = 2*i - j*i for i.
-3
Let d(k) = 2*k**2 - 3*k. Let h be d(2). Suppose n + 5*a + 9 = 0, 4*a + a = -4*n - 6. Suppose -l = -n - 4. Solve -x + l = -h*x for x.
-5
Suppose -3*f = 3*c + 3, -2*f - 6 = -c - 1. Let i(d) = -d**2 - d + 2. Let o be i(c). Solve o = -3*z - 7 - 5 for z.
-4
Let i(o) = -4*o - 28. Let s be i(-9). Solve 3*q - s = -5 for q.
1
Let a = 139 + -137. Solve -4*r + 6 + a = 0 for r.
2
Suppose 2*k - 1 = -q + 2, 3 = q - k. Solve -q*x + 2*x = -1 for x.
1
Let i(s) = 11*s**2 - 2*s + 1. Let f be i(1). Solve 0 = v - 3*v - f for v.
-5
Let r = 22 - 20. Let g be -1 - r*10/(-4). Solve 0 = -g*d - 0*d - 4 for d.
-1
Let r be ((-14)/2 + 4)*-1. Solve -o - r = 2*o for o.
-1
Suppose -4*l = -11 + 7. Solve -3 = -2*g + l for g.
2
Let y(h) = h. Let j be y(2). Suppose 2 = -u + 2*n, -5 = -4*u + j*n - 1. Solve u*k = -k + 12 for k.
4
Let n(s) = -s + 9. Suppose -2*g + 5*b - 10 = 0, g + 0*g - 3*b = -7. Let p be n(g). Suppose 0 = -3*r - 4*u + 44, u - 4*u = 3*r - 39. Solve r*c = p*c - 8 for c.
-2
Let n be ((-8)/6)/((-12)/18). Suppose -5*h + 4 + 7 = n*b, -10 = -5*b + 5*h. Solve -b*p = -p - 8 for p.
4
Suppose -2*t + 14 = -3*p - 3, -5*t + 2*p = -70. Let k = t + -11. Solve 7*i = k*i + 6 for i.
3
Suppose 0 = -2*c - 40 + 50. Solve 8 = m - c*m for m.
-2
Suppose 0*p - 5*p - 445 = 0. Let z = 130 + p. Let h