 2*v + f*c = -23 for v.
-3
Suppose 2*a - 2*i = -253 + 25, -3*a - 5*i - 350 = 0. Let y be ((-4)/10)/(23/a). Let h(b) = 3*b - 9. Let x be h(4). Solve 4*c = x*c - y, 2 = 4*s - 3*c for s.
-1
Let c(i) = -i**3 + 28*i**2 - 21*i - 123. Let m be c(27). Let s be (-8)/2 + (m - 35). Solve 0*w + 2*f = -4*w + 14, s = -w - 2*f + 5 for w.
3
Suppose -80*l = 960 - 1200. Let d be -1*2/(4/(-6)). Solve 0 = -s + l*z - 1, -4 = 4*s - d*z + 9 for s.
-4
Suppose -2*r + 5 = -5. Let v(m) = -m**3 + 37 + 37 - 18 - 39*m - 41*m**2 + 0*m**3. Let y be v(-40). Solve -5*s + 8 = w, -r*w - s + 4*s - y = 0 for w.
-2
Suppose 5*t = 10*l - 12*l - 639, l + 302 = t. Let s = -307 - l. Solve c + 2*m + 9 = s, c - 2*m - 21 = 2*m for c.
1
Let h be 6/4 - (-29)/(-11 - -69). Suppose -6*r + 48 = -10*r. Let j be 44/24 - 2/r. Solve -j*d + h*x = -12, 5*x = -d - 15 + 3 for d.
3
Suppose 212*t - 6064 = -92*t - 288. Solve 0 = n + 5*h - t, -4*n - 2*h - 20 = -24 for n.
-1
Suppose -s + 9 = 2*i, 0 = 5*s - 16*i + 17*i - 45. Solve -3*h + 19 = -b, 4*b - 5*b - s = -h for h.
5
Let j(p) = p**2 + 3*p - 23. Let c = 230 + -226. Let r be j(c). Solve r = 5*i + 5*t, 2*i + 1 - 15 = -5*t for i.
-3
Let h(c) = 2*c - 3. Let q be h(3). Suppose -3*m - 3*y + 33 = 0, y + 16 - 3 = q*m. Suppose -12 = -m*d + 2*d. Solve -5 = p + d*a - 0, p + 4*a = -7 for p.
1
Let h(r) = r + 2. Let z be h(2). Let a be (6 - 16)*((-798)/4)/(-3). Let g be a/57*12/(-14). Solve g = 5*n, 0 = 2*t + 3*n - 6 + z for t.
-2
Let o(q) = 4*q - 36 + 5*q - 14*q. Let n be o(-8). Let g be -2 + (-3)/(-2)*4. Solve -2*w - 18 = 5*t, -g*t + 7*t + n*w + 8 = 0 for t.
-4
Let p = 67 - 63. Suppose -3*j - 13 - 2 = 0, -p*j = -g + 2. Let f = g + 18. Solve -4*m - 31 = 3*q, -2*m - 4*q - 28 = -f*m for m.
-4
Let b(z) = z**2 - 22*z - 23. Let k be b(23). Let l be k + (-4)/(-4) + 2. Solve -q - 6 = h + l*q, -4*h + 16 = -4*q for h.
2
Let c be ((-9)/6)/((3/(-2))/3). Suppose -3*b = -4*o + 28, -3*o + c*b + 11 = -10. Let p = 7 - o. Solve p = 5*f - 2*n + n - 6, 4*n - 16 = 0 for f.
2
Suppose -5*v + 18 = -0*y + 3*y, 4*y + 2*v - 10 = 0. Suppose 4*z - 14 = -2*u, z + y = -u + 4. Solve -37 = 3*o + 5*k, z*o - 4*k + 0 - 4 = 0 for o.
-4
Suppose u - 3*z + 4 = 0, 3*u = 5*z - z - 2. Let i = -55 - -60. Solve 25 = -u*c + i*n, -n - 3 = -6 for c.
-5
Let j be 3/30*14 + (352/(-55))/16. Solve -j = -11*m + 9*m + i, 0 = -m - 3*i - 3 for m.
0
Let o = -85038 + 85041. Let y = 0 + 2. Solve 0 = 4*s - 4*z + 4, -7*s - 13 = -y*s + o*z for s.
-2
Let c = -58 + 62. Suppose o - c*o = 5*o. Solve o = 4*x - n + 17, 0*x + 3*n + 1 = -x for x.
-4
Let k(m) = -2*m**2 + 12*m - 13. Let l be k(4). Suppose -v = -l*u - 3, -4*v = 2*u - 10 - 2. Solve 0 = v*a - 0*a - 3*p, -5*a + 2*p = 0 for a.
0
Suppose -g - 4*t + 0*t + 12 = 0, g + t - 9 = 0. Suppose -5*d = -0*d - x - 10, 3*x - 15 = 0. Solve 3*m = q - g, -q - d = 2*m - 4*q for m.
-3
Suppose 12 = -8*g + 9*g - 2*y, 39 = 4*g - 5*y. Suppose 5*l + s = g*l - 26, -5*s = 3*l - 38. Solve -4*v = -5*x + l, 3*v + 0*v - 3*x + 12 = 0 for v.
1
Suppose 4*y + 21 = 5. Let g be -1*(y + -2) - 3. Suppose -12*a - 331 = -427. Solve v = -4*w - 6, 5*w + a = g*w - 3*v for w.
-1
Suppose 5*c = -0*i + 3*i, 3*c - 2*i + 1 = 0. Suppose 13*p + 9 = 35. Solve -7 = 5*z - s, p*z = c*s - 11 + 3 for z.
-1
Let a = 442 + -425. Suppose -3*y - 4*z = -47, -4*y + a*z + 31 = 16*z. Solve 5*t + i + y = 0, -i + 5 = 4*i for t.
-2
Suppose 12*i + 89 = 125. Solve 2*k + i*t - 4 = 0, 3*t = -3*k - 5 + 8 for k.
-1
Suppose 8*f - 27 = 125. Suppose 62 = 2*j + j - 4*r, -r - f = -j. Solve 4*m - 2*o + 0*o = -j, -3*m - 10 = -o for m.
-3
Suppose 5*b = 3 - 33. Let x(g) = -g**2 - 9*g - 13. Let d be x(b). Suppose d*k - k - 2*j = 80, j = 0. Solve 5*q - 8 = -c + 3*c, k = -5*c + 5*q for c.
-4
Suppose 2*y - 31 = -2*b - 15, -5*b - 3*y = -34. Solve 2*g = -5*a - 16, 3*a + 23 = -a - b*g for a.
-2
Let p(b) = 611*b - 7912. Let a be p(13). Solve 4*m + 2*c + 18 = 0, 2*c + a - 17 = -2*m for m.
-2
Let g(s) = s**3 + 2*s**2 - 124*s + 3. Let h be g(0). Solve -h*y = -2*k - 25, 3*y + 7*k + 23 = 3*k for y.
3
Let u = 655 + -393. Suppose -18 = -5*y + u. Let w = y - 54. Solve -3*m - 4 = 3*p + p, -4*p + w*m + 16 = 0 for p.
2
Suppose 0 = 4*w + 102 - 1186. Let j = w - 252. Solve -s + j = 5*a, 0*a + 2*a - 2*s = 10 for a.
4
Let q be (7 + 102/(-12))*278/(-3). Suppose q = 37*m - 416. Let v = -3 - -9. Solve v*p - 3*p = -c - m, -4*p = -2*c + 20 for c.
0
Let c(y) be the second derivative of -y**4/12 - y**3/3 + 32*y**2 - 5*y - 9. Let x be c(7). Solve n + x = -t + 2*n, 3*n = 0 for t.
-1
Suppose 20 = -4*s + 5*x, -2*s - 15 = -4*x + 1. Solve -5*g + s + 5 = 0, 0 = 3*o + 5*g - 14 for o.
3
Let f(n) = 3*n**2 - 89*n - 14. Let a be f(30). Suppose -2*q = -4*z + a, 5*z - q - 2 = -3*q. Solve p = -z*p + 3*c, -p + 3*c = 0 for p.
0
Let o = 8309 - 8306. Solve -8*f - 7 = -o*f + z, 3*f + 9 = z for f.
-2
Suppose 39 = -107*w + 594 - 20. Solve 3*r - 22 = -5*t, w*t + 128*r - 129*r = 26 for t.
5
Let i = 0 + 5. Let l be (-2)/(-9) - 20/90. Let w be (2/6)/(((-140)/(-300))/7). Solve 8*j = w*d + i*j - 40, l = -4*j - 20 for d.
5
Let m be (-4)/(5 - (-348)/(-60)). Solve m = 2*d + 3*s, -5*d + 2*s - 22 = -6 for d.
-2
Let f be ((-1)/3)/((-2)/60). Suppose -7*m + 62 = -106. Solve 2*c - f = 0, -2*v - 3*c + m = -5*v for v.
-3
Let s be -7 + 1 - -1*4. Let p be ((-1)/s)/((-12)/(-192)). Suppose c - 6*c - 4*z = 2, -p = 2*c + 4*z. Solve 2*n = -c*n - 4*g + 4, 5*g + 10 = -2*n for n.
5
Let i(m) = m**2 - 23*m + 49. Let x be i(21). Suppose x*w = 99 - 8. Solve -3*z + w = -5*z + 5*s, -5*z = -2*s + 22 for z.
-4
Let q(b) = 10*b - 39. Let i be q(-8). Let u = i + 124. Solve 3*k - u*h + 3 = -3*h, 5 = -k + 2*h for k.
1
Suppose -4*w + 931 = 3*l - 1582, 0 = 2*w - 10. Let u = l + -828. Solve -6 = 3*o, -4*x + 4 - 2 = -u*o for x.
-1
Let t be (62 - 9 - -1)*9/(-2). Let w = t - -249. Solve -p + 5*d = -w*p + 15, -4*d = -2*p for p.
2
Suppose 40*k - 290 = -44*k + 26*k. Suppose -j - 3*r - 4 = 2, -2 = 2*j - 4*r. Let c be (0 - 9)/j - 0. Solve 3*x = -5*i + 32, k*x - c*i = -1 + 9 for x.
4
Let i(v) = -v**3 + 15*v**2 - 13*v - 16. Let x be i(14). Let g be (20/4 + x)/1. Suppose 2*d = d + g. Solve -3*o - d*n - 31 = o, 18 = -2*o - 2*n for o.
-4
Suppose n = 3*y - 11, 4*n - 2*y = -6*y + 20. Suppose 3*k + n = 6*h - 8*h, 2*h - k - 11 = 0. Solve h*t - 28 = -4*u, -2*t - 2*t = -8 for u.
5
Suppose 3*w + 5*f - 7*f - 37 = 0, -25 = -5*w - 4*f. Suppose -w*z + 19 - 1 = 0. Solve m - z*x - 6 = 0, 4*x - 2*x + 14 = 3*m for m.
4
Suppose -260*p + 79 = -1481. Suppose 13 = -4*q + 4*b + 5, 5*b = 20. Solve 0 = l - q*y + 7, -2*y + p*y = 20 for l.
3
Let r = 2509 + -2499. Solve -2*j = -2*b - 9 + 23, -4*b - 5*j = -r for b.
5
Suppose -307*s + 280 = -1259 + 4. Solve 0 = s*d - 5, -5*k - 7*d - 30 = -12*d for k.
-5
Let z be 2/3*9/2. Suppose -z*i - 4 = -16. Suppose i*f + 10 = -2*g, 0*f = -2*f - 3*g - 15. Solve -5*r - 2*a = -4, f = 5*r - 4*a + 8*a + 2 for r.
2
Let w be 861/369 - 8/(-3). Solve 5*m - 28 = 4*r - 3*r, w*r - 4*m = -35 for r.
-3
Let b = 464 - 479. Let q be -1 - b - (4 - (4 - 3)). Solve -3*s = 2*s - v - q, -5*s + 19 = v for s.
3
Let q = 167 + -135. Suppose 0 = -g, -q*g + 31*g - 6 = -3*t. Solve -4*v - 3 = -b + 12, -t*b - 6 = v for b.
-1
Let d(o) = 2*o**2 - 6*o + 76. Let n be d(10). Let j = -210 + n. Solve 0 = -4*c + 3*q - 14, 2*c = j*c + q + 22 for c.
-5
Suppose 164*g - 41*g = 615. Solve -5*v - 24 = -3*h, -g*h + 3*v - 5*v + 9 = 0 for h.
3
Suppose 0 = 15*s - 10*s - 30. Suppose s*g = -0*g. Solve 2*i = 5*t + 7, 2*i - 3*t - 9 + 4 = g for i.
1
Suppose 2*h + 2*s - s + 8 = 0, s = 3*h + 2. Let q be 16/h*(3 + 5/(-2)). Let p = q + 6. Solve -p = 2*i, 5*l - 4*i = i for l.
-1
Suppose j - 3*x - 29 = 2*x, 2*x = -10. Solve j*s = -4*t - 8, -60*t + 4 = -65*t - 3*s for t.
1
Suppose -5*c - 3*k + 13 = 0, 0 = -3*c + 16*k - 17*k + 7. Solve q + 9 = -2*n - 2, 5 = -c*n + 5*q for n.
-5
Let t = 5724 - 5719. Solve -n = -3*a - t, 89 = a - 3*n + 104 for a.
0
Let k be ((-11)/(-4))/(((-56)/32)/(-7)). Let y = 15 - k. Suppose -4*n + 2 + 2 = -y*q, -3*q - 3*n = -27. Solve -4*b - 2*z - z = 8, q = -2*b - 3*z for b.
-2
Suppose 3*d = -4*l + 3, -d - 707 + 704 = 0. Solve 2*h + 2*r - 6 = 0, -l*h + 54 = -3*r + 69 for h.
-1
Let z = -6165 - -6169. Solve 5*b - 4*o = -5, -8*b = -6*b + z*o + 30 for b.
-5
Suppose 135*f - 62 - 10 = 198. Suppose 2*z = 2*d - 6*d + 22, -z = 3*d - 15. Suppose 0 = -d*v - 0*v + 12. Solve -4*t = 2*o - f, 3*o + 2*t