+ (-15)/9). Solve 4*s - 2 = c for s.
3
Let p be 3*(368/12)/(-2). Let s = -32 - p. Suppose 9 = 2*m + m. Solve -m*x + 5 = s for x.
-3
Let q be (-8)/88 + 45/11. Solve -q*p - 1 = -13 for p.
3
Let h(f) = f**3 - 12*f**2 - f + 17. Let j be h(12). Solve r - 1 = -j for r.
-4
Suppose -8 = -0*v - 2*v. Solve 3*d - v - 2 = 0 for d.
2
Let g(k) = 3*k**3 + 11*k**2 + 3*k - 3. Let z(l) = -l**3 - 6*l**2 - l + 1. Let v(q) = 2*g(q) + 5*z(q). Let r be v(8). Let t = r + -4. Solve t*u = 6*u for u.
0
Let s(n) = -n + 1. Let v(j) = j**2 + 3*j - 3. Let h(c) = 12*s(c) + 4*v(c). Let f be h(-1). Suppose 12 = 4*r + 4. Solve r*m = m - f for m.
-4
Let h = -50 + 56. Solve -h*t = -4*t for t.
0
Let r = 8 - 0. Solve -4 - r = 4*w for w.
-3
Suppose 0*u - 2*w = -4*u - 4, -3*w + 6 = -4*u. Solve u*q - 5*q - 20 = 0 for q.
-4
Let f be (5 - 3)*(-6)/(-4). Solve 1 = -s + f for s.
2
Suppose 0 = -j - 5*y + 2 + 2, -66 = -3*j + 3*y. Solve 5*l + 1 = -j for l.
-4
Let z be 4*((-6 + -2)/4)/(-2). Solve -12 = -z*j - 0*j for j.
3
Let f be (-10)/(-2)*16/10. Let z be ((-8)/(-5))/((-4)/(-70)). Suppose -n - z = -5*n. Solve 5*q - n = f for q.
3
Let r be 1/3 + 2/(-6). Let d(t) = -t**2 - 4*t - 3. Let z be d(-3). Solve -2*k + r*k + 6 = z for k.
3
Suppose -8*o + 80 = -4*o. Suppose -2*v = -v - 5. Solve -o + 5 = -v*s for s.
3
Let n = 7 - 7. Solve n*u = 4*u for u.
0
Suppose 4*x + 5 + 7 = -3*l, -5*x + 3*l - 15 = 0. Let o be x/5 + (-9)/(-15). Suppose 2*r + 2*a - 10 = 0, -3*a + 15 = 3*r - a. Solve -r*u + u = o for u.
0
Let b(w) = 4*w**2 - w - 1. Let c be b(-1). Suppose -5*f + 32 = c*a, a - 14 = -5*f + 9. Solve f*k - k = 0 for k.
0
Let v = 5 - 10. Let t = 10 + v. Solve -l + 16 = -t*l for l.
-4
Suppose -m = 2*m + 4*r - 31, 3*r - 32 = -4*m. Solve -8 = m*k + 2 for k.
-2
Let r = -7 - 1. Let i(s) = -s - 5. Let p be i(r). Suppose -3*x + f = -p*f - 29, f - 7 = -4*x. Solve 2*m + x*m = -20 for m.
-4
Let s(v) = -v + 4. Let d be s(3). Suppose -4*b = 7 + d. Let c(r) = -r**3 - 2*r**2 - 2*r - 1. Let y be c(b). Solve 5*z - 2*z - y = 0 for z.
1
Let o = -88 - -95. Let p be -1*(1 + 4) - 0. Let q be ((-2)/5)/(1/p). Solve q*c - o*c = 20 for c.
-4
Let j(a) = -a - a**2 - a**3 - 7*a**2 - 9*a + 8 - 3*a**2. Let c be j(-10). Solve 2*n = 6*n + c for n.
-2
Let q be ((-2)/(-4))/(1/6). Suppose -u = q*u. Solve -6*d + d = u for d.
0
Let y = 2 - -5. Let v be 1/y - (-5)/(-35). Solve -j + v*j = -4 for j.
4
Suppose -5*k + 12 = 2*s - 5, -2*k = -5*s - 30. Solve -13 - 7 = k*p for p.
-4
Let r be (7 - 3) + 0/(-2). Suppose -7 - 1 = -r*c. Solve -1 = c*m + 3 for m.
-2
Let r(c) = -c**3 - 6*c**2 - 2*c - 2. Let q be r(-6). Let x = -5 - -8. Solve o + q = x*o for o.
5
Suppose -3*g = 5*i + 72, 2*g + 4*i = -43 - 5. Let a be (-6)/33 + g/(-11). Solve 0 = -a*z + 4*z + 4 for z.
-2
Let w(j) = 2*j. Let t be w(1). Solve t*c = -1 - 9 for c.
-5
Let q be (76/16 + -2)*4. Suppose 7*p - q*p + 20 = 0. Solve 3*k = p - 2 for k.
1
Suppose -46 - 2 = 4*c + 3*o, -2*o - 44 = 4*c. Let q(r) = r**2 + 10*r + 12. Let l be q(c). Solve -l*v + 0*v = -6 for v.
2
Suppose -12*j + 14*j = 0. Solve j*l + 6 = 2*l for l.
3
Let g(k) be the first derivative of -k**2/2 + 15*k - 1. Let z be g(12). Solve 4 = -x - z*x for x.
-1
Suppose 37 = 4*u + 3*f, 3*u - 24 = 4*f - 5*f. Suppose -d - 5 = -2*w, -w - 3*d + 8*d + u = 0. Solve -w*c = -c for c.
0
Let j = 26 - 25. Solve j = w + 5 for w.
-4
Suppose -3*p = -2*p + 2*b - 14, -2*p + 5*b - 17 = 0. Solve -3*g = -1 + p for g.
-1
Suppose -43*a + 41*a + 8 = 0. Solve a*c = -9 + 21 for c.
3
Suppose -4*h + l + 77 = 6*l, -13 = -h + 5*l. Let t = 22 - h. Solve -d + t = d for d.
2
Suppose -18 = -3*y - 0*y. Let v be (-2)/(-7) - (-366)/42. Let d be 20/v - y/27. Solve 3*q = d*q + 2 for q.
2
Suppose d - 4 + 2 = 0. Suppose -m - d*n - 3 = -9, -5*m = -2*n + 6. Solve 5*f + m*f + 25 = 0 for f.
-5
Let t be (-6)/(-1) + (-2)/1. Solve -3*f + 3 = -t*f for f.
-3
Let k be ((-20)/(-6))/((-2)/(-3)). Let u = -10 + k. Let c = u + 9. Solve 1 = -5*a - c for a.
-1
Suppose 0 = -r - 0*r + 11. Let l be -4*1/(3/6). Let t = r + l. Solve 5*n + 4 = t*n for n.
-2
Suppose -4*v = -6 - 2. Suppose 3*h - 3*o = -12, v*o - 4 = -h + 5*o. Let c = h - -12. Solve u - c*u - 12 = 0 for u.
-4
Let o(m) = m**3 + m**2 - m + 4. Let i be o(0). Solve -p + i + 1 = 0 for p.
5
Suppose -4*f + 4*g = -28, f + 3 = -2*f - 3*g. Let s(o) = -o**3 + 4*o**2 - 2*o - 1. Let k be s(f). Solve i - k*i = -3 for i.
3
Let m(d) = -d**3 + 21*d**2 - 21*d + 20. Let j be m(20). Solve 5*b + 0 + 5 = j for b.
-1
Let w be (1 + 1)/(2 - 1). Let h(p) = 3*p**3 - p**2 - p + 1. Let o be h(1). Solve -w*d = -d + o for d.
-2
Suppose -10 = -2*f - 4*o, 0 = -3*f - 3*o + 9. Suppose 0 = -q - f + 13. Solve -3*s + 6*s = -q for s.
-4
Let u = -23 - -23. Solve u = -10*o + 5*o - 25 for o.
-5
Let w(f) = -4*f + 26. Let r be w(6). Solve 0 = 7*x - r*x + 20 for x.
-4
Let p = 29 - -35. Let f = p - 39. Solve -4*w = 5 - f for w.
5
Suppose -3*s = -s - 4. Let v = 20 - 28. Let u(o) = -o - 8. Let c be u(v). Solve -s = -f - c for f.
2
Let o(j) = 10*j - 3. Let q be o(1). Solve -q*z + 2*z = 0 for z.
0
Let j be (3/(-9))/(1/(-6)). Suppose 12 = -4*a, j*k + a + 3*a = -8. Suppose -5*t = -14 + 4. Solve k*z + 16 = -t*z for z.
-4
Let k(q) = -q**2 + 26*q - 19. Let f be k(25). Solve -2*t = -f*t + 16 for t.
4
Suppose 3*s + 7 + 14 = 0. Let f be 7 - (-7)/(s/2). Solve 3 - 28 = -f*b for b.
5
Suppose 3*g - 5*o - 80 = -20, -g + o = -22. Solve -p = -6*p + g for p.
5
Let t(a) = a**3 + 3*a**2 - 12*a - 7. Let z be t(-5). Solve -6 = -z*r + 9 for r.
5
Suppose 0 = 6*m - 5*m + 3*c + 8, -3*c = 12. Solve -m*x + 4 = -8 for x.
3
Let u = 14 - 10. Suppose 0 = -3*v + u*v - 9. Let z be 1*1/2*6. Solve -3*s - z - v = 0 for s.
-4
Let f(t) = -128*t**2 - 1. Let l be f(-1). Let z = 18 - l. Let b be z/15 - 2/(-10). Solve w + 4*w = -b for w.
-2
Let r = 15 + -10. Suppose -5*k + r*g = -0*g - 30, -16 = -3*k + 2*g. Solve -d = -k*d - 12 for d.
-4
Let i = 3 - -1. Let s be 12/(-9)*(-6)/i. Solve 0 = -s*y + 7*y - 5 for y.
1
Let q(p) = p**2 - 4*p - 7. Let u be q(7). Suppose 5*k = 1 + u. Suppose 12 = 2*y - w, y - k*w = -4*w + 6. Solve -y = 3*s - s for s.
-3
Let p(o) = 3*o + 3. Let z be p(4). Suppose 0*l - z = -3*l. Solve 0 = -l*a + 4*a + 4 for a.
4
Let p be (-4)/(-14) + (-4)/14. Suppose 3*t - 11 = -2. Suppose -15 = t*w + w - 3*o, p = 2*w + o - 5. Solve w*j = -3*j for j.
0
Let j(m) = m**3 + 11*m**2 - 2*m - 19. Let k be j(-11). Solve 0*r = -k*r for r.
0
Suppose -2*g + g = h - 5, 4*h + g = 29. Let v(d) = -d**3 + 8*d**2 + d - 4. Let k be v(h). Solve 0 = 3*i - 2 - k for i.
2
Suppose 34 - 10 = 4*j. Let l be (-28)/(-12) - (-4)/j. Solve -l + 2 = c for c.
-1
Let k(g) be the first derivative of g**3/3 - g**2 + g - 6. Let y be k(3). Solve 0 = 4*x + y for x.
-1
Let y = -21 + 23. Suppose 5*k - k = y*c - 26, 0 = -3*c - 2*k + 7. Solve -4*o = -c*o for o.
0
Let k = 11 + -7. Let y = 44 + -14. Suppose 0 = k*t - 9*t + y. Solve t*x = x for x.
0
Let w be (-34)/(-14) - 6/14. Solve -4 = 2*z + w for z.
-3
Suppose -3*o - 2*o - 48 = -3*q, -4*o + 80 = 5*q. Suppose 0 = -6*c + 2*c. Suppose c = -8*m + 5*m + 15. Solve s + q = m*s for s.
4
Suppose -d = v - 4*d - 5, d - 5 = 0. Let o be (-4)/v + 32/10. Solve -o*h = 12 + 3 for h.
-5
Let p(u) = u**2 + u - 2. Let t be p(-2). Suppose 11*x - 6*x - 25 = t. Solve x*q + 10 = -10 for q.
-4
Suppose -3*v = 2*v - 10. Suppose 7*k = -9*k + 112. Let b = k - v. Solve o = b*o for o.
0
Suppose 2 = 3*n - b - 7, 2*n + 11 = -5*b. Let w be 16/(-6)*(-6)/4. Let m be -2*2*(-3)/w. Solve 4 = m*c - n for c.
2
Let l = 4 + -2. Let p be (9/6)/((-15)/(-20)). Suppose l*b = 2 + p. Solve -15 = -k - b*k for k.
5
Let g(h) = -5*h**3 + 18*h**2 + 5. Let p(d) = -3*d**3 + 12*d**2 + 3. Let v(x) = 5*g(x) - 8*p(x). Let k be v(-6). Solve 2*u + k = 3*u for u.
1
Let l(d) = d - 5. Let g be l(5). Solve g = z - 5*z - 16 for z.
-4
Let n = -21 + 24. Let u(j) = j**3 - 2*j**2 + 1. Let o be u(n). Solve -4*g + o = -2*g for g.
5
Let r be (-30)/(-9) + -2 - 18/(-27). Solve -r*c = -6 - 0 for c.
3
Suppose -2*s - 2*j + 12 = -0, 0 = s - 4*j + 4. Suppose -4 = -6*f + 14. Solve -s*v + 5 = -f for v.
2
Let f be (-6)/27 + (-29)/(-9). Let n(c) = c + f*c + 5 - 3*c. Let g be n(-5). Solve g*o = -2*o for o.
0
Let a(u) be the second derivative of 1/6*u**3 - 2*u - 1/2*u**2 + 0. Let r be a(3). Solve -2*k - 10 + r = 0 for k.
-4
Suppose 5 = 3*g - 1. Solve g*l - 1 = 3*l for l.
-1
Suppose 0 = -t - z + 6*