 Let w = c - -3. Solve 0 = -2*s - i + w for s.
-5
Let a be (-369)/(-90) - 1/10. Solve -l + a*l - 6 = 0 for l.
2
Suppose 3*t - t - 25 = -5*b, 4*t + 5 = b. Solve 6*o = 5 - b for o.
0
Let s(a) = 2*a + 15. Let q be s(-6). Suppose d + q = 2*d. Solve 0*g - d = -3*g for g.
1
Let j = -1 + 1. Let i(q) = q**2 - 162*q - 1006. Let l be i(-6). Solve 2*k + l*k = j for k.
0
Let n = -2 - -13. Let s be (-6)/(-27) + 70/9 - 2. Suppose d - n = -s. Solve c = -4*c + d for c.
1
Suppose 0 = 6*j + 25*j - 93. Solve 15 = 4*q + j for q.
3
Let c(h) = h**2 - 3*h - 9. Let m be c(-4). Suppose -11*z + m = -10*z. Solve 0 = -3*f + z - 4 for f.
5
Suppose z - 37 + 35 = -s, -4*z = -2*s + 34. Solve -5*f - s - 3 = 0 for f.
-2
Let h = 53 + -82. Let b = h + 37. Solve -8 = -4*d + b for d.
4
Suppose s = -4, 3*v + 5*s = 2*s. Solve -l = -v*l for l.
0
Let p(f) = 5*f - 3. Let g be p(-1). Let w be 4 + g - 6*-2. Let k be (6/5)/(2/5). Solve 0 = k*o - o + w for o.
-4
Let p(f) = f**3 + 13*f**2 + 13*f + 12. Suppose x = 57 - 6. Suppose 5*q - 55 = 5*n, -6*n - x = -2*n + 3*q. Let o be p(n). Solve 4*l - 5 - 7 = o for l.
3
Let c(g) = -g**3 - 3*g**2 + 5*g + 6. Suppose -12 = 5*f - f, -5 = 2*v - f. Let b be c(v). Suppose b*t = t. Solve y + 1 - 2 = t for y.
1
Let o be 2/(-7) + 92/28. Suppose -y - 4*q = 1 - 0, 15 = 4*y - o*q. Let m be (y - 13)/((-6)/9). Solve 0 = -4*w + 3 - m for w.
-3
Let g be 8/(224/91) + (-3)/(-4). Suppose -3*t + 13 = 3*d - 26, -g*t = d - 7. Solve d = -0*y - 3*y for y.
-5
Let d = 769 + -769. Solve 2*o + 10 = -d*o for o.
-5
Suppose 5*h - u - 40 = 2*h, -4*u = -5*h + 62. Solve -g = h - 15 for g.
1
Suppose 21*o - 135 = 33. Solve -u - o = -11 for u.
3
Let p(h) = -h**2 - 14*h. Suppose 4*v + 39 = -17. Let u be p(v). Suppose n = -2*j, u = -5*n - 0*j + 3*j. Solve n*s = -3*s for s.
0
Let a(b) = -12*b - 9. Let h = -52 + 51. Let o be a(h). Solve 0 = -2*k - o - 3 for k.
-3
Let n(v) = -v**3 + 7*v**2 - 6*v. Let m be n(6). Let b be 210/28 + (-1)/(-2). Suppose m*l = -2*l + b. Solve z = l*z - 12 for z.
4
Let b be -1 - (9/(-3) + 3). Let x be 0/(0 + b - 1). Suppose 3 = j + 3*a + 6, x = 2*j + a + 1. Solve -2*c + j = -4 for c.
2
Suppose 5*s - 10 = 3*q, q = -5*s + 5*q + 15. Let n be 3/((-2 - -4) + s). Suppose -j = n*j. Solve j*p = -4*p for p.
0
Suppose 4*r - 6 = 10. Suppose u = 3*j + 9, -2*u + r*j + 10 = 2*j. Solve -2*n + 5 = -u*n for n.
-5
Let n(b) = -7*b + 47. Let w be n(8). Let t = w - -13. Solve -6 - t = 2*r for r.
-5
Let b(y) = 12*y**3 - 1. Let j be b(1). Solve -5*o = -14 - j for o.
5
Suppose k = 2*y + 170, -2*y - 135 = -3*k + 383. Solve -4*t + k = 162 for t.
3
Suppose 4*u = -3*z + 2, -2*z + 4*z + 4 = 0. Suppose -k = -2*q - 38 - 19, 0 = 2*k - u*q - 106. Let j = k + -33. Solve 0*p - 4*p + j = 0 for p.
4
Suppose -4*m - 27 = -u, -m = -11*u + 7*u + 33. Solve -s = -u*s for s.
0
Let f(j) = -9*j - 354. Let z be f(-40). Solve -k - z*k = -2*k for k.
0
Suppose -6 - 3 = -3*n. Let j(a) = 6*a - 6. Let y be j(3). Suppose -y*o = -5*o. Solve -n*h + o*h = -12 for h.
4
Let y be (-416)/(-3) + 24/(-36). Solve -u + 140 = y for u.
2
Suppose 0*t - 130 = 2*q + 4*t, 4*q = t - 233. Let z = q + 31. Let r = z + 40. Solve r = -m + 4*m for m.
4
Suppose a = -a + 34. Let b(r) = -5*r + r**2 - 5*r + 2*r + 15. Let m be b(6). Solve m = 4*t - a for t.
5
Let b(s) = -s**2 + 5. Let c be b(0). Let v be -1 - (((-32)/60)/4 + 219/(-45)). Solve 3*m + v = -c for m.
-3
Let u(f) = f**3 + 4*f - 8 - f**3 - 4*f**3 - 5*f**2 + 3*f**3. Let i be u(-6). Suppose -i*q + 13 = 5. Solve -h = q*h + 6 for h.
-2
Suppose 0 = 3*r - 5*y - 57, -14 + 2 = 4*y. Suppose r + 21 = 5*w. Solve -w = -4*h + 1 for h.
2
Suppose 0 = -97*c + 187 + 201. Suppose -4*y = 4*h + 52, 9*h + y + 49 = 4*h. Let n be (h/(-4))/(1/4). Solve 0 = c*o + n - 1 for o.
-2
Suppose -5*u + u - w - 107 = 0, 5*w = -15. Let t = u - -27. Solve -t - 3 = q for q.
-4
Let b = -31 - -31. Solve b = -h + 3 - 4 for h.
-1
Let z = -125 + 151. Solve -z*q = -31*q for q.
0
Let j be 0/(-8 - -1)*(-2 - -3). Solve j = g - 2 - 1 for g.
3
Let o(r) = 13*r**2 + 48*r - 140. Let q(b) = -3*b**2 - 12*b + 35. Let m(z) = -2*o(z) - 9*q(z). Let i be m(-15). Solve 2*d + i = -3*d for d.
-2
Let b = 282 + -278. Solve -w + 0 + b = 0 for w.
4
Let r(t) = t**2 - 22*t - 46. Let o be r(-2). Let c(d) = 3*d**2 + d - 1. Suppose 8 = -3*x + 2. Let f be c(x). Solve 5*i - f = o*i for i.
3
Suppose -3*b = -4*u - 22, -3*u + 5*u - 22 = -4*b. Let z be (-12)/b - (0 + -7). Suppose -q + z*q = 8. Solve -5*j + q + 3 = 0 for j.
1
Let v(n) = -16*n + 585. Let q be v(35). Solve 33 = 2*m + q for m.
4
Let n(x) = x**3 + 2*x**2 - x. Let z be n(1). Let q = -20 - -35. Suppose 0 = 5*t - q. Solve -z*c = -5*c - t for c.
-1
Let l = 7 + -34. Let o = l + 31. Solve -o*j = -5*j + 1 for j.
1
Suppose 9*k = -554 + 1391. Solve k*q = 90*q + 12 for q.
4
Let f = -34 + 47. Let y = f + -11. Solve -t - 1 = -y*t for t.
1
Let r be (-36)/(-306) - (-249)/51. Solve -4*z + 1 = r for z.
-1
Let m = -1 - -2. Let j be 3/(-2) - 25/(-50). Let g = m - j. Solve 0 = -0*u + g*u for u.
0
Let m = -233 - -236. Solve 0 = m*z - z for z.
0
Suppose -l - 4*l + 20 = -5*d, -3*d = -l + 6. Solve -l*k = 3 - 6 for k.
1
Let t = 16 + -13. Suppose t*k - 5*k + 7 = -u, 5*k - 3*u = 17. Let j be k/(-1) - (-7 + -2). Solve -3*i = -7 - j for i.
4
Let r(d) = -d**3 + d**2 - d + 5. Let k be r(0). Let q = 1653 - 1653. Solve k = y - q*y for y.
5
Suppose -4*i = -5*i - 5, 0 = -3*w + 2*i + 10. Let x be -5*(-1 - w/2). Solve 0 = -x*z - 0*z + 10 for z.
2
Let z be -4*(-2)/24*15. Let s be (1 - (-2)/6)*117/78. Solve p = s*p - z for p.
5
Suppose -12 = 2*w - 20. Suppose 4*o - 5*j - 16 = 2*o, j = w. Solve 2 = -4*l - o for l.
-5
Suppose 0 = -n - n + 6, 4*n - 112 = -4*y. Let m = y + -19. Solve 0 = -4*o - 6 - m for o.
-3
Let q = 884 - 850. Solve 4*i - 50 = -q for i.
4
Let v = -15 - -11. Let f be -4*(10/v - -2). Solve f*x - 1 = 5 for x.
3
Let f = -10 - 19. Let z = 33 + f. Solve d - z = -0*d for d.
4
Let p = -26 - -19. Let d be (-3*2)/(p/(-14)*-3). Solve 0 = -d*m - m + 10 for m.
2
Suppose 5*o + 25 = -40. Let l(t) = 2*t + 12. Let d be l(o). Let v(i) = i**2 + 13*i - 13. Let c be v(d). Solve 0 = -2*f + 3*f - c for f.
1
Let f(k) = -10*k + 35. Let a(g) = -2*g + 1. Let o(s) = 2*a(s) - f(s). Let b be o(6). Solve 6*r = b*r + 3 for r.
1
Let f(o) = -o - 5. Let q be f(-9). Let a be -3 + 4 - (3 - q). Solve 4*u - 2*u = a for u.
1
Suppose -5*i = s - 42, -s + 3*i - 5*i + 42 = 0. Suppose 14 = 2*o + 72. Let l = s + o. Solve 5*x - 2 - l = 0 for x.
3
Suppose 2*f = -11*f + 4*f. Solve c = -f*c - 2 for c.
-2
Let h = -8 + 13. Let w(i) = i**2 - 9*i - 1. Let s(u) = 2*u**2 - 19*u - 3. Let t(k) = -6*s(k) + 13*w(k). Let r be t(h). Solve -2*n - r = n for n.
-5
Let b(m) = 5*m + 25 + 6*m - 9*m. Let n be b(-11). Solve 0 = y + n*y for y.
0
Let k = 227 - 225. Solve -4*d + k = -18 for d.
5
Suppose 10*q = -17*q + 22*q. Let k be (q + 20)*2/4. Solve 3*f + k = 5*f for f.
5
Let r be ((-27)/189)/(2/(-14)). Solve 3*d = r + 2 for d.
1
Suppose -3 = -l - 1. Suppose 88 = 33*n + 53 - 64. Solve 0 = -l*f + n*f for f.
0
Suppose -2*y + 732 = 4*y. Solve y*p + 3 = 119*p for p.
-1
Let w be (-1392)/80 + 4/10. Let b be -2 + 0 + -1 - w. Let q = 23 - b. Solve -2*h - q = h for h.
-3
Let x(o) = -3*o + 36. Let q be x(12). Solve q = -2*y - y + 15 for y.
5
Suppose 17*t + 15 = 22*t. Solve 4*x - 5*x - t = 0 for x.
-3
Let s(o) = -3*o**2 - 33*o - 38. Let b be s(-9). Solve -64 = -16*k + b for k.
5
Let z be (15 - 1)/(-7 + (2 - -6)). Solve 12*v = z*v for v.
0
Let q be 24/9 - 6/9. Let t be 2 + -1 + -3 - -10. Solve 0 = 3*x - t + q for x.
2
Let z(u) = -u**2 + 18*u - 28. Let t be z(20). Let f be (-8)/t + (-202)/(-17). Solve h = 4*h - f for h.
4
Let r = -55 - -63. Let y be (12/(-4) + 2)*-1. Let b be -2 + (2/y - -8). Solve 4*h - b = r for h.
4
Let m = 8 - 14. Let p = -44 + 26. Let o be m/p*(1 - -2). Solve -2*d - 7 = -o for d.
-3
Suppose 0 = -2*r - 3*r + 2*w + 25, -4*w - 35 = -5*r. Suppose r*c = -c. Suppose -12*j = -6*j - 90. Solve -2*h - h + j = c for h.
5
Let g = -108 - -186. Let v = -115 + g. Let i = 52 + v. Solve -n + i = 2*n for n.
5
Let t(x) = 4*x - 15. Let f(n) = n + 10. Let a be f(-5). Let h be t(a). Solve -11 - h = -4*k for k.
4
Suppose -2*y = y - 24. Suppose -2*a + 2*d + 17 = 3*a, -3*a + 5*d + 14 = 0. Solve -a*c - y = -7*c for c.
2
Let a(l) = -5*l**2 + 86*l - 2. Let i be a(17). Solve -4*k = -9*k + i for k.
3
Let i 