0*s = 4*u + 3 for s.
3
Let l be (5 - (-63)/(-12))/((-1)/4). Let g be 4 - 151/(-6) - l/6. Solve 2*m - g + 11 = 3*z, m - z = 7 for m.
3
Suppose 7*w - 166 = 2. Solve 2*r + 5*b = 8 - w, -3*b = 2*r + 8 for r.
2
Let w be 11 + 0 + 1 + -1. Suppose -f - 3*a - 2 = -3, 4*f = 4*a + 4. Solve 0 = -4*k + k - i + f, k + 3*i - w = 0 for k.
-1
Let u = 44 - 39. Suppose 5*c + 5 - u = 0. Solve -n - 2*n - l - 17 = c, 4*n + 24 = -2*l for n.
-5
Suppose -3*d - 9 = 2*s, -d + 18 = s - 4*d. Suppose 3*w - 12 = s. Solve -r - w*q + 13 = 0, 2*q + 2 = 6 for r.
3
Let c(y) = -y**3 + 4*y**2 + 7*y - 5. Let x be c(5). Let h(f) = f**3 + 11*f**2 + 10*f + 2. Let p be h(-10). Solve 3*j + 5*t = 25, p*t - x*t = 5*j - 15 for j.
0
Let m = -1037 + 1041. Solve 0*f - 5*f - 2*x = -22, 24 = 5*f + m*x for f.
4
Suppose -5*o = -o - 8. Suppose 24 = 2*g + 18. Solve -g*b - 6 = 3*w - 5*w, -6 = -o*w - b for w.
3
Suppose 0*i = 3*i + 4*l - 125, -l = -4*i + 173. Let w = i - 39. Suppose -4*b + 4 + w = 0. Solve 0 = 4*u - 3*m - 6, m + b = -u for u.
0
Suppose -128 - 43 = -9*f. Solve -3*r = -2*s - f, 2*r - 4*s - 36 = -10 for r.
3
Let c = 1799 + -1796. Solve c*l + 5 = -5*v, -l = 4*v + 2*l + 4 for v.
-1
Suppose 4 = 13*b - 35. Solve -k = -0*k + n + b, 2*k - 9 = 3*n for k.
0
Let m(z) = 50*z + 37. Let h be m(7). Let s be h/135 - (-2)/15. Solve n + s*b - 12 = 0, -2*n - 3*b + 20 = 2*b for n.
0
Let c = -897 + 900. Solve l = 5*f + 4*l - 6, 5*l + c = -4*f for f.
3
Suppose 0 = n - 24 - 22. Let i = -41 + n. Solve 0 = i*a, k - a - 2 = -6 for k.
-4
Suppose 1031 = -5*s + 1041. Solve 3*g = -z - 4, 0 = s*g + 2 for z.
-1
Let k be -3 + 3 + 3 + 14. Suppose t + 15 = 6*t. Suppose 2*a + t - k = 0. Solve 3*s = -o - 3 + 10, -5*o - s = a for o.
-2
Suppose 0 = 221*r - 217*r - 36. Solve 3*o = -4*a - r, 0*o + o = -5*a - 3 for a.
0
Let z(w) = 2*w**2 + 16*w - 38. Let g be z(2). Solve 5*b - 6 = 4*v + 4, -4*b + g*v + 8 = 0 for b.
2
Let t(g) = -8*g + 2*g - 11*g**2 - 7 + 4*g**2 + g**3 - 9. Let i be t(8). Solve 3*r = r - 5*m + 24, 3*r - m - 2 = i for r.
2
Let f(m) = 78*m + 315. Let t be f(-4). Solve 0 = -t*o + 5*q - 30, -5*o - 5*q = -2*o for o.
-5
Let v be 1 + -3 + (29 - 3). Let p = 1236 - 1234. Solve -p*b - 4*k - 23 = -5*b, 4*b - 2*k = v for b.
5
Let q = -15 - -20. Suppose -2*a - 9*n + q*n = 16, a - 22 = 4*n. Solve -2*s + 7*s + 1 = 4*d, -a*s - 2 = 0 for d.
-1
Let b be (-58)/(-18) + 52/(-234). Solve 6 + 13 = -2*m + 3*i, -b*i + 13 = m for m.
-2
Let x(j) = -j. Let i be (8/10)/(8/(-60)). Let z(s) = 2*s + 8. Let g be z(i). Let f be x(g). Solve 0 = -p + b + 2, 1 = -p - 0*p + f*b for p.
3
Suppose 17 = l - 2*f, -4*l + 5*f - 25 = -9*l. Solve -4*b = -3*w - 0 - 9, 3*w = -l for b.
0
Suppose 3*b + 20 = f, -5*f - 4 = 2*b - 19. Suppose 2*p - f = -1. Solve -m - 3*r = 3, 2*m + p*m + 12 = -5*r for m.
-3
Let f be 4/14 + 1408/(-77). Let a = f - -18. Solve a*u + 3*i - 1 = 5*u, u + 7 = 4*i for u.
1
Let b be 2/4 + 2*33/4. Suppose -16 = 9*n - b*n. Solve -6*m + n*m + t = -4, m - t = 4 for m.
0
Let i(g) = g**2 - g + 11. Let n be i(0). Suppose -4*u + 0 - n = k, -4*k - 4 = -4*u. Let m = u - -8. Solve -2*c + c = z + m, 0 = -4*z - 4 for c.
-5
Suppose 7*t + 2*t = 18. Let x = -7 + 7. Suppose 8 = 4*n - x*n - 3*z, -3*n - 2*z = -6. Solve t*p = -l + 5, 4*p - 8 = -p + n*l for p.
2
Suppose 129*m - 123*m - 18 = 0. Solve -5*x = -3*z + 2*z + 17, 0 = -x - m*z + 3 for x.
-3
Let h be -5 + 74/(-26) + 6/(-39). Let m be 603/21 - h/28. Solve 10 = 2*l, -3*l + 11 + m = -5*c for c.
-5
Let o = 228 - 227. Solve 3*k + 2 = -4*l - o, -k = -3*l + 1 for k.
-1
Suppose -4*u = u - 5*z - 5, 2*u + 4*z = -28. Let b be (-10)/(-65) - u/(-26). Suppose -w + 4 = -b*t + t, 5*t = w - 4. Solve 5*s + i = 15, 2*s + i - w = 2 for s.
3
Let z = -35 + 35. Solve -3*b - 4*c = -26, -3*c + 17 = b - z*b for b.
2
Suppose r = 5*a - 18, -3*r - 14 = -5*a - 0*r. Let x = a + 1. Suppose -x*l = 10 - 35. Solve 0*o - 4*i = l*o - 4, 36 = 5*o - 4*i for o.
4
Let l = -8 + 9. Let k(q) = -5 + 3 + 5*q + 3 - 2*q. Let g be k(l). Solve 0 = -2*u + b, g*b + 0 = 4*u - 8 for u.
-2
Let j = 1052 - 1048. Solve 0*b - 4*b + 5*v - j = 0, b = -2*v - 1 for b.
-1
Suppose 3*v + 3*l - 86 = -l, 4*v + 5*l - 115 = 0. Let y be 2*((1 - 1) + v/20). Solve -2*m = 4*d - 6, 4*m - 2 = -d + y*d for d.
1
Suppose 4*t + 2*m - 11 + 3 = 0, -3*m = -4*t + 18. Let q(b) = -7*b + 0 - 13*b**3 + 5*b - 1. Let w be q(-1). Solve 0*y + t*y + h + w = 0, 5*h - 20 = 3*y for y.
-5
Suppose -5*a + 5*u = 0, 0 = a - 14*u + 16*u - 15. Solve -5*j + 0 = 20, 2*v = a*j + 12 for v.
-4
Let v(w) = 5*w**3 - w**2. Let c be v(1). Solve 0 = 2*l - 5*b + 25, 0 = -c*l - 0*b - 4*b + 20 for l.
0
Let g = 358 - 351. Solve -3*m = -2*u + 17, -m - g = -0*u - 2*u for u.
1
Let s be (-1897)/(-91) - 6/(-39). Let a be (0 - -1)/(7/s). Solve -2*c = -3*m + 2*m, a*m + 3*c + 9 = 0 for m.
-2
Let w(x) = -x**3 - 10*x**2 - 10*x - 13. Let a be w(-9). Let i be (-1 + -1)/(a/6). Solve 0 = l + i*l + 2*p + 6, -4*p = -4*l for l.
-1
Let x = 7 + 7. Let j(a) = -2*a**2 + 16*a - 9. Let o = -34 + 41. Let r be j(o). Solve -q = 3*f + x, -3*q = -2*f - r - 8 for f.
-5
Suppose 4*i + o - 4*o + 3 = 0, -4*i = 5*o - 5. Solve i = 2*p - w - 6, 8 = 5*p - w - 1 for p.
1
Let s(h) = -4*h + 60. Let q be s(11). Solve 5*p = -4*r - 11, -18*r + q*r - 12 = -4*p for p.
1
Let j(t) = t**2 - 10*t + 24. Let m be j(8). Solve -2*r = -m, 0*b + b + 20 = 5*r for b.
0
Let u be (-9)/((-9)/(-4)) + 4. Let z be (7/3)/(2/30). Suppose 3 = d, -2*a + 1 = -0*a - 3*d. Solve 4*k - 5*r = 6*k + z, a*k - 2*r + 15 = u for k.
-5
Suppose 0 = 46*l - 78*l + 96. Solve -2*y = l*v - 13, -4*v + 13 = y - 6 for y.
-1
Let u(f) = -66*f - 61. Let z be u(-1). Let r = 45 + -24. Solve -5*b = -z*v + 45, -5*v + r = b - 0 for v.
5
Let u be (-3 + (-15)/(-6))*-4. Suppose 0 = -8*r + 316 - 268. Solve d + 2*t = -0*d - r, 16 = 4*d - u*t for d.
2
Let m(p) = 15*p - 45. Let r(z) = -4*z + 11. Let u(k) = -4*m(k) - 18*r(k). Let b be u(3). Solve o = -4*a + 19, 0 = 2*a - 5*a - 2*o + b for a.
4
Let i be -21 + 14 + -1 + 11. Solve 2*q - i*n + n = -2, 4*q + 3*n = -32 for q.
-5
Suppose 32 = 687*k - 671*k. Let b(v) = 4*v - 1. Let d be b(1). Solve -a + k = 3*c, -6*c + 4*c + d*a - 17 = 0 for c.
-1
Let t(k) = k**3 - 16*k**2 + 18*k. Let p be t(15). Solve -5*l - 2*v - 35 = 0, 6*l - 2*l + 5*v + p = 0 for l.
-5
Let j = -5 - -20. Suppose 2*y - y - 2*d - 11 = 0, y + 1 = -2*d. Let s(u) = -5*u. Let q be s(-2). Solve 3*h - y*h - 5*x + q = 0, -2*x = -3*h + j for h.
5
Let a be ((-16)/24)/(2/(-36)). Let r be -3 - (a*3)/(-4). Let j = 16 - r. Solve 5*i - u + 5*u + 17 = 0, j = 5*u for i.
-5
Let p(q) = q**3 + 6*q**2 - 10*q - 3. Let y be ((-7)/3)/(9/27). Let a be p(y). Let i = a + -15. Solve -2*c + 1 = -g, i*g = 4*c + 2 + 1 for g.
5
Let v be (0 - (-15)/(-3)) + 35/7. Solve 2*a - 3*z + 16 = v, 3*z = -a - 3*a + 4 for a.
-2
Let i be 3/(22 + -7)*(1 - 1). Solve i = 5*z + v + 27, v = -0*z - z - 7 for z.
-5
Let i(s) = -s**3 - 10*s**2 - 7*s + 22. Let y be i(-9). Let a be 4 - (0 + 0 + 2). Solve c = a*c, -y*t + 12 = 5*c for t.
3
Let r be (3 - -3)/2 + -6 - -4. Solve -w - r = -4*t, -17 = 4*w - 4*t - 1 for w.
-5
Let z = -8 - -13. Suppose 3*o - 17 - 12 = -4*v, -5 = -v. Suppose 2*u + 3*f = -u + 27, -41 = -4*u - 5*f. Solve z*y - u*y = -3*w, -o*y = -4*w + 13 for w.
1
Suppose 7*a + 4*a = 0. Solve 4*z + 4 = -6*l + l, a = 3*z - 3*l + 3 for z.
-1
Let a be 10/2 - (-49 - -49). Solve -a*c - 3*z - 12 = 0, -5*c - 2*z - 20 = 3*z for c.
0
Suppose 369*z = 359*z + 40. Solve -5*p + 3 = 5*d - 2, -z*p + 4 = d for p.
1
Let q(w) = -11*w - 44. Let k be q(-4). Solve 0 = z + f, 2*f + 16 = 2*z - k*z for z.
4
Let j be (13 + -8)/(-25)*0. Solve -3*f - 4 = y, 4*f + j*f = y + 4 for y.
-4
Suppose -4*u = -9*u + 15. Let h be u/(-5)*(-8 - -3). Suppose 0*b + 15 = 3*f + 2*b, -5*f - h*b + 24 = 0. Solve -f*j + 5*p = -5, -4*j + 0*j + 5*p = -10 for j.
5
Let r be (13 - 5) + (-1 - -1). Let m be 2*52/r - 2. Let f be 0/(-3) + 0 + 2. Solve h = 5*u + f*h + m, -u + 2*h = 11 for u.
-3
Let z(r) = 28*r**2 + 2*r. Let d be z(1). Let x = d + -26. Solve -15 = -5*u - x*j, -j + 6*j = -u + 3 for u.
3
Let n be 90/(-25)*(-20)/6. Suppose y + 25 = 6*y. Suppose 0 = -y*g + n + 3. Solve 3*x - 2*j - 15 = 0, -g*x = -x + 3*j - 10 for x.
5
Let c be 2/6 + 6/(-18). Suppose 0 = -c*w + 2*w - 20. Suppose 4*u - w = 2*h, 0*h = 5*h + 3*u - 40. Solve 0*m = -m + h*f - 25, -5*m = 4*f + 9 for m.
-5
Let p be (-2)/(-6)*4 + (-21)/63. Sol