 = 3*u - 5*l - 1 + 15. Suppose 20 = 7*w - u*w. Solve -r - 3*z + 7 = r, 3*r = -w*z + 8 for r.
-4
Let v(c) = -2*c + 5*c + 5*c + 2*c. Let s be v(2). Suppose 11*g = 6*g + s. Solve 0 = -u + 4*n - 8, 0*u - g*n = 3*u + 8 for u.
-4
Let a = -9 + 7. Let k be (a/(-3))/(8/60). Solve 0*m + m + 2*x - 3 = 0, -m - k*x = -6 for m.
1
Suppose 17 = 5*v - x - 1, 4*x = -3*v + 20. Solve 4*n + 4 = 4*i - 4, v*i + 20 = -3*n for n.
-4
Suppose -h - 28 = 3*h. Let d(y) = -y**3 - 7*y**2 + 2*y + 10. Let a be d(h). Let v(x) = -x - 2. Let u be v(a). Solve u*t = -2*g - 8, -t = -2*g + 5*g + 14 for g.
-5
Let b(k) = 0*k + 10 - 2*k + 4. Let x be b(11). Let o = x + 13. Solve p = -5*d - o, 5*d = -4*p + 2*p for p.
5
Let j be (-2)/4*0 - -4. Suppose -d - j*c + 13 = 0, 5*c - 11 = -d + 4. Solve -d*v = -i - 2 - 20, 0 = 4*v - 16 for i.
-2
Let x(b) = -b - 8. Let p be x(-13). Solve -m + 1 = -2*k, -16 = p*k - m + 3*m for k.
-2
Let f be -1 + 12 + 0 + 1 + -4. Solve 0*b + s = 4*b - 11, -4*s + f = -3*b for b.
4
Let j = 124 + -120. Solve -j*m = t, -3*t + 2 = -2*t + 2*m for t.
4
Let o(i) = 3*i**2 - 3*i - 3. Let v be 5/5 + 3 + -1. Let j be o(v). Solve 0 = -c - c - 3*x - 6, 3*x + j = -5*c for c.
-3
Let q be (-4)/(8/(-6)) + -1 + 0. Solve -2*m = -4*p - 18, -4*p = -3*p + q*m + 2 for p.
-4
Let a = 3 - -9. Suppose d = -2*d + a. Suppose 0*c + 4*c = 20. Solve 6 = c*r - 3*l - 0, -2*l = -d*r + 4 for r.
0
Suppose 2*r = 4*r + 5*z - 12, z = -2. Suppose 0 = 4*j - 1 - r. Solve 2*f + 3*v + v - 6 = 0, 0 = 3*v + j for f.
5
Suppose 3*m + 1 = -14. Let r be -1 + (-3 - m) - -3. Solve 13 = y - 5*u, -r + 23 = -2*y - 5*u for y.
-2
Let k = -9 + 21. Suppose k - 3 = 3*f. Suppose -3 = l, -3*r + 2*r = f*l + 6. Solve 0 = -3*n + 4*n + 2*d - 11, 3*n + r*d - 21 = 0 for n.
3
Let z be (-4)/(2 - 24/9). Let t be 3*z/9 - 2. Let g(a) = -a. Let b be g(t). Solve n - 4*l - 20 = 0, b = -0*n + n - 5*l - 25 for n.
0
Suppose 3*y - 4*p + 3 = 2, -p = -3*y - 16. Let g(c) = -c**2 - 10*c - 9. Let k be g(y). Solve -4*j = i + i - k, -5*j + 14 = 3*i for j.
4
Let t be 1 - (-4 + 0) - -1. Solve -5*n - 5*c + 15 = 0, -n - t*c + 8 = -4*c for n.
-2
Let a = -18 - -22. Solve -2*p - 2*p - 4*y = -a, -3*y + 4 = 2*p for p.
-1
Let s be ((-3)/(-7))/(1/7). Solve -27 = -5*k + 4*q, -2*k + 7*k + 4*q = s for k.
3
Suppose 3*t + 0 + 3 = f, -2 = 2*t + 2*f. Let i = 1 - t. Solve n - i*q + 10 = 0, n + 4*q = -3*n - 4 for n.
-4
Suppose 95 = 6*d - 85. Solve 4*r - 3*j + 27 = 0, -3*j + d = -r - 4*r for r.
-3
Suppose 4*p + r = -0 + 89, 4*r = 5*p - 106. Let l = 32 - p. Solve -4*k = -4*t + 7 + 13, -4*k - l = t for t.
2
Suppose o = 5*x + 15, -3*o + 86 = 2*x + 24. Suppose -b - o = -6*b. Let a(i) = -i**3 + 8*i**2 - 6*i. Let m be a(7). Solve 3*f + m = w, 2*f + b = 2 for w.
4
Let i(b) = b + 6. Let k be i(-4). Solve 0 = -5*z - 4*q + 15, -k*z - 1 + 9 = 2*q for z.
-1
Let r be 94/18 - 4/18. Solve -l = 4, -n - r = 3*l + 4 for n.
3
Let l = 5 + -10. Let q be (0 - -1) + (-7 - l). Let a = q - -3. Solve -7 = 4*z + j, 0 = -a*z + j + 3*j - 8 for z.
-2
Suppose -3*d - 59 = -3*s - 5*d, 4*d - 33 = -s. Solve -2*v - 4*j = 22, -42 = 2*v + 5*j - s for v.
-5
Let l(o) = -o**3 - 2*o**2 - 3*o - 3. Let f be l(-2). Let k(v) = 2*v**3 - 3*v**2 - 3*v - 4. Let b be k(3). Solve -b = -4*a - m, -2*m - f = -3*a + 2 for a.
3
Suppose 5*l + 0*l = 0. Suppose 5*u = 4*j + 26, 2*j = 2*u - j - 9. Let v(o) = o - 4. Let h be v(u). Solve l = h*m - 4*d - 10, -m = -d - 0*d for m.
-5
Let p be ((-2)/3)/(-4 + (-1850)/(-465)). Solve 5*c = -3*r - r + p, -3*r + 18 = 2*c for r.
4
Let h(c) be the second derivative of c**4/12 - 7*c**3/6 + 3*c**2 + 5*c. Let v be h(6). Solve v = -3*p + 5*l + 4, 3*l + 1 - 3 = 4*p for p.
-2
Let d(f) = f. Let a be d(8). Solve b - 4 + 22 = 4*y, -3*y + a = 2*b for y.
4
Let l(i) = -i**2 + 10*i - 22. Let w be l(6). Solve 4*v - 21 = -3*m, 4*v + 2*m - 24 = -w*m for v.
3
Let c = -10 - -7. Let s = c - -5. Suppose 7*j - 3*j = 20. Solve -22 = j*r - 3*y, -4 = -3*y + s*y for r.
-2
Let f(o) = o**2 - 10*o + 10. Let q be f(10). Suppose 0 = 3*w + 1 - q. Solve 2*n + z = 1, -6 = -3*n - 3*z - w for n.
0
Suppose -g + 0*v = 5*v + 7, g = -4*v - 2. Let l be (-205)/(-9) - (-4)/g. Solve 10 = -4*c + 2*z - z, -l = 5*c + 4*z for c.
-3
Suppose 4*n - 6*n = 0. Suppose u - 3 = -n*u. Suppose -38 + 44 = 3*a. Solve 3*f + 18 = 3*v, -u*v + a*v = 4*f + 19 for v.
1
Let r be (-1 + 4)/((-15)/(-70)). Solve w + 3*m + 2*m + 23 = 0, 2*w = 5*m + r for w.
-3
Let j = -104 - -109. Solve 2*f + f = 4*m - 4, f + 5*m - j = 0 for f.
0
Let o(f) = f + 0 - 6 + 0*f - 3*f. Let c be o(-4). Solve 3 = c*j + s, -3*j = -0*s - 2*s + 6 for j.
0
Let m(k) = k + 9. Let j be (-6)/8 + 26/(-8). Let c be m(j). Solve -4*b = -x - 1, c*x + b - 5 = -31 for x.
-5
Let h = -1 - 0. Let v be 6/6 + (h - -5). Suppose 1 = -z + v. Solve 0 = 4*l - z*b, 0 = -3*l + b + b + 1 for l.
1
Let j be -5 - -4 - (0 - -1) - -23. Solve -3*u - 18 = 2*h + h, 4*h = -3*u - j for u.
-3
Suppose h = -3*h + 36. Let s = 12 + h. Let o be (-4)/(-14) - (-99)/s. Solve -5*t = a - 25, -25 = -5*a - o*t - 0 for a.
0
Let v(c) = -3 + c + c**3 + 5 - 2*c**2 - c**2. Let h be v(2). Suppose h*p - 16 = -4*p. Solve -z + 3*x = -0*z + 2, -x + 5 = p*z for z.
1
Suppose 5*i = 5*d + 545, 2*d + 3*d + 5*i + 565 = 0. Let b = 73 + d. Let z = -23 - b. Solve 0*h - 10 = 2*a - h, -a = -3*h + z for a.
-3
Let q be 4*(-4)/(-24)*18. Let p = 5 + -3. Solve q = -3*w + g, 3*g - 7*g + 18 = -p*w for w.
-3
Let y(k) = k - 5. Let p be y(7). Suppose -p*v = 2*v - 20. Solve -2*d + v - 3 = 2*w, -2*w = 3*d - 1 for d.
-1
Suppose 8 = -6*h + 200. Solve -4*n + h = -4*f, -f - 17 = n + 3*f for n.
3
Suppose -b = b. Solve -x + 6*x + 21 = 2*v, 5*x + 2*v + 9 = b for x.
-3
Let l = -30 - -34. Solve -10 = n + 4*n, -l*v + 4*n + 4 = 0 for v.
-1
Let z(c) = -c - 4. Let j be (-10)/(-3)*(-6)/5. Let t be z(j). Suppose 0 = 7*l - 4*l. Solve l = 2*h - 5*o + 19, t*o + 2*o = h + 8 for h.
-2
Let m = 3 + 0. Suppose -12 = -m*t - t. Solve 5*o - 2*o = -h + t, -3*h + 1 = 5*o for o.
2
Let d = 29 - 20. Let n = -4 + d. Let h(v) = v**3 - 5*v**2 + 4*v. Let i be h(4). Solve 2*t + 3*m = 11 - i, 30 = -n*t + 4*m for t.
-2
Suppose -b - 2*b - 19 = -2*s, 3*s - 11 = b. Suppose 0 = -5*z - 3*v + 24, -s*z + 2*v = -3*z + 9. Solve 2*w - 5*g - 2 = 0, 0 = -z*w - 4*g + 5*g + 3 for w.
1
Let s = 59 + -49. Solve 0*w - 11 = -m - 2*w, -s = -2*w for m.
1
Let x(r) = -r**2 - 15*r - 19. Let l be x(-12). Solve 2*t + 2*i - l = -3*i, 4*t + 8 = 4*i for t.
1
Suppose 0 = 4*m + 293 - 341. Suppose 4*f - 15 = 5. Suppose -f*t + 10 = -4*w - 10, 3*w = 0. Solve t*a + m = s, 0*s - 3*a - 9 = 2*s for s.
0
Let k = -3 - 1. Let u = k - -7. Let t = -152 - -168. Solve u*h = -j - t, 6*j - h = j - 16 for j.
-4
Let w(c) = 2*c - 4. Let y be w(4). Suppose -5*v - 3*l = -4*v - 30, v - l - 10 = 0. Solve 2*a + 3*d + 23 = 0, y*d = d - v for a.
-4
Let l be 2 + -2 - (-1 + 0). Let q be (-2)/4*2 - -4. Suppose -u = -4*u - q*k + 15, -4*u + 3*k - l = 0. Solve u = -c - 2*t, 0*c = -4*c + t - 17 for c.
-4
Let y(x) = -7*x - 9. Let k be y(-2). Solve 5*g - 19 = 4*t, t + g - 7 = k*t for t.
-1
Let d = -13 - -23. Suppose 2*p = v, p + 0*p - d = 3*v. Let o be (3 + -4)*p*2. Solve 5*x + 30 = -5*g, x = -o*g - 2*x - 21 for g.
-3
Let r = -209 - -212. Solve -3*q - r = 4*o, -1 + 3 = -4*o - 2*q for o.
0
Let q be (-80)/(-70)*7/2. Solve -q*b + b = 3*z + 18, 2*z = -3*b - 16 for b.
-4
Let l be (-2)/(8/(-26))*-2. Let q = -8 - l. Solve -q*f + 10 = -0*p - 4*p, 2*p + 4*f = 8 for p.
0
Let a(t) = t**3 + t + 1. Let h(m) = -4*m**3 + 3*m**2 + 3*m - 5. Let c(o) = 3*a(o) + h(o). Let q be c(4). Solve 4*x = -3*l + 19, -2*l + 0*l - x = -q for l.
1
Suppose 3*p - 7*p + 48 = 0. Let j be (p/8)/(2/4). Let h = 7 + -4. Solve 0 = -v - 3*n - 8, h*n = j*v - 0*v for v.
-2
Suppose -5*o = -0*o - 15. Solve 2*w = -3*r - 25, -6*w - o*r - 35 = -2*w for w.
-5
Let i = 22 + -15. Suppose -9 = -q + 4*g + i, -2*g + 4 = 0. Let s = 630 + -628. Solve a - d = 2, s*a + 5*d + q = -0*a for a.
-2
Suppose -4*c - 9 = -2*s + 3*s, 2 = 2*c. Let a = -3 - s. Let l be 42/4 + (-5)/a. Solve -u + 1 = 3*m, -5*m = -5*u - l*m + 5 for u.
1
Let t be -6*(-2)/4 - 0. Suppose 0*p + 20 = 5*p. Suppose 0*r - 2*o = r - 11, -41 = -p*r - 5*o. Solve t*g + 5*l = -0*l - 13, 0 = g - l - r for g.
4
Let u(b) = b**2 - 2*b. Let n be u(3). Solve n*o + 27 = 3*q, 4*o - 3*q + 4*q + 11 = 0 for o.
-4
Let p = -149 + 212. Suppose 2*b + p = 5*b. Solve 5*v + 10 = 3*r, r = -v -