1 = -3*z. Let y(k) = -k**2 + 4*k + 1. Let l be y(z). Solve -j + l - 3 = 0 for j.
-2
Let l(a) = 6*a**2 + 2*a - 3. Let p be l(3). Let x = p + -40. Let m be 3 + 1 + -1 + 1. Solve m*u + 1 = x for u.
4
Let m = -5 - -7. Solve -m*l = -l + 2 for l.
-2
Let j = -128 - -129. Solve -3 = w - j for w.
-2
Let y be (-4)/(-1 - 2 - -1). Suppose 0 = 4*n - 20, 0 = 4*v + 2*n - 19 - 3. Solve y + v = p for p.
5
Let q be (-2)/8 + (-27)/4. Let n = q + 15. Solve 2*a = -0*a + n for a.
4
Suppose 5*j - 20 = -0*j. Solve -1 = -5*a + j for a.
1
Let d(m) = -m**2 - 7*m - 5. Let h be d(-7). Let z be (-18)/h - (-4)/10. Suppose -2*r = 2*w - 8, z*r - 3*w - 1 = 1. Solve r*b + 16 = -2*b for b.
-4
Let y(u) = 5*u**2 - 5*u - 4. Let b be y(-1). Let z be 18/14 + 4/(-14). Solve b = s + z for s.
5
Suppose 3*h = -4*a - 16, 0 = 2*h + 2*h - 2*a - 8. Solve h = -3*p + 5*p for p.
0
Let w be ((-30)/20)/((-2)/4). Solve w*g = -g for g.
0
Let o = 106 - 46. Let q be (o/(-25))/(2/(-5)). Solve l - 4 = -q for l.
-2
Suppose -5*k + 2*k + 6 = 0. Let j = k + 0. Solve 7 = j*v - 3 for v.
5
Let n(k) = k + 11. Let q be n(-7). Suppose -q*g = g. Solve 2*r + 3 + 5 = g for r.
-4
Let k = 13 + -9. Suppose -8*f + 7*f = -k. Suppose 3*w - 2*x + 0 - 7 = 0, -f*x - 8 = 0. Solve 0 = v + 2 - w for v.
-1
Let m(x) = x**2 + 8*x + 8. Suppose -4*w = -3*w. Suppose w = -l, -7 = i + 4*l - 0. Let j be m(i). Solve 2*q + j = 7 for q.
3
Let q(d) = 8*d + 2. Let m = -9 + 11. Let w be q(m). Let r(p) = p**2 + 2*p - 3. Let j be r(2). Solve 0 = -j*l - w + 3 for l.
-3
Let a(v) = -2*v**2 + 5*v + 3. Let m be a(4). Let s be 3*-4*(-3)/m. Let t = 9 + s. Solve 3*w = t*w for w.
0
Let g = -1 + 5. Solve -5*a + 11 = -g for a.
3
Let b be 6/8 + 34/8. Suppose b = -4*z + 17. Solve z*g + 7 = -5 for g.
-4
Let f be (-2 - (2 + 0)) + 6. Suppose -2*b = -7*b - 5*s + 30, -2*b + f*s - 4 = 0. Solve 0 = b*m + 6 for m.
-3
Let p(j) = -j - 3. Let y be p(-5). Suppose -6*d = -3*d - 72. Let q be ((-1)/2)/((-6)/d). Solve -q - 4 = y*x for x.
-3
Let d(c) = c**3 + 3*c**2 + c. Let l be d(-2). Suppose -4*m = -2*s + 6, 5*s - l*m - m = 22. Solve s*r - 4 = 6 for r.
2
Suppose 2*a = -5*g + 28, -3*a = -0*g - 4*g + 4. Solve -g*n + 3*n - 3 = 0 for n.
-3
Let h be 4*((-6)/(-8) + 0). Let v(x) = x**2 - 19*x + 16. Let r be v(19). Solve r = -h*d - d for d.
-4
Suppose -75 - 109 = -8*b. Solve 0 = 4*q + 3 - b for q.
5
Let u be (-256)/(-44) - (-2)/11. Suppose 2*r + r - 4*z = -u, 0 = 3*r + 3*z - 15. Solve 4 = -r*m + m for m.
-4
Let g be (-8)/24 + 13/3. Suppose 11 = 4*j + a, 0*a - 4*a = g. Let u(t) = t**3 + 7*t**2 + 5*t + 4. Let l be u(-6). Solve -2*h = j*h + l for h.
-2
Suppose 5*t - 1 = -4*u - 0, 4*u - t = -29. Let y = u + 6. Solve -8 = 2*x - y*x for x.
-4
Let c(n) = 3*n + 7. Let r be c(6). Solve -r = -3*y + 8*y for y.
-5
Let m(y) = y**3 + 2*y**2 - 2*y + 2. Let s be m(2). Let z be (-2 - -1) + (s - 1). Let j be (z/(-10))/((-6)/15). Solve j*p = -p for p.
0
Suppose 5*i - 18 - 12 = 0. Suppose 16 + 2 = i*k. Solve 2*z - 7 = k for z.
5
Let t(s) = -s - 5. Let h be t(-5). Solve -f = -h*f - 5 for f.
5
Let j = 7 + -7. Suppose -5*f + 3*f - 4 = 0. Let c be (f/1)/((-3)/12). Solve -2*o - 2*o + c = j for o.
2
Suppose x - 2*c + 4 = 0, 5*x = 5*c - 19 - 6. Let z = x - -8. Solve -z*l - 3*l = 0 for l.
0
Let o be 14/35 + (-6)/(-10). Suppose o = -2*h + 7. Solve -h*c = -2*c + 3 for c.
-3
Let t be (-51)/(-12) + (-3)/12. Solve -x - t = x for x.
-2
Let v be (-5)/(-15) + (-1)/3. Let z(k) = -3*k + 3. Let j be z(2). Let h be (0/(j - -1))/2. Solve 4*b + v - 4 = h for b.
1
Suppose 0 = -5*z + 10 - 0. Let b be 0 - 0 - (-2)/z. Suppose 10 = 3*l - q, 0 = 2*q + 4 + 4. Solve -5 = l*w - b for w.
-2
Let w = 37 - -23. Suppose 4*r + p + 0*p + w = 0, -2*r - 30 = 3*p. Let y be (16/3)/((-10)/r). Solve -v = -y + 3 for v.
5
Let t = 25 + -18. Solve -t = 5*n - 2 for n.
-1
Suppose h + 1 = 2*h - o, -o = -5*h - 7. Let u be (-5)/(-5) + h/(-2). Let l = 1 + u. Solve 1 = -2*q + l for q.
1
Suppose -4*n - 6 = -2*o - 30, 0 = 2*n + 2*o. Suppose 0*g + 12 = n*g. Solve -2*p + 5 = g*p for p.
1
Let o = -55 + 58. Solve 6 = 3*d + o for d.
1
Suppose -2*y - 93 = -97. Solve 1 = -y*b - 3 for b.
-2
Suppose -3*g - 4 = -13. Solve 12 + 0 = -g*k for k.
-4
Let l = 125 - 121. Solve -1 = 3*u - l for u.
1
Let p be 6*(-3 + (-40)/(-12)). Solve p*u = -4 - 0 for u.
-2
Suppose -5*v + v - 124 = 0. Let p = v - -43. Solve -p = -0*j + 4*j for j.
-3
Let m be (1/3)/(14/42). Let t be m*0/(4 + -7). Solve 0 = -t*l + 3*l + 15 for l.
-5
Let g(j) = -j + 6. Let f be g(6). Let n(u) be the second derivative of u**5/20 - u**4/12 - u**3/6 + u**2 + 2*u. Let z be n(2). Solve 2*l + z = -f*l for l.
-2
Let t(r) = -13*r + 1. Let z be t(-1). Let q = -9 + z. Solve -21 = -4*w - q for w.
4
Let r = 20 - 30. Let p(h) = -h**3 - 9*h**2 + 10*h + 3. Let f be p(r). Solve -f = -5*b + 4*b for b.
3
Suppose 3*q = q + 5*b + 15, -b = -4*q + 21. Let l be (-1)/(1 + (-18)/15). Solve -l*w = q + 15 for w.
-4
Suppose -6*r + 24 = -6. Solve r*y + 7 = -8 for y.
-3
Suppose -5*b = 4*c - 22 - 14, b = 2*c + 10. Let n(h) = 4 + h**2 - 2*h - 4 + h**3. Let j be n(-2). Solve -v + 3*v - b = j for v.
4
Suppose 2*r = r. Suppose -16*v + 7*v + 45 = 0. Solve v = -r*n + 5*n for n.
1
Let g(d) = -d**2 + 13*d - 4. Let b be g(12). Let w = 10 - b. Solve w*a + a = 3 for a.
1
Let g be (-49)/4 - (-1)/4. Let t = -7 - g. Suppose -4*r - t*m = -41, -5*m + 9 = -2*r - 8. Solve -2 = -h - r for h.
-2
Let b = 25 + -22. Solve -b*z = 4 + 5 for z.
-3
Let c = -17 + 22. Solve -p + c - 2 = 0 for p.
3
Suppose 5*q = -2*p + 175, 8 + 2 = 2*q. Let m be (p/50)/((-3)/(-4)). Let n = -1 - -1. Solve d + m = -n*d for d.
-2
Suppose 7*s = 4*s + 15. Suppose 2*c + 10 = s*t - 6, 3*t - 2*c = 12. Solve u + 3 = t*u for u.
3
Suppose 4*y - 4*i - 40 = -0*y, -y + 2*i + 15 = 0. Solve v + y = 2 for v.
-3
Let s = 28 - 23. Suppose 0 = -4*d - d + 35. Let y = d + 0. Solve -2*m = -y*m + s for m.
1
Let c be (-1)/(-4)*(33 - 13). Solve -c*x + 0*x = 10 for x.
-2
Let a be ((-60)/16)/(3/(-12)). Solve -v = 4*v + a for v.
-3
Let k be (-1)/(-7) + 806/91. Solve k = 4*v - v for v.
3
Let p(z) = z**3 + 4*z**2 - 6*z - 4. Let x be p(-5). Suppose -3*i + 0*i = 0. Let y be 2*((x - 0) + i). Solve -y*s + 2 - 4 = 0 for s.
-1
Let s = -1 + 7. Solve 4*n = n - s for n.
-2
Let u(a) be the first derivative of -3*a**2/2 - 3*a - 3. Let q be u(-2). Solve q*x = x for x.
0
Let z = -3 + 8. Suppose 0 = -0*a + z*a. Suppose -5*x + 23 - 8 = a. Solve -x*y - y = -20 for y.
5
Let m = 3 - -7. Let w = m + -4. Let i = 34 + -24. Solve -w*h = -h + i for h.
-2
Let u = 24 + -21. Suppose u*m = -3*m + 12. Solve a = m*a for a.
0
Let j be (-3 - (-4)/12)/((-2)/3). Solve -j = -2*d + 4 for d.
4
Let o = -6 + 8. Let s = 12 + 0. Let i = 1 - 1. Solve -2*a - o*a + s = i for a.
3
Let z be (0 + 0)/(-2 - -4). Suppose y - 6*y = 0. Let b be (0 - (-1 - z)) + y. Solve -p - 2 = -b for p.
-1
Suppose 0*p - 9 = -3*p. Let s be 3*p/18*8. Solve -o + s = -3*o for o.
-2
Let d(q) be the second derivative of -q**3/6 - 3*q**2/2 + 2*q. Let z be d(-5). Let h(o) = -o**3 - 10*o**2. Let k be h(-10). Solve -z*i = -k*i + 4 for i.
-2
Let i be 4/6 - (-25)/(-15). Let x be (0 - -3) + -1 + i. Let u be x/(-3) + (-26)/(-6). Solve -u*f + 2 + 14 = 0 for f.
4
Suppose -4*l + 0*l = 0. Solve l = -2*b + b for b.
0
Suppose n - 6 = -b - b, -15 = -3*n - 3*b. Suppose 0 = -m - n*m. Solve m = d + 1 + 2 for d.
-3
Suppose -2*l + 11 = 3*u, -3*u - 3*l = -4*u + 11. Solve 4*r - 17 = -u for r.
3
Let n(b) = -b**2 + 4*b - 1. Let q be n(3). Let u = 24 + 6. Let a be (u/18)/(2/6). Solve 1 = q*t - a for t.
3
Let r be ((-12)/2)/((-6)/4). Let m = 81 + -81. Solve 0 = r*s + 4 - m for s.
-1
Let g = -5 - -5. Suppose g = 4*j - 9*j + 5. Solve -u = -2*u - j for u.
-1
Let y = -19 - -19. Solve y = 5*d - 2*d - 12 for d.
4
Suppose -c = -4*c + 6. Solve -1 = -m + c for m.
3
Let x = 1 + 23. Suppose -5*o + 6 = -x. Let b = o + -3. Solve b*v - 2 = 1 for v.
1
Suppose -4 = -4*h + 4. Solve h - 3 = g for g.
-1
Let s(d) = -d**3 + 7*d**2 - d + 9. Suppose -c = -4*v + 5, 2*c + 8*v = 3*v + 29. Let h be s(c). Let r(l) = -l**3 + l + 1. Let u be r(-1). Solve -h + u = p for p.
-1
Suppose 4*m + 3*v - 2 = -5, 0 = -m - v. Let z be (m + 1)/(4/(-6)). Solve -1 = 2*l - z*l for l.
1
Let g = -10 + 3. Let m(b) = -b**2 - 8*b - 2. Let d be m(g). Suppose d = 3*a - 1. Solve 0 - 2 = a*t for t.
-1
Let a = -1 - -10. Suppose -3*o = -4*i - 21, i + i - a = -5