k + 2*v + 10 = -0*v for k.
1
Suppose -7*s + 12 = -5*s. Suppose 0 = s*n - 4*n - 8. Solve 16 = n*g + x, g = 2*x + 3 + 1 for g.
4
Suppose -p + k = 4*k + 7, -3*k = 5*p - 1. Suppose p*f = f + 4. Solve -4*d + d - l = -6, 0 = -f*d - 3*l + 8 for d.
2
Suppose 10*u + 24 = 4*d + 13*u, -5*u + 14 = -2*d. Solve -4*f + 4 = z + 3*z, d*z = 3*f + 3 for z.
1
Let r = -5 + 17. Let q = r + -50. Let a = -34 - q. Solve -a*o - 1 = -3*l - 0, 0 = -2*o + 3*l + 1 for o.
-1
Let u be (15/(-9))/(14/(-798)). Suppose u*z + 4 = 97*z. Let l(q) = -3*q - 4. Let x be l(-3). Solve -o + 19 = -x*r, 5*o - z*o - 21 = 3*r for r.
-3
Let y = 57 - 66. Let l be 1/((-6)/y + (-7)/15). Solve 0 = 3*q - 2*n - 1, l*q - n = 4 for q.
1
Let b = -918 - -922. Solve -2*s = -5*u - 5, -b*s + 0*u = 3*u - 23 for s.
5
Let c(r) = -r**3 + 8*r**2 + 7*r + 22. Let t be c(9). Let w be 4 + (t/4 - 2). Let m = 0 + 2. Solve -3*a - w*o = -12, -3*a = -2*o + m + 1 for a.
1
Let u be 1/3 + (-71)/(-3). Let j(c) = u*c - 11*c - 15*c - 4. Let y be j(-3). Solve n + 2*m = 0, 2*n + y*n = -5*m for n.
0
Let l be 17/2 + (-69)/(-46) - 7. Solve n - 5 = -6*z + z, 3 = l*z for n.
0
Suppose j - 2*a = -85, 2*j + 5*a + 178 = a. Let x be (j/(-58))/((-2)/(-4)). Solve x = 4*y + 3*k - 0, 12 = -y - 5*k for y.
3
Let y be (0 - 1) + 4 + 6 + 3. Solve 0*r = -h - 4*r - 3, -y = 4*h - 3*r for h.
-3
Let h(m) = -2*m - 19. Let b be h(-11). Suppose 4*p = -b*q + 8 + 3, -4*q + 3 = 3*p. Let f be 6/4 - 20/(-8). Solve 14 = s - 4*r, 4*s - 1 = -f*r - p for s.
2
Let m(z) = -z**2 - 43*z - 154. Let n be m(-39). Solve 1 - 4 = 3*p + h, -n*h = 0 for p.
-1
Let h be 1552/80 - (-4)/30*-3. Solve -3*a - 4*y - 16 = 0, -a - 3*y - h = 3*a for a.
-4
Let t = -16 + 24. Suppose 0 = t*l - 3*l. Suppose 30*r + 9*r = 351. Solve -3*g + r = -l*x + 3*x, -4*g + 10 = 5*x for x.
-2
Suppose 23*l - 20*l = -381. Let h = 132 + l. Solve -3*s - 5*d + 3 = -2*d, 3*s - h*d + 5 = 0 for s.
0
Let b(n) = 9*n + 2 - 4*n - 2*n. Let r be b(1). Solve -5*g = 2*q + 13, 0*q = r*g - 2*q - 3 for g.
-1
Let l(y) = 4*y - 24. Let d(r) = -r**3 + 6*r**2 - 5*r + 7. Let f be d(5). Let j be l(f). Solve -j*v + 6 = x - 10, 5*v + 4*x - 9 = 0 for v.
5
Let a be (-66)/(-30) - (-72)/90. Let k be 0/(0 - (1 + 0)). Solve k = 5*y - a*p + 10, 8*y = 3*y + p - 20 for y.
-5
Let n = 14 - 34. Suppose -3*m = -4*m - 16. Let u = m - n. Solve 1 = b + 3*o - 2, u = 2*o for b.
-3
Let a(x) be the second derivative of -x**3/6 - x**2/2 + 2*x. Let i be a(-3). Solve p = 2*o + 7, 0 = -2*p - i for o.
-4
Let z(o) = 4*o**2 + 33*o + 32. Let j be z(-1). Solve -k - 4*w - 4 = -3*w, -j*w = 6 for k.
-2
Let q be (0 - 8/40)*-5*5. Solve 0 = -4*n + 5*m + q, -17*n + 15*n + 4*m = -10 for n.
-5
Let n = 1 + -1. Let m be (9 - 92)/((-3)/3). Let i = m - 62. Solve -5*h + i = j, n*j + 2*j - 17 = -5*h for h.
5
Suppose -3*l = 5*m + 14, 3*l = 3*m - 2*m - 8. Let p be (m - 32/(-6)) + (-2)/(-3). Solve b - 3*o + 10 = 2*o, p*b - 4*o = -8 for b.
0
Let b(f) = 3*f + 1. Let x be b(1). Suppose -5*h - m - 49 = 0, h - x*m = -0*m + 7. Let z be -3*3/h - -3. Solve z*l - 2*y = 6*l, 3*l - 3*y = 30 for l.
5
Suppose 0 = -52*v + 40*v + 48. Solve -v*u + 12 = -4*g, 4*u + 6 = -2*g - 3*g for g.
-2
Suppose 0 = 5*t - 2*s - 40, -3*t = -0*s - 3*s - 33. Suppose -10*c = -t*c - 56. Solve -2*r - 3*u + 2*u = c, 5*r - u = -21 for r.
-5
Let l(r) = 2*r**2 - 15*r + 31. Let q be l(3). Solve 3*c + 7 = -n, 0*n = q*c - n for c.
-1
Let m be (0/(-1))/((-4)/2). Suppose m = -4*w + 5*w - 2. Solve -4 = -2*q + 4*q - 4*d, d - w = 0 for q.
2
Suppose -2*s - 3*j = 1, 3*s + 3*j = -j + 1. Suppose -6 = 2*c - s*c - 2*m, -9 = c - 3*m. Solve 0*i - i - 3 = -4*a, c = -4*a for i.
-3
Let r(c) = -c**2 + 11*c - 15. Suppose 2*p + 8 = 0, -2*p = -5*x - 26 + 74. Let h be r(x). Suppose -3 = -4*a + h. Solve -a*t = i + 11, -2*i - 6 = 3*t + 4 for t.
-4
Suppose q + 12 = 3*l, 2*q - 15 + 4 = -l. Suppose -l*y + 1 + 4 = 0. Let h be 2/6*(19 - y). Solve 0 = 2*m + j - 2 - 1, 5*m = -j + h for m.
1
Suppose 26*s - 515 = -125. Solve 5*t - c = -s, 2*t + 14 = 5*c - 3*c for t.
-2
Let n = 448 + -429. Solve 3*q + 23 - 26 = -2*w, 4*q = 5*w - n for q.
-1
Let g = -130 - -140. Solve 0 = 2*k - 8, -t + k + g = 4*k for t.
-2
Let g(i) = i**2 + 23. Suppose 0 = 3*j - 5*j. Let w be g(j). Solve 2*r + 4*t = -22, -3*r - w = 5*t - t for r.
-1
Let t be (1 - -4) + (-3 - 0/6). Solve 5*m = 3*q + 17, q + 6*m = t*m for q.
-4
Let k be (10 + -10)/(4/4). Solve -2*z + 1 + 2 = -3*b, k = z + 4*b - 7 for z.
3
Let v = -148 - -148. Solve 4*i = -x + 11, v = -5*i - 4*x + 17 - 6 for i.
3
Let w be (-76)/(-6) + (10/6)/5. Suppose -w*b + 10 = -11*b. Solve 13 = 4*o + z, 4*z + 13 = b*o - 19 for o.
4
Let a be (-14)/(-133) + 666/171. Let v(c) = -c - 3. Let i = 5 + -11. Let t be v(i). Solve w + 4 + t = x, -w - 13 = -a*x for w.
-5
Suppose 0 = -u - 4*u - 5*x, -45 = -4*u + 5*x. Solve j = a - 2 + 4, 0 = -5*a + u for j.
3
Let b(m) be the third derivative of m**6/120 - m**5/6 - 3*m**4/8 - 10*m**3/3 + 15*m**2. Let f be b(11). Solve w = 3*u + 2 - 9, 0 = f*u - 8 for w.
5
Suppose 121 = 2*p + 3*p - 4*z, p - z = 24. Let b = p - 19. Suppose a = -a + b. Solve a = 3*i - 0*k + 2*k, 10 = -i + 3*k for i.
-1
Let u(x) = 16*x**3 - 1. Let r be u(1). Let h be (-8)/(-10) - (-33)/r. Solve 0 = -a + 4*y + 14, -h*a + 6*a + 3 = -3*y for a.
2
Suppose -2*c = -6*c + 2*s + 14, 4*c - 5*s = 5. Solve -5*o - c*w = 15, 6*w - w - 1 = 3*o for o.
-2
Let w(z) = -2*z**2 + 32*z + 2. Let c be w(16). Let r be c + (3 + 2 - 4) - -1. Solve 3*s - 2 = -r*k, -15 = 5*k - 2*s - 3*s for k.
-1
Let w = 29 + -30. Let s be (w + 5 - -2) + 2. Suppose s = y + y. Solve 0 = g + c + 1, -5*c = y*g - 7*g - 19 for g.
-3
Let n(s) = s**3 - 16*s**2 + 29*s + 11. Let r be n(14). Let h = -16 + 21. Solve -w - 5 = w + l, h*l + r = -5*w for w.
0
Let i = 5 - -20. Solve -2*u = 5*z + u + 15, -5*u = -3*z + i for z.
0
Let m = -552 - -553. Solve 2*b - 5*t - 1 = m, -14 = b + 5*t for b.
-4
Suppose -6 = -2*m + 3*b - 4*b, 2*b = 0. Suppose -5*j - 40 = -5*w, -4*w - j = -10 + 3. Solve 3 - 1 = -w*y - 2*q, -m*y + 3*q + 3 = 0 for y.
0
Suppose -5*v + 8 = -r, 2*v + 6 = 5*r - 0*v. Let l be r/(-4) - 5/(-10). Solve h = -2*q + 1 + 2, -2*h + 4*q - 2 = l for h.
1
Let d(a) = -6*a + 1. Let u be d(-1). Let g(j) = 2*j - 26 + u + 0*j. Let z be g(12). Solve -n + 5*l = -12, z*l + 2 + 7 = 2*n for n.
-3
Let u(b) = -2*b + 11. Let m be u(0). Let f be -3 + -5 + (m - 3). Solve 0 = 3*d + p - 15 + 4, f = -4*d - 5*p for d.
5
Suppose -4*d + 84 = -2*o + 34, -3*d = 5*o - 5. Solve -a = 3*h - 2*a - 2, -2*a = d for h.
-1
Suppose -80 = -120*v + 104*v. Solve 0 = -2*z + 5*w - 6, -3 - 9 = -v*z - w for z.
2
Let x(s) be the first derivative of 5*s**2/2 - 39*s + 8. Let i be x(8). Solve 2*p = -2, i = 4*l + 3*p - 4*p for l.
0
Suppose 337*j + b - 13 = 333*j, 2*j - 5*b + 21 = 0. Solve -3*f - j = -2*f - 5*p, 0 = -f - 2*p + 5 for f.
3
Let r(p) = -p**2 - p + 1. Let m(w) = -w**3 + 5*w + 2. Let q(a) = -m(a) - 2*r(a). Let o be q(-2). Solve 2*t + 3*u - 7 = 0, o*t + u = -4*u + 9 for t.
2
Suppose 4*m - 3*f = 3, -3*m + 5*f - 1 = 5. Solve -4*w - 5*b - 2 = 1, -24 = -5*w + m*b for w.
3
Suppose -c + 3*m = 3, -3 = -4*c + 3*m - 6. Solve -2*p + 9 = 3*j, c - 1 = -3*p - 2*j for p.
-3
Suppose 2*j - 27 + 23 = 0. Solve -5*i + 17 = -2*d, 3*d = j*i - 5 - 4 for i.
3
Suppose 5*y - 10 - 10 = 0. Let l be y/((-16)/(-28)) - 3. Suppose -5 = -3*i + v - 2, l*i + 3 = -v. Solve -5*k - 10 - 9 = p, -3*k - 9 = i for p.
-4
Let a = -307 - -311. Solve 5*x + 27 = -0*w + a*w, -6 = -x - 3*w for x.
-3
Suppose -5 = 5*k + 4*i, 2*i + 6 = -4. Solve 4*m + k*x = x + 2, 5*m - 10 = -x for m.
3
Suppose -4*m - 24 = -2*m. Let a = 17 + m. Solve d + 0*d - 6 = -4*x, -a*x - 3 = -4*d for x.
1
Suppose -3*p - 3*r + 26 = -46, 0 = 4*p - 3*r - 103. Suppose 4*m - 11 = p. Let k = m - 5. Solve -6*q = -q + 5, -3*q = -o + k for o.
1
Suppose 0 = 9*s - 3*s - 768. Suppose 0 = x - 5*x + s. Let w = 45 - x. Solve 2*l = c - w, 15 + 5 = -5*l for c.
5
Let b be (-6)/4*12/(-9). Suppose -3*c - b = -5. Suppose -4*f - c = -17. Solve -f*s = -2*j + 10, -4*s + 9*s - j + 5 = 0 for s.
0
Let j(d) = d**3 - 2*d**2 - d + 2. Let u be j(2). Let i be (-80)/(-72)*36/8. Solve i*h + u = -5*a - 5, -3*h + 4*a + 11 = 0 for h.
1
Let g(k) = -k**3 - 15*k**2 + 32*k - 25. Let s be g(-17). Solve -9*n = -7*n - 4*p + 2, -2*p - s = n for n.
-5
Let a be 1 + -1 + 6 - (24 + -22). Let y = 9 - 5. Solve -4*t + c - 20 = 0, -y = -a*t - 5*c - 0 for t