 5*p - 5*y - 15, -15 = n*p + 5*y. Solve p*f - 4 = -f for f.
4
Let x(g) = -g - 2. Let s be x(-3). Let p = -6 - -12. Suppose -p*f + 3*f = -6. Solve f*b + s = b for b.
-1
Suppose -5*t + 0 + 10 = 0. Solve h - t = -3 for h.
-1
Let k(q) = -q - 5. Let t be k(-6). Let j be (t + 2)*5/(-5). Let u = j - -5. Solve -u = 2*w - 3*w for w.
2
Let w(l) = 18*l**2 + 2. Let b(i) = -i - 9. Let j be b(-7). Let f be w(j). Suppose 3*q + 26 = f. Solve 0 = m + 3*m - q for m.
4
Let w(u) = u**3 + 4*u**2 + 2*u. Let p be w(-2). Suppose 0 = p*q - 0*q + 8. Let s be 96/9 + q/3. Solve 0*t - 5*t = s for t.
-2
Let h(l) = -l**2 - 5*l - 3. Let g be h(-3). Suppose 36 = g*q - q. Suppose 2*c + 2 = 6. Solve 4*j - q = c for j.
5
Suppose -4*t + 24 = -12. Suppose -4*m - 1 = -t. Solve -8 + 2 = m*r for r.
-3
Suppose -3*q = -3*z + 7 - 4, -5*z = -25. Solve 7*v + q = 3*v for v.
-1
Let h be (3/6)/(3/(-90)). Let x = h + 15. Solve -z - 2 + 7 = x for z.
5
Let i = -31 + 66. Suppose 0 = 5*b - i + 5. Solve -2*p = -b*p - 12 for p.
-3
Let s = -14 - -10. Let u = s + 4. Solve a + 2*a = u for a.
0
Suppose -5*z + 23 = -2. Suppose -3*p = -p. Solve p*j - z = j for j.
-5
Let l(d) be the third derivative of d**4/24 - d**3/2 - 3*d**2. Let u be l(11). Solve -4*y = 4 + u for y.
-3
Let s = 72 - 71. Solve -2*n + s = 7 for n.
-3
Suppose 0 = -4*t + 86 - 22. Suppose -t = -11*i + 7*i. Let f be i/(-6) - 2/(-3). Solve 4 = -f*d + d for d.
4
Suppose -2*f - 14 = -2*b - 2, -18 = -2*b + 5*f. Suppose 0 + b = g. Solve -g = 2*j - j for j.
-4
Let b be (3 - -1)/(-8) + (-18)/(-4). Solve -7 + b = m for m.
-3
Suppose -3*x + 58 + 2 = 5*a, 2*a - 4*x + 2 = 0. Solve 4*k + 1 = a for k.
2
Let m(a) = -2*a + 16. Suppose -34 = -3*b - 10. Let t be m(b). Solve t + 10 = -5*l for l.
-2
Suppose -4*i = -10 - 10. Suppose 2*q + 2*q + 16 = -h, i*h + 4*q = -16. Solve h = -5*w - 0*w - 25 for w.
-5
Let l(t) = t**2 - 8*t + 16. Let q be l(7). Solve 3*c = q - 0 for c.
3
Let d(b) = -12*b**2 + 11*b - 8. Let r(v) = 4*v**2 - 4*v + 3. Let a(l) = -4*d(l) - 11*r(l). Let w be a(1). Solve j - 12 = -w*j for j.
3
Suppose 52 = 6*y - 2*y. Suppose -p + y = 4*f - 4, 2*f = 2*p - 4. Suppose p*o - 3 = 27. Solve -i = -3*i + o for i.
3
Suppose -2*b + 2 = -2. Solve -b*z = 2*z + 16 for z.
-4
Let j(f) = f + 1. Let x be j(3). Let b = 7 + x. Solve 3*w = -b - 1 for w.
-4
Let t(h) = -5*h**3 - 2*h**2 - 2*h - 1. Let x be t(-1). Solve -x*a = -0*a + 20 for a.
-5
Let n = -9 - -20. Let o = 15 - n. Let b = -2 - -5. Solve o*a - 23 + b = 0 for a.
5
Suppose -76 = -5*t - 16. Let n = t + -7. Let h = 7 + 3. Solve 0 = -n*k + h + 10 for k.
4
Let c = 50 - 43. Solve -3 - c = 2*n for n.
-5
Let m = 70 + -57. Solve 3 = -4*x - m for x.
-4
Let n be (2 + 1 + -2)*0. Solve g + 0 - 4 = n for g.
4
Let p(m) = m**2 + 12*m + 14. Let i be p(-11). Solve 0 = -5*j + 2 + i for j.
1
Let s(p) = 2*p + 6. Suppose 2*b + 12 = -b. Let u be s(b). Let h be u/(-4)*0/4. Solve 8 = -h*w + 2*w for w.
4
Suppose 4*s - 3*h = -4, 5*s - 37 + 7 = -5*h. Solve 0 = -3*t + s*t - 2 for t.
-2
Suppose x + 55 = -4*x. Let z = 11 + x. Let g be (-2)/(-7) + 20/28. Solve -2*q - 3 - g = z for q.
-2
Let s = 5 + -8. Let b(a) = -a**3 + a**2 + 1. Let w(q) = 3*q**2 - 4*q - 2. Let t(u) = -b(u) + w(u). Let h be t(s). Solve h = -0*n + 2*n - 10 for n.
5
Suppose -3 = q, 3*v - 2 = 5*v + 2*q. Suppose 0 = -2*d + 4*i - 4, 3*d - 12 = -4*i + v. Solve -d*m + m = 3 for m.
-3
Suppose 0 = 11*a - 6*a - 15. Suppose 0*g - a*l = g, -l = -g. Solve 4*r - r + 9 = g for r.
-3
Let t be ((-2)/3)/(2/(-9)). Suppose 4*r = 4, -3*g - t*r + 11 = -r. Let j = -4 + 6. Solve -1 = -j*f + g for f.
2
Let l(i) = 5*i**3 - i**2 + i. Let a be l(1). Solve -4*z - a = -1 for z.
-1
Suppose -5*b + z + 161 = 0, 2*b + 2*z - 82 = -2*z. Suppose -5*a + b = 3*r, -3*r - 3 = 3*a - 24. Solve 9 = -3*j - a for j.
-5
Suppose -5*k + 25 = 5*t, 0*k = -5*t + 3*k + 1. Let u(h) = -h**2 - 8*h. Let v be u(-8). Solve v = -0*f - t*f - 4 for f.
-2
Suppose -2*w + 0*w + 4 = 0. Let j = 5 - w. Solve 2*h - j*h = 0 for h.
0
Let x(o) = -o**2 + 4*o + 8. Let f be x(5). Solve k = -f*k - 20 for k.
-5
Let m = -162 + 182. Solve 5*r + 0 = -m for r.
-4
Let q(h) = -h**2 - 3*h - 9*h - 100 + 116. Let r be q(-12). Let y = 5 + -3. Solve y*o - 6*o + r = 0 for o.
4
Let w(d) = d**3 + 5*d**2 + 4*d + 2. Let c be w(-4). Let r = c - -1. Suppose z - 5 = 5*v, -z - r*v - 3 = -3*z. Solve 3*g - 3 = -z for g.
1
Suppose -k + 3 = -0*k. Solve 4 = k*q + 7 for q.
-1
Let u(w) = w**2 - 6*w - 3. Let o be u(7). Suppose -o*d + 3*d = -3*c + 19, -3*c + 9 = -3*d. Solve -f + c = f for f.
4
Let i(z) = 2*z + 2. Let d be i(-1). Solve -3*k + 8*k = d for k.
0
Let l be (-2)/(-5) + 248/(-20). Let y = l + 22. Let n be 0 - ((-28)/4 + 3). Solve 2*t - n*t = y for t.
-5
Suppose -v + 0*v - 3 = 2*m, v = -3*m - 3. Solve 0*l + l = m for l.
0
Let w(r) = -r**2 + 9*r + 3. Let a be w(9). Let c(v) = 2*v**2 - 3. Let g be c(a). Solve 4*l - g = -3 for l.
3
Suppose 0 = 7*k - 10*k + 18. Suppose -c + 0*c + k = 0. Solve -5*h + c = -14 for h.
4
Suppose 15*s + 50 = 25*s. Solve -7*g = -s*g - 2 for g.
1
Let q(z) = z**2 - 2*z + 1. Let x be q(1). Suppose 4*o + 2*s - 14 = 0, 3*o + 2*s - 8 = -x*o. Let f be o/(6/(-4) - -3). Solve f + 0 = 4*v for v.
1
Suppose -4*f = -4*s - 100, 53 - 6 = 2*f - 5*s. Let j be 2/(-4) + f/4. Let q = j - 1. Solve 1 = -2*h - q for h.
-3
Suppose 1 + 5 = -m. Let k(i) = i**2 + 6*i. Let a be k(m). Solve a = 3*h + 2*h - 25 for h.
5
Suppose -5*p = 3*y - 35, -y + 1 = 3*p - 12. Suppose q = -4*q + y. Solve 0 = q*z + 2 for z.
-1
Let f be 1/(-5) + (-18)/(-15). Let l be (f - -22) + 12/(-4). Suppose 3*x - 4*g + l = 0, 0 = -4*x - 0*g - 2*g + 10. Solve d + x*d = -4 for d.
-4
Suppose -x + 156 = 151. Solve x = 3*s - 10 for s.
5
Let t(r) = -3*r - 2. Let x be t(-2). Solve 0 = x*i - 3*i for i.
0
Let g = -1 + 8. Let h be (-2)/g - 79/(-7). Solve 5*y - 14 = h for y.
5
Let m(l) = l - 4. Let w(i) = 19*i. Let n be w(2). Suppose -4*j + n = 2. Let o be m(j). Solve 5 + o = 5*t for t.
2
Suppose -4*t + 0*t - 2*v = -4, 3*t + 5*v + 4 = 0. Suppose -i + 0*i = -w - 28, 0 = -2*i + 5*w + 62. Let b be ((-8)/(-6))/(i/195). Solve t*r = -0*r + b for r.
5
Let k be 1 - (2 - 4) - 1. Let d be 4 - k/1 - -2. Suppose -5 = -i - r, -5*i = -4*r + 2*r - d. Solve -4*t = -i*t - 10 for t.
5
Suppose -12 = -4*t, -g + 4*g = 2*t - 9. Let r = g - -1. Solve -3*v - 9 + 0 = r for v.
-3
Suppose -2*p + 0*p = 0. Let x = 2 - p. Solve 3*w + x = w for w.
-1
Let t(l) = 5*l**3 - 5*l**2 - 4*l + 5. Let r(x) = -x**3 + x**2 + x. Let o(z) = 4*r(z) + t(z). Let y be o(0). Solve w = y*w for w.
0
Let i = -23 + 25. Solve i*k + 15 = -3*k for k.
-3
Let l(z) = -4*z. Let n be l(-3). Solve 6*k + n = 3*k for k.
-4
Let y be (-3)/6 - 71/(-2). Let d be (31 - 1)*4/6. Let x = y - d. Solve 0*b = -3*b - x for b.
-5
Let m(a) = -a**3 - 6*a**2 - 3*a + 10. Let p be m(-5). Solve -5*g + 2 - 12 = p for g.
-2
Suppose -5*j + 4*v + 32 = 0, 4*v = j - 6*j + 8. Solve 0 = 2*c + 2 + j for c.
-3
Suppose -9*t = -3*t. Solve -2 + t = z for z.
-2
Suppose -n = -4*o - 4, -3*n + 5*o + 1 = -4. Suppose 18 = w + 3*b, -2*b = w - 5*b + 6. Solve 3*z - 3 - w = n for z.
3
Let a = -6 + 7. Let x be a/(2/(12/(-2))). Let q be -5*x*2/15. Solve 0 = q*g - 2 - 4 for g.
3
Suppose 3*n = -10 - 5. Let r = 5 - n. Solve -4*i + r = -2*i for i.
5
Let d(c) = -c**2 + c + 12. Let r be d(5). Suppose -z - 4 - 1 = 0. Let s = z - r. Solve s = -i + 6 for i.
3
Let u(a) = -a**2 + 12*a - 17. Let w be u(10). Solve -w*p - 8 = 1 for p.
-3
Let y(f) = f**2 + 7*f - 2. Let d be y(-7). Let g be (1 + d)*(-21)/3. Suppose 0 = 5*s - 7 - 3. Solve -g*b = -s*b for b.
0
Let d(i) = -4*i**3 - 3*i**2 - 3*i - 1. Let q be d(-2). Suppose 5*l = -q, 2*w + 9 = -2*w - l. Let p = w - -3. Solve -p*y - 3 = 1 for y.
-2
Suppose 2*j - 2 = 3*u - 5, 2*j - 2*u = 0. Solve -v + j*v = 4 for v.
2
Suppose -2*l - 7*c + 2*c + 129 = 0, 0 = 4*c - 20. Let j be l/(-3) + (-7)/(-21). Let p = 25 + j. Solve -k - k = -p for k.
4
Let a(x) = 6*x. Let n be a(1). Let y(i) = i + 6. Let b = -15 - -11. Let d be y(b). Solve d = 2*t - n for t.
4
Let g = 15 - 9. Solve 4*a - 10 = g for a.
4
Suppose -3*t - 3 = 0, o - 3*t - 2 - 1 = 0. Suppose -4*s + 11 = -a, -s - s + 2*a - 2 = o. Let f be 11/3 + 1/3. Solve -f = -2*u + s for u.
4
Let g(y) = -y + 20. Let k be g(16). Solve 0*u + u = -k for u.
-4
Let o be -4*1/4*-2. Let l be 26/12 + o/(-12). Solve -j - l - 3 = 0 for j.
-5
Let n = -2 + 5. Suppo