)/((-8)/12). Solve -d = -l*d for d.
0
Suppose 0 = 2*f + 3*m - m + 2, -m = -3*f + 9. Solve -f*p = -3*p for p.
0
Suppose 3*t = 4*t - 6. Let d = t - 4. Solve 1 = 3*v - d for v.
1
Suppose 4*p = 131 - 119. Solve p*n = -0*n for n.
0
Let h = 27 - 27. Solve h = -4*o + 3*o + 2 for o.
2
Let i = 5 + -3. Solve 2*a = -i*a - 4 for a.
-1
Let v(a) = 3*a**2 + 1 - 1 - 4*a**2 + 5*a - 4. Let i be v(3). Solve 4*h + 14 = -i for h.
-4
Let i = 0 - -2. Solve 15 = i*g + 3*g for g.
3
Suppose 0*c + 4*c - 64 = 0. Solve -7*k + 3*k + c = 0 for k.
4
Let g(z) = -z**2 - 8*z + 8. Let p be ((-2)/3)/((-3)/(-27)). Let v be g(p). Solve 2*c - v = 6*c for c.
-5
Let w(m) = -m**3 + 5*m**2 + 3. Let k be w(5). Solve -k*y = 2*y for y.
0
Let m be 5 + -3 - (0 - 2). Solve -3 = -m*o + o for o.
1
Suppose -2 = -2*g - 0. Suppose -5*s + 24 = -g. Solve s*u - 34 = -9 for u.
5
Let f(u) be the second derivative of u**6/360 + u**5/40 + u**3/3 - 2*u. Let k(j) be the second derivative of f(j). Let y be k(-3). Solve q = -y*q for q.
0
Let j = 4 + -2. Solve 0 = j*y + 2*y + 20 for y.
-5
Let o = -11 - -15. Solve 0 = -5*b + 6 + o for b.
2
Suppose -6 = -3*a - 0. Suppose -5*j + 0*j = -10. Let u = -7 - -15. Solve -u - j = -a*n for n.
5
Suppose -3*w + w = 0. Let b be 3 + -3 + (w - -12). Suppose r - b = -r. Solve r*j = 2*j for j.
0
Let m = 5 + -8. Let x = 1 + m. Let i be x*14/(-8)*2. Solve i*j + 12 = 3*j for j.
-3
Suppose 0*a + 44 = 2*a. Suppose -5*z + 60 = -4*v, 4*z - 5*v + 9 = 3*z. Let b = a - z. Solve -b*d + 2*d = -16 for d.
4
Suppose -p + 3*p = 2. Let f be (-1)/p + 2 - 1. Solve f = -n + 3*n + 4 for n.
-2
Let w be 7 + (-1)/((-1)/(-2)). Suppose 0 = 6*q - w*q - 25. Solve 7*o + q = 2*o for o.
-5
Let k(r) = -r**3 + r**2 + 3. Suppose n = 5*j - 6*j + 5, -j - 4*n + 20 = 0. Let u be k(j). Let z = u + -1. Solve 0 = z*t - 6*t + 16 for t.
4
Suppose 2*a - 4*a + 4 = 0. Suppose a*c - 9 = -c. Solve 0 = -0*v + 3*v + c for v.
-1
Suppose 7*w - 6 = -5*k + 9*w, 5*w = -k - 15. Solve k*m + 4*m = -12 for m.
-3
Suppose 0 = -0*o + o. Let d be -5*(0 + (-2 - -1)). Solve o = -4*w + d + 3 for w.
2
Let l be (-2 - (-2 + 1))/1. Let x = l - -5. Solve p + x = -p for p.
-2
Let s(x) = x**2 + 14*x - 9. Let b be s(-15). Solve -d = -b*d + 20 for d.
4
Let x(o) = -o**2 - o + 20. Let k be x(0). Suppose 2*m - 5*i - 24 - 9 = 0, -17 = -3*m + i. Let f be -6*(-1 - (-2)/m). Solve 8*r = f*r - k for r.
-4
Let n(z) = -2*z + 31. Let v be n(14). Suppose -4*o = -5*y + 16, 9 = -o - 2*o + 3*y. Suppose 3*t = -2 - o, -a + 3 = -3*t. Solve v*u + u = a for u.
0
Suppose -5*q = -c + 9 - 45, 0 = -c + 4. Solve -2*m + q = 4 for m.
2
Suppose -2 = 4*l - 5*v - 43, -4*v = 5*l. Suppose 0 = -l*g + g. Solve 0*t + 2*t + 2 = g for t.
-1
Let u be 9/6*4/2. Suppose u = 3*k - 21. Solve -k = x + 3*x for x.
-2
Suppose -t + 5*i + 0*i = 5, 5*t + 4*i - 33 = 0. Let j = t - 1. Solve -o + 25 = j*o for o.
5
Let t(v) = -v**3 - 13*v**2 - v - 12. Let z be t(-13). Suppose g + z = 7. Solve p = -p + g for p.
3
Suppose -2*o = -10, 4*l - 2*o = -0*o - 10. Suppose l = -4*w + 4*f + 12, -2 = 2*w + 2*f - 12. Solve 0 = -w*u - 12 - 0 for u.
-3
Let w(u) = u**3 - 12*u**2 + 13*u - 11. Let c be w(11). Suppose 0 = -0*s - s + c. Let a be s - (2 - (1 + 0)). Solve 6 = -4*m - a for m.
-4
Let o(p) = p**3 + 10*p**2 + 7*p - 10. Let b = -12 - -3. Let c be o(b). Let n(a) = -a**2 + 10*a - 5. Let g be n(c). Solve 4*l - 5 = g for l.
4
Let u = 47 - 35. Solve 5*n + u + 8 = 0 for n.
-4
Suppose -6*i + 7*i + 8 = 0. Let p be (-63)/(-36) - 2/i. Solve p*m - 3*m = 5 for m.
-5
Let q = 5 - -2. Suppose o - q + 1 = 0. Solve o*y = y - 25 for y.
-5
Suppose -4*y - 4 = 4*j, -3*y - 2*y + 13 = -4*j. Let x = 7 + j. Solve 0 = -2*r + 3*r - x for r.
5
Let z(n) = n + 2. Let x be (-1)/4 - 4/(-16). Let c be z(x). Solve c*d + 5 + 5 = 0 for d.
-5
Suppose s + 4*s + 3*f = 117, 2*s = 4*f + 52. Solve 0 = 4*q + 2*q - s for q.
4
Suppose 2*q - w - 15 = -2*q, -w + 10 = q. Let i = q - 1. Solve -2 = r - i for r.
2
Suppose 3*w = -4*j + 27, -2*j + 0*w + 31 = 5*w. Solve j*s - 2 = 2*s for s.
2
Let r be 0/(1/((-1)/2)). Suppose r = -t + 4*i + 10, 4*t + 2*i = 17 + 59. Let q be 11/3 + 1/3. Solve -6 + t = q*p for p.
3
Let q(o) = -o**3 + 5*o**2 - 2*o - 1. Let x(m) = -2*m**3 + 6*m**2 - 2*m - 1. Let h(y) = 3*q(y) - 2*x(y). Let k be h(-3). Solve 5 = -0*v - k*v for v.
-1
Let m(j) = j**3 - 3*j**2 - j + 4. Let b be m(3). Suppose -g = -b, -2*v - 3*v + g + 74 = 0. Let f = -8 - -8. Solve 4*z + z + v = f for z.
-3
Let y = -6 - -7. Solve 0 + y = -q for q.
-1
Suppose q + 2*m + 0 = 2, -2*q = 2*m - 8. Let n = q + -4. Solve -n*f - 3 = 7 for f.
-5
Let d = 1 - -2. Suppose 0 = -x - n, d*x + 0*x + 8 = n. Let l = 3 - x. Solve -g = -2*g + l for g.
5
Let g be (-2)/6*(-15 - 0). Suppose -b = 3*a + 15, 5*a + 25 = -0*b + g*b. Solve b = 4*l - l + 6 for l.
-2
Suppose s = -3, 4*j - 2*s + 20 = -6*s. Let g be ((-3 - -1) + 1)*j. Solve -2*b = -0*b - g for b.
1
Let x be (-6)/12*-2*1. Solve i - x = -2 for i.
-1
Suppose 21*k = 18*k + 21. Solve w + k = 3 for w.
-4
Suppose 36 = -2*i + 6*i. Suppose 5*o - 3*o + h - 61 = 0, -3*o + 4*h + 119 = 0. Suppose -4*z - 5*x = -o, 3*z + 0*z - 3*x + i = 0. Solve 4*v = z*v for v.
0
Let j = 2 + 0. Suppose -2*v + 5*h = 2*v - 20, -3*h = 0. Suppose 3*k - 3*s - 3 = 0, 21 = v*k - 4*s + 3*s. Solve 0 = -j*b + k - 3 for b.
1
Let p(i) = -2*i - 6. Let y be p(-4). Let s = y + -1. Suppose 13 = -4*c - 5*z, 4*c + z - s = 6. Solve -c*h - 10 = -h for h.
-5
Let a be (-654)/(-14) - 4/(-14). Suppose 0 = -5*g + g + 28. Suppose -a + g = -4*f. Solve h - f + 5 = 0 for h.
5
Let d be 2/(10/55) - 1. Solve d = 6*t - t for t.
2
Let j(a) = -a**3 + a**2 + a + 174. Let u be j(0). Let f be (-1)/(-2) - u/(-12). Solve -4*i - i = -f for i.
3
Let a be -4 - -2 - (-2 + -1). Suppose 0*t = -4*t. Suppose -2*m + a + 9 = t. Solve 0 = m*z + 6 - 26 for z.
4
Let z be (-12)/(-2) - 4 - 0/2. Solve z*r + 3*r = -10 for r.
-2
Suppose -4*r + 2*f - 2 = -2*r, -4*r = 2*f - 2. Let a be (-92)/(-12) - 2/(-6). Let y = -5 + a. Solve r = 5*c - 22 - y for c.
5
Let v(m) = -m + 2. Let a be v(-7). Solve a*w = 7*w + 10 for w.
5
Let c(f) = f - 2. Let g(n) = n - 1. Let a(k) = -7*c(k) + 6*g(k). Let d be a(8). Solve d = z - 4*z - 9 for z.
-3
Let o(q) = -4 + 0*q**2 - q**3 + 3*q**2 + 5*q - q**2 + 1. Let v be o(3). Solve v*h = -6 - 3 for h.
-3
Suppose -z = -m + 3, -3*m + 5*z + 5 = -10. Solve n - 4 = -m*n for n.
4
Suppose 0 = -5*i - 10. Let g be (-2 + 0 + 1)*i. Solve g*b = -0*b - 2 for b.
-1
Suppose w - 56 = -3*w. Suppose -3*j + 0*y - 3*y - 3 = 0, w = j - 4*y. Solve 0 = -4*p - 6 + j for p.
-1
Let t = -14 - -8. Let o be (-8)/(-2) + t + 5. Solve -l = -2*l - o for l.
-3
Suppose -y = 4*y + 10. Let v be 1 - (y + 2 + 1). Solve v = 5*g - 4*g + 4 for g.
-4
Suppose 2*k - 20 = -2*k. Let d = k - 2. Solve d*b = -0 + 3 for b.
1
Let l be 0 + -2 + 4 + -2. Solve -r + 5*r - 12 = l for r.
3
Let u(b) = -b**3 - b**2. Suppose -7 = 4*t + 1. Let x be u(t). Suppose -x + 14 = 2*c. Solve 26 - 1 = -c*m for m.
-5
Let n = -18 + 18. Solve 20 = -4*i - n*i for i.
-5
Suppose d + 0*d = 0. Solve d = f - 3*f - 2 for f.
-1
Suppose -17 + 1 = -4*y. Let h(f) = -15*f. Suppose 23 = -3*g - 5*k, 5*g - k + 13 = -3*k. Let z be h(g). Solve y*v - z = v for v.
5
Let q(w) = -w**3 + 2*w**2 + w + 1. Let f be q(2). Let l = -5 - -17. Suppose f*i - l = -b, -b + 11 = -5*i - 1. Solve b = g + 3*g for g.
3
Let p(b) = b**2 + 4*b + 4. Let l be p(-4). Let k = l + -10. Let n be (k/15)/(2/(-20)). Solve -12 = -0*c + n*c for c.
-3
Suppose 3*l - 19 - 8 = 0. Suppose 0 = h + 2*h - l. Solve 4*a = -h - 1 for a.
-1
Let y be 5/((-20)/(-24)) - -2. Let w = y - 4. Solve -3 = v - w*v for v.
1
Let s = -5 - -3. Let n = 6 + s. Solve 8 = n*k - 12 for k.
5
Let k(c) = 2*c - 2. Let j be k(5). Let d(w) = 2*w - 6. Let r be d(5). Let x be (-14)/(-4) - (-6)/r. Solve -j = x*n + 7 for n.
-3
Let t be 0 - (4 + (-2 - 6)). Solve -p = -3*p - t for p.
-2
Let r = 14 + 25. Let h(w) be the second derivative of -w**4/12 + 8*w**3/3 + 11*w**2 - 4*w. Let k be h(17). Solve 14 = -k*z + r for z.
5
Let p(o) = -2*o**3 - 3*o**2 - 3*o - 2. Let k be p(-2). Suppose -2*i + 5*i = 9. Suppose i*n = 6*n - 15. Solve n*d - k = d for d.
2
Let f = 0 + 0. Solve p = -f*p + 4 for p.
4
Suppose -5*a = -68 - 2. Suppose 3*d + 2*d - a = -4*z, 0 = -2*z + 5*d + 22. Solve 2*c + z = -0 for c.
-3
Suppose w - 27 = -5*s, 5*w - 2*w - s = 17. Let f = 11 - w. Solve 0 = -n + f*n for n.