2*b + 2 = -6*c. Let q be ((-6)/15)/((-2)/10). Solve q*i - c = 3 for i.
2
Let k(z) = z. Let p be k(-2). Let h(s) = 3*s**2 + s. Let y be h(p). Suppose -2*x - 3*f = 0, -x - y = -3*x + 2*f. Solve x*c = -c for c.
0
Let m be ((-4)/5)/(4/(-10)). Suppose m*x + 5*r = 8, -2*r - 4 = -x + r. Solve x*n = n for n.
0
Let w be 22/6 + (-2)/(-6). Let r = -7 - -3. Let l = w + r. Solve l = -2*t + 5*t + 6 for t.
-2
Let k be 1 + -9*4/(-12). Solve 0 = -2*i + 3*i - k for i.
4
Let z(p) = p**2 - 4*p. Let r be z(4). Solve 4*q - 3 - 1 = r for q.
1
Let t be 3/21 + 1/(-7). Suppose -y - 4*y + 25 = t. Solve 0 = -2*r - 1 - y for r.
-3
Let l be (-1)/5 + (-31)/(-10)*2. Solve -3 + l = -b for b.
-3
Let n(x) = -3*x - 15. Let d be n(-5). Suppose 3*j = -4*k + 5, 0 = k - j - 1 - 2. Suppose r + 4*h - 10 = 4, -5*h = -r - 13. Solve -r = -k*c - d for c.
1
Let v be 2/7 - (-19)/7. Suppose 2*p - 8 = 3*y, 5*y - 1 = -v*p + 11. Solve -t = p*t for t.
0
Let h(s) = s**2 - 20*s - 19. Let n be h(21). Solve -l + n = 6 for l.
-4
Let l = 0 - -5. Suppose 0 = -m + n - 5 + 18, -9 = -3*n. Solve -x + m = -l*x for x.
-4
Suppose 5*p + k = 11, -3*p = p - 5*k - 3. Solve 2*w = p - 12 for w.
-5
Let d = 5 - 3. Suppose 3*r + 2 = 5*r. Let i = r + -1. Solve i = d*t - 16 + 6 for t.
5
Let t be 4/26 + (-128)/(-13). Let s(b) = b**2 - 10*b. Let v be s(t). Solve v = -5*n - 3 - 7 for n.
-2
Let z be 98/21 + (-4)/6. Solve -z*h + h = 0 for h.
0
Let m = -5 - -8. Let i = 8 - m. Solve 6*y = y - i for y.
-1
Suppose -i - 3*f + 6 = 0, 0*i + i + 5*f = 8. Solve -i*w = w for w.
0
Let u = 19 - 17. Suppose g = 4*p + 6, -5*g + 42 = -5*p + 12. Suppose -3*m - 9 - 16 = -4*s, 3*s - 18 = 2*m. Solve u*z = g*z - s for z.
1
Let l be 6/24 - (-55)/4. Let u = -10 + l. Solve -u*o - 9 = -1 for o.
-2
Let z = 15 + -11. Let p = -2 + z. Let k be (-3)/(-6) + 2/4. Solve 0 = -p*v + 1 + k for v.
1
Let v(a) = -a**3 + 4*a**2 - 2*a. Let i be v(3). Let t = -2 - -2. Solve -u - 2*u - i = t for u.
-1
Suppose 4 = -3*w + t, -t = 3*w - 4*t + 12. Solve w = -z + 9 - 4 for z.
5
Let o(q) = q**3 - 3*q**2 - 2*q - 2. Let c be o(4). Solve -5*m + 16 = c for m.
2
Let v be 6/2*2/3. Let m(c) = 16*c - 156. Let z be m(10). Solve 0 = v*s + z - 2 for s.
-1
Suppose 2*g = -4, -4*k = 3*g + 2*g + 10. Let x be 1 + (3 - 2) - 0. Solve k = -2*v - 4 + x for v.
-1
Suppose 6 = 6*y - 36. Solve 11*c + 4 = y*c for c.
-1
Suppose 6*y + 3*x + 17 = 2*y, x - 45 = 5*y. Let g(q) = -q**2 - 7*q + 8. Let k be g(y). Solve 5*o + 5 = -k for o.
-1
Suppose 7*j = -6*j. Solve j*w - 15 = 3*w for w.
-5
Let o(t) = t + 11. Let m be o(-2). Let j = 26 - 16. Solve -m*y - j = -4*y for y.
-2
Let k(o) = 2*o - 6. Let q be k(4). Suppose -s = q - 0, -16 = -4*a + 2*s. Solve -a*p - 5 = -2*p for p.
-5
Let b(v) be the first derivative of -v**4/4 - 10*v**3/3 - 2. Let i be b(-10). Suppose -2 = -y - i*y. Solve -h = y*h - 15 for h.
5
Let a = 5 + -6. Let p be (-1 - (-2 - a)) + 15. Solve 0*o = 3*o - p for o.
5
Suppose 2*p + 2*u - 3*u - 1 = 0, -2*p + 11 = u. Solve -p - 17 = -4*q for q.
5
Suppose 4*x + 85 - 101 = 0. Solve x*i - 1 = -5 for i.
-1
Suppose -4*y - 4 = -0. Let g be (9/((-3)/1))/y. Solve -2*p = -g*p for p.
0
Let d be 82/4 - (7 - 65/10). Solve 4*y + y = d for y.
4
Let v = 28 - 25. Solve -v*j = -j - 6 for j.
3
Suppose -5*w - 12 = -9*w. Solve -2*a - w*a = 0 for a.
0
Suppose 7 = -11*d + 40. Let a(x) = -3*x - 1. Let t be a(-1). Suppose 3*w = t*s - 3, 3*s - 2*w - w - 3 = 0. Solve s*k + d*k = 15 for k.
5
Suppose -3*v - 2*v + 3*x = -25, v = -5*x + 5. Solve v*q = 8 - 3 for q.
1
Let f(a) = 8*a + 33. Let y be f(-4). Solve y = -3*j - 5 for j.
-2
Let k = 8 + -7. Let x be 0/((-2 - 0)*k). Suppose -3*z - h + 18 = 2*h, 5*z - 30 = -4*h. Solve -z = -x*o + 2*o for o.
-3
Suppose 4*y = y - 450. Let r be (-3)/(-7) + y/(-42). Solve 0 = 2*t + r - 2 for t.
-1
Suppose 0 = 5*o - 118 - 7. Solve 2*s + o = -3*s for s.
-5
Suppose 0 = -2*b - 3*x + 8, -4*b = -2*b + 2*x - 8. Solve -2*m = -0*m + b for m.
-2
Let j be 7 + 2/(-1) + 0. Solve j = -2*r + 3*r for r.
5
Suppose -5*n - 45 = -3*a - 2*a, -5*n = 0. Let r = a - -3. Solve -3*h - h = r for h.
-3
Let t be 5/(-40) - (-2)/16. Solve d - 3*d + 2 = t for d.
1
Let k = 49 + -29. Suppose p + 0 + 3 = -2*x, -3*p - k = -5*x. Solve 2*y + x = -1 for y.
-1
Let o = 78 - 52. Suppose o = b - 7. Let u = b - 18. Solve -3*t = -0*t + u for t.
-5
Suppose 0 = -3*v + 3. Let a be (-3)/(3/(-2)) + v. Let y be -2 - -7 - (a - 2). Solve y*i - 4 = 2*i for i.
2
Let t = -52 - -56. Solve -j = j - t for j.
2
Let v be (51/(-34))/(6/(-20)). Solve 4*a + 3 = v*a for a.
3
Let p(t) = -t - 5*t**2 - 7*t**3 + 3*t**2 + 0*t. Let j be (-10)/8 - (-1)/4. Let h be p(j). Solve -12 = 2*y - h*y for y.
3
Suppose 5 = 2*m - 5. Suppose -m = -2*c - 1. Suppose -v = -0 - c. Solve -z = -v*z for z.
0
Let i = 7 + -4. Let f be 23/6 - i/(-18). Solve 0*r - 12 = f*r for r.
-3
Let a = 24 - 25. Let w be (0 + a/(-1))*21. Solve -w = 4*v - 1 for v.
-5
Let m = 19 - 13. Let q be (m/3 - -1)/(-1). Let r = q + 6. Solve 1 + 2 = r*i for i.
1
Let k be 9/1 + 4/4. Suppose 4*a = -k - 10. Let p = 7 + a. Solve -2*z = p*z + 16 for z.
-4
Let q be 2 + 0 - (-4 + 3). Let c be (-2)/(-2)*(q - -2). Let i be 2 + (6/1 - 3). Solve 0*b + c*b = i for b.
1
Let g be (6/(-5))/(18/(-60)). Suppose -3*u = -5*p + 36, g*u + 32 = 2*p + 2*p. Solve -1 + p = w for w.
5
Suppose 0 = 2*u - 0*u - 3*a - 19, 3*u - 5*a = 31. Suppose -3*m - 2 = -5*m. Suppose 2*z + 0*z + m = w, 3*z = -w + 1. Solve u + z = -2*g for g.
-1
Let s(q) = -q - 5. Let c be s(-5). Let j be (0 - c)/(3/(-3)). Solve 3*z + 7 + 2 = j for z.
-3
Let i be (30/(0 + 3))/2. Let b be 28/10*(0 + 5). Suppose -i*y + b = -1. Solve -5*a - y = 22 for a.
-5
Let c(o) = 7*o**2 + o. Let v be c(-1). Suppose -3*f - 5*u = -5, v*f - 3*f + 2 = 2*u. Let m = 3 - 2. Solve -a + f = m for a.
-1
Suppose 5*k - 4*c = 35, -3*k + 3*c + 19 = c. Suppose -k*s + h - 6*h + 20 = 0, -2*s = h - 25. Solve 5*x + 5 + s = 0 for x.
-4
Let j = -7 + 13. Suppose -j*a - a = 0. Let l be 62/4 - 1/2. Solve a = -4*y - 1 - l for y.
-4
Let x(h) = -h**3 + 6*h**2 - h + 8. Let c be x(6). Let r be c/(-2)*12/(-2). Solve -5*m + r + 9 = 0 for m.
3
Let r(s) = -s**3 - 7*s**2 + 9*s + 10. Let i be r(-8). Let g = -3 - -4. Suppose -3*h + 33 = 3*a, -2*a - h + 26 = 2*h. Solve i*f + a = -g for f.
-4
Let j be (-3)/(-6) - 6/(-4). Suppose j*b = -0*b. Solve -n + 5*n = b for n.
0
Suppose -7*y - 5 = -12. Solve -4*h = 3 + y for h.
-1
Suppose 3*d + 0 = 6. Let q be (d/(-6))/(4/(-36)). Suppose -q - 57 = -2*b. Solve -5 = 5*s - b for s.
5
Let w = 2 - -1. Suppose w*r - 5*r = -l + 11, 4*l - 17 = -r. Solve -5 = l*s + 5 for s.
-2
Let n(l) = -l + 4. Let c be n(0). Suppose -2*a + 49 = c*r - 7, 8 = 2*a. Suppose -r = -3*h + 6. Solve -h = -g - 2*g for g.
2
Let b be (2/(-4))/(3/(-6)). Let y = b - 1. Suppose y = 2*m + 6, 2*p + 3 = 4*p + m. Solve 0 = -v + 2*v - p for v.
3
Let b = -12 + 24. Suppose 19*m - 10 = 14*m. Solve b = m*g + 2 for g.
5
Let x be (-1*(4 + -3))/(-1) + 1. Suppose -25 = -5*q + 20. Solve -5*o + x*o + q = 0 for o.
3
Let x(a) = a + 6. Let m = -24 - -34. Let l be x(m). Solve -4*y + l = -0*y for y.
4
Let v = 12 + -7. Suppose 0 = 3*k + v*h - 7 - 6, 3 = 5*k - h. Let d be ((-3)/5)/(k/(-5)). Solve -d = -3*l + 4*l for l.
-3
Let u be -2*10/(-4) + -1. Let m(k) = k + 13. Let r be m(-10). Solve -r*o = o - u for o.
1
Suppose -31*f = -29*f - 30. Solve -r = 2*r - f for r.
5
Let i = -5 - -10. Suppose 0 = b - 2*f - 7, -2*b + i*f = b - 20. Solve -o + 8 = -b*o for o.
-2
Let i(x) be the second derivative of -x**6/720 + 3*x**5/40 - x**4/3 + 2*x. Let z(a) be the third derivative of i(a). Let b be z(6). Solve b*c = -c + 16 for c.
4
Suppose -5*l - 14 = -12*l. Solve -l*i + 2 = -6 for i.
4
Let i(q) = q**2 + 2*q - 22. Let c be i(-6). Solve 8 - 4 = c*m for m.
2
Let u(c) = c**3 + 10*c**2 + 8*c + 1. Let h be u(-9). Solve -h = 3*l + 2*l for l.
-2
Suppose 0*g - 6 = -3*g. Suppose g*i = 3*a - 3*i, -3*a - 5*i = 0. Let n(d) = -2*d - 5. Let v be n(-4). Solve a*c = v*c + 6 for c.
-2
Let u = 7 + 3. Let k be (-10 - -2)/((-4)/u). Solve 3*o = -2*o + k for o.
4
Let h = 78 + -73. Solve 9 = 8*c - h*c for c.
3
Let p = -5 + 1. Let g = -7 - p. Let y(d) = d + 4. Let a be y(g). Solve -b = -0 - a for b.
1
Let c(y) = 5*y - 10. Let r be c(7). Suppose -4*m = -r + 5. Solve 0 = m*l - 25 for l.
5
Let h be 1/4 + (-46)/(-8). Suppose -h*s + 5 = -5*s. Solve -s*p = -2*p + 12 for p.
-4
Let p be (