/(-3))/(2/12). Suppose -5*k = -b - 5 - 7, 0 = -3*k - 2*b + 15. Solve j = -k*r, -2*v + 0*v - 2*r = 4 for v.
0
Suppose -3*z + 0*z - 2*n = -9, 0 = -n. Suppose -9 = -z*s - 0. Solve -3 + 9 = -s*u - k, -5*k = -15 for u.
-3
Let a = 12 + -10. Suppose 3*o = -a*o + 10. Let q = -2 - -2. Solve o*s - s - 3 = -c, q = 4*c for s.
3
Let r(i) = -i**2 + 2*i + 3. Let x be r(3). Let b(f) = -f + 1. Let o(l) = 1. Let j(p) = -b(p) + o(p). Let m be j(4). Solve m*q - 16 = x, 2*a - 2*q = 2 - 8 for a.
1
Suppose 2*x - 28 = -0. Solve 3*l + 4 = -4*z + x, -12 = -2*z + 2*l for z.
4
Suppose 0 = 2*v + 6 - 12. Suppose -4*n = -5*n + 3. Solve -2*m - v*m - 2*g = -10, m = n*g + 19 for m.
4
Suppose 4*u = -u + 10. Let m be 24/4 - (-1 + u). Solve m*d - 40 = 7*w - 2*w, -2*w - 3*d - 1 = 0 for w.
-5
Let d = -9 - -17. Solve -d = 4*s, s = -3*t - 1 + 2 for t.
1
Suppose -y + 4 = -0. Let g = y + -2. Solve g*x - 4*x - 3*v - 5 = 0, -5*x - 23 = -3*v for x.
-4
Let n(i) = 4*i**2 - 34*i + 19. Let j be n(8). Suppose q - 1 = 4. Solve -2*l = 2*c, -j*l - q = c - 1 for c.
2
Let g(i) = 10*i + 33. Let h be g(-4). Let b be 14/(-4)*(-4)/(-2). Let z = b - h. Solve 2*v = 4*j - 7*j + 19, z = 3*v - 6 for j.
5
Suppose -5*u = -4*u - 1. Let o = -4 + 7. Solve -4*b - 13 = 4*v + b, o*v = -2*b - u for v.
3
Suppose -4*i + 13 = 3*d, d = -6*i + i + 8. Suppose 8*z = d*z - o + 4, -16 = -4*o. Solve c - 2*r + 5 = z, -3*c + r + 2*r - 15 = 0 for c.
-5
Suppose -x = 8 - 0. Let k = -5 - x. Solve -k*l = 4*b - 5, -b - 2*l + 5 = 2*b for b.
5
Let z(x) = -2*x**2 - 13*x - 1. Let g be z(-6). Let s be (-3)/(-3) + (-3 - -2*1). Solve j = -3, s = -4*t + g*j - 9 + 32 for t.
2
Suppose v = -v. Let y be (17 + -11)*4/6. Solve v = 3*p + 2*z - 17, -y*p + p + 5*z = 11 for p.
3
Suppose i + 3*i = 12. Suppose 0*t = i*t - 9. Suppose -t - 7 = -5*m. Solve -2*w = 6, 3*h + 14 = m*w + 35 for h.
5
Let f be 7*-1 - (-3 + 1). Let y = -5 - f. Suppose y = -5*v - 0*v + 25. Solve -5*g - v*h = -15, 5*g + 0*h - 3*h + 25 = 0 for g.
-2
Let z(v) be the second derivative of v**5/20 + v**4/4 + v**3/3 + 4*v. Let b be z(-2). Solve 2*f + 3*l - l = b, 4*l - 10 = f for f.
-2
Suppose 3*r + 4*d = 4, 5*r = -0*r + d + 22. Solve 0 = -y - 3, -y = -r*z - 5 + 16 for z.
2
Suppose 5 + 7 = 3*z. Suppose -z*q = -8*q + 16. Suppose -a + 55 = 3*s, -3*a - 101 = -9*s + q*s. Solve -5*x + s = 2*w, 3*w - 1 = x + 2 for x.
3
Suppose 2*m = -f + 9, -4*m = -0*m + 3*f - 21. Suppose m*u - 9 = -o, -o - 5*u + 15 = -5*o. Suppose -2*a + a = o. Solve -2*g - 2*g - 3*l = 0, a = -4*g + l for g.
0
Let w = 44 + -44. Solve w = 3*t + 3*v + 24, -3*t + 3*v - 4 = v for t.
-4
Let i(h) = -h**3 - 7*h**2 - 9*h + 8. Let k be i(-5). Solve 3*b - 5*n = -20, -k*n + 9 + 3 = 0 for b.
0
Suppose 3*g = -0*g + 3. Suppose 16 = -t - 0*d + 4*d, 0 = -t + d - g. Solve 6 = x + 2*n, 14 = -x + t*n - 10 for x.
-4
Let r be ((-22)/(-8))/((-2)/8). Let h = r + 25. Suppose -5*n + 3*q = -123, -n + 5*q + 15 + h = 0. Solve -3*o = 5*p + n, 3*p = o - 0 - 6 for p.
-3
Suppose 16 + 12 = r. Suppose -3*f = r - 70. Let c be (-3)/(-12) + f/8. Solve -3*w + 31 = 5*q - q, -c*q = -5*w + 17 for w.
5
Suppose -5*t - 2 + 12 = 0. Solve -y - 3*l = -1, l + 0*l = -2*y + t for y.
1
Let y(a) = -a**3 - a**2 + a + 1. Let o be y(-1). Suppose -p + 12 = -o*p. Solve -p = d + 3*w + w, -d = -3*w - 2 for d.
-4
Let r be (-23)/(-6) + 7/42. Suppose 3*b - 4*b + r = 0. Let q(w) = -w**2 + 4*w - 1. Let h be q(2). Solve -h*f + b*m = 3*m - 16, -2*f + 4*m + 24 = 0 for f.
4
Let l(v) = -v + 12. Let k be l(10). Suppose -3*d = k*d. Solve -4 = b - y - d*y, 2*b + 14 = 4*y for b.
-1
Let u = 32 + -29. Solve -4*a = w - u*w + 6, -4*a - 1 = -3*w for a.
-4
Let i be (-4)/6 - (-114)/9. Let a = -15 + 7. Let z = a + i. Solve -4*s = -z - 4, -2*c = 5*s - 12 for c.
1
Let l(x) = -x**3 - 8*x**2 + 4. Let j be l(-8). Suppose 5*k - 20 = 0, 4*n - 2*k + 0 = j. Solve 0 = 3*v + 3*s - 15, -n*v + 0 = 4*s - 19 for v.
1
Suppose -4*j = -6*j - 4*a + 62, 5*j - 183 = 4*a. Solve 5*g + 5*p - j = 0, -6 = -g - 4*p + 7 for g.
5
Suppose 0 = 2*r - 10 - 4. Let p = -5 + r. Let y(a) = 2*a**2 - 4*a + 3. Let h be y(p). Solve 3*j = h*b - j + 12, -5*j = 0 for b.
-4
Suppose -y = -4*x + 18, 3 = -4*y - 5. Solve 2*b - 12 = x*f, -b - f = -4*b + 13 for b.
4
Suppose 3*x = 7*x - 52. Suppose -h + 2 = -1. Suppose -h*l = -7*l + 12. Solve 0*d - 3 = -5*d - 2*o, l*o = d + x for d.
-1
Suppose 5*s - 5*v - 15 = 0, -12*s - v = -7*s + 3. Solve 5*t = -4*i + 33, s = i + 2*i - t - 1 for i.
2
Suppose -4*o - 2*l - 10 = 3*l, 3*o = l - 17. Let f = o - -8. Solve -13 = -f*m + v, m - 5 = -v + 2 for m.
5
Suppose 0 = -2*i + 2, 5*a = -i + 41 - 0. Solve 3*f + a = -5*s, 3*s - 4 + 12 = -f for f.
4
Let r(f) = 5 - f**2 + 3*f**2 - 4*f - 1. Let g be r(3). Let p = 4 + 0. Solve 5*l - 5 = p*l + 3*w, -2*l - 5*w = -g for l.
5
Let z be ((-116)/(-145))/(2/5). Solve -3*p + 9 = -5*o + z*o, -3*p + 11 = -5*o for p.
2
Suppose -2 + 6 = 2*z. Suppose g + z*g = -4*h + 70, 42 = 3*h - 3*g. Suppose -22 = -2*y + q, 0*y + y - h = 3*q. Solve -f - y = -2*k, -2*f - 8 - 8 = -3*k for k.
4
Let z be 3/(-3) + 0 + 5. Suppose -2*j = z - 12. Solve 2*s + 6 + 1 = -5*t, 19 = -t + j*s for t.
-3
Let v(n) = n**2 + 6*n + 6. Let o be v(-4). Let q be 56*(3/o - -2). Suppose -m + 0 + q = 0. Solve b - 2*b = -5*a, -3*a = 5*b - m for a.
1
Suppose 7 = -h + 19. Suppose 20 = -5*x, 2*p + 3*x + h = -0*p. Let n = p + 2. Solve -4*i = y + 7, 19 = n*y + 2*i - 5*i for y.
5
Suppose 3 + 5 = -q. Let x = -2 - q. Solve 4*b = -m + 1, -3*m = -2*m - b - x for m.
5
Let q = -4 + 6. Suppose -2*f + 12 = q. Solve 2*n + 15 = -0*n + l, 4*n + f*l - 5 = 0 for n.
-5
Let h(n) = -3*n - 1. Let j be h(-1). Let m(u) = u - 6. Let y be m(6). Let q = y + j. Solve 2*c = q*x - 2, 5*x - c + 2 = x for x.
-1
Let k(o) = -2*o - 1. Let g be k(2). Let n(i) = -i. Let x be n(g). Solve -3*c = -5*d - 17, -x*c + c - 5*d = -11 for c.
4
Let c be (-2)/(-8) + 7/4. Solve -4*h + 8 = -5*d, -2*h = -6*h + c*d - 4 for h.
-3
Let k be (-4)/(-2) - 1 - -3. Suppose k*z = 6 - 2. Solve -10 = 4*f + m, -z = -3*f - 5*m - 0 for f.
-3
Let i be (-2)/5 - 474/15. Suppose 3*m - 18 = 2*u + m, -4*u + 3*m = 37. Let z be i/u - 2/10. Solve 5*y + 9 = -3*q, 2 = 4*q + z*y + 14 for q.
-3
Suppose -a - 6 = -3*a. Suppose 0 = -3*s - a*m, 2*m + 0*m + 2 = -s. Solve 0 = -i - s*g - 8 - 5, 2*g - 2 = 2*i for i.
-5
Let c(l) = l**2 - 6*l + 2. Let k be c(5). Let q be 1*-3*5/k. Solve -s + 21 = -0*d - q*d, 4*s = -3*d - 8 for d.
-4
Suppose 24*i - 4 = 23*i. Solve -4*d + 0*o - o - 9 = 0, 5*d + i*o + 3 = 0 for d.
-3
Let a(m) = m**2 + 13*m - 43. Let u be a(-16). Let t = -4 + 1. Let l = t + 7. Solve -l*x + 1 = -x + o, -3*o = -u*x + 11 for x.
1
Let b be 5 + 1 + (1 - 3). Solve 14 = -3*c + b*l, -2*c - 4 = -3*c - 3*l for c.
-2
Let r(m) = m**2 - 2*m - 3. Let c be r(3). Solve 0 = -0*u - u + 4*b - 9, c = 5*b - 10 for u.
-1
Let s(w) = -2*w - 6. Let i be s(-4). Let x = 0 + i. Solve -5*a = -0*g - x*g + 1, -3*a + 2*g - 3 = 0 for a.
1
Suppose 4*n - 2*l = -2, -2*n + l - 4*l = -11. Solve 3*z = 5*f - n, 2*f - 2*z = 3*z - 11 for f.
2
Let n(b) = 2*b + 3. Let x(m) = m + 13. Let t be x(-10). Let u be n(t). Let v be (3 + (-39)/u)*-3. Solve -v*k - k = 2*l - 17, 2*l + 4 = 2*k for k.
3
Let o(z) = 10*z - 11. Let s be o(6). Suppose 0 = y + 3*y - t - s, 4 = y - 3*t. Solve -3*g = -l + y, 2*g + 19 = l - 3*g for l.
4
Suppose 0 = -0*f + f + i + 1, 5*f - i = 13. Solve -28 = -3*p + 4*n, 0*p + f*n = -3*p + 4 for p.
4
Let i = 74 - 72. Solve i*z + 2 = 3*a, 2*z = -3*z + 5*a for z.
2
Let q(p) = -p**3 + 7*p**2 - 6*p + 3. Let k be q(6). Suppose -2*s - 5 = -s + w, 5*s + 10 = -2*w. Solve -a = -r - 6*a + 6, k*a - 6 = s for r.
-4
Let b = 43 - 40. Solve -x = b*t - 9, -6*t + 9 = 4*x - 3*t for x.
0
Suppose -3*q + 6*o + 17 = 2*o, -5*o - 10 = 0. Solve 2*n - q*w + 13 = 0, 4*n = 2*w - 15 + 1 for n.
-2
Let f = -8 - -12. Solve 3*m = -3*i - 27, 0 = -f*i - 3*m - 8 - 24 for i.
-5
Suppose -a - a + 22 = 0. Suppose k + a = o - 1, 3 = -k. Solve 3*v - o = -3*n, 3*v - 9 = 4*v - 3*n for v.
0
Let u be 1/1*(-6)/(-3). Suppose -3*i = -8*i + 50. Suppose i*l = 6*l + 20. Solve 0 = -2*f - f + 3*s + 6, l*f - 19 = u*s for f.
5
Let k = -26 + 31. Let s be (4/(-2))/(1 + 1). Let z be s/(7/(-3) + 2). Solve z*i - 5*c + k = -i, 0 = -c + 5 for i.
5
Suppose 3 = -4*t + 3*j + 2, 4*j = t + 10. Let i(p) = -p**3 - 3*p**2 - 3*p. Let h be i(-2). Solve -4*u - d = 17, -2*d + 2 = h*u + t*d for u.
-5
Let z be (-7)