n = 4 + 6. Let z be (0 + (-8)/n)/(6/(-15)). Solve -5*x - 15 = -z*x for x.
-5
Let h = 809 - 769. Solve 0 = 7*i + h - 12 for i.
-4
Suppose 10 = 5*d - 125. Let t = d - 23. Solve 5*o - 1 - t = 0 for o.
1
Let h(a) = -2*a - 18. Let b be h(-24). Solve 4*p = -2*p + b for p.
5
Let g(z) = z**3 - 24*z**2 + 58*z + 152. Let n be g(21). Solve -41 = 6*d - n for d.
1
Suppose 0 = -3*d + 3, -2*p + 40 - 7 = -d. Suppose -p = 3*i - 29. Solve -7*f + 12 = -i*f for f.
4
Let w be 0 + 0 - (-1 - -1). Suppose -3*y = -w*y - 18. Let i(t) = t**2 - 5*t - 145. Let x be i(-10). Solve 1 = x*f + y for f.
-1
Let y(o) = 3*o + 1. Let u be y(-1). Let c be u/(-21) + (-656)/(-168). Solve 2 = 3*v - c for v.
2
Let h = 118 + -117. Solve -5*u + h = 11 for u.
-2
Let a(q) = -8*q**3 - q**2 - q. Let w be a(-1). Let y(t) = -t + 14. Let m be y(-14). Suppose -w = 5*z - m. Solve -x = -0*x + z for x.
-4
Let h be (-8)/6*(-5 - (-7)/2). Suppose 6 + h = 4*r. Solve 5 = r*q - q for q.
5
Suppose 3*p + 7 = -2*g + g, 0 = -5*p - 15. Let v be (6 + -3 - 3)/(-1). Suppose 3*o = 3*j + 6, -o + v = 4*j + 8. Solve 0 = -g*c - o*c for c.
0
Let q(n) = 2*n**2 - 39*n - 62. Let p be q(21). Let s be 1 - ((-6)/(-3) - 4). Solve x = -s - p for x.
-4
Let r(q) = 2*q - 3*q + 0*q - 1. Let v be r(-3). Suppose -4 = 3*t + 2*z - 11, -v*t - z = -4. Solve t = 5*m + 11 for m.
-2
Let m = -114 + 122. Suppose 40 - 8 = m*p. Solve -p*f + 1 = 5 for f.
-1
Suppose 4*i - 52 = -2*b, 2*i = -5*b + b + 86. Suppose j - 62 = -202. Let c be 4/18 + j/(-18). Solve -3*n + c*n = -b for n.
-4
Let a be 0/3*(-2)/4. Let x be a + (-1)/3 - (-368)/69. Solve -1 = -x*s + 4*s for s.
1
Let w = -495 + 497. Suppose 2*d + 9 = 3*k + 4, 0 = -5*k + 5*d + 10. Let v = k + w. Solve -v*r - 12 = -0*r for r.
-4
Suppose 5*a = -0*a - 80. Let w = a + 18. Suppose 2*c - 4*c + 4 = 0. Solve 0 = -k + w*k + c for k.
-2
Let a(r) = -2*r + 29. Let i be a(13). Solve -12 = -3*t + i for t.
5
Suppose 5*h - 10 = 0, g - 3*h + 1 = -0*h. Suppose 2*m = -3*s + 22, -g*s + 0*m + 3*m + 62 = 0. Suppose -7*c + 2*c = -4*n + 15, s = 2*n. Solve 2*d - c = 1 for d.
1
Let j = 2 - 1. Suppose -l + 15 = 14*l. Let d be j/(45/(-50) + l). Solve 0 = -4*o - 6 - d for o.
-4
Suppose 3*i = -7 + 25. Solve -i*p - 18 = 12 for p.
-5
Let r(v) = 7*v**2 - 27*v + 53. Let t be r(2). Solve 0 = 3*u - 24 + t for u.
-1
Suppose -3*x - 4*k = 267, x + k + 84 = -6. Let m = -89 - x. Solve -b + 3*b = -m for b.
-2
Let b(s) = 9*s - 15. Let w be b(3). Let n(q) = q**2 - 10*q - 17. Let j be n(w). Solve -j*c + 3*c = 0 for c.
0
Let d be 6 - 5 - -6 - 3. Suppose 2*s + 2 = -0, -40 = -3*x + s. Solve d*z = -3 - x for z.
-4
Let d be (-1)/1*(22 + -27). Solve -7*o + d + 16 = 0 for o.
3
Suppose k = 5*y - 9*y + 20, -y - 37 = -5*k. Solve 45 = k*o + o for o.
5
Suppose -4*p = 3*w + 6, -3*w + 3*p = p - 12. Suppose -53 = -18*n - 17. Solve w*u + n = -0*u for u.
-1
Suppose -4*r + 54 = -2*s, 0 = 178*r - 175*r - 2*s - 40. Solve 18*a - 20 = r*a for a.
5
Let c(r) = -5*r**3 - r**2 - 2*r - 1. Let j be c(-1). Solve 2*u = j*u for u.
0
Suppose -89*b + 92*b - 12 = 0. Solve 6*j = b*j - 9*j for j.
0
Suppose 0 = -4*t - 0*b - 4*b + 72, 4*t - 78 = -2*b. Let i be (4 + (-72)/t)*21/6. Solve -i*u = 2*u for u.
0
Let k = 4 + -1. Solve -k*c = 4*c - 3*c for c.
0
Suppose 3*o = -4*h - o, -o = 4. Let v = -2 + h. Suppose -5*r - 3*w + w = 0, -3*r + w = 0. Solve r*p + p = -v for p.
-2
Suppose 0 = -5*v + f - 630, -f + 0*f = 5*v + 640. Let r = -127 - v. Solve r = -4*u + 6 - 2 for u.
1
Suppose -4*k + 36 = 5*c, -6*c + c - 5*k = -40. Suppose 2*b = -4*d + 5 + 1, -c*d = -3*b + 9. Let v(u) = u + 8. Let q be v(-6). Solve d - 6 = -q*r for r.
3
Suppose 30*a - 28*a = 22. Let j = -11 + a. Solve j = k + 2 - 6 for k.
4
Suppose 3*y + 54*c - 63 = 59*c, 4*y - 89 = 5*c. Solve -y*a = -29*a + 15 for a.
5
Let h(x) = x + 5. Let v(l) = -8*l**3 - l. Let m be v(1). Let c be h(m). Let n be 6/9*(c - -10). Solve -3*j + 2 = -n*j for j.
-2
Let d = -1 + 26. Let n = -19 + 17. Let q be (15 + -15)*(-1)/n. Solve 4*z + z + d = q for z.
-5
Suppose -2 = -2*h + 8. Suppose 5*w - h*z - 2 = 3, -3*w - 12 = 2*z. Let x(d) = d**2 + d + 2. Let j be x(w). Solve -4*k + 12 = j for k.
2
Suppose 14 = -3*k - 5*u - 13, -13 = k + 3*u. Let x = 6 + k. Suppose p - 5*d = -15, 2*p - 6*d = -7*d + 3. Solve -f + x + 0 = p for f.
2
Suppose -3*y = 4*c + 8 + 28, 3*c + 3*y + 27 = 0. Let a be 350/40 - c/(-12). Solve a*q - 3*q - 5 = 0 for q.
1
Let b(m) = m**2 - 12*m - 9. Let r(g) = g + 1. Let k(d) = b(d) + 4*r(d). Let v be k(9). Solve -n + 15 = v*n for n.
3
Let f be ((-4)/2 + 3)/((-3)/(-18)). Suppose 3*n - 4 - 5 = -3*c, 5*c + f = 2*n. Solve -2*u + 4 + 4 = c for u.
4
Suppose -3*p - 10 = -34. Suppose -4 = -4*o - m + 1, 2*m = -6. Suppose -o + p = 3*z. Solve -3*s - 15 = z*s for s.
-3
Suppose 9 = -3*m + 24. Suppose -m*l + 0*q - 5*q = -25, 0 = -5*l + 3*q + 9. Solve -o + l*o = 0 for o.
0
Let c(g) = -g**3 - 10*g**2 - 10*g - 5. Let t be c(-9). Let y(o) = -o**2 + 4*o + 2. Let s be y(t). Let l = 11 + -8. Solve -l*z + 1 = -s for z.
1
Suppose 3 = 3*l - 3. Solve -l = -2*w + 6 for w.
4
Let b = -2 + 26. Let i = b + -32. Let z be (-13)/(-4) + 2/i. Solve 2*n = z*n - 5 for n.
5
Let i(b) = -b**3 - 7*b**2 - 2*b + 1. Let q be i(-7). Let s be q/(-10) - (-14)/4. Solve c = 2*c + s for c.
-2
Let n(t) = t**3 + 5*t**2 - 18. Let j(s) = -s**3 - 6*s**2 + 17. Let o(x) = 7*j(x) + 6*n(x). Let k be o(-12). Solve 3*z = k + 4 for z.
5
Let x(o) = -3*o**3 + 2*o**2 - 1. Let q be x(-1). Suppose 2*h = q*h - 2. Solve -7 = 2*l + h for l.
-4
Suppose 285 = 28*v - 303. Solve 0 = 5*l + v - 6 for l.
-3
Suppose 0*f - 1 = 2*f - i, -i = -4*f - 3. Let h be (f - 2)/((-72)/96). Solve -h*b + 7*b = 0 for b.
0
Let j = 35 - 53. Let g be (16/(-20))/(-2 + j/(-10)). Solve 0 = f + g for f.
-4
Suppose 84 - 14 = 2*p. Suppose 5 + p = 8*h. Let f be 13 - (20 + 0)/h. Solve -f = 3*o - 0*o for o.
-3
Suppose -2 = -2*z - 0*z. Let o(p) = -6*p + 0*p + 0 - z. Let d be o(-1). Solve 0*i = -i + d for i.
5
Suppose -5*b + 8 = -4*b. Let t = b - 2. Solve g = -g + t for g.
3
Let j(d) = -d**3 + 16*d**2 - 39*d + 12. Let i be j(13). Solve i*y - 10 = 26 for y.
3
Let x = 398 - 398. Solve 5*u - 4 - 6 = x for u.
2
Suppose -10 = 5*b, -248*g + 252*g + 2*b = 72. Solve 17*t = g*t - 10 for t.
5
Suppose -5*w + 10 = 2*x, -3*w + 3*x + 3 + 3 = 0. Suppose 0 = 327*q - 312*q - 120. Solve -q = -w*n - 2 for n.
3
Let q = 37 + -27. Let o = q - 5. Solve t + 3 - o = 0 for t.
2
Let m = -637 - -637. Solve 5*i + 11 - 11 = m for i.
0
Let d(z) = z + 17. Let l be d(-10). Let c be -2 - 2/(-2)*l. Solve -a - 4*a = c for a.
-1
Let b be 4/6 - (-140)/(-21). Let n = b - -6. Suppose -3 = k + 2, -2*x - 5*k - 13 = n. Solve 20 = -y + x*y for y.
4
Let n(l) = l**2 + 30*l + 3. Let r be n(-30). Solve -2*s + 9 - r = 0 for s.
3
Let m = 915 + -907. Solve m*d + 2 = 18 for d.
2
Let h = -4291 + 4296. Let v(f) = f**3 + 7*f**2 + 7*f + 6. Let b be v(-6). Solve b = h*q + 2 + 8 for q.
-2
Suppose -3*v = 2*v - 20. Suppose 0*q = 3*q - 5*z + 9, -4*z = -4*q - v. Solve -q*i + 12 = 2*i for i.
3
Suppose -32 = -4*a - 4*i, -3*a - 41*i + 36*i + 30 = 0. Solve -a*g + 4*g = 0 for g.
0
Let i(o) = o + 3. Let u be i(0). Suppose 0 = -u*t + 5*t - 2. Solve 5*q + t = 11 for q.
2
Let a = -96 - -97. Let l be a*(7/((-28)/(-60)) - 0). Solve 5*j - 5 = l for j.
4
Suppose -3*g + 40 = -u, u = -14*g + 18*g - 54. Solve -8*j = -15*j + g for j.
2
Let x(s) = s**2 + s + 4. Let l be x(-3). Suppose -3*t = 3*r + 2 + 4, 4*r + l = -5*t. Suppose 3*y - 5*c = 43, -15 - 30 = -5*y + 3*c. Solve -2*k = y - r for k.
-3
Let g = 6 - 4. Let v be 2 + 16/(-3) + 8/6. Let n be (v/g + 0)*-4. Solve 3 - n = -q for q.
1
Suppose 6 = 4*j - 6. Suppose f + j*c = 9, 2*c + 5 = 2*f + 11. Suppose 0*o + 3*o - 12 = 0. Solve -o*n - 20 = -f*n for n.
-5
Let h(g) = 13*g - 39. Let x be h(3). Solve x*v = -3*v - 6 for v.
-2
Suppose -5*i + 24*i - 133 = 0. Solve v - i = -2 for v.
5
Let o = 256 + -252. Solve 0 = h + o*h - 20 for h.
4
Suppose 11*f - 91 - 536 = 0. Solve -5 = -13*o - f for o.
-4
Let z(a) = -a**3 - 5*a**2 + a + 11. Let r = -10 - -5. Let p be z(r). Solve 25 = u - p*u for u.
-5
Let b(c) = c**3 - 3*c**2 + 3*c. Let q be b(2). Suppose -4*k + 5*f = 75, -2*k = q*f - 3*f + 33. Let s be (-11)/(-4) + k/20. Solve s*y = 3*y for y.
0
Let i = -1 + 2. Let a = 5 - i. Solve -a*j - 1 = 3 for j.
-1
Let v be (-4 - (3 + 34/(-6)))*-3. Solve 83*k = 82*k - v for k.
-4
Let x be 9/(-