 Suppose 1 = c - a. Solve -c*p - 10 = -p for p.
-5
Let c(q) = 4 + 12 + 11*q - 4 - 10*q. Let n be c(-9). Solve -4 = -n*g + 5*g for g.
-2
Let x(m) = 2*m - 12. Let a be x(8). Suppose 0 = -4*z - 16, -18 = -3*l + a*z + 7. Solve 0*k + l*k = -9 for k.
-3
Let a(x) = 3*x**2 - 5*x - 4. Let b be a(4). Suppose 0 = 4*y - y - b. Let f(d) = d**2 + 2*d - 4. Let w be f(-4). Solve w*g = 2*g - y for g.
-4
Let t be (-14)/(-12) + 2/(-12). Let q = t + 1. Solve -3*m = q*m for m.
0
Let n(y) = -y + 18. Let i be n(0). Solve -i = -4*s + 2 for s.
5
Let b be (-1 - (0 - 1)) + -2. Let x be (b/3)/((-6)/225). Solve 6*d = d + x for d.
5
Let p(o) = -5*o**2 - 9*o - 8. Let j be 1*((1 - -1) + 3). Let i(h) = 4*h**2 + 8*h + 7. Let u(f) = j*p(f) + 6*i(f). Let x be u(3). Solve 5 = 3*t - x*t for t.
5
Let f(k) = 2*k - 4. Let b(z) = z - 1. Let l(r) = -3*b(r) + f(r). Let j be l(-6). Suppose 0 = -j*d + 3*d. Solve d = -0*t - 3*t + 12 for t.
4
Let n = 129 + -124. Solve -4*x = -n*x + 5 for x.
5
Suppose 4*o + 2*z = 0, -o - 4*o = 5*z + 10. Solve o*m + 3*m - 20 = 0 for m.
4
Let x(u) = 2*u - 2. Let l be x(3). Suppose -5*i + 5 = -2*r - 15, l*r = i - 22. Solve -f + 1 - i = 0 for f.
-1
Let p(f) = -7*f**3 - 1. Let y be p(-1). Suppose 8 = y*b - 2*b. Solve 1 = b*h + 3 for h.
-1
Let d = 27 + -27. Solve d*c = -4*c + 12 for c.
3
Suppose 3*m - 1 - 11 = 0. Suppose -m - 6 = -5*s. Solve 3*j = 5*j - s for j.
1
Let m(k) = -7 - k + 2*k - 7*k - k**2. Let o be m(-6). Let z = 8 - o. Solve -j - z = 2*j for j.
-5
Let d(z) = 6*z**2 - 2*z + 1. Let a be -1 - -2 - (-1 + 1). Suppose 2*h = 1 + a. Let w be d(h). Solve -c = -w*c for c.
0
Let k = -57 + 65. Solve -d + 4 = k for d.
-4
Suppose -4*f - 16 + 3 = 5*h, 4*f + 11 = -3*h. Let w(d) = -4*d**3 + d. Let y be w(h). Solve -y*p + 3 = -3 for p.
2
Suppose -3*d + 2*w = -28 + 102, d + w + 23 = 0. Let t = d + 36. Let i be 13 + 1496/(-119) - (-6)/(-14). Solve 3*p + p + t = i for p.
-3
Suppose k = -2*k + 6. Let c(o) = 3 + o - 4*o - 4 + 2*o. Let r be c(-4). Solve -k*l - 5 = -r for l.
-1
Suppose -4*k - 111 = -31. Let r = 24 + k. Solve 5 + 7 = -r*s for s.
-3
Let n(f) = -4 + 8 + f - f**2 - 6*f + 4. Let j be n(-6). Solve 0 = g - j for g.
2
Let a(d) = d + 10. Let u be a(-7). Suppose -3*c + 2*c + 7 = u*z, c = 3*z - 17. Suppose -2 = -3*r - z*t - 0, 5 = r - 3*t. Solve -v = -r*v - 4 for v.
-4
Suppose 3*r - 6 + 0 = 0. Let g = 1 + 1. Suppose -5*w = -g*v + 34, -3*w + 0 = 12. Solve -3*d - v = r for d.
-3
Let z(g) = -5*g - 2. Let a(k) = k. Let h(j) = 6*a(j) + z(j). Let u be h(3). Solve -4*r - 7 = u for r.
-2
Let i be (-48)/112 + (-17)/(-7). Solve i*c = 3*c for c.
0
Let c(u) = 4*u + 2. Let z be (-2)/(5/((-105)/(-6))). Let g be c(z). Let o be g/(-10) + (-10)/(-25). Solve -o*v = v + 12 for v.
-3
Let w = 19 + -17. Suppose -w*p - p = 3*x - 33, 23 = 3*p + x. Solve -10 = p*s - s for s.
-2
Let m(s) = -2*s + 34. Let k be m(11). Solve -4*b + b = -k for b.
4
Let u be (8/10)/((-2)/(-10)). Suppose 5 = -u*z + 13. Solve 0 = 2*l - z for l.
1
Let y(s) = s + 16. Let f be y(-9). Solve -5*b - f = 8 for b.
-3
Suppose 3*f = 2*g + 10, -f + 6*f + 4*g = 2. Suppose -k - f = -5. Solve -2*t - k*t = -20 for t.
4
Let b be 1/(-2)*(-4)/(-2). Let f be (b + 1)*3/(-3). Solve 4*w + 3 + 13 = f for w.
-4
Let h(l) = -2*l - 9. Let k be 1/(-1 - 1/(-2)). Let r = -4 + k. Let d be h(r). Solve d*i = 2 + 4 for i.
2
Suppose -4*v + 44 = p, 2*v + 3*p = 6 + 6. Solve 2*x - 5*x = -v for x.
4
Let z be 4 - 0 - (0 + 1). Suppose x + 2 = 2*x. Suppose 8*v = 5*l + z*v - 35, -3*l + 18 = -x*v. Solve 0 = l*f + 3 - 15 for f.
3
Let i(f) = f - 3. Let b be i(0). Let r(s) = -3*s. Let z be r(b). Let n be ((-1)/3 + 1)*3. Solve z = h + n*h for h.
3
Suppose l + h - 9 = 0, -3*h = 2*l - 4*h - 6. Solve t + 0*t + l = 0 for t.
-5
Suppose -4*g = g. Suppose 2*h + 0*h = g. Solve 0 = -h*q - 4*q + 4 for q.
1
Let n(j) = j - 6. Let d be n(7). Solve -p - d = -0*p for p.
-1
Let w = -4 - -2. Let r be 6/6 - 2/w. Solve -3*y = -4 - r for y.
2
Let g be (-1 + (-3)/(-12))*-8. Suppose 0 = -g*j + j. Let f be (0 - j)/(6/(-6)). Solve 7*w - 2*w = f for w.
0
Let h(r) = -2*r**2 - 2*r - 3. Let q be h(-2). Let j = q - -21. Suppose 0 = 5*n - j - 6. Solve n*b - 20 = -0*b for b.
5
Let y be (114/14 - 3) + (-1)/7. Suppose -b = 3*b + 8. Let c be 4/3*(-3)/b. Solve 6 = -y*n + c*n for n.
-2
Let w(q) = -q + 14. Let o be w(8). Suppose -2*y + 5 = -3. Suppose -7 = -y*a + 5. Solve 12 = -a*u + o*u for u.
4
Let v = 31 + -21. Solve 0 = 4*y + v + 6 for y.
-4
Let i = -3 - -13. Let u be (i + 0)/(10 + -8). Solve 0 = 4*g - u - 3 for g.
2
Suppose 2*y = 3*c + 20, -5*y + 17 + 33 = -3*c. Let p = 15 - y. Let d = p + 0. Solve 26 = d*i + 6 for i.
4
Let x be (17/(-2))/((-1)/2). Let d(i) be the third derivative of -i**4/24 + 11*i**3/6 + 3*i**2. Let u be d(6). Solve -3*o = x - u for o.
-4
Let z(c) = c**2 + 2*c - 3. Let d be z(2). Suppose d*n - 2*n = 0. Let x = 29 - 27. Solve n = -l - x*l for l.
0
Let s be -4 + 8 + -2 - -31. Let z = -24 + s. Solve -3*m + z = -6*m for m.
-3
Suppose -3*y + 2*y = -2. Let q = 1 + y. Solve q*j + 12 = -0*j for j.
-4
Let z = -16 + 22. Solve -z*o + 25 = -o for o.
5
Let y = -22 + 24. Solve 0 = -y*t - 3 + 9 for t.
3
Suppose 2*o - 92 = -4*b, -4*b + b - 4*o = -59. Let f be 5/b - 218/(-10). Solve 5*a - f = 3 for a.
5
Let i = -5 + 9. Suppose -j = 4*f - 29, 5*j - i = 3*f + 3. Let w = 7 - f. Solve -w - 4 = -u for u.
5
Let g = -1 + 1. Suppose g*y = 4*y. Let u = 130 + -128. Solve 7*z - u*z - 15 = y for z.
3
Suppose -3*i = 3*i - 18. Suppose 7*w - 12 = i*w. Solve w*v + 4 + 5 = 0 for v.
-3
Suppose w + 6*l - 4*l = 8, -3*l + 23 = -4*w. Let x be (w/(-3))/((-11)/(-132)). Solve x = 2*i - 0*i for i.
4
Let o be (1 + (-6)/4)*-6. Let c(w) = -w + 7. Let f be c(-5). Suppose -f = -3*z + 4*v, 0 = -2*z + 3*v + 2*v + 8. Solve -y - z = -o*y for y.
2
Suppose k + k - 6 = 0. Suppose 2*a = 0, 4*h - 2*a + 1 + 23 = 0. Let f be 2/h + 112/12. Solve k*p + 0 = f for p.
3
Let u(z) = -z**2 - 17*z + 36. Let p be u(-18). Solve p - 3 = 5*q for q.
3
Let t = -22 + 15. Let w = 7 + t. Solve w*q + 2*q = 8 for q.
4
Suppose -51 = -5*x - 4*w, -5*x - 1 = -w - 57. Solve 0 = 5*u + 1 - x for u.
2
Suppose -1 = -5*k + 4, -4*o - k = 7. Let s be (-4)/(-1 - (-4)/12). Let a = s + o. Solve 6 + 2 = -a*b for b.
-2
Suppose 4*n + 1 = 3*n. Let d = n + 1. Let y be ((-3)/(-1))/((-6)/(-4)). Solve g + d = y for g.
2
Let t = -8 + 12. Suppose -29 - 16 = -3*a. Solve o + t*o + a = 0 for o.
-3
Suppose -20*z + 16*z + 16 = 0. Solve z*m + 0*m = 0 for m.
0
Let c(u) = 2*u + 28. Let a be c(-14). Solve a = 2*o + o + 12 for o.
-4
Let z = 11 - -3. Let d = -14 + z. Solve d = 2*s + 3*s + 25 for s.
-5
Let g(a) = a**3 - 5*a**2 + 4*a - 6. Let j be g(4). Let k be (10/(-4))/(3/j). Solve -k*w + 6*w - 5 = 0 for w.
5
Let s(i) = i**2 - 5*i + 4. Let a be s(5). Suppose 10*l = 5*l + 30. Suppose 2*w + 4*r - 3*r - 7 = 0, w - 4*r = -10. Solve -w = a*x - l*x for x.
1
Suppose 3*d - 2*z = 2, -5*d - 2*z + 3*z + 1 = 0. Let l be -6 + d + 3 - -6. Solve -4*c = -5 - l for c.
2
Let a = 18 + -27. Let h = -7 - a. Suppose r = 3*g - 4 + h, -5*r - 5*g = -50. Solve -25 = r*n - 2*n for n.
-5
Let d = 10 + 2. Let q be ((-2)/(-3))/(8/d). Let i be (-4)/(-1) + q*-2. Solve 0*w + 10 = -i*w for w.
-5
Suppose 3*d - 2*z = 58, 0 = 2*d - 2*z - 20 - 18. Suppose 0*c = 5*c - d. Solve w = 5*w + c for w.
-1
Let w be 2 - (-2 - 2) - 4. Solve 8 - 10 = -w*c for c.
1
Suppose 0*d = 2*d. Let w = d - -2. Suppose b - 20 = -4*b. Solve -b = r - w for r.
-2
Let d(f) be the third derivative of f**8/20160 - f**6/720 + f**5/20 + f**2. Let m(j) be the third derivative of d(j). Let k be m(-2). Solve -h = -k*h + 4 for h.
2
Let k(j) = -j - 3. Let w be k(-6). Solve 0*d - w = -d for d.
3
Suppose 0 = -3*j + 4*j + 2*f - 3, 0 = -j + 2*f + 3. Solve 4 = j*z - 4*z for z.
-4
Suppose c - 20 = -5*h, 2*c + 25 = 5*h + 4*c. Solve 0 = 5*q - h - 7 for q.
2
Let u(z) = -3*z**2 - 8*z + 8. Let m(v) = v**2. Let s(n) = -4*m(n) - u(n). Let x be s(7). Let g = 2 - x. Solve 0 = 5*a - g*a + 6 for a.
-3
Let i = 1 - -3. Solve i*o = 2*o - 8 for o.
-4
Suppose 0*l = -l + 1. Suppose -3*k - 5*w - 1 = 0, 2*w - l = -5. Suppose p + 3*y - 6 = 0, -k*p + 6 = 3*y - 0. Solve a + p*a + 2 = 0 for a.
-2
Suppose 0 = -b - b + 4. Let x(d) = d**2 + 8*d + 1. Let l be x(-7). Let v(s) = -s**2 - 7*s - 1. Let k be v(l). Solve j + b - k = 0 for j.
3
Suppose -3 + 11 = 2*a. Suppose -3*t + 52 + 14 = 0. Suppos