i = -3*h + 15 for q.
0
Let k = 0 - 10. Let r = 15 + k. Solve -j = -1, 17 - 2 = -5*m - r*j for m.
-4
Let s = 26 + -19. Solve 5*k = 2*h - 23, -2*h + 1 + s = 0 for k.
-3
Let m be 32/6 - (20/(-12))/(-5). Solve -4*w - 7 - 7 = q, 0 = m*q - w - 14 for q.
2
Let b = 91 + -87. Solve 0 = -4*a + b, 0*c + 4 = c - a for c.
5
Let f(c) = c**2 - c + 1. Let h be f(-1). Solve h*b + 0*b - 3*v + 15 = 0, 3*b - v = -7 for b.
-1
Let k be ((-4)/(-12))/(2/18). Suppose -k*c + 12 + 0 = 0. Let u(q) = q**3 - 5*q**2 - 4*q - 5. Let l be u(6). Solve -c*i - 2*s = -16, s + l = 2*i - 1 for i.
4
Let p(k) = k**2 - k + 1. Let i be p(2). Suppose i*g - 3 - 9 = 0. Suppose -2*w = g*b + 12, -2*b - 3 = -2*w + 9. Solve 2*y + 4*c = -w, -c + 1 = -y - 3 for y.
-3
Let c = 12 - 6. Suppose 0 = 6*b - 3*b - c. Suppose 4*l + 4 = 0, t + t - b*l = 6. Solve 1 = r - 3*q + 9, 2*q - 8 = -t*r for r.
1
Let n be 21*(4/6 - 0). Let y(f) = 5*f - 20. Let s be y(4). Solve 6 = -3*c, s*w + w - 5*c = n for w.
4
Let l(u) be the second derivative of u**5/20 - u**4/3 - 5*u**3/6 + 5*u**2/2 + 10*u. Let j be l(5). Solve -q + 2*q - 26 = j*m, -4*q + 9 = -m for q.
1
Suppose -2*u = -3*q + 3 - 1, -5*u + 29 = q. Let c(j) = 5 - 10 - u*j + 5. Let p be c(-1). Solve 0 = 5*a - p*f + 25, -10 = -6*f + f for a.
-3
Let y(i) = -14*i - 1. Let b be y(1). Let d = -10 - b. Suppose 0*l + 21 = 3*l. Solve l - 26 = 4*h - 3*k, d*k - 25 = 5*h for h.
-4
Let u(a) = -a**2 + 5*a - 2. Let x(i) = -2*i - 8. Let p be x(-6). Let b be u(p). Solve 2*h + 14 = -4*j, -2*h = b*h + j + 7 for h.
-1
Let w be (1/2)/(3/6). Let s be (w - 0)/(7/231). Solve f - s = -5*h - 13, 3*f = -15 for h.
5
Suppose -26 = -5*t + m, -2*t + 4*m - 5*m = -9. Solve -3*c = 3*d + 6, -t*d - c = -2 + 4 for d.
0
Let g(s) = s**3 - 5*s**2 + 4*s + 2. Let r be g(4). Let n(c) = 0*c - r*c - 6*c - c**2 + 6. Let a be n(-8). Solve 5*t + 20 = 5*i, -17 = -t + a*t - 2*i for t.
-3
Let f = 7 + -7. Suppose f = -u + 1 + 4. Solve 2*b + b = -4*n - 6, u*b + 2 = -4*n for b.
2
Suppose 6 - 21 = -3*f. Suppose 10*w - f*w = 20. Suppose 7 = w*d - 9. Solve -g + 6 = n + n, -8 = d*n - 3*g for n.
1
Let y(f) = f**3 + 4*f**2 + 2*f. Let a be y(-4). Let d = 13 + a. Let s(q) = q**2 - q. Let r be s(0). Solve -3*x + d*h - 8 = -r*x, -x + 5*h = 16 for x.
4
Let y = -98 + 100. Solve -5 = -4*h - 5*a + 1, -a = y*h for h.
-1
Let j = 2 - 3. Suppose 3*n = 2*f - 5, -3*f - 2*n = -5*f + 4. Let x = j + f. Solve -2*m - 4*g + 18 = x, m + 0*m = -g + 5 for m.
1
Let j = -44 - -69. Let f = j - 22. Solve -3*l + f = -u - 11, -5*u + 5*l - 20 = 0 for u.
1
Let u(o) be the second derivative of 5*o**4/12 - o**3/6 - o**2/2 - 2*o. Let t be u(-2). Solve 4*r - v = 7, 5*r + 6 - t = -5*v for r.
2
Let z(l) = -l**3 - 3*l**2 - 3*l. Let t be z(-2). Suppose 0 = -t*b - 2*b + 12. Solve -5*q = -4*k - 26, k + 9 + 1 = b*q for q.
2
Suppose -2*p = 2*p. Solve 4*n - 5*a + p - 16 = 0, 5*n = -a - 9 for n.
-1
Let j = -87 + 60. Let w be j/(-6) - (-1)/(-2). Suppose -3*v + 11 = -w. Solve -3*z - 18 = 2*c - v*c, 18 = 4*c - z for c.
4
Suppose -28 = -3*l - l - 3*a, -5*l - 3*a + 32 = 0. Solve 4*r - v - 2 = 0, -4*r - l*v - 8 = -5*r for r.
0
Suppose -h = -2 + 1. Let i be h/(-3) + 4/12. Solve -4*d - 2*v - 10 = 0, -d + v = -i*d + 1 for d.
-2
Suppose -5*i = -2*w - 35, 5*w = -i + 2*w - 10. Let s be -1 - (-5)/(-1 - -2). Let l be (-1)/(-3)*3*s. Solve d = i*c - 24, -c - 3*d + d - l = 0 for c.
4
Let i = -96 + 101. Solve b = i*b - 12, 5*b - 3 = 3*v for v.
4
Let u = -5 - -8. Suppose 3*b - 30 = -0*b - u*o, -3*b + 30 = -o. Suppose -f + b + 4 = 0. Solve 2*q - 3*q + f = -3*i, 0 = 4*i + 5*q + 25 for i.
-5
Let v(f) = -f + 3. Let b be v(-7). Let o = 19 + -5. Let d = o - b. Solve 0 = z - d*r, 3*r - 13 + 6 = -z for z.
4
Suppose h = c + 6, 0*c = c - 4*h - 3. Let a be c/4 + (-12)/16. Let d be (2/a*6)/(-1). Solve 5*t + 10 = i + 34, d*t = -5*i + 25 for t.
5
Suppose 5*y + 5*i - 16 = 2*i, 3*i = -3*y + 12. Suppose y*g = -g. Solve g = 2*n - 2*k + 6, -4*n - 12 = -0*n + 3*k for n.
-3
Let z be (-133)/(-7) - 1*-1. Suppose 2*m - z = -5*w, 4*m + 4 = -0*w + w. Solve m*y = -4*y - 4*i, -2*y + 5*i = -21 for y.
3
Let o = 7 + -4. Solve 2*r + 2*r - 2*l - 10 = 0, 25 = o*r + 2*l for r.
5
Let x = 15 + -16. Let t = x + 2. Solve t = -2*y + 4*b - 13, 0 = -2*b + 8 for y.
1
Let w = 5 + -2. Let v be (0/w - -2) + -2. Solve v = 5*h - 4*p + 41, h + 21 = 4*p - 0 for h.
-5
Suppose -11*x + 5*x + 18 = 0. Solve 4*q + x = -4*w + 31, -2*w + 4*q = -2 for w.
5
Let f = -5 - -9. Suppose f*o + 3 = 7. Let l = -1 + o. Solve -2*t = -i - 7, -4*i + 2*t = -l*t + 4 for i.
1
Let t be (-6)/(-10)*(-2 - -7). Solve r + 12 = -5*x - 4, -6 = -t*r + 3*x for r.
-1
Let f(m) = m**2 + 3*m - 3. Let n be f(-5). Solve -5*v + 17 = -i - 2*i, -3*v + n = -i for i.
-4
Suppose 0 = -5*n + 3*p - p + 28, -2*p = -3*n + 20. Solve -16 = n*r, -2*a - 14 = -0*a + 4*r for a.
1
Suppose 0*p + 2*p = 202. Suppose 53 = w + u - 4*u, 2*w - p = u. Let c = w + -30. Solve 2*m - 9 = y, 2*y - 2*m - 6 = -c for y.
-5
Suppose -2*t = -4*q, 15*q = 2*t + 13*q - 4. Suppose -v + 2 = -2. Suppose -2*w = -v*w + 12. Solve 4*i = 4*o - t, 0 = -i + 5*i - 3*o + w for i.
-3
Let o(y) = -y**3 - 13*y**2 - 12*y + 5. Let v be o(-12). Let l = -5 - -8. Solve 0 = v*n + 5*t + 7 + 8, 5 = -l*n + t for n.
-2
Suppose -3*d = -7*d. Suppose 3*m + 2*y - 18 = m, d = -m + 4*y - 6. Let u be (20/m)/((-8)/(-12)). Solve 16 = u*x - p, 2 = 3*x + 2*p - 18 for x.
4
Let l = -3 + 4. Suppose -3*w = -l - 2. Let u be (16 - 1)*1/w. Solve 0 = 3*m + 5*c + 19, 6 = 3*m - 3*c - u for m.
2
Suppose 6*w - 38 - 4 = 0. Solve 4*u = -r - u - 26, 2*u = 3*r - w for r.
-1
Let n be -2 + 2*(-15)/(-6). Let c be -1 - (-1 + -1)*n. Solve -4*y + 3*d = 11, -c*y + d - 31 = 3*d for y.
-5
Suppose -3*z + z - 6 = 0. Let m(n) = -n - 3. Let x be m(z). Solve p + 4*s + 11 = x, -4*p - s + 2 = 1 for p.
1
Suppose 17 = 2*o - 1. Let a be 40/25*(-10)/(-4). Suppose -4 - a = -4*k. Solve 0 = -l + k*p + o, 1 = l - p - 5 for l.
3
Suppose -7*b = -4*b + 6. Let x be 5 + (-6 + b)/4. Solve 0 = 2*h - 2*k, -h + x*h + 3*k = 25 for h.
5
Let l(w) be the first derivative of w**2 - w - 2. Let s be l(3). Solve 0 = -c + 4, -x - 28 = -s*x - 3*c for x.
4
Suppose 8 = 5*s - 12. Let w = s - -1. Let l be (1 - -2)*8/6. Solve 7 = 2*q + 3*k - w, 0 = 3*q + k - l for q.
0
Suppose 5*v - 28 + 8 = 0. Let l(y) = y + 3. Let c be l(4). Solve 3*n - 3*a + c = -8, -v = 4*n + 4*a for n.
-3
Let y be ((-2)/4)/((-1)/16). Let j be 28/6 - y/12. Let g = 1 + j. Solve h = x + g, -4*h - 2*x + 16 = -4*x for h.
3
Let y be 3 - (2/4)/(4/8). Solve -7 = -2*t - 5*b - 0*b, 0 = y*t + b - 3 for t.
1
Suppose -h + 3*a - 4 = 0, -2*h = -7*h - 4*a - 20. Let p = 13 + h. Solve 0 = -j - 5*n + 2*n, -3*n + p = 4*j for j.
3
Let r(o) = o**2 - 16*o - 17. Let y(h) = -h**2 + 17*h + 18. Let q(x) = 6*r(x) + 5*y(x). Let j be q(12). Solve 6 = 3*m + 3*s + 3, j = -5*s - 5 for m.
2
Suppose -2*d = -5*d + 66. Let i = -29 + 33. Solve -n + 17 = 4*v, -v + d = i*v + 2*n for v.
4
Suppose k - 14 = -3*l, -2*k + 2*l = 4 - 48. Let a(c) = -c**3 + 5*c**2. Let q be a(5). Solve q = r - 4*r - 4*g + 5, -r = -3*g + k for r.
-5
Let b be 1 + -1 + (35 - -2). Let w = -21 + b. Suppose 6*r - w = 2*r. Solve -5*c = 15, r*c + 8 = -2*o - 2*o for o.
1
Let o(g) = g + 11. Let j be o(-8). Suppose -5*v + 65 = -3*k, 0 = 5*v - k - 111 + 36. Solve v = j*p - 5*y + 44, -3*p = 5*y - 22 for p.
-1
Let s be 12*2*(-2)/(-8). Suppose -2*b - b + 9 = -3*f, 0 = 4*b + 5*f + s. Let j be 6/(((-3)/(-2))/b). Solve -j*m - 2 = 5*r, 0 = -3*m + 2*r - 6*r - 2 for m.
2
Let u = -15 - -15. Solve u = -3*p - 2*y + 1, 2*y - 14 = 2*p + 2 for p.
-3
Let j(h) = h**3 - 33*h**2 + 32*h + 15. Let z be j(32). Solve -3*b - 15 = 3*g, -2*b + z = g - 6*b for g.
-1
Suppose g - 48 = -0*g. Let l = -17 + g. Solve -4*y + l = -2*n + 11, 25 = -4*n + 3*y for n.
-4
Let s(c) = 9*c - c - 5*c - 7 - 5*c. Let v(m) = -3*m + 3. Let z be v(3). Let k be s(z). Solve -2*i - 13 = k*r, 0*i - 7 = 3*r + 2*i for r.
-3
Let f be (-1)/(-3) - (-16)/(-3). Let h be ((-8)/12)/((-2)/(-39)). Let g = f - h. Solve -2*x + 0*p + p = -g, -4*p - 16 = 0 for x.
2
Let b = -11 + 19. Let g be (14/6)/(b/48). Solve -4*q = 5*i - g, -3*i + q + 0*q + 5 = 0 for i.
2
Let t(l) be the third derivative of 7*l**6/40 + l**5/60 + l**4/24 - l**3/6 + 2*l**2. Let c be t(1). Solve 4*w + 0*w = 2*u - c, -5*w - 4*u = 8 for w.
-4
Let i be 4/(-10) - 154/(-10). Suppose 6*z - i = z. Solve -5*p = -3*a -