n = 3*o + 8. Solve 17 = o*y + 5 for y.
3
Let s be 69/21 + 12/(-42). Solve -a = -s*a for a.
0
Let w be -1 + ((-8)/(-4) - -4). Solve 0 = 4*n + w + 3 for n.
-2
Let q(b) = -b**3 + 9*b**2 - 2*b + 20. Let s be q(9). Let u = s + 2. Solve -4*d + u = -2*d for d.
2
Let k be (-8)/3*(-3)/2. Solve -4*a + k = -0*a for a.
1
Suppose 12 = 2*k + k. Let f = 4 - k. Let o be 0 + 1 + f - 1. Solve 3*h + 0*h = o for h.
0
Suppose 8 = 4*h + 3*p, h - 6 = -2*h + 5*p. Solve -5*w - 12 = -h for w.
-2
Suppose -2*u + 5*u + 5*b + 14 = 0, 4 = -2*u - 2*b. Suppose -6 = -2*d + u*i, 3*d + 5*i - 2*i = 3. Let y be (-4)/2 + 18/d. Solve 0 = 2*r - 17 + y for r.
5
Let b be 7/2*8/4. Solve 3*n + b = -2 for n.
-3
Let l(x) = x**3 + 4*x**2 - 6*x - 5. Let a be l(-5). Suppose -2*c + 1 + 5 = a. Solve -9 = -0*z - c*z for z.
3
Let g(v) = -2*v + 2. Let t be g(-5). Let d be 1/(1*2/t). Let k be (6 - 5) + 1 + -2. Solve k = -3*z + d for z.
2
Let t = -18 - -6. Let q = t + 17. Solve -2*w = -q*w for w.
0
Suppose -5*s + 71 = 6. Suppose 0 = -2*h - 5 + s. Solve h*z = -0*z for z.
0
Suppose 4*c - 3*v = -3, 10 = v + v. Solve c*w - 4*w = 1 for w.
-1
Let n(s) be the first derivative of s**2/2 + 8*s - 1. Let l be n(-6). Solve -5 + 1 = -l*j for j.
2
Suppose 3*m - 17 = 10. Let o be 2/m - 12/54. Let v(i) = i**2 - 6*i + 5. Let j be v(6). Solve -t = -o*t + j for t.
-5
Let b(g) = -g**3 + 4*g**2 - 2*g + 2. Let f be b(2). Solve 3*z + f = -0*z for z.
-2
Let q(m) = -m - 7. Let a(p) = p + 6. Let d(c) = -7*a(c) - 6*q(c). Let g be d(-1). Solve 0 = -2*l + g + 3 for l.
2
Suppose 3*u - 7 = 2*h, -2*u = -2*h - 4 + 2. Let i be (-4 - -5)*u*2. Solve -v - i = -3*v for v.
5
Suppose -20 = h - 0*h - 4*y, -2*h + 5*y - 28 = 0. Let r = h - -6. Let p be 8 - 1 - 1*r. Solve p = 5*u - 5 for u.
2
Suppose -2*w = -3*k - 10, 2*k + 2*w = k + 10. Suppose -2*h = d - 4, -2*h + 2 + 0 = 0. Solve k = f + d + 3 for f.
-5
Suppose 0 = -3*m + 32 - 2. Solve 0 = -4*l + 6 + m for l.
4
Let q(m) = m**3 + 14*m**2 + 5. Let j be q(-14). Solve -k - j = -6*k for k.
1
Let g(h) = h + 26. Let u be g(-14). Solve 0 = -4*a - 8 - u for a.
-5
Let n = 73 - 73. Solve n = -5*i - 2 - 3 for i.
-1
Let p = -51 + 53. Solve -3 = -p*z + 3 for z.
3
Let i(t) = -t**3 + 2*t**2 - 4*t + 3. Let y be i(1). Let o = 2 + -1. Solve c = -y*c + o for c.
1
Let a = 5 + -5. Solve a = 3*z - z - 8 for z.
4
Let y(a) be the second derivative of a**3/3 + a**2 + 8*a. Let x be y(-1). Solve k + 3*k = x for k.
0
Let g = 6 + -4. Let k be 4 + 4 + -2 + -2. Let z be -2 - g/(k/(-38)). Solve z - 7 = 5*w for w.
2
Let k = -4 - -9. Let b = k + -3. Let p be (2 + -1)*(0 - 0). Solve -b*c + p*c = 0 for c.
0
Let v = 87 - 86. Solve -5 - v = -2*j for j.
3
Let z(m) = -m**3 + 12*m**2 - 11*m + 2. Let q be z(11). Suppose -q*c + c = 0. Solve 4*v + v - 25 = c for v.
5
Let r(i) = -i + 1. Let l be r(-5). Let x = 5 - l. Let p be (-3)/(-3) + 4 + x. Solve p = j + 3 for j.
1
Let w(z) = z**2 + 19 - 19 - 3*z + 0*z**2. Let x be w(4). Solve -x*s = -3*s + 2 for s.
-2
Let v(l) = l. Let m be v(3). Solve -m*o = -4 - 5 for o.
3
Let v(w) = -w**2 + 8*w - 14. Let m be v(4). Solve -7 + m = n for n.
-5
Let i = 107 - 106. Solve 5*v + 4 = -i for v.
-1
Suppose -2*n + 25 = -3*h, 4*n + 4*h = -n + 5. Solve n*b = 2*b - 15 for b.
-5
Let t = 13 - 11. Let b(g) = -g**3 - 5*g**2 - 4*g + 2. Let a be b(-4). Let f = t - a. Solve f = -3*o + 2*o for o.
0
Suppose 2*p = 1 - 3. Let a be -1*0/(-2)*p. Solve 3*r + a*r = 0 for r.
0
Suppose 0 = -10*a + 15*a - 40. Solve -a = -h - 3*h for h.
2
Let i = -6 + 8. Suppose -1 = -i*b + 15. Solve r = -r + b for r.
4
Let z(u) = 8*u**3 - 3*u + 4. Let b be z(1). Solve -b - 7 = -4*c for c.
4
Let p = 12 + -4. Let g(x) = -5*x - 56. Let r be g(-12). Let m = -1 + 1. Solve r*o + m*o + p = 0 for o.
-2
Let o(g) = 5*g + g + 29 - 32. Let a(p) = -2*p - 1. Let j be a(-2). Let m be o(j). Solve -3*f - 2*f + m = 0 for f.
3
Let f be (-4)/6 + (-22)/(-6). Suppose -v = v - 4. Let n = f - v. Solve -p - n = -5 for p.
4
Let b(u) = -4*u**3 + 3*u**2 - 4*u - 2. Let j(m) = m**3 - m**2 + m. Let n(r) = -b(r) - 5*j(r). Let w be n(0). Solve 0 = -w*o - 1 + 11 for o.
5
Let q(d) = 4*d - 9. Let w be q(7). Let z = 24 - w. Solve -3 - 22 = z*h for h.
-5
Let s(w) = -w**3 + 8*w**2 + 8*w + 12. Suppose 3*u = u + 18. Let d be s(u). Let k = 7 - 4. Solve k*l = 2*l + d for l.
3
Suppose 2 = 4*c + 2*u + 4, 5*u = -25. Solve 0 = c*j + 10 for j.
-5
Let w(s) = -s + 7. Let u be w(5). Solve 0 = -l - 7 + u for l.
-5
Let k = -15 - -17. Suppose 8 + k = 2*p. Solve p*j = 2*j - 9 for j.
-3
Let a be 1 + 4 - (4 - 4). Solve -4 = c - a for c.
1
Let w(o) = -o + 9. Let a be w(4). Let c be a*-2*36/(-40). Solve c*n - 20 = 4*n for n.
4
Suppose -9 + 45 = 4*i - 5*a, -12 = -4*i - a. Solve s = -i*s + 5 for s.
1
Suppose q - 3*q = 0. Suppose 0 = -2*l + 4*p + p, 0 = -3*l - 5*p. Suppose l = 2*s - 7*s - c + 2, -3*s - 3*c = 6. Solve h = -q*h + s for h.
1
Let y be (3*(-5 + 4))/((-3)/5). Solve 0 = -2*q + 5 + y for q.
5
Suppose -l + 1 = 2*h, 14 = h - 0*h - 4*l. Let m = -3 + 8. Solve -h*c = -m*c for c.
0
Suppose -3*w + 4*p - 10 = 10, -p + 2 = 0. Let k be 2 + (-12)/w*1. Solve f = -4*f - k for f.
-1
Suppose 33 + 4 = 2*y - v, -2*v = -3*y + 58. Suppose -2*g = p - 3*p - y, -1 = p. Solve -g = -2*j + 3 for j.
5
Let w be (-2)/5 + 6/15. Suppose -3*a + 4*a + 5*k = 21, 2*k + 46 = 3*a. Solve -5*t + a + 4 = w for t.
4
Let d(f) = -f + 2. Let m be d(-2). Suppose 5*t = 20, -m*k + 3*t + 8 = -0*k. Solve 2*g = k*g for g.
0
Let n(u) = -2*u**2 - 4*u - 5. Let k be n(-2). Let s be (-4 + (-1 - k))/(-1). Solve s = -a + 1 - 2 for a.
-1
Let z = 1 + 2. Solve 14 = -z*p + 5 for p.
-3
Let l(m) = m. Let p be l(5). Suppose 2*o + 30 = 4*o + p*k, 4*k + 8 = 0. Suppose 3*c + 4 = j, 5*j - o = c - 5*c. Solve -4*g + 4 = -j for g.
2
Suppose 6 = -b + 28. Suppose 0 = 5*g - b - 13. Solve g*o - 2*o = -15 for o.
-3
Let k(b) = 3*b + 1. Suppose -5 = -g - 4. Let a be k(g). Solve a = d + 9 for d.
-5
Suppose 17*f + 20 = 27*f. Solve -4*q + 6 = -f*q for q.
3
Let q be (6/(-4))/((-10)/(-20)). Suppose 3*z = 8*z - 20. Let k = z + q. Solve 19 + k = -5*n for n.
-4
Let b = 15 + -13. Let x(a) = -a + 8. Let m be x(6). Let o be 2/5 + (-4)/10. Solve -b = -o*i - m*i for i.
1
Let m(x) = 6*x**2 + 9*x - x**3 - 2*x + 0*x. Let p be m(7). Solve p = -5*j - 0*j - 10 for j.
-2
Let m be -1*4/((-4)/3). Suppose 0 = -m*k - 0*k. Suppose k = 6*s - 2*s - 12. Solve -s*p = p for p.
0
Let g be 1/(-1) + (-3)/(-1). Let h be 2/(-4)*g*-5. Let l = h - 3. Solve 7 = -3*f - l for f.
-3
Let d(t) be the second derivative of t**3/6 + t**2 - t. Suppose 11 = 4*k - 5*i, 3*k - 4*i + 7*i + 12 = 0. Let a be d(k). Solve -4*s + a = -3 for s.
1
Let v(x) = -x - x + 3*x. Let t be 0 - (4 + -3 + -3). Let b be v(t). Solve 2*a + 0 = -b for a.
-1
Suppose -7 = -m - 3. Suppose -m*u = -0 + 12. Let k = 6 + u. Solve k*h - 1 - 2 = 0 for h.
1
Let q be (0 - 6/(-39)) + 4902/247. Solve -i - q = 3*i for i.
-5
Suppose 0*q = -2*q. Let f(h) = -h**3 + 5*h**2 + 8*h - 8. Suppose -20 = 5*g, 0*v - 5*g = 3*v + 2. Let a be f(v). Solve q*r + 2*r + a = 0 for r.
-2
Suppose -x = -w - 0*w - 1, 4*x - 4 = w. Solve 0 = -w*y - 2*y - 10 for y.
-5
Let h(z) be the third derivative of -z**6/40 + z**4/12 + z**3/6 + z**2. Let a be h(-1). Suppose 34 = 5*y - w, y + 4*w + 4 = -y. Solve 0*i + y = a*i for i.
3
Let y = -8 + 10. Suppose -y*p = r + 9 - 2, -4*r + 5*p + 37 = 0. Solve r*w - 6 = -0 for w.
2
Let b(z) = 5*z - 1. Let w be b(1). Let v(c) = c**3 + 7*c**2 + 5*c - 5. Let r be v(-6). Let x be 2 - (1 - r) - -2. Solve w - 8 = -x*d for d.
1
Let h(w) = w**2 + 5*w - 9. Let x be h(-7). Solve 0 = -4*c - c - x for c.
-1
Suppose -5 = -2*o - 1. Suppose -o*r + 3*r - 7 = 0. Solve -4*b - 1 = r for b.
-2
Suppose 0 + 8 = 4*q. Suppose 0 = 3*c + 3*h, 4*c = q*c - 4*h - 4. Solve -2*u + c = -0*u for u.
1
Let a(p) = 2*p**2 - 20*p - 18. Let l be a(-1). Let c(n) = -n**2 + 1. Let r be c(1). Solve r*m - 8 = -l*m for m.
2
Suppose 5*s = p - 26, 5*p - 4*s - 23 - 2 = 0. Suppose -x + 0*g + p = 5*g, -5*x = -5*g - 5. Solve -x = 2*b - 3 for b.
1
Let l(a) = -a**2 - 8*a + 5. Let g be l(-4). Suppose 2*f - n + 6*n = 33, -n + g = 4*f. Solve -12 = -b + f*b for b.
-4
Let l(r) = -r**2 - r. Let m be l(-1). Solve 2*z + 3 + 3 = m for z.
-3
Suppose -l + 2*c = -4 - 6, 4*c + 4 = -2*l. Solve -3*t + l = 1 for t.
1
Let b = 61 - 59. Solve b*h = -0*h - 2 for h.
-1
Let m = 10 - 3. Suppose -2*y = -m*y. Solve -x - 5 =