y be u(p). Solve 4*r + 7 = y*m, 3*r = -m - 4 + 15 for m.
5
Suppose 0*j - j = 0. Solve -4*u - 13 = t - 2, 4*t + 12 = j for u.
-2
Suppose 0*a - 6 = f - 3*a, -5*a + 26 = f. Suppose 2*q = f*q - 12. Suppose v - q = 5. Solve 0 = -5*b - 2*n - 0*n + v, 5 = 3*b + n for b.
2
Let v be -9*(-3)/18*4. Let p(u) = -u**3 + 7*u**2 - 5*u - 4. Let i be p(v). Solve 0 = -3*s - 2*f + 18, -2*s - f + 3*f + i = 0 for s.
4
Suppose 2*g - 4*d = 8, 4*d - 2 = -2*g + 2*d. Let j be ((-8)/7)/(g/(-7)). Solve l + 2*y = -2*y + 12, -32 = 4*l - j*y for l.
-4
Suppose -s + 1 - 16 = -4*h, 0 = -4*h - 8. Let j = -19 - s. Solve g + 3*g + 5*l - 2 = 0, j*g - l = -10 for g.
-2
Suppose -5*b + 25 = -10*b. Let a = b - -7. Let c be 5/((-10)/(-8)) - 0. Solve c*o - a*z - 2 = 0, 3*o + o - 4*z = -8 for o.
3
Let v be (-12)/(-30) - (-33)/5. Solve 2*f - v = -u, 28 = 3*f - 5*u - 2 for f.
5
Let k(w) = w - 1. Let h be k(4). Let i(q) = q - q + 2*q. Let a be i(h). Solve -a*c - p - 21 = -2*c, -2*c = 4*p + 14 for c.
-5
Let k be (3 - 2 - -1) + 2. Suppose k*y - 7 = 5. Let z be (2/y)/((-4)/(-18)). Solve 5*m = -5*f, -5 = -0*m - 4*m - z*f for m.
5
Let d = -9 + 16. Solve 2*p + 2*x - d = 3, -5*x = 3*p - 17 for p.
4
Suppose 4*v = 5*j + 40, -6 - 6 = -4*v - 2*j. Let s = -22 + 44. Solve 4*k - s = -w, v*w + 2 = k + 7 for w.
2
Let s be ((-6 - -5) + 8)*6/7. Solve 2*u + s = 5*z, 3*u - z = 1 + 3 for u.
2
Suppose 0 = 2*b - 2*k - 70, 0 = 3*b + 2*k - 137 + 47. Solve 2*n = -5*a + 7, 2*n - 7*n - b = -4*a for a.
3
Suppose 4 - 12 = -2*j. Suppose j*b - 15 = 3*b. Solve 3*d + b = -3*i, 2*d - 2 = -i - 7 for i.
-5
Suppose 0 = -3*h + 5*l + 15, h - 3*l + 5*l = -6. Suppose 0 = -4*k - h*k + 12. Solve -5*g = 15, 3*g = k*y - 0*y - 15 for y.
2
Let c be (-1)/(8/9 + -1). Suppose 4*u - u - c = 0. Solve z + u = 2*m, 2*m - 2 = -z - 9 for z.
-5
Let f(h) = -h. Let r be f(-2). Let x = -150 - -162. Solve 0 = -2*t - r*b - 0*b + x, 4*t + 2*b = 18 for t.
3
Let r = 5 - 0. Let f = r + -2. Let j be (0*2/4)/1. Solve -12 = f*o + 3*z, j = -4*o - o + 2*z + 1 for o.
-1
Let u(l) = 10*l**2 - 10*l - 11. Let n be u(-1). Solve 5*w - 3*p = -8 - n, 4*w = -5*p - 21 for w.
-4
Suppose -5*q - 4*z = -10, 0 = -q - 2*z + 2. Suppose -d - 4*d + 30 = t, q*t = -3*d + 11. Solve -3*c + 3 = a, -3*a = 4*c + 3 - d for c.
1
Suppose 5*r - 4*u = -11, r - 7 = 5*u - 26. Let x be -1 - (-3 + r) - -1. Solve -x*i - 4*a + 14 = 0, 1 + 2 = 3*a for i.
5
Let k be (-2)/(-3)*(-456)/16. Let j = k + 21. Solve -l = v + j, 2*l - l = -4*v - 17 for l.
3
Let q(h) = -2*h**2 - h + 5. Let v be q(0). Let n be (-16)/7 + (-4)/(-14). Let g = v + n. Solve -x + 5 = 5*m, -5*m + g + 2 = 2*x for x.
0
Let n be 3*-2*2*(-1)/3. Solve 3 + 3 = q - 4*a, 0 = 2*q - n*a - 8 for q.
2
Let i be (-24)/(-56) + 202/(-14). Let g = 14 + i. Solve 5*c - z + 16 - 4 = g, -4*c + 3*z = 14 for c.
-2
Suppose 0 = -2*b - 2*z - 0*z + 6, -9 = -3*z. Let i = -12 - -18. Solve b = 5*t - 2*p - i, -17 + 5 = t + 4*p for t.
0
Let n be (36/(-30))/(6/20). Suppose -2*b = 2*h - 7*h + 19, 3*h = 9. Let v = b - n. Solve -7*t + v*t - d = -11, -d = -1 for t.
2
Let k = 84 - 74. Solve 5*h - v + k = -4*v, -5 = 4*h + 3*v for h.
-5
Let k be 2*(-101)/(-8) + (-4)/16. Solve 4*d - k = -5*n, -d = -n + 5*n - 20 for n.
5
Let g(w) be the second derivative of w + 0 + 0*w**3 - 1/2*w**2 + 1/12*w**4. Let u be g(1). Solve -10 = -4*b - u*b + 5*p, -p = -5*b + 2 for b.
0
Let x be 0 - 2*-2 - -1. Let m(p) = -1 - p + 8 - 3. Let l be m(0). Solve -4*k - 16 = -l*z, -3*z - 4*k + x = -0*k for z.
3
Suppose 16*c - 11*c = 0. Solve 5*a + 5*x - 4 = 6, -2*a + 3*x - 6 = c for a.
0
Let x be 1/3 - 136/(-6). Let p be (-44)/(-10) - (-2)/(-5). Suppose -p*b + 16 = 2*o, -b + 0 + 4 = 0. Solve -3*n - 2*z + 21 = o, -5*n - z = -n - x for n.
5
Let x(q) be the second derivative of -q**5/20 - 7*q**4/12 - 3*q**3/2 - 3*q**2 - q. Let m be x(-6). Solve -5*z = -5*c - 5, -c - 3*z = c + m for c.
-3
Let y be 105/30 + 1*(-1)/(-2). Solve y*m + 5*i = 11, -13 = -2*m - 0*m - 5*i for m.
-1
Let h(a) = a + 9. Let i be h(-8). Solve 2*z + 2*z - 13 = -f, z = 2*f + i for z.
3
Let k be (0/2)/(3 - 1). Suppose -s - 2*s + d = -13, s + 5*d + 17 = k. Solve -z + 8 = -6*z + 4*y, s*z = 5*y + 3 for z.
-4
Suppose 2 = y - 0. Suppose -5 = -3*m - 5*q, m - 6*m + 2 = y*q. Solve -2*r = -o + 2*o, m = -r - 1 for o.
2
Suppose 3*k - 4 = c, 2*c + 3*k = -k + 22. Let h = 4 + -1. Solve u = c*p - 9, -u + h*p - 11 = u for u.
-4
Let z(k) = 9*k - 1. Let o be z(1). Let n(b) = b - 3. Let f be n(o). Solve u = -5*a - 9 - 11, -f*a = -u + 10 for a.
-3
Let k = -18 + 25. Suppose 6*q - 2*q + k = 5*j, -3*j + 7 = -q. Solve j*n + 11 + 7 = 3*x, 2*x = 4 for n.
-4
Suppose -3*o + 0 - 10 = -2*j, -4 = -j + o. Solve 0 = 5*b + 2*m - 9, 3*b - j*m = -3*m + 6 for b.
3
Suppose 0 = u - 5*r - 23, 2*u - 3*u - 3*r = 9. Solve 5*w - u*n - 7 = 0, 2*w - n = w + 1 for w.
2
Let x be -1 - (6/3 + -11). Let p = 11 - x. Solve 4*m - 4*o = m, -11 = -5*m + p*o for m.
4
Let t(o) = o + 5. Let i be t(0). Suppose 2 = i*c - 3. Suppose -4*r - c = 5*h + 1, 0 = -2*r + 3*h + 10. Solve -2*w - y = -6*y + 25, r*y - 21 = 3*w for w.
-5
Let v(y) = -y**2 + 3*y. Let w be v(2). Solve 2*k + 6 = w*r, k = -7*r + 3*r - 13 for r.
-2
Let q(p) = -3*p + 4. Let r be q(10). Let s = r - -37. Solve -y + 2 = 2*f - 2, s = -y + 3*f for y.
-2
Let q(n) = -n + 0*n**2 - n**2 - 6 - 7*n. Let i be q(-5). Solve 3*x = -3, 2*t - 5*x = 3*t + i for t.
-4
Let i be 3 - (-2 + 1 + 1). Suppose -3*u = u - 8. Suppose -12 = -2*h + 4*o, -25 = -5*h + 4*o - 1. Solve 0 = 4*p + u*q + 4, h*q - q = -i*p - 9 for p.
1
Let b(k) = k**2 - k + 5. Let i be b(-4). Solve 5*o = r + 3*r + 45, 2*o = 3*r + i for r.
-5
Let m be (-1610)/(-2) + -2*1. Let k = -455 + m. Let n be k/30 - 2/(-5). Solve -u + n = 5*c, 3*c - 3*u - 21 = u for c.
3
Let d(k) = -k**2 + 6*k + 10. Suppose 0 = -3*x + 5*o + 6, 2*x - 5 = o + 6. Let h be d(x). Solve 8 = j + h*u, u = -j - 0*u + 4 for j.
2
Let v be 176/16 - 4/2. Let n = v - -7. Solve -2*y + 0*y = 2*k + n, -4*k - 3*y = 27 for k.
-3
Let l(v) = -v + 2. Let x be l(0). Suppose x*s - 4 = 8. Solve 3*b = -3*j + s, -2*j - 1 = 3*b - 8 for j.
-1
Suppose 0 = 2*w + r - 5, 5*w - 1 = -r + 4. Let s(q) = 3*q**2 + q - 1. Let j be s(-2). Solve 3*i = f - 7, w*f + f + i = -j for f.
-5
Let f(h) = -9*h + 7. Let m be f(-5). Let w = m - 17. Solve 4*d = 3*q + 25, 0 = 8*q - 3*q - 5*d + w for q.
-3
Let s be (2 - (-4 - -5))/(1/4). Solve 0*u = 4*u - 3*j, 5*u - s*j = 0 for u.
0
Suppose 0 = -6*h + 75 - 33. Suppose 3*u = -0*u + 42. Solve -3*j + u = -5*k, 0 = -3*j + h*k - 3*k + 10 for j.
-2
Let r = -21 - -33. Solve -3*n - 12 = 3*o, -r = 4*n - o + 3*o for n.
-2
Suppose 3*c - 8*c = -10. Solve 2*s + 6 + 0 = c*n, 4*n + s + 13 = 0 for n.
-2
Let m(a) = -a**2 - 15*a - 45. Let l be m(-6). Solve -5*t + 1 = -2*h + 7, 3*h - l = 4*t for h.
3
Suppose 7*o - 9 = 4*o. Solve 5*i + 3 = -o*g - 12, -2*i + 5*g - 6 = 0 for i.
-3
Let s(t) = -9*t - 15. Let b(p) = -p. Let i(l) = -12*b(l) + s(l). Let r be i(10). Solve 0 = n + 4*m - 16, -n - 5*m + 6 = -r for n.
-4
Let m be 2/7 - (-19)/7. Solve 2*t = -h - 4, 3*h + 2 = -m*t - 7 for h.
-2
Let n(g) = g**3 + g + 5. Let c be n(0). Solve -5*m + m + o = 1, -4*m - c*o = 19 for m.
-1
Let c = 4 - 0. Let w be (-6)/4*(c - 6). Solve -3*r = 3*n + w, 3*r = r - n - 4 for r.
-3
Let g = 5 + 0. Let d be g/1 + (-3 - -2). Solve 4*l + d = -t + 2*t, 2*t = 4*l for l.
-2
Let w(c) = -c**3 - 9*c**2 + 8*c - 18. Let q be w(-10). Let m be (-16)/(-6) + 4/(-6). Solve -q*r - 3*l + 13 + 10 = 0, 2 = -2*r + m*l for r.
4
Let a(w) = -2*w + 1. Let q be a(2). Let s be -1 - (1 + q) - -1. Suppose -s*h + 3 = -k + 6, k - 3*h - 3 = 0. Solve -2*x = -x - 2*c + 4, 8 = k*x - c for x.
4
Let t be 2/7 - 36/(-21). Suppose 4*z + 11 = 3*j, -5*j = -t*z + z - 24. Solve 5*f = -n - 19, 0 = -0*f + 2*f + j*n + 26 for f.
-3
Let r(m) = 8*m + 1. Suppose 6*x = x + 5. Let i be r(x). Suppose -4*d = -i*d. Solve 0 = -4*k + 8, -4*g - 2*k - 12 + d = 0 for g.
-4
Suppose -4*s + 8 = 2*n, s + 5 + 0 = 3*n. Let m = -13 + 15. Suppose 0 = -3*i + m + 7. Solve i*f + 3*r - 10 = -n*f, 2*f = -2*r + 8 for f.
-1
Let y(g) = -g**3 + 4*g**2 - 2*g + 6. Let d be y(4). Let j = 0 - d. Let s be 21/9 + j/(-6). Solve -n - s*m + 13 - 1 = 0, 4*m - 14 = 3*n for n.
2
Let k = 74 - 70. Solve v - 4*p - 2 = 0, p - k*p = -4*v + 8 for v.
2
Suppose b = 3*v - 10, 0 = 4*v - 0*v + b - 18. Suppose -5*p + 49 = -4*q, -5*q - v*p - p = 95. Let w = q - -23. Solve 2*