5*q + 5*j for q.
2
Let n(i) = -i**2 - 12*i - 8. Let c(w) = -3*w - 2. Let g be c(3). Let q be n(g). Solve q*x + 6 = -4*s, -4*x + 17 = -s - 2*s for x.
2
Let q(l) be the third derivative of -l**4/24 + 13*l**3/6 - l**2. Let b be q(9). Solve -b = 5*t - 2*t - z, -t - 2*z = -1 for t.
-1
Let u be 1/(-2)*(-10)/1. Suppose 0*v - u*v + 25 = 0. Let t be v/15 - 14/(-3). Solve 4*z - 5 = -3*l - z, 41 = -t*l + 4*z for l.
-5
Let n(k) = k**2 - 7*k + 8. Let r be n(7). Let j = -5 - -5. Solve j*o + 5*o - r = 4*s, 25 = 3*s + 4*o for s.
3
Suppose -3*f = -u - 2, 14*u + 4 = 13*u + 4*f. Solve t - 5*t + u = 4*z, 11 = -5*t - z for t.
-3
Let m = -7 - -13. Let d = m - 4. Solve 3*r - 2*r + d*i = -5, -2*r - i = 10 for r.
-5
Let i(u) = -u**3 + 5*u**2 - 4*u - 1. Let x be i(4). Let n be x/(-2)*-2 + 3. Solve 0*y - n*a = 3*y + 1, -5*a - 5 = 5*y for y.
1
Suppose -p - 4 = p. Let m(h) = -h + 1. Let f be m(p). Solve 0*r + 35 = -f*a + 4*r, 5*r = -3*a + 10 for a.
-5
Let c(h) = -h**2 + 4*h + 36. Let i be c(8). Solve -2*o + 3*t - 20 = -i*o, -o + 8 = t for o.
4
Suppose 3 + 5 = 4*s. Suppose q = s*q + 5*j + 23, 3*q = 3*j + 21. Let l be (0 - 0) + (25 - q). Solve -3*a + 3 = -4*t + 14, -3*t = 4*a + l for a.
-5
Let c = -81 + 120. Suppose 28 = 5*n + 2*n. Solve -4*q = n*r - 32, -3*r + c = 5*q + 9 for q.
3
Let n(w) = -w**3 + 5*w**2 + 7*w - 4. Let i(h) = 5*h**2 - h. Let z be i(-1). Let u be n(z). Solve u*d - 5 = -3*b, b = -2*d - d + 11 for b.
-1
Let n = 2 - -9. Let j = n + -7. Solve -2*m + s + 4 = -3*s, -3*m = 4*s + j for m.
0
Let u(k) = -k**3 - 5*k**2 - 3*k + 4. Let n be u(-4). Suppose n*s + 18 = -3*t - 3*s, -s = -t + 4. Let a = t + 6. Solve r = -r + w + a, 0 = 5*r + w - 30 for r.
5
Let s be 2*6*14/21. Solve p = -3*w + 17, 5*w = 4*p - s + 25 for p.
2
Let j be ((-3)/(-4))/(3/(-36)). Let l = -5 - j. Solve 16 = -3*r + x, -l*x + 3 + 1 = 3*r for r.
-4
Let j(y) = -7*y**3 + y. Let t be j(-1). Let l be -3 + 3*2/t. Let a be 3/(l + (-11)/(-4)). Solve -4*k + 5*s = 19, 5*k - a*s + 2*s + 11 = 0 for k.
-1
Let a = 43 + -3. Suppose m - 5 = -2. Solve -15 = -3*f, -2*f = -3*c + m*f - a for c.
-5
Suppose g + 3 = 4*g. Let a be (-2)/(4/(-2)) + g. Solve -a*w - 4*c = 3 + 9, 0 = -4*w + c - 15 for w.
-4
Let b be (14/(-28))/(2/(-20)). Solve 0 = 2*s - t, -5*s + 4 = -b*t - 6 for s.
-2
Suppose -4 = w - 14. Suppose 3 = r - w. Suppose 5*d - r = -4*a, -5 = -2*a - 2*d - d. Solve b = -g - a, -3*b - 2*g = 2*b + 26 for b.
-4
Suppose 0 = -s + 5*s - 20. Solve 0 = -2*p - 2*p + 3*l + 1, -s*p = -4*l for p.
4
Let n = -20 - -21. Solve -n = 5*k - 2*j, j = -3*k + 4 + 2 for k.
1
Let c = 16 - 6. Suppose -g = -5*g + 20. Solve -r = -l, -r - g*l = -4*r - c for r.
5
Let g(z) = z**3 - 4*z**2 - 10*z - 7. Let k be g(6). Solve 26 - 9 = -i - 4*c, 34 = 3*i - k*c for i.
3
Let t = 1 + -2. Let c(g) = -6*g**3 - 2*g**2 + 1. Let a be c(t). Solve -3*n = -4*s - 16, -a*n - 4*s = 2 + 14 for n.
0
Suppose 2*x = -3*x + 15. Let y = 12 + -10. Solve -28 = -y*q + 4*f, -f + 0 = x*q - 7 for q.
4
Let t = 47 - 22. Suppose -t = -3*h - 2*h. Solve v + 0*a = -2*a - 12, -h*v - 3*a - 32 = 0 for v.
-4
Suppose 2*y + b - 8 = 2*b, -3*y - b = -2. Let z be 703/133 - 4/14. Solve 5*w - 6*w = y*u - 12, 3*u = -z*w + 32 for u.
4
Let n = 0 - -20. Let v be 345/n + 1/(-4). Solve 5*u - t = v, 3*u - 7 = 2*u + 2*t for u.
3
Let j(g) = g**2 - 9*g + 2. Let u be j(9). Solve -3*y = 2*i + 12, 4*i + 7 = u*y - 1 for i.
-3
Let p be 5*((-18)/(-5) - 0). Let n be (-13)/(-3) + (-6)/p. Solve -4*u = -4*k - u + 13, n*u + 15 = 3*k for k.
1
Let g = 0 + 5. Solve 4*f = -g*c - 25, -2*c + 5*f - 25 = 3*c for c.
-5
Let c(i) = 3*i**2 - 1. Let a be c(-1). Suppose -a*d - d + 39 = 0. Suppose -29 = -4*b - d. Solve 2*y - 18 = -2*z, -b*z = 2*y - 9 - 17 for z.
4
Suppose -4*d = -0*d - 68. Suppose -3*q + 9 = -27. Let g = d - q. Solve 2 = 4*z - 2*z, -z = -g*o + 24 for o.
5
Let k = -1 + -3. Let j be (-6)/(-4) + (-6)/k. Suppose -3*o - 12 = -5*u, -13 = -5*u - 5*o + 7. Solve -j = 3*p + u*a, 0*p - 5*p + 19 = -a for p.
3
Suppose 102 = 4*x - 2*x. Let s = -74 + x. Let c be s/(-7) - 4/14. Solve -5*b + y = -1, 5*b + c*y + 3 = -0 for b.
0
Let z be 36/63*(6 + 1). Solve -4*k = -5*j - 13, 5*k - 2*k + z*j = 2 for k.
2
Suppose 49 = 4*o + 1. Solve 0 = 4*j - 2*y + o, -5*y + 4 = 4*j - j for j.
-2
Let f(a) = a**2 + 2*a. Let d be f(-3). Solve -2*k - 20 = 4*q - 0*q, -4*q = d*k + 24 for q.
-3
Suppose 0 = n + 2*y + 6, -5*n - 6*y + y - 10 = 0. Solve -a - a + 14 = n*o, 5*a = -2*o + 20 for o.
5
Let k(a) = -2*a**3 - 2*a**2 - a + 2. Let t be k(-2). Suppose 5*y - t = -2. Solve u - y = -v, 5*u - 7 + 2 = -4*v for u.
-3
Let d = -3 - -13. Let z be 24/d*20/6. Suppose 2*p - 7*p = -35. Solve o = 3*c - p*c - z, 5*c + 10 = 2*o for c.
-2
Suppose 0 = 2*q - 3*b - b - 20, 0 = q - 3*b - 6. Let k be 14/6 + 12/q. Solve -4*x - k*d = -2*x - 2, -d = 2*x - 6 for x.
4
Suppose 25 = -2*k - 3*k. Suppose 17 = c - 10. Let p be c/15 - 1/k. Solve u + 16 = -3*b, p*b - 3*b + u - 4 = 0 for b.
-5
Let t(b) = -b**2 + 4*b + 7. Let a be t(5). Suppose 20 = a*n - 16. Let s be (4/(-6))/((-4)/n). Solve 0 = 2*r - s*i - 2*i, -2*i - 9 = r for r.
-5
Suppose m = 3*h - 7*h - 5, 0 = -3*m + h + 11. Solve m = -3*n + 5*b, -n = -0*n - 5*b + 11 for n.
4
Let j = -15 - -9. Let f = -3 - j. Solve m + 5*n - 18 = 0, -2*m + 2*n = f*m - 9 for m.
3
Let j = -2 + 5. Solve q + j*p = -11, p + 0 = -3*q + 7 for q.
4
Suppose -2*m = -3*m + f - 2, 0 = -4*m + 2*f. Solve 0 = -k - 1, -m*c - 2*k + 2 = -4 for c.
4
Suppose 2 = -d + 4*d + h, 0 = 3*d - 4*h - 7. Let b be -1 - (-50)/18 - 4/(-18). Solve -5*s - 4*x + 5 = 0, 3*s - d - 2 = -b*x for s.
1
Suppose -4*u - z + 6 = 0, 0 = 2*u - 0*z - 2*z - 8. Suppose 5*j + 4*i - 30 = 0, j + u*i - 9 = 3. Solve 0 = 5*d + 2*m - 29, -j*m - 9 = -3*d + m for d.
5
Let o = -207 - -220. Solve -2*h - 2*g = g - o, -3*h = -g + 8 for h.
-1
Suppose 0 = -15*h - 2 + 2. Solve v + 2 = -x, -2*x = -h*x + 3*v + 2 for x.
-4
Suppose 3*v = 13 + 20. Solve -2*h + 4*i - 22 = 0, 3*i + 1 - v = -5*h for h.
-1
Let v = 2 + 3. Suppose -6 = -u + 5*a + 4, 5*a = -v. Solve s - 4 - 3 = i, u*s = 2*i + 23 for i.
-4
Suppose 7*o + 130 = 17*o. Solve 0*f = -4*f + 5*q - o, 2*f - 4*q = -14 for f.
3
Suppose -2 = -v + 2. Suppose -v - 8 = -4*b. Let k = 9 + -4. Solve 9 = b*d - k*r, 0*d + 4 = d - 2*r for d.
-2
Suppose 1 = 5*b - 14. Suppose b*o - 6*o + 9 = 0. Suppose m - 5 - 4 = -o*h, 1 = m - h. Solve -p + 4 = 5*k + 2*p, k - m*p = 8 for k.
2
Suppose -i - b = -2, -b - 5 = -3. Let l = i - 0. Suppose 93 = -m + l*m. Solve x - 2*r = r + 13, -5*r - m = -4*x for x.
4
Let y be ((-7)/(-7))/(1/4). Solve -12 = -2*g - y*u, -5*g + u - 4 + 23 = 0 for g.
4
Let z = 93 - 80. Suppose 0 = -3*v + 5*j + 32, 2*j + 8 = 3*v + 3*j. Solve g + 0*l - v*l = z, -2*g = 5*l for g.
5
Let y be (-1 + -1 + 2)/2. Suppose -4*a = 3*z + 7, y = -4*a - 2*z + z + 3. Solve 0 = 3*t + a*g - 14, 4*t - 8*t + 19 = 3*g for t.
4
Let n be (14/4)/((-9)/(-18)). Suppose 2 = l + n, -5*c = 3*l - 65. Solve -4*t - 4*z + 36 = t, -c = -t - 3*z for t.
4
Let g be 4/(-18) + (-130)/(-18). Solve 4*y = 5*n + g, 4*y - 9 = 5*n + y for n.
-3
Let k = -2 + 4. Let s be (-30)/(-18) + (-2)/(-6). Suppose -2*x - 3 = -15. Solve x = -3*m - z, -s*m - 18 = 2*m - k*z for m.
-3
Let a be (110/15)/(2/(-3)). Let y = 5 + a. Let n(q) = -q - 1. Let o be n(y). Solve 0 = -5*m - w - 10, 3*w + 0*w - 10 = o*m for m.
-2
Let o = 18 - 11. Suppose 0 = -3*q - q. Let x = 2 - q. Solve 27 = -5*u - v + x*v, o = -u + v for u.
-5
Let z be 8/((-7)/(14/(-4))). Suppose 0 = -0*d - 2*d. Solve d = -u - j, -4*j + z = 2*u - j for u.
-4
Let g = -4 + 7. Suppose 0*x - 30 = -5*x + 5*z, x = g*z + 14. Suppose t = -y + 4, 0 = -x*y + 5*t + 3 + 5. Solve -y*k + 16 = 0, 4*p - 6*k = -k - 28 for p.
-2
Let h(i) = i**2 - 2 + 3*i - 2*i + 1. Let c be h(-3). Solve c*f + g + 2*g = 7, -3*f + 13 = 4*g for f.
-1
Suppose 20*u - 22*u = -6. Solve -5*v + 25 = -5*g + u*g, -2*v - 4*g + 10 = 0 for v.
5
Suppose -c = 4*c + 5*s - 55, 3*c - 4*s = 33. Let d = c + -7. Solve -6 = -3*j, d*r = r - 2*j + 1 for r.
-1
Let w = -194 + 197. Solve w*a - 3 = -2*z, -z + 2 = -4*z + 2*a for z.
0
Let k(r) = -r**3 + 8*r**2 - 7*r + 4. Let u be -1 - -3 - (1 - 6). Let x be k(u). Solve -4*i - f = -11, -3 = 4*i - x*f - 19 for i.
3
Suppose -3*y - 4*r + 24 = 9, -3*y = -3*r - 15. Solve 3*q - 25 = -4*p, -2*p - y*q + 25 - 2 = 0 for p.
4
Suppose 4*f = -3*g + 4, -g + 2*f + 1 = 3. Let z = -4 + 10. Let j = z + -6. Solve 