6*a + 12. Let d be p(8). Solve -2*q + d = -6*q for q.
-3
Suppose 0 = 3*y - 5*y + 8. Solve -t + y*t + 9 = 0 for t.
-3
Suppose 2*z - 10 = -3*z. Suppose 8*y - 5*y - q - 57 = 0, -3*q = 2*y - 49. Suppose h - 6 = -h - 2*i, 0 = 5*h - 4*i - 6. Solve h*g - y = -z*g for g.
5
Suppose 4*v - 5*v + 3*q + 16 = 0, -v + 5*q = -24. Solve v*r = 2 + 2 for r.
1
Suppose -2*h + 2*x + 7 = -11, -x - 4 = 0. Let g(m) = m**3 - 5*m**2 + 3*m + 4. Let q be g(4). Suppose 1 = -d + 4. Solve 4*w + d + h = q for w.
-2
Suppose k - 7*k + k = 0. Solve l + l + 6 = k for l.
-3
Let a = 8 - 3. Suppose a*b + 2*q = 18, 2*b + q - 8 = -0*q. Solve -3*n - b = -4*n for n.
2
Let m be 2/6*-1*-21. Suppose m*q = 2*q + 5. Solve x - q = -0 for x.
1
Let t(b) = b**3 + 3*b**2 + 3*b + 2. Let l be t(-2). Suppose 0 = -z + 15 - l. Solve 4*u + z = -u for u.
-3
Suppose 5*n - y = y + 9, 2*n = 5*y - 9. Suppose 5*j + 61 = 3*i, 3*i + 5*j = 4*j + 31. Solve r - i = -n*r for r.
3
Let o = -5 - -8. Suppose -5*h = -0*h + 30. Let z = h - -6. Solve z = o*f + 16 - 1 for f.
-5
Suppose -4*r = -4*n, -2*n = -2*r - r + 4. Let x be (-366)/18 - (-2)/(-3). Let q be (-9)/x*4*7. Solve -n*k = -0*k - q for k.
3
Suppose -33 = 5*u - 158. Solve u - 10 = 5*m for m.
3
Let s be (2 + (-16)/7)*-7. Let u(c) = c**3 + 5*c**2 - 6*c - 1. Let v be u(-6). Let l(x) = -13*x**3 - 2*x**2 - x. Let i be l(v). Solve 5*q - i = -s for q.
2
Let h(s) = s + 2. Let m be 3 + (-1)/2*2. Let b be h(m). Suppose -4*t - 36 = -2*c, -c = 2*t - t - 12. Solve c - b = 5*l for l.
2
Let p be -1 - 0 - 9/(-9). Solve 8 = -p*u - 4*u for u.
-2
Let w = 7 + -7. Let y be (11/1 - w) + -2. Suppose 4*d - 12 = 3*f, f + y = 5*f + 3*d. Solve f = 3*x - 0*x for x.
0
Let n = -4 + 3. Let i = n + 4. Let y(q) = -q - 2. Let d be y(-2). Solve -i*j - j - 20 = d for j.
-5
Let q(m) = -m - 3. Let j be q(-8). Suppose 30 = j*r - 30. Solve 3*y + y = r for y.
3
Suppose 0 = y + 10 - 12. Solve y*p = 3*p + 5 for p.
-5
Suppose -2*n - 2 = -n, -4*s = 3*n - 22. Suppose z - 9 = -0*z. Let k = -3 + z. Solve 0 = -s*b + 4*b - k for b.
-2
Let b = 12 - 24. Let x = 12 + b. Suppose -2*m - 2*u + 8 = 0, -2*u = -m - 1 + 5. Solve -2*f + m*f - 8 = x for f.
4
Let p(q) = -2*q**2 + 12*q - 12. Let w(r) = -r**2 + 6*r - 6. Let d(s) = -4*p(s) + 9*w(s). Let k be d(4). Let l = k + -2. Solve 3*i + i + 12 = l for i.
-3
Let s = 13 - 19. Let a be (-20)/s + 22/33. Solve 0*f = 4*f + a for f.
-1
Let x be 1/(1*(-2)/(-4)). Let k be (-134)/(-10) - x/5. Solve 0 = 5*s - 2 - k for s.
3
Suppose -5*l + 40 = -0*l. Let i be (-3)/12 - (-34)/l. Solve 0 = -i*a - a for a.
0
Suppose 2*q + 3*q = -4*p + 8, 0 = 5*q + 2*p - 4. Let w be 11 + (-2)/(0 - -1). Solve 3*s + q = w for s.
3
Suppose -6 = 2*n + 5*m + 5, -4*n + 14 = -2*m. Suppose 5*v = 2*v, -g + n*v + 15 = 0. Solve -2*w - w = g for w.
-5
Suppose 5 + 24 = 2*o + 5*p, -4*p = -3*o - 14. Solve 0*s = -s - o for s.
-2
Let h(x) = -3*x + 5. Let z be h(-8). Suppose -g + 5*n + z = 0, 2*g + n + 4*n + 2 = 0. Suppose -4*c + 11 = -g. Solve c*s = 16 + 9 for s.
5
Suppose 10 = k + 4*k. Let i(y) = 2*y - 14. Let r be i(11). Suppose -d = k, -m = m + d - r. Solve -2*l = 3*l + m for l.
-1
Let c = 20 - 20. Solve 5*x - x + 20 = c for x.
-5
Let s be (2 + (-20)/3)/(6/(-9)). Solve -s*w + 4*w = -6 for w.
2
Let m be -6 + 6 + -1 - (-10 + -1). Suppose -5*r + 0*r = -3*n + 37, n + 3*r + 11 = 0. Solve n*t + 10 + m = 0 for t.
-5
Let d(g) = g**2 - 3*g + 1. Let r be d(4). Suppose -4*s - 19 + 3 = r*a, 0 = -2*s - 8. Solve 4*c + a = -8 for c.
-2
Suppose -3*h - 3 = -2*u + 5*u, h = -4*u - 16. Suppose -4*w = 1 + 19. Let q be (-8 + 6)/(2/w). Solve 0 = -q*j + 3*j - h for j.
-2
Let l be 1*(-6)/((-9)/(-3)). Let b(g) = -g**2 - 4*g. Let a be b(l). Solve a*k - 16 = 4 for k.
5
Let o = 59 - 59. Suppose 4*p - 5*m - 31 + 8 = 0, 4*m + 4 = 2*p. Suppose p = -2*q + 5*q. Solve -s - q*s - 10 = o for s.
-2
Suppose 2*a + 4 = 4*b, 0*a - 2*a - 1 = -b. Solve a = m - 5*m for m.
0
Suppose -2*d - 26 + 76 = 0. Suppose 0 = 2*c - w - d, c - 3*w + 4*w - 11 = 0. Let n be 3*-1*(-2 + 1). Solve k = -n*k + c for k.
3
Let g be 4/8 + 5/(-2). Let q(t) = -12*t. Let a be q(g). Solve 5*l - a = 1 for l.
5
Let b(g) = g**3 + 2*g**2 - 4*g + 3. Let f be b(2). Let z = -4 + f. Suppose 0 = z*k - 5*k - 12. Solve k*q = q for q.
0
Suppose -5*x + 2 + 8 = 0. Suppose -3*h - 8 = -0*v - x*v, 4 = -h + v. Solve h*j - 10 = -2*j for j.
5
Let v = 7 + -3. Solve 16 = -0*d + v*d for d.
4
Let c(n) = -n**3 + 7*n**2 - 6*n + 3. Let g be c(6). Suppose 2*d + g*d = 20. Let v(a) = a - 4. Let k be v(d). Solve k*u = u for u.
0
Suppose -9*i - 20 = -10*i. Let b = i + -18. Let q = 3 + -2. Solve -b*o + q - 7 = 0 for o.
-3
Let h be 5/((3 + -1)/(-6)). Let r be 1/(4/8) - h. Solve -r = 5*g + 8 for g.
-5
Suppose 2*n + 2*n = 5*s + 35, 65 = 4*n + s. Let w be 3/5 + 51/n. Solve w*t = 13 + 7 for t.
5
Let u(x) = -x**3 - 20*x**2 + 2. Let y be u(-20). Solve -y*a + 3*a = -1 for a.
-1
Let n be (-2)/4*(-6)/(-18)*0. Solve 4*y + 8 + 0 = n for y.
-2
Let t = -3 + 13. Let g = 19 + -19. Suppose g = -d - d + t. Solve 0 = -0*j + 5*j - d for j.
1
Let l(n) = -n**3 - 7*n**2 + n + 6. Let h be l(-7). Let f be (-1 - h) + (9 - 9). Solve f = d + 3 for d.
-3
Let n(c) = 2 + 11 + c + 1. Let i be n(-11). Solve i*u = 8*u for u.
0
Let v(g) = -g**3 + 4*g**2 + 2*g - 4. Let n be v(4). Suppose n*y - y - 6 = 0. Suppose 2*c + 5*a - 28 = 17, 6 = 2*a. Solve -u - y*u = -c for u.
5
Let d(n) = -n**3 + 7*n**2 + n. Let a be d(7). Let z = 2 + a. Solve -5*r + z = -1 for r.
2
Let b = 0 - 0. Suppose b = x + 4*x - 30. Let h be (-30)/4*6/(-9). Solve -x*z - h = -z for z.
-1
Suppose 2*p - 2 = 4. Suppose p*m = -m + 16. Solve -4*j + m = -5*j for j.
-4
Suppose 2*c = -c. Suppose -w = 3*w. Solve c = -3*z - w*z - 12 for z.
-4
Let v be (8/20)/((-2)/(-50)). Suppose 4*g - 25 + v = -i, -2*i + g = -3. Let r = -2 + i. Solve 2 = l + r for l.
1
Let q(m) = -5*m**3 - 9*m**2 - 4. Let t(h) = 6*h**3 + 9*h**2 + 5. Let v(d) = -5*q(d) - 4*t(d). Let j be v(-9). Solve -3*y + j = 6 for y.
-2
Let p(x) = -4*x - 1. Let q be p(-1). Let f = q + 2. Suppose 0 = -5*a - 4*m + 10, -a - 3*m - 8 = -f*a. Solve -w + a = -0*w for w.
2
Let a = -27 + 31. Solve -j = -0*j + a for j.
-4
Let k(c) = c + 11. Let q be k(-15). Let t be (76/(-12))/(q/12). Solve -t = 4*p - 7 for p.
-3
Suppose 5*q = q. Let i be (q - (-2)/4)*0. Solve -l - 5 + 0 = i for l.
-5
Let j be (-14)/35 + (-12)/(-5). Solve 2 + j = 4*b for b.
1
Suppose 6*k - 30 = -0*k. Suppose i - 2*i - 29 = -k*p, i + 5 = p. Solve -g + p*g + 15 = 0 for g.
-3
Let w(v) = -v**3 + 8*v**2 - 3*v - 3. Let j be w(7). Let n(h) = -h**3 + 2*h**2 + 9*h - 1. Let y be n(4). Solve -8*m + j = -y*m for m.
5
Let d(w) = -w**3 + 8*w**2 + 5. Let t be d(8). Solve t = -2*n + 3*n for n.
5
Let j be (-152)/(-56)*1 + 4/14. Solve -b + j*b = 0 for b.
0
Suppose -2*g + 72 = -2*f, 4*f - 139 = -4*g + 7*f. Let j = 59 - g. Solve 0 = 4*n + 8 - j for n.
5
Suppose 2 = 2*c - 8. Suppose -3*q - 4 = -z, q + 20 = -2*q + c*z. Suppose q = 3*y + 3, 5*y + 8 = m + y. Solve m*j + 1 - 9 = 0 for j.
2
Let b be -4 - (-4)/(-8)*-8. Solve b = -2*y + 3*y for y.
0
Let x = 36 - 22. Suppose -3*l + x = 2*v, 5*l = -v - 1 + 22. Solve -4*f + l = -0 for f.
1
Let c = 0 + 4. Suppose 0*y - 5*y = 0. Suppose y*i = -c*i + 8. Solve 0 = -i*v + 6*v + 4 for v.
-1
Suppose -4*a = -5*a. Suppose w - 2 = -a*w. Solve 3 = w*i + 1 for i.
1
Suppose -5*s = 8*s - 65. Solve -10*f + 5*f + s = 0 for f.
1
Let c be ((-24)/(-10))/4*-5. Let u be (-3 + (-1)/(-3))*c. Solve 2*j - u = -2*j for j.
2
Let o(b) = -b + 10. Suppose -16 = 3*s - 5*s. Let k be o(s). Let v be (2 - 2)/(-1 + k). Solve 5*l - 6 - 4 = v for l.
2
Let s(b) = -b**3 + 14*b**2 - 13*b + 4. Let c be s(13). Solve -c*u - 4 = -0*u for u.
-1
Suppose -51*s = -48*s - 12. Solve -s*x - 1 = -5 for x.
1
Let t(r) = -r**3 - 3*r**2 - r - 1. Let k be t(-3). Suppose k*h = -0*h. Suppose 3*z - 6 = -h*z. Solve -3*c + 1 + z = 0 for c.
1
Let i be (3/2)/((-2)/4). Let l be 2/(6/i)*0. Solve l*h + 3 = -h for h.
-3
Let g(d) = -d**3 + 7*d**2 - 5*d - 1. Let x be g(5). Let b be (-1)/(-4) - (-42)/x. Solve 3*f - b*f = -3 for f.
-3
Let l(o) = -o**2 + 6*o - 2. Let t be l(5). Solve -c = t*c for c.
0
Suppose 0*m = -m - 4*h + 6, 0 = 3*m - 4*h - 18. Suppose 0 = -m*v + 7*v. Solve 2 + v = r for r.
2
Suppose l - 5*l = 0. Solve l = -2*d - d + 12 for d.
4
Suppose 2*p = p + 4. Solve 0*x - p = x for x.
-4
Suppose 3*l = 6*l - 15. Suppose -l*a + 12 +