(-6)). Let u = a - h. Solve 3*q + u + 7 = 0 for q.
-3
Let m(h) = h**3 + 12*h**2 - 13*h + 4. Let j be m(-13). Let y(n) = -n + 4. Let r be y(j). Solve r*b - 2*b = -8 for b.
4
Let l be 0/(5 + -2 - 2). Suppose l = d + 3*d - 32. Solve -3*a = a + d for a.
-2
Let w = -38 - -39. Solve -f = -w - 1 for f.
2
Let n(f) = -f - 7. Let i be n(-12). Solve -a = i - 2 for a.
-3
Let s(w) = 2 - 4 - w + 15. Let f be s(11). Solve -2*v + f = -6 for v.
4
Suppose 0 = -3*w + 5*v - 2, v = -3*w - 0*v + 22. Solve -w = n + n for n.
-3
Suppose 6*o = 3*s + 3*o - 33, -3*s - o + 37 = 0. Solve -q = 3*q - s for q.
3
Suppose -k + 2*p + 10 = 2*k, -5*k + 4*p = -20. Let u be (0 - (0 - k))/1. Solve r + r = u for r.
0
Let b(o) = -2*o + 2. Let x be b(-2). Let m = -5 - -13. Suppose -m - x = -w. Solve 6 = -4*t - w for t.
-5
Let z be 6/4 + (-12)/(-8). Let y be -2 + 2 - -5 - 0. Solve 0 = z*t - y*t for t.
0
Let u(h) = -h**3 + 10*h**2 + 2. Let b be u(10). Solve b*k = -2*k for k.
0
Let u(w) = -w**2 + 6*w - 4. Let g be u(5). Suppose -3*v - 4*z = -8, 5*z = -2*v - g + 11. Solve -4*d = -v + 4 for d.
-1
Let u = -1 + -3. Let t(s) = s**3 + 5*s**2 + 4*s. Let l be t(u). Solve l = -y - 3*y - 20 for y.
-5
Suppose 0*p = -3*p - 9. Let t(r) = -r**3 + 5*r**2 + 4*r + 7. Let g be t(6). Let f = p - g. Solve -f*s = 3 - 1 for s.
-1
Let o(m) = -m**2 + 6*m - 5. Let d be o(4). Suppose 0*n + 8 = 3*n + 4*h, d*h - 6 = -n. Solve n = -7*j + 4*j for j.
0
Let p = 2 - -4. Solve -z = -p*z - 25 for z.
-5
Let t(g) = 10*g + 1. Let f be t(-2). Let v = f - -31. Solve -w - 2*w - v = 0 for w.
-4
Let d(k) = k**2 - 6*k - 6. Let q be d(7). Let l = q + 2. Suppose -3 = -2*m + l. Solve -m*i - 1 = -4*i for i.
1
Let w = 23 - 17. Solve -i + w*i = 25 for i.
5
Let b(r) = r**3 - 6*r**2 - 4*r + 4. Let c be b(7). Suppose 2*w - w - c = 0. Suppose 0 = 2*y + 3*y - w. Solve 5*m = 4*m - y for m.
-5
Suppose 0 = 2*u + 3*z + 2 - 14, 4*u = 5*z + 2. Let i = u + 1. Solve -9 = -i*o + 7 for o.
4
Let l(y) = -y + 5. Let j be l(6). Let m = 1 + j. Solve 8 = -2*q - m*q for q.
-4
Let h(m) = 3*m + 111. Let n be h(-35). Solve -z - z = n for z.
-3
Let c(l) = 2*l - 6. Suppose -4*b - w + 18 = -2*w, 3*b + 5*w - 25 = 0. Let z be c(b). Solve 0 = z*a + 4 + 16 for a.
-5
Suppose -4*q = -7*q. Solve 3 + q = 3*b for b.
1
Let c = 166 - 163. Solve -k + 2 = -c for k.
5
Let q be -3*2/(-12)*36. Let n be (-2)/9 - (-22)/q. Let c be (-4)/18 + (-38)/(-9). Solve c*k = n + 3 for k.
1
Let m(s) = s + 12. Let n be m(-12). Solve n = -7*c + 2*c - 10 for c.
-2
Let t = 2 + 1. Suppose 4*w - 24 = -4*p, -5*w + 15 + 15 = -5*p. Let s be t/(-9) + 32/w. Solve 3 = -s*a - 17 for a.
-4
Let n be -2*(0 - -1)*-1. Suppose -j = n*j - 45. Suppose -3*x + j = 2*x. Solve -11 = x*s + 4 for s.
-5
Suppose -7*w + 2*w - 50 = -5*i, 22 = 3*i + 5*w. Let n be 29/i + 10/(-45). Solve n*f - 2 = 1 for f.
1
Let z(n) = n**3 + 7*n**2 + 6*n + 5. Let y be z(-6). Let p be -1 + 0 + -2 + 5. Suppose -g = p*v - 3*v + 4, -5*g - 2*v = -15. Solve -2*w + y = -g for w.
3
Suppose -5*x + 17 = 7. Solve 2*r + x = -0 for r.
-1
Let o = -6 + 11. Solve o = -a - 0 for a.
-5
Let q(f) = 4*f**3 - 4*f**2 - 7*f + 2. Let t(r) = r**3 - r. Let x(i) = -q(i) + 5*t(i). Let p be x(-2). Solve a - 3 - p = 0 for a.
5
Let x be 5/(-2 + 10/4). Suppose 4*g - x = 10. Solve 9 + 6 = g*h for h.
3
Suppose 0 = -4*h + 29 - 13. Solve -6 = h*w - w for w.
-2
Let q(h) = -20*h**3 - h**2 - h. Let r be q(-1). Let o = -16 + r. Solve 1 = 3*b + o for b.
-1
Suppose 3*f - 5*c = 6, 0 = 2*f - 2*c + c - 4. Let j(i) = i**3 - 2*i**2. Suppose n + 5*b + 23 = 0, 3*b - 4 = -n - 17. Let x be j(n). Solve -f*u = -x - 8 for u.
4
Let q(h) = h + 1. Let s be q(2). Solve -3 = -s*p + 6*p for p.
-1
Let z be 3*(-7)/(84/(-8)). Solve z*s - 8 = -0 for s.
4
Suppose y = 3*r - 0*y + 7, -8 = 4*y. Let b be (r/5)/(3/(-30)). Let a = b - 2. Solve -a = p + 3*p for p.
-1
Let g = -41 - -61. Solve -2*t = 2*t + g for t.
-5
Let f(d) = 5*d. Let x be f(-1). Let o = -2 - x. Solve 0*u = u + o for u.
-3
Suppose 4*o - 3*i = -8*i + 27, -5*o = -3*i - 6. Solve -o*a - 8 = 4 for a.
-4
Suppose -3*u - 5*d = -6, 2*d = -3*u + 2 + 4. Solve u = -4*r + 5*r for r.
2
Suppose 5*l + 2*l - 84 = 0. Solve 5*p = 3 + l for p.
3
Let t(c) = 7*c - 3. Let x be t(2). Let g = 17 - x. Solve d - g*d = -15 for d.
3
Let p = -1 + 0. Let k = p - 3. Let c(t) = t + 5. Let g be c(k). Solve -2*u - 3 = g for u.
-2
Suppose -2 = -0*z - z. Suppose -3*n = -z*n - 3. Solve n = 2*h + h for h.
1
Suppose 0*d + 3*d = 21. Let m(g) = g**2 - 6*g - 7. Let n be m(d). Solve 2*v - 1 + 5 = n for v.
-2
Let f(q) = q - 2. Let u be f(13). Let d = u - 5. Solve -3*k = -k + d for k.
-3
Let d(q) = q**3 + 5*q**2 + 3*q - 3. Let a be d(-4). Let b = a + 1. Let n = -4 - -6. Solve -n*c - 4 = b*c for c.
-1
Suppose 7 = 5*p - 8. Solve p = -2*k + 9 for k.
3
Let q = 338 - 186. Suppose 2*y - q = -2*y. Solve 5*f - y + 13 = 0 for f.
5
Suppose -3*v - 4*n + 6 = -3*n, 4 = 2*v + 4*n. Solve -v*i = -3*i + 5 for i.
5
Let p = 101 - 60. Solve -16 = -5*n - p for n.
-5
Let p be 9/2 + 1/(-2). Solve p = n + n for n.
2
Let y = 4 + 0. Let v = 5 - y. Let x be -18*v/2*-1. Solve -x = 4*f - 1 for f.
-2
Let x = 4 - 7. Let c = x - -6. Suppose 5*o - 4*y + 1 - 47 = 0, -y - 16 = -2*o. Solve -6*u + c*u + o = 0 for u.
2
Suppose 2*o = 4*g + 14, 0 = -0*o - 3*o + 2*g + 17. Solve o = -l + 4 for l.
-1
Suppose -g = 3*j - 5, j - 11 = -2*g - 3*g. Solve 0 = -o + 3*o - g for o.
1
Let t(p) = p**3 - 12*p**2 + 19*p + 22. Let w be t(10). Let a(m) = -5*m + 2. Let j be a(-2). Suppose -h + 4*h - j = 0. Solve 0 = -h*l - 4 + w for l.
2
Let b be (-2)/((-3)/15 - 0). Suppose 0 = -5*c + 5 + b. Solve c = -3*j - 3 for j.
-2
Let z = 2 - 2. Let r be 1*4 + -1 + 1. Suppose -55*g + 97 + 563 = 0. Solve z = r*p - g for p.
3
Suppose -k + 6 = -0*k + 2*x, 0 = -k + 3*x - 9. Suppose 6 = -2*s + p - 4*p, 2*s + 4*p = -10. Solve k*i - i + s = 0 for i.
3
Let q be 152/(-24)*(-1 + -2). Suppose 0 = 2*g + 3*g. Let i(c) = -c**3 + c**2. Let u be i(g). Solve u = -4*l + 1 + q for l.
5
Suppose i - 6*i - 19 = -d, 0 = -5*d + 3*i + 51. Let s = d + -10. Let w be (3 + (-2 - 1))/s. Solve 3*c - c = w for c.
0
Let d(v) = -4*v**2 - 4*v + 2*v**3 - v**2 - v**3. Let b be d(6). Solve -5*r - b = 8 for r.
-4
Let d(c) = -2*c - 10. Let x be d(-11). Solve 5*a - a = x for a.
3
Let a(b) = -b**3 + 7*b**2 - 4*b - 12. Let d be a(6). Solve -k = -d*k + 2 for k.
-2
Let r be (0 + -5)/((-3)/6*5). Solve 3 - 1 = r*u for u.
1
Let i be 20/8*8/10. Solve 3 = -5*v - i for v.
-1
Suppose -6 = -2*f + 26. Suppose f = 8*a - 6*a. Solve -a*y + 3*y = -25 for y.
5
Let r = -1 + 4. Suppose 0*c + c + 8 = 3*o, 0 = -r*c + 2*o + 4. Solve -5 = c*t + 3 for t.
-2
Let g be 4 - (-2)/(-1) - 0. Suppose 0 = -2*c - g - 0. Let a(y) = y + 1. Let i be a(c). Solve -4*q + 16 = -i for q.
4
Let l = 8 - -7. Let f = l - 10. Suppose -2*o = 3*o - f. Solve -o - 3 = a for a.
-4
Let k = -34 + 64. Suppose 5*r + 3*x = -39 - k, -3*r - 35 = 5*x. Let c be r/5 - 12/(-2). Solve -17 = 4*j + c for j.
-5
Suppose f - 10 - 3 = -3*c, 5*f - 29 = -3*c. Suppose -2*r - f = -y, 3*y + 2 - 14 = 4*r. Solve 0 = u - y + 9 for u.
-5
Let m be 1/(-4) + 27/12. Suppose 7*x + 3 = 17. Solve m*d = -x*d - 12 for d.
-3
Let f = 1 - 3. Let b be (3/3*f)/1. Let t be 1*(1 - (b + 2)). Solve a = -t - 1 for a.
-2
Let s = -4 + -1. Let c(r) = -r**2 - 5*r + 3. Let d be c(s). Let n be (5/d)/(1/3). Solve n*v + 3 = -17 for v.
-4
Let k(r) = -r**3 + r**2 - r + 1. Suppose -o + 0 = -1. Let j be k(o). Solve -8 = 4*z - j for z.
-2
Let k = -8 - -12. Suppose -z - k*v = -5*z + 16, 0 = 2*z + 2*v. Suppose 8 + 7 = 5*y. Solve -z*w = w + y for w.
-1
Suppose -2 = -2*q + 4. Suppose q = 2*b + b. Solve -4*i + b = 9 for i.
-2
Let s(l) = l**3 + 11*l**2 + l + 16. Let z be s(-11). Solve 3*w + 2 = z for w.
1
Suppose 7*d - 5*d = 10. Suppose 2*s - d = s. Solve -4*q - 21 = -s for q.
-4
Let p be 3/(7 + -4) - (-1 + -2). Solve p*u + 6 + 2 = 0 for u.
-2
Let l(k) = 2*k + 7. Let r be (-20)/(-12)*-3*1. Let t be l(r). Let u(v) = v**3 + 3*v**2 - v - 3. Let x be u(t). Solve -1 = -x*d - d for d.
1
Let i be (0 + 3)/3*3. Solve 5 = 8*g - i*g for g.
1
Suppose 39 = -3*p - 3*z + 7*z, 2*p + 3 = -5*z. Let l be (-45)/p + 0/(-1). Solve l*h = h + 16 for h.
4
Let v = -38 - -47. Solve -v*r - 4 = -13*r for r.
1
Suppose 5*y - 27 = 63. Let t = y - 16. Solve 3*d + t = d for d.
-1
Let m = -73 + 78. Suppose -2*f - f + 21 = 0. Solve -3 - f = m*d for 