 0 = -o - 3*o - 16. Let p be v(o). Solve 0*b - b + 4 = p for b.
4
Let c be ((-4)/4*4)/2. Let a = c - 4. Let n be (0 - 0) + a + 13. Solve 0 = t - 2 + n for t.
-5
Let a = -246 - -247. Solve -13 = -6*f - a for f.
2
Suppose 2*h - l - 9 = 0, -4*h = h + 2*l. Suppose 0 = -7*j + 2*j + h*p + 26, 5*j - p - 23 = 0. Let t be (-1)/4 - (-9)/j. Solve t*x - 8 = -0*x for x.
4
Suppose -3*x + 6 = r - 0, 3*r = 0. Solve x*b + 6*b = 16 for b.
2
Let f be (188/28 - 4) + 2/7. Solve -q - 8 = f*q for q.
-2
Suppose 4*t + 10 = -2*z, -3*z + 23 - 38 = -4*t. Solve t + 16 = 4*w for w.
4
Let k(j) = j**3 + j**2 + j + 4. Let m be k(0). Let f = -10 + m. Let n be ((-21)/(-14))/(f/(-4)). Solve -a = -n + 2 for a.
-1
Let s(i) = i**3 - 14*i**2 - 33*i + 18. Let a(o) = -o**2 - 11*o - 12. Let t be a(-7). Let b be s(t). Solve b*n + 3*n = 0 for n.
0
Let s = -1416 + 1463. Solve -9*h + s = 2 for h.
5
Let n(k) = 8*k - 5. Let c be n(4). Suppose -c = -3*f + s + 2*s, 0 = -5*s - 20. Let l be (-21)/14 - 3/(-2). Solve l = 3*i - 2 + f for i.
-1
Let i be (-61)/(-244)*(0 - -268). Solve -25 + i = -14*v for v.
-3
Let s be (-6)/(4 - (-34)/(-8)). Solve 0 = 2*t + 18 - s for t.
3
Let f(s) = s + 17. Let c be f(-7). Suppose 2*r + c = 4. Let l = -3 - r. Solve l = 5*u - 8 - 17 for u.
5
Suppose -17*j = -16*j - 6. Suppose 2 = 5*q + 2*h - 2, -q = -h - 5. Solve j - q = -r for r.
-4
Suppose -p - 3*p + 4 = -4*d, -3*p = 5*d + 45. Let l = d + 6. Solve 2*t + 0*t = l for t.
0
Let j be (-2)/13 - 7/(455/(-1635)). Solve 13 = -6*v + j for v.
2
Let i be (-13)/(234/(-27))*4. Solve 4*v = 6*v + i for v.
-3
Let k = -49 - -50. Let o(m) = 6*m**2 - 2*m + 2. Let a be o(k). Solve 4*t - a = 2 for t.
2
Let u = -491 + 504. Solve u*r - 6 = 11*r for r.
3
Suppose 14*t + 318 = 570. Solve 31 = -t*f - 5 for f.
-2
Let g(z) = -z**3 + 2*z**2 + 7*z - 3. Let p be g(3). Solve 22 = 2*b + p*b for b.
2
Let a = 503 + -423. Solve -76*w + 16 = -a*w for w.
-4
Let g be 2/(-4)*(11 + -15). Solve 2 = -g*m + m for m.
-2
Let m = -269 - -275. Solve m*k - 13*k = 0 for k.
0
Let q be (-34)/68*(-1 - 47). Solve -2*i = -22 + q for i.
-1
Suppose -9*d + 4*o + 25 = -6*d, 0 = -4*d - 3*o. Suppose 0*m - d*m + 12 = 0. Let c = 3 - 2. Solve 0 = k + m - c for k.
-3
Let k be 2 + 21*5/15. Suppose -2*a - 3*a + 15 = 0. Suppose -2*d = a*d - 5*m, 5*d - 12 = -m. Solve f + k = -d*f for f.
-3
Suppose -3*p = 4*b - 2, 7*p - 3*p + 3*b = 5. Suppose -5*c + 15 = -3*c - 5*j, -9 = p*c + 3*j. Solve 0*r - 2*r - 10 = c for r.
-5
Let v be (12/(-9) - 0)*210/(-20). Suppose -100 = -v*p + 4*p. Solve -5*g = -p*g for g.
0
Let t(x) = 4*x**2 + x - 1. Let m be t(1). Suppose 2*b + b = 12. Suppose 2*n - 6 = 0, b*p + n = 2*n + 49. Solve -m*o - p - 3 = 0 for o.
-4
Let r = -17 + 22. Suppose -r*v + 54 + 21 = 0. Solve l = -4*l - v for l.
-3
Let k be (20/8)/(1/2). Let c be 0/(k + -2 + -6 + 0). Solve c = -5*u + 3 - 18 for u.
-3
Let a(z) = -z**2 - 9*z - 16. Suppose -4*c = 2*s + c + 17, 26 = -4*s - 2*c. Let t be a(s). Solve 0 = -0*n - t*n for n.
0
Suppose -168*d + 134*d + 204 = 0. Solve -d*z + 7 = -17 for z.
4
Suppose 0 = 5*g - 709 + 549. Solve g = -14*p - 38 for p.
-5
Let x(z) = 2*z**2 + 7*z + 3. Let j be x(-5). Let b = 620 - 615. Solve -b*r = -2 - j for r.
4
Suppose 60 = 4*s + r, 2*r - 5 = 3. Suppose -s*i + 6*i = 0. Let p(w) = -w**3 - 7*w**2 + 9*w + 11. Let b be p(-8). Solve i = -b*l + 6 for l.
2
Let q(b) = -2*b**3 + 3*b**2 + 3*b**3 + 16*b - 17*b + 3. Let u be q(-3). Let c be -3*((-4)/u - 1). Solve 0 = 3*t - c + 2 for t.
1
Let s = 130 + -122. Solve 2*o + s = 14 for o.
3
Let v(b) = 5*b + 14. Let p be v(-5). Let f(w) = w**3 + 11*w**2 - w - 10. Let a be f(p). Solve 5 = u + a for u.
4
Suppose 6*a + 5*a = -4*a. Solve a = -8*r + 3*r - 15 for r.
-3
Let b(h) = -3*h. Let t be b(-1). Let z(l) = 2*l**2 + 19*l + 19. Let q be z(-9). Suppose -q*r + 87 + 93 = 0. Solve -t*u = 3 - r for u.
5
Let z be (-4)/(-50) + (-2092)/(-100). Solve -5*x + 26*x = z for x.
1
Let k be (4/(-12))/((-4)/(108/3)). Let z be -2 - (-1)/((-1)/8). Let a be z/(-6) - 8/12. Solve 11 + a = -k*f for f.
-4
Suppose -121 = -42*r + 173. Solve -2*g = r*g - 45 for g.
5
Suppose 18 = 2*t + 6. Suppose 2*u + 2*u = 0. Suppose u = -c + 5*o, -2*c + 6*c - 72 = 2*o. Solve 2*b = t*b + c for b.
-5
Let i = 47 - 47. Suppose i = -g - g. Solve g - 5 = -5*c for c.
1
Suppose 4*n = n - n. Solve c + 4 - 2 = n for c.
-2
Suppose 0*a - 4*a = 0. Suppose 5*h - 9 - 11 = a. Suppose 0 = -h*y + 7 + 5. Solve -23 + y = -4*p for p.
5
Let s(f) = -2*f**3 + f**2 + 6*f + 6. Let x be s(-2). Solve 4*h + 10 = x for h.
1
Suppose -4*r - 36 = -12*n, n + 12 = -4*r + 15. Solve -3*m - 2*m - 20 = r for m.
-4
Suppose 2*f = -2*s - 3*f + 2, -3*f = -3*s + 3. Let w = 26 + -24. Suppose -w*u - 6 = 3*n - 14, -4*u = -2*n. Solve -s - n = -m for m.
3
Let g = 128 - 74. Suppose -g = 2*l - 4*i, 4*i + 1 = -7. Let t = 33 + l. Solve m = t*m - 3 for m.
3
Let i(o) = -o**3 + 17*o**2 - 30*o + 13. Let a be i(15). Let w be (-1840)/(-299) - 2/a. Solve -3*f + 6 = -w*f for f.
-2
Let r(h) = -h**3 - 4*h**2 - h - 5. Let q be r(-5). Suppose 9 - 3 = -j. Let k be ((4 - 3) + j)/(-1). Solve 0 = k*z - 0*z + q for z.
-5
Let b be (-8 - -2)*-1 + 1. Suppose -5*t + 8 = -b. Let m be 1 + (1 - (t + -1)). Solve 5*g - 2 - 23 = m for g.
5
Suppose -3*v + 58 = -2. Suppose -2*o = -4*d + 34, 5*d - 7 = -5*o - 17. Let f = o - -7. Solve 5*c - c - v = f for c.
5
Suppose 0 = 4*x + 2*x - 24. Suppose -x*w + 4*u + 16 = 0, -3*w - 4*u = -2*w - 4. Solve w*q + q = 0 for q.
0
Let m(a) = -a**2 - 11*a + 1. Let j be m(-10). Let v = 19 + -11. Let h = j - v. Solve -n = -h*n + 10 for n.
5
Let c be 1 - (-2 + 5 - 0/(-3)). Let g(z) = z**2 - 2*z - 6. Let r be g(c). Solve -r*x = 2*x for x.
0
Let i = -311 + 313. Solve 0 = i*q + 2*q + 4 for q.
-1
Let h = 9 + -6. Let f be (45/25)/((-4)/((-40)/h)). Solve x + 10 = f for x.
-4
Suppose -21 = -9*o - 3. Suppose o*g - 4*g + 16 = 0. Solve 0 = 2*v - 0 + g for v.
-4
Suppose 126*d - 124*d - 2 = 0. Solve 0*z + z + d = 0 for z.
-1
Let f(q) = -6*q**3 - 31*q**2 - 4*q - 40. Let u(v) = -v**3 - 6*v**2 - v - 8. Let y(g) = -2*f(g) + 11*u(g). Let o be y(5). Solve -o + 27 = -5*b for b.
-5
Let r be (-16)/(-10)*(23 + 2)/5. Solve r*m - m = -14 for m.
-2
Suppose 5*f - 4*f - 3*r - 3 = 0, -15 = -5*f - 5*r. Suppose 5*z = f*z. Solve -3*x = -z*x for x.
0
Suppose 0 = -5*j - 4 + 39. Let q be (4 + j/(-2))*0. Solve 0 = k - q*k - 2 for k.
2
Let l(s) = -s**2 - 10*s + 12. Let h(y) = y**2 + 10*y - 11. Let c(n) = 4*h(n) + 3*l(n). Let q be c(-11). Solve -k = q*k for k.
0
Suppose 0 = 5*m + 2*k - 31, -22*m = -20*m + k - 13. Solve 0 = -5*f + m - 25 for f.
-4
Let h(o) = o + 11. Let s be h(0). Let f = 18 - s. Solve f - 27 = -4*c for c.
5
Let v = -1 - -1. Suppose v*h = h + 7. Let t = h - -7. Solve t = -2*j - 2*j + 12 for j.
3
Let r = -1 + 4. Suppose 4*p = 3*p - b + 3, 4 = 2*p + r*b. Suppose 2*n + 20 = -2*n, 0 = -p*x - 3*n - 10. Solve 1 + x = -k for k.
-2
Let r(s) = s**3 - 28*s**2 + s - 32. Let l be r(28). Let j be l/(-3)*3*2/8. Solve -4 = t + j for t.
-5
Suppose -3*u = 2*z + 2, 3*z + 2 = -5*u - 2. Let r be -4 - ((-9 - -2) + 3) - 2. Let c be ((-36)/r)/((-21)/(-14)) + -2. Solve 0*a = z*a - c for a.
5
Let m be 27/3 + 9/(-3). Let k be 50/m - (-4)/(-3). Solve -3*f + k = -2 for f.
3
Suppose 0 = -3*p - 4*n - 3, 5*p - 2*n - 13 = 8. Let z = 15 + -9. Let f be -3 + (z - (-2 + p)). Solve 0 = r - 0*r + f for r.
-2
Let u = 421 - 398. Solve 20 = u*y - 19*y for y.
5
Let q be (1 - (-1)/(-1))/2. Let r(f) = -f**3 - 5*f**2 + f - 4. Let h be r(-5). Let k be h/27*(-1 + -8). Solve -k*s = -q*s - 3 for s.
1
Let m be 7 + (-12)/(3 - -1). Suppose m*o - 4 - 12 = 0. Solve o*y = 5*y - 2 for y.
2
Suppose 3*b = 29 + 1. Suppose -m = b - 15. Let p be (-69)/(-12) - 2/(-8). Solve -m*n + 2*n = p for n.
-2
Let j = -88 - -102. Let q(p) = p**2 - 13*p - 14. Let v be q(j). Solve 12 = -v*x + 4*x for x.
3
Let f = -211 - -230. Solve 3*s + 7 - f = 0 for s.
4
Let m be 352/66 + 2/3. Let v be (m - 6)/(4/1). Solve v = -q - 0*q - 2 for q.
-2
Suppose 0 = g + g - 12. Let p = -5 + g. Let f be 9 + ((-3)/p - -1). Solve -2*w = -f*w for w.
0
Let v be 1/(3/(-6)) - -4. Let w = 24 - 21. Solve v*u = -w + 5 for u.
1
Let t be 1/(-4*(-3)/156). Let h be (t - -1) + -1 + -1. Suppose -6*f = -3*f - h. Solve -f = l + 3*l for l.
-1
Let x be (-8 - -4)*6/(-8). Suppose -2*i = -5*m, -6*i = -i - x*m - 19. Suppose -2*p = f + p - 19, 0 = -2*f - 5*p + 33. Solv