 k be ((-25)/(-10))/((-10)/(-8)). Solve k*c = c + 5 for c.
5
Let u(x) = -x**2 - 3*x + 2. Let b be u(-3). Let q be -2 - 2/(-2)*b. Solve q*s - 16 = 4*s for s.
-4
Let q = -9 - -11. Solve 5 = -q*y - 1 for y.
-3
Let q = 16 - 16. Let v be (3 + -2)*q/3. Solve -2*h - 3 + 5 = v for h.
1
Suppose 4*d = 3*j - 4*j + 15, 5*j - 39 = -2*d. Solve 6*k - 5 = j*k for k.
-5
Let s be 2 + -1 + -2 + 7. Let k(t) = -s*t + 0*t + 2*t + 3*t - 2. Let r be k(-2). Solve -2*j - 4 = -r for j.
-2
Let y = 9 + -4. Let j(x) = -x**2 + 7*x - 3. Suppose 9 + 11 = 4*b. Let l be j(b). Solve y*s + 3 = -l for s.
-2
Let i(b) = b + 8. Let o be i(-5). Solve -o*n = -0 - 15 for n.
5
Let l(f) = -f**2 + 11*f - 7. Let k(a) = -a + 1. Let d(z) = -4*k(z) - l(z). Let p be d(7). Solve 0 = p*j + j - 4 for j.
1
Suppose 0 = -3*b - 5*p + 101, 3*b + p = 6*p + 91. Suppose 0 = -4*r + 2*r + b. Solve 3*q - r = -q for q.
4
Let m(g) = g - 6. Let a be m(8). Let k = 4 + a. Solve 5*i = 2*i - k for i.
-2
Suppose n = 3 + 1. Suppose 0 = -2*k + 4 + n. Let a(h) = h**2 + 20*h + 2. Let q be a(-20). Solve 0 = -k*y + q*y for y.
0
Suppose 0 = -2*r - 8 + 14. Solve -a - r = -1 for a.
-2
Suppose x + 8 = 12. Solve -i - 3*i - x = 0 for i.
-1
Suppose 10 = -5*k + 35. Let t(j) = -j**2 - 3*j + 4. Let n be t(-3). Solve n = k*o - o for o.
1
Let a = -19 + 27. Let t = -5 + a. Solve -t*l - 8 + 2 = 0 for l.
-2
Let a = 35 + -33. Solve -4*o + a*o = 0 for o.
0
Suppose 3*b - b - 12 = 0. Let m(d) = 2*d + 3*d - 8 - 5*d + 3*d. Let q be m(4). Solve b = -q*i + i for i.
-2
Suppose 0 = 2*h - o + 20, 0*o = -3*h - 3*o - 30. Let y = h - -14. Solve 0 = -3*f + y + 5 for f.
3
Suppose -5*f - 70 = -3*k, 4*f - 54 = -0*k - 2*k. Solve 5*b + k = -0*b for b.
-5
Let c(z) = -2*z + 13*z - 9*z. Let x be c(2). Solve x = -3*m + 13 for m.
3
Let b(a) be the third derivative of a**6/120 - a**5/15 + a**4/12 - a**3 - 2*a**2. Let t be b(4). Let q be 0 - ((-8)/t + 0). Solve q*f = -0*f for f.
0
Suppose 0 = 4*x - 2*x - 4. Suppose 0 = -q + 2*q - 2*d - 21, x*d = 2*q - 36. Suppose 20 = -5*o + 4*g, -3*o + 5*o + 3*g - q = 0. Solve o = -m + 1 - 2 for m.
-1
Let y(d) = -d - 3. Let m be y(-4). Let l(q) = 2*q**2 + 1. Let t be l(m). Suppose -5*z - p - 8 = -28, 0 = t*p. Solve z*x = 2*x - 8 for x.
-4
Suppose -2*y - 3*y = -10. Let r be -3 - (-3)/y*2. Solve r = -2*u - u for u.
0
Let p be (-1)/((-6)/4)*-12. Let o be (-2284)/10 + (-14)/(-35). Let r be p/28 + o/(-14). Solve -s - 3*s = -r for s.
4
Suppose -n + 16 = 3*n - 5*o, 0 = -3*n + o + 12. Solve -5*f = -n*f for f.
0
Suppose 0 = -t + 3*y - 1, -t + 4*t + y = 7. Solve 5 = t*m + 1 for m.
2
Let v be (7/7)/(-3*3/(-63)). Solve -3*s + v = 22 for s.
-5
Let z(g) = 1 + 2 - g + 5. Let s be z(6). Let j(i) = 2*i**2 - 3*i. Let c be j(2). Solve -2 = c*q + s for q.
-2
Let y(k) = 5 + 5*k**2 - 2*k**2 - 4 - 4*k. Let i be y(3). Suppose 0*z = -2*z + 6. Solve -i = -m - z*m for m.
4
Let i(m) = -4*m**3 + m**2. Let f be i(-1). Let t be 0/(2 - 3/3). Suppose t = -2*a - 3*a. Solve a = -f*d - 0*d + 15 for d.
3
Let x be (6/9)/((-4)/(-18)). Let p(q) = q**3 - 14*q**2 + 14*q - 7. Let o be p(13). Solve w + x - o = 0 for w.
3
Let g(z) = -z**3 - 5*z**2 + 12*z + 6. Let o be g(-7). Solve 2*s + o = 7*s for s.
4
Let w(a) = a**3 - 11*a**2 + a - 9. Let r be w(11). Suppose r*l = 3*l - 20. Solve 0 = 3*q + q - l for q.
5
Let g = 10 - 2. Let q(x) = -x**2 + 8*x. Let h(z) = -z + 8. Let u be h(0). Let y be q(u). Solve y*k - g = -2*k for k.
4
Let t = -8 + 17. Let y be (2/(-3))/((-3)/t). Solve -y + 1 = c for c.
-1
Let d be (-17)/(-5) - (-2)/(-5). Let v = -237 + 237. Solve v - d = -3*q for q.
1
Suppose t - 3 = 0, 5*t = -3*w + 2*t + 3. Let h be w/7 + (-111)/(-21). Let d(v) = v + 2. Let z be d(2). Solve 15 + h = z*x for x.
5
Let z(n) = -n - 1. Let m be z(-3). Suppose 6*h - 24 = 2*h. Solve h - 2 = m*c for c.
2
Let j = -34 - -46. Solve d + 2*d - j = 0 for d.
4
Let l(b) = b**3 + 3*b**2 - 5*b - 2. Let x be (-26)/6 + (-1)/(-3). Let c be l(x). Suppose -1 = -t + 2. Solve -c = -5*o + t for o.
1
Let v be (-4 + 4)/(-2) + -8. Let i = -4 - v. Solve i*o - 3 = -23 for o.
-5
Let a = -1 - -3. Solve -10 - a = 3*i for i.
-4
Let i(l) = -l. Let x be i(-10). Solve -o = o + x for o.
-5
Let b be (-9)/(-3) - (2 + -17) - -2. Solve -4*i - i = b for i.
-4
Let c be 12*((-14)/(-6))/7. Solve 0*s = c*s for s.
0
Let a = 37 - 34. Solve -g - 1 + a = 0 for g.
2
Let x be 30/(-12)*1*(-24)/5. Solve -l - 2*l = x for l.
-4
Let c = -13 + 13. Let d be (c + 4)*(-4)/(-2). Solve 0 = -2*a - 2*a - d for a.
-2
Let o = -22 - -34. Let d(c) = 5*c - 8*c**2 + 4 + 13*c**2 + 0*c**3 + c**3. Let x be d(-4). Solve -3*z = -x*z + o for z.
-4
Let s(w) be the second derivative of w**5/20 + 11*w**4/12 - 11*w**3/6 + 15*w**2/2 + 2*w. Let k be s(-12). Solve -k*i + 8 + 1 = 0 for i.
3
Suppose 3*u - 16 = -4. Suppose -4 = -5*f + 6. Suppose -3 = -f*q + q. Solve q = -u*v + v for v.
-1
Let f(p) = p**3 + 3*p**2 - 1. Let n be f(-2). Suppose -m + 3 = -2*s + 3*s, 4*m - 6 = -s. Suppose 3*r + 3*v = s*v + 13, -9 = r - 3*v. Solve -r*w + n = -3 for w.
2
Let v be ((-18)/(-24))/(1/4). Suppose -v*f - f + 20 = 0. Solve -5 = -f*x + 5 for x.
2
Let i(f) be the first derivative of -f**3/3 + f**2/2 + 4*f - 3. Let p be (1 - -1 - 2)*1. Let g be i(p). Solve -8*q + 4 = -g*q for q.
1
Let j = 12 - 7. Suppose -j + 1 = -k. Solve 2 = -k*r + 6 for r.
1
Let f = -86 + 87. Solve -3*h - f = -2*h for h.
-1
Let p be 10/(-25) + (-72)/(-5). Suppose -2*h - p = 5*t, 5*h + t = h + 8. Solve 4 = -h*b - 2 for b.
-2
Suppose -a - a - 22 = 0. Let j(x) = x**2 + 11*x. Let q be j(a). Solve t - 5 = -q*t for t.
5
Suppose 448 = -4*y + 4*j, 3*y + 336 = 6*j - 2*j. Let m be (-2)/(-10) + y/(-40). Solve m*b - 3 = 4*b for b.
-3
Let b = -7 - -12. Let v be 1 + 4 - (1 + 0). Suppose -v*x - 31 - 17 = -4*c, -2*x - 8 = 0. Solve -b*g - 33 = -c for g.
-5
Let l = 8 - 3. Suppose 25 = l*t + 5. Let r be ((-2 + 2)/2)/(-2). Solve r = -0*p - p - t for p.
-4
Suppose 0 = k - 4 + 1. Solve -k*h = 2 + 4 for h.
-2
Let x(m) = -m**3 - 8*m**2. Let g be x(-8). Suppose -4*z - 19 = -5*c, 1 + 3 = 2*c + 2*z. Solve -3*v + c = -g for v.
1
Suppose 3*i = 3*m - 3, -3*m + 2*i = -2 - 1. Solve -2*c + m = -1 for c.
1
Let x(o) = 2*o - 15. Let g be x(10). Suppose 0*d - d = -r - 7, 7 = d + g*r. Solve d = -5*y - 3 for y.
-2
Let v(o) = o**3 - 3*o**2 + 2*o + 2. Let c be v(2). Suppose 3*h + 3 = -2*a, -c*h = 2*a + a - 8. Solve y + y = a for y.
3
Let b(d) = -d**3 + 4*d**2 + d. Let s be b(4). Let o(t) = t**3 - t**2 - t + 1. Let l be o(0). Let z = s + l. Solve -z*g = 2 + 23 for g.
-5
Suppose 2*j + 5*b - 15 = 2*b, 0 = 2*b - 10. Solve -u + j = -5 for u.
5
Let a(o) = -2*o**3 + 2*o**2 + o. Let z be a(-1). Suppose 3*c = -2*f + 8, 5*c - 2*f - 11 = -z*f. Solve -c*d + 0 = -2 for d.
1
Let r be 23/2 - (-2)/(-4). Let y = r - 7. Let i(l) = l**2 - 7*l + 7. Let w be i(8). Solve y*b = -w + 3 for b.
-3
Let y(r) = -r**3 + 4*r**2 + 7*r - 6. Let a be y(5). Suppose 5*v - w + 2 = 3*v, 0 = -a*w - 16. Let m = 4 + v. Solve -2*g - m = 3 for g.
-2
Let l(g) = -g. Suppose 0*y - y = 4. Let v be l(y). Suppose 19 = t - 14. Solve -v*k + 13 - t = 0 for k.
-5
Let i be (-2)/2 - -1*5. Let b = 2 + -6. Let w be 8/32 + 1/b. Solve n = -w*n + i for n.
4
Suppose -5 = -3*d + 4*x, -4*d - 5*x + 14 = -3. Let s(h) = -h**3 - 7*h**2 - 9*h - 7. Let u be s(-6). Suppose 3*n - 1 - u = 0. Solve -n*v + d*v + 3 = 0 for v.
3
Let d be (-1 - (-6 - (-1 + -2))) + 20. Solve -3 - d = -5*s for s.
5
Suppose -14*s + 24 = -2*s. Solve -1 = -h - s for h.
-1
Let x = -161 + 163. Solve -5 = 3*n - x*n for n.
-5
Suppose 3*d = -5*n - 7, 2*n = -3*d + 8*d - 9. Let q be 2 + -1 + d/(-1). Solve q = 3*t - 3 - 3 for t.
2
Suppose 5*x - 5 = 3*n + 2, -5*x + 6 = -4*n. Solve 0 = 3*q + x*q for q.
0
Suppose 1 + 3 = -2*c - b, 2*b + 8 = -5*c. Solve 20 = -c*q - 5*q for q.
-4
Let f be (1 + 1)*6/4. Suppose -41 - 13 = -9*y. Solve 0*h + y = f*h for h.
2
Suppose 7 = 3*x + 1. Let h = -100 - -104. Let l be 2 + (0 - (-4)/(-2)). Solve l = -x*y + 3*y + h for y.
-4
Let a = -17 + 21. Solve -6 = -2*z - a for z.
1
Let c be 640/12 + (-6)/(-9). Let s be c/(-36)*4/(-6). Solve 0*a + a = -s for a.
-1
Let o = 9 - 6. Let r = 18 + -16. Let t be r/(-2)*(0 - 10). Solve -t = 5*k - o*k for k.
-5
Let r be 0 - (-1 + 0) - -4. Suppose -5 = -r*g, -5*g = -i - 5 + 4. Suppose -i*y = -2 - 10. Solve 0*t - y*t = -15 for t.
5
Suppose -4*m - 6 = -7*m. Suppose 2*r = 2 + m. Suppose -r*c + b = -b, 