e 4*b + l = 23 for b.
5
Suppose -2*t + 22 = 4*d - 2, -4*t + 57 = -d. Let x = 15 - 11. Suppose -v = -x*y, 2*y + 2*v - 11 = -y. Solve 5*b - t = y for b.
3
Let t(x) = -x**2 - 8*x + 3. Let k be t(-8). Suppose -15 = k*r - 0*r. Let z = -1 - r. Solve -2*v + 14 = z for v.
5
Let s = -3 + 3. Suppose -84 + 1 = 5*k - 2*h, -k + 3*h - 14 = s. Let n be (-1)/4 - k/4. Solve t = -n*t - 10 for t.
-2
Suppose -9*p + 20 = -4*p. Solve -4 + 8 = -p*u for u.
-1
Let y = -31 + 42. Solve y + 9 = 5*k for k.
4
Suppose -2*t = 3*t - 15. Suppose 0*i = -i. Solve -t*x + 3 = -i for x.
1
Suppose 14 = -4*l + 2*t - 36, -4*t = -l - 16. Let k be 3 - (-3)/((-9)/l). Suppose k*r = 2*r + 10. Solve -c = r*c - 6 for c.
2
Suppose 11*m = 9*m + 12. Suppose -4*d = -3*h + m, 2*h - 3*d = -8*d + 4. Let o = -7 + 13. Solve -h*j = -o*j for j.
0
Suppose 3 = -2*h - 2*j - 3, 0 = -3*h - 2*j - 4. Let c = 8 + -5. Let i be (h - 2) + 1*c. Solve -3 = i*l - 0 for l.
-1
Suppose -4*y = 3*q + 2*q + 7, 0 = -5*q + 3*y + 14. Let g = -40 + 43. Let a = g - q. Solve 8 + a = -5*j for j.
-2
Suppose -y = 6 - 3. Let k be (-2)/2*(-21)/y. Let c(f) = -2*f + 1. Let u be c(k). Solve q - 4*q + u = 0 for q.
5
Suppose 14 = 3*i + 8. Solve -i*w - w + 15 = 0 for w.
5
Let s(j) = j**3 + 3*j**2 - 5*j. Let c be s(-4). Suppose o + 18 = c*o. Solve 0 = -4*n + 6 + o for n.
3
Let k = 5 - 2. Let l be 12/(-102) + (-206)/(-17). Solve l = -k*w - 0*w for w.
-4
Suppose 3*p - 24 = -p. Suppose -25 = 2*n + 3*n. Let u(i) = -i**2 - 5*i + 3. Let a be u(n). Solve -a*q + 0*q = p for q.
-2
Let l be (-31 + 1)*(-8)/24. Solve -r = r + l for r.
-5
Suppose 4*w - 17 = 3. Suppose 0*b = w*b - 5. Suppose 7*a = -0*a + 14. Solve 0 = -a*h + h - b for h.
-1
Suppose 5*l = 2*b + 18, -2*l - 5*b + 9 = -l. Solve 2*d = 3*d + l for d.
-4
Let y(q) = q + 3. Let w be y(2). Suppose 0*a + 3*a + 3*i - 3 = 0, -w*a - 4 = -4*i. Solve 0*x + x - 5 = a for x.
5
Let v be -4*16/2*1. Let f = -13 - v. Solve -4*a + f + 1 = 0 for a.
5
Let r be (-4)/6*(-36)/8. Solve -r*b = -0*b for b.
0
Let x(l) = l**3 - 3*l**2 + l + 1. Let c be x(3). Let p = c - 1. Solve 5*r - 6 = p*r for r.
3
Let v be 2/(60/29 + -2). Let r be 3*3/(9/v). Suppose -5 = 4*b - r. Solve 4 = -b*f + 4*f for f.
-2
Let s = 1 - -1. Suppose -2*v - s = 0, 5*i - 2*v = -v + 6. Suppose -5*x = c + 25, -2*c - 21 = 4*x - i. Solve -20 = 4*g - c for g.
-5
Let k be 5/(-70)*2 - (-129)/21. Solve 3*c + 15 = k*c for c.
5
Suppose -6 = 3*i - 3*c - 24, -c - 1 = 0. Solve -5*m = -5 - i for m.
2
Let h(o) = 10*o - 1. Let s be h(1). Let t be (2 - -1)/(9/s). Solve f = t*f + 6 for f.
-3
Let d be 8/10*(-65)/(-26). Solve t = d - 3 for t.
-1
Suppose 4*u + q = 5*q + 4, 2*u - 2 = -2*q. Let o = u + 3. Solve 0 = -9*h + o*h + 5 for h.
1
Suppose -o - 4*o = -4*x - 5, -1 = -3*x - o. Solve d = -x - 5 for d.
-5
Let l be -1 - 21/(-6)*2. Solve 0 = -0*p - 2*p + l for p.
3
Suppose 2*b - 6 = -0. Solve -b*r - 2 - 1 = 0 for r.
-1
Let a(o) = 4*o + 100. Let m be a(-24). Let j be -1*7 - (-1 + 3). Let r be (-4)/6 - 6/j. Solve r = m*c - 7*c for c.
0
Let f(y) = -y**2 - 6*y + 5. Let w be f(-6). Solve -w*j + 20 = -5 for j.
5
Suppose -21 = -3*h - 2*h - 2*t, 21 = 3*h - 3*t. Solve 2*v - h - 5 = 0 for v.
5
Let k = -60 + 60. Solve 2*i + 2*i + 20 = k for i.
-5
Let l = 6 - 4. Let r(w) = 9*w - 9. Let a be r(1). Solve h + l*h = a for h.
0
Let q(x) = -x - 6. Let t be q(-6). Suppose 0 = -c - v - 2, 5*c + v - 6*v - 40 = 0. Solve t = c*j + j + 20 for j.
-5
Let d be (2 + -13)/(1/(-3)). Let n = d - 22. Let r(z) = -z - 2. Let y be r(-5). Solve 4*t - n = -y for t.
2
Let b = 12 + -10. Suppose -9 = -5*d + b*d. Solve 3 + 9 = -d*c for c.
-4
Suppose -3*g - t = -31, -4*g - t = 2*t - 48. Solve -g*n - 25 = -4*n for n.
-5
Let a be 4 - 3 - 24/3. Let h = a - -9. Solve -h = 3*p + 10 for p.
-4
Let n = 58 - 57. Solve 0*j = j + n for j.
-1
Let b = 52 + -37. Let g = b - 14. Solve 2*f = 3*f - g for f.
1
Let g = 3 - -2. Suppose -4*r - g*s + 26 = -30, -11 = -3*r + 4*s. Solve 2*i = -i - r for i.
-3
Let r = 6 + -1. Suppose 4*m = r*m. Solve 3*v = 12 - m for v.
4
Let r(i) = i**3 - 4*i**2 - 8*i - 18. Let s be r(6). Solve 6*g + s = 3*g for g.
-2
Suppose -58*z = -49*z. Solve z = -3*o - 2*o - 25 for o.
-5
Let j be 21*(-3)/6*-6. Let a be (1 + -3)*j/(-6). Let k(d) = -2*d - 1. Let m be k(-2). Solve 6 - a = -m*v for v.
5
Suppose 0 = i - 3 - 6. Suppose 3*g - 35 = 5*b, -b + i = 3*g - 20. Solve 0 = -3*u + u + g for u.
5
Let w(o) = 2*o + 8. Suppose -2*b = -5*r + 8, -5*r + 44 = -b + 5*b. Let y be w(b). Solve -5*s = -0*s - y for s.
4
Let j(s) = -4*s - 74. Let t be j(-19). Solve -5 = t*v - 15 for v.
5
Suppose -2*z = -3*z. Suppose 3 = -p, 5*h + 3*p + z = 11. Solve -f = -h*f for f.
0
Let i(g) = -g**2 - 2*g + 2. Let j be i(-3). Let q be 10 - (-6)/(j + -2). Solve 0*p + 2*p - q = 0 for p.
4
Suppose -q = 4*q - 10. Suppose -2*i = q*v - 26, 0 + 12 = 2*i - 5*v. Let x = i + -6. Solve 0 = -2*n + n - x for n.
-5
Suppose x - 5*x - 5*f - 6 = 0, 3*x + f = 1. Solve x = 2*p - 5 for p.
3
Let p(k) = k**2 + 2*k - 3. Let d(n) = -2*n**2 + 2*n + 1. Let i be d(2). Let a be p(i). Solve w + w - 10 = a for w.
5
Let l(x) = x**2 + 6*x + 7. Let r be l(-5). Let k be r + 9 + 2 + -1. Suppose -21 + 11 = -5*g. Solve g*p - k = 5*p for p.
-4
Let d = 7 + -5. Solve -d*q + 16 = 2*q for q.
4
Suppose 5*p - 3 = 4*l, 3 = -2*p + 3*l - 0*l. Solve p*m - 2*m - 1 = 0 for m.
1
Suppose -14 = 4*r + 2. Let i = 6 + r. Suppose -i*f - 1 + 5 = 0. Solve 0 = f*w - 1 - 1 for w.
1
Let i = 8 - -1. Solve -3*f - i = -6*f for f.
3
Suppose 4*h - 4 = 3*h. Solve -f - 3 = -h for f.
1
Suppose 5*k + 0*k = 160. Suppose 28 = 3*g - k. Suppose 0 = -2*w + 7*w - g. Solve 1 = 5*b - w for b.
1
Suppose 0 = n - 3*g - 14, 6*n - g = n. Let y = 1 - n. Let w = -22 - -37. Solve -y*u + w = u for u.
5
Suppose 13 = 2*b - 7. Let d(u) = u**2 + 9*u + 2. Let h be d(-8). Let s = b + h. Solve x = s*x for x.
0
Let b = 7 + -2. Solve 0 = b*i - 3*i for i.
0
Let g = -5 + 7. Let t be -1 - (-3)/(6/g). Let d(y) = y**3 + 7*y**2 - 3*y - 6. Let x be d(-7). Solve t*h = -3*h - x for h.
-5
Let o(r) = -r - 2. Let a be o(-5). Solve 3 + 0 = -a*k for k.
-1
Let u(p) = p**3 - 7*p**2 - 9*p + 9. Let h be u(8). Solve -h = y - 4 for y.
3
Let c(n) = n**2 - 14*n - 5. Let a be c(13). Let j = -16 - a. Solve 0 = j*q - 0 - 6 for q.
3
Let m be (48/(-18))/(2/(-3)). Suppose 0*t - m*x = -3*t + 10, 2 = 2*t + 2*x. Suppose h - 3 = -t*h. Solve 5 = 3*i - h for i.
2
Let h(z) = 0 + 5*z + 7 - 1 - 4*z. Let q be h(0). Let t(v) = v - 1. Let o be t(q). Solve -o*r + r = -8 for r.
2
Let w(x) = x**3 + 8. Let a be w(0). Let u = a - 5. Suppose 0*r - 5*r + 11 = u*k, 0 = 5*r - 2*k - 26. Solve r*s + 7 = 23 for s.
4
Let t be 128/10 - (-36)/(-45). Solve 2*x + 4 = t for x.
4
Let t(s) = s**2 - 2. Let q be t(2). Solve q = 3*u - 4*u for u.
-2
Let l(y) = 2*y - 18. Let f be l(11). Solve -11 = -f*g + 1 for g.
3
Let n(o) = 4*o**2 - 3*o**2 - 4*o + 3*o - 7 - 3*o. Let d be n(6). Let f(x) = -x - 1. Let s be f(-1). Solve -d*z + 0*z + 25 = s for z.
5
Let k = 2 - 2. Let r(p) = p**3 - 6*p**2 + p - 3. Let u be r(6). Let l be 0 + k*u/6. Solve l = i + i + 8 for i.
-4
Suppose 2*p - 2*u - 36 = 0, 0*p + 3*u = -2*p + 36. Let s be (1 - 1) + 0 + p. Suppose 55 - 47 = 2*h. Solve h*a - s = -6 for a.
3
Suppose 5*x = 4*a + 19 + 16, 4*x - 27 = 3*a. Suppose -5*n - 2*s = -23, -5*n + 4 = -s - 7. Let r = n - x. Solve f = -r*f for f.
0
Let j(b) = 2*b + 1. Let w be j(5). Suppose g + 3 = w. Solve -2*p - 2 + g = 0 for p.
3
Suppose 2*q - r = -0*r + 3, 0 = -2*q - 4*r - 2. Solve 2 = c - q for c.
3
Let r(u) = 3*u**2 - 2. Let n be r(-2). Solve -3*f = -n + 1 for f.
3
Suppose 3*f + 2 = 56. Let t = 18 - f. Solve h - 5 + 1 = t for h.
4
Suppose -t - t = 0. Let u be (-1)/(2 - 39/21). Let w = u - -17. Solve t*r = 5*r + w for r.
-2
Let s(a) = a**3 + 7*a**2 - 6*a + 4. Let z be s(-7). Let c = 14 + -9. Suppose 2*w + z = 4*x, x + c = -0*x - 5*w. Solve 5 + x = 3*k for k.
5
Suppose 0*m = -4*m. Let k(h) = h**3 + 2*h**2 - h + 1. Let i be k(-2). Solve m = c - 1 - i for c.
4
Suppose 2*i = q + 5, 5*i - 8 + 0 = 4*q. Solve 3*r = r + i for r.
2
Let d = -48 + 68. Suppose -5*c - 5 = -3*m - 4*c, 25 = 3*m + 4*c. Solve -t = m*t + d for t.
-5
Let l = 6 - 6. Suppose -2*f + 3 = -f. Solve l = 2*w - f*w + 1 for w.
1
Suppose 5*k - 11 = -7*t + 4*t, -9 = -5*t + k. Solve -3*m + t*m = 2 for m.
-2
Let l be (-1)/((10/(-6))/(-5)). Let o = l - -3. Let a = 24 - 15. Solve