et q be (0 - (-1)/(-3))*0. Suppose q*y - 16 = -4*y. Solve -s = y*s for s.
0
Let f = 0 - 0. Suppose 4*q + 6 = 14. Solve f*r + q = 2*r for r.
1
Let l(t) = -t**3 + 6*t**2 - 6*t + 7. Let n be l(5). Let h be (-1)/(-2) - (-2)/(-4). Solve h = -n*g - 2 - 0 for g.
-1
Let s be ((-12)/10)/(9/(-30)). Let c = s - 4. Suppose 0*n = -4*n + 3*p + 38, 4*n + 4*p - 24 = c. Solve -5 = n*b - 3*b for b.
-1
Let t(i) = 2*i**2 + 0*i**2 + 2*i**2 + i**3 + 4 - 5*i. Let z be t(-5). Solve -z*f - 1 - 19 = 0 for f.
-5
Let f(s) = -s + 1. Let y = 17 + -20. Let n be f(y). Solve 4*g = n - 20 for g.
-4
Suppose -z - 4*z = u - 338, 4*z = 3*u + 278. Let y = z - 48. Solve 2*h + y = 7*h for h.
4
Suppose 13 = -j + n, -j - 3 - 8 = -2*n. Let v = j - -22. Solve 3*y - 1 = -v for y.
-2
Let s(b) = -b**2 - 5*b + 1. Let i be s(-4). Suppose -i*n + 6*n = 0. Solve l - 1 + 6 = n for l.
-5
Suppose 0 = m - 30 - 2. Let q = -336 + 343. Solve 0 = -5*s + q - m for s.
-5
Let y = -2 - -3. Suppose y = -2*i - 3. Let o = 3 + i. Solve -c = o + 1 for c.
-2
Suppose -5*a + 18 = g, -3*g + 30 = 5*a + 2*g. Suppose -a*c = 3*c. Solve -2*b + 0*b + 6 = c for b.
3
Let t = -13 - -18. Suppose -t*a - 4*k + 5 = -4*a, -3*a + 15 = -k. Solve a*l + 1 + 4 = 0 for l.
-1
Suppose -4*c + 2*x = -0*x - 18, 2*x - 36 = -5*c. Solve -4*p + p - c = 0 for p.
-2
Let j be 32/10 - 3/((-60)/(-4)). Solve -4 = 2*o - j*o for o.
4
Suppose -l + 4*x - x = 14, 5*x - 25 = 0. Let a be l + 1 - (3 + 0). Let f = a - -1. Solve -k = -f*k for k.
0
Let q be ((-8)/(-3) - 2)*3. Suppose -q = s - 1. Let t be s/(-3) - 29/(-3). Solve -t - 5 = -5*i for i.
3
Suppose -2*u = -4*s, -3 + 4 = -s. Let n be (-3)/(-6) + 11/u. Let l = n - -8. Solve 2 = -w - l for w.
-5
Let u be (-6 - (-2 - 4)) + 0/1. Solve 4*b + 2 - 6 = u for b.
1
Suppose -7*b - 5*a = -3*b - 205, a = 4*b - 199. Let g be ((-2)/(-4))/(5/b). Let s = 4 + 1. Solve -2*q = s + g for q.
-5
Suppose -6*v = 3*v. Solve -b - 1 = -v for b.
-1
Let g(r) = r**2 - 10*r + 34. Let f be g(5). Solve 3*l - 3 - f = 0 for l.
4
Let n be (-18)/8*(-2 + -2). Suppose n = -4*j + 13. Solve 8 = -3*k - j for k.
-3
Suppose -3*j - 21 = -2*y - 0*j, -2*y = -5*j - 31. Suppose 5 = -y*l + 5*p + 10, -l + 2*p = -2. Solve 5*n = -l - 25 for n.
-5
Let m(y) = 13*y**2 - y - 2. Let x be m(2). Suppose 0*q + 3*q - 5*k - x = 0, 0 = -4*q + 2*k + 64. Let v be q/9 - 8/(-36). Solve 3*p = -v + 5 for p.
1
Let u = -8 + 6. Let h = u - -4. Suppose -t = -28 + 8. Solve 2*r + h*r = t for r.
5
Suppose 0 = 3*w - 6*w + 6. Solve -t + w = t for t.
1
Let k(p) = -3*p + 3. Let n(o) = 3*o. Let v be n(-1). Let u be k(v). Solve -2*s = s + u for s.
-4
Let d(b) = -3*b - 3. Let q be d(-2). Let l = -7 + 12. Solve k = -q + l for k.
2
Suppose 13*s = 10*s. Solve q + q = s for q.
0
Let o = 39 - 36. Solve -4*m - o = 1 for m.
-1
Let m(k) = k**3 + 3*k**2 - 4*k - 1. Let b be m(-4). Let a(c) = 7*c**2 + 1. Let d be a(b). Solve d = -2*i - 2*i for i.
-2
Let z(t) = t**3 - 5*t**2 + t - 3. Let q be z(5). Solve 18 = -5*a - q for a.
-4
Let k(p) = 6 + 1 + p - 1. Let u be k(-6). Suppose u = -d + 2 + 22. Solve -4*f = -d + 4 for f.
5
Let s = -6 + 27. Let g be 112/s*(-3)/(-2). Suppose 4*j = 24 - g. Solve -5*w + j = -1 for w.
1
Suppose 3*n - 11 + 2 = 0. Let g = -24 - -24. Suppose n*j - 17 + 5 = g. Solve -3 = -j*z + 5 for z.
2
Let w(l) = -l**3 + 7*l**2 + l - 10. Let f be w(7). Let x be f/(-6) - (-3)/2. Suppose 4 = -x*k - 2*j - 2, 5*k = 4*j + 12. Solve -3*h - 2*h + 20 = k for h.
4
Let v be -1*33/3 - -2. Let r = 18 + v. Suppose 2*t = -t + r. Solve -t*i + 1 = 10 for i.
-3
Let t be (0 - (-6 + -3)) + 1. Solve 2*d = 4*d - t for d.
5
Suppose 0 = 19*t - 22*t + 12. Solve -5*x - t = -x for x.
-1
Let z(a) = 0*a + a**2 - 10*a + 6*a. Let t be (-2 - -2)/(-1) + 4. Let i be z(t). Solve i = -0*x + 4*x for x.
0
Suppose 2*y - 1 = 13. Let m(i) = i - 1. Let w be m(4). Solve 0 = w*s + 5 + y for s.
-4
Let t(s) = -s**2 - 7*s + 3. Let q be t(-7). Suppose 2 + 4 = 4*w - 3*y, 18 = 4*w + q*y. Solve w = -b + 2*b for b.
3
Let x = 24 + -20. Solve -x*p - 3 + 11 = 0 for p.
2
Let g be -4 + 5 + 0/1. Suppose i + 0*i - 8 = -4*l, 2*i + 4 = 2*l. Solve i = -y - 0*y - g for y.
-1
Let o(m) = -m - 1. Let y be o(-4). Suppose -6*k + 10 = -k. Let f be 2 - (-1)/(k/4). Solve -y*a + f*a + 1 = 0 for a.
-1
Let m(z) = -4*z - 1. Let l be m(-1). Suppose -9 = -3*h - l. Suppose 0 = -3*j - h*w + 4, -3*j = w - 2 - 0. Solve 0 = -i - j*i + 3 for i.
3
Let d be 2/3 - (-28)/21. Solve -d*r + 0*r = 0 for r.
0
Suppose i - 2 - 13 = 0. Solve -4*u + 3 = i for u.
-3
Let g be (-4)/3 - (-24)/(-9). Let u(t) = -t**3 - 3*t**2 + 4*t. Let x be u(-3). Let h = g - x. Solve 3*f = -f - h for f.
-2
Let x be -8*((-7 - -4) + 2). Solve 3*l - x - 1 = 0 for l.
3
Suppose 3*v = 3*o - 9, -2*o + 2*v + 8 = -2*v. Suppose 3*x - 3 = o*x. Solve -x*f = -0*f for f.
0
Suppose q = -4*q + 50. Suppose 4 + 31 = 5*y. Suppose -q*p = -y*p - 9. Solve 0 = p*x - 0*x - 15 for x.
5
Suppose 4*l = -j - 2, -2*l = 3*l - 5*j - 10. Let h = 28 - 20. Solve l = -2*g - 2 - h for g.
-5
Let g be 3*(1 - 10/(-6)). Solve -m + g = 3*m for m.
2
Suppose 4 + 0 = 4*i - 4*l, 3*i - l - 7 = 0. Let r be (12/16)/((-12)/(-32)). Solve -p - r = i for p.
-5
Suppose -3*b + 11 = -25. Let q = b + -9. Solve 0 = -3*c + 2*c - q for c.
-3
Let u = -37 - -41. Solve 4*w = -0 - u for w.
-1
Suppose -2*p = -26 - 6. Suppose 2*x - 8 = 0, -x - p = -4*t + x. Solve 3*d = -9 - t for d.
-5
Let x(j) = j - 7. Let w be x(9). Suppose 5*a - 35 = -2*i, a - 2*i + 15 = w*i. Let s(b) = b**3 - b + 3. Let c be s(0). Solve a*o - c*o = 0 for o.
0
Let r = -3 - -5. Let n be ((-21)/35)/(r/(-10)). Let w(j) = j. Let s be w(4). Solve -19 = -s*i - n for i.
4
Let j = 51 + 38. Suppose -3*c + j - 2 = 0. Let y = -12 + c. Solve -7 = 5*a - y for a.
2
Let q be (-2)/5 - (-24)/10. Suppose -3*b + 4*b - 9 = 0. Let n(c) = -c**2 + 9*c + 1. Let w be n(b). Solve 0 = q*y + 1 + w for y.
-1
Let x = 32 - 29. Solve 0 = u + x*u + 16 for u.
-4
Let y(a) = a**3 - 2*a**2 - a + 2. Let m be y(2). Suppose 0 = 5*l + 3*d - 0*d, -5*l = -2*d - 25. Solve m = -l*w - w - 20 for w.
-5
Suppose -5*k + 0*k - 4*w = -17, -4 = -k - w. Let r = -4 + 8. Suppose -b - z = z + 4, -r*b + 11 = -z. Solve -3*x = -b*x - k for x.
1
Let s(h) = -h**3 + 16*h**2 - 15*h + 5. Let t be s(15). Solve t*z - 1 = -11 for z.
-2
Suppose -108 = -4*t - 0*t. Let f be (-6 - -7)/((-1)/(-3)). Suppose n - 3*m = 27, m = -n - f*m + t. Solve 5*w = n - 2 for w.
5
Let g = 32 - 29. Solve g*j = 5*j + 4 for j.
-2
Let u(q) = -q + 5. Let n be u(0). Suppose -8*p + 7*p = -n. Solve p*o = o - 16 for o.
-4
Let x be (5/(-2))/(1/(-2)). Suppose 2*r - 50 = -2*y, 4*r = -3*y + 87 + 8. Solve -x*w + w = -r for w.
5
Suppose -5*l + 4*l = 0. Suppose l = j - 0*j - 5. Solve j*c = 2*c for c.
0
Let m be ((-55)/(-22))/(1/2). Solve -3 = m*r + 2 for r.
-1
Let t(w) = -3*w**3 + w**2 - w - 1. Let i be t(-1). Solve -i*r = -6*r - 2 for r.
-1
Suppose 16 = 5*j + a + 3*a, 0 = 3*a - 12. Solve 2*l - 7*l - 5 = j for l.
-1
Suppose 0*g = -4*g + 4*r + 112, -5*g + r + 128 = 0. Suppose -j + 5*u - 2*u + 15 = 0, -5*u = g. Solve j = f - 6 + 3 for f.
3
Let b(h) = h**2 + 19*h + 15. Let a be b(-19). Solve -v - a = -6*v for v.
3
Let h(k) = 4*k**3 - 2*k**2 + 2*k - 3. Let f(b) = -5*b**3 + 3*b**2 - 3*b + 4. Let t(l) = -5*f(l) - 6*h(l). Let i be t(2). Solve s + 1 + 2 = i for s.
-3
Let m be (1 - 5)/(4/(-34)). Let f = -23 + m. Solve 0 = -3*a - 2 + f for a.
3
Let s(f) = f**2 + f + 1. Let b be s(-1). Suppose 0 = 2*u - 8, -b = 3*c - 4*u + 9. Solve -c*m + 4 = -m for m.
4
Suppose -16 = -c + 2*b, -4*c - 4*b + 52 = c. Suppose 0 = 4*j - 8 - c. Solve -29 = -j*k - 9 for k.
4
Let o(r) = -r - 2. Let d be o(-4). Suppose -d*a = -a. Let f be (-12)/(-9)*(3 + 0). Solve -v = -a*v - f for v.
4
Let k = 0 + 3. Suppose 2*f = -3*f + 15. Suppose a = 6*d - d + 12, -f*a + 2*d = -10. Solve k + 7 = a*l for l.
5
Suppose 0 = 3*s - 0*s - 15. Let w = -2 + s. Suppose -y = -4*y + 2*v + 17, 3*v + w = -3*y. Solve -y*r = -0*r for r.
0
Let f(u) = -u**3 - 5*u**2 + 2*u + 3. Let g be f(-5). Let b = g - -8. Solve -b = a + 3 for a.
-4
Let s = 10 - 2. Let z(w) = w**3 - 7*w**2 - 7*w - 3. Let d be z(s). Let h(v) = -v**3 - 3*v**2 + 2. Let y be h(-3). Solve -y = -3*o + d*o for o.
-1
Let k(o) = o**2 + 8*o + 14. Let u be k(-6). Let p be (-2)/(-3) - 7/(-3). Solve u*j - 7 = p for j.
5
Suppose -2*b = 5*y, 2*b + 3 = 4*y + 3*b. Let h = y + -2. Solve h = -4*v - 2 + 10 for v