-4)/y. Solve 2*k + u*k = -q for k.
-1
Suppose 5*c = -2*q + 5*q + 63, 3*c + q - 35 = 0. Solve h - c = 4*h for h.
-4
Let l = 2000 + -1967. Solve 14*i - 3*i = l for i.
3
Let d(i) = -i + 17. Let a(b) = b**3 - 4*b**2 + 6*b - 6. Let g be a(4). Let h be g/12*16/(-3). Let z be d(h). Solve 0*c - z = 5*c for c.
-5
Let y(l) = l - 1. Let i(d) = -d**2 + 9*d - 7. Let o(n) = i(n) - 4*y(n). Let s be o(3). Solve -s*b + 1 - 16 = 0 for b.
-5
Suppose 2*y = -5*b - 12, -34 = -2*y + 4*b - 10. Solve -1 + y = -3*w for w.
-1
Suppose 5*x = -5*a - 25, x + 3*x + 20 = 5*a. Suppose 0 = o + 5*s - 23, -o - 4*s + 19 = -a*o. Solve o*p = 1 + 2 for p.
1
Let i be (-1)/((-4)/28 - 0). Let h(a) = a**2 - 5*a + 1. Let d be h(i). Solve 4*o = o + d for o.
5
Suppose -52 = 2*b - 56. Solve -b*g = -0*g - 4 for g.
2
Let t be (-49)/(-14) - 1/2. Suppose t*s = 5*s - 6. Let g = 6 - 4. Solve -g - s = -y for y.
5
Let n(k) = 2*k**2 - 51*k + 40. Let w be n(25). Let o be (24/(-10))/((-4)/30). Let x = o - w. Solve 0*l - 3*l - x = 0 for l.
-1
Suppose -1 = -2*p + 3. Suppose 3*v + 4*r - 24 = -0*r, p*r = -2*v + 14. Solve 0 = -4*w + 3*w - v for w.
-4
Suppose 0 = -3*h + h + 26. Solve 15*p = h*p - 8 for p.
-4
Suppose 0 = 2*f - 9*f - 84. Let u be f/10*20/(-6). Solve 0 = 3*l + l - u for l.
1
Let p(z) = -z**3 + 13*z**2 + 17*z - 33. Let j be p(14). Solve 98*t - 101*t - j = 0 for t.
-3
Let p(z) = z**2 - 4*z + 9. Let h be p(4). Suppose -4 + h = u. Solve 0 = u*s - s for s.
0
Suppose -r - j = -0*j + 14, 0 = -2*r + 2*j - 20. Let p be (15/(-12))/(1/r). Solve 7*k - 10*k - p = 0 for k.
-5
Let r = -25 + 29. Suppose -r*x - x - 28 = -3*z, -z - 9 = 2*x. Solve z = 2*q - 1 for q.
1
Let j be 21/5 + (-14)/70. Let x be (6/j)/((-5)/(-10)). Let y be 1/(x/9 - 0). Solve -2*v = y*v for v.
0
Let j(y) = 9*y**2 - 446*y + 250. Let b be j(49). Suppose -3*w + 4*c - 5 = 0, -1 = -3*w - 3*c + 4*c. Solve -3*m + b = -w for m.
2
Let k(s) = 7*s - 7. Let i be k(-4). Let u = i - -35. Solve u = 5*y + 1 + 9 for y.
-2
Let q(v) = -424*v - 3*v**2 + 2 + 875*v - 440*v. Let a be q(2). Suppose -t + 12 = 2*t. Solve t*w = 4 - a for w.
-2
Suppose -37 = -7*x + 33. Let z be ((-35)/(-4))/(x/(-40)). Let c be 14/z - (-12)/5. Solve -q - c = q for q.
-1
Suppose 3*r - 22 = r. Let f = 11 - r. Suppose 12 = 4*z - f. Solve -4*o + o = -z for o.
1
Let l = 13 - 12. Suppose 10 = -17*q + 19*q. Solve q*a + l + 14 = 0 for a.
-3
Suppose 5*h = -2*u + 26, 1 = h - 9*u + 8*u. Solve -h*q = 2 + 2 for q.
-1
Let g(l) = l - 4. Let s be g(8). Let i(t) = t**3 - 11*t**2 + 11*t - 6. Let x be i(10). Suppose -2*h + 6*h + 9 = -c, s*c - x*h - 24 = 0. Solve c - 8 = 5*f for f.
-1
Suppose 0 = 3*v, k + 4*k - 4*v = 40. Suppose -5*n + 12 = -k. Solve 11 = -n*i + 3 for i.
-2
Suppose -460 = -3*r - r. Suppose -r*w - 10 = -120*w. Solve -w*a - 4 = 2 for a.
-3
Suppose 0 = -0*x + 3*x - 30. Suppose 4*r = -l - 16, 0 = -7*r + 5*r - x. Suppose -g + 14 = 3*y, g = 2*g - 3*y + 10. Solve -g*o + 4 = -l*o for o.
-2
Suppose 2*t + t = -9. Let r = -25 - -25. Let g = r - t. Solve -g*a = a for a.
0
Suppose -4*t + t = 0. Let z be (t + -2)/(-1) - 3/(-3). Solve z*x + 4 = -5 for x.
-3
Let o(x) = -14*x - 1. Let u be o(-1). Let k = u - 22. Let n = k + 12. Solve -n*l = -l - 6 for l.
3
Let o be 5/(-20) + (-2)/(-8). Let f(n) = n + 4. Let q be f(-4). Let r be 3/(1/(-8)*-6). Solve r*d + o*d - 12 = q for d.
3
Let v be (-3)/6 + 90/20. Let w be 0*((-35)/10 + v). Solve w = 3*p + 6 for p.
-2
Suppose -5*w + 10*q + 429 = 6*q, -3 = 3*q. Solve 0 = w*f - 88*f - 12 for f.
-4
Suppose 5 + 2 = o. Suppose -4*w + 0 = 20. Let y = w + o. Solve -y = -i + 3*i for i.
-1
Let x be -2 + 3/((-6)/(-20)). Let l = x - -10. Let u = -16 + l. Solve 3 = f - u*f for f.
-3
Let d = 65 + -63. Solve 0*q = -d*q - 10 for q.
-5
Let r(w) = w - 1. Let a(o) = 4*o + 25. Let u(t) = -a(t) + r(t). Let d be u(-14). Solve -n - 3*n = d for n.
-4
Suppose 0*c - 3*c + 69 = 0. Suppose -3*l - 5*a = -36 - c, -l + 17 = a. Let h = l - 7. Solve -i - h = i for i.
-3
Suppose -3*m = 3*b + 2*b - 28, -b = 2*m - 7. Suppose 3*f + 2 = -2*n - m, 4*n = -f - 1. Solve n*l + 5 = -5*l for l.
-1
Let x(h) = h**2 + h. Let q(z) = -z**3 + 8*z**2 - 17*z. Let p(y) = q(y) + 5*x(y). Let k be p(12). Let u be ((-9)/(-6) - 2)*k. Solve -4 = -u*m + m for m.
-4
Suppose -16 = -5*n - 1. Suppose 1 = -n*o + q + 8, 3*q + 9 = 5*o. Suppose o*l = 2*s - 5 + 2, 0 = 3*s + l + 1. Solve s*a + 2 = -a for a.
-2
Suppose 158 = 10*r - 132. Solve r*y = 34*y - 5 for y.
1
Let z(n) = 3*n + 38. Let g be z(-6). Solve 0 = 22*k - 26*k - g for k.
-5
Let o = 156 - 130. Let n = o - 24. Solve -n*a = -a for a.
0
Let q(a) = 6*a - 6*a**2 - 20*a + 2 + 7*a + a**3. Let w be q(7). Let c = -1 - -5. Solve c*d + 2 = w*d for d.
-1
Suppose 5*f = -5*r + 105, -18*r + 4*f + 132 = -13*r. Solve 0 = -5*a - r + 4 for a.
-4
Let p = -93 + 95. Solve -14 + p = 3*g for g.
-4
Suppose -5*u = 4*d - 69, -d + 67 = 3*d + 3*u. Suppose -l = 4*m + d, 2*m + 3 = 5*l - 5. Solve -3*f - 2*f + 5 = l for f.
1
Let o(t) = -t**2 - 4*t + 8. Let m be o(-5). Suppose m*v + 63 = 6*v. Suppose 7*n - v = 4*n. Solve 5*r - n = -2 for r.
1
Let u = -115 - -80. Let v = u - -22. Let r = v - -13. Solve g + 4 = -r for g.
-4
Let z = -9 + 15. Let g = 403 + -403. Solve g = z*a - a + 5 for a.
-1
Let p be 3*((-96)/9)/(-2). Solve p*r - 13*r = 9 for r.
3
Suppose -4*g = -18 - 178. Let v = -46 + g. Solve 6*h = v*h for h.
0
Let j(s) = -s - 6. Let n be j(-24). Let w be 3 + (14/63 - 22/n). Solve 3 = w*u - 5 for u.
4
Let j = 6 + 10. Suppose -3*w = -u + 15, 3*w + j = 3*u - 11. Suppose -u*k + 9 = -3*k. Solve 6*b = k*b for b.
0
Let d = -14 + 14. Suppose -2*m + 2*l - 5*l - 11 = d, 0 = 5*m - l - 15. Let i be 7 + 0 - (-6)/m. Solve v + v - i = 0 for v.
5
Let m = 23 + -11. Suppose -m*q = -10*q - 6. Suppose 0 = -q*z + 7*z. Solve 3*d = -z*d - 9 for d.
-3
Let x be 4/22 + (-53)/(-11). Suppose -3*z + 116 = 4*w, -2*w + 5 = -x. Let k = z - 29. Solve -22 - k = -5*r for r.
5
Let p be ((-20)/(-6) + -2)*12/2. Suppose -5*i + p = -3*i. Solve -z - 5 = i*z for z.
-1
Let n(f) = 2*f**2 - 7*f + 6. Suppose d - 4*k = 4*d - 16, 0 = 2*d + 3*k - 11. Let c be n(d). Suppose 3*r + 140 = c*r. Solve -r = h - 6*h for h.
4
Let f(q) = -2*q - 31. Let l be f(-15). Let t be -4*1/(-2 - l). Solve 2*p - 2 = t for p.
3
Suppose -2*t = 5*j - 28, 28 = 5*t + 5*j - 3*j. Solve 2*g = -10 + t for g.
-3
Suppose -o - d = -34, o + 0*d - 42 = 3*d. Solve o - 32 = 4*t for t.
1
Suppose 4*w = 8*w - 96. Let c be 1*3 + (-7 - -8). Suppose -2*a = c*l - 32, 3*l + 0*l = -4*a + w. Solve 2*f = -2*f + l for f.
2
Let l(z) = 54*z**3 + 2*z - 53*z**3 - 1 - 3*z**2 + z. Let j be l(2). Suppose 2 - j = y. Solve -2*b + y = -1 for b.
1
Let n = -10 - -5. Let g = 11 + n. Suppose -3*v + 4*c = -28, -4*c + g = 5*v + 2. Solve -4*z - v = -0*z for z.
-1
Let g = -40 - -105. Let k = -63 + g. Solve k*u + 2 = 3*u for u.
2
Suppose 4*u = 3*a + 138, 3*u + a - 106 = 2*a. Let g be (-17)/((-102)/u) - 2. Solve 0*o + 16 = g*o for o.
4
Let v = -156 - -168. Solve 15*q = 21*q + v for q.
-2
Let w(n) = -n**3 + 7*n**2 + n. Let f be w(0). Solve f = 4*x + 45 - 37 for x.
-2
Suppose -2*v + 7*v = 2*g - 4, 3*v + 4*g = 8. Solve 4*c - 11 - 5 = v for c.
4
Suppose -2*i = 2*i, 5*s = 5*i + 10. Suppose 3 + 1 = -s*j. Let h be 4/(-7)*7/j. Solve -h*w - 15 = 3*w for w.
-3
Let x(y) = 3*y - y - 3*y + 17. Suppose -p = 3*p - 48. Let z be x(p). Solve -t = -z*t for t.
0
Let l(z) = z**2 + 11*z - 24. Let v be -14 - ((-1)/(-1) - 2). Let f be l(v). Solve f*g = g for g.
0
Let o(x) = -x**2 + x + 2. Let p be o(-1). Solve -11*q = -p*q + 44 for q.
-4
Let y be (-8)/(0/(-8) - 2). Let h be (-6)/(-4)*24/18. Solve y = -j + h for j.
-2
Suppose 10*i - 13*i = n - 230, -2*n = -4*i - 470. Solve -5*f - 228 = -n for f.
1
Let o(g) = 3*g**3 + 31*g**2 - 20*g + 24. Let p be o(-11). Solve -5*v = -p*v - 8*v for v.
0
Let i = -9 + 12. Suppose 0 = -2*f + 4, 3*f = i*b + f - 5. Solve b - 23 = 5*z for z.
-4
Suppose 3*g - 118 = -31. Let c = g - 24. Suppose 0*z - z + 12 = 3*t, -t = c*z - 18. Solve 0 - 3 = -z*a for a.
1
Let y be (-228)/(-12) + 22/(-2). Solve 4 = y*k - 28 for k.
4
Suppose -3*l - 2*z + 4 + 0 = 0, 4*l = 4*z - 8. Suppose 2*m + l = -5*d - 2, 0 = -d - 2. Solve -3*j + m*j = -3 for j.
-3
Let m(q) = q**2 + 6*q - 1. Let d be m(-7). Let y = -10 - -16. Solve -d*u - y = -3*u for u.
-2
Suppose 9*h + 2*h = 15*h. Solve -8 + h = 4*u for u.
-2
Suppose 3*g = 61 + 14. Solve q = -g*q 