l = 0 for z.
4
Let o be -2 - 1 - (0 + -5). Let w be o/(1 - (-1)/1). Solve i + 5 = w for i.
-4
Let n(x) = 13*x + 4. Let q(h) = -26*h - 8. Let g(k) = 11*n(k) + 6*q(k). Let a be g(-3). Suppose -i = 5*m - a, i = 2*m - 6*m + 27. Solve 4*z - m = -0 for z.
2
Suppose 3*o - c - 20 = 0, -c + 4 = 2*o - o. Let a = 12 - o. Let g be 2/2*(0 - 0). Solve -3*n + g = -a for n.
2
Suppose 0*m = -5*m. Suppose 5*d - 5*x - 40 = m, 3*d + 3*x - 14 = 4*x. Solve -d*c + 2 = 17 for c.
-5
Let k(u) = -u**2 - u + 3. Let z be k(0). Let r be (-6)/(-5)*5/2. Suppose 0 = x - r*o + 10, -3*x + 5*o - 16 = -x. Solve -x*h + 15 = z*h for h.
3
Let f(h) = -3*h - 8. Let a be f(-8). Let i be 10*(-4)/a*-2. Solve 0 = i*y - 29 + 4 for y.
5
Let k(z) be the third derivative of -z**4/24 + z**3/6 - 3*z**2. Let i be k(-3). Suppose 0 = -3*b - 2*m - 4, -i*b + m + 9 = -4. Solve -4*v = -b*v for v.
0
Let q(g) = g**3 + g**2 + 16. Let u be q(0). Let c = u + -14. Solve -3*w + c = 8 for w.
-2
Let m be (-8)/(-14) + (-414)/63. Let c = m - -8. Solve -c*n + 0*n = 8 for n.
-4
Let r(u) = u**3 - 6*u**2 + 5. Let z = 10 + -7. Suppose -z*v - 1 + 19 = o, 0 = -o - 4*v + 22. Let x be r(o). Solve -5 = x*n + 5 for n.
-2
Let i(k) = k**3 + 5*k**2 + 3*k - 1. Let p(j) = -j**2 + 6*j - 3. Let o be p(6). Let n be i(o). Let f = n + -6. Solve f*d = -2*d for d.
0
Suppose 5*d - 25 = k, k - 2*d = 4*k - 10. Suppose k*i - i = -8. Suppose -i*g = -4*g - a - 5, 3*a + 15 = g. Solve g = -0*v - 5*v for v.
0
Let q(k) = k**3 + 5*k**2 - 5*k + 2. Let n be q(-6). Let a be (12/6)/(n/(-6)). Solve 7 = -a*x + 4 for x.
-1
Let f be (-17 - 7)/(0 - 1). Suppose 3*l - j - 34 - 4 = 0, -j - f = -2*l. Solve -l = 4*r + 2 for r.
-4
Suppose -5*w = -3*g - 28, -3*w - 5*g + 11 = -g. Suppose -w*k = -k. Solve -r - 1 + k = 0 for r.
-1
Suppose -2*d + 7*d = 4*x + 15, 0 = 4*x + 3*d - 9. Solve -3*k + 4 - 13 = x for k.
-3
Let y = -3 + 5. Suppose w = -3*v + 14, 10 = -y*v + 5*w - 9. Suppose 2*f = v*f - 6. Solve -4*q + 6*q - f = 0 for q.
3
Let k be (3 + -4 - -1)/(18/6). Solve k = 2*j + 3*j + 15 for j.
-3
Suppose 3*k + 4*h - 12 = 0, -6*k + k + 3 = h. Let i be (1 - (k - 1))*1. Solve -n + i + 2 = 0 for n.
4
Let g be 10 + -3*(-2)/(-3). Let m be (-5)/(40/(-28) - (-6)/14). Solve m*u + g = u for u.
-2
Let m be (-7)/(140/(-8))*5. Solve 0 = 4*f + m + 18 for f.
-5
Let q be (5 + -5)/(-3 - -1). Solve q*c = -2*c for c.
0
Let i be 3 - (3 + 4 + -7). Solve i*r = 6*r - 12 for r.
4
Suppose -w + 2 = -6. Let z = w + -5. Solve 1 - z = x for x.
-2
Let u be 25/4 + ((-66)/24)/11. Solve -3*h + u*h = 0 for h.
0
Suppose -5*p + 37 = 3*k - p, -5*p = -20. Suppose -3*f - 2*f + 520 = 0. Let z be 2/k - f/(-28). Solve 0*w + w = z for w.
4
Suppose -4*b - 7*d = -2*d + 290, 0 = 3*b + 4*d + 218. Let t be 28/b + 4/10. Solve 5*m + t*m - 10 = 0 for m.
2
Let k(p) = -p**3 - 7*p**2 - p - 3. Let f be k(-7). Solve u = 3*u - f for u.
2
Suppose 4*b - 6 = -2*c + 2*b, -4*c - b + 9 = 0. Solve -c*n - 3 = 1 for n.
-2
Suppose -7 = -5*j - 3*u - 3, 0 = j + 5*u + 8. Suppose 3*m - c - 43 = 0, -j*c - c + 53 = 5*m. Solve 0 = 3*i - 1 + m for i.
-4
Let b(v) = 3*v - 16. Let c be b(7). Suppose -16 = -4*a, -12 = -c*z - 5*a + 18. Solve 0 = z*d - 2 for d.
1
Suppose -4*j + 16 = -4*z - 0*j, z = -2*j + 11. Solve 0 = b - 2*b - z for b.
-1
Let p(s) = s**2 - 27*s + 12. Let z be p(27). Let t be 16/6*6/4. Suppose -g = -5*m - 4, -2*m = -4*m - g + 4. Solve z = t*r - m for r.
3
Suppose -4*p = -2*u - 18, -u = -p + 5*p + 3. Let r = 12 + u. Solve -2*m - 1 = -r for m.
2
Let i be (-26 + -1)*(-1)/3. Let o = i + -6. Solve o*t + 3 = -0 for t.
-1
Let x(w) = w - 3. Let j be x(3). Suppose j = -2*f - 2*h + 18 + 10, -2*h - 12 = -2*f. Solve -3*t + 1 - f = 0 for t.
-3
Let c be ((-4)/(-8))/((-1)/(-48)). Suppose -27*t + c*t + 45 = 0. Solve 3*g + t = -0*g for g.
-5
Let z = 3 - 3. Solve 2*g - 2 + 0 = z for g.
1
Suppose -5*v + 23 = -27. Let u be (-2)/(-6) + v/6. Solve -2*f - 20 = u*f for f.
-5
Suppose -2*l = -9*l + 35. Solve -3*x + l*x = 4 for x.
2
Suppose -3*w = 2*w. Solve 2*x - 3*x = w for x.
0
Let r(g) = -g**3 + 11*g**2 + 3. Let a be r(11). Solve n = a*n for n.
0
Let d = 6 + -2. Let u = -14 - -17. Solve 9 = d*k - u for k.
3
Let v(j) = -j**2 + 11*j - 6. Let a be v(10). Let g be -7*1/14*-4. Solve -3*u + a = -g*u for u.
4
Let a(p) = p. Suppose 6 = 2*f - 2*x, -4*f + 4*x + 2 = -2*f. Let s be a(f). Solve -s*o + o = 0 for o.
0
Suppose 0*w - 5 = 5*w. Let o be (-9)/(-4) - w/(-4). Suppose -i + o = -1. Solve -2*c = -i*c - 2 for c.
-2
Suppose -z = 3*c - 8, 3*z = -2*z + 3*c + 4. Solve -m - 12 = z*m for m.
-4
Let x = -8 - -18. Suppose r = -r + x. Solve 0*q = r*q + 15 for q.
-3
Let r = 6 - -2. Suppose 2*h = 0, -3*a - 5*h - 3 - 3 = 0. Let t = 0 - a. Solve 2*j + r - t = 0 for j.
-3
Let d(i) = i - 1. Let v be d(6). Suppose 37 - 12 = -5*a, -v*h = 4*a - 45. Let s = h - -2. Solve 0 = -f + 4*f - s for f.
5
Let l(n) = -2*n. Let q be l(0). Let r(p) = -p**2 + 1 + 2*p + 2 - 2. Let b be r(2). Solve q = 4*z + 5 - b for z.
-1
Suppose 30 = u + 4*u. Solve 3*x + 3 = -u for x.
-3
Let i(x) = x**3 - 5*x**2 - 6*x + 4. Let n be i(6). Let y = 8 + 2. Solve 6*w = n*w + y for w.
5
Suppose -2*o + 2 = -3*o. Let m = o + 10. Solve 3*q + m = -q for q.
-2
Suppose 5*y - 5 = 2*p, 5*p = 8*y - 3*y - 5. Let s = p - -6. Let z = s + -4. Solve 4*w - 10 + z = 0 for w.
2
Suppose 9*k - 4*k = 10. Solve 0*i - k*i = -4 for i.
2
Let n(b) = -b + 2. Let k(p) = 2*p - 3. Let y(w) = 3*k(w) + 7*n(w). Let z(c) = c**3 - 4*c**2 + 3. Let t be z(4). Let x be y(t). Solve 0 = x*m - 0*m + 10 for m.
-5
Suppose -4*v + 30 = -v - 4*i, -3*v = -i - 21. Solve 0 = -3*u + v + 6 for u.
4
Let t = -16 - -22. Solve 2*p = t*p for p.
0
Let n be (6 - 2) + 1 + 7. Solve -4*b = -4 - n for b.
4
Suppose 0*y - 2*y = -6, y = 2*j - 17. Let s be 4/j - 2/5. Let r = 2 - s. Solve -i - i = r for i.
-1
Let r(f) = 9*f - 6. Let n be r(-4). Let m = -41 - n. Let c = 4 + -1. Solve -11 - m = -c*a for a.
4
Let b = 3 + 0. Suppose 5*a = b*a, -5*a + 1 = o. Let m be o/(3/12*1). Solve 0 = -t + m*t - 6 for t.
2
Suppose 4*m + m = -4*p + 37, -3*p = 5*m - 34. Solve 5*r + p = 8 for r.
1
Let p(u) = -u**2 + 4. Let j be p(0). Suppose a + n + j = 0, -5*n - 27 + 5 = 3*a. Suppose 0 = 5*z - 10*z. Solve -a = -z*w + w for w.
-1
Let z = 6 - 2. Suppose -h - z*t = -4, -5*h - 3*t + 6*t + 20 = 0. Solve s - 3 = h*s for s.
-1
Let j be (-12)/3 - (1 - 20). Solve -3*s - 2*s + j = 0 for s.
3
Let i(j) = -j - 12. Let d be i(-17). Solve -2*b - 5 = d for b.
-5
Let r(v) = -7*v**2 - 9*v + 1. Let w(f) = 6*f**2 + 8*f - 2. Let l(t) = 5*r(t) + 6*w(t). Suppose -2*y - 25 = 3*y. Let i be l(y). Solve -9 = -i*g - 21 for g.
-4
Suppose 0 = -2*o + 5*o - 48. Solve 2*k + 6 = o for k.
5
Suppose s - 5 = -1. Let k = 62 + -61. Solve k + 3 = -s*g for g.
-1
Let h = -1 - 0. Let s be (0/(-2) + -22)/h. Let d(r) = -r + 9. Let n be d(7). Solve -4*m + n = s for m.
-5
Suppose -4*m - 15 - 1 = 0, j + 3*m + 14 = 0. Let n be 1 - (-1 - (2 + j)). Solve -t = n*t + 3 for t.
-1
Let g = -87 + 91. Solve g = -m - 0 for m.
-4
Let j be 1 - (1*-9 + -1). Suppose 2*p + j = y, -y - 2*p = 4 + 1. Solve -2*s + 10 = y*s for s.
2
Suppose 0*n - 52 = 5*u - n, -2*u - 7 = -5*n. Let y be (16/(-4) + u)*-1. Solve -a = -4*a - y for a.
-5
Suppose -4*o + 9 = 5*x, -o + 6*o = 5*x. Suppose 5*l - 21 = 3*v, -3*l - v + x = -6. Let n be (4/10)/((-4)/(-20)). Solve 0 = n*h - 3*h - l for h.
-3
Let p(x) = -5*x - 2. Let a be p(-2). Let h(g) = 4*g**2 + 1. Suppose -4 = -2*k - 2*k. Let u be h(k). Solve -a - 2 = -u*v for v.
2
Suppose -11 = -3*n - 4*x, 3*x + 1 = -2. Let b = -5 + n. Solve 0 = 2*j + 6 - b for j.
-3
Let p = 7 - 4. Let o = 0 + p. Let k be (10/o)/(8/12). Solve -3*x = -2*x + k for x.
-5
Let d be 1 - (10/(-45) + 124/(-9)). Solve -2*b + d = b for b.
5
Suppose 8*z - 60 = 3*z. Let v be (-9)/(-6)*z/9. Solve 5*g = -27 + v for g.
-5
Let z(o) = o**2 + 3*o - 1. Let n be z(-5). Let v be n/(-12)*(-5 + 1). Suppose -3*t - 2 = 2*w, 2*t - 2*w + v*w = 0. Solve -4 = t*s + 2 for s.
-3
Let h(v) = v**3 - 8*v**2 + 8*v - 2. Let r be h(7). Suppose 0 = r*c + z + z - 33, 5*c - 3*z = 13. Solve -5 = -c*k - 25 for k.
-4
Let i(o) = o**3 + 5*o**2 - 5*o - 6. Let f be i(-6). Let b be 9/f - 21/4. Let x be (-27)/(-5) + b/15. Solve 0 = -2*t + x*t for t.
0
Let z be 1/(-1)*-1 + 9. Solve -n - z = n for n.
-5
Let l(n) = n - 5. Let x be l(8). Suppose 0*g = g - x. Solve 0*j = j - g for j.
3
Let s(r) = r**2 + 14*r -