 Suppose f = p*f + 2*u - 28, 3*u - 74 = -5*f. Solve -4*d = -0 + f for d.
-4
Let c(s) = s**2 - 7*s + 6. Let j be c(7). Solve 2*p = j*p + 8 for p.
-2
Suppose 0 = -3*c - 0*c + 9. Let i(s) = -3*s - 2. Let n be i(-2). Solve -c*z + n = -z for z.
2
Let s(k) = -k**3 + 10*k**2 - 8*k - 6. Let h be s(9). Let u be h/12 - 21/4. Let b(q) = -q**2 - 6*q + 2. Let d be b(u). Solve -4*a + 5 = -d for a.
3
Let k(p) = -p - 3. Let w(a) = 1. Let o(i) = 2*k(i) + 6*w(i). Let x be o(-5). Suppose -3*b + 6 = 2*u, 0 = b - 2*u - 0 - x. Solve 0*l + 2*l + b = 0 for l.
-2
Let d = 24 - 22. Solve 0 = d*m + 2*m for m.
0
Suppose -3*r = 2*r - 15. Suppose -o - 22 = -6*o + r*s, 0 = -5*s + 5. Solve -9 = -o*a + 16 for a.
5
Let c = -5 + 8. Solve -c = -3*n + 12 for n.
5
Let h = 48 + -46. Solve 0 = -10*t + 9*t + h for t.
2
Suppose -5*t + 16*t = 55. Let b be (-1)/2*1*-6. Solve 0 = 2*s + t + b for s.
-4
Let i(u) = u**2 - u + 3. Let m be i(0). Suppose 0 = -r - 1 + m. Solve -r*b - 3*b = -5 for b.
1
Let k(v) = -v**3 - 4*v**2 - 2*v - 6. Let x be k(-4). Suppose 5*w + 5*o = 4*w, -5*w = -x*o - 27. Solve w*d + 28 - 3 = 0 for d.
-5
Suppose 3*n = -6, 0 = -2*y - n + 8 + 20. Let d(g) be the second derivative of g**3/3 - g**2/2 - 2*g. Let i be d(1). Solve 0 = 4*a + i + y for a.
-4
Let x = -1 + 2. Let t(c) = -2*c + 2. Let u be t(x). Solve -2*k - 5 - 5 = u for k.
-5
Suppose 4*y = -224 + 44. Let k be 4/(-18) + (-820)/y. Solve 4*a = -6 + k for a.
3
Suppose -3*g = -6*g. Let j = 5 - g. Let o = j - 5. Solve w + o = 2 for w.
2
Let b = 223 + -219. Solve 4*i - 12 = b for i.
4
Let n be (0/1)/(-1 - -3). Suppose 3*x - 2*x + 3 = n. Let j(m) = -4*m. Let z be j(x). Solve -z = -5*g - 32 for g.
-4
Let w be 1*(-1 - (-3)/1). Solve 0 = w*f + 2 - 0 for f.
-1
Let k(l) be the second derivative of -l**5/20 + 2*l**4/3 + 3*l**2/2 + 10*l. Let m be k(8). Solve 0 = -3*f - 0*f + m for f.
1
Suppose 0 = 7*z - 3*z. Let s(y) = -y**3 + 4*y**2 + 2*y - 5. Let w be s(4). Solve z = w*h - 7 + 1 for h.
2
Let m be 3 + (-4 - -4) + 4. Solve 3 = -4*c + m for c.
1
Suppose 0*j - 4*j = 3*t - 11, 3*j - 4*t = 27. Solve -j*c + 14 - 39 = 0 for c.
-5
Let w = -45 - -48. Let x = 1 - 1. Suppose 9 = w*z - x. Solve -z*y + 4*y - 5 = 0 for y.
5
Suppose 2*y = -0*y + 8. Let l = y + -1. Solve -l*t - 1 = -10 for t.
3
Let k be (3 - (-9)/(-2))*(0 - 2). Solve -2*m - k = 3 for m.
-3
Let q be ((-2)/(-3))/((-8)/(-24)). Solve 0 = 2*n - n - q for n.
2
Let d = 23 + -17. Solve 0 = -y - y + d for y.
3
Suppose 25 = -5*f, -f = t + f + 9. Let a(i) = 6*i**3. Let b be a(t). Solve 2*m = -m - b for m.
-2
Let n be ((-1)/(-1))/((-2)/6). Let z be n/2*64/(-24). Let a = 60 - 40. Solve z*b - a + 4 = 0 for b.
4
Let k = 6 - 4. Suppose -21 = -3*m + 2*z, 5*z = k*m - 24 - 1. Suppose 4*s - m = -1. Solve -r = s + 1 for r.
-2
Let v = 15 - 11. Suppose 0 = v*d - 18 - 18. Solve 2*t + 1 = d for t.
4
Suppose -2*a - 6 - 10 = 0. Let l be (9/(-6) + 1)*a. Solve l*q + 2 = 3*q for q.
-2
Let v be 1*(-2)/(-4)*-12. Let y = v + 8. Solve i = y*i - 1 for i.
1
Suppose -158 = -5*k - 33. Suppose -5*b + k = 3*z, -4*b + 3*b = -2*z + 8. Let f be (-2)/(-5) + (-18)/(-5). Solve g + f = b for g.
-2
Suppose 0 = -4*m + 8*m + 36. Suppose -k - 8 = 3*s + 11, 4*s + 16 = k. Let f = s - m. Solve f = q - 1 for q.
5
Let s be -5 + 11 - (0 - -4) - 2. Solve m - 2*m = s for m.
0
Let a(y) be the second derivative of -y**5/20 + y**4/6 - y**3/6 + 2*y. Let l be a(1). Solve l = -i + 2*i for i.
0
Let v(o) = 55*o**2 + o - 1. Let z be v(1). Let m be (-5)/2*(-88)/z. Solve 3*d + d = -m for d.
-1
Suppose -3 = -2*s + 3. Suppose -4*g - r - s*r + 96 = 0, 2*r = 10. Suppose v + a - g = 5*a, 22 = v - 5*a. Solve 0 = -3*i + v*i + 12 for i.
-3
Let j(w) = -w**3 - 3*w**2 - 3*w - 2. Let z be j(-2). Suppose 2*s - 4 - 6 = z, 0 = -5*u + s + 10. Let t be (5/(-2))/(u/(-6)). Solve -4*m - t - 3 = 0 for m.
-2
Suppose 0 = -4*q - 6 + 22. Solve f = -q*f for f.
0
Let a = -4 - -8. Solve -24 + 8 = -a*p for p.
4
Let d(v) = v**2 + 3*v + 4. Let t be d(-3). Solve 4 + 0 = t*w for w.
1
Let x be -1 + -2 + 1 + 4. Suppose r = x + 4. Let m = r + -1. Solve -2*t + 3 = -m*t for t.
-1
Suppose 5*o = 2*o + 15. Let l(v) = 3*v**3 + v**3 - 3*v**3 - 6*v + o*v**2. Let g be l(-6). Solve g*k = -5*k - 5 for k.
-1
Suppose 4*o - 20 = -o. Solve 0 = 2*r - 4 - o for r.
4
Let i(q) = q + 6. Let m be i(-5). Let j(v) = -2*v - 12. Let o be j(-5). Let g be (o - -4) + 1/m. Solve k + g*k = 0 for k.
0
Let r be -1*-2*10/4. Let u(j) = -j**2 - 5*j. Let v be u(-5). Solve v = k - 0*k - r for k.
5
Let a be (12/5)/((-4)/(-10)). Let v(n) = -5*n**2 + n - 7*n + 6 + a*n**2. Let u be v(5). Solve -3*r - 10 + u = 0 for r.
-3
Let n = 77 - 77. Solve -6*c + 8*c + 6 = n for c.
-3
Let w(y) = 4*y**2 - 1. Let t be w(-1). Solve 0 = t*f + 5 + 1 for f.
-2
Let x = 54 + -27. Suppose -x = -4*j - 7. Solve 2*h = h - j for h.
-5
Suppose 4*h = -2*s + 24, 0 = -3*s + 5*h - 6 + 20. Let w(m) = -m**2 + 5*m - 1. Let y be w(2). Let j be y/2 + 4/s. Solve -a = j*a for a.
0
Suppose -4*s = -9*s + 120. Suppose 5*f + 3*t - 69 = 0, -3*t - s = -2*f - 6*t. Solve 0 = -j + 4*j - f for j.
5
Suppose -6 = -6*q + 4*q. Solve -q*v - 2*v = -15 for v.
3
Suppose 0*m + m = 0. Let p(o) = 3*o - 1. Let x(z) = -7*z + 1. Let f(s) = 9*p(s) + 4*x(s). Let g be f(-5). Solve m*t + t + 2 = g for t.
-2
Suppose 12 = 4*r + b, -5*r - 5*b = -r + 4. Solve 3*n = r*n for n.
0
Let n(t) = -t**3 + 2*t**2 - t. Let m be n(1). Let p(i) = 5*i**3 - i. Let f be p(1). Suppose -5*c - 3*g = -18, m = 4*c - f*g - g - 7. Solve 0 = q - c*q for q.
0
Let h be 3 - -5 - (2 - 1). Suppose 3*y - h*y = 0. Let q = 0 - -2. Solve -t - t + q = y for t.
1
Suppose 4*z - 15 = z. Let s be (-8 + 2)*z/(-10). Solve -s*j = 21 - 6 for j.
-5
Let m(v) = v - 5. Let t(a) = a - 6. Let s(y) = 5*m(y) - 6*t(y). Suppose -q = 2*u - 19, -3*u + 2*q + 16 = -u. Let z be s(u). Solve z*i + 3 + 3 = 0 for i.
-3
Let u be 2*(-1)/(1/(-11)). Suppose -3*w = 2*x + 2*x + 72, -2*x - 4*w = 46. Let p = u + x. Solve p = -3*d + 1 for d.
-2
Let b = 3 - -2. Solve -4*k = -b*k - 2 for k.
-2
Suppose 3*k - 36 = 9. Solve -2*g - k = g for g.
-5
Suppose 0 = 6*j - 55 - 41. Solve -2*b + 6*b - j = 0 for b.
4
Let l be 3*(0 + (-2)/(-3)). Solve l*d = -0*d - 8 for d.
-4
Let b(u) = u**2 + 6*u + 3. Let j(s) = s**3 + 2*s**2 + 2*s - 2. Let v be j(-2). Let d be b(v). Let x = 9 - d. Solve 3*f + x = 6*f for f.
2
Suppose 0 = -5*q + 10, -b + 1 = q - 1. Solve -3*o - o = b for o.
0
Let q = 28 + -20. Solve 3 = -g + q for g.
5
Let v be 2/(-7) - 23/(-7). Solve v*b - 2 = -8 for b.
-2
Let b(q) = -q + 1. Let x be b(-6). Let j(k) = -k**2 + 5*k - 3. Let y be j(4). Let i be x + (2 - 2) - y. Solve 0 = -i*z + z - 10 for z.
-2
Let v = 45 - 42. Solve 0 = h + v for h.
-3
Let i(k) = -k - 4. Let f be i(-2). Let y = 3 + f. Solve y = -v - 2 for v.
-3
Suppose -5*v + 3*n - 5*n + 14 = 0, 0 = -2*v + n + 11. Solve -v*w = -2*w - 8 for w.
4
Let q be -7*-12*(-10)/(-105). Suppose 2*j = 11 + 3. Let r = q - j. Solve -p = -6 + r for p.
5
Suppose 5*a = c - 101, -a - 3*c = -1 + 18. Let r be -1*2*a/8. Solve 0*v = 5*v - r for v.
1
Let h(b) = -2*b - 5. Let s = 5 + -9. Let d be h(s). Solve -4*x + 4 = -d*x for x.
4
Let b(y) = -y**3 + 8*y**2 + 2*y - 6. Let t be b(8). Let f be t*((-9)/15 + 1). Solve f*a = a - 15 for a.
-5
Let i be (-27 - 1)/(0 + -2). Suppose -3*s - 5*v + 9 + i = 0, 3*s = -2*v + 11. Solve 0 = 2*w - s + 5 for w.
-2
Suppose 11 + 11 = 2*t. Let g = 7 - t. Let j = 6 + g. Solve 0 = -p - 1 - j for p.
-3
Let i(j) = j**3 - 7*j**2 + 2. Let x be i(7). Suppose 2*a - x = a. Solve -6*k + a*k = -16 for k.
4
Let c(o) = 4 + o**2 - 1 - 5*o + 0*o**2. Let q be c(5). Solve -2*x = -q*x - 5 for x.
-5
Let a = -81 - -84. Let v(c) = -3*c - 4. Let i be v(-4). Solve -l + i = a for l.
5
Let n(p) = p + 11. Let k be n(-8). Solve k*g + 7 = 19 for g.
4
Suppose 5*m + 9 = 24. Suppose g - 4*f = -0*f + 7, 34 = -5*g - m*f. Let h = g + 5. Solve -4*k = -16 - h for k.
4
Suppose 0 = -5*q + 3*g + 2*g - 15, -19 = 5*q - 4*g. Let c(w) = -w**3 - 8*w**2 - 6*w + 7. Let u be c(q). Solve 3 = 3*i - u for i.
1
Let r be -5 + 5 + 0 + 6. Solve -c + r*c = -15 for c.
-3
Let h be 30/(-75) + (-44)/(-10). Solve -h*t + 6 = -2 for t.
2
Let l be (-9)/(-3)*(-4)/(-6). Solve u = l*u for u.
0
Let f = 2 - 0. Let n = -14 + 14. Solve n = 5*b - 3 - f for b.
1
Let x(r) = -r**3 + r**2 - 1. Let c be x(2). Let u = -3 - c. Suppose 0*l - 42 = -4*l + u*h, -3*l = 5*h - 51. Sol