 Solve q = -4*n - 1 for n.
-3
Let x(v) = v**2 + 2*v + 2. Let a be x(-3). Let u be (-2 - -14) + (-2 - -6). Solve -1 + u = -a*s for s.
-3
Suppose -f = 4*o - 14, -4*o + 2*f = -9 - 11. Solve 0 = o*g + g for g.
0
Let r be (-3)/12 + 66/8. Let g = 13 - r. Solve t = -2 + g for t.
3
Suppose 0 = 2*z - 5 - 9. Solve -20 = -2*c + z*c for c.
-4
Suppose -4*z + 42 = 22. Suppose 2*y + 5 = -3*r - 3*y, 4*r + 5*y = 0. Let b be r + (-1 - 1)/2. Solve -3*k + z = -b*k for k.
-5
Let w(f) = -1. Let b(y) = -y - 22. Let t(g) = -b(g) + 6*w(g). Let n be t(-12). Solve -4 + 0 = n*a for a.
-1
Let j(b) = b + 16. Let h be j(7). Suppose a + 2*a - c - 13 = 0, -5*a = -2*c - h. Solve -1 = -2*p - a for p.
-1
Let a be -3*(-4 + 44/12). Solve -2 = 3*c + a for c.
-1
Suppose 27 - 28 = -n. Solve -3*o + n = 10 for o.
-3
Suppose 3*t = -2*t + 20. Let q be 2/2 - (t - 3). Suppose q*r = -r + 3. Solve -r - 5 = -4*a for a.
2
Let u(m) be the second derivative of m**4/12 - m**2 - 2*m. Let o be u(2). Suppose -18 + o = -4*x. Solve c = -x*c + 15 for c.
3
Suppose 10 = -o - 4*l - 0*l, -l - 22 = -3*o. Solve -3*q - 12 = -o*q for q.
4
Let p(d) = d**3 + d**2 - 1. Let z be p(2). Suppose -r - 9 = -2*b, 2*b + b = -r + z. Suppose -3*g + 2*o + 70 = 0, g + 3*o = -5 + 32. Solve -4*f + b = g for f.
-5
Let b be 1*0*2/6. Solve -5*t + t = b for t.
0
Suppose -3*k - 8 = -7*k. Let w(q) = q**3 + 7*q**2 + 5*q - 8. Let a be w(-6). Let y be a/3*18/(-4). Solve k*c + 1 = y for c.
1
Let o = -23 - -25. Suppose -5*u + 12 = 5*k - 6*k, u - k = 4. Solve -u*l - o - 4 = 0 for l.
-3
Let u(o) = -o**2 + 11*o + 2. Let a be u(11). Solve -d - 15 = a*d for d.
-5
Let q = 23 + -23. Solve q*y = 5*y + 20 for y.
-4
Let b(u) = u + 1. Suppose -h = 4*n + 1, h - 2 = 3*h + n. Let r(d) = -2*d. Let m(w) = h*b(w) - r(w). Let g be m(1). Solve g*f - 3 = -f for f.
3
Let q(f) = 9*f**2 - f. Let k be q(-1). Solve -8*n + k = -3*n for n.
2
Let u(z) be the third derivative of z**4/24 - z**3/3 + 4*z**2. Let s be u(7). Solve -s*d = 7 - 2 for d.
-1
Let f be 4/(4 - 2 - 0). Let i(u) = -2 - 3*u**3 + 4*u**3 - 4*u**2 + 3*u**2 + 3*u. Let d be i(f). Solve 5*p = d - 3 for p.
1
Let l(n) be the first derivative of -n**2/2 + 4*n - 2. Let x be l(3). Solve k = -0*k + x for k.
1
Suppose 7*b = 2*b. Let n = -14 + 34. Suppose -2*w = -5*z + n, 0 = -b*w + w + 2*z - 8. Solve w*i = 2*i for i.
0
Let q be -2*(-5)/2 - -1. Let s be (1 + -7)/(-2) - 5. Let j be (-7 + 3 + -2)/s. Solve 18 = -j*c + q for c.
-4
Let y(u) = -u**3 - 8*u**2 + 8*u - 7. Suppose 4*h + 34 = -2. Let r be y(h). Solve 0 = s - r*s - 1 for s.
-1
Let a = -28 + 29. Solve -6 = -n - a for n.
5
Suppose 0 = 3*p + j - 7, 2*j + 3 - 11 = 0. Suppose k + 3*k = 0. Solve -z + 3 + p = k for z.
4
Let f(i) = -i**3 + i**2 + i + 1. Let x(j) = -2*j**2 - j - 1. Let c(y) = -3*f(y) - 2*x(y). Let h be c(-1). Let m = h + 7. Solve -m*o + 3*o - 4 = 0 for o.
-2
Let v(u) = u**2 - 4*u + 3. Let g be v(6). Solve -3*i = -0*i + g for i.
-5
Suppose 0 = -i + 5*i + 4, -3*t - 4*i = 4. Suppose t = -3*f + 8*f - 75. Suppose 0 = -2*y - 3*v + 32, 29 = 5*y + 3*v - 33. Solve -y - f = -5*u for u.
5
Let m(u) = 2*u**3 - 3*u + 3. Let q be m(1). Solve 0 = 4*x + q + 2 for x.
-1
Let g(f) = -f + 7. Let i(b) = 11*b**3 - 2*b**2 + 2*b - 1. Let c be i(1). Let p be (6 - 1)*6/c. Let u be g(p). Solve 5*s = s + u for s.
1
Let y(j) = -5 - 7 + 2*j + 0. Let x be y(8). Solve -5 - 11 = -x*z for z.
4
Let y(u) = 5*u**3 - 2*u**2 + 1. Let s be y(1). Solve -5*l + 9*l - s = 0 for l.
1
Suppose 10 + 2 = 3*s. Let b(g) = -g + 1. Let f be b(1). Suppose f = q - 5*q + 32. Solve s*w = -12 - q for w.
-5
Suppose 5*g + 3 = -5*y - 2, 5*y = -4*g - 2. Solve 0 = -x - y*x for x.
0
Let y(l) = 9*l - 6. Let c be y(9). Suppose 4*g - 5 = c. Suppose s = -4*s + g. Solve 0 = k + 3 - s for k.
1
Suppose 12 + 4 = 4*p. Solve -p = -0*k + 2*k for k.
-2
Let t(s) = -3*s**3 - s**2 + 1. Let a be t(-1). Solve -4*y + a = 19 for y.
-4
Let c(i) = -i + 13. Let p be c(11). Solve -p*d = d - 3 for d.
1
Let h be (-6)/9 + 34/6. Solve h*q + 1 = 11 for q.
2
Let o(j) = -j - 4. Let k = -2 + 8. Let a be (-26)/k - 1/(-3). Let z be o(a). Solve -2*t + 5*t + 12 = z for t.
-4
Let h(s) = -s**3 - 6*s**2 + s + 8. Let p be h(-6). Let g = -18 - -17. Let r(o) = -4*o + 2. Let a be r(g). Solve p*c + a = -c for c.
-2
Suppose -r + 4*r - 18 = -3*u, 4*r + u = 21. Solve -r*g + 3*g = 2 for g.
-1
Let q = 1 - 1. Let r = -1 - 1. Let v = 0 - r. Solve q = 3*j - j - v for j.
1
Suppose -4*v - 5*l + 49 = 0, 2*l - 35 = -2*v + 3*l. Let m = 0 + 4. Solve 0*r - v = m*r for r.
-4
Let n(i) be the second derivative of i**3/6 + i**2/2 + 3*i. Let z be n(5). Solve -4*y - z = -7*y for y.
2
Suppose 12 = 4*v - 0. Solve -t + 10 = -v*t for t.
-5
Let b be (-43)/3 + 2/6. Let o be (-12)/(-42) - 24/b. Let r(d) = 2*d**2 + 3*d - 2. Let n be r(2). Solve -k - n = o*k for k.
-4
Let c = -5 - -5. Suppose c*b = 3*b. Let w be (-30 - b)*(-2)/5. Solve 2*q = -q - w for q.
-4
Let q = 33 - 34. Suppose b = -0*b + 6. Let o = b + q. Solve o*z + 11 = -14 for z.
-5
Let r(f) = -f + 15. Let o be r(14). Solve -5*z - o = 19 for z.
-4
Let r(z) = -z**3 + 9*z**2 - 8*z + 8. Let h be r(8). Suppose 3*q = h + 1. Suppose 0 = 3*f + 3*y + y - 6, q*f + 2*y - 6 = 0. Solve -p = -f*p for p.
0
Let p be (-2 + -1)*1*-1. Let y(c) = -5*c + 131. Let s be y(26). Solve -p*h = -13 + s for h.
4
Let d = -18 - -22. Solve -14 = d*w + 6 for w.
-5
Let o(q) be the first derivative of -q**4/4 + 4*q**3 - 11*q**2/2 + 4*q - 1. Let z be o(11). Solve -2*h = -z*h + 6 for h.
3
Let b(k) = k + 3. Let y be b(-5). Let z be (-9)/y - 3/2. Solve -z = 5*n - 28 for n.
5
Let x = -1 - -3. Suppose -x*u = 2*u - 2*r + 8, 5*u - 5*r = -15. Let c = 1 - u. Solve 14 = -4*j - c for j.
-4
Let y = 10 - 12. Let m(t) = -t**3 + t**2 + 3*t - 1. Let h be m(2). Let c be y*(-3)/6*h. Solve 2*d + 3 = c for d.
-1
Suppose -14 = -2*c - 2*j, -17 = -5*c - 5*j + 6*j. Solve 0 = -c*p - 1 + 5 for p.
1
Let j = 8 + -6. Let m be j*(-2)/4*-5. Let r be 0/((1/1)/1). Solve m*l = -r*l for l.
0
Let o = 8 + -7. Suppose 2*q = 3*q - o. Solve -s + 3 + q = 0 for s.
4
Let y(w) = w**2 - 10*w + 13. Let x be y(9). Solve -2 - x = 3*g for g.
-2
Suppose 0 = 2*z - l - 4*l - 1, -4*z - 11 = 3*l. Let k be 11 - z - -1*2. Suppose 0 = 2*d, 5 = 5*a - 2*d - 15. Solve k = a*c - c for c.
5
Let g(h) = -h**2 + 2*h + 3. Let k(v) = -3*v**2 + 5*v + 8. Let p(x) = -7*g(x) + 2*k(x). Let o be p(5). Suppose b = 8 - o. Solve 4*r + b = -0*r for r.
-2
Suppose b = -0 + 5. Let j = b + -2. Solve q = j*q + 10 for q.
-5
Let d(s) = 6*s - 27. Let p be d(5). Solve k - p = -0*k for k.
3
Let r be (0*(-2)/(-8)*-1)/2. Solve r = t - 2*t - 4 for t.
-4
Let b(c) = -c - 2. Let h be b(-5). Suppose -h*l + 0 = -18. Solve -5*p - l = -2*p for p.
-2
Let b(m) = -m**3 - 8*m**2 - 9*m - 10. Let u be b(-7). Suppose 0 = -0*p - 5*p + 45. Suppose -7 = -2*i + p. Solve 0 = u*y + i for y.
-2
Let q(y) = -y**3 + 23*y**2 - 44*y + 47. Let g be q(21). Let a = -2 + 4. Solve -g*h + 6 = -a*h for h.
2
Let c be 27/5 - 2/5. Let r be 300/16*(-16)/(-6). Suppose 5 = c*j - 5, -r = -3*g + 2*j. Solve 3*s = -g + 3 for s.
-5
Let h(z) = -3*z. Let c be h(-1). Suppose -18 = j - 5*a, 5*j - c*a = -a + 2. Let t be j + (-1)/(-1 - -2). Solve -1 = -f + t for f.
2
Suppose 6*w - 36 = -6*w. Solve 2*o = -w*o + 25 for o.
5
Let k = 16 + -10. Suppose -h + 2*h = k. Suppose -5*c = -4*d - 5, -2*d - h*c = -4*c - 20. Solve -d*v - 12 = 8 for v.
-4
Let o(t) = t**2 + 8*t + 2. Suppose 0 = 5*x - 40 - 60. Let i be (8/10)/((-2)/x). Let v be o(i). Solve 7*a = v*a for a.
0
Suppose 5*r + 10 = -2*q, -2*q - 4 = 6. Solve r = -4*o + 3*o - 5 for o.
-5
Let v be ((-2)/3)/(2/(-60)). Suppose 5*a - 30 = a - 2*y, -a = 3*y - v. Suppose a*o - 19 = -4. Solve 0 = 4*w - o - 5 for w.
2
Suppose 19 - 7 = 4*o. Let r be (-3)/15 + 52/10. Suppose 0 = r*p + o - 93. Solve 6 = 4*t + p for t.
-3
Let d be (8/(-3))/(2/(-3)). Solve -d*f - 4 = -0 for f.
-1
Suppose 0 - 4 = g. Let h = g + 4. Solve -3*l + 8*l - 20 = h for l.
4
Let v = -55 - -105. Suppose 2*t = -3*t + v. Solve d - t = -4*d for d.
2
Let r(g) = g**3 - 4*g**2 + g - 2. Let c be r(4). Suppose 2*x + 3*x = -40. Let u = x - -11. Solve c*b - 2 = u*b for b.
-2
Suppose 28 = 16*j - 9*j. Solve -5*a - 1 - j = 0 for a.
-1
Suppose 3*l = -2 + 8. Suppose -2*y + 1 = n + 9, 4*n - y = 4. Solve 2*i + n*i = l for i.
1
Let n(q) = q**2 + 17*q + 2. Let x be n(-17). Solve -4 = s - x*s for s.
4
Suppose -5