 y = -9 + 14. Suppose a = -2*u + y*u. Solve -u*j + 7 = -2*p, -3*p = j - 5*p - 5 for j.
1
Let b be 4/(-6) + 22/6. Suppose 4*s - b*g - 34 = -0*g, -3*s + 27 = -3*g. Let o be (-32)/(-14) + (-2)/s. Solve 2*k = 2*p, -4*k + 6 = -o*k for p.
3
Let f = 273 + -427. Let d be (2/(-4))/(11/f). Solve u = 4*u - 3, 0 = z + 3*u - d for z.
4
Let n(t) = t - 10. Let b be n(8). Let a = b + 5. Solve v - a*v = 8, -5*j + 14 = -v for j.
2
Let n be ((-10)/4 - -2)*-4. Suppose -3*z - n*z + 2*y = -18, z + 5*y = 9. Let w(k) = -k + 7. Let m be w(4). Solve 3*q - z - 2 = 3*b, m*b + 18 = -q for b.
-5
Suppose -f + 4*f = 6. Solve 5*i - i - 15 = -b, 5*b - f*i = 9 for b.
3
Suppose -2*t - 12 = -4*b, -5*t + 2*b - 2 = -2*t. Solve c = -t*v + 1, -v = v - 6 for c.
-5
Let k be (0 + -4 - -4) + 4. Let b(s) = s**3 - 3*s**2 + 2*s + 4. Let d be b(3). Suppose k*p + p = d. Solve p*t = 2*z + 3*t - 5, -z - 11 = -4*t for z.
1
Suppose 2*i = -4*q - 24, -3*q = 1 + 8. Let b = i - -6. Let o be (b - -25) + 0 + 1. Solve -5*m + 6 = -4*v + o, m + 2*v - 10 = 0 for m.
0
Let l = -6 - -10. Let o = l + 1. Suppose -o*t + 4*g - 4 = -25, -t + 1 = -4*g. Solve -1 = 5*f - s + 3, -t*f + 4 = s for f.
0
Let l(y) = y**2 - 7*y - 5. Let u be l(8). Let g be 18/5 + 15/(-25). Solve -u*h = 5*n + g, 3*n + 5*h + 2 + 3 = 0 for n.
0
Let x(k) = -10*k - 16. Let w(c) = -7*c - 11. Let g(h) = -7*w(h) + 5*x(h). Let f be g(-3). Let d = 3 - f. Solve -2*q - 19 = 3*q - 2*b, -d*q = 3*b + 3 for q.
-3
Let z(x) = -x**3 - 5*x**2 + x + 11. Let o be z(-5). Solve 3*l - o = 5*q, 4*l - 5*q = -q for l.
-3
Let p be (4/(-6))/(6/(-45)). Solve 3*d + 4 = p*c, 11 = -0*c + 4*c - 5*d for c.
-1
Suppose -3*l + 93 = t, 2*l + 2*l - 113 = -5*t. Suppose 4*w + 4 = -2*d + l, 0 = 5*d + 3*w - 49. Solve 0 = -3*h - q - d, 0 = h - 3*q - 10 - 4 for h.
-1
Let c(i) = -i - 31. Let a be c(-31). Solve -8 = -x - a*x - 3*q, 0 = -q + 4 for x.
-4
Suppose -4*n + 35 + 13 = 0. Let t(p) = -p**2 + 12*p + 10. Let f be t(n). Solve 2*m = f, -4*b = -m + 3 + 14 for b.
-3
Let c(j) = -j**3 - 5*j**2 + 3*j + 7. Let g be c(-6). Solve 3*y - 5*f + g = 0, 3*f - 10 = 5 for y.
0
Let w be 4/10 - 69/(-15). Solve -o - 6 = -5*o - t, 6 = w*o + 2*t for o.
2
Let f(a) = -a**2 - 9*a + 5. Let u be f(-9). Solve 7 = -u*q + 3*v - 3, -4 = 2*q + 4*v for q.
-2
Suppose d - 5 = 6*b - 5*b, 3*d + 5*b + 25 = 0. Solve 2*v - 2*s - 8 = d, -4*v + 2*s = -3*s - 16 for v.
4
Suppose -8*x = -6*x - 8. Suppose -5*z - x = -g - 7, 2*z - 2 = 0. Solve w - 4 = -a, -a - 3*w - 8 = -g*a for a.
5
Suppose 3*d = 4*k - 13, 0*k + 3*k = 3. Let u be ((-2)/d)/((-9)/(-54)). Solve 5*v - n - 3*n + 19 = 0, 3*n - 15 = u*v for v.
-3
Let m(i) = 0*i**3 + 3*i**3 - 2*i**3. Let y be m(2). Let j be 28/6 + 2/6. Solve 2*d - v = y, 4*d - 2*d = j*v for d.
5
Let l(c) = 5*c - 19. Let x be l(5). Solve x*y - 3*y = -4*w, -21 = 3*w - 3*y for w.
-3
Suppose -37*t = -42*t + 10. Let i = -1 - -6. Solve 5 = -i*b - 2*q + 29, -3*b - t*q = -16 for b.
4
Let w = -85 - -88. Solve -c + 5 - 4 = w*z, 0 = -2*z - c + 2 for z.
-1
Suppose 0 = c - 2. Suppose c*x = -3*k + 34, -5*x - 7 - 23 = -4*k. Suppose 5*g - k - 1 = 4*u, 12 = 5*g - 3*u. Solve -2*m - g*d = 4 + 7, -5*m - 20 = 5*d for m.
-1
Let f = 10 - 5. Solve -3*m - 4 = -4*h, -2*m - f = -h + 1 for m.
-4
Let n be (6/(-8))/((-4)/96). Solve -2*q + 6*q - 2*w = -n, -q = -2*w + 3 for q.
-5
Let a be ((-30)/25)/((-2)/(-10)). Let l be (a/(-5))/(2/5). Solve -5*g = -l*z + 25, -3*z + 9 + 8 = -g for g.
-2
Suppose -5*w + 20 = -w. Let r(o) = 2*o - 7. Let g be r(w). Solve a - 2 - 4 = g*l, -l = -a + 2 for a.
0
Let d(q) = q - 2. Let g(m) = 1. Let k(z) = -d(z) - 3*g(z). Let b be k(-3). Let j be 1 + ((-1)/(-1) - -1). Solve -j*i - r - r - 1 = 0, 0 = -4*i + b*r + 22 for i.
3
Let m = -56 - -63. Solve -5 = -2*b - 0*b + r, 0 = b - 5*r - m for b.
2
Let j(f) = -f + 4. Let i be j(-16). Solve -2*o = 4*g + 2, 3*o - 4 = 3*g + i for o.
5
Suppose 0*w = -2*w + 10. Solve -w*l - 14 = 2*z, 4*z - 4*l = -l - 2 for z.
-2
Let t(d) = d**3 - 7*d**2 + 7*d - 3. Let q be t(6). Suppose -4*h + q = -h. Solve 0 = -5*b + 2*j - 16, -5*b - j = 2*j + h for b.
-2
Suppose -4*s = -0*s - 12. Solve -3*h = 3*z + s, -20 = 4*z - h - 6 for z.
-3
Let h(o) = -3*o + 14. Let m be h(5). Let l be -10 - -14 - (m + -1). Solve 3*b - 4*z = 32, -15 = -3*z + l*z for b.
4
Let k be 1/4 + 11/4. Let z be (-1)/(-2)*(22 + 0). Solve -k*s - 4*i = z, 0 = -s + 4*i + 1 - 10 for s.
-5
Let i = -2 - 2. Let q = i - -9. Solve q*r - 3*r = -3*b - 7, -3*r - 8 = 4*b for b.
-5
Suppose 3*z + 3*w = -6 - 6, 3*z = 3*w + 18. Solve -5 = -5*q + 4*l - z, 4*l + 4 = -4*q for q.
0
Let r(a) be the second derivative of a**5/20 + a**4/12 + a**3/6 + 8*a**2 + 4*a. Let m be r(0). Solve -3*n = -2*x + 20, 5*n + 0*x + x + m = 0 for n.
-4
Suppose 2*h - 5*h + 9 = 0. Suppose -n - 2*n + h*g = -3, 0 = 2*g + 2. Solve -2*o - 4*x + x = n, 3*o - 4*x = 17 for o.
3
Let q = 43 - 40. Solve 0 = -5*l - 3*f - 9 - 16, q*l + f + 15 = 0 for l.
-5
Let k = -36 + 38. Solve 2*p + 3*p = -k*c - 1, 3*p + 12 = -5*c for p.
1
Let f(t) be the first derivative of t**4/4 - 2*t**3/3 - 5*t**2/2 + 3*t + 1. Let d be f(4). Suppose 2*s - 3 = 7. Solve 0 = w + s*r - d, -5*w = r - 26 - 1 for w.
5
Suppose -a = 4*u - 36, -u - 3*a - 18 = -3*u. Suppose u*v = 4*v + 25. Solve 3*w = 4*f - 6*f - 4, v*w = 10 for f.
-5
Let z = -3 + 7. Suppose -5 = -4*a + 3*n, 2*a - 5*n + z = 3. Solve 2*l + 2*g = -g + 11, a*l + 1 = g for l.
1
Let j be 0/(2/(-1 - 1)). Suppose j*z + 4 = z. Let q be 2 - 0*(3 - z). Solve -36 = -5*n - 5*x + 4, -q*n + 7 = -x for n.
5
Let a be (-7)/(2 - 42/20). Let x = a + -31. Let r be (-2)/13 + 201/x. Solve 4*d + 2 = -5*u - 0, 4*u + d = r for u.
2
Let c = 0 - 0. Let j be 0/(-4) - (3 + -11). Suppose 4*l = 8*l - j. Solve c = 2*m - 3*a - l, 5*m = a + 3*a - 9 for m.
-5
Let f = 2 - 2. Let g = f + -2. Let d be 0 - 1 - g - -7. Solve -4*k = -3*c - 1, 4*k + d = -2*c - 6 for c.
-3
Suppose -t + 8 = 3*t - a, -7 = -5*t + 2*a. Solve 2*r - q + 3*q + 6 = 0, 2*r - 19 = t*q for r.
2
Suppose 2 + 1 = g. Solve -5*h - g*y + 26 = 0, 5*y + 0 = h + 6 for h.
4
Let r(c) = -c**3 + 3*c**2 + 6*c - 2. Let x be r(4). Let s be 2 - (-4)/x*3. Let f(d) = d + 5. Let g be f(-5). Solve 2*m - 7*m = -5*h - 10, 2*h - s*m = g for h.
-4
Let w be 10/8*(-20)/(-5). Solve -3*u + b = w*b - 4, -2*u + 6 = b for u.
4
Suppose -3 = -5*p + 2. Let l be 5 + (2 - p)*0. Let u(i) = i**2 - 9*i - 5. Let z be u(10). Solve 5*f = -y - l, -6*f + z = -y - 4*f for y.
-5
Suppose 3*i - 276 = -i. Suppose 168 = 4*m + 4*f, -4*f + f = -2*m + i. Solve 3*r = -2*p + 9, -8 = -2*p + 5*r - m for p.
-3
Let t = 15 + -8. Let l = -5 + t. Solve -h + k = 4, 2*h - l*k = 4*h + 8 for h.
-4
Suppose h = 2*s - 5, 1 + 4 = h. Solve 3*p - 3*z + s = z, 4*p + 5*z - 14 = 0 for p.
1
Suppose 3*l = 5*l - 10. Suppose -l*g + 14 + 6 = 0. Solve g*c = 2*b - 0 + 4, -4*c + b + 2 = 0 for c.
0
Let w = -8 - 2. Let g be w*(24/15 - 2). Solve 3*l + b - 6 = 5*b, g*l + 3*b + 17 = 0 for l.
-2
Let d(g) = g**2 - 4. Let p be d(0). Let x be (-8)/4 + 0 - p. Solve 30 = 4*w - 5*j, -j + x = -2*j for w.
5
Let r(k) = 7*k**3 - k**2 + 2*k - 1. Let c be r(1). Suppose -3 + c = 2*n. Let l(j) = 3*j - 3. Let d be l(n). Solve 4*p + d*y = 2, -3*p - 3*y - 2 + 5 = 0 for p.
-1
Let f = -4 - -9. Let x(i) = i**2 + 4*i + 7. Let r be x(-5). Let v = -4 + r. Solve -3*n - v = -h + 6*h, 3*n + 2*h = -f for n.
-1
Let c be 2 + (19 - (1 + 0)). Let q be (-8)/(-2) + 0 + 1. Suppose 3*g = -q + c. Solve -10 = -5*t - 5, 0 = -b - g*t for b.
-5
Suppose 6*q = 4*q + 6. Suppose -s - 6 = -q*s. Solve t - k + 3 = -4*t, k + s = -t for t.
-1
Let v be (-2 - 10/(-4))*2. Let x(s) = -5*s - 1. Let b be x(v). Let k be (-2)/b - 5/(-3). Solve y + 6 - 11 = 2*p, -y - 15 = k*p for y.
-5
Let z = 1 + 12. Solve -2*g + 26 = 4*y, -3*y = -0*y - 5*g + z for y.
4
Let m(t) = 0*t + 8*t - 2*t**2 - 2*t + 3 - t**3 - 1. Let y be m(-4). Solve 0 = -5*j - y, -5*j - 27 = -4*k - 9 for k.
2
Let l be 2 + -3 + 0 + 3. Solve 5*g = l*c - 4, 4*g + 4*c - 4 = 4 for g.
0
Suppose -2*d - 2*d = -80. Suppose 2*c + 8 = 0, 35 = -0*h - 5*h + 5*c. Let b = h + d. Solve 0*t + 10 = 2*t + 4*s, 0 = t + 3*s - b for t.
-3
Suppose -14*g = -11*g - 12. Solve -z = -4*h + 15 - g, -2*h + 4 = 0 for z.
-3
Let a = -17 - -12. Let x = a - -8. Solve -4*j - x*q - 18 = -j, -12 = 5*j - q for j.
-3
Let k(h) = -6*h - 1. Let j be k(-1). Let w be (-40)/(-6)*(8 - j). Solve 4*f + 2*g = -g + 5, 0 = -f - 5*g - w for f.
5
Let a(