3*d + 3*k, 0 = 4*d - 0*k - 5*k + h. Let t = -38 + 39. Solve t = -d*n + 7 for n.
2
Let a be 0/(((-1)/(-2))/((-3)/(-12))). Solve -2*x - 5*x = a for x.
0
Let x be 2/(-11) + (-65)/(-55). Let u be (-30 - 1)*1/x. Let p = u - -32. Solve 4*h - p + 9 = 0 for h.
-2
Let v(q) = -q**2 - 8*q - 12. Let x be v(-5). Solve -5 - 1 = -x*g for g.
2
Let k = -472 + 481. Solve 4*g - k*g + 15 = 0 for g.
3
Let c(o) = -2*o**2 + 13*o + 39. Let d be c(12). Let x = 96 + d. Solve 1 = x*q - 8 for q.
3
Let x be ((-2)/(-2))/(((-94)/260)/(-47)). Solve 11*s = -x + 108 for s.
-2
Let f = 7 - 6. Let t = -239 + 241. Solve -f = t*j + 5 for j.
-3
Let w(z) = z**3 + 15*z**2 - z - 11. Let m be 1 + -17 + 3 + -2. Let v be w(m). Suppose -v*j = -0*j - 8. Solve j*o = -2*o for o.
0
Let q be ((-18)/(-24))/(1/12). Let d be (q - 1)/(-2 - -1). Let v be 0 + d/(-4)*5. Solve 2*h - 4*h + v = 0 for h.
5
Let x be (3 - 2)/((-1)/(-8)). Let f(r) = 6 - r + 6 - 1. Let t be f(9). Solve t*b + 2*b = -x for b.
-2
Let k = -324 - -328. Solve 6*u + k = 10 for u.
1
Let u(g) = -g + 1. Let k be u(-4). Suppose 6*c - 2*c - 26 = -2*a, 5*c + a - 31 = 0. Suppose -4*w + c*w = 0. Solve -t + k*t - 8 = w for t.
2
Let i be (-185)/148*10*-2. Let y be (-40)/(-12)*(-3)/(-1). Let u be (-35)/(-14)*28/y. Solve -2*n + i = -u*n for n.
-5
Let q(a) = -a**2 + 11*a - 5. Let g be q(7). Let t = g - 14. Suppose -d - t + 13 = 0. Solve -4 = -8*y + d*y for y.
1
Suppose 3*c = 3*j + 3, 5*c + 5*j + 5 + 30 = 0. Let d be -2 - ((c - 1) + 0). Solve -k - d + 0 = 0 for k.
-2
Suppose -5*k + d = -264, 0 = 8*k - 3*k - 2*d - 268. Let h = k + -49. Solve 0 = -5*m + 28 - h for m.
5
Let k be 0/((-9)/(-3)*5/(-15)). Solve k = -3*i - 12 - 3 for i.
-5
Suppose 0 = 3*g + g - 20. Solve 24 = -g*c + 9 for c.
-3
Let l(x) = 3*x - 10. Suppose 0 = 3*v - v - 12. Let c be l(v). Solve -c*u + 4*u = 0 for u.
0
Let k = 0 + 2. Suppose -3 - 7 = -5*l, 3*l - 14 = k*q. Let s be (-1 + -4)*q/10. Solve -o = s*o - 9 for o.
3
Let w(o) = 95*o**2 + o + 1. Let f be w(-1). Suppose 3*g - f = 4*x, -g - 2*g = 2*x + 25. Let v be (-12)/(-66) + x/(-11). Solve -v*z + 1 + 3 = 0 for z.
2
Let r be (-16)/20 - 49/(-5). Let w be 3/r + 26/(-6). Let j = w + 8. Solve -h + j*h = 12 for h.
4
Let l be -4 + (-540)/24*4/(-5). Solve -l*o - 45 = -5*o for o.
-5
Let j = 22 + -20. Suppose -z + j*z - 1 = 0. Solve -7 = -4*m + z for m.
2
Suppose 21*k - 16 = 13*k. Solve -2*c = k*c - 4 for c.
1
Let d(q) = q**2 - q - 7. Let o be d(-3). Solve -27 + 7 = o*a for a.
-4
Let v(b) = b**3 + 11*b**2 + 18*b + 16. Let u be v(-9). Solve 89*t - 85*t + u = 0 for t.
-4
Suppose 6 = 2*l - d, -5*l - 2*d + 14 - 8 = 0. Solve -l*p + 4*p = 2 for p.
1
Suppose -31*r - 24 = -27*r. Let b be (-5)/((-40)/r)*-4. Solve 0 = b*m - m for m.
0
Let s be 0*1/1*2/6. Solve s = -3*u - 6*u - 18 for u.
-2
Suppose -5*j - 2 + 12 = 0. Suppose -7 = -5*f + 6*w - 4*w, 0 = f + 5*w - 23. Solve -j*q = f*q for q.
0
Let d be (-2)/(-8) - 22/(-8). Let b(y) = y + 9. Let z be b(-10). Let x = d + z. Solve -x*s + 2 = 6 for s.
-2
Suppose -29*s + 24 = -23*s. Solve -10 = s*b - 2*b for b.
-5
Let b be (-3)/(9/(-12)) + -22. Let v be 6/(-2)*42/b. Let x be v - ((-12)/(-4))/(-3). Solve -4*q + x*q = -8 for q.
-2
Let d(s) be the first derivative of -10 + 3*s - 1/3*s**3 + 3*s**2. Let r be d(6). Solve -2 = r*o - o for o.
-1
Let p(x) = x**3 - 2*x**2. Let z = 10 + -10. Let y(u) = -u + 2. Let r be y(z). Let h be p(r). Solve h = 5*t - 4*t - 4 for t.
4
Let q(g) = 3*g**3 + 2*g**2 + g - 2. Let d(p) = 4*p**3 + 3*p**2 - 2. Let m(a) = -2*d(a) + 3*q(a). Let f be m(2). Let u be -3*2*(-2)/f. Solve 0*x - u = -x for x.
1
Let r = 216 - 201. Solve 10*z - 5*z = -r for z.
-3
Suppose -9*f = 7*f. Suppose 5*r - 4*r = 4. Suppose -r*y + 13 = -15. Solve f = 3*d - 5 - y for d.
4
Suppose -21*g = 37 - 142. Solve g*x - 2 = -7 for x.
-1
Suppose -8*d = -22 - 2. Solve d = -h + 7 for h.
4
Suppose 4*c - 3 = 3*g, 7*g - 2*g - 21 = -2*c. Solve 3*j - 6 = -c*j for j.
1
Let k(i) = 4*i**2 - 2*i - 3. Let o be k(-5). Suppose 3*m = o - 44. Suppose -4*c = -8*c + 4. Solve -5*h - c + m = 0 for h.
4
Let o = -33 + 53. Solve -5*t = -0*t - o for t.
4
Let d = 10 + -20. Let x = d - -4. Let i = 14 + x. Solve 0 = 5*b + 2 + i for b.
-2
Suppose -4*c + 3*w + 7 = -2*c, 4*w - 28 = -2*c. Solve 18*q = 20*q + c for q.
-4
Let s(b) = 2*b - 6. Let q be s(3). Suppose q = -13*x + 6*x. Solve 5*l - 25 = -x*l for l.
5
Suppose -2*q + 18 = -z + 1, -2*q + 32 = 4*z. Suppose 6*t + 2 = 26. Suppose t*f + 3 = 3*o - 1, 2*o - 4 = 2*f. Solve 4*h = -f - q for h.
-3
Let b be ((-81)/18)/((-3)/4). Suppose -4*h = -w + 4, 4*w = 2*h + b + 10. Solve h*s = -3*s + 12 for s.
4
Let o be (-2)/(-4) - (-196)/8. Suppose 4*b + o = 5*u, 4 = -3*b - u + 9. Solve b*q = -3*q for q.
0
Let v(b) be the first derivative of b**2/2 + b - 1. Let p(s) = -s**3 - 3*s**2 - 2*s - 3. Let c be p(-3). Let l be v(c). Solve -2*o = -6 - l for o.
5
Let s = -18 + 27. Let r(n) = -2*n**3 + 3*n**2 + 1. Let i be r(-3). Let o = -62 + i. Solve -4*j - o = -s*j for j.
4
Suppose 14 = -2*p + 5*p + q, 0 = -2*p - 4*q + 26. Let v be ((-1)/p - 3)*-3. Suppose -2*k + 4 = 4*c - 3*k, 0 = -3*c - k + v. Solve 6 = c*a - 0 for a.
3
Let b = 53 - 29. Suppose -5*w = -12*g + 16*g - 155, 145 = 5*w + 2*g. Let p = w - b. Solve r - p*r = 10 for r.
-5
Let g(t) = -2*t - 11. Let n(p) = -3*p - 16. Let w(h) = 8*g(h) - 5*n(h). Let a be w(-9). Let u(y) = y**2 - 3*y - 1. Let q be u(4). Solve 0 = -q*m + 11 + a for m.
4
Let d be (-16)/(-6) + (-6)/9. Suppose -7*l + 35 = -d*l. Solve 1 + l = 4*f for f.
2
Suppose 15 = 3*n, -4*o + 49 = 2*n + 3*n. Suppose 16*i - o = 14*i. Solve 3*s = 6 - i for s.
1
Suppose 9 = -3*c + 5*g - 1, -4*c - 56 = 4*g. Let v = -15 - c. Let x(k) = k**3 + 6*k**2 + 5*k + 2. Let d be x(v). Solve -d = w + 3 for w.
-5
Let y = 212 + -208. Solve -2*n - y + 12 = 0 for n.
4
Suppose -27 = -5*j + 4*o + 2, -j + 5*o = 11. Suppose -3*i - 3*m = -87, 3*m = -0*m + j. Suppose 0 = q - 2, 3*q = -3*u - u + i. Solve -2*w - 5 = u for w.
-5
Let c(v) = -v**3 - v**2 + 2*v + 5. Let j be c(-2). Solve 12 = -g + j*g for g.
3
Let y(v) = -v**2 + 2*v + 1. Let c be y(3). Let l(b) = -2*b + 1. Let d be l(c). Solve -d*a + 18 = 3 for a.
3
Let s = 62 + -90. Let w be (-2)/6 - s/12. Solve -m + w*m + 3 = 0 for m.
-3
Let r = -20 + -37. Let d = -57 - r. Solve k = -d*k for k.
0
Let m = 69 + -46. Let t = m - 19. Suppose t*u - 3*z = 23, 10 = -6*u + u - 4*z. Solve 0 = -2*h + u - 0 for h.
1
Let n(i) = 6*i + 7. Let f be n(-1). Solve -3 + f = 2*l for l.
-1
Suppose -5*v - 4*t - 56 = -0*v, t - 4 = v. Let j = v - -10. Let f be (6/(-3))/(j/(-4)). Solve -6 - 6 = f*n for n.
-3
Let l be 8/(-3)*(-42)/(-4). Let h = -14 - l. Let v = -10 + h. Solve 6 + v = 2*x for x.
5
Suppose 3*q - 9 = 3*n, 2*n - q - 9 = 4*q. Let z be (25/(-10))/((-14)/n + -3). Solve -i + 1 = z for i.
-1
Let j = -72 - -79. Suppose j*t - 4 = 6*t. Solve 8*n = t*n - 12 for n.
-3
Let n be 462/220 + 2/(-20). Solve -q + n = 3 for q.
-1
Let w be (192/160)/((-3)/(-10)). Let y = 11 + -7. Suppose -w - 60 = -y*i. Solve 3*u - i = -u for u.
4
Let w = -3 - -9. Let r be (3/2)/(w/8). Suppose 0 = 2*a - r. Solve x = 3 + a for x.
4
Suppose 0*m + 8 = 4*m, -14 = -2*s - 3*m. Suppose 4*l - 11 = z + s, 5*z + 11 = 4*l. Solve 8 = 3*t - z for t.
3
Let v = 10 + -6. Suppose 4*k + 9 = -3*b + 2*b, k + 49 = 4*b. Suppose 3*m - 8 = 4*p, 3*p + 3*m = 6 + 9. Solve -v*q + b = -p for q.
3
Let c be 53/3 - (96/(-9))/(-16). Solve -3*l + c - 11 = 0 for l.
2
Let o be 4/(-1) + 22 + -16. Suppose p - o*p = 0. Solve p*s = -s + 5 for s.
5
Let b(d) = -2*d**2 + 23*d + 5. Let i(g) = -g**2 + 22*g + 4. Let w(o) = 3*b(o) - 2*i(o). Let x be w(6). Solve x*t = 11*t + 4 for t.
2
Let r be 174/203 + (36/(-14))/3. Solve r = 7*z + 7 for z.
-1
Suppose -6*f + 15*f = 108. Suppose a + 4*b = 4*a - 18, 2*b + f = 3*a. Solve a*s + 4 = -2 for s.
-3
Suppose -8*f - 125 = -5. Let j be -1*4/(12/f). Solve j*v + 5 = -5 for v.
-2
Suppose 0 = 4*c - 4*v + 72, v - 45 = -4*c - 137. Let n = c - -27. Solve 0 = n*y - 0*y - 5 for y.
1
Let q = 5 + -1. Let c(k) = -k**3 + 2*k**2 + 5*k - 6. Let z be c(3). Suppose -4*a + 2*n + 7 + 11 = z, a = -5*n - 12. Solve q*r = r - a for r.
-1
Let w = -10 + 12. Suppose -w*r + 76 + 32 = 0. Suppose -2*v = -4*h - r, -2*v + 15 = 4*h - 7. Solve v - 7 = 4*j for j.
3
Let b(w) = -w**2 + 5*w - 2. Let v be b(2). Let g(k) = -k**3 - 8*k**2 - 10*k - 1. Let a be g(-7). Suppose v*x + a = 5*x. So