*x - a + 2*a + 10, -b*a - 10 = x for x.
-2
Let p = -112 - -140. Suppose x = 5 + 7. Solve 0*m - p = -5*j + m, 3*j = -m + x for j.
5
Let m be ((-14)/(-10))/(1/5). Suppose -7*z + 7 = -m. Solve 2*p + 16 = z*h, 0*h - 4*h + 2 = 2*p for h.
3
Suppose 4*n - 4*z = 2 + 62, 0 = 4*n + z - 59. Let t be n/5*(1 + 0). Suppose t*f - f - 12 = 0. Solve -f*x + x + 2*m = 35, 0 = -x - 4*m + 15 for x.
-5
Suppose -3*v - 43 - 2 = 0. Let q = -12 - v. Suppose -f - 8 = 4*b, 4*f - 1 = q*f - b. Solve -2*t - 4*n + 8 = -2*n, 0 = -f*t + 3*n + 16 for t.
4
Let l be 1 - (3 + (4 - 2)). Let h be l - 6/4*-4. Solve -4*t = f - 3, 0*f + 6 = 2*f - h*t for f.
3
Let z be (-27)/(-12) - (-9)/12. Suppose x - 1 = -0. Let t = z - x. Solve 5*j - 16 = 2*g + g, 0 = t*j + 4*g + 4 for j.
2
Suppose -8*n + 77 - 37 = 0. Suppose n*m = 35 - 5. Solve j = 4*o + 17, -3*o = m*j - j + 7 for o.
-4
Let t be 6/15 + (-8)/(-5). Suppose -2*m + d + 24 = t*m, m - 6 = -d. Suppose 2*g - 2 = m. Solve -4*c = -g*a + 18 + 2, c = -3 for a.
2
Let y be ((-56)/(-6))/((-5)/(-15)). Let b be (-8)/y + (-92)/(-28). Solve 10 = -4*c + b*q, c - 2*c - 3 = -q for c.
-1
Let v(s) = -8*s - 582. Let g be v(-73). Solve -2*b + 2*o - 8 = 0, -3*b + g*b = -3*o + 14 for b.
1
Let q be (-26)/(-4) - (-2)/(-4). Let v(b) = -b**3 + 38*b**2 - 35*b - 69. Let p be v(37). Solve 2*x = 6, -x - x = p*d - q for d.
0
Let c = -85 + 131. Let z = 49 - c. Suppose -4*j + 7 + 5 = 0. Solve -z = j*h, -3*h + 5*h - 6 = -4*x for x.
2
Let r = -911 - -916. Solve -d + 10 = -r*o, o + d - 4 = 3*o for o.
-2
Suppose -2*j + 5*j = -j. Solve -2*w = -z + 3*z + 16, j = -4*z - w - 23 for z.
-5
Let v(i) = 4*i**2 + 5*i - 11. Let o be v(-5). Suppose -20*w - o = -24*w. Solve 0*h - 5*f + 5 = -4*h, -w = 5*h - 3*f for h.
-5
Let f(u) = -u**2 + 6*u + 6. Let j be f(9). Let s be j/(-4) + (-2)/8. Suppose 0*y + 15 = s*y. Solve -z = -4*g - 9, 5*g + 2*z - y*z = -10 for g.
-1
Suppose 0 = -4*n + 6*n - 30. Suppose 0 = m + n*m - 400. Solve -1 = 3*b + g - 11, -4*b + m = -g for b.
5
Let k(g) = -8*g - 6. Let b be k(-3). Suppose -8 + b = 5*l. Solve -3*v = l*v + o + 12, -v = -o for v.
-2
Suppose -10*z = 3*g - 11*z - 11, -2*g - 3*z = -11. Solve -h + g*l + 12 = h, 4*h + 3*l - 2 = 0 for h.
2
Suppose 0 = u + 3*u - 20. Let b = 14 - 10. Suppose -93*f + 7 = -92*f. Solve -u*m + 5 = -v, f*m = 2*m - b*v + 30 for m.
2
Let x(r) = 3*r**2 - 38*r + 24. Let y be x(12). Solve 4*w = -3*g - 3, y = 4*w + 3*g + 2*g - 3 for w.
-3
Let f = 12 + -8. Suppose 5*y + 10 = -4*n + 67, 3*n + 71 = 5*y. Let p be (-8)/(-12)*(6 + 0). Solve 5*i = -0*i - 3*d - y, p*d + f = -4*i for i.
-5
Suppose 2 = -3*b - 4*i + 8, -4*b + i + 8 = 0. Solve 5 = 3*j + 2*j + 4*h, 0 = 2*j + b*h for j.
5
Suppose 0 = -2*l - 2*l. Let y = 3 - l. Suppose -5 = y*z - 17. Solve j = t + 3 + 1, 0 = -3*t - z*j + 2 for t.
-2
Suppose -70 = 5*w - a - 85, 25 = -5*a. Solve -5*x + 3 + 2 = 0, -z + w = -3*x for z.
5
Suppose 0*t + 3*i + 118 = 4*t, 4*i + 85 = 3*t. Let u = -27 + t. Solve -6*q + 2*q - 5*o - 20 = 0, -u*q = 4*o + 20 for q.
-5
Suppose 5*c = -5*a + 3*a + 3, -5*a + 23 = -3*c. Solve 4*b - 8 = 4*l + 12, 0 = -a*b - 4*l - 20 for b.
0
Let i(h) = h**3 - 9*h**2 + 20*h + 4. Let w(p) = -p**3 + 7*p**2 - 9*p - 4. Let n be w(3). Let b be i(n). Solve b*s + 5*q + 35 = 0, 3*s + q + q = -21 for s.
-5
Suppose -248*y + 250*y = 6. Solve 5*z - 4*d = 29, -4*z + 15 = 8*d - y*d for z.
5
Let s = -19 + 39. Let v be ((-24)/(-5))/(6/s). Suppose 5*p - p - v = 0. Solve -5*a - 6 = -j, 0*j = p*j + 4*a + 24 for j.
-4
Let n be -29*15/(-10)*2. Let z = -85 + n. Suppose 0 = 2*v + 8 - 30. Solve -3*l + 3*o = o + v, 0 = -2*l + z*o - 8 for l.
-3
Let c be 4 - (30/(-75))/((-3)/15). Solve 5*n - 4*l = 41, c*n = -n - 3*l + 3 for n.
5
Let g(m) = -3*m - 11. Suppose 3*b = s - 4, -b - 21 - 7 = 5*s. Let d be g(s). Solve 2*t - 8 = -2*o - 0*t, 4*o = d*t + 24 for o.
5
Let o be (36/(-126) - 1227/(-7)) + -4. Suppose -5*j + o = 4*j. Solve -7 = 2*m + 2*c + 7, c + j = -4*m for m.
-4
Let j be 3/6 - ((-100)/8 + -2). Suppose -o + 14 = -j. Solve 5*z - 3*q + o = 0, 5 = 2*z + 3*q + 4 for z.
-4
Suppose 0 = -3*b + 182 + 1. Let i = b - 58. Solve c - 4*h = -4*c - 40, i*h - 27 = 3*c for c.
-4
Suppose -7*v = -2*v + 75. Suppose 3*x + 34 = -0*x + i, -38 = 3*x - 2*i. Let b be 2/x - 78/v. Solve b*s + 3 = 3*c + 1, -10 = 3*s - 4*c for s.
2
Suppose -3*r = 3*x - 5*r - 8, -x + 3*r = 2. Solve 4*t + 2 = 2*t + 2*b, 0 = 3*t - x*b - 1 for t.
-5
Let k be (66/297)/((-2)/(-144)). Solve 2*s = 3*j + 8, 4*s - k = 3*j - 2*j for j.
0
Suppose -w = -3*x - 29, 0 = -x + 3*x. Suppose -4*t + w = -91. Solve 25 = 3*o - 2*v, 0 = -3*o + o + 4*v + t for o.
5
Suppose 3*x = j + 55, -4 = -j - 5. Let k = 21 - x. Suppose 5*u + k*t = -56 + 256, 3*u - 120 = -5*t. Solve -5*f = 5*y + u, 2*f + 5 = -3*y - 16 for f.
-3
Let d(y) = -y**3 + 2*y**2 + 2*y - 4. Let i be d(2). Suppose i = 3*k + 5*v - 10, -14 = -0*k - 2*k + 4*v. Solve 4*x + 10 = -k*z, 5*z + 0*z = -3*x - 5 for x.
-5
Suppose 2 = -s - z, s + 2 = -2*s - z. Suppose a + 5*x + 2 = s, 87 = 2*a + 2*a + x. Solve -5*l + t + a = 0, 5*t + 11 + 0 = -l for l.
4
Let k be 4/(-18)*3 - 141/(-9). Suppose -k*b + 55 = 10. Let s = 4 + -1. Solve -n + u - s*u = -13, 2*n + b*u - 22 = 0 for n.
5
Let o = -26 + 18. Let f(x) = -3*x - 11. Let q be f(o). Solve 3*j - j = -4*m - 10, -j + q = -4*m for j.
1
Let q = 15 + -7. Suppose -q = -2*m - 5*d - 2, 4*m + 4*d + 12 = 0. Let i = m + 9. Solve i*w + 5*g = 8 + 13, 3*w - 15 = -2*g for w.
3
Suppose 0 = 4*q - 2*q - 2, -4*c - 11 = q. Let b be -2 - -3*(-6)/c. Solve 2*g - b*x = g - 18, -4*x + 16 = 0 for g.
-2
Let l be -2*(-2 + (-2)/(-2)). Solve 20 = -5*k - l*d, -5*d - 8 - 8 = 4*k for k.
-4
Suppose 2*n + 1025 = 167. Let y be n/(-15) + 3 + (-18)/5. Solve -y = -5*u - 2*t + t, -2*u + 16 = 2*t for u.
5
Suppose 64 = -7*q + 5*q. Let r = q - -36. Solve -3*f - 3*a + 3 = 12, 0 = -4*f + r*a + 20 for f.
1
Suppose -17*l = -22*l + 50. Solve 2*h + 4*u = 0, 2*u - 4*u = -4*h - l for h.
-2
Let l(q) = q**2 + q - 4. Let c be l(2). Suppose 4*v - 25 = -9. Suppose 2*u = 5*u. Solve 2*d - t + 0*t - v = u, t + 4 = -c*d for d.
0
Let u be (18/(-30))/(3/15). Let j be 22 + u + (-9)/(-3). Solve -4*o = 12, 4*o = 5*b + 3*o + j for b.
-5
Suppose -19 + 5 = -7*l. Suppose w = 4*z - 3, 0 = w - 3*w + 4*z + l. Solve -u - w*t + 16 = -0*u, 4*t - 24 = 2*u for u.
-4
Let r be 14*-3*4/(-12). Let k be 1 + 0 + -1 + r. Let h = -9 + k. Solve -v = h*i - 17, 0 = v + 2*v + 9 for i.
4
Let b be 5 - (0 + -1)*-1. Let f(c) = 7*c - c**2 + 20 - c - 21 + 0*c. Let a be f(5). Solve 0 + 12 = -4*j - b*q, a*j - 2*q = 18 for j.
2
Let c(v) = v**3 + 14*v**2 + v + 18. Let t be c(-14). Suppose -2*y + t = -4. Solve 0 = w + 5*i + 15, 0 = w - y*w - 5*i - 15 for w.
0
Let z(o) = 6*o + 3 - 6 - 7*o + 5. Let a be z(-3). Let i be 4*(1 + 1/(-4)). Solve -5*g + i*d = d - 8, -g - a*d - 20 = 0 for g.
0
Let s(u) = -3*u**3 + 2*u**2 - 1. Let w be s(-1). Let m(q) = -3*q + 2 + 4 - 2*q + w*q. Let j be m(3). Solve p + n - 2 - 4 = 0, p - j*n = 2 for p.
5
Let c be 1/(-3) + 44/6. Let l = 395 + -382. Solve -3*f - l = -2*d, -f - 2*f - c = d for d.
2
Suppose -107*s - 16 = -115*s. Solve 40 = -4*z - 5*q, 3*z + s = 3*q - 1 for z.
-5
Let s(j) = j + 2. Let z be s(-2). Suppose z*p = -4*p. Suppose p*q + q - 6 = 0. Solve 5*t + q*y = y - 5, 5*t - y - 7 = 0 for t.
1
Let b = -27 + 30. Let k(h) = -2*h - 4. Suppose 6*a - 3*a + 18 = -4*w, -4*a = -2*w + 2. Let t be k(w). Solve b*p - 23 = -5*j, 17 = -p + t*p + 4*j for p.
1
Let p(f) = f**3 + 19*f**2 - 40*f + 57. Let n be p(-21). Solve -s - 21 - 9 = -5*g, -n = -3*g for s.
-5
Let h(k) = k**3 + 9*k**2 - 21*k + 15. Let m be h(-11). Solve m*f - 4*n - 32 = 0, -n = 4*f - 17 - 0 for f.
5
Let p = -58 - 173. Let b be (-4)/(-14) + p/(-49). Solve 2*n = -v - 0 - b, 4*v - 20 = 0 for n.
-5
Let w be 0 - 1/((-4)/20). Let c = 28 + -24. Solve c*v + w*j + 20 = 0, -2 = -v - 2*j - 10 for v.
0
Let h be (20/8)/(3/6). Suppose 2*g - 1 = 3. Suppose g*u = -4*f + 38, 5*u - u = -5*f + 40. Solve 3*m = m - h*n + 9, 5*n - f = -m for m.
-3
Let z be -2 + (-5)/2*-2. Let v be 1/(165/225 - (-6)/(-15)). Suppose u = z*m + 25, 0*m = -4*u - v*m + 40. Solve 0 = -2*h + b + 5, 0*h - 4*b = 3*h - u for h.
3
Let u(i) = 8*i**2 - i**3 + 2*i**2 - 10*i + 28 - 17. Let q be u(9). Let y = 21 - 8. Solve 2*v + y = -4*h - v, q*v = -6 for h.
-1
Suppose -3*t + 13 = -w, -5*t - 74*w + 7 = -72*w. Solve 0 = -t*y + 3*l, -4*l + 0*l = -5*y - 4 for