5*k - 36. Solve 3*x - 3 = 0, -2*x + k = y*h + 2*h for h.
4
Let q(j) = 21*j. Let d be q(2). Let v be 3*4/d*14. Solve 0 = -i - 5*u + 22, -i + 5*u - v*u - 2 = 0 for i.
2
Suppose -12 = u + 3*u. Let l be -8*(1 - u - 2). Let r(d) = -d - 15. Let c be r(l). Solve 0 = 3*s - w + 5, 2*s - 5*w + c - 15 = 0 for s.
-3
Let b(m) = m + 10. Let h be b(-10). Let f = 6 + h. Solve -o + 2 + f = t, 3*o - 32 = -5*t for o.
4
Suppose 13*k - 12*k + 3 = -5*t, -12 = -4*k + 4*t. Solve 0 = 3*a - k*a + 3, -y + 4*a = -17 for y.
5
Let z(a) = a**3 + 4*a**2 + a - 3. Let v be z(-3). Suppose 0 = -v*d - 5*s + 31, 4*s = 2*d + 23 - 7. Solve 2*l + 4 = -d*k, -k - 12 = 2*k + l for k.
-5
Suppose -2*g = -0*g - 15*g. Solve -3*o + 4*l = -27, g*l = 3*l + 9 for o.
5
Let v = -11 - -20. Let y be (-14)/(-12) - 29/174. Suppose 2*f - 2 = f. Solve -g = f*l + y, -g - v = -l - l for l.
2
Let z(d) = -d - 6. Let h(w) = w + 5. Let x(i) = -3*h(i) - 2*z(i). Let l be x(-7). Solve 5*b - 11 = -2*p, 2*b - 7*b = l*p - 7 for p.
-2
Suppose -2 = -k - 6, -100 = 5*b + 5*k. Let c be -22*4/b*2. Solve -3*s + 4*i - c = 15, 11 = -3*s + i for s.
-2
Let v(x) = 2*x**2 + 8*x + 10. Let n be v(-2). Suppose -7*a - n*g + 14 = -5*a, 12 = 4*g. Solve -3*m + 5*c = 4 + 3, -a*c = -2*m - 4 for m.
-4
Let u be (-224)/21*9/(-2). Let z = 50 - u. Solve 2*p + 2*p = z*v + 16, -2*v - 2 = 3*p for v.
-4
Let z(l) = 15*l - 28. Let n be z(2). Suppose -3 = -2*x - 1. Solve 0 = g + n*b - x, g + g - b = -8 for g.
-3
Let c(l) = -l**2 - 4*l - 1. Let v be c(0). Let w be v - (-15)/(-3)*(-3)/5. Solve 5 = -s + t, 2*t = -w*s - 2*t + 20 for s.
0
Let v be 2 - (3 - 12)/3. Suppose -3*g + 9 = -4*c + 5*c, 2*g - 3*c = -v. Solve 19 = -3*k + 4*i, 5*i = g*k - 0*k + 22 for k.
-1
Let p(y) = y**2 + 7*y + 4. Let l be p(-4). Let f = l + 11. Solve -f*s - 5*c + 34 = 0, s - 5*s + 5*c = 13 for s.
3
Let j = 12 + -10. Let f be j/(-2)*2/(-1). Suppose 5*u = f*u. Solve 3*l + 2*l - 5*m - 10 = u, 11 = -2*l - 3*m for l.
-1
Let j(z) = -z - 2. Let t(d) be the second derivative of -d**3/2 + 13*d**2/2 - 5*d. Let y be t(6). Let v be j(y). Solve -n = v*x + 9, -3*x = -n - 3*n - 6 for n.
-3
Let o be ((-3)/6)/1*0. Let z = 2 + o. Let c = 12 - 8. Solve -z*l + 23 = 5*m - c*l, -5*l = -5 for m.
5
Let q(a) be the second derivative of -a**4/12 + 19*a**3/6 - 15*a**2/2 - a. Let g be q(18). Solve 0 = v + 1, 0 = 2*l + 2*v + g*v + 3 for l.
1
Let t be (5 - (1 + 1)) + -6. Let b be (-1)/t + 52/6. Solve -c + 2*j = -0*j + 9, j = -4*c + b for c.
1
Let i = 12 - 3. Suppose 0*v - 2*v = 8. Let a = i + v. Solve 4*g + 3*d - 15 = 0, a*d = -0*d + 25 for g.
0
Let m(x) be the third derivative of -1/6*x**4 - 5*x**2 + 0 + 0*x - 1/6*x**3. Let a be m(-1). Solve -4*f = -f - r + 8, -a*r = -15 for f.
-1
Suppose 11*i = 15*i - 28. Suppose 2*n - 1 = v, 4*v + n + i - 30 = 0. Solve v*x + 20 = 0, 4*o + 36 = -0*o - 5*x for o.
-4
Suppose -4*y + 0*w - w + 21 = 0, 3*y - 4*w = 11. Suppose y*f = -3*o + 14, 4*o + o + f = 16. Solve -3*h + 2*x - 5*x + 3 = 0, 8 = -2*h + o*x for h.
-1
Let p be 2/(-3) - 28/(-6). Let h(c) = -2*c + 8. Let i be h(p). Let v be (i*(-2)/(-4))/1. Solve 3*n - 3 = 3, -2*l + 3*n = v for l.
3
Let f = 501 + -497. Solve -12 = -4*z, -f*d - 2*z - 2 = 8 for d.
-4
Let p(h) = -h + 1. Let s be p(-8). Let b = s + -5. Solve 4*l + b*f + 24 = 0, 3*f + 8 + 2 = -l for l.
-4
Suppose 0 = 3*n - 6, y - 3 + 5 = 2*n. Solve 0 = 5*d - b + 19, -b + y = -2 for d.
-3
Let w(s) = -s**3 - 4*s**2 - 5*s - 10. Let a be w(-6). Let c = a - 87. Solve k + 4*d - 8 + 21 = 0, 4*d - 17 = c*k for k.
-5
Let l(q) = q**2 + 11*q + 24. Let g be l(-10). Solve 3*c - r = -10, -6*c + 2*r = -2*c + g for c.
-3
Suppose 2*b - 8 + 28 = -4*n, 5*n + 5*b + 30 = 0. Let q be (-24)/18 + n/6. Let d be 0*(q + 0 + 3). Solve d = -c + 4*z, 0 = -5*c + 2*z + z for c.
0
Suppose q = 2*r - 5, -4*r + 3*q + 12 = -q. Let u = r - 2. Let s be ((16 + -1)/(-3))/(-1). Solve 2*t + 2*z = -3 - 1, u = -s*z for t.
-2
Let l = 8 - 5. Suppose 3*c - 32 = 4. Let x be l/c + (-11)/(-4). Solve -2*p - x*f - 2*f - 18 = 0, 3*p - 2*f + 8 = 0 for p.
-4
Let k = 246 - 244. Solve -3*r + 5*r + 4 = k*y, 0 = r - 3*y for r.
-3
Let j(m) = m**3 - 20*m**2 - m + 26. Let f be j(20). Solve c + c = 3*z - 14, 5*z + f = -4*c for c.
-4
Let y be (40/(-35))/(46/(-161)). Suppose -3 = -b - 0. Solve -y*n + 4 = q + 23, 4*n + 25 = -b*q for q.
-3
Let o(b) = 2*b - 2*b - 5*b - 5 + 6*b. Let x be o(9). Suppose -x*z - 20 = -8*z. Solve 3*j = -5*v - 35, z*j - 3*j = -2*v - 18 for j.
-5
Let z be (8/(-10))/(2/(-20)). Suppose -4*u + z = -a - 12, 0 = -4*a - u + 5. Suppose a = -4*r + 8. Solve 3*l - 2*b + 9 = 0, -r*b = 5*l - 2 + 1 for l.
-1
Let h = 86 + -86. Solve -5*m + 10 = -5*q, -4*q - 4*m = -h*q - 8 for q.
0
Let z(w) = 29*w**3 + w + 3 - 3 - 28*w**3. Let d be z(1). Solve 5*o - 5 = -d*l, 3*o + o + 14 = 2*l for l.
5
Let c = 1 + 2. Suppose -t - 27 = -c*b, 65 = 5*b - 2*t + 7*t. Suppose 19*g - 58 = 29 + 27. Solve 3*d = -5*v - b, d = -v + g*d - 2 for v.
-2
Suppose -3*p = 3*d - 30, 5*d - 2*p - 15 = -0*d. Solve -c = d*u - 13, -16 = -3*u - 5*c + 5 for u.
2
Suppose -4*g = -3*g - 20. Let f be ((-30)/18)/((-1)/3). Suppose -5*z + f*b = -5, z + 2*b = -z + 14. Solve 5*s = 3*x - 8 + 30, -z*s = -3*x - g for x.
-4
Let z(c) = -c**2 + 32*c + 275. Let d be z(39). Solve 3*m + 5*s + 5 + 0 = 0, 0 = d*m + 3*s + 3 for m.
0
Let p = -27 - -47. Suppose c + 3*r = 14, -2*r + 2 = -5*c + 4. Suppose -5 - 15 = -2*z. Solve -v = 4*v + p, -z = c*q + v for q.
-3
Suppose 9*k - 14*k + 15 = 0. Suppose -2*l + 13 = k. Solve -5*j - 4*c = -2*j, -l*j - 4*c = 0 for j.
0
Suppose -4*h - s + 2*s = -12, -5*h - 2*s = -15. Let i(r) = -8*r**2 + 2*r - 1. Let m be i(1). Let p = m + 10. Solve o = p*o - j - 3, 9 = -5*o - h*j for o.
0
Suppose 3*g = 5*t - 25, -6*t + 5*t + 5 = 5*g. Solve -t = -2*v + 3*r + 7, -2 = r for v.
3
Let z = 5 + -2. Let a be (-3)/(-1)*4/z. Solve 2*k + 2*w + a = -0*w, -3*k - 1 = -2*w for k.
-1
Let m = 6 + 6. Let b be 3/m + (-15)/(-4) + -2. Solve 5*l - 17 = -b*y, 3*y - 21 = -5*l - 8 for y.
-4
Suppose -6*h - 13 = 149. Let g(i) = i**2 - 4*i - 2. Let k be g(-4). Let v = h + k. Solve v*n = 4*j - 2 - 3, 0 = -4*n - 5*j - 17 for n.
-3
Suppose -t = 3*s - 140 + 129, s = t + 1. Suppose l + 20 = 5*l. Solve t*i = -2*k + i - 3, -i - l = 3*k for k.
-2
Suppose 15 = 4*v + 5*l - 18, -2*l = 2*v - 14. Solve v*k + 4*o = 3*k - 21, -15 = 3*o for k.
1
Let b = 14 - 14. Let h be b - 3 - (-6 + 0). Solve -8 = -h*f - 2*d + 1, f = -5*d - 10 for f.
5
Let v = -662 - -665. Suppose -3*i = -i. Solve -v*t - 2*y - 10 = 0, 4*t + 12 = -4*y - i for t.
-4
Let c be 2/(-8)*1*84/(-21). Solve 5*w - c = 4*u, 3*w - 3 + 0 = 0 for u.
1
Let i(n) = 11*n + 184. Let w be i(-15). Solve 2*r + 3*k = w, -2 = 2*r - 3*k - 3 for r.
5
Let j(k) = -k**3 - 18*k**2 + 20*k + 24. Let o be 2*2/((-48)/(-76))*-3. Let h be j(o). Solve -t + 16 = h*d + 6, 2*d + 2*t = 12 for d.
1
Suppose -5*g - 9 = 2*p, 7*p + g = 11*p - 15. Solve f = 3*v - 14, -4*v + 6 = -v + p*f for v.
4
Suppose 12 = 16*l - 12*l. Solve 4*h + l*u = 14, -h = -0*u + 2*u - 1 for h.
5
Let v = -3 + 5. Let k = 161 + -157. Solve -5 = -2*c + o - k, -c + v = o for c.
1
Suppose 0 = n - 27 - 2. Let i = -65 + 41. Let h = i + n. Solve 5*c = -w - 27, -c + h*w + 1 + 4 = 0 for c.
-5
Let h be (-10)/(4 - 2) + (-4 - -9). Solve -4*a = 2*o + 16, -2*o - 5*a - 10 - 10 = h for o.
0
Let t = 442 - 439. Solve 2*k - 2 = t*z + 4*k, -z + 2*k = -10 for z.
2
Let d(a) = 2*a**2 + 2*a - 8. Let k be d(4). Suppose 0*x = 2*x + 26. Let m = -13 - x. Solve 4*j + w = -2*w - k, m = 2*j - w + 6 for j.
-5
Suppose 0 = -3*b + 4*p + 336, 0 = b - 5*p - 120 - 3. Let q = b + -106. Solve 15 = q*t + 4*j - 3, -2*t + 5*j - 18 = 0 for t.
1
Suppose -4*d = -18*d + 252. Suppose 0 = 8*m - 7*m - 2. Solve 5*k + v = -26, m*v - d = 3*k + 5*v for k.
-5
Let q(r) = r**3 + 1 + r + 29*r**2 - 18*r**2 - 10*r**2. Let k be q(-1). Solve -3*w + 0*u = -5*u - 17, w + 2*u - 2 = k for w.
4
Suppose 0 = 3*n - 5*n. Suppose -3*v = -3 - 3. Let f be v*2/2 - -3. Solve -5*b + f*o + 20 = n, -13 = -5*b + o - 3*o for b.
3
Suppose -52 = 26*d - 39*d. Solve 0 = d*b + 3*h - 9, -2*b = -3*b + 2*h + 5 for b.
3
Let u(m) = 5*m**2 + 7*m - 4. Let p be u(-2). Solve 4*f - 8 = -6*c + 2*c, p*c = 5*f + 4 for c.
2
Suppose 22 - 50 = -14*r. Solve 2*q + 2*q = 8, -s = r*q for s.
-4
Let p = -55 - -78. Suppose -3*b + p = 2*u, 2*b + 0*b = -3*u + 22. Solve y = -d + 1, -2*y + 2 = 9*d - u*d for d.
0
Let q(