4. Let c = h + 178. Solve -3*t + 2*d + 4 = 6, -c = -t + 2*d for t.
-2
Let v(f) = 6*f**2 + f. Let w = -11 + 72. Suppose -62*x = -w*x - 1. Let j be v(x). Solve -3*s + j = 2*a, -3*s + a + 23 = -a for s.
5
Suppose 4*h + 2*s + 39 - 105 = 0, 2*s - 2 = 0. Solve 0 = k - 5*f - h - 9, -12 = -4*k - 2*f for k.
5
Let m be (-3*16/10)/(5/(-125)). Suppose 3*a + 2*a = m. Solve 5*p - 3*g + 28 = g, 5*p = 2*g - a for p.
-4
Let w be 2/12*2 + 110/30. Suppose -16 = -w*x - 0. Suppose 2*i + 2*p = -x, -3*i - 5*p = -6*i + 26. Solve -2*c = 5*h - 7, i*c - 3*c + 11 = 5*h for c.
-4
Let p(h) = h**2 + 6*h - 444. Let w be p(0). Let g = 474 + w. Suppose 2*d + 4*o - 40 = -10, 3*d = 2*o + 5. Solve 0 = 5*x + 2*b + 2, -6*b + g = -d*x - b for x.
-2
Let m = 162 - 125. Let x = -37 + m. Let g be (-3 - -1) + -2 + 9. Solve 3*n + l - g = x, 2*n - 3*l - 19 = -1 for n.
3
Suppose 44 = 4*z + 236. Let k = -50 - z. Let c be (k - -1)/(3 - 2)*-5. Solve 4*m + 0*o - 5*o + 41 = 0, -4*o + 40 = -c*m for m.
-4
Suppose 0 = 7*v - 23*v + 128. Suppose -17*x + 36 = -v*x. Solve 0 = 2*n - o + 14, -x*n = -n + 2*o + 7 for n.
-5
Let r = -27 - -31. Let t(q) = -5*q + 25. Let w be t(r). Suppose 0 = 5*d + w*b - 43 + 13, -3*b = -3. Solve -d*l = 4*k + 41, -4*k + 0*k - 6 = -2*l for l.
-5
Suppose -277*m - 113*m + 1508 = -13*m. Let f be 6/4*8/3. Solve 4*a + 0*a = -f*o + 8, m*a - 2 = 2*o for a.
1
Let b = -19 - -45. Suppose 39 = 5*n - b. Suppose m + 0 - 5 = 0. Solve 0 = -3*j + 5*j - m*s + n, 0 = -2*j - 5*s - 3 for j.
-4
Let k = -24917 - -24921. Solve 24*m - 27*m + 12 = -3*i, -5*i - k = 3*m for i.
-2
Let b(r) = 2*r**3 + 38*r**2 + 65*r - 1. Let h be b(-2). Solve 5*c + 5 = 5*y, h*c + 0*y = -5*y - 5 for c.
-1
Let d = -45 + 74. Let a = 33 - d. Suppose -10 = -8*r + 6*r. Solve -a*t - 3*f + r = 4, -4*f = 3*t + 1 for t.
1
Let g be 36/(-42) - (-22167)/63. Suppose g - 321 = 6*c. Solve 4*d + 1 = -m + 2*m, -2*d - 23 = -c*m for d.
1
Suppose 12*v - 3*v - 36 = 0. Suppose 5*x + 25 = 2*b, -b + 3*x = v*b - 72. Solve 0 = d + 5, -t + 3*d + b = -d for t.
-5
Suppose -365 = -113*q + 108*q. Suppose q = 2*a + 4*f + 21, -84 = -3*a - 4*f. Solve -5*k + n + 3 = a, 0 = 4*k - 5*n + 40 for k.
-5
Suppose j - 248 + 33 = 0. Suppose 2*g - j - 36 = -5*i, 3*i - 161 = 4*g. Let b = 53 - i. Solve -4*q - 3*s + 0*s = 7, -b*s - 6 = 2*q for q.
2
Let q = 22314 - 22314. Solve 5*r - 3*f - 1 = q, 4*r = -f - 389 + 366 for r.
-4
Let b be 20*(-1)/(-4) + 2/(-1). Suppose 7*s - 209 + 83 = 0. Suppose 73 = s*c + 1. Solve -2*j = b*r - 3*j + 10, 2*r = c*j for r.
-4
Let d(g) = -7*g - 5*g + 16*g + 5 - g. Let f be d(0). Suppose 9*i = 10*i - f. Solve i*q - 1 = -2*o, -2*o + 5*q = q - 10 for o.
3
Let x = 5694 - 5693. Solve -x - 22 = 2*f + 5*r, 5*f = -7*r - 41 for f.
-4
Let y(i) = i**2 + 16*i - 462. Let o be y(-31). Suppose 9 + 1 = 5*f, 3*z = f - 11. Let d be (2/6)/(z/(-45)). Solve 2*v = -2*l + 3*l + 2, o = -d*l + 3*v for l.
0
Suppose 2*j + 91 = 4*r + 87, 3*j - 34 = -2*r. Solve -4 = -2*k, 7*k + 2 = -j*o + 12*k for o.
1
Let g(o) = 22*o - 11 + 33*o - 72*o + o**2. Let v = 28 + -10. Let i be g(v). Solve -3*a = -k - i - 3, -5*k + 5*a - 10 = 0 for k.
2
Let a = 2858 + -2856. Suppose -2 + 8 = 3*n. Suppose -n*p = -9 + 3. Solve a*r + 12 = 5*r, -p*r = f - 11 for f.
-1
Suppose -4*j = 23 - 91. Suppose 3*s - j = -2*n + 3, 2*n - 12 = -5*s. Suppose 19*d - n = 15*d. Solve -2*b + 11 = -3*h, h - 12 = 5*h - d*b for h.
-5
Let u = -599 - -355. Let r = -240 - u. Solve 0 = 2*h - 3*z, 2*h + 7*z - r*z = 0 for h.
0
Let g be ((-6)/33)/((-12)/924). Solve 36 = 4*v + 44, -5*a = 2*v + g for a.
-2
Let g(o) = o**3 - 42*o**2 - 344*o + 52. Let h be g(49). Solve -4*d + 21 = b, -h*d + 0*d = -b - 14 for d.
5
Let i(f) = -2*f**2 - 33*f + 25. Let l be i(-17). Suppose -5*y - 18 = -n, -n = -2*y - l - 1. Solve 1 = r + 2*o, -2*o = 3*r - n + 8 for r.
-3
Let t = -133 + 170. Suppose -3*r - p + 29 = -3*p, -3*r + t = -4*p. Solve 3*c + 0*g = 2*g + r, 2*g = -10 for c.
-1
Let p = -2235 - -2244. Solve 3*g + 20 = -b, -4*g + p - 40 = -3*b for b.
1
Suppose 586 = -29*s + 731. Solve 6*t + 4 = 5*t + s*z, 2*t - 2*z = 0 for t.
1
Let x = -89 - -90. Let f be 4 - 0 - (1 - x - 2). Solve -n = -5*y - 10 - 1, -4*n = 5*y + f for n.
1
Let r(m) = m**2 + 39*m - 88. Let k be r(-40). Let z be 4/(-32) - 294/k. Suppose x + 7 = 3*x - c, -x - 4*c = -17. Solve 18 = x*y + u, 5*y - u - z = 2*u for y.
3
Let l be (-59)/(-4) - (-1)/4. Let r = -12 + l. Suppose -4*n + 14 = r*y, -n - 5*y = -2*n + 15. Solve n*u - 4*w = -41, -4*w + 23 - 7 = 0 for u.
-5
Suppose -4*q + 3*k + 877 = 0, q = 2*q - k - 220. Solve -3*n + q*u = 215*u, n - 5*u = 13 for n.
-2
Let x(s) = -4*s**2 + 3*s**2 - 30 + 30 + s - s**3. Let j be x(0). Suppose j*d + 8 = -2*o + 4*d, -8 = -o - 2*d. Solve -4*z + 2*c + o*c = 16, -4*c = 4*z for z.
-2
Suppose 37*k - 1428 = 44*k. Let l = k + 210. Suppose c = 5*h - 3 - 13, -h - 8 = -3*c. Solve -u + 3*u - c*z - 4 = 0, -3*u = 2*z - l for u.
2
Suppose -1138*r = -1110*r - 84. Solve -r*m + t = 9, 2*m - 2*t + 7 - 1 = 0 for m.
-3
Suppose 491*z + 72 = 499*z. Let r be 2*(z - 3) - 7. Solve 0 = -3*m + 2*b + 5, -r*b = m - 47 + 17 for m.
5
Suppose 289 = -13*m + 328. Suppose -3 = -m*t + 3*r, 4*r - 5*r + 3 = 3*t. Solve -5*f + 3*s + 7 = 0, 5 = 4*s + t for f.
2
Let t = -21126 + 21275. Solve t*q - 154*q - 4*p = 0, 3*q = -p + 7 for q.
4
Let q = 3338 + -3334. Solve 0 = -2*y + 4, -3*y + q*y - 22 = 5*f for f.
-4
Suppose 4*i + 9*i = -36*i + 196. Solve 3*c + 15 = -2*t, -i*c - 5*t - 20 = -3*t for c.
-5
Let s be -15 + 423/27 - (-8)/6. Solve -s*r + 5*a - 4 = 0, r - 2*a + 30 = 29 for r.
3
Let c = -4 - -6. Let y be 3/9 - c/6. Suppose -i = 4*k - 4 - 0, 0 = 5*i - 5*k - 20. Solve v + w = y, 0 = -i*v - 4*w + 6*w for v.
0
Let m be (6/(-39))/(4 - (-53)/(-13)). Solve 2*z + 1 = -3*o + 3*z, 0 = -o + m*z - 7 for o.
1
Let a = -297 - -307. Suppose a*w = 19*w. Solve 3*y = -2*n - 4, w = -3*n + 2*y + 2*y + 11 for n.
1
Suppose 672 = 29*f + 31*f - 12*f. Solve 2*k = -4*w + f, -9*k + 8*k = -2*w - 3 for w.
1
Suppose 0*r = 3*r - 5*l - 38, -r = -l - 10. Suppose 3*n - 17 = d + r, 85 = -5*d + 5*n. Let c be 62/4 - 21/d. Solve 3*a - 34 = -5*v, -10 = -4*a - 3*v + c for a.
3
Suppose -3*d + 24 = 3*w, -10*w + 14 = -6*w - 5*d. Let k(m) = m**2 - 18*m + 75. Let c be k(w). Solve 2*i + 19 = 3*i + c*p, -3*i = 2*p - 22 for i.
4
Let n = 47 - 39. Suppose -n*q + 2*q + 378 = 0. Let c = q - 61. Solve -c*y - 6 = 2*o + 2*y, 0 = 4*o + 5*y + 3 for o.
3
Let p(y) = y + 12. Let r be p(-3). Let u be (3/r)/(4/60). Suppose -q = u*q - 12. Solve -j + k = j - 3, -5*j - q*k - 15 = 0 for j.
-1
Let g be 10 + (2 - 0) + -7. Let z be (-4)/10 + (-108)/(-20). Solve -z*q - 17 = 3*d - 7, g*d = -q + 20 for q.
-5
Let i be (-3)/(3 - ((-294)/(-32) + -6)). Let y = 1 + 2. Solve -4*w = -4, y*g + 2*w - i - 1 = 0 for g.
5
Suppose 130*t - 25*t - 315 = 0. Solve -39*k = -40*k - 2*y + 1, -t*y = 4*k + 11 for k.
-5
Suppose -1065*d + 1053*d = -36. Solve 3*q - d*w = 12, -10*w - 5 = -15*w for q.
5
Suppose -10*a + 27*a - 340 = 0. Suppose -a*k + 23*k - 12 = 0. Solve -f - 10 = 6*i - 4*i, -24 = 3*f + k*i for f.
-4
Let y(g) = 7*g**2 - 177*g + 62. Let b be y(25). Suppose 2 = 13*r - b*r. Solve 16 = -4*v + 4*k, v + 3*k - r = 2 for v.
-2
Let m = -8819 + 9129. Solve 4*j + 5*x + m = 345, 0 = -4*j - 3*x + 29 for j.
5
Let v(u) = -u**2 - 24*u - 124. Let l be v(-7). Let n be (18/l + 2)/(46/(-115)). Solve 2*j = -n*s + 8, -2 = -2*s + 6 for j.
-4
Let a be ((-28)/40)/(83/(-830)). Solve j - 25 = -a*r, 22 = -3*j + 5*r + 19 for j.
4
Suppose 0 = -g - 6 + 15. Let n be (12/8)/(g/24). Let t(q) = -2*q**2 - 9*q. Let u be t(-4). Solve 0 = h + n, -u*c + 0*h = 2*h + 20 for c.
-3
Let u = 14478 + -14471. Solve -l - s = 4 - 3, 0 = l - s - u for l.
3
Let z(q) = 57*q - 789. Let l be z(14). Solve -11*j - k - l = -10*j, -j - 17 = 3*k for j.
-5
Suppose 2*m - 30 = -22. Suppose 6*j - m*j - 4 = 0. Solve -j*q = 4*l + 2 + 4, 4*l = 0 for q.
-3
Let j = -6951 - -6953. Solve 16 = -z + 5*z, j*g - 5*z + 16 = 0 for g.
2
Suppose -694*p - 1312*p + 7809 + 2221 = 0. Suppose 5 = d - 0. Solve 0 = p*w - 10, -w - 14 = -2*f - d*w for f.
3
Let s(v) = v**3 - 3*v**2 - 2*v - 5. Let x be s(4). Suppose -l + k - 2825 = -2870, -4*l + 216 = -8*k. Solve 8*a - x*a - 8 = -3*h, -5*a = -4*h - l for a.
4
Let k = 34765 + -34727. Solve -2 = -2*z + 3*w + 6, 0 = -11*z - 4*w - k for z.
-2
Let t = -2773 + 2777. Solve -21 = -3*g + t*k - 24, 1 = -g + 4*k for g.
