+ 9 = 0, -j = 5*c + 30. Let d = c - -7. Let n be (20/d)/2 - 3. Solve 3*y = -0*y + u - 7, -5*y + 4*u - n = 0 for y.
-3
Let i(s) = -s + 12. Suppose -25 = -2*r - 7. Let h be i(r). Suppose -3*p = h*k - 24, -7*k + 3*k - 3*p + 27 = 0. Solve 0 = j - 3, 1 - 4 = -k*y - 4*j for y.
-3
Suppose -13 + 17 = 2*x. Solve 7 = -s + 2, -x*i + 5*s = -19 for i.
-3
Let z be -20*1*(-18)/(-24). Let n be (4/(-3))/(2/z). Let f(j) = -j + 14. Let d be f(n). Solve 5*p + 19 = d*h, h + 0*h = -5*p - 14 for h.
1
Suppose b = 2*r - 2*b - 11, -3*r + 19 = -4*b. Solve 3*v - 5*i + r + 4 = 0, -3*i - 5 = 2*v for v.
-4
Let t = 7 - -2. Solve v = 2*i - 3*i + t, 2*i - 8 = 0 for v.
5
Let u(k) = -k**2 - 15*k - 4. Let l be u(-14). Suppose -4*d + 2*d + l = 0. Solve -5 = -v - 5*g, -g + d*g = 4 for v.
0
Let w(j) = -3*j**2 + 16*j. Let a be w(5). Solve a*l = 5*n - 5 + 25, 5*l - 3*n = 16 for l.
2
Let a(y) = y**3 + 4*y**2 - 5*y + 3. Let r be a(-5). Suppose -k + r = 2*k. Solve -3*q = -2*n + 2, 3*n - k - 3 = 5*q for n.
-2
Suppose 1 = j - 3. Suppose -6*o + j*o = -6. Solve -8*p + 20 = 4*y - o*p, 12 = 2*y + 3*p for y.
0
Let y(v) = -v**2 + 9*v + 4. Let c be y(9). Suppose 3*t = 5*t - 3*l - 9, -5*l = 5*t + 15. Solve 0 = -i - g, t*i + c*g + 12 = -i for i.
4
Suppose 0 = g - 0*g. Let l = 4 - g. Suppose -52*q = -49*q - 9. Solve 0 = -z + 5, q*n = n + l*z - 12 for n.
4
Let o(i) = -2*i + 25. Let j be o(0). Solve -5*n - 5*q = 0, -n = 2*n - 2*q + j for n.
-5
Suppose 3*m - 20 = -5. Solve 2*h + m = -1, -3*h = 3*p for p.
3
Let q(n) be the first derivative of 5*n**4/4 - 2*n**3/3 + n**2/2 + 3. Let o be q(1). Solve -2*d = 2*v - o, -2*v + 0 = -3*d - 4 for d.
0
Suppose -13 = -4*u + 5*k, -7*u + 2*u - 5*k = -5. Solve 5*g = -2*f - 11, -f = -u*g - g for f.
-3
Suppose -a = 3*t - 12, 3*a - 2*t - 3 = -0*a. Solve a*w + w = j - 4, 2*j = w + 1 for j.
0
Let z be 13*2/(3 + -1). Solve -2*y - 7*d + 2*d = z, 2*y + 2*d + 4 = 0 for y.
1
Let x be (3 - (-4)/(-2)) + 4. Let c be (-2 - -47)/(-3)*2. Let b be c/(-9) - (-4)/6. Solve b*h = x*z + 1, h + 4*z - 19 = -z for h.
4
Let i(b) = -2*b + 2. Let p be i(3). Suppose 0 = -5*j + 5*y, 5*j - 2*y = -y + 16. Let n = p + j. Solve z = -n*z + 1, -5*z + 5 = 3*d for d.
0
Let r(w) = -w**3 - 3*w**2 + 5*w + 6. Let a be r(-4). Let k(q) = q + 5*q**a - 5*q**2 - 1 + 3*q**3. Let z be k(1). Solve 6*j - y - 2 = 2*j, 4*y = -z*j + 11 for j.
1
Suppose 0*b = -4*b + p + 10, b = 2*p + 6. Let o be (18 - 17)/(((-4)/(-2))/6). Suppose 5*t - 11 = 19. Solve -b*c = o*z + t, c - z + 9 = -2*c for c.
-3
Let y(k) = -k**2 - 6*k + 2. Let r be y(-6). Suppose 3*d = -3*p + d + 5, -2*d = r*p - 2. Solve 0 = -5*l - 20, 2*l + 6 = -p*v + 1 for v.
1
Suppose 0 = -0*w - 3*w. Let v = w - -20. Solve -15 = 3*x, 3*k + 2*k - x + v = 0 for k.
-5
Suppose 10*r = 3*r + 21. Solve k + 15 = -4*k + 2*j, k - 4*j = -r for k.
-3
Let j be ((-5)/(-15))/((-2)/30). Let i = 8 + j. Solve i*c - 2*c = -3*n + 16, 5*c = n for n.
5
Let w(i) = i**3 - 20*i**2 + 20*i - 17. Let b be w(19). Solve -3*g - 3*l + 5 = 20, b*l = -4*g - 10 for g.
0
Suppose 3*c + 3*b + 1 - 16 = 0, 0 = -4*c + 5*b + 2. Solve 4*l = 2*f + 8, 0*l - 5*l - c*f - 12 = 0 for l.
0
Suppose 145 + 69 = 2*x. Suppose -3*f = -5*m + x, -5*m - f + 2*f + 109 = 0. Let u = 36 + -18. Solve -4*l = 2*s - m, -4*l + 2*s + 0 = -u for l.
5
Let n be 12/2 - (1 + 1). Suppose 15 = f - n*u, -u + 5 = f - 20. Solve 2*b - 19 = 7*b - m, 2*m = 5*b + f for b.
-3
Let t be (-3)/(-9)*(1 - -20). Solve -h + 2*z = 2, -5*h + 19 = 2*z - t for h.
4
Let x = 66 - 62. Solve -3*u + 27 = 3*v, x*u + 3*v - 37 = -u for u.
5
Suppose -t = -5*t + 76. Let o = -19 + t. Suppose -5*x = -4*z + 7*z - 26, 4*z - 4 = x. Solve o = 5*m + 15, -2*m + 4*m - 2 = -x*f for f.
2
Let n be 2/(-4) - (-36)/8. Solve 2*t = 3*o + t - 5, -n*o - 5*t = 6 for o.
1
Let l(n) = 3*n**2 + n**2 + 0*n - 1 - n. Let h be l(-1). Solve 12 = 4*t, 2*f - h*t = 4*f - 22 for f.
5
Suppose d = 5*c - 10 + 30, 20 = 3*d - 5*c. Solve 2*y - 4*o = -7*o + 5, 5*y - 5*o = d for y.
1
Suppose -6 = -f + 3*f, -3*r - 2*f = 3. Let x be (5 - 6) + (26 - r). Solve -q + 25 = 2*m + 4*q, -3*q = 3*m - x for m.
5
Let h(l) = -l**2 - 6*l + 25. Let w be h(-8). Solve 0 = 3*k - w, -7 - 9 = -2*f - 4*k for f.
2
Let v(f) = 3*f**3 - f**2 + 2*f - 1. Let p be v(1). Solve -x = p*j + 2, -x = -j - 0*x + 6 for j.
1
Suppose -u - 3*u + 16 = 0. Suppose -5*j - 8*j + 5*j = 0. Let d = u - j. Solve -i + 2*l = 0, d*i - 6 = 3*i - l for i.
4
Let r = -20 - -22. Suppose -g + p + 61 = 4*g, -5*p + 59 = 3*g. Let o = g + -7. Solve 3*d - 3*i = o*d, r*d + i = 2 for d.
2
Let s = 0 - -3. Suppose 3*x + 9 = 18. Let o be 4 - (2 - (x + 0)). Solve -3*l - 5*a = -s, 0 = 3*l - o*a + 20 + 7 for l.
-4
Suppose 5*v = 15, -3*k + 14 = 2*k - 2*v. Suppose c + 6 = 5*f, 2*f - k*c - 9 = -3*f. Suppose 3*t = 11 + f. Solve 3*h + 37 = -5*p, 2*h - t*p = 5 + 7 for h.
-4
Suppose 57 = 3*d + 12. Suppose 0*k + 5*k = d. Suppose -10 = 4*m - 9*m. Solve a + m = -3*g + 9, -5*g - k*a = -17 for g.
1
Let i(z) = z**3 - 6*z**2 - 7*z. Let j be i(7). Solve -2*b = 0, 0 = 4*h - j*h - b + 20 for h.
-5
Let w = 300 - 164. Let y be w/14 - (-22)/77. Solve y = 5*r + 5*c, 0*r + 2*c = -3*r + 9 for r.
5
Let r = 80 + -75. Solve -5*f - 20 = 5*c, 0*f - 10 = -5*f + r*c for f.
-1
Let z = 0 + 0. Suppose 15 = 5*i, -3*g = 5*i - z*i - 36. Suppose 0*b + b - 4 = 0. Solve -3*a = 3*y - 6, g*a + 15 = 4*a + b*y for a.
-1
Let q(z) = -2*z + 1. Let t(s) = s**3 - 4*s**2 + 2*s + 1. Let x be t(3). Let o be q(x). Let f = 5 - o. Solve -2*k = 5*j - f*j + 11, k - 2 = 0 for j.
-3
Let w(a) = 2*a + 43. Let t be w(-14). Solve 4*k + 4 = -4*s, -3*k + t = -6*k + s for k.
-4
Let z be 4/(-5)*(-9 + -1). Let f be -3 - (-14)/(3 - 1). Solve -f*r + 2*d + 7 = 19, -2*r + 2*d - z = 0 for r.
-2
Let g = -6 + 15. Suppose g = 2*s - 1. Solve 0*c - 22 = c + s*t, c + t = -6 for c.
-2
Let q be 6/(-27) + 237/(-27). Let p be 8 + (-3)/(q/(-6)). Solve -5*c + 2*v + p + 8 = 0, -4*c + 2*v + 10 = 0 for c.
4
Let x be ((-7)/7)/((-1)/2). Solve 6 = 3*f + r + x*r, -3*f - 10 = -r for f.
-2
Let d(t) = -17*t**3 + 7*t**2 + 7*t + 3 + 35*t**3 + 4 - 17*t**3. Let x = -10 + 5. Let l be d(x). Solve 0 = 3*w - 2*a + 7*a + l, 5*w = 3*a - 14 for w.
-4
Let z(s) = -7*s - 3. Let x be z(-2). Let r be 2/(-8) - x/(-44). Solve -4*d - 1 = g, r = 2*g + 8*d - 4*d - 2 for g.
3
Suppose -3*n - 3*f + 6 = 0, 2*n - f - 4 = f. Solve -11 = -n*w - 2*u - u, 0 = 3*w - u + 11 for w.
-2
Suppose 73*s - 69*s = 24. Suppose -f + 2 = -2*b, -f + 4*b + 3 = 3*b. Solve 1 = f*n - 3*q, s*n = n + q - 7 for n.
-2
Let l(f) = -f**3 - f**2 - f + 2. Let a(q) = q**2 + 15*q + 14. Let o be a(-14). Let j be l(o). Solve j*d + 2*s + 5 - 3 = 0, -s = 2*d + 5 for d.
-4
Let h be 34/12 + 4/24. Solve z - 4*r + 2 = -2*r, 0 = -h*r - 3 for z.
-4
Let w(i) = 2*i**3 - 4*i**2 + 4*i - 3. Let b be w(2). Suppose g - 5*d + 14 = b*g, 4*g = 2*d. Solve 2*v = -3*f + g + 3, 10 = 5*v + 3*f for v.
2
Let t(k) = k - 14. Let a be t(19). Solve -3*d + 5*s = 21, -4*d - 6 = -s + a for d.
-2
Let g be (-3)/(-2) - (-2)/4. Suppose 0 = -t - 3*r + 8, -g = -5*t - 3*r + 86. Solve x + 12 = -2*x + 3*l, 5*x + t = l for x.
-4
Let b be 0/(-1*(-1 - -2)). Let g(t) = 3*t - 26. Let p(q) = 2*q - 17. Let s(m) = -5*g(m) + 8*p(m). Let v be s(9). Solve b = v*k - k, -k = o - 2 for o.
2
Let y(p) = p**3 - 8*p**2 + 4. Let i be y(8). Suppose 0 = -i*a + a + 6. Solve 6 = 4*c - 2*q - 0, 0 = a*q - 2 for c.
2
Let b = -1 - -3. Let g be ((-1)/2)/((-1)/2). Suppose b*s = 3 + g. Solve 2*i = -s*u - 4, 5*i = -2*u + 6*u - 28 for i.
-4
Let p(m) = -5*m. Let h be (2 - -1)*(-3)/9. Let q be p(h). Let l be (0 - 1)/(2/(-6)). Solve r = -6*o + o + 8, 0 = q*r - l*o - 12 for r.
3
Let o(r) = -r**2 + 11*r - 8. Suppose 2*c = -4 + 24. Let p be o(c). Solve -5*y = -4*x + 4 + 7, 0 = -3*x + p*y + 3 for x.
-1
Let d = -3 - -5. Suppose -d*s + 20 = 2*s. Solve s*a - 2*b + 3 = -5, 2*a - 4*b = 0 for a.
-2
Let u be (-2)/(-4)*-2 - -13. Let g be 3/12 + (-3)/u. Solve -2*a - 4*q - 4 = 0, g*a + 5*q + 27 = 3*a for a.
4
Let c = 15 - 13. Solve c*o = -8, -5*u + o = -4*o - 45 for u.
5
Let o(n) = -n**3 + 6*n**2 + 6*n + 9. Let a be 4 - -3 - (-1 - -1). Let l be o(a). Solve 17 = 3*p - l*d, 4*p - 6 = -3*d + 11 for p.
5
Let u(d) = -d**2 - 3*d - 1. Let a be u(-2). Solve -3 = -g - h, -g + 5*h + 8 = -a for g.
4
Suppose 5*b - 7*b + 160 = 0. Suppose -8*v + b = -4*v. Suppose -3*h + v = 2*h. Solve h*p - 5*t + 3 = 0, 0*p - 2 = 3*p - 4*t for p.
-2
Let