Suppose 5*i = 6*i - 15. Suppose 3*z - 4*a - 6 = 0, -4*z + 5*a = -i + 7. Solve z*y = -0*y - 6 for y.
-3
Suppose -2*o + 60 = -4*n, -n = 3*o + n - 82. Suppose 4*q + 14 + 9 = 3*z, -4*z - o = 2*q. Let m be 15/6*q/(-5). Solve m*j = 10 + 6 for j.
4
Let g(l) = l**2 - 6*l + 2 + 0 + 5*l. Let n be g(2). Solve -n*v = 3 + 5 for v.
-2
Let m = -167 + 182. Solve h + m = 4*h for h.
5
Let d be (-4 - 1*-2) + 0. Let q be 22 + (0 + d)/1. Suppose -5*v = -5*r + q, 6*v - v - 16 = -r. Solve u = -u - r for u.
-3
Let d = -1 + 5. Suppose -3*j = 5*z - 61, 4*j - 31 = -4*z + 37. Solve -j = d*p - p for p.
-4
Suppose -j = 2 - 5. Suppose 0*o - j*o = 0. Solve o*z = -4*z - 8 for z.
-2
Suppose 4*c = 9*c - 15. Solve -q + 0 = c for q.
-3
Suppose 0 = -g - 2*g + 57. Suppose 104 - g = 5*c. Let r(u) = -u**3 + 4*u**2 + 2*u - 5. Let h be r(4). Solve -h*z + c = 2 for z.
5
Suppose -2*q + 5 = 3*q. Let m be (-3)/(-3)*4 + q. Suppose x + 10 = -m*o + 6*x, o + 3*x = 10. Solve -2 = y + o for y.
-3
Let g = 12 + -7. Let h = -11 - -15. Solve -h = g*l + 6 for l.
-2
Let v be (11 + -8)*(-2)/(-3). Solve 0*c = 2*c - v for c.
1
Suppose -3 = 7*p - 3. Solve p - 4 = 2*c for c.
-2
Let m(c) = -c**3 + 4*c + 3. Let g be m(-2). Solve 3 = -2*i - g for i.
-3
Suppose -3*q = -4 - 8. Let p be q/(-14) - (-90)/21. Let r be 14/p*8/14. Solve 6*n = r*n for n.
0
Let r be (-3)/(9/(-6)*1). Solve 3*s = s - r for s.
-1
Let f = 2 + -7. Let u = 7 + f. Solve -3*k - u*k = 0 for k.
0
Suppose 2*z - 3*i + 1 = 0, -2*i + 10 = 5*z + 3. Suppose -7 = -4*b + z. Suppose 2*d = 3*f + 7, -3*d + 10 = -b*d + 5*f. Solve -d*n - 25 = -0*n for n.
-5
Suppose g - 20 = -g. Suppose 0 = -4*q + 6*q - g. Solve r - q = -0*r for r.
5
Let t(i) = -i - 8. Let b be t(-8). Suppose -5*f + 2*c + 11 = b, f + 2*c - 2 = 5. Let p = 2 - 2. Solve f*h = -p*h for h.
0
Suppose q + q = -84. Let s be 6/q + (-174)/7. Let l = -16 - s. Solve -l - 3 = -4*k for k.
3
Let y = 2 - 0. Suppose y*z - 33 = -z. Let l = -8 + z. Solve 3*d + 0 = l for d.
1
Let c be (0 - 0/1)/(-2). Suppose -2*a - 4*x = a - 67, -3*a = -5*x - 85. Solve -4*d - d - a = c for d.
-5
Let f = -15 + 20. Solve -t + f = -6*t for t.
-1
Let p = -6 + 9. Suppose -p*j = -1 - 5. Let m = 15 + -5. Solve 3*t = -j*t + m for t.
2
Let t(m) = -m + 1. Let y be t(-3). Solve 0 = 2*n + 2*n + y for n.
-1
Suppose 0 = -2*d - 0 + 12. Let k be (-2)/d + (-20)/(-6). Suppose -4*f = -5*g - 25, f + 0*g + 2*g = k. Solve -2*c - 3 = -f*c for c.
1
Suppose -3*t - 9 = -12. Solve c - 3 - t = 0 for c.
4
Suppose 0*w = 4*n - 5*w + 7, 0 = -4*n - w + 11. Solve n*r - 16 = 6*r for r.
-4
Suppose 4*z = 2*q - 9 - 15, 12 = 3*z. Solve 5 = 5*t - q for t.
5
Let o = 5 + -2. Suppose -r = -18 + 6. Suppose -o*l = 3*j - r, -4*j + 3*l = 11 + 1. Solve j = 4*d - 11 - 5 for d.
4
Suppose s + 4*s + 25 = 0. Let v be 16/20 + (-1)/s. Solve 3 = -2*z - v for z.
-2
Let a = 7 + -11. Let m be a/(-6) - (-30)/9. Suppose -4*r = m*d + d + 20, 0 = -4*r - 3*d - 12. Solve -3*w = -r*w for w.
0
Let q(t) = -t**3 + 6*t**2 - 5*t + 4. Let n be (-46)/(-10) - 8/(-20). Let r be q(n). Solve 4 = -r*s - 12 for s.
-4
Let p be (-4)/8 - (-1)/(-2). Let x be (-2 + 26)*p/(-2). Solve -4*o - x = -4 for o.
-2
Let w = -6 - -9. Let x = w - -2. Solve x = r + 1 for r.
4
Let w be 2/8 - 19/(-4). Solve w*j = -9 - 1 for j.
-2
Suppose -5 = v - 5*n + 11, 0 = 2*v - 2*n. Solve -8 - 4 = -v*l for l.
3
Let s(a) = -a + 1. Let t be s(-4). Suppose t*y - h + 2*h - 25 = 0, -h = 5. Solve y*g + 5 = g for g.
-1
Let n = 10 + -6. Suppose 7 = n*t - 5. Solve -t*d + 2*d - 3 = 0 for d.
-3
Let c(y) = -2*y**2 - 1. Let o be 3 + -3 - (0 + -1). Let w be c(o). Let j be 10/w*6/(-5). Solve -j + 1 = -r for r.
3
Let i be -1 + 20 + (0 - 1). Suppose -2*u - i + 5 = -3*k, 0 = -k + 3*u + 9. Solve -3*m - k = -9 for m.
2
Let r = 18 + -8. Let z = -5 + r. Suppose -4*o = -z*m + 5, -4*m + 2*o + 35 = 5*o. Solve m*y + 20 = y for y.
-5
Let w be 6*(12/2)/3. Let t(k) = k**2 - 7*k - 8. Let h be t(8). Suppose 2*i - w - 19 = -m, h = -5*m + 5. Solve i = -z + 6*z for z.
3
Let g(k) be the first derivative of -k**2/2 - 1. Let j be g(2). Let i be (1 - 1)*(-3 - j). Solve i = 4*z + 4 - 12 for z.
2
Let g be (1 + 5)*18/27. Solve 0 = g*z - 0*z + 12 for z.
-3
Let o be (((2 + -2)/(-2))/2)/2. Solve o = w - 2*w + 3 for w.
3
Let g = 8 + -6. Suppose 0 = -3*y - 5*b + 2 + g, 0 = 3*y + b - 8. Suppose 0 = 3*w - 12 - y. Solve -h = -0*h - w for h.
5
Let y(c) = c**3 - 2*c**2 - 2*c. Let u be y(3). Solve -3*h = u - 12 for h.
3
Let f be -1*((-2 - -2) + 1). Let h be (0 - f)/((-3)/6). Let i(k) = k + 2. Let d be i(h). Solve 5*o + 2 - 7 = d for o.
1
Suppose 0 = -5*v - 2*g + 28, -5*g = 2*v - 4*g - 11. Suppose 4*m = 3*o + 2*o, 0 = 4*o. Solve m = a - v*a for a.
0
Let a(i) = 0*i - i**3 + 2*i**3 + 3*i**2 + 0*i. Let y be a(-3). Suppose -4*f - m + 14 = -3*m, y = -m - 3. Solve -2*v = f*v + 12 for v.
-3
Let a = 18 + -10. Solve -5*y + a + 2 = 0 for y.
2
Let w = -19 + 21. Solve -w + 10 = 2*v for v.
4
Suppose -15 - 35 = -5*x. Suppose 4*v = x - 2. Suppose -2*c + 6 - v = 0. Solve 0*r = c*r - 6 for r.
3
Let y = 38 + -38. Solve -4*d + d + 3 = y for d.
1
Let k(s) = -2*s**2 - 7*s + 1. Let p be k(-5). Let b = 20 + p. Solve -10 = -4*z + b for z.
4
Let w(f) = -15*f. Let a be w(-1). Let p(b) = -b**3 + 15*b**2 - b + 16. Let v be p(a). Solve 0 = -3*u - 2 - v for u.
-1
Let z = -13 + 18. Let i = -3 + z. Suppose 3*u + 4*s + 2 - 3 = 0, 3*u = -3*s + 3. Solve u*p = -i*p + 15 for p.
3
Suppose 3*r - 52 = -0*u - 5*u, 3*r - 64 = -2*u. Suppose 15 = -3*v + 8*v. Suppose m = -v*m + r. Solve 5*g = -1 + m for g.
1
Let j be (-6)/(-9) - 8/(-6). Solve 15 = j*w + 3*w for w.
3
Suppose 1 = -5*s + 4*s. Let i be 2*(4 - (s + 3)). Let x be (-4)/(-6)*6/i. Solve -2*k + x = -3 for k.
2
Let g(v) be the first derivative of -v**3/3 + 3*v**2 - 1. Let a be g(6). Let t be a - (-9)/(3 - 0). Solve 0 = t*q - 2*q + 5 for q.
-5
Let k = -19 + 21. Suppose -k*c = -c. Solve -i - 5 + 2 = c for i.
-3
Let v be (-4)/(-1 - 1) - 0. Solve 4 - 12 = v*x for x.
-4
Let s(r) = -3 + 2*r - r - 4. Let h be (-8)/14 + 795/105. Let o be s(h). Solve 0 = y - o*y for y.
0
Suppose 3*j = 18 + 39. Let n(f) = -f**2 + 5*f + 2. Let q be n(6). Let z = j + q. Solve -2*d + 7*d = -z for d.
-3
Let l(y) = -y**2 + 2*y - 1. Let n be l(1). Suppose -3*d = 3*d - 36. Suppose -d = -0*g - g. Solve n = 2*h + h - g for h.
2
Suppose -46 = -7*u + 3*u + 2*n, 4*u = -4*n + 52. Suppose -4*z + u = -0*z. Let a(c) = c**3 - c**2 - 5*c + 2. Let l be a(z). Solve 3 = -4*m - l for m.
-2
Suppose 8*p = -3*p + 8*p. Solve 4*z + p*z = 0 for z.
0
Suppose 0 = r + 7*u - 2*u - 18, -2*u + 8 = 0. Let d be -3 + 2 + (-2)/r. Solve d = -y - 4*y + 15 for y.
3
Let h be (-1)/2*(1 + -3). Let d = 2 + -2. Solve h = -s - d for s.
-1
Let d = 6 - 9. Let b be (d/(-9))/(3/9). Let w = -1 + b. Solve w = 3*s - 4*s - 4 for s.
-4
Let m be (-6 - 0)*2/(-3). Suppose -13 = 3*d - 5*y, -2 = m*d - 4*y + 2. Solve 13 - 1 = -d*b for b.
-3
Let x(g) = -g**2 + 9*g - 2. Let d be x(8). Let r(s) = s**3 - 4*s**2 - 10*s + 8. Let p be r(d). Solve 0 = m + 4*m - p for m.
4
Suppose 2*r - 5*t + 13 = r, 3*r + 5*t - 21 = 0. Let k(l) = 0*l**2 - 2*l + 0*l**2 + l**2 - 2 + l**2. Let y be k(r). Solve -y + 5 = -i for i.
-3
Let j be (-26)/117 + (-56)/(-9). Let h = j - 3. Solve 1 = 4*v - h for v.
1
Let u = 4 - 0. Let t be 2/u*(1 + 7). Solve -t*k - 16 = -0*k for k.
-4
Suppose -2*g = -3*a + g + 33, 0 = 2*a - 4*g - 32. Suppose -2*u = -2*f + a, 15 = 3*f - 0*u - 5*u. Solve -s - 3*s - 8 = f for s.
-2
Let n(x) = x - 1. Let q(o) = -1. Let b(l) = -n(l) + 2*q(l). Suppose 10 = -7*v - 32. Let j be b(v). Solve 0 = 2*s - s + j for s.
-5
Suppose 0 = x + 54 - 57. Solve 0 = -s - x for s.
-3
Let s(a) = 2*a**3 - 4*a**2 - a + 1. Let o be s(3). Solve -4*b = -0*b - o for b.
4
Let l = -17 - -27. Suppose t + 2 + 2 = 0, 4*z - 3*t = 32. Suppose -4*b = 2*o - 0*o - l, 3*b = -4*o + z. Solve b*g - 3 = -15 for g.
-4
Suppose 0 = -6*c + c - 20. Let r be 30/c*2/3. Let j(o) = -o**3 - 4*o**2 + 4*o - 5. Let l be j(r). Solve 4*v = -l*v for v.
0
Let u = 8 + -3. Suppose 0 = u*l - 0*l. Solve l = 4*q - 1 - 11 for q.
3
Let x(v) = v**2 + 3*v - 4. Let d be x(-3). Let s = d - -6. Solve 4 = -2*o - s for o.
-3
Let v(s) = -s**3 + 6*s**2 - 2. Let r(w) = w**3 - w**2 + w. Let c(q) = -2*r(q) - v(q). Let m be c(-4). Solve k + m = 6*k for k.
2
Let i be 6/(-21) + 16/7. Let j(r) = r**2 - 3 - 2*r**2 + 0*r**2 + 6*r. Let p be j(4). Solve -