 18 = 2*c for h.
-2
Let l = 9187 - 9165. Solve 3*r - 2*i - 19 = 0, 3*r - l = -0*i - i for r.
7
Suppose -5*t + 4*r + 56 = 0, -r = 461*t - 457*t - 28. Solve 3*l = -4*a - 23, l + t*a - 4*a = -13 for l.
-5
Suppose 2811 = 518*j + 739. Solve 3*k + 3*r = 3, 0*k - 2*r - 2 = j*k for k.
-2
Let p(u) = -71*u - 367. Let q be p(-19). Let m = -980 + q. Let a = -1 + 1. Solve m*y + 8 + a = s, -5*s = 2*y + 8 for y.
-4
Let l = -2 + 2. Suppose -17*i + 25920 = 31*i. Let k = -536 + i. Solve -3*h - z = -h - 4, -5*h - k*z + 7 = l for h.
3
Let t(s) = 2*s**3 + 7*s**2 + 2*s + 2. Let b(p) = -30*p + 118. Let g be b(4). Let a be t(g). Solve 5*o + 17 = -4*k, o + a = -o for k.
2
Suppose 36*l - 21228 = 7*l. Let h = l - 732. Suppose 6 = 4*f + 2*w, -4*w + 7 - 3 = 0. Solve -i - f = h, 0 = u - 4*u + 5*i + 14 for u.
3
Let s be (-3*(-2)/(-24))/((-9)/108). Suppose 3*p - 3*c - c - 20 = 0, s*p + 25 = -5*c. Solve -a + 5 = -0*a, p = -4*z - 3*a + 35 for z.
5
Let t = -35 + 58. Suppose 0 = 188*m - 202*m + 28. Solve -c = c + 3*g + t, 0 = -3*c + 2*g - m for c.
-4
Suppose 80 = 2*g + 8*p, 7*p + 269 = 5*g + 4*p. Solve 0 = -5*f - g*s + 48*s + 21, 2*f - 5*s = 15 for f.
5
Let g be (756/(-504))/((6/(-2))/30). Suppose -4*i = -30 - 18. Solve -h + 6*h = -3*d - g, d = 4*h + i for h.
-3
Let v = 192 - 188. Solve -3*j = -v*t - 8, -161*j + 4*t + 8 = -157*j for j.
0
Let x = 3727 + -3727. Let o be (41 - -2)/(2/2). Let w = -31 + o. Solve -4*r - 2*j - 14 = x, 4*r + 0*j + w = -4*j for r.
-4
Let g = -3496 - -3499. Solve -5*p = -g*c - 5, 0 = -32*c + 37*c - 2*p + 2 for c.
0
Let i be ((-36)/30)/(4/(-10)). Suppose 3 = 30*n + i. Solve n*y + 5*y - 5 = 5*x, y + 4*x = 21 for y.
5
Let a(i) = i**3 + 5*i**2 - 3*i + 1. Suppose -19*u + 20 = u. Let s be a(u). Solve g = -3*m - 14, -s*m + 3*g - 22 = 5*g for m.
-3
Let x be 7/(-336)*-24*(0 - 0). Solve 22 = -q - 8*u + 3*u, x = u + 4 for q.
-2
Let s = -68 + 62. Let a be (-2)/s - 1230/(-90). Solve 2*o - 6 - 3 = 3*r, 3*o + a = -r for o.
-3
Suppose 2 = -2*u - 2*m, m - 512 = -515. Solve -5*x = -10, -u*p - 4 = -12*x + 7*x for p.
3
Let g be 38/12 - (376/(-48) + 8). Solve -6*s = -2*s + 5*c - 27, 0 = -g*s + 5*c - 6 for s.
3
Let i(p) = p**3 - 6*p**2 + 7*p - 31. Let h be i(6). Solve -11*c + 8*c + 6 = 3*j, h = 3*j + 4*c for j.
-3
Let j = -5031 - -5033. Solve -h - j*t - 6 = -3*h, 2*h = t + 2 for h.
-1
Let b(k) = -k**2 - 12*k + 15. Let i be b(-8). Let w = i + -41. Let z(v) = 4*v - 19. Let s be z(w). Solve -s*r + 9 = -3*l, -3*l + 4*r - 12 = l for l.
-3
Let i(m) = m**3 + 36*m**2 + 53*m - 501. Let q be i(-34). Solve 11 = 3*t + 2*u, 8*u - q*u = -4*t + 22 for t.
5
Suppose -15 + 1 = -2*c. Let z be 12/66 + (-31)/(-11). Let m be 2*((-33)/(-6) + -1 - z). Solve -2*h + 4*u - 6 = 0, -c*u = -m*u for h.
-3
Let z = -58 - -63. Suppose -6 - 20 = -z*i + o, -5*o - 5 = 0. Suppose -5*l - 11 = 5*m - 61, -5 = -i*m + 4*l. Solve -j = m*w + 23, 19 - 1 = -3*w - 2*j for w.
-4
Let x(d) = -196*d - 1564. Let n be x(-8). Solve 5*y - 5 = 5*a, 0*a = -n*a + 3*y - 5 for a.
-2
Let i be 0 + -10 - 12/(-14)*14. Solve -4 = -2*l + z - 2, 5*l - 14 = -i*z for l.
2
Let d = -78 + 69. Let n(i) = -i**3 - 10*i**2 - 8*i + 13. Let a be n(d). Suppose 5*b + a*b = 0. Solve -z = -4*s - 0*z, 3*s - 4*z = b for s.
0
Let z = -31412 + 31415. Solve 2*g + 2*q - 19 + 7 = 0, -z*g - 5*q + 26 = 0 for g.
2
Suppose 0*u = 3*u - 57. Suppose 0 = 5*w - 3*w + 4*n - 54, -63 = -4*w + n. Suppose -16*i + 11 = -69. Solve -l = -3*h + l + w, i*h - u = l for h.
3
Suppose g + 3*u = 6, -22*g + u - 13 = -26*g. Solve 3*i + p = -5, -p + 2 - 7 = -g*i for i.
0
Let w(v) = -3*v. Let b be w(-2). Suppose -17*o = b - 40. Solve o*r = -4, -3*r - 31 = -2*t - 3*t for t.
5
Let v(x) = -2*x**3 - 13*x**2 + 2*x + 166. Let z be v(-6). Solve -3*w - 3*u - 3 = 0, -5*w - 116*u = -z*u - 16 for w.
2
Let z be (5/2)/((135/(-12))/(-9)). Solve -4 = 4*c - l, -13*c + 15*c + 8 = z*l for c.
0
Let j = -1710 - -1723. Solve -5*q - 10 = 5*i, j = -3*q + 1 for i.
2
Let b be (-336)/(-70) - 23/(-115). Solve h - 14 = -5*n, b*n - 7*h - 19 = -3*h for n.
3
Let a(r) = r**2 + 18*r - 67. Let p(h) = h**2 + 17*h - 69. Let j(u) = 3*a(u) - 4*p(u). Let l be j(-18). Solve 8 = -3*w - 3*i - i, 0 = -l*w + 3*i + 27 for w.
4
Suppose 42 = 57*u - 51*u. Let a be (u + -12 - -10) + 2. Solve -a = p - 5*s, -3*p + 0*s - 7 = -s for p.
-2
Let j be (16 + 4)/2 + (-8 - (-98)/7). Solve 2*z = -4*k + j, 0*k - 3 = 3*z - 3*k for z.
2
Let j = 2598 + -2594. Solve 0 = j*f + 2*k + 24, 4*k - 11 = 5*f + 6 for f.
-5
Let r(n) = -2*n**2 + 4*n + 1. Let z be r(3). Let d be (-52)/(-13)*z/(-4). Solve -3*b + 28 = 5*l - 6, d*l + 2*b = 31 for l.
5
Let c(z) = -11*z - 5. Let u be c(-6). Let a(v) = v**3 + 14*v**2 + 44*v - 11. Let t be a(-8). Solve 4*r = -5*p - t + u, 5*r + 5*p = 45 for r.
5
Suppose 3*d - 43 = 14. Suppose -7*w = -d*w - 312. Let p = -24 - w. Solve -5*u = -u + p*s, -4 = -4*u - 4*s for u.
-1
Let b(a) = -8*a - 28. Let p be b(-10). Let z = -47 + p. Suppose 2*i - z*u - 8 = 13, 0 = -5*u - 15. Solve 5*n - 3*d - 14 = 0, 3 - 9 = 3*n + i*d for n.
1
Let o be (-2)/8*((-11)/1 - 1). Solve -5*n + 8*n = -o*j + 27, j = -5*n + 25 for n.
4
Suppose -90*j - 65*j + 326 + 449 = 0. Solve -m + 5*h + 24 = 0, -2*h = j*m - 3*m for m.
4
Let t be 3 - (5 - 2) - -5 - (-35)/5. Solve -t*v + 10*v = 3*x - 2, -4 = -2*x - 2*v for x.
-2
Suppose 35*a + 19 = 54*a. Let f be (-1 - (-158)/14) + 4/(-14). Suppose 3*g = -1 + f. Solve -t - 2 = 4*j, -2*t - g = j + a for t.
-2
Suppose -2 = -404*q + 402*q - b, -q = -2*b - 11. Solve -4*l - 2*j + 3 = -q*l, -l = -4*j + 3 for l.
1
Suppose 4*l = 8, -4*l + 96 = -v + 91. Suppose -28*c + 30*c = 8. Solve 4*d - 2*q = v*q - 3, 0 = c*q - 12 for d.
3
Let a = -38 + 12. Let n = a + 27. Suppose -n = 3*i - 49. Solve -3*r + i = 2*w, 0 = 2*w - 6*w + 20 for r.
2
Let f = 22 + -18. Suppose -23*m + 22*m = -36. Suppose -3*t - 5 = 7, 4*o - m = 4*t. Solve 0 = f*r - o*p - 15, 4*r - 3*p - 3 - 6 = 0 for r.
0
Let b be (-6)/((-7)/7) + 16. Solve 8 = 4*c + 4*v, -15*c + 20*c = -v + b for c.
5
Suppose -775*k + 770*k + 99 = 3*i, -2*k + 52 = -5*i. Solve -3*j = -16*f + k*f - 7, -3*j + f + 13 = 0 for j.
4
Let i be (((-6)/63)/1*15)/((-170)/2380). Solve 4*u - 16*y = -12*y + i, 5*u + y = 1 for u.
1
Let g = -39 + 33. Let r be g/10 - 2*18/(-60). Suppose 4*n + 8*v - 6*v - 12 = r, -5*v + 10 = 0. Solve 7*k = -5*z + 2*k - 15, -12 = 5*z + n*k for z.
-2
Let s(i) = -i**2 + 15*i + 31. Let p be s(15). Suppose -35 = p*k - 36*k. Suppose 47 = k*m + 12. Solve -2 - 3 = -2*q + a, -q + 16 = -m*a for q.
1
Let b(c) = -33*c + 531. Let h be b(16). Solve -8*u + h*g = -12*u - 21, 2*u + 3 = g for u.
-3
Suppose 224*m - 239*m + 60 = 0. Solve -m*t + 8*t = -3*p + 13, -3*t + 17 = -5*p for t.
4
Suppose -4*w + 17 = p, 69*p - 67*p - 16 = w. Solve i = -p*q + 4*q - 32, 5*q = 2*i - 26 for q.
-6
Let i(q) = -q**2 + 4*q + 22. Let j be i(7). Let z be ((-2)/4)/(j/(-18)). Let p(w) = w - 5. Let k be p(z). Solve 3*x = -2*a - 20, 0 + 16 = -k*x for a.
-4
Let a be (-2 - (-2)/5)/((-160)/400). Suppose 3*d - 32 = -4*b - 17, a*b + d = 5. Solve b = -2*j - f, -j = -2*j + f - 3 for j.
-1
Let r be -3*(26 + -25) + 1 + 5. Solve -3*u = -5*l - 22, -r*l - 11 = u - 9 for l.
-2
Suppose 20*i - 21*i = 260. Let r = -251 - i. Solve 0 = -4*h + 5*f - r, 3*f + f = -3*h + 1 for h.
-1
Suppose 3*w + 143 = 50. Let s = w - -31. Suppose 4*p - p - 12 = s. Solve -14 = 2*n - p*y, -7*y + 2*y + 22 = 2*n for n.
1
Suppose -i - 4 = 3*r, 4*i + 9 = 3*i + 2*r. Let j be -2 + (-4)/i + 372/84. Solve n - 12 = -4*q - 0, -j*q + 16 = -n for q.
4
Let y = -19291 - -19296. Solve 43*p + 2 = 45*p - 2*c, -y*p - c = -11 for p.
2
Suppose -5*s - 3*k = 0, s = -3*s - k. Let r(d) = -2*d**3 - 2*d + 4. Let x be r(s). Solve -o - 2 = 0, 2*z + x*o = -2 - 0 for z.
3
Let v = 18 + -18. Suppose m - 6*m + 25 = v. Let u(q) = -q**3 + 8*q + 18. Let p be u(-2). Solve -25 = m*x + 4*g, -3*x - p = -x - 5*g for x.
-5
Suppose 6*t - 5*t = 2*t. Suppose 2*m + 43 = 3*m - 3*n, t = 2*m + 3*n - 59. Solve 2*h - 5*l - m + 6 = 0, 0 = -2*h + l + 12 for h.
4
Let b = -16 - -16. Let a = -73 + 109. Suppose b = 4*g - g - a. Solve 4*n + g = m, 0 = -9*n + 4*n + 5*m for n.
-4
Let s be (6 + -3)/(3/2). Let u be (-1 - 0)/(31/(-1891)). Suppose 0 = 65*n - u*n - 16. Solve z - i = s, -5*i = n*z - 3*z + 28 for z.
-3
Suppose -41*y = 37*y - 1326. Solve 4*l - y = -a, 9*a - 4*a = -15 for l.
5
Let d be (-6 - -11) + 13 - (5 - -5). Solve 10*x - 5*