v + 3*q - 2 = 0, 0 = v - 4*q + 4 - f for v.
-4
Suppose 7 = 2*b + 1. Suppose -12 = b*j - 7*j. Solve j*s = -0*p - p + 13, -5*p + 25 = 5*s for p.
1
Let d be (1 - -3)/(-2 - -3). Solve 4 = 4*m - d*i - 0, 0 = 2*m - 5*i + 1 for m.
2
Suppose 2*t + 4*x - 170 = -t, 0 = -2*t + 4*x + 80. Let a = t + -12. Suppose 0 = 4*b - 2 - a. Solve -2*s + b = -0*s + 5*z, -5*z = -10 for s.
0
Let s be 130/35 - 6/(-21). Solve -3*b - s = -3*m + 23, 5*m = -4*b + 9 for m.
5
Let d be -3*(6/9)/(-1). Solve d*o + 2*o - f = 0, -2*o = 2*f for o.
0
Suppose -4*z + 8*z + 28 = 4*g, 4*g - 46 = -2*z. Solve -2*j + y = j - g, -35 = -2*j - 5*y for j.
5
Let l = 2 - 2. Suppose 4*r - 2*d = 20, 2*d - 8 = -3*r - l*d. Solve 0 = r*n - 5*x - 11, 2*n - 9 = -x - 0*x for n.
4
Let g = 0 + 7. Solve -q + 2*j - 16 + g = 0, 0 = 4*q + 3*j + 14 for q.
-5
Let v be (3/(-1) + 13)/2 - 3. Solve -5*o - v*l = -31, -4*o + 5*l - 2*l + 11 = 0 for o.
5
Suppose 0*v = -a - 3*v, -v - 39 = -4*a. Let p be (4 - 3)/(2/4). Let h be p/(-11) + 180/22. Solve h = -2*k, -c = -2*c + 3*k + a for c.
-3
Let a(s) = -3*s. Let w be a(-4). Solve 5*o = 4*r - 21, 0*r + w = 4*o + 4*r for o.
-1
Suppose 0 = 4*p - 2*x - 32, x - 6 = -2*p + 2. Let o = 9 - p. Solve -2*u - o*s = 2*u + 15, 3*u + 4*s = -13 for u.
-3
Let p be 2*3/12*14. Let z = p - -5. Solve x = -j, -x = -4*j + x + z for j.
2
Suppose 0 = -3*p + 4*a + 24, -4*p - 5*a + 5 = p. Suppose 3 - 23 = -p*b. Solve -b*u - 2*j = 19, u - 3*j = -2*j - 1 for u.
-3
Let z = -13 - -15. Solve 3*r = -z*f + 2 - 5, 0 = -r - f for r.
-3
Let b(p) = 5 - 5 + p. Let y be b(6). Let h be (-48)/(-9) - 2/y. Solve 4*k + 15 = -5*l - 8, 19 = -2*k - h*l for k.
-2
Let b be (3 + (-28)/6)*-3. Suppose u = -1 + b. Suppose 0 = -5*r + 2*s + 66, 33 = 2*r + s - u*s. Solve x - 2*h - 19 + 7 = 0, -h = -2*x + r for x.
4
Let q = 18 + -12. Solve 5*j + 32 = -3*s, -2*s = -5*j - q*s - 36 for j.
-4
Let l be (-3)/6 + (-18)/(-4). Solve 2*b - l*i = -2 - 6, 0 = 2*b - 3*i + 4 for b.
4
Suppose -4 = -6*n + 20. Suppose -w + 7 = -0*t - t, -3*w + n*t + 25 = 0. Solve -4 = -2*h - 2*c + 2, 0 = -w*h + 2*c + 19 for h.
5
Let y = -21 - -24. Solve 3*u + 4 = -b, 0*b = -y*b + 3*u for b.
-1
Let v(u) = -u**2 + u + 2. Let w be v(0). Suppose -7*k = -4*k. Solve -c + 25 = 3*a + 3*c, -w*a + 4*c - 10 = k for a.
3
Let l be 3/6 - (-9)/6. Solve -2*i = -l - 0, 2*b + 9 = i for b.
-4
Let c = 3 - 2. Let u = c + 1. Suppose -u*j + 4 = -2. Solve 0 = 2*y - l + 4, l + 3*l = -j*y + 5 for y.
-1
Suppose 2 = 3*z + k - 12, -4*k + 14 = -2*z. Suppose r + 0 - 7 = 0. Let d = 158 + -153. Solve p + 16 = -r*i + 4*i, 0 = -z*p - d*i - 28 for p.
-1
Suppose 27 = 2*q + 21. Solve -5*l - 8 = -4*g, 1 = -l - g + q for l.
0
Let p be 0/((-3)/(-2 + -1)). Suppose w + w = p. Solve w = q + 4*x + 23, 4*x - 2*x = 5*q + 5 for q.
-3
Let z(h) = -h + 9. Let n be z(-2). Solve -i = -3*q + n, 0*q - 5*q = -i - 17 for i.
-2
Let k = 7 + -7. Let m = 37 + -25. Suppose k + 3 = -2*q - 3*a, 0 = 3*q - a - m. Solve q*r + 4*p = -0 - 3, -2*p = -r + 9 for r.
3
Suppose -2*i - 1 = -5. Suppose 4*q = i*s + 11 + 11, -5*s + 35 = 5*q. Solve q*h - 1 = 3*h + w, -4*h + 3*w - 7 = 0 for h.
2
Let c = -10 + 15. Let n(w) = 7*w - 4. Let u(k) = -20*k + 12. Let l(j) = -14*n(j) - 5*u(j). Let g be l(c). Solve 4*y = 5*i - g, -6 = i - 4 for y.
-4
Suppose 0 = -2*f + 4*s + 32, 3*f - 36 = 2*s. Let a = -7 - -8. Let h = 4 - a. Solve -2*v + 0 + f = 0, 0 = 4*l - h*v - 5 for l.
5
Let q be (-4)/(-5)*(-45)/(-18). Solve -i = 4*h - q*h - 3, 4*i - h = -6 for i.
-1
Let d be (8 - (-68)/(-10))/(1/5). Solve -2*j + 10 = -2*p - 4*j, 0 = -2*j - d for p.
-2
Let v be -1 - (0 + 1) - 6. Let b(p) = 5 - 6*p + 7*p**2 - 2*p + p**3 + 0*p**3. Let t be b(v). Solve 0 = -5*n - z - 1, 1 = -4*n + 4*z + t for n.
0
Let c = 21 - 1. Suppose -c = -3*m - 4*h, -10 = 4*m - 5*h + 3*h. Solve 4*i = -4*s, -2*i + 5 = -m*s + s for s.
-5
Let g(u) = 2*u - 7. Let d = 6 - 7. Let w = 5 - d. Let h be g(w). Solve 2*f + 30 = 5*f - 5*y, 0 = -h*f + 5*y + 40 for f.
5
Let p(n) be the third derivative of n**6/120 - 2*n**5/15 - 3*n**4/8 + 5*n**3/6 + n**2. Let o be p(9). Solve -15 = -3*y - o*z + 2*z, 5*z = 20 for y.
1
Suppose -53 = -4*v + 5*n, -2 = -0*v - v - n. Suppose 5*f - 15 = 2*b - v, 2*f + 3*b + 12 = 0. Let o be 1*(-4)/4 + 3. Solve s - 11 = 3*m, 2*m - 3*m - o = f for s.
5
Suppose 3 = -6*x + 21. Solve 3*d + 5*f = -13, 4*d = x*d - 4*f - 9 for d.
-1
Let o = -82 + 87. Solve -5*v = -o*b + 10, 3 - 1 = -2*v + 3*b for v.
-4
Let j be 20*(-2 - (2 - 5)). Let n be ((-1)/2)/((-2)/j). Suppose -n*p + 22 = -58. Solve -y = -2*o + 2*y - p, o - 5 = -5*y for o.
-5
Let j(g) = -2*g**3 - g**2 - 4*g - 4. Let x be j(-1). Solve h - 5*q + 9 = -3*q, x = h + 3*q for h.
-5
Let k = 7 + -4. Suppose 7*h - k*h - 12 = 0. Solve 0 = -5*a + 4*l - 4, l - 3 - 5 = h*a for a.
-4
Let k be 4*((-2)/4 - -1). Solve k*w + 16 = 5*w - 2*h, -2*w + 2*h + 14 = 0 for w.
2
Let l be 1*(-7 + 3 - -11). Suppose h = 2*h - 3*g - l, -11 = -3*h - g. Solve -2*p + 1 = -h*k - 3, 10 = 3*p - 2*k for p.
4
Let t be (-6)/21 - (-90)/21. Solve 2 = 5*a + 12, -t = -3*l - a for l.
2
Let p = 22 + -18. Solve 5*s - 4*l = 3, 13 = -p*s - 5*l - 1 for s.
-1
Suppose 5*o = -86 - 64. Let m = -16 - o. Suppose -5*i - 3*b + 151 + m = 0, 4*i + 2*b = 130. Solve i = -g - 5*u, -11 = -3*g + 5*u - 1 for g.
-5
Let d be 0/(-3)*(5 - 4). Suppose d = -7*i + 6*i + 4. Solve -5*b + 10 = -4*a, 2*a = -i*b + a + 8 for b.
2
Suppose -4*p + 27 = 7. Solve -2*l = 4*g + 2, 2*g + 31 = p*l - 0 for l.
5
Suppose 2*c + 8 - 12 = 0. Solve -z = 4*h + 16, 3*z + 21 = -c*h - h for z.
-4
Let w = 61 + -58. Let r(y) = -26*y. Let h be 2/(-6) + (-4)/6. Let v be r(h). Solve 2*z - w*z + 5*j + v = 0, 20 = -4*j for z.
1
Suppose 0 = -b + 5*b + 3*s - 9, -4*b - 5*s = -7. Suppose 5*m - 44 = m. Solve -4*n - b + 10 = -3*c, c = -2*n + m for n.
4
Suppose -4 - 4 = -2*x. Suppose 0 = 4*a + 4 - 16. Suppose -a*m = -x*m + 5. Solve 0 = -4*k + 3*u - u - 4, -2*u + 6 = -m*k for k.
-2
Let x be (-6 - (-5 + 2))*1. Let w(o) be the third derivative of o**4/24 + o**3/2 - o**2. Let s be w(x). Solve 3*z - 4*m + 14 + 17 = s, 5*z + 3*m + 13 = 0 for z.
-5
Suppose 0 = -2*a + 2*l + 16, l = -5*a + 2*l + 24. Solve -a*m - n = 2*n + 4, 0 = 2*m - n + 12 for m.
-4
Let k(t) = t**2 - t + 4. Let x be k(3). Suppose 4 = 5*b - 4*b. Suppose 21 = 3*o - 2*u + 5, 0 = -4*u - 20. Solve 3*r + b*w + x = -6, w - 7 = o*r for r.
-4
Suppose 7*g = 3*g. Suppose g = 3*s - 4*s. Solve -4*q + 3*a + 9 + 4 = s, -2*q + a = -7 for q.
4
Let n(y) = 2*y**2 + 6*y - 7. Let s = 1 + -6. Let q be n(s). Let g = q - 8. Solve -5*a + g*f = 35, 2*a + 3*f = -2*f + 7 for a.
-4
Let v(j) be the first derivative of -j**4/4 + 4*j**3/3 + j**2/2 - 1. Let h be v(4). Solve 2*i = -d - 7 - 6, -h*d - 24 = i for d.
-5
Suppose 0 = 3*q - 6*q + 69. Suppose 5*r = -8 + q. Solve 4*w + r*c = 12, -6*c + 20 = -4*w - c for w.
0
Let b(x) = x + 5. Let h be b(-3). Solve h*y = -4*f - 3*y - 25, 4*f - 4*y = -16 for f.
-5
Suppose t - 4*g + 15 = 0, -3*t - 6 = -5*g + 4. Solve -5*i = 5*q - 43 + 8, t = -5*i + 3*q for i.
2
Let t(h) = -h**3 - 2*h**2 - h. Suppose -26 = 4*n - 2*m, -2*n - 4*m + 5 - 33 = 0. Let k = 7 + n. Let j be t(k). Solve -5*g + 4*l = -16, j = l - 0*l - 1 for g.
4
Suppose 2*c - 4 = -2. Suppose 2*z + c = 3. Let i be 18/(-4)*(-4)/6. Solve 37 = -5*o + i*w, -11 = -3*w + z for o.
-5
Suppose -3 + 1 = c. Let g(d) = -2*d - 1. Let o be g(c). Solve -2*z + 2*x + 12 = 4*x, 12 = -3*z + o*x for z.
1
Suppose -10 = -3*z + z. Suppose 3*k = 2*o + 7, -2*o - 20 = -z*k - 3. Let q = 3 + 0. Solve 14 = -3*a - a - 3*i, -o*a + q*i = 2 for a.
-2
Let m be (2 - 1) + 2 + (-4 - -3). Let f be (-2 + 9/12)*-4. Solve 0 = -m*z - f*o + 4, 5*o = -4*z + o - 4 for z.
-3
Let y be (-3)/9 - (-3)/9. Suppose 5*v = -y + 20. Solve -21 = 5*d - v*i, 3*d + 2*i = -i - 18 for d.
-5
Let j(n) = -n - 1. Let i be j(-2). Suppose z = -5*q - i + 104, -3*q - 2*z + 59 = 0. Solve 5*m - 5*g + 0*g - 15 = 0, -5*g = 4*m - q for m.
4
Let o(h) = -h**3 + 9*h**2 + 9*h + 10. Let n be o(10). Let i = 0 - n. Solve -4*p + 2*p = -3*y + 15, -y - p + 5 = i for y.
5
Let m be (-1)/2*(-15 + 15). Suppose -g + 8 = 3*g. Solve 2*j - s + 14 = m, j + g*j + 4*s = 1 for j.
-5
Let f be 2*(33/(-3) + -1). Let k be f/(-14) + (-4)/(-14). Let s = k - -1. Solve 5*p = -4*z + 10 + 5, -s*z + 18 = -3*p for z.
5
Let v = -19 - -24. Solve 0 = 3*x - 4*d, -3*x + v*x - 4*d = 0 for x.
0
Let z = -6 + 9. Solve -z*v + 8 = -7, -3 = 2*