e 0 = z*q - q for q.
0
Let z(u) = u**2 - 2*u - 5. Let n be z(4). Suppose -v + n*v = 0. Solve v = 5*y + 5 for y.
-1
Let n = 35 + -33. Solve -6 = -n*o - o for o.
2
Let i(n) = n**2 + 2*n - 3. Let x be i(-4). Let f be 0 + 2 + -1 + 1. Suppose 3*h - 4*m = 29, 5*m = h - f*h - 3. Solve x*k + h - 27 = 0 for k.
4
Let q be -2 + (-22 - 3)*-1. Let s = -20 + q. Solve s*h + 7 + 2 = 0 for h.
-3
Suppose 4*w - v = 77, 2*v + 68 = 4*w - 2*v. Suppose 0 = -4*h - 4 + w. Solve b = -0*b - h for b.
-4
Let y(c) = c**2 + 16*c + 15. Let h be y(-15). Solve h*v = -3*v for v.
0
Let s(d) = -d + 6. Let f be s(5). Let u = -2 + f. Let t be u/((-2)/18) - 2. Solve -t*r = -2*r + 15 for r.
-3
Let n = -19 - -23. Suppose -5*s - 2*r + r = -17, n*r = -3*s. Solve 0 = k - s*k + 3 for k.
1
Suppose 0 = 5*p + 2*j - 27, -1 = 4*p - j - 20. Suppose 2*m = 4*m - 4. Solve m*d - d = -p for d.
-5
Let n be 9 - (0 + -1 + 0). Solve -2*a = 3*a - n for a.
2
Let j(r) = -r**3 + 6*r**2 - 6*r + 1. Let d be j(4). Let g(u) = 6 - 3*u**2 + 3*u + d*u + 4*u**2. Let l be g(-12). Solve -l*z = -2*z for z.
0
Let b(f) = 2*f - 2*f + 5*f + 1 + 3 + f**2. Let g be b(-4). Solve g = n + 2*n + 3 for n.
-1
Let r be 2*(-1)/2 - 3. Let a(c) = c**3 + 5*c**2 + 4*c + 2. Let b be a(r). Solve 3 = b*j + 1 for j.
1
Let s = 0 + -1. Let t = s - -3. Suppose 0 = -2*m + 4 + 8. Solve 4*a - m = t for a.
2
Let o = 70 - 67. Solve -7 = -o*w + 8 for w.
5
Let x be (-18)/(-6) + 2/(-2). Solve 0 = -0*q - x*q - 10 for q.
-5
Suppose -5*w + w + 60 = -4*d, w = -3*d + 31. Solve -3*t + w = 4 for t.
5
Let n(o) = o**2 + 4*o + 5. Let m(q) = -q**2 - 5*q - 4. Let h(u) = 5*m(u) + 4*n(u). Let j be h(-9). Solve j*t - 6 = 3*t for t.
-2
Suppose -m = 5*p - 19, m + 2 = 3*p - p. Solve -2*c - p = -c for c.
-3
Let t(h) = h**3 - 2*h**2 - 3*h + 1. Let u be t(3). Let i = 7 - u. Let z be (128/112)/(2/7). Solve -a = -z + i for a.
-2
Let i be -1 - (-9 + 1 - -3). Let y(t) = 8*t**3. Suppose -2*x + 0*x + 11 = o, 3*x - 10 = 5*o. Let u be y(o). Solve -i*z + 0*z = u for z.
-2
Suppose 5*n + a = 13, 3*n - 15 = 4*a + 2. Solve g + 2 = n for g.
1
Let t = 17 + -16. Suppose -11 = -2*f - 4*c - t, -5*c + 5 = 0. Solve 0 = f*o - 21 + 6 for o.
5
Let m be -3 + -2 + (-1 - 0). Suppose 0*i - 2*h = 2*i - 12, h = -2*i + 9. Let p be 3 - m/(-9)*i. Solve -5 = r - p for r.
-4
Let l be 2 + -1 - (0 - 1). Solve -1 = -l*v + 3*v for v.
-1
Let m be 5/(-5) + 11 - -2. Solve -h = -4*h - m for h.
-4
Let x = 14 - 4. Suppose 4*k = -k + x. Solve 0 = 5*u - k*u for u.
0
Let r be 3*-2*2/(-4). Suppose -5*d + 3*b - 17 = 0, r*b - 8*b = 3*d + 17. Let g be 7/28 - 11/d. Solve 2*n - 10 = -g*n for n.
2
Let b be 0/(-1 - 1/1). Let h = 0 + b. Suppose j - 5*c = h, 0 = -j - 5*c + 3*c. Solve -k + 3 = -j*k for k.
3
Let l be (2/((-4)/(-6)))/1. Let c(t) = 0*t + 2*t + 0*t - t + 8. Let o be c(12). Solve s + l*s + o = 0 for s.
-5
Suppose -3*a + 9 + 6 = 0. Suppose 0 = -a*t - 4 + 14. Solve 0 = 3*o - 14 + t for o.
4
Suppose -5*r = -7*r + 6. Suppose 0*n + 4*n - 16 = 0. Suppose 0*b + 7 = -b + 3*v, 17 = n*b + r*v. Solve 0 = -4*a - 2 - b for a.
-1
Suppose 3 = 3*a - 3. Suppose -a = -2*z + 2. Let q = 47 + -45. Solve -q*l = -4*l - z for l.
-1
Suppose 2 = -3*t + 4*t. Solve t + 6 = -2*j for j.
-4
Suppose 0 = -3*n - 2*n. Let k be 21 + 4 + n + 0. Solve -v = -6*v - k for v.
-5
Let k(q) be the second derivative of q**4/6 + 2*q**3/3 + 3*q**2/2 - q. Let m be k(-2). Solve 0 = -p - m*p for p.
0
Suppose 6 = -t + 23. Suppose 0*q + 4*y - t = -3*q, 0 = -q - 3*y - 1. Suppose 1 = 2*w - q. Solve 0 = -p + 4*p + w for p.
-2
Let o be (-5)/(-20) + 38/8. Solve 9 = -2*z + o for z.
-2
Let x be (-1)/(-2 - (-28)/16). Suppose 0 = 2*n - 0 - x. Solve -2*j = -3*j + n for j.
2
Suppose 4*o - 3*l - 1 = 5, -3*l + 18 = 4*o. Solve -o*i + 7 = -2 for i.
3
Let k = 75 + -108. Let j be (-2)/11 + (-6)/k. Solve j = -2*q - 0*q for q.
0
Let o(r) be the second derivative of r**4/12 - 3*r. Let d(t) = t**3 + 7*t**2 + 1. Let p be d(-7). Let s be o(p). Solve -3*l + 14 = -s for l.
5
Suppose m + 3 = 16. Suppose -p = 4*w + m, -5*p + 15 = -w - 4. Suppose -p*g + 34 = 4. Solve l = -l - g for l.
-5
Let j(v) = -v**3 + 6*v**2 - 5*v. Let d be j(5). Suppose o + o = d. Solve o = x - 0*x - 3 for x.
3
Suppose 5 = s - 3. Solve s = -4*k + 2*k for k.
-4
Let j be 9*4/6*2. Solve -2*x - j = -5*x for x.
4
Let o(j) = j**3 - 6*j**2 + j - 6. Let n be o(6). Let p = n - 0. Let m be 9/6 - 4/(-8). Solve -m*k + k - 3 = p for k.
-3
Suppose -3*a + 3*y + y = 10, -8 = -2*a - y. Solve a*k + 5 = -5 for k.
-5
Let n(s) = 6*s - 1. Suppose 12 = 2*z + 10. Let o be n(z). Solve -2*l - 1 - o = 0 for l.
-3
Suppose 3*d = -d + 16. Let k be -6 + -1 + d - -15. Suppose -v = -5*t + 16, -4*t - k = -4*v - 3*t. Solve 0 = -6*c + v*c + 4 for c.
2
Let t = -13 + 20. Let s(c) = 2*c - 14. Let x be s(t). Solve x*d = -3*d - 9 for d.
-3
Let c(v) = v**3 - 8*v**2 + v + 11. Let k be c(8). Let a be k/4 + (-5)/(-20). Solve a*p = 2*p - 9 for p.
-3
Let i(d) = 5*d + 10. Let j(r) = -3*r - 5. Let z(v) = 4*i(v) + 7*j(v). Let q be z(5). Solve q = y - 3 - 1 for y.
4
Suppose -5*b + 42 = 7. Suppose 0 = 4*q - 5*k - 10, -1 = 4*q + 4*k + b. Solve q*d = 5*d - 25 for d.
5
Let m be 117/27 + (2/(-6) - -1). Solve 0*r = m*r for r.
0
Suppose -4*g + 4 = 4*q, -2*q - 2*g + 4 = 2*g. Suppose -4*j = -q*j - 12. Solve -17 - j = 5*a for a.
-4
Let l be (26/(-4))/(4 + 18/(-4)). Solve l = -3*j - 2 for j.
-5
Let m(k) = 25*k**2 + k + 1. Let r be m(-1). Let f be 2/3 + r/(-15). Let h = 17 + f. Solve 0 = -5*u + h + 4 for u.
4
Let i = 4 - 6. Let y = i + 2. Suppose y*v - 2*v = 0. Solve v = -n - 3*n - 20 for n.
-5
Let o be (3/(-6))/((-1)/6). Let j = 13 + o. Let z(m) = m**3 + 5*m**2 + 4*m + 5. Let v be z(-4). Solve -v*w + j = -w for w.
4
Let h(r) = r**3 - 4*r + 4. Let w be h(2). Solve -w*b = b + 15 for b.
-3
Suppose 3*y - 13 = -2*c, -7*y + 6*y + 13 = 5*c. Let k be (-36)/(-16)*8/c. Solve -k = -2*d - d for d.
3
Let s(v) = 4*v + 21. Let r be s(-5). Solve 0 = 2*p - 7 + r for p.
3
Let s = 5 + -10. Let w(i) = -2*i - 7. Let a be w(s). Suppose a*j - j = 20. Solve b + j = 3*b for b.
5
Let u be 2/6*(-8 + -1). Suppose 0 = 2*i - 3*i + 10. Let a be (i/(-6) - -1)*u. Solve 3 = -a*g + 5*g for g.
1
Suppose 0 = -0*u - 3*u + 15. Solve 4*p = 7 + u for p.
3
Let y(k) be the second derivative of -k**4/12 + k**3 + 9*k**2/2 - 2*k. Let n be y(7). Solve 0 = f + n - 5 for f.
3
Suppose -4*d - 6 = -6*d. Suppose 2 = d*k - 4. Solve 6 = -p + k for p.
-4
Let c(w) = 2*w**2 + w + 4. Let t be c(0). Solve -t*p - 2 - 6 = 0 for p.
-2
Let d(k) = -11 - k + 3 + 6. Let f be d(-9). Solve -2*s - 3 = f for s.
-5
Let g(p) = 3*p - 18. Let a be g(6). Solve -12 = -3*v - a*v for v.
4
Let t(y) = -y**3 - 3*y**2 + y - 8. Let z be t(-4). Solve -5*h + z = -4*h for h.
4
Suppose 7 + 2 = 3*z. Suppose 1 = 5*a + w, -4*a + 3*w - z = -3*a. Solve -3 = -a*m - 3*m for m.
1
Let r(x) = 4*x - 4. Let l be r(3). Suppose 4*i = 2*y + 3*i + 4, l = 2*i. Solve y = -0*n + 5*n - 15 for n.
3
Let w = 18 - 15. Solve w*y - 1 = -4 for y.
-1
Suppose 0 = 5*q + b - 20, 0 = -4*q - 0*b + b + 25. Solve -q = -3*r + 10 for r.
5
Let q(a) = -9*a - 8. Let s be q(-2). Solve 4*x + x + s = 0 for x.
-2
Let y be ((-1)/(-3))/(2/6). Let x be (3*(-2 + 4))/y. Solve -2*k + 0 = -x for k.
3
Suppose 3*d - 2*d - 2 = 0. Solve -d*g - 12 + 6 = 0 for g.
-3
Let i = 101 + -98. Solve 5*o - 6 = i*o for o.
3
Suppose 8*x - 9*x = 14. Let w be (x/21)/((-1)/6). Solve -5*i = -w*i + 1 for i.
-1
Let y = -5 + 5. Solve y = -t - t + 4 for t.
2
Suppose 3*j = 5*r - 65, -j = -0*r + 2*r - 15. Let g = 20 - r. Solve -5*t + 25 = g for t.
3
Let i(p) = p**3 - 7*p**2 - 8*p - 3. Let y be i(8). Let g be (4/y)/(1/(-12)). Suppose -2*m = b + 3*b + g, -20 = 4*b. Solve 5 + 1 = m*l for l.
3
Suppose z - 3*t + 0*t - 9 = 0, -6 = 3*z + 2*t. Solve z*i + 16 = 4*i for i.
4
Let w(d) be the second derivative of 0 - 2*d + d**2 - 1/6*d**3. Let b be w(2). Solve b*o = -5*o - 25 for o.
-5
Let r = 10 - 7. Suppose 7 + 3 = 5*w. Solve -w*y + r = -7 for y.
5
Let f(d) = 2*d + 1. Let p be f(1). Solve -p*q = q - 12 for q.
3
Suppose h + 4 - 9 = 0. Solve 4*p - 2 = h*p for p.
-2
Suppose 0 = -4*p + 13 - 5. Suppose 0 = 2*h - 4*g - 16, -5*h - 1 + 2 = 3*g. Suppose -x + d = -4, -x - h*x - 4*d = 16. Solve -3*a + p*a = x for a.
0
Let k(b) = -5*b + 1. Let l be k(2). Let n = -7 - l. Solve n*a + 2 = -2 for a.
-2
Let j(c) = c**3 + 2*c**2 - 2*c - 1. Let r be j(-2). Let b = -3 + r