ose -t + 5*b + 23 = t, 4*b + 4 = 0. Solve 11 + t = 5*m for m.
4
Suppose 4*d + 3*d = 35. Solve 0*s - d = s for s.
-5
Suppose -2*k + 7*k = 0. Suppose -8 = -3*i + 1. Suppose i*z + 2*c = 6, -5*z + 1 = c - 2. Solve z = -3*x - k*x for x.
0
Suppose -5*f + 30 = -4*m - 1, -4*m = 5*f + 41. Let i = m + 9. Solve i = -s + 9 - 4 for s.
5
Let k(y) = -y**2 + 11. Let w be k(0). Suppose 4*z + w = -5. Let x = -4 - z. Solve x = -a - 0*a - 5 for a.
-5
Let k(t) = t**3 + 7*t**2 + t + 7. Let l be k(-7). Let q(i) = -3*i + l*i + 0 + 4*i - 6. Let x be q(9). Solve -8*g - 5 = -x*g for g.
-1
Let o = 18 + -16. Let k = 22 - 16. Solve 0 - k = o*c for c.
-3
Let i be 6/(-6)*(1 + 0). Let z be 24/9 + i/(-3). Solve z*c - 10 = 5 for c.
5
Suppose p = m - 3, 0*p - 12 = -4*m - 5*p. Suppose 4*d - 23 = -m*j, -8*j = 3*d - 3*j - 20. Solve -12 = d*r - 2*r for r.
-4
Let z(x) = x + 5. Let h be z(-5). Let y be 5/(5/(-6)) + 0. Let b = h - y. Solve -a - b = -3 for a.
-3
Let a be (2 + -1)/(1/7). Let v be (-2)/4*0/12. Suppose v = -a*g + 3*g. Solve x + 5 = -g*x for x.
-5
Suppose 0*m = 5*m - 10. Suppose -m*c + 14 + 8 = 0. Let s = 23 - c. Solve -2*j + s = 2 for j.
5
Let q(g) = -g**3 - 4*g**2 + 11*g - 3. Let z be q(-6). Solve -2 = -z*t + t for t.
1
Let z be -3 - 4/(12/(-21)). Let g be 6/12 + 22/z. Solve -2*y = -g*y + 16 for y.
4
Let s be (0 + 1)*0/2. Let g = 2 + s. Suppose -l - 14 = -3*i, -i - 4*l - 23 = -g*i. Solve -f = -0*f - i for f.
3
Let g be 15*(-2)/(-3) - 0. Let x be 2/g - (-1)/(-5). Solve x = 2*p - 6*p for p.
0
Suppose -3*l + 2*l + 2*w = -10, -4*w = 5*l + 6. Solve -l*o = -0*o - 10 for o.
5
Suppose -4*h + 10 = -10. Suppose -m + 5*k + 30 = 0, -4*k = h*m + k. Let f be (-9)/(4/((-40)/3)). Solve m - f = -5*a for a.
5
Let s = -3 - -9. Solve -4*l - s = 14 for l.
-5
Suppose -3*y = -10 - 20. Solve -3*x + x = y for x.
-5
Let n(a) = a**3 - 4*a**2 - a. Let h be n(4). Let z = h - -7. Solve 9 = z*l + 18 for l.
-3
Let w be (-4 + 3)*(-3 + -17). Suppose 5*o - w = -0*o. Solve -o*b - 8 = 4 for b.
-3
Let c = -5 + 40. Suppose -4*t - c = -95. Solve 0*h = -5*h - t for h.
-3
Let r be 18/4*(10 + -8). Solve r*m - 4*m - 5 = 0 for m.
1
Let o(i) = -i**3 + 7*i**2 + 3. Let z be o(7). Suppose -2*x = -4, -z*x + 8*x + 2 = 4*p. Solve -p*n = -2 + 11 for n.
-3
Suppose 0 + 6 = -c. Let a(u) = u**2 + 7*u + 9. Let n be a(c). Solve 0 = v + n + 2 for v.
-5
Suppose -3*v + 4*v = -1. Let i be 2 - 3 - 1/v. Let w(c) = c**3 - 5*c**2 + 6*c - 6. Let d be w(4). Solve i = -d*m - m for m.
0
Let u = -43 - -48. Solve -u*d + 5 = -0 for d.
1
Let o be (1 - -1)/(-8)*0. Solve -3*c = -o*c - 15 for c.
5
Let r(j) = -j**3 - j**2 + j. Let u(m) = -6*m**3 - 2*m**2 + 5*m. Let s(l) = 5*r(l) - u(l). Let t be s(3). Solve -8 = -t*p - 2*p for p.
4
Suppose -44 = -5*a + 11. Suppose -4*r + a = -3*s, -6*s + 2*s + 22 = 2*r. Suppose s*l + 2 = 11. Solve 0 = -l*h - 1 + 4 for h.
1
Let b be (-12)/(-6) - (-3 - -1). Solve -16 = b*r - 0*r for r.
-4
Let z(x) = x**2 + 4*x + 3. Let m be z(-3). Solve -3*g = -m*g for g.
0
Let q be (-5)/(25/(-2))*15. Let p be (q/15)/(2/20). Let j be (-2 + 13/4)*p. Solve -i = -2*i + j for i.
5
Suppose 0 = -4*s + 6 + 6. Let w = -49 + 50. Solve -l + w + s = 0 for l.
4
Suppose -13*q + 12 = -7*q. Solve -2 = -q*m - 0*m for m.
1
Let m be (-14)/63 + (-94)/(-18). Solve -2 + 12 = m*f for f.
2
Suppose -b - 26 = -4*l, -5*l + 42 = 5*b - 3. Solve 2*x - 5 = l*x for x.
-1
Let b(r) = -17*r - 1. Let o(f) = -f + 1. Suppose -4*g - 4*x + 20 = 0, g + 3*x + 4 = 15. Let s be o(g). Let i be b(s). Solve i = -6*m + 2*m for m.
-4
Let d = -41 - -101. Let u = -35 + d. Suppose u = 5*v, -9 - 2 = -3*j + 5*v. Solve -n = -4*n - j for n.
-4
Suppose -30 = -3*o - 3*w, 2*o = 5*w - 4 - 4. Let y = o + -3. Suppose -8 = 2*k - 0*h + y*h, 4 = -4*k - 3*h. Solve -x - k = -4 for x.
2
Let u be 1 + -1 - (-1 - (2 - 0)). Solve -4*c + 1 = -u for c.
1
Suppose 2*v + 28 = 32. Solve f = -1 - v for f.
-3
Let u be (2 - 1) + 3/(-3). Suppose u = 2*h + 2*h. Let a = 3 + h. Solve p = -1 - a for p.
-4
Let d(n) = -n**2 + 16*n + 38. Let z be d(18). Solve -2 + 8 = -z*j for j.
-3
Let k(d) = -d - 1. Let y(p) = 5*p + 5. Let i(z) = 6*k(z) + y(z). Let a be i(-8). Solve -5*m + a*m = -4 for m.
-2
Let d be (-15)/20 - (1 - 31/4). Solve -4*p + 2 = -d for p.
2
Let d(a) = -a**2 + 10*a + 29. Let b be d(12). Solve 7 - 27 = b*y for y.
-4
Suppose -6*d = -4*d. Suppose d = -2*q + 3*a, 0*q + 5*a - 25 = -5*q. Solve -4 = q*k - k for k.
-2
Suppose 2*a - 2*t = 6, -4*a + 1 = -3*t - 11. Suppose 0 = 2*u - a*i + 8*i - 22, -4*i = -8. Solve 0*j = 2*j - u for j.
3
Let p be 153/45 - (-4)/(-10). Solve -2 - 7 = -p*z for z.
3
Suppose 4*l + l = 25. Suppose 0 = l*x - 8 - 12. Solve 12 = d - x*d for d.
-4
Let i(s) = -s**2 - s. Let n(y) = y**2 + 4*y + 1. Let p be n(-4). Let o be i(p). Let q = 4 + o. Solve 4*m = 3*m - q for m.
-2
Suppose -5*l - 2 + 7 = 0. Suppose -z + 5 = 2. Suppose 4 = -3*c + 5*g - z*g, -g + 2 = 5*c. Solve -5*m + l - 6 = c for m.
-1
Let q = -48 + 51. Suppose 0*x + 12 = 3*x - 2*h, 2*h + 16 = 5*x. Solve x*b = b - q for b.
-3
Let m = 3 + -1. Suppose -m*w + w + 3 = 0. Solve -2 = w*g - 4*g for g.
2
Let d be (-2*2)/(3 + -2). Let b be d/14 + (-48)/(-21). Solve u + b + 0 = 0 for u.
-2
Suppose -2*g - 3*g = -2*z - 23, -g = -2*z - 3. Solve z = -v - 4 for v.
-5
Suppose 4*w = 12*w. Solve -3*u + 0 - 3 = w for u.
-1
Let k(j) = j**3 - 11*j**2 + j - 10. Let u be k(11). Let s be (u - 0)/((-5)/(-15)). Solve s*n = -0*n for n.
0
Let p be 0/((-1)/(1/(-2))). Suppose -5*h + 5*v - 20 = p, -2*h - 2*h - 12 = -3*v. Solve h*c - 8 = 2*c for c.
-4
Suppose d = -4*d - 25, -d - 20 = -5*u. Solve u*p = p for p.
0
Suppose 3*b + 4*a + 7 = 0, -4*b + 9*b = -a - 6. Let c be -1 + -1 + (1 - b). Let d be (-5 - c)*4/(-5). Solve d = 4*n - 3*n for n.
4
Suppose -i + 6*i = 25. Suppose 0*t = t + 5*x - 15, -15 = -i*x. Suppose t*y + 3*y - 6 = 0. Solve 0 = 3*g - 1 - y for g.
1
Let o(d) = 2*d + 8. Let k(h) = h + 4. Let n(v) = 5*k(v) - 2*o(v). Let b be n(8). Let p = b - 4. Solve -2*y + p = -0 for y.
4
Suppose -4*x + 6*x = 14. Let k(c) = c**2 - 4*c + 8. Let q(v) = -2*v**2 + 7*v - 16. Let y(f) = 9*k(f) + 4*q(f). Let o be y(x). Solve 0 = 3*b + o + 2 for b.
-1
Let u be 1/3 + 4/(-12). Let t be u*(1 + 1/(-2)). Solve 2*a + t*a - 10 = 0 for a.
5
Let z = 15 + -14. Let i = z - -5. Solve -i = 2*a + 2 for a.
-4
Suppose 0*h = 5*h. Suppose h = -z + 6 - 3. Solve -z*q = -5*q - 10 for q.
-5
Suppose -r - 1 + 3 = 0. Solve r*f + 4 = f for f.
-4
Suppose 0 = -2*a + y - 8, -13 = 4*a - 5*y + 15. Let z = 5 + a. Solve -2*i = z*i - 5 for i.
1
Let y(r) = -r**2 + 5*r - 1. Let o be 2/(-3 - (-28)/8). Let c be y(o). Solve -h + 8 = c*h for h.
2
Suppose 0 = -0*g - g + 2. Solve g*c = -2*c + 16 for c.
4
Suppose c + 8 = 5*c. Suppose -4*k - m = c*m - 13, -5*k = 5*m - 15. Solve -3*x = x - k for x.
1
Let s(w) = -w**2 - 9*w + 2. Let o(h) = -h**2 - 9*h + 2. Let u(y) = 5*o(y) - 4*s(y). Let g be u(-9). Solve 0 = g*c + 3*c + 25 for c.
-5
Let g = -8 + 10. Solve 2*f + 0*f = g for f.
1
Let q(o) = o + 0*o - 12 + o. Let j(d) = -d**2 + 6*d + 8. Let c be j(6). Let l be q(c). Solve l*m + 11 - 3 = 0 for m.
-2
Suppose 3*x = 7*x + 12. Let c(h) = h + 3. Let l(y) = 1. Let t(j) = c(j) + 2*l(j). Let v be t(x). Solve 4*f = v*f - 2 for f.
-1
Let r(g) = -g**3 - 6*g**2 + 8*g + 9. Let y be r(-7). Suppose 2*x - y*f + 6 = x, 0 = -2*x - 4*f + 4. Let m = x + 7. Solve -5 = -m*a - 0*a for a.
1
Suppose 3*n = 3*d - 3, -3 = 3*d + 2*d + 3*n. Let o(p) = -p**2 - 5*p. Suppose 3*k = -10 - 5. Let t be o(k). Solve t = -b - d - 4 for b.
-4
Let g be (24/(-3))/(-4) + 3. Solve -1 + 16 = g*m for m.
3
Let s be (3/3)/((-1)/2). Let x(u) = u**2 - u - 1. Let l be x(s). Solve -m + l = 1 for m.
4
Suppose 0 = -5*g - 4*x + 11, 2*g + 4*x = -x + 1. Solve -m + g = 4 for m.
-1
Suppose 5*l - 5 = -5*a, -5*l - 2*a - 2*a = -7. Let h(o) = o**3 - 8*o**2 + 8*o. Let n be h(7). Suppose -8 = -l*b + n. Solve -b*i = -i for i.
0
Let z be (8/(-14))/(14/(-49)). Suppose 0 = -z*i - i. Suppose 0 = -i*s + 5*s. Solve -3*q + q - 6 = s for q.
-3
Let g be -3 - 0 - (13 + -17). Solve -g - 4 = b for b.
-5
Suppose -1 + 5 = j - 4*d, j + 4 = -4*d. Suppose j*h - 60 = 4*h. Let q be (-26)/(-10) + 9/h. Solve -q*u = -5*u + 6 for u.
2
Suppose 2*g - 6 = -g. Solve -1 + 3 = g*x for x.
1
Let i = -3 - -7. Suppose -19 = -i*h - 3. Solve -h*s - 9 = -21 for s.
3
Let q be 1*-2*1/1. Let f(y) = -2*y. Let h be f(q). Solve -h = -0*g