3*1/3. Suppose -3*x + 1 + 5 = s. Solve -5*m + 13 = x*l, -l = l - 3*m + 11 for l.
-1
Suppose 0 = -3*f + 2*f + 5. Let p(n) = -n**3 + 23*n**2 - 5*n + 119. Let o be p(23). Solve 2*m + o*s - 17 - f = 0, 5*m = 3*s - 10 for m.
1
Let v be (-2)/9 - (-4 - (-96)/54). Let u be 4*v/16*8. Solve 5*w + 0*h = 2*h - 25, 0 = -u*w + h - 17 for w.
-3
Let z be (-24)/(-10) + 6/(-15). Solve z*o - 7 = -g, 3*g + o - 3 = -2 for g.
-1
Let g = -17 + 12. Let x = 9 + g. Suppose 2*y = 3*k - 7*k + 4, x = -2*y. Solve 2*d - 2 = i, 0*i = 5*d + k*i + 4 for d.
0
Suppose -3*k = -5*l - 94, 16*k = 21*k - l - 120. Solve 2*j + j - 2*p - k = 0, 4*j = -5*p for j.
5
Let t = 25 - 4. Suppose t = 19*p - 12*p. Solve -p*s - 10 = s - 3*q, 0 = -2*q + 4 for s.
-1
Suppose -5*a = 0, 4*a = -2*g - 0*g + 40. Suppose -3*d = 3*t - g - 34, -4*d + 60 = -2*t. Solve -3*b - 4*w = -4, -3*b - 6 = w - d for b.
4
Let v(g) = -g - 2. Let z be v(2). Let k = z + 8. Suppose -2*f - k*c + 4 = -2*c, 4*f - 5*c = 17. Solve 4*s - 10 = -s + f*h, -4*s + 8 = 4*h for s.
2
Let f = -14 + -16. Let z = f - -36. Solve -1 = 5*n + 9, 3*n + z = 3*y for y.
0
Let g be (10/8)/(11/132). Let k = 20 - g. Solve 3*n - n - 10 = 4*w, -w = -n + k for n.
5
Let i be 7/((-21)/10)*(-12)/10. Solve 2 = -a, -2*h + i*a - 1 = -7 for h.
-1
Suppose -5*t = d - 24, -2*t + 1 - 5 = -3*d. Let m be ((-1)/1)/(17/(-51)). Solve -z = -v - 4, -2*z - d*v - 19 = -m*z for z.
-1
Suppose 6 = -j - 3*q, -q + 1 = j - 3. Solve -3*c - 3*p = 12, -5*c + 7*p - 5 = j*p for c.
1
Let v be ((-98)/21 + 6)/(1/3). Solve 0 = -i - 5*k + v*k, 0 = 5*i - k - 24 for i.
4
Let d(i) = i + 1. Let b be d(1). Suppose 50 = 3*k + s, 5*k + s + b*s - 78 = 0. Solve 0 = -5*f + 25, -5*f + k = -3*v - 2*f for v.
-1
Let s = -3 + 32. Suppose 0 = -s*u + 21*u + 32. Solve 0 = 5*o + h + 3*h - 4, 2*h = -u*o + 8 for o.
4
Suppose 0 = 2*j + j. Let t be -1*(j - -3 - 27). Suppose -11*c + t = -7*c. Solve -c = -3*q, 3*v + 4*q = -2*v + 33 for v.
5
Let j(c) = c - 7. Let p be j(13). Suppose 0 = 4*t - p + 78. Let g be (-27)/t - 2/(-4). Solve -1 + 12 = n - g*x, -5*n + 4*x = -31 for n.
3
Let n(b) = b - 3. Let x be n(6). Suppose -2*w = x*t + 10, 5*t - 9 = 3*w + 6. Solve 5*p - 2*c - 23 = t, -p + 2*c + 1 = -10 for p.
3
Let r = 123 - 118. Suppose -61 = -2*l - 13. Suppose 3 = 3*b + 6, l = 2*x - 2*b. Solve 4*v + x = -6*j + 3*j, -r*j - 2*v + 5 = 0 for j.
3
Let l be 0/(15/9*-3). Solve 0 = g - s - 2 - l, 4*g + 3*s + 20 = 0 for g.
-2
Let r = 48 + -43. Solve 0 = -2*k + 6*k + r*v - 33, -3*k + 4*v - 14 = 0 for k.
2
Let n be (-1)/(-6) - (-143)/6. Let r be n/(-16)*(-1 + -13). Solve -2*j - 6 = 0, p - r + 3 = 5*j for p.
3
Let j be 2/10*-2*-30. Suppose 0 = -5*a + 5*y - y + j, -2*y - 6 = -a. Solve -5*k + 5*p - 2*p + 2 = a, 0 = -k + 5*p + 18 for k.
-2
Suppose 3 - 13 = r. Let o be 9 - 8/r*-5. Solve 4*k = -4*s + 40, -3*k = o*s - k - 35 for s.
5
Let q be 14/112 + (-75)/(-40). Solve 3*r - 2*r + 3*w + 6 = 0, -6 = q*r + 3*w for r.
0
Let q = 29 + -49. Let j be 3 + q - 12/4. Let m be (15/j)/((-1)/4). Solve -3*o + 3 = l, 7*l - 3*l - m*o - 12 = 0 for l.
3
Let c(v) = -2*v - 2. Let b be c(7). Let x = b - -19. Solve -f + 0*z = 4*z - 20, -x*f + z - 5 = 0 for f.
0
Let o(k) = k**2 - 6*k + 18. Let h be o(4). Let t be (6 - (-56)/(-10))/(2/h). Solve 0 = 2*g - 5*c + 25, t*c - 3 = 3 for g.
-5
Suppose g + 0*g = -4*g. Solve g = -2*u + l + 8, -u = -2*u + 3*l - 1 for u.
5
Suppose 2*k + 0*a = -3*a, 46 = 5*k - 4*a. Let b(c) = c**3 + 18*c**2 - 19*c + 8. Let s be b(-19). Solve -2*t - g = -k, -4*t + s = t - g for t.
2
Let p be -3 - -14 - 20/(-5). Let v = p - -8. Solve 2*m = -5*q - 2, 1 = -5*m + q + v for m.
4
Let s(o) = 5*o**2 + 3*o - 1. Let p be s(3). Let j = p - 36. Let u = -8 + j. Solve 5*l - 2*k = u, 3*k - 4 = l + 2 for l.
3
Suppose 2*y + 4 = -4*g, 4*y + 1 - 2 = g. Suppose -4*q = -8, z - 2*z + 5*q + 4 = y. Solve 2*r + 4 = 0, -2*h - 2*r - z = 2*r for h.
-3
Let c be (-120)/(-32)*-3*8/(-18). Solve 22 = 3*a + c*m, -2*m = a + m - 14 for a.
-1
Let t be 1/4 + 93/(-4). Let v be (120/(-4))/(4 - (-14)/(-7)). Let r = v - t. Solve -3*z - h + 28 = -r*z, 0 = -2*z + 2*h - 16 for z.
-5
Let t = -95 - -97. Let p(z) = z - 1. Let g(m) = -2*m + 2. Let c(h) = 3*g(h) + 8*p(h). Let v be c(t). Solve -w + x + v*x - 8 = 0, -x + 21 = -4*w for w.
-5
Suppose -68*p = -66*p - 4. Solve 0*u + 2 = -p*u, u - 7 = 2*g for g.
-4
Suppose -55 = -b - 4*b. Let h be (-3 - -3)*(-6)/6. Solve h = -5*z + 2*p - 6*p, b = z + 3*p for z.
-4
Let m(i) = i**2 + 9*i - 7. Let n be m(-9). Let c(t) = t + 11. Let z be c(n). Solve -z*v - 29 = 3*f - 12, -3*v - 16 = -f for f.
1
Let f = 87 + -82. Let l be 6 + (-4)/(-1 - -3). Suppose -4*n = -4*u - 3*n + l, 2*u - 20 = f*n. Solve 3*y = -3*s + 24, 3*y - 6 = -u*y + 3*s for y.
5
Let h(n) = -n**3 - 17*n**2 - 2*n - 31. Let q be h(-17). Suppose 6*a + q = 39. Solve 2*f + j - 12 = 0, -2*f + a*f + 3*j - 26 = 0 for f.
5
Suppose 5*x - 50 = -15. Suppose -2*m + x = -5*c, -2*m + 3*c = -6 - 3. Suppose m*a - 3*d - 18 = 3*a, -d - 2 = 0. Solve 4*n = -3*w - w + 16, w - a = -5*n for n.
0
Let p be 24/(-64)*8*(-2)/3. Solve -p*w = -3*m - 0*m + 4, -5*w + 2*m + 12 = 0 for w.
4
Let u = -29 - -31. Suppose 0*j - 3 = q + u*j, -2*q - 2*j = 0. Suppose -q*i + 3*t + 12 = -0*i, -4*t = i + 11. Solve -o = -5*o - f - 14, 2*f = o - i for o.
-3
Let a(d) = 11*d - 1. Let k be a(4). Let g = -37 + k. Solve t + o = -g, -3*o = 4*t - 8*t + 4 for t.
-2
Suppose 4*k = -3*d + 11 + 6, 17 = 3*k - 2*d. Solve -4*u = k*g - 0*g + 21, 13 = -g - 3*u for g.
-1
Let t = -213 + 105. Let y be 1/((-3)/t) - 0. Suppose 0 = -3*a - r + 22, 4*a - r - r - y = 0. Solve 5*b - 2*q - 2 = a, 2*b - 3 = q for b.
4
Suppose -4*t - 2 = -6. Let p be (-3 - t)/((-6)/3). Suppose p*c - 6 + 2 = 0. Solve c*q + k + 3 = q, q - 4*k = 7 for q.
-1
Suppose 0*l - l = 0. Suppose l = -4*c + 14 + 6. Solve 15 = 5*k - 0*k - c*n, 0 = 4*k + 5*n - 3 for k.
2
Suppose -5*c + 77 = -0*c - 2*n, 2*n = 3*c - 47. Suppose 4*h - c = -h. Suppose -2*s = -3*s + 3*j + 19, h*j = -15. Solve 5*b + l = b - s, b - 5*l + 22 = 0 for b.
-2
Suppose -17*g + 14*g = -3*w - 27, 0 = 4*g - 5*w - 40. Solve 2*l + 5 = 3*v, -g*l - 9 = -5*v + v for v.
1
Let j(w) = -w**3 + 6*w**2 + 8*w - 4. Let c be j(7). Let i be c*(42/9)/7. Suppose 5*k - i*k - 45 = 0. Solve 0 = -4*p - 12, 2*q - 3*p - k = -4 for q.
1
Suppose 0*n = n. Suppose n = 2*k - 82 - 6. Suppose -3*o = 4*h - 58, 2*o + 2*h - k = -2*h. Solve m = 2*f - 0*m - o, -5*f = -4*m - 41 for f.
5
Let j be (-8)/(-28) + 1107/21. Suppose -4 = 5*r - a - j, 0 = -4*r - 3*a + 24. Suppose 6 + r = 5*g. Solve g*c - 10 = -m + c, 3*m + 3*c - 18 = 0 for m.
2
Suppose 18 = 3*u - 3*p, -4*p + 0 - 9 = -u. Solve 0 = -z - u*o + 3*o + 3, -2*z - 2*o + 8 = 0 for z.
5
Suppose 10*x + k = 6*x + 14, 0 = -5*x + 5*k + 5. Solve 3*v - 30 = z + 8*v, x*v = 2*z - 5 for z.
-5
Let f(d) = 2*d**3 - 2*d**2 + 2*d - 58. Let z be f(0). Let n = -52 - z. Solve -2*k = -10, -3*w - n = -6*w - 3*k for w.
-3
Let m = 142 + -128. Solve -2*x = 2*j + m, 2*j - 6*j = 8 for x.
-5
Let a = 21 + -18. Suppose -a*l + 20 = -l. Suppose 0 = -2*b + 7 + 1. Solve -2*n - 2*s - l = -4*s, 25 = -5*n + b*s for n.
-5
Let c be -2 + 2 - (-1 + -28 + -1). Let x = c - 27. Solve x*y - y - 8 = 4*r, 3*r + 6 = 5*y for r.
-2
Suppose 0*o = m + 4*o - 16, -11 = -2*m - o. Let x = 46 + -26. Suppose w - 4 = 0, 8 = p - 4*w + x. Solve -t - b + p = t, -m*t = b - 4 for t.
0
Let r(z) = -z**2 + 2. Let c be r(0). Suppose -4*j + 7 = -c*g - 5, -3*j - 19 = 2*g. Let k be g/(-24)*(-6)/(-2). Solve 3*m - 10 = -n, -4*m - 2*n - k = -13 for m.
4
Let u = -130 + 131. Solve -j + 3*j + 2 = -4*b, 0 = -j - 4*b + u for j.
-3
Let n(y) = 2*y**3 - 5*y**2 - y - 1. Let l be n(3). Solve -7 = -l*c - 4*a, 3*c + 13 = 5*a - 5 for c.
-1
Let z(i) = 8*i**2 - 262*i - 63. Let b be z(33). Solve -2*j + 5 - 19 = -4*m, j = -b*m + 8 for j.
-1
Let w(o) be the second derivative of o**3/2 + 23*o**2/2 + 17*o. Let t be w(-7). Solve -t*j = -4*h + 22, 2*h - 17 = j - 2*h for j.
-5
Let d = -81 + 85. Suppose 1 - 6 = d*h - 5*w, 5*h = -3*w + 3. Solve -3*a + 6 = 3*k, 0 = -h*k + k + 5*a + 6 for k.
4
Suppose 0 = -2*h + 44 + 48. Suppose h*w = 51*w - 10. Solve -7*q + 10 = -w*q, -4*y + 2*q - 24 = 0 for y.
-5
Let r(b) = b**2 - b + 1. Let g be r(0). Suppose -2*i = -3*o + 22, -4*i + g = -3*i. Suppose 2*t = t + o. Solve -3*f + 4*s + 1 = -t, -7 = -2*f + 3*s for f.
-1
Suppose 140*j - 136*j - 16 = 0. Solve 5 = -s - j*w, w = -s -