, -3*x = y*u + 38. Let p be -3 - x*(-2)/(-4). Solve -p*m + 1 = -1 for m.
1
Let n = 0 - -1. Let x be (0 + 12)*1/2. Suppose 0*b = 2*b - x. Solve b*u + 7 = n for u.
-2
Suppose -3*d - d + 16 = 0. Suppose -5*w + d*x - 6 = 0, -4*w + 9*w - 6 = x. Solve 2 - 12 = -w*i for i.
5
Suppose -1 = -5*x + 14. Suppose 9 = 2*m - 11. Let k = 1 + 1. Solve -m = -x*y + k for y.
4
Suppose 0*d + 12 = 3*d. Suppose 5*m = -16 - d. Let i be (m/(-6))/(5/30). Solve 0 = -i*r + 5*r for r.
0
Let g(s) = -s**2 + 7*s + 6. Let o be g(6). Suppose 0 = 4*y - o, 5*y - 4 = b - 0. Solve 0 = -3*i + b + 4 for i.
5
Let x(p) = 4*p - 6. Let d be x(5). Let c = -9 + d. Suppose c*v = 6*v - 1. Solve v = -3*o + 4 for o.
1
Suppose 3*b - 4*b = 0. Solve x - 2*x - 1 = b for x.
-1
Let i be (-56)/(-10) - (-4)/10. Suppose 5*b = 56 - i. Solve 0*a = -2*a + b for a.
5
Let a be (0 + 2 + -3)*0. Suppose -5*m = -a*m - 25. Suppose -4*i - m = -13. Solve -6 = -2*c + i for c.
4
Let k(y) = -y**3 - 2*y**2 - 3. Let o(d) = -d**3 - 8*d**2 - 7*d - 3. Let b be o(-7). Let c be k(b). Solve -v - 2*v = c for v.
-2
Let p(k) = -k**3 - 3*k**2 + 4*k + 3. Suppose 1 = -s - 2. Let m be p(s). Let r be (-1 - m) + -4 + 1. Solve -r*x + 15 = -0*x for x.
3
Suppose 5*d + p - 14 = 2*p, p = -4. Let f(z) = 21*z + 126. Let x be f(-6). Solve 0 = -d*h - x*h for h.
0
Suppose 4*j - 1 = 23. Suppose -4*q + 18 - j = 0. Solve q*n = 2*n - 5 for n.
-5
Let y be 33/(-55) + (-2)/(-10)*38. Let p = -10 - -14. Solve -1 = p*s + y for s.
-2
Let n(f) = -f**2 - 10*f + 6. Let w be n(-11). Let q be (4/w)/((-2)/5). Solve 8 = q*j - 6*j for j.
-2
Let j = -33 + 36. Solve 1 - j = p for p.
-2
Suppose b + 6*g = 3*g + 18, b - 5*g - 10 = 0. Solve p = -2*p - b for p.
-5
Let f(r) = -r**3 - 3*r**2 + 6. Let v be f(-3). Solve -v - 4 = 5*i for i.
-2
Let q(a) = 3*a**2 + 4*a + 4. Let i be q(-4). Let k be i/15 + 2/(-5). Suppose -k = 3*o - 4*o. Solve o + 3 = -c for c.
-5
Let k(s) = 3*s**2 + 2*s - 5. Let b(t) = 4*t**2 + t - 6. Let w(c) = -2*b(c) + 3*k(c). Let i be w(-5). Solve 1 = -p - i for p.
-3
Suppose 5*t - 75 = -5*q, 4*t = 3*t - 3*q + 19. Suppose 9*g + 64 = t*g. Solve 3*k + k = g for k.
4
Let i(x) = 12*x**2 - 1. Let g(u) = -u**2. Let y(t) = 5*g(t) + i(t). Let c be y(-1). Let l(f) = -f**2 + 6*f - 5. Let n be l(4). Solve -15 = n*b - c*b for b.
5
Suppose -8 = l - 5*l. Solve l*i + 10 = 2 for i.
-4
Suppose 2*n + 21 = 2*l + 3*l, 24 = 2*n + 4*l. Let k = -2 + n. Solve -3*y + 6 + 9 = k for y.
5
Let s be 1*(-1 + 0 + 1). Suppose p + 5*f + s*f = 22, 0 = 5*p - 4*f - 81. Let j = p + -7. Solve -5*v + 0*v = -j for v.
2
Suppose 3*h - 2*h = 1. Let b = h + 2. Solve -k - 16 = b*k for k.
-4
Let m be 16/9 + (-4)/(-18). Let y(x) = x**2 - 16*x + 28. Let d be y(14). Solve -m*f + 4 + 2 = d for f.
3
Suppose 2*w + 3 = -1. Let n = w - -4. Let q = 0 + 0. Solve -t = -q*t + n for t.
-2
Let i = -95 + 95. Solve -m = 1 - i for m.
-1
Let i(z) = -1. Let v(c) = c**2 - 2*c + 8. Let t(h) = 6*i(h) + v(h). Let a be t(3). Suppose -a*g = 4*y - 7 - 22, 2*g + 17 = y. Solve 0 = -4*l - 1 - y for l.
-3
Let k be (-3)/12 - (-34)/8. Solve 0 = k*y + y + 20 for y.
-4
Suppose 28 = -3*p + 8*p - 3*t, -4*p + 4*t + 24 = 0. Solve -7 - p = 4*w for w.
-3
Let d(n) = n**3 - 5*n**2 + n. Let m be d(5). Suppose -2*b + m + 25 = 0. Suppose -3 + b = 4*p. Solve 8 = i + p*i for i.
2
Suppose 0 = -0*g + 3*g + 12. Let p be g/14 - 176/(-28). Suppose 5*t - 12 = -4*z, -2*z + 0*z = t - p. Solve 0 = -z*k - 18 + 3 for k.
-5
Let m(d) = -d**2 + 8*d - 6. Let r be m(4). Let u be 0 + 1 + -19 + 24. Suppose z + z = w + u, -5*w + 5*z - r = 0. Solve -2*p - w*p = -12 for p.
3
Let l = -3 - -4. Let x = l + 1. Solve 4*g = -2 - x for g.
-1
Suppose 0 = -u - u - 42. Suppose 0 = -4*r + 46 - 18. Let p be ((-2)/3)/(r/u). Solve 3 - p = -t for t.
-1
Suppose 0*p - 2*p = 0. Let x be 6/(2 + 1) - p. Suppose 3*d + 20 = 3*j - 4, 28 = x*j - 5*d. Solve -4*k - j = -3*k for k.
-4
Let o(n) = 3*n. Let x(y) = -4*y - 1. Let d(q) = 5*o(q) + 4*x(q). Let h be d(-3). Let p be h/(-3) + (-28)/(-6). Solve -7*i = -2*i + p for i.
-1
Suppose 3*x + 5*x = 16. Solve x = -t - 1 for t.
-3
Let d be -1 + 4 - 6 - -28. Solve -3*o = 2*o + d for o.
-5
Let k be 294/77 - 4/(-22). Solve 5 = k*o + 17 for o.
-3
Suppose 3*k + 20 = -k, -4*p - 3*k - 7 = 0. Solve p*j - 6 = 2 for j.
4
Let n(z) = -3*z - 6. Let s be n(-3). Solve -3*p = s - 0 for p.
-1
Suppose 6*p + 32 = 10*p. Solve -2*a + p = -0*a for a.
4
Let b be (5 + -5)/(4 - (-6)/(-2)). Solve b = r + 3 + 2 for r.
-5
Let n = 23 - 23. Solve n = c - 1 + 6 for c.
-5
Let j(r) = -r**3 - 8*r**2 - 5*r + 17. Let x be j(-7). Suppose -2*l = 8, h + 2*l - 4 = -2*h. Suppose -2*z = 3*i + 7, h*z - i = -0*i + 7. Solve z + x = 2*k for k.
2
Suppose -3*x + 5*x + 60 = 5*m, -2*m + 45 = -5*x. Let k = -10 + m. Solve 5*t + k*t = 0 for t.
0
Suppose 12 = 70*j - 67*j. Solve -6 + 14 = j*v for v.
2
Let i(p) = -6*p. Let r be i(-1). Suppose 5*z = 4*x + 61, 2*z + 2*x - r = -x. Solve -4*a + z*a + 25 = 0 for a.
-5
Let o(n) = -n + 1. Let i be o(-4). Let r be (3/i)/((-5)/(-25)). Solve 0 = -4*m + r*m + 4 for m.
4
Let m be -1 + (-3 + 2)*-4. Suppose -4*j = -2*j - s + m, 3*j = -3*s + 9. Let g be ((-6)/(-8))/((-2)/(-8)). Solve 0*r - g*r = j for r.
0
Let u = 8 - 5. Let q = -115 + 127. Solve -u*a = -0*a - q for a.
4
Suppose 2*t - 19 = 11. Solve 0 = 3*r - 0*r + t for r.
-5
Suppose -4*c + 4*i - 19 - 13 = 0, -5*c - 38 = -3*i. Let t = c + 12. Solve -6*p = -p - t for p.
1
Suppose 0 = 2*j + 1 + 1. Let s = 2 - j. Solve 0*w = -w + s for w.
3
Let z be (2 + -2 + 0)*-1. Let a = 2 + z. Suppose -w + 4 + 0 = 0. Solve -6*o = -a*o - w for o.
1
Let l(i) = -5*i**3 + 10*i**2 - 13*i - 14. Let u(r) = 2*r**3 - 3*r**2 + 4*r + 5. Let z(n) = -3*l(n) - 8*u(n). Let p be z(-7). Solve -p = f - 2*f for f.
2
Let u(a) = 2*a - 26. Let c be u(15). Let r be -1*(1 - -1) - -4. Suppose 4*p + 6 = -5*x, 3*p - r*x - 3*x - 13 = 0. Solve c*n - p + 17 = 0 for n.
-4
Suppose 18 = -8*b + 5*b. Let x be b/36 - (-2)/12. Solve x = -2*d - 5 + 3 for d.
-1
Let v(b) = -b - 1. Let q be v(-7). Let r be 2/((-10)/5) + 6. Solve r = -q*a + a for a.
-1
Suppose 4*i - 3*i - 2 = 0. Solve -2 = i*b + 2 for b.
-2
Let h be (-1)/(((-1)/5)/1). Let o = 9 - h. Solve o*m - 16 = -0*m for m.
4
Let z = 15 - 11. Solve -z = x + 3*x for x.
-1
Let b(r) = -r**2 - 4*r + 1. Let x be b(-2). Solve -n = -6*n - x for n.
-1
Suppose 0 = -2*w - 3*j + 11 + 7, -w + 19 = 4*j. Solve 3*n = w + 3 for n.
2
Suppose 0 = -2*d - d - 2*x + 5, 2*x = 2*d. Suppose -h = h - 6. Suppose 3*y - h*w - 2*w = 31, y + 3*w + 13 = 0. Solve 0 = g - y*g - d for g.
-1
Let k(y) = y**3 + y**2 + y + 4. Let m be k(0). Suppose 0 = -t + 2 - m, 2*t - 32 = -4*n. Let o be 1*6/(n/3). Solve -o*f = -4*f for f.
0
Let a(c) = 3*c**3 - c**2. Suppose 5*y + 15 = 2*x, -3*y = -6*y + 3*x. Let o = 6 + y. Let f be a(o). Solve -n + f*n = 0 for n.
0
Let t = 10 - 8. Solve -t = z + 1 for z.
-3
Suppose -2*n = 2*n + 4. Let u = n + 2. Solve d + 3 = u for d.
-2
Let u(d) = d + 7. Let w(b) = -b**2 - 4*b - 1. Let n be w(-5). Let p be u(n). Solve 3*l - p = 2*l for l.
1
Let t(l) = -l**3 - 5*l**2 + 5*l - 3. Let z be t(-6). Suppose z = -4*w - 3*k, -2*w + 6*w - k - 1 = 0. Solve w = -6*p + 5*p - 5 for p.
-5
Let j = 3 + -2. Suppose -4*p + 3*x = -141, -2*p + 3*x = x - 72. Suppose 0 = 2*v + v - p. Solve v + j = -4*h for h.
-3
Suppose 3*g = 5*g + 4. Let a(v) = -v**3 - v**2 - 2*v - 3. Let w be a(g). Solve -w = -2*d + 5 for d.
5
Suppose 5*b - 8 = 7. Solve 2*a - 4 = b*a for a.
-4
Suppose -4*m - 46 + 10 = 0. Let h = -7 - m. Let b be -1 + 1/((-1)/(-3)). Solve l = h*l - b for l.
2
Let m be 17 - 3 - (4 + -6). Let c be (-1)/((4/m)/(-1)). Solve -c*r - 5 = r for r.
-1
Let r be (-2 - -4)/(4/10). Let b be (1/3)/((-2)/(-24)). Let g be 4*(6/b - -1). Solve 0 = r*m + g for m.
-2
Let d(a) = 3*a**2 + 4*a + 2. Let u be d(-2). Solve 0*f - 3*f = -u for f.
2
Suppose -10 = -4*u + 2. Let s be (-2)/u*(-18)/4. Solve -20 + 8 = s*x for x.
-4
Let z = -3 + 6. Let b = -1 + z. Solve 0*h = b*h - 2 for h.
1
Suppose y = 3*v - 10, -4*y = y - v - 6. Let s be y*1/(-2) + 2. Solve 4*c + s = -19 for c.
-5
Let j be (-18)/(-153) - (-2)/(-17). Solve 5*v = -j*v - 20 for v.
-4
Let v be 12/5 - 2/5. Suppose 2*y + v*y - 44 = 0. Solve 4*h + y - 3 = 0 for h.
-2
Let q be -1 - (-3)/(-2)*-2. Suppose -4*u - 6*u + 2*u = 0. Solve u = q*p - p for p.
0
Suppose -9*b = -13*b + 8. Let t = 40 + -25. Solve b*f + f = -t for f.
-5
Let 