
Let z(q) = -9*q**3 - 2*q**2 + 1. Let v be z(-1). Suppose 2*b = -l + v, 5*b + 5*l = b + 22. Solve 0*t - t - b = 0 for t.
-3
Let v = 106 + -104. Let k be ((-6)/5)/((-4)/10). Solve -v*p = 3 + k for p.
-3
Let k = 2 - -1. Suppose k*p = -0*p + 3*q - 12, 16 = p + 4*q. Solve p = 3*l - 6 for l.
2
Let z(s) = -s**3 + 9*s**2 - 7*s - 1. Let o be z(8). Let w be -2 - (-1 - -1 - o). Suppose 20 = -4*k + 5*c, 3*k = -w*c + 25 - 5. Solve k = -2*v + 3 + 3 for v.
3
Suppose 3*c + 5*i - 30 = 0, 3*i - 19 = -2*c + 1. Suppose -2*n = -3*o - c, -4*n + n + 3*o = -18. Solve -3*z - 25 = -n*z for z.
5
Let k be (-2)/3 - 148/(-6). Let p = -40 + k. Let a be 4/p - 2/(-8). Solve -2*x - 9 - 1 = a for x.
-5
Suppose -2*w + x = 3*w - 5, 5*x = 4*w + 17. Solve w*s = 4*s - 8 for s.
4
Let z(l) = 7. Let v(k) = k + 15. Let s(h) = -3*v(h) + 5*z(h). Let w be s(-4). Let t(u) = u**3 - 6*u**2 + 5*u + 3. Let i be t(5). Solve i*d - d = -w for d.
-1
Let q(v) = v**2 - 6*v + 3. Let l be q(6). Suppose -l*h + 97 = 31. Solve -5*s + 2 = h for s.
-4
Let m(k) = k**2 - 13*k - 10. Let s be m(15). Suppose -t - s = -4*w, 5*w = -2*t + 11 + 1. Solve -2*n - 2*n = -w for n.
1
Suppose 63 = -3*u + 10*u. Solve 5*h + 1 = -u for h.
-2
Suppose -2*k = -5*k + 15. Suppose 2*a + 18 = r, -2*a + 0*a = 4*r - 22. Let g = r - k. Solve 0 = -g*f - f + 8 for f.
2
Suppose 5*z - 12 = 2*z. Let h = -12 - -17. Solve 15 = z*j - h for j.
5
Let b be (-6)/(-4)*(-2 - 8). Let a be (4/(-5))/(2/b). Solve -25 = -h + a*h for h.
-5
Suppose -2*q - 1 = -9. Solve -2*d - q = 6 for d.
-5
Let x be 2*(-2 + 4)*4. Solve -3*j = x - 7 for j.
-3
Suppose 4*c - 15 = -2*g - 3*g, 3 = -3*g. Solve 3*s = 4 + c for s.
3
Let m = -12 + 17. Solve m*o = -0*o - 15 for o.
-3
Let x = -13 + 19. Solve 0 = x*p - 11*p for p.
0
Let i(k) = -k**2 + k + 2. Let j be i(-1). Solve u + u + 10 = j for u.
-5
Let l(t) = t**3 - 4*t. Let y be l(-2). Suppose -u = -y*u - 5. Solve -s + 16 = -u*s for s.
-4
Suppose 3 = o - 1. Let q be (-1)/o + (-117)/(-36). Solve -5*x + q - 18 = 0 for x.
-3
Let k be (18/(-2))/(1 + -2). Solve -4*r + 7 = -k for r.
4
Let v be 2*(-3)/27 + (-33)/(-27). Solve 11 = -3*r - v for r.
-4
Let g(v) = 2*v**2 - 4*v + 3. Let a be g(2). Suppose 0 = -a*c - 2*c. Solve t + 4 = -c*t for t.
-4
Let a be (-3 - -1)*-1 + 17. Suppose -5*j - 4 = -a. Solve -j + 1 = -2*p for p.
1
Let a be 18*(-1 + (-8)/(-6)). Let k be 6*a/9*1. Solve -5 + 17 = k*m for m.
3
Let i(r) = -r**2 - 20*r + 3. Let p be i(-20). Solve -7*f = -p*f for f.
0
Suppose -3*y + 90 = -3*v, -3*v + 5*y - 123 = v. Let s = -24 - v. Solve 0 = -s*c - 3 + 9 for c.
2
Let i(u) = u**2 - 39. Let n be i(7). Solve 0 = 3*y + 2*y + n for y.
-2
Let b = 17 - 2. Solve 0*m + 3*m - b = 0 for m.
5
Let k be 1*5 + 0 + -2. Suppose -5*j + 6*v + 2 = 3*v, -3 = -3*v. Let a be (3 - j) + 6 + 1. Solve 0*z = -k*z - a for z.
-3
Suppose -8 = -j - 3. Solve 3*r - j*r = 4 for r.
-2
Let f(y) = -y**3 + 9*y**2 - 8*y + 9. Let b be f(8). Suppose -3*a + b = 0, 0*w + 3*a = -w + 11. Solve -1 = w*h - h for h.
-1
Suppose a = 10 + 2. Suppose 0 = -3*z + z + a. Suppose 0 = -3*b + 3 + z. Solve 0 = -h - 5 + b for h.
-2
Let l be (-6)/(-4)*(112/21 + -2). Solve l*a - 9*a = 12 for a.
-3
Suppose 4*f - 2*j + 7*j = 27, -2*f = 4*j - 18. Let g be ((-16)/2)/(-2 + 0). Suppose -8 = -k - g. Solve f*s - k = s for s.
2
Let w = 44 + -30. Let i be w/(-63) - (-33)/27. Solve -2*z + 3 = i for z.
1
Let n(a) = -a. Let c be n(-4). Let g = -21 + 31. Solve c*h - 2*h = g for h.
5
Let n(t) = -t**2 - 14*t - 1. Let p be n(-13). Suppose -p = -v - v. Solve -w - w = -v for w.
3
Suppose -r - 3*w = -6*r + 15, -r + 20 = -4*w. Solve 2 = c - r for c.
2
Let w = -158 + 159. Solve 0*f = -f + w for f.
1
Let p(v) = 12*v**2 - 1. Let g be p(-1). Solve -3*w + 1 + g = 0 for w.
4
Let l(v) = v**2 + 6*v + 7. Suppose -211 = -4*t - 51. Suppose 5*w = -t + 15. Let j be l(w). Solve -2 = -0*b + j*b for b.
-1
Suppose -2*h = -2*k + 16, 0*h + 5*h = -k - 16. Solve 0*p + k*p = -20 for p.
-5
Let j be (-1 + (-6)/4)/((-3)/6). Solve -14*o - j = -9*o for o.
-1
Let s be 16 + -15 + 1 + -2. Solve -a = -s*a - 4 for a.
4
Suppose q + 9 = n, 6*q + 5*n - 13 = 3*q. Let i be (q/(-3))/(2/9). Solve 2*p + i = 14 for p.
4
Let t(u) = u**2 + 15*u - 11. Let m be t(-16). Solve 4*s = m - 25 for s.
-5
Let v = 31 - 10. Let p = -16 + v. Solve 0*s + p*s = 5 for s.
1
Let f(p) = 3*p**3 + p**2 + 6*p. Let n(x) = -4*x**3 - 2*x**2 - 7*x + 1. Let s(o) = 5*f(o) + 4*n(o). Let b be s(-4). Solve 0 = k + 3*k + b for k.
-3
Let r(k) = -k**3 - k**2 + 2*k. Let a be r(-3). Let z = a - -1. Solve -5*f - 7 - z = 0 for f.
-4
Let w be 2 - 1*(-1 - 0). Suppose j + 12 = w*j. Let k be (-2)/j*(-18)/2. Solve 0 = 4*s + k + 5 for s.
-2
Let b(k) = -13*k - 2. Let c be b(-4). Let x be (8/(-10))/((-2)/c). Suppose 3*a = 5*o + x, 0 = 5*a + o + 4*o + 20. Solve 3*d + 9 + 6 = a for d.
-5
Suppose -2*k - 4*l = -4*k + 48, 3*l - 81 = -5*k. Suppose 3*m = -3*n + k, 0*m - 2*m = -2*n + 4. Suppose m*s = 8 - 0. Solve -q - 2 = -s for q.
2
Let m = -54 - -33. Let l = m - -24. Solve -l*c = c for c.
0
Let p be (3 + -4)*(0 - 0). Suppose 4*y - 11 - 1 = 0. Solve v - y + 1 = p for v.
2
Suppose -2*i - 3*c = -0*c - 6, 0 = -5*i - 3*c + 6. Solve -3*z - 3 - 3 = i for z.
-2
Let r = -9 - -10. Solve 0*u = u - r for u.
1
Let c(i) = -8*i**3 - i**2 + 1. Let v be c(-1). Let l be 1/(1 - (-102)/(-99)). Let o be 2/8 + l/(-12). Solve -o*m + v*m = 0 for m.
0
Let x(y) = y**3 + 10*y**2 + 9*y - 11. Let l be x(-8). Suppose 5*m = 5 + l. Suppose -3*c + m = -2*z, 4*c + c + 20 = -4*z. Solve c*t + 4 = -t for t.
-4
Let k be 4*1/2 + 0. Let f = 1 - 3. Let u be 3*((-10)/f + 0). Solve -3*x - k*x = -u for x.
3
Let y(b) = b**3 + 10*b**2 - 2*b - 14. Let x be y(-10). Solve -3*h = -0*h - x for h.
2
Suppose -7*u = -3*u. Solve 2*x + x = u for x.
0
Let q be (-5)/(-2)*(7 - 5). Suppose u + u = -4*s, 0 = -s + q*u. Solve s = -r + 4*r + 9 for r.
-3
Suppose -4*u = r + r + 4, -r - 1 = 3*u. Suppose 0 = 2*t + 1 - 7. Let f be (3*1/t)/u. Solve -5*x = f + 9 for x.
-2
Let r = 3 + -2. Let i(l) = -l**3 - 2*l**2 + l + 3. Let m be i(-3). Suppose m*n - 4*n = 70. Solve r = 3*d - n for d.
5
Let o be ((-6)/1)/(3/(-2)). Suppose -o*y = -18 - 10. Solve 1 - y = -2*c for c.
3
Let v = -1 + -2. Let z be 2 + -2 - 7*v. Solve 3*g - z = -6 for g.
5
Let s(w) = -w**2 + 10*w + 3. Let l be s(8). Let v = 27 - l. Solve 0*y = -4*y - v for y.
-2
Suppose -a + 0*a = -10. Solve -5*l - 20 = -a*l for l.
4
Let v = 133 + -133. Solve 3*u + 7 + 5 = v for u.
-4
Let q be (-8)/(-44) - 27/(-33). Solve 1 = g - q for g.
2
Let o = -21 + 17. Let b(a) = -5*a - 7. Let k be b(o). Solve k - 1 = -4*c for c.
-3
Suppose -4*u - 2 = -2*b + 10, 5*u + 9 = 4*b. Let p = u - -8. Solve p*h - 19 = -4 for h.
5
Let u be (36/14)/(((-20)/(-28))/5). Solve 2 - u = -4*l for l.
4
Suppose x - 2*t - 4 = -0*t, 3*x - 6 = 3*t. Let v be (-4)/((-3)/(-6)*-1). Suppose 3*c = v*c - 20. Solve x = -i - i - c for i.
-2
Let r(a) = -3*a - 8. Let t be r(-4). Solve 0 = 2*q - 4*q - t for q.
-2
Let p = 1 - 1. Suppose 5*a - 20 + 5 = p. Solve j - 2*j = a for j.
-3
Let h(w) = w**3 + 7*w**2 - 16*w - 64. Let d be h(-8). Solve d = 2*x - 5*x + 12 for x.
4
Let d(h) = -h**3 + 9*h**2 + 10*h + 6. Let x be d(10). Solve x = 5*u - 2*u for u.
2
Suppose -15 = c - 20. Solve -c*n + 0 + 20 = 0 for n.
4
Let v be (-2)/(-3) - (-3)/9. Let l = 4 - v. Suppose -l*q + 24 = 9. Solve -r - q = -6*r for r.
1
Let z(n) = 4 - 2 + 11*n**2 - 7*n**3 - 12*n + 8*n**3. Let h be z(-12). Solve -2*m - h*m = 0 for m.
0
Let o(j) = -j**3 + 5*j**2 - 3*j. Let m be o(4). Suppose 0 = -m*f + 9 - 1. Solve 0 = f*x + 5 - 3 for x.
-1
Suppose -x = -3*x + 4. Solve x*k - k = 0 for k.
0
Let x be 4/(-4) - 2/1. Let o be ((-2)/x)/(3/9). Solve o*t + 25 = -3*t for t.
-5
Let k = -21 + 21. Solve k = -m - 0*m + 3 for m.
3
Let k be (-25)/(-2) - 7/14. Solve k = -0*f - 4*f for f.
-3
Let v(k) = k**2 - 2*k + 2. Let j be v(3). Let r(x) = -2*x - 5 + j. Let w be r(-1). Solve w*c + 12 = -2*c for c.
-3
Let a = -219 - -221. Let d = 17 - 11. Suppose 2*l - 6 = d. Solve l = -0*t - a*t for t.
-3
Suppose 0 = 5*h - 7 - 13. Suppose -h*u - 2 = q - 14, -3*q = 3*u - 18. Solve u*l = -0*l for l.
0
Suppose -2*r - 3 = -5*b, 3*r - 4 = 2*b - 3*b. Let d be 22/8 - b/(-4). Solve 3*p - d = -0*p for p.
1
Suppose 5*x + 3 = -2*r, -r + 6*x - x = 9. Let h = r + 6. Solve 0 = -0*q + h*q for q.
0
Let w(v) = -v**2 + 5*v + 1. Let x be w(4). Suppose -21 = -x*c 