. Suppose -n + 4 = -0*n. Solve 0 = n*v + z - 8 for v.
-5
Suppose -3*a - 5*r = 31, -4*r = 31 - 11. Let t = a - -14. Let w = 0 - 0. Solve 0 = 3*n - w + t for n.
-4
Let d = 11 - 3. Let m(l) = l**3 - 7*l**2 - 6*l - 11. Let u be m(d). Solve u*b + 10 = 25 for b.
3
Let w(i) = -i**3 + 4*i**2 - 2*i. Let x(j) = j - 4. Let d be x(6). Let b be w(d). Suppose 0 = -b*p + 11 + 1. Solve -3*r + p = 9 for r.
-2
Suppose 10 = 4*s + 2*z, -4*s - 3*z + 5 = -0. Solve 0 = -s*v + 4 + 16 for v.
4
Let h be (1 - 1)*(3 + -2). Suppose 5*k - 3*i + 12 = 0, k - 3 = -2*i + 5. Solve h = 3*a - k*a + 9 for a.
-3
Let m(g) = -g**3 + 7*g**2 - 5*g - 2. Let j = 17 - 11. Let d be m(j). Solve d*l + 20 = -l for l.
-4
Let u(l) = -l**3 - 10*l**2 + 10*l - 7. Let p be u(-11). Suppose j - 5*d = -2*j + 39, -19 = -2*j + d. Solve -p*y = -2*y - j for y.
4
Suppose -3*t + 5*t = -6*t. Let x = 5 - 3. Solve g - x + 3 = t for g.
-1
Let l be (2/8 + (-6)/(-8))*2. Solve -2 = l*s - 3*s for s.
2
Let m = -45 + 45. Solve -2*u + m*u - 8 = 0 for u.
-4
Let l be 4/14 - (-2)/(-7). Suppose -1 = -s + 4. Suppose r - s = -l*r, -5*p + r = -65. Solve 1 + p = -3*j for j.
-5
Let q(i) = 4*i**2 - 3*i - 1. Let y be q(-4). Suppose 5*d + 5*w = y, -2*d + 2*w + 90 = 2*d. Solve 0 = -7*n + 2*n - d for n.
-4
Let x be 3/(-6)*(1 - 3). Let t = 5 - 2. Suppose -5 - 3 = -4*h. Solve 0 = -h*d + x + t for d.
2
Let s be (-75)/(-5)*(-2)/(-6). Let l = s + -3. Suppose l*g + 3*g - 2*c = -10, 5*g + 3*c = 15. Solve -4*p + 14 + 2 = g for p.
4
Suppose -3*o + d + 2 = o, -3*o + 3*d + 6 = 0. Solve o = 2*g + g for g.
0
Suppose 2 - 12 = -2*h. Solve 12 = -t + h*t for t.
3
Suppose 0 = -2*m - 2*m + 20. Suppose 3*z - z = -6. Let h = m + z. Solve 6*f + 20 = h*f for f.
-5
Suppose -4*g + 14 = 10. Let l be (-1*10)/(-3 + g). Solve l*t + 5 = -0*t for t.
-1
Suppose 4 = -5*k + 14. Suppose -k*c + 3*c = 3. Suppose 0 = 4*m + a - 17, -4*m + c*a - 3 = -16. Solve -4 = -2*r + m for r.
4
Let v(h) = -h + 7. Let z be v(3). Suppose -4*a - 1 = -5*d, d = 6*a - a - z. Solve 16 = -3*g + a for g.
-5
Let w = 4 - -2. Let x be (0 - -7) + w + -3. Solve -3*a + a = x for a.
-5
Suppose -2*w = -w - 2. Solve -m + 6 = w*m for m.
2
Let j be (-8)/(-3) - (-2)/6. Suppose 3*z - 6 = 4*b, -6*b + b - 6 = -j*z. Suppose 4*n - 9 - 3 = b. Solve -n*a = 6 - 3 for a.
-1
Let j = 80 - 77. Solve -j*x = -4*x for x.
0
Suppose c = -5*d - 0*d, 0 = -3*c. Let y(u) be the second derivative of u**3/6 + 3*u**2 - u. Let o be y(-3). Solve d*i - o*i - 6 = 0 for i.
-2
Suppose -k - 34 = -36. Solve -h = k*h for h.
0
Let r be (-1 - -1)*5/(-15). Suppose r*b - 3*b + 2*l = -8, 4 = 3*b - l. Solve -w = -b - 3 for w.
3
Let b(z) = -z + 2. Let a be b(-3). Solve 8*d - a = 3*d for d.
1
Let t(y) = -y**2 + 12*y - 16. Let j be t(10). Solve 25 = -f - j*f for f.
-5
Let n be -1*2 - (-3 + -1). Let j be 1*(3 + 0 + -9). Let o be 23/7 - j/(-21). Solve -o*s + 8 - n = 0 for s.
2
Let m = 331 + -328. Suppose 5*k + 35 = 5*x, 11*x - 2*k = 6*x + 38. Solve -m*y = -y - x for y.
4
Let i = 2 + 4. Let k be i/(-4) - 120/(-16). Solve 0 = -3*o + 3 + k for o.
3
Let t(r) = r**2 - r. Suppose 0*l - 8 = -4*l. Let x be t(l). Solve 0 = x*a - 2 + 8 for a.
-3
Let y be 3/(-6) - (-5)/(-2). Let s = y + 7. Let d(q) = -q**3 - 7*q**2 - 6*q + 4. Let i be d(-6). Solve 0 = -s*c - 0 - i for c.
-1
Let o be (-2)/(2 - (-32)/(-12)). Solve -o*i = -3 - 12 for i.
5
Suppose -4*o = 5*m - 25, -o + 2*m + 6 = 3. Suppose -o*q = 20, -q = -d - 4*q - 9. Solve 5 = d*a + 11 for a.
-2
Let f(i) = -i. Let w be f(-2). Suppose w*m + 7 = 3*m - 3*h, 4*m + h = 15. Solve 0*o = -m*o + 8 for o.
2
Let c be (-1)/(2/(24/(-4))). Solve -c*r - 2 = -r for r.
-1
Let n(x) = 4*x**2 - 1. Let c be n(-1). Suppose v - 24 = -c*v. Let a be (6 - 2)/((-8)/(-12)). Solve 0 = -3*j + a + v for j.
4
Let c = 18 - 16. Let r(i) = i + 10. Let q(s) = -s**2 - s. Let t be q(0). Let o be r(t). Solve 4*h - o = c*h for h.
5
Let g = 37 - 33. Solve -12 = g*c + 4 for c.
-4
Suppose 51 = 3*i + 15. Let f = -19 - -23. Solve -f*r + i = -8 for r.
5
Let z(f) = -2*f - 3. Let b be z(-3). Suppose -2*g + 3*u - 2*u = -9, -21 = -2*g + 5*u. Solve -g = b*p + 3 for p.
-2
Let w = 8 - -12. Let y be (9 - (-686)/(-70))*10/(-4). Solve 2*a = -y*a + w for a.
5
Let h(d) = -d**2 + 7*d + 2. Let k = -3 - -9. Let j be h(k). Let i be 4/j - 1/2. Solve i = s + 4*s - 10 for s.
2
Let i = 18 - 13. Let c(d) = -8*d - 5. Let w be c(-1). Solve -1 - i = w*v for v.
-2
Suppose 2*k + 3 = -7. Let c(f) = -f**2 - 8*f - 7. Let o be c(k). Solve -5*w + o = 3 for w.
1
Suppose 5*z + y - 15 = 7, -6 = 2*y. Let u = z + -2. Solve -2*a - 2 = -u*a for a.
2
Suppose 0 = -2*p - p + 24. Solve -5*j = -p*j - 6 for j.
-2
Suppose 4*d - 9 = 7. Solve -d*x + x + 9 = 0 for x.
3
Let c(n) be the second derivative of -n**4/12 + 7*n**3/3 - 4*n**2 - 3*n. Let z be c(12). Let m be (z/10)/(2/25). Solve -m = -7*u + 2*u for u.
4
Let r(o) be the third derivative of -o**4/24 - 3*o**2. Let v be r(-4). Solve -5*w + v = -21 for w.
5
Let d = -126 - -131. Solve -d*q + 6 + 4 = 0 for q.
2
Let g = -11 - -13. Solve 2*k + 16 = -g*k for k.
-4
Suppose -37 = 3*n + 5. Let b = 8 - 4. Let l be (-52)/n - b/(-14). Solve l*z = z - 15 for z.
-5
Let u(t) = t**3 + t**2 + t. Let p be u(-1). Let k be 0 - -4 - (-3)/p. Solve -w + 1 + k = 0 for w.
2
Let n(t) = t**2 + t - 12. Let u be n(-5). Solve -2 + u = 3*p for p.
2
Suppose 3*h = 5*p - 7, 2*h + 0*p = 2*p + 2. Solve -14 + h = -2*f for f.
4
Let j(c) be the second derivative of c**5/5 + c**4/12 + c**3/6 - c**2/2 - 3*c. Let n be j(1). Solve n*z - 8 = 7 for z.
3
Suppose 2 = -2*r - 3*q + 26, -4*q = -2*r + 38. Suppose -r + 63 = l. Let h be l/30 - 4/(-10). Solve h*k + 8 = -2*k for k.
-2
Suppose 0 = -10*l - l + 88. Solve -4*d = -2*d - l for d.
4
Let l be (-52)/(-9) - (-28)/126. Solve -2*h + l + 4 = 0 for h.
5
Let b be (54/(-36))/((-3)/4). Solve -b*h = -h for h.
0
Suppose 22 + 3 = 5*t. Suppose -5*w + t*k + 80 = 0, -24 = 2*w - 5*w - 3*k. Solve -3*r + w = -0 for r.
4
Suppose 4*b + 6 = b, -2*k + 8 = -2*b. Solve -k*x + 15 = -7*x for x.
-3
Let l be (-42)/(-5) - (-28)/(-70). Solve -4*x = -0*x - l for x.
2
Let c be (-372)/(-60) - 1/5. Suppose 3*l - 14 = 4. Let j = l - c. Solve 3*k + 2 + 1 = j for k.
-1
Suppose 3*w - 5 - 1 = 0. Let f be 36/(-8)*w/(-3). Solve -13 + 1 = f*d for d.
-4
Suppose 0 = 5*l - 5*p - 15, 0 = -l - l - 4*p - 18. Let g be ((4 + -4)/l)/(-1). Solve g = z - 5*z for z.
0
Let n(s) = -s**3 + 4*s**2 + 5*s + 2. Let z be n(5). Let m be 1 + (-1)/2*z. Solve -7*y + 3*y = m for y.
0
Let t be 4/34 + (-2024)/(-136). Solve u - 4*u - t = 0 for u.
-5
Let x = 10 - -2. Suppose 4*n = -t + x, 4*n - 4*t = -3*t + 4. Solve 2*r + 4 = -n*r for r.
-1
Let z(g) be the third derivative of 11*g**5/60 - g**4/24 - 2*g**2. Let j be z(1). Suppose 7*p = 2*p + j. Solve -w - w - p = 0 for w.
-1
Suppose -k = -1 + 7. Let f(b) = -b**3 - 7*b**2 - 8*b - 6. Let g be f(k). Solve 2*v - g*v + 16 = 0 for v.
4
Let i(n) = n + 20. Let h be i(-5). Solve -t - h = -6*t for t.
3
Let t be 12/2 - 0/(-11). Solve -t = q - 5 for q.
-1
Let l = -8 - -23. Solve -2*v - l = 3*v for v.
-3
Suppose 4*i = -5*f, -i + 4 = -4*f + 25. Solve -f*c + 6 = -6 for c.
3
Let h(i) = 13*i - 5 + 2 + 4. Let p be h(1). Suppose f - p = -3*b, 8 = b - 0*b + f. Solve 5*r = b*r for r.
0
Let l be (-1 - -1) + 4 + 0. Suppose 0*q - q = -l. Suppose -y + 2*y - 17 = -d, 35 = 5*y - 5*d. Solve q*w + 4 = y for w.
2
Let c(z) = -8*z + 4. Let x be c(2). Let t = x + 17. Solve -4 - 6 = -t*k for k.
2
Let x be 2*(-4)/(-8) + 2. Solve 2*a - x = 7 for a.
5
Suppose z - 3 = -5*i - 0*z, -4*i + z = 3. Solve 3*y + 0*y - 15 = i for y.
5
Let x be ((-2)/(-6))/((-3)/(-54)). Solve -z + 4*z = x for z.
2
Let o be (-16)/88 + (-96)/(-44). Solve 5 = -o*x - 1 for x.
-3
Let b = 21 + -4. Let p be (b - 13)*(-1)/(-2). Solve -p*f = 2 - 0 for f.
-1
Let j(u) = 2*u + 8. Let w be j(-8). Let s(a) = 3*a**2 + 2*a**2 + a**3 + 3 + 3*a**2. Let v be s(w). Solve v - 4 = h for h.
-1
Let w be (4 + -2)*1/1. Let q = 2 - w. Solve -3*a = -q - 6 for a.
2
Let c(z) = -z**2 + 8*z + 2. Let x be c(8). Let b be 8/2*(-14)/(-8). Let l = 10 - b. Solve -x*i - i - l = 0 for i.
-1
Let z(m) = m**2 - 7*m - 6. Let c be z(8). Let y = -11 - -16. Solve y = c*a - 5 for a.
5
Let k(q) be the first derivative of 2*q**3/3 + 7*q**2/2 - 5*q + 4. Let i be k(-6). Solve -3*y - 2*y - i = 0 for y.
-5
Suppose -3*q + 5*a - 13 = 0, 4*a = -q - 15 + 5. Let x be (-18)/(-4)*(