18, g*n + 3*y = 8 + 11 for n.
1
Let m(f) = -f + 5. Let c be m(3). Let a = -1 + c. Solve -3*u - 9 = y, -3*y - 4 = -3*u - a for y.
-3
Suppose 3*x = 5*x. Let z(a) = -a + 4. Let t be z(x). Let k = 59 - 57. Solve -t*d - d + 20 = 3*i, 0 = k*i - 2*d + 8 for i.
0
Let v = 8 + 0. Solve 0*p - 2*p = t - v, 4*t + 5*p - 26 = 0 for t.
4
Let s be (-1 + 0/3)*-8. Let k = s - 6. Solve 0 = 2*i + 2*d, 6*d = k*d - 12 for i.
3
Let z be 7 - 3*2/2. Suppose 4*q - 8 = 5*h, 4*q - h + 0*h - 8 = 0. Solve -z*g = 2*t + 18, -1 = t + q for g.
-3
Let m(o) = -4*o**3 + 3*o + 3*o**3 + 2*o**2 - 1 + 0*o**3. Let b be m(3). Let f = 2 - b. Solve -n = -f*v + v + 7, -19 = 2*n - 5*v for n.
3
Let c = 37 + -23. Solve -x = x + 3*y + c, -3*y - 17 = 5*x for x.
-1
Let g(k) = -k + 1. Let o be g(-7). Let t be (-6)/o - (-68)/(-16). Let w be t/25 + 61/5. Solve 4*p = -3*i + p + w, -5*i + 6 = -2*p for i.
2
Let y be (8/(-6))/((-4)/24). Let d be (2 + y)*(-1)/(-2). Solve -d = 5*w + 10, 5*w = -5*m - 20 for m.
-1
Suppose 3*f + 5*q = -11, 2*f + 1 = -2*q - 1. Solve -2*x - 15 = 5*u, u + f*u + 2*x = -10 for u.
-5
Let d(i) = 2*i**2 - i + 1. Let o be d(1). Let s(k) = k**2 - 8*k + 3. Let t be s(8). Solve -4*a - t*w = 4, -2*a - 2 = -o*w - 2*w for a.
-1
Let y(k) = k - 6. Let n be y(8). Let b be n/(36/(-19) - -2). Solve -4*s = o - 0*o - 7, -4*s - 5*o = -b for s.
1
Suppose -5 = -104*a + 103*a. Solve l + 2*s + 28 = -3*l, a*s = 4*l for l.
-5
Let l be 2 - -2 - 4/2. Solve 3*c + 8 = -2*p - 0*c, 4 = -l*c for p.
-1
Let o(k) = -k**3 + 10*k**2 + 8. Let q be o(10). Solve -10 = p + 3*j, -j = 2*p + j + q for p.
-1
Let y(w) = -2*w + 1. Let j be y(-3). Let k be (-9)/(-6 + 3) + 0. Suppose j*b = k*b. Solve -4*d - 12 = -4*g, d - 2*g + b = -5 for d.
-1
Let y(h) = -h**3 + 7*h**2 + h - 7. Let c(i) = i**2 + 4*i + 2. Let a be c(-5). Let n be y(a). Solve n = -5*j - p + 9, -4*j - p - 2*p = -16 for j.
1
Let j = 1 - -8. Suppose -n - 4 + j = 0. Solve x = n*y + 4, -y - 2*y + 2*x - 1 = 0 for y.
-1
Let a be (-22)/(-10) + (-7)/35. Solve 0 = -a*g + 4*g + 6, -15 = -3*b + 2*g for b.
3
Let r be 12/(-36) - (-26)/6. Solve -5*s = -q + 5, -4*s - q = r*q + 33 for s.
-2
Let o = 19 - 15. Suppose -p - 4*n + 8 = 0, -3*p + 3*n + 16 = -53. Let a be (18/15)/(6/p). Solve -2 = -2*k - 4*g, o*g + g - a = -3*k for k.
3
Let y(w) = -w**3 + 52*w - 52*w - 5*w**2 + 2. Suppose -2*l + 0 = 2*i + 6, -i + 2*l = 9. Let d be y(i). Solve -v + 10 - 27 = -3*r, 0 = 2*v + d*r - 6 for v.
-2
Suppose 2*f - u = -5*u + 2, 5*f = -2*u + 21. Solve f*j + a + 0 + 13 = 0, 2*j + 8 = a for j.
-3
Let q = 31 - 6. Solve -5*k = -3*h - 0*k + 25, -q = -h + 5*k for h.
0
Suppose 4*n + 4*f - f - 12 = 0, 3 = n + 4*f. Solve 20 = 3*p + 5*g, -n*p + 8*p + 5*g - 30 = 0 for p.
5
Let o(h) = 5*h**2 + 1. Let c be o(1). Suppose -4*y + c = -y. Solve 3*n + n - y*q + 14 = 0, 5*n = 2*q - 17 for n.
-3
Let s(v) be the second derivative of -v**4/12 + v**3 + v**2/2 + v. Let n be s(6). Let f(l) = l**2. Let r be f(n). Solve c = -2*z + r, z - 2*c = -z - 2 for z.
0
Let s(v) = 6*v + 47. Let f be s(-5). Solve 4*x + 18 = 5*l - 3, 4*x - l + f = 0 for x.
-4
Suppose -2*r + 7*r = -3*v + 181, 4*r + v - 142 = 0. Suppose -o = -6*o - r. Let p = o + 11. Solve -a + 5*t + 14 = -13, 0 = -p*t - 20 for a.
2
Let t = 1 + -3. Let m be t/(-5) + 48/80. Suppose -r + 1 = -1. Solve 5*f + 30 = 3*s, 3*s = -4*f + m + r for s.
5
Suppose 4*h - 2*v = 14, 5*v + 10 + 1 = 2*h. Let q be 80/35 + (-6)/21. Solve 2*z + q = 2*w, -h*w - 3*z = -w - 17 for w.
4
Let y be 4/6 - 14/(-6). Solve y*i - 4*k = 7*i - 28, 0 = k - 4 for i.
3
Let m = -17 - -29. Suppose 0 = -4*s + i + m, i = 6*i + 20. Solve x - s*o - 2 = 0, -4*o - 18 = -5*x - 2*o for x.
4
Suppose 2*p + 38 = -j, 0*p + 3*p = -5*j - 71. Let q = 24 + p. Solve -5*n = -3*x + q*x - 33, -2*n + 4*x + 2 = 0 for n.
5
Suppose 7*v = 2*v - 4*d + 35, -2*v + 4*d - 14 = 0. Solve 1 = q, v*z + 2*z + 22 = -3*q for z.
-5
Let o = 5 - 4. Let x be (1 - (2 - 3))*o. Suppose -d = m + x, -d + 3*m = d - 6. Solve 4*y - 4 = l, d = -2*l - y + 3*y - 2 for l.
0
Suppose 4*w - w = 9. Suppose w*z = -2*z + 10. Solve 0 = -0*a - 2*a - z, -o - a = 0 for o.
1
Let r be (20/8)/((-2)/(-4)). Suppose 0 = -r*h - 1 + 11. Solve 0 = 2*q + k - 4, -3*k + h*k + 2 = 0 for q.
1
Let x(u) = -u. Let l be x(-4). Suppose 0*v = -3*v + z + 20, 0 = -l*z - 8. Solve -2*h + 4*y = -6, -v + 0 = -3*h + 3*y for h.
1
Suppose 2*a = 3*a - 2. Suppose a*b + 1 = 5. Solve -4*p - 6 = 2*l, -5*p + 2*l + l = b for p.
-1
Let i(p) = -p**3 + 6*p**2 + 16*p + 7. Let s be i(8). Solve -5*a - 3*f + 30 = s, 2*a = 2*f + 6 for a.
4
Let r = 4 - 2. Let t be (-2)/((-45)/(-21) - r). Let z be t/(-3) - (-3)/9. Solve -c = z*w + 9, 5*w + 3*c + 14 = -3 for w.
-1
Suppose -x - 10 = -6*x. Solve 5*w = i + 20, x*i - 6*i = 5*w - 45 for i.
5
Let b(d) = d**3 - 2*d**2 + 4*d - 6. Let a be b(2). Solve 2*s = -4*y + 14, a*y - 6*y + 16 = 0 for s.
-1
Let p = 20 + -17. Suppose 2*t = -p*t. Solve -5*s + 16 = -3*l, -8 = l - t*l - 3*s for l.
-2
Suppose -3 = -2*y + 5. Solve 3*j - 2*a = -3, y*a = 3*j + 2*j + 3 for j.
-3
Let s be (24/60)/((-2)/(-20)). Solve s*m = 5*j - 40, -m = 6*j - 2*j - 11 for j.
4
Let i = -9 + 15. Suppose -6*q + 94 = 64. Solve -3*n + 6*c = c + i, 4*c = -q*n + 27 for n.
3
Suppose -2*f + 8 = 2. Suppose -f*s + 41 = -79. Suppose 0*n - s = -2*n. Solve -4*j + 0*q - n = 4*q, 4*q = -16 for j.
-1
Let f(d) = -3*d**2 - 2*d + 2. Let x be f(-2). Let h be x/(-10) - (-156)/15. Solve r + 12 = 5*r, h = 2*n + 3*r for n.
1
Let c = 23 + -20. Solve 0 = -v - 7 + 2, -c*x - 2*v - 16 = 0 for x.
-2
Suppose -10 = 2*t - 3*t. Suppose 0 = -2*g - 6 - 0, -5*g + t = 5*a. Solve 4*w + 6 = a*l, l + 22 = -0*w - 5*w for l.
-2
Let k(w) = w**3 - 7*w**2 + w - 5. Let f be k(7). Let u = f - -1. Solve 0 = x - u*b + 1, 5*x + b = -b + 12 for x.
2
Let k(c) = 3*c**2 - 2*c - 2. Let u be k(-1). Solve -f + 9 = -4*j, 0 = -u*f - 0*j - 5*j - 7 for f.
1
Let p(k) = -k + 5. Let f be p(5). Suppose f*v = -v + 4. Suppose -i + v = i. Solve -2*b + 4*x + 6 = -4, 2*x = -i*b + 4 for b.
3
Suppose -2*g - 3*g + 50 = 0. Solve -3*v = -4*o - 3, 3*o = g - 1 for v.
5
Suppose -s + 2*s = 3. Let r be (-15 - 0)*3/(-9). Solve s = 5*i + r*l - 7, -2 = -l for i.
0
Let s = 8 - 12. Let r be (-9)/s - 2/8. Solve -9 = -u - 4*b, 3*u + 5*b + r - 15 = 0 for u.
1
Let a be 96/20 - (-2)/10. Solve 0 = x - 2*w - 7, 2*x + 4*w + a = -5 for x.
1
Suppose -2*f = 3*p - 20, -2*f = p - 1 - 11. Solve 2 = 5*q + p*b, 5*q - 3*b = q + 14 for q.
2
Let q = -17 + 11. Let p(x) = -x**2 - 8*x - 7. Let d be p(-5). Let a be ((-15)/q)/5*d. Solve -4*s = -a*m + 12, 2*s + m = -5 - 4 for s.
-4
Let q(n) be the second derivative of -n**5/20 + 2*n**4/3 + 3*n**2 + 3*n. Let l be q(8). Let a be (-2)/(-12) - 1/l. Solve 0 = 4*z - a*z, -4*z - 9 = -3*o for o.
3
Let l be 3 + 2 + (1 - 4). Let v(i) = -i**2 + 5*i - 4. Let j be v(4). Let u = 2 + j. Solve -4*x + 3*s = -26, l = -u*s - 2 for x.
5
Let m(y) = y + 1. Let f(q) = -7*q - 32. Let u(o) = -f(o) - 5*m(o). Let x be u(-12). Suppose -35 = 3*s - 131. Solve x*a + s = 5*c, 5*a + 4*c = -c for a.
-4
Let o(i) = -i + 47. Let g be o(0). Let j = g - 30. Suppose -7 - j = -4*k. Solve -5*l - z = -k*z - 5, 3*l + 1 = 2*z for l.
-3
Let b be (-4)/18 + 1860/108. Solve -r + b = -5*j, -2*r + 14 = -r - 4*j for r.
2
Suppose 4*f - 2*f = -5*z + 15, 0 = 2*z + 3*f + 5. Solve -4*v = j - 5*v, -z*v - 6 = -2*j for j.
-2
Suppose 4*x + 24 = -4. Let m = 9 + x. Solve -5*b - 2*s + 5 = -3, -m*b = -2*s + 8 for b.
0
Let t be (-4)/5 - (-290)/50. Solve -q - 2*q = k - t, 2*q - k + 5 = 0 for q.
0
Suppose -v = -6*v + 5*h + 30, 2*v - 5*h - 21 = 0. Let r be (-5)/(-4 + v - 0). Solve 0 = 2*d + 3*z + 5 - 3, 0 = -5*d + r*z - 30 for d.
-4
Let x be 2/8*-2*-2. Let k be (-3 - x)/(-2 + 0). Solve a - k*p = -10, 5*p - 26 = 5*a + 9 for a.
-4
Suppose -2*l + 2*v = -0*v - 10, v - 3 = -l. Solve 5*f = -2 - 8, l*w = 3*f - 6 for w.
-3
Let a(p) = -9*p**3 + p**2 - 1. Let n be a(-1). Let z be ((-5)/(-4))/((-8)/(-32)). Let f = n - z. Solve 0 = -5*r + 2*o + 15, 0*r + f*r = o + 12 for r.
3
Let w = 12 + -7. Solve -4 = 2*f, -w*d + f = -0*f - 2 for d.
0
Suppose -o - 60 = -6*o. Let t = 16 - o. Solve -3*m = 4*j - 5*j - t, 2*j = -m - 1 for m.
1
Let k(g) = -g**2 + g + 7. Let t be k(0). Solve -5*p - 3*h - t = 0, 5*p = h - 2 + 11 for p.
1
Suppose -3*q + 25 = -0*q + 5*g, 0 = -5*q - 3*g + 47. Suppose -f + 68 = 66. Solve 0 = -r + f*a - 5*a - 14, 5*r - a - q = 0 for r.
1
Let