)*3. Let o = 13 - v. Solve -5*f + 4 = x, -o*f - 5*x - 2 + 0 = 0 for f.
1
Let b(c) = -c**3 - 3*c**2 - 12. Let i be b(-4). Solve -2*o - 11 = -3*v, -i*v = -o - 3*o - 16 for o.
-1
Let a be 9*(-51)/(-63) - (-2)/(-7). Solve -m + 2*u - a = -4, 3*u + 28 = -5*m for m.
-5
Let w(u) be the third derivative of u**4/6 - 2*u**3/3 + 7*u**2. Let i be w(2). Suppose 0 = -3*y + y + i. Solve 3*k - 3*c = -y*k - 7, 2*c = -k - 4 for k.
-2
Let w(c) = 3*c**3 + 21*c**2 - 24*c + 4. Let t be w(-8). Solve l + g = -3*g - 1, l + g = -t for l.
-5
Let a be ((-9)/(-3))/((-3)/(-2)). Let p(t) = t**3 + 8*t**2 - 8*t + 6. Let o be p(-9). Let q be (a/o)/((-10)/75). Solve 5*c - q = 0, 3*c = -w - c for w.
-4
Let f(l) be the third derivative of l**5/20 + l**3/6 + 8*l**2. Let i be f(1). Solve 5*o = 2*w + 10, i*o + 25 = 3*o - 5*w for o.
0
Suppose t - 5 = -b + 2, 4*b = -2*t + 24. Suppose -2*s + 46 = 2*j, t*s - 99 = -3*s - j. Let c = s - 14. Solve -2*l = -2*i, -l = -2*i - 4*l - c for i.
-1
Let z(n) = -10*n - 477. Let p be z(-48). Solve -2*l - 2 = 0, -p*i - l = -4*i - 3 for i.
-4
Let f be 16/3 + (-1)/3. Suppose 45 = f*o + y, y + 10 = -y. Suppose -4 = 3*d - 16. Solve -m + 4*h - 14 = -d*m, -5*m - 4*h = -o for m.
-2
Let l(b) = b**3 - 9*b**2 + 4. Let j be l(9). Let k = j - 1. Solve 4*p - 16 = -u - 4*u, 5*p + 17 = k*u for u.
4
Let k be (0 + (-44)/(-4))*3. Let s = k - 27. Solve -2*o + 0*j + 2*j + s = 0, -o - 1 = -3*j for o.
5
Let n(h) = -2*h**3 + 9*h**2 - 11. Let y be n(4). Let m be -16*-1*2/4. Let j = 11 - m. Solve j*b - 9 = o + 2, y*o = -b - 7 for o.
-2
Let f = 14 + 17. Suppose -l = 3*l - 20. Solve 2*w - 6*w + 8 = -v, 4*v - f = -l*w for w.
3
Suppose 4*d - 21 = -1. Let c(a) = a + 2. Let j be c(0). Let n be ((-2)/3)/(j/(-6)). Solve 3 = 2*f + d*t - n*t, 2 = -2*t for f.
3
Suppose 10 = 3*i - 5*f, 4*i + 2*f - 52 = -f. Suppose 135*u - 140*u + 80 = 0. Solve -2*b - u = -3*x, -2*b = x + i - 2 for b.
-5
Suppose -30*p + 95 = 5. Solve -4*l = -2*g + p*g, 0 = -3*l + 2*g for l.
0
Suppose 0 = 4*v - 8*v. Solve v = -2*q - 2*i - 8, 2*i + 21 = -4*q - 3*i for q.
1
Suppose -k + 0*k + 2*m = -6, 0 = -5*m - 20. Let a(t) = t**2 + t + 3. Let w be a(k). Solve 20 = -5*f, -w*q - 3*f - 30 = -8 for q.
-2
Let a(u) = -u**2 - 10*u + 1. Let s be a(-10). Suppose -3*x - s = -7. Solve 2*k - 3*r + 7*r - x = 0, -5*r = -3*k - 19 for k.
-3
Suppose -651*v - 6 = -653*v. Solve 2*g + 4*a - 16 = 0, -4*g = -3*g - v*a + 12 for g.
0
Suppose -o - 4*d = -3 + 9, -9 = -4*o - 5*d. Solve o*s - 2*s + 6 = -2*b, -15 = -5*s + 2*b for s.
1
Suppose 0 = 2*c - 0*c + 2*m + 6, 4*c + 9 = -3*m. Suppose 8 = 3*f + 2*j, -5*f - 2*j - 3*j + 15 = c. Solve f*n - 2*p + 0*p = -12, -2*n = 4*p for n.
-4
Let z(k) = k**2 - 16*k + 20. Let y be z(15). Suppose -3*a = 4*h - 49, 0 = 4*h - 2*h - 5*a - y. Solve 3*f = -c + 15, h = 4*f + 2*c - 10 for f.
5
Let g(t) be the first derivative of t**2/2 + 2*t - 2. Let v be g(0). Suppose 5*j - 8 = v. Solve -j*u - 3*a + 12 = 0, 0*u + 16 = -u + 4*a for u.
0
Let d be (-1 + 2)*-1 + -5 + 10. Solve 2*r + 2*q - d = 5*r, -13 = 4*r + 5*q for r.
-2
Let v be -1 - 1 - (-5 + 3). Let f = 1 - -37. Let t = 43 - f. Solve 3*c - 1 = -k - v, 0 = -t*c + 5*k - 5 for c.
0
Suppose 5*t - 10 = 3*l - 0*l, 0 = -2*t - l + 4. Solve -4*s = 5*j - t*s - 3, 8 = 3*j - 5*s for j.
1
Let f = -109 - -118. Let x(c) = c**2 - 7*c - 16. Let v be x(f). Solve -z + v*r = 2, 4*z - r - r = -2 for z.
0
Suppose z + z = 3*z. Solve -y - 7 = -3*w, z = -y + 4*w - 5*w - 3 for y.
-4
Let l(p) = -15*p**2 + 24*p + 21. Let n(m) = -8*m**2 + 12*m + 11. Let c(f) = -6*l(f) + 11*n(f). Let z be c(7). Solve 4*x - 8 = 0, -5*x = -h + 3 - z for h.
4
Let p(z) = 25*z - 95. Let b be p(4). Solve d = -3*r + 3*d - 10, r + b = d for r.
0
Let n = -200 + 202. Solve -2*t + 20 = -y + n*t, 0 = 5*y - 2*t + 28 for y.
-4
Let q be (12/(-8))/((-3)/(-20)). Let x be 375/q*(-5)/(15/2). Let u be 51/2 - 2/4. Solve -7*b + 4*b + 5*k = u, -3*b + x = 5*k for b.
0
Let l(i) = 29*i**2 - 3*i - 2. Let a be l(-1). Suppose -a*x + 34*x - 12 = 0. Solve -3*s - s + x*k = -2, 5*k + 9 = s for s.
-1
Suppose -2*x + 12 = -6. Let f(z) = z**2 - 8*z - 5. Let n be f(9). Suppose y + n - x = 0. Solve -2*j + y*o - 2*o - 10 = 0, 4*o = 8 for j.
-2
Let b be (18/7)/1*(-7)/(-3). Solve 0 = -3*o + 3*c - 3, 0 = -c + b*c - 20 for o.
3
Suppose 4*j = 2*q + 24, 4*j - 12 = q + 16. Let g = -8 + j. Suppose g = 6*i - 5*i - 6. Solve -3*d = -3*x - 21, 2*d - i*d - 5*x = 17 for d.
2
Suppose -295 = -54*z - 5*z. Solve 9*u - 4*u + x = 23, -z*u + 27 = -x for u.
5
Let u be 5180/1628 + (-2)/11. Solve -4*c = 3*s + 10, 5*c + 0*s = s - u for c.
-1
Let i be -11 - (-962)/91 - (-31)/7. Solve -i*w = 2*j - 14, -9 = -15*j + 14*j - 4*w for j.
5
Suppose 5*d = -21*d. Solve 2*t - s - 2*s + 5 = d, -2*s - 6 = t for t.
-4
Let h be (-13)/((-104)/(-12))*16/(-6). Solve 0 = -3*t + 5*r - 11, 0*t + r = h*t + 9 for t.
-2
Let x(k) = -13*k + 119. Let j be x(9). Let r = 4 - 0. Suppose -r*l + 7 = -13. Solve -l*m + 3*c - 12 = 4, -c = j*m + 2 for m.
-2
Let v = -15 - -19. Let n be -4 - v*(2 + 2). Let q = -17 - n. Solve 2*f = 2*d - 2, q*f = 4*d - 2*f for d.
5
Let v(d) = -d - 1. Let x be v(-9). Suppose -x = -5*b + b. Solve 3*r - 12 = 0, b*r = -w + 4 + 5 for w.
1
Let y(c) = c**2 - 7*c - 1. Let w = 30 - 22. Let u be y(w). Solve 4*z - u = 3*z - p, 3*z = -5*p + 29 for z.
3
Suppose 5*h + 3*j - 11 = 0, 5*h - 2*j - 39 = -13. Solve 5*p - k = h, -p - 4*k - 2 + 7 = 0 for p.
1
Let g(z) = z**2 + z - 10. Let d be g(0). Let f be ((-6)/15)/(1/(-15)). Let r = f - d. Solve b - 3*w = 4*b, -3*b = -5*w + r for b.
-2
Let d = 101 + -98. Suppose -m + 4*m = 0, 0 = -5*i + 2*m. Suppose q + q = i. Solve 0 = 4*h + d*n - 32, -3*n = -q*h + h - 17 for h.
5
Let a = 408 - 407. Solve 3*k = 5*y - 24 + a, -4*k + 5*y - 24 = 0 for k.
-1
Suppose -196 = -r - 3*r. Let m = r + -46. Solve -o = y - 7, -m*y + o - 12 = -5*y for y.
5
Let h be (2/1)/(34/153). Solve h*m - 13*m - 2*o = 12, 3*m + o + 8 = 0 for m.
-2
Suppose h + 10 + 3 = 2*o, -2*o - 2 = 2*h. Suppose -18 = -3*c + 2*l - l, 3*l + o = -c. Solve -5*a + 0*q + 15 = 2*q, -c*a - 5*q = 0 for a.
5
Let a be (-1148)/(-84) + (-2)/(-6). Solve 5*p - 22 - 7 = -2*t, 2*p - a = -2*t for t.
2
Suppose -5*h - 35 = -5*v, -2*h - 7 = 4*v + h. Let x be 4 - 2 - (-7 + 9). Suppose 7*o + 14 - 70 = x. Solve 1 = i + u, 0*u = v*i + 4*u - o for i.
-2
Let s = -215 + 218. Let h(j) = j + 13. Let d be h(-5). Suppose -2*n = -4*a + d, 2*n + a = -0*a + 12. Solve -4*x + x = -3*i + 12, -n*i - s*x + 2 = 0 for i.
2
Let g(d) = -5*d + 343. Let j be g(65). Solve 4*w + 3*f - 2*f + j = 0, 4*w + 22 = -3*f for w.
-4
Let m = 18 - 5. Suppose 18*p - 120 = m*p. Solve 4*q = 4 + 12, -a + 5*q = p for a.
-4
Suppose -4*a = -24*a + 80. Solve 4*m + a*t = 0, 4*t = 5*m - 26 - 19 for m.
5
Let k(z) = 8*z + 411. Let r be k(-51). Solve n = -r*n + 5*w, -17 = -5*n + 2*w for n.
5
Suppose -5*u = 19*u - 120. Solve 0*q = -u*q - 4*k - 33, 0 = q + k + 7 for q.
-5
Let w(z) = -2*z**3 - 40*z**2 + 89*z + 22. Let i be w(-22). Solve 4*u - 4 = -4*h - i, -u = 3*h + 3 for u.
3
Suppose -30*c = 7*c - 185. Solve -2*d + 5*t - t = -14, 0 = -c*d + 2*t + 19 for d.
3
Let l be 6/(-21) - 2/(-7). Let p(r) = -r**2 + 7*r + 22. Let v be (-2)/5 - 47/(-5). Let b be p(v). Solve 2*f + b*s + 2 = l, 0 = -2*f + s - 16 + 4 for f.
-5
Let b be 4/3*((-819)/52)/(-7). Solve b*g - 6 = f, 3*f - g = 7*f - 15 for f.
3
Suppose 0 = g + 4*g - 325. Let c = 70 - g. Let m be 8/3*18/12. Solve i + c*h - 7 = 0, -h - 3 = -6*i + m*i for i.
2
Let g(d) = -d**2 - 11*d - 5. Let l be g(-10). Suppose -l*s + 2*s + 57 = 0. Solve -4*a = 2*t + 18, t = 2*t + 4*a + s for t.
1
Let c be 2/3*(4 - -17). Let z(u) = u + 16. Let s = 0 - 16. Let b be z(s). Solve b = 3*i - 2*l - 4 - 1, -c = -2*i - 4*l for i.
3
Suppose -g - 5*m = 10, -2*g = -g - 4*m - 8. Suppose 6*r - 7 - 5 = g. Solve -2*t - 10 = -0*w + r*w, 3*w + 9 = 0 for t.
-2
Let j(k) = k**3 + 10*k**2 + k + 14. Let p = -12 + 13. Let n be (-2*(1 + 4))/p. Let i be j(n). Solve 0 = 5*r + 4*b + 8, 4*b = i + 8 for r.
-4
Let v(d) = -d**3 + 6*d**2 - 3*d - 7. Let t be v(5). Suppose -t + 15 = 3*y. Suppose -4*x + 4 + y = 0. Solve 0 = -x*n - 8, z = 3*n + 2*n + 18 for z.
-2
Let a = 101 + -176. Let d = 93 + a. Solve -5*m + n = -9, 2*m + 4*n + d = 4*m for m.
1
Let b(j) = -191*j + 10. Let x be b(5). Let n be ((-4)/(-3))/(18/x). Let u be (-2)/(-3) - n/21. Solve -y - 5*m + 28 = 0, -4 = u*y - 2*y - 2*m for y