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