24 = 0. Let v be b/6*1*-2. Let t = v + -7. Solve 4*o + 16 = t for o.
-3
Let d be 14/35 + (-2)/5. Solve d = 4*x - x + 15 for x.
-5
Let k(p) be the second derivative of p**4/12 - p**3 + 4*p**2 + 3*p. Let w be k(4). Solve 0*i + 2*i + 8 = w for i.
-4
Let v = -5 + 7. Suppose 0 = -u + v. Suppose -p + 2 = u*q, -20 = 4*p + p. Solve -3*s + 6 = -q for s.
3
Let o(z) = 9*z - 57. Let g be o(7). Solve 2*s + g = -0*s for s.
-3
Let i(a) = a - 4. Let k be i(3). Let n be 0 + (8 - k) - 1. Let u = -5 - -9. Solve 0 = 2*y - u*y - n for y.
-4
Let a = 58 + -54. Let u = -6 + 18. Solve o + u = a*o for o.
4
Suppose 8 = -6*y + 10*y. Solve -t - 2 = y for t.
-4
Let j(k) = k**2 + 13*k - 12. Let l be j(-14). Solve -p = -l*p + 4 for p.
4
Let f(m) = m**2 + 3*m. Let s be f(-4). Suppose 4*n - 5*n = -s. Suppose n*w = -2*a + 16, -20 = -5*w + 4*a - 7*a. Solve -w*q + 0*q - 8 = 0 for q.
-2
Suppose -u = 4*n - 21, n - u - 8 = -4*u. Suppose 5*p = n - 0. Solve -2*r + p + 5 = 0 for r.
3
Let p(j) = -j**3 - 8*j**2 + 10. Let y be p(-8). Solve -2*n + 7*n = y for n.
2
Let n(i) = -i**3 + 4*i - 3. Let q be n(2). Let b = 4 + q. Solve -j + 4 = b for j.
3
Let u(a) be the second derivative of 0*a**2 + 0 + 1/2*a**3 + a. Let w be u(1). Solve -20 = w*p + 2*p for p.
-4
Let t(a) = 4. Let x(w) = -w - 4. Let l(g) = 2*t(g) + 3*x(g). Let y be l(-4). Solve 0 = -3*u - y - 7 for u.
-5
Let l = 17 + -21. Let c = l - -5. Solve -8 = -3*k + c for k.
3
Suppose -3*l + 1 = -4*o, 3*o = -4*l + 22 - 4. Solve o*z - 5 - 1 = 0 for z.
3
Let d(n) = -3*n + 1. Let m be d(-3). Let s = -6 + m. Let w = 17 - 14. Solve s*t + w = -5 for t.
-2
Let j(u) = u**3 - 10*u**2 + 11*u - 18. Let f be j(9). Solve f*b + b + 1 = 0 for b.
-1
Suppose -5*z = -3*z + 8. Let t = -2 - z. Solve 0 = -5*u - 3 - t for u.
-1
Let w(q) be the second derivative of -q**3/6 + q**2 - 2*q. Let s be w(-2). Solve y - s = 1 for y.
5
Let g be (1/3)/((-3)/(-45)). Let y be 3/g - (-132)/30. Solve s + 0 + y = 0 for s.
-5
Let z = -107 + 113. Solve 2 + z = -4*n for n.
-2
Let m be (-10)/(-6) + (-2)/(-6). Let j(c) be the second derivative of c**5/20 + 5*c**4/12 + c**3/2 - c**2 + 5*c. Let q be j(-4). Solve 4 = m*d + q for d.
1
Suppose 2*q = -q. Let l(n) = -n**3 - 2*n**2. Let b be l(-2). Solve 4*c + q*c + 8 = b for c.
-2
Suppose 0 = -4*o - 3 + 11. Let i(f) = -f + 2. Let c be i(2). Solve o*d + c - 6 = 0 for d.
3
Let k(i) = -3*i - 2. Let q be k(-4). Let g(o) = o**3 - 9*o**2 - 9*o - 4. Let p be g(q). Solve -p = 4*b - 2 for b.
-1
Let y = 3 + 0. Suppose -4*m + 36 = 5*i - 7, -5*i - 13 = -4*m. Suppose y*j - m*j = 0. Solve j*c = 2*c for c.
0
Suppose 0 = -0*p - p. Let z be 1/9*3 + (-94)/(-6). Suppose -3*l = -2*l - 4. Solve -l*i + z = -p for i.
4
Let r(f) = f**2 - 2*f + 1. Let v be r(1). Solve 10 = 2*z - v*z for z.
5
Suppose 0*a + 2*a - 5*w = -1, 2*a - 4*w = 0. Suppose -a*p + 17 - 3 = 0. Let s = p - 3. Solve 2 = -2*f + s*f for f.
1
Suppose 4*a - a - 12 = 0. Solve a*x = -x for x.
0
Let k be (36/3)/(-4) + 6. Suppose j - k = z, -z - 4*j + 8*j - 18 = 0. Solve 3*x = -z*x - 10 for x.
-2
Let x(b) = -b**2 - 10*b - 9. Let g be x(-9). Solve g = -2*d - 0*d + 6 for d.
3
Let h be (-2 - 14/(-6))*6. Solve 2*f + h = 3*f for f.
2
Let q be ((-1)/(-2))/((-6)/144). Let i = 12 + q. Solve d - 1 = -i*d for d.
1
Let w be -1 + 0/1 + 2. Let m be 2*(-15)/(-6) + 1. Let d(h) = h**2 - 5*h - 4. Let c be d(m). Solve 3 = -c*y - w for y.
-2
Let h(p) = 4*p**3 + p**2 - p + 1. Let l be ((-2)/(-3))/(8/12). Let w be h(l). Solve -5 = -2*f + w for f.
5
Suppose 3*x + 0*b + 4*b = -1, x + 5*b + 4 = 0. Let w be ((x - 0)*-30)/(-2). Solve -u - 4*u + w = 0 for u.
3
Let f = 14 - 21. Let m be -1*(f - 0/1). Let g = -9 - -14. Solve m = 4*y - g for y.
3
Let h(m) = m**2 - 3*m + 3. Let x be h(3). Let o be (28/(-4) + 4)*(-2)/3. Solve -x + o = q for q.
-1
Let h = 25 - 20. Solve -h*w - 6 = -31 for w.
5
Suppose 4*q + 4 - 121 = 3*f, -f = 3. Suppose -b - 7 = -q. Suppose o = 2*c + 2*o, 3*o = -4*c. Solve -5*y - b = -c for y.
-4
Let x = -132 + 134. Solve -20 = x*o - 14 for o.
-3
Let g(d) = 8*d**2 - d. Let p be g(1). Suppose -k - 2*f + p - 3 = 0, -3*k + f = -5. Solve 0*n = k*n + 4 for n.
-2
Let x be (1/2)/((-2)/(-36)). Suppose -4*a = -0*g + 2*g - 16, -4*g + 23 = 5*a. Let n be 28/6 + g/(-3). Solve -n*z - x = 11 for z.
-5
Suppose 0*t + 37 = -3*t + 4*l, -2*t - 3*l - 36 = 0. Let g = -10 - t. Solve 8*f = g*f - 3 for f.
-1
Let l(t) = -t**2 - 8*t - 7. Let v be l(-5). Suppose 5 = -p + v. Suppose 0*w - j = -w + 9, -p*w = 4*j + 8. Solve -w*n - 3 = 13 for n.
-4
Suppose -7 = c + 2*p, 4*c + p - 2*p = 8. Let a be (c - 2) + 2 + -1. Let o = a + 0. Solve -2*x - 6 - 4 = o for x.
-5
Let c(g) = 3*g. Let t be c(1). Let q = t + 1. Let v(x) = -x**3 - 4*x**2 + 4*x + 1. Let i be v(-5). Solve -i + 22 = q*j for j.
4
Let d(t) = t**3 - 4*t**2 + 2*t + 5. Let a be d(3). Solve -a*w + 6 = w for w.
2
Let m be 12*(-1)/4*-2. Let t(y) be the first derivative of y**2 - 8*y - 8. Let k be t(m). Solve 5*s + k = 14 for s.
2
Suppose 4*l = s - 22, -2*s + 5*s - 34 = 4*l. Let n be s/1*25/10. Solve 2*h + n = -h for h.
-5
Let a(u) = -u + 3. Let r(h) = -2*h + 6. Let d(y) = 7*a(y) - 4*r(y). Let w be d(3). Let l be w/(3/(3/(-2))). Solve -n + 2*n - 4 = l for n.
4
Let u be (-6)/15 - (-1134)/10. Let c = u - 73. Let s = -29 + c. Solve s = 5*b - 14 for b.
5
Suppose 0*d + 16 = 4*d. Let x(z) = -3*z**2 - 8*z + 10. Let t(y) = 7*y**2 + 17*y - 21. Let l(f) = 4*t(f) + 9*x(f). Let p be l(d). Solve -4*j = -p*j + 6 for j.
3
Let o = -3 + 5. Solve 1 = i - o*i for i.
-1
Suppose -3*m + 0*m = 0. Let p be 4/10 - 15/(-25). Suppose 1 = 2*w - 17. Solve 4*k - p + w = m for k.
-2
Let n be 5 - (2 + 0 + -1). Solve n*x = -0*x + 4 for x.
1
Let o be ((-12)/10)/(27/(-180)). Suppose 0*c - c + o = 2*v, 3*c = 2*v. Solve -y + c*y = 4 for y.
4
Let z(h) = -h**3 - 10*h**2 - 9*h + 4. Let u be z(-9). Suppose -3*v + 10 = 2*p, u*v + 5*p = -9 + 27. Suppose j = 3*j. Solve j*x + x = v for x.
2
Let y = -5 + 5. Suppose y = 2*m - 0*m - 14. Solve -4*f + 1 = -m for f.
2
Suppose 3*o - 13 = 2. Solve 2*m = -o + 1 for m.
-2
Let n be 2/(-8) + (-235)/20. Let z = 17 + n. Suppose z*v - 4*v = 0. Solve 0*j + j = v for j.
0
Suppose 49*x - 44*x = 10. Let o = 2 - 0. Solve -o*w + 0 = -x for w.
1
Let n be (-2)/12 + 14/84. Let m be n*3/((-6)/2). Solve -2*b = -m*b for b.
0
Let k be 1*-27*12/36. Let t be (-9)/(1*(0 + -1)). Let f be ((-12)/k)/(1/t). Solve 0 = -0*u - 3*u - f for u.
-4
Let o(u) = u**3 + 2*u**2 - 3*u + 1. Let k be o(-3). Let g = -12 - -24. Suppose 4*t - g = -0*t. Solve t = a - k for a.
4
Let b = 0 - -3. Suppose -5*a = r - 10, 4*r = -b*a + r + 6. Solve 3 + a = 5*i for i.
1
Suppose 3 = 2*a + y, -y - y = -5*a - 15. Let d be (-3 - -2 - 4)*a. Let r = 43 - 26. Solve -4*j - d = -r for j.
3
Suppose 2*z - 49 + 9 = 0. Suppose -2*b + 3*b - 4 = 0. Suppose c - 5 = o + 4, -2*c + b*o = -z. Solve 0 = -u + 5*u - c for u.
2
Let x(y) = -46*y**3 + y**2 + 2*y + 1. Let i be x(-1). Let v be i/(-6) - 4/12. Let d be (-42)/v + 1/(-4). Solve u = d*u + 8 for u.
-2
Let d(l) = -l**3 - 9*l**2 - 8*l + 3. Let j be d(-8). Let v = j + 1. Solve -v*q + q = 12 for q.
-4
Suppose 4*h + 6 = -s, 3*s + 4*h + 1 = 7. Suppose -l + 1 = -s. Solve 0 = -l*v + 2*v - 5 for v.
-1
Suppose -a = 3*n + 3, -3 = n - 0*a + a. Solve n = 2*c - 5*c - 9 for c.
-3
Suppose 4*c - 13 - 5 = -2*h, 5*h + 10 = c. Solve c*l = 3*l for l.
0
Suppose -4*r = -4*x - 4, -4*x = -r - 2 + 3. Solve -z + 2 - 1 = x for z.
1
Let i(u) = -u - 6. Let f be i(-12). Let d = 8 - f. Solve -z + 5 = -d*z for z.
-5
Suppose 9*o - 5*o = 12. Solve 4 - 16 = o*r for r.
-4
Suppose -2*i - 2*i = -32. Suppose -7*d + i = -5*d. Suppose 6*f - 3*f - 16 = -5*n, d*n = 5*f - 2. Solve 3*s - n*s = -3 for s.
-3
Let u = -10 + 12. Solve s - u*s = 3 for s.
-3
Let f = -7 - -11. Let s(b) = b - 2. Let p be s(5). Suppose 10 = p*m + f. Solve 0 = -r - m*r - 3 for r.
-1
Suppose -2*f - w - 1 = 0, f + 2*w = -1 - 7. Solve 2*c = 3*c + f for c.
-2
Let a be (8/(-6) + 1)*-9. Suppose -n - 2*n + 23 = z, -5*z + n = -35. Solve 5*b - a = -z for b.
-1
Let j(b) = -b**3 - 7*b**2 + b + 6. Let k be j(-7). Let c be 1/k*(-16)/4. Let r be (3 - 0) + (-8)/c. Solve -2*s + 1 + r = 0 for s.
1
Suppose 0 = s - 0*s - 2. Suppose 8 = s*m - 0*m. Solve -2*u + m = -4 for u.
4
Suppose f - 47 = 2*q, 0*f + 5*q = -3*f + 196. Let n be f/9 - (-1)/(-3). Solve -2*i + 2 = n for i.
-2
Let p be (-5 - -7) + 2 + -1. Suppose