8*y = 25 for y.
5
Let h(o) = -o**2 - 7*o - 3. Let y = 5 - 0. Suppose 0*d + y*d = -30. Let k be h(d). Solve -j - 1 + k = 0 for j.
2
Suppose 4*y + q = -5, -2*q = -6*q - 20. Let a be (y/(2/(-2)))/2. Let l be -25 + 28 + 15/3. Solve a = u - 5*u - l for u.
-2
Let n be (768/480)/(8/10). Solve -13 + 13 = -n*l for l.
0
Suppose 0 = -2*r - 0*q + 3*q + 186, -3*q = -3*r + 282. Let b = 101 - r. Solve 8*o - 9 = b*o for o.
3
Let x = 569 - 529. Solve 7*n - x = -n for n.
5
Suppose 2*o + 4*x = 42, -4*o + 3*x + 74 = x. Suppose 0 = 4*v + 7 - o. Suppose 0*g - 1 = -5*k + g, 0 = 2*k - 2*g - 2. Solve -d = v - k for d.
-3
Let x be (8/(-3))/(((-126)/81)/7). Suppose 5*i - 14 - 1 = 0. Suppose n + 11 = -2*y + i*y, -2*n - 48 = -4*y. Solve -x - y = -5*w for w.
5
Let f = 44 + -73. Let c = -29 - f. Solve c = 2*m - 5*m + 12 for m.
4
Suppose 2 = -2*j, 6*n - j = 9*n - 14. Solve 4 = -n*b - 21 for b.
-5
Let i(d) = d**3 + 7*d**2 + 2. Let a be i(-7). Suppose x = -4*t, 0*x + a*x = -5*t. Solve 5*q - 15 = -x*q for q.
3
Suppose 2*k - 5*w = -3*k + 500, -5*w = 20. Let b = k + -94. Solve -b*t - t = 12 for t.
-4
Suppose -5*h - 8 = -3*r + 13, -13 = -5*r + h. Let c(k) = -8*k - 2. Let t be c(-3). Let q = -18 + t. Solve 2*z = r + q for z.
3
Let i(q) = q**2 + 4*q - 6. Let r be i(-6). Solve 0 = -43*h + 49*h - r for h.
1
Suppose 0 = -6*a + 37*a - 434. Solve -6*s = a - 2 for s.
-2
Let l = 5 - -21. Suppose -60 = -4*o - 4*b, -29 - l = -4*o - 3*b. Suppose 0*r = 3*r - 5*h - 6, -3*h + o = 5*r. Solve 9 = r*a + a for a.
3
Let x = -1091 - -1095. Solve -x*n - 14*n - 18 = 0 for n.
-1
Suppose 9 = 3*k, 3*k - 2*k = 3*p - 3. Let o(b) = -b**3 - 7*b**2 - 6*b. Let n be o(-6). Suppose 11 = m - n*m. Solve -p*y = -m + 1 for y.
5
Suppose -9*q + q + 16 = 0. Let j(u) = -q*u**3 + 7*u**2 + 4*u**3 - 3*u**3 + 7*u**2 + u - 10. Let k be j(14). Solve 0 = -d - 0 + k for d.
4
Let s(g) = 38*g + 627. Let f be s(-16). Solve 9*x - 26 = f for x.
5
Suppose 9*z = 3*z. Suppose z = x - 7*x + 30. Let o be x + 4/(-12)*-9. Solve 3*w - o = w for w.
4
Suppose 2*k = -5*k + 252. Solve -8*r + 4 = -k for r.
5
Let k(z) = z**2 - 26*z + 28. Let x be k(25). Suppose c + 4*n = -n + 10, -20 = -3*c - 5*n. Solve c*a = x*a + 2 for a.
1
Suppose 773*l - 44 = 762*l. Suppose -2*y - 65 = 3*y - 5*m, 3*y + m + 35 = 0. Let j be (y/(-10))/(3/10). Solve j + 8 = l*o for o.
3
Let k = -94 - -104. Solve -k = -0*w - 2*w for w.
5
Let g = 765 + -761. Solve -g*l = -26 + 18 for l.
2
Let s = 487 - 394. Solve -84*x = -s*x + 45 for x.
5
Suppose -7*f = -362 + 89. Let v = 40 - f. Suppose -22 = -3*x - 4*n, x - 5*n + 0*n + 18 = 0. Solve u + x = v for u.
-1
Let x = 1960 - 1871. Solve l - x = -87 for l.
2
Let f(p) = 121*p - 344. Let n be f(3). Solve -n + 24 = -k for k.
-5
Let j be (-8 - -11 - 9)/(-1 + -1). Solve 41 = j*z + 44 for z.
-1
Suppose -2*z + 1 + 5 = 0. Let y = z + 1. Suppose 2*f - 4*j = -j + 4, 4*f - 4*j - 8 = 0. Solve 3*d + y = -f for d.
-2
Let d be 6 - (-12 + 1 + 2). Solve d = -a + 10 for a.
-5
Suppose -2*f = -6*f + 5*c + 22, 0 = f + 2*c + 1. Let x(d) = d**3 - 5*d**2 + 5*d - 2. Let i be x(f). Let v = -3 - i. Solve 0 = y - 2*y - v for y.
-2
Let j(l) = -l**2 - 7*l - 6. Let r be j(-5). Suppose 0*b - 5*b - 4*w = 16, 2*w + 8 = r*b. Solve 4*x + x + 25 = b for x.
-5
Suppose m + 0*m = -10*m. Solve m = -10*k - 13 + 33 for k.
2
Let t(s) = s**2 - 7*s + 8. Let i be t(6). Suppose -4*k - k - 3 = i*l, 4*l = -3*k + 15. Let q be -7*l/9*-3. Solve -4*x + q = 2 for x.
3
Let q(o) = 14*o + 363. Let w be q(-25). Solve 0 = 13*g + 13 + w for g.
-2
Suppose 0 = 3*v - 5*l - 43, -l + 7 = 3*v - 6. Suppose 4*q + v*z - 2*z + 8 = 0, 5*q + 2*z - 5 = 0. Solve -q*j + 8 = 2 for j.
2
Let a(k) = -k**2 + 9*k + 70. Let d be a(14). Solve 0*l + l = d for l.
0
Let q = 63 + -40. Let r = -13 + q. Solve -r = -0*g - 2*g for g.
5
Suppose 0 = 2*h + 5*r, -h = 3*r + 2 - 1. Let w(v) = -v**3 + 6*v**2 - 5*v + 3. Let p be w(h). Solve 6 = -p*b + 3 for b.
-1
Let u(n) = -n**2 + n - 1. Let m(k) = k**2 + 11*k - 17. Let j(h) = m(h) + 2*u(h). Let r be j(11). Solve -2*x - r = -x for x.
-3
Suppose 4*y = 5*s + 22, -s = -y - 3*y + 30. Suppose -y*g + 13*g = 0. Solve g = -2*l + 2 for l.
1
Let i be (-2)/9 - (-2 - (-328)/(-18)). Suppose -2*j + 20 = 6. Let s = -1 + j. Solve s*g + i = 2*g for g.
-5
Let y be (3*4)/(-1 - 0). Suppose -g + 74 = 2*r + r, 4*r = -g + 97. Let o = y + r. Solve o = -4*c - 1 for c.
-3
Suppose 4*k + l - 15 = 0, 3*k = 5*k - 2*l - 20. Solve 2*p - k = -9 for p.
-2
Suppose 5*s - z = -7, 0*z - 5*z = -5*s + 5. Let l = s + 5. Suppose 5*m + 0*m - 38 = l*f, -3*m - 5*f = -16. Solve -m*p = -3*p + 16 for p.
-4
Let x(o) = o - 44. Let l be x(20). Let g be l/10*(-35)/14. Solve q = g*q + 25 for q.
-5
Suppose 26*a - 90 = -4*a. Solve a*b - 6 = -0 for b.
2
Suppose -2*s = -5*s. Suppose s = 4*l - 2*g - 18, 5*g - 21 = -5*l + 4*l. Suppose 0 = -3*u, 3*f + 3*u = -0*f + 6. Solve -f*t + l = -4 for t.
5
Let x be (-6)/5*(-5)/3. Let q = -2 + 2. Suppose -x*p + 18 = 4*j - 4*p, q = 5*p + 15. Solve 6 = j*k - 0 for k.
2
Let v(b) = 3*b - 3. Let q be (-8)/(-28) + (-12)/(-7). Let y be v(q). Suppose 0 = -p - p + 2*g + 12, -y*p - 2*g = -8. Solve 13 + 3 = p*h for h.
4
Let t(a) = -16*a - 48. Let v be t(-3). Solve 5*p = -v*p + 10 for p.
2
Suppose -3*f + 102 = -9. Let a = f + -12. Solve -5*m + 0*m = -a for m.
5
Suppose -4*u + 0 = -16. Let t be (2/3)/(u/18). Suppose -2*f = t*z - 66, 65 = -0*z + 4*z - 5*f. Solve c + 4*c + z = 0 for c.
-4
Let q = -19 - -21. Let f = 13 + q. Solve 1 = -4*g - f for g.
-4
Suppose -27*n + 34*n = 84. Solve -8 = -n*q + 16*q for q.
-2
Let s(o) = o**2 - 6*o + 6. Let g be s(6). Let x(w) = 3*w - 7. Let u be x(g). Let h be 1*(2 - 3)*-1. Solve u - h = -2*l for l.
-5
Suppose -3*n - 4*r = 122, 0 = -2*n - 2*r - 2*r - 88. Let w = -13 + n. Let v be w/(-9) + (-4)/18. Solve v = -3*a + 8*a for a.
1
Suppose -g + 3*g + 25 = 5*r, -2*r - g + 1 = 0. Suppose -2*q + 2 = -2*f, -3*f + 0 = 4*q + r. Suppose q*m - m = -6. Solve 2*b - 8 = m*b for b.
-2
Suppose -3*l + 5 = y, -l + 22 = 23. Solve 9*i = 7*i + y for i.
4
Suppose -21 + 21 = 9*p. Solve p = -c - 2*c - 3 for c.
-1
Suppose 9 = -3*z, -5*j - 5*z + 48 = -42. Solve -j*t = -4*t - 17 for t.
1
Suppose -44*l = -55*l. Solve 3*j - 6 + l = 0 for j.
2
Let r be (-8)/6 + (-15)/9 + 56. Let a = 57 - r. Solve -v = -a*v for v.
0
Let f = 33 + -16. Let b = f - 14. Solve -b*o + 5 = -1 for o.
2
Let q be (5 - 1)*-1 - 8. Let h(p) = p**2 + 13*p + 19. Let b be h(q). Solve 2*i + 20 = b*i for i.
4
Let j = -1219 - -1237. Solve 16*w - 46 - j = 0 for w.
4
Suppose f - 27 = -4*l, 2*f + l - 3*l - 54 = 0. Solve -26 + f = x for x.
1
Suppose 4*v + 3*q - 21 = 0, 5*v - 6 = q + 2*q. Solve -5*r = v*r + 8 for r.
-1
Let w(q) = -2*q**2 - 42*q - 94. Let n be w(-18). Solve -n*y + 24 = -20*y for y.
-4
Suppose -5*u = 110 + 290. Let x = u + 82. Suppose y = 4*y. Solve -x*d + 6 + y = 0 for d.
3
Let x = -7 - -9. Let b = 60 + -50. Let t = -8 + 12. Solve -b - x = t*a for a.
-3
Let c(a) = -a**2 - 3*a + 2. Let u be c(-4). Let v be 7/(28/8) - -2 - u. Solve -m + v*m = -20 for m.
-4
Let d = -4 - -10. Let c = d + 0. Solve c - 15 = -3*o for o.
3
Let x be 0/(-1 - -4 - -1). Suppose 4*p + 1 - 1 = x. Solve 5*j - 8*j = p for j.
0
Let y = 10 - 7. Let q be 0 + 1*17 - (-25 + 22). Solve -2*n + q = y*n for n.
4
Suppose -3*r + 9 = 0, o - 15 = 2*r - 4*r. Suppose -o = -5*b + 11. Let s(t) = t**3 - 4*t**2 + 3*t. Let h be s(b). Solve 0 = 6*p - 3*p + h for p.
-4
Suppose -3*u = -3*c + 6, -3*u + 0*u + 26 = 5*c. Suppose 16*m - 20*m = -12. Solve m*v = -v + c for v.
1
Suppose v + 3*v - z = 57, -1 = z. Solve 0 = v*b - 9*b - 25 for b.
5
Let k = -2532 - -2532. Solve k = -431*j + 433*j + 4 for j.
-2
Let w(g) = -4*g + 22. Let t be w(4). Solve -y + t = 2*y for y.
2
Suppose -t = -2, -3*t = 5*w + 9 - 165. Solve -26*z = -w*z + 16 for z.
4
Suppose -3*k = -0*i + 3*i + 3, -2*k = -5*i - 5. Suppose 0 = 5*x - k + 35. Let v = x + 9. Solve -v*t + 5 = 3*t for t.
1
Let l(r) = -r**3 + 21*r**2 - 109*r + 15. Let h be l(12). Let k be ((-2)/(-6))/((-3)/(-27)). Suppose -k*c = -3 - h. Solve -b = 2 + c for b.
-4
Let x = -12 + 12. Suppose 4*l + 2*b - 49 - 77 = x, -5*l + 4*b + 164 = 0. Let j = 37 - l. Solve j*g + 7 = -18 for g.
-5
Let i = 22 + -20. Suppose c + 18 = 5*f, -2*f = -5*c + i*f - 6. Solve -20 = -3*t - c*t for t.
4
Let f = -77 - -92. Solve 10*k - 15*k - f = 0 for k.
-3
Let n = -660 + 684. Solve 0 = 3*t + 3*t +