x - d = -s, 2*x + 3*s = 11 for x.
1
Let p be (2 + 29/(-2))*-2. Suppose -z - 4*c - 5 + 7 = 0, -z - 2*c = 6. Let r be 3/9 + z/(-3). Solve p = -q + 6*q, -25 = 5*l - r*q for l.
0
Let d(r) = 518*r + 7262. Let w be d(-14). Solve -4*x = p - 8, 8*x = 3*p + 3*x + w for p.
0
Let n = 2 + -2. Let y(p) = -5*p**2 - 169*p + 786. Let i be y(4). Solve -2*t + 4*q = 2*t + 16, -5*t - 5*q + i = n for t.
1
Suppose c - 26 + 21 = 0. Suppose c*g + g = 54. Solve -3*f - 3*n = -27, f - 5*n + g = -3*f for f.
4
Let i(b) = 2*b**2 + 33*b - 70. Let f be i(2). Solve z - 1 = -f*l, -3*l - 65*z - 2 = -67*z for l.
0
Let y(d) = 2*d - 13. Let h(w) = -w**3 - 13*w**2 - 10*w + 32. Let b be h(-12). Let c be y(b). Solve -27 = 2*n - 5*l, c + 13 = 4*n + 4*l for n.
-1
Let p(q) be the first derivative of q**3/3 - q**2/2 + q + 13. Let k be p(2). Let r be ((0 - -4) + -3)*0/k. Solve 0 = -x - 4*x - 5*i, r = -5*x - 3*i - 2 for x.
-1
Let z(k) = k - 3. Let v be z(3). Suppose -4*b = -v*b - 24. Suppose -10 = -b*c + c. Solve 4*p + 0 + 2 = -c*f, 3*p = 4*f + 4 for p.
0
Let r = -1695 - -1698. Solve 4*k = -0*k + r*t + 27, -5*k = 4*t + 5 for k.
3
Let z be (-2028)/15 - 12/15. Let v = -133 - z. Solve -4*s - v*c = -c - 4, 0 = -2*s - 5*c + 18 for s.
-1
Suppose 0 = 2*m - 14, 3*p - 144*m = -137*m - 34. Let d be (4/(-5))/((-2)/10). Solve -h - d = -k - 0*k, 4*h - p*k = -21 for h.
1
Suppose -171*r = -158*r - 39. Solve -4*c = r*z - 14, 4*z = c + 48 - 42 for c.
2
Let d be (-30)/(-40) - 41/(-4). Suppose 4*y + d - 19 = 0. Solve -3*x - 4*o - 8 = -7*x, -y*x + 5*o = -13 for x.
-1
Let y(u) = 17 + 14 - u**2 + 21 - 14*u - 18. Let m be y(-16). Solve o = m*z - 10, 5*o = -z - z + 10 for o.
0
Let o be -2 - (-5 - -3 - 2). Let x(q) = -122 - 2*q + 124 + 4*q**o + 0*q. Let m be x(0). Solve -4*j + 5*z = m, 0 = 5*j - 2*z + 6 + 5 for j.
-3
Let p = -38 - -75. Suppose 0 = 5*d - 5, 0 = -j - 5*d + 7*d. Let l be (-550)/(-132) + j/(-12). Solve -l*g = r - 0*g - 21, 5*r + 3*g - p = 0 for r.
5
Let l = -1813 - -1815. Solve -l*h - 2 = g, -3*g + 2*h = 2 + 4 for g.
-2
Let m = -1118 - -1121. Suppose -4*p + 28 + 0 = 5*q, -q = 2*p - 8. Let u(j) = j**2 + j + 2. Let i be u(-5). Solve 4*b - i = -p*v, -m*v - 2*b = -17 - 0 for v.
3
Let t(c) = -c + 31. Let v be t(22). Suppose v*h - 14 = -5. Let f be (-1 + h)/(6 - 4). Solve f = 3*g + 3*k + 2 - 20, 4*g - 2*k - 18 = 0 for g.
5
Suppose -p + 4 = 3. Let c = p + 4. Let l be (1 + c)/(1/((-2)/(-4))). Solve 8 = w + 3*d, 5*d + l = 2*w + 31 for w.
-4
Let p be ((-4)/(-12))/(4/(-22) + (-345)/(-990)). Solve 11 = -2*x - 5*s, -p*s = -0*s + 2 for x.
-3
Suppose 2*j + 2*a = 20, -5*a - 43 = -5*j + 7. Suppose 7*h = -j + 45. Suppose h*z = -1 + 11. Solve 4*o + u - 3*u + 10 = 0, -2*o + z*u = 0 for o.
-5
Suppose -3*r = 5*d - 9, -8*r = 5*d - 3*r - 5. Suppose 3*u - 14 = l, -7*u + 5*u + 4 = -2*l. Solve -l*f = d*o + f + 10, f = 2*o - 2 for o.
0
Let z(x) = 104*x + 1356. Let w be z(-13). Solve 4*v = 2*j - 10, w*v + 15 = 5*j - 2*j for j.
5
Suppose 43*s + 14*s = -9*s + 396. Solve -4*x - 4*d = -s*d, -3*d + 5 = -x for x.
1
Let t(h) = -8*h**2 - 2*h + 32. Let w be t(6). Let x = 273 + w. Solve 21 = x*q - 4*p, 0 = -0*q - q - 3*p - 11 for q.
1
Let u(p) = 2*p**2 - 12*p + 2. Let k be u(6). Let t(f) = -7 + f + 5*f - 5*f - k*f. Let s be t(-7). Solve 2*n + 3*i - 4*i = -5, s = 5*n + 3*i - 4 for n.
-1
Let q = 71 + -56. Let n be 3*(-2)/q*-10. Solve 13 = 3*f - p, -4*p + 2 = -n*f + 14 for f.
5
Suppose 5 = 4*c + 2*i - 121, -5*i + 140 = 5*c. Solve 4*t - 127*f + 124*f = c, -2*t = -3*f - 25 for t.
5
Let l(h) = 6*h + 39. Let i be l(-5). Suppose 3*z - 2*y = 0, 2*y - i = 3*z - 3*y. Solve -n = 4*q + z, 2*q = -5*n + n - 8 for q.
0
Let r(w) = 2*w**2 - 5*w - 9. Let m(x) = x**2 - 9*x - 32. Let n be m(12). Let i be r(n). Solve -i*o - b - 2*b = 0, 2*o - b = 6 for o.
2
Suppose 4*v + 577 - 221 = 0. Let s = v + 91. Solve 2*c = 4*o, -4*c + 4*o + s = -2 for c.
2
Let n(x) = -4*x**2 + 25*x + 59. Let k be n(8). Let m(q) = 4*q + 28. Let j be m(-7). Solve 0*v + 2*v + 4*d - 12 = 0, j = 5*v + d - k for v.
0
Let b(a) = 26*a + 811. Let l be b(-31). Solve 2*i + 14 = -l*v, 5*i = -4*v - 6 - 12 for v.
-2
Let o(g) = 118*g - 13446. Let c be o(114). Solve -h + 17 = 3*z, c*h + 8*h + 5*z = -21 for h.
-4
Suppose 5*t - 9*t + 526 = -n, 0 = -5*t - 3*n + 632. Solve 3*f - 3*k = 12, 4*f - 5*k = -109 + t for f.
-1
Suppose 3*m - 5*n = -1, -5*n = 196*m - 198*m - 4. Solve 10*f - 2*y - 10 = 5*f, -m*f + 6 = 3*y for f.
2
Suppose 4*h - 3*s = -19, h + h - 3 = -s. Let a be (-22)/(-18) + h - 8456/(-504). Solve 0*z - 2*z = 3*o, -o + 5*z = a for o.
-2
Let c(r) = -r**2 - 29*r - 195. Let h be c(-11). Let s be (h/7)/(15/315*3). Solve -3*t + 3 = -s*g, -4*g - 4 = 2*t + 12 for t.
-2
Let x(u) = 7*u + 9 + 19 - 8 - u**2 - 10*u. Let a be x(-6). Solve 2*d = -a*s, -5*s = -4*d - 8 + 17 for d.
1
Let r be (148/1332)/(2/(-156))*3/(-2). Solve 4*s = i - r, s + 2*i + 0 = 8 for s.
-2
Let n(g) = 112*g**3 + g**2 + g + 2. Let p be n(-1). Let r = p + 119. Let s = 5 - 2. Solve -v - 2*x = -r, 14 = s*v + v - 3*x for v.
5
Let s = -2992 - -3003. Solve 3*c - 3*y + 5 - s = 0, 5*c - 3*y = 0 for c.
-3
Suppose -4*w + 0 = 108. Let y = w - -30. Let c = 339 - 336. Solve -3*z - 35 = 4*t, y*t + c*z = 8*z + 10 for t.
-5
Suppose 0 = -f - t, -3*t + 297 = -4*f + 325. Solve 25 = -5*r + 2*i, -3*r + f*r + 5 = 5*i for r.
-5
Let t be 5/65 + (-3564)/(-312) + (-3)/6. Solve 4*s = -4*m + m - t, 0 = -5*m + 15 for s.
-5
Suppose 118*g - 18*g - 4*g = 2112. Solve g*k - 13 = 19*k + o, 4*k - 2*o - 18 = 0 for k.
4
Let x be 1 + -3 + 0 + 7. Let n(t) = 8*t - 2. Let d be n(1). Let c be ((-16)/20 + 2)/(d/15). Solve f - 2*u - x = 0, -c*f = 4*u - u + 12 for f.
-1
Let b(r) = 35*r + 285. Let a be b(-8). Solve a*f = 10, -2*f = -3*t - f + 1 for t.
1
Let c = -949 + 953. Solve -5*a = -5*l - 47 + 12, 4*a - 4 = -c*l for a.
4
Suppose 0 = -5*t - 105 + 195. Let q(a) = -250*a + 1254. Let u be q(5). Suppose 4*w - 59 = -y, -w - y = -4*w + 39. Solve w = 3*i - 4*b, u*i = -b - b - t for i.
-2
Suppose -220*t - 3336 = -498*t. Solve 3*f - 7 = r, 4*f + 2 - t = r for r.
2
Let q(v) = 14 - 4*v**3 + 6*v**2 - 73*v + 71*v + 3*v**3. Let k be q(6). Solve -4*z - 4 = -2*b + k, -6 = -z + 3*b for z.
-3
Let j(x) = -140*x + 16. Let v be j(-6). Let u = v - 853. Solve -2*b + b = k - 1, u*b = -5*k - 5 for b.
5
Suppose -3*i + 4*f = 45, 0 = 2*i + f + 15 + 26. Let r = 44 + -21. Let t = i + r. Solve -2*z = -z - 2, t*s - 5*z - 6 = 0 for s.
4
Suppose h - 490 = 2*l, 5*h = 5*l + 1410 + 1045. Suppose h*m = 488*m + 80. Solve -5*z + 0*a - m = a, -31 = 2*z + 5*a for z.
-3
Let x(h) = 3*h + 285. Let u be x(59). Solve -5*z + j = -18, u*z - 4*j = 467*z - 3 for z.
3
Let o(g) = g**3 - 25*g**2 - 26*g + 2. Let v(n) = -n + 12. Let h be v(-14). Let a be o(h). Solve -a*w = 4*z - 12, 0*z + 2*w + 2 = 3*z for z.
2
Suppose 3*w = -0*w + 6. Suppose 0 = -w*b + 6*b. Let m = 1625 + -1623. Solve 3*f - 2*y = -y - 10, -m*f - y - 15 = b for f.
-5
Suppose -50*s = 153*s - 1015. Solve -r + 2 = -j + 8, -s*j = -r - 18 for j.
3
Let m(r) = -4*r**2 + 33*r - 68. Let n be m(4). Solve 3*f - 3*y = 0, n*f + 2*y + 6 = -4*f for f.
-1
Suppose -3*g + t + 7 = 0, g = -4*t - 9 + 33. Solve 4*r = -g*o + 36, r + 12*o + 11 = 16*o for r.
5
Suppose 0 = -8*a + 97 + 167. Let c(z) = 3*z**2 + 4*z + 5. Let f be c(-4). Let j = f - a. Solve -2*l + j*l + 30 = 5*y, -y = 5*l + 21 for l.
-5
Let t(h) = h**2 + 35*h - 69. Let p be t(-37). Suppose 2*j = 2*k - 2, 4*k + 6*j - j = 40. Solve -20 = k*s - 2*m - p, -s - m + 4 = 0 for s.
-1
Suppose -5*h - p = -70, -7*h + 84 = -h + p. Solve -4*y - 16 = 2*x, -4*x - y - y = h for x.
-2
Let k(c) = -8*c + 123. Let p be k(15). Let f = 38 - 25. Let r = f - 11. Solve -5*z + 8 = -i, -p*i = i - 3*z - r for i.
2
Let d be (2/4)/(10/(-1240)). Let k(b) = -b**2 + 3*b + 17. Let l be k(9). Let p = l - d. Solve p = 3*q - 4*c, 3*c + 4 = q - 11 for q.
3
Let j be (2/6)/(61/2013). Solve -3*b = -2*f, -b = 3*f - 0*b + j for f.
-3
Let s(n) be the second derivative of 3*n**5/20 + n**2/2 + 21*n. Let b be s(1). Solve 0 = b*y - 4, 4*y + 1 = -5*x + 20 for x.
3
Suppose -393*t = -383*t - 30. Solve -2*r + 21 = -3*w + 18, 0 = -t*w + r for w.
1
Suppose 16 = k + 5*i + 2, -46 = -9*k - 5*i. Solve -2*h - y + 4 = 0, 30*h = 35*h - k*y - 23 for h.
3
Let a = 25676 + -25674. Solve -4*j - a*y - 3*y = 19, 4*j - 4*y - 8 = 0 for j.
-1
Let n(w) = 24*w - 86. Let d be n(9). Let k be (d/15 - 9)/(