ve 5*s = 3*x + 23, x - c = -5*s + s for s.
4
Let p = -247 - -145. Let h = 167 + p. Let x be 39/h + 104/10. Solve 22 = -4*w - 4*l + 6, -2*w + l = x for w.
-5
Let h(n) = n**3 + 5*n**2 - 18*n - 85. Let s be h(-5). Let i be (-1)/(-2 + 7/3). Let f = s + i. Solve 0 = -l - 5*q - 15, 7 = 4*l - f*q + 1 for l.
0
Suppose 73 + 145 = 90*q - 52. Solve 28*k = -5*z + 26*k + 17, q*k + 27 = 3*z for z.
5
Let x be 13/((-39)/24) + 11. Solve 8*q + 3*i = 6*q + 4, 0 = x*q + 4*i - 4 for q.
-4
Let z(k) = -k**2 - 51*k - 140. Let h be z(-3). Let d = 10 - 6. Solve 0 = 3*o - h*w + 8*w + 25, -d*o - 24 = 3*w for o.
-3
Let k = -214 + 208. Let s(q) = -q**2 + 23*q + 176. Let p be s(k). Solve 0 = -p*l + 6, -2*x + 1 = -2*l + 3 for x.
2
Let t be (10 - 0)/2 - 0. Let u = 116 - 194. Let q = u - -79. Solve 0*p + q = 2*w - p, -p - 4 = -t*w for w.
1
Let z = -3 + 7. Let j(a) be the first derivative of 11*a**2 + 134*a - 73. Let p be j(-6). Solve -2*q - 4*u + 6 + p = 0, 0 = -4*q - z*u + 16 for q.
4
Let s(d) be the first derivative of d**3 + 37*d**2/2 + 24*d - 16. Let w be s(-12). Let z be 2/3*-1*-3. Solve p - 14 = 5*x, 0 = -3*x + 2*p - w - z for x.
-2
Suppose 155 = 26*s - 21*s + 5*b, b = -2. Solve 5*f + 40 = -5*x, 3*f = -31*x + s*x + 1 for f.
-3
Suppose -5*v - 2*h + 342 = 322, 5*h - 25 = 0. Solve 16 = v*x + 9*f - 4*f, -f = -2 for x.
3
Let d be 216/(-180) + (-466)/(-5). Suppose d*n = 84*n. Solve n = -x + 3*h - 8, 4 = 3*x + 3*h - 5*h for x.
4
Let l = -22 - -21. Let o be ((-3)/l)/((-15)/(-530)). Let j = o + -106. Solve 0 = -5*w + 5*n + 3 + 7, -2*w - n + 4 = j for w.
2
Let l = -8 + -2. Let h be (-22)/l + (-4)/20. Let b = 467 - 464. Solve -g + 8 = b*p, h*g - p = -0 + 2 for g.
2
Let p = 916 - 914. Solve -2*c = -3*g + 2, 7*c + 2*g + 24 = p*c for c.
-4
Suppose -2*w + 11 = 1. Suppose 4*j - 18 = -2*j. Suppose -j*m - 3 = 0, -2*s - 12 = -2*m - 34. Solve -4*h + 2*z = s, w*h - 3*z = -0 - 14 for h.
-1
Suppose 5*p - 301 = -4*x, 0 = -p - 6*x + 3*x + 69. Let i = p - 15. Let k = 44 - i. Solve k*r + c + 4 = 0, 3*r + 0*c + 13 = -5*c for r.
-1
Suppose -54*b = -60*b + 12. Suppose 20 = 6*w - b*w. Solve -5*q + 4*u + 16 = 0, -2*q + w*q = 4*u + 8 for q.
4
Let n be (-10)/(((-14)/35)/(2/(-10))). Let k be n/1*(-14)/35. Let c(y) = y**3 - 6*y**2 - y + 8. Let s be c(6). Solve t = -3*h - s, 0 = h - k*t - t - 16 for h.
1
Suppose -4*q = 2*v - 18, v - 63 = -58. Solve 5*h = 5*d - 10*d - 20, -q*d + 5*h - 1 = 0 for d.
-3
Let y(k) = -k**3 + 29*k**2 - 116*k - 94. Let n be y(24). Solve n*i - 10 = 5*x, -i + 5 = -2*x - 0*i for x.
0
Let p be (-9)/(-36)*(-2 + 6). Let q be (-4)/p*3/(-6). Suppose -4*i - q*a = 2, -2*i = 3*i - 4*a - 4. Solve -3*k + 14 = 4*y - 1, 5*k - 4*y + 7 = i for k.
1
Let b = -242 - -245. Solve 3*n = d - 2*d - 9, 0 = b*d + 4*n + 7 for d.
3
Suppose -234*t + 16*t - 1244 = 718. Let j be (-1)/(-2)*(0 - -6). Let r be -1*t/j - (-7 - -5). Solve -4*s - 40 = -r*c, s + 10 + 7 = 3*c for c.
4
Suppose 150*n = 90*n. Solve -10*o + 8*o + 4*b - 28 = n, -30 = 3*o - 3*b for o.
-6
Suppose -5*a = -3*c - 2*c - 15, 2*a + c = 9. Let p(s) = s**3 + 7*s**2 - 96*s - 12. Let q be p(7). Solve -n + 9 = q*n, a = -2*d + 4*n for d.
4
Suppose -76*h = -79*h - d + 2, -h - 18 = 3*d. Solve 0 = 2*x - 13*n + 9*n, -h*n = -4*x - 5 for x.
-2
Suppose 24*h + 27*h - 348 = -36*h. Solve 0 = w + 8*c - 12*c, -h*c = w for w.
0
Suppose 0*x - 2*x = -5*i + 38, -8*i + 4*x = -64. Solve h + i = 4*o, -3*h - 20 = -o - 24 for h.
2
Let o = 208 + -208. Suppose 5*m + 5*d = 3*d + 4, o = -3*m - 5*d + 10. Solve -2*l - 18 = -3*n, m = l - 3*n + 10 + 5 for l.
-3
Let y = 38491 - 38490. Solve -5*a + y = -w, 30*a - 31*a = -2*w - 2 for w.
-1
Let k be (-102)/(-2) - (-2 - 0). Let x = k - 37. Let c = 7768 + -7760. Solve -4*h = a + x, 3*h = 5*h + c for a.
0
Suppose 56 = -5326*z + 5334*z. Solve d + 3 = 0, 2*l + z*d + 5 = 2*d for l.
5
Suppose -81*k - 25 + 62 = -125. Solve 0 = 2*h - 3*d - 13, -5*d - 20 = -7*h + k*h for h.
-1
Let i = -283 - -288. Suppose -5 = 4*f + 4*y + 7, 0 = i*f - 3*y - 9. Solve -4*u + 2*b = -10, f*b + 2*b = 5*u - 12 for u.
2
Suppose -6*t + t - 5*d = -30, -3*d + 9 = 0. Solve -5*n + i + 8 = 0, -n + i + 1 = -t*n for n.
1
Let s be ((-7)/63)/((-4)/36). Let p = -7 - -9. Solve -g - s = -t, 5*t + p*g + 8 = -1 for t.
-1
Let v = 373 - 368. Suppose 2*b - 2 = 0, -2*a - v*b = 3*a - 75. Solve 4*y + a = -4*h - h, 3*y - h + 1 = 0 for y.
-1
Suppose i - 592 - 394 = -4*t, -5*i + 4987 = t. Let k = 1001 - i. Solve u - 20 = k*m, -3*u + 14 = -1 for m.
-5
Let x(y) = y**2 - y - 1. Let n(u) = -4*u**2 + 20*u + 51. Let l(s) = n(s) + 5*x(s). Let j be l(-4). Solve -k - w + j*w + 4 = 0, -4*w - 18 = -5*k for k.
2
Let c = -4003 + 4007. Solve -c*o - 10*x = -11*x, 4 = -x for o.
-1
Let o be 1938/(-374) + 5 + 3238/22. Solve 149*r - o*r + 5*q - 11 = 0, -q = -3 for r.
-2
Let f be 0 + -15 - (-273 - -40). Solve -2*k - 14 = -3*w, -222*w + k + 17 = -f*w for w.
4
Suppose 3*q - 2*k = 4, k - 2 = q - 3. Let n be (q/6)/((-44)/(-396)). Solve 2*g = 2, -5*l - n*g = -6*l - 4 for l.
-1
Let f(t) = -t - 13. Let m be f(-14). Suppose 1 = 565*u - 562*u - 2*l, -3*l = -4*u. Solve 0 = -h + u*r + 2 - 1, 0 = h - r + m for h.
-2
Suppose -5*a + 5 = -r - 3*a, -5*r + 3*a + 10 = 0. Solve -o = -2*m + 10, 0 = o - 2*m + r*m - 5 for o.
-4
Let q(v) = 9*v**2 + 4*v + 3. Let d be q(-1). Let c be 16/(-14)*-14*2/d. Solve -3*p - 2*i - 20 = -7, c*i - 14 = 2*p for p.
-5
Let w = -102 - -107. Suppose 0 = 2*r - 4*h + 8, -2*r + w*r - 32 = -5*h. Solve q + 4 = -2*o + 9, -3*o = r*q + 5 for q.
-5
Suppose 2*w = -5*r + 45, 3*r + 17 = -3*w + 35. Solve -4*v = -4, r*v - 14*v + 15 = 4*j for j.
3
Suppose 3*l + w + 6 = 0, 4*w + 4 = -2*l - 10. Let f be (9 + -7)*(8/2 - l). Solve -3*n - 5*a - 16 = 0, f = -3*n - 0*a - 2*a for n.
-2
Let o(g) = g**2 + 95*g - 934. Let s be o(9). Solve 0 = -2*c - 4*m + s, 0*m - 5 = -c - 4*m for c.
-3
Let m(w) = 190*w - 1518. Let g be m(8). Solve -14 - 14 = x + 5*l, 2*l = -5*x - g for x.
2
Let n be (4/(-5))/((-5)/((-75)/(-2))). Suppose -3*r - 16 = 11. Let b = r + 11. Solve v = 4*q, -13 = q - n*q - b*v for q.
1
Suppose 2*o - 68 = -2*o. Let x = 34 + -34. Suppose x = -10*m + 11 + 29. Solve 2*p + 3*p = -u + 28, -p - m*u = -o for p.
5
Let m(u) = 114*u - 5241. Let j be m(46). Solve 5*k - 25 = -j*f, -5*k + 20 = -k + 5*f for k.
5
Let o = 971 - 562. Suppose 389 = -5*h + o. Solve -c = 2*c + b + 6, 8 = -h*c - 5*b for c.
-2
Let l = 13 + -11. Suppose 5*q = j - 24, -l*j + 7*j + 2*q - 12 = 0. Solve -2*v - j*u + 13 = 3*v, 4*u = -12 for v.
5
Let p(z) = 2*z**2 - 5*z - 22. Let o be p(5). Solve -5 = -8*g + o*g + 2*u, 2 = 2*g + 2*u for g.
1
Let u = 8159 + -8156. Solve -u*g - 24 = 3*c, 4*c + 35 - 9 = -3*g for c.
-2
Let c(m) = -m**3 + 11*m**2 + 14*m - 30. Let x be c(12). Let p = -23 + 17. Let k = p - x. Solve 5*o + 5 = -2*g, -3*g + 1 = -k*o - o for g.
0
Let y = -24 + 29. Suppose 44 + 1 = y*u. Suppose 0 = 2*m - 0*m - 22. Solve -m = 3*g - b, -b + 4*b - u = g for g.
-3
Let v(y) = -695*y + 2782. Let c be v(4). Solve -3*f + 3 = 0, 2*z - c*f = 4*z + 4 for z.
-3
Suppose 0 = 2*n + c - 15, -17*c + 18 = -3*n - 14*c. Solve -n*f = 5*y + 6, 2*f - 5*y + 10*y = -9 for f.
3
Let y = 127 - 146. Let z be (9 + y)/((-6)/3). Solve 2*h + 5*r - 28 = 0, z*r - 24 - 16 = -5*h for h.
4
Let p be (3146/208 - 14)/(3/16). Solve p*h - 2*h + 3*t = -19, -2*h - 5*t = 27 for h.
-1
Let w be 14/4*4/7. Let d(l) = -4*l**2 + 83*l + 40. Let g be d(21). Solve 3*p - 5*m - 22 = w*p, 5*m + g = 2*p for p.
-3
Let z = -84 + 50. Let q = z - -39. Suppose u + q = 5*b - 16, 24 = u + 4*b. Solve 2*k - 2 = 4*a + a, 12 = -k - u*a for k.
-4
Let u be 3/8 + 650/400. Suppose 36 - 32 = u*q. Solve -2 = -y, y = -q*f - 4*y + 2 for f.
-4
Let c(y) = y**3 - 49*y**2 + 98*y - 173. Let h be c(47). Solve -8*s - 2*q = -6*s, -2*s - 5*q = h for s.
5
Suppose -118*o + 121*o - 96 = 0. Solve -5*p - 3*c = 33 + 1, -4*c - o = 4*p for p.
-5
Suppose 0 = f - 6*f + 25. Suppose 66 = 2*n + d - 3*d, f*d - 131 = -3*n. Let s = n - 22. Solve -4*c + k = -22, s = 2*c - 3*k - 1 for c.
5
Let j(v) = v**3 - 20*v**2 + 98*v - 6. Let w be j(12). Solve -4*a - m + 4 = 0, -4*m - w = a + m for a.
2
Suppose 279 = j - 3*d + 48, -j = -d - 231. Let z = -228 + j. Solve 2*x - 4*x - 14 = -m, x = z*m - 17 for x.
-5
Suppose -r = 43*z - 42*z - 21, 2*z + 70 = 2*r. Solve 2*u - 30*i + r*i - 14 = 0, -2*u + 4*i = -24 for u.
2
Let v be 12/(-6)*(-7 + 0 + 5). Let u be 0 + 0 - -4 - 1. Let 