0 - 1 for v.
3
Suppose y - 28 = -7. Let w = y + -19. Solve 0 = w*m - 0*m - 6 for m.
3
Suppose 2 = -2*k - 2*d, -3*k + 5*k - 18 = 2*d. Suppose 2*r + 1 - 16 = -3*i, 12 = k*r. Solve 2*x = -i*x - 10 for x.
-2
Let c be -3 + (-3)/(3/(-5)). Suppose -4*s - 3 = 3*q, -5*s - 2*q + c = -3. Solve k - s*k = 10 for k.
-5
Suppose -8 = -i - 0. Suppose -c - 3*c = -5*j - 19, -c + i = 2*j. Solve -5*p - c = 4 for p.
-2
Suppose 4*l + 3*k = -56, 3*l - 4*k + 2*k = -25. Let b(d) = -d**2 - 12*d - 7. Let u be b(l). Solve -u*o + 7 = -1 for o.
2
Let v(t) be the third derivative of -t**5/60 + 7*t**4/24 + t**3 + 2*t**2. Let a be v(7). Suppose a = 2*p - 6. Solve o = -2*o + p for o.
2
Let c(o) = -o**2 + 6*o + 5. Let u be c(6). Solve -u*i = 11 + 9 for i.
-4
Suppose -4*l - 40 = -5*h - 8, -3*l - 5 = h. Let k = 7 - h. Suppose -2*t - 12 = -3*c, -k*t - 3*c + 8 = -4. Solve t = -2*i - 3*i + 5 for i.
1
Suppose 3*k = -3*u - 15, -2*u + 4*k - 3*k - 4 = 0. Let i be 1/u + 7/3. Suppose i*f - 15 = -f. Solve -f*h + 3 = -7 for h.
2
Let z(c) = c**2 + 4*c - 9. Let d be z(-6). Solve 8 = d*u + 17 for u.
-3
Let m be 3/12 + (-23)/(-4). Suppose -14*v - 24 = -20*v. Solve v*a = m*a for a.
0
Let c be (-1 - 2)*10/6. Let a = -3 - c. Solve a*l - 9 = 5*l for l.
-3
Suppose 4*p = p + 123. Let x be 2/6 + p/3. Let o be (-4)/(-6) - x/(-6). Solve -2*l = o*l - 15 for l.
3
Let h(w) = w**2 - 8*w - 4. Let k be h(9). Solve k = -0*d + 5*d for d.
1
Let c(b) = 18*b - 16*b + 6*b - 4 + 2*b**2. Let j be c(-6). Solve 4*z + 0 - j = 0 for z.
5
Suppose 12 = 5*k - 3*k. Let q(i) = 2*i - 7. Let y be q(k). Solve 0 = -y*u - 21 + 6 for u.
-3
Let x = -10 + 8. Let f be (x - (-9 - 1))/2. Solve l = f*l - 9 for l.
3
Suppose -5*f = 4*s + 6, 0 = -f + 2*s + 4 + 6. Suppose f = 3*t - 7. Solve 0*l = -t*l for l.
0
Let b be (((-80)/(-25))/(-4))/(2/(-25)). Let y(n) = 2*n**2 + 4*n + 3. Let p be y(-2). Solve p*u = u + b for u.
5
Suppose 285*k = 283*k + 6. Solve -k*u = -1 - 5 for u.
2
Let n be 4/12 - (-22)/6. Let q(t) be the third derivative of -t**6/120 + t**5/15 + t**4/8 - t**3/6 + 5*t**2. Let j be q(n). Solve 0 = -3*v + 1 + j for v.
4
Let y be -2 + -2 + 7 - -18. Solve -1 = 4*m - y for m.
5
Let i = 29 + -25. Solve i*g = -8 + 4 for g.
-1
Let n(b) = -b**2 - 11*b - 10. Let g be n(-10). Suppose -3*j + j + 10 = g. Solve x = 2*x - j for x.
5
Let g = 7 - 2. Suppose -2*c = v + 3*c + 22, -3*v + 3*c + 24 = 0. Suppose -v*i - 3*l = -0*i - 75, 0 = 5*l - 25. Solve m + i = g*m for m.
5
Let y(u) = -u**2 - u - 4. Let q(a) = a + 6. Let k be q(-6). Let h be y(k). Let r = h + 11. Solve 4*x = r - 23 for x.
-4
Let f = -14 + 16. Solve -3 = f*x - x for x.
-3
Let j = -3 - -4. Let h = 4 - j. Suppose k = 2 + h. Solve u - k*u = -20 for u.
5
Suppose 4*k = -0 + 16. Suppose -17 = -k*q + 3. Solve -q*i = -2*i + 15 for i.
-5
Suppose -4*q + 9*q - 5*w = 20, 4*q - 3*w = 18. Solve 2 = 2*l - q for l.
4
Let o(t) = -t**3 - 5*t**2 - 6*t - 8. Let k(a) = -3 - 2 + 1 + 3. Let y(z) = -6*k(z) + o(z). Let s be y(-4). Solve -2*u + 0 = -s for u.
3
Let j(q) be the third derivative of q**4/6 - 3*q**3/2 + 3*q**2. Let i be j(6). Solve -4*o - 3 + i = 0 for o.
3
Let c(n) be the second derivative of -n**3/6 + 7*n**2/2 - 2*n. Let l be c(7). Let j be (-4 - -5)*l/2. Solve -5*z + 3*z + 4 = j for z.
2
Let q(u) = 7 + 5*u - 3*u + u - 2*u. Let s be q(-4). Suppose -5*y + s = -4*y. Solve y*k = 1 + 2 for k.
1
Let f(o) = o**3 + 5*o**2 - 7*o + 4. Let p be f(-6). Solve -2*i = -0*i - p for i.
5
Suppose -3*z + 12 = -0*z. Suppose 10 = z*y + 2. Solve 5*u - 4*u = y for u.
2
Let a(i) = 3*i**2 + 16*i - 47. Let y(u) = u**2 + 5*u - 16. Let d(b) = -4*a(b) + 11*y(b). Suppose 0*m - 45 = 5*m. Let n be d(m). Solve 0*p - 3*p - n = 0 for p.
-4
Let t be (-34)/(-102)*6*1. Solve t*x = -2 - 0 for x.
-1
Suppose -4*b = 3*w - 106, 5*w - 31 = -2*b + 29. Solve -5*i + b = -0*i for i.
5
Let r = -102 - -105. Solve 0 = -q - r + 5 for q.
2
Suppose -2*v + 6*m - 3*m + 5 = 0, -3*v - 3*m = 0. Let d be v/(2/8 + 0). Solve 0 = k + d*k for k.
0
Let k be 12/(-20) - 84/10. Let w = -5 - k. Solve w*c = 3*c + 4 for c.
4
Let x(f) = -5*f - 4. Let b be x(-2). Solve -s - s = b for s.
-3
Let z = 9 - 4. Suppose -z*o + 4 = -3*m, -6*o = -o - 5*m. Solve 0 = o*h + 2*h for h.
0
Let r(p) = p**2 + 7*p + 5. Let b be r(-7). Let s = 29 + -16. Solve -b*g = 2 + s for g.
-3
Suppose 12 = 4*h - 0*h. Suppose r + 6 = h. Let m be 4/(3/(-36)*r). Solve -m + 4 = -3*p for p.
4
Let d = 4 - 1. Suppose 2*n - 2*o - 9 - 3 = 0, 23 = d*n - 4*o. Solve 5 - n = -t for t.
-4
Let t = 7 - 1. Suppose -i + 6*i = 2*h - 18, 0 = -5*i - 4*h + t. Let z be ((-1)/i - 1)*-6. Solve 2*q = z*q for q.
0
Let i(m) = m**3 - 7*m**2 + 6*m + 5. Let p be i(6). Suppose p*n = -0*n + 5. Solve -n = -4*u - 13 for u.
-3
Let d(q) be the third derivative of q**5/10 - q**3/6 - 15*q**2. Suppose 3*o + 1 = 4*o. Let a be d(o). Solve a*m - 7 = 3 for m.
2
Let i(y) = -2*y**2 + 2*y - 1. Let s be i(3). Let n = s + 21. Solve 2*w - n = -0*w for w.
4
Suppose -3*k + 8 = -k. Let c be (6/(-2))/((-3)/k). Suppose -r = 3*r. Solve -c*f - 12 = -r*f for f.
-3
Suppose 4*v = r + 2, -2*r = -v - 10 - 0. Let p be (-16)/24*r/(-4). Solve 3 = b + p for b.
2
Let g = 5 + -2. Solve 3*u - g = 4*u for u.
-3
Let m(q) = -9*q - 3. Let l be m(-3). Suppose -2*i - l = -4*i. Solve -5*v + v + i = 0 for v.
3
Suppose 2*f - 3 = -1. Solve 2*s + 9 = -f for s.
-5
Let v be -2 - 0 - 12/(-6). Suppose v = 2*n + n + 5*u + 19, 25 = -5*u. Solve 5*r = n*r for r.
0
Let r = -8 - -47. Let f = -9 + 5. Let q be f/12*r/(-1). Solve -1 + q = -4*y for y.
-3
Let r be 0/((2 - 2) + 2). Suppose 6 = 2*g - r*g. Solve -g*x = 2*x for x.
0
Suppose 5*m - 4*i - 36 = 0, -m + 3*i + 13 = m. Suppose 3*x + m = 20. Suppose -g - x - 1 = -3*f, 5*f - 4*g - 6 = 0. Solve -5*v + f*v = 0 for v.
0
Let v = -17 + 20. Suppose -4*a + v*a = -3. Solve -a*s = -5*s - 10 for s.
-5
Let t be ((-2)/(-3))/(2/18). Let h(c) = -c**3 + 5*c. Let w be h(2). Solve -w*f = f - t for f.
2
Let p(s) = -s**2 + 6*s - 6. Let m be p(5). Let w be 2 + -3 + (m - -9). Solve w = -4*o + 3 for o.
-1
Suppose 4*l - 24 = 4*i - 3*i, l + 3*i = 19. Let q = l - -1. Let g = -17 - -34. Solve q = -5*c - g for c.
-5
Let w(z) = z**2 - 4*z - 3. Let g be w(6). Solve v + g = -2*v for v.
-3
Suppose -h + 57 = 21. Let g = h + -21. Suppose 2*d = -3*d + g. Solve 0 = -6*u + d*u - 12 for u.
-4
Let d(z) = z**2 - 5*z + 4. Let k be d(4). Solve 3*g + 2 - 5 = k for g.
1
Let a(t) = -t - 7. Let g be a(-4). Let h be 1/((g/(-11))/3). Solve 4*n - 9 = h for n.
5
Suppose -11*b - 4*b = 0. Solve 0 = -b*x - 4*x for x.
0
Let m = 0 + 2. Solve -2*i + 4*i = -m for i.
-1
Let p = -3 - -8. Suppose 5*s = 4*l - 8 - 4, 3*s + p*l - 15 = 0. Solve -3*w = -s*w for w.
0
Let p = -70 + 77. Solve -2*q + 20 = -p*q for q.
-4
Let v = 22 - 19. Solve 0*j + 15 = v*j for j.
5
Let a = -5 - -10. Solve 15 = 4*h - a for h.
5
Let z(d) = -5*d**2. Let b be z(-1). Let i = b + 9. Suppose -i*n = -20 - 60. Solve 0 = -u - 4*u - n for u.
-4
Suppose 3*c = 12, -2*c + 6 = 2*q - 3*q. Solve -2 = q*x - 12 for x.
5
Let d(w) = -w**3 + 3*w**2 + w + 1. Let l be d(3). Suppose s = 2*u - l, -4*s + 3*u - 6 = -0*u. Let y = 2 - s. Solve 0 = y*c - 0*c - 8 for c.
4
Let s = -5 - -4. Let k be s/(-3) - (-30)/18. Solve -k*y + y = -5 for y.
5
Let w = -8 + 15. Suppose -2*u - 40 = -w*u. Let y be 18/u - 2/8. Solve 1 - 5 = -y*x for x.
2
Let q(c) = -6*c**2 - c + 3 + c**3 + 3*c**2 + 2*c**2. Let t be q(0). Suppose -4*m + 5*k = -2*m - 24, -t*k = -m + 14. Solve g = m*g for g.
0
Suppose -5*t + 2 = 2*z + 130, z = t - 50. Let n be z/(-10) - (-3)/5. Solve 4*o = 7*o - n for o.
2
Let v = -52 - -72. Solve 6*p = p + v for p.
4
Let i(q) = q + 1. Let k be i(2). Solve -k*a = -5*a - 8 for a.
-4
Let c = 20 + -12. Let g = c - 4. Suppose -2*w = -0*w - g. Solve w*m = -0*m - 8 for m.
-4
Let j be (2 + -3)/((-4)/24). Suppose -3*y + y + j = 0. Solve -l = y*l for l.
0
Let m(o) = -o**2 - 3*o + 2. Let k be m(-4). Let y = 8 + -3. Let f = k + y. Solve -f*u = 11 + 1 for u.
-4
Suppose 2*d - 6*n = -n + 8, n = 4*d - 16. Solve -4*l = -d - 12 for l.
4
Let r = -6 - -14. Let w be (-2)/(-6) - (-134)/(-6). Let q be w/(-4) - (-4)/(-8). Solve q*c = c + r for c.
2
Let y = 17 + -12. Suppose y*p - 20 = -3*i, -i + 8 = -2*i + 2*p. Solve c + 1 = -i for c.
-1
Let q be (-185)/(-40) - 3/(-8). Solve -7*u = -q*u for u.
0
Suppose 2*j = 5*z + 45, 3*j - 4*z + 96 = 8*j. Let n = -13 + j. Solve -5 = n*x - 2*