+ 3)). Suppose -5*r + 7 = h*l - 3, 0 = 5*r - 10. Solve l = 5*d - 4*d - 4 for d.
4
Suppose 0 = h - 6 + 4. Suppose h*b = 6*b + 3*y - 26, 6 = 2*b + 5*y. Suppose 8*c - 4*c = b. Solve -c*i - 8 = -6*i for i.
2
Let o(f) = -f**2 + 32*f + 415. Let z be o(39). Solve -138*w + z*w + 20 = 0 for w.
-5
Suppose 2*k = -3*d + 3*k + 11, 16 = 4*k. Solve 0 = 2*s + d*s for s.
0
Suppose 2*k + 31 = 3*t, -k + 1 = 2*t - 8. Suppose -3*m = -0*m + 27. Let a be m/6*-2 + 1. Solve 23 = a*u + t for u.
4
Let p be 3/18 + 4 + (-15)/(-18). Let q = 0 - -2. Suppose c - q*c = -p. Solve 0*y - 10 = c*y for y.
-2
Let j be 2/8*(-9 - (-1 - 20)). Solve j*d - 10*d = -35 for d.
5
Let h be 3452/20 - 78/130. Solve h*r = 180*r + 16 for r.
-2
Suppose 3*i - 8*i = 0. Suppose 0 = -3*q - 2*q + 25. Let p be (q + -1)/1 + 0. Solve p*z - 2 - 2 = i for z.
1
Let o = -77 + 88. Solve -5*h = 1 - o for h.
2
Let g = -51 + 59. Suppose -5*q = y + 4, q = -4*y + 19 + 3. Suppose g*h - 50 = y*h. Solve 0 = 4*v - h + 5 for v.
5
Suppose -17*t + 11 = -210. Let h = 8 - 5. Suppose 2*m - 1 = h. Solve -5 = -m*j - t for j.
-4
Let r(m) = -m**2 + 6*m - 4. Let x(s) = -s**3 - 6*s**2 + 6*s + 2. Let q be x(-7). Let d = 12 - q. Let y be r(d). Solve 4 = -y*i - 1 for i.
-1
Let n = -40 + 43. Suppose 0 = n*j + 4*h - 14, -3*j + 2 = -h - 2. Solve 0 = 2*b + j*b + 8 for b.
-2
Suppose c + 32 = 2*c. Let h = c - 32. Let f(a) = -a**2 - 5*a + 1. Let b be f(-4). Solve b*y = -h - 10 for y.
-2
Let c be 60*(-6)/(-9) + -1. Suppose 5*a - 21 = c. Solve 7*l = 4*l + a for l.
4
Suppose -119*q - 2447 = -11134. Solve -q*g + 68*g = -10 for g.
2
Suppose -4*f = -j + 20, -j + 3*f - 8 = -25. Suppose -j*s = -12*s + 16. Solve 7 = s*l + 23 for l.
-4
Suppose -2*b - b + 4 = -h, 4*h + 16 = 2*b. Suppose -6 = -c - b. Solve -3*x + c = -9 for x.
5
Suppose 60 = 4*n - 4*x, n + 9 = -3*x + 32. Solve n = -5*z + 7 for z.
-2
Let p be (13 + -13)*((-8)/(-12))/(-2). Solve p = -2*n - 4*n for n.
0
Let o be ((-55)/2 + 0)/(1065/(-426)). Solve -15 = -4*i - o*i for i.
1
Let c(k) = 2*k**3 + 53*k**2 - 29*k - 50. Let b be c(-27). Solve -2*j = -4*j + b for j.
2
Let z be (-4)/4*-3 + -5 + 2. Suppose 12 = 5*w + 3*j, 14 = 4*w + j + 3. Suppose w*s + z*s = 0. Solve -g + 0*g + 1 = s for g.
1
Let m = 247 + -240. Solve 4*f = 11 - m for f.
1
Suppose 0 = -8*d + 3*d - 5, -5*l + 2*d = -207. Let x = l + -41. Solve x*c = 2*c + 10 for c.
-5
Suppose 3*v - 3 = 3. Suppose 0 = w - 2*y + 3*y - 39, v*w + 3*y - 82 = 0. Let i be 2/(-5) - (-14)/w. Solve i = k - 5*k - 4 for k.
-1
Let u(l) = l**3 + 13*l**2 - l - 13. Let s be u(-13). Suppose -3*x = s, -3*x = 3*f + 5 - 2. Let k be f/4 - 13/(-4). Solve k*d + 7 = -8 for d.
-5
Suppose 2 = 2*a, -a + 4*a - 27 = -3*i. Let r be (4/(-3))/(2/6). Let s(y) = y**3 + 5*y**2 + 4*y + 3. Let m be s(r). Solve i = m*t + t for t.
2
Let n be (-6)/(-2)*(-28)/(-12). Suppose n*k = 2*k + 20. Let t be -9*2*k/(-8). Solve -d = 2*d - t for d.
3
Let r(f) = 5*f**2 + 9*f + 10. Suppose -4*m = b - 3, -6 - 2 = 2*b + m. Let p be r(b). Let c be (p/27)/(4/6). Solve 0 = -c*k + 2*k for k.
0
Let g(i) = i**2 - 14*i + 53. Let t be g(11). Solve 4 = -t*a + 21*a for a.
4
Let k = 1334 - 1313. Solve k*x - 4 = 23*x for x.
-2
Let b(s) = -s**2 + 8*s - 7. Let y be b(7). Solve y = -t + 2 + 2 for t.
4
Let g be 1/(-2)*(4 + -4). Let b(p) = 6*p + 14 - p - 6*p + g*p. Let v be b(12). Solve 3*a = -v*a - 10 for a.
-2
Let u be 182/21*3/2. Let y(f) = -f**2 + 14*f - 13. Let l be y(u). Solve l = -3*d - 2 + 11 for d.
3
Let v be 2/3 - 146/(-6). Let w = 29 - 22. Suppose w*j = 4 + 17. Solve -j*d = 2*d + v for d.
-5
Let j(z) = 2*z**2 - 11*z + 2. Let m be j(8). Suppose m = -0*n + 6*n. Solve -12*t = -n*t + 25 for t.
-5
Let j(w) = -5*w + 54. Let v be j(10). Solve -2 = 3*s + v for s.
-2
Suppose 0 = -10*v - 95 + 385. Solve -5*c + 9 = v for c.
-4
Let v = 170 - 161. Solve 6 = 11*f - v*f for f.
3
Suppose 23 = -3*p + 17. Let x be -4 - (p + 5 + 6 + -17). Solve x*l + 4 = 8 for l.
1
Let u be 81/3 - -5 - 7. Solve -23*i + 10 = -u*i for i.
-5
Suppose 12*v - 2*v - 740 = 0. Suppose 77*b = v*b. Solve 4 = -4*t - b*t for t.
-1
Suppose -4*k = -k. Suppose 0 = 6*c - 41 - 13. Solve -3*u + k*u = -c for u.
3
Let h(f) = f - 8. Let b be h(-10). Let z be (-4)/(-3) - 12/b. Solve 0 = z*t - 4*t + 10 for t.
5
Let m be (2/6)/(10/(-60)). Let p be (2 + m - 6)*1. Let v(o) = -o**3 - 7*o**2 - 6*o. Let z be v(p). Solve z = -f + 1 for f.
1
Let u(b) = b - 7. Let o be u(7). Let k be 2 - 0 - o - 10. Let a be ((-12)/k)/((-2)/(-4)). Solve 10 = -a*h + 25 for h.
5
Let r = -647 - -649. Solve 22 = -r*v + 12 for v.
-5
Let y be (-3)/((-3)/(-24)*-6). Suppose 10 = y*s - 6. Suppose -2*n + f = -7, -3*n + 2*n = -3*f - 6. Solve -s*u - n = 1 for u.
-1
Let v(b) = -7*b**3 - b**2 - b - 1. Let f be v(-1). Let l be -2 - 0 - (-28 + f). Solve 4*r = l - 4 for r.
4
Let x be (-96)/(-56) + (-2)/(-7). Solve -2*b = x + 2 for b.
-2
Suppose 0*x - 14 = -7*x. Let w(n) = 5*n - 7. Let z be w(x). Solve 0 = z*y - 6*y - 9 for y.
-3
Let s(i) = -i**2 + 8*i - 8. Let q be s(7). Let k be (-20)/8*(q - 1). Solve k*r + 5 = 15 for r.
2
Suppose 0 = -76*g + 71*g + 75. Let u be (5 + 0)*(0 - -1). Suppose -2*t + 8 = y, -y + 5 = u*t - 9. Solve z = -y*z + g for z.
3
Let r = 4 + 5. Suppose -t = 3*g - 17, -3*g - 5*t = -g - 7. Suppose -g + r = u. Solve 0 = -z - u*z for z.
0
Let r = 46 - 32. Suppose -9*h = -r*h - 20. Let v be (2 - (h + 6))*1. Solve 2*o + v*o = -6 for o.
-3
Let h(r) = r + 15. Let n be h(-5). Suppose 5*u = 5*s - 40, -2*s + 4*u + 29 = s. Suppose -5*t + 16 = -4, -s*m + 50 = 5*t. Solve 4*b - n = m for b.
5
Suppose -13*i - 2 = -14*i. Solve i*c - 9*c = 0 for c.
0
Let l(g) = -g**2 - 93*g - 599. Let x be l(-7). Let k(h) = h**2 - h + 1. Let f be k(2). Suppose 6 = a + c, a - f*c = -4*a + 14. Solve -x*p = -a + 1 for p.
1
Let z = -3024 - -3135. Solve -z*u + 109*u = 4 for u.
-2
Suppose 5*w = 103 - 13. Suppose 4*p + 3*u + 4 = 0, p - w = -0*p + 4*u. Solve 5*n - p = 4*n for n.
2
Let y(a) = 20*a + 254. Let r be y(-12). Solve 6*c = -c - r for c.
-2
Suppose -1 = -2*x + 3*n, 2*x - n = -5*n + 22. Solve x*q + 35 = -2*q for q.
-5
Suppose -2*o - 2*o = -44. Let u(y) = -y**2 + 12*y - 11. Let j be u(o). Let h = 76 - 76. Solve h = -2*z - j*z - 10 for z.
-5
Let l(z) be the first derivative of z**4/4 + 5*z**3/3 + z**2 + 11*z + 4. Let m = -37 - -32. Let u be l(m). Solve -4*t = u - 21 for t.
5
Let j = 89 + -80. Solve 2*s - j + 7 = 0 for s.
1
Let y(r) = -r**3 - 28*r**2 + 2*r + 124. Let d be y(-28). Solve d = 16*b - 12 for b.
5
Suppose -44*j = -46*j + 2. Solve -j = 2*r + 9 for r.
-5
Let t(g) = -g**3 + 3*g**2 + 2*g + 6. Let x be t(3). Solve 5*b = -b + x for b.
2
Suppose -29*c + 48 = -21*c. Solve -c*b + 20 = -b for b.
4
Let g = 4 + -9. Let p be (-4)/g*55/22. Let o = p - -13. Solve 5 = -2*s + o for s.
5
Let d = -826 + 835. Solve -3 = -2*h - d for h.
-3
Suppose 4*i - 2*l - 3*l = -8, 0 = -4*i - 3*l + 24. Let h be (-136)/102 + (-64)/(-12) + 3. Solve -i*j = -h + 1 for j.
2
Let v = -17 - -18. Suppose v + 11 = 2*x. Let j(n) = 3*n**2 + n + 1. Let q be j(-3). Solve -x*i + i = -q for i.
5
Let m(b) = 3*b**2 + 3*b. Let d be m(-2). Suppose 3*h = d*h - 6. Let w = 3 - 0. Solve 5*i + h = -w for i.
-1
Suppose -377*k + 285 = -358*k. Solve 12*v - k*v = 9 for v.
-3
Let t(b) = 9*b**3 + 2*b**2 - 4*b + 2. Let i be t(1). Suppose 2*k - k - i = 0. Solve -k = -0*m + 3*m for m.
-3
Let k = 1606 + -1511. Solve k*a - 4 = 94*a for a.
4
Let m(s) be the first derivative of -s**4/4 - s**3/3 + 5*s**2/2 + 4*s - 5. Let a be m(-3). Let w be (1 - a)/(6/(-16)). Solve -6*h = -2*h + w for h.
-4
Let i = -254 + 259. Solve 10 - 25 = -i*n for n.
3
Suppose 2*l + 3 = 17. Suppose -2*q = -l + 3. Suppose 0 = 5*b - 15, 0*b + 1 = -m + q*b. Solve -f + m*f - 20 = 0 for f.
5
Let g be ((-2)/6 - 44/12) + 9. Solve 6*m = g*m for m.
0
Let i be (12 + -12)/(-5*(-8)/20). Solve i - 7 = 7*f for f.
-1
Suppose 3*p - 13 = 2*c, -5*p - 2*c + 16 + 11 = 0. Suppose 25 = p*w - 0*w. Suppose -2*m + 8 = -3*m - 3*f, -5*m = -w*f - 40. Solve -l + 5*l - m = 0 for l.
1
Suppose -5*b = -b. Suppose -c - 4*s = 16, -c + b*s - 12 = 3*s. Solve -4*l = -c - 4 for l.
1
Let r(g) = 9*g - 216. Let z be r(25). Solve -z*q - 9 = 9 for q.
-2
Suppose 3*x - 60 = -0*x. Suppose -7 - x = -3*c. Let l(k) = -k**2 + 8*k + 17. Let u be l(c). Solve u*j = 3*j + 20 for j.
4
Suppose 3*z - 3*s = 114, 0 = -2*z - 5*s + 3*s + 92. Solve -z*u + 38*u = 8 for u.
-2
Supp