 Let a be 1/(-2*l/4). Solve -a*r + r = -3*v - 11, -3*v - 23 = 2*r for r.
-4
Let c(m) = -m**2 + 8*m - 8. Suppose 0 = -3*z + 18. Let y be c(z). Solve -14 + 43 = -y*q - 3*h, -q - 14 = 3*h for q.
-5
Suppose 0*j = 3*j. Suppose 0 = u - 8 - j. Solve y - 19 = -5*a, 4*a - 3*y - 32 = -u*y for a.
3
Suppose -5*c + 2*c = 2*l + 5, -4*l + 2*c = -14. Solve 3*i = 5*d + 31, -4*i - l = 2*d - 0 for d.
-5
Let c(b) = -b**3 + b + 7. Let u be c(0). Let h = u + -2. Solve 4*i - 10 = -2*f, -3*f = -2*i - 6*f - h for i.
5
Let z = 67 - 65. Solve -5*w - z*t - 5 = 4, 0 = -3*w - 5*t + 6 for w.
-3
Suppose -20 = -y + 6*y. Let k = 8 + y. Solve 0 = h - g, -k*h - 3*g - g - 32 = 0 for h.
-4
Let y = -22 - -43. Let p = 3 + y. Solve 4*l - p = -2*t, 3*l - 2 = 4*t + 5 for t.
2
Let k(z) = z**2 - 3*z - 3. Let x be k(3). Let y = -1 - x. Suppose -2*q = -c + 3, 0*c + 11 = 3*c - 4*q. Solve 5*i - c*n + n = 5, y*i + 4*n = -26 for i.
-3
Let v(n) = -3*n**2 + 52*n - 14. Let f be v(17). Solve g + 3*g = -5*o + 25, 0 = 2*g + f*o - 13 for g.
5
Let x be (-4)/1 - (-4 + 0). Solve x*k - 14 = j + 3*k, 0 = -4*k - 12 for j.
-5
Let g be 40/(-12)*(-12)/(-5). Let a = 12 + g. Solve a*i - 4*y - 12 = 0, 0 = -i - i - 4*y - 18 for i.
-1
Let h = -38 - -43. Solve h*l = -5*i - 6 + 1, l = -4 for i.
3
Suppose -5*k - 2 - 13 = 0. Let m be k/(9/(-7))*3. Suppose -f = 2*x - 1, 0 = 2*x - 3*f - m - 6. Solve 0 = -2*c + x, -5*z + 0*c = -5*c + 20 for z.
-3
Suppose -2*y + y = -3. Solve c - 25 + 2 = -5*u, y*u = 12 for c.
3
Let c = 4 - 4. Suppose 1 = -3*k + 5*g + 6, 2*k - 2*g - 6 = c. Solve -k*q + 10 = 0, -4*q + 4 = -h + 3*h for h.
-2
Let g be 2/(-4)*(-1 - -1). Solve -10 = -2*l - g, -3*p = -l + 20 for p.
-5
Let b = 12 - 0. Solve -2*q = 2*k + 4, -3*k + b = -2*q - k for q.
-4
Let z = -9 - -11. Solve 0*k - 2*k = 2*o, z*o = k + 3 for k.
-1
Suppose 5*b = -20, 0*n + 6 = -2*n - 3*b. Let h be ((-39)/2)/((-3)/(-16)). Let p be h/(-10) + 4/(-10). Solve 1 = -f - n*z - p, 0 = 3*z + 9 for f.
-2
Let b(w) = w**3 + 4*w**2 + 2*w - 1. Let s be b(-2). Let v be ((-2)/1 - -8)*1. Solve 0*f + 4*o - v = s*f, 0 = -o + 3 for f.
2
Suppose -4*x = -v - 8, 0 = 5*x + 4*v + 3 - 13. Solve -3*s - x + 8 = 0, 4*b = -5*s + 22 for b.
3
Let o(x) = 2*x - 3. Suppose 14 - 2 = 4*m. Let t be o(m). Solve 4*q + 2 = -2*s - 0*s, 3*s = -4*q + t for q.
-3
Let j(k) = 3*k + 16. Let n be j(-3). Solve 5*u + 3*d = 4*u - 5, 4*d + n = -u for u.
1
Let p = 78 - 73. Suppose -b - b = 0. Solve b = -5*k + p*s, 2*s - 24 = -5*k + k for k.
4
Let o = -6 + 46. Solve -2*b + 6 = -4*t, 4*b + o = -3*t - 2*t for b.
-5
Suppose 0 = 3*u + 2*u - 20. Solve -b = 2*k + 4 - 6, -u*k - b = -8 for k.
3
Let u be (70/15)/(2/(-15)). Let p be (30/u)/((-6)/28). Solve 6*b - 20 = 3*b - 4*d, 0 = -b - p*d + 12 for b.
4
Let l(p) = 5*p - 3. Let a(z) = -6*z + 2. Let b(g) = 3*a(g) + 4*l(g). Let k be 40/15*3/2. Let s be b(k). Solve 0 = 5*d - 1 - 9, -8 = -s*c - d for c.
3
Suppose 4 = -6*g + 2*g. Let a be -3 - (5 + 2)/g. Solve -a*d = -4*r - 12, 0 = -3*d + d - 5*r - 15 for d.
0
Let g(h) = -2*h - 4. Let t be g(-4). Let a = 9 - t. Suppose a = i + 2. Solve 3*v - 22 = -i*z - 2*v, -z - 16 = -3*v for z.
-1
Suppose -1 + 3 = -y + 4*b, 0 = 3*y - b - 5. Suppose 0*m = -y*m + 32. Solve -3*d + 3*l = l - 18, 4*l = d - m for d.
4
Let o(q) = -5*q - 1. Let f be o(-1). Let b(w) = -w + 6. Let u be b(f). Solve -2 = u*h + 5*j, -h + 5*j - 6 = -5*h for h.
4
Let n be (-1)/(1/(-8)*2). Suppose -n*k - k = 3*z - 86, 4 = k + 5*z. Solve -s - 6 = 2*p - p, 4*p = s - k for p.
-5
Let n be 3/(-2) + 238/28. Let o be -1*2/(-4)*8. Suppose o*k = k + 6. Solve 2*h - n*h = k*j + 12, -5*j = -h + 3 for h.
-2
Let d(m) = -2 - 5*m**2 + 2*m**2 + 6*m + 2*m**2. Let q be d(5). Suppose -q - 3 = -2*c. Solve 2*i + c = k, -k + 4 - 1 = -i for i.
0
Suppose -1 + 6 = -5*m, 0 = -n - m + 10. Solve -4*q = w - n - 8, 4*w = -2*q + 6 for q.
5
Suppose 3*k - 2*m - 22 = 0, 5*k + 2*m = -m + 5. Solve -5*q + 4*a - 41 = 0, -3*q + k*q - 4*a = -21 for q.
-5
Let t = -19 - -22. Solve -2*o - 25 = 5*n, t*n + 18 = -o + 4 for n.
-3
Let s be ((-4)/(-5))/(6/45). Let u = -5 + s. Suppose 2*f + 11 + u = 4*k, f + 1 = k. Solve 5*b - 4*p = 7, 0 = b + b + f*p - 14 for b.
3
Let o(b) = -5*b - 10. Let n be o(-3). Solve -4*k = -p - 2, 13 = -4*p + n*k + 5 for p.
-2
Let a = 18 + -7. Solve -2*m - a = m + 4*p, 0 = -4*p - 8 for m.
-1
Suppose -4*a - 3 = o - 4*o, -1 = -o - 3*a. Let z be (3 - o)*1 + 1. Solve 0 = -3*t + 2*k - 10, z*t + 8 = 3*k + k for t.
-4
Let q = 48 + -44. Suppose 2*v + 2*g = 2 - 10, -5*v + 5*g = 0. Let d be q/2 - 4/v. Solve -2 - 13 = -3*y, 36 = -4*s + d*y for s.
-4
Let p be -11*3/(2 + 1). Let z be (-48)/(-22) + 2/p. Let f(k) = -k**2 - 12*k - 11. Let q be f(-11). Solve -2 = -a - 3*m - q, 3*a + z*m = -1 for a.
-1
Let t = -14 - -8. Let l = 10 + t. Solve 0 = 5*f - 6 - 14, l*h = 4*f - 4 for h.
3
Let o be (-1)/(-4) + 26/(-8). Let l = o + 6. Suppose 0 = 7*s - l*s. Solve 2*p + 2 = s, 2*b + 5 + 5 = -2*p for b.
-4
Suppose -5*s = -4*s - 3. Solve 5*x - p = s*p, 1 = 4*x - 3*p for x.
4
Suppose -3*h + 2 + 10 = 0. Suppose 5*c - 24 = -h. Solve -2*i = -c*v + 3 - 17, 4 = v - 3*i for v.
-5
Let p(m) = m + 4. Let i be p(-3). Let k(h) = -3*h + h**2 + 3 + 0*h - i. Let v be k(2). Solve 3*x - 8*x = -2*l + 4, v = 3*x - l + 2 for x.
0
Let d = 41 - 25. Suppose 5*u - 16 = 9. Let x be u/(5/2) - 0. Solve x = -r - 2*r - 4*q, -4*r = -4*q - d for r.
2
Let o be ((-9)/6)/((-9)/210). Solve 3*x - x - 3*b + 5 = 0, -4*b + o = 3*x for x.
5
Let s = 6 - 13. Let c = -5 - s. Solve 4*p = -c*t + 6, -2*p + 3*t + 15 + 0 = 0 for p.
3
Let f be ((1 - 2) + -1)/(2/(-32)). Solve 0 = -5*w - 5*y, -3*w - 2*y - f = -7*y for w.
-4
Suppose -4*o - r = -12, 7 = 2*r - 1. Solve 5*d = -4*v + d, -2*v = -o*d - 4 for v.
1
Let v = 19 + -16. Solve l + 8*w - 3*w + 10 = 0, -6 = v*l + 3*w for l.
0
Let r(b) = 3*b - 6. Let i be r(4). Suppose 0 = 5*o - 5*u - 10, 4*o - 26 - i = -4*u. Solve -3*k - o = -3*f + 7, -2*f = 2*k - 8 for k.
0
Let v be (-6)/(-30) + 158/10. Solve 4*t - 4*n + n = 4, 0 = -3*t - n + v for t.
4
Suppose -181 - 89 = -5*w. Suppose -4*o + w = 14. Suppose o = l + 2*y, 29 = 4*l - y - 11. Solve -2*j = 2*h - l, -2*h + 8 + 2 = 0 for j.
0
Let w be 1/(4/(-4)) + 12. Suppose 0 = -4*x + 10 - 2. Let j be -2*(1 - x - 1). Solve -3*h + 5*i - 8 = 0, 3*h + w = j*i + 4 for h.
-1
Let y = -35 - -49. Solve q = -4*v - 2*q - y, 0 = -v + 3*q + 4 for v.
-2
Suppose 0 = 8*c - 3*c - 25. Solve 0 = v - 3*m - 8, -v + c*m + 13 = 1 for v.
2
Suppose 5*x + 1 = 11. Suppose 2*b - 4*y + 10 - 2 = 0, 4*b + x = y. Solve 4*a - a - 19 = 5*d, b = -5*a + 2*d for a.
-2
Let l(k) = -2*k**2 - 6 - k**3 + 7*k + 6*k**2 + 0*k**2. Let p be l(5). Let f be (8/(-6))/(p/(-6)). Solve 0*i + 21 = -5*i + 3*n, -2*n - f = 2*i for i.
-3
Let a(j) = -5*j - 51. Let o be a(-11). Let k(s) = 4*s**3 + s**2 - s. Let y be k(1). Let t = y - 0. Solve -p - 1 = -2*h, h = -0*p - t*p - o for h.
0
Suppose j - 12 = -3*j. Let k = 68 + -65. Solve -4*u + j = 4*n + u, -n + 5 = -k*u for n.
2
Let m = -22 + 26. Solve -2*b + 8 = -2*j, -m*b + 3*j = -12 - 0 for b.
0
Suppose 7 = 5*p - 3. Suppose -5*f + b + 5 = 0, f = -f - 5*b + p. Solve -f = g, -1 = -0*t + t + 4*g for t.
3
Let u = 12 - 8. Suppose 3*h = -2*z - z + 9, 3*z - 9 = -2*h. Solve 0 = -z*w - 5*p - 18, u*w + p + 1 = 2*p for w.
-1
Let u be 9 + (0 - (2 + 0)). Let p(c) = c**3 + 5*c**2 - 7*c - 1. Let l be p(-6). Solve -f - 8 = -m, l*m = f + u + 17 for f.
-4
Let v be 8/2 + 0/3. Suppose 0*z = v*z. Solve -2*d + 5*b + 19 = z, -3*d = -0*d + 5*b + 34 for d.
-3
Let z be (2 + 2/(-2))*3. Let d(u) = u + 26. Let b be d(-17). Let p be (1/(-2))/((-1)/6). Solve z*w - b = -2*g, -p*w + w = -g - 13 for g.
-3
Let j be -1*(2 + -1)*-1. Suppose 3*g + i - j = 0, 4*g = 3*i - 12 - 4. Let n be 1*(g + 3 + 3). Solve -2*q = 5*m + 14, q = n*m - m + 6 for q.
-2
Let b = 33 + -18. Let h be 25/b + 1/3. Suppose 6*a = a + 10. Solve -2 = -f + a*i, h*i - 2 = -3*f + 4*i for f.
0
Suppose 3*r - 10 = 2. Let g be (-6)/2*(3 - r). Solve -2*x + 18 = -g*k, -3*x - 11 = 2*k + 3*k for x.
3
Let z = -28 - -13. Let c = -11 - z. Solve -5*m = -a + 8 - 31, -c*m + 16 = -2*a for m.
5
Suppose 0 = i + 4*t - 14, -2*i - 2*i + t - 29 = 0. Let c = 7 + i. Solve 5*p = -y, 0 = -4*p + y + c - 10 for p.
-1
Suppose 5*f + 2*c - 2 = 0, f = -2*c + 1 + 1. Suppose -n + 4 + 3 = f. Solve -4 + 3 = h - 3*y, -3*y = 2*h - n for h.
2
Let o(r) = -r - 2. Let y be o(-2). Solve 5*c + y*c = 10,