 for s.
5
Let i be ((-2)/(-9) + (-13)/18)*-10. Solve 2*a + i*a + 28 = 0 for a.
-4
Suppose -3*q = 2*q + 4*u - 61, -5 = 5*u. Suppose 17*i = q*i. Solve i*b - 8 = 2*b for b.
-4
Let i(p) = -5*p**3 + 4*p**3 - 14 - 8*p + 6*p**2 + 14*p**2 - 8*p**2. Let f be i(11). Suppose 0 = y - n - 6, 3*y + n = -y + f. Solve 6 = -y*c - 14 for c.
-4
Suppose 3*u = -2*u + 205. Suppose -u + 29 = -j. Solve -2*w = w + j for w.
-4
Suppose -2*j - 5*t + 22 = 0, -2*j - 38 = -7*j - 4*t. Suppose 0 = j*c - 11 - 1. Suppose 3*r = -2*r. Solve 0 = -r*i - c*i - 10 for i.
-5
Let l be 3 + (-1)/1*-1. Suppose 0 = -l*k - 11 + 35. Solve 5*u - k = 9 for u.
3
Let o = 14 - 11. Suppose -4*q = 24 + 32. Let r = 18 + q. Solve -o*w = -r*w for w.
0
Suppose 10 + 18 = 14*b. Solve b*n = -244 + 252 for n.
4
Let x be -4 + -21 + (-6)/3. Let u(y) = 3*y - 6. Let s be u(-5). Let z = s - x. Solve -3*j - 9 = -z*j for j.
3
Let o(w) = -w**3 + 10*w**2 - 21*w - 16. Let v be o(5). Solve k = -v*k + 5 for k.
1
Let v(t) = t**3 - 13*t**2 + 34*t - 35. Let f be v(10). Solve 0 = -24*k + 25*k - f for k.
5
Let x(y) = y**3 + 25*y**2 + 23*y - 16. Let k be x(-24). Solve 33 - 1 = -k*r for r.
-4
Let w(s) = 18*s + 4. Let x be w(1). Solve 2*l - x = -14 for l.
4
Let c be (-1)/(9/24*2/(-3)). Solve 25 - 37 = -c*m for m.
3
Let f = 34 - 31. Suppose 0 = 2*l + 1 - f. Solve -4*q + 3 + l = 0 for q.
1
Let p(o) = -11*o - 15. Let r be p(-12). Let j = r + -62. Suppose -5*m - j = -5*b, m + 29 = 3*b - m. Solve 2*q - b*q + 5 = 0 for q.
1
Suppose 132 = 5*l - l. Suppose 4*t = -q - 111, -t + 4*q - 6 = 9. Let x = l + t. Solve -a - 25 = -x*a for a.
5
Let h = 632 - 631. Solve -5*x - 24 = h for x.
-5
Let p be -4*2/(-4) + -3 + -2. Let c(u) = 5*u + 17. Let l be c(p). Solve 4 + l = 2*q for q.
3
Let w(p) = -7*p**2 + 20*p - 22. Let i(b) = 11*b**2 - 30*b + 33. Let c(h) = 5*i(h) + 8*w(h). Let s be c(2). Solve s*y = -9 + 34 for y.
5
Let m(d) = 2*d + 8. Let q(g) = -g. Let v(y) = -m(y) - 3*q(y). Let n be v(14). Solve 2*l = n*l for l.
0
Suppose 101*g - 2*r - 45 = 96*g, 2*g - 4*r = 34. Solve g*f = -2*f + 36 for f.
4
Let l(k) = -2*k**2 - 10*k + 21. Let c be l(-9). Let d = 61 + c. Solve q - d = -5 for q.
5
Suppose -5*c - 11 = 2*x, -3*c = 4*x - 2 + 3. Solve -20 = 3*k + x*k for k.
-4
Let b(h) = -2*h**2 + 13*h - 2. Let y be b(6). Solve -17 - y = -7*f for f.
3
Suppose -2*c - 7*j + 8*j + 462 = 0, 3*c + 2*j - 686 = 0. Solve c*r + 18 = 224*r for r.
-3
Let s be (-1)/(2/(-2))*5. Let l = 66 - 70. Let a = s + l. Solve 2*q = 3 + a for q.
2
Let n(t) = -3*t - 28. Let u be n(-14). Solve 7*z = u + 7 for z.
3
Let g(v) = 35*v + 74. Let m be g(-2). Solve 14 - 2 = -m*z for z.
-3
Let v = 6 + -13. Let c = -3 - v. Solve 4*b = 12 + c for b.
4
Let b be 1 + -5 + 12/2. Solve 4 - b = f for f.
2
Let q be (-1)/((-1)/66)*1. Let d = q - 64. Let n = -8 - -12. Solve -d*v = -n*v - 10 for v.
-5
Let i = 69 + -65. Let d be (-2)/6 + ((-20)/(-6))/1. Solve -b = -i*b - d for b.
-1
Suppose 4*l - 25 = -5*m, -4*m - m + 5*l = -25. Suppose -5*s - 17 = -2*n - 2*s, -m*n + 4*s + 53 = 0. Solve 3 = -5*w + n for w.
2
Let u be -1 - -1 - (-6)/2. Suppose -u*k - 10 = -8*k. Solve 20 = 6*j - k*j for j.
5
Suppose -22 = -13*l + 17. Solve 5*n - 2*n - l = 0 for n.
1
Suppose 4*z = 5*k + 20, -3*k + 15 = -4*z + 7*z. Solve 50*h - 54*h + 12 = k for h.
3
Let u = 40 - 37. Suppose 5*s + 3*z - 30 = 10, 3*z = u*s. Solve -s*h + 3 = 18 for h.
-3
Let h(m) = 2*m**2 - 18*m - 13. Let s(y) = 5*y**2 - 53*y - 39. Let q(r) = -8*h(r) + 3*s(r). Let g be q(-14). Solve 3 + g = -4*a for a.
-1
Let a be (-50)/(-175)*(20 - -1). Solve a*g = 2*g - 8 for g.
-2
Let w(s) = -15*s**2 + 16 + 3*s**2 + 4 + 10*s + 13*s**2. Let j be w(-8). Suppose -5*l + 4*c = -3*l - 4, j*c = 4*l - 4. Solve -n = -l*n - 1 for n.
1
Suppose 3*h = 24*m - 20*m - 34, -2*h = -2*m + 16. Solve -6*r = 4*r - m for r.
1
Let x = -2214 + 2221. Solve 0*h = -h - x*h for h.
0
Suppose -2*r = -0*r - c - 36, -92 = -4*r - 3*c. Let b(f) = f + 23. Suppose 2*d + 111 = 73. Let y be b(d). Solve r = y*i - 0 for i.
5
Suppose b - 291 + 289 = 0. Let j = 29 + -9. Suppose -2*w = -6*w + m + 7, 5*w = -m + j. Solve 20 = b*x + w*x for x.
4
Let a = -2240 + 2248. Solve -10 - a = -9*u for u.
2
Suppose -3*m + 10 = 2*n - 88, 5*n + 2*m = 256. Suppose 4*q = 5*r + n, 4*q - 20 = -3*r - 0*r. Solve t = -t + q for t.
4
Let c(m) = -m**2 - 5*m - 4. Let a be c(-4). Let r be a/(-3*1/3). Let o be 38/5 + (-4)/(-10). Solve 2*f - o = -r*f for f.
4
Let p(k) = k**3 - 2*k**2 - 3*k - 2. Let n be p(4). Let q = 16 - n. Let a be 2/5*(-20)/q. Solve -7 = -a*l + 5 for l.
3
Suppose 4*m = 2*m + 6. Suppose -w + 3 = 2. Suppose 0 = -2*s - w + 11. Solve s*y + m = 2*y for y.
-1
Let r be (3 - 6) + 5*1. Let y(w) = -2*w**3 + 3*w**2 - 2*w + 2. Let v be y(r). Let m = 1 - v. Solve -4*t - 5 = m for t.
-3
Let g(j) = 1. Let v(d) = 2*d + 13. Let z(x) = 22*g(x) - 2*v(x). Let b be z(-4). Let m be 1/(-4) + 27/b. Solve 3*o = -m*o + 10 for o.
2
Suppose -2*v + 11 = 2*a - v, -3*a + 5*v + 10 = 0. Let s = 20 - a. Let t be 2 - -2*1/(-2). Solve s + t = -4*i for i.
-4
Let q(c) = 2*c**2 + 2*c - 9. Let i be q(2). Solve -i*s = -6 - 0 for s.
2
Let g = -11 - -16. Solve -7 + g = 2*v for v.
-1
Suppose 3*w = 4*t + 6, -4*w + 11 = 3. Suppose t*n + 5*n = 80. Solve 3*s + n = 7*s for s.
4
Suppose -g - 15 = -w, -5*w - 1 = 2*g + 8. Let o be (-21)/(-5) - (g/20)/(-3). Solve 0 = -o*m + 1 - 9 for m.
-2
Let v be 0/(3 + -2 - -1). Suppose -5*p = -3*p - 2. Solve v*x = x + p for x.
-1
Suppose -7*g + 3*g = 16. Let r = g + 10. Solve r = j - 4*j for j.
-2
Let g = 330 - 327. Solve 6 = -g*j + 15 for j.
3
Suppose -c + 0*c + 4*m + 76 = 0, 0 = -4*c - 2*m + 394. Suppose -c = 2*l - 2. Let n be (-2)/(-8) + l/(-4). Solve -s - n = -5*s for s.
3
Let h be 1/((-3)/2 + 22/11). Suppose -4*j + 5*j - h = m, -m - 2 = j. Solve -3*z - z + 20 = j for z.
5
Let n(m) = m**2 + 9*m + 22. Let q be n(-7). Suppose -c - q = -4*b, 4*b = 2*c + c. Solve -c = 4*x + 12 for x.
-4
Let v(q) = q**2 - 9*q - 51. Let g be v(13). Solve i + 0 = -g for i.
-1
Let s(p) = -3*p + 33. Let f(j) = -2*j + 24. Let i be f(7). Let w be s(i). Solve -w = 2*t + 1 for t.
-2
Let j(b) = 35*b - 348. Let l be j(10). Let i = 1 - -1. Solve -i*q - l*q = 8 for q.
-2
Suppose 5*t + j - 12 = -j, 0 = -3*j + 3. Let k(l) = l**3 - 25*l**2 + 46*l + 39. Let s be k(23). Suppose 0 = 41*r - s*r. Solve 8 = t*i - r*i for i.
4
Let w = -239 + 241. Solve 0 = 3*d - w*d for d.
0
Let d be (0/(-2))/(-5 - (2 - 4)). Suppose -q = -d*q + 4*q. Solve -n + q*n - 5 = 0 for n.
-5
Suppose 0 = 32*f + 25*f - 285. Solve -5*o - f*o = -30 for o.
3
Let y = -3902 - -3907. Let i(l) = -2*l - 4. Let u be i(-5). Let j be 2/u + 11/3. Solve -y*r = -24 + j for r.
4
Suppose 5*m - 2*m = -3*b, 0 = -5*b + 2*m. Let y = 8 - b. Suppose -4*o = -2*o - y, 4*r = -3*o + 12. Solve -4*a + 0*a - 12 = r for a.
-3
Suppose -h = 3*o - 39, 6*h - 2*o = 3*h + 95. Let j be 36/405*(-5)/(-2)*9. Let t be j/(39/h + -1). Solve -5 = 3*f - t for f.
2
Let i(c) = -5*c - 66. Let h = -66 - -52. Let v be i(h). Solve 0*a + v*a = 0 for a.
0
Suppose 3*d + 57*w = 60*w + 6, 2 = 5*d - w. Solve -8*o - 5*o - 65 = d for o.
-5
Suppose -112 = 2*z - 3*a - 301, 0 = 4*z + 5*a - 367. Solve -23*j - z = 22 for j.
-5
Suppose -u - 3*t = 3*u - 7, -5*u = -t - 4. Let i = u - 1. Suppose i*l = -4*l + 12. Solve l*o + 0*o = 3 for o.
1
Let f be (-135)/75 - 48/(-10). Solve -f*s = 3 - 9 for s.
2
Let h be (-1)/(-2)*(21 - 1). Solve h*a - 7 = 3*a for a.
1
Let n(u) = -4*u**3 - u**2. Let o be n(-1). Let l be 0*o*4/(-24). Solve l = 2*m - 7*m + 20 for m.
4
Suppose 0 = -5*l + 2*t - 3*t + 62, 29 = 2*l - t. Suppose -r = l - 13. Solve r*i + i = 0 for i.
0
Let i = -37 - -53. Let l = i + -11. Solve l*m = -1 - 9 for m.
-2
Let c(x) = x**2 - 11*x + 22. Let j be c(9). Solve -6*z + j = -4*z for z.
2
Let g be (26 - -44)*5/7. Solve 44*l = g*l for l.
0
Let w(y) = 52*y + 33. Let s be w(-5). Let i be 6/(-27) - s/9. Solve 0 = -5*p - i - 0 for p.
-5
Let h = -104 + 116. Suppose -h = -9*r + 6. Solve -3*c - 15 = r*c for c.
-3
Let p = 11 + -7. Let c be (4 - 39/9) + 3/9. Let z be c/(-2) - (1 + -1). Solve -h + 1 - p = z for h.
-3
Let r = 46 + -42. Suppose x + 1 = -2*f + 6*f, 0 = r*f + 4*x + 4. Solve f = q - 0 - 1 for q.
1
Let j(a) = a**2 + 10*a + 89. Let h be j(-7). Solve -78 = -5*q - h for q.
2
Suppose 3*s = 10*s. Let g be (-2)/(3 + -4 + s). Solve -q + g*q = -1 for q.
-1
Suppose 2*w + 2*w = -2*v + 4, 