
Let n = 73 - 113. Let g = 24 + n. Let z be ((-18)/(-4))/((-4)/g). Solve -3*v - z = 2*o, -v - 1 = 3 for o.
-3
Let j be 2/(5/(-15) - -1). Solve -3*y - 2*r - 17 = 0, j*r + 12 + 0 = 0 for y.
-3
Suppose 2 + 2 = q. Let o be 1 - -1 - (-6 + 12). Let s be (2/4)/(o/(-32)). Solve 2*d + q = -t, s*t = 4*d - 4 - 12 for d.
0
Let r = -53 - -75. Let u(l) = 3*l**2 - l - 1. Let g be u(-1). Suppose g*x + 8 - 17 = 0, 0 = -q - 4*x + 16. Solve -5*o + 9 = q*p - r, -3*o = -3*p + 3 for p.
4
Let i be 5 - (4 - (-2)/(-2)). Let v be 2 + (-4)/((-2)/i). Solve a - n = 0, a + 4*n = 2*n - v for a.
-2
Let j be 1*-2 - -4 - -17. Suppose 0 = -2*i - 10, j = -0*y + 3*y - 2*i. Suppose -y*m = -3 - 3. Solve -z + 4*w - 4 = 0, -z - m = 3*z - 2*w for z.
0
Suppose 10 = 3*r - 5*f, 0 = 2*r - 7*f + 3*f - 6. Let j = 1 + r. Solve 2*n - 4*h = 12, n - 3*h = 1 + j for n.
4
Let l(v) be the third derivative of v**6/120 - v**5/10 + 5*v**4/24 + 5*v**3/6 - 3*v**2. Let w be l(5). Solve 5*f + 2*h = 13, 3*f + 2*h + 2*h = w for f.
3
Suppose -23 = 4*h - 7, -4*y - 12 = 3*h. Solve -3 + y = 4*q - 3*z, 0 = 5*z + 15 for q.
-3
Let k(x) = -x**3 - x**2. Let n be k(-2). Suppose -n = -a - 1. Let o = -15 + 18. Solve 4*f + 1 = 2*j - 5, -3 = -a*j + o*f for j.
-1
Let m(h) = -h**2 - 4*h. Let r be m(-3). Let n(s) = -3*s + 1. Let d be n(-2). Suppose d + r = 2*l. Solve u = p - 4, -l*u = 2*p + 1 - 2 for p.
3
Let a(q) = q**3 + 12*q**2 + 10*q - 7. Let z be a(-11). Solve -2*m - 19 = -m - z*u, 0 = m - 2*u + 9 for m.
1
Suppose 3*s = 5*s + 10. Let q = 7 + s. Solve -3*z + c = -5, -5*z - 3*c = q - 1 for z.
1
Let y = 3 + 7. Let h(q) = -2*q**2 + 9*q + 38. Let g be h(7). Solve 5*s + y = g*d, 4*s + 3*d - 29 = -2*d for s.
1
Let q = 10 + -7. Suppose -o = -q*o. Solve -5*s - 5*f = -2*s - 20, o = 5*s + 3*f - 28 for s.
5
Suppose s - l = -s + 8, 4*s = -2*l + 8. Solve 0 = 3*y + 3, 5*y - s*y = j - 5 for j.
3
Suppose -3*p - 8 = -7*p. Solve -3*k + p = -3*c - c, -3*c - k = -5 for c.
1
Suppose -28 = -4*d + 5*f, -3*f + 16 = 2*d - 6*f. Let v(i) = i**2 - 3*i - 1. Let y be v(4). Solve -d = -y*b - o + 1, -5*b = -5*o - 5 for b.
1
Let q = -82 - -87. Solve -2*t + q*i = 5 - 24, -5*t - 4*i - 35 = 0 for t.
-3
Suppose -9*p = -10*p + 4. Solve 12 = p*s - 2*j, 5*s + 2*j = 32 + 1 for s.
5
Suppose 64 = -6*m + 10*m. Solve s + 5*t = 2*t - 4, 2*t = 4*s + m for s.
-4
Suppose 0*m = m - 9. Solve 2*j = -3*j - 15, -f = 4*j + m for f.
3
Suppose -4*n + 0 = -12. Suppose -n*i = i - 16. Suppose m - w = i, 0 = -3*m - 3*w - 5 + 17. Solve l - 3*l + 12 = 2*y, -8 = m*l - 4*y for l.
2
Let l(j) = j + 12. Let z be l(-7). Suppose z*q = 2*q. Solve -4*h + 3*g - 7 = q, -2*h + 7*g + 1 = 4*g for h.
-4
Let z = 3 - 19. Let w be 2/8 - (-4)/z. Suppose -5*x + 5 = -w*x. Solve 5*l + f - 28 = 0, -3*l - 2*f + 22 = x for l.
5
Let s(z) = 3*z**2 + 2 + 5 - z**2 + 8*z - z**2. Let p be s(-7). Let b be 6 - (p - (-2 - 1)). Solve 3*a + 4 + 11 = 2*d, b*a + 2*d + 3 = 0 for a.
-3
Suppose k - 11 = -0*k. Suppose d = -2, 2*r - 5*d - 9 = 3*r. Solve 4*f = 2*a - 6, -k + r = 3*f + 4*a for f.
-2
Suppose 2*d + 4 = -3*h + 5*h, 15 = 5*h. Let g be d/1*(-14)/(-1). Solve -5*r = 2*v - 2 - 5, 2*r - 2*v = g for r.
3
Suppose 4*x + 40 = 5*s, 5*s - s + x - 11 = 0. Solve 2*m - 30 = -s*k, 1 + 19 = 3*m + k for m.
5
Suppose -5*g + 4*b = -4*g - 17, -3*b = -5*g. Let n = 6 + g. Solve -4*a + a - 15 = 3*s, -2*s = -n*a - 5 for s.
-2
Let f(p) = -p**3 + p**2 + 1. Let g be f(0). Suppose 8 = -0*z + z - u, 0 = -u - g. Solve -z = 3*a + 5*k, a + 2*k = -0*k - 2 for a.
-4
Suppose 4*z + 14 = 2. Let a be (-2)/10 + z/(-15). Solve 12 = -p + 5*h, -4*h + 6 = -2*p - a for p.
3
Let m = -101 - -101. Solve 2*y = -2*h - 4, -5*y + 4*h + m*h = -17 for y.
1
Let s(c) = 3*c + 6. Let z be s(3). Solve -5*q = 5*k - z, 0 = 4*q + 2*k - k - 6 for q.
1
Let v(i) = 3*i - 6. Let m be v(-6). Let u be (-1)/((-3)/m)*-2. Suppose p - u = 3*s, -s = p + 2*s - 4. Solve -2*h - p = 0, 5*d + h + h - 10 = 0 for d.
4
Suppose -4*w + 25 = w. Suppose -w*c + 3 = -2. Let i be (-27)/(-4) - (-2)/8. Solve 0*r - x = 2*r - c, 0 = -r + 2*x - i for r.
-1
Suppose -3*x = x + 4*q, 10 = -2*x - 4*q. Suppose i = -4*i + 10. Solve 23 = -x*t - 7*p + 3*p, -4 = -i*t + 5*p for t.
-3
Let v be (14/35)/((-1)/(-5)). Let n = 3 + v. Solve -3*s = -z - 7, n*z + 23 + 0 = 3*s for s.
1
Suppose -17 = -5*c + 8. Solve -r - l - 3*l = -5, -r + l + c = 0 for r.
5
Let i be 9/27*(-2 + 17). Let s = 64 + -28. Let p = s - 18. Solve i*a - 23 = -u, 3*a - 5*a + p = -4*u for u.
-2
Suppose 0 = -4*a + 4*s, 3*s + 2 - 8 = 0. Solve -2*x = a*l, -2*l + 7*l + 4*x = 1 for l.
1
Suppose -6*x + 1108 = -86. Let u be x/5 - 3/(-15). Solve -3*r - 4 = -2*i - 0*r, 0 = 5*i + 5*r + u for i.
-4
Let r be (-18)/(-4) + 18/(-12). Solve -4*k = a - 21, 6*a - r*a + 2*k = 23 for a.
5
Suppose 4*s - 3*d - 12 = 0, 20 = s - 3*s - 5*d. Let g be (-14)/(-3) - (-2)/(-3). Let o = 11 - g. Solve -b = -0*p - 4*p + 11, -3*b + 2*p + o = s for b.
5
Suppose 0 = 15*k - 9*k. Suppose 0 = -3*q + 8*q - 15. Solve -c - q + k = 3*s, -2*c + 6 = 0 for s.
-2
Let l be (-3 + (-7)/(-2))*20. Suppose -2*w = 3*j - l, 0*j - j + 4*w = -22. Solve 0 = 2*v - j, -v + 0*v = 5*b - 28 for b.
5
Let x be (-2 - 0) + 0 - -3. Let g be 27/(-3)*(-1)/x. Suppose -g + 0 = -3*u. Solve 0 = -4*t - 5*o - 8, 3 - 9 = u*t + 5*o for t.
-2
Let w = -16 + 22. Let t(j) = j - 3. Let p be t(w). Solve 4*v + 7 - 23 = -2*o, 0 = p*o for v.
4
Suppose w - 15 = -4. Solve -3*y + x = -2*y - 3, -3*y - x = w for y.
-2
Let y(a) = a**3 - 3*a**2 + 4*a - 2. Let t be y(2). Suppose n = 5*f - 1 - 5, -3*n + 22 = 5*f. Solve -s = -n*r + 11, t*s - r + 12 = 4 for s.
-3
Let k be 2*(-3)/(-6)*3. Suppose k*f - 5 = 1. Suppose -6*i + f*i - 4*o = 0, -o + 16 = 5*i. Solve l - 9 = -2*a, -a - i*l + 15 = -0*l for a.
3
Let w be 10/(-35) - 186/(-14). Solve w = -3*g - 5*o, -5*g + 6*o = 2*o - 40 for g.
4
Let w = 109 - 59. Suppose w = q + 4*q. Suppose 2*x = 7*x - q, 3*i - 2*x - 56 = 0. Solve -2*f + 3*b + i = 2*f, -f + 4*b + 5 = 0 for f.
5
Let m(k) = k**2 + 7*k + 9. Let f be m(-6). Suppose -p + f*g = -5*p + 29, 2*p - 21 = 5*g. Solve p = 4*y - 2*a, y - 8 = 5*a + 12 for y.
0
Let h(c) = c + 2. Let j be h(2). Suppose -j - 6 = -2*i. Solve 5*t - i*p - 1 = 4, t - 1 = 3*p for t.
1
Suppose 0*a + w = a + 2, -2*w = a - 10. Let y = a - 1. Suppose -2*b + 5 + y = 0. Solve -24 = 2*l + 4*s, 0 = b*l - 3*s - 0*s for l.
-4
Let w = -50 + 82. Suppose c - w = -c. Solve 0 = -4*h + 3*n - 12, -n = -3*h + 3*n - c for h.
0
Let x(a) = -a**3 + 4*a**2 + a - 4. Let i be x(4). Suppose l + 2 - 10 = i. Solve 0*b + 12 = -3*b - 4*j, j - l = 2*b for b.
-4
Let p(v) = 8*v - 30*v - 10*v. Let y be p(-1). Solve 4*a - 4*m - y = 0, -3*m = a - 7*m - 23 for a.
3
Let u be (1/(-3))/((-11)/66). Solve 5*q - h + u*h + 12 = 0, 3*q - h + 12 = 0 for q.
-3
Let z = -20 + 24. Solve -l + 6 = 2, -2*g - 14 = -z*l for g.
1
Let u = -24 + 31. Solve 4*l + 16 = -2*h, 2*l - 4*h + 15 = u for l.
-4
Let j(a) = -2*a - 2. Let r be j(-2). Let s(p) = 0*p**2 - 3*p + 0*p + p**r. Let q be s(3). Solve 4*z - 5*b + 8 = q, 0*z - z - 2 = -3*b for z.
-2
Let p(c) = -c**3 + 12*c**2 - 13*c + 15. Let j be p(11). Let i(d) = -d + 1. Let a be i(j). Solve 2*x = -2*l + a, -x = 4*l - 0*x - 16 for l.
4
Suppose 2*u - 3*u = 3*d - 11, 5*d - 23 = 3*u. Let v = 1 - u. Solve 6 = v*q + l, -q - l - 2*l = -3 for q.
3
Let c be 1*-3 - (-35)/5. Let o be 3*((-7)/(-3) + -2). Solve d - c = 0, -m = d + o - 10 for m.
5
Let g be ((-21)/35)/((-2)/10). Solve 2*d - g = 5*n, 2*n - 3 = 5*d - 0*d for d.
-1
Suppose 0 = -t - 13 + 47. Suppose 2*p - t - 8 = 2*o, 5*p - 93 = 2*o. Let r = -12 + p. Solve -5*l = r*u + 35, l + 3*u = 4*l - 3 for l.
-3
Suppose 3*m + 4*x + 6 = 0, -4*m + 3*x + x - 36 = 0. Suppose 10*f + 16 = 6*f. Let c be (f/m)/(3/45). Solve 5*l - 5*i - 25 = -c, 0 = l + i - 1 for l.
2
Suppose 5*g - 2 - 15 = 2*d, 3*d = -4*g + 9. Let n = d + 1. Let w(m) = m**3 - 10*m**2 + m + 1. Let y be w(10). Solve u + y = -2*p - n*p, -31 = 5*u + 2*p for u.
-5
Suppose -33 = -5*b - 8. Suppose b*m + 45 = 8*m. Solve 0 = -f - 3*x - 5, 5*f + 3*x + 2*x + m = 0 for f.
-2
Let r(w) be the third derivative of w**4/24 + 5*w**3/6 - 2*w**2. Let p be r(0). Solve -45 = -4*z + 5*y, 1 - 26 = p*y for z.
5
Suppose -3*j - 9 = -6*j. Suppose 0 = 3*p + j, 2*z - p + 0*p - 1 = 0. Solve -16 = -3*n + 2*l, -3*n + 4 = -z*n + 4*l for n.
4
Let i = 83 + -80. Solve 5*p - 5*u = -0*p - 15, 0 = -p - i*u - 11 for p.
-5
Suppose 0 = t 