j.
2
Let c(v) = -2*v + 4. Let w be c(1). Solve -5*l = 3*t - 11, w - 15 = -5*t - 3*l for t.
2
Let q = -17 - -21. Solve o + 11 = -5*z, -q*o - 5*z + 3 - 2 = 0 for o.
4
Let d(b) be the second derivative of b**5/20 - 5*b**4/12 - 5*b**3/6 - 3*b**2 + 3*b. Let s be d(6). Solve s = -y, -h + y + 5 = 1 for h.
4
Let n be (-1)/2*(-60 - 12). Suppose -n = -2*k - 12. Solve k = -d - 3*d - 5*b, -5*d = -3*b + 15 for d.
-3
Let b be (-4)/(-26) + 252/52. Solve 2*l - 4*l + 4*p + 16 = 0, -28 = -b*l + 4*p for l.
4
Let t be (-21)/(-27) - (-2)/9. Suppose q + 5*k - 3 = 5, -t = k. Solve 0 = -p - 3*c + 18, -4*c + q + 7 = 0 for p.
3
Let z be (12/8)/(2/4). Solve z*t = 2*p - 20, -2*t = 3*p - 4*p + 12 for t.
-4
Suppose 0 = 25*x - 20*x - 75. Suppose -4*g = -g - x. Solve -d = 3*n + 2, -g*n + 3 + 7 = 5*d for n.
-2
Let h be (-2)/(-5) + 38/5. Let g = 11 - h. Solve -4 = 4*a + 3*n, 6 = -5*a - 7*n + g*n for a.
2
Let n be (-9)/((-36)/16) - 1. Solve 5*d - 2*u - u - 16 = 0, n*d + 4*u + 2 = 0 for d.
2
Suppose -w + 0*w = -5. Let f be ((-2)/(-2) - 0) + w. Let k be 14/8 + (-8)/(-32). Solve k*q + 2*p = 0, 0 = -q - 4*p + f*p - 6 for q.
-2
Let g(h) = -h + 17. Let o be g(13). Solve -o = 2*j + 2*f, -j + 0*j - 2 = 2*f for j.
-2
Let o = 37 - 35. Let u = 1 + -1. Solve 0 = -h - o*q - 11, 4*q + u*q = 5*h + 13 for h.
-5
Suppose 5*x - 4*x = 2. Suppose 0*k = x*k. Solve k = 3*t - 5*b + 4, -4*t + 2*b = -2*b + 8 for t.
-3
Let l(g) = -g**2 - 6*g + 8. Let o be l(-7). Let i(y) = 16*y. Let h be i(o). Solve 5*s - 5*v = 30, -4*s + 3*v + h = v for s.
2
Suppose -2*v = v. Suppose 5*c = 42 - 12. Let q = 5 - 3. Solve d - 2*h - 3*h + c = 0, v = 4*d + q*h - 20 for d.
4
Let p = -122 - -125. Solve 4*t + 4*i = 32, 4*t = -t - p*i + 30 for t.
3
Let t(c) = -4*c**3 + c**2 - c - 1. Let z be t(-1). Solve -z*g + 3*d + 12 = -20, 0 = g + d for g.
4
Let a(u) = -u - 7. Let l(k) = 2*k + 8. Let o(c) = -3*a(c) - 2*l(c). Let m be o(0). Solve 3*w + 3*f = -0 - 3, -22 = 4*w - m*f for w.
-3
Suppose -7 = -2*w + 1. Suppose w*q + q - 75 = 0. Solve 2*t - q = -i - 0*i, -5*t = i - 30 for i.
5
Let x(b) = b**2 + 10*b - 6. Let f be x(-11). Solve -o = 0, 0*o + f = -5*l - o for l.
-1
Let s(i) = -i**3 - 6*i**2 - 4*i + 7. Let o be s(-5). Solve a = o*a - 5*f, f = -3*a for a.
0
Suppose -4*i = -5*i + 3. Solve -4*x = 8, i*l - 2*l - 5*x = 10 for l.
0
Let g be 15/(-6)*-2 + 0. Solve -4*x - 3*m = -8 - g, 19 = 4*x + 5*m for x.
1
Let d = -47 + 51. Solve 1 = -4*p + q, -q + d - 3 = -5*p for p.
0
Suppose 0 = -3*d + 4*z - 3*z + 7, 1 = -2*d - 5*z. Solve 4*j = -5*v - d, 0 = 2*j + 2*v + 2*v + 4 for j.
2
Let m = -24 - -35. Suppose a - 4*b + 15 = 0, -5*a = b - 5*b + m. Suppose k + a - 6 = 0. Solve 5*u - z + k*z = -8, -5*z - 1 = 4*u for u.
-4
Let n(v) = 3*v + 48. Let r be n(-16). Solve -4*z = 3*q - 7, 2*q - z + 12 - 2 = r for q.
-3
Let z(b) = -b**2 + 4*b + 4. Let v be z(4). Suppose -2 + 8 = 2*t. Let o = -3 + 3. Solve -t*k + 4*a = o, 2*k - v*a = -3*a for k.
0
Let a be 8/(-36) + (-274)/(-18). Let r = a - 14. Suppose 4*j - 3*t + 0 = 18, 2*j - 4*t = 14. Solve -f + r = j*n - 4, -11 = -5*n - f for n.
3
Suppose 0 = -63*v + 66*v. Solve 3*x = 3*m, -3*m + 5*x + v = 2 for m.
1
Let v(i) = i**2 - 2*i + 3. Let f be v(0). Suppose -5*k + 25 = 0, -k + f*k - 85 = -3*l. Solve 5*n - l = 0, 4*n - 36 = a + 3*a for a.
-4
Let j be (0 - -5)*(-11 + 12). Suppose j*k = 16 + 14. Solve -y + 3 = 2*a, 0 = -3*a + 5*y - k*y + 7 for a.
4
Let h be 2/(-11) - 168/(-77). Suppose h*n - 64 = -2*n. Solve 4*k + 2*z + n = 0, 2*k + 3*k = -2*z - 19 for k.
-3
Let f(o) = o**3 - 2*o**2 - 4*o + 4. Let p be f(4). Let d(c) = -2*c**3 + c**2 - 1. Let q be d(-1). Solve -4*w + p = -3*u, -3*u + 20 = -q*w + 6*w for w.
5
Suppose 3*a - 10 = 5*o, -2*a + 15 = -0*o + 5*o. Let z be 3 + (o + -2)/(-1). Solve 2*q + 4*k = -2*q - z, 5*q + k - 7 = 0 for q.
2
Suppose 5*t + b - 7 = 86, -5*t + b + 97 = 0. Suppose -5*w - 4 = -t. Solve -3*d = -w*g - 24, -d = 5*g + 2*d for g.
-3
Let s(l) = -l**2 - 3*l + 5. Let o be s(0). Solve -u + 5 = 2*z - 5, o*u = 2*z + 14 for z.
3
Let a(o) = 0*o + 3 + 3 - 3*o + 5*o. Let l be a(-3). Solve -3*s + 2*r = -9, -s = -l*s - 5*r + 10 for s.
5
Suppose 2*x + 6 = -0*x. Let c be (2/x)/(3/(-9)). Solve 0 = 3*j + 4*a - 3*a + 18, -2*j + 4*a + c = 0 for j.
-5
Suppose 4*l = 109 + 83. Suppose -8 + l = -4*b. Let s = b + 12. Solve -5*i = 3*w - 0*w + 2, i - w = -s for i.
-1
Let c be -2*((-50)/(-4))/(-5). Solve 0 = -c*n - 5*f - 30, -4*n - 3*f - 14 = -4*f for n.
-4
Let j(w) be the third derivative of -w**6/120 + 2*w**5/15 + 2*w**3/3 - 4*w**2. Let y be j(8). Solve m = y*n - 7, -n + 5*m = -0*m - 16 for n.
1
Let u be 27/6*(-2)/(-3). Let q(s) = -s**2 + 4*s - 1. Let l be q(u). Solve 1 = -f - p, -l*p = -f + 5*f for f.
1
Suppose 4*g - p = 7, 3*g - 2*p = -0*p + 4. Suppose -5*o - g*l = 3*l - 25, -16 = -4*o - 2*l. Solve -18 = -2*f + o*v, -f + v = 5*v + 13 for f.
3
Let j be 18/4*(-4 - -6). Solve r = 3*c - c + j, 5*r + c = 12 for r.
3
Suppose 81 = 4*l - 7. Let p = l + -8. Solve -4*c = 2*s + 12, -5*c - 2*s - p = -0*c for c.
-2
Let m(v) = v - 10. Let c be m(10). Solve 5*q - 3*g = -c*g - 2, -q + 22 = 5*g for q.
2
Let y(v) = -v**2 + v - 1. Let b be y(2). Let a = b + 6. Let j be (-15)/(2/((-8)/a)). Solve 2*k = -2*x - 0*x + j, 4*x - 35 = -3*k for k.
5
Let h be (32/(-12))/((-1)/3). Suppose h - 22 = -2*l. Suppose -2*w + 2*n - 10 = -l*w, n = -5. Solve 4*a = w*q - 12, -2*a = -4*q + 3*q + 1 for q.
5
Let w(m) = m + 10. Let o be w(0). Let g = -17 - -22. Solve -5*p + 2*b - 1 = -o, 0 = -g*p - b + 3 for p.
1
Let m(t) = -2*t - 9. Let z be m(-6). Suppose w = -6*w + 35. Solve -z*v + 6*v = 4*o + 22, -2*v - 16 = w*o for o.
-4
Let a = 14 + -24. Let p be a*(0 + 14/(-4)). Solve -5*g + p = 3*v, 3*g - 3*v + 1 + 2 = 0 for g.
4
Suppose 0 = -4*x + 19 + 41. Solve -5*l + 9 = -2*o, -3*o + 0*o + x = 2*l for l.
3
Let r be -2 - -8 - (1 - 0). Solve -5*p - 2*a + 0*a = -31, 3*a = -r*p + 34 for p.
5
Let d = -96 + 98. Solve -r + 6*z - d = 4*z, 2*r - 5*z = -3 for r.
-4
Let w(y) = y - 7. Let k be w(11). Solve 0 = 3*j - v - 1, 3 = k*j - 8*j - 3*v for j.
0
Let a = 173 - 169. Solve 27 = -4*y + 5*z, -a*z - z = 5*y for y.
-3
Let v be ((-4)/6)/(2/(-6)). Solve -4*m - 10 = 2*r - 0, 0 = -4*r + v*m + 20 for r.
3
Let k(t) be the second derivative of -t**4/12 + 4*t**3/3 + 9*t**2/2 - t. Let d be k(8). Solve 2*a = 3*r + 3, -2*r + 8*a - 3*a + d = 0 for r.
-3
Let n(t) = -1 + 2*t - 3 - 4*t + 4*t. Let p = 7 - 4. Let b be n(p). Solve 0*y + y - 3 = -3*j, y + b*j - 1 = 0 for y.
-3
Suppose 46 = 8*g - 6*g. Suppose 2*y - 7*y + 2*u + 29 = 0, -3*y + 4*u + g = 0. Solve 0 = 2*d - 2, 3*p - d + y = -p for p.
-1
Let d = 3 + 4. Suppose 2*x = -3*t - d + 17, 2*x + t = 6. Solve -16 = -3*r - r - 4*c, -c - 8 = -x*r for r.
4
Let x be -1 - (4/6)/((-2)/15). Solve -3*i - 8 = h + 3*h, 3*i - x = 2*h for h.
-2
Let j be (-9)/(-12) - 13/(-4). Suppose j*r - 46 = 2*r. Solve 3*q = 2*w + 2*w - r, -3*w = -3*q - 18 for q.
-1
Let h be 2/(-3) + (-68)/(-12). Solve z = 4*f - 3, -z - 4*f = -h*f for z.
1
Let d = -1 - -5. Solve -3*x - p = 5, -2*x - 10 = x - d*p for x.
-2
Suppose -2*z = -1 - 9. Solve -x + 2*x + 3*n = 0, 3*x - 4 = -z*n for x.
3
Let m be 0 - 6/(-3) - 2. Suppose d = -m*d + 3. Suppose -2 = v - 2*i - 5, -3*v = -d*i - 12. Solve 4*z = -z + 4*j - 20, -j + v = 4*z for z.
0
Let p be -4*(-5 - -3)/(-2). Let i be -2*(1 - p)*-1. Suppose -2*r - 4*t = -0*r - i, -2*t - 1 = -r. Solve 3 = r*s - 4*k, -5*s - 2*k = -2*s - 21 for s.
5
Suppose -18*t = -14*t - 16. Solve -2*r + 4*r - 2 = t*v, 19 = -3*r - 5*v for r.
-3
Suppose 4*r - 3*q - 4 + 1 = 0, 18 = r + 5*q. Let m = r + -1. Solve -2*k = -4 + 2, -m*y + 5*k - 11 = 0 for y.
-3
Let f be (6/2)/((-9)/(-6)). Suppose 2*w - 24 = -f*w. Suppose -4*m + 2*c = -10, 4*c + 8 = 5*m - 0*m. Solve -2*l = -3*j + 2, -m*l - w = -5*l - 2*j for l.
2
Let r be -2 + -5 + (-1)/(-1). Let c be r/(-10) + 9/(-15). Suppose 0 = -0*q - 2*q + 6. Solve 0 = q*m - 15, 5*m = 2*t - c*m + 15 for t.
5
Let j(r) = r. Suppose 2*c = -4*h - 8, 5*c - 2*h = -3*h - 2. Let m be j(c). Let z be m + 6/1 + -2. Solve 2*d + k = -k - z, -4*d - 2 = 2*k for d.
1
Let z = -117 + 125. Solve 3*f = 3*d + 15, -4*f = -z*f - d for f.
1
Let x = 19 - 14. Let r be (3/(-2))/(1/2). Let n = r - -4. Solve x = 2*v - m, -3*v + 2*v = m - n for v.
2
Suppose 3*k - a - 9 - 7 = 0, -11 = -3*k - 4*a. Solve g + 10 = -k*l - 10, -l + g - 10 = 0 for l.
-5
Let u(m) = -m + 1. Let c be u(