e 0 = o*z - 5*d + 50, 0 = z + 3*d + 2*d - 20 for z.
-5
Let k(r) = 97*r**3 - 2*r**2 + r. Let c be k(1). Suppose 0 = 13*g - 127 - 3. Suppose -6*h - c = -g*h. Solve -3*x + p = -4, -5*p + 4 = -x + h for x.
0
Let m be (-12)/18*(-6)/10*5. Suppose 0 = 4*q - 12, 7 = m*s - 2*q + 3*q. Solve 4*h + 16 = 0, -s*h - h - 27 = 5*p for p.
-3
Let t = 1452 + -1450. Solve -4*q = -w - 0*q + 8, 2*q = -w + t for w.
4
Let j(q) = 10*q + 74. Let w be j(-7). Solve 2*l + 13 = 3*p, -w*p + 2*p = l - 11 for p.
5
Let p(r) = 1486*r - 8913. Let o be p(6). Let s = -3 + 6. Solve -s*x + 4*z + 9 = -0*x, -9 = o*z for x.
-1
Let a(f) = -f**3 - 2*f**2 + f + 3. Let t be a(-4). Solve -4*v - 9 = 2*y - t, -v = 2*y - 13 for y.
5
Suppose 0 = -2*m - 3*m + 2*m. Solve m = -s - 4*v - 4, -s - v = -3*s + 10 for s.
4
Let y(k) = -7 + 18 + 0*k - k. Let d be y(9). Let w = d + 3. Solve 0 = -z, a + z + w = 3*z for a.
-5
Suppose 0 = b + 5, j + j + 11 = -3*b. Let k be 0/j*(-9)/(-18). Solve 6*i - 2*i = 3*a - 17, 4*i + 2*a + 2 = k for i.
-2
Let x be 2/(-1) + (-24)/(-6). Solve -q - 2 = -4*q + x*k, 2*k + 2 = 5*q for q.
0
Suppose -33 = -2*z - z. Let i = 51 + -105. Let m = i - -54. Solve 3*k - z = -4*b, 4*k - b + m*b + 17 = 0 for k.
-3
Suppose -58 = -75*s + 317. Solve 4*d - 5*y - 9 = -8*y, -3*y + 9 = s*d for d.
0
Let m be 8/2 + 8 - 3. Solve m*i - 4*i - 20 = 4*u, i - 5*u - 4 = 0 for i.
4
Let f = -227 + 229. Solve -f = 5*b - 6*b, 3*b = -2*m for m.
-3
Let h = -2305 - -2305. Suppose 0*v - v = 0. Solve v = 5*a + m - h*m - 8, -2 = a - m for a.
1
Suppose 55 = 6*u + 5*u. Suppose u*h + 3*b - 26 = 0, 2*h - 2*b - 20 = -0*b. Solve 9 = -q + 5*i - 12, 0 = -2*q + 3*i - h for q.
4
Let p be (-51)/(-15) + 6/10. Solve 2*w = 6, 0 = 4*z - 8*z - p*w + 20 for z.
2
Let j = 10 - 13. Let m be (-1)/(6 + j)*-12. Suppose b = -a + 9, 4*a + 2*b + 9 = 37. Solve a*d - w - m*w = 0, 0 = 2*d + w + 6 for d.
-2
Let s be (-6)/9*-18*(-13)/(-4). Let m = s - 35. Let k = 10 + -6. Solve -a - 5*c + 11 = 2*a, -k*a + 12 = m*c for a.
2
Let d(o) = -6*o - 82. Let t be d(-14). Solve -t*h = -2*k - 2, 2*k = 6*h - 7*h - 2 for k.
-1
Let a = -17 - -7. Let i be (-1 - 9)*a/25. Solve 2*l = -l + 5*u - 7, i*l = 3*u - 2 for l.
1
Let d(w) be the third derivative of -w**4/24 + w**3/6 - 4*w**2. Let c be d(6). Let v = -1 - c. Solve -f + o + 10 = v*o, 15 = 5*o for f.
1
Suppose 0*n - 5*n = -25. Suppose 0 = 5*o - 14 + 4. Suppose -5 = -3*g - 4*s, 3 = -9*s + 6*s. Solve -2*l = -3*x - n, -x = o*l - g + 10 for x.
-3
Suppose -p - 14 = -3*p. Suppose 29 = -4*c - 195. Let d = c + 69. Solve -4*a - 5*z = d, 5*z + 37 = p*a - 3*a for a.
3
Suppose 87*r = 580 + 377. Solve 3*k + 11 = d, -4*k + 3*d - r = 7 for k.
-3
Let z be 76/228*(16 + -1 - 0). Solve -7*w + 3*t = -2*w - z, -2*t = 4*w - 4 for w.
1
Let a be -1*(-2)/(-10)*-5. Suppose -3*h - 4*r - 7 = 0, r + 5 = -h - 3*r. Let k be h/a + (6 - 1). Solve -4*u + 4 = 0, -2*u - 15 + 1 = k*y for y.
-4
Let w = -654 + 658. Solve w*g + 3*p - 3 = -2*p, -4*p = 4 for g.
2
Suppose -11*j + 33 = -8*j. Solve 3*k + 4*l = 19, 2*l + 2*l + j = 3*k for k.
5
Let t = 306 + -305. Solve -2*i - 3*d = -7*i - 5, 0 = -i - d - t for i.
-1
Let x = 132 + -105. Let k be -12*21/x*-3. Solve k = -4*q - 4*d, 5 = -5*d - 15 for q.
-3
Let q = -23 - -22. Let d = q + 1. Solve x + 2*p + 3 = d, -5*x + 2*p + 15 = -6 for x.
3
Let c = -23 - -13. Let y = c - 10. Let b = -16 - y. Solve b*k - 7*t + 3*t = 4, t = 0 for k.
1
Let v = -1353 - -1355. Solve 5 = 4*a - 5*h + 37, v*h - 17 = 3*a for a.
-3
Let s = -34 - -40. Suppose b + 10 = -n + 6*n, -3*n + s = -4*b. Solve -4*p + 4 = a, a = n*p - 0*a + 4 for p.
0
Suppose -4*b = 2*d - 22, -3*d - 22 = -2*b + 9. Suppose 2 = 10*h - b*h. Solve 0 = -3*r + m + h, m + 13 = 4*r + 2*m for r.
2
Let i = 16 + -14. Suppose 0 = -i*y - 5 + 7. Let o be 0*(y - (-16)/(-12)). Solve -4*v + 2*c + 2 + o = 0, -4*v = -3*c - 5 for v.
-1
Suppose y = -j + 3 - 5, -2*y - j + 1 = 0. Solve 0 = m - o - 4, 7 = y*m - 2*o - 0 for m.
-1
Let c be 0 - (-30)/(-5) - -10. Solve -6 = 5*s - c*a - 22, -5*a - 15 = -5*s for s.
4
Suppose -20 = 8*z - 92. Solve h = -2*p + 3 + z, -2*p = 2*h - 16 for h.
4
Suppose -3*s + 6 = x - 4*s, 0 = -5*x - 2*s + 16. Let k = 250 + -248. Solve -u = -x*a + 11, -u - 4*u = k*a - 11 for a.
3
Let o be (-24)/(-56) - -3 - (-3)/(-7). Solve o*i - 7*b = -2*b - 30, 0 = i - 5*b + 20 for i.
-5
Let a be (-3)/2*(-4 - -2). Solve 0 = -a*g + 2*f - 33 + 13, 5*f = -2*g + 12 for g.
-4
Suppose 6 = -g - 5*a, 6*a = 5*g + 3*a - 26. Suppose -2*t + 90 = 5*x, -4*x - 14 + 86 = -t. Solve -x = 2*y + 5*f, g*f + 17 = 5*y + f for y.
1
Let p be ((-104)/3 - -2)*(4 - 1). Let y = -96 - p. Suppose x + 2 - 3 = 0. Solve -6 = 2*a + y*m, 3*a + 2*m = -10 - x for a.
-5
Let h = 87 - 83. Solve -2*d + 22 = -h*r, -2*d - 3*r + 2*r = 3 for d.
1
Suppose -2*l + r = -5, 2*l = -5*r + 10*r - 15. Solve 4*n = -3*f + 6 + 2, l*n - f - 10 = 0 for n.
2
Let l(b) = b**3 + 33*b**2 - 34*b + 4. Let y be l(-34). Solve -y*m - 2*z + 9 = -m, -4 = -m - z for m.
1
Let k(n) = -3*n - 59. Let v be k(-21). Solve -t + v*b = 9, t - b = 6*t + 24 for t.
-5
Let x be (-12)/42 - 4/(-14). Solve 3*q = -4*i, -4*i + 3*q - 15 - 9 = x for i.
-3
Let s be (0 + -4 + -2)*1. Let h(u) = -u**2 - 5*u + 8. Let z be h(s). Suppose 0 = z*q - q - 3. Solve -4*p = -q*j + 4, -j = 4*p + 9 + 11 for p.
-4
Let w be 4/6*(3 + 0). Solve -w*i - 8 = b, -4*b + 2*i = -0*b + 12 for b.
-4
Let y be 8/(-12) + (-2)/(-3). Let w = 17 - 12. Solve -5*o + 3*o - 2 = 2*z, -w*o - 15 = y for z.
2
Let p = 189 + -186. Solve p*r - 6 = 3*u, r - 14 = -2*r - 5*u for r.
3
Let r(k) = -k**3 - 13*k**2 - 21*k + 28. Let d be r(-11). Suppose 2*t = 2*o - 6*o + 18, -4*o = -3*t + 77. Solve 4*j - 4*c = -t - d, 4*c - 1 = -3*j for j.
-5
Let t(w) = 4*w + 68. Let a be t(-18). Let q(f) = -7*f**2 + 1. Let c be q(1). Let j be 18 + -2*(a - c). Solve -3*n + d = j - 5, 0 = n + d - 1 for n.
-2
Let l be (-2210)/(-715) + 1/(-11). Solve -l*b - 29 = -4*z, 2*z - 20 = -2*z for b.
-3
Let s = 57 + -53. Solve 2*z + z - s*l = -7, -3*l - 6 = 0 for z.
-5
Let j be 0 + 7 - (8 + -5). Suppose 4*g - 28 = j*x, -2*x - 4*g + 19 = -3*x. Let f be (-3)/(42/15 + x). Solve f = -3*m + 2*t + t, -4*t + 20 = -2*m for m.
0
Let m be -3 + 23/(207/90). Solve 2*k + m*p - 18 = 2*p, p = -4*k + 18 for k.
4
Let s be 0*(7/(-4) - -2). Let p be -7 + 9 + s + 2. Solve 1 = 2*d + 4*j - 1, 0 = 5*d + p*j - 5 for d.
1
Suppose 4*y + 72 = 88. Solve -2*n + b = -n - y, 0 = 4*b + 12 for n.
1
Suppose g + 63 = 8*g. Solve k = -5*x - 13, 0*x - g = k + 3*x for k.
-3
Let f = 0 - -12. Suppose 104*s + f = 107*s. Solve 14 = s*i + j, i + 6*j - j = -6 for i.
4
Let k(l) = l**2 - 57*l - 586. Let t be k(-9). Let z = 2 + 0. Solve -4*c = -t*c + u + 12, -2*c - 4 = z*u for c.
2
Suppose -106*l + 54 = -79*l. Solve h - z - 2*z = 1, l*h - 2*z = -6 for h.
-5
Let m = 58 + -66. Let w(z) = -z**2 - 11*z - 20. Let k be w(m). Let o be 2/(-4) + 21/2. Solve -n - 2*i = -8, -2*n - o = -k*n - i for n.
4
Let p = -124 + 127. Suppose -f + 2 = -2. Solve g - p*m = -g - 11, -4*g + f*m = 12 for g.
2
Suppose -11 = 2*c - 17. Solve 0*n + 9 = -3*i - c*n, -i + 4*n = -17 for i.
1
Suppose -16 = -d - 3*d. Let b(s) = -6*s - 2. Let q be b(-1). Suppose -q*i - 3*g = -3*i - 30, -5*g = 5*i - 100. Solve 2*o - d*l - 15 = i, 5*o - 40 = 3*l for o.
5
Let v(x) = x**2 - x + 3. Let t be v(0). Suppose 12*a - 197 = -161. Solve -2*d - 6 = -f, 0 = 5*d - f + t*f - a for d.
-1
Suppose 2*v - 5*v = 4*a + 112, -3*v = a + 109. Let z = v - -41. Solve 10 - 2 = -z*k - 3*l, -5*k - l = 16 for k.
-4
Let d(r) = -2*r**2 + 20*r + 81. Let m be d(13). Solve 5*y + 13 = -m*o, -6*o + 4*o - 2 = 2*y for o.
4
Suppose -4*u + 118 = -110. Let t = 61 - u. Solve -5*c + 3 = t*z, 5*c - 2*z - 3*z = 30 for c.
3
Suppose 5*p + y - 22 = 0, 25 = 31*p - 29*p - 5*y. Let u = 7 - 5. Solve x - p*j - 7 = -u*j, 5 = -5*j for x.
4
Suppose 2*h - 6 - 6 = 0. Let f = h - 9. Let p be (4/(-3))/2*f. Solve p*o = 4*l - 10, -l - 7*o + 16 = -3*o for l.
4
Suppose 5*i = p - 5, 5*i - 3*p + 3 = 8. Let c be 1/i*(-1 - 7). Suppose -8 = -4*x + c. Solve 2*o = x*b - 13, 5*o + 4 = -b - b for b.
3
Let v(l) = l**3 + 5*l**2 + 4*l + 2. Let r be v(-4). Suppose 0*x + x - r = 0. Suppose -y + 11 = 1. Solve -x = -4*c + 2*p + 12, 2*c - y = 2*p for c.
2
Suppose 2*d + 6 = a + 3*d, -22 = -5*a - 3*d. Solve -a = -3*u + 2*z, -z - z + 14 = u for u.
4
Suppose -26*p + 17 = -35. Solve 4*o + 13 + 10 = 5*g, 0 = -p*g - 3*o for g.
