 = 10*u - 13. Let w be c(4). Suppose -w*f + 24*f = -9. Solve 5*q - 4*l = 0, -2*q + 33 = 2*l + f*l for q.
4
Let f = -744 - -747. Suppose -16 = -2*b - 5*p, p - 16 = 2*b - 2*p. Let y be (-82)/(-5) + b/5. Solve -3*s + 4*v - y = s, -4*v = f*s + 19 for s.
-5
Let k = -33 + 37. Suppose 0 = -k*x - x + 20. Solve 13 = 5*o + 3*y, x*o - 5*y = -o + 5 for o.
2
Let j be (0 + -2 + 3)*(6 - 7). Let d be (3 + j)*77/14. Solve 23 = -2*u - 2*u - 3*o, -o - d = 2*u for u.
-5
Suppose 0 = 19*r - 12*r - 49. Solve -4*w - r - 3 = 3*k, 0 = w + 1 for k.
-2
Let q(r) = 5*r - 1 + 2*r + 120*r**2 - 121*r**2. Let s be q(6). Solve s*c - 37 = 5*b - b, b = 3*c - 18 for b.
-3
Let i be -2 + (-2)/(4/(-86)). Suppose i*o + 45 = 46*o. Solve -o = -m - 3*x, 2*x + x + 3 = 3*m for m.
3
Let v(l) = -2*l - 6. Let u be v(-4). Suppose -111*n + 4 = -107*n. Suppose -u*p + n = -3. Solve -i - 5 = -3*m, -i + p*m - 2 - 1 = 0 for i.
1
Let q = 149 - 144. Solve 0 = -4*m + 12, -7*m + 32 = q*c - 3*m for c.
4
Suppose -k - 1 = -5*m - 5, -5*k + 112 = -2*m. Let p = k - 24. Let t be ((-15)/6 - -2)*p. Solve t - 16 = 4*g - j, -4 = j for g.
-5
Suppose 12*m = 33 + 15. Solve -5 = n + 4*u - 23, 2*n - 2*u + m = 0 for n.
2
Suppose -11*y - 16 + 71 = 0. Suppose -2 + y = w + x, 4*w - 6 = -2*x. Solve -4*k - b = w, -3*k = -k - 4*b for k.
0
Suppose -24*q + 66 = -54. Solve 0 = -5*j - 5*r + 40, -q*r + 10*r = 20 for j.
4
Let z = -35 - -35. Suppose z*q - 3*q = -78. Suppose u + 16 = q. Solve -4*d - 4*w - 20 = -0*d, -2*d + 4*w = u for d.
-5
Let w = 4 - 1. Let p be -11 + 31 + 2*2. Let y = 24 - p. Solve 2*t + 5*c - 4 = -y, 2*t = w*c + 4 for t.
2
Let r(n) = -n + 4. Let k be r(-3). Let v be (-2)/((-2)/k*1). Solve -w + v*o = 3*o - 17, 5*w = -o + 22 for w.
5
Let k = -103 - -108. Solve -k*m + 3*b - 12 = 15, -4*m - 4*b + 4 = 0 for m.
-3
Suppose -4*r = -7*r, 4*o - 4*r - 144 = 0. Suppose -u + 5*u = 0, 2*u = -3*a + 306. Let d be a/27 - (-8)/o. Solve 2*l + 16 = -3*k + d*l, -k + 4 = 4*l for k.
-4
Let z be 9 - (-64)/8*(-2)/(-4). Solve 0 = -2*m + 2*t + 2, -4*t + t = m - z for m.
4
Suppose -3*k = -3*b - 18, -b + 12 = 3*k + 2*k. Let u be (b/(-4))/((-1)/(-24)). Suppose 13 = 5*v - 12. Solve -3*r - 3*h = -u, v = 5*r - 2*h + 3 for r.
2
Suppose 0 = -4*p + 3*t + 74 - 73, 3*p = -2*t + 22. Solve 2*w - 7*w - 3*c = 15, -9 = 3*w + p*c for w.
-3
Suppose 5*b + w - 1 = 0, -4*w + 2*w = 3*b - 2. Suppose -4*u + 5*k - 5 = b, 3 = -u - u + 3*k. Solve a + 3 + u = 3*y, 4*y + 7 = 5*a for a.
3
Let n = -3 - -5. Suppose -24 = -4*j + 4. Suppose -n*o = -4*y - 3*o + j, 5*y = -3*o + 7. Solve 2*x - y = 4*w, 4*w - 8*w = -x + 3 for w.
-1
Suppose 2*q = -5 + 13. Suppose q*m = 2*b + 42, -4*m + b = m - 54. Solve -4*k + m + 15 = 2*u, -k = 2*u - 14 for k.
4
Let a be ((-16)/10)/(-2) - 176/(-80). Solve 0 = -4*u - 2*n + 9 + 9, -u = -a*n - 1 for u.
4
Suppose 0 = 298*m - 292*m. Suppose u = 3*u - 8. Let k = -2 + u. Solve m = k*i - 3*r + 7*r + 10, -i = -4*r - 7 for i.
-1
Suppose 7 = 3*r - 56. Suppose 0*a + 3*f - r = -a, -5*f = 3*a - 43. Solve -3 = -2*i + a*k - 3*k, 8 = 3*i - k for i.
3
Let h be 1036/481 + 4/(-26). Solve -4*f + 3*c - 5 = 0, 0*c = f - h*c for f.
-2
Let f(t) = -t**2 - 33*t - 155. Let g be f(-27). Solve 4*w = 4*q - 32, -2*q + 17 = -4*w - g for q.
4
Suppose -o = y - 0*y + 2, 0 = -5*o + 2*y + 18. Solve 4*d = 2*r + r - 8, -4*d + 12 = o*r for d.
1
Suppose -4*y - 2*i = 26, -5*y - 19 = -i + 10. Let u = y - -10. Solve -16 = -u*a, r + 4*a - 16 = -0*a for r.
0
Let r be (2 - 4)*(-30)/60. Solve -5*b - 2*l + 5*l + 7 = 0, r = 3*b - 5*l for b.
2
Let z(p) = -13*p**3 + 3*p**2 - 15*p - 17. Let v be z(-1). Solve o - v = -4*j, 4*o + 3*j - 23 = -2*j for o.
2
Let q = 21 + -17. Let d(m) = 14*m + 41. Let l(c) = 5*c + 14. Let s(n) = -6*d(n) + 17*l(n). Let v be s(11). Solve -2 = -3*j - w, v*j + 5*w - 2 = -q for j.
1
Suppose -2*q = -28 + 18. Solve x = 2*c - q, 2*x - 16 = -4*c + 6 for x.
3
Let n = -58 - -44. Let f be (2/4)/((-1)/n). Solve 3*i + f + 12 = -2*u, -4*u + 17 = -5*i for u.
-2
Let c(o) = o**3 + 8*o**2 - 2*o - 13. Let b be ((-7)/3 - -1)/(31/186). Let d be c(b). Solve -2*y - l = -3, l - 2 = -d*y - 0 for y.
-1
Suppose 0 = -3*t + 5*u + 9, -3*t - 3*u = -6*t + 9. Suppose -p = -3*a + 71, -5 = t*p + 1. Solve -5*n = 4*q - 6 + a, -5 = n for q.
2
Suppose 2*y + 5 + 5 = -4*n, -4*y - 20 = 0. Let c(g) = g**3 - g - 6. Let r be c(n). Let x be 7 - (-4)/(8/r). Solve 0 = 4*t - 2*t - x, -12 = 3*u - 3*t for u.
-2
Let u be ((-1)/(-1))/(-1)*36/(-12). Suppose 0 = 6*t - u*t. Solve -1 = 2*n + 2*q + 3, t = -n - 3*q - 8 for n.
1
Suppose 2*b + 81 = 87. Let m = 5 - 7. Let f be (-15)/(-25) + m/(-5). Solve 5*n - b*w - f = w, 26 = -2*n - 5*w for n.
-3
Let t = -28 - -20. Let f be (-4)/(-12)*(-2 - t). Solve -s - f*g = 10, -4*s - 3*g - g = 28 for s.
-4
Let x = 30 - 27. Solve 4*n - 8 = v + 9, 0 = -2*n + x*v + 1 for n.
5
Suppose 3*r - z - 41 = 0, 5*r = 2*z + 3 + 67. Let v be ((-2)/4)/((-2)/r). Solve 2*g - 9 = i, v*g = -0*g - 5*i - 6 for g.
3
Let a(n) = n + 6. Let b be a(-6). Let v = 0 + b. Suppose -5*s + 4 + 6 = v. Solve u = -4*r + 11, -s*r + u + 7 = -0*r for r.
3
Let z be 4/10 - (-4)/(-10). Let m = -6512 - -6514. Solve m*x = -2*x + 3*y - 17, 5*x + 4*y + 29 = z for x.
-5
Suppose 6 = 5*c - 4. Let o be (-16)/(-2) - 2*c. Solve 0*v - 21 = -o*w + 5*v, -5*v - 22 = -3*w for w.
-1
Let t be 13/(52/(-32)) + 10. Solve 2*g = -3*f + 6*g + t, 4*f - 4*g = 0 for f.
-2
Let u be -2*(-425)/204 - 1/6. Solve 4*k = -4*c + c + u, 4*c - k = -20 for c.
-4
Let w be 7/((-56)/(-16)) - -3. Solve o + 5 = 2*o + 3*l, -w*o - 13 = -4*l for o.
-1
Let k be ((-40)/50)/(1/(-5)). Suppose -k*a = 5*w - 14, w = 4*a - 42 + 16. Solve -p = p - t - a, 5*t = -5*p for p.
2
Suppose -4*f = 2*l + 12 - 8, 4 = -l - 3*f. Solve 3 = -b, 2*k + l*b + 3 = -1 for k.
1
Let f be (-216)/(-264) + 4/22. Solve 0 = 5*k + 4*y + f, k - 4 = 4*k - y for k.
-1
Suppose -4*d - 13 + 4 = -l, 19 = 4*l + d. Suppose 150 = i + l*i. Solve k - 20 = -4*g, -5*g + 3*k + 0 + i = 0 for g.
5
Let f be 4/(-32)*-4*(4 - 2). Solve -2*q + 2*r = -0*q - 8, f = -5*q - 2*r for q.
1
Let z be 2 - (3 - 2) - -5. Suppose c + 3 = z. Let n be 4/(-10) - 27/(-5). Solve -n*p = 2*i + 22, 5*i + 4*p + 18 + c = 0 for i.
-1
Suppose 5*o - 2*z - 5 = 0, 5*o - 2*z + 7*z - 40 = 0. Suppose 0 = v - 32 + 3. Let c be 4/20 - v/(-5). Solve -4*g = 3*r - 4 + 11, -3*g - o*r = c for g.
-1
Suppose 3*b - 22 + 6 = 2*c, 5*b - 2*c - 20 = 0. Solve -i - p = -b, -4*i + 3*p = -5*i + 4 for i.
1
Let a(o) = -o**3 + 4*o**2 - 10*o + 26. Let i be a(3). Solve -2*l + i*w = 0, 0*w = 4*l - w for l.
0
Let u(o) = -o**2 - 13*o + 2. Let l be u(-13). Solve 8*q - 3*q - 5 = 0, 4*q - 6 = l*z for z.
-1
Let z = 11 - 21. Let g be (-46)/z + (-4)/(-10). Solve m + g*c = c - 11, -3*c = m + 8 for m.
1
Let p be 9 + 2/(0 + -2). Suppose -18 - 22 = p*l. Let g = -1 - l. Solve g*h + 2*u = -10, 5*u - 2 + 1 = 3*h for h.
-2
Let l = 0 + 3. Let z(v) = v**3 - 60*v**2 + 8*v - 480. Let p be z(60). Solve -5*i + n + 15 = p, -l*n + 0 = i + 13 for i.
2
Let k be (-2 - -4)*1 + (-22 - -22). Solve -3*i + n - 9 + 1 = 0, -5*n = -k*i + 12 for i.
-4
Suppose 0 = 2*a + 2*o + 4, 3*a = 6*a - 5*o - 10. Suppose -5*y - 1 = -21. Solve -y*m - m - 8 = 2*h, -3*h + 4*m - 12 = a for h.
-4
Let n be (-2)/(-5)*(-10 + 45). Solve n = -3*k + 5*a, 3*k - 3*a = 1 - 13 for k.
-3
Let z be ((-2)/4)/((-1)/4). Suppose -3*n = 2*n - 20. Let y(t) = -t**3 + 5*t**2 + 4*t - 5. Let d be y(5). Solve -3*h + 3*r = d, 6*r - r + z = -n*h for h.
-3
Suppose -h + 6*h - 15 = -3*v, -9 = -3*h - 2*v. Solve -h*j = 5*r - 17, 0 = -j - r - 4 + 7 for j.
-1
Let u be 52/(-65)*10 - -22. Solve 0 = 5*k + 3*c - 22, -k - c + u = 2*k for k.
5
Let p(n) = -n**3 - 5*n**2 - 6*n - 6. Let t be p(-4). Solve -t*h = h - z - 13, -2*z - 2 = 0 for h.
4
Let d be (-9)/36 + 25/4. Suppose -u + 3*u = d. Suppose 40 = u*s + b, 4*b = s - 5*s + 48. Solve -2*o = -m - s - 1, -5*m + 2*o = 35 for m.
-5
Suppose 20 = 5*v, k = -v - 0*v + 22. Solve -n = -4*n - 2*m + k, -12 = -4*m for n.
4
Suppose -2*v = 5*c - 8*c - 75, -3*v = 5*c - 103. Let r = 40 - v. Solve -3*o = r*l + 26, 2*l + 0*l + 3*o + 16 = 0 for l.
-5
Suppose -3*q + 5*t - 10*t + 25 = 0, -4*t = -4*q + 12. Solve 5*n + 30 = 5*i - 0, -n + 24 = q*i for i.
5
Let o be 6/4 + -1 + 86/(-172). Solve 3*v = 9, o = 5*s + 2*v - 0*v - 26 for s.
4
Let d(i) = -10*i**3 - 2*i**2 - i. Let z be d(-1). Let b = 9 - z. Solve 4*k - 2*j - 10 = b, 2*k - 3*j = 2*j + 9 for k.
