x = d - -6. Suppose -4*k + 13 = s, x = 4*s - 2*s - 4*k. Solve -s*r = -0*r for r.
0
Suppose p = 3*p. Let l be p + -2 + 0 + 1. Let x = l - -1. Solve x = 4*w + 11 + 5 for w.
-4
Let m be -11 + 8 - (3 - 0). Let d be 16/(-10) - (-4)/(-10). Let w be (-2)/((-3)/m*d). Solve 0 = -n - w - 3 for n.
-5
Let t = 22 - 20. Solve 3*d = -t*d + 15 for d.
3
Let u = -24 - -24. Solve u = -q + 3*q for q.
0
Let m = -6 + 10. Suppose -m*a + 4 = -v - 7*a, 0 = 3*v - a - 8. Suppose 0 = -v*x + 5 - 3. Solve w + 0 = -x for w.
-1
Suppose -5*a - 3*v - 12 = -4*a, 2*a + 14 = -4*v. Suppose o = -3, 5*o - 10 = z + 9*o. Solve i + a + z = 0 for i.
-5
Let x = 23 - 15. Solve 0*h - x = 4*h for h.
-2
Let t be ((-12)/8)/(-3)*0. Let o(n) = -n + 4. Let l be o(2). Solve 5*j - 3 - l = t for j.
1
Let g be 0*(-3 - -2 - -2). Solve g + 2 = -y for y.
-2
Suppose 6*i - 10 = 11*i. Let v = 1 - i. Solve 0 = 4*o + 1 + v for o.
-1
Let a(c) = c**3 - 7*c**2 - 7*c - 7. Let k be a(8). Suppose 2*o - 2*v - 18 = 0, v + k = -0. Suppose 0*x - 2*x + o = 0. Solve 0 = -x*d + 8*d for d.
0
Suppose 14*a = 13*a + 4. Solve 0 = -0*w - w + a for w.
4
Suppose -2*z - 7*r = -3*r + 16, 5*r = -20. Solve z = -h - 3 + 2 for h.
-1
Suppose -5*k = 3*d - 0 + 1, -5*k = -5*d - 55. Let q = d + 10. Suppose -q*c = -4*c + 2. Solve -w = -c + 1 for w.
1
Let f(t) = -t**2 + 8*t - 8. Let q be f(6). Solve -q*u + 4 = -4 for u.
2
Let g be 144/40*(0 - -10). Suppose 0 = -4*v + g - 12. Solve -v = 5*i + 14 for i.
-4
Let b = 4 - 2. Suppose 3 = 5*h - 2, 5*h = -4*d + 37. Let p = 9 - d. Solve 0 = -x + p - b for x.
-1
Let c(s) = 9 - 1 + s - 2. Let t = 8 + -12. Let p be c(t). Solve p*z + z = -9 for z.
-3
Let p = -33 + 34. Solve -p = -2*b - 3 for b.
-1
Let p be 5 + 1*-2 + 0. Suppose 4*m - 12 = 2*w, -2*m - p*w + 5 + 1 = 0. Suppose m*g = -3*y + 18, 4*y + 0 = 3*g - 4. Solve 0 = 4*b + 2 + y for b.
-1
Let g(c) = 3*c**3 + c. Let a be g(1). Let b = a + -2. Solve 1 + 1 = b*f for f.
1
Suppose -2*j = -j - 4. Let i(w) = -w**3 + 9*w**2 - 8*w + 2. Let n be i(8). Suppose 0 = -3*t - n*h, -2*t - 2*h = h. Solve -16 = -j*u - t for u.
4
Let t = 4 + -1. Suppose -t*r + 10 = 2*r. Let h be (6/4)/3*12. Solve -h*s + r*s - 12 = 0 for s.
-3
Let w(d) = 2*d**2 - 3*d + 3. Let l be w(3). Suppose -3*f + 10 = -2. Suppose 2*j - 14 = -4*k - 2, -f*j = -8. Solve -k*v - v = l for v.
-4
Let f(b) = -b. Suppose 5*z - 2 = -17. Let l = z - -1. Let u be f(l). Solve u = 3*g + 17 for g.
-5
Let h(c) = -c**2 - 17*c - 14. Let p be h(-16). Let u be 20/p - (7 + -3). Solve -v = v - u for v.
3
Let n(a) = -a**2 + 5*a + 14. Let b be n(7). Solve 0 = -2*z - b - 4 for z.
-2
Suppose 43*h = 38*h. Solve 5*z + 5 + 15 = h for z.
-4
Let o be -1*2 - 16/(-2). Let t(n) = n + 1. Let z be t(o). Solve -2*y - 20 = -z*y for y.
4
Suppose 4*o + 7 = c, -5*c + 2 = 4*o - 9. Solve -f = -c*f + 6 for f.
3
Let k(s) = -s**2 - 4*s + 7. Let m be k(-5). Suppose -m*h + 8 = -0*h. Let n be (-3)/(-2)*(h - 2). Solve n*t = -1 - 2 for t.
-1
Let k = -7 + 11. Suppose k*z = w + 25, 4*w - 22 = -4*z + 2*w. Solve -5*b = -3*b + z for b.
-3
Suppose -4*s + c + 7 = -0*s, -c + 1 = 0. Let p(r) = r**3 - 6*r**2 + 6*r + 7. Let k be p(5). Suppose 6*y = 3*y + k. Solve -6 = y*j + s for j.
-2
Suppose x - 2 - 2 = 0. Suppose 6*g = 4*g + x. Solve g*y - 7*y = -15 for y.
3
Suppose 5*z = -2*z + 14. Solve 0*s - z*s + 4 = 0 for s.
2
Let i(u) = u**3 - 11*u**2 - 12*u + 3. Let q be i(12). Solve q*t + 17 = 5 for t.
-4
Let l(g) = g**3 - 7*g**2 - 7*g - 6. Let x be l(8). Suppose x*z = -2*z + 16. Suppose 0 = -3*y + 5*y - z. Solve -r = -y*r for r.
0
Let d(o) = o**2 - 6*o + 8. Let f be d(4). Solve -n + 3 - 2 = f for n.
1
Let k = -14 - -6. Let h(p) = -p - 8. Let v be h(k). Solve v = -3*x - 15 for x.
-5
Let c be 8/3 + 6/(-9). Suppose -21 = -v - 5*k, v - 15 + 6 = -2*k. Solve -v = -m - c for m.
-1
Suppose 2*c - 6 = 4*u - 20, -5*u - 2*c + 13 = 0. Let f(n) = -45*n + 5. Let h be f(-3). Let y be (h/15)/(4/6). Solve -u*i + y = 2 for i.
4
Let u(c) = 4*c - 28. Let k be u(12). Solve -5*n + n - k = 0 for n.
-5
Let l(z) = z**2 - 17*z + 8. Let a be l(17). Solve -i - a = i for i.
-4
Let i(d) = -d + 3. Let g be i(6). Let u = g - -7. Solve 14 + 6 = u*j for j.
5
Suppose 14*f = 9*f + 125. Solve -4*r - f = -9 for r.
-4
Suppose -29 = -10*x + 41. Solve 1 = 2*l + x for l.
-3
Suppose -3*p = -p - 4. Let h(r) = r - 6. Let v be h(12). Let b be 24/16*8/v. Solve -4*q + b + p = 0 for q.
1
Suppose -p + d = 1 - 12, 37 = 4*p + 3*d. Let s be 10*(32/p - 2). Solve 3*v - s = -3 for v.
3
Let m(u) = -u**2 - 3*u + 10. Let y be m(0). Solve -b = b - y for b.
5
Let p = 19 - 8. Suppose -r = -2*r + 1. Let u be r/(-4) + 39/12. Solve -1 = -u*q + p for q.
4
Suppose -2*n - 35 = 3*n. Let t = 9 + n. Solve t*y + y = 3 for y.
1
Let p be (2/(-3) + 0)*-3. Let f = -9 - -16. Let l = 12 - f. Solve 3*r + p*r + l = 0 for r.
-1
Suppose 0 + 51 = 3*a. Suppose 4*z = 2*u - 24, 3*u - 5*z - 17 - a = 0. Suppose k = -k + u. Solve -n = -0 - k for n.
4
Let n be -1*(-4)/(3 + -1). Solve a - 2 = n*a for a.
-2
Let s(u) = -u**2 + 8*u - 3. Let j be s(7). Solve 0 = -9*q + j*q - 5 for q.
-1
Let c = -12 + 15. Solve c*u + 20 = -u for u.
-5
Let b(w) = w**2 + 7*w - 6. Let c be b(-7). Let v(f) = f + 3. Let q be v(c). Let t be ((-1)/q)/(1/3). Solve 4 = -n - t for n.
-5
Let v(t) = 5 - 3*t**2 - t**3 - 2*t**2 + 0*t + 0*t. Let o be v(-5). Solve 20 = -w + o*w for w.
5
Suppose 13 = w - 4*w + 5*k, -w - 2*k = -14. Let g be 8/32 - (-7)/w. Solve -g*m - 3 = -5*m for m.
1
Let f(l) = 5*l**2 - 7*l - 2. Let w be f(2). Solve 0*y = y - w for y.
4
Let b(k) = -k**3 - 6*k**2 + 2. Let v be b(-6). Let n be 0/(v/4*-2). Solve -3*x + 6*x - 6 = n for x.
2
Let b be (5/(-2))/((-2)/8). Let k(d) = -d**3 + 9*d**2 + 11*d - 10. Let n be k(b). Let h be (n*3/6)/1. Solve h*p = -5*p - 15 for p.
-3
Let t be (-68)/3 - 4/12. Let j = t + 38. Suppose -5*k + 0*k = -j. Solve 0 = 5*l - k - 2 for l.
1
Let r be 0 - (-2 - -2 - 3). Suppose r*j = -4*m + 6, 2*m + 2 = j - 0*m. Solve 0 = -4*l + j*l + 2 for l.
1
Suppose 2 = -k + 4. Solve -f - k + 5 = 0 for f.
3
Let j = 24 - 13. Suppose 2*r + 2 = 4*q, -3*q = -0*r - 4*r + j. Solve 0 = -4*x + q*x - 5 for x.
-5
Let n(w) = w - 4. Let s(m) = 31*m**3 + m. Let g be s(1). Suppose 2*t + 2*t - g = 0. Let c be n(t). Solve l = -c + 3 for l.
-1
Suppose 4 = -5*c - 5*h - 11, 24 = -4*c - h. Let x = 14 + c. Let l be 5 + (-1 - (-2 + 2)). Solve -3*o - l = -x*o for o.
1
Let w be 15 - ((-4)/2)/2. Suppose 0 = -4*i + w, -i - 3*i + 7 = -3*v. Suppose -7*l + 3*l - 4 = 0, 31 = 4*p + l. Solve p*k = v*k for k.
0
Let i(l) be the third derivative of -l**5/60 + 3*l**4/8 - 5*l**3/3 + 5*l**2. Let q be i(7). Let d be (-12)/(-30) + 4/(-10). Solve d*r = -q*r + 16 for r.
4
Suppose 2*f = -f. Let c = -10 + 17. Let h be c - ((-2)/1 - -4). Solve -5*r = -f + h for r.
-1
Let x be 3/5 + 2/5 + -1. Let k(b) = b**3. Let s be k(0). Solve 3*f + 3 + s = x for f.
-1
Suppose 3*g = 2*a + 12, 2*g - 2*a - 2 = 4. Suppose -5*i = 15, -d + 15 = -i - 4*i. Let x(s) = s**2 + 3*s - 5. Let k be x(2). Solve k*c - g + 1 = d for c.
1
Let o be 7/((-21)/(-6)) + 1. Let t be o*(1 - (-2)/(-3)). Let i(u) = u**2 - 5*u - 6. Let a be i(6). Solve -k + t = -a*k for k.
1
Let k be -2 + (-1 + 1 - -1). Let p = k - -1. Solve -4*s - 13 + 1 = p for s.
-3
Suppose 0 = 4*s + 8, 3*y = 4*y + 4*s. Let w = -6 + y. Let p(u) = -u**2 - 5*u + 8. Let k be p(-6). Solve -k*h = -4*h + w for h.
1
Suppose 0 = -7*s + 10*s - 39. Solve s = 5*m + 3 for m.
2
Let z be (54/(-15))/(2/(-10)). Let c be (-12)/z*(-45)/2. Solve v = -2*v + c for v.
5
Suppose -w + 2 + 0 = 0. Suppose 0 = -l + w. Solve -h - 1 = -l for h.
1
Let w(t) = t**2 - 4*t + 6. Let l be w(4). Suppose -d + l*d = 35. Solve 4*u + 9 = -d for u.
-4
Let g be (1/(-3))/(6/(-144)*4). Let j be (-30)/(-4)*10/3. Solve -g*i - 3*i = j for i.
-5
Let f be 16/6 + (-6)/(-18). Suppose t - f = 12. Solve -3*y + 0 = -t for y.
5
Let z = 7 + -5. Solve 4*f = 2 + z for f.
1
Suppose 0 = -k + 4. Let d = 31 + -15. Suppose d = -q + 3*q. Solve -12 = -k*y + q for y.
5
Let o be 1 - (0 - (-4 - -3)). Suppose o = 4*l - 0*l - 20. Solve -l*w = -w + 20 for w.
-5
Suppose -4*v = -6 - 6. Solve 2*i + i - v = 0 for i.
1
Let d(c) be the third derivative of -c**5/60 + 7*c**4/24 - c**3 + c**2. Suppose -2*m + 1 = -r - 1, -3*m + 12 = 0. Let a be d(r). Solve v = -a + 3 for v.
3
Let w = -2 - -7. Suppose 3*m = -0*q - q + 6, 3*q - 4 = w*m. Suppose 0 = -3*g - g + 16. 