2 - y = 0 for s.
2
Suppose c + 6 = -2. Let x = c + 10. Solve -x*v - 2*v = -16 for v.
4
Let b be (126/(-56))/(6/(-8)). Solve -1 = -2*n + b for n.
2
Suppose -5*n - 2 = -3*n - 3*d, 0 = -4*n - 4*d + 16. Solve -n*i + 5 = 3 for i.
1
Let n(v) be the second derivative of v**4/6 + 2*v**3/3 + 2*v. Let c be n(-3). Let m be c/(-5)*(-10)/3. Solve -1 = w - m for w.
3
Suppose 0 = -4*t + 3*t - 2*g - 1, -5 = 5*g. Let o be 4 + -2 - (t + -1). Solve -q = o*q for q.
0
Suppose 0*p + 7 = 4*t - p, -4*p - 17 = -5*t. Let k be ((-8)/6)/(1/(-3)). Let l = k - t. Solve 0 = -s - l*s for s.
0
Suppose -2*x = -4*p + 7 + 5, 0 = -x + 4*p - 16. Suppose 9 = 5*i + 3*f, -f = 5*i - 2*f + 3. Suppose -c + i*c = -x. Solve -c*u = -9*u - 5 for u.
-1
Suppose 4*m - 2*m = 64. Let o be (-2)/(-1)*(-3)/(-2). Suppose d + o*d = m. Solve -3*v - d = -v for v.
-4
Suppose 4*o = 3*a - 92, -o - 146 = -5*a - 21. Suppose -2*m = -6*m + a. Solve 4*p = -6 - m for p.
-3
Suppose 26 = 5*p - 2*y + 2, -5*p - y = -18. Solve 2 + 6 = p*c for c.
2
Let b(g) = 2*g + 9. Let u be b(-6). Let v = 2 + u. Let o be (-2 + v)/((-6)/8). Solve -2 - 2 = -o*y for y.
1
Suppose 12 = -3*a + 33. Solve -2 = 5*o - a for o.
1
Let j(d) = d - 1. Let g be j(2). Solve 0 = -s - g + 3 for s.
2
Suppose 3*h - 34 = -5*z, 2*z - h + 2 = 3*h. Let q = 7 - z. Solve q*a - 8 = 2 for a.
5
Let y be (3 - -72)*(-6)/(-18). Solve -2*t = 3*t + y for t.
-5
Let h(v) = v**2 + v - 2. Let z be h(2). Suppose -25 = 5*w + 5*b, 0 = -w + b + z*b - 11. Let q = -1 - w. Solve -6 = -q*f + 9 for f.
3
Let r(m) = -m**3 + 5 + 3 - 5 + 6*m**2 + 1. Let n be r(6). Solve 0 = -0*c - n*c + 16 for c.
4
Suppose -5 = -0*y - y. Solve -y*p = 4 + 11 for p.
-3
Suppose 3*y = 2*b - 0 - 27, -80 = -5*b - 5*y. Solve -4*m - b = -m for m.
-5
Let a(u) = -u - 3. Let g be a(-9). Solve -2*b + 0 = g for b.
-3
Suppose 2*w = -2*o - 3*o + 10, -5*w + 6 = 3*o. Suppose -o*g = 3*g. Solve g = -u - 4*u for u.
0
Let m(w) = -3*w + 29. Let f be m(8). Solve f*o - 15 = 10 for o.
5
Suppose -7*y + 114 = 12*y. Solve 3*k - 15 = y*k for k.
-5
Suppose 0 = -5*h + 3 + 2. Let t(s) = s + 1. Let p be t(h). Solve 6*i - p*i + 16 = 0 for i.
-4
Let g(v) = v**2 - v - 1. Let q be -3 + 6 + 0/(-2). Let j be g(q). Suppose -j*c = -10 - 5. Solve c*s + 1 - 7 = 0 for s.
2
Suppose 0 = -2*r - 2 + 4. Suppose -3*w = 2*w. Let t be 1*(r + 2) + w. Solve -t*n - 5 - 10 = 0 for n.
-5
Let x(l) = -l**2 + 10*l. Let n(d) = d**2 + 4*d - 2. Let z be n(-6). Let t be x(z). Solve t = -0*c + c + 4 for c.
-4
Let k(j) = j**3 - 4*j**2 + j - 2. Let o(m) be the second derivative of m**4/12 + m**3/6 + m**2 - 3*m. Let l be o(-2). Let i be k(l). Solve 10 + i = 4*u for u.
3
Let j(i) = -i**2 - 8*i - 6. Let h be j(-5). Let d be 24/h - 4/6. Solve 4 = -d*y + 3*y for y.
4
Let o(f) = -f**3 - 12*f**2 - 12*f - 5. Let m be o(-11). Let t(d) = -d**3 + 5*d**2 + 9*d - 6. Let l be t(m). Solve -l - 13 = 5*y for y.
-5
Let r(s) = -s**2 + 5*s + 2. Suppose -2*g = -7*g - 60. Let o = 17 + g. Let y be r(o). Solve -y*u - u = 15 for u.
-5
Suppose q = 3*q - 4. Let a(w) = -w**2 + 10*w - 6. Let l be a(9). Suppose q*p = l*p. Solve -4*h = -p*h for h.
0
Let i = 0 - -1. Suppose -2*b + i = -3. Suppose b*o - 40 = -2*o. Solve 5*k - o = -0 for k.
2
Let i(u) = 2*u**3 - 3*u**2 + 2. Let l be i(2). Solve 0 = 3*n - l for n.
2
Suppose -4*c = c - 25. Suppose 5*l - c = 5. Solve -l*d = -7*d + 10 for d.
2
Let n(y) = -y**3 + 3*y**2 + y. Let a(l) = -l + 2. Let x be a(-5). Suppose 7*t - 4*t = 5*d + x, -2*d = t + 5. Let w be n(d). Solve 4*m + 2 = -w for m.
-5
Let c be 0 - ((-4)/18 + 34/(-9)). Solve c*w - 14 = 2 for w.
4
Suppose 5*t = 2*t + 6. Suppose 2*h = z, -z - 3*h + 9 = -t*h. Solve z*v - v + 15 = 0 for v.
-3
Let k(g) = -1 + 13 + 21*g - 22*g. Let o be k(11). Solve -u + o + 3 = 0 for u.
4
Let p(v) = -v - 20. Let k be p(-24). Solve 3*w + w - k = 0 for w.
1
Let d(o) = -7*o + 21. Let v be d(3). Solve z - 1 = -v for z.
1
Let d = 1 - -2. Suppose -3*v + 4 + 10 = 2*h, 0 = -d*v + h + 11. Solve 2 = -2*o + v*o for o.
1
Suppose -2*d = -5*r + 8, 3*r + 3*d + 16 = 4. Solve r = 5*v - 3 - 2 for v.
1
Let p(s) = s**2 - 4*s - 6. Let u be p(6). Let h(b) = -b**2 - b + 4. Let w be h(-2). Solve 0*o = w*o + u for o.
-3
Let u be (-9)/15 + (-6)/(-10). Suppose u = 2*i - 0*i - 32. Solve -4*g - i = 4 for g.
-5
Suppose 0 = -7*h + 2*h + 70. Let m = h + -14. Solve m*b = -b for b.
0
Let t(d) = d**2 - 3*d - 4. Let g be t(5). Solve 0 = -4*u + g*u + 10 for u.
-5
Let o be 154/55 - (-1)/5. Solve 3*z = 9 - o for z.
2
Let c(k) = -k - 6. Suppose 0 = 3*b - 2*n - 7, 3*b + n = -2 + 3. Let d be (-2 + b)/(2/16). Let q be c(d). Solve 0*r - q*r = 0 for r.
0
Suppose -3*o + 4*o - 20 = 3*p, 2*o - 2*p = 28. Suppose 4*j + j - 2*c - 34 = 0, 0 = -4*j + 3*c + 23. Let y = j + -2. Solve -o = d - y for d.
-5
Suppose 3*j = j - 42. Let n = -21 - j. Solve n*y = 4*y - 4 for y.
1
Suppose 0 = 4*q - 9 - 11. Solve -4*l + q*l = 0 for l.
0
Suppose 5*n + 3 = 13. Solve -9 = n*z + z for z.
-3
Suppose -g + 5*g = -5*t + 44, -4*t = -g + 11. Let s = -9 - 1. Let x = s + g. Solve -u + x = -0 for u.
1
Let z be (-3)/(2*3/6). Let j = 0 - z. Suppose j*b = -5*o + 1 + 3, -3*o - 3*b = 0. Solve h - o*h - 1 = 0 for h.
-1
Let g = 10 + -9. Let d(y) = 3*y**3 + y. Let x be d(g). Let o be (-3)/(-12) - (-15)/x. Solve 5 + 15 = -o*n for n.
-5
Let r(j) = 3*j**2 + 1 + 2 + 0 - 4. Let y be r(1). Solve -2*u = y*u - 20 for u.
5
Let d = 9 - 4. Suppose 5*r - 11 = -3*s, -2*s = d*r + 6 - 20. Let n be s/(-6)*4 + 0. Solve -b - 5 = -n*b for b.
5
Let f = -7 + 5. Let g = -2 - -5. Let b = g - f. Solve -m = -b*m for m.
0
Let x(r) = 2*r - 5. Let z = -2 + 6. Let s be x(z). Let n(c) = c**3 + 2*c**2 - 2*c - 2. Let b be n(-2). Solve -b - s = -m for m.
5
Suppose -6*k - 5*l - 24 = -3*k, 9 = -2*k - l. Let m = k - -2. Let j be m/(-1 + 2) + 7. Solve -n + j = n for n.
3
Suppose -5*s + 43 = -2. Solve t - 4*t + s = 0 for t.
3
Suppose -5 = -k, 0*k + k - 29 = -4*g. Let i(p) = p + 5. Let l be i(-5). Suppose -2*c - 7*x + 2*x + 31 = l, 4*c = 3*x - 3. Solve g - c = -j for j.
-3
Let s(t) be the third derivative of -t**4/12 - t**3/2 - 2*t**2. Let y be s(-4). Solve h = y*h + 8 for h.
-2
Let h(l) = 2*l - 10. Let b be h(6). Let g be (-39)/(-12) + (-2)/8. Solve q - g = -b*q for q.
1
Let y(w) = -2*w - 8. Let h be y(-8). Let v(j) = -j**2 - 7*j - 2. Let l be v(-6). Let f be (1/(-3))/(3/(-27)). Solve -f*x - l = h for x.
-4
Let r = -32 + 34. Solve -r*a - a = 0 for a.
0
Suppose 5*y + 4*s = 53, -1 - 1 = -s. Let w = y - 9. Solve -2 = -2*c - w for c.
1
Let q(b) = -b - 1. Suppose -46 = 5*d - n, 2*d + 5*n + 4 = d. Let p be q(d). Let k = p - 6. Solve -k*x + 6 = x for x.
2
Let j be 3/6*12/1. Solve 0 = -5*p + j*p + 4 for p.
-4
Suppose 2*i - 3 - 7 = 0. Solve l - 4 + i = 0 for l.
-1
Let w = 0 + 0. Suppose -6 = -4*n - u, 2*n - 3*u - 8 = -u. Suppose 2*a + 6 = -n, -5*t + 22 = -3*a. Solve -2*x + w = t for x.
-1
Let k(j) = 6*j**2 - 3*j + 2. Let w(r) = -2*r**2 + r - 1. Let p(a) = -2*k(a) - 7*w(a). Let t be p(3). Let o = t + -13. Solve -o*x + 20 = -x for x.
5
Suppose -5*p + 3*r = -4, 3*p + 18 = -2*r - 3*r. Let b = p + 0. Let q be (0 - b) + (1 - 0). Solve -q - 18 = -4*d for d.
5
Let t = -59 + 65. Solve t = 2*u - 0 for u.
3
Let l(f) = -f**2. Let i(v) = 5*v**2 + 7*v + 9. Let o(s) = -i(s) - 4*l(s). Let r be o(-5). Solve 0*m + r = -m for m.
-1
Let b(a) = 2*a + 6. Let w be b(-4). Let f = w + 2. Let s = 6 + -4. Solve -s*q - 3*q = f for q.
0
Suppose -k = 4*k + p + 36, -5*p = 5. Let f = k + 9. Solve 4*r - 3*r = -f for r.
-2
Suppose -2 = -d, 0 = -4*r - 4*d + 27 - 3. Let n(q) = -q - 2. Let y be n(-3). Suppose -12 = -r*x + o, 2*o + 7 = -y. Solve l = x*l - 4 for l.
4
Suppose -4*h = -8*h + 24. Let z be (-48)/20*(-40)/h. Solve 2*v = 6*v - z for v.
4
Suppose 0 = 3*y + 5*t + 13, 0*y + y + 3 = -3*t. Let u = y + 9. Solve 5*f = -2 - u for f.
-1
Suppose 0 = 40*r - 34*r - 120. Solve 6*a - 11*a = r for a.
-4
Suppose 2*q + 0*q - 174 = 0. Suppose 4*h + h = i + q, 2*i = 3*h - 48. Suppose 4*o + 0*z + 2*z - 4 = 0, 5*o - h = 4*z. Solve 0*f - 8 = o*f for f.
-4
Suppose 0*v + v - 11 = 0. Let x be (1 + 0)*(v - -1). Solve -3*u + x = u for u.
3
Suppose -85 = -14*b - 3*b. Solve -5 - 5 = b*v for v.
-2
Let a(h) = h**2 + 9*h + 15. Let d be a(-9). Solve -c + d = -6*c for c.
-3
Let u = -7 - -9. Solve 0 = -z - u*z + 12 for z.
4
Let p be (-1)/(24/21 + -1). Let q(v) = -v**2 - 8*v - 1. Let j be q(p). Solve 0 = 