 = -2*n for n.
5
Let x(u) = -u**2 - 6*u - 5. Let t be x(-7). Let b(d) = -d**2 - 11*d + 16. Let z be b(t). Solve z = 4*i + 8 for i.
-1
Let g(d) = 4*d**2 + d - 2. Let k be ((-6)/4)/(12/16). Let z be g(k). Let p = z + -8. Solve 2*o - 4*o = -p for o.
2
Let m be 0 + 7 + -3 + 2. Let y = m + -4. Suppose -k + 9 - y = 0. Solve -k*v + 15 = -2*v for v.
3
Let i be (-13 - -9)/((-1)/2). Solve i = 3*z - 4 for z.
4
Let z be (-14)/(-42) + 2/(-6). Solve 3*h - 5 - 4 = z for h.
3
Let l(s) be the second derivative of -s**4/12 - 7*s**3/6 + 2*s**2 - 3*s. Let y be l(-7). Solve y*n + 10 = 2*n for n.
-5
Let a = -1 + 4. Let i = -3 + a. Solve -2*l - 10 = -i*l for l.
-5
Let x be -3 - 0 - (-1 + -4). Solve -x*k = -6*k - 8 for k.
-2
Let z = 4 + -3. Solve i + 1 + z = 0 for i.
-2
Suppose -9 = 3*l - 39. Let q = l - 8. Solve -q*v = -8 + 2 for v.
3
Suppose -3*d + 2*n = -58, 6*d + 2*n = 4*d + 22. Let z be 52/d - (-9)/12. Solve 0 = -z*j - 9 - 7 for j.
-4
Let i(p) be the first derivative of p**3/3 + 2*p**2 - 5*p - 2. Let l = -4 - 1. Let y be i(l). Solve y = k - 2 - 2 for k.
4
Let a = 17 + -12. Suppose -a = -x - 2. Suppose c - 17 = x. Solve -t = 3*t + c for t.
-5
Let q = -25 - -36. Let m = q + 9. Solve -2*o - 3*o - m = 0 for o.
-4
Let a(t) = t**2 + 10*t - 11. Let m be a(-11). Let r = 2 - m. Solve r*l = 7*l - 15 for l.
3
Suppose z = -2*z + 15. Suppose -2*k + 3*x + 21 = 0, -z + 42 = 4*k - 5*x. Solve 0 - k = -3*d for d.
1
Suppose -v - 23 = -4*q - 0*q, -4*v + 8 = 4*q. Solve q*x - 17 = -2 for x.
3
Suppose 2*x + 0 = 6. Solve 5 = x*q + 17 for q.
-4
Let h = 0 + 0. Suppose h = v + 4*v. Solve -b - 7 + 2 = v for b.
-5
Let m be (-1 - 0)*(-2 + 4). Let i be (-4)/(-8)*m/(-1). Let d = i + 3. Solve d*o = 6*o - 6 for o.
3
Let h be (-1 - (-6)/(-4))*-2. Suppose -i - 10 = -3*g, 3*g - h*i + i - 13 = 0. Solve -8*d + g*d = -10 for d.
2
Let a(x) = -x + 7. Let g be a(7). Solve 0 = b - g - 3 for b.
3
Suppose -b + 0*b + 10 = 5*m, -5*m + 5*b + 40 = 0. Suppose -2*t + 3*f = -13, -m*t - 5*f + 9 - 18 = 0. Solve w - t = -5 for w.
-3
Let v be 5/(3/(3 - 0)). Solve -v*r = 5 + 5 for r.
-2
Suppose 2*p - 15 = -p. Solve p*a - 2*a = 0 for a.
0
Suppose -4*h + 3*h = -2. Solve 0*d + h*d = 10 for d.
5
Suppose 0 = 3*j - 2*j - 1. Let t be (j - 1) + 3 + 1. Solve -t*u = -2*u + 8 for u.
-4
Let k(z) = -2*z - 20. Let v be k(-11). Solve y - v = -1 for y.
1
Let a = 4 + -2. Suppose 0 = -3*q + a*q - 4. Let j = 0 - q. Solve 22 = j*y + 6 for y.
4
Let h = -6 + 9. Suppose -h + 15 = 3*c. Solve 0 = -c*z + 5*z for z.
0
Let f be -5 + 0 + (-37 - -43). Let n = -1 - 3. Let r = -2 - n. Solve j - r = f for j.
3
Let a(r) = -r**3 + 5*r**2 + 8*r - 8. Let w be a(6). Let x(s) = 2*s - 6. Let y be x(4). Solve -y*k = -w*k for k.
0
Let v(t) = t**3 - t**2 - t + 1. Let g be v(1). Let b(f) = f**3 - f + 5. Let s be b(g). Solve 9 = -s*z - 6 for z.
-3
Let s be (6/(-8))/((-1)/(-4)). Let y be (-4)/8 - s/2. Suppose -2*p - y = -7. Solve 0 = 4*j - 15 + p for j.
3
Suppose -a = -3*h - 5, -2*a + 2*h + 6 = -a. Solve a = -c - c for c.
-4
Let r = 5 - 6. Let k = r + 2. Let x = 2 + 2. Solve k = z - x for z.
5
Let a be -15*(-2 - (-8)/10). Let u be 6/(-24) - (-54)/(-8). Let r = u + a. Solve 3*v - r = 1 for v.
4
Let z be (-8 + 4)*2/(-1). Solve 0 = -4*m - 0*m - z for m.
-2
Suppose -3*s + 24 = -s. Solve 3*m = -0*m + s for m.
4
Let n(s) = -s**2 - 13*s + 14. Let k be n(-14). Solve 20 + k = -5*v for v.
-4
Let l = -19 + 22. Solve 0 = -0*s - l*s for s.
0
Let w(k) = k**3 + k**2. Let b be w(1). Suppose 0 = m - 3 - 0. Let s be (-21)/(-3) - (m - 1). Solve b*v - s = -3 for v.
1
Let y be 3*((-40)/15 - -3). Solve -4*f + y = -3 for f.
1
Suppose -q - 2 - 33 = -3*z, -z + 5*q + 7 = 0. Suppose 5*j - z*j = 0. Solve j*u = 5*u - 15 for u.
3
Suppose -25 = -5*p + 3*s, -6*s + 3*s = 5*p + 5. Suppose 3*r + 2 = 2*t - 7*t, r - t = p. Solve -r = -3*y - 10 for y.
-3
Let v(a) = 5*a + 3. Let d be v(-3). Let c = -17 - d. Let f = c - -8. Solve 0 = m + 6 - f for m.
-3
Let n = 0 + 0. Let y = 5 + -5. Let v be y*(0 + -1) - n. Solve v = 5*o - 25 + 10 for o.
3
Suppose 3*l = l. Let m(k) be the third derivative of k**4/24 - k**2. Let o be m(l). Solve o*y = 2*y for y.
0
Let v = -8 + 10. Solve -v*p - 3*p - 10 = 0 for p.
-2
Suppose 0 = -2*u + 5*u - 21. Let x = u + -6. Solve x - 3 = -r for r.
2
Suppose 4*j + 13 = 29. Solve 0 - j = -4*w for w.
1
Let f(q) = -q**3 + 4*q**2 + q - 4. Let h be f(4). Suppose -6*b + 12 = -4*b. Solve 3*g + 0*g - b = h for g.
2
Suppose -k + 5*k = 0. Let x be (-3 - -2)/((-3)/9). Solve -j + 0*j - x = k for j.
-3
Suppose 2*r + 4 - 2 = 0. Let q be 6/3 - (-1 - r). Solve -q*t - 3*t - 5 = 0 for t.
-1
Suppose 5*y + 5*v - 32 = -7, 3*y - 4*v = 50. Solve k = 6*k + y for k.
-2
Let g be 4/14 + 2232/28. Let o be g/36 + 2/(-9). Solve 0*a + o*a = -2 for a.
-1
Suppose 0 = 5*s - 38 - 37. Let v(c) = 2*c. Suppose 0 = -5*z + 10. Let b be v(z). Solve -f + s = b*f for f.
3
Let m(t) = -6*t**3 + t**2 - 1. Let x be m(-1). Let v be 0 + 0 + 2 + x. Solve -4 = -3*f + v for f.
4
Suppose 0 = -2*k, 3 = 4*v - 2*k - 9. Suppose -v*h + 6 = -2*h. Solve 0 = -h*q + q - 25 for q.
-5
Let l = 0 + 4. Suppose -1 = -3*u + 5. Let k = 3 - u. Solve l*p = k + 3 for p.
1
Let j = -64 + 73. Solve 0 = -4*i - 11 - j for i.
-5
Suppose -7 = -d + r, -2*d + 2*r = -7*d + 7. Let b be 2*(2 + (-2 - -1)). Solve b = -d*z - 4 for z.
-2
Let h = -79 + 83. Solve -h*c - 20 = c for c.
-4
Let m = -12 + 16. Solve -w + 0 + m = 0 for w.
4
Let p be 2/(-5) - 51/(-15). Let o be (3/(-2))/((-5)/(-10)). Let t = p + o. Solve -3*m - 2*m + 5 = t for m.
1
Let q = 21 - 18. Solve 3 = q*v - 2*v for v.
3
Suppose 4 = 8*c - 36. Solve -c*i - 1 = 9 for i.
-2
Suppose 2*q + 2*u - 3*u + 3 = 0, 9 = q + 3*u. Suppose -2*l = -r + 1, q = -0*r + 3*r + 4*l - 23. Suppose r*b = -0*b + 50. Solve 3*m = m - b for m.
-5
Suppose -3*y + 3 = -3. Solve -1 = y*t + 1 for t.
-1
Suppose 0 = 2*x - 4*j - 34, -3*x + 0*x = j - 16. Suppose -2*u - 2*u - 30 = -5*c, 5*u + 17 = -4*c. Solve -c*i = -x*i + 15 for i.
3
Let u(k) = 2*k - 8. Let a be u(6). Suppose a*p + r - 13 = 0, 2*r = -2*p - 0*r + 14. Solve -c - p = c for c.
-1
Let f(g) = -2*g**2 + 10*g + 3. Let x be f(5). Solve 15 - x = -3*r for r.
-4
Let h = -29 - -40. Let m = h - 10. Solve -2*o + 9 + m = 0 for o.
5
Let w(h) = -h + 2. Suppose 2*s + 0*b - 5*b = 5, -s - 5*b = 20. Let n = -1 + s. Let u be w(n). Solve m - 3*m - u = 0 for m.
-4
Suppose 0 = 2*h - 4 - 0. Let u = 29 - 25. Solve 0 = -0*a - h*a - u for a.
-2
Let o be -3 + 5 + 8*3. Let t = o - 17. Solve 3*c + 0 = t for c.
3
Let o(h) = -2*h**2 + 22*h + 5. Let j be o(11). Solve 0*p + j = p for p.
5
Let v(n) = -n**3 - 8*n**2 - 6*n + 9. Let j(q) = -q - 4. Let m be j(3). Let i be v(m). Let k be ((168/(-20))/6)/(2/(-10)). Solve -25 = i*d - k*d for d.
5
Suppose -2*g + 0*s + 4*s = -24, 4*s = -4*g + 12. Suppose -2*v = -g*v + 8. Let q be (v + -1 + -4)/(-1). Solve q*l = 5*l + 6 for l.
-3
Let r be (-2)/(-4)*(1 + -1). Let s = 5 + -11. Let u = -1 - s. Solve u*t - 3*t + 10 = r for t.
-5
Let w(t) = t**3 - 2*t**2 - 11*t + 5. Let c(u) = 2*u**3 - 3*u**2 - 21*u + 10. Let b(z) = 6*c(z) - 11*w(z). Let p be b(-5). Solve p*v + 1 = -19 for v.
-4
Suppose 0 = -3*u + 3*r - 0*r, -5*r + 14 = 2*u. Solve -k + u + 1 = 0 for k.
3
Let r = 140 - 139. Solve s + 0 = r for s.
1
Suppose 5*i - i = 0. Suppose 0*d - 5*g = -5*d + 40, 0 = -3*g. Solve i = -f - 3*f + d for f.
2
Let u be (-1)/3 + (-20)/(-6). Solve 4*h = u*h for h.
0
Suppose 5*a + 2*i = 4, 5*a = 4*i - 8 + 30. Solve -a*p - 2 = -0 for p.
-1
Suppose 15 = -5*q - 5*j, j = -4*q - 18 - 6. Let n = 11 + q. Suppose -f - 2 + n = 0. Solve f*w + 1 = 3*w for w.
1
Let t = -7 - -2. Let n be (1 + t + 2)*-1. Let i be 1/((n/4)/1). Solve i = j - 3 for j.
5
Suppose -3*m + 2*m = -7. Suppose -5*p + m = 2. Suppose 2*j - 7 - p = 0. Solve 0 = -l - j*l + 15 for l.
3
Suppose 5*k - 30 = -k. Solve 2*v + 3*v = -k for v.
-1
Let r be 5*1 - (-6)/(-2). Suppose 0 = 3*k - 2*q - 8, q + r*q = k - 12. Solve k = 5*f - 2 - 8 for f.
2
Let g(u) = u**3 + 2*u**2 - 2*u - 2. Let v be g(-2). Suppose 0 = -2*n - 10, -4*j - n - 3 + v = 0. Suppose -4*m = -0*m - 4. Solve -j = q + m for q.
-2
Suppose 2*x + 8 = -3*r, 5*x + 2 = -18. Solve r = -2*m + 5*m + 3 for m.
-1
Suppose 0 = -2*y + 2*x - 4, -3*y + 4*x = -y + 2. Let d = y - -4. Solve 0 = -2*b - 5 + d for b.
-2
Let f be ((-7)/(-7))/(1/3). Let t(d) = -d - 3*d + f*d + 1 - 4*d. Let y be t(-4). Solve 5*p - y 