e 1/(-6) - k/24. Solve -5*o = 2*h - 1, s*h + h + 10 = 4*o for o.
1
Let g(z) = -z**2 + 4*z + 14. Let v be g(6). Solve -v*t - p - 10 = -0*p, -t + p = 2 for t.
-4
Let x be 6/(-9)*(-30)/4. Suppose -7 = -s + 2*w, -5*s = -10*s - x*w + 50. Let j = 9 - s. Solve 2*l + 3*c - 2 = -0, j = l + c - 2 for l.
4
Let x = -5 - -5. Suppose 3*o + 2*o + 5*z - 20 = x, 5*o = -z + 12. Solve -g - o*s = 2, s = 3*g + 8 - 2 for g.
-2
Let x be (2 + 0 + 0)*1. Suppose x*g - 2 = g. Let l(y) = -y - 4. Let f be l(-7). Solve -3 = 3*r - n, -f*r - 1 = n + g for r.
-1
Suppose -5*m = -82 - 28. Solve -2*q - 4*t - m = -q, 7 = -q - t for q.
-2
Suppose 0 = -n + z - 0 - 2, -z = -2*n + 1. Solve q + 15 = 2*c + 2*c, -7 = -n*c + 5*q for c.
4
Let y be (24/(-6))/(-2*1). Solve 3*m = -y*h - 19, 0 = 5*m - 3*m + 2*h + 16 for m.
-3
Let l be 2 + 1/1*-2. Suppose -4*y + 2*y = l. Let o be 3/(y - (0 + -1)). Solve -3*s = -o*z - 7*s + 4, 3*s - 3 = 2*z for z.
0
Let n(a) = -a**2 + 11*a - 25. Let l be n(5). Solve m = d - l, 3*m = -d - 2*m - 13 for d.
2
Suppose 12 = -5*a - 18. Let b = -3 - a. Solve 4*i = 6*n - 2*n, -4*i - b*n - 35 = 0 for i.
-5
Suppose 0 = g + c, -2*c - 4 = -c. Suppose 1 = -g*f + 13. Solve h + 2*z = 0, f*h + 2*h - 11 = z for h.
2
Let f be -4 + 11 + (-12)/3. Solve 2*s + 3*z + 16 = 0, -4*s - f*z - 28 = z for s.
-5
Let b be (2/(-8))/((-2)/24). Solve 0 = 5*p + 10, -b*p - 18 = -3*r - 6 for r.
2
Let a be (-1)/(-4) - (-15)/(-12). Let d be -19*(0 + 1)*a. Solve 3*c = -5*r - 0 + d, 2*c - 11 = -3*r for c.
-2
Let f(b) = b**3 + 2*b**2 + b + 4. Let s be f(-2). Solve 2*h - s*y = 0, -4*y - 30 + 9 = 3*h for h.
-3
Suppose 0 = o + 2*o + 3*i + 21, -5*o - 3*i = 31. Let p = o - -10. Solve k = -p*u - 10, 3*u + 10 = -2*u + k for u.
-2
Let k = -24 - -29. Solve 4*m = -k*z - 19, 12 = 3*m - 4*z + 3 for m.
-1
Let j be (-8 + 3 + 1)*-1. Suppose 3*w + 2*s - 39 = -4, 0 = 4*s + 8. Let a = w + -4. Solve 0 = -j*v + 3*l - 26, v - 2*l + a = -0*l for v.
-5
Let s(y) = y**2 - 3*y - 2. Let i be s(-2). Let m = -4 + i. Suppose 4*q = q + 3*t - 9, -m*q - 5*t = -33. Solve 3*a + 5*o - 9 = 8, q*o - 10 = -2*a for a.
4
Suppose -11 = -4*v + 9. Suppose 3*d + 20 = -22. Let m be 10*(-2 + d/(-5)). Solve 2*t - t - 2*q + m = 0, 2*t + 19 = v*q for t.
-2
Suppose 67*f = 68*f - 10. Solve 3*s + f = -5*z, z + 3*s = -0*z - 14 for z.
1
Let a(j) = j**3 + 3*j**2 + 2*j - 1. Let i be a(-3). Let k be 2/7 - 120/28. Let f = k - i. Solve 5*d - 17 = f, 0 = g - 5*d + 25 for g.
-5
Let y(v) be the second derivative of v**5/20 + v**4 - v**3/6 - 6*v**2 + 3*v. Let w be y(-12). Solve 3*l - 5*u + 25 = 0, u + 2*u - 6 = w for l.
-5
Let u = 11 - 2. Let o = -3 + 14. Let w(y) = -y**2 + 4*y. Let j be w(4). Solve 2*l = -l + t + o, j = 2*l - t - u for l.
2
Let j be (-10)/(-30) - 1/3. Suppose i - 5*i + 8 = j. Solve 4*m + 2*a = -14 - 12, -4*m + i*a = 14 for m.
-5
Let k(q) = q**2 + 13*q + 17. Let l be k(-12). Solve 4*j + 8 = -l*h, h + j = 3*j - 10 for h.
-4
Let o = 216 + -207. Solve y - 5*y = w - 14, 3*y = o for w.
2
Suppose -h = -2*h. Let n(o) = 3*o**2 + 6 - 4 - 3 + 2 + o**3 - 5*o. Let p be n(-4). Solve h*c + c + 6 = f, -p*f = c - 24 for f.
5
Let i be 0 - 4*18/(-24). Solve 0*a - i*d = a - 1, 5*a = 3*d + 23 for a.
4
Let p(b) = b - 7. Let f be p(4). Let z be 1*(-1)/(2 + f). Let i be (0 + 0/(-1))/z. Solve -c + 2*u + 8 = i, -2*c - 2*c = 3*u + 23 for c.
-2
Suppose -2*v = 11*v - 65. Solve -2*z = -2*x - 4, -z + 20 - 6 = v*x for x.
2
Let n be (1 - 1)*(-3 - -2). Let j = -5 - -8. Solve n = -j*w - 2*h + 17, -3*w = 5*h - 3 - 17 for w.
5
Let h = 0 + 3. Suppose 25 = -5*m, -h*x - m + 55 = -3*m. Let o be 2 - (0 + (1 - 2)). Solve -o*u - 5 = -2*u - 2*w, -x = -3*w for u.
5
Suppose -2*b + 16 = 6*b. Solve 3*z + 0 = b*k - 5, 3*z + 6 = 3*k for z.
-1
Let f be 1/(114/56 - 2). Solve -5*h + 22 = -i, i + 8*h = 3*h + f for i.
3
Let x = 13 - 11. Suppose -x*v = -7*v + 10. Solve 0 = -2*u + 4*h - v, 5*u + 3*h + 5 + 13 = 0 for u.
-3
Suppose -2*z - z = 4*y - 32, 4*z - 5*y - 53 = 0. Suppose -9 = -2*m + 3. Let r be (m/(-4))/(9/(-12)). Solve 22 = 3*g - 5*w, r*g - 4*w = -2*w + z for g.
4
Suppose -2*z = -0*z - 18. Let i = z + -5. Suppose -147*y = -151*y + 12. Solve 5*k = -i*b - 10, -4*b + 4 = -y*k - 2 for b.
0
Suppose 14 = 3*d - 19. Suppose -3 = -2*t - 11, -3*p = t - d. Solve -5*c + p*i - 20 = 0, 5*i - i = c + 19 for c.
1
Suppose 10 = -3*v - 4*j, 3*j = v - j - 18. Solve v*t + 4*u - 2*u = 12, -2*t - 3 = -3*u for t.
3
Suppose -1 = 4*j - 9. Solve d = h, d + 6 = -4*h + j*h for h.
-2
Suppose -2*a = 3*a. Suppose a = -4*t + 14 + 6. Solve 0 = -t*y - i - 20, -y - 5 = -i - 1 for y.
-4
Let u = -2 - -7. Let r(p) = p**2 - 3*p - 5. Let t be r(u). Solve -2*q + 10 = 0, 4*q + t = 5*c - 0*c for c.
5
Let c = 2 + 7. Let k be (-16)/(-64) + (-70)/(-8). Let r(g) = -g**2 + 9*g + 14. Let a be r(k). Solve s - 3*n - c = -s, -3*s - n = a for s.
-3
Let z be 0/(-2) - (1 - 4). Let m(t) = -4*t - 1. Let o be m(-1). Let r be 9 + 2 - (o + -2). Solve -z*l + 15 = 3*p, p = 4*l - 0*l - r for p.
2
Let w = 3 + -1. Let s = -11 + 29. Suppose 3*t + s - 24 = 0. Solve t*f - 7 = f - w*h, -5*f + h - 9 = 0 for f.
-1
Let x = 13 - 9. Solve 15 = 2*f + b, 0*b = 2*f + x*b - 30 for f.
5
Suppose -4*q - 4*s = 0, -5*s - 27 = -4*q - 0*q. Solve -2*g = t + 11, 0 = t - q*g - g - 7 for t.
-5
Let j be 16/12*(-12)/(-8). Solve -3*v + 4*x + 29 = 2*v, 0 = j*v + 4*x - 6 for v.
5
Let r(x) = 3*x**3 - x**2. Let w be r(1). Solve -w*l = -4*z - z + 31, 0 = 4*l - 2*z + 22 for l.
-3
Suppose -5*l - 3*g + 85 = 0, 0 = 2*l + g - 38 + 5. Solve b - 2*b = 2*d + l, 0 = 2*b + 8 for d.
-5
Let p(l) = l**2 + 3*l - 1. Let t be p(-3). Let g(o) = -2 - 4 - 3*o**3 + 5. Let y be g(t). Solve -3*k = -2*z - 6, y*z - 25 = -4*k - z for k.
4
Let k(x) = -x**3 + 9*x**2 - 9*x + 12. Let t be k(8). Solve 0*v = -t*f + 3*v + 6, -13 = -3*f - 2*v for f.
3
Suppose 3*y = 13 - 4. Solve y*u + 3 = -3*v, 12 = 4*v - 3*u + 2 for v.
1
Let t = 30 + -28. Solve -3*m - q - 15 = -t*q, -q = 5*m + 17 for m.
-4
Suppose -j - 6 = 2*i, -5*j - 3*i + 5 = -0*i. Let w be j + -1 + -1 + 0. Suppose 2*n - 3 = 2*g - 7, -3*n + 8 = 4*g. Solve w*z + 2 = t, 10 = g*t + z + z for t.
4
Let w(m) = -m**2 + 5*m + 2. Let n be w(5). Suppose -n*h = -4*p - 10, -6*p = -2*p + 4. Solve x = -2*g, h*g - 3*x + 8 + 1 = 0 for g.
-1
Let m be (-2)/4 + 51/6. Let r(b) = -2*b. Let z be r(2). Let u = z + m. Solve -u*o + 3*i = 23, 3*o - 4*i + 23 = -3 for o.
-2
Suppose -4*x - 6*x = 0. Solve -s + x*s + 3 = -2*t, -2*t = -5*s - 17 for s.
-5
Suppose 4*h - 27 = -5*x, 2*h + 3*x = 26 - 11. Solve -3*y = -h*k + 18, 3*y - 2*k + 21 = 2*k for y.
-3
Let d(s) = 13*s - 1. Let x be d(3). Suppose 5*g - x - 2 = 0. Let l be (3/(-4))/((-1)/4). Solve 4*a + 0*u - l*u = -g, 8 = -4*a + u for a.
-2
Suppose 4*i + 8 = 4*r, 4*i - 2 = -r - i. Solve 0*c + 6 = -4*j + 2*c, 0 = -2*j - r*c for j.
-1
Let f(y) = -y. Let m be f(3). Let x be (m + 2 - 0) + 4. Solve 6 = -t + x*s, 0 - 10 = t - 5*s for t.
0
Let r(h) = h**2 + 12*h - 70. Let p be r(-17). Solve 2 = 2*w - 4*g, -p = 3*w + 4*g + 2 for w.
-3
Let u = 27 - 17. Suppose g + u = 2*g. Solve -20 = 4*k, -l = -5*k - 36 + g for l.
1
Let z = 26 + -16. Let g = z - 4. Let m(l) = 3*l - 1. Let v be m(2). Solve -5*y - v*o = -30, 2*y = g*y - o - 9 for y.
3
Let v = -31 - -85. Suppose -3*k + v = -k + 2*y, 4*k - y = 123. Suppose -4*a + 3*a + 7 = 2*h, -4*a - 32 = -4*h. Solve -h*u = -4*o - k, 11 - 3 = -2*o - u for o.
-5
Let b be (-40)/(-6)*6/(-5). Let y(c) = -c - 6. Let k be y(b). Suppose u + 0*u = k. Solve 3*w + 6 = -2*j, w + 0*w + u = j for w.
-2
Let v(y) = y + 10. Let w be v(-8). Solve -3*h = 4*t - 9, -w*h + 2 = 3*t - 5 for t.
3
Let h(k) = -k**2 - 4*k + 3. Let u be h(-4). Suppose -5*i + 5 = 0, u*v = 2*i - 6 - 5. Let j = -1 - v. Solve -3*f = 2*p + 25, 3*p + 43 = -j*f + 18 for f.
-5
Let m = 14 - 9. Suppose 5*h + 3*f - 29 = -0*h, 0 = 5*f - 15. Suppose m*q + 20 = -4*p, -p - h*q - 16 = p. Solve p = -4*x + 20, -2*s + x = s - 4 for s.
3
Let b(m) = -m**3 + 4*m**2 + 4*m - 10. Let x be b(4). Let o(l) = l**2 - 3*l + 4. Let g be o(3). Solve 10 = f + 5*d, 3*d - x*d + 23 = g*f for f.
5
Suppose 13 = -5*p + 5*z - 2, -6 = -p + 4*z. Let o be (-2)/(-6) + (-16)/p. Solve -o*c = -2*v + 9, 4*c - 5*v + 5 = -7 for c.
-3
Let i = -169 + 172. Solve 2*c + 10 = -2*r, -i*r + 0*r + 10 = -2*c for c.
-5
Suppose -2*t = -11 - 1. Solve 2*a - d + 0*d = t, 0 = -5*d - 20 for a.
1
Let y be (65/(-15) + 4)*-9*1. Solve d = 4*q