 y for d.
-3
Let t(l) = 5*l**2 + l. Let h be t(-1). Solve 2*i - 6*i = -h for i.
1
Suppose 2*w + v = -6, 5*w + 3*v + 15 = 2*v. Suppose 0 = 2*y + 2*y - 36. Let p = y + w. Solve 6*x = 3*x - p for x.
-2
Suppose 3*k - 5*r - 9 = 0, k - r = -2*k + 9. Let h(w) = -5 - w + 3 - k. Let b be h(-7). Solve 6 = -b*t + 5*t for t.
2
Suppose -5*i - p - 10 = 9, -2*i = p + 7. Let a be i/2 - (-20 + 16). Solve -c + a = 3 for c.
-1
Suppose 4*n - 15 = -n. Suppose -n*w = w + 12. Let v be 2/(-6) + (-37)/w. Solve 3*b + b - v = 0 for b.
3
Suppose 0 = 4*o - 3*o - 2. Solve 5*p + 18 = -o for p.
-4
Suppose -y + 2 - 1 = 0. Let p be (-2)/y + (-10)/(-1). Let l = p + -3. Solve -r + l - 4 = 0 for r.
1
Let z be 46/4 - 1/(-2). Let o(u) = -4*u**2 + 3*u - 5. Let c(m) = -m**2 - m - 1. Let k(s) = 3*c(s) - o(s). Let h be k(6). Solve l = -h*l - z for l.
-4
Let m(d) = -3 + 0 - 1 + d - 2. Let o be m(8). Solve -j = o*j for j.
0
Let k be 2*(-2 + (-6)/4). Let g be 2/7 + 2/k. Let u = 3 - g. Solve 0 = 6*c - u*c - 9 for c.
3
Let g(m) = -2*m. Let k be g(-2). Suppose 2*o + 18 = k*o. Solve -2*p = -1 - o for p.
5
Let o = -26 + 28. Solve o*x - 2 + 0 = 0 for x.
1
Let n(s) = -s - 2. Let z be n(-5). Suppose 60 = 3*k - 3*y, -48 = -4*k - 13*y + 9*y. Solve -f - k = z*f for f.
-4
Let s = 3 - -10. Solve 3*a + 1 = s for a.
4
Let c(k) = -3*k**3 + 3*k**3 + k**3 + 5*k + 7*k**2. Let y be c(-6). Suppose -i = -y*i + 15. Solve -2*a - i*a = -10 for a.
2
Let z = -10 - -14. Solve -z*p + 7*p - 12 = 0 for p.
4
Suppose 11*a + 105 = 6*a. Suppose -l - 282 = l. Let f be l/a + 4/14. Solve f*r + 20 = 3*r for r.
-5
Let u be (-4)/10*(0 + -5). Let v be 0 + 0*1/2. Suppose v = -w - 2*m - 0*m + 15, 0 = 5*m + 25. Solve 3*r - w = -u*r for r.
5
Suppose -3*j - 3 + 0 = 0. Let s be (j + 0)*0/(-2). Solve f - 5*f + 16 = s for f.
4
Suppose 3 = 5*f + 13. Let l be f*(0 + (-15)/6). Solve -3 - l = 4*t for t.
-2
Suppose -5*m + 16 = 2*o, 5*o - 6 = 4*m + 1. Let j = -5 + -1. Let c be 4/j + (-55)/(-15). Solve c - 9 = m*d for d.
-3
Let v(w) = -w**2 + 8*w + 10. Let i be v(8). Suppose z = 5*t - t - i, -5*z = 5*t. Solve r = -r + t for r.
1
Let n(w) = -w**3 + 6*w**2 + 7*w + 3. Let r be n(7). Let b be 0*(r - 5 - -1). Solve -p + 4*p - 15 = b for p.
5
Suppose 4*m - 9 = 3. Suppose 4*x = -4*b + 5 + 15, 0 = -m*x + 6. Solve 4*l - 5*l = b for l.
-3
Suppose j - 21 = 6*j + w, 5*w - 30 = 2*j. Let u = j - -10. Solve u*h - 2*h = -12 for h.
-4
Let d(l) = 4*l**2 - 1. Let v be d(2). Suppose 12*m = 17*m. Suppose -4*x + k + 25 + v = m, 19 = 3*x + 2*k. Solve 0 + x = 3*p for p.
3
Let p be (-8 - -1)/(4/(-4)). Let t(y) = y**2 - 5*y - 9. Let s be t(p). Solve -s*w + 9 = 29 for w.
-4
Let b be (-4)/((-2)/(-1)) - (-23 - 4). Solve 2*n = -3*n + b for n.
5
Suppose d - 5*q = -5 + 1, -4*d = 2*q - 28. Let k(t) = -2*t + 10. Let c be k(7). Let p be (-1 - c) + (-2)/2. Solve -p*v = -d*v + 20 for v.
5
Let f(d) = 9 + d**2 - 7*d + 7 - 7. Let w be f(6). Solve -w*l + 0*l = -12 for l.
4
Suppose 0 = -12*m + 7*m. Solve -f + 5 = -m*f for f.
5
Let x be (5 - (2 - -3))/1. Solve x = o + o for o.
0
Let q(b) = -b**2 - 10*b - 6. Let h be q(-9). Let l = h + 15. Let d be (-3)/(3/(-2)) + l. Solve -d = 3*m + 2*m for m.
-4
Suppose 5*q = 5 + 10. Solve -q*m + 3 = 9 for m.
-2
Suppose 3*r = -2*r + 40. Suppose 4*t + a + 0 - 56 = 0, 2*a = -t + 7. Solve -r*v = -3*v + t for v.
-3
Suppose -3*t + 29 = 5*b, 0*t - 2*t - b = -10. Suppose p - 5 = -2*c - 2, -2*c = 4*p + 6. Let i = p + t. Solve -m + 5 = -i for m.
5
Suppose 5 = j - o, -5*j + 3*j - 4*o - 2 = 0. Solve 0 = a - 0 - j for a.
3
Suppose 7 = -2*i + 3*i - p, -3*i = 4*p. Solve 4*a = 2*a + i for a.
2
Suppose 2*l - 64 = -8. Suppose 2*b - 14 = x, -3*b + 3*x + l = b. Solve t - 2 = -b for t.
-5
Let z be (-2)/7 + (120/28 - 2). Solve 2*r + 0 = -z for r.
-1
Suppose 13 = -c - 5*f, -3*c - 3*f - 1 - 2 = 0. Suppose -c*u + 6 = 2. Suppose 4*i - 2*z - 2*z = 8, i + u*z = 14. Solve 20 = i*b - 2*b for b.
5
Suppose 2 = -2*q + t - 10, -4*t + 8 = 0. Let r = -5 - q. Solve r = -2*n + n - 4 for n.
-4
Let u(s) = -s - 1. Let r be u(-2). Solve 5*v - r + 21 = 0 for v.
-4
Let w = 76 + -76. Solve -l - 6 + 4 = w for l.
-2
Suppose 3 = -3*f, -4*z - 6*f = -f - 43. Suppose -2*c + 4*c - 4 = 0. Solve 0 = m + c*m - z for m.
4
Let o be 2 + 0 + 0 + 0. Suppose v - 3 = o. Solve -v*c = -c for c.
0
Let m(i) = -i - 1. Let y be m(-9). Let j(n) = -n**2 + 8*n + 6. Let u be j(y). Suppose -u*t = -3*z - t + 35, t + 1 = 0. Solve f + f = z for f.
5
Let v(a) = 2*a**2 - 21*a + 14. Let f be v(10). Solve 5 = -f*r - 7 for r.
-3
Suppose h + 1 = -7. Let k be h/(0 - -2) + 0. Let v be 2/(-4)*k - 2. Solve 2*u + 0*u - 4 = v for u.
2
Let j be 10/1 + 2/(-2). Suppose 0 = 3*r + 2*a - 15 - 8, r - 3*a + 7 = 0. Suppose 0 = -0*h + r*h - 20. Solve j = -w + h*w for w.
3
Let w be (-8)/(-28) + 174/(-21). Let o be (-1 - -3) + w/(-4). Solve 0 = u + o*u for u.
0
Let w be (1 - 1)*(-11 + 10). Let p(r) = -r**3 - 4*r**2 - 4*r - 6. Let d be p(-4). Solve 0*y - 5*y + d = w for y.
2
Let t(p) = -p**3 + 5*p**2 - p - 9. Let y be t(4). Solve 0 = y*o - o for o.
0
Suppose 2*z = -z - 5*k + 9, 0 = 4*z - 2*k - 12. Solve z - 5 = -b for b.
2
Let q(d) = d + 1. Let b be q(1). Suppose -2*j = 4*z - 20, 60 = 4*j + b*z - 10. Solve 5*l = -0*l + j for l.
4
Suppose 5*u + 3 = -27. Let m be (2/u)/(2/(-18)). Solve -m*l = l + 4 for l.
-1
Suppose -3*d + 17 = 5. Suppose p - 4*t = -3*p + d, 2*p - 6 = t. Solve 0 = p*r - 11 - 9 for r.
4
Let h be (11 - 23)*(-1)/4. Let q be ((-12)/10)/(3/(-10)). Let k be -1 + 0 + 3 - 1. Solve q*r + h = -k for r.
-1
Suppose 2*c - 2 = 0, -2*g - 3*c - 15 = -5*g. Solve -14 - g = -4*a for a.
5
Let x(t) = 2*t**2 + 4*t - 1. Let n be -1*-2*(-6)/4. Let f be x(n). Let m(z) = -z**2 + 5*z + 3. Let h be m(f). Solve v = 2*v + h for v.
-3
Let l = -1 - -4. Suppose -t + 5 + 4 = 0. Solve -4*b - l - t = 0 for b.
-3
Let j = 39 - 39. Solve -o = -j - 3 for o.
3
Let k(m) = -m**2 + 12*m - 2. Let n be k(12). Let i be (-10)/n + 6 + -6. Solve 0 = -r + i*r for r.
0
Let k(b) = 5*b - 4*b + 11 - 1. Let n be k(-5). Let u = 23 - 22. Solve -t + u = n for t.
-4
Let a be 2/(-2)*(2 + -4). Solve -7*b + a*b = 5 for b.
-1
Let t be (-7)/14 + 2/4. Solve 4*b + 13 + 3 = t for b.
-4
Let x = 18 - 21. Let n = 8 + x. Solve 10 = -3*k - n for k.
-5
Let c = -1 - -3. Suppose -2*b + 3*b - 2 = 0. Let h = b - c. Solve l - 2*l + 4 = h for l.
4
Let d(z) = z**3 - 6*z**2 + 5. Let f = 19 + -13. Let t be d(f). Solve 0 = 4*m + 7 + t for m.
-3
Let w be -2 + -1 + 7 + -1. Let o be 0 - (w + -2) - -3. Let p = 17 - 8. Solve 1 = o*c + p for c.
-4
Let i(w) = -w**3 + 12*w**2 + w - 12. Let m be i(12). Suppose 0 = -v - m*v + 3. Solve -4*s - v = -7 for s.
1
Suppose 0 = -2*d + 24. Solve d = 2*c + 2*c for c.
3
Let b = -31 - -37. Solve 2*x + x = -b for x.
-2
Suppose -34 = -4*z + 5*z. Let j = z + 48. Solve j = -3*c + 2 for c.
-4
Suppose 0 = l - 5*l - z + 10, 5*l - 5*z - 25 = 0. Suppose o = u + 2, -l*o - 6 = u - 24. Solve -m + 2 = -u for m.
5
Let r(o) = o**3 - 4*o**2 - 3*o - 5. Let m be r(5). Solve -7 = m*h - 2 for h.
-1
Let d = -36 + 18. Let s = d - -29. Solve -3*t = 2 - s for t.
3
Let y = 1 - 3. Let r be -2 + y/(2/(-3)). Suppose l = 5 - r. Solve 0 = -a - 0*a - l for a.
-4
Let q = 10 - 13. Let d be (-2)/(-4)*0/q. Solve 2*r + 0 + 2 = d for r.
-1
Let x(z) = -z**2 - 5*z - 3. Let l be x(-4). Suppose 0 = -a - 4*a + 20. Suppose l = -y + a. Solve 0 = b - y + 6 for b.
-3
Let r be 2 - (2 - (2 + 1)). Suppose 19 - r = 4*w. Solve w = -u - 3*u for u.
-1
Let n(j) = -5*j - 4. Let f be n(-2). Suppose b + f = 4*b. Solve -g - 3 = -b*g for g.
3
Let d = 43 + -38. Suppose -5*y + 40 = -0*y. Solve -d*s + y = -s for s.
2
Let g(o) = 8*o + 2. Let m be g(2). Suppose m = -5*n + 3*n. Let p = n + 9. Solve -5 = -q - p*q for q.
5
Suppose -t - 3*t + 5*p + 26 = 0, 2*p = -t. Solve 0 = -t*j - 1 + 13 for j.
3
Let a = -10 + 13. Let c be (a/(-2))/(9/(-66)). Solve c = 5*h - 4 for h.
3
Let c(s) = -s + 13. Let l(p) = 13. Let n(b) = -2*c(b) + 3*l(b). Let h be n(-6). Solve -2*i = 1 + h for i.
-1
Let u = 7 + -4. Suppose -3*z = -2*o + 5, -u*o + 4*o - 10 = 3*z. Let s = o + 8. Solve f + 2 = s*f for f.
1
Let n = -7 - -12. Suppose -n*z = -0*z - 60. Solve x - z = -3*x for x.
3
Suppose -2*j - 6*j + 64 = 0. Solve -2*h = -2 - j for h.
5
Let k be -9 - -8 - 1/(-1). Suppose -3*f = -k*f. Solve -3*y + 4*y - 2 = f for y.
2
Suppose -11 = x - 4*x - 5*r, 5*r = -2*x + 14. Let l be (-16)/(-