 = -w + 13. Let z = 11 + -20. Let k be 2*-4*z/6. Let f be j(k). Solve 2*s = 3 - f for s.
1
Let v = -95 - -96. Let i be 4*(4/(-2))/(-4). Solve v = -i*t + t for t.
-1
Suppose 3*t - 7 - 8 = 0. Let a(f) = f - 1. Let w be a(t). Suppose w*s = -2*q + 20, 0 = 3*q + 5*s - 16 - 9. Solve -x = -q - 3 for x.
3
Let c be (11 + 1 + 2)*1. Solve -4*f + c = 6 for f.
2
Suppose 2*z + 3*z = 0. Suppose p + 3*m + 8 = 2*p, -2*p + 16 = 5*m. Solve -p = -z*u - 2*u for u.
4
Suppose 0 = -3*m + m. Solve m = d - 4*d + 6 for d.
2
Suppose -8 = -4*t + 3*o + 20, -3*t - o + 8 = 0. Suppose t*c - 24 = -j, 5*c - 8 - 1 = 4*j. Solve 0 = -j*f + 3 - 15 for f.
-3
Let m(d) = -3*d - 5. Let g be m(-8). Suppose y + 5*t - g = 0, -3*y + 0 = -3*t - 3. Solve -y*p = -5*p for p.
0
Let r(t) = -4*t**2 - t - 1. Let v be r(3). Let z be 16/(-72) - v/18. Let h(a) = a + 5. Let i be h(-3). Solve -i*w = z*w + 16 for w.
-4
Let o be ((-6)/(-4))/((-6)/(-8)). Let s(g) = -g**2 - 11*g - 8. Let y be s(-10). Solve o*z = -y*z for z.
0
Let a(x) = x**2 + 3*x - 7. Suppose -2*n = -t - 3, -3*n + 0 = 3. Let b be a(t). Solve q + b = 1 for q.
-2
Let a = -15 - -25. Suppose 0 = -a*z + 8*z + 6. Solve -3 = -2*g + z for g.
3
Let w(m) = -2*m - 6. Let r be w(-13). Solve 2*v + 3*v = -r for v.
-4
Let n(z) = -z**3 + 3*z**2 + 6*z - 6. Let j be n(4). Let s = 2 - 2. Solve -k - 3 + j = s for k.
-1
Suppose -3*r + 3*i = 0, 2*r - 3*r - 2*i + 12 = 0. Let d(y) = -r*y + 5 + 2*y - 6 + y**3. Let q be d(2). Solve -q*l + 20 = l for l.
5
Suppose -10*b + 8*b = -40. Let k be (-8)/b*(0 - 10). Solve k*m + 7 = 3 for m.
-1
Let f(o) = -o**3 + 3*o**2 + 3*o + 3. Let k(l) = -2*l - 9. Let q be k(-6). Let t be f(q). Solve 0 + t = 4*r for r.
3
Let k(z) = z**3 - 6*z**2 - 5*z - 1. Let x be k(7). Solve -4*f - 7 = x for f.
-5
Suppose 4*r + 44 = 4*u, 12 = 5*u + 2*r - 29. Let v be (4/(-6))/((-2)/u). Solve -6 = -3*t - v for t.
1
Let y(q) = q**3 - 5*q**2 + q - 5. Let t be y(5). Solve o - 2 + 0 = t for o.
2
Let f(j) = j**3 - j**2 + j - 4. Let a be f(0). Let b be a/(-3)*3/(-1). Let p be 0*(2/b - 0). Solve -l = -p*l for l.
0
Suppose -2*d = 3*q + 15, -3*q + q - 26 = -4*d. Let o(a) = a + 5. Let x be o(q). Let l be 6*1/(x/(-1)). Solve l = m - 2 for m.
5
Let y = 22 + -18. Suppose -y*n + 2*u + 35 + 35 = 0, 3*u - 115 = -5*n. Solve n = -6*s + s for s.
-4
Let t(b) = 3 + 8*b + b**2 - 18*b + 6 + 0. Let y be t(9). Solve x = -y*x for x.
0
Let a be (0 + 1)*-3 - -1. Let r be (-88)/(-20) - a/(-5). Solve -r*x + 3 = -5 for x.
2
Let i be (-1 + 1)/2 - 2. Let z be (1 - (0 - -1))/i. Solve -5*l + 2 + 8 = z for l.
2
Let q be (6/(-4))/((-3)/(-4)). Suppose 8 = 2*i - 6*i. Let b be (q/(-4))/(i/(-16)). Solve b*y = -0*y + 12 for y.
3
Let u be (3 - 1)/(8/20). Solve u*r - 6 = -1 for r.
1
Suppose -3*i + 2*b + 25 = 0, 5*i - 31 = -2*b - 0*b. Solve -3*n + 5 = -i for n.
4
Let q(o) be the second derivative of -o**3/6 + 2*o**2 - 2*o. Let m be q(2). Suppose w = -3*t + m, 4*w + 3 = -5*t - 3. Solve l - t = -6 for l.
-4
Let j(x) = -x + 13 + 4*x - 2*x + 0*x. Let q be j(-9). Solve 0 = -q*y + 6*y for y.
0
Let d(u) = 4*u**2 + 5*u + 5. Let p be d(-1). Solve 0 = v - p for v.
4
Let c be (-2)/5 - (-47)/5. Suppose 2*j = i - 13, -2*i + j = i - 14. Solve -6*w = -i*w + c for w.
-3
Suppose -3*o - 5 = -11. Suppose 0*j + 2*j + 3 = 5*s, -s - 9 = -o*j. Solve j = -0*a + 2*a for a.
3
Suppose 0 = -5*v + 3*r - 4*r + 22, 30 = 3*v - 5*r. Let o be -6*(20/(-8))/v. Solve -o*w + 9 + 0 = 0 for w.
3
Suppose 3*s = -2*i + 3*i - 8, 5*i - 22 = -3*s. Suppose 4 = 3*m - 2*l - 5, 0 = -i*m + 5*l + 15. Solve -5*j + m = 8 for j.
-1
Let u be 0 + 0 - (0 - -2). Let s be (u*1)/((-2)/(-3)). Let d be (s/(-6))/(1/12). Solve -i - d = i for i.
-3
Let r be ((-3)/5 + 1)/((-3)/(-30)). Solve 0*n = n - r for n.
4
Let n(u) = u**3 - 3*u + 3. Let g be n(2). Suppose -10 = -g*h - 0*h. Solve 0 = l + h*l - 6 for l.
2
Let g be ((-4)/(-10))/(2/5). Suppose g = 2*o - 5. Solve 4*s + o = -13 for s.
-4
Let r(f) = 2*f - 2 + 3 - 6. Let a be r(5). Solve x - a*x = 0 for x.
0
Let h = 2 + 3. Let g = 117 - 101. Solve h*y + 4 = -g for y.
-4
Let q(x) be the second derivative of x**4/24 + 3*x**2/2 + 3*x. Let s(w) be the first derivative of q(w). Let v be s(5). Solve 0*t - v = 5*t for t.
-1
Let s(m) = -m + 15. Let t be s(9). Let g be 0/(2 - (-5)/(-5)). Solve 2*z - t = -g for z.
3
Suppose -6*j + 3*j = -6. Let u be 9 - (-4)/(-2*2). Solve u = j*v - 2 for v.
5
Let s(b) = 8*b. Let z be s(1). Let d = z - 5. Let w = -3 + d. Solve 0 = -w*v + 2*v for v.
0
Let m(r) be the second derivative of -1/3*r**3 + 3*r + 0 + 1/20*r**5 + 1/2*r**4 - 3*r**2. Let y be m(-6). Solve b = 1 - y for b.
-5
Let u = -4 + 13. Let i(o) = o**3 + 6*o**2 + 3*o - 6. Let g(f) = -2*f + 11. Let z be g(8). Let q be i(z). Solve -u - 11 = q*k for k.
-5
Let q = -38 - -47. Solve 8*z = q*z - 5 for z.
5
Let i be (-25)/(-9) - (-4)/18. Suppose i*w - 40 = -w. Solve -3*q + w - 4 = 0 for q.
2
Suppose 7*x - 40 = 3*x. Let s(y) be the second derivative of y**4/12 - 5*y**3/3 + y**2 + 2*y. Let g be s(x). Solve g*t = t for t.
0
Let j(l) = l + 6. Let q be j(-6). Let t(g) = g**2 + 16*g + 1. Let u be t(-18). Let w = u + -34. Solve -o = -q*o - w for o.
3
Let j(h) = -h**3 + 2*h**2 - 2*h + 4. Let s be j(2). Solve n - 5*n - 16 = s for n.
-4
Let z = 104 - 104. Solve 4*b = -z + 20 for b.
5
Let a be (-6 - (-7 - -1))/(2 + -4). Solve a = 4*q + 6 + 2 for q.
-2
Let m = -27 - -27. Solve m - 2 = 2*c for c.
-1
Let d be (-4 + -1)*(-3 + 2). Suppose 0*c = -5*c + 125. Solve -d*h + c = -0*h for h.
5
Suppose 3*c = 4*r - 10, r = -5*c - 0 + 14. Let t = -10 - -17. Let m = t + -5. Solve m = -c*z + 8 for z.
3
Suppose -1 = -q + 20. Suppose 0 = 4*b - q - 27. Solve b - 4 = 4*c for c.
2
Let l(h) = -h**2 - 8*h - 5. Let c be l(-7). Solve -c*r + 3 = r for r.
1
Suppose 5*n - 6 = 2*v - 4*v, -5*v + 15 = 3*n. Solve x = v*x - 6 for x.
3
Let p(s) = 3*s. Let c be p(0). Solve c = -2*y + 3 + 5 for y.
4
Let a(q) = -q**3 - q**2 + q + 1. Let h be a(-1). Solve h*r - r + 2 = 0 for r.
2
Let p(b) = b - 6. Let c be p(8). Suppose 1 = t - c. Suppose -2*h + 12 = 3*v, -3*h = -2*v - 1 - 4. Solve t = v*d + 5 for d.
-1
Suppose s - 5*s - 2 = 2*q, q = -5. Solve w - 2*w = -s for w.
2
Let l be (-51)/(-12) - (-3)/4. Suppose 3*m - l*m + 16 = 0. Solve -5*i - 23 = -m for i.
-3
Suppose -9*t + 13 = -131. Solve 4*k - t = -0*k for k.
4
Let p = -67 + 81. Solve p - 6 = 4*z for z.
2
Suppose 0 = -f + 4*r + 3 - 15, -2*r = f - 12. Solve 2*l = f*l + 2 for l.
-1
Suppose 41 = -4*u - 9*t + 4*t, -4*t = 2*u + 28. Let w(g) = -g**2 - 6*g - 1. Let b be w(u). Solve b + 1 = 4*l for l.
2
Suppose 0 = -r + 3*r + 78. Suppose 255 = 5*w + 5*c, -154 + 28 = -2*w + 4*c. Let g = w + r. Solve 2*n + g = -2*n for n.
-4
Suppose -5*t - 8 = -13*t. Solve -4*g = 7 + t for g.
-2
Let b(q) = -q**3 + 3*q**2 + 4*q + 4. Let m be b(4). Let i be (-1)/(((-7)/m)/7). Solve -4 + 20 = -i*s for s.
-4
Suppose 5*y + 2*g - 10 = 2, 11 = 5*y + g. Solve -1 = -y*u + 7 for u.
4
Suppose 3*c = 2 + 10. Let s be (3/(-2))/((-3)/c). Suppose 3*y - s*l - 2*l + 14 = 0, -3*l = -5*y - 5. Solve 0 = y*b + 3*b + 10 for b.
-2
Suppose 5*z + 7 = r - 4, -r + 5 = -2*z. Let t be (-3)/3 - (r - 2). Solve t = 3*g - 4*g for g.
0
Let f = -51 - -54. Solve -9 = f*o - 6*o for o.
3
Let f = -112 - -114. Solve 0 = 2*c - 12 + f for c.
5
Let t = -78 - -79. Solve -4*m + 21 = t for m.
5
Let z(i) = -i - 4. Let l be z(-5). Suppose 4*r + l = 5*r. Solve a - 3 + r = 0 for a.
2
Suppose 4*j - 3*m - 4 - 18 = 0, 5*j - 37 = -m. Solve 0 = 3*f - j*f for f.
0
Let g(u) = -u**2 + 6*u - 5. Let w be -3*(-6)/9 + 2. Let s be g(w). Solve -7*i = -s*i - 12 for i.
3
Let q = 7 + -2. Solve 0 = q*o - o - 12 for o.
3
Suppose -4 = i + 3*h, -3*h = 5*i - h - 19. Let s(w) = 4*w + 1. Let k be s(2). Let z = k - i. Solve o - z = -o for o.
2
Suppose -p + 2*g = -14, -3*p - g - 1 = -2*p. Solve p*l = -l + 20 for l.
4
Let u = 13 + -8. Let j be (2/u)/(3/15). Solve -j = -5*w + 8 for w.
2
Let s be -1 + (-4)/(-5) - (-9)/45. Let p(k) = -k**3 + 3*k**2 + 3*k - 2. Let l be p(2). Solve -2*y + s = l for y.
-4
Suppose 2*f - 18 + 12 = 0. Solve 4 = -t - f*t for t.
-1
Let n = 41 + -41. Solve n = -6*g + 11*g - 15 for g.
3
Suppose 2*l + 3 = 5*g, 4*g - 7 + 0 = -3*l. Solve -4*r - 5 = -g for r.
-1
Let u = -7 + 13. Let b be (4 + -3)*u*2. Solve 5*l + 2 = b for l.
2
Let t(s) = s**3 - 10*s**2 + 9*s + 5. Let q be t(9). Suppose -2*u + 15 = q*n - 4*u, -n + 3 = 4*u. S