for s.
-1
Suppose -6*o = -5*o + 7. Let v = -4 + o. Let d = v - -26. Solve -4*p - p = -d for p.
3
Let p be (3 + -4)/(-1)*1. Solve -2*m + p = -3 for m.
2
Let c(t) = 2*t**2 - 4*t - 1. Let j be c(3). Solve -16 + 1 = -j*i for i.
3
Suppose 2*s = -2*i - 2, 2*s - i = i - 18. Let t = -3 - s. Suppose 0 = -3*b + 6, -7 = -3*r - 3*b + 5. Solve 0 = t*v + r*v for v.
0
Suppose -4*x = -j - 15 - 5, -4*x + 5*j + 36 = 0. Let p = 32 - 17. Suppose -2*r = -o + p, -r - 23 = -o + 3*r. Solve x*c - o = 5 for c.
3
Let r(a) be the third derivative of -a**5/60 - a**4/8 + a**3/2 + 3*a**2. Let g be r(-4). Let y be 6 + (g - -1) + -2. Solve 2*t + y = 6*t for t.
1
Suppose 0 = 4*a - 7 - 13. Solve -j + a*j = -12 for j.
-3
Suppose -3*o + 5*g - 2*g + 9 = 0, -3*o + g = -15. Solve q = o*q for q.
0
Suppose 2*n = -5*l + l + 20, 4*n - 19 = -l. Solve -q + n - 9 = 0 for q.
-5
Suppose 10 = 2*n - 2*r + 4*r, 3 = r. Let a(z) = -2*z - 4. Let q be a(-4). Solve -n*h - q = 6 for h.
-5
Let r be ((-42)/4)/7*-2. Solve 0 = -4*y + r*y for y.
0
Let d be (12/14)/((-8)/(-56)). Solve 3*v - d = -0*v for v.
2
Let u = 24 - 22. Solve -j = u*j for j.
0
Let v be 0 - (-3 + -3 + 2). Solve -v*y - 7 - 5 = 0 for y.
-3
Let g be -1 - 26/(-1 + -1). Suppose -g = -0*c - 4*c. Suppose 3*z = 22 + 8. Solve -5*w + c*w - z = 0 for w.
-5
Let s = 5 - -3. Suppose 0 = 2*a + 7 - 29. Let i = a - s. Solve o - i*o = 2 for o.
-1
Let d = 2 + -4. Let b be (-30)/(-4)*d/(-3). Solve 0 = b*r - r for r.
0
Suppose 2*k - 5 = 5*w + 6, 0 = k - w - 7. Let l = k - 6. Solve -h + 0*h - l = 0 for h.
-2
Suppose 4*k = -3*i + 1, -3*i + 3*k = 5*k + 1. Let f = i + 0. Let u be -2 - -2 - f*2. Solve -a = a - u for a.
1
Let a(m) = 2*m**2 - 7*m + 4. Let i = -12 - -17. Let o be a(i). Solve 0 = 4*h + 1 + o for h.
-5
Let i = 34 - 37. Suppose 5*a + 10 - 35 = 0. Let g = a + i. Solve 0 = -s - s - g for s.
-1
Suppose 6 = -3*q + 3. Let x be (4/6)/(q/(-6)). Solve 2*k - x*k = 2 for k.
-1
Let c(m) = m**3 + 3*m**2 + 1. Let o be c(-3). Let p = o - -1. Suppose p*x - 2 = 6. Solve 2*n = -0*n + x for n.
2
Suppose 3*p + 0*i = -5*i - 52, -5*p - i = 94. Let k = -9 - p. Solve 3*d = -2*d + k for d.
2
Let g(r) = r**2 - 3*r - 8. Suppose 5*h = 19 - 4. Let s be (-1)/h + (-38)/(-6). Let x be g(s). Solve a - 6*a = -x for a.
2
Suppose -15 = -3*b, 2*d = 3*b - 0*b - 7. Let k = d + 2. Suppose 3*p = k - 3. Solve -n + 0 = -p for n.
1
Suppose -4*d - 7 - 7 = b, 5*b = -4*d - 38. Let s = -2 - b. Suppose 0 = -s*n - 5*x - 11, -2*n + 3*x + 4 + 7 = 0. Solve -7 - n = 2*c for c.
-4
Let i = -7 + -5. Let w be (i/21)/((-4)/14). Suppose 0 = -t - 0*t + w. Solve -4 = c - t for c.
-2
Let p(j) = -15*j - 2. Let u be p(-2). Let q be 10/(-65) + u/13. Solve -d + q = -2 for d.
4
Suppose 0 = 3*f - 5*c, -5*f + 9*c - 4*c + 10 = 0. Suppose -3*n = f*t - 23 - 12, 0 = n + 2*t - 12. Solve 2 = 3*i - n for i.
4
Let k(b) = 3*b**2 - 3*b - 11. Let d be k(4). Solve 0*x - 5*x = -d for x.
5
Suppose 0 = -2*y - 10, 7*z - 2*z + 460 = -4*y. Let d be z/(-14) + 4/(-14). Solve d*r + 4 = 5*r for r.
-4
Let z = 60 + -57. Solve 0*f - z*f = -3 for f.
1
Let n(z) = -z - 5. Let l be n(4). Let q = 15 + l. Solve -2*i + 5*i = -q for i.
-2
Let r be (0/(-2))/(-2 - 0). Suppose -4*n = 5*c - 40, r*n - 5*c = n - 25. Solve -3*t = -n + 20 for t.
-5
Let u be (2 - -4)/(2/4). Solve u = -6*r + 3*r for r.
-4
Suppose 1 - 13 = -3*b. Suppose -49 = -4*s + 3*o, -b*o + o + 31 = s. Solve -4*t + 0 = s for t.
-4
Suppose 30 = 5*q - 5*b, 2*b + 3*b = q - 14. Solve -q*w + 4 = -16 for w.
5
Suppose -3 - 1 = -q. Let a be ((-6)/(-4))/(2/q). Let u = a + -1. Solve d = -0 - u for d.
-2
Let h(j) = j**3 - 3*j**2 - 5*j + 5. Let d be h(4). Let i be d + 38/(3 - 5). Let n be (-32)/i - (-6)/27. Solve 3*c - n*c + 1 = 0 for c.
-1
Let p = 1 + -7. Let u = -2 - p. Solve -u*c - 2 = 18 for c.
-5
Let b(v) = -3*v - 6. Let g be b(-7). Suppose 5 + g = 5*d. Solve -5*q + q = -d for q.
1
Let d = -1 - -1. Suppose -31 = -5*t + 2*j, 3*j + 4 = -t - d*j. Suppose -w = -3*w + 16. Solve 0 = t*h - h + w for h.
-2
Let b be 50/4*(70/(-25) + 4). Solve -u + b = 4*u for u.
3
Let f(u) = u**2 - 14*u + 9. Let p be f(13). Let t be (-12)/(-5) + p/10. Solve 0 = -t*b - 4 - 4 for b.
-4
Suppose 0 = 2*z + 2*g - 16, -z - 3*z = -5*g + 4. Let l be z/(-22) + 48/22. Solve -3 - 1 = -l*f for f.
2
Let f(z) = z**2 + 2*z + 2. Let h be f(-2). Suppose h*l + l = 0. Solve -2*s + 7*s = l for s.
0
Let y(a) = 3*a**3 + 3*a**2 - 2*a - 5. Let g(c) = -13*c**3 - 13*c**2 + 9*c + 21. Let r(s) = -2*g(s) - 9*y(s). Let x be r(0). Solve 0 = -w - 0 - x for w.
-3
Suppose -5*z + 13 = -2*t, -5*t + 3*z - 23 = -0*z. Let a be (-106)/(-4) + (-2)/t. Let f = a + -17. Solve -4*c = -2*c + f for c.
-5
Suppose -15*u + 15 = -10*u. Solve -u*b = 2*b - 15 for b.
3
Let k(o) = -o**3 + 17*o**2 - o + 20. Let i be k(17). Solve -i*v - 9 = 6 for v.
-5
Let g be 2/2*(1 - -6). Suppose 0 = -3*j - 3*q + 27, 0 = -4*j + 2*q - g + 25. Suppose j*m = 2*m. Solve -5*n + m = -15 for n.
3
Let d(w) be the third derivative of -w**5/60 + w**4/24 - 4*w**2. Let l be d(1). Suppose 0 = -v + 1 + 2. Solve l = -2*r - v*r for r.
0
Let p = 30 - 23. Solve 0 = -3*y + p*y - 16 for y.
4
Suppose -4*i + 17 = -23. Suppose 12 = -0*z + 4*z. Suppose b - 12 = -z*b. Solve b*p = p + i for p.
5
Let m be 2/(-6) + (-3)/(-9). Suppose m = -7*x + 3*x + 16. Solve 5 + 3 = -x*d for d.
-2
Suppose -5*d = -z, -5*z + 6 = -4*d - 15. Solve -14 - 11 = -z*g for g.
5
Let z(a) = -4*a - 3. Let l be z(4). Let t = l + 39. Solve 0*d - t = -4*d for d.
5
Let f(q) = q**2 - 5*q - 2. Let r be f(-2). Solve 0*u - r = -4*u for u.
3
Let u(v) = -2*v**2 - 3*v + 4. Let r be u(3). Let w = 13 + r. Let l be (-35)/w + (-1)/(-2). Solve -y - 25 = l*y for y.
-5
Let j(i) = -3*i - 14. Let c be j(-6). Let f = 8 - c. Solve 0 = 3*o - f*o + 4 for o.
4
Let k(j) = j + 6. Suppose 3*w + 4 = -5. Let r be k(w). Solve -4*g = -r*g - 5 for g.
5
Suppose -4*z + 0*w = -4*w, z + 3*w - 16 = 0. Solve -7*i - z = -6*i for i.
-4
Let n(r) = r**3 + 6*r**2 - 8*r - 5. Let t be n(-7). Let o be 1/2 - t/4. Solve -3*f - 6 + 21 = o for f.
5
Let g(r) = 2*r**2 + 8*r - 4. Let p be g(-6). Suppose -5*a + 6 = -5*b - 19, 0 = -2*a - 4*b - p. Solve 0 = -a*u + 2*u for u.
0
Let u = -8 + 6. Let m be -1 + -2 - 0/6. Let s = u - m. Solve 0 = z + 4 - s for z.
-3
Suppose -2*m - 5*d - 7 = 0, -2*m + 2*d + 0*d - 14 = 0. Let u = -2 - m. Solve -u*w - 5 = 11 for w.
-4
Suppose -9*x = -4*x - 15. Suppose 4*m + x*u = 5, 0*u = -5*m + 2*u + 35. Solve 28 = m*v + 3 for v.
5
Let z = -3 - -3. Let v = z - -2. Let a = -31 + 31. Solve a = -2*c - 4 - v for c.
-3
Let u(p) = -p**2 - 13*p + 5*p + 4 + p**3 + 8*p**2. Let j be u(-8). Solve 0 = j*q + 4 - 12 for q.
2
Let j be 2/(-6) + (-1)/(-3). Suppose j = -d - 4*d. Let f = -6 + 8. Solve d = v - f*v for v.
0
Let f(r) = r**3 - r**2 - 3*r + 4. Let s be f(3). Suppose -7*b + 15 = -2*b. Suppose 2*i + 7 = b*i. Solve s = 4*x - i for x.
5
Suppose 2*x + 4*c + 8 = 0, 6 = -3*x + 2*x - 3*c. Let m = 3 - x. Suppose 13 = m*r + 1. Solve 3*a - r = 11 for a.
5
Suppose -4*v - 12 = -0*s + s, 20 = -5*v. Suppose 2*k - 3 = -m, 0 = -2*k + s*m - 6 + 34. Solve -p = -k*p for p.
0
Suppose -k = -6*k. Let b = 20 + -7. Suppose q + b = 4*p, -7*p = -2*p - 2*q - 14. Solve 2*l + p + 0 = k for l.
-2
Let l be 8/36 + (-52)/(-9). Solve 5*k = 2*k + l for k.
2
Let k be (-6)/(-12)*1*6. Suppose k*l + l = 0. Solve l = 3*c + 6 + 3 for c.
-3
Let s(k) = -k**2 + k - 6. Let x be s(0). Let o be (-2)/3*x/4. Solve 0 = 2*v - 5 + o for v.
2
Suppose -5 = -2*x - 1. Suppose -2*q - 4 = 2*m - 0, -5*m - x = q. Suppose 4*h = -m*b - 4*b + 80, -5*b + 25 = 2*h. Solve -h = 4*g - 5 for g.
-5
Let p(o) = -o**3 + 7*o**2 - 8*o - 7. Let x be p(5). Solve 0 = x*l - 2*l + 5 for l.
-5
Suppose -4*u - 3 + 11 = 0. Solve 3 = 5*s - u*s for s.
1
Let a(c) = 25*c**2 + 10*c. Let q(t) = 17*t**2 + 7*t. Let l(z) = 5*a(z) - 7*q(z). Let f be l(-1). Let j = -7 + 11. Solve -f = -j*p + 7 for p.
3
Let n be 2/5 + (-108)/(-30). Suppose -3*o + o - 72 = -n*a, -4*a - 5*o + 44 = 0. Suppose -3*b + 0*b + 24 = 5*s, a = 2*b + 4*s. Solve 4*v - b*v = 12 for v.
-3
Let s be 4/(3/(18/4)). Solve 0 = -5*z - s - 4 for z.
-2
Let n = 34 - 33. Solve -r - 3 = -n for r.
-2
Let w(j) = -j**3 + 6*j**2 - 4*j + 2. Let q be w(2). Let g be q*-1*3/(-6). Solve 13 = -g*o + 3 for o.
-2
Suppose 4*x + 3*w + 199 = 0, -3*x - 143 = -0*x + w. Let f = -26 - x. Suppose 22 = 4*o - 2*l, -l - 7 = 3*o - 21. Solve -