4. Solve d = 10*p - 11*p - 5, y*p = 3*d - 13 for d.
-1
Let r = 4734 - 4731. Suppose -2*m + 0*m = -4. Solve m*x = -r*k - 4, -3*x + 1 = 2*k - 3 for k.
-4
Let u = 3407 - 3398. Solve -10 = -n - 5*t, -11*n + 4*t = -u*n + 22 for n.
-5
Let i = 74 - 72. Suppose -14 + i = 3*c. Let f(s) = 8*s + 36. Let o be f(c). Solve 18 = -3*y - o*t, 3*y - 5*t - 19 = 5*y for y.
-2
Suppose 0 = -7*i - 35 - 0. Let w be i*((-1)/(-5)*-3 - 2). Let n(c) = 3*c - 23. Let j be n(w). Solve 4*l = -3*r - 31 + 8, -j = -4*r + 4*l for r.
-1
Suppose 1241*o = 1240*o. Solve -1 = 4*w - 5*w, o = 5*q + 3*w - 13 for q.
2
Suppose 57264 = 38*l + 10*l. Suppose -1192*z = -l*z + 4. Solve -5*g + k - 15 = 0, k + 15 = -g - z*g for g.
-3
Let g be 28 + -32 - (-1 - 63). Suppose 64*w - g*w - 4 = 0. Solve -4*s = -5*n - 13, -2*n + 4*s + w = -1 for n.
-5
Let l be (-6 + 4)*1*(-15)/2. Suppose 0 = 14*u - 27 - l. Solve 2*s + 1 = -z + u, -s = 3*z - 11 for z.
4
Let r(l) = -8 + 49*l - 1 - 10*l - 20*l - 5*l. Let o be r(1). Solve -5*j = -5*p, 4*p - o*j = 2*p for p.
0
Let v(s) = 4*s - 53. Let b be v(14). Suppose 7 = b*w - 5. Solve 4*n + 0 + 4 = w*y, 5 = -5*n - 5*y for n.
-1
Suppose -j + 30 = 2*n, 33*n - 35*n = -5*j + 6. Solve 3*v - 9 = -g, -4*v + g + 0 + n = 0 for v.
3
Suppose 184*j + 295*j - 1689 = 227. Solve -3*x = -0*x - 2*u - 1, -j*x - 2*u + 20 = 0 for x.
3
Let u(b) = -15*b - 6. Let s(k) = -k**2 - 1. Let q(r) = 3*s(r) + u(r). Let f be q(-4). Solve f*v - 2*l = 1, 5*v - 6 = 3*v - 4*l for v.
1
Suppose o - 4*i - 175 = 366, 3*o + 3*i = 1698. Suppose -556 = b - o. Solve 8 = 4*v + u - 12, -5*v + 25 = b*u for v.
5
Let n be ((-36)/(-42))/((-75)/(-350)). Solve n*s - 3*r - 8 = 0, 13 = 5*s - 2*r - 4 for s.
5
Suppose 10*w - 286 = -50*w - 46. Solve 8*p = 11*p - 4*f + w, -5*f = -5 for p.
0
Let k = 20 + -14. Let r = 2360 - 2357. Solve k = -3*g - 3*i, -5*i - 4 = r*g - 0*g for g.
-3
Let h be (24/64)/(2/16). Suppose -8 = -f - 2*s, 6 = 3*f - 0*s - h*s. Solve 3*r = x - 3*x - 5, f = -2*r - 2*x for r.
-1
Suppose 0 = 48*j - 60*j + 24. Solve 3*t - 1 = 5*i, -t = j*i - 7*i - 7 for t.
-3
Suppose -5*b = -2*s - 0*b - 1, 4 = 4*b. Suppose -w - s*r - r = 3, -r = 2*w - 14. Solve 2*c + 1 = 3*a + 4*c, 3*c + w = -a for a.
3
Let m(j) = j**3 - 3*j**2 - j + 4. Let r be m(3). Let v = -2287 - -2280. Let b be v/(-14)*r*10. Solve -2*l - 2*p = -2, -4*p + 0*p = b*l for l.
-4
Let n = 223 - 390. Let b = n + 170. Solve a = -b*k + 13, -a - 4 = 4*k - 20 for a.
4
Let b(a) = -a + 7*a**2 + 24*a**3 + 1 - 1 - 2 - 23*a**3. Let u be b(-5). Let v = -51 + u. Solve -v*t - s + 0*s + 3 = 0, -4*s - 24 = -t for t.
4
Let r be (20/4 - 6) + -2. Let o be (-4)/(-12)*r - -3. Solve 4*g - 3 + 13 = 2*y, -5*y - 23 = o*g for y.
-3
Suppose 301*h = -134*h + 2175. Solve 160 = 4*r + 3*l + 120, 40 = h*l for r.
4
Let o = -33625 - -33625. Solve -3*g - 5*j = -o*j - 16, -j - 1 = 2*g for g.
-3
Suppose -26*t + 38*t - 12 = 0. Solve -3*b + 8 = -5*n, 2*b + 0*n + t = -3*n for b.
1
Let p be (-4)/(-6)*22971/(-62). Let x = p + 247. Solve 0 = -3*c + 5*q + 6, 0 = -3*c - 5*q - x + 6 for c.
2
Suppose -174*x + 381 = -663. Solve -10*j + x*j = 2*b - 24, -3*j = -2*b - 4 for j.
4
Let z = -2293 + 2307. Solve l - z = 4*o, 5*o + 4*l - 93 = -100 for o.
-3
Let x(d) = -d**3 - 6*d**2 + 8*d - 17. Let c = -53 + 45. Let q be x(c). Let a = 49 - q. Solve -7 = -m + g - 2*g, -4*m + 4 = -a*g for m.
3
Let t(b) = -103*b - 1016. Let s be t(-10). Solve -2*o + 6*o + s = -3*r, 4*o + 8 = 0 for r.
-2
Let k(s) = 11*s**2 - s + 18. Let f be k(0). Solve -16*v + 14*v = d - 9, 4*d = v + f for d.
5
Let u = -75 + 87. Suppose 0 = u*d + 9 - 45. Solve v + 3*t = 14, -4*v = t - d + 2 for v.
-1
Let u = -263 + 265. Suppose 0 = -u*n - p + 7, -59*p - 11 = -3*n - 61*p. Let y = -5 - -8. Solve -n*i - 2 = -3*x - i, -26 = y*x + 5*i for x.
-2
Let m(h) = 6*h**2 + h + 2. Suppose -2*y + 8 = -6*y. Let x be m(y). Let b = x - 21. Solve 0*j - 3*s = -j + 13, 4*j + 23 = -b*s for j.
-2
Suppose 3*m - 18*m = -45. Suppose 7*o = -2*i + m*o + 34, 0 = -5*i + 5*o + 40. Suppose -7*z - 20 = -i*z. Solve 0 = 3*w + 4*n - 1, -z = 2*w - 5*n + 2*n for w.
-1
Let m(g) = -2*g**2 + 231*g - 603. Let q be m(112). Solve -2*o - 2 = -5*n, -q*n + 185*n = 3*o + 3 for n.
0
Suppose r - 30 = 5*m, -9 = -5*r + 5*m + 41. Let b be (-10)/(-15) - 28/(-12). Let n be 2/6 - (-33)/9. Solve r*s - 12 = n*q, -3*q - q - 12 = -b*s for s.
0
Suppose -3*n - 32 = 2*m, 5*n + m = 7*n + 19. Let j be (0 - n) + (-13 - -7). Solve -d + 2 = -j*d - s, -s = -3*d - 10 for d.
-2
Let r = -16 - -24. Suppose 30*g - 150 = 5*g. Suppose r*h = 5*h + g. Solve 0 = j + m + 4, 21 = h*j - 4*m - 1 for j.
1
Suppose 464 = 56*r - 40. Solve x = 5*d + 1, 2*d + 3*x + 23 = r for d.
-1
Let m = 20318 + -20312. Solve 40*h = 42*h - 4*a + m, 0 = 5*h + 4*a - 27 for h.
3
Suppose -253 = 30*u - 34*u + 5*r, -5*r + 107 = u. Solve q = -3*s + 3, -3*q + 74*s = u*s + 13 for q.
-3
Let x(z) = -2*z**2 - 9*z - 15. Let i be x(-9). Let d = i + 100. Solve -7 - 15 = 4*y - 2*g, d*y + g = -19 for y.
-5
Let v(h) = 2*h - 8. Let o be v(0). Let u be o + 6/3 - -3. Let q be ((-1)/u)/(2/12). Solve 0*n + 4 = -3*l + 2*n, -3*l = q*n - 16 for l.
2
Let v(m) = m**2 - m - 1. Let h be v(3). Let l(t) = -34*t - 72. Let z be l(-12). Suppose 0 = 6*x + 318 - z. Solve -g + 1 = -h*y, x = -4*y + 3*g + 11 for y.
-1
Suppose -5*r - 27 = -12. Let g be r/(((-30)/(-74))/(-5)). Let i = 39 - g. Solve 2*m + 4 = i*n + n, -n = -3*m + 8 for m.
4
Let z = -27 + 22. Suppose -56*a + 51*a - 10 = 0. Let c be a/2 - (2 + z). Solve 2*o = -2, -o = c*w + 4*o + 1 for w.
2
Let j be (1 - -3)*507/(-12). Let w = j + 194. Solve 0 = v + 2*z + z + 7, -5*v - w = 5*z for v.
-4
Let q be 1 - (1 + (-2)/4*8). Solve 11*y - 15*y = v, 0 = q*y + 4*v for y.
0
Suppose 134*n + 143 = 147*n. Suppose -26*c = -n*c - 210. Solve -4*a + 0*a = y - c, -3*a + 11 = y for y.
2
Let x(b) be the first derivative of -3*b**2/2 - 28*b - 87. Let l be x(-10). Solve 2*c = 2*a, a + 3*a = l*c + 10 for c.
5
Suppose 2*m - 20 = 2*z - 5*z, 50 = 5*m - 4*z. Suppose 0 + 0 = u. Suppose -2*c + m + 12 = u. Solve 2*v = -0*n + n + c, -n - 14 = -3*v for v.
3
Suppose -b = 4*b + 3*y - 25, 4*b - 5*y = 20. Suppose 5*m + 105 = 6*m. Let x = -103 + m. Solve 0 = -4*z - t - 7 - x, -b*t - 1 = -2*z for z.
-2
Let t(x) = -x**2 - 5*x - 2. Let a be t(-4). Let h = -252 + 347. Suppose -h*v = -107*v + 36. Solve -2*k + 7*k = a*w + 15, k - v = -w for w.
0
Suppose 3*w + 5*n - 8 = 0, 6*n - 18 = -4*w + 3*n. Suppose -11 = -w*c - 5. Solve 13 = -2*l + f, 0*l - l - f = -c for l.
-4
Let f(w) = w**2 - 12*w + 34. Let l(t) = 20*t - 176. Let o be l(9). Let n be f(o). Solve 0 = -q + 3*q - 5*r - 10, q = n*r + 4 for q.
0
Let d(h) = -h**3 + 47*h**2 + h - 42. Suppose 6*a - 8*a - 3*c + 88 = 0, -5*c = -3*a + 151. Let k be d(a). Solve k*g + 9 = 3*i - 5*i, -5*i = -2*g + 8 for g.
-1
Let a be (-4)/2*(-5)/2. Let y = -26349 - -26349. Solve -5*z - 10 = y, -12 = -a*n + 2*z + 2 for n.
2
Suppose -42 = -k + 5*x, 0 = -2*k + 4*x - 214 + 256. Solve -k = -3*m + 2*a, -2*a - 6 = a for m.
1
Suppose 14*f - 9*f = 3*o - 19, 0 = 2*o - 2*f - 10. Solve -2*d + 5*d = -o*y - 27, 5*y = 3*d - 13 for d.
-4
Suppose -2*c + 276 = -6*c. Let k = c + 71. Suppose 23*a = 24*a - k. Solve -n - n - q - a = 0, 2*n + 3*q - 6 = 0 for n.
-3
Let b = -16656 + 16661. Solve -2*t - 2 = b*z, 4*z = -3*t - 1 + 5 for z.
-2
Let g be -1 + 8 + -7 + 475. Suppose 53*x - g = 34*x. Solve -3*a - 2*p = 14 + 2, -3*p - x = 5*a for a.
-2
Let t be (-15)/(-20) - 319/(-44). Solve 2*i + 4*d = 6*i + t, 2*i - 11 = -d for i.
3
Suppose -4*x - 3 = -11. Suppose x*f - 60 = 5*f. Let h = -16 - f. Solve h*c = -5*i + 21, -i + 25 = 4*i + 5*c for i.
1
Let t(a) = a**2 + 100*a + 2109. Let c be t(-70). Solve -3*w + c - 17 = -5*f, -4*w - 32 = 4*f for w.
-6
Let j be (-36)/(-16)*4*(-4 - -5). Solve 2*q + 7 = -s, 3*s + j = -3*q - 3 for s.
-1
Suppose 2140 = 69*w - 59*w. Suppose -218*z = -w*z - 8. Solve 5*u + 4*j = -8, -3*u - 6 = j + z*j for u.
0
Let y(u) = -225*u + 14. Let h be y(1). Let j = -205 - h. Solve -2*n - 4 = -2*v - 7*n, 0 = -3*v - 3*n + j for v.
2
Suppose 992*l + 8*w - 16 = 995*l, 2*l = w + 11. Solve -l = -t + 3*a, -5 = -t + 4*a + 4 for t.
5
Let h(i) = -i - 13. Let p be h(-13). Suppose -4*d + 9*d - 50 = -5*a, a - 10 = -3*d. Suppose 8 = -6*w + a*w. Solve p*u = -w*u - 3*c - 6, 4*u = c + 2 for u.
0
Suppose -5*o - 30 = -4*b, 0*b = -4*o + 3*b - 25. Let z be (-4)/o - 12/30. Suppose -10*c = 