 Let d be v(2). Solve 11*h = -16 - d for h.
-2
Let y be (-24)/(-4)*3/9. Suppose 5*d + 11 = -y*o, -o - 7 = 4*d + 3. Solve 0 = -3*x + 5 - o for x.
1
Let v(d) = 3*d - 4. Suppose 2*x - 4 = -2. Let t(f) = f - 1. Let i(b) = x*v(b) - 2*t(b). Let u be i(11). Solve -u = -0*k - 3*k for k.
3
Let t = 84 - 79. Suppose o - 5*o + 4 = 0, -o - 4 = -h. Suppose q - 34 = -4*b, -43 = -4*b - 3*q - h. Solve -b = -3*d + t*d for d.
-4
Let c = -9 - -14. Let m(w) = w - 73. Let l be m(80). Solve 0 = -3*x + l + c for x.
4
Suppose 0 = p + 4*w + 4, 5 = -2*p + w - 6*w. Solve p = -a - 5*a + 18 for a.
3
Let p be (-1488)/(-112) + 2/(-7). Suppose 10 = -11*n + p*n. Let o = 11 + -8. Solve n = o*g - 8*g for g.
-1
Let s(a) = -a**3 - 14*a**2 + 32*a + 2. Let y be s(-16). Suppose 2*h + y*h = 0. Solve -3*d + h*d = 15 for d.
-5
Let h be 12/(-48) - 2/(-8). Suppose -13 + 10 = -l. Suppose -v + 4*z = -1 + 3, h = -l*v - 2*z + 8. Solve -3*w - 25 = v*w for w.
-5
Let s(v) = 3*v - 2 + 2*v**2 - v**2 + 2*v - 2*v - v**3. Let u be s(2). Suppose u = -3*z - 0*z. Solve z = 2*d + 2 - 12 for d.
5
Let n = 37 + -3. Let y = -34 + n. Solve y = l - 5 for l.
5
Let g(a) = -5*a + 14. Let l be g(10). Let j = -33 - l. Solve j*s - 15 = -2*s for s.
3
Let y be 6/(-4)*((-128)/4)/(-1). Let v be (y/28 - (-4)/(-14))*-1. Solve 3*i = -v*i - 5 for i.
-1
Suppose -5*r - 98 + 178 = 0. Solve -21*y - r = -5*y for y.
-1
Suppose 5*n = -5*k + 75, 3*n - 26*k = -31*k + 47. Solve -4*a + n = -2 for a.
4
Suppose 5*j = -42 - 48. Let i = j + 34. Solve -i = -v + 5*v for v.
-4
Let y = -1109 - -1155. Solve j = -y + 42 for j.
-4
Let w = -9 + 21. Suppose -w*g = -8*g. Let p(r) = -r**3 + 7*r**2 - r + 10. Let x be p(7). Solve x*q - 3 + 9 = g for q.
-2
Suppose -311*z + 307*z = -76. Solve -2*x + z - 27 = 0 for x.
-4
Let j(m) = -m**2 + 5*m - 16. Let o be j(5). Let h = -10 + o. Let t = h - -26. Solve t = 3*f - 5*f for f.
0
Let g be (-3 - (0 + 0)) + 95 + -7. Let v = g + -82. Solve -v = -4*t + 5 for t.
2
Let z(y) = 4*y + 9. Let v(m) = -m. Let q(u) = 2*v(u) + z(u). Let p be (-13)/4 - ((-19)/(-4) - 5). Let g be q(p). Solve -12 = -3*i - g for i.
3
Let z be 7 - (-5)/(-10)*10. Solve -z*s - 3 = s for s.
-1
Let c(t) = t**3 + 144 - 147 - 2*t**2 - 2*t - 2*t**3 + 0*t**3. Let z be c(-2). Solve -z = 2*n - 3*n for n.
1
Let x(j) = -j**3 - 4*j**2 + 3*j. Let u be x(-5). Suppose 2*t + u = 0, 2 - 1 = 2*g - 3*t. Let f(p) = -p**2 - 7*p. Let l be f(g). Solve l = -5*q + 6 - 21 for q.
-3
Let h(n) be the third derivative of n**5/60 - 3*n**4/8 + 3*n**3/2 - 18*n**2. Let i be 4/2 + (1 - -5). Let p be h(i). Solve -p + 4 = b for b.
3
Let v = 8 + -1. Suppose 4*o - o + l = 9, 5*o - l = v. Let m(q) = q**3 - 11*q**2 + 15. Let w be m(11). Solve -o*k = k + w for k.
-5
Let x be (6 + -12)*20/6. Let d = x + 18. Let o = d + 4. Solve o*k - k = 3 for k.
3
Let i(j) = 63*j. Let m be i(-2). Let g = m - -128. Solve g*u - u + 3 = 0 for u.
-3
Let o(u) = u**3 + 6*u**2 - 10*u - 9. Let i be ((-28)/(-20) + -1)*350. Let z be ((-2)/(-4))/((-10)/i). Let y be o(z). Solve y = -8*g + 5*g for g.
-4
Suppose -1 = -3*z + 5. Suppose 36 = 3*f + r, -15 = -f + 2*r - 3. Let y(g) = g**2 + 4*g - 3. Let p be y(-5). Solve p*d + f = -z*d for d.
-3
Suppose 0 = 15*v - 14*v - 2. Solve v*n + 83 = 79 for n.
-2
Let f(j) = j**2 + j - 16. Suppose -5*z = 4*o - 41, -4*z + 4*o + 5 - 1 = 0. Let i be f(z). Solve 4*c - 6 = i for c.
5
Suppose 0 = 4*p - p + 51. Let g(s) = s**2 + 16*s - 13. Let q be g(p). Solve 3*f = f + q for f.
2
Suppose -x - 22 = -4*b, 5*b = 5*x + 5 + 75. Let f be x/(-6) - (-2)/(-6). Suppose f*l = 7*l. Solve l = w - 0 + 1 for w.
-1
Let n(r) be the first derivative of -r**2/2 - 17*r + 16. Let b be n(-19). Solve -b*p = -1 + 3 for p.
-1
Let a(j) be the first derivative of j**4/4 + 13*j**3/3 + 6*j**2 + 8*j + 23. Let l be a(-12). Solve -2 = -2*r - l for r.
-3
Let x be (-351)/(-27) + (-2)/(-1). Solve 0 = g - 13 + x for g.
-2
Suppose 252 = -2*w - w + u, -181 = 2*w - 5*u. Let i = w - -83. Let k be (0 + 2)/((-3)/(-12)). Solve 2*n + i*n = -k for n.
-4
Suppose 0 = 4*v + 53 - 149. Let u = -24 + v. Let y(i) = i**2 - 4. Let g be y(-2). Solve -h + u*h = g for h.
0
Let j = -134 - -135. Let l be (40/32)/(j/4). Solve l*c + 3 = -2 for c.
-1
Let n be (-490)/(-105) + 2/6. Solve n = 3*m + 5 for m.
0
Suppose -2*g + 9*g = 35. Let r be 4*(1/3 + g/30). Solve r*s - 3 = -s for s.
1
Let t be 13 - 1*(0 - -3). Solve t = 16*f - 11*f for f.
2
Suppose 7*u = 6*u + 4. Suppose -b - u = -0. Let n = -2 - b. Solve n*g - 9 = -g for g.
3
Let x be -30*3/(-18) + -1. Suppose 0 = h + 4*k - 4, -4*h + 4*k = -0*k + 4. Solve -r + x - 3 = h for r.
1
Let u = -7 - 11. Let n(f) = -3*f**2 - 2*f + 1. Let i be n(-3). Let d = u - i. Solve -d*r = r + 3 for r.
-1
Suppose 0 = 49*n - 45*n - 100. Let f = n + -5. Solve 3*g - f = -g for g.
5
Let v(z) = z**3 + 4*z**2 - 4*z + 5. Let w be v(-5). Suppose 4*n + 28 + 16 = w. Let q = n + 11. Solve b + 4 + 0 = q for b.
-4
Let s = 3 - 8. Suppose -3 = 4*y - y, -3*y - 78 = -5*d. Let g be (0 - 12/d)*s. Solve g = q + 9 for q.
-5
Suppose 3*d - 6 - 15 = 0. Let i = 10 - d. Solve -g = -i*g + 4 for g.
2
Let s(j) = -j**3 - 38*j**2 + 265*j + 55. Let p be s(-44). Solve 74 = p*t + 30 for t.
4
Let k = -1 + 1. Suppose k*v - v = 0. Suppose 2*o + 7 = -3, 5*z - o = 5. Solve t - 3 + z = v for t.
3
Let n = -8 + 29. Let y = n + -9. Let f be y/(-3)*3/(-12). Solve -3*u + 2 = -f for u.
1
Let k = 50 - 35. Let w be (-1 + -1)/((-6)/k). Solve 0 = w*u - 3*u for u.
0
Let q(l) = -8*l**3 + l**2 + 4*l. Let z(p) = p**3 - p. Let n(y) = -q(y) - 5*z(y). Let x be n(1). Solve 1 = x*c + 13 for c.
-4
Suppose -15 = -5*w, 0 = -5*v - 3*w + 4*w + 57. Solve -v = -r + 13*r for r.
-1
Let c = -43 - -77. Suppose -5*n - 3*q = 18, 3*q - 4*q + c = -5*n. Let t be (4/n)/((-4)/18). Solve t = -0*d - d for d.
-3
Let n be 21*2/24*4. Let u(z) = -z**3 + 6*z**2 + 6*z + 9. Let l be u(n). Solve -l*c = 1 + 3 for c.
-2
Let g = 28 + -25. Suppose 5*l + 1 = -w + 44, g*w = l + 1. Suppose 16*s - 20*s = -l. Solve -4 - s = -2*x for x.
3
Let n(t) = -3*t**3 - t**2 - 3*t - 2. Let s be n(-2). Let w = -23 + 15. Let x = w + s. Solve -x = k - 5*k for k.
4
Let s be (-4)/2*(-4 - -2). Let n be s/(-12) - (-1)/3. Suppose n = i + i. Solve i = -y - 3*y for y.
0
Let i = 143 + -140. Solve -2 = -i*g - 8 for g.
-2
Suppose -2*i - 9 = j + i, -2*j + 2*i + 14 = 0. Solve j*l = 4*l for l.
0
Let n(k) = k**2 - 27*k + 168. Let u be n(17). Suppose -2 = -3*d - 2*q - 0, -12 = 2*d + 4*q. Let g be (39/(-26))/(u/d). Solve -g = -2*a - 11 for a.
-4
Suppose 6*d = -3*a + 69 + 45, 5*a - d - 245 = 0. Solve 46*b + 10 = a*b for b.
5
Let l be (-5)/90*-94 - (-2)/(-9). Solve -16 = -l*c + c for c.
4
Let c(q) = q**2 - 20*q + 19*q + 1 + 0*q**2. Let s be c(1). Suppose -g + 2 + s = 0. Solve -h = 2*h - g for h.
1
Suppose u + 4*c = -9, 21 = 2*u - 3*c + 6. Solve u*d - 5 - 1 = 0 for d.
2
Suppose 13 = 2*z - 1. Suppose -5*x + z = -3. Suppose k = -0*k + x. Solve k*w - w = -5 for w.
-5
Suppose 2*a - 10 = 4*a, 5*k = 4*a + 45. Solve k*n - 5 = -25 for n.
-4
Suppose -2*p - 1 = -x - 5, 2*p = 2*x. Let n be 12/8 - (-2)/x. Solve -6*s + 12 = -n*s for s.
3
Let r(g) = -g**2 + 17*g - 33. Let v be r(10). Let s(w) = 3*w - 107. Let x be s(v). Suppose 4 = -4*k, 2*k = 4*h + 4*k + 2. Solve h = -x*b - 1 + 5 for b.
1
Suppose m + 104 = 5*c, 2*c + 5*m - 13 = 7. Solve -14*x + 9*x = c for x.
-4
Let j(m) = m**3 + 9*m**2 - 6*m + 2. Let k be j(4). Let q be 4/(-30) + k/45 + -4. Solve s + 3 + q = 0 for s.
-3
Suppose 3*q + a - 4 = 0, -6*q + 16 = -7*q + 4*a. Solve 0 = o - q*o + 4 for o.
-4
Suppose y = -21 + 23, -x + y + 15 = 0. Solve 0 = 13*s - x*s + 12 for s.
3
Let n(y) = -y**3 + 18*y**2 - 18*y + 19. Let v be n(17). Let s be v - ((-12)/(-3) + -2). Solve -3 = -o - s for o.
3
Let m be 14/(5/(-10)*-4). Solve 15*d + 38 = -m for d.
-3
Let g(x) = -x**2 - 6*x + 7. Let y be g(-6). Suppose 42 = -y*w + 147. Solve -2*k = k - w for k.
5
Let f(x) = x**3 + 5*x**2 + 3*x - 4. Let z be f(-4). Suppose 2*b + 8 = -z*b. Let q be 2*(b/8)/(-1). Solve 3*g + 16 = q for g.
-5
Let l be (-15)/(-40)*-6*(-8)/6. Solve 5*a - 10 = l*a for a.
5
Let u(a) = a**3 + 4*a**2 - 6*a + 21. Let n be u(-5). Solve 0 = -9*m + n + 10 for m.
4
Suppose -5*z = -20*z. Solve z = -3*p - 13 + 1 for p.
-4
Suppose -1 = 3*x - 13. Let k be ((-56)/(-7))/(-32) - (-6)/24. Solve k*m = x*m + 12 for m.
-3
Let i = 441 - 403. Solve 15*l - 7 - i = 0 for l.
3
Le