 = 0 for l.
3
Suppose 0 = -4*i + 4*l - 16, 16 = 3*i + 5*l - 4. Suppose i = 2*z - 5*z + 6. Solve -z*o + 7*o = -20 for o.
-4
Suppose -7 = 5*o + 3. Suppose 0 = 7*f - 0*f - 21. Let v = f - o. Solve 4*k + 15 = -v for k.
-5
Let y = -4 + 1. Let m = 5 + y. Suppose -3 + 1 = -2*t, m*t + 3 = a. Solve a*k + 3 = 4*k for k.
-3
Suppose 3*q = 9 + 3. Suppose -1 = p - q. Suppose -h = p*l - 22, -3*l + 0*l = -4*h - 2. Solve 0 = 4*s - 6*s + l for s.
3
Let s = 2 + 2. Solve 0 = -0*f + 2*f - s for f.
2
Suppose -2*q + 4*b = 3*q - 36, 16 = -4*b. Solve -d - q*d = -5 for d.
1
Suppose -2*f - 5*d - 6 = 0, 2*d + 2 = 4*f - 10. Suppose -4*y = 3*n - 7*n - 24, f*n - 3 = -3*y. Solve -h - 8 = -y*h for h.
4
Let p(x) = 2*x + 28. Let r be p(-12). Solve w + 0 + r = 0 for w.
-4
Suppose k - 4*v + 0 = 12, 3*k = -2*v - 6. Let r = 1 - k. Solve -r = -3*b + 4*b for b.
-1
Let q(m) = -5*m + 14. Let l(f) = -6*f + 15. Let s(p) = -4*l(p) + 5*q(p). Let z be s(6). Suppose o = -o + z. Solve 4*n = o*n for n.
0
Let n = 50 - 50. Solve n = -0*c + 4*c + 4 for c.
-1
Suppose -l = -4 + 3. Let q = -10 + 1. Let u = 15 + q. Solve -u + l = -5*b for b.
1
Let w = 3 - 0. Suppose w*p = -p + 28. Solve p*c + 15 = 4*c for c.
-5
Suppose 2*o - 8 = -0*o. Let k(r) = 3*r**2 - r - 2. Let w = 3 - 5. Let u be k(w). Solve o*b = -u - 8 for b.
-5
Let g be (22/33)/((-2)/15). Let i = -4 - g. Solve 6 - i = -5*w for w.
-1
Suppose 20 = -3*v - 2*v, a + 5*v - 25 = 0. Suppose -3*i - 2*i - a = 0. Let k = 14 + i. Solve 1 = 2*z + k for z.
-2
Let t be (36/60)/((-1)/(-5)*1). Solve 0 = t*k - 16 + 1 for k.
5
Let n = -35 + 38. Solve -2*v = -n*v - 3 for v.
-3
Let h(g) = -10*g - 44. Let i be h(-5). Solve -2*z + 2 = i for z.
-2
Suppose -4*q = 3*c - 27, 0 = -3*q + 4*q + 3*c - 18. Let u(a) = a**3 - 3*a**2 + a - 3. Let z be u(q). Suppose z = -0*t + 3*t. Solve t = -o + 6*o + 5 for o.
-1
Suppose 0 = 5*b - 0*b + w + 21, -3*w = -b - 1. Let q = b + 1. Let m = 1 - q. Solve -8 = m*o + 4 for o.
-3
Let a(x) = -6*x + 30. Let k be a(5). Suppose -3*l = -3*t - 51, 3*t = -l - 0 + 9. Solve -l = 3*h - k for h.
-5
Suppose -26 = 5*k + 4*m, 2*k + 5*m = -19 - 5. Let c be (6/(-9))/(2 + 8/(-3)). Let n be (-3 - k)*(-1 + c). Solve -x - 3*x - 4 = n for x.
-1
Suppose 3*q + i = 9, 2*q - 5*i = -3*q + 35. Solve q*u + 16 = -0*u for u.
-4
Suppose 4*w - 5*j + 31 - 6 = 0, -10 = -4*w - 2*j. Suppose 0 = -3*a - 0*a - 144. Let p = -28 - a. Solve w*f + p = -4*f for f.
-5
Suppose -2*t - t + 6 = 0. Suppose -t*m + 5*z + 10 = 3*m, 5*z = m + 6. Solve 25 = m*o + o for o.
5
Suppose -100 + 25 = -3*w. Let z = -14 + 23. Solve -w + z = -4*k for k.
4
Let i(p) = -p**3 + 4*p**2 + p + 4. Let s be i(4). Let u be 5/(-2)*s/(-5). Let t = 41 - 27. Solve -2 = u*d + t for d.
-4
Let x(m) = -m. Let d(u) = -u + 2. Let l(q) = d(q) - 2*x(q). Let w be l(5). Suppose s - 2*s = 5*o - 15, -5*s + 4*o = 12. Solve s = w*t - 2*t + 10 for t.
-2
Let x(m) = m**3 + 5*m**2 + 3*m - 4. Let f(u) = u**2 + 6*u + 1. Let v be f(-6). Suppose 7 = -2*y - v. Let p be x(y). Solve p = c + 1 for c.
-1
Let s be (-7)/(21/6) + 2. Solve s = 2*v + v for v.
0
Suppose -5*v + 2*w = -22, 2*w = -4*v + 27 + 5. Solve v*f - f = 25 for f.
5
Let i(r) = -r**2 - 7*r - 4. Suppose -3*s - 11 - 4 = 0. Let y be i(s). Solve -4*l + y = 2 for l.
1
Suppose -2*g + 12 = 2*x, -6*g = -2*x - 4*g. Solve 4*h + x - 23 = 0 for h.
5
Let g be ((-60)/(-6))/(1*2). Suppose g*r = -i + 4*r, 4*i - 9 = 5*r. Solve -i = -2*h + 3 for h.
2
Let i = -33 - -36. Solve 0*a = -i*a for a.
0
Suppose 0*h + 5*f + 11 = -3*h, 0 = -3*h + 4*f - 56. Let r = 20 + h. Let t = 2 - 2. Solve -4*l = -t - r for l.
2
Let k be 6 + (4 - 8) - 2. Solve k = 4*l - 2*l + 2 for l.
-1
Let r(j) = 3*j. Let i be r(-1). Let v be 1/(4 + i - 0). Solve -2*q + 3*q = -v for q.
-1
Suppose 3*y + 34 = 5*y. Solve 8 - y = -3*p for p.
3
Let v(k) = -k + 2. Let w be v(-2). Suppose -6*z = 3*s - z - 23, 3*z = w*s - 21. Solve s - 16 = -2*g for g.
5
Suppose c + d = -2*c + 9, 4*d - 2 = 5*c. Solve 0 = -c*r + 5 + 3 for r.
4
Suppose -24 - 16 = -4*b. Suppose j = b + 13. Let g be 33/12 - 1/(-4). Solve 4*l - g = -j for l.
-5
Suppose 0 = 4*n + 4. Let m be -1*((-1 - n) + -3). Solve -m*b + 4 = -b for b.
2
Let m = -17 - -21. Solve -m*b + 12 = 4 for b.
2
Let y be 4 + (3 + (-1 - 6) - -3). Solve -y*b + 12 = b for b.
3
Let n = -2 + -1. Let y be (n/2)/((-3)/8). Suppose -6*x - y*f = -3*x + 1, -x + 3 = -2*f. Solve g = 2 + x for g.
3
Suppose 0 = -i + 2 + 3. Suppose i*a - 17 = 13. Suppose 0*c = 3*c. Solve c = 3*m - 0 + a for m.
-2
Let r(m) = m - 1. Let d be (-1 - 9)*(-1)/2. Let q be r(d). Let g = q - 3. Solve -h = -2*h - g for h.
-1
Let a(w) = -w - 23. Let p be a(-23). Suppose -1 - 8 = -3*b. Solve -r + p*r = -b for r.
3
Let u be (-2 + 1)*5 + 2. Let a = 10 + u. Solve a*y - 12 = 4*y for y.
4
Let s(g) = -3*g + 3. Let l be s(-3). Solve i - 5*i = l for i.
-3
Let o = 5 - -1. Solve 2*j - o*j = 8 for j.
-2
Let w be ((-9)/27)/(1/(-6)). Solve w*b = 3*b + 4 for b.
-4
Let m = 35 + -32. Suppose -5*t + 0 + 7 = i, 0 = -3*i - 2*t + 8. Solve m*o = -i*o for o.
0
Let o be 0/((-9)/(-27)*(-6)/(-2)). Solve o = -6*p + 4*p + 8 for p.
4
Let n be -3 - ((-36)/4 - -3). Solve n = -3*p - 6 for p.
-3
Let z(n) = 2*n**2 - 2*n. Let x be z(2). Suppose 0 = 3*l - 1 - 8. Let s = l + -1. Solve 3*w + s = -x for w.
-2
Suppose 0 = -8*c + 4*c - 32. Let n be (c/(-5))/((-1)/(-5)). Suppose 4*o + 4*l = n, 5*l + 1 = -o + 3. Solve -6*y + 16 = -o*y for y.
4
Let l(n) = -n**3 - 8*n**2 + 10*n + 12. Let z be l(-9). Suppose 0*w - w = -z. Solve 0 = -w*v + 6*v for v.
0
Suppose 27*o - 160 = 17*o. Let r be ((-5)/3)/(2/(-6)). Solve k - r*k = -o for k.
4
Let g(u) = -u**3 + 5*u**2 - u - 7. Suppose -10*a + 5*a = -20. Let l be g(a). Solve -o + l*o = 8 for o.
2
Suppose 0 = -4*q - r, -q - 5*r = -5 + 24. Solve 0 = 2*d - q - 5 for d.
3
Let z = -12 + 14. Solve 0 = -z*t + t - 1 for t.
-1
Let d be 3 - (0 + 0 - 4). Solve 0 = -d*u + 3*u - 16 for u.
-4
Let f = -12 + 12. Let c = f + 0. Solve 5*z + 6 - 16 = c for z.
2
Suppose 2*s = 5*l - 20, -4*s + 6 = -5*l + 36. Let t = -1 - s. Suppose u + 0*f + 4 = f, -t*f + 16 = 0. Solve 4 = 2*c - u*c for c.
2
Suppose 0 = m - 4*m. Solve m = 3*p - 5 - 4 for p.
3
Let t(f) = f - 4. Let k be t(4). Suppose k = -0*l + 5*l. Solve a + l = -3 for a.
-3
Suppose 0 = -3*w + 4*j + 4, 4*w - 5*j - 6 = -0. Let o be 0*(-2 + 1 - 0). Solve x + w - 5 = o for x.
1
Let j = 115 - 109. Solve 5*q - j = -21 for q.
-3
Let p(u) = -u**3 - 3*u**2 + u + 3. Let r = 4 + -7. Let c be p(r). Solve 5*v - 9 + 24 = c for v.
-3
Suppose 10*o = 9*o. Suppose 0 = -o*g - 2*g + 2. Solve 3*d + 5 + g = 0 for d.
-2
Suppose 4*m - 10 = 9*m. Let i = 2 + m. Solve 5*x + 0*x - 20 = i for x.
4
Let p = 59 - 47. Solve -z = 2*z - p for z.
4
Suppose -20 = -4*k - 4. Let m be 8/16 + (-2)/k. Solve -p + 4*p = m for p.
0
Let s(l) = l**3 + 13*l**2 + l + 15. Let z be s(-13). Solve -2 = -4*h + z*h for h.
1
Let g = 5 + -2. Suppose y = g*y. Solve y = 4*v - 2*v for v.
0
Let h(s) = -s**3 - 8*s**2 + 9*s + 8. Let m be h(-9). Suppose -i + 5*i - m = 0. Solve 5*n - i + 7 = 0 for n.
-1
Let m(y) = 0*y - 1 + y + 2. Suppose 2*c + 6 = 5*g, 3*c + 2*c = 2*g - 15. Let l be m(g). Solve -l + 11 = -5*u for u.
-2
Let f(q) = -q**2 - 12*q - 11. Let i = -18 - -7. Let t be f(i). Solve t*a = -2*a + 4 for a.
2
Suppose 0*h = -h + 16. Solve -h + 1 = 3*u for u.
-5
Let x(m) = m**3 - 12*m**2 + 13*m - 11. Let a be x(11). Let d(p) = -p**3 + 12*p**2 - 11*p + 4. Let l be d(a). Solve -l*y + 7*y - 12 = 0 for y.
4
Suppose -2*y - 6 = 0, 0*y - 15 = -5*v - 5*y. Let l be v*2/((-4)/(-1)). Solve 0 = -l*n - 0*n - 9 for n.
-3
Suppose -x = k - 13, 2*k + 1 = -5*x + 36. Solve -4*t - 2 - k = 0 for t.
-3
Let b be (-40)/(-56) - 2/(-7). Suppose -2 = -j + b. Solve 7 - 1 = -j*f for f.
-2
Let j(c) = -3*c - 5. Let r be j(-5). Let m = 6 - r. Let x(z) = 2*z**2 + 5*z + 4. Let u be x(m). Solve -3*w - w = u for w.
-4
Suppose -2*y + 16 = -4*m, -6*y - 2*m + 12 = -2*y. Suppose 4*q = y*o, -o + 5*o - q = 0. Suppose 2*t + 4 = -0*t - 2*u, 0 = 3*t + u - 4. Solve -t*r + r = o for r.
0
Let q(m) = 0 - m**2 + 1 + 0*m**2 + m. Let o be q(-1). Let c = o + 2. Solve h - 5 = -c for h.
4
Let w be (3 + 0 - -10) + -3. Let h be (-5)/w + (-3)/(-2). Suppose h = i - 3. Solve -q + 9 = -i*q for q.
-3
Let z = 75 - 63. Solve -3*b = -7*b - z for b.
-3
Let v(y) = -15*y**3 + y. Let i be v(1). Let m be i/(-21) + (-4)/(-3). Solve -m*a - 4 = 2 for a.
-3
Le