4 + -19. Suppose 3*t + 160 = -q*t. Let j be (15/t)/((-4)/16). Solve -3*s = j*k + 9, 2*s = 2*k - 1 - 1 for k.
-1
Let g(x) = x**3 - 4*x**2 + 5*x. Suppose -w = 3*p + 4, 2*w + 8 - 4 = -4*p. Suppose w = -d + 2*d. Let u be g(d). Solve 3*q = -15, -2*j - u = -5*q - 19 for j.
-4
Suppose 0 = 3*s - 2*s - 22. Let j(x) = -607*x + 5468. Let b be j(9). Solve -s = 5*z - c, b*z + 10 = 2*c + 3*c for z.
-5
Let o = -70 + 70. Suppose -2*i + 3*c - 36 = -o*i, -2*c = 4. Let t(r) = r + 21. Let x be t(i). Solve 3*h = u - x*h - 13, 5*h + 15 = 0 for u.
4
Suppose 923 - 537 = 245*o - 594. Solve -o*p + 1 = 9, -5*z - 5*p = 0 for z.
2
Let h be (-5)/30 - (3 + 5/((-90)/93)). Solve h*d - 5*d - 24 = -5*k, -4*d = 12 for k.
3
Let p be ((-712)/56 - -13)*7. Solve 4*j - 4*f + 2 = -3*f, -p*j = -5*f + 10 for j.
0
Let o be (14/(-4))/((-41)/(-1230)). Let g be (-70)/o - ((-16)/(-6))/(-2). Solve u = 5*a - 2*u + 15, g*a = 3*u - 15 for a.
0
Let p(t) = -t**3 + 13*t**2 + 73*t - 926. Let j be p(12). Solve j*h - 12 = 93*h + 5*w, -4*h + 16 = -4*w for h.
2
Suppose 77*n + 14*n - 948 = -67*n. Solve -l = 4*a - 23, 4*a = 8*l - n*l + 14 for a.
5
Let b be 20/(-11) - -2 - (-11960)/286. Let w = b - 39. Suppose 4 = w*z - 2. Solve 2*a + z*a + 4*v = 36, 4*a - 2*v - 12 = 0 for a.
5
Let j be (-2)/(-3) + -8*22/(-24). Let k be (1 - 12*-1)/1. Suppose -k = -g - j. Solve -5*c + o + 9 = 0, -g*c = -4*c - 3*o + 1 for c.
2
Let w be -20 + -12*5/(-10). Let v(d) = d**2 + 14*d + 5. Let k be v(w). Solve 3*g = k*p + 27, 7*p - 2*p - g + 19 = 0 for p.
-3
Let u = 113 + -125. Let c be (-12)/(-2)*u/(-18). Suppose c*o = -3*d + 24, 1 = o - 6*o + 4*d. Solve 4*p + 9 = -4*z + 1, -2*z = o*p + 1 for p.
3
Let o(d) = -3*d + 5. Let g be o(-5). Let k be 44/g - 2/10. Let s(a) = -102*a + 2350. Let i be s(23). Solve -i*n - n = -v, 0 = -n + k*v for n.
0
Let f be ((-57)/6 - (-5)/(-1))*2. Let d = f - -32. Solve -m - 2*t = -7*t + 21, -5*t = -d*m - 23 for m.
-1
Suppose 40*j - 20 = -3*o + 44*j, 2*o = j + 5. Suppose -g = 8*g - 54. Solve o = -3*r + x - 3, 0 = 4*r - 3*x + 3 + g for r.
0
Let m = -2592 - -2597. Solve h = -m*j - 11, 12 = 10*j - 14*j - 4*h for j.
-2
Suppose -3*p - 1 = -4*n, -p + 3*p - 3*n + 2 = 0. Suppose -2*w + 3*w = -2*y + 6, -w - y = -p. Solve -4*j + 12 = 2*o, -o + 5*j + w - 12 = 0 for o.
2
Let w = 262 + -260. Suppose -5*a - 3*l + 28 = 0, 3*l - 1 = w. Solve 5*p = -2*y + 4, a*p - 2*p + 2*y = 4 for p.
0
Let p be (-5)/((-5)/(-14)) - (-24 + 28). Let t be ((-49)/(-14) - 4) + p/(-4). Solve 0 = -2*m - 4*q + 18, -2 = t*m - 4*q - 14 for m.
5
Let p(o) = 3*o**2 - 78*o + 436. Let f be p(18). Solve 46*r + 8 = 48*r + 4*h, r + 3*h - f = 0 for r.
4
Suppose 27*r = 22*r + 20. Let b(f) = -3*f + 26. Let z be b(7). Suppose p - h - h - z = 0, 0 = 4*p - r*h - 12. Solve 5*u + p = 4*a, -4*u - 3*a - 9 = -2 for u.
-1
Let g = -220 - -231. Suppose -9*d = g*d - 12*d. Solve d = -3*m + m - 3*i + 7, -m + 4*i = 24 for m.
-4
Let d be (-186)/124*(-32)/6. Let f(i) = -4*i + 35. Let u be f(d). Solve 2*v = r + 9, -u*v - 4 + 25 = -4*r for v.
3
Let r(j) = 4*j + 104. Suppose -72 = 3*u + 5*i, -4*u - 28 = -i + 68. Let v be r(u). Solve z + v*w - 17 = 4*w, 3*w = 2*z + 10 for z.
1
Let m(c) = -2*c**2 + 26*c + 5. Let s be m(11). Let r = s + -44. Let l = 11 + -11. Solve l*p = p + o + 2, r = -5*o for p.
-1
Suppose 0 = 4*v + v + 210. Let i be (v/(-35))/(6/20). Let d = -10492 + 10497. Solve d*u + i*z = -17, 6*z - 10 = z for u.
-5
Suppose -3*a - 4*a + 224 = 0. Let k = 37 - a. Suppose 9*z - 31 - k = 0. Solve 5*v = 4*o - 5, -z*v = -2*o + 1 + 3 for v.
-1
Suppose 3*w = 47 - 11. Suppose 14*b - 10*b = w. Suppose 5*y - 9 = 3*t, 15*y - 18*y = -5*t - 15. Solve y = 5*x - 4*s - 15, 3*x - b*s - 12 = -0*x for x.
-1
Let z = -50 - -52. Suppose -z*w = f - 4*f + 4, -4*f + 8 = 0. Let s be -2*w/(-2)*0/16. Solve 4*k + 1 = -i + 10, s = -3*k - 2*i + 3 for k.
3
Let i = -87 + 226. Let m = 91 - i. Let h be -1 + m/(-10) + 58/290. Solve 4 + 0 = -h*s - 2*p, -p = 5*s + 2 for s.
0
Suppose 3*x - 16 = -5*d, -5*d + 196*x + 37 = 192*x. Solve 3*t = s + 4*s + 3, 3*s = -5*t + d for s.
0
Let g = 8421 - 8419. Solve -3*a - 14*c - 5 = -16*c, a + 7 = g*c for a.
1
Let s(k) = -k**2 + k + 2. Let q(u) = u**2 + 19*u + 42. Let f(y) = -q(y) + s(y). Let m be f(-4). Solve -3*a - 31 = a + 5*d, m = 2*a + 3*d + 17 for a.
-4
Let p be 112/(-12)*3/(-2). Let f = p + -12. Let k be (7 + 3)*3/f. Solve -3*u + 14 = -5*z - 6, 5*z = -4*u + k for u.
5
Let o = -14035 - -14065. Solve -r = -3*n + 20, 11*r + o = n + 6*r for n.
5
Let t = -292 + 309. Suppose -4*u - 25 = -2*x - t, 2*x + 5*u = 53. Solve -m = -4*c + 7 - 0, -5*m = c + x for c.
1
Let b be ((-3)/(-1) - 3)/2. Suppose b = -2*r - 4*v - 114, -6*v + 276 = -4*r - 2*v. Let a = r - -70. Solve -2*p + 5*p = 3*w - 24, 0 = 5*w + 4*p + a for w.
3
Suppose -3*w - 140 = -5*h, w + 5*h + 30 = -50. Let f be (9/(-5))/(33/w). Solve -17 = u - 5*i, f*u + 4*i = u + 8 for u.
-2
Suppose 0 = b - 3*j - 96, -b + 88 = 2*j - j. Let v be (b/(-4))/(-9)*6/3. Solve -5*d - 45 = v*l, -10 = 4*l - 2*l for d.
-4
Let s(w) be the third derivative of w**4/8 + 5*w**3/2 + 17*w**2. Let q be s(-4). Suppose 13 = q*a - 2. Solve -4*c = -0*y - 2*y - 8, -c - y = -a for c.
3
Let q(g) = 2*g - 20. Let i be q(13). Suppose 0 = -i*c + 25 - 1. Let l be 4 + 4/c - 3. Solve -2*d + d = l*b - 8, 33 = -4*d + 5*b for d.
-2
Suppose -20*f = 18*f + 22*f. Solve -3*a - 15 = f, 5*p - 41*a = -36*a + 5 for p.
-4
Suppose -9*g - 216 = 63. Let m be 0/(-1) + (-124)/g. Solve 4*t + 4*a = 12, t + t = -3*a + m for t.
5
Suppose -2*c + 5*f + 22 = 0, -3*c = -3*f - 18 - 24. Suppose 2*j + 2*l - 12 = 0, 2*l + c = 5*j - 7. Solve -o = -3*t + 12, 18 = -j*o - 2*t + 3*t for o.
-3
Let c(q) = -108*q + 761. Let i be c(7). Solve 0 = -i*u - 11 - 9, -3*z + 2*u + 2 = 0 for z.
-2
Suppose -47 = -3*o - 5*l, -191*o = -196*o + 2*l + 99. Solve 3 - o = -5*n + 3*x, x + 8 = 3*n for n.
2
Let o be 25 - 0 - (160 - 138). Solve -26 = 7*w - 2*w + o*p, -w = -2*p for w.
-4
Let b(h) = 2*h**3 + 17*h**2 - 8*h - 16. Let y be b(-9). Let l be (12/15)/((-5)/y). Let u be ((-2)/3)/(l/(-18)). Solve u*c = 3*d + 12, 0 = -4*d - 1 - 3 for c.
3
Let d be (-10)/(-6)*(-2 + (-1296)/(-80) - 13). Solve -a + 5 + d = -4*h, 0 = -3*a + 4*h - 3 for a.
-5
Let f(j) = -177*j + 139. Let v be f(4). Let z = v + 572. Solve 4*t = 2*t - 3*q - 7, z*q = -5*t + 5 for t.
4
Let q(i) = 346*i - 687. Let g be q(2). Suppose 4*k = -3*f + 44, 2*k - 4*k - 8 = -f. Let w = -26 - -30. Solve -5*r - 3*c = -w, -r = -2*c - g + f for r.
-1
Let b(m) be the first derivative of m**2/2 - m - 209. Let c be b(6). Solve -4*f + 3*a + a = 0, -2*a = -c*f - 15 for f.
-5
Let v = -129 - -111. Let g be v/15*(-10)/3. Solve -4*f + 5*f - 11 = -g*q, 3*f = -5*q + 12 for q.
3
Let b be (-6 - 4) + (-12)/(-2). Let g(l) = -l**3 - 2*l**2 + 9*l + 9. Let w be g(b). Solve -2*q + 7 = w*k, -3*k + 0 - 2 = -5*q for q.
1
Suppose -5*k - 390 = 2*r + 3*r, 166 = -2*r + 3*k. Suppose 17*d = 16*d + 84. Let c = r + d. Solve 3*j = -c*a + 6*j + 20, 4*a - 20 = j for a.
5
Let t = 2740 + -2738. Solve -5*v + 4*h = t*h - 2, 0 = -5*h - 5 for v.
0
Let u = -4 + 6. Let c(s) = s**2 - 31*s + 67. Let i be c(29). Suppose 69 = i*o + 42. Solve 0 = k + x - o, k + 2*x - 7 = -u*k for k.
1
Let x = 6419 - 6415. Solve x*r + 4 = 3*j, 4 - 9 = 5*r for j.
0
Let b = 402 + -396. Suppose -b*c - 22 = -52. Solve 3*p - o - 4 = 0, -c*o - 9 = -0*p - 4*p for p.
1
Let d(q) = 4*q - 1. Let z be d(2). Let b = z + -1. Let m be (-214)/(-44)*b - (-20)/(-110). Solve 0*p + 2*u - 28 = 4*p, -m = 5*p - u for p.
-5
Let h(m) = m**2 - 11*m - 427. Let p be h(-16). Solve 2*a = -p*u - 2, -8*a + 5*a = -2*u + 3 for a.
-1
Suppose 6*h + 191 = 917. Suppose 3*d = -37 + h. Suppose -4*a + d = 4*r, 2*r - 5*a = -0*r + 35. Solve 4*s - 15 = -t, 2*t + r = s - 5 for t.
-5
Let x(d) = d**3 - 16*d**2 - 83*d - 22. Let w be x(19). Let s = w + 542. Solve 0*p - s = -4*m + 2*p, -3*p - 7 = 2*m for m.
4
Let q(s) = -s**2 - 4*s + 1. Let k be q(-3). Let a be (-1)/((-5 - -4)/k). Solve -5*r = -a*t - 2, -4*r + 3*t + 1 + 1 = 0 for r.
2
Let k be 1 + -3 - (-5 + 0). Solve 5*o = k*f + 1, -o + 9 = 4*f - 5 for o.
2
Suppose -464*z + 383*z = -405. Solve -1 = -r, z*q - 54*r = -55*r + 6 for q.
1
Let z(o) = -o**3 + 13*o**2 - 51*o + 210. Let r be z(10). Solve 0 = -4*m + 2*c, r = 6*c - 12 + 12 for m.
0
Let x(t) = -2870*t + 17902. Let c be x(6). Solve 0 = -3*f - i + 1, 3*i - 685 = f - c for f.
0
Suppos