s*a = -0*a - 6 for a.
-3
Suppose 0 = s - 6*s. Solve s = -2*l - 2 for l.
-1
Let n(k) = k**2 + 6*k + 6. Let z be n(-6). Let f(m) = -m + 6. Let i be f(z). Solve -3*c - 2*c = i for c.
0
Suppose -6*o + o - 25 = 0. Let p be 5 + o/1 + 3. Solve 4 = -p*h - 8 for h.
-4
Let f = 2 + 9. Let k = 6 + -15. Let n = k + f. Solve l = -n*l for l.
0
Suppose x - 4 = 1. Solve -2*v - 3 = x for v.
-4
Suppose -4*i = -2*i - 196. Suppose -s = 4*q - 115, 0 = -4*q + 5*s - 1 + i. Let z be q/6 - 4/6. Solve -z*w + 4 = 24 for w.
-5
Let y(c) = -c**2 - 11*c - 15. Let k be y(-6). Solve 0 = -3*h + 3 - k for h.
-4
Suppose -5*n + 33 = 3*d, 21 = d + 3*n + 2*n. Let f(b) = 0*b + d + 2 + b. Let l be f(-8). Solve -5*o + 10*o + 10 = l for o.
-2
Suppose -5*h - f - 3 = 2*f, 4 = -2*h - 4*f. Suppose r = 1, h*i - 4*r = -i. Solve m = -m + i for m.
2
Let b(p) = -p**2 + 2*p. Let g be b(2). Let a be (g - 0)*(-3)/6. Solve a = 2*s - 1 + 5 for s.
-2
Suppose 5*q - q - 8 = 0. Let y be (3/q)/((-9)/(-48)). Let s be (-4 - -2)/(-1) + y. Solve 0 = -3*g - s + 25 for g.
5
Let j(m) be the third derivative of m**6/120 - m**5/30 - m**4/24 + m**2. Let a be j(-1). Let l be (8 + a*1)/2. Solve -l = 2*p + 7 for p.
-5
Let r(z) = 3*z - 2. Let y be r(5). Let f = y - 7. Solve -3*w + f = -w for w.
3
Suppose 2*w = -3*w - 4*h + 21, 0 = -3*w - 4*h + 19. Let i = w + 2. Let c(p) = -p. Let s be c(0). Solve 3*v = -s*v + i for v.
1
Let v be (-2)/(-1)*(-2)/(-4). Let w be (-4)/(-14) + (-133)/(-49). Suppose 0 = 4*b + w*b - 14. Solve z + v = -b for z.
-3
Suppose 0*a = 2*a. Let o be 2 + a*3/(-9). Solve o*j + 10 = -3*j for j.
-2
Suppose 3*k = -0 + 15. Suppose 2*d + k*t = 13 + 8, 0 = 4*d + 2*t - 18. Let l = 6 + -5. Solve d*w - 10 = -l for w.
3
Let t(a) = -a**2 + 17*a - 5. Let l be t(12). Let y = l + -35. Let h be 8/y*10*1. Solve -h*o = -6*o + 8 for o.
4
Suppose 5*r - 10 = -n, -3*n + 0*n = 3*r - 6. Let h be 2 - (n + -2 + 0). Solve -8 = h*t + 12 for t.
-5
Let p(h) = -h**3 + h**2 + 5*h + 1. Let w be p(-2). Solve c = -w*c - 12 for c.
-3
Suppose -2*n = m, 2*m + n = -n + 4. Let d(v) = 7*v + 2. Let w be d(m). Let u be (-4)/(-10) + 108/w. Solve c = -u*c for c.
0
Suppose 4*b - 21 = -r, 0 = r - 3*b + 21 - 7. Solve 4*j - 3*j = -r for j.
-1
Let c = -19 + -5. Let o be c/(-14) + 4/14. Let m(f) = -f**2 - 3*f. Let i be m(-3). Solve h + o - 1 = i for h.
-1
Let x(d) = d**2 + 5*d + 1. Suppose -2*n = 3*n + 25. Let i be x(n). Let u = 4 + i. Solve u*q = q + 16 for q.
4
Suppose 1 = -y + 12. Suppose 0 = 3*x + 4 - 16. Suppose r - a = 5, -x*r + 3*a + y = -6. Solve -r*m = -0*m + 6 for m.
-3
Let o be (4/(-10))/(2/(-30)). Suppose -v - o = -2*r, 3*r - 22 = -5*v - 0*r. Let q(m) = m**2 + m - 2. Let y be q(v). Solve -2*h + 10 = -y*h for h.
-5
Let s be -1 + (-3 - 3*-2). Solve 20 = -s*h + 6*h for h.
5
Let u(z) = -z**3 + 7*z**2 - z + 9. Let q be u(7). Solve 1 = -3*b - q for b.
-1
Suppose 0 = -5*x + 8*x - 9. Solve 15 = -4*n + x for n.
-3
Suppose -27 = -4*r - 5*t, 3*t = -r - 1 - 1. Solve -2*z - r = -3 for z.
-5
Let z be (-9)/(-4) - (-2)/(-8). Let p be (-3*4/(-6))/(-1) + 3. Suppose 5*c - p = z*c - f, 4*c + 4*f = -12. Solve -2*u = -0*u + c for u.
-1
Suppose 3*b - 1 = 11. Let m = 9 - b. Solve -m*z - 7 = 13 for z.
-4
Let j be 14/8 + 2/8. Solve -3*w - j = -w for w.
-1
Let u(y) = y**3 + 4*y**2 + 3*y - 1. Let q be u(-3). Let r(p) = p + 12. Let b be r(-9). Let v = q + b. Solve 1 = v*j - 3 for j.
2
Let d = -14 - -14. Suppose -3*o + 0*o - r + 18 = d, -2*r - 9 = -3*o. Solve 2 + 3 = -o*y for y.
-1
Suppose 3*x - 20 = 85. Suppose -3*f + x = v, -4*f = -v + 5*v - 44. Solve 5*c = 2*c + f for c.
4
Let w = 30 - 22. Let z be 3 + 2 + w/(-4). Solve -8 = z*t + 4 for t.
-4
Let f = 23 + -18. Solve 0 = -0*p + f*p for p.
0
Let h(p) = -2*p - 2. Let o be h(-2). Suppose 0*m - 10 = -o*m + 2*f, 4*m + 4*f = 20. Solve l - m = -4*l for l.
1
Suppose 2*n - 17 + 63 = 4*f, -4*n = -3*f + 47. Let p = f + -9. Suppose c - 6 = -p. Solve -c = i - 3*i for i.
3
Let x(h) = -5*h + 27. Let o be x(5). Solve -8 = o*d + 2*d for d.
-2
Let j(b) = -b**2 + 3*b + 5. Let p be j(3). Solve -k - p = -10 for k.
5
Let k(x) = x**2 - 8*x + 2. Let l be k(8). Solve -l*d + 3 = -d for d.
3
Suppose -p - 16 = 3*p + 2*f, -5*p - 11 = -2*f. Let d be 2 - (-2 - p)/(-1). Solve d*t + 4 = t for t.
-2
Suppose -2*w = -r - 15, -3*w + 24 = -7*r + 5*r. Let f = -9 + 17. Suppose f = 2*o + 2*o. Solve -o*m = m - w for m.
2
Suppose 4*x = 48 + 16. Solve -x = 3*j + j for j.
-4
Let t be (1 + -25)/((-21)/(-14)). Let i = t - -26. Solve 0 = 4*k + k + i for k.
-2
Let o(u) = u**2 - 1. Let x(q) = q - 5. Let d be x(6). Let n be o(d). Solve h + n*h = -1 for h.
-1
Let k(q) = q**3 + 10*q**2 - 12*q - 7. Let w be k(-11). Solve 0 = -5*i + i + w for i.
1
Let l be 2 + 3*12/9. Solve -3*j - l = -6*j for j.
2
Let w = 5 + -3. Let d(h) = h**2 - 2 - 2*h - h - 3. Let j be d(5). Solve -8 = -j*i + w for i.
2
Let s(y) = -2*y - 38. Let n be s(-23). Solve n = i + i for i.
4
Let p(o) = -o**2 - 6*o. Let m be p(-6). Suppose m + 5 = a. Suppose f + 3 = 7, -3*v + a*f = -40. Solve -i - v = -5*i for i.
5
Let o(q) = -q + 13. Let i be o(12). Solve i = 2*g - 3 for g.
2
Suppose 1 + 17 = u. Let z = u + -7. Solve -1 = -3*k + z for k.
4
Let m be (-1 - -1) + 6 + 0. Suppose 0 = x - m. Solve r = x*r + 15 for r.
-3
Suppose -4*y - 6 = 10. Let k = -2 - y. Solve -4*q + k = 10 for q.
-2
Let k be 7/(-2)*(6 - 72/9). Solve -3*q - 2 = k for q.
-3
Let m = -9 - -18. Let i be m/(-3) + 3 - 0. Solve i = -0*q - q + 4 for q.
4
Let v = 30 + -24. Solve g = v*g + 20 for g.
-4
Suppose 2*w - d + 10 = d, 3*w + 4*d + 15 = 0. Let n be -3 + 3 + (-1 - w). Solve 2 = -2*g - n for g.
-3
Suppose -5*m = -z - 14, 2*z - z = 3*m - 8. Solve -2 = -m*g - 17 for g.
-5
Let f = 6 + -1. Let n = 5 + -3. Suppose -f*k - 3*u + 9 = 0, n*u - 6 = 3*k - 4*k. Solve k = 5*w - 17 - 8 for w.
5
Let k be (9/(-6))/((-9)/12). Suppose 3 = f - k. Solve 0 = -2*p + 3*p + f for p.
-5
Let o(k) = -5 + k**2 + 3*k + 3 - k**3 + 3 + 3*k**2. Let p = -4 - -7. Let m be o(p). Solve m + 1 = 5*d for d.
4
Suppose 0 = -4*g + 3*h + 7, -2*h + 25 - 3 = 4*g. Solve g = 2*a - 0*a for a.
2
Let b = -17 - -24. Let r be (-3)/b - 187/(-77). Solve 0 = r*m + m for m.
0
Let v(g) = g - 3. Let y be v(7). Solve -4*x - y = 16 for x.
-5
Let s(c) = c**3 + 2*c**2 - 5*c - 2. Let a be s(-3). Solve a*h - 2*h = 0 for h.
0
Let i(d) = -d**2 - 9*d + 41. Let j be i(-12). Solve 4*o = 5*o + j for o.
-5
Suppose -5*n + 12 = -2*n. Solve 9*p = n*p + 15 for p.
3
Let y = 3 - 56. Let a = -37 - y. Suppose 4 = -4*j + a. Solve -j*d - 6 = 9 for d.
-5
Suppose -8*w + 24 + 0 = 0. Solve 10 = u - w*u for u.
-5
Suppose 5*c = -f - 12, 1 = -2*c - f - 2. Let t(s) = -3*s - 4. Let b be t(c). Solve -5*d = -4*d + b for d.
-5
Suppose 3*i - 448 = -0*i - 4*c, 5*c + 162 = i. Suppose -5*g + g = i. Let r be 2 - g/4*2. Solve 1 = -4*k + r for k.
5
Let v be 4*20/(-30)*6/(-8). Solve -3*x + 10 = v*x for x.
2
Let a(t) = -t - 3*t - 1 - t. Let o be a(-1). Solve o = -4*j + 12 for j.
2
Suppose -2*w + 96 = 2*w. Suppose 2*z = 2*n, 0*z = z + 5*n + w. Let b be (z/3)/(10/(-15)). Solve 0 = 2*c - 4*c + b for c.
1
Let s be (9/4)/(3/(-12)). Let n = s + 10. Solve w - n - 1 = 0 for w.
2
Suppose -r - 9 = -4*y, 2*r - 3*y = -0 - 3. Solve -25 = r*s - 8*s for s.
5
Suppose -a + f + 6 = 0, -a + 3*f = -3*a - 3. Suppose 62 + 146 = 4*u. Let n be 2/9 - u/(-9). Solve 0*i - a*i - n = 0 for i.
-2
Let m = -11 + 17. Solve 3*t = -0*t - m for t.
-2
Suppose -c - 4*d = -5 + 3, -5*c + 10 = -2*d. Suppose -4*y - 4 = 0, y = c*j - y - 16. Let a(q) = 2*q**3 - 3*q + 2. Let i be a(2). Solve -3*s + j*s = i for s.
3
Let o be (-6)/21 + (-2)/(-7). Suppose 3*y + n = -o*y + 12, -4*n = 4*y - 24. Solve 3 = -2*k - y for k.
-3
Let s be 4/(-6)*30/(-5). Let l = 8 - 6. Suppose -5*n = -4*f + 5, -l*f + 4*n + 3 = -1. Solve -4*g + f = s for g.
-1
Let f = -1 + -4. Let o = 5 + f. Solve 0 = -2*y - o - 2 for y.
-1
Let r be 4/2 + (3 + -2)*1. Solve 0*n = r*n + 3 for n.
-1
Let p = -33 - -44. Solve 3*u + p - 2 = 0 for u.
-3
Let b(t) be the third derivative of 0*t**3 - 2*t**2 + 1/60*t**5 + 1/24*t**4 + 0 + 0*t. Let r be b(2). Solve -6 - r = -3*a for a.
4
Suppose 4*l - a = 3, 3*l - 2*a - 16 = -4*a. Suppose 4*v - 7 - 1 = 0. Suppose -4 - 6 = -v*w + l*m, 3*m = -4*w - 8. Solve -d + w = 3 for d.
-2
Let c = 15 + -27. Let h(t) = -t**2 + 6*t + 15. Let w be h(7). Let l be c/18 + w/3. Solve 4*f + 10 = l for f.
-2
Suppose 0 