j + 2, -4*p = -9*j + 4*j + 5 for p.
0
Suppose 4*g + 4 = 0, 21 = -0*s + 4*s - g. Solve -6*d = -2*d + s*q, 2*q = -d for d.
0
Let b be 19/76 - (-11)/4. Solve 7 = b*z - 5*h - 9, -z = 3*h + 4 for z.
2
Let z = -32 - -31. Let r(v) = -v**3 - v**2 - 3*v - 1. Let q be r(z). Solve -g = -q*u - 7, -u - 21 = 2*u - 5*g for u.
-2
Let k be 40/15 - (-4)/3. Solve -3*i = -3*u + 3, 1 - 2 = k*i - u for i.
0
Let d(r) = -4*r**3 - 5*r**2 + 7*r - 2. Let g be d(2). Let k = g - -59. Solve -3*w + s = 2*w - k, 4*w - s = 15 for w.
4
Suppose 5*s + 14 = 29. Let n be s/6*(-168)/(-7). Solve -i + 2 = 3*g, g = 5*i + 5*g + n for i.
-4
Let j(o) = 36 - 12 - 2*o + 5 + 0*o. Let z be j(13). Solve 4*n + 9 = 5*t, -1 = 5*t - z*n - 9 for t.
1
Suppose -2*g + 423 = 415. Solve -w = -f - 9, g*w + 0*w - 32 = 3*f for f.
-4
Suppose 2*s + 3 - 29 = 0. Solve s = -3*l - 2*y, l = -2*y + 1 - 4 for l.
-5
Suppose -11*f + 46 + 9 = 0. Solve -f + 14 = -3*u + 2*t, 2*t = 6 for u.
-1
Let q(d) = -5*d - 175. Let o be q(-36). Solve -a = -3 - 2, -o*g + 30 = a for g.
5
Let g = -721 + 739. Solve -7*v - 3*x = -2*v - 22, v - 5*x + g = 0 for v.
2
Let p be 4/(4 + -2) + (0 - -3). Suppose -3*r + 5*w + 23 = 0, w - 15 = -p*r + 42. Solve -q + 5*y - 23 = 0, q + 2*y - r = 2*q for q.
-3
Let b = 1506 + -1505. Solve -4*a = -5*w - 37, -b = 3*w + 3*a + 5 for w.
-5
Let d(i) = i**3 + 7*i**2 - 7*i + 10. Suppose -m - 3 - 2 = -w, 3*m = w - 21. Let q be d(m). Suppose 0*n = -q*n. Solve s = -n*s - 2*g + 2, s + 5*g = 11 for s.
-4
Suppose c + 100 = 6*c. Let m be 1/(-4) - (-85)/c. Solve 4*w = -m*y + 20, w = -2*y - 3*w + 20 for y.
0
Let m be -2 - (-1)/1 - (0 - 5). Solve 0 = 3*p + 2*x - m*x + 7, -5*p - x = 3 for p.
-1
Let p be -1 - (4 - 15 - -5). Solve 3*l + p*s = 5, 7*l - s + 1 = 2*l for l.
0
Let d be (-107)/(-7) + 8/(-28). Let p be d + -17 - (0 + -5). Solve 2*h + 18 = -4*i, 4*i = -p*h - 0 - 23 for i.
-2
Suppose -6 = 3*j - 2*w, 4*w - 11 + 39 = -4*j. Let m be j + 3 + 8 - (1 - -2). Solve 0 = 5*r - 6 - 9, f + 2*r = m for f.
-2
Let m(u) = u + 3. Let s be m(1). Let p be 3/6*(s + 8/2). Solve -p*k - 26 = -2*q, 5*k + 9 + 7 = -3*q for q.
3
Suppose -t - 84 = -4*b, -3*t + 2*b = -3*b + 238. Let q = 78 + t. Solve -5*p + 5*l = -45, q*p + 5*l + 21 = p for p.
4
Suppose i - 23 - 233 = 5*t, -t - 5*i - 46 = 0. Let b be 4/(-14) + t/(-7) + -2. Solve 4*a + o = -6 - 6, -8 = b*a + 3*o for a.
-4
Suppose 6*v + 494 = 2*v + 2*z, 0 = 5*v - 4*z + 616. Let u = 126 + v. Solve -6*c + 2*m = -c - 19, 0 = 2*c + u*m - 2 for c.
3
Let o(y) = 3*y - 1. Let w be o(8). Suppose -3*c = -5*c + 100. Let v = c + -35. Solve 4*t + v = -6*z + z, w = 3*z - 4*t for z.
1
Suppose -23 + 14 = -c. Let d = -9 + c. Suppose -2*s - 2*s = -8. Solve 5*h - s*i = -3*i + 21, -5*h - 3*i + 23 = d for h.
4
Let t = 14 - 15. Let a be (t - 0)/((-13)/(-247)). Let h = 2 - a. Solve 5*l = -3*o - 0*l + h, 4*l = -2*o + 16 for o.
2
Suppose 0 = -4*i + h + 12, -4*i + 12 = -3*h - h. Solve -3*p + 5*f = -7*p - 24, -i*p + 9 = -3*f for p.
-1
Let h = 34 - 32. Let z be h/8 + 59/4. Solve y + 5*p = 3*p - 5, 5*y + z = -5*p for y.
-1
Let k be 3/18 + (-22)/(-12). Suppose -4*t = -k*o - 142, 5*t = o + 97 + 88. Let y = -35 + t. Solve y = -5*i - 2*s + 16, 4 = s for i.
1
Let d be (-6 + 3)/((-3)/56*-2). Let m be ((-35)/d)/((-1)/(-4)). Solve -h - 11 - 17 = -m*s, 0 = 2*h + 6 for s.
5
Let w = 1 + 2. Suppose -16 = -3*u + o + w*o, 2*o = -4*u + 14. Solve -2*q + 5*h + 20 = 0, 3*h + 8 = -u*q - 4 for q.
0
Suppose 9 = 10*r - 7*r. Let o = 13 + -8. Suppose w + 6 = -2*q + r*w, -w = -o. Solve -q*t = l - 6, -2*t = -4 - 2 for l.
0
Let d be 5/20*0 + 2. Suppose d*l = -3*l - 20. Let m be (-6 - -2 - l)/4. Solve -3*w + 3*g - 2 = 4, -w + 2*g - 7 = m for w.
3
Let m be ((-40)/15 + 1)*-3. Let j be (-1 - -4) + (2 - m)*1. Solve 4*l + n + 0 - 5 = j, -2 = 5*l + 4*n for l.
2
Let n be (-3348)/(-162) - (-2)/(-3). Let j = 16 + -7. Let g = n - j. Solve -5*l - 3*y = -6*y - g, 10 = -5*y for l.
1
Let q be 2/(-8) - 238/(-56). Suppose 0 = q*n - 0*n - 16. Suppose 0*i - n*i + 16 = 0. Solve -2*d - 5 = 3*o, i*d - d - 18 = 4*o for d.
2
Let k = -887 - -890. Solve 3*g + k*a = -7 - 8, 10 = -3*g - 2*a for g.
0
Suppose 3*w - 5 = -17. Let o be 0/((-2)/w*-4). Solve 2*y = 2*k + 6, o = 4*y + k + 2*k - 5 for y.
2
Let n be 3*((-24)/(-9) + -1). Let j = -3 + n. Suppose g - 4 = -h - 0*g, -8 = -2*g. Solve u - 5*q - 15 = 0, -4*q = -j*u - h*u + 18 for u.
5
Suppose -2*o + 3 + 7 = 0. Suppose -o*d + 36 = 4*y, -3*y + 18 = 4*d - 9. Solve 5*f = 5*x + 10 + 20, -2*x - y = f for f.
1
Let q(o) = o**3 - 3*o**2 - 28*o + 4. Let y be q(-4). Solve 0 = 3*l - 0*z - y*z + 23, 5*z = l + 26 for l.
-1
Let n = 10 + -8. Suppose 7 = n*d - 7. Let j = 9 - d. Solve -3*o - 3*i = 0, -5 = j*o - 2*i + 11 for o.
-4
Let r be ((-27)/6 + 2)/((-1)/2). Let a(b) = b**3 - 5*b**2 + 2*b - 8. Let h be a(r). Solve s = 2*t + 7, 2*s - 4 = -4*t - h*s for t.
-2
Let x be (-13 + 3 + 6)*-1. Solve -d - 2 = 2*z - x, 4*d = -3*z + 3 for d.
0
Suppose 5*u + 4 - 24 = 0, -5*t + 2*u = 8. Suppose -2*g + 54 = g + 4*x, -2*x = -5*g + 64. Solve 2*l + g = 4*j, t*j + 3*l = 4*j - 13 for j.
4
Suppose -4*p - 3*n = -24, 2*p + n - 6 - 4 = 0. Solve 0 = -p*l - 5*r - 3, 5*r + 13 = l + 2*r for l.
4
Suppose 4*z + 93 = z. Let h = -16 - z. Suppose 0 = 5*b - 0*b - h. Solve -2*a - 9 + 3 = -2*g, 2*a = -b*g - 6 for g.
0
Let u be (-11)/9 + 1 - 418/(-99). Suppose 2*h = 2, 4*h - u = -7*y + 3*y. Solve i + 2*o - 1 + 8 = y, 4*i + 5*o + 19 = 0 for i.
-1
Let q be -8*(22/(-4) - (0 + -5)). Let v be (-2)/(-6) - (-102)/18. Suppose 2*u = 2*l + v, u - 7 = -3*u - l. Solve -c = -q*b - 5, c + b = u*b + 2 for c.
1
Suppose 3*v - 69 = a - 62, -2*v - 2*a = 6. Suppose 4*i = 3*i + 2. Solve -v + i = -2*k - c, k + 4*c - 10 = 0 for k.
-2
Let w be (-4)/(-8) - (-8 - -4)/(-8). Solve -20 = 4*q + 4*r, q = -w*r - 2*r - 10 for q.
0
Suppose -o + 16 = 2*t, 0 = o + 2*o - 6. Suppose 5*l - 12 = 2*m, -3 = l - t. Solve 3*j - m - 23 = 3*i, 3*i - 4*j = -31 for i.
-5
Let k(p) = -p**2 - 15*p + 52. Let l be k(-17). Solve -5*v = -a + l, 18 = -v - v - 5*a for v.
-4
Suppose z = l + 20, 0 = -4*z - 5*l + 96 + 29. Let q(n) = -n**3 + 26*n**2 - 27*n + 53. Let b be q(z). Solve -b*v + 4 = 3*j + 1, -v - 5*j = 15 for v.
5
Let r = 110 - 105. Solve 2*g = r*g + 5*t - 14, -4*g - 24 = -4*t for g.
-2
Suppose 5*i = -g - 31, -4*i - 12 = -g + 2. Let s(d) = -2*d**3 - 11*d**2 + 6*d. Let t be s(g). Solve -c - 6 = -1, t = -5*o - 5*c - 45 for o.
-4
Let f be (42/(-35))/(3/(-50)). Suppose -f = -5*z + z. Suppose -2*t = -z - 5. Solve 0 = -5*d - 2*u - 2*u - 36, 20 = -t*u for d.
-4
Suppose 2*y + 4*j = 44, 5*y + 3*j = -2*j + 135. Let q = y + -29. Solve o + 3*i = -12, 1 - 7 = 3*o + q*i for o.
3
Let s = 50 + -46. Let l be -1 - (s + -11 - -1). Solve 6 = -3*a + y - 5, 5*y = -l*a - 45 for a.
-5
Let h be (-1 + -1)/((-2)/3). Let k = -155 + 183. Suppose -n = h*n - k. Solve 2*u - 3 + n = 0, i + 4*u = -9 for i.
-1
Suppose 0 = v + 4*v - 60. Let g be 26/v - (-1)/(-6). Let k(f) = -f**3 + 5*f**2 + 2*f - 7. Let z be k(5). Solve 0 = 2*t - z*h - 0*h + g, 4*t - h = -14 for t.
-4
Suppose 42 = 3*g + 3*x, 4*g - 11 = 7*x - 2*x. Solve 5*b = 2*j - g, 5*b + 9 + 3 = j for j.
-3
Suppose -f - 4*f = 2*v - 70, -4*v = -2*f + 28. Let u = f + -9. Solve -2*t + 0*b + 11 = 3*b, 20 = u*t + 5*b for t.
1
Suppose 5*o = 3*a - 3, 0 = 5*o + 5*a - 7 + 2. Suppose 6*c - 3*c - 9 = o. Solve -c*q - 27 = -3*s, q - 4*s = -s - 17 for q.
-5
Let s be 1128/30 + 6/15. Let a = 40 - s. Solve 2*o = l - a*o - 20, -l + o + 8 = 0 for l.
4
Let x(w) = 4*w - 218. Let n be x(55). Solve g + 5*i = -4*g - 10, -n*i = 2 for g.
-1
Suppose 0 = -3*t + w + 4 - 18, -4*w - 40 = 4*t. Let j be (-1)/1*36/3. Let f be (-224)/j + 4/t. Solve -b - 4*g - f = 0, 0*b - 3*g = b + 13 for b.
2
Let i(p) = 2*p - 8. Let u be i(6). Suppose 5*m = u*m. Solve m = -2*y + 3*w + 11, 1 - 5 = -2*y - 4*w for y.
4
Let w be 180/20 + (-5)/((-5)/(-6)). Solve -2*a - j = -w, -2*a = 3*j - j for a.
3
Let n(p) = p**3 - 3*p**2 + 3*p - 6. Suppose -q = -2*s - s + 14, s = 5*q + 28. Let r be n(s). Solve -3 = -r*u, x + 2*u - 5 = 1 for x.
4
Let c = -122 - -124. Solve c*u - 1 + 4 = n, 4*n = 5*u for n.
-5
Let w be (-3 - -1) + (0 - -8). Suppose -14*u - 12 = -10*u. Let q be 2/u - (-10)/w. Solve 0 = -3*n - k - 2*k - 3, -q = -4*n + k for n.
0
Let o be 12/36 - (-68)/12. Solve -a + 4 = -q - o, -20 = 4*q for a.
5
Suppose -5*v + 36 = 3*o, -v - v - 3*o + 9 = 0. Solve 0 = -4*s + 3*k