pose -3*f - 6 = -5*f. Suppose -c = -f + 1, d + 4*c - 58 = 0. Suppose -5 = 2*v + 3*g, 5*g + d - 5 = 4*v. Solve -v*a + i + 6 = -1, 13 = 5*a + i for a.
2
Let c be 8/6 - (-10)/15. Suppose c*d - 10 = -h, 4*d - 13 = -h + 3. Solve x - d*s - 16 - 3 = 0, -s - 5 = 0 for x.
4
Let n = 16 + -16. Solve -4*g + n*g + 32 = 5*b, 0 = -5*g + b + 11 for g.
3
Let t = 7 + -9. Let a be 3/(3/(-2))*t. Let d = a - 0. Solve d*n - 3*u = -11, -n = -3*u + 5*u for n.
-2
Let s = 20 - 18. Solve -3*y - 11 = -s*v - 4, 2*v = -4*y + 14 for v.
5
Let v be 3 - 6 - (-1 + -7). Solve 4*n - n - 3*o = 15, -4*n + v = -o for n.
0
Let c(k) = k + 15. Let h be c(-12). Suppose 2*l = -3*l - h*w + 23, 5*l - 5*w - 15 = 0. Solve -d + l = -z - 1, -z = 5*d + 5 for d.
0
Suppose 4*p = f + 11, 2*p + 3*f + 0*f + 5 = 0. Suppose -4 = -3*h + p. Solve 15 = -5*b - 5*z, h*z + 2 = -0*b - 4*b for b.
2
Suppose 1 = -3*k + 13. Suppose v - 3 - 1 = 0. Let r = v + 0. Solve 2*b = -u - k, r*b + 5*u + 0 = -14 for b.
-1
Suppose 2*i + 1 = 3. Solve 10*c - 5*c = 2*j - 17, -c - i = -j for c.
-5
Let w(b) = b**2 - 3*b + 1. Let y be w(4). Suppose -y*h + s + 83 = 0, 0 = 5*h - 3*s - 25 - 64. Solve 6*r - 3*r - 4 = f, 4*r + 4*f = h for r.
2
Let n(c) be the third derivative of -c**4/24 + 3*c**3/2 - c**2. Let k be n(7). Suppose 6*t = k*t + 64. Solve -t = -9*g + 4*g + 3*w, 20 = 5*g - 5*w for g.
2
Let d(n) = -n**3 + 7*n**2 - n + 7. Let k = 22 + -15. Let w be d(k). Solve 0 = 3*s - 4*h + 8 + 4, w = 4*s + 3*h - 9 for s.
0
Suppose -5*l + 7 = -18. Let y = 1 + 1. Solve -1 = s - t, -y*t - 7 = s - l*t for s.
2
Let b = 55 - 53. Solve -4*x + 10 = -b*u, 0 = x + 3*u - 4*u - 2 for x.
3
Suppose -10 + 16 = 2*h. Let w = -5 + 7. Suppose f - 83 = -3*y, 12 - 43 = -y - w*f. Solve -4*j - h*z = -j - y, -j + 13 = 2*z for j.
5
Let y(u) = u**2 - u. Let g be y(2). Let j be 74/(-12) + g/12. Let i be 33 + 1/(2/j). Solve 5*t = -5*r - i, -2*r - 2*r - 4 = 0 for t.
-5
Let z = 41 + -41. Solve 2*s - 7*s = -10, z = u - s - 2 for u.
4
Let p(k) = -3*k + 5. Let h be p(0). Solve 0 = -5*r - 4*n - 16, -n = h*r - 0*n + 4 for r.
0
Let v = -11 + 14. Suppose 3*k + 4*n - 13 = 0, -3*k + 9 = -k + v*n. Solve -2 = 5*l - k*l + 5*p, -p - 3 = 3*l for l.
-1
Let r be (12/9)/((-3)/(-9)). Let g(y) = -55*y + 1. Let v be g(-5). Let l be v/(-4)*1/(-3). Solve -3*m + 0*m + r*s = l, -4*m + s = 9 for m.
-1
Let h(p) = p**2 - 3*p - 5. Let o be 3/(1/(7/1)). Suppose 5*q - 3*i = 21 + o, -5*i = 3*q + 2. Let m be h(q). Solve 3*k - 5 = 2*l + 2, -k + m = 2*l for l.
4
Let a = 41 + -21. Suppose 3*c = -c + a. Suppose 2*b - c*o = 7*b - 35, 4*b = 3*o + 7. Solve -4 = b*d, 2*d + 1 + 16 = -3*v for v.
-5
Let s(u) = -14*u + u**3 + 14*u**2 - 3*u**2 + 6 + 9 - 2. Let c be s(-12). Solve -4*w = 5*m, -6*w + w = -3*m - c for w.
5
Suppose 3*f = 5*m + 14, 4*f = -0*f - 5*m + 7. Suppose -5*t - 3 - 37 = -5*k, k - f*t = 0. Solve -k = 3*o, -4*y = 3*o + 41 - 9 for y.
-5
Suppose 0*v + 3*v - 24 = 0. Let j(f) = 2 - 4 + 2 - v + 3*f. Let a be j(6). Solve 0 = 5*t - 5*m - 10, -a = -3*t + 5*m - m for t.
-2
Let s = -6 + 9. Solve 3*c - s = -f, -4 = -2*f - 2*c - 2 for f.
0
Suppose -4*i = -0*i + 5*r - 24, -3*r - 30 = -5*i. Let d = i + -4. Solve 2*w - 2 = -d*n, 3 = -4*n - 1 for w.
2
Let q be (-10 + 0/(-1))/(0 - 2). Solve -2*t + z = q*z + 12, 4*t + 8 = -4*z for t.
2
Let h(f) = 2*f - 7*f + 2 + 4*f. Let u be h(-2). Solve -s + z = -u, -s - z + 8 = 2*s for s.
3
Suppose -26*o + 22*o - 32 = -4*l, -o = l - 2. Solve -l*r = 4*p - 41, -3*r = -2*p - p - 3 for r.
5
Let y(z) = -z**2 + 7*z - 7. Let f be y(6). Let k(i) = 5*i**2 + 2*i + 1. Let w be k(f). Solve -3*b = -q - 0*q + w, 0 = 3*b + 3*q + 24 for b.
-3
Let y(m) = m**2 - 14*m + 13. Let g be y(13). Let a = 2 - g. Solve -4*n + 15 = 4*h - 9, -a*n - 4*h + 16 = 0 for n.
4
Suppose 2*j - 2 - 2 = 0. Suppose 3*i = -j*i + 85. Solve 4*h + k = 23, -4*h - 3*k = -4*k - i for h.
5
Suppose 0 = 3*w + 5*z - 20, -13 = -3*w - 0*z + 2*z. Let s = 6 + -16. Let g = s + 13. Solve -w*r + m - 27 = 0, g*r + 15 = -2*r - 5*m for r.
-5
Suppose -f - 6 = -4*f. Suppose f*q = 6, 2*r - 29 = -2*r - 3*q. Solve -4*h = -5*y + 18, -3 - 11 = -2*y + r*h for y.
2
Let n(g) = g**2 - 1. Let w be n(-3). Let c = w + -8. Solve -3*l = c, 3*d - l - 3 = -2*l for d.
1
Let x be 9/(-15) + (-33)/(-5). Suppose x*w - 14 = 3*w + 2*g, 2*g = -3*w - 2. Solve -w*s + 10 = 0, 3*a + 2 = -3*s + s for a.
-4
Suppose 0*h = -5*h + 10. Let j be (-35)/(-15) + h/3. Solve 4*a - 3*a + 5 = s, 0 = -s + j*a + 7 for s.
4
Let p = -11 - -15. Suppose 3*v = 50 + 25. Solve -j - 4*j = -p*q, -q - v = 5*j for q.
-5
Suppose -4*k - 3*k = -14. Solve -5*p - 19 = -k*f - 2, 3*p = -3*f - 27 for p.
-5
Suppose 4*w - 3*f + 33 = 0, 3*f + 37 = -w - 2*f. Let o be (-16)/w + (-6)/(-9). Solve 5*g = -3*k + 21, -6*k - g + 11 = -o*k for k.
2
Suppose 0 = -4*d - 3*q + 87, 5*d - 98 = -5*q + 17. Let b = d - 13. Solve 3 = z, b*k + 2*z - 9 = 4*z for k.
3
Let a(j) = j**2 - 5*j + 3. Let x = 17 + -11. Let c be a(x). Solve -5*z - 5 = 0, -4*r = -c*r - 3*z - 28 for r.
-5
Suppose 3*h = -6*g + g + 5, g - 1 = 4*h. Let z be (0 - g)/(2/8). Let i be -1 - z - 4 - -24. Solve 4*q - 3*j + i = 2*j, 4*j = -3*q + 6 for q.
-2
Suppose -5*p + 13 + 6 = 2*r, -5 = p - 4*r. Solve -3*c + 2*u = -2 - 4, 24 = p*c + 4*u for c.
4
Suppose 5*u = n - 20, 0 = 4*n + 6*u - 4*u + 8. Let j(p) = p**2 - p + 5. Let m be j(n). Solve d + 2*x + 3 = 9, m*d = -4*x + 12 for d.
0
Let r be -1 + 4 + (-9)/(-3). Solve -3*p - 8 = -j, 3*j + 20 = -5*p + r*j for p.
-1
Let q = -31 + 44. Let o = q - 13. Solve 0 = 4*m + g + 4*g, o = -g + 4 for m.
-5
Suppose -8 = 2*w - 18. Solve -s - 3*s - 26 = 5*m, w*s + 3*m = -26 for s.
-4
Let c(q) = -3*q - 1. Let l be c(-3). Solve -b - z = -5, 0 = b + 2*z + 1 - l for b.
3
Suppose -4*f + 3*o + 35 = 0, 5*o = -2*f - 17 + 2. Suppose -5*v = -5*m + 15, 8 = -5*m - v + 35. Solve -x = -f*p + p + m, 3*p - x = 3 for p.
2
Let u be (2/2)/((-5)/10). Let b be -2 + (-3 - u) - -5. Solve -b*l = -w - 2*w - 10, -4*l - 12 = 2*w for w.
-4
Let g be 1 - 1/(-2)*2. Suppose -2*w = -5*t, 20 = 4*w - g*t + 4. Solve -4*k - 38 = 4*s - 14, 0 = -3*k + w*s + 6 for k.
-3
Suppose 7*u = 3*u. Suppose 0 = 4*s - f - 3, -s - s + f + 3 = u. Solve z - 1 = 2*z + 4*h, s = 3*z - 2*h - 11 for z.
3
Suppose -5*b - 2 = 5*l - 17, 7 = l - 3*b. Let z = l - 0. Let d be (0*(-1)/2)/(1 + -2). Solve 2*g - 8 = -4*h, -6 + d = -z*h - 3*g for h.
3
Let k(i) = 2*i - 3. Let m be -1 + (3 - (-2 + 1)). Let p be k(m). Solve y = -p*r, -r - 4*y - 15 + 4 = 0 for r.
1
Let g = 72 + -68. Solve g*y = -3*o - 0 - 5, -3*o + 35 = -4*y for y.
-5
Suppose -4*v + v = -39. Suppose -v = -4*u - 4*t + 11, -4*u = 2*t - 20. Let z be -3 + u/(12/9). Solve 2*p = 3*j - 4, z = -4*j + 3*j - 3*p + 5 for j.
2
Suppose -7 = n - 2*n. Let i be (2*-1)/((-2)/4). Let y be i/20 + 48/10. Solve 2*v = -2*a + 3*a + n, 0 = -y*v + a + 10 for v.
1
Let l(h) = -h**2 - 18*h - 15. Let j be l(-17). Solve 2*v - 2*y = 2, -j*y = y - 6 for v.
3
Let m(p) = -p**2 - 14*p + 15. Let j be m(-15). Suppose 0 = 3*y + 4*l - j - 4, -l = -y - 1. Solve 3*w - c + y*c = -1, 2*w - 3 = -3*c for w.
0
Let l = -20 + 42. Solve 0 = -4*o - y + 6 + 10, 4*y - l = -2*o for o.
3
Suppose -a + 4*a + 23 = 5*p, 0 = 2*p - 2*a - 10. Solve -p*l - 11 = 3*y + 2*y, 2*y + l = -2 for y.
1
Let h be (0 - (3 - 2))*2. Let v(d) = -d**3 - 4*d**2 - d - 3. Let g be v(-4). Let n = g - h. Solve -w = -2 - n, -2*t + 12 = 2*w for t.
1
Let q(i) = i**3 + 3*i**2 - 2. Let t be q(-2). Suppose -4 + 0 = -t*b. Solve -b*x + 3 = v - 8, -3*x + 4*v + 11 = 0 for x.
5
Let d(a) = 3 + 5 + 3 + a**2 + a. Let x be d(0). Let t = -7 + x. Solve 5*g - 3*r = 13, 2*g - t*r - 9 = r for g.
2
Let j = -9 + 13. Suppose 0 = 5*y - 10*y. Solve y*t + j*t + 3 = 3*l, -5*t + 3 = 3*l for t.
0
Let t be (2 + 3/2)*2. Suppose t*s = 4*s + 39. Solve 5*w + 7 + s = -3*y, 5*w + 20 = 0 for y.
0
Let n be 4/(-2)*6/(-4). Let l be (-6)/9*n + 7. Solve l*s = 3*j - 5*j - 6, -4*j - 12 = -2*s for s.
0
Let a(d) = d**2 + d - 6. Let h be a(7). Suppose -4*o = o - h. Solve -w = 2*g + o, 3*g + 10 = -w - 3 for w.
-4
Let s = 61 + -49. Solve w = -4*z + 9, -2*w + 4*z - s = -6*w for w.
1
Let f(g) = -g - 8. Let a be f(-10). Solve -3 = h - 4*y + 2, 0 = a*y for h.
-5
Let i(z) = -z + 1. Let g be i(6). Let x = 0 - 2. Let o be g/(-1) + x + 0. Solve -2*c + 9 = -w, -2*c + o*c - 9 = 5*w for w.
-1
Let l(t) = -6 - t + t - t. Let y be l(-6). Solve 1 = 3*w - y*p + 2*p, -w - 5*p = 4 for w.