w be a(3). Solve -4*u + w = 4 for u.
1
Suppose 0 = 5*y - 19 - 21. Suppose 3*r + 38 = j + y, 3*j = -2*r + 35. Let g = j + -7. Solve -2*k = -0*k - g for k.
4
Suppose -r = -2*r - 1. Let o be (-3 - -3)/(r + 3). Solve 3*i + 3 = -o*i for i.
-1
Suppose 2*p - 2 = -8. Let s = p + 7. Solve -4*b = -6*b - s for b.
-2
Let h(j) = 4*j**2 - 2*j - 1. Let d be h(-1). Solve d*x + 15 + 5 = 0 for x.
-4
Let w(n) = -n**3 + 3*n**2 + 6*n - 3. Let i be w(4). Solve -3*k + i = -4 for k.
3
Suppose 3 + 7 = 5*a. Suppose -10 = -a*q + 6. Let x = q + -6. Solve 7 = x*g + 1 for g.
3
Let p(n) = -n - 4*n + 6*n - 1. Suppose -i = -7*i + 24. Let d be p(i). Solve d = o + 2 for o.
1
Let f be (0 + 3 - -2)*(-21)/(-35). Solve 0 = 2*s + s + f for s.
-1
Let k(d) = d**2 - 13*d + 8. Let q be k(11). Let i = -8 - q. Suppose 2 = -t + i. Solve 5*r - t = 1 for r.
1
Let d be 4/(60/(-39))*-5. Let s = 18 - d. Solve -b = -s*b + 8 for b.
2
Suppose 0*y - 13 = -3*y + 5*a, -a = -4*y + 6. Suppose -k = -2 + y. Solve k = -2*z + 11 for z.
5
Let z be 2/5 - (-32)/(-5). Let y = 7 + z. Solve -u = y - 4 for u.
3
Let m be 2/4*(0 + 0). Suppose m = i + i - 16. Suppose 0 - i = -o. Solve -4*k - 4 = o for k.
-3
Let y be -10 + 2 + -2 + 0. Let l be 17/5 - (-4)/y. Let v be (-9)/(27/(-30))*(-2)/(-4). Solve -v - l = -4*a for a.
2
Let l = -8 + 14. Let i(x) = -x**3 + 5*x**2 + 7*x + 6. Let b be i(l). Suppose b = o + 6. Solve o = -0*a + 3*a for a.
2
Suppose -3*l + 5*w + 19 = 0, -2*l + 6 + 15 = 5*w. Solve -l = q - 3*q for q.
4
Let t = -4 + 11. Suppose -18 = -2*m + 3*a, m + a = 2*a + t. Solve 0 = 4*w + 15 - m for w.
-3
Let c = -14 - -13. Let y = 1 - c. Solve y*l - l = 4 for l.
4
Suppose y + 2*r = 4*y - 25, y = -5*r - 20. Suppose z - 35 = 5*t, t - 5*z = -4*t - 55. Let h(b) = 2*b**2 + 10*b + 7. Let c be h(t). Solve y*o + c = -1 for o.
-4
Suppose -2*f + f + 14 = -3*v, 5*f - v = 0. Let n = f - -1. Suppose 4 = 8*t - 6*t - 5*i, 0 = 2*i. Solve -t*o - o - 3 = n for o.
-1
Suppose -3*n = -2 - 7. Solve 0*c = -3*c + n for c.
1
Suppose -5*j = 3*u + 18, j - 3*j - 3*u = 0. Let w = j + 6. Suppose w = 2*t + t. Solve t*f - 6 = 3*f for f.
-2
Let t = 1 - 0. Suppose t = -4*w + 5. Solve -4*h - w = 7 for h.
-2
Let h be ((-3)/2)/((-3)/16). Let j = -3 + 14. Let b = j - 9. Solve b*m = 4*m - h for m.
4
Let o(x) = 7*x - 3. Let r be o(7). Suppose 0 = 4*n - 114 - r. Let f = n - 25. Solve f = 3*m - 0*m for m.
5
Suppose -18 = 3*x + 36. Let i = x - -24. Solve -i*s + 3*s = 0 for s.
0
Let w be ((-6)/2)/(-9)*12. Solve -2 - 2 = -w*u for u.
1
Let y(p) = p**2 - 4*p - 1. Let s be y(3). Let t = -3 - s. Solve t - 2 = o for o.
-1
Suppose i = -3, -2*j - 7 = 2*i + 1. Let b(n) = 5*n**2 + n + 1. Let q be b(j). Suppose 0*p + 125 = q*p. Solve -p = -5*h - 0*h for h.
5
Let u be (2/5)/((-1)/(-20)). Let s = 11 - u. Solve -5 = -2*g - s*g for g.
1
Let s(m) be the first derivative of m**4/4 + m**2/2 + m + 3. Let j be s(0). Solve x + 0 = -j for x.
-1
Suppose 5*t - 20 = -2*l, -7*t - 4*l = -3*t - 16. Solve 0 = -x - 0 - t for x.
-4
Let w(o) = -o**3 - 7*o**2 + 7*o - 6. Let v(s) = 3*s + 1. Let r be v(-3). Let i be w(r). Solve 0 = -i*a - 0*a - 10 for a.
-5
Let c(k) = k**2 - 4*k - 3. Let y be c(5). Let v = 4 - y. Solve s + v = -0*s for s.
-2
Let t = -14 - -15. Solve 2*c = -t - 1 for c.
-1
Let q(x) = -x**3 - 8*x**2 - 8*x - 7. Let s be q(-7). Solve 2*a = -s*a - 10 for a.
-5
Let z(t) = -16*t. Let l be z(-1). Let b(a) = -a. Let d be b(0). Suppose -3*u = -d*u - 9. Solve u*w - l = -w for w.
4
Let w be (-6)/(-10) + 2/5. Let a be -9 + 8 - (-3)/w. Solve 3*n = a*n - 5 for n.
-5
Let b(w) = 3*w**2 + 1. Let p be b(1). Let o = 5 - 0. Suppose 0 = a - o - 0. Solve -3*l + p = -a for l.
3
Let h be ((-3)/(-2))/((-3)/20). Let g = -6 - h. Let u = 35 - 18. Solve 1 = -g*i + u for i.
4
Suppose 6*y = 2*y. Let t be 19/1 - (y - -3). Solve 5*j + 1 = t for j.
3
Suppose 11 = 5*w + 1. Solve 0 = s + w - 3 for s.
1
Let q be (-4 - 21/(-6))*-16. Solve q = -5*p - 7 for p.
-3
Suppose 0 = 2*f + 1 - 11. Suppose 0 = 4*j + f - 29. Solve 0 = 2*l + l + j for l.
-2
Let b be 8/(-28) + (-16)/(-7). Solve f - 2*f - b = 0 for f.
-2
Let b(q) = -2*q + 18. Let j be b(7). Solve -j*f - 8 = 4 for f.
-3
Let r(v) be the third derivative of -v**6/120 + v**5/20 + v**4/24 - v**3/6 - v**2. Let w be r(3). Solve -3*f = -w*f for f.
0
Suppose -6*i = -2*i. Solve 3*h - 3 = -i for h.
1
Suppose 0 = 7*i - 9*i + 6. Suppose i*g + 30 = 6*g. Let x = 14 - g. Solve x*r = -0 + 20 for r.
5
Suppose 7*a - 9*a + 2 = 0. Solve -14 = -3*b + a for b.
5
Let u = -2 - -5. Let o be ((-1)/2)/(24/(-240)) - -17. Solve o + u = -5*y for y.
-5
Let k(a) = -5*a - 1. Let u be (-8 + 6)/(4/2). Let d be k(u). Solve d*j + 13 - 5 = 0 for j.
-2
Suppose 0*r = 4*r + 4. Let d be 1/(((-5)/8)/(-5)). Let n be r + 3 + -4 + d. Solve -n = -z - z for z.
3
Let v = 33 + -20. Suppose -3*l + 0*l + 5*a - v = 0, -2*l - 10 = -2*a. Let t(n) = n**3 + 5*n**2 - 7*n + 3. Let k be t(l). Solve k*z - 6*z = -12 for z.
-4
Suppose 2*y = -3*q + 3 + 1, -4*q - 10 = -5*y. Let a = -13 - -7. Let n = y - a. Solve 5*i = i + n for i.
2
Suppose 9*c = 8*c + 4. Solve 0*o = c*o for o.
0
Let g be 2/12 - 46/(-12). Suppose -6 = 5*q - 0*q + g*h, 2 = -5*q - 3*h. Suppose w - q = -0*w. Solve w*i = -i - 15 for i.
-5
Let o(a) = a + 7. Let r be o(-4). Suppose -17 = -3*g + 13. Suppose -4*l + 5*l - 32 = -4*d, 0 = -2*d + g. Solve s = -r*s - l for s.
-3
Let v = -9 + 12. Let g = 4 + v. Solve 4*d = g + 5 for d.
3
Let j be 6/(-4) + 28/8. Let q = j - -1. Solve -q*a + 2*a = 3 for a.
-3
Suppose m + 80 = 5*m. Suppose 8*h = 3*h + m. Solve j + j = h for j.
2
Let f be 3*(-1 - 1)*1. Let i(l) = -l**3 - 5*l**2 + 7*l + 8. Let z be i(f). Solve 0*n + z*n + 4 = 0 for n.
-2
Suppose 3*r = -4*k + 28, 2*r = -0*r - k + 12. Solve 0 = r*f + 33 - 13 for f.
-5
Let j = 10 + -10. Let v = 3 + j. Solve -3*l + 0 + v = 0 for l.
1
Let k be (-2)/(-5) + 188/5. Suppose 0 = 5*i + 8 - k. Solve i = 4*h + 18 for h.
-3
Suppose 0 = -3*h - n + 30, 3*h + 2*h - 4*n - 33 = 0. Let x(k) = -k**3 - 2*k**2 - 2*k - 2. Let p be x(-2). Solve -h = -d - p*d for d.
3
Let x(z) be the first derivative of z**2/2 + 3*z + 2. Let v be x(-3). Let u be ((-15)/6 - -3)*v. Solve 0 = -f - u*f - 4 for f.
-4
Suppose -j + 3*c - 5*c = -40, -56 = -j + 2*c. Suppose 0 = 4*h - 2*a + j, 3*h = h - 5*a. Let v = -7 - h. Solve 0 = -0*p - v*p + 6 for p.
2
Let u = -80 - -90. Solve 2*y + u = -0*y for y.
-5
Suppose 5 = 5*j, 2*q - 2 = 5*j + 5. Solve 0*y + q = 3*y for y.
2
Suppose 12 = 7*s - 2. Solve 3*q = 2*q - s for q.
-2
Suppose g + g = -2*m + 54, 0 = -m + 4*g + 42. Let r = m + -15. Solve r = 4*p - 7*p for p.
-5
Let t(h) = -h**3 + 3*h**2 - 2*h + 2. Let b = -12 + 21. Suppose 5*u - b = 3*g, -u - 2*u + 17 = 4*g. Let p be t(g). Solve -p*x = 3*x for x.
0
Let s = -6 + 4. Let t = s + 7. Solve t - 1 = -2*p for p.
-2
Let o(b) = -b**2 + 6*b + 7. Let c be o(7). Let u be 1*(c + -1)*-2. Solve u = -v - 1 for v.
-3
Let h be 11/4 + 3/(-4). Suppose 9 = -3*u + 21. Solve -h = 3*g + u for g.
-2
Suppose -5*n + 14 = 2*u, 2*n - n - 3*u + 4 = 0. Let x(y) = y + 9. Let v be x(-6). Suppose 0 = p - v - n. Solve -p*o + 0*o = 15 for o.
-3
Suppose -5*s - 3*a + 29 = 0, s = 4*s - 2*a - 6. Solve 0 = s*h + 4 for h.
-1
Let k(z) = -z**2 - 21*z - 37. Let n be k(-19). Solve 3*t - n - 2 = 0 for t.
1
Let g(n) = -n**2 + 11*n - 8. Let u be g(10). Solve 0 = -u*l - 0 - 8 for l.
-4
Let t(z) = -z**2 + 25*z - 22. Let g be t(24). Solve -g*x - 1 = 7 for x.
-4
Let y(a) = 4*a. Let o be y(1). Suppose 0 = i + o*i. Solve 3*v + 0 - 12 = i for v.
4
Let j(m) = m**3 + 6*m**2 + 3*m + 18. Let h be j(-6). Solve -u - 3 + 5 = h for u.
2
Suppose -6*k + 7 = -5*k. Let n = k - 5. Solve 0 = 5*z + n + 13 for z.
-3
Let c(m) = 5*m**3 - m + 2. Let s be c(1). Solve -s*v + 0*v = -12 for v.
2
Let s(t) = t + 5. Let f be s(-5). Let j = -5 - -5. Suppose f*k + k - 31 = j. Solve k - 6 = 5*z for z.
5
Let m be (-6)/8 + 93/12. Let f be (-4)/14 - (-30)/m. Suppose -f*j + 4 = -8. Solve 0 = -7*d + j*d - 20 for d.
-5
Suppose 6*i - i = -5*a + 70, -2*i = -5*a + 70. Let j = 16 - a. Solve j*z + 2 = -8 for z.
-5
Let l = -7 - -12. Let r = l - 3. Suppose 4*b - 8*b = 4*u - 24, -5*u = -2*b - r. Solve -b*o = o for o.
0
Let v(b) = b**2 - 7. Let n be v(-6). Let k = 17 - n. Let j be -12*2*3/k. Solve 4 = -j*x + 2*x for x.
-1
Let p = 123 + -119. Solve 3*x + 5 + p = 0 for x.
-3
Suppose 5*s + 85 = -65. Let t be (12/s)/((-1)/5). Sol