3 - u = -4*y. Let s = 2 - -2. Solve y*t = 2*d - 4, -3*t + 7 = -5*d - s for t.
-3
Suppose -a + 4*h = 0, -a + 3*a + 5*h = 13. Solve 0 = 4*k + 5*n, -4*k + a*n = 2*n for k.
0
Let k be 4/1*(11 + -9). Let d be (6/8)/(3/k). Solve d*s - 1 = -3*q + 6, -4*s - 2*q = -10 for s.
2
Let g(y) = -y - 12. Let j be g(-14). Let r(u) = u**2 + 2*u. Let q be 2 + -1 - (-8)/(-2). Let f be r(q). Solve -4*c - 4*m = 28, 7 = -f*c + 5*m + j for c.
-5
Let g = 70 + -49. Solve -g = 2*m + 4*z + 1, 3*z + 12 = 0 for m.
-3
Suppose -6*u + 4*u = -u. Solve -5*x = -u*d - d + 12, 0 = -2*d - x - 9 for d.
-3
Suppose -4*h + 2*b = -8, -5*h + 3 = -4*b - 4. Solve -5*u + h*w = 9, -5*u - 5*w + 14 = -1 for u.
0
Let v(x) = x**3 - 7*x**2 - 7*x + 6. Let i be v(8). Let g = -14 + i. Solve -5*m - 11 = 3*d, g*d + d = -2*m - 4 for m.
-1
Let g = -32 + 47. Solve 0 = -4*b + b + g, -b = -m - 4 for m.
1
Let x be (-2 - 8) + 5/5. Let h be (-6)/x*(3 - 0). Solve 3*t = 4*m - 11, 4*t + 17 = h*m + m for m.
-1
Let t = -8 + 9. Solve 5*d + t = -4*a + 3, -4*a + 4*d = -20 for a.
3
Suppose 12 = 2*x + 2. Suppose -5*w + x = -5*y, 3*y + 2*w = -2 - 1. Let i be (-8)/(-2*(0 - y)). Solve -i*u - k + 11 = 2*k, -5*u + 14 = 4*k for u.
2
Suppose z = 4*y, 4*z = -0*z + y. Suppose -5*l - 6 = -2*i + 15, z = l + 1. Solve 4*v = -k, -4*v = -3*k + 2*k + i for k.
4
Suppose 15 = -3*r + 3*x, r = 4*x - 7 - 13. Suppose r*p + 2*p = 6. Solve -6 = 4*l + p*o + 26, -4*l + 4*o - 4 = 0 for l.
-5
Let a(d) = -d**2 - 11*d - 13. Let s be a(-9). Solve -l = -4*l + 2*t - 17, s*t + 10 = -3*l for l.
-5
Suppose 0 = -9*f + 6 + 21. Solve 2*n = -f*t - 3, 3*n + 2*t = 3*t + 1 for n.
0
Let k = 4 + -5. Suppose 0*h = -4*b - h + 65, -h = 3*b - 49. Let q = b + k. Solve -5*f - 5*y + q = 0, 2*y = 4 + 6 for f.
-2
Let q(w) = w**2 + 2*w + 1. Let v be -2*(10/4)/5. Let k be q(v). Suppose 4*r - r - 72 = k. Solve 2*t - 19 = -3*x, -3*x + r = 6*t - 3*t for x.
3
Let i = 48 + -40. Solve 0 = 2*b - 2*n - 3*n + 12, -3*b = -n - i for b.
4
Suppose 2*w = 6, 2*q + 38 = 3*q - w. Suppose 36*n - 25 = 41*n. Let y be (-6)/30 - q/n. Solve -y = -3*r + 2*g, 2*r + 0 = 5*g + 9 for r.
2
Suppose -126 = -6*b - 6. Solve -4*v + 3*n = -16, 4*v + n - b = -v for v.
4
Let v = -7 + -1. Suppose -5*f + 9*f + 8 = 0. Let h be v/f*(-2)/(-4). Solve -4*n - h*w - w - 11 = 0, 4*n - 4*w - 24 = 0 for n.
1
Let z be -57*10/(-15) + -3. Solve -5*n = -a + 29, 5*a - z = -0*a + 3*n for a.
4
Let h be ((-3)/(-2))/((-3)/20). Let i = 10 - h. Suppose -2*g - 12 = -3*m - 31, 0 = 3*g - 2*m - 21. Solve -5 = -5*s - 4*o - i, 0 = -o - g for s.
1
Suppose i + 4*i = -10. Let k = i + 5. Suppose -d = -21 - 2. Solve 0 = -g - v + 9, g + g - d = -k*v for g.
4
Let n be 1 + 2 + 1 + 0. Let a be n*(100/(-16))/(-5). Solve -l - 2*q = q - a, -5*l - 2*q + 25 = 0 for l.
5
Let d = 47 - 44. Let p(j) = -j**2 + 2*j + 4. Let a be p(4). Let m(x) = -x**2 - 6*x - 5. Let i be m(a). Solve i*f - 20 = 2*w, w = d*w + 2*f for w.
-4
Suppose -4*o + d + 10 = 0, -3*d = -o + 6 + 2. Suppose u + 2*n = -2*n + 31, -2*u = -n - 17. Solve 7 = -k - 2*q + q, k = -o*q - u for k.
-3
Let o = 85 - 80. Solve 0 = -5*i + o*q - 10, 3*i - q - 13 = 7*i for i.
-3
Suppose 0*k + 150 = 6*k. Solve 0 = b + 5*i - k, 0 = b + i - 0*i - 5 for b.
0
Suppose 0 = 2*v - 9 - 1. Let z be 1 + (-1)/1 + v. Solve -6*w - 32 = z*b - 2*w, 0 = -b + 2*w + 2 for b.
-4
Let h(n) = -1. Let z(l) = -l**3 - 9*l**2 - 8*l - 6. Let g(f) = 2*h(f) - z(f). Let u be g(-8). Solve -r - b = -7, -u*r + 9 = -2*r + b for r.
2
Let k(l) = -2*l + 2. Let i be k(-2). Let o be (-88)/(-12)*6/4. Suppose 19 - 19 = v. Solve i*u - 3*u - 2*f - o = v, -u = -3*f - 13 for u.
1
Suppose 9*f - 10*f = -4. Solve 0*b + 21 = 3*z - f*b, b + 9 = 2*z for z.
3
Let k(p) = p**2 + p + 5. Let b be k(0). Suppose -5 = -2*h + b. Let n = 1 + 3. Solve n*l - 3*l = -5*f + 14, -18 = -h*f - 2*l for f.
2
Let w = 3 - -1. Let f(o) = 5*o. Let z be f(3). Suppose -w*v + z + 9 = 0. Solve 3*a = -q - 9 - v, -7 = a + q for a.
-4
Let s(l) = -l**3 + 10*l**2 - 10*l + 10. Let d be s(7). Suppose -5*u + 4*y + d = 0, 3 = -4*u + 5*y + 78. Solve 0*c + u = -c + 3*o, -3*o = 2*c - 15 for c.
0
Let t be -1*((-4)/(-2) - 0). Let r(w) = w. Let z be r(t). Let y be z*(-3 + 2) + 2. Solve -2*o - 3*o = -y*c + 5, 5*c = -25 for o.
-5
Suppose 2*t = 8, 2*g + 0 - 6 = -5*t. Suppose -11 = -2*r + r. Let q = r + g. Solve -2*b + 3*o = 19, 5*b + q + 16 = 2*o for b.
-2
Let q(b) be the first derivative of b**2/2 - 4*b + 1. Let u be q(9). Solve -3*a = -m - 1, -a - u*m = 3*a + 5 for a.
0
Let n(s) = -s**3 - 2*s**2 - 2*s + 1. Let b = 8 - 10. Let j be n(b). Let t be (-2)/3 + (-17)/(-3). Solve t*h = 2*l + 19, 5 = -3*h - j*l + 4 for h.
3
Let x = -6 + 6. Solve 2*d + 2*v - 2 = x, -2*d - 2*v = v - 4 for d.
-1
Let h = -68 + 72. Solve z + 0 = -4, 2*z = -h*k - 4 for k.
1
Let g = 31 - 26. Solve k - r = -7, 3*r = k + 8*r - g for k.
-5
Let n(s) = -s - 2. Let q be n(-4). Solve 4*m + 28 = -q*b, -3*b + 13 = -m - 4*m for b.
-4
Let z(g) = 3*g**2 + g**3 + g**2 - 7*g**2. Let h be z(3). Solve -3*u + o = -13 - 3, u + 3*o + 8 = h for u.
4
Suppose -2*y - 4 = -4*y. Suppose -22 = -10*l + 18. Solve l*z + 4*u = -4, -4*u + y*u = -2*z - 2 for z.
-1
Suppose -3*o = 5*j - 10 - 9, 0 = -5*o - 2*j. Let m be o/(-4)*0/(-2). Solve -1 = 2*f - g, m*f - 3*g - 19 = 5*f for f.
-2
Let i be (-8)/(-3) + (-64)/(-48). Solve l + 1 = 3*x, 0*x - 4*x + i*l + 4 = 0 for x.
0
Let i be (1 - -5)*(-7)/(-14). Solve -3*z - 15 = -3*n, i*z + n = 2 - 1 for z.
-1
Let k = 6 - 3. Suppose z = 5*p, 0 = -p - 2*z + k*z. Solve -4*s - 16 = 0, p*s + 22 = -j - 5*s for j.
-2
Let v(z) = 4*z**2 - 4*z - 6. Let d be v(-2). Let w be (-2)/(-12) + 33/d. Solve -3*t = 12, w*i - 3*t - 12 = 7*i for i.
0
Let v(s) = 2*s**2 + 2*s - 9. Let u be v(2). Solve -13 = 2*h + 2*h - o, 4*o = u*h for h.
-4
Let z = 22 - -10. Suppose 3*k - 4*j = z, 49 = 5*k - 3*j - 8. Let o be (-2)/(-3) - (-280)/k. Solve -4*x - 3*h - o = h, -2*x - 17 = 3*h for x.
-1
Let k = 46 + -33. Suppose 0 = 3*v + v + 2*i - 4, 3*v - 2 = -i. Suppose 10 = 5*w - v. Solve 11 = -w*t + 5*g - 2, 3*g + k = -4*t for t.
-4
Suppose -10 = -x - 5*l, 2*l = -3*x - 2*l + 19. Solve 0*d - x*d - 18 = c, -c = -5*d - 12 for d.
-3
Let r(b) = -b**3 + 9*b**2 - 8*b - 1. Let l be r(8). Let y be 0*(0 + l/2). Suppose z - 1 = 1. Solve y = 3*j + t - 4*t - 24, -z*j = 2*t - 4 for j.
5
Let r(q) = 11*q - 88. Let i be r(8). Let n = 4 - 3. Suppose 2*p + n = 7. Solve 2*b + p*h = 6*b - 21, i = -2*b - 5*h - 9 for b.
3
Let q(x) = 7*x**3 - 1. Let p be q(1). Solve 4*t + 3*f = p*t + 23, 0 = 2*t + f + 3 for t.
-4
Suppose 0 = 2*s - 8. Suppose -4*i + 8 + 2 = d, -16 = -4*d - s*i. Solve -3*b = d*v + 11, 3*v = v - 5*b - 13 for v.
-4
Suppose 0 = 15*l - 11*l. Suppose m + m = l. Solve 3*i + 4*t + 0*t + 9 = m, 2*i + 5*t + 13 = 0 for i.
1
Let f = 7 - 3. Let b = f + -4. Let n = 2 + b. Solve -4*q - w + 0*w = 0, 8 = n*w for q.
-1
Let k(t) = t**3 + 18*t**2 + 16*t - 15. Let y be k(-17). Solve 0*z - f = y*z - 7, -3*f = 5*z - 20 for z.
1
Suppose -20 - 60 = -5*i. Solve -2*u - 12 = 5*s, 3*u - 5*s - i = 4*u for u.
4
Let m be (3 - -1) + (-7 - -5). Suppose -m*t = t - 6. Solve -2*f = 4*s + 12, 0 = t*s - f + 4*f - 2 for s.
-5
Suppose 4*f + 0*f = 4*o + 96, 4 = -o. Suppose -g + f = 4*g. Solve 3*u + g*r - 15 = 0, 2*u + 4*r + 0*r - 10 = 0 for u.
5
Let p = -46 + 98. Suppose 0 = -w - 3*w + p. Solve -3*l + 3 - 5 = 2*s, s = 2*l + w for l.
-4
Let n be 18/5 - (-8)/20. Let k = 1 + 19. Solve 20 = -4*j + 4*g, -3*j = j + n*g + k for j.
-5
Suppose 2*p = 6, 4*a + 6 = -p + 25. Suppose -3*b + a*b - 41 = -4*z, -4*z + 37 = -3*b. Let m = z + -6. Solve m = -3*s + u - 0*u, -s - 4*u = 10 for s.
-2
Let k be (-3)/((-45)/51) + (-4)/10. Solve 2*r - r = -3*b + 2, -15 = -k*r for b.
-1
Let d = 1 - -3. Let g(r) = r**3 - 9*r**2 + 8*r + 5. Let m = 12 - 4. Let q be g(m). Solve 0 = -n + d*v + 15, 3*v - 2*v + q = -n for n.
-1
Suppose -5*i + 2*i = 0. Suppose i*c - c = -5. Suppose -5*k = 5*s, c*k - s + 2*s = 20. Solve k*p + 4*m + 20 = -m, -3*p - m = 4 for p.
0
Let l be (5*-1)/(2 + -3). Suppose 0 = h - 2*h + l. Solve -2*o = 3*r + 23, h*o + 2*r + 17 + 13 = 0 for o.
-4
Suppose 45 = 14*u - 9*u. Suppose u*t - 8*t - 4 = 0. Solve t*l - 2*b = -10, -5*l - b = b - 10 for l.
0
Let n(b) = -2*b**2 - 12*b + 14. Let m be n(-7). Solve -21 = -2*s + s - 5*r, m = -2*r + 8 for s.
1
Let i(f) = f**2 - 5*f - 4. Let k be i(6). Suppose -k + 10 = 2*n. Solve 5*h - 7 = -2*m + 4, -