 n*a - r*a = -15 for a.
-3
Let j be (-34)/(-9) + (-6)/(-27). Solve 4*r + 0*r = j for r.
1
Let u = 1 - -1. Suppose u + 0 = a. Solve -a*f - 3*f - 5 = 0 for f.
-1
Let s be -12*(2/(-11) + 70/(-462)). Solve -y - 5 = s*y for y.
-1
Let a(z) be the third derivative of z**5/30 - z**4/24 - 2*z**2. Let k be a(2). Solve -2 + k = -2*n for n.
-2
Suppose 4*k + 6*h = 2*h + 84, 0 = 2*k - h - 54. Suppose a = -2*i - a, -2*a - k = -3*i. Solve -4*z - i = z for z.
-1
Suppose 0 = -0*w - w + 3. Solve -3 = w*i + 9 for i.
-4
Suppose 0*q + 5*x = 2*q + 4, 2*x = 4*q + 8. Let f be 0*q/8 - 0. Solve 0 = 3*n - f - 9 for n.
3
Let t be 3/27*3*3. Let o(d) = 5*d + 0*d - d. Let k be o(t). Solve w - 8 = -k for w.
4
Let y(p) = p**2 + 5*p - 6. Let a be y(-7). Solve -20 + a = 3*c for c.
-4
Suppose -4*l - 16 = -4*o, 3*l + 6 = 2*o - 3. Solve o*p = 2*p + 1 for p.
1
Suppose -4*k - 5*b = -2*k + 1, -3 = -3*k - 3*b. Solve -m = -k*m for m.
0
Let p(o) = 7*o + 4. Let h be p(-4). Let j be (h/(-20))/(2/10). Suppose 112 - 12 = 4*g. Solve k = j*k + g for k.
-5
Let j(x) = 3*x - 1. Let y be j(1). Let g be 2/y - (5 - 6). Solve s + g*s = 0 for s.
0
Let j(x) = 2*x. Let l(n) = n + 7. Let g be l(-5). Let c be j(g). Suppose 0 = -s + 2*w + 8, s = 2*s + w - 2. Solve c = s*t - 4 for t.
2
Let h(u) be the third derivative of u**6/120 - u**5/30 + u**4/8 - u**3/3 + u**2. Let b be h(2). Solve 0 = -t - b*t for t.
0
Let a(b) = 3*b - 4. Let z be a(3). Solve -l - z = -0*l for l.
-5
Suppose s + 3 = -4*w + 1, 3*s + 6 = -w. Solve r - 3 - 1 = w for r.
4
Let h(u) = -u**3 - 6*u**2 + 5*u - 2. Let s be h(-7). Suppose -s + 0 = -d. Solve 0 - d = 4*n for n.
-3
Let c(x) = -x + 6. Let n be c(2). Let u be (-4)/14 + 6/21. Solve 2*k + u = -n for k.
-2
Let a be 45/(-6)*(-2)/3. Solve 0 = -a*z + z for z.
0
Let q be (-12)/10*10/3. Let r = q + 4. Solve c + 0*c - 2 = r for c.
2
Let r(j) = -j**2 - 6*j + 3. Let c be (-3)/(6/(-2))*-6. Let h be r(c). Suppose 3*q = h*t - 0*t - 21, -5*t - 15 = 5*q. Solve -t*w + 0 = 2 for w.
-1
Suppose -2*k = -0*k. Solve 4*f + 0*f + 4 = k for f.
-1
Let i(a) = -a**3 - a**2 - a + 48. Let p be i(0). Let l be p/21 + 2/(-7). Solve 0 = 3*t + l - 11 for t.
3
Let p(j) be the third derivative of -j**5/60 - j**4/8 + 2*j**3/3 + 4*j**2. Let v be p(-3). Solve 4*o + 0 = v for o.
1
Suppose -7*h = 3*h - 20. Solve -f + 0 = h for f.
-2
Let o(h) = h + 13. Let t be o(-7). Solve j - t = 4*j for j.
-2
Suppose -7*r + 2*r = 0. Let h be r/(-2 - (-5 + 2)). Solve -2*c + 2 + 2 = h for c.
2
Let f be 12/2 - (3 + 0). Solve 0 = -f*c + c + 8 for c.
4
Let a(n) = n**2 + 6*n + 5. Let d be a(-6). Let p = 0 + d. Suppose p*i - 5*b = 2*i + 1, -b = i - 3. Solve -i*q + 7*q = -25 for q.
-5
Let h be (-6)/(-4) - (-4)/8. Suppose 4 = h*m - 2. Let l be m - (-2 + 3) - 1. Solve -k - 4 = l for k.
-5
Let x = 28 + -16. Suppose 5*h + 2 = x. Solve -h*q - q = 6 for q.
-2
Let l(u) = -u**3 - 6*u**2 + 3. Let d be l(-6). Solve d*k + 16 = 4 for k.
-4
Let l = -1 + -2. Let x = -2 - l. Let w(v) = v**3 + v - 1. Let d be w(x). Solve -d = 3*o - 7 for o.
2
Let h be (-25)/(-10) + 1*3/6. Solve o = -h*o - 20 for o.
-5
Let z be ((-6)/(-4))/(2/4). Suppose -s = -5*x - 3, 2 = 3*s - z*x - 7. Suppose l - 8 = -0*k - 2*k, -s*l + 16 = 2*k. Solve k = w + 4 for w.
-2
Suppose y - 8 + 2 = 0. Solve -y*j = -j for j.
0
Suppose 0 = -5*l - 2*u + 3, 0 = 4*l - u - 2*u - 7. Let y be 25 - (1 + -2 + l). Suppose -w = -0*d - 5*d + 25, -5*w + y = 0. Solve -x - d = 2*x for x.
-2
Suppose -2*o = -n + 6*n - 9, -o - 5*n = -2. Let l = 9 - o. Solve 0 = l*s - s for s.
0
Suppose 0 = -3*q + 11 - 38. Let n be (-3)/(-12) + q/(-12). Solve n + 1 = i for i.
2
Suppose 2*f = -2*f + 4. Let r(h) = -4*h + 2. Let l be r(-2). Suppose -2 + l = 2*q. Solve -5*v + f + q = 0 for v.
1
Suppose 215*f - 12 = 211*f. Solve 0*s = -s - f for s.
-3
Let m be (-3)/(-2)*(-4)/(-6). Suppose -w + m = -3. Let o be (-4)/(-14) - (-110)/7. Solve 0*q - o = w*q for q.
-4
Let a(n) = n + 1. Let q(r) = r. Let s(i) = 3*a(i) - 4*q(i). Let o be s(3). Let u be o/(0 + 1 + -3). Solve 1 = -y - u*y for y.
-1
Suppose -3*p + 12 + 0 = 0. Let b be -5*1*(-6)/2. Solve p*q + b = q for q.
-5
Let n = -3 + -13. Let i be (-15 - 0)*n/40. Solve i = -j - j for j.
-3
Suppose -6*o + 9 = -3*o. Let z(b) = -13*b. Let v be z(-6). Suppose 0 = 5*a - o*n - v, -3*n + 30 = a - 0*a. Solve 5*k + 7 = -a for k.
-5
Suppose -2*k + 11 = 3. Let o(t) be the second derivative of -t**3/6 + 2*t**2 + t. Let r be o(k). Solve 0 = -r*s + 2*s for s.
0
Let k = 8 + -4. Let c be (1 - 2/k)*4. Solve 0*z - 2 = c*z for z.
-1
Suppose 5*y - 3 = 4*y. Let i = -3 + 10. Suppose -i*q + 64 = -y*q. Solve -5*k + k = q for k.
-4
Let j(h) = -h + 12. Let c be j(10). Solve -c*y - 9 = y for y.
-3
Suppose 2*u + 40 = 4*u. Suppose -4*z = 8, z - 19 = -5*h - 1. Let f be h/(-18)*-12*3. Solve 4*i + u = f for i.
-3
Let l = 1 + 1. Suppose -3*g - 2*g + 50 = 0. Let w = g - 6. Solve -6 - w = -l*u for u.
5
Suppose -3*f + 2*k + 11 = -35, 0 = -4*f - 5*k + 46. Let n be 12/3 + -2 + f. Solve -n = -o + 5*o for o.
-4
Let k = -12 - -6. Let i = k + -10. Let j = i + 30. Solve 5*q = 11 + j for q.
5
Suppose 2 = f + n, f + 0*n - 8 = -4*n. Suppose -7*w = -9 - 5. Suppose -1 = -3*j + 5, 0 = -4*v + j + 22. Solve -w*h + f + v = 0 for h.
3
Let v be (1 + -3)/1*-1. Solve 0 = -6*d + v*d - 16 for d.
-4
Suppose -4*j + 0*j = -2*r, 4*j = 0. Suppose 36 = 3*p - r*p. Solve -k - p = 3*k for k.
-3
Let u(l) = -l**3 + 13*l**2 - 10*l - 14. Let b be u(12). Suppose 0 = -27*g + 22*g + b. Solve -g = -f - f for f.
1
Let p be ((-7)/(-2))/7*0. Solve p*o = -4*o - 12 for o.
-3
Suppose 15*b = 2*b + 65. Solve b = g - 6*g for g.
-1
Suppose -241 + 189 = -4*f. Solve -4*y = -f - 7 for y.
5
Suppose -3*t + 29 - 14 = 0. Suppose -9*x = -t*p - 4*x - 20, -2*p - 4*x = -16. Solve p = -4*o - 2 - 2 for o.
-1
Suppose 2*h - 5*h = -12. Suppose h*v + 9 = 5*v. Solve -5*g + 11 = -v for g.
4
Suppose -n - 49 = 5*l, 0*l = l + 2*n + 8. Let d = 8 - l. Solve 4*a + 6 = d for a.
3
Let p(a) = -a**2 - 7*a + 10. Let o be p(-7). Solve 3*z = o + 2 for z.
4
Suppose 0 = -4*q, -3*l + 8*l - 20 = 4*q. Suppose -l*p + 28 = 4*a, 8*a - 3*a - 23 = p. Solve 0 = b + p + 2 for b.
-4
Let v be 0/5 + 1 + 5. Solve -v - 10 = -4*q for q.
4
Let b(l) be the third derivative of l**4/24 + 2*l**3 - 7*l**2. Let h be b(-9). Solve -2*w - 15 = h*w for w.
-3
Let b be ((-9)/(-6))/((-3)/(-8)). Suppose 4*y - 16 = -q, -4*q + 2*q - 2*y = -8. Suppose q = -m - b*m. Solve m = -0*t - 4*t + 8 for t.
2
Let c(v) be the third derivative of v**6/120 + 2*v**5/15 + 7*v**4/24 + v**3/3 - 2*v**2. Let m be c(-7). Solve q + m = 2*q for q.
2
Suppose 3 = z - 0*z. Let s be -1 - (1 + 1*9). Let l = -6 - s. Solve -2*r + l = z for r.
1
Suppose w + 1 = -k - 5, -4*w = -20. Let g = -8 - k. Solve g*m = -m + 16 for m.
4
Let u(l) be the second derivative of -2*l**3/3 + 2*l. Let b be u(-1). Solve 3*d - b*d = 4 for d.
-4
Let k(h) = -h**3 + h**2 + 2*h. Suppose -4*c + 3*c = 0. Suppose -4*w + 2*w + 4 = c. Let v be k(w). Solve 0 = q + 5 - v for q.
-5
Let g(o) = o**2 + 7*o + 3. Let s be g(-7). Suppose -n + 12 = s*n. Solve 1 = n*b - 4*b for b.
-1
Suppose 27 = -3*o + 33. Solve 0 = o*l + 3 - 1 for l.
-1
Suppose 4*n + 0*n - 16 = 0. Suppose -5 = -2*g + 23. Suppose 2*f = 2*s - 4, -f = -5*s + 12 + g. Solve n*a - s = -22 for a.
-4
Let c(u) = 2*u - 12. Let r(p) = p - 6. Let m(i) = 3*c(i) - 5*r(i). Let j be 6/1 - (-2 - -2). Let o be m(j). Solve d = -o*d for d.
0
Suppose 2*g - 4*d = 18, 0*d = -4*g - 2*d + 46. Solve -4*k - g - 1 = 0 for k.
-3
Let y(j) = j - 11. Let t be y(13). Solve f - t = 1 for f.
3
Let l(k) = k**3 + k**2 - k. Let w be l(1). Solve 11 = -5*n + w for n.
-2
Let h = -10 - -15. Suppose 0 = 3*w + h*z - 10, 3*z = -5*w - 18 + 56. Solve -2*i + w = 3*i for i.
2
Let w = 29 + -15. Let p(s) = s**2 + 2 - 1 - 1. Let n be p(0). Solve -3*x + 1 + w = n for x.
5
Suppose 5*n - 14 = -2*k, -7 = 2*n + 5*k - 0. Suppose -9 = -n*u + 3. Solve 0 = -u*c - 3 + 12 for c.
3
Let m(r) = -r + 7. Suppose 5*v - 14 = 2*q, q + 3 = 2*v - 2. Suppose 2*f = -5*p + 10, -p + v*p - 7 = -f. Let c be m(p). Solve -5*j + 13 = c for j.
2
Let z(q) = -q + 8. Let s(v) = 12*v**3 + 1. Let d be s(1). Let o = d - 7. Let n be z(o). Solve -l = -6 + n for l.
4
Suppose 4*w + 1 = -a + 4, 4*a = 5*w + 12. Suppose w = -v + 2*v. Solve 2*l - l = v for l.
0
Suppose -t - 4*r = 2, 0 = -4*t - t + 5*r + 40. Solve -3*c - t = -0*c for c.
-2
Let m b