+ s*f - 0*f, f + 32 = 5*v. Solve -2*z + v*z - 5 = 0 for z.
1
Let z(i) = i**2 - 10*i + 12. Let l be z(9). Suppose -5*j - 3 = 5*x + 7, j = l*x - 2. Suppose 2*t - 7 = -1. Solve x = -2*b + 5 - t for b.
1
Suppose 0 = 8*i - 1 - 47. Solve 2*y = -y - i for y.
-2
Let h = -31 - -51. Suppose 0 = 2*l + 2*i - 21 + 3, 0 = 4*i - h. Solve -l*u = -0*u - 8 for u.
2
Suppose -5*x + 2*x + 27 = 0. Solve w + x = -2*w for w.
-3
Let u(l) = l. Let z be u(5). Suppose -z*x = -r - 15, 0*x = 3*r + 3*x - 9. Suppose r*a + 2*a = 0. Solve -2*y + 3 - 5 = a for y.
-1
Suppose -3*y - 48 = -4*g, -5*g - 15 = -8*g - 3*y. Let c = 13 - g. Solve 10 = -c*x - x for x.
-2
Suppose 4*l + 96 = 4*v, 2*l = -0*l - 8. Solve -d - v = -5*d for d.
5
Let s(y) = -y**3 - 10*y**2 - 10*y - 4. Let k be s(-9). Suppose -2*d = 2*t - 4*t - 10, -4*t = d - k. Solve -5*q + 3 + 7 = t for q.
2
Let x(h) = 3*h**2 + 1. Suppose -6 + 1 = 5*n. Let g be x(n). Let b be 12/(-276) - 278/(-46). Solve b - g = -z for z.
-2
Suppose -2*h = -0*h - 10. Suppose -5*f - b + 8 = 0, 0 = -f + h*f + 4*b. Solve 0 = -f*t - 3*t + 25 for t.
5
Let g be 1*((0 - 1) + 1). Suppose 0 = -2*o + 7*o - 25. Solve g*y + o*y = 5 for y.
1
Suppose 3*i = -0*i + 6. Let a = i - 0. Suppose 14 = 5*b + n - 33, 3*b - 3*n - 39 = 0. Solve -4*f = -a*f + b for f.
-5
Let n = 40 - 26. Solve -2 = -3*h - n for h.
-4
Suppose -32*v = -36*v + 4. Solve v - 6 = -5*t for t.
1
Let r(w) = w + 5. Let m be r(-5). Suppose m = -0*p + p - 3. Solve 11 = p*g - 1 for g.
4
Suppose -15*u + 26*u = 15*u. Solve u = 2*r - 0 - 10 for r.
5
Let l(r) = -r + 1. Let d(v) = -5*v - 16. Let n(u) = -d(u) + 4*l(u). Let c(w) = w**2 + w. Let k be c(-1). Let q be n(k). Solve -6*a = -a + q for a.
-4
Let g = -20 + 21. Solve 4*u + g = 5*u for u.
1
Let p(y) = y**3 - 12*y**2 + 10*y + 13. Let b be p(11). Suppose 5*l - 12 + 2 = 0. Solve 0 = l*z - 8 + b for z.
3
Let i = 25 - 21. Solve 2*m - 6 = i*m for m.
-3
Let h(w) = 2*w + 1. Let c be h(5). Let x = 11 - c. Solve 5*j - 4 - 1 = x for j.
1
Let w(i) = i**2 - 5*i + 4. Let x be w(5). Let j(b) = b**2 - 16*b + 17. Let h be j(15). Suppose -3*p = -2*o + 8, -8 = -0*p + p - h*o. Solve -x*n - n = p for n.
0
Let r(o) = -6*o**2 + 5*o + 4*o**3 + 1 - 7*o**3 + o**3 + 3*o**3. Let z be r(5). Solve 8 = 3*f - z for f.
3
Let h(f) = -5*f + 17. Let i be h(3). Solve p = 1 + i for p.
3
Let g(t) = 2*t**3 - t + 1. Let j(v) be the first derivative of v**2/2 - 4*v - 2. Let y be j(5). Let m be g(y). Solve 0 = -4*i - 2 - m for i.
-1
Let r(m) = m**2 - 6*m - 12. Let b be r(6). Let g = -9 - b. Solve 0*w = -w - g for w.
-3
Let t = 3 - -6. Let b = t + -6. Suppose 5*h = -q - 20, 1 = 3*q + b*h + 13. Solve -c - c = q for c.
0
Let g be ((-3)/2)/((-7)/(-14)). Let w = g + 7. Solve -w*c + 0 = 20 for c.
-5
Let l(t) = t**2 + 3*t - 2. Let w = -16 + 6. Let o = w - -6. Let h be l(o). Solve -3*i = h + 10 for i.
-4
Let h = 8 + -6. Let i(o) = -3*o**3 - o**2 + 1. Let y be i(-1). Let d be 9*h - (5 - y). Solve 3*x - 4 + d = 0 for x.
-4
Suppose 2*n + 8 = 4*n. Solve 0 = n*w + 20 - 4 for w.
-4
Suppose 0 = -6*l - 4*l. Solve l = -3*b - 4 + 19 for b.
5
Let b be 195/9 + 4/(-6). Suppose -2*i - i + b = 3*n, -11 = 3*i - 5*n. Solve 10 = -i*j + 5*j for j.
5
Suppose 0*x = -3*x + 3*h - 9, -5*x = -2*h. Solve -x*k - 2 = -0*k for k.
-1
Suppose 15 = 3*m + 3. Solve 2 = m*q + 18 for q.
-4
Suppose 3 = -0*t - t - 3*k, 3*t - 3*k = 3. Suppose 16*b + 12 = 22*b. Solve b*i - 12 + 4 = t for i.
4
Suppose 2*w - 6 = -0*w. Suppose -i - 2*j = -5, 0*i - 2*i + w*j + 10 = 0. Solve 2*a - i = -3 for a.
1
Let i be (-14)/3 - (-6)/9. Let h(p) = -p**2 - 5*p. Let z be h(i). Solve -z*s = -s + 12 for s.
-4
Let k = 9 - 6. Solve 5 = -k*f + 20 for f.
5
Let h be (3*(0 - 1))/(-1). Suppose h*k + 16 = 7*k. Solve -k*o - 8 + 0 = 0 for o.
-2
Suppose 9*s = 5*s + 24. Suppose 4 = 2*j - 4. Suppose -k + j*k = s. Solve -d = k*d - 9 for d.
3
Suppose -5 = 5*t, 3*t - 2*t = -3*u + 29. Suppose -2 = -3*r + u. Solve 3*g = r*g - 5 for g.
5
Suppose 3*w = -14 - 7. Let y be (-4)/w*14/4. Suppose -y*g = 3*k, 5*k + 0*k = -5*g + 10. Solve -c + g = -4*c for c.
-2
Let f(j) be the second derivative of j**4/12 - j**3 - 2*j. Let o be f(7). Solve -3*h + 1 = o for h.
-2
Let t(g) be the second derivative of g**4/12 + g. Let a be t(2). Solve -b = -a*b + 9 for b.
3
Suppose 2*q - 6 = q. Let b(t) be the first derivative of -t**2 - 4. Let a be b(-1). Solve -g - q = a*g for g.
-2
Let p be (-8)/12 - 4/(-6). Solve p = 2*x - 6 - 0 for x.
3
Suppose 5*q + 4*z - 30 = 0, -q + z = -0*z + 3. Solve -o - q*o + 15 = 0 for o.
5
Let d(y) = -y**2 - 14*y + 15. Let f be d(-15). Solve f = -2*t - t - 15 for t.
-5
Suppose 2*t - 5*t - j + 25 = 0, -4*t + 3*j + 55 = 0. Suppose 6*d = d + t. Solve -d*n + 8 = 2 for n.
3
Let x(y) be the third derivative of y**5/60 + 7*y**4/24 + 3*y**3/2 - 2*y**2. Let c be x(-6). Let p = c - 1. Solve 5*f + 8 = -p for f.
-2
Suppose -8*u = -2*u. Solve 4*m + u*m = 20 for m.
5
Let q = 9 + -9. Solve 2*j + 0*j - 10 = q for j.
5
Suppose 2*z + 60 = 4*z. Suppose 3*u + 0*u - z = 0. Solve -u = -7*h + 5*h for h.
5
Let k(u) = -9*u + 9. Let l(v) be the second derivative of -5*v**3/6 + 2*v**2 + 3*v. Let j(w) = -4*k(w) + 7*l(w). Let d be j(9). Solve 3*t = -5 - d for t.
-2
Let f = 10 + -7. Suppose -5*y + 55 = 5*k, -f - 10 = 2*k - 5*y. Solve 4 = k*c - 2*c for c.
1
Suppose 3*a = 5*v + 5 - 1, 4*v - 4 = 0. Suppose 0 = -o - n, -a*o + 2*n + 3 = -4*o. Let r(t) = -t**3 - 4*t**2 - t - 2. Let f be r(-4). Solve h = f + o for h.
5
Suppose 2*r - 2*a - 16 = 0, -5 - 19 = -3*r - a. Solve 3*y - 1 = r for y.
3
Let x be (-5)/(-20) - (-35)/4. Solve -x + 4 = 5*p for p.
-1
Let n(a) = -a**3 + 9*a**2 + 2*a - 14. Let s be n(9). Solve 5*l = -s - 11 for l.
-3
Let y = -8 + 10. Suppose -32 = -2*i - y*i. Suppose -f + 4 = -0. Solve 0 = f*k - 12 - i for k.
5
Let t = 3 + 0. Let d(y) = 7*y**2 + 3*y + 0*y**3 - 9*y**3 - 12*y + 10*y**3 + 2. Let x be d(-8). Solve i = t*i + x for i.
-5
Let q(u) = -u + 11. Let n be q(5). Let c(o) = -3*o - o + 2*o + 2 + 3*o. Let r be c(n). Solve t - 3*t = r for t.
-4
Suppose 8*w - 28 = 4. Solve -w*a - 20 = -8*a for a.
5
Suppose -4*l = -8*l - 12. Let k be (12/(-16))/(l/12). Solve -a = -0*a - k for a.
3
Suppose 3*w - 2 - 7 = 0. Suppose -o - 4*z + w = -3*z, 2*z = 5*o - 15. Let u = -2 + 3. Solve -5 = -o*q + u for q.
2
Let x = 135 + -133. Solve 0 = -3*r + x - 8 for r.
-2
Let q(l) be the first derivative of -l**2 + 2 + 0*l**3 - 1/2*l**4 - l. Let h be q(-1). Solve 0 = -h*y + 9 for y.
3
Suppose -10 = -3*m - r, -2*r + 8 = 5*m - 9. Suppose 7 = w - 3*d, 0 = w + w - 5*d - 13. Solve -2 = m*i + w for i.
-2
Let h be (((-20)/1)/2)/(-2). Solve j + 16 = h*j for j.
4
Suppose -6*v - 4 = -40. Solve 5*j + 16 = v for j.
-2
Let l(c) = -c**3 + 2*c**3 - 3*c - 3*c**2 + 0*c. Let q be l(4). Solve 0 = -q*m - m - 25 for m.
-5
Let n be 3 - (-6 - 3)/3. Suppose n*t + 10 = t. Let s = t + 5. Solve -7 - s = 5*j for j.
-2
Suppose -3*t = s - 4, 7*t + 4 = 2*t + s. Let g(n) = -n**3 + n. Let b be g(-2). Solve -r - r + b = t for r.
3
Let r be (2/4)/(5/30). Solve 0*g = -r*g for g.
0
Suppose 0 = 4*m - 38 + 18. Solve -m*x - 16 = -x for x.
-4
Let v = -12 - -12. Solve -d = -v*d + 1 for d.
-1
Let d(o) = -o**3 - o**2 + o + 2. Let r be d(0). Suppose 2*i + 2 = -y, -3*i - 2*y + 1 = r. Let s = 8 + i. Solve c = -0*c - s for c.
-5
Let g be -3*4/(-12) - -2. Suppose 0 = -g*s + 9 + 3. Solve 5*r + 6 = -s for r.
-2
Suppose 5*l + 3 - 13 = 0. Let u(m) = 2*m**2 + 4*m + 3. Let z be u(-2). Suppose -2*a = 2, 5*a + 0 = -o - z. Solve -o*j - l*j = 20 for j.
-5
Let p be (6 - -1) + (-10 - -7). Let m be (-74)/(-9) - (-4)/(-18). Solve m*u - p = 4*u for u.
1
Let m(d) = 8*d**3 - d**2 + 1 - 2*d**3 - 3*d**3. Let p be m(1). Solve p*r + 2 + 10 = 0 for r.
-4
Let c be 0 + 2 - (-6 + 3). Suppose 2*x = -0 - 4. Let t(f) = f**2 - f - 2. Let a be t(x). Solve -a*j = -c*j - 4 for j.
-4
Let o be 21 + 0/(0 + 2). Suppose 5 = 3*g - 2*m, g + 4*g = -3*m + o. Solve -u = -g*u + 6 for u.
3
Suppose 2*a - 4*c - 6 = -2*c, 23 = 5*a - 3*c. Suppose 5*y + 0 - 5 = 0, -3*s = 4*y - 4. Suppose s = -a*n + 3*n + 8. Solve n = u + 3 for u.
-1
Let p(u) be the third derivative of -u**4/4 - u**3/6 - 3*u**2. Let c be p(-1). Solve -c*d + 20 = -0*d for d.
4
Suppose -2*q + 3*q = 0. Suppose -2*j + q*j = -22. Suppose 2*b = -7*i + 4*i + 3, 15 = -5*b. Solve i*a = -j - 4 for a.
-5
Let i be (0 - -1)*8 + 2. Let d = 49 + -45. Solve -i = -d*n - 