 2*i + 0 = u - 5 for u.
1
Let r = 155 + -148. Solve 2*x - 1 = -0*x + t, 0 = -4*x - 3*t + r for x.
1
Suppose -105*f = -95*f - 20. Solve -a = 5*t - 23, 5*t - 11 = f*a + 18 for a.
-2
Let b = 95 + -93. Let m(q) = -q + 0*q**2 + q**2 + q. Let x be m(b). Solve x*y = 4*n - 0*n - 12, -5*y + 9 = 3*n for n.
3
Let s be 18/(-27) + (-118)/3. Let x = 54 + s. Solve -5*q - 4 = -2*v - 0*q, -x = 2*v + 4*q for v.
-3
Suppose 0 = 108*y - 116*y + 40. Solve 5 = -y*k + 2*l + 4, -2*k = -4*l + 10 for k.
1
Suppose -22 = 5*j + 3. Let r be 2 + j + 4 + 3. Suppose f + 2 = -0*g + g, 28 = r*g + f. Solve k = g*k - 5*s + 5, -5*s = 2*k - 33 for k.
4
Let l = 200 - 196. Solve t + 9 - 20 = 4*x, -l*t + 3*x + 5 = 0 for t.
-1
Suppose 14 = 4*v - a, -a + 2 = 4*v + 4*a. Solve 2*g = -v*j + 9, 0 = -0*j + 3*j + 4*g - 3 for j.
5
Suppose -4*i = 13 + 19. Let w(g) = -2*g + 4. Let s be w(i). Solve 3*z + 8 - s = f, 5*z = 3*f + 16 for f.
3
Let u = -51 - -111. Let l be ((-46)/(-69))/((-2)/u*-4). Solve 0*v - v + l*q + 5 = 0, 0 = -q - 1 for v.
0
Let q = 53 + -50. Suppose t = 4*y - 16, -5*y + 24 = -y - q*t. Solve -3*k - 2*b + y = -6, 10 = -5*k + 5*b for k.
1
Let a = -19 - -29. Suppose -t + 5*w + 6 = 0, -3*t = -8*t + 5*w + a. Let n = -4 - -7. Solve 5*u + 2 = n*h + t, -u = 2 for h.
-3
Suppose -3*n = -4*r - 17, 15*r - 6 = 18*r. Solve -10 = 5*l, -n*y - l = 2 + 6 for y.
-2
Suppose 14*c - 11*c = v + 5, 3*v - 3 = 3*c. Solve -1 = -s - v*d, -3*s - 3*d - 14 = -8*d for s.
-3
Let c be (-22)/220 + (-486)/(-60). Solve 5*a - c = 5*j + 12, 3*a = 5*j + 18 for j.
-3
Suppose 8*c = 3*c - 45. Let t be ((-4)/(-6))/((-3)/c). Solve 0 = -a + 2*k - t, 9 + 2 = -3*a + k for a.
-4
Suppose n + 12 = 3*n. Suppose 4*k + 5*b = -2, -2*b + 2 = n. Let m = 17 - 17. Solve l - k*r + m*r = 0, 3*r = -3*l + 18 for l.
4
Suppose 0 = 25*t - 63 - 87. Solve t = 2*d, 3*d - 27 + 9 = 3*i for i.
-3
Suppose -130 = -4*l - c, 16*l - 17*l - c = -31. Solve -5*b + p - 22 = 3, -2*b + 5*p - l = 0 for b.
-4
Suppose 18*z = 7*z + 22. Let f = -5 + 3. Let x be ((-2)/8)/(f/24). Solve z*i + 2*o + 5 = x*o, 2*i - 2*o = 0 for i.
-5
Let l(i) = 3*i**2. Let f be l(1). Let o(r) = 2*r**3 + 22*r**2 + 70*r + 55. Let n be o(-5). Solve -c = -4*j - 3*c - 16, -f*j - 5*c = n for j.
-5
Suppose -z - 4*g - 5 = 0, 0 = 2*z + 4*g + 1 - 7. Let l = -7 + z. Let h be 3 + (2 + -2)/(20/10). Solve 0 = d + h*d + l, 0 = q + 2*d - 3 for q.
5
Suppose -7*z = -25 - 80. Let a = z - 15. Suppose a = -5*m + 27 - 12. Solve -4*x = c + 1 + 3, 0 = -m*c + 5*x + 22 for c.
4
Let a = 90 - 50. Let v be (-7 - (-296)/a)*1*5. Solve -20 = -5*p + 4*t, -3*p = v*t - 6 - 6 for p.
4
Let l be -2 + 1 - (5 + -10). Suppose -4*h + 2*h = l*h. Solve 16 = -2*b + 4*w, -4*b + h*w = w + 5 for b.
-2
Let s(o) = -o**2 - 8*o. Suppose -a + q + 5 = 5*q, 11 = -2*a - q. Let v be s(a). Solve -5*z - 4*p + 27 = v, -z - p + 4 = 0 for z.
4
Let v be -4 + 8 + (22 - 20). Solve -b + 3*k + 11 = 0, 3*k = -v*b + 4*b - 14 for b.
-1
Suppose -2*l - 4*f - 5 = -21, -3*l - 3*f + 15 = 0. Suppose 0 = s - 2*s + l. Suppose -s*k = -3*k + 2. Solve k*u = -5*t + 15, -3*u + t - 30 = -2*t for u.
-5
Let t = -15 + 9. Let p = 19 + t. Let b = 16 - p. Solve 8 = -4*m - 3*d - 0*d, b*m + 3*d + 9 = 0 for m.
1
Suppose -3*w = 3*h - 33, -10*w = -12*w - 3*h + 19. Solve -5*j + 26 = -3*v, -4*j + w = -4*v - 10 for j.
4
Let b be 1*10/((-20)/(-6)). Solve -b*c + o = 5, 11 = -c - o - o for c.
-3
Let i be 0 - -3*(-4 + (-2 - -7)). Solve -2*j + w + i*w - 16 = 0, -w + 4 = 0 for j.
0
Let j(d) = -20*d + 7 + 9 + 0 + 18*d. Let v be j(5). Solve v = 3*i - 4*a + 1, 5*i - 3*a - 1 = 0 for i.
-1
Suppose 2*p = -36*l + 40*l - 8, 0 = 5*l - 3*p - 9. Solve 3*f - f + l = 3*b, 4*b = -f + 15 for f.
3
Let z = 105 - 101. Solve -5*h - 24 = -z*r, 0*h + h + 2 = -2*r for h.
-4
Suppose 4*z = -0*z + 8. Suppose -3*o - z*t + 5*t - 3 = 0, -5*t + 33 = 2*o. Solve 0 = -4*w - 2*q + 20, -11 = -o*w - 5*q + 15 for w.
4
Suppose 13*o = y + 14*o - 15, y = 4*o + 5. Solve y - 5 = -2*w - 5*d, -4*d = 8 for w.
1
Suppose j - 149 = -5*m, -2*m + 50 = 3*j - 7. Solve -2*s - m = -3*o - 5*s, -3*s = -3*o for o.
5
Let j(x) = -4*x + 24. Let n be j(5). Solve 0 = n*r - r - b - 1, -5*r - 10 = -4*b for r.
2
Let s be ((-148)/(-52) - -2) + 12/78. Solve -s*x = -g - 21, -4*g + 8 = -x + 4*x for x.
4
Suppose 0 = -6*m + 2*m + 16. Suppose -5*a - 36 = -4*j, -4*j - 3*a + 6 - 2 = 0. Solve -j*i + m*p - 28 = 0, -4*i + p + 3 = -5*i for i.
-5
Suppose 10 = 5*n, 0 = 5*r + 3*n - 5 - 26. Solve 0 = 4*x, -r*x = -p + 3 - 8 for p.
-5
Let s(f) = 39*f - 75. Let j be s(2). Suppose 0*t = -t + 14. Solve j*x - t = 4*y, -3*y = -x + 12 + 1 for y.
-5
Let x = 65 - 63. Suppose -4*n - 2*g = -x*n - 8, -2*g + 10 = 3*n. Solve -4*d + n + 6 = 4*y, -d = 3 for y.
5
Suppose -2*j = l - 3, -25 - 11 = -5*l - 3*j. Let k = 324 - 322. Solve -r = -3*m - 0*r - l, -4*r - 20 = k*m for m.
-4
Let a = 6 + -2. Let d(m) = m**3 - 5*m**2 + 5*m + 2. Let l be d(a). Suppose -q + l = 4*n, -n + 1 = -0*n. Solve 3*r - 8*r - 4*p = 21, 5*r + 27 = q*p for r.
-5
Let i(s) = -3*s**2 - 24*s + 10. Let u be i(-8). Solve -2*j + u = 0, -j + 26 = -4*v + j for v.
-4
Suppose -16*c + 21 = -43. Solve -2 = 5*o + c*u - 7, 0 = -5*o - 2*u + 5 for o.
1
Let p = 38 + -36. Let c be 3 + (-3 - -4 - p). Solve 2 = -2*v, -c*i = v + v + 12 for i.
-5
Let n = 195 + -193. Solve -g - 20 = -4*m, -3*g - 3*m = -n*m + 8 for g.
-4
Let g(i) = -2*i + 22. Let y be g(10). Let b be (0/16)/(y + 0). Let l = 4 + -3. Solve u + l = 2*z, -2*z + 7 + b = u for u.
3
Let v = 14 + 19. Let m = -31 + v. Solve m*n = 6, -g = g - n + 13 for g.
-5
Suppose -4*k = -11 + 3. Suppose 0 = -v - k*v - 6. Let g be ((-2)/v*2)/1. Solve -15 = -5*b + 2*d, -5*d - 15 = -g*d for b.
1
Let o(p) = 7*p - 194. Let a be o(28). Solve 0 = -4*j + 8, -7*k = -a*k - 3*j - 14 for k.
4
Let d be 5 + 2/(0 - 2). Let j(x) = -x + 7. Let i be j(5). Let r = -2 + i. Solve o + 2 = n, r = -3*o - 2*n + 6*n - d for o.
-4
Suppose -4*g = -0*g - 24. Suppose p + g = 3*p. Solve 4*a + 28 = 5*q, 8*q = -p*a + 3*q + 14 for a.
-2
Let j(o) = -2*o**3 - 68*o**2 - 65*o + 38. Let u be j(-33). Solve -12*f - u*q = -14*f + 1, 4*q = 2*f - 2 for f.
3
Let j be (-4 - 2)*4/(-6). Suppose -2*d + 8 = 0, 0*q + j = 3*q - 5*d. Let x = 10 - q. Solve x*b = -2*b - 2*f + 18, -5*b + f = -5 for b.
2
Let g = 281 + -278. Solve g*w - 2*m - 1 = -4*m, -9 = w + 3*m for w.
3
Let a(o) = 2*o - 1. Let p be a(5). Let g be 1/(-9) + 46/p. Solve -g*y + 9 = -2*r, -r + 4*r = 3*y for y.
3
Let r = -21 + 63. Suppose -8*w + r + 38 = 0. Solve -3*m + 1 - w = 0, -3*p - 2*m = -6 for p.
4
Let u = -97 - -101. Let a be ((-3)/(15/u))/((-3)/15). Solve -2*l - 16 = -a*c, 2*c - 20 = -2*c for l.
2
Suppose -2*k = 2*k + 108. Let l be 418/18 + 6/k. Suppose 0 = 3*u - l - 7. Solve 3*t - u - 14 = 5*m, 2*m + 6 = 0 for t.
3
Let t(f) = -f**3 + 2*f**2 + 6*f + 1. Let v be t(3). Solve -5*r + 2*r - 2*h + v = 0, 13 = 4*r + 3*h for r.
4
Suppose -3*n = 2*n + 5*b - 40, 4*b + 28 = n. Let p = 88 - 76. Let a = n - p. Solve 5*o + 4*r + 13 = a, 5*r + 8 + 5 = -3*o for o.
-1
Let p(m) = -m**3 + 9*m**2 - 15*m + 11. Let l be p(7). Suppose 3*s = -r + l + 4, -3*s = -3*r. Solve -s*h = 3*h, -5*h + 1 = -o for o.
-1
Let d(x) = -18*x**2 - 61*x - 10. Let f be d(-3). Solve 4*o = -a - f, 5*o - 3 = -3*a + 2*o for a.
5
Let m(u) = u**3 + 3*u**2 + u + 4. Let b be m(-3). Let a be 2*b/(-3) + (-26)/(-3). Solve s = v + a - 4, 3*s = 5*v + 14 for s.
3
Suppose -5*q - 62 = 4*l, -15 = 4*q - 3*l + 16. Let p be (q/(-3))/(4/6). Solve -z - 2*k + 13 = 0, p*k = 3*z - 0*z + 5 for z.
5
Let i = -507 - -507. Solve 9 = -3*y - 2*k - 7, -y - 2*k - 8 = i for y.
-4
Let q = 439 + -436. Solve -q = -5*i + 3*n, 3*i - 2*n = -0*i + 2 for i.
0
Let u(b) = -2*b**3 - b + 1. Let a be u(-3). Suppose -34 + a = 6*j. Solve f + 4*m = -18, 4*f + 2 = 2*m - j*m for f.
2
Let x = 14 - 3. Let s be (-46)/(-11) + (-2)/x. Solve -s*j + 2*c - 6 = 4, -3*j = -c + 7 for j.
-2
Let l be -3 - (10/60*-2 + 23/(-3)). Let p = 28 + -15. Suppose 0 = 5*r - 5*d - 85, -12 = -2*r + 5*d + 10. Solve 2*f + 5*y = r, -p = 4*f - l*f - 3*y for f.
-2
Let v(w) = -25*w + 280. Let r be v(11). Solve 17 = r*l - 4*u, -2*u - 17 + 1 = -4*l for l.
5
Suppose -12 - 9 = -7*l. Suppose 2*i + 9 = 3*q, 3 = -l*i + q - 0*q. Solve i = -2*o + 5*v + 1, 0 = 3*o - 2*v + 4 for o.
-2
Suppose 3*p - 4 + 0 = -2*n, 12 = -2*p - 5*n. Solve -2*g + p*g + 4*s = 0, 0 = -3*g + 5*s + 11 for g.
2
Let u be ((-567)/54)/(1*3/(-4)).