pose b = 4*b - t. Let w be 8/20 + (-16)/(-10). Solve -1 = w*x - b for x.
3
Let y be (-18)/(-12)*4/6. Let q(x) = x**3 - x**2 + x - 1. Let z be q(2). Solve -z = -t - y for t.
4
Suppose -6*o - 4 = -22. Let r = -1 + 5. Suppose 0 = 3*b - 4*x + 4 + 1, r*b - x - 2 = 0. Solve 0 = -o*v + b + 2 for v.
1
Suppose 4 = 3*u - 2. Suppose -a + u = a. Solve 4 = -5*t - a for t.
-1
Let y be (-1 - -2)*(-2 - 1). Suppose -u - 3 + 1 = 0. Let v be 3*u/y - -12. Solve -2*c = -v + 6 for c.
4
Let n = 4 + -2. Let j(d) = 4*d + 21. Let o be j(-5). Let s = n + o. Solve 0 = -w - s*w + 16 for w.
4
Suppose 3*u = -2*u + 20. Let j(m) = -2*m**2 + 5*m - 3. Let z(g) = -2*g**2 + 4*g - 2. Let a(x) = 3*j(x) - 4*z(x). Let i be a(2). Solve u*y = -i - 15 for y.
-5
Let x be (10/3)/(4/6). Suppose x*g - 15 = 2*g. Solve -g*t + 15 = -0*t for t.
3
Let c(w) = -w**3 + 4*w**2 + 2*w - 6. Let q be c(4). Suppose 0 = -q*l + v + 3*v, -2*v + 2 = 0. Solve l*s - 3*s + 5 = 0 for s.
5
Let m be 2/(-12) - (-195)/90. Suppose y - 3*y = 0. Solve 0 = 2*b - m - y for b.
1
Let c be (-755)/(-20) + 1/4. Let b be 0 + c*2 + 1. Suppose -5*s + b = -23. Solve h - s = -3*h for h.
5
Suppose -r + 5 = 3. Suppose -4*m = 3*n + 20, -5*n - 7*m = -2*m + 25. Solve 0*a - r*a = n for a.
0
Suppose 0 = 40*f - 45*f + 35. Solve 5*b + f = -18 for b.
-5
Let d(x) = x**2 - 7*x - 13. Let m be d(9). Solve 34 = m*w + 9 for w.
5
Suppose 3*j + 6 = -d - 4*d, -2*j + 4*d + 18 = 0. Solve -4*v + j*v = -4 for v.
4
Let g(o) = o**3 - 8*o**2 + 5*o + 14. Suppose 3*r = -3*y + 30, 5*y - 6*r - 20 = -r. Let i be g(y). Solve 2*d - 1 + 5 = i for d.
-2
Let l = -2 + 7. Suppose 2*i - i - 7 = 5*b, -5*b + 5*i = -l. Let d be (2/b)/((-1)/4). Solve -d*w + 5 = -3 for w.
2
Let x = -17 - -4. Let c be (-1)/4 - x/4. Solve -c = -5*s + 2 for s.
1
Suppose 5*x = 4*c + 10, -1 = -4*c - 4*x + 7. Let s be -2 - c - 2*-2. Let u = 8 - 8. Solve u = -s*p - 2*p - 20 for p.
-5
Suppose -4*n + 10 = n. Let r be ((-8)/12)/((-2)/3). Solve -m + n = r for m.
1
Let x be (2 - -12)*(-3)/(-2). Suppose 0 = -4*c + x - 5. Solve 2*t = c*t for t.
0
Let r(u) = -u**2 + 7*u + 6. Suppose -4*h - 12 = -40. Let j be r(h). Solve -f = 1 - j for f.
5
Let r(u) = -u + 7*u**2 + u - u**3 + 2*u - 9. Let f(z) = z**3 + 3*z**2 - 6*z - 1. Let c be f(-4). Let y be r(c). Solve y*m = -6 - 9 for m.
-3
Suppose 0 = 4*w - 0*w. Suppose -2*r + w*r + 2 = -3*n, n = 0. Solve 2 = i + r for i.
1
Let m be (1 - 4)/(-3) + -3. Let i = 4 + m. Suppose -2*j - 5*n + 18 + 13 = 0, 14 = -i*j + 4*n. Solve 3*y + 0 = j for y.
1
Suppose -5*s + 3*m + 16 = 0, 5*s + 2*m + 2 - 8 = 0. Solve b = -s*b for b.
0
Let a(r) = -r**3 - 7*r**2 - r - 4. Let p be a(-7). Let o(f) = 2*f**2 + 3 + f**p - 2*f**3 - 1. Let t be o(2). Solve 5*b + 27 = t for b.
-5
Let j(y) = -6*y**2 + y + 4. Let b(m) = 7*m**2 - 2*m - 5. Let k(v) = -3*b(v) - 4*j(v). Let n be k(1). Solve -2*h - n = -10 for h.
3
Let w(s) = s**3 - 5*s**2 - 6*s + 2. Let y be (2/4)/(3/96). Suppose -y = 5*r - 46. Let b be w(r). Solve -v - 5 = -b*v for v.
5
Let v(z) = -4*z. Let n(m) = 3*m - 1. Let h(k) = -5*n(k) - 4*v(k). Let s be h(-5). Solve -2*g = 8 - s for g.
-4
Let y = -13 - -8. Let j be (-2 - y)/((-4)/(-28)). Let z = 29 - j. Solve z = -3*k + 7*k for k.
2
Let d be (-64)/(-14) + (5 - (-224)/(-49)). Suppose 4*n = 5*v + 7 - 0, 5*v - 2 = n. Solve -d*o = 11 - v for o.
-2
Suppose -3 = n - 4*b, 3*n + 30 = 7*n - 2*b. Let r(f) = -f**2 + 5*f - 4. Let i be r(3). Solve -i*u = u + n for u.
-3
Let h be (-12)/(-16) + 122/8. Let o = 8 - 4. Solve -o*v - h = -8*v for v.
4
Suppose 0*t + 4*t - 30 = 2*h, -3*t + 5*h + 33 = 0. Let u = t + -3. Solve -s - u*s = 0 for s.
0
Suppose -4*p + j - 3*j = 0, 2*j + 8 = 0. Let w be 0 + (p*-6)/(-2). Solve w = 3*u + 3 for u.
1
Suppose -3*d - c + 62 = 0, 4*c + c + 51 = 4*d. Suppose -u = 5*y - 0*y - d, 4*y - 2*u = 4. Let l = 10 + -7. Solve -y*i + 2*i = l for i.
-3
Let y(h) = -9*h**2 - 7*h - 25. Let q(p) = -13 - 2*p**2 + 2*p**2 - 4*p - 5*p**2. Let g(k) = 7*q(k) - 4*y(k). Let u be g(0). Solve 0*n - 3*n = -u for n.
3
Let j(p) = -p + 9. Let y be j(4). Let l = -3 + y. Suppose -l*h + 20 = 2*h. Solve -h*d + 2*d = 6 for d.
-2
Let t(y) = -y**2 - 3*y + 3. Let j be t(-2). Solve -5 = j*q - 10 for q.
1
Suppose -5*t + 21 = -2*c + 63, 4*t + 5*c = -60. Let g(k) = k**2 + 10*k + 4. Let i be g(t). Solve 4 = i*y + 24 for y.
-5
Let h(p) = 13*p**3 - 6*p**3 - 3*p**3. Let i be h(1). Solve 2 = k + i for k.
-2
Let u be ((-17)/4 + 4)*-12. Solve f = -u + 4 for f.
1
Suppose -8*c - 32 = -4*c. Let q = c + 15. Solve 4*w + 23 - q = 0 for w.
-4
Suppose 2*s + 1 = -1. Let o be 1/1 + (s - -2). Suppose -4*g + 6 = -10. Solve o - 6 = g*y for y.
-1
Suppose -2*q - 21 = 3. Let c be 2 - (q + -1) - 3. Solve c = -4*m - 0*m for m.
-3
Let m = 4 - 4. Let p be 2 - (-6)/(-1 + -2). Suppose 4*f + 8 = -3*i - i, f + 4 = p. Solve i*o + 2 = -m for o.
-1
Let j be (-728)/(-36) + (-2)/9. Let b = j - 18. Solve 0 = -b*w - 2*w - 16 for w.
-4
Let u be -1 - 3/3*-3. Let z be 3*u - (-1 + 1). Let o be 15/z*(-4)/(-5). Solve -o*v + 0 - 10 = 0 for v.
-5
Let d be (3/(-12))/(1/(-4)). Let b be -2 + (4 + -2 - d). Let n be b/3 + (-10)/(-3). Solve -3*q = -n - 3 for q.
2
Let s = -12 + 16. Solve s*v = -v - 25 for v.
-5
Suppose 0*n - 4*n = -12. Let t = 4 - n. Solve -t = 2*x + 1 for x.
-1
Suppose j - 45 = 6*j. Let x be -2 + -3*(-6)/j. Let a = x + 9. Solve -20 = 5*k + a for k.
-5
Suppose -2 = 4*f - 22. Suppose 2*h + 0*m = -2*m + 12, -f*h = -5*m - 20. Suppose 3*j - 1 = -l + 6*j, l - h*j - 1 = 0. Solve -u - l = -2 for u.
1
Let l = -10 + 10. Suppose l = -y + 4 - 2. Solve 0 = t + y*t + 12 for t.
-4
Suppose 0 = i - 3*a - 28, -1 = 4*a + 3. Suppose 3*g - 4*g + f = -i, 0 = 4*g - f - 85. Let w be 2*(-2 - (-7 + 2)). Solve w*d + g = d for d.
-4
Let y(q) = -q**3 - 4*q**2 - 3*q - 3. Let c be y(-3). Let p = c - -8. Suppose -p*b + 20 = -3*w + 3, 5*w - 4*b = -11. Solve -3*m + 4*m = -w for m.
-1
Let b(j) = -3*j + 69. Let o be b(23). Solve -l + 5*l - 8 = o for l.
2
Let j be 0 + 6*3/(-6). Let q(k) = -k**3 - 4*k**2 - 3*k. Let g be q(j). Solve g = i - 0*i - 2 for i.
2
Suppose -9 = -5*l + 1. Let t = 11 - 16. Let r(d) = d**2 + 5*d. Let z be r(t). Solve z = -f + 3*f - l for f.
1
Let o be (30/9)/(4/6). Solve -3 = o*c + 2 for c.
-1
Suppose -5*z + 20 = 2*g + 2*g, 0 = g - 3*z - 5. Let a be (-1)/g + 1/5. Solve 5*s + a*s = 0 for s.
0
Let w be (4/6)/(16/24). Suppose 2*x - w - 3 = s, 3*s - 2*x + 4 = 0. Let g be (1/(1/2))/1. Solve s = d + g*d for d.
0
Suppose 0 = -3*m - 5*d + 16, -4*m - 5*d + 0*d = -18. Let b = m + 2. Suppose -k + c + 4 = 0, k - 26 = -4*k - c. Solve o - b = k*o for o.
-1
Suppose 36 = 3*l - 7*l + u, 0 = 2*u + 8. Let y = l + 12. Solve y*v = 7*v for v.
0
Let d(i) = i**2 + 2*i + 1. Let j be d(-1). Suppose v + 3*z = 8, -z = 2*z - 6. Solve j = -v*f + 2 for f.
1
Suppose -6*f = -3*f - 21. Suppose -2*h + f = 3. Suppose -2*z - 3 = 3*d + z, -h*d - 3*z = 6. Solve 2*n + 1 = -d for n.
-2
Let x = 13 + -12. Let f be -5 + 2 + 6/x. Solve -f*j = j for j.
0
Let c = -5 + 6. Suppose 5*w = 9 + c. Suppose z + 0*z = 5*k - w, 9 = 4*z - 3*k. Solve -z - 6 = -3*q for q.
3
Let x = 62 - 58. Solve -1 - x = -z for z.
5
Let u be (3 + (-7)/2)/((-4)/8). Solve 3*j + u - 4 = 0 for j.
1
Let m(a) = -a**3 - 6*a**2 - 6*a - 2. Let u be m(-5). Let k be (u/6)/((-1)/(-6)). Solve k*x = 7*x for x.
0
Let j(r) be the first derivative of -r**2 - 6*r + 5. Let z be j(-4). Solve -2*c - z - 2 = 0 for c.
-2
Let z(d) = 4*d**2 + d. Let n be z(1). Solve 1 = -n*r - 9 for r.
-2
Suppose 3*r = -3 + 6. Solve 5*f + r - 11 = 0 for f.
2
Suppose p - f - 2 = -8, 0 = 5*f - 10. Let w = p - -8. Solve 10 = -w*y + 2*y for y.
-5
Let p(z) = 6*z**2 - z. Let s be p(1). Let k = -13 + 7. Let r = k - -11. Solve -s*n + r = -20 for n.
5
Let n(f) = -f**2 + 3*f. Let v be n(2). Suppose v*p = 4*s + 10 - 2, -s - 1 = 0. Solve p*y = -0*y - 6 for y.
-3
Suppose -3*i = -0*i - 15. Suppose 0 = i*v + 25, -2*q + 4*v + 10 = -14. Suppose q*f - 4*f = -4*l - 24, -2*f - 2*l = 0. Solve -3*u - 1 = -f*u for u.
1
Let y be (-4)/(16/12)*-1. Suppose -3*c + 21 = y*u, 21 = 3*c + 6. Solve u*z = -2 - 2 for z.
-2
Suppose -6 = 2*l - 5*j, -j - 6 = -4*l - 0*j. Let v = l - 5. Let n be (-17)/v + 2/6. Solve n*u + 20 = 2*u for u.
-5
Suppose 4*b + 0*b = 12. Suppose -4*i = -v + 7, -b*v - 40 = -5*v - 5*i. Suppose -5*s + v = -0*s. Solve -s*l = -0*l + 9 for l.
-3
Let y = -17 + 24. Solve 8 = 5*c - y for c.
3
Suppose -5*