 + 2*y, -15 = -5*s + v*y. Solve -9 = -2*x + 4*h + h, 2*x + h - s = 0 for x.
2
Suppose 0 = d - 4*i, -6*d + 2*d = 4*i. Let t be d/(-3) + 5*2. Let y be -8*(-2)/80 + (-39)/(-5). Solve 2*h - y = -j, -2*h + t = 5*j - 3*j for h.
3
Let l(z) = 3*z + 1. Let t(u) = 2*u + 2. Let k(f) = 4*l(f) - 5*t(f). Let i be k(4). Let v be 7 + 0 - 4/2. Solve i*h = v*p, -2*p - h - 1 = -2*h for p.
2
Suppose -m - u - 18 = -4*m, 3*u = -m - 4. Suppose 2*b - 3*w - 22 = -4, 5*w + 10 = 0. Solve -n - 4*s = -b, -m*s + 3 = -7 for n.
-2
Suppose 2*b + 17 - 53 = 0. Suppose 0 = d - 2*d + 16. Suppose -2 + d = h. Solve 5*a + 3*s + s = b, 2*s - h = -5*a for a.
2
Let b = -26 + -12. Let z = -26 - b. Solve -f = y + 4*f - z, y - 6 = -2*f for y.
2
Let r be (-3 + 5)*5*1. Let v = r - 7. Solve 0 = -v*w - o + 10, -w + 5*o + 6 + 8 = 0 for w.
4
Let d(o) = o**3 + 3*o**2. Suppose -4*a + 5*x - 42 = 0, -5*a + 2*x = -0*x + 44. Let s = a + 6. Let r be d(s). Solve -10 = 2*m - r*f, 0*f - 5 = -5*m + 4*f for m.
5
Let b be (28/(-6))/((-2)/6). Let c be ((-10)/(-3))/5*6. Suppose 4*i = 5*d + 2*i - 77, c*i - 84 = -4*d. Solve -2*s - 2*h = 3*h + d, -s + b = -5*h for s.
-1
Suppose -q - 3*q = w + 11, -5*w + 5*q + 45 = 0. Solve -v + 15 = -3*s - 3*v, -27 = 4*s + w*v for s.
-3
Suppose 12 = 4*w - 3*c, 4*w + 12 - 4 = -2*c. Let u = 81 - 56. Solve -3*j + 2*d = u, -j + 10 = 3*d - w*d for j.
-5
Let q = -22 + 24. Solve -i - 4*i + f = q, 8 = -2*i - 2*f for i.
-1
Let s(g) be the second derivative of -g**5/20 + g**4/6 + g**2 - g. Let t be s(2). Solve 0 = 2*f, -t*c + 3*f + 2*f = 10 for c.
-5
Let p(a) be the first derivative of -3*a**4/2 - 2*a**3/3 + a**2 - 1. Let l be p(-2). Solve -2*h = 3*t - 7, -4*h - l = -t - 3*t for h.
-4
Let p(h) = h**2 - 5*h + 9. Let v(b) = 4*b**2 - 16*b + 28. Let t(r) = -7*p(r) + 2*v(r). Let f be t(-5). Solve 19 = f*d + 4*k, -4*d - k + 21 = -0*d for d.
5
Suppose -c + 0*r = -3*r - 17, -2*c - 5*r - 21 = 0. Solve 2*t = 3*g - 22, 35 = 5*g - 5*t + c*t for g.
4
Let g be 148/6 + (-4)/6. Solve -5*h + 2*x = g, -5*h - 4*x + 2*x - 16 = 0 for h.
-4
Suppose z - 1 = -3*t - 0*t, 0 = -5*z + t + 5. Solve 5*h - z = -l, 0*l = 3*h - 3*l - 15 for h.
1
Suppose 3*p = -2*x + 3 + 39, x - 3*p - 3 = 0. Suppose l - 33 = 4*z, 2*l - 36 - x = 5*z. Solve 5*j + 12 = -4*a, 3*j + l = 1 for a.
2
Let b(n) = -n**3 + 5*n**2 + 2*n - 6. Let t = 0 + 4. Let o be b(t). Solve s - 4*y - o = 3*s, -2*s + 6 = -2*y for s.
-1
Let u(j) = -j - 1. Let l(g) = 8*g + 9. Let n(w) = 2*l(w) + 18*u(w). Let p be n(-2). Solve 0*q + p*m - 41 = -5*q, -14 = -2*q - m for q.
5
Let d(t) = -4*t - 20. Let s be d(-15). Solve 4*l - 5*q - s = 0, 5*q + 1 = 5*l - 44 for l.
5
Let p(w) = 2*w + 12. Let k be p(-9). Let o(n) = -n**2 - 10*n - 14. Let b be o(k). Solve 5*u - 4*y - 5 = -11, b = -5*u + 5*y for u.
2
Let y be 2/(2/1)*5. Suppose 4*t - 64 = -5*s, 4*s - y*t - 3 - 40 = 0. Suppose -z + 2*x = 0, -6*z = -z + 2*x - s. Solve 4*p + 2 = 2*f, z*p = -3 + 1 for f.
-1
Let k = -3 - -5. Suppose a + k*a = 6. Suppose 2*h + 5*n = 27, h + 3*h - 5*n = -21. Solve 0*j + h = j + 3*m, 3*j - a*m - 14 = 0 for j.
4
Let s = 10 - 11. Let u be 1/s*-2 - -1. Solve -4*p - u*y = -2*y - 7, -3*p + 34 = -5*y for p.
3
Suppose 7*y - 8 - 6 = 0. Suppose -2*c - 8 = c - y*v, 3*c + 3*v = 12. Solve 20 = 4*r - c*r, 11 = 4*t - r for t.
4
Let z be ((-8)/20)/(-1)*5. Let n(a) = a**3 - a**2 - 3*a + 2. Let o be n(z). Solve 0 = 4*p - y + 1, o*p + 2 = -2*p + 2*y for p.
0
Let p be -2 + (0 - 0) - -10. Let c = p + 2. Solve c + 10 = 5*l, -4*i + 5*l = 0 for i.
5
Suppose -a - 1 = 10. Let r = -7 - a. Let n(d) = 4*d**3 - d + 1. Let y be n(1). Solve r*q + 2*t - t = -17, -y*t - 20 = 4*q for q.
-4
Let h(s) = s**3 + 10*s**2 + 8*s - 6. Let q = 16 + -25. Let o be h(q). Solve -2*x = -o*j - 13, -13 = -3*x + 5*j + 8 for x.
2
Suppose 4*r - 143 = -5*m, -m + 102 = 4*r - 61. Let b be 2028/r - (-4)/(-14). Let s = b - 28. Solve 4*k - 4*z = -20, -k - 5*z = -5*k - s for k.
-5
Let x(v) = v**3 - 3*v**2 + 2*v + 2. Let s be x(4). Let g be s - -3*2/2. Solve 0 = t + 5*j - 23, 6*j - g = -3*t + j for t.
3
Let q = -42 - -58. Solve -j = -3*c - 2*j - 1, -q = 4*c + 5*j for c.
1
Let m be (6/(-4))/(4/8). Let y be (2/m)/(6/(-27)). Solve -5*d - 18 = -0*c + 2*c, -14 = y*c + d for c.
-4
Suppose 3*c + 3 = 3*f, 2*c + 0*c = -5*f + 5. Solve c*z - 4*z - 3*n = 15, -2*z = 2*n + 10 for z.
0
Suppose 3 + 3 = 3*z. Solve -1 = l - p, 0 = 2*l + 2*p + z*p - 10 for l.
1
Let x(j) = -j**2 + 4*j + 2. Let c be x(4). Solve 2*z - c*w = -3*w - 5, 3*z = -2*w - 9 for z.
-1
Let f = 1 - 1. Suppose o = -f*o. Solve o = -4*t - 2*l - 6, 5*t = 4*t - 4*l + 16 for t.
-4
Let g = -38 - -58. Let f be (-18)/(-3) - 1 - 1. Solve -5*q - d - 4 = -g, -3*d = -f*q + 9 for q.
3
Let d be 0 - 1 - 15/(-15). Let o = -6 + 8. Let z be (o + (-10)/4)*-8. Solve d = -5*x + 3*l + 7 + 9, 4*x - 32 = -z*l for x.
5
Let b(k) = -k**2 - 9*k + 4. Let s be b(-9). Solve 0 = -0*c + 2*c + s, 3*c + 10 = 4*r for r.
1
Let i(f) = f**2 - 5*f - 3. Let c be i(6). Suppose 5*o + c - 13 = 0. Solve 2*d = o*m - 2, d = -2*m - m + 19 for m.
5
Suppose 16 - 20 = -c. Solve t - 4*i = -c*t + 17, 3 = -t + 4*i for t.
5
Let f be (9/(-2))/((-11)/22). Let w = f + -5. Solve z - 2*t = -11 - 0, 3*z - 17 = -w*t for z.
-1
Let a be (-6)/(-21) + (-156)/(-42). Solve -2*v + 5*t + 12 = -5*v, -5*t = a*v + 11 for v.
1
Let n be 1/(-5) + 22/10. Let v = n - -1. Suppose -36 = -5*c + 4*t, 0*c - 16 = -c + v*t. Solve 4 = c*x, a - x = 5*a - 17 for a.
4
Let h = 146 + -146. Solve b - v + 2 - 3 = h, 16 = 4*b + 2*v for b.
3
Let m be (-3)/(-2) - 10/(-4). Solve -y = 4*i - 22, m*i - 2*y + 0 - 16 = 0 for i.
5
Let v(j) = 2 + 2 + 2*j - 4*j + j. Let m be v(0). Let i(l) = -2*l**3 - 3*l**2 - 2*l - 3. Let a be i(-2). Solve g + o - a = -g, -15 = m*g - 3*o for g.
0
Let s(m) = -m**2 + 20*m - 14. Let q be s(19). Solve -q*n - 6*r + r = 0, r + 3 = 2*n for n.
1
Let n = 1 + 1. Suppose 10 = 3*j - n*j. Solve -4*q + 2*k - j = 0, 6*k + 15 = 3*k for q.
-5
Let g(c) = c**3 + 3*c**2 + c - 2. Let j = 4 + -1. Let n be 0*j/9 - 2. Let m be g(n). Solve 3*r + m*r = -3*w + 15, 0 = -3*r for w.
5
Let b be -4*-2*(-3)/(-6). Solve 2*f - z - 3 = 0, 2*z + 0*z = 2*f - b for f.
1
Let p = 66 + -63. Solve 2*j - s + 5 = 0, 0 = -p*j - 0*s + 3*s - 15 for j.
0
Suppose -d + 14 = d + 4*g, g = -4*d + 28. Let s = d + -5. Solve 4*x + 4 = -3*y, 1 = s*y + x - 3 for y.
4
Let t(p) = -p**2 - 10*p - 16. Let k be t(-7). Solve 0*z + 5*z = 4*h - 1, -3 = -2*h + k*z for h.
-1
Suppose 0 = -4*v + 21 - 5. Suppose a + a - 5*u = -10, v*a - 5*u = -10. Suppose -2*j = 3*j. Solve j = 3*r - 6, -y + 8 = -a*y + 3*r for y.
2
Suppose 17*l - 12*l = 0. Solve -3*i - p - 17 = l, -1 = -i - p + 4*p for i.
-5
Suppose 0 = 2*d + 2 - 4. Let w be 2 + (1 - 2) + d. Solve 0 = w*n - 3*m - 4, -m - 6 = -3*n - 3*m for n.
2
Let a = 12 + -12. Let g be (a - -12) + 8 + -8. Solve g = -2*m - m + 3*f, 3*m + 2*f = 8 for m.
0
Suppose 0*s - 3*q = -3*s - 27, -q + 5 = 0. Let u be (-58)/(-3) + s/(-6). Solve 0*r + r = -p + 6, 0 = -4*p + u for r.
1
Suppose 0 = -4*y - 2*p - 1 + 5, -5*y + 18 = -4*p. Solve 1 = -y*j + g, -j = 3*j + 2*g - 10 for j.
1
Let k = 13 - 8. Solve 6 = -n - k*b - 15, 2*b = -3*n + 2 for n.
4
Let t = 16 + -16. Let n be (-3)/((-9)/6 + t). Suppose -3*s + k + 22 = 5*k, 0 = -5*s - 2*k + 18. Solve 0 = 5*b - 5*q, -s*q = -n*b + 3*b for b.
0
Let g(f) = -2*f - 4. Let w be g(-2). Solve 0 = -q - 5*h, -5*h = -w*q - 3*q for q.
0
Suppose 6 = 2*l - 36. Solve -m + 10 = 2*p, -l - 3 = -4*p - 3*m for p.
3
Let q be 1 + 5 + (-2 - -1). Solve -3*s - 7 = -q*o, -4*o + 0 = -2*s - 4 for s.
-4
Let s be (-90)/(-21) - 2/7. Suppose -20 = -3*x - 5*v + 11, 2*x + 4*v = 24. Let k = -23 - -34. Solve -k - 25 = -s*j - 4*i, -j + x*i = 3 for j.
5
Let p = -12 + 17. Suppose 0 = 2*b - 6*b - k + 18, -3*k + 19 = p*b. Solve -c = -4*z - 6, 0 = 2*c + z + 1 + b for c.
-2
Suppose -2*l + 30 = -4*r, -5 = -l + r + 5. Solve l*g + 3*t + 9 = 24, -t + 5 = -2*g for g.
0
Suppose -4*o = -2*o. Suppose -w + o + 3 = 0. Solve 3*r + 19 = -4*m, -3*m + w - 15 = 0 for r.
-1
Let w be (-8)/(-5)*200/16. Let v be (-4)/w - 38/10. Let a be v/(-22) - 40/(-22). Solve -d = -4*o - 2*d - 18, a*o = 4*d for o.
-4
Let r be ((-19)/(-4) + -6)/(2/(-8)). Solve 2*b - 5*b + 2*k + 11 = 0, -2*b - r*k + 1 = 0 for b.
3
Suppose 0 = 4*d - 16 + 4. Solve 2*h - 4*g - 29 = -h, 21 = 2*h - d*g for h.
3
Let m be (-1 - 3)*9/4. Let f(w) = -8*w - 2. Let r be f(m). Let g be r/1