s = 3*u + 14, c = -4*s - 4 for u.
-3
Let i be (4 + (1 - 11))*(-20)/30. Suppose -4*s = p + 1, 3*p - 6 = s - i*s. Solve n = -p*z + 8, 0 = 2*z + 3*n - n - 4 for z.
3
Let z(r) = r**2 + 20*r - 5. Let k be z(-15). Let o be (-662)/(-7) + 3/7. Let m = o + k. Solve -2*c + 6*c - 5*h = -m, -4*c + 4*h - 12 = 0 for c.
0
Suppose 0 = 4*a + 16, -4*g - 2*a + 35 = -13. Suppose -16*h + g*h + 70 = 0. Solve 0 = -5*y + 2*s - h, y - s = 3 - 13 for y.
-5
Let x(v) = 4*v - 20. Let c be x(5). Suppose t = -o + 3 - c, -3*o - 6 = 0. Solve -m - 5 = 2*p, -m = -t*p - 11 + 2 for m.
-1
Let f = -7531 - -7531. Solve i - 2*b = 12, 5*i + f = 3*b + 32 for i.
4
Let z be (-2)/12 - ((-391)/6 - 3). Let y = -67 + z. Let o be -2*1/y - (-3 + -9). Solve -2*p - a - o = -2, p + 2*a + 4 = 0 for p.
-4
Let a(u) = -2*u**2 + 21*u - 55. Let m be -7*(-16)/56 - -3. Let b be a(m). Solve b*l + 3*z + 12 = 3*l, 5*l - z = 0 for l.
-1
Let v(d) = 4*d - 83. Let p be v(20). Let b be (-2)/p*30/10. Solve 4*u - 20 = -2*a, -a + b*a = 5*u - 18 for u.
4
Suppose 0 = 2*u + d - 31, -9 = u - 168*d + 165*d. Solve -37*v - u = -4*h - 41*v, -h - 4*v = 3 for h.
5
Suppose 0 = 2*q - 5*t - 1 + 4, 11 = -2*q - 3*t. Let i(g) = g**3 + 3*g**2 - 8*g + 2. Let v be i(q). Solve 3*c = d + v, -d - 13 = -c - c for c.
5
Let n = 1 + -21. Let o be n/6*(-1 + -2). Let a = -567 - -584. Solve 2*y = 5*y + 4*d - a, -o = -5*d for y.
3
Let o(b) = -b**3 + 16*b**2 - 3*b + 52. Let a be o(16). Suppose 2*r + 4*z = -3*r + 39, 0 = -a*r - 4*z + 32. Solve -4*c = -3*p - 1, 11 = -4*p - 3*c - r for p.
-3
Let v = 659 - 656. Let c be (0*(-4)/(-20))/(12/v). Solve 8 = -2*g - 3*d + 7*d, -3*g + d - 7 = c for g.
-2
Suppose 0 = 8*p - 4*p - 64. Suppose -60 = -p*n + 11*n. Solve 3*r - 2 = -y - n, -2*y - 16 = 5*r for r.
-4
Suppose 4*h - 2*m = 546, -6*h + 5*m = -8*h + 231. Solve -2*y - 5*f - 24 = 0, 132*y - 14 = h*y + 3*f for y.
-2
Let b = -1 + 4. Let j be 148/(-5)*(1170/12)/(-13). Let f = -201 + j. Solve 3*c = 4*n + f, 2*n - b*n - 15 = -4*c for n.
-3
Suppose -v + 4*v + 12 = 0, -v + 836 = 2*t. Let c = t - 415. Solve -1 = 4*g - 5*w, -g + 5*w = 4*g + c for g.
-4
Let q(d) = -11*d**3 - 88*d**2 - 3*d - 21. Let v be q(-8). Solve 0 = s + v*t + 3, 2*s - t - t = 10 for s.
3
Let r be (((-30)/9)/2)/((-21)/(-18) - 2). Solve 24 = -4*i - r*c + 6, -4 = -3*i + 2*c for i.
-2
Let m be (931/114 - 3) + (-1)/6. Solve x - 5 = -2*q, -m*x - 4*q + 3*q = 11 for x.
-3
Let p = 201 - 196. Suppose 4*s = r + p, -12*s + 1 = -3*r - 7*s. Solve -2*m = -4*j + 8, -m - r = -3*j + 4 for j.
3
Let w = 734 + -448. Let n = 294 - w. Solve j - 6*j + 20 = 3*u, 0 = 3*u - 2*j + n for u.
0
Let w be (-43)/(-15) + (-1352)/(-1365) + (-24)/28. Solve 2*d = 5*n + 21, -w*n + 4*d + 2 - 9 = 0 for n.
-5
Let i(t) = t**2 - 17*t - 41. Let g be (6 + (5 - 3))*20/8. Let v be i(g). Let u = -6 + 9. Solve 2*s + q + 9 = 1, u*s - 2*q = -v for s.
-5
Let s = 284 - 164. Let c be 18/24*(s/9)/5. Solve -18 = -4*i + 5*w, 4*w + 4 = c*w for i.
2
Suppose -26*h - 20*h + 698 = 54. Solve -2*s + 5*p - h = 0, -p + 16 = -4*s + 3*p for s.
-2
Suppose 0 = -w - 3*q + 13, 2*q + 17 = 5*w + 3. Suppose 16 = -w*h, 0 = -3*f + 5*h + 38 - 9. Solve 14 = 4*o - 4*x - 18, f*x - 16 = -5*o for o.
5
Let t = 5471 - 5468. Solve 10*p + t*w + 4 = 6*p, 4 = -w for p.
2
Suppose -a = 4*l + 10, -5*a - 4*l - 27 = -7*l. Let i = a - -8. Suppose -7*g + 2*t - 14 = -9*g, 5*g - t = 35. Solve -r - 2*u = g, 3*r - 1 - i = 2*u for r.
-1
Let q = 264 + -260. Let t be 1/(3 + (q - (-52)/(-8))). Solve -3 = a - 3*n, t*a - 5*n = -3*n - 2 for a.
0
Suppose 0*g = -g. Suppose 15*v - 21*v + 24 = g. Solve 4 = -4*p + 4*i, 1 = p - v*i + i for p.
-2
Suppose 3*p - 230 = 5*r, p + 4*r = -4*p + 408. Suppose 11*t = -p + 102. Solve -4*w + 5*k = 8, 0 = 5*w - w - t*k + 8 for w.
-2
Suppose -97 + 7 = -3*l + 2*u, -7*l + 210 = -3*u. Solve -2*j + l = -5*r, -j + 32 - 7 = -5*r for r.
-4
Let m = -84 - -97. Suppose -4*s = -2*u + 22, -23*u + 26*u - s - m = 0. Solve -u*z + 27 = -3*y, 0 = -y - 4*z - 0*z + 16 for y.
-4
Suppose 5 = -4*o + 1. Let t be (0 + (1 - 1))/o. Solve -4*z = -4*l - 28, -4*l + z + 2*z - 26 = t for l.
-5
Suppose 193*p + 3960 = 514*p + 174*p. Solve 5*u + 24 - p = 3*j, 0 = 5*j - 5*u - 10 for j.
-3
Let n(f) = f**3 - 31*f**2 + 59*f - 27. Let y be n(29). Solve 4*l - t = -5*t + 24, y*t - 18 = -5*l for l.
2
Let k = -37 - -36. Let z be (19/57)/(k/3) - -9. Suppose 6*y = z*y. Solve y = 2*h + 4*v + 4, -v + 1 - 2 = -h for h.
0
Let u = -340 + -30. Let d = 373 + u. Solve 3*v + b = 4*v, -2*v = d*b for v.
0
Let c = -11169 + 11173. Solve -5*t = -5*q - 15, -c*t + 5*q - 12 + 23 = 0 for t.
4
Suppose -2*l = -5*f + 64, 3*l = 3*f - 6*f + 30. Suppose f*m - 103 + 43 = 0. Suppose 16 = m*h + 3*h. Solve h*r + 10 = 4*g, -3*g + 1 = -r - 2*g for r.
3
Let p be (24/15)/((-6)/(-30)). Solve -3*x = 5*j + 13, 2*x + 0*x + p = -3*j for x.
-1
Suppose 0 = 42*a - 39*a - 4*n - 102, -n + 117 = 4*a. Suppose -18*s + 120 = a. Solve 3*o = s*p - o - 35, o + 2 = -p for p.
3
Let k = 405 + -635. Let n = 237 + k. Solve n = -2*d + 5*j, j - 1 = 2*d - 6 for d.
4
Let h be ((-17)/1156*-17)/(1/(-48)*-3). Solve 2*g + 63*p - 68*p = -30, 3*p = -h*g - 8 for g.
-5
Let q = 2059 - 2033. Solve 4*d - 3*y - q = -0, -2*y = -d + 9 for d.
5
Let l be ((-8)/6)/((-368)/828). Solve -29*n + 27*n - 4*j = 10, 5*j = -l*n - 10 for n.
5
Let g(b) = 149*b + 5664. Let p be g(-38). Solve 0 = -4*u + n - 18, 33 = p*n + 29 for u.
-4
Let c be (3/(-18)*-4)/(4/18). Suppose 25 = -5*i, 4*b - b + c*i = -3. Solve -4*j + 4*l = 9 - 21, -3*l = -b*j + 14 for j.
5
Let t = 1631 + -1639. Let v be (-8)/(-10)*(-20)/(-2). Let j = v + t. Solve -2*k - q = -5*q - 20, 5*k - 2*q - 18 = j for k.
2
Suppose 15*n = -2*x + 14*n + 11, 7 = -x + 2*n. Solve 5*c + 5 = -h, h - 3*c + 20 = -x*h for h.
-5
Suppose 0 = -18*v - 9*v + 1593. Suppose -5*h + 3 + v = 3*t, 4*t + 43 = 3*h. Solve -c = 2*g - 2, -5*c + 5*g - 22 - h = 0 for c.
-4
Let z = -30 + 43. Suppose z*t + 460 = 17*t. Let x = t - 104. Solve -3*d = 4*j + d + 4, -j - 4*d + x = 0 for j.
-5
Let a(r) = 3*r + 50. Let g be a(-16). Let s be (-7)/(42/4) - g/6. Let k(f) = -f + 1. Let t be k(s). Solve 4*c - 2*j = -t, 3*c = 4*c - 5*j - 22 for c.
-3
Let o(k) = k**2 - 4*k - 8. Let h be o(6). Suppose -3*i + 5*s = 7, 4*i + 0*s = -4*s + 12. Solve -3*l = -h*y + 23 + i, -2*y - 4*l - 10 = 0 for y.
3
Suppose 5*j - 30 = s + 7, 0 = 5*s + 10. Solve i + 5*d - 7 = 0, -2*d + j = -0*i - i for i.
-3
Let u(x) be the first derivative of x**4/4 + 2*x**3 - 7*x**2/2 + 5*x - 64. Let j be u(-7). Solve 5*g = -3*w - 15, -j*g + 1 = w + 16 for g.
-3
Let t = -1827 + 1831. Solve m = 4*y, 4*y - 15 = t*m - 3 for y.
-1
Let b(l) = -103*l + 313. Let m be b(3). Solve -2*z = q + 2 - 7, -m*q = -5*z - 20 for q.
5
Suppose -5*g + 149 - 61 = 5*u - 3*g, 5*g - 70 = 0. Let o = -8 + 13. Solve -r - u = -o*f + r, r + 1 = 0 for f.
2
Let g = -18828 + 18831. Solve 5*v = -g*x + 9, 3*x + 39 - 48 = 5*v for x.
3
Let t(y) = -238*y + 1194. Let d be t(5). Solve -5*s + 3 = -d*l + 4, -3*l - s + 15 = 0 for l.
4
Let t(u) = 2*u - 1. Let z be t(2). Let x = -64 - -66. Let r be (x + (-65)/15 + 3)*6. Solve -r*w = -8, l - 4*w = z*l for l.
-4
Suppose 5*h - 7*h - 3*w = -38, h = w + 29. Solve 2*m = -2*k, 15 = 5*k + 3*m + h for k.
-5
Suppose -13*p = 1214 - 122. Let k = p + 86. Suppose -2*s = -2 - k. Solve 7 = -s*u + 3, -5*g = -u - 2 for g.
0
Let m(f) = 66*f + 707. Let d be m(-10). Solve 0 = q + j, d*q - 50*q + 2*j = -15 for q.
3
Let d = 66 + -62. Let q = -1313 - -1315. Solve 0*g - 4*g = -8, -d*u = q*g - 20 for u.
4
Let g = 127 + -122. Suppose -4*n - 23 = -3*j, 22 = 2*j - 14*n + 10*n. Solve -z - i + j = 0, -5*z + 3*z + g*i + 9 = 0 for z.
2
Suppose 30*t - 32*t = 0. Suppose -23*y + 25*y = t. Suppose y = -14*s + 11*s + 6. Solve -4*c + s*g - 20 = 0, 4*c = 4*g - 6*g - 4 for c.
-3
Let p = 7320 - 7318. Solve 2*x + 10 = -4*j, p*j = x + 16 - 19 for x.
-1
Suppose 2*i - 15 + 11 = v, i - 2*v + 1 = 0. Solve i*w = -3*b, -15 = -4*b + 4*w - 7 for b.
1
Let i be (-2)/(1981/1967 - 1). Let g = i + 284. Solve 2*w = -5*t - 21, -2*t + 11 = -3*t + g*w for t.
-5
Suppose -17757*n + 60 = -17751*n. Solve 9*y + 5*o = n*y + 4, 4*o = 4*y + 16 for y.
-4
Suppose 155*d - 33 - 413 = -136. Solve 56*v + 24 = 4*z + 60*v, 3*z = d*v - 2 for z.
2
Let f = 3487 + -3482. Solve -3*s + 8 = -f*i + 7*i, -2*i = -4*s + 20 for i.
-2
Let t(u) = 19*u - 21 - 13*u - 11. Let q be t(7). Let f be 6/q*(14 - -16). S