Suppose 9 = 2*v + 3. Suppose -v*m = -2*m. Suppose 4*i = d + 31, -1 = 81*d - 82*d. Solve -8*n + 3*n - 10 = m, 0 = -2*f + 2*n + i for f.
2
Let v be 40/(-7) - 8/28. Let d be (v/(-9))/(1/3). Suppose -f - 6 = -3*f, -d*u = -4*f + 12. Solve h = y + 2*h + 2, -4*y - 5*h - 11 = u for y.
1
Let z(l) = l**2 + 9*l + 21. Let n(v) = 1. Let f(i) = 6*n(i) - z(i). Let s be f(-6). Suppose -s*d + 48 = 3*d. Solve -2*k - d = 4*g, 15 = 2*k - 5*g + 5 for k.
0
Let v(p) = -p**2 - 8*p - 11. Let h be v(-5). Solve 4*y + 6 = 2*f, 4*y = -h*f + 1 - 13 for f.
-1
Suppose 4*p - 30 = -2*w, 4*p = 2*p + 2*w + 18. Solve -15 = 5*u + b, -p*b + 4*b + 20 = 0 for u.
-4
Let r(u) = u + 33. Let w be r(-31). Solve 5*y = w*n + 2, n + 4 = 4*y - 3*n for y.
0
Let c be (9/(-30))/((-2)/(-4))*-15. Suppose m - c = -2*m. Solve 5*f = -0*f - 2*d + 11, m*f + 2*d = 5 for f.
3
Let c(z) = -3*z**2 + 29*z - 15. Let n be c(9). Solve 5 = b - 0*b + n*g, 2*g = b for b.
2
Suppose -4 = -4*j + 4*b + 8, 0 = 2*j + b - 15. Solve 2*r - 4*n + 16 = 3*r, 0 = -2*n + j for r.
4
Let g = -541 - -541. Solve g = p - w + 1, 3*p - w - 11 = 8*p for p.
-2
Let t be (11 + -19)/(4/6). Let y be t/(5 - 1) - -3. Let a(x) = x**2 + 2*x + 3. Let h be a(y). Solve -h*r + r + 2*q = -14, -q - 5 = 0 for r.
2
Let q be (-2)/(-1 + (0 - 1)). Suppose 2*n - 25*z + 27*z = 16, -2*n + 3*z - 24 = 0. Solve n = 3*r - u - q - 5, -r = -2*u - 2 for r.
2
Suppose 0 = -2*w - 37 + 47. Solve -5*k = -u + 25, -3*k = -w*u + k + 41 for u.
5
Suppose -10 = -4*b + 2*u - 16, 0 = -3*b - 3*u + 9. Solve 2*h + 2 = -3*o + 11, -5*o + 3*h + 34 = b for o.
5
Suppose 2*a - 21 = -p - 4*p, -27 = -4*a + 5*p. Let c be a/6*4 - (-3)/(-9). Solve c*m - 5 = 4*j, -3*m + 0*m = -4*j - 11 for j.
-5
Let p = -80 + 89. Suppose 3*n = r + 1, 4*r + 2*n = -n + 11. Solve -h - 3 = r*o, 5*h = -7*o + 3*o - p for h.
-1
Suppose -23 = 3*h - 176. Suppose 0*d - 3*d - 2*s = 30, h = -3*d + 5*s. Let k be ((-33)/(-12))/((-3)/d). Solve k = 3*m - 2*y - 10, y = -3*m + 12 for m.
5
Suppose 0 = -m + 4*m + 5*v - 10, 3*m + v - 14 = 0. Solve -2*j - 25 = -3*l, m*j + l = -l - 15 for j.
-5
Suppose 0 = -147*s + 152*s - 15. Solve -2*r + 4*n - 8 = 0, 0 = -4*n + s + 1 for r.
-2
Suppose -17 = -3*x - 5. Suppose x*g - 5*p = -129, 3*p + 16 = -g + p. Let a = g - -31. Solve 4*o + 3 = -a*m - 18, 0 = -m + 2*o + 7 for m.
-1
Let j(s) = s + 15. Suppose -36 = 4*x - 2*a, 3*x + 2*a + 33 + 8 = 0. Let d be j(x). Let i = 13 + -8. Solve 3*c + 5*u - 22 = 0, -c + d*u + i = 26 for c.
-1
Let h(s) = -s**3 - 7*s**2 + 43*s - 3. Let w be h(-11). Solve -3*z - 12 = 0, w*l = 3*l + z + 24 for l.
4
Suppose -x = -u + 14, -9*x + 23 = 2*u - 6*x. Let g(j) = j + 13. Let w be g(-8). Solve -3*o = -2*k - u, -k - 3*k = w*o - 29 for o.
5
Suppose -64 = -9*a + a. Solve -3*o - a + 2 = -2*n, 2*o + 15 = 5*n for n.
3
Suppose -47*n - 64 = -63*n. Solve -i = -n*h, -5 + 15 = -2*h - 2*i for h.
-1
Let u(r) = 2*r**2 + 4*r - 6. Let k be u(2). Suppose k = l + l. Solve l*d + 40 = 3*w + w, -5*d - w = 15 for d.
-4
Suppose 25 = 2*q + 15. Suppose -2*i = q*i. Solve 1 = t + 2*u - 5, -3*u + 9 = i for t.
0
Let v(o) = 4*o - 8. Let h be v(7). Let d be (2 - (4 - 3)) + 2. Solve -4*z - h = -p, p - 4 = d*p + 3*z for p.
4
Let u = 19 - 9. Let p = 17 - u. Let m = 9 - p. Solve 3*t + a = -10, -5*a + 18 = -0*t - m*t for t.
-4
Suppose 0 = 6*l - 3*l + 45. Let c = 4 + 15. Let o = c + l. Solve -2*f = -2*m + o, -m + 6*m - 9 = 4*f for m.
1
Let j(u) = -115*u**3 - u**2 - u - 1. Let p be j(-1). Suppose -9*r - p = -3*r. Let v = r - -32. Solve -3 = 3*m - 12, 5*g + v = m for g.
-2
Suppose 3*y - 3*v + 63 + 12 = 0, 4*v = -4*y - 132. Let t be y/145*(-15)/1. Solve -t*x + 2 = -3*u - 10, -12 = -4*x for u.
-1
Let x = -35 - -50. Suppose 5*j = 3*c + 40, j - 5 + x = -3*c. Solve 0 = i, -2*q - j*i + 4 = -q for q.
4
Let b = 179 - 174. Solve 6*w = -b*z + w + 35, -z + 2*w = 2 for z.
4
Let b(j) = -2*j - 27. Let o be b(-17). Suppose 13*k - o = 19. Solve -2 = k*p, g = -4*p - 0*p - 7 for g.
-3
Let j = 8 - 3. Suppose -14*b + 13 = -29. Solve -4*g = -3*t + j, -t + 1 = g - b for g.
1
Suppose 1 = w - 1. Suppose 0 = 4*r + 16, 72 = 4*f + r + w*r. Solve -4*n - f = -5*y, -2*n - 24 = -5*y - n for y.
5
Let o(j) = -7*j**2 + j + 2. Let h be o(1). Let c be -2 + -8*h/8. Solve -3*q + 15 = c*q - n, -2*n = 3*q - 22 for q.
4
Let w = -159 - -95. Let s be 1/(-3 - w/20). Suppose -3*l = -y - s, 2*y = -3*l + 4*y + 7. Solve 0 = 4*u - 5*x + 15 - l, 0 = 4*u + 4*x - 4 for u.
-1
Let p = 2017 - 2013. Solve 5*n = 3*u - 1 + p, -32 = -4*n - 5*u for n.
3
Suppose 0 = 47*a - 256 + 21. Solve 3*x = -3*d + 2*x + a, -2*x - 8 = 0 for d.
3
Let w = -274 + 276. Solve -5*h + 0 - 5 = 5*b, 4*b + w*h = -4 for b.
-1
Let t be (-2)/(-8) + (-585)/(-156). Solve -3*r = -3*b + 10 - 1, 0 = 4*b + t*r + 28 for b.
-2
Let v = -86 - -90. Suppose -2*s = s + 3. Let j be (s/3*0)/(-1). Solve o = 3*x + 18, j*x - v*o + 17 = -x for x.
-5
Suppose 50 = -3*h + 161. Suppose -20 = -h*g + 32*g. Solve 5*r + 3*y - 15 = 4*y, 2*y + 6 = g*r for r.
4
Suppose 3*x = 2*x. Suppose -2*i + 40 = -x*i. Suppose 0 = 5*g - i. Solve 3*a - g*w - 4 = -16, w - 3 = -5*a for a.
0
Let r(k) = k - 29. Let x be r(29). Solve 3*t = 4*s - 3, x*t + 18 = 5*s + t for s.
3
Suppose 4*d = -3*i - 1, 3*d - 10 = -i - 2. Let n = i + 14. Let m = n + -5. Solve k = -2*r + 3, 2*r - 8 = -4*k - m*r for k.
1
Let u(x) = x**3 + 18*x**2 + 32*x - 11. Let h be u(-16). Let m be (11/(h/(-6)))/1 - 0. Solve -s = -m*s + 15, -4*y = -s - 9 for y.
3
Let x be 20/(-100) + (-5)/((-50)/32). Solve -5 = 4*m + j, -m + x*j - 17 = -2*j for m.
-2
Suppose -15*j + 53 + 7 = 0. Solve 3*m + 4*b - 35 = 0, -j*m = 2*b - 7 - 23 for m.
5
Suppose -7*r + r + 42 = 0. Let j = 15 - r. Solve -5*q = -0*s + 5*s - 15, -3*q = 2*s - j for q.
2
Let n = 34 + -30. Solve 0 = -4*b - g - 7, -4 = n*b - 3*g + 7*g for b.
-2
Suppose -28 = 176*y - 183*y. Solve -3*q - 32 = y*h, 6*h + 40 = -5*q + 2*h for q.
-4
Let j be 371/(-106)*4/(-2). Solve 0 = -v - 2*w - 6, 15 = 2*w - j*w for v.
0
Let u(s) = -2*s**3 + 12*s**2 + 29*s + 4. Let n be u(-2). Let v(j) = -j - 2. Let g be v(-6). Let t = 1 - -4. Solve 0 = -2*r - 0*d - d - n, 0 = r + g*d + t for r.
-5
Suppose 0 = -4*f + 2*f + 8. Let o be (f - -3)*(-12)/(-7). Let t = 22 - o. Solve -5*m - 19 = -3*l, 0*l + t = 4*l + m for l.
3
Let k(l) = -2*l + 9. Let m be k(-10). Let t = m + -21. Solve 3*q + 6 = -3*i, -t = 4*q - 3*q + 3*i for q.
1
Let g(i) = i**3 + 6*i**2 - 25*i + 22. Let j be g(-9). Solve a = -5*p + j*a - 11, 0 = -5*p - a - 3 for p.
-1
Let f(z) = 8*z**3 + 6*z**2 - 7*z + 2. Let o be f(1). Solve 8 = 4*k + c + 3*c, 2*k - o = -3*c for k.
-3
Suppose -2*r = 3*b - 16, 4*b - 4*r + 4 = -8. Suppose 23*n - 56 = 82. Solve b*w = q + 3 + 3, 2*w + 2*q = n for w.
3
Let x be 120/55 + 4/(-22). Suppose -5*s + 25 = x*c, -3*s = -4*c - 11 - 4. Let u(b) = b**2 - 3*b - 5. Let j be u(5). Solve 0 = -3*p + o, c*p = -p - j*o for p.
0
Suppose -7*h - 36 = -25*h. Solve -h*j - 2*j = -5*d - 5, -45 = 4*j + 5*d for j.
-5
Let x be 30/(-20) + (-15)/(-2). Let d be (6/(-36)*0)/(2 - 3). Solve 5*n + 2*h = -x, 0 = -d*n + 2*n + 2*h for n.
-2
Let c(n) = -n**3 + 3*n**2 - 3*n + 2. Let q be c(2). Let w = q - -16. Let j = -14 + w. Solve -3*m + j*m + 4 = -3*k, -m = -4 for k.
0
Suppose -76 + 20 = -56*h. Solve -c = 3*s - 1, -3 = -s - h for c.
-5
Suppose -30*v + 912 = 27*v. Solve 0*x - 2*s - 13 = 5*x, 4*x - v = 5*s for x.
-1
Let a(r) = r**2 - 44*r - 187. Let x be a(48). Solve q + 4*l - l = 9, -11 = x*q + l for q.
-3
Let b(n) = -n**3 - 6*n**2 + 3*n - 6. Let o be b(-7). Let k = -1 + o. Solve -4*p - 24 = -4*u, 0 = -2*u + 4*p + k - 1 for u.
2
Let p(l) = -l**2 + 2*l + 20. Let g be p(0). Suppose 0 = -g*z + 19*z + 7. Solve 3*j + 5 = 4*m, -2*j = 5*m - z*j for m.
5
Suppose -5*u + 24 = -8*u. Let j be (u/(-20))/((-1)/(-5)). Solve w = 6*w - v - 19, -2*v = -j for w.
4
Suppose o + 3 = 4*v + 2, 0 = 5*o + 5. Suppose 3*g + v = -3*r + 6, 5 = r + 4*g. Solve -4*b = -4*h - 28, -r = b + h - 4 for b.
5
Let o be 0 - 7*1*-1. Suppose 12*s - 114 = -30. Let x be (6 - -1)*2/s. Solve x = k + i, k + 3*k - o = -5*i for k.
3
Let p be ((-1)/(-1)*-32)/(-2). Let r = p - 11. Solve -3*k + 1 = 4*s + 2*k, 5*k = -r*s for s.
-1
Suppose -u + 13 = 7*c - 9*c, c = -u + 1. Solve 0 = -3*o + 4*o - 3*t - 16, -u*o - 5*t = 20 for o.
1
Let q(h) = h**3 + 8*h**2 - 9*h + 2. Let b be q(-9). Solve -s - 3 = b*f, 0 = 2*s + 2*s - 20 for f.
-4
Let z = -363 - -373. Solve -z =