s - g = v - 4, 4 = -4*v for s.
4
Let u = -23 + 27. Suppose 3*g - u = 5. Solve 3*w + 5 = -4*r, 0 = -3*w + g*r + 5 + 4 for w.
1
Suppose a = 2*h - 4*h + 11, -2*a + h = -2. Solve 0 = -4*m - 4*w + 24 - 0, w = a*m - 2 for m.
2
Let t(q) be the second derivative of -q**3/6 + 17*q**2/2 + 5*q. Let c be t(15). Suppose 4*z - 17 - 3 = 0. Solve -13 = -w - 3*y - z, 5*w - 27 = -c*y for w.
5
Suppose 24 = 5*t + h, 0 = -4*t + t + 3*h. Let z be 0/((-4)/4 - 1). Let m = t - z. Solve m*p = -r - 0*r - 1, -p + 16 = -3*r for p.
1
Let o(n) = -2*n + 6. Let p be o(4). Let h = p - -5. Let g be ((-32)/(-6))/(4/6). Solve l = 2*y + g, -4*l + 10 = -h*y - 7 for y.
-3
Suppose -2 = 2*y - 6. Let m be (-23)/1 - (0 - 2). Let c be ((-12)/m)/((-2)/(-14)). Solve 3*j + 13 = 2*n, 5*n = c*j + 20 + y for n.
2
Let w = 540 + -535. Solve -6*j + j - w*d - 10 = 0, -j - 2*d = 6 for j.
2
Let o = 353 + -351. Solve -3*y - 2*y - 29 = -o*h, -3*h - 19 = 5*y for h.
2
Let p(d) = d + 1. Let z be p(4). Suppose 5*r = -4*q + 22 - z, 3*q - 11 = -2*r. Solve 2*m + 6 = 0, 3*x - 6*x + q*m + 9 = 0 for x.
0
Suppose -2*g = -5*g + 4*n + 27, 3*g - 36 = n. Solve -3*l + 2*s - g = 0, -2 = 2*s - 0 for l.
-5
Suppose 0 = 7*t - 281 + 260. Solve -p = t*j - 1, 3*p = -j - p + 15 for j.
-1
Suppose 183 + 36 = 5*i + 3*x, -2*i + 2*x = -94. Suppose 20*s = 5*s + i. Solve -s*r = 4*q - 12, 5*r = 3*q + 9 + 11 for q.
0
Let m = -13 + 17. Suppose 0 = -3*k - 4 + m. Solve 0 = 2*x - x + 5, k = -a + 2*x + 10 for a.
0
Let v(l) = -l**3 - 2*l**2 + 5*l - 2. Let h be v(1). Suppose h = 6*t - 4 - 20. Solve -11 = 2*m - 5*n, -n + t = -m - 0 for m.
-3
Let a(k) = -2*k + 5. Let x be a(-2). Suppose 3*b = 4*p - 23, 0*b - 5*b - 30 = -5*p. Let d be (1 + b)/(20 + -22). Solve d = m - 2, 2*s + x*m - 4*m - 8 = 0 for s.
-1
Let z = -6 - 4. Let k = z - -14. Suppose -3*x - 10 = -k*u - x, 3*x = -3*u + 12. Solve h - u*v + 10 = 0, -3*v - 20 = -5*h - 2*v for h.
5
Let v be 18/5 - (-28)/70 - -38. Suppose -2*f = v - 46. Solve 4*k - 6 - 6 = 0, -f*k = -2*a + 4 for a.
5
Let o = 20 + -29. Let v be o/(-5) - (-5)/25. Solve -3*r + 0*d - d = 15, -5*r = v*d + 26 for r.
-4
Let x(b) = -3*b + 33. Let h = -56 + 66. Let i be x(h). Let c = 15 - 3. Solve i*v - 4*o + 0*o = 0, 4*o = c for v.
4
Let r(o) = -o**2 + 9*o - 1. Let i be r(8). Suppose 2*n = i + 3. Solve -3*g + 15 = 0, -5*q - n*g + 25 + 20 = 0 for q.
4
Let u be (-4)/((-60)/177) - 2/(-10). Let g be u/24*10*2. Solve 5*w + 4*t = 5, 3*t + g = -3*w + 2*w for w.
5
Suppose 20*j - 27*j = -28. Solve -j*q = -5*h - 0*q - 7, -h - 14 = -5*q for h.
1
Suppose -2*t + 48 = -6*t. Let n = 8 - t. Solve 4*k - 4*a = 0, 0*k + n = -5*k + a for k.
-5
Let k(v) = 2*v**2 - 9*v - 10. Let s = -115 + 112. Let z be k(s). Solve -3*l - 2*l - z = -2*d, -5*l - 15 = 2*d for d.
5
Let o = -51 + 33. Let y be o/4*(-7)/((-21)/(-2)). Solve y*w + 11 = 4*h, 2*w = -3*w - 25 for h.
-1
Let n = 92 - 92. Solve n = 2*z + 2*q + 6, q = 5*z + 2*q + 15 for z.
-3
Suppose -26*r = -47 - 5. Solve -r*o = 4*b + 2*o + 16, -o - 4 = 2*b for b.
0
Suppose 138*o + 24 = 144*o. Solve 4*a - 2*a = o*h, -2*a = -h for h.
0
Suppose -13 + 93 = 10*m. Solve -2*o = -4*r, m = 4*o + 3*r - 7*r for o.
4
Suppose 4*q - 70*f = -68*f + 12, -3*q + 5*f - 5 = 0. Solve -4*p + 45 = 5*o, 3*p - 14*o + 12*o - q = 0 for p.
5
Let a = 11 + 67. Suppose -3*f = z - 60, 0*f - 3*f = -5*z - a. Solve c - 1 = o - 0*c, 3*o = -3*c + f for o.
3
Let z = 48 - 56. Let m be ((-14)/z + 2)/(2/8). Solve 0 = 2*l - 7*l - m, 5*g = -l - 28 for g.
-5
Let y(s) = 4*s - 8. Let q be y(2). Suppose 4*v - 5*x - 41 = q, 4*v - x - 2*x = 31. Solve -3*f = -2*i + 1, -v - 2 = -2*f - 2*i for f.
1
Suppose 0 = 3*d - h - 8, -65*h = 5*d - 62*h - 4. Solve s - 4*z + 5 = -d*s, -2 = 2*s - 2*z for s.
1
Suppose 3 = -q + 2*q. Suppose 0*x + q*x + 98 = 5*f, -2*f = -x - 39. Solve 3*v + o = -f, -4*v + 0*v - 28 = 2*o for v.
-5
Suppose 0 = -0*v - 8*v - 224. Let s = 32 + v. Solve -f + 4 = -4*z, -3*z + s = -2*f - z for f.
-4
Suppose -242 = 203*b - 214*b. Solve -3*p - 14 = 5*t - b, -p = -5*t + 4 for p.
1
Suppose 3*m = 20*m - 34. Solve -3*l = -3*i + 18, -m*i = -l - 3*l - 16 for l.
-2
Suppose 5*a - 22 - 42 = -3*o, 4*o - 45 = -3*a. Suppose -a + 1 = -5*d. Suppose -d = -5*s + 13. Solve 0*q = 4*q - 3*j - 14, 5*j = -s*q + 25 for q.
5
Let w = 14 - 6. Suppose 0 = 4*l - 5*s - w, -5*s - 2 = 2*l - 3*l. Let x = 0 - -3. Solve -p = -2*f - l, f - x + 4 = -4*p for f.
-1
Let i = -68 + 68. Solve i = -3*h - 5*t + 11, 4*h - 3*h = 4*t - 19 for h.
-3
Let d(q) = 7*q**2 + 5*q + 5. Let s be d(-3). Let a = s - 49. Solve -4*k + 2*t = 4, a*k + 28 = 2*t - 6*t for k.
-3
Let o(a) = 2*a + 1. Let n be o(2). Suppose -4*f - 12*j + 10*j = -120, -2*f = 12*j - 82. Solve 3*l - l + 13 = g, n*g - l = f for g.
5
Suppose 20*y = 6*y + 28. Solve 5*q - 3 = -y*f, 0 = 3*q + 3*f - 0*f for q.
1
Suppose -4*s + 0*s + 12 = 0. Suppose u + 13 = 4*d, d - 2*d - 8 = -4*u. Solve -18 = -2*b - j + s*j, 3*j = -u*b - 3 for b.
4
Let o be 1/(-3) + (-20)/(-6). Suppose 0 = f + o. Let k be (3 + f)*1/1. Solve -3*x + 9 = -3*s - k, 35 = -5*s - 5*x for s.
-5
Suppose 1 - 6 = -5*h + 2*b, 0 = b. Solve -y = 5*g - 21, -5*y - h = 2*g + 9 for g.
5
Suppose 41 = 2*q - 5*v, 2*q - 5*v + 4*v - 37 = 0. Let w = -22 + 24. Solve 2*o + q = w*y, 2*o - y + 21 = 7 for o.
-5
Let c(y) = 41*y - 81. Let p be c(2). Solve -4*r + p = -3*j, r - 3*r = 2*j - 18 for j.
5
Suppose 0 = o + 5 - 9. Let k = -7 + 4. Let c be 0/((-2)/(2/k)). Solve -o*q + 11 = -c*m - 3*m, 4*m = 3*q - 17 for m.
-5
Suppose 25*t = 41*t - 240. Solve 4*m - 3*y - t = 0, -5*y + 11 = 5*m - y for m.
3
Let w be 18/12 + 3/(-2). Solve q + 15 = 5*y, w = 4*y + y - 5*q - 35 for y.
2
Let w = 39 - 37. Let f be (w*1)/(20/(-5))*-2. Solve -c = -f, 4 = 5*n + c - 22 for n.
5
Suppose t = 63*j - 59*j - 45, 27 = 3*j - 3*t. Solve -5*k + 5*f = -10, 2*f - 4*f = 2*k + j for k.
-2
Let z = -21 + 18. Let w(m) = -2*m - 2. Let l(u) = u + 3. Let j(q) = z*w(q) - 4*l(q). Let x be j(5). Solve 3*t + x = -4*h, -2*h + 12 = 5*t - 0*t for h.
-4
Suppose -39*x - 28 = -43*x. Let j(d) be the first derivative of -d**4/4 + 8*d**3/3 - 5*d**2/2 - 10*d - 1. Let n be j(x). Solve -n*l + l = -3, 2*l = 2*z for z.
1
Let k(z) = -z**2 - 18*z + 39. Let a be k(-18). Let r be ((-65)/a)/(1/(-3)). Solve 0*p = -2*n + p - 10, -r = n - 5*p for n.
-5
Suppose 5322*b = 5313*b + 180. Solve -m = 4*m + b, -t - 4*m = 13 for t.
3
Suppose 9*s + 24 = 2*q + 7*s, 57 = 3*q + 4*s. Let c = q + -11. Solve 4*x - c*l + 21 = -9*l, -x = 4*l + 19 for x.
1
Let i(y) be the second derivative of y**5/20 - y**4/12 - 5*y**3/6 + 3*y**2 - 40*y. Let j be i(2). Solve 2*c = -j*c - 5*f - 23, 0 = -2*f - 6 for c.
-4
Let j = -477 - -481. Solve -5*o = t - 5, 0*t + j*o = -t + 5 for t.
5
Let q(x) = -2*x**2 - 63*x + 62. Let y be q(-32). Solve 4*z = 3*i - 35, 4*i = 2*z - 0*z + y for i.
5
Suppose 6*n - 5 = -4*t - 7, 4*n + 20 = 2*t. Solve -2*g = -8, 3*g = -7*b + t*b + 12 for b.
0
Let r be 12/8*-2 - -4. Let v = 1 - r. Solve v = -3*n, m - 12 = 4*m + n for m.
-4
Suppose 2*m = -2*m + 236. Let n = -47 + m. Suppose 0 = 5*y + 4*v - 31, -14 = y - 5*v + 3. Solve y*a - 6 = 0, -k - 3*a + n = a for k.
4
Suppose -7 - 15 = -11*a. Let d be a*(-3)/9 + 22/6. Solve d = -4*w + 3*z, -2*w - 13 = 2*w - 5*z for w.
3
Let n = 2179 - 2177. Solve -2*d + 2*o + n = 6, -2*d = 5*o + 25 for d.
-5
Let f(k) = 3*k + 15. Let n be f(8). Let z be (1/3 - (-377)/n)/2. Solve 7 = -z*l + s - 17, -8 = 5*l + 3*s for l.
-4
Let r be (-6)/((-7)/2 - -2). Suppose 0*m + v - 13 = -2*m, -36 = -3*m + r*v. Suppose 0 = -8*k + 38 + 2. Solve h - 1 = 2*t - k, -t = 2*h + m for h.
-4
Let k = 15 - 11. Let z = 1 + k. Solve p = -z*j + 14, 5*p = j - 4*j + 4 for j.
3
Suppose 2*o = -3*c + 2 + 8, 10 = 5*c. Let z be 21/(-9)*3/1. Let t = z - -10. Solve 5*d = 2*y - 28, -o*y - 8 = -7*y - t*d for y.
4
Suppose -3*t = 5*a - 40, -22 = -3*t - 0*a + 4*a. Suppose -z = z - t. Solve 4*c - 7 = 9, 5 = -3*q + z*c for q.
5
Let l be (-4 - -1)/((-3)/(-75)). Let j = 107 + l. Let u be 1 - -1*(1 - 2). Solve 0 = -3*v + 4*m + j, u*m = 4*m + 20 for v.
4
Let r be -5 - (-3 - 1) - -7. Suppose 0 = 2*a - 8 - 0. Suppose a*s = 3 + 5. Solve -3*m + s*o + r = -6*m, 0 = 3*m - 3*o + 6 for m.
-2
Let d be (0 + 14/(-7))/(2/(-1)). Let l be (-4)/(-18) + d/(36/(-8)). Solve r = -0*r + 3*a + 5, l = 3*r + 2*a + 18 for r.
-4
Suppose -9 = -2*p + 27. Let f be p/(-99) + (-4)/(-22). Solve -4*z + i = -16, 2*z + f*i - 8 = 2*i for z.