)/3). Let d = 13 + l. Solve -d*k + a = -0*k for k.
2
Suppose 0 = 5*d - 5*f - 115, -d = 4*f - 3 - 5. Solve 0 = -q + 5*q + d for q.
-5
Let h = 64 + -37. Let x be (9/h)/(1/12). Solve -2*o - 4 - x = 0 for o.
-4
Suppose 2*l + 4*w - 2 - 12 = 0, 3*l + 4*w - 17 = 0. Let g = l + -1. Suppose -2 - g = -o. Solve o*x - 4 + 0 = 0 for x.
1
Suppose -15*u = -13*u - 4. Solve -u = -o + 3*o for o.
-1
Let l = 11 - 8. Let b = -5 + 9. Suppose b*w + h = 19, 43 = 3*w - 2*h - l*h. Solve 3*c - w = c for c.
3
Let i = -2 + 3. Let b = 11 - -1. Let u be 6/b*(-1 + 3). Solve -i - u = -2*x for x.
1
Suppose -l + 4 = l. Solve 0 = l*w + 4 + 2 for w.
-3
Let h = 3 - -1. Suppose -5*x + 43 = -h*g, 79 = 5*x + 4*g + 12. Let l = -4 + 6. Solve -3 + x = l*v for v.
4
Let c(r) = 3*r. Let n be c(1). Suppose -4*q = -3*q - n. Solve 0 = a + q*a + 20 for a.
-5
Let w = 18 - 11. Let u = w - 4. Suppose -4*r + 4*n - 4 = 0, 4*r + 4 = u*r + 4*n. Solve h + r = 2 for h.
2
Suppose 0*p = -4*p + 12. Solve -l - 6 + p = 0 for l.
-3
Let h = -7 - -9. Solve 7 = -h*r - 3 for r.
-5
Let w = -4 + 32. Let m be w/12 + (-2)/(-3). Suppose -4*b + 20 = -4*c, b = -4*c - 4 + 24. Solve -b = -m*o - o for o.
2
Let z(q) = -q + 15. Let y be ((-4)/(-6))/(8/156). Let l be z(y). Solve 2*k + l = -2 for k.
-2
Let d(m) = -m**2 + m + 4. Suppose -2*c = -c. Let y be d(c). Let x = -4 + y. Solve -r + 3*r - 10 = x for r.
5
Suppose -f = -j - j + 7, 4*j - 15 = f. Suppose -j*g + 3*g + 4 = 0. Solve g*s + 5 = -7 for s.
-3
Suppose -3*n = -5*g - 21, n - g + 21 = 4*n. Let p = 16 - n. Suppose -4*u - 3*i = -11, 2*i = 7*i - 5. Solve z = -u*z - p for z.
-3
Let z(i) = -2*i**3 + 12*i**2 - 6*i. Let x be z(5). Let n = 8 + -8. Solve 4*p + n*p - x = 0 for p.
5
Suppose 4 - 18 = -7*q. Solve -q*i = -3 - 3 for i.
3
Let b be 2 + 7 + -4 + 0. Suppose b*h - 2*h = 0. Solve -4 = 4*t - h for t.
-1
Let j(a) = 2*a**2 - 3*a - 1. Let q be j(-3). Suppose -11 - 8 = -z - 4*c, q = 2*z + 5*c. Let u = 11 + -8. Solve 2*s - u*s = -z for s.
3
Let r be (-10)/35 - 68/7. Let h = 15 + r. Suppose 0 = -h*g - 5*n + 10, -5*g = -0*n - 4*n + 8. Solve -4*j + 2*j = g for j.
0
Suppose 3*q = 2*h - 22, 22 = 5*h + 2*q + 5. Let f(z) = -z**3 + 4*z**2 + 4*z + 5. Let y be f(h). Suppose y = b - 0*b. Solve 4 = -b*p + 2*p for p.
2
Let f(h) = -2*h - 4 + h + 3*h. Let v be f(4). Suppose -k - 3 = -0*k - 3*w, -3*k - w = -1. Solve k = a + v*a - 25 for a.
5
Suppose -3*o + 8 = o - 4*t, 5*t = 3*o - 2. Suppose w + o = 2*w. Solve -2*c = -4*c + w for c.
2
Let t = 11 - 10. Solve t = -4*c - 19 for c.
-5
Let a be (-1)/(((-2)/(-18))/(-1)). Suppose 3 = -3*j + a. Solve 3*o + j*o + 15 = 0 for o.
-3
Suppose -23 = -p - 3*i, 3*p + 4*i - 44 = -0*i. Solve -p = c + c for c.
-4
Let z be (-4)/2*26/(-26). Solve n + 0*n - z = 0 for n.
2
Let v be (-8 + 5)/((-6)/(-8)). Let g be ((-2)/3)/(v/24). Solve -g*b = -0*b + 4 for b.
-1
Let q(g) = g**2 - 3*g - 4. Let d be q(3). Let u(x) = x + 4. Let k be u(d). Suppose -4 = j + 3*b, -3*b + 11 + k = 4*j. Solve j - 14 = 3*l for l.
-3
Suppose -3*n = 2*v - 13 - 40, v = 4. Solve 9*d - 6*d = -n for d.
-5
Let s(g) = 7 - 3*g**3 - 15 - 2*g + 7. Let y be s(-1). Suppose -5*d + y = -3*d. Solve -d*l = -l for l.
0
Let z = 3 + -2. Let a be (-5)/4 - 126/(-24). Solve z = a*m + 5 for m.
-1
Let n be ((-12)/3)/(6/(-3)). Let u be (n/(-4))/(2/24). Let y be ((-18)/u)/(1 + 0). Solve y - 18 = -5*b for b.
3
Let h(u) = -6*u**3 - u**2 + u + 1. Let n be h(-1). Suppose 2*i + n = 3*i. Solve -4*d - 1 = -i*d for d.
1
Let i be (-20)/50 - (0 - 2/5). Solve 0 = -i*m - 3*m - 9 for m.
-3
Let z(t) = 2*t**3 + 3*t**2 - 2*t - 2. Let a be z(-1). Solve 3*r - a - 2 = 0 for r.
1
Suppose 3*c + 15 = -5*p, 1 = -c + p + 4. Solve -2*t - 3*t = c for t.
0
Let y be (2 + (-58)/4)*-2. Suppose -v = -0*v - y. Suppose 0 = -2*c - 2 + 12, -5*b + v = 2*c. Solve 2 = -b*x + 2*x for x.
-2
Suppose 0 = 3*n - 4*j + 5*j - 1, -4*n - j = -1. Let c = n - -2. Solve 6 = c*p - 0*p for p.
3
Suppose 3*l + 17 = m - 0*l, l = -5. Solve 4*p - m*p = -8 for p.
-4
Let w = -8 + 13. Let s be (0 + 1)*(w + -4). Let z = s - -1. Solve -m + z = -1 for m.
3
Suppose 2*t + 2*u + 8 = -2*t, 2*u = -5*t - 11. Let s = t - -13. Solve -6*d + d = -s for d.
2
Let g(q) = -3*q**3 + 19*q**2 + 17*q - 15. Let f(i) = -2*i**3 + 18*i**2 + 16*i - 16. Let x(c) = -4*f(c) + 3*g(c). Let t be x(-14). Solve -8 = -t*w + 7 for w.
3
Let y(i) = -i - 3. Let f be y(-2). Let h = 6 + f. Solve -3*w - h = -2 for w.
-1
Let c(u) = -u - 4. Let d be c(-8). Solve 2*t - t = -d for t.
-4
Let w(s) = -s**3 + 4*s**2 + s - 4. Let d be w(4). Solve -3*u + d*u = -6 for u.
2
Let o be (1 + 1 + -2)/(-2). Suppose 0 = z - 0 - 2. Let l = o + z. Solve 0 = -0*t - l*t - 10 for t.
-5
Suppose 4*s + 12 = -5*l, s + l + 10 = 4*s. Suppose -5*z - i = -78, 0 = -6*z + z + 5*i + 90. Solve 2*w - z = -s*w for w.
4
Let r(q) = -q**2 - 2*q - 1. Let p be r(-3). Let n(s) = -s**2 - 4*s + 1. Let w be n(p). Solve -5*f - 19 = w for f.
-4
Let k(o) = -o**2 - 4*o - 3. Let i be k(-2). Solve -z + 5 = i for z.
4
Suppose r + 5*y = 4*y - 1, 3*y = 5*r - 11. Suppose -11 + r = -5*u. Let w be (1 + 1)*u/2. Solve w*j + 1 = -1 for j.
-1
Let z(d) = -d**2 - 2*d + 4. Let i be z(0). Solve p = -i + 1 for p.
-3
Let v be 207/36 - (-1)/4. Solve -6*k + 4*k + v = 0 for k.
3
Let t(k) = 3*k + 1. Let u be t(2). Solve 4*y + u = 3 for y.
-1
Suppose 0 = -4*r + 4*f + 8, 0 = 5*r + 2*f + 4 - 35. Solve 4*t - r*t + 1 = 0 for t.
1
Suppose 20 = -2*d + 7*d. Let u(w) = w**3 - 4*w**2 + 6*w - 6. Let x be u(d). Solve 5*y = -x - 2 for y.
-4
Suppose 23 = 4*g - 0*g + t, -3*g + t + 12 = 0. Solve 4*q + g = -q for q.
-1
Let t(s) = 2*s**2 + 3*s + 2. Let n be t(-2). Suppose -3*d + 3*b = d - 3, 24 = 4*d + n*b. Solve d*k + 0 = 3 for k.
1
Suppose k + 5*s - 8 = 0, -5*k - 3*s + 100 = 2*s. Solve 2 + k = 5*f for f.
5
Suppose 4*z = -3*g + 57, 0*g - 3*z + 54 = 3*g. Let u be (-96)/(-42) + 2/(-7). Solve t = -u*t + g for t.
5
Let r = 25 + -28. Let o = r + 6. Solve -5 = -o*d + 4 for d.
3
Suppose 2*z - 15 = -4*t - 5, -3*t + 2*z + 4 = 0. Solve -2*r + 2 = -t for r.
2
Let n(q) = 3*q + 1. Let a be n(1). Suppose 3*b = 4*x - 3 + 12, 4*x = b - 3. Suppose 14 - 47 = -b*r. Solve 5*k - r = a for k.
3
Let l be (-225)/(-3)*(-8)/(-10). Let y be (-2)/4 + l/8. Solve -1 = -2*x - y for x.
-3
Let k be (-4)/2 + 0 - 2. Let s = k + 6. Solve 2*o - s = o for o.
2
Let a = 110 - 105. Solve -l - a + 0 = 0 for l.
-5
Suppose 0 = -4*m + r + 4*r + 19, 0 = 5*m - 5*r - 20. Solve 3 + m = 2*w for w.
2
Let w(h) = 2*h + 6. Let t be w(-2). Solve 1 + t = -z for z.
-3
Let j be ((-12)/(-10))/((-6)/(-15)). Suppose -14 = -j*w + w. Solve -w + 3 = 4*x for x.
-1
Let b(v) be the second derivative of -v**5/20 + 2*v**4/3 - 7*v**3/6 + 4*v**2 - 2*v. Let m be b(7). Solve 0 = 5*k + m - 18 for k.
2
Suppose 32 = 4*f + 3*i, f + 3*f = 2*i + 32. Let b = f - 5. Suppose b*g = -2*q - 3 + 15, -25 = -5*g - 5*q. Solve 0 = g*p + 2*p - 16 for p.
4
Let d = 0 - -3. Solve -d*s = 1 + 11 for s.
-4
Let x(g) = g**3 + 7*g**2 - 6*g - 10. Let t be x(-8). Let r be -2 + t/(-2) + -2. Solve 5*o + 6 = -r for o.
-3
Let h(a) = -a**2 - a + 5. Let l be h(0). Solve l = 5*v - 0*v for v.
1
Let m(l) = l - 5. Let w be m(-6). Let x = -3 - w. Suppose 0 = j + 6*h - x*h + 6, -17 = 2*j - 5*h. Solve -j*u = -3 - 5 for u.
2
Suppose -r - 4*o = -3*o - 2, -2*r + 2*o = -16. Let n(a) = 2*a + 6. Let j be n(r). Solve 0*h + j = -4*h for h.
-4
Let v(k) = -7*k**2 - 4*k - 3. Let o(r) = -4*r**2 - 2*r - 2. Let q(y) = 5*o(y) - 3*v(y). Let m be q(1). Solve 4 = -m*x + 10 for x.
3
Let y(s) = -s**2 - 5*s + 1. Let l be y(0). Solve 5*x = -14 - l for x.
-3
Let i(v) = v**3 - 2*v**2 - 4*v + 8. Let r be i(3). Solve -r*s = -s for s.
0
Let s = -6 - -11. Suppose 5 = 5*b, 1 = y + s*b - 6. Let m = 4 + -1. Solve -y*h - m*h = -20 for h.
4
Suppose 4 = m - 2*u, -3*m + 0*m + 5*u + 11 = 0. Suppose 0*o = -o - m. Let f(g) = -2*g + 2. Let c be f(o). Solve -c*s - 4 = -2*s for s.
-1
Let s = -39 + 42. Solve s*n = -3 - 6 for n.
-3
Let s = -51 + 51. Solve -3*y + 8 + 4 = s for y.
4
Let f = 18 + -13. Suppose 3*r + 2 = 2*l - 12, -l = -f*r - 7. Solve 4*d = 1 + l for d.
2
Suppose 3*u - 7 = -2*j, -2*u + j - 2*j = -5. Let y be u - (-2)/(2/(-9)). Let l = y - -8. Solve 0 = x - l*x - 1 for x.
-1
Suppose 33*f = 32*f + 2. Solve 7 - f = r for r.
5
Suppose 5*z - 5 = -4*j, 5*j + 20 = -4*z + 3*z. Solve -16 = z*w + 9 for w.
-5
Let b = 67 + -57. Suppose 0 = 5*y - 0*y. Solve -2*r 