p + 4*m + z, 0 = -5*p - 5*m - 5 for p.
3
Let m(j) = -j**2 - 4*j + 5. Let u be m(-4). Suppose 0 = -4*c - 2*x - u + 29, -4*x + 20 = c. Solve -18 = c*o + 3*v, 3*v - v = -4 for o.
-3
Suppose -4 = -2*d + 2*n, -n = 3*d - 3*n - 8. Let w = d - 1. Suppose 11 = p - w*r, -2*p = r - 6 - 2. Solve 0 = -m + p*j + 20, -4*m + 1 - 11 = -2*j for m.
-5
Let t = -60 + 63. Solve -5*s = -t*r + 37, -5*r + 3*s + 19 = -16 for r.
4
Let n = 4 - 1. Suppose 0*x + t = -3*x + n, 12 = -2*x + 4*t. Solve -3*i + 17 = i - f, x = -2*i + 5*f + 13 for i.
4
Let w = -128 + 88. Let o be (30/w)/((-2)/8). Solve o*n + r + 2 - 8 = 0, 12 = 2*n - 2*r for n.
3
Suppose -3*b = 2*q - 11, 4*b + q = 2*q + 22. Solve 0 = b*l + 2*m + m + 12, m - 16 = 5*l for l.
-3
Let a be (-3 - -13) + (-4 - -6). Let k be -1*(a - -1)*-1. Solve k = -2*f - 5*j - 2, -j - 16 = 3*f for f.
-5
Let g be 120/54 + 4/(-18). Suppose 4 = 4*w - g*c - 18, 13 = w - 3*c. Suppose -2*m - w*m = -18. Solve -4*t + m*l + 27 = 0, 0*l - 5*l - 31 = -2*t for t.
3
Suppose -5*z + 2*a = -2*a - 8, -5*z - 3*a = 6. Solve z = -f - 3*r + 11, -f + 3*f + 4*r = 12 for f.
-4
Suppose -32*m = -27*m. Suppose -3*s - 5*j + 2 + 7 = m, 5*j - 12 = -4*s. Solve 4*k + s*u - 15 = 0, -k - u = -4*k + 8 for k.
3
Let o be (-24 + -2 + -3)*1. Let v = -25 - o. Solve -v*q + 2*l - 6*l = 8, -3*q + 2*l = -19 for q.
3
Let r(q) = q**2 + 15*q + 61. Let u be r(-7). Solve -4*d - 5*g = 20, -8 = 2*d + u*g + 2 for d.
-5
Let r = 436 + -611. Let y(q) = q**3 - 6*q**2 + 6*q + 2. Let n be y(5). Let t be 25*n/(r/(-10)). Solve 4*c = -x + t - 0, -3*x - 18 = -4*c for x.
-2
Suppose 0 = 6*i - 3*i - 36. Let j be (3 + -1)*i/(-8). Let z(v) = v**2 + 2*v - 1. Let l be z(j). Solve 0 = -4*f + 3*g + 9, -l*f + 3*f - 3*g = 0 for f.
3
Suppose 0 = 9*l + 5*l - 154. Let c(o) = -o**3 + 11*o**2 + o + 8. Let t be c(l). Solve 5*q + k - t = -k, -4*k = -q - 5 for q.
3
Let t = -610 + 620. Solve 2*l + 2*x - 2 = 0, -2*l = -l - 2*x - t for l.
4
Let y be 4/14 - 36/28 - -6. Solve 9 = -3*r + 3*a, 4*r - y*a + 9 = -7 for r.
1
Suppose 5*j = 20, 3*q + 12 = q + 4*j. Solve -4*y - x = -q*x - 1, -18 = 3*y + 3*x for y.
-1
Let h(v) = v - 6. Let j be h(8). Suppose 5*m + 11 = 4*c + 2*m, -4*m + j = 3*c. Solve -4*k - c = y, 2*y = 4*y + 4 for k.
0
Let m be (-1)/((7 - 8)/((-26)/(-2))). Suppose 2*r - m = -1. Solve 0 = -f + 4*p - 13, -r*f - 28 = -2*f - 4*p for f.
-5
Let t = -65 + 76. Suppose -80 = -t*l + 7*l. Solve 2*f + j = -3*j + 8, -5*j + l = 0 for f.
-4
Suppose 5*n - 246 = c, -59 - 199 = -5*n - 2*c. Suppose 32*d - 27*d - n = 0. Solve -4*t - t = -4*v - 5, 5*v = 3*t + d for t.
5
Suppose 0 = -8*r - 16*r + 120. Solve 3*q - r = -2*y + 4*y, q - 5 = -y for y.
2
Let d(m) = -5*m - 25. Suppose 4*a + 26 = -5*f, 3*f - 6*a = -2*a - 22. Let z be d(f). Solve -z*p + 2*w = -1, -5*p - 1 - 13 = 3*w for p.
-1
Let t = -1 - -6. Suppose -301 - 299 = -8*n. Let j be ((-1)/(-3))/(t/n). Solve 0 = -j*u + o + 5, -2*o = -u - 0*u + 10 for u.
0
Let q = 53 - 32. Suppose 4 = 2*p, -5*r + 5*p - 22 = -7. Let x be 1 + 4 + r + 1. Solve -x*d + q = -g, -3*g - g = d - 21 for g.
4
Suppose 8*x + 5 = 13*x. Suppose 0 - x = -2*o + 3*g, -1 = -g. Solve 12 = -4*z - y, -4*z + 3*y + o = z for z.
-2
Let c = 868 + -865. Solve 5*o - 3 = 2*p, c*o - 5*p - 19 = 2*o for o.
-1
Suppose 3*q - 1 - 14 = 0. Let d(k) = -k**2 - 6*k - 8. Let t be d(-4). Solve -q*v + 5*h - 35 = t, 0*v = -4*v + 5*h - 30 for v.
-5
Let t(z) = 2*z - 14. Let q be t(6). Let k(l) = -l. Let b be k(q). Solve v + 3 = -s, 0 = b*s - 5*s - 5*v - 11 for s.
-2
Let l(w) = -5*w**2 + 103*w + 51. Let d be l(21). Solve -3*q + d = -m, -2*m + 2 - 5 = -q for m.
0
Suppose 4*x = -5*s + 11 + 1, 0 = -3*x - s + 9. Let m be x - (-4)/(-1) - -1. Let n be (2 - 2)/1 - -2. Solve 0 = z + n*q, m = -4*z - 0*z - 3*q for z.
0
Suppose 93 = 4*d + 13. Solve 2*u = -5*k + 54 - 23, 5*u - d = -k for k.
5
Let y = 12 - 7. Suppose -2*x + 3*p = -33, 2*x - p - 3 - 24 = 0. Solve k + x = -k + y*m, -6 = -3*m for k.
-1
Let h(f) = 3*f**3 - f**2 - 5*f + 3. Let y be h(2). Solve -4*n - y = -3*d, 0 = n + 4*d - 8 - 3 for n.
-1
Suppose 15*a + 15*a = 0. Solve 2*q + 2 = n, q - 5 = -n - a*n for n.
4
Let l be 10 + -6*(-2)/(-4). Suppose -10*t + 6 = -l*t. Solve -t*o + 20 = -2*n - 4*o, -2*n + 3*o + 5 = 0 for n.
-5
Let w(c) = 2*c**3 + 7*c**2 + 4*c + 5. Let n be w(-3). Let d = -9 + 14. Suppose d*r - 31 = -11. Solve -r*y + n = -i, 2*i - 1 = 4*y - y for i.
2
Let m = 74 + -70. Suppose 0*c = -m*c + 76. Solve 3*r + 4*b - 14 = 0, 4*b - c + 7 = -4*r for r.
-2
Let v(w) = w**3 - 8*w**2 + 7*w + 4. Let o be v(7). Suppose 75 = o*u + 19. Suppose -u = -4*b - 2. Solve -16 = -b*y + y + 4*a, 3*y + 3*a + 3 = 0 for y.
2
Let c be 95/(-19) + (1 - -8). Suppose -c*n - 2*g + 30 = -0*g, -3*g = n - 20. Solve n*y = -b - 25, 3*b - 20 = 4*y + 4*b for y.
-5
Suppose -4*x = k - 2*k - 21, -2 = -2*x. Let a = k + 35. Let q = a + -14. Solve 2*s + 2*m = -s + 15, q*s + 5*m = 27 for s.
3
Let f(d) = -d**3 + 17*d**2 + 2*d - 31. Let z be f(17). Solve 2*r = -5*n - 10, z*n - r = -2*r - 7 for n.
-4
Suppose -56 = -5*l + 4*k, -3*k - 17 + 5 = 0. Solve b = 3*z - 4, -b = -2*z - 3*z + l for z.
2
Suppose -3*x = -0*x. Let w be ((-40)/(-72))/((-4)/(-6))*6. Solve w*i + 15 = 2*u, 0 = u - x*i + 5*i for u.
5
Let q(y) = -y**3 + 10*y**2 + 2. Let p be q(10). Solve 3*t - 5*v + 5 = 0, p*t - 3*v + 3 = -0 for t.
0
Let w = 32 + -28. Let p(t) = -t**3 - 16*t**2 - 16*t + 11. Let q be p(-15). Solve -q + 6 = w*y, -8 = -r + 2*y for r.
-2
Let f(g) = -53*g - 261. Let w be f(-5). Let c(m) = m - 2. Let p be c(4). Suppose -1 = p*a - 11. Solve -n = a*b + 4 + 4, -w*n - 4*b = 0 for n.
2
Suppose -56*x = -38*x - 18. Solve -3*d - 2*n = 17, 18 = -3*d - 4*n - x for d.
-5
Let b be 30/(-9) - (-10)/(-15). Let m be (3 + -2 - b) + -1. Solve 4*q + 2*n - 6*n = 0, 0 = m*q - 3*n + 3 for q.
-3
Suppose -44*d - 39*d = -332. Solve -3*r + d*f + 19 = 0, -4*r + 3 = -f - 18 for r.
5
Let r = 1 - -5. Let w = r - 3. Suppose -13*c - 12 = -3*g - 10*c, 19 = 3*g + 4*c. Solve -4*s = -3*v - 26, w*s - g*v = -s + 30 for s.
5
Suppose 3*c - 3 - 48 = -x, -3*x + 5*c = -167. Let h = 57 - x. Solve -6 = -2*l - h*z - 2, 0 = 3*z for l.
2
Let h be (-339)/(-15) + (-4)/(-10). Let d be (4 + -10)*(-2)/4 - 0. Suppose -i = -d*i - 4*a + 14, -4 = -2*a. Solve -m - 10 = 2*m - 5*t, i*t = -4*m - h for m.
-5
Suppose -5*x = -2*x - 12. Let l(c) = -c**3 - 3*c**2 - 4*c - 12. Let p be l(-3). Solve -3*s - 15 = -x*n, -4*n - n + 5*s + 25 = p for n.
0
Suppose -20*x = -60 - 40. Solve -x*y + 0*y + 5*p = 0, -27 = 5*y + 4*p for y.
-3
Suppose -21 = -35*g + 119. Solve 0 = -0*z + z - 3*o - 5, g = 2*z - 3*o for z.
-1
Let m(s) = -2*s**2 + 45*s - 20. Let y be m(22). Suppose 5*a + 10 = -5*t, -t - 2*a - 4 = y. Solve d - 3*c = -6*c - 15, 0 = -5*d - t*c - 23 for d.
-3
Suppose 61 = 7*h + 26. Let o(s) = s**3 + 8*s**2 + 7*s + 3. Let c be o(-7). Solve -5*n - 8 = 2*l, -2 = -h*l + c for n.
-2
Suppose -8*r = 3*r + 66. Let i be ((-3)/15)/(r/90). Solve -f - 18 = i*f + 2*z, z + 7 = -f for f.
-2
Let m be 208/6 - 4/(-12). Let v = -22 - -27. Solve -8*d + 4*d = k + 13, -v*k + 5*d + m = 0 for k.
3
Suppose -l - 6 = 2*l. Let p = -192 - -199. Let m = p + l. Solve -4*s = 3*d + 35, 0 = -0*s + m*s - 5*d for s.
-5
Let z(y) = 8*y + 44. Suppose -5*f = -v + 27, f + 3*v = 2*v - 3. Let j be z(f). Solve -9 = 3*k - j*c + c, 2*c - 16 = -3*k for k.
2
Suppose -3*y - t = -10, -38*y = -34*y + 3*t - 10. Let s be -1*(-1 - -3) + 5. Solve z - 16 = -5*d, -z + s*z + 10 = y*d for d.
3
Let n(d) = -5 + 20 + 17 + 3*d - 5. Let i be n(-9). Solve -2*a - 26 = -5*v, i = 3*a + 2*v - v + 5 for a.
-3
Let n(d) = -d**2 - 10*d - 23. Let g be n(-5). Solve 0 = -5*j + 10, g*j - 22 = -4*b - j for b.
4
Let i = -1372 - -1374. Solve -4*p + j = -4, -i*j = 3*p - 2 - 1 for p.
1
Let i be (-10)/3*(-11 + 2). Suppose -2*u + 23 = -3*l + 97, -l + u = -23. Let c = i - l. Solve -5*v = -v - w + 9, 0 = c*v + 4*w for v.
-2
Let b = 5 - 2. Let w(i) = -2*i - 28. Let a be w(-15). Suppose -3*g + 5 = -a*z, -1 = -5*z - 6. Solve 4*u + 9 = -b*h, -g = 2*h - 2*u + 5 for h.
-3
Let i be (18/4)/(80/160). Solve 0 = -3*c - i, 5*k + 4*c = -0*k - 27 for k.
-3
Let d = 72 + -68. Let a be ((-55)/(-15) - d)*-6. Solve 2*h + 11 = a*k - 5*k, -2*k = 3*h + 4 for h.
2
Suppose -4*l = -b - 7, 3*b - 14*l = -12*l + 9. Solve b*t + 3*x = 11, 0*t = -2*t - 3*x - 1 for t.
4
Let p = -7 + -2. Let j be p/(-12) + 1/4. Let r(k) = 5*k**3 - 2*k + 1. Let z be r