4
Let t(s) = s + 8. Let a be t(-5). Let g be (3 + 3)*1/a. Suppose 0 = -g*n + 9 - 1. Solve 3*v = 4*h - 6, 3*h + h - 4 = n*v for v.
2
Suppose -14*l + 50 + 6 = 0. Solve 4*n - 3 = -l*h + 5, -h + 3*n + 6 = 0 for h.
3
Let p(j) = 20*j**3 + j**2 + 4*j - 1. Let s be p(-3). Let k be s/(-144) - 4/(-18). Solve 0*v + 3 = k*d - 3*v, 3*d - 2*v - 2 = 0 for d.
0
Suppose 5*d = -2 + 22. Solve -d*q + 4 = 4*g, 4*q + 5*g - 9 = q for q.
-2
Let i = 5 + -1. Solve -2*k - i = -0*r + 2*r, -4*k + 3*r - 8 = 0 for k.
-2
Let i be (-24)/20*(-5)/2. Solve 5*t - 15 = -5*x, 3*t = -x + 2 + i for t.
1
Let z(t) = -3*t + 2. Let o be z(-1). Suppose 37 = o*i + 12. Solve 5*y + 10 = i*g, 6*y + 5 = 3*y + 4*g for y.
-3
Let z(s) = -s - 5. Let v be z(-5). Let w(u) = -u + 15. Let b be w(v). Suppose -2*y + b = y. Solve 2*o + 8 = -y*q - 10, 4*q + 4 = o for o.
-4
Let x(v) = -2*v + 2. Let m be x(-4). Let b = -6 + m. Suppose -14 = 3*i - b*i. Solve -3*p + i = -4*u, -p + 14 + 4 = -4*u for u.
-5
Let n(p) = -9*p - 1. Let x be n(-1). Let u be x/(-14) - 285/(-21). Solve 0 = 2*b - 5*r - u, -r - 3 = -0*r for b.
-1
Let b(x) = x**2 + 9*x + 6. Let w be b(-8). Let f be 2/(((-5)/w)/5). Solve -5*t + 1 = 2*i - 3, -10 = f*t - 5*i for t.
0
Let o = 22 + -19. Solve -o*z + 7 = n + 27, -4*n = 4*z + 40 for z.
-5
Suppose -10 - 1 = 3*l + 4*o, -2*o - 19 = -3*l. Let t = l + 0. Solve t = 2*h + 1, -h = -5*c + 4 for c.
1
Let f(k) = -k**3 - 5*k**2 - 4. Let w be f(-4). Let a = 30 + w. Let x = -6 + a. Solve -4*o + 2 = x*h - 2, -5*o = -h - 17 for h.
-2
Let l = 1 - -2. Suppose o + o = -4*i + 98, -l*i + o = -66. Solve 2*v = -5*u + 19, -3*u - u + i = -v for v.
-3
Suppose -3*g - 3 = -2*o - o, 3 = 3*g. Let b be (-1)/((-1)/7 + 0). Let a = b - o. Solve -t - 5*c = 2*t + 29, a*t - 5*c - 5 = 0 for t.
-3
Let c be -1 - (4 - 9) - 2. Let y = c - -23. Solve 2*j - 16 = b - 6, -y = -5*j + 4*b for j.
5
Suppose 3*p = -r - 0*p + 9, r - 14 = -4*p. Let q = -2 - r. Solve 0 = 2*h + q*g - 2*g + 6, 4*h = 3*g + 9 for h.
0
Let p(l) = l + 3. Let v be p(0). Solve -v*d + t + 3 = -4, -4*d + 5*t = 9 for d.
4
Let d = 7 - 5. Solve 8 = 4*w + d*k + 2, -4 = w - 5*k for w.
1
Let d(r) = -r + 6. Let g be d(-6). Let q(w) = w + 3. Let m be q(4). Let b = g - m. Solve b*h - 5*y = 5, -5*h - 2*y - 9 = -0*y for h.
-1
Suppose -d + 10 = a, -d - 2*a - 2 = 3*a. Solve -3 = -2*p - 4*j - d, 0 = -5*j for p.
-5
Let i be 15/5 + (2 - 2). Suppose i*h - 3 = 3. Solve 2*c - 2*n + 16 = -6*n, 0 = -h*c + 2*n - 4 for c.
-4
Let r be (-6)/(-2) - (1 - 2). Let j = -163 + 174. Solve r = -t + o, -3*o = 5*t + o + j for t.
-3
Suppose -5*p - 1 = -26. Let o(c) = c**2 - 5*c + 5. Let g be o(p). Solve -t - 2*x + 4 = -3*x, 0 = g*x + 20 for t.
0
Let w(c) = c - 3. Let z be w(10). Solve 0 = -4*s, -z*r + 3*s - 20 = -3*r for r.
-5
Suppose -12*w + 14*w = 4. Suppose 3*m = 7*m - 16. Solve -w*r + m*k = 0, -14 = -r - 2*r - k for r.
4
Let y = 2 + 0. Suppose y*d + 2*d - 8 = 0. Solve 5*g - 4*u - 12 = 3*g, d*u = -2*g + 6 for g.
4
Let t(a) = a. Let x be t(10). Let q = x - 6. Solve 3*g - 7*g = -q, 4*g = -k + 3 for k.
-1
Let q be 0 - (2 + -1 + -2). Let u be (-18)/((-6)/2) - q. Solve -a = 3*k - 3, 4*a + 19 = k + u for k.
2
Suppose 4*j - 4 - 4 = 0. Suppose -24 = -j*x - 4*x. Suppose 0*t - 4*t - k = 5, 5*t + k = -5. Solve t = 3*q + x*r - 13, -q + r - 4*r = -6 for q.
3
Suppose 4*c - 3 = 3*y + 1, -3*c + 28 = 4*y. Solve -22 = 4*w - 2*r, -y*r + 4 = 3*w - 7 for w.
-3
Let l(j) be the third derivative of j**4/24 + j**3/3 + 2*j**2. Let g be (-2 + 1)/((-2)/4). Let b be l(g). Solve x + a = 3*a + 3, 3*x + b*a + 31 = 0 for x.
-5
Suppose 25 = 5*j, 3*j - 5 = -z + 4*j. Solve r + l + 14 = 6*r, -5*r + 5*l + z = 0 for r.
3
Suppose -2*f = 3*q - 3 - 1, 2*f - q = 12. Solve 5*l - 5 = 5*b + 5, -f*b = -5 for l.
3
Suppose 5*z = 18 + 2. Let d be 15/(-10) - (-22)/z. Suppose d*n - 6*n + 8 = 0. Solve -4*l - n*p - 11 - 9 = 0, -5*l = p + 17 for l.
-3
Suppose 0*h + 60 = 4*h. Let m be 6/(-8) + 129/12. Let g be 28/m + (-1)/(-5). Solve 0 = 2*w + g*t + h, 2*w + 7 = -t - 2 for w.
-3
Let x(v) = -v**2 + 7*v + 1. Let f be x(6). Let h = f - 3. Suppose 4*o - 4*i = 24, 2*i - h*i = -o + 9. Solve o*a + 3*j = -15, 0 = -5*a - j - 15 - 10 for a.
-5
Let b(v) = v**3 - 8*v**2 + 7*v + 3. Let i be b(7). Let h be 5 - 7 - (-50)/2. Solve 2*s - 16 = -i*m, m + 0*m - 5*s + h = 0 for m.
2
Let h = -12 - -7. Let u = 7 + h. Suppose u*x + 21 = 7*x + 3*p, -3*x + 1 = -4*p. Solve w - 3*r - 1 = -x, 0 = -w - r + 2 for w.
1
Suppose 5*b + 6*t = 3*t + 25, -4*b - 4*t + 20 = 0. Suppose -3*v - 12 = -b*v. Solve 3*j = y - 0*j - 3, 3*j = -v for y.
-3
Suppose -2*g + 22 = 4*s, -3*g + 9 = -s - s. Solve 0 = -g*c - 4*q - 4, 4 = c - 3*c - q for c.
-4
Suppose -5*u - 2 = -17. Solve 4*w + 4 = -u*h - 0*h, 5*w - 4*h + 5 = 0 for w.
-1
Let d be ((-48)/(-42))/(6/21). Solve 5*w = -4*f + 16, d*w - 2*f - 2*f = 20 for w.
4
Suppose 2*c = 4*c. Suppose -2*r + c*r = -74. Solve 5*k = -j - 10, k = 5*j + r - 13 for j.
-5
Let h be (2 - 0) + 0 + -2. Suppose 5*t + 4*l - 9 = h, 0*t - 17 = -t + 3*l. Solve 0*q = t*z + 5*q, 3*z = -q - 2 for z.
-1
Suppose 6*j + 4 = 8*j. Suppose 0 = 5*d - j*d. Solve -5*l + 5*y - 35 = d, -2*l - 2*y + 8 = -l for l.
-2
Let j = -26 + 51. Let g = -18 + j. Suppose g = 4*y - 1. Solve -4*p - 17 = -2*d + d, -y*d - 5 = 5*p for p.
-3
Let d(y) = 7*y + 1. Let s be d(-4). Let k = -18 - s. Solve -10 = 4*l - 2*w, 2*l + 2*w = -w - k for l.
-3
Suppose 2*l - 2*i - 20 = 0, 4*l + 2*i - 40 = 5*i. Suppose 3*j = 11 + 1. Solve 5*d + 0*d = n - l, -j*n + 2*d - 14 = 0 for n.
-5
Suppose o + 3*j = 15, -5*o - 3*j + 2*j = -61. Let s = -6 - -6. Solve 0*g + o = -4*u + 2*g, s = -5*u - g - 15 for u.
-3
Let x = 9 + -7. Suppose -x*y = 3*a - 15 + 5, 2*a - 14 = -5*y. Solve -9 = 3*l + 4*j, -5*l + y*l + j = 9 for l.
-3
Let y(g) = -4*g + 1. Let x be y(-1). Suppose x*w + 44 = 4. Let c(k) = -k**2 - 9*k - 6. Let b be c(w). Solve 3*a = -l, 5*a = -6*l + b*l - 7 for l.
-3
Suppose -5*z + 1 - 6 = 0. Let t be (-4 + 0)*z/2. Let n = 5 - t. Solve -5 = 4*i + n*y, 2*i + 6*y = y - 13 for i.
1
Let j(x) = 8*x**2 - 2*x - 2. Let y be j(-2). Let g = -12 + y. Let d be (1 - 3)/(6/(-9)). Solve -5*r = 2*p + g, d*r - 2*p = -3*p - 13 for r.
-4
Let u(t) = -4 + 3 - t + 2*t. Let o be u(6). Let a be 43/o + 12/(-20). Solve -y - 10 = 4*l, 2*y - l + a = -5*l for y.
2
Let r(t) = -3*t**2 + 14*t + 1. Let n(l) = -l**2 + 7*l + 1. Let f(i) = -5*n(i) + 2*r(i). Let b be f(-6). Solve b*k + 4*s - 9 = 0, k - 5 + 2 = -2*s for k.
3
Let s = 32 - 19. Solve -3*c - q + s = 0, 5*c - 3 = -5*q + 12 for c.
5
Let c be 3/2 + -1 + 5/2. Let h(n) = -n**3 - 3*n**2 + 4*n + 3. Let f be h(-4). Let w = f - 0. Solve -v - 3*v = c*i + w, -v - 5 = 5*i for i.
-1
Let l(a) = 3*a - 10. Let d be l(7). Let g = d - 4. Suppose -8*r + g*r = -8. Solve i + 0*i = 5*t - 12, 2*i + r = 2*t for i.
-2
Suppose -8 = q + c, -3*q - q = 3*c + 28. Let n(y) = -y**3 - 2*y**2 + 5*y + 3. Let p be n(q). Let s = 1 + -1. Solve 4*i - 5*u - 35 = s, 2 + p = 4*i + u for i.
5
Suppose 0 = 3*h - 3, 4*h = 5*c - 10 + 4. Solve 2*r + 5*d - 2*d = 11, 0 = -2*d + c for r.
4
Let c = 96 + -94. Solve 10 = -5*a - 3*g, -19 = 3*a - c*a + 4*g for a.
1
Let m be 72/30*5/2. Solve 0 = y - 5 + 4, -m = -w - y for w.
5
Let l be (-8)/12 - (-8)/3. Suppose i - 2 = l. Solve -3*u + 3 = 3*o, -i*u + 7 + 0 = 3*o for u.
4
Let h = -3 + 7. Suppose -5*t - 18 = -3*o, -5*t - 17 + 5 = -2*o. Let u = o + -4. Solve -h*j = -5*s + u, 3*s = -3*j + 12 - 0 for s.
2
Suppose -5*t = -4*c - 11, 2*t - c - 7 = -2*c. Solve 2 = -n - 3*f, 5*n - 2*f = t*f + 30 for n.
4
Let s be (38/9 - 4) + (-122)/(-18). Solve 4*n - 6 = -5*f, -f = -4*n - n - s for n.
-1
Suppose -4*z = 3*o - 70, 4*z = o - z + 2. Solve 10 = 5*g - 4*y - 0*y, 4*g + 2*y = -o for g.
-2
Let s be ((-2)/(-7) + (-4)/14)*1. Solve -c = 5*p - 17, 3*p - 4*c = 1 - s for p.
3
Let v be 1 + -1 - (-3)/(-4 - -7). Solve v = -x + 4*b + 16, 2*x - 18 = 5*b for x.
-1
Suppose -10 = -5*b + 20. Suppose -5*v + 5*y - 10 = 0, 0 = -b*v + v - 3*y + 22. Solve -v*z = n, -5*z + 2*n = 4*n for z.
0
Suppose 4*g + 32 = -n, 5*n = -5*g - 6 - 34. Let h = g + 13. Let r = 8 - h. Solve r*z + z + 6 = -2*w, 0 = z + w + 4 for z.
1
Let l = 14 + -4. Suppose 0*j = -5*j + 40. Suppose -5*a = x - 10 - 29, -5*a - 5*x = -35. Solve 0 = -j*i + 3*i + q - l, -4*i = -q + a for i.
-2
Suppose 3*s - 6 = 21. Solve 3*h = 2*b - 6*b - 8, -h + s = -b for b.
-5
Suppose 5*x = 4*k - 0*x, -4*x = -16. Supp