5 = -3*n, -3*k = -4*n - 2*k - 37. Let c(p) = p**3 + 10*p**2 - 2*p - 14. Let i be c(n). Solve -2*q + 4 + i = 0 for q.
5
Let u(h) = 2*h - 9. Let m be u(8). Suppose -3*q + 4*q - 5*w = 27, -q + w + m = 0. Solve 0 = 4*i + 18 + q for i.
-5
Let f = 10 + -2. Let p = f - 2. Solve -2*n = -p*n for n.
0
Let f be -34*((-3)/6 - 0). Let w be (f - 16) + 1*3. Solve 0 = -w*n - 21 + 5 for n.
-4
Suppose -22 = -t + d, -5*d - 14 - 36 = -2*t. Suppose 0 = -2*o - 4*r + 24, -2*r + 6*r - 16 = 0. Let a be (5 + -2 - o) + 5. Solve x = -a*x - t for x.
-4
Let s(a) = a**2 + 9*a + 8. Let j be s(-7). Let i = -2 - j. Solve -n - i*n + 10 = 0 for n.
2
Let f = 14 - 11. Suppose u - a + 0 = 1, -u - a + f = 0. Solve -u*n + 6 = -0 for n.
3
Suppose -3*y = u - 8, 0 = 4*u - 3*y - 30 - 32. Suppose 6 = 5*x - u. Solve 0 = w - x + 1 for w.
3
Let r be (-4)/(-6) + (-4)/6. Suppose 0*l + 15 = 5*l. Suppose -8*v + l*v = 0. Solve r = 2*k - v*k - 2 for k.
1
Let d = -10 + 24. Let c = 10 - d. Let r(b) = b + 4. Let y be r(c). Solve 2*i + 3*i - 20 = y for i.
4
Let b = -7 - -8. Let m(o) = -9*o + b + 6*o + 4*o. Let s be m(2). Solve 0*w = s*w for w.
0
Suppose -h = h - n - 9, -3*n = 15. Suppose -4*v + 2*s + 16 = 6*s, 0 = -4*v + 4*s + 16. Solve h*y - v = 2 for y.
3
Let c(y) = 2*y**3 + 27*y**2 + 19*y + 13. Let k(t) = t**3 + 13*t**2 + 10*t + 6. Let p(x) = -4*c(x) + 9*k(x). Let d be p(-7). Solve -d = -z - z for z.
1
Let x = -33 - -52. Let i = x - 16. Solve -i*k - 1 = -4 for k.
1
Let w = -13 + 13. Solve w = 3*d - 7*d - 8 for d.
-2
Let n = 40 - 38. Solve 0 = 6*m - n*m for m.
0
Suppose 20 = 5*l - 4*i, 2*i - 16 + 4 = -3*l. Suppose l*k = -t - 18, t + 3*k = 8*k + 27. Solve -20 = t*a + 2*a for a.
-5
Suppose 1 = -0*h + h. Let x = 27 - 27. Let n = h - x. Solve -n = -b - 5 for b.
-4
Let n be 2 - (2 + 1 + -1). Suppose -3*c = -n*c - 9. Solve -c*j - 3 = 12 for j.
-5
Suppose -3*g - 31 = 3*d - 2*d, -3*g + 5*d = 61. Let m = g - -27. Solve 3 = -4*c + m for c.
3
Let t = 67 - 97. Let v(d) = d**2 - 8*d + 6. Let j be v(6). Let g be (1 - 0)/(j/t). Solve 9*h - g = 4*h for h.
1
Let m be (-9)/(-6) + (-14)/(-4). Suppose m = -o + 15. Let a = 10 - o. Solve a = -0*b - b for b.
0
Suppose 0 = 16*d - 18*d. Solve d = -l - 1 - 4 for l.
-5
Let l(c) = c - 11. Let r(g) = -g + 1. Let q(k) = l(k) - r(k). Let n be q(8). Solve w = n - 3 for w.
1
Let q = 12 + -5. Let s be 2/(-5) + 18/(-5). Let k = s + q. Solve 2*y - 5 + k = 0 for y.
1
Let v be 0/((-1)/(2 - 1)). Suppose 0 = 2*r - 3*r. Suppose -3*b = -2*h - 5, h - 3*h - 3*b + 13 = r. Solve -2*a - h = -v*a for a.
-1
Suppose -2*y - 2*z - 4 + 8 = 0, 5*y - 3*z = 2. Let f be -3 + y + (3 - -1). Let r be 2*1 - (1 - 3). Solve -r = o - f for o.
-2
Suppose 3*n - n - 8 = 0. Let a be (-48)/(-56)*14/n. Solve 0 = -y - a - 0 for y.
-3
Let h be 358/(-10) + 1/(-5). Let p be (-24)/h + 2/6. Solve 0 = -j + p - 6 for j.
-5
Suppose h + 2*h - 6 = -5*n, -3 = h. Solve n*g = -6 - 6 for g.
-4
Let t be ((-55)/(-10))/((-2)/(-4)). Let l(s) = -s**3 + 12*s**2 - 11*s + 5. Let y be l(t). Solve 0 = 5*j - 0 + y for j.
-1
Suppose -j + 1 = w - 3*w, -4*j - 2*w = -24. Let l be (-1)/j + 255/25. Solve -u - l = 4*u for u.
-2
Let j(k) = -2*k - 7. Let r be j(-6). Suppose -r*x - 4 = -14. Solve 0 = 2*u - x + 4 for u.
-1
Let q be (-1)/(1/2) + 2. Let n(d) be the first derivative of d**3/3 + 3*d**2/2 + d + 2. Let i be n(-4). Solve -j - 3 + i = q for j.
2
Let h = 10 + -3. Suppose -5*f + 17 = 2*a + h, 3*a + 5*f - 10 = 0. Let p(y) = 2*y**2 + 4*y - 1. Let g be p(-3). Solve g*z + 5 - 10 = a for z.
1
Suppose -4*z = -4*a - 5*z + 8, -4*a = -4*z - 28. Suppose 5*g = -0*g + 70. Suppose 8 = a*y + m, g = -0*y + 2*y + 5*m. Solve -y*j - 4 = 2*j for j.
-1
Suppose 5*i = v + 69, 0 = -2*i + 6*i - 3*v - 53. Let g = i - 3. Solve 3*w - 26 = -g for w.
5
Let y = 115 - 113. Solve -2*k = y*k - 4 for k.
1
Let k be (36 + (-1 - 1))/2. Let y(o) = -10*o + 1. Let f be y(-1). Let u = k - f. Solve -2*q = -4 - u for q.
5
Let y be (-7 - -5)/(1/(-4)). Suppose 0 = n + 3*n - y. Solve n*i = 6 - 2 for i.
2
Let y(x) = 10*x**3 - x**2 - x + 1. Suppose n - 3*n + 6 = 0. Suppose 0 = -2*q - n*q + 5. Let v be y(q). Solve 0*l + 3*l = -v for l.
-3
Suppose u = -2*p - 2, 2*u - 2*p = 16 + 10. Let x(o) = o - 4. Let h be x(u). Solve -7 = h*k + 13 for k.
-5
Let c(a) = a**2 - 4*a - 4. Let v be c(5). Let q = v + 1. Solve -12 + q = 5*h for h.
-2
Let z(s) = s**3 + 4*s**2 - 3*s - 4. Let n be z(-4). Let w be n/((-8)/2) + 3. Solve -i = -w + 4 for i.
-3
Suppose -3*k = -5*t - k + 12, -20 = -5*k. Solve p - t*p = 3 for p.
-1
Let k = -15 + 7. Let a be (23 + k)*2/6. Solve 0 = -a*v + 2 - 17 for v.
-3
Let h be 3 + (-1 - 2)/3. Solve -2 = z + h for z.
-4
Let u be (-6)/(-21) - 86/7. Let r = 19 + u. Suppose 3*o - 4*o = -r. Solve o*z + 3 = 4*z for z.
-1
Suppose -12 = -s - s. Let q be 38/s - (-5)/(-15). Solve -2*i - q = -0*i for i.
-3
Suppose -2*a = 3*a. Let q = -5 - -7. Solve -j + a - q = 0 for j.
-2
Let s be (-8)/(-1) + (-3 - -5). Suppose 0 = -s*g + 8*g. Solve -m - 3*m + 8 = g for m.
2
Suppose 2*b - 22 - 18 = 0. Suppose -10 = v + 3*g, v - 4*g - 35 = -2*v. Suppose -1 = -r, v*r = -8*k + 3*k + 30. Solve -b - 5 = -k*f for f.
5
Let d be (-12)/5 + 2/5. Let u be 2 + d + 0/(-2). Solve u = -p + 3 + 1 for p.
4
Let c be (-2)/1 - (-20 + 1). Let t = 137 - 136. Solve 4*i = c - t for i.
4
Suppose 1 = 3*o + 2*q, 3*o = 4*q + q + 29. Suppose 4*f - o*d - 22 = 1, 5*d - 5 = -2*f. Solve 0*x + f*x = 15 for x.
3
Suppose 12 = 4*r, 2*j - 2*r = -5 - 1. Suppose j*b = -3*b + 30. Solve -b = 4*d - 2*d for d.
-5
Suppose i - 2*v = -2*i + 9, -5*v + 40 = 5*i. Solve -i*m = -39 + 14 for m.
5
Suppose -7*d + 2*d + 15 = 0. Let l(b) = 2*b**3 - 2*b**2 - 3*b - 4. Let k be l(d). Suppose -k = -3*v - 2. Solve 2*g - v*g = -15 for g.
3
Let f(w) = 12*w**2 + 3*w - 3. Let r be f(1). Solve -3*q + r - 3 = 0 for q.
3
Let x be 19/7 + (-8)/(-28). Suppose 3*f + x*v + v = 23, 3*f = -5*v + 25. Let r be (0 - -5)*1/f. Solve 2*c - r = c for c.
1
Let p be -2*(-2)/(0 + -4). Let x(n) = n + 1. Let t be x(p). Let o = -7 - -10. Solve -r + t*r = -o for r.
3
Let w = -8 - -16. Suppose 3*t = -4*u + 3, w = 2*t + u + 1. Solve -3*l - 8 = -t*l for l.
4
Let s be 2/(-4)*(-17 + 7). Suppose -2 - 13 = -s*h. Let j = h + 1. Solve w = -2 + j for w.
2
Let v be (3 - 4)*(-2 + 0). Solve -v*t = 4 - 0 for t.
-2
Let p be -3 - (1 - 3 - 2). Solve p = f + 3 for f.
-2
Suppose 5*n - 7 = 8. Suppose 5*y - 50 = n*y. Let k = -10 - -16. Solve k*u - u - y = 0 for u.
5
Let k = 2 - 2. Let p = 0 + k. Solve p = 2*h - 10 for h.
5
Let m = 10 + 6. Solve 5*p = p + m for p.
4
Suppose 0 = -x - 2*a + 25, -3*x - a = -0*a - 80. Let j = 52 - x. Solve -4*q + j = q for q.
5
Suppose 4*r - 24 = -2*m, -2*m - 11 = -0*m - 3*r. Solve m*c = 4 + 4 for c.
4
Let l = 25 - 24. Solve 0*y - l = y for y.
-1
Suppose -n - n + 4 = 0. Suppose -4*m = -m - 4*t - 12, t + 3 = 0. Suppose m = n*q - 3*q. Solve q*c = -2*c - 6 for c.
-3
Let y be 4/18 + 106/9. Solve -4*s = -0*s + y for s.
-3
Let j(h) = h**2 - 8*h - 6. Let s be j(11). Let w = s + -13. Suppose 0 = -3*c + 9, -4*k = -c - w - 19. Solve 4 = y + k for y.
-5
Let k be -1 - (1 - 2/1). Let l(d) = 2*d - 7. Let j be l(5). Solve 3*q + 0*q - j = k for q.
1
Suppose 3*j = 3*q - 18, -4*q + j + 16 = 5*j. Solve 5 = 2*c - q for c.
5
Let r be 6/((-5)/((-20)/6)). Suppose 5*a - r = 31. Solve -3*w = -a*w + 12 for w.
3
Let k(o) = o + 19. Let i(d) = -d**2 - d - 15. Let g be i(0). Let a be k(g). Solve -2*v = -4*v + a for v.
2
Suppose 0*p = 3*p. Suppose u + k - 2 = -p, 4*k = -2*u. Solve u*y = y for y.
0
Suppose 3*z - 4 = 5. Suppose 5*c = 2*m + 7, 0 = 5*m + 8 - 3. Let j(b) = 6*b + 1. Let p be j(c). Solve -z*u = 5 + p for u.
-4
Let b(f) = -2*f - 9. Let j be b(-6). Let t = 3 - 3. Let y = 4 - t. Solve -y*i + j*i = 3 for i.
-3
Let t = 6 - 0. Suppose v = 4*v - t. Solve 25 = v*s + 3*s for s.
5
Suppose -2*g + 8 = -4*v, g + 8 = -2*v - 2*v. Let m(u) = u**3 + 4*u**2 + 2*u - 2. Let j be m(v). Solve k - 12 = -j*k for k.
4
Let m be (1 - 1 - -2) + 2. Let s(v) = v**2 - 5*v - 6. Let w be s(6). Suppose c - 2*h - 3 = w, 2*c - h - 8 = -2. Solve c = m*d + 11 for d.
-2
Suppose -3*x + 10 = -2. Let i(p) = -3*p**2 - 29*p - 12. Let y be i(-9). Solve -y = x*r - r for r.
-2
Suppose -3*z - 15 = 0, 0 = -4*t - 5*z + 4 - 13. Let s be 3*(16/6 + -1). Solve -4*b + s*b = t for b.
4
Suppose 20 = -3*t + 26. Solve f = t*f - 1 for f.
1
Let f be 85/10 + 2/4. Solve -4*a 