 - 2. Let l be (5/(-15))/(h/(-12)). Solve 3*s - d = -19, d - 20 = -l*d for s.
-5
Let w(z) = -2*z**2 - 4*z + 3. Let o be w(0). Solve -6*s - 4 = -2*s + 2*a, -4*a = o*s + 8 for s.
0
Let q be 1/5 - (-57)/15. Let u be 3 + (1 - q) - -2. Let y = 4 - u. Solve 3*k = -c - y - 0, 2*k = c - 8 for c.
4
Let c(s) = 6*s**2 - 15*s - 4. Let a be c(3). Solve 2*d + 5 = a*x + 10, 4*x - 4*d + 16 = 0 for x.
1
Suppose 0 = 2*v - 4 - 6. Let b be (1 - 685/(-7)) + (-1)/(-7). Let d = -96 + b. Solve -4*l - d*q = -2*q - v, -4*q = -4 for l.
1
Let t = 19 - 11. Suppose -p = 4 - t. Let b be p/8 - (-15)/6. Solve 0 = -g + f - b, 5*g + 4*f + 16 = 2*g for g.
-4
Suppose 2*u = -0*u + 4. Let m be 3 - (2 + u + -3). Let j = 0 - 0. Solve -2*b + 25 = 3*b + 2*c, -b + m*c + 5 = j for b.
5
Let s be 8/(-12)*-1*3. Suppose 0 = s*o + 4, 5*l + 5*o - 3*o = -19. Let j be 1*7 - (l + 6). Solve 10 = 2*r - 3*f, 2*r - 4*f + 8*f = -j for r.
2
Let f(y) be the first derivative of -y**3/3 - 3*y**2 - 3*y - 11. Let j be f(-4). Solve j*o - 3 = 2, 5*z + o = -4 for z.
-1
Suppose -d - 2*b + 17 = 0, 11*d + 2*b + 51 = 14*d. Solve -4*z = -m - d, -8 - 8 = -2*z - 2*m for z.
5
Suppose 117*v = 24*v. Solve -2*n - 5*r + 31 = v, -6*n + 4*n = 2*r - 16 for n.
3
Let o = -243 + 255. Solve 0 = -8*v + 4*v + 4*j - 12, -o = -4*v - 4*j for v.
0
Let f(h) = -3*h - 79. Let z be f(-23). Let v(p) = p**3 + 10*p**2 + 2. Let n be v(z). Solve -4*c - 5 = c - 3*w, 0 = n*c - 4*w + 2 for c.
-1
Let h(n) = -n**2 + 7*n + 78. Let j be h(-6). Solve 4*r - 16 = j, -g - 2*r + 9 + 1 = 0 for g.
2
Let r(z) = z**3 - 5*z**2 - 2*z - 2. Let f be r(5). Let v = 21 + f. Let u = v - 7. Solve 3*k - 25 = u*p, 4*p + 2*k = -2*k for p.
-5
Suppose 292 = -16*o + 356. Solve o*g - 4*v = 0, -6*g + 3*v = -2*g for g.
0
Let i(n) = n**3 - 11*n**2 + 19*n + 17. Let j be i(9). Let z be (0 + 3)*4/3. Suppose -z*o = 10 - j. Solve o*c = 2*g + 4, -3*g + 3*c = 2*c - 4 for g.
2
Let t(m) = m**3 + 7*m**2 + 7*m + 6. Let k be t(-6). Suppose -4*a - 2*r = -34, k = -5*a - 0*r - 3*r + 42. Solve 3*d - 2*v = a, d + 3*v + v = -11 for d.
1
Let p(u) = u**2 + 27*u - 874. Let f be p(19). Solve f = -3*r + 4*x - 2, 5*r - 3*x + 2 = 3*r for r.
2
Let m(v) = -v**3 + 12*v**2 + v - 12. Let w be (2 + 3)*(-12)/(-10). Suppose w*p = p + 60. Let n be m(p). Solve -3 = 2*u + k, u - 6*u - 3*k - 5 = n for u.
-4
Let s = 10 + -8. Suppose -5*m + 14 = -7*k + 10*k, m - 16 = -5*k. Solve 4*n = 3*r + n, -k*r - s*n = 0 for r.
0
Let a = -419 + 431. Solve 0 = 3*m - 2*k + a, -k = -0*m + 5*m + 7 for m.
-2
Let r be (12 - 4/(-1)) + -5. Solve 3 = x - 2*a, r = x - 7*a + 3*a for x.
-5
Suppose -u - 3*w + 23 = 2*w, -3*w - 7 = -u. Let a = -13 + u. Suppose 4*o - 2*o - 4 = a. Solve 6 = 3*f - o*d, 2*f - 5 + 1 = 5*d for f.
2
Let v be 1 + -6 - 3/(-3). Let y = v + 4. Suppose -2*q + 8 + 2 = y. Solve -c + 30 = -5*i, 0*i = q*i + 5*c for i.
-5
Let m = 15 - 35. Let l = 25 + m. Solve -4*y - 6 = -l*v, 2*y - 12 = v - 6*v for v.
2
Let u be (-1 - -8) + (18/(-3) - -4). Suppose 43 = -u*o - g + 132, -o - 5*g + 13 = 0. Solve 2*n = -i + 6, 0 = -3*n + 4*i + 49 - o for n.
5
Let q = 254 - 248. Solve 5*c - q = 2*a + 7, -3*c + 23 = -5*a for a.
-4
Let m be -4 - 0 - 156/(-6). Let b = 42 - m. Solve -3*z - 2*s + 3*s = -b, -4*z + 15 = s for z.
5
Let u be (-12 - -16)*(-3 + 51/12). Solve y - d = -5*d - 9, u*y - 27 = 4*d for y.
3
Let c be 88/18 - 3/(-27). Suppose -y - 40 = -5*x - 6*y, -2*y - 44 = -4*x. Suppose l - 31 = -x. Solve 5*a + 12 = -4*g, -4*a - 6 = -c*g - l for a.
0
Suppose t = -w - w, -w - 18 = 5*t. Let j be 1 + 7 + 12/t. Solve -j*g + x = 13, 5*g - 3*x - 2 = -7*x for g.
-2
Let c be ((-135)/(-18))/((-2)/4). Let q(l) = l**3 - 3 + 7 - 15*l**2 + 1 - 2*l**3. Let r be q(c). Solve -2*y - 4*h = 10, -7*y - r = -3*y + 5*h for y.
5
Suppose c - 1 - 3 = 0. Suppose -6*b + 9*b = 15. Suppose f - b*f = -8. Solve 4*t + 20 = -f*m, -c*m + t + 5 = -0*t for m.
0
Suppose -2*i - 14 = -20. Let x be (50/(-4))/((-8)/16). Suppose 5*h = 2*f - x, 2*f + 10 = -4*h + 2*h. Solve 4*l + 16 = -2*b, 2*b - i*l + 6 - 4 = f for b.
-4
Let b be 12*(-4 - 26/(-6)). Suppose d = -d + b. Solve 3 = -t - 0, 0 = d*s - 3*t - 3 for s.
-3
Suppose 0 = 13*l - 63 + 11. Solve l*q = 4, 0*q = 5*u - 3*q + 3 for u.
0
Suppose 4*i = 57 - 25. Let x(q) = q**3 - 7*q**2 - 4*q + 8. Let t be x(i). Let s = t + -15. Solve 3*k + 6*n = 3*n - 12, -4*k + 5*n = s for k.
-5
Let g = -950 + 955. Solve -g*t + 11 = 2*q, -3*t - 2 = t - 2*q for t.
1
Let p be (-40)/12*(-27)/18. Solve 5*f + 5 = 3*r, p*f + 11 = r + f for r.
-5
Let n(j) = -j - 1. Let s be n(-1). Suppose 4*h + 20 = 0, a + 6*h - 2*h + 5 = s. Suppose -4 = 3*g - 4. Solve -5*c = -g*c + 3*x - 15, 5*c - a = 3*x for c.
3
Let f be ((-1)/4)/(-1) - (-473)/172. Solve o = f*n - 0*o - 8, 0 = -n + 2*o + 6 for n.
2
Let r = -16 - -5. Let m = -20 - r. Let p(y) = -y**2 - 9*y + 5. Let z be p(m). Solve -z*b = 3*v - 6, 4*v + 4*b = 2*v + 6 for v.
-3
Let n = -16 + 13. Let f be (-18)/(-3) + (n - 1). Suppose 0*v + 2*v - 12 = -f*s, -v + 12 = 3*s. Solve k = 3*h + 9, 5*h + 0*k - v*k = -19 for h.
-2
Let s = 939 - 936. Solve -4*f - 5*w - 3 = 0, -3 = 2*f + s*w - 2 for f.
-2
Let r be (0/1)/1*(-7 + 6). Let o be 9/(-9) - (-1 + r). Solve 4*m - 5*a + 36 = o, -2*a + 6*a = 3*m + 28 for m.
-4
Let o be (228/(-9))/((-1)/(-3)). Let x = o - -93. Solve -2 = 2*h + 8, 0 = -2*g + 3*h + x for g.
1
Let t be 6/(-120)*8*-60. Solve 3*v - 1 = 6*y - 5*y, 4*y + 2*v = t for y.
5
Suppose -4*r + 28*r = 0. Solve r*t = 5*t + 4*g - 25, 0 = -2*t + 5*g - 23 for t.
1
Suppose h = -4*q + 7 + 3, 3*h + 6 = 0. Suppose -5*s = -7 - q. Solve -s*a = -4*o - 4*a - 2, 2*o - a - 1 = 0 for o.
0
Let r = -224 - -239. Solve -g - 1 = -0*g + d, 0 = -3*g + 3*d - r for g.
-3
Suppose -10 = -2*s, 2*s = 2*d - d + 2. Suppose -d = -0*o - 4*o. Suppose x = -o*x. Solve -a = -x*f + f, 5*f + 12 = -2*a for f.
-4
Suppose -4*k = i - 77 + 89, -i + 8 = -k. Solve i*j - 2*p + 20 = 0, j - 3*p + 12 = p for j.
-4
Let n = 29 - -1. Suppose 6 + n = 9*c. Solve 1 = 3*v + 3*a - 20, c*v - 2*a = 16 for v.
5
Suppose -x = -0*x + 4. Let w = x + 3. Let g be (2 + 1 - 3)/w. Solve 16 = 4*t, g*q + q - 21 = -4*t for q.
5
Let k = -50 - -14. Let a = 38 + k. Solve z + a*m = -5, 3*z + 4*m = 2*z - 11 for z.
1
Let j be (-22)/(-6) - (-16)/(-24). Solve -6 = j*t - p, -4*p - p - 15 = 0 for t.
-3
Let h(f) = f + 14. Let s(z) = -11*z**2 + 3*z + 2. Let c be s(-1). Let b be h(c). Solve b*x + 2 = -0*x + o, -6 = -x + 4*o for x.
-2
Suppose 0*l - 6 = -2*l. Suppose -l*p = 5*f + 5, -f = -1 + 2. Solve -3*t = -4*x - 11, 4*x - 4*t - t + 13 = p for x.
-2
Let b = 544 - 542. Solve 0 = 3*a, b*g + 3*a = a - 8 for g.
-4
Let b(m) = m**2 - 20*m - 120. Let g be b(-5). Solve 0 = -5*x - y + 27, -6*y = -g*x - 3*y + 19 for x.
5
Suppose -2*w = 2*w - f - 18, w + 3*f - 11 = 0. Solve 4*l + 3*x + 2 - 1 = 0, -w*l - 2*x = -4 for l.
2
Let i be (1/2 - 1)*(-3 + -3). Suppose -4*w - 4 = -5*t, 4*t = i*w + w. Solve 9 - 20 = -t*u - 3*s, -13 = -5*u - 4*s for u.
5
Suppose 56 = -8*t + 16*t. Suppose -7 + t = 3*y. Solve y*d + 2*d - 2*w + 12 = 0, 3*w = -4*d + 11 for d.
-1
Let h(d) = 32*d - 2302. Let z be h(72). Let u be (3/(-3))/(2/(-4)). Suppose 0 = 2*n + 6, 2 = -2*l - u*n - 0. Solve l*c - 5*v = 6, -z*c = 3*c - v + 8 for c.
-2
Let m be (-258)/(-15) + 16/20. Solve 5*k + 2*c - 4*c = -m, -2*k - 5*c = -16 for k.
-2
Let g(p) = -p**2 - 72*p - 390. Let m be g(-66). Solve u + 3*h - m = 0, 3*h - h = 6 for u.
-3
Let p(f) = 2*f**3 + 4*f**2 - 3*f - 2. Let d be p(-2). Suppose 7*v - d = 17. Solve 3*u - 3 = -v*k, 5*k - 7 = 5*u + 8 for k.
2
Suppose -5 = i, -z + 5*i + 29 = z. Solve 2*q + 3 = -3*d, z = -2*d + q - 7 for d.
-3
Let c = -361 - -365. Solve -5*h + a - 2 = -2*h, -h - c = 3*a for h.
-1
Suppose 5*t - 4*t + 26 = 5*j, -3 = -j - 2*t. Solve 3*d = 4*d - s - j, -s = 5*d - 19 for d.
4
Suppose 21*q = 25*q - 20. Suppose -q*b = -b - 8. Solve -b*i = -2*f + 12, 10*f - 5*f - 6 = -3*i for f.
3
Let c = -11 - -16. Suppose 0 = -a + 5*u - 5, 2*u - 2 = -2*a. Suppose i = -c*l + 5, a = -l - l - 5*i - 21. Solve -2*v = 2*h + 3*h - 6, -2*v = l*h for v.
-2
Let i be 0 + -10 - (-6 + 2). Let u(p) = 2*p**2 + 12*p + 8. Let l be u(i). Solve -2*z + 4*f = 24, 3*f - l = -3*z - 2*f for z.
-4
Suppose -117 - 3 = -15*y. Suppose -9 - 23 = -y*l. Solve -12 = -0*w - w - l*c, c - 3 = -w for w.
0
Suppose j - 5*u - 15 = 0, -82*j - 16 = -84*j + 3*u. Solve -3*p = 2*w - 12, 0 = -2*w + j*w for p.
4
Suppose 2*r +