 p be 3/((1 + -3)/(-2)). Suppose -h = p - 5. Let y be -1 - ((-2)/(-1))/(-2). Solve 0*n - n - h = y for n.
-2
Let m(x) = 0*x**2 - 4*x**3 + 7 + 2*x**2 + 3*x**3 + 4*x**2 + 7*x. Let b be m(7). Suppose 4*s + 5*n - 5 = 0, 3*n + b = -s - n. Solve 0 = -s*t - 3 - 2 for t.
-1
Let d be (2/(-6))/(11/33). Let u be 8 + 1/d*-1. Solve 4*r - 11 = u for r.
5
Let u(h) = -13*h - 47. Let z be u(-4). Solve v + 3 - z = 0 for v.
2
Suppose 0 = -8*k + 13*k. Solve -2*f - 3*f - 10 = k for f.
-2
Suppose -j - y - 8 = 2*j, 4*j + 3*y = -14. Suppose 0*d + 15 = 5*d. Let w = d + j. Solve -u = 5 - w for u.
-4
Let l = 17 + -15. Solve -12 = -q - l*q for q.
4
Let y = -3 - -3. Solve -2*b + 8 = -y*b for b.
4
Suppose -4*s + 9*s + 47 = 2*v, -4*s - 64 = -4*v. Let g(l) = v*l - 2 - 13*l + l. Let w be g(-2). Solve m = 3 - w for m.
3
Suppose -6*r = -72 - 48. Solve 4*j = -j - r for j.
-4
Let j = -19 + 7. Let g = j - -17. Solve 2*s - g = -3*s for s.
1
Suppose -2*z = -0*z. Suppose -4*i = -1 - 11. Suppose -i*o + 4*k - 8 = -2*o, -2*o + 2 = k. Solve o = -z*q - 5*q - 5 for q.
-1
Let t(r) = -r + 7. Let g be t(3). Suppose -5*q + 1 = -g*q. Solve -b - q = -0 for b.
-1
Let g(w) = 32*w + 2. Let t be g(-3). Let b be 2/7 + t/(-14). Let c(a) = a**3 - 7*a**2 + 5. Let l be c(b). Solve l*i - 5 = -0*i for i.
1
Let c = -1 - -6. Solve -q + c - 2 = 0 for q.
3
Let h = 4 - 0. Suppose -2*j + 30 = -5*g, 61 = 2*j + 2*g + 3. Solve j = -h*u - u for u.
-5
Let k(s) = -s + 10. Suppose 3*w = 2*w. Suppose w = 3*m + 2*m. Let b be k(m). Solve -b = 3*d - d for d.
-5
Suppose -w - 5 = -2*l, -2*l = 2*w + 3*w - 11. Solve 7*x = l*x for x.
0
Let j be (-8)/16 - (-18)/(-4). Let t(l) = -l**3 - 6*l**2 - 5*l. Let v be t(j). Solve v = -2*k + 3*k + 2 for k.
-2
Suppose 0 = -4*m - 2*m. Solve 0 = -m*q - 3*q for q.
0
Let q = -20 + 10. Let j = 8 - 15. Let m = j - q. Solve 0 = f - m*f + 10 for f.
5
Suppose 3*i = -3*c, 3*i - i = 3*c + 5. Solve -i = p - 0 for p.
-1
Let l be 0/(-5) - (1 + -8). Let f(u) = u**3 - 6*u**2 - 8*u + 9. Let j be f(l). Solve -j*o - 2 = -o for o.
-2
Let o(t) = -4 - 5 - t**2 + 5*t + 3 - 15*t. Let b be o(-9). Solve -16 = -7*w + b*w for w.
4
Suppose -4*i + 99 = 5*c, i - c + 66 = 4*i. Let u be 3/(-12) + i/4. Suppose -f - 16 = -u*f. Solve 4*o + f = -0 for o.
-1
Let l be 1*-2 - 40/(-5). Let a = l + -6. Solve 3*q - 1 - 14 = a for q.
5
Let h = -4 + 8. Suppose 4*u = -4*i - 0*i - h, 2*i - 2*u = 2. Suppose 2*b - 3*y + 7 - 3 = i, 3*y = -3*b + 24. Solve -b*n + 0*n = -4 for n.
1
Suppose l = 2 - 0. Suppose 24 = 3*c + 2*m, l*c - 4 - 11 = -m. Solve -s - 2*s = c for s.
-2
Suppose 4*x + 0 = -0. Solve -4*d + 6 + 14 = x for d.
5
Suppose 4*t = 6*t - 10. Suppose t*u = 16 - 1. Solve 0*x + 6 = u*x for x.
2
Let t be (-3)/(-2)*36/9. Solve -2*y = t - 2 for y.
-2
Suppose -5*g - 4 = v - 0*v, 1 = -5*g - 4*v. Let a be g/(-3 + (-5)/(-2)). Suppose -2*z = 3*z. Solve -a*b + z = -6 for b.
3
Let i be 4/18 + (-74)/9. Let c = 8 + i. Solve 0*k - 3*k - 9 = c for k.
-3
Let h(r) = 2*r + 6*r**2 + 0*r**2 + 29 - 6*r. Let c(q) = -2*q**2 + q - 10. Let y(l) = 17*c(l) + 6*h(l). Let v be y(4). Solve 3 = -o + v for o.
5
Let p = -17 - -19. Solve -p*i = -i + 3 for i.
-3
Let b = 37 - 35. Solve -2*s = 2 + b for s.
-2
Suppose 5*x - 5*d + 0 = 5, -4*d = -5*x + 10. Suppose -2*s = -x*s + 16. Solve 8*p - s*p = 0 for p.
0
Suppose 0 = -5*j + 8*j + 18. Let a be (j/(-3))/((-3)/(-12)). Solve a*u - 3*u + 20 = 0 for u.
-4
Let p = -25 + 30. Solve 5*f + p = -5 for f.
-2
Suppose 2*w = -4*x - 42, x + 0*x - 2*w + 8 = 0. Let i be 4/6 - x/3. Suppose -4*c + 27 = c + q, -2*q = -i. Solve -c*s = -4*s for s.
0
Suppose 0 = -2*f, -2*u - 4*f + 15 = u. Solve 0 = -u*r - 26 + 6 for r.
-4
Let l(u) be the third derivative of u**5/60 + u**4/8 + u**3/2 - u**2. Let n be l(-2). Solve 3*k + 8 + n = 0 for k.
-3
Let i = 4 + -1. Solve -2*t = i + 1 for t.
-2
Let h(y) = -y**3 + 8*y**2 + 2*y - 10. Let a be h(8). Solve 3*m + a = -6 for m.
-4
Suppose -3*a - 3*u = 9, 9 = -5*u - 16. Let y = 28 + -19. Let z(d) = -d + 13. Let v be z(y). Solve 18 = -v*q - a for q.
-5
Suppose 5*o + z = 3*o + 15, 4 = o + 4*z. Suppose -24 = -3*d + 3*k, 0 - 16 = -4*k. Solve -4*i - d = o for i.
-5
Suppose -13 + 3 = -2*v. Solve 0 = v*m + 14 + 11 for m.
-5
Suppose 2*g + 2*j + 2*j = -12, 10 = -3*g - 4*j. Solve 0 = g*s - 9 + 1 for s.
4
Suppose 4*u - 2*o - 16 + 2 = 0, 5*o = -4*u + 7. Solve 0*n = u*n - 3 for n.
1
Suppose 3*j = 4*l - 2*j, -2*l + j + 6 = 0. Let z be (1 - -42) + (l - 2). Suppose 4*k = -6 + z. Solve -m = m - k for m.
5
Let l be (-6)/15*(-10)/2. Suppose l*g + 0*g - 6 = 0. Solve g*f = 6*f for f.
0
Let j(h) be the second derivative of 0*h**2 + 0 - 1/6*h**3 - h. Let x be j(-4). Solve -x*n + 3*n = 1 for n.
-1
Let t be (-3)/(-6)*-2 - -1. Suppose -2*x + 0*x = t. Let v = 2 - x. Solve -12 = -c - v*c for c.
4
Suppose 3*x = 6 + 6. Solve -4 = x*v + 4 for v.
-2
Suppose 0 = 5*z + 2*o - 23, 5*o - 4*o + 2 = 2*z. Let j = 23 - 23. Solve -z = u - j for u.
-3
Let h = -3 - -3. Suppose h = -2*s + s + 15. Suppose -4*y = 3*o - 2*o - s, 5*y + 4*o = 16. Solve q = -3*q + y for q.
1
Let c be (-20)/(-10) - 2*1. Let n be 1/(c - (-1)/2). Solve 0 = -7*r + n*r + 10 for r.
2
Suppose -6*o + 3*o = 0. Solve o = -5*k + 2*k - 3 for k.
-1
Let i(y) be the second derivative of y**4/12 + y**3/6 - y**2 - 2*y. Let j be i(-3). Suppose -j*v + 2*v = -10. Solve 0*r + v = -5*r for r.
-1
Let c = -18 - -20. Let o be c/13 + (-1470)/(-78). Let z be (14/6 + 0)*3. Solve -4*w - z = -o for w.
3
Let l(i) = -i**3 - 5*i**2 + 3. Let w be l(-5). Solve 12 = 5*j - w for j.
3
Let w(j) = -j**3 - 5*j**2 + 7*j + 6. Let m be w(-6). Let y = m - -4. Suppose -3*v - 4*s = 2, -2*v + 3*s = 4*s - 7. Solve z + y = v for z.
2
Suppose -5*d - 11 = -36. Suppose -2*f + 5*f - 60 = -d*x, -f - 5*x = -30. Solve 0*r + f = -5*r for r.
-3
Let n be -4 + 1 + (2 - -6). Suppose n*q = 9*q - 20. Solve -1 - 4 = -q*b for b.
1
Let t(s) = -s**3 + 12*s**2 - 21*s + 15. Let j be t(10). Solve -9 = -j*k + 1 for k.
2
Suppose -2 = j - 1. Let s be (1 - 1)/(j*1). Suppose 5*n = -0*n. Solve t + s*t - 5 = n for t.
5
Let a be 3 + (-6)/((-6)/(-3)). Suppose a = 5*l - 15 - 10. Solve -5 + 0 = -l*m for m.
1
Suppose -2*z + 0 = 14. Let f = -5 - z. Suppose 3*y - 18 = y. Solve -1 = f*m + y for m.
-5
Let u be (6/18)/(1/6). Solve -3*v = -u*v for v.
0
Let l be ((-7)/(-21))/(2/18). Let t = -3 + 12. Solve -t = -6*o + l*o for o.
3
Let q = -21 + 33. Suppose 4 = -2*h + q. Solve -1 = x + h for x.
-5
Let v(k) = -k**3 - 4*k**2 - 3*k + 7. Let n be v(-4). Solve 0 = 5*t + n + 1 for t.
-4
Let l be 2/9 + (-160)/(-9). Suppose 3*s - 4*s + l = 0. Solve -4*p + 2 = s for p.
-4
Let l = -9 + 12. Suppose -k + 8 = l*k. Solve -k*b + 25 = 3*b for b.
5
Let i = -38 + 26. Let m be 1/((-2)/i*2). Solve -7 = -5*o + m for o.
2
Suppose 3*w + w - 16 = 0. Suppose 0 = -0*h - h + 9*h. Solve -16 = -h*a + w*a for a.
-4
Let u(s) = -s**3 + 2*s**2 + 5*s - 3. Suppose v = 2*y + 27, v + 2*v = -2*y - 31. Let l be (-6)/12 - y/4. Let o be u(l). Solve 1 = p - o for p.
4
Suppose -z = -3, -z + 0 = j - 5. Solve 3 + j = i for i.
5
Let v(a) = -a**3 - 6*a**2 + 7*a + 4. Let c be v(-7). Suppose 0*u = -2*u + c. Suppose z - 1 = u. Solve 4 = -b + z for b.
-1
Let f be -9*((-8)/3)/(-4). Let i(m) = -m - 4. Let g be i(f). Solve 14 = -4*s - g for s.
-4
Let o = 8 - 8. Let v = 4 + o. Suppose -v = u - 6. Solve f + 3 = u for f.
-1
Let y(l) = -l**2 - 11*l - 25. Let r be y(-4). Solve 0 = -r*x + 5*x + 6 for x.
-3
Suppose -5*g + 4*r = 0, 5*g + r - 13 = 3*g. Let c be g/6*(-2 - -5). Suppose a + c = -4*s - 12, 3*s + 20 = 4*a. Solve a*t = -t + 9 for t.
3
Let z be (-1 - 0)/((-2)/6). Solve 0*x - z*x = -15 for x.
5
Let q(b) = b**3 - 6*b**2 - 5*b - 9. Let i be q(7). Suppose 25 = -5*n + 5*r, -5*r = -3 - 7. Let w = -3 - n. Solve w = m - 0*m + i for m.
-5
Suppose 9 = 3*d + 3. Solve m + d = -m for m.
-1
Let o = -12 - -18. Solve -5*k - 16 = -o for k.
-2
Let d be ((-45)/(-30))/(3/40). Suppose 0 = 2*v - 3*r - 12, -d = v + r + 4*r. Solve 3*o + 8 + 7 = v for o.
-5
Let w = 4 + -6. Let v be w/(-2) + 1 + 0. Suppose -4 = h, 3*x - v*x - h = 12. Solve j + x = 3*j for j.
4
Suppose 15 = 5*d + 3*h, 5*h + 0*h = -25. Solve 4*g + 2 = -d for g.
-2
Suppose -2*q + q = -1. Let m = q + 4. Solve 3*z = m + 1 for z.
2
Let o be 4 + 48/(6/2). Solve -o = 3*c + 2*c for c.
-4
Let i(c) be the second derivative of c**4/12 - c**3/6 + 3*c**2 - 6*c. Let o be i(0). Solve -4*a - o =