r = 2*y - 8. Suppose 25 = 5*a - a + x, -10 = 3*a - y*x. Let t = -3 - -6. Solve -t*k + 6 = -a*k for k.
-3
Suppose 7*i - 2*i + 2*k = 8, 0 = 5*i - k - 11. Solve -i*x = -x for x.
0
Let c(n) = -n**2 - 7*n + 2. Let u = -5 + -2. Let h be c(u). Suppose -2*s - 4 = 0, -4*o + 5*s = -o - 19. Solve -4 = -o*j + h*j for j.
4
Let s(u) = u - 5. Let c be s(5). Let a(h) = 2 + 3*h - 9 + 6*h - 2*h**2 + h**2. Let k be a(5). Solve c = -4*q - 5 + k for q.
2
Let p(q) = q. Let c = 7 + -7. Let f be p(c). Suppose 3*n = -f*n + 12. Solve 1 = -5*w - n for w.
-1
Let c(f) = 5*f**2 + 6*f + 5. Let x be c(-5). Suppose 12*u + x = 17*u. Solve 7*z - 2*z = u for z.
4
Let o = 11 - 5. Suppose -4*m - o = 2*f, 3*m + 45 - 13 = 4*f. Let v(u) = u**3 + 8*u**2 + 4*u - 1. Let q be v(-7). Solve 0 + q = f*y for y.
4
Let m = -45 - -31. Let o be (-6)/(-21) - 52/m. Let d be 240/o*2/5. Solve -9 = -5*t - d for t.
-3
Let a be -4 + (31 - -2 - 3). Suppose 0*m + 17 = -m + 5*s, 2*m + 5*s - a = 0. Solve -2 = l + m for l.
-5
Let t = -8 + 10. Solve -t*v = v - 12 for v.
4
Let y be (-12)/54 + (-101)/(-9). Suppose 3*b - 13 = y. Solve 5*l - 7 = b for l.
3
Let d = -219 - -327. Suppose -4*o + 25 = -4*f - 59, -5*o = -4*f - d. Suppose 0 = 5*i, 2*z + 3*i - o = -0*z. Solve -3*s - s - z = 0 for s.
-3
Let o be 8/1 - 9/3. Suppose -3 = o*j - 13. Solve 3*h + j*h = -10 for h.
-2
Let k(x) = -x + 1. Let n(g) = -7*g + 13. Let d(c) = 24*k(c) - 3*n(c). Let y be d(-6). Solve 0 = y*l - l - 2 for l.
1
Suppose 0 = 4*j - 5*j + 3. Let l(z) = -z**2 - 6*z + 4. Let g be l(-6). Let q be (-6)/21 - (-2)/7. Solve q = j*n + n - g for n.
1
Suppose -5*i + 18 = -17. Suppose -90 = -3*u - 3*u. Solve i*w = 2*w + u for w.
3
Suppose 10 = 12*i - 7*i. Solve -9 = b + i*b for b.
-3
Suppose 0*l + 20*l = 180. Solve -l = z + 2*z for z.
-3
Suppose 5*q + n - 10 - 5 = 0, 5*n + 5 = -5*q. Solve -3*f = -q*f - 4 for f.
-4
Let g be 48/32 + (-2)/(-4). Solve -6 = -r - g*r for r.
2
Let o = 2 - 1. Let n = 20 - 7. Suppose n - o = 4*y. Solve b + 0 = -y for b.
-3
Let o(q) = q - 4. Let f be o(24). Solve f = -u + 6*u for u.
4
Let f be ((-5)/2)/(2/(-4)). Let v be -3 - (-9 + -3)/4. Solve 10 + v = f*k for k.
2
Suppose 0 = 14*b - 12*b - 6. Solve b = -3*g + 15 for g.
4
Let l(y) = y**3 + y + 3. Let o be l(0). Suppose w + o*w = 20. Solve -w*b + 0*b = 0 for b.
0
Let u(z) = -z. Let m(l) = 3*l - 3. Let d(c) = 3*m(c) + 6*u(c). Let o be d(6). Let y = 19 + -17. Solve -5*j + y*j = -o for j.
3
Let b(d) = -1 - 4 + 3 + 2*d. Let o be b(1). Solve o = 3*y + y + 16 for y.
-4
Suppose 5*m + 2*n = -39, -2*m + 4*n - 36 + 6 = 0. Let g = 7 - m. Solve -3*q - q = -g for q.
4
Suppose 0 = l - 16 + 16. Solve l = -5*q + 10 + 10 for q.
4
Suppose -6 + 0 = -3*v. Let j(q) = 2 + 4*q - 5*q - 2 - v. Let o be j(-2). Solve -r + 2 = -o for r.
2
Let p be -1*4/(-2) + 0. Let m = -679 - -685. Let u be 1 - 2 - -1*3. Solve u*o + m = -p for o.
-4
Suppose -3*c + 4*f + 53 = 0, -2*c = -3*c - 4*f - 9. Solve c = -t + 10 for t.
-1
Suppose 2*f = -3*f. Solve -4*y - 5 + 21 = f for y.
4
Let g(v) = -2*v + 18. Suppose 0 = 3*j - 5 - 19. Let m be g(j). Solve -m*n - 4 = -3*n for n.
4
Suppose 0 = -y - y + 2. Suppose 0 = 20*h - 11*h - 36. Solve -h*w + 11 = -y for w.
3
Suppose -4*f - 8 = -g + 6, 5*g - f = -6. Let u = 7 - 3. Let o be (g + 10/u)*4. Solve -2*r + r - o = 0 for r.
-2
Let t be (-2 - -2)/(2 + -3). Suppose -5*p + t*k + 20 = 4*k, -5*k + 25 = 0. Suppose p = 3*z - 3*r - 21, -4*r - r = z + 11. Solve -h = -z*h for h.
0
Let w be (-12)/30 + (132/(-15))/(-2). Let y be ((-15)/(-2))/(6/(-8)). Let x = 14 + y. Solve -w*j + x = -4 for j.
2
Let x = -4 + 6. Suppose b - x*b = -5. Suppose w + o = -2*w + b, 3*w = 5*o + 11. Solve -12 = -w*j - j for j.
4
Suppose -32 = -3*f - 2*x, -3*f = 2*f - 5*x - 20. Solve 4*o = -0 + f for o.
2
Suppose 0 = 5*h - 3*k - 3 - 24, 20 = 4*h - 2*k. Solve 2*o - h + 1 = 0 for o.
1
Let u(v) = -3*v - 38. Let a be u(-14). Let m = 1 - -11. Solve -m = s - a*s for s.
4
Let p = 0 - 0. Suppose -6 + p = -l. Let w = -21 - -36. Solve -o = -l*o + w for o.
3
Suppose 4*u = u + 15. Suppose u*n = 70 - 20. Solve -5*w + n = -3*w for w.
5
Suppose 8*z - 9 = 5*z. Solve 20 = 8*w - z*w for w.
4
Let w = 41 + -38. Solve 0 = -x - w*x + 16 for x.
4
Let j be (-8)/(-3) + 5/15. Solve -4*d = j + 5 for d.
-2
Let r = 1 + -4. Let u = r - -7. Solve u*j = 11 - 31 for j.
-5
Let n(y) = -y - y - 3*y + 4*y - 23. Let d(u) = -8. Let w(z) = 7*d(z) - 2*n(z). Let m be w(7). Solve -4*l = -0 - m for l.
1
Suppose 3*c = -3*u - 9, 10 = -2*u - 3*c - 0. Solve -u = 4*q + 3 for q.
-1
Let n be (-5)/6 - 4/24. Let a be 2 + n + 2*4. Solve -2*q + a = q for q.
3
Suppose -1 + 0 = -o. Suppose -6 = -g - o. Solve 5 = g*t - 5 for t.
2
Suppose 4*h + 1 = 9. Suppose 0*q - h*j = -3*q + 43, 2*q - 27 = 3*j. Solve -5*u + 0 - q = 0 for u.
-3
Suppose 4*n + 4 = 4*y, 8 = n - 3*y + 19. Suppose 4*g = 0, 3*h - 2 = -n*g + 4. Suppose 1 = h*o - o. Solve -3*m - 2 = o for m.
-1
Suppose 4*f - 3*j = 47, f - 3*j - 2*j - 33 = 0. Solve -f = -3*o + 1 for o.
3
Let c be ((-15)/(-5))/(-2*(-9)/24). Solve -3 = -c*o + 3*o for o.
3
Let n be (-9 + (-2 - -6))*-1. Solve 5 + 15 = n*h for h.
4
Let h = 19 - 13. Suppose -3*c + 2 = -4*q, 1 = -4*q - 5*c - 17. Let l = q + h. Solve 0 = 3*x + l - 1 for x.
-1
Let v = 21 + -16. Let x be ((-4)/(-6))/(2/3). Suppose v*d = 6 - x. Solve -2*j = -j - d for j.
1
Let j(u) = -u**3 + 3*u**2 + 5*u. Let y be j(4). Solve 0 = y*x - 12 - 8 for x.
5
Suppose w + 15 = -5*h, -3*w + 9 = -7*w - 3*h. Solve w*i = i + 5 for i.
-5
Let o(j) = 4*j**2 + j. Let l = 1 - 3. Let c be o(l). Let b = 19 - 13. Solve 2*q - b + c = 0 for q.
-4
Let s = 14 + -5. Let a = s + -6. Solve 2*t = -a*t for t.
0
Suppose -5*l - 25 = -4*j, 5*l + 15 = 2*l + 3*j. Let m = l - -7. Solve -m*w = w - 15 for w.
5
Let i(y) = 8*y + 5. Let u be i(0). Solve 0 = u*w - 0*w for w.
0
Let h(s) = s**3 - 2*s**2 - s - 3. Let b be h(3). Solve -13 = 4*q + b for q.
-4
Let b(y) = 4*y - 4. Let a be b(4). Suppose -4*d - d + 15 = 0, -c + a = 3*d. Solve 3*n = 6*n + c for n.
-1
Let z(f) = 3*f - 3. Let j be z(3). Let x(n) = -n**2 + 5*n - 4. Let a be x(4). Let w be a/((1/1)/1). Solve -j = 3*y - w for y.
-2
Let z(r) = r**2 + r. Let c be z(-5). Suppose -5*u + 7*y - 20 = 2*y, -c = 4*u - 5*y. Let q be -1 + 2 + (u - -3). Solve -i + 0*i = q for i.
-4
Suppose -1 = 2*y - 3*y. Let v(q) = q - 5. Let t be v(5). Solve i + t - y = 0 for i.
1
Let j(b) = b**2 + 4*b - 3. Let r be j(-3). Let q be r/15 - (-96)/15. Solve 0 = 3*h - q*h for h.
0
Let k(v) = -v**2 + 14*v - 13. Let w be k(13). Solve 0 = -5*l - w - 20 for l.
-4
Suppose 5*h = 30 - 10. Solve 6 - 26 = -h*b for b.
5
Let o be (-4)/(-4*(-2)/(-4)). Let j be (2 + 2/o)/1. Suppose a = j*a. Solve k - 3 - 1 = a for k.
4
Let r(b) = 4*b**2 + b + 2. Let j be r(-1). Suppose -13 - 7 = -5*p + 5*m, -m = j*p - 20. Solve z + p = -0 for z.
-4
Let q(v) = -v + 3. Let r be q(5). Let g be (r + 4)/((-2)/(-55)). Suppose 0 = 4*f + f - 5*d - g, 0 = -d - 1. Solve -t - t - f = 0 for t.
-5
Suppose 0 = 4*o + 3*y - 25, 0*o - y = -o + 1. Solve -o*i + 2*i - 6 = 0 for i.
-3
Let r be ((-6)/(-10))/(2/10). Let b = r - 3. Solve b + 3 = -3*y for y.
-1
Let s be 0 - ((-4)/(-2) + 0). Let t = 4 + s. Solve -3*u + t*u = 2 for u.
-2
Let r be -3 - 22*1/(-2). Let f(s) = s**3 - 8*s**2 + 2*s - 8. Let g be f(r). Solve j - 3*j + g = 0 for j.
4
Let x be (-16)/(-6)*(2 + 4). Solve x = -4*g - 0*g for g.
-4
Let c = 27 + -2. Suppose 4*q - 4*t - c = -1, -4*t + 4 = 0. Suppose 2*i - 25 = q. Solve i = d - 5*d for d.
-4
Let v(w) = -w**3 - 4*w**2 - 2*w + 3. Let b be v(-3). Suppose b = 3*r - 2*r. Let n be 1*(-2 - (r + -2)). Solve -3*s + 19 - 7 = n for s.
4
Suppose l + 14 = -0*l. Let i = l - -14. Solve 3*d + 9 = -i*d for d.
-3
Let n(h) = -h**3 - 3*h**2 + 3*h - 1. Let o be n(-4). Solve o = -r + 8 for r.
5
Suppose -3*q + 1 = -x + 2*q, -3*q + 19 = 4*x. Suppose -16 = -x*s - 0. Solve 0 = 2*n - s*n + 10 for n.
5
Let f = -6 - -4. Let r = f + 2. Solve -3*g + g = r for g.
0
Suppose 0 = 4*r + r + 5*p - 35, 4*r = -2*p + 22. Solve r*g - 8 = 4 for g.
3
Let y(q) = -q**3 - 3*q**2 - 3*q - 4. Let p be y(-3). Solve 0 = v - 2*v + p for v.
5
Let y(l) be the second derivative of 13*l**3/6 - 3*l**2/2 - 3*l. Let i be y(1). Solve 0 = 3*m + i + 2 for m.
-4
Let n(u) = -u + 6. Let z be n(2). Solve -c + z = 3*c for c.
1
Suppose 3*l - 1 - 11 = 0. Solve 0*b - 4 = -l*b for b.
1
Let h be ((-34)/(-8) - -3)*4. Suppose 