153)/(-6). Solve b = -4*b + s for b.
5
Let m(v) = -v**3 + 3*v**2 - v + 3. Let n be m(3). Solve n = 3*d - 2*d for d.
0
Let q(f) = -f + 1. Let b be q(-3). Suppose 13*m = 12*m + b. Solve -4*z - m = -8 for z.
1
Let d(r) = -r**2 + 7*r - 6. Let t be d(4). Let a be (-2)/(-6) - (-16)/t. Solve -a = g - 5 for g.
2
Let i be (-14)/(-63) - 230/(-18). Solve 2*a - i = -3 for a.
5
Suppose 5*w = -t - 2, 5*t = -2*w + 10 + 3. Suppose -5*s + 27 + t = 0. Solve -s*f + f = 0 for f.
0
Let n(h) = -5*h - 3. Suppose 3*o = 5*j + 10 + 3, 5*o - 5*j = 15. Suppose -y - o = 3. Let i be n(y). Solve -5*s - 3 - i = 0 for s.
-4
Suppose -32 = -4*w + 2*n + n, 1 = -3*w - 4*n. Suppose 5*v - 15 = 3*u + 10, -w = -v + 2*u. Suppose 1 = v*s - 19. Solve -2*r + 4*r = s for r.
2
Let u(o) = 19*o + 1. Let s(k) = k. Let t be s(1). Let f be u(t). Suppose -3*y = i + 12, 2*i - y + 2*y = 1. Solve 8*c - i*c + f = 0 for c.
-4
Let b = 34 + -22. Suppose -3*o + 24 = 3*u, -u + 11 + b = 4*o. Suppose -6 = 4*i + 2*r, -5*i = -r + 2 - 5. Solve i = -2*c + o*c - 12 for c.
4
Let f = 23 + -23. Solve -5*m = -f*m + 15 for m.
-3
Let m(o) = 9*o - 7. Let b be m(1). Let a be (-1*3)/((-3)/3). Solve b*l = -l + a for l.
1
Let s = 6 - 2. Suppose 4 + s = 4*d. Let r = -10 - -10. Solve 0 = -r*h - 2*h - d for h.
-1
Suppose -2*d + d - 4*d = 0. Solve 10 = -5*p - d*p for p.
-2
Suppose 0 = 3*m - m + 10. Let z be (-2)/3*(m + 2). Solve -z = 3*r - 2*r for r.
-2
Suppose 0*f = -5*f + 65. Let r(v) = -8*v**3 - v**2 + 1. Let x be r(1). Let c = x + f. Solve -c*n - 36 = -11 for n.
-5
Let c be (2/(-6))/(1/3). Let d(k) = -k**3 + 12*k**2 - 12*k + 13. Let i be d(11). Let j = i - c. Solve -f - j*f = -8 for f.
2
Suppose 0 = 2*s + 2*a - 36, 4*s - a - 45 = 4*a. Solve -s = 4*y + y for y.
-3
Let x = 24 + -19. Solve l + x = -4*l for l.
-1
Suppose 5 = 5*n - 4*p + 1, -32 = -5*n - 3*p. Solve 0 = n*u - 1 - 3 for u.
1
Let d(x) = -x**3 + 4*x**2 + 5*x + 5. Let c be d(5). Let n(w) = -2*w - 3. Let m be n(-3). Solve -c = 2*a - m for a.
-1
Let w be 82/14 - 15/(-105). Solve -7*u + 5 = -w*u for u.
5
Let o(z) = z**3 - 2*z**2 - 4. Let k = 9 - 6. Let y be o(k). Solve 0 = y*s - 2*s - 15 for s.
5
Suppose 4*v - 17 - 7 = 0. Solve 2*g + 4 = v*g for g.
1
Let r be (-12)/((-24)/10 + 2). Suppose -5*a + 0*a + r = -3*t, -3*a = 4*t - 18. Solve 2*k - a = -0*k for k.
3
Suppose -99 - 77 = -4*n. Suppose 4*o + 0*o = n. Solve -5*s + o - 1 = 0 for s.
2
Suppose 3*q + 4*q = -0*q. Let u be (-22)/(-6) - 4/(-12). Let d = 8 + -4. Solve q = d*y + u for y.
-1
Let q(w) = w**2 + 5*w + 9. Let x be q(-4). Solve 6 = -x*g + 1 for g.
-1
Let g = 133 + -117. Solve -g = -3*c - 7 for c.
3
Suppose c = 3*c - 7*c. Solve c = d - 5*d for d.
0
Let g = 11 + 1. Solve 0 = 5*t - g + 2 for t.
2
Suppose 2*o - 5*o = 0. Let l be 4 + o + -7 + 5. Solve l = -m - m for m.
-1
Suppose 0 = -3*j + d + 10, -3*d - 1 = -3*j + 11. Suppose -j*c + 15 = 3. Let m = -1 - -1. Solve -c*u + m - 12 = 0 for u.
-3
Let y = -67 + 73. Solve y*z - z = 20 for z.
4
Let r(h) = h**2 + 9*h + 16. Let d be r(-7). Solve -d*y = -0 + 10 for y.
-5
Let q(d) = -d**2 + 4*d + 4. Let f be q(4). Let s(j) = -2*j. Let a be s(-1). Solve f*b + 8 = a*b for b.
-4
Let n be (-8)/(0 + (-8)/4). Let r = -4 + n. Solve r*p - 6 = -3*p for p.
2
Suppose -i + 0*i + 14 = 5*v, -3*i + 6 = -3*v. Let y(o) = o + v - 4 + 5. Let p be y(3). Solve 0 = -5*a - 9 - p for a.
-3
Let l be (-5)/10 - (-6)/(-4). Let w be (12/(-3))/(l + 1). Solve -3*s - w - 2 = 0 for s.
-2
Let p(d) = -d**3 - 5*d**2 - 2*d + 1. Let k be p(-5). Solve 4*u - k = 9 for u.
5
Let b(v) = 10*v**2 - 7*v + 4. Let d be b(4). Suppose 5*l - d = 3*l. Let n be 4/6 - l/(-6). Solve -4*f + f = -n for f.
4
Let a(h) = h**3 - 4*h**2 + h - 4. Let i be a(4). Suppose -4*n + 4*f = 12, n - 2*n - 3*f + 9 = i. Solve -4*t - 3 + 11 = n for t.
2
Let i(m) = -2*m - 4. Let h be i(-3). Let d = 167 - 158. Solve -u = h*u + d for u.
-3
Suppose 0 = -9*p + 5*p. Suppose p*w - 4*w = -8. Solve -w*d = -d - 4 for d.
4
Let t = 90 + -87. Solve -6*x = -t*x for x.
0
Suppose 4*x + 28 = 2*x. Let p be 2 + 7/(x/(-20)). Solve -2*t - p = -2 for t.
-5
Let w(f) = 5*f + 1. Let l be w(2). Let j = 16 - l. Let y be (-1 + 2)/((-1)/(-2)). Solve -23 = j*o + y for o.
-5
Suppose -5*j = 4*w - 16, 3*j + 53 = 5*w + j. Let x(v) = v**3 - 9*v**2 - v + 13. Let d be x(w). Solve -12 = d*f - 0*f for f.
-3
Suppose 2*b - 20 = -3*p + 6*b, 0 = -3*p + 2*b + 16. Let j = 10 - p. Solve j = 2*m + 2 for m.
2
Suppose n = -4*n + 3*m - 37, 2*n + 3*m - 2 = 0. Let h = n - -5. Solve 4*a + h + 8 = 0 for a.
-2
Let c(n) = -n + 4. Let j be c(4). Solve -4*a + 4 + 4 = j for a.
2
Let g(r) be the third derivative of r**4/6 - 5*r**3/6 - 4*r**2. Let a be g(5). Solve -x - a = -4*x for x.
5
Suppose 0 = -13*k + 45 + 33. Solve -9 = -3*q + k for q.
5
Let j(m) = m + 9. Let s(d) = 2. Suppose -5*r + 4*o + 2 = 0, 2*r - 4*r + 2*o = 0. Let q(x) = r*j(x) - 9*s(x). Let t be q(2). Solve -3 - 1 = -t*h for h.
1
Let b = -6 - -9. Let o = -105 - -106. Solve m - b = o for m.
4
Let x be (-1)/2*-2*-2. Let r(p) = -2*p**3 - p**2. Let w be r(x). Suppose q = -28 + 32. Solve 4 = -q*k + w for k.
2
Let b(w) = -5*w - 1. Let a be b(-1). Suppose 5*m + q + 1 = 0, -2*m + 4*m + 4 = -a*q. Solve -4*z + z = m for z.
0
Suppose 12 + 0 = 3*a. Let u be (-6)/(-30) - (-18)/10. Suppose 0*x - u*x + 9 = b, -28 = -4*x - a*b. Solve -4*k - 2 = -x*k for k.
-1
Let v(m) = -m**2 - 9*m - 5. Let z be v(-4). Solve -z = 4*h - 3 for h.
-3
Let b = 18 - 14. Suppose 0 = b*z + 3*l - 51, 2*l - 3*l + 57 = 4*z. Solve -2*t + 5*t = -z for t.
-5
Suppose 0 = -u - 1 + 4. Solve 0 = u*h - 2 - 7 for h.
3
Let v(t) = -t**3 - 4*t**2 + 5*t + 2. Let p be v(-5). Solve 0 = -5*w + 7 - p for w.
1
Let d(u) = -5*u - 10. Let o be d(-7). Solve -o = 4*f + f for f.
-5
Suppose -7 = -2*u + 5. Suppose 0 = -3*i + u. Solve 2*r = -0 + i for r.
1
Suppose 5*l - 4 = -2*z, l - 2*l + 6 = 3*z. Suppose -i = i - 10. Solve l = -2*m + m + i for m.
5
Suppose 3*c - 28 = -4*r, -r = 2*r - 12. Solve 0 = -c*n - 4 for n.
-1
Suppose 0*r + 3*t + 3 = r, 3*t = -2*r + 15. Solve 2*y - r = -0*y for y.
3
Let d(l) = -l**3 - 5*l**2 - 5. Let w be d(-5). Let j(h) = h**2 + 2*h + 1. Let p be j(w). Solve 2*q + p = 6 for q.
-5
Let b(d) = -4*d - 3. Suppose -2*y - 5 = 3*y. Let w be 2/(y/1 + 0). Let u be b(w). Solve -u*p + 5 = 30 for p.
-5
Let w = 152 + -151. Solve 0 = -2*i + 3 - w for i.
1
Let m be 1*-1 - 4*(-1)/2. Solve -f + 2*f = m for f.
1
Let k = -9 - -9. Solve k = -6*v + 5*v for v.
0
Let l be 1*(4 - (2 - -1)). Let i = l + 7. Suppose 0 = a + 2 - 6. Solve -i = -a*y + 2*y for y.
4
Let i = -2 + 2. Suppose -j + 4*j - 12 = i. Solve 4*t = -0 + j for t.
1
Let o = -17 - -29. Suppose 4*p - 4*u = -15 - 1, -p + o = 3*u. Let a be (0 + -1)*1 - -21. Solve a = -p*j - 5*j for j.
-4
Let x = 11 + -8. Suppose x + 7 = -5*u. Let p = 2 - u. Solve p*j = -j + 10 for j.
2
Let u be 0/((-4)/8*4). Solve u = -3*c + 4 + 2 for c.
2
Suppose 5*q + 2*g = 12, 3*q - 4*q + 5 = 3*g. Solve q*y = 4*y - 6 for y.
3
Suppose 2*j - 3*j = -1. Let k be ((-64)/24)/(j/(-3)). Solve 4*q = -0*q + k for q.
2
Let s(d) = -d**2 + 11*d - 10. Let r be s(10). Suppose q - 3 = -1, r = -t - 3*q + 5. Let c = -1 - t. Solve -4*w = -c + 4 for w.
-1
Suppose 0*n = 9*n - 180. Solve -4*b + 0 = n for b.
-5
Suppose 22 = 4*p + 2. Suppose 2*l + 4 = -5*g, -p*l + 0*l + 36 = g. Solve -l = -5*o - 3 for o.
1
Let s be (54/36)/(2/4). Solve -s*o = -o for o.
0
Let z be 0 - 2/(-2) - -3. Suppose 4*q - z*u = 80 - 8, -4*q - 5*u + 45 = 0. Solve -6*w + w + q = 0 for w.
3
Let k(g) = -g**2 - 4*g. Let z be k(-2). Solve z*w - 14 = 6 for w.
5
Let m(q) = -q**2 + 5*q - 4. Let a be m(3). Suppose -3 = -3*w + c, -a*c + 6 = -3*w - 4*c. Solve w = -k + 2*k - 1 for k.
1
Suppose -p - 2 = -d - 4, -2*d + 8 = p. Solve -d = -2*g - 8 for g.
-3
Let h(k) = k**3 + 5*k**2 - 8*k - 4. Let l be h(-6). Suppose -3*t - 8 = 2*d, -2*t - 12 = 5*d + l. Let c = d - -10. Solve j - 5 = -c for j.
-1
Suppose -y + 18 = -3*s, 2*y - 14 + 2 = -2*s. Solve 4*n + y + 7 = 0 for n.
-4
Let y = 0 + 4. Solve -3 = -3*w + y*w for w.
-3
Let q be 8/24 - 2/6. Solve q = 4*w + 3 + 1 for w.
-1
Let v = 28 - 22. Let c be v/9*45/10. Solve 5 + 10 = -c*b for b.
-5
Suppose 0 = 5*h - 66 - 9. Solve 2*q = -h + 5 for q.
-5
Suppose -u + 6*u - 22 = b, 2*u = -4*b. Let q be (-1)/(-1) - (b - -3). Solve q = 4*o + 12 - 0 for o.
-3
Let q(f) = -f**3 - 5*f**2 + 4*f - 9. Let t be q(-6). Let i(h) = -h