ppose -u + 3*u - 10 = 0. Let w be (-24)/(-6)*(-15)/(-4). Suppose u*o = -w, -r - 3*o = -7*o - 28. Solve -5*v + r = -v for v.
4
Let l be 0 + (5 - (3 + -2)). Suppose i = -0*i + l. Solve i*j + 25 = -j for j.
-5
Let h be 3 - (0 + 14/2). Let b(c) = -c. Let q be b(h). Solve -q*z = -z for z.
0
Let f = 0 + 18. Suppose f = s + s + 2*g, -g = 4*s - 24. Let p = -6 - -10. Solve p*z + z - s = 0 for z.
1
Suppose 4*j = 2*y + 20, -y + 15 = j - 4*y. Suppose 4*d = -0*d, g - 5*d - 8 = 0. Suppose -g*v = -13*v. Solve v = -j*z + 7 - 1 for z.
2
Suppose a + 12 = 3*p, 6*p - p - 13 = 4*a. Solve -11 - 4 = a*t for t.
-5
Let y(d) = -d**3 - 6*d**2 + 5*d - 3. Let m be y(-7). Let v = -8 + m. Solve v*w = w - 6 for w.
-3
Let d = 0 + 0. Let k be 3 + d/(0 - -3). Solve -k*s = s - 20 for s.
5
Suppose -2*k = -3*v + 16 + 5, -k = 3. Suppose u - 25 = -v*n, -2*u + 2*n - 33 = -7*u. Suppose u = -s + 17. Solve -4*p + s = -0*p for p.
3
Suppose -5*v - 39 = -2*j, j - 3*v = 2*v + 27. Suppose 2*t + j = 3*d, 2*t = 3*t. Solve -d*n + 5 = 1 for n.
1
Suppose -5*v + 0 = -5, 0 = j + 5*v - 13. Suppose 4 + j = 4*t. Suppose 0 = -0*u + t*u. Solve u*h + h + 3 = 0 for h.
-3
Let v(t) = -t**2 + t + 2. Let u be v(2). Suppose -4*w + a + 21 = -0*w, -29 = -w + 5*a. Solve 4*f + u = -w for f.
-1
Let o = -3 - -3. Suppose o = -r - r. Solve r = w - 2 + 4 for w.
-2
Let y = 13 + 0. Suppose -k - 30 = -5*h, 3*h - 13 = -k + y. Let p(t) = t - 4. Let n be p(h). Solve 0 - n = 3*o for o.
-1
Let n be (2/4)/((-7)/(-14)). Solve -5*o - n = -4*o for o.
-1
Suppose 3*j = -4*y + 44, y - 2*y = -5*j + 81. Solve 0 = -6*d + 2*d - j for d.
-4
Let g(w) = -w**3 - 10*w**2 - 11*w - 8. Let t be g(-9). Let y = 14 - t. Solve 15 + 1 = -y*i for i.
-4
Let g(m) = -m**2 + 15*m + 20. Let q be g(16). Solve p - q*p + 9 = 0 for p.
3
Suppose 0*c = c - 2. Let o(a) be the first derivative of 2*a**3/3 - a**2/2 - 3*a - 1. Let i be o(3). Solve 0 = s + c*s - i for s.
4
Suppose -16 = 4*r, -2*r = -3*t + 16 + 1. Solve k - t = -2 for k.
1
Let c(m) = -2*m**3 + m**2 + 2*m + 1. Let i be c(-1). Suppose 5*o + 4*b = -8, -i*o + 4*b + 7 + 1 = 0. Let u be (-2 - -1 - o)*-2. Solve 0*q = u*q + 8 for q.
-4
Suppose 2 = -6*o + 14. Let q be (-2)/(-2)*6/o. Solve 12 = -q*d - 0 for d.
-4
Let o(r) = -r - 2. Let j be o(-2). Let c be ((-6)/15)/((-2)/20). Suppose 2*d = c*d. Solve d*s - 5*s = j for s.
0
Let i(w) be the third derivative of w**5/10 - w**4/12 + w**3/6 + 2*w**2. Let d = -11 + 12. Let u be i(d). Solve 0*t = t - u for t.
5
Suppose 5*h - 1 = 5*r - 6, -2*h - 5*r + 5 = 0. Let j(l) = l**3 - l + 3. Let a be j(h). Solve -q - a = -7 for q.
4
Let q = 39 + -27. Suppose 2*r = q + 4. Solve 0*x + r = 2*x for x.
4
Suppose -4*q + 3*q + 2 = 0. Suppose 2*i - 80 = -q*i. Let l = 10 - 6. Solve i = t + l*t for t.
4
Suppose 4*d - 53 = 3*j + 11, -3*d = -5*j - 48. Solve 0 = d*y - 13*y for y.
0
Suppose -6*j = -0*j - 12. Solve j + 6 = 4*s for s.
2
Let q(d) = d**2 + 2*d - 3. Let p be q(2). Let i(x) = -x**2 + 5*x - 2. Let s be i(5). Let h = s + p. Solve 1 = -h*n + 13 for n.
4
Let n be -1*1*((-8)/4 - 0). Solve -6*b + n*b = -20 for b.
5
Let w(n) = -6*n - 13. Let c(k) be the third derivative of -k**4/12 - 2*k**3/3 - 3*k**2. Let l(d) = 14*c(d) - 4*w(d). Let s be l(-4). Solve 0*f - s = -3*f for f.
4
Let m be (-2)/(-4)*(0 - 1)*-6. Solve -5 = -m*n + 4 for n.
3
Let m(s) be the second derivative of -s**4/12 + 4*s**3/3 + 11*s**2/2 - s. Let a be m(9). Solve -a = 4*c + 2 for c.
-1
Let l(j) = -4*j**2 + 11*j - 5. Let b be l(2). Let o = 8 + -4. Solve -i = -o - b for i.
5
Suppose -5*r = 15, -3*l + r + 63 = -15. Suppose 0 = q - 5 + 1. Solve -b = q*b + l for b.
-5
Let g(z) = -z**2 - 6*z - 2. Let b be g(-6). Let o = b + 6. Let w = -15 + 23. Solve 0 = 4*y + o - w for y.
1
Let w = -20 - -22. Suppose -4*m = -1 - 3. Solve w*g + 3 + m = 0 for g.
-2
Let l = 6 + -4. Let t(x) = 4*x**2 - 2*x - 2. Let o be t(2). Suppose -2 = -2*n + 4*w - o, 0 = 2*w - 4. Solve -l*r + r + 1 = n for r.
1
Let x = -8 - -14. Let d be 32/x + 6/(-18). Suppose -s - d = k, 0 = -6*s + 3*s + 3*k + 15. Solve m = -s*m + 5 for m.
5
Suppose 5*f = -10, -4*n - 2*f - f = -6. Suppose -3*v = -5 - 10, n*r - 2*v = -4. Solve 1 = w + r for w.
-1
Let i(b) = b**3 + 5*b**2 + 4*b + 2. Let k be i(-4). Let u be 147/28 - 1/4. Suppose u*p - 8 = 27. Solve -k*f = -3 - p for f.
5
Let g = 7 + -5. Suppose -a = -v + 2, -4 = 5*v + 2*a - 28. Suppose -2*m - 5 = -u, v*m - 20 = -u - 3*u. Solve -g + m = x for x.
-2
Let q be -8 + 1 + 1/(-1). Let x = q - -14. Suppose -4*b + 17 = 4*s - 7, -4*s + 4 = 0. Solve -1 = -b*z - x for z.
-1
Let o(c) = c**3 + 6*c**2 - c. Let j be o(-6). Let n(y) = -3*y - 1. Let p be n(-1). Solve -j - p = 2*l for l.
-4
Let k be 6/10 - 3/5. Let c = -4 - -6. Let n = k + c. Solve 2*o = -n*o for o.
0
Let x(g) = -2*g - 2. Let n be x(-3). Solve 2*i = 3*i + n for i.
-4
Let l be ((-4)/(-6))/(2/(-33)). Let b = 16 + l. Solve 2*y = b*y + 15 for y.
-5
Let p = -8 - -4. Let w be (-3)/2*(p + 2). Solve 0 = -w*a + 7*a + 4 for a.
-1
Suppose 3*k = -3*g - 2 - 4, 0 = -5*g - k - 14. Let q be (0/(-2))/(4 + g). Let l = 0 - q. Solve l = -d + 4 - 3 for d.
1
Let o(h) = 5 + h**3 + h**3 - 6*h**2 - 3*h**3 - h. Let j be o(-5). Let q be 8/(-10)*(j - -5). Solve q = -v - 3*v for v.
-2
Let v(j) = -j**3 + 1. Let s be v(1). Let y be 6 + -1 - s/1. Suppose 0 = -z - 3*k + 5*k - 8, y*k = 20. Solve 6*r - r - 20 = z for r.
4
Let s be -1 + -3*(-3 - -2). Solve 0 = -2*l - s*l - 4 for l.
-1
Suppose -3*x + z + 19 + 15 = 0, -5*z + 17 = 2*x. Let c be (-2)/3*6/(-1). Solve c*o + 9 = -x for o.
-5
Suppose f - 3*o - 17 = -8, 5*f - 9 = 3*o. Solve f*k + 5*k + 15 = 0 for k.
-3
Let d be 16/9 - (-4)/18. Let y be 1/(d/(12/3)). Suppose 0 = -y*n - n + 15. Solve -3*i + n = -10 for i.
5
Suppose 0 = b - w + 14, 0 = -4*w - w - 5. Let s = -11 - b. Suppose -s*z - d = -6 - 9, -5 = -2*z - d. Solve z*f - 17 = 3 for f.
4
Let z be (-2)/5 - 108/(-20). Solve 3*a = 2 - z for a.
-1
Suppose -14*k + 15 = -9*k. Solve -1 = k*y - 10 for y.
3
Let z be (-1)/(2 + 9/(-6)). Let p = z - -2. Solve 4*y + p = 8 for y.
2
Suppose 4*t - 38 = 2*p, -2*p + 2 = -4. Let o = t - 7. Suppose o*n + 0 = 12. Solve w - n*w = -2 for w.
1
Let i(c) = -c + 11. Let b be i(9). Let q(a) = a**2 + 7*a + 1. Let w be q(-8). Solve -b*m - m = w for m.
-3
Let p be (-3)/(-27)*-3*0. Solve p = -2*n + 4*n - 10 for n.
5
Let k(u) = u**3 + u**2 - u + 4. Let m be k(0). Solve -5*g + m = -4*g for g.
4
Let f(j) be the second derivative of -j**5/20 - 5*j**4/12 - 5*j**3/6 - j**2/2 - 5*j. Let z be f(-4). Solve 0 = -m - z + 4 for m.
1
Let v(m) = m**3 - 6*m**2 - 4*m - 4. Let b(p) = 2*p**2 - 2*p + 2. Let a be b(2). Let r be v(a). Let f be (-76)/r + 4/14. Solve -3*c - f = -0*c for c.
-1
Let v = 3 - 2. Suppose 1 = 2*x - v. Let k be (-1 + x)/(-1 - 1). Solve k = 3*c - c - 4 for c.
2
Suppose -12 + 0 = -4*p. Solve 0 = 3*c + p + 3 for c.
-2
Let b(q) = -q - 2 + 8 - 4. Let p be b(0). Let w be -1 + p*(-1)/(-2). Solve w + 25 = -5*v for v.
-5
Suppose 16*q - 14*q - 4 = 0. Solve q*m = -0*m for m.
0
Let n(r) = -r**2 + 5*r + 5. Let s be n(5). Solve -3*p + 2 = -s*p for p.
-1
Suppose 6 = -4*d + 6*d. Suppose -24 = -k - d*k. Solve -3*n - 3 = k for n.
-3
Let w = 0 - -2. Suppose -6*z + w*z - 29 = -g, -z = 3*g - 22. Let k = g + -6. Solve 10 = 2*f + k*f for f.
2
Suppose -36 = -3*z + 2*l, z + 4*l + 2 = -0. Suppose -2 = -2*b - 10, 3*b = -m - 6. Let g = z - m. Solve -26 = -g*u - 6 for u.
5
Let z(d) = d**3 + 4*d**2. Let x(p) = p - 10. Let t be x(6). Let i be z(t). Solve i*k - 8 = -2*k for k.
4
Suppose -5*l + 7 + 3 = 0. Solve 0 = l*s - 0*s - 8 for s.
4
Suppose -131 = 5*h - 36. Let q = h - -22. Let n = 9 - 3. Solve -3*v - q = n for v.
-3
Suppose -2*z + 2*w + 7 = -1, -3*z - 3*w = -6. Solve 2*r - 15 = -z*r for r.
3
Let d(u) = -u**3 - 12*u**2 + 28*u + 5. Let g be d(-14). Solve -n + 2*n - g = 0 for n.
5
Let j(v) = -2*v - 8. Let f be j(-7). Let s(m) = -m**3 + 5*m**2 + 7*m - 4. Let r be s(f). Solve r = 2*a - 0*a for a.
1
Let o be (2 + 3)/(-5) - -1. Solve o = w - 4*w for w.
0
Let n(r) be the third derivative of r**4/12 - 3*r**3/2 - 2*r**2. Let u be 4 + -3 + -2 - -8. Let m be n(u). Solve -5*p = -30 + m for p.
5
Let c = 19 - 18. Let r = 16 - c. Solve -j = -4*j + r for j.
5
Suppose -5*u - 2*h + 18 = 0, u + 4*h - 5*h + 2 = 0. Solve 5*k = u*k + 12 for k.
4
Let o = 6 + 0. Let b(n) = n**3 - 6*n**2 - n + 7. Let r be b(o). Solve c + r = -1 for c.
-2
L