 - 17 = a*o for o.
-4
Let l = 0 - -8. Let k = 5 + -2. Solve -l*v - 5 = -k*v for v.
-1
Let f(n) be the second derivative of n**4/12 + 4*n**3/3 + 5*n**2 + 3*n. Let y be f(-8). Let v be (4/6)/(2/15). Solve -y = v*i - 3*i for i.
-5
Let t(l) = -l**3 + 5*l**2 + 2*l - 7. Let m be t(5). Suppose -m*c - 4 = -4*c. Solve -6 + 2 = -c*w for w.
1
Let m = 14 + -11. Solve 3 = -m*q + 6 for q.
1
Suppose 2*d - 33 = -i, 2 - 7 = -i. Suppose -2*j + 6*j - 2*c = d, -1 = c. Solve j*s - 4 = s for s.
2
Let x(q) = 4*q**2 - 8*q - 9. Let h(y) = 5*y**2 - 9*y - 8. Let r(k) = -3*h(k) + 4*x(k). Let n be r(7). Solve -4 = n*l - 0 for l.
-2
Let u = -4 - -9. Suppose -26 = -3*m - u. Let j = m + -5. Solve 6 = -j*s + 5*s for s.
2
Let s = 8 - 1. Let l(r) = 2*r - 10. Let j be l(s). Suppose -24 = -4*d - 8. Solve -j + 8 = -d*g for g.
-1
Let t be (2/3)/(3/36). Suppose 10 = -2*k - 4*n, -5*k + 0*k + 3*n - 25 = 0. Let r = t + k. Solve r*x + x = -8 for x.
-2
Suppose -2*s - 6 = -5*s. Let q be ((-1)/((-1)/12))/s. Solve q = 2*x - 4 for x.
5
Suppose -2*c + 12 = c. Suppose 3 + 2 = c*a + 5*h, -2*h = -2. Solve a = -y + 2*y + 5 for y.
-5
Suppose -3*q + 3*l - 6 = 0, 4*q - 19 = -2*l - 3. Solve 2 = m - q*m for m.
-2
Suppose 4*d = -0 - 4. Let a be 3*d - (-11 + 3). Solve 14 = a*l + 4 for l.
2
Suppose 2*z = 15 + 1. Suppose -2*a - 6 = -4*a. Solve z = -f + a for f.
-5
Let v = 50 - 46. Solve -16 + 36 = v*w for w.
5
Let c be 0/1*(-1)/(-2). Let x(s) = s**3 - 6*s**2 + 5*s. Suppose 5*h - 2 = 3*w + 35, 3*h = -3*w + 3. Let f be x(h). Solve d + c*d - 4 = f for d.
4
Let y = 28 + -27. Let v(a) = -a**3 - 2*a**2 - 2. Let r be v(-3). Solve -y = -2*i + r for i.
4
Let k(r) be the first derivative of 16*r + 11/2*r**2 - 1/3*r**3 - 3. Let o be k(11). Solve m - o = 5*m for m.
-4
Let x(m) = m - 2. Let s be x(3). Solve -3 - s = 2*z for z.
-2
Let k = 16 - 6. Suppose k + 2 = 2*m. Solve m*l + 4 = 2*l for l.
-1
Let s be ((-1)/(-1))/1*-1. Let p = 1 + s. Solve -2*f = -p + 10 for f.
-5
Suppose 15 = o + a, 0*a = o + 5*a - 15. Let j(i) = -i - 8. Let z be j(-11). Solve o = z*y - 8*y for y.
-3
Let r(z) be the second derivative of z**4/12 - z**3 - 4*z**2 + 2*z. Let m be r(10). Suppose 0*b - 4*b + m = d, -3*d = 0. Solve -s - b = s for s.
-4
Suppose 3*b = -1 + 13. Let d be 1 - (1 + 0 - 3). Let j = d + 5. Solve j + 0 = b*n for n.
2
Suppose 0 = x - 33 + 3. Suppose 0 = -b - 5*k + 25, 5*k + 5 = b + x. Solve o - 4*o + 6 = b for o.
2
Let h(x) be the third derivative of -x**4/12 - x**3/2 - 3*x**2. Let w be h(-4). Solve -20 = -w*d + d for d.
5
Let h = -11 - -10. Let z = h - -2. Solve -2*i + 5 = -z for i.
3
Let v be (-3)/((-9)/3) + 15. Solve t + 3*t = v for t.
4
Suppose -3*d + 6 = -5*j - 8, -4*d - j = -11. Let g = 30 - 26. Solve g*l = d*l for l.
0
Let o = 22 + -8. Let y = -9 + o. Let a = 4 - -2. Solve y*h - a = 3*h for h.
3
Suppose t = -t. Let f(x) = x**3 - x - 1. Let b be f(2). Suppose t = m - b*m. Solve 2*z = -m*z + 2 for z.
1
Suppose k - 5*k = -28. Let f = k - 5. Suppose -5*c + 26 = 2*w + 1, 5*w + 3*c = 53. Solve w + f = 3*i for i.
4
Let k be (-410)/(-25) - 4/10. Suppose 6*n - 2*n - k = 0. Solve n*c - c = 0 for c.
0
Suppose 0 = -3*q - 7 + 4. Let j be (q + -4)*6/(-10). Let s(x) = -x + 6. Let c be s(5). Solve -j*g - 2 - c = 0 for g.
-1
Suppose 3 = 5*v - 57. Solve 0 = 3*t + t + v for t.
-3
Let z(y) = 4*y**2 - 3*y**2 + 2*y + 0*y. Let l be z(-4). Let h = -6 - -9. Solve -25 = l*u - h*u for u.
-5
Suppose 2 + 7 = 3*w. Suppose 14 - 2 = w*b. Suppose 5*f = -q + 17, -3*f - 3*q + 2*q = -9. Solve f*o - b = 4 for o.
2
Let k be (-4)/(-10) + 78/5. Let i = 26 - k. Solve 0*p - 2*p = -i for p.
5
Suppose 5*d = -z + 6 + 4, z - 1 = 4*d. Solve -3*u = -8 - d for u.
3
Let p(u) = -u**3 + 4*u**2 + 6. Let y be p(4). Solve 0 = -2*f + y*f + 12 for f.
-3
Let j = 35 + -32. Solve 0 = -0*w + j*w - 15 for w.
5
Suppose -14 = o - 16. Solve t = -o*t for t.
0
Suppose 0 = 2*u - 3*a, u - 3 = -5*a + 10. Solve 2*f = -u*f - 5 for f.
-1
Let p(d) = -d**3 + 7*d**2 + 9*d - 5. Let t = 11 + -3. Let x be p(t). Solve y = x*y - 4 for y.
2
Let l be (-7)/(-5) + (-2)/5. Let p(n) = -7 + n**2 + 4 - 3*n + 2. Let k be p(4). Solve -k*t = -l + 4 for t.
-1
Let d(k) = k**2 + 7*k - 6. Let n be d(-8). Suppose 0 = -a - n, -5*s - a - a + 6 = 0. Let z be 20/s - (1 + 0). Solve -2*x - x = z for x.
-3
Let x(w) be the third derivative of 5*w**2 + 0*w**3 + 0*w + 0 + 5/24*w**4. Let d be x(1). Solve d*h = 6*h for h.
0
Suppose i - 17 = -13. Solve i*f + 0*f = 12 for f.
3
Suppose -o = -0*o - 7*o. Solve -c - 2 - 3 = o for c.
-5
Suppose -4*i = -12*i. Solve -j - 4*j + 25 = i for j.
5
Let x = 50 - 44. Solve 4*g - 4 = x*g for g.
-2
Let l be ((-10)/(-4))/(2/4). Suppose l*f - 7 - 13 = 0. Suppose -1 = -g + f. Solve -j - 4*j = -g for j.
1
Suppose 0 = 5*v - 20. Solve -5*k - v = -k for k.
-1
Let x(k) = -k**3 + k**2 + 2. Let u be x(0). Solve 5*t = u*t - 12 for t.
-4
Suppose -3*o + 10 = 5*q - 9, 2*o - 6 = 0. Solve q*a - 4*a = 10 for a.
-5
Let g(v) = v**2 - 14*v - 5. Let m be g(14). Let t be m*2/(-5)*2. Solve r + 3*r + t = 0 for r.
-1
Suppose q - 4*g = 1 - 3, 0 = 4*q - 3*g - 5. Let c = 19 + -13. Solve q*h - c = -2 for h.
2
Let c(o) = -o - 9. Let j be c(-13). Solve 0 = -j*u - 9 + 1 for u.
-2
Let f be (-4)/((1 - 3)/4). Let p be 2 + -3 + f - 0. Solve p*o - 10 = 5*o for o.
5
Let u(p) = p**3 + 10*p**2 + 9*p + 3. Let o be u(-9). Suppose 54 = o*l + 18. Solve -l = -3*x - 0*x for x.
4
Suppose -8 = -5*t + 2. Solve 3 = h - t for h.
5
Let t = 12 - 12. Suppose t = 5*u - 13 + 3. Solve 0 = -u*w - w + 9 for w.
3
Suppose 0*c + 15 = 5*c. Suppose 35 = 2*d + 5*r, -20 = -5*r + r. Suppose -c*j + j = -a + 14, -d*a = 4*j. Solve 20 = -a*v + 8 for v.
-3
Let g(a) be the first derivative of a**3 + a**2/2 - a + 4. Let w be g(1). Solve -3 = -w*z + 4*z for z.
-3
Let f be (40/(-5))/(1/(-2)). Suppose 4*h - 7 = 3*m, -3*h - 4 + f = 0. Solve j + 0 = -m for j.
-3
Let t be 132/(-21) - 4/(-14). Let w = t - -8. Solve -7*c + 10 = -w*c for c.
2
Let y = 12 + -6. Let h = -184 - -264. Suppose k - y*k = -h. Solve 4 + k = -5*u for u.
-4
Let m(k) = -k**3 - k**2 - 3*k + 4. Let x be m(-3). Suppose x = 5*y - 9. Let f = y - 5. Solve f*b - 6 = b for b.
3
Let g be 4/(-2) - (-3 + 1). Let z be 14/6 + (-1)/3. Let h(n) = -n**3 + 3*n**2 + 6*n - 6. Let r be h(4). Solve g = r*v - 3*v + z for v.
2
Let h(d) = 5*d - 5. Let s be h(4). Solve -s = -2*u - u for u.
5
Let d(r) = 6*r**2 - 1. Let f be d(1). Suppose -5*s + 2 = -18. Let v = 5 - s. Solve -f*m = -v + 6 for m.
-1
Suppose -6*i + 3 = -3*i. Solve i + 4 = -o for o.
-5
Let r(t) be the first derivative of t**2/2 - 6*t - 5. Let p be r(6). Solve 8*v - 3*v - 5 = p for v.
1
Let k be (6/(-9))/((-1)/12). Solve -n - k = -3*n for n.
4
Let q = -99 - -103. Let c be 52/3 - (-4)/6. Suppose 4*d - 3*m - 39 = -c, -3 = -2*d + 3*m. Solve q*y - d = 11 for y.
5
Suppose 7 = 2*j - 1. Solve -j*l + 3 = -7*l for l.
-1
Suppose -7 + 19 = 5*i + 3*h, -i + 2 = h. Let x(q) = 0*q + i*q**2 + 0*q - q. Let z be x(-1). Solve 2*d + z + 4 = 0 for d.
-4
Let p be 6 + -3 + 0 + 2. Suppose p*z - 8 - 7 = 0. Solve -5 = z*g - 14 for g.
3
Suppose -4*r + 4 = -4. Suppose w + r*w = 15. Let h = w - 3. Solve -h*l + 4 = -l for l.
4
Suppose 5*o - a - 64 = 34, 3*o - 50 = 5*a. Let h be (0 + -1)/((-2)/o). Let s be 1 + h/(-6)*-3. Solve -5*f - 31 + s = 0 for f.
-5
Let b = 4 + 0. Let k(f) = f**3 + 4*f**2 - 5*f + 2. Let c be k(-5). Suppose -c*r + w - 5 = -2, 3*r + 2*w - 13 = 0. Solve -5 + r = -b*x for x.
1
Suppose 0*z = 4*z - 324. Let j be 423/z - (-2)/(-9). Suppose -3*n + 8*n + 15 = -j*d, n = -4*d - 15. Solve -w = -2*w + n for w.
1
Suppose 0 = 6*x - 41 + 23. Solve x*q + 7 = 19 for q.
4
Let l(t) = -t**3 - 4*t**2 - 6*t - 7. Let j be l(-3). Solve 0 = j*h + 4 + 4 for h.
-4
Let z = -22 - -24. Suppose 4*v - 9 = v - c, -3*v - z*c + 12 = 0. Solve 2*o + 0*o = -v for o.
-1
Suppose 0 = -s - 3*s + 100. Solve 0*o = -5*o + s for o.
5
Let j = 4 + -2. Let o(s) = 2*s + 4. Let y be o(-3). Let a = j + y. Solve 0 = -a*l - l - 2 for l.
-2
Let j = 6 - 8. Let q be (j + 3)/((-1)/(-5)). Solve 0 = -a + q*a - 16 for a.
4
Let c be (12/5)/((-8)/(-20)). Let u be (-2)/(c/(-9)) - 1. Solve -u*j + 3 + 1 = 0 for j.
2
Suppose -2*q + 5 = 3*b, -3*q = 5*b - 1 - 6. Let m = q + -3. Let k = 4 - m. Solve -k*o + 1 = -11 for o.
4
Suppose 0*q - 5*q = -15. Solve -17 - q = -4*m for m.
5
Let x be (-3)/4 + 6/8. Solve x = 2*n - 0 + 6 for n.
-3
Let a be ((-1)/