4*h, i + 2 = p*h + 3 for h.
-1
Let z = -91 - -91. Suppose -2*p + 10 = z, -2*p = 2*q - 3*p + 1. Solve -5*d + 3*n + 13 = -0*d, -8 = -5*d - q*n for d.
2
Suppose 3*b + 20 = 8*b. Suppose -g = -14 + b. Let y be 1/2 + (-5)/g. Solve 2*z - x = -y*x + 5, -z - x = 5 for z.
0
Let c(l) = 25*l - 55. Let a be c(3). Solve -2*r + 5*v + 18 = 0, 0*r - a = 4*r + 4*v for r.
-1
Let a(r) = r**2 - 6*r - 13. Let s be -24*(-3)/(-27)*-3. Let b be a(s). Solve b*m = -4*h - h + 7, -9 = -3*h - 3*m for h.
-1
Let n = 6 + -1. Suppose -4 = -f + 2*t, 4*f + 4*t - 10 = 6. Solve 0 = y + 2*y + f*v, n*v = 0 for y.
0
Let h be (-801)/(-36) + ((-18)/8 - -2). Let d = -4 + h. Solve -5*u - 5*i - d = -3*i, 0 = -2*u - 2*i - 12 for u.
-2
Suppose -18 = -5*z + 4*u + 12, 4*u = 4*z - 28. Solve 1 = 3*x - t + z*t, 0 = 2*t - 2 for x.
0
Let u be 66/15 + (-24)/60. Suppose 2*b = 5*w + b - 18, -u*b = -4*w + 24. Let m = 43 - 17. Solve -3*j = -w*l + 4 + m, 0 = -3*j + l - 20 for j.
-5
Let c = -136 + 128. Let d be (-6)/c - (-2)/(32/68). Solve q - 3*p = -4*p + 3, -d = -q - 2*p for q.
1
Suppose 355*c = 348*c + 56. Solve 4*s - 18 = 5*q - 4*q, 0 = -q + 2*s - c for q.
2
Suppose -14*s + 16*s = 4. Suppose -s*y + y = -5. Suppose -2*k = -y*k + 6. Solve -6 = -d + i, -3*i - 3 = -k*d + 13 for d.
2
Let f = 110 - 106. Suppose 0 = n - f*x - 2, -5 = -n - x - 3. Solve 3*w = w + 2, 8 = -3*q + n*w for q.
-2
Let r be (3 + -3)*(5 + -4). Suppose r = -2*n + 7*n + 2*q - 9, -n = -q - 6. Solve -5*v + 0*v + 20 = 0, -z + n*v = 12 for z.
0
Let y be (-25)/(-4) - (-8 - (-259)/28). Solve 3*b - 4*r - y = 7, 4*r = -12 for b.
0
Let l = 410 - 405. Solve 4*k - 13 = -5*f, 0 = k - l*k - 12 for f.
5
Suppose a - 30 = -10. Let l = -11 - a. Let d = l - -34. Solve 0*t + t - d*v = -5, 3*t - 4*v + 5 = 0 for t.
1
Let r = -160 - -154. Let d be (-64)/(-12) + 2/r. Solve -4*p = 5*q - 5, 0 = 2*p + d*q - 2*q - 1 for p.
5
Let r be (6 - -1)*4/7. Suppose r = 2*u - 4. Solve u*m + 11 = 4*f - f, 5*f + 40 = -5*m for m.
-5
Let q = -42 + 30. Let t be (-3)/6 - 10/q*3. Solve y - 6 = -d, 0 = -t*y - y - 5*d + 20 for y.
5
Suppose 0 = -5*y - 3*a + 205, 150 = 3*y - a + 13. Suppose 4*s - 69 = 3*i - 4, -4*i - 20 = -2*s. Let g = y - s. Solve 2*d - 4 - 16 = -3*l, 5*l + d - g = 0 for l.
4
Let d = -88 + 92. Solve g = d*w - 3*g + 4, 0 = 3*g - 6 for w.
1
Let k(g) = 4*g. Let m = -11 - -11. Suppose t - 5 = 4*x, 1 = -x - m. Let n be k(t). Solve 3*b - 6 = -4*w + 1, n*b - 9 = -5*w for w.
1
Suppose 9*i - 5*i + 16 = 0. Let j be (-3)/6*(i - -4)/(-5). Solve -5*c + 2*h + 9 = -j*h, 3*c = 3*h + 9 for c.
1
Let y(d) = -4*d + 3*d + 1 - 2*d + 2*d. Let o = -22 + 18. Let f be y(o). Solve 2*s - 15 = -f*j, s - 16 - 4 = -5*j for j.
5
Let s(p) = -5*p**3 + p**2 + 2*p + 1. Let y be s(-1). Suppose y*a - 10 = -0. Let q be (-69*(-8)/12)/a. Solve -r - 6 - q = -5*b, 0 = 2*b + 5*r + 10 for b.
5
Suppose -3*b = 3*a - 6, -5*a = 3*b - 14 + 2. Let v be (4 - 4/(48/52))*-6. Suppose z + v*z = 3, 2*c + 2*z = 10. Solve -a*q = -3*r, 0*q - 5*r = -3*q - c for q.
2
Suppose 597 = -4*s - t, 14*s - 18*s + 4*t = 592. Let p = s + 173. Solve 2*f + 18 = 3*c, -4*f - c = -4*c + p for f.
-3
Let z(g) = g**2 - 4*g - 2. Let x be z(5). Suppose -x*l = 3*c - 0 - 9, -2*l - 4*c = -2. Solve -4*j + 15 = -5, l*u + 2*j + 5 = 0 for u.
-3
Let l(s) = s**2 + 6*s - 16. Let p be l(-8). Let g be p - (3 + -5 - 1). Solve 0*r - 6 = g*i - 5*r, 0 = i + 3*r + 2 for i.
-2
Let c(s) = -4*s**3 - 18*s**2 + 10*s + 3. Let x be c(-5). Solve 0 - 9 = k - 3*r, r = -k + x for k.
0
Suppose g - 5*g + 20 = 0. Let k = -30 + 33. Solve g*v - v = -2*f - 16, 0 = -k*f - v + 1 for f.
2
Suppose -q + 3*t = -11, -5*q + 2*q + t + 9 = 0. Solve -h - 5*p - 5 = 0, -3*p - q = 2*h - 6 for h.
5
Suppose 3*b - 9*b = 0. Solve b*m + 9 = m - 3*d, 3*d = -12 for m.
-3
Let f be (27/6)/((-3)/18). Let b = -26 - f. Let u be 4 + 1 + 2 + b. Solve u*v - 3*v + 3*a - 9 = 0, -v + 5 = -a for v.
3
Let t = 74 - 15. Suppose -5*y + t = -41. Suppose 4*g = -g + y. Solve -3*a + 5*v = 9, 2*a = -3*a + g*v - 15 for a.
-3
Suppose -4*a + 5*a = -4*a. Let g be -1*(2 + a - 1) + 3. Solve -j = 4*c + 1, 2*j = -4*c + g*c + 4 for c.
-1
Let o(g) = 2*g + 74. Let r be o(-32). Solve -5*n + 2*h + 8 = 0, r*h = 5*h - 20 for n.
0
Let x be 958/24 + (-32)/(-384). Solve 5*a + x = -3*f, -2*f - 35 = 3*a - 10 for f.
-5
Let z be ((-28)/(-2) - 17)*(0 + -1). Solve 4*y - 2*y + 2 = 0, -z*m - y = 7 for m.
-2
Suppose 11*h = 16*h - 42*h - 84*h. Suppose -6*x + 3*x - 6 = 0. Let y = x - -2. Solve y = -3*o + 3*p - 3, h = -4*p for o.
-1
Suppose -161 - 103 = -66*w. Solve 0 = -t + 4*z + 3 + 7, -w*z - 2 = -5*t for t.
-2
Suppose 26 = 4*z - 5*g, 2*z - 2*g - 10 = 2*g. Let i be 0 + z - 1 - (2 - -1). Solve 5*h = a + 8, i*a = -6*h + h + 20 for h.
2
Suppose -3*h - 383 = 5*w, 5*w - 3*h + 197 = -180. Let u = w + 81. Solve 29 = l + 5*m, 4*m - u = 5*l - m for l.
4
Suppose -63*n + 57*n + 30 = 0. Solve 3*m = 9, n*m - 19 + 1 = f for f.
-3
Let h = -4 - -4. Suppose h = 14*i - 11*i. Solve 4*w + 5*d - 4 = i, -2*d - 1 = -w - 0 for w.
1
Let h = 2738 - 2735. Solve 2*a = -4*c - 12, h*c + 2*a + a + 3 = 0 for c.
-5
Let p be (-5 + 2)*(-10)/15 - -1. Suppose 54 = p*n + 3*n. Solve n*c = 3*i + 4*c + 31, 3*i + 4*c - 14 = 0 for i.
-2
Let w(b) = b**2 + 8*b + 15. Let d be w(-8). Let o be (14/(-6))/(-7)*d. Solve 2*g + 23 = 5*u - g, 4*u + o*g - 11 = 0 for u.
4
Suppose 162*o + 15 = 167*o. Solve 4*j - 4 = 4*y + 16, j - o*y = 11 for j.
2
Suppose -3*z - 6 + 42 = 0. Suppose 0 = -4*l + z. Suppose -3*f + 18 - l = 0. Solve 3*p + 22 + 10 = f*r, p - 12 = -4*r for r.
4
Suppose -3*y - y = -5*c, 4*y = 4*c. Suppose -5*i + 46 - 1 = c. Solve 4 = -2*f - 2*p, 5*p + i + 5 = -f for f.
1
Suppose 4*z = 5*l + 1, -7*z + 4*z = -3*l - 3. Let p(f) = 29*f**2 + 1. Let x be p(-1). Solve -5*g = -5*u - x, -z*g - 1 = -u + 2*u for g.
1
Suppose -75*v + 83*v - 24 = 0. Solve m = -5*l - 11, 4*l + 2 + v = 3*m for l.
-2
Let w(c) = -c**3 - 20*c**2 - 2*c + 15. Let y be w(-20). Let i = -51 + y. Solve -4*o + 16 + 4 = 0, 4*j = -i*o + 12 for j.
-2
Suppose 2 = g - 0. Suppose 5*m - 92 = -4*c, -25*c + 5*m = -22*c - 34. Solve -g*l = -3*l + 4*y + c, -l = 4*y + 22 for l.
-2
Let z(n) = -n - 4. Let s be z(-6). Suppose -2*k + 4 = -s. Suppose k*w + 14 = 4*w + 4*h, -5*w + 3*h = -1. Solve 3*b - 12 = 2*o + w*b, -3*o = 3*b for o.
-4
Let c be 65/4 + -6*(-5)/40. Solve -3*z = -2*r - 11, -6*z = -4*r - z - c for r.
2
Suppose -k - 4*k + 3*n = 20, 16 = -4*k - n. Let g(f) = f**3 + 5*f**2 + 3*f - 1. Let r be g(k). Solve 0 = -o - 3*a - a + r, -2*o + 6 = -a for o.
3
Suppose 4*y + x - 7 = y, 12 = 2*y - 3*x. Solve y*k - 5 = -4*g, 7*g + 4*k - 10 = 5*g for g.
-1
Let z(c) = 2*c + 3. Let r be z(1). Let h be r - 2*(-15)/(-10). Solve 0 = -2*p + h*a, -5*a + 5 = 3*p + 13 for p.
-1
Suppose 68*o - 66*o = 18. Solve -w - o - 1 = 2*k, -20 = 5*w for k.
-3
Let d = -13 + 6. Let h be -7*(-1)/(d/(-3)). Suppose 5*p = -0*p + 2*a + 60, -4*a + 10 = 3*p. Solve -v - 2*g = 2*v - 8, h*v - p = -g for v.
4
Let l = 46 - 44. Suppose 4*b - 6 = -f + 2*b, 0 = -2*f + b + 2. Solve c - 15 = -f*c + 2*z, l*z - 3 = -3*c for c.
3
Let k = -593 - -597. Solve 4*v = 4*i - 4, 9 + 15 = -i - k*v for i.
-4
Suppose 7*x - 2*x = 25. Let j(s) = -3*s + 20. Let z be j(5). Let v be (-18 - -13)/(z/(-2)). Solve n = 4*p + x, -p = v*n + 4*p - 10 for n.
5
Suppose 5 = 5*q - 5*w, q = 3*w - 1 - 6. Solve 0 = 3*k - 2*g + 7, -q*g + 0 + 10 = 0 for k.
-1
Suppose 5*w = 3*b + 2, 12 = 2*w + w. Suppose -5*l + 0*l + 9 = -r, 2*l = -2*r + b. Solve 4 = g + 4*f, l*g + 5*f = f for g.
-4
Suppose -115 = -5*f - 25. Suppose -4*a = 4*p - 60, 4*a + 11 = -5. Let h = p - f. Solve -3*r - 5*s + h = 0, -s - 6 = 2*r - 2 for r.
-3
Suppose 21*g = 19*g + 4. Solve -6 = g*x, 0 = 4*k - 4*x + 3*x - 11 for k.
2
Suppose 144*s - 152*s + 40 = 0. Solve 3*f - 6 = 2*r + 4, -4*r = s*f - 2 for f.
2
Let t be 7/(-21)*(-6)/1. Suppose t*n - 3 = -0*n + k, -4*n + 21 = k. Solve 0*r - 4 = -3*r + u, 0 = r + u - n for r.
2
Let m be (-9)/(63/(-28)) + 24. Solve -k + m = -6*k + 4*j, -k + 5*j = 14 for k.
-4
Let g be (0/(-1 - 1))/(-3 - -2). Solve 0 = i + 1 + 1, g = 3*f - 2*i - 7 for f.
1
Let j = 7 - 2. Let v be (0 + -2)/(10/(-125)). Suppose -16 = -5*t - 2*r, 3*r - v = -5*t - 2*r. Solve 0*n + 3*n - t*k = j, -5*n - k = -30 for n.
5
Let g be (174/(-116))/((-2)/(-4)*-1). Solve -2*v = -0*d - d + g, 4*v + 21 = -d for d.
-5
Let q be 255/(-34)*2/(-3). Suppose -q*m + 10*m = 5. Solve -3*u