 0*w - n = 3*w for f.
5
Let g be (-3 + 29)/1 - (-4 + 2). Let v = g + -26. Solve -7 - 16 = -v*t + 3*o, t - 19 = 3*o for t.
4
Let n = -13 + 12. Let b be 72/12 - (n + 2). Solve -2*c + b*i = 29, -12 = -4*c - 3*i - i for c.
-2
Suppose -h = -2*p + 39, 0 = 3*p + 5*h - 17 - 9. Suppose 4*f - p = 3. Solve -3*b + l = -0*l - 6, 0 = -f*b - 2*l + 21 for b.
3
Let w be (20/8 + 0)*2. Let l(a) = -a**2 + 5*a + 4. Let m be l(w). Suppose m*h = -0*h + 8. Solve 1 = -f - h*d - 0, -4*d = -5*f + 23 for f.
3
Let k = 71 - 75. Let f be 0/((-4 - k) + 3). Solve 16 = n + 3*v, 3*n + 3*v - 10 - 8 = f for n.
1
Let b(l) = 6 + 4*l**2 - 10*l - 4*l**2 + 9 - l**2. Let d = -13 + 2. Let j be b(d). Solve 5*r = 5*g + 30, j*g + 5*r = -0*r - 15 for g.
-5
Let p(n) = n**3 + 9*n**2 + 2*n + 11. Let t be p(-9). Let k = t - 4. Let d = k + 14. Solve 3*j - 33 = -2*j + 4*v, d*v + 16 = 2*j for j.
5
Let f = -173 + 173. Solve -u - 13 = 3*j, f = 2*j - 3*u + 4*u + 10 for j.
-3
Let t be 5/2 - (-4)/8. Suppose t*p + 0 - 15 = 0. Let x(a) = -a - 6. Let k be x(-6). Solve 2*u + 14 = -3*c, 2*u + 3 + p = k for c.
-2
Let u(w) = -w**3 - 1 + 3*w - 5*w + 4*w**2 + 0*w. Let y be -3*(-1)/(-5) - 26/(-10). Let c be u(y). Solve c*m - 1 = -5*v, 3*v - 2 = -v - 2*m for v.
2
Suppose -4*c + 10 = -2*c. Let z be c/3 + (-3)/(-9). Suppose -h + 1 = -2. Solve h*p = -u + 1, 4 = 4*u - 3*p + z*p for u.
1
Let h(j) = -j**2 - 43*j - 139. Let x be h(-39). Solve 0*r - 5*r + 3*l - 19 = 0, -3*l = -4*r - x for r.
-2
Suppose -5*y + 75 = -5*r - 135, -5*r - 2*y - 196 = 0. Let z = r - -45. Solve 3*p - 2*i = -1, i = z*p - 3*i + 5 for p.
3
Suppose -3*b + 33 = t + 24, t = b + 1. Solve 14 = -z + 3*o, 5*z + 22 = o + b*o for z.
-2
Let b(t) = t**2 + 3. Let l be b(0). Suppose l*u + 6 = -5*f, 0*u = u - 5*f - 18. Solve -2*h + 5*s + 3 = 0, u*h + s + 5 = -s for h.
-1
Let s(i) = -8*i - 12. Let x be s(-3). Suppose -4*c + x = 7*f - 11*f, 4*c + 5*f + 15 = 0. Solve -4*m - 24 = 4*w, m = -4 - c for w.
-2
Let m be ((-196)/(-20) - 6) + 2/10. Solve 10 = -5*s - 5*l, 2*s = -m*l + l - 6 for s.
0
Let v(d) = 2*d**3 + 4*d**2 - 1. Let l be v(-4). Let h = l - -115. Suppose -3*g + 25 = -h. Solve 0 = -4*z + 5*f + 17, 3*f = -2*z - 3*z - g for z.
-2
Let s(p) = p**3 - 3*p**2 + 4*p - 2. Let c = -26 + 28. Let z be s(c). Solve 2*l = 4*i, -z*l + 0*i = i for l.
0
Let n = -8 - -28. Suppose -10 = -5*u + 15. Suppose -5*z + u*x + 5 = 0, 13 = 5*z + 2*x - n. Solve 3*j = -0*p + z*p + 13, 3*p + 5 = -j for p.
-2
Let v be (-1800)/(-39) + (-2)/13. Let c = -25 + v. Suppose 19 = 5*n - c. Solve 4*i + 10 = -2*t - 6, -4*t + n = -2*i for i.
-4
Let q = 1735 + -1734. Solve 3*v + 4 = 2*p, -p + 3*v + 0*v = q for p.
5
Suppose -1 = 2*j + 4*w + 3, j + 3*w + 4 = 0. Solve -j*p = -p - 4*s - 12, -3*p + 9 = -3*s for p.
0
Let a(p) = -p**3 - 10*p**2 - p - 7. Let u be (-1 - 2/(-4))*4. Let i be (-14)/2 + u + -1. Let h be a(i). Solve -5*t = -d - 2*d - 15, h*d = 4*t - 15 for t.
0
Suppose 9*i = 7*i - 5*r - 4, 2*i - 12 = 3*r. Solve 0*z - i*z = 6, 2*a + 5*z = -6 for a.
2
Suppose 3*d - 7*d + 3*o = -58, -d = -4*o - 8. Let m = d + -11. Solve -m*c - 3*v = -4 - 10, -3*v = 6 for c.
4
Let a = -6 + 8. Let o(v) = 4*v - 3. Let l be o(a). Suppose -3*h - 4*s + 13 = -0, 7 = 4*h - 5*s. Solve -2*t + 2*f - 2 = 0, h*t + f + 2 = -l for t.
-2
Let t(u) = -u**2 + 24*u - 135. Let x be t(10). Solve -f - 2*f - 14 = -x*v, 0 = 2*f + 3*v - 16 for f.
2
Let u(l) = -l**3 - 15*l**2 - 15*l - 10. Let g be u(-14). Suppose 3*h = h + 4. Solve 2*t + t - 2 = g*m, h*m = t - 2 for t.
-2
Suppose -4 = -4*r, 0*r - 5 = 4*n - r. Let p be 2/n - 22/(-2). Let v be p + 21 - (-1 - -3). Solve -9 = 4*y + 2*i + 15, 0 = -4*y - 4*i - v for y.
-5
Let q be ((0/(-1))/(-29 + 30))/(-1). Solve 2 + 7 = -3*l - 2*p, q = -2*l + p - 6 for l.
-3
Let f = 10 - 7. Suppose 52*i + 93 = 509. Solve f*g = 3*x - 5 - 1, 0 = -2*x + 4*g + i for x.
0
Let x(n) = 2*n**3 - 69*n**2 - 106*n - 53. Let q be x(36). Solve 5*y + 4 = q, y = 5*v - 22 for v.
5
Suppose 0 = -m - 2*m - 75. Let c = -22 - m. Suppose -5*h = -4*q - 177, -c*q - 174 = -5*h - 0*q. Solve 5*d - d - 3*s = -32, 2*s = 5*d + h for d.
-5
Let l(k) = -k - 2. Suppose 0 = -4*c - f - 18, 2*c = 7*c - 3*f + 31. Let n be l(c). Solve o - 2*o - 2 = -n*b, -2*b + 4*o = -18 for b.
-1
Suppose s = -3*u + 26, 3*s - 18 = -4*u + 10. Solve 3*n + 0*g - 4*g = -20, 2*g = -5*n + u for n.
0
Suppose 2*j + 2*n = j + 5, -13 = -3*j - 4*n. Suppose -2*u - 5 + 13 = 3*a, a + 23 = j*u. Suppose 12*q - 60 = u*q. Solve -q = 2*m - y - y, 0 = 3*m + 3*y for m.
-3
Suppose 0 = 4*d + 4*n - 192, -2*d + 109 = d - 4*n. Let f = d + -38. Solve 3*i = 4*s - 2*s + 7, 7 = -s + f*i for s.
-2
Let p = 44 + -16. Suppose 4*s - 9 - 7 = 2*g, 2*s = -4*g + p. Let q be ((-3)/9)/(3/(-117)). Solve s = -2*a + 5*c - 1, a + 3*c = q for a.
4
Suppose -3*g - 80 = -128. Solve -4*b = -r - 2 - g, -5 = 5*r - 3*b for r.
2
Let t = 1 + -1. Let i = t + 2. Let k(z) = 4*z - 33. Let w be k(10). Solve -i*x - 3*y = -7, -x + y = w + 2 for x.
-4
Suppose 5*m - 5*d = 20, 0*m = -3*m - d + 20. Let f(z) = -7*z + 50. Let g be f(m). Solve -4*y = -p + g, -2*y - 1 = 2*p + 3 for y.
-2
Suppose 4*s - f + 40 = 0, 5*s + 0*f + 39 = 4*f. Let c = s - -12. Let n be c/(-1 + (-2)/(-1)). Solve -5*h = 4*m - 7, -m + n = h - 0 for h.
3
Let x be 1/(2/8)*8. Let g = x - 28. Solve 4*a + 5 = 3*a + 2*y, 0 = g*a - 4*y for a.
5
Let v(r) = 7 + 0*r - r - 16. Let w be v(-14). Suppose -4*d = -w*d. Solve 5*i - 20 = d, 2*s + i - 12 = -0*i for s.
4
Let d be 3 + (3 - (3 + 3 + -2)). Solve d*s = x + 7, -4*x - 2 = -3*x + 3*s for x.
-5
Suppose 186 - 41 = 5*o. Solve b - o = -5*s, 2*s + s + 4*b = 31 for s.
5
Suppose -3*k = 4*k - 63. Suppose 5*m = -3*j - 15, 14*m - 25 = 19*m + 5*j. Solve m = 5*b - 4*a + 15, b - 4*a + 28 = k for b.
1
Suppose -u + 96 = 92. Solve 5*w = 3*x - 9, 0*w - x + 3 = -u*w for w.
0
Let j(i) = i + 4. Suppose 9*b - 11*b = 0. Let d be j(b). Solve -z + d*u - 6 = -22, 5*z + 8 = -2*u for z.
0
Let z(h) = 33*h + 30. Let y be z(3). Suppose y = 3*m + 117. Solve -5*k - m*w - 17 = 0, 0 = -0*w + w - 2 for k.
-5
Let d be (-162)/(-8) + (-3)/12. Suppose -5*o = -d + 5. Suppose -o*s = -5*c - 21, -s + 4*c + 20 = 3*s. Solve -2*y + s = -2*r, 4*r + 3*y - 32 = -1 for r.
4
Let n be -3*(-1 + 1 + -1). Suppose 5*j + 2*i = 28, -28 = 15*j - 17*j - 5*i. Solve g = -2*p, n*g = -3*p + j*p - 7 for p.
1
Let y(o) = 7*o - 2. Let d(m) = 6*m - 2. Let g(j) = -6*d(j) + 5*y(j). Let w = 0 - 1. Let r be g(w). Solve 5 + 0 = c - r*s, s = -1 for c.
2
Suppose 5*c + 71 = -64. Let o = c + 29. Suppose -4*l + 2 = o*q, 2*q + 3 = -5*l + 5. Solve l = -t + 5*r - 12, -2*t - 2*r = -3*r + 6 for t.
-2
Suppose 3*i = 2*i + 1. Let m be (4/8)/((-5)/6 + i). Solve m*l - 17 = -2*w, -5*w + w + 4 = -4*l for l.
3
Let w = -22 + 16. Let y be (-4)/(8 - 4) - w. Solve 4*i + y*o - 11 = 0, 2*o = 5*i + 7*o - 10 for i.
-1
Let a be (101 - 96)/(5/4). Solve 3*f = i - 12, -a*i - 5*f - 20 = -i for i.
0
Let g(r) = 3*r**2 - 48*r - 103. Let x be g(18). Solve 0 = 4*k + 4*n - x*n - 20, 0 = k + 5*n + 16 for k.
4
Let u = 5 - 2. Suppose u*d + 13 = -5. Let c be -8*(-4 - (d - -3)). Solve 3*k + 0*k = -5*q + 21, -2*q + c = k for q.
3
Let c(k) = 6*k**3 + k**2 - 4*k + 2. Let p be c(1). Solve 3*m - p*s + 0*s = -6, -m = -s for m.
3
Let h be (-77)/28*-4 - 11. Solve h = -3*i + 2*i - 5*t + 21, -i + 1 = t for i.
-4
Let v = 226 - 222. Let y(z) = 3*z + 3. Let m be y(4). Solve -11 = 3*d + p, -3*p + v*p + m = -5*d for d.
-2
Let g = -4 + 64. Suppose 0 = -9*w + 29*w - g. Solve -4*j + 14 = -2*l, 3*l = -w*j + 2*l + 18 for j.
5
Let g(u) = 10*u - 30. Let m be g(3). Solve -5*w + 4*c - 15 = -c, 3*w - c + 7 = m for w.
-2
Suppose -2*m = -a - 7, -2*m + 5*m = 5*a. Suppose 5*t - 2*l + 15 = 0, -3 - a = t - l. Let f = t - -9. Solve -3*d + 5*d = -g + f, -4*d + 5*g + 2 = 0 for d.
3
Let f = 577 + -577. Solve 0 = v + 2*v - u - 9, f = 3*v - 3*u - 9 for v.
3
Suppose 2*j + 7 = -1. Suppose 2*r + 4 = 3*r + 4*h, -24 = 4*r - 4*h. Let b = r - j. Solve b = -5*t + 7*d - 3*d + 11, 14 = -2*t - 3*d for t.
-1
Let c = -8 + -1. Let n = -6 + 0. Let g = n - c. Solve 8 + 8 = j + 5*b, 0 = g*b - 12 for j.
-4
Suppose 0 = -4*c - 513 + 529. Solve c*o - 9 - 1 = 2*r, 5*o = -2*r + 26 for o.
4
Let k be ((-60)/(6/(-3)))/2. Let s be 1/6 - 38/12. Let v be (s/4)/(k/(-40)). Solve -2*c + 3 = -4*m - m, 0 = -5*c - v*m + 22 for c.
4
Let i(l) = -l**3 + 23*l**2 - 39*l - 62. Let j be i(21). Solve j = q - y + 5, -q