u*b - p, -5*p = -2*b - 16 for b.
-3
Let r be 447/21 - (-4)/(-14). Suppose -4*j - v = -7*j + 3, -2*j + 5*v + 15 = 0. Solve 4*y + 19 = -3*i, j*i - 5*i - r = 4*y for i.
-1
Suppose 2*r = -2*r + 4. Suppose -3*c - 6*n = -n - 5, -2*c + r = n. Solve 4*s - 5*s = -3, c = -2*l - 5*s + 7 for l.
-4
Let u = 166 + -163. Solve 3*b = 2*h - b + 10, -h - 7 = -u*b for h.
-1
Let u(w) = w**2 - 2*w - 8. Let m be u(-6). Suppose 4*t = -4*z + m, t + 3*t - 5 = 3*z. Solve 5 = -t*j - 5*i + 30, -5*i + 4 = -2*j for j.
3
Let p(c) = -7*c + 13. Let y(i) = -i + 1. Let t(j) = p(j) - 6*y(j). Let s be t(3). Solve -b - 24 = -s*a, b = -b - 4*a + 12 for b.
-4
Let n(h) = -3*h**2 - 2*h + 5. Let b be n(0). Solve -3*r - 4 = 5*y, 3*y + 3 + b = r for y.
-2
Suppose -h + 1 = -0, -5*g + 39 = 4*h. Solve y - g*m + 3*m = 14, 3*m = -12 for y.
-2
Let j be 6 + (-1*(-7 - -4))/(-1). Let r(f) = -4*f - 4. Let w be r(-3). Solve 4*c + w = -j*x - 0*x, -4*x - c + 11 = 0 for x.
4
Let n be -5 + (-3)/(-3) + 1. Let i be 2*-2*n/4. Let y(k) = -k**3 - 8*k**2 - k - 8. Let b be y(-8). Solve -p = -m - 6, b*m + i*m - 14 = -5*p for p.
4
Let a = 4 + -2. Let s = 2 - -3. Solve s*b + 2 = 4*y - 6, 2*b = a*y - 2 for y.
-3
Suppose -31*j = -34*j + 9. Solve -o = -5*v + 7, -j*o - 2*v + 0*v = -13 for o.
3
Let d be (-6)/8 + 19/4. Solve 0 = -5*i + 10, d*i = -2*h - 2*h + 8 for h.
0
Suppose 0 = -76*a + 80*a - 20. Solve 5*x + 2*s + a - 40 = 0, 0 = 2*x - 3*s + 5 for x.
5
Let c be 2*1 - (-15 + 8). Let a(d) = -d + 14. Let r be a(c). Let q = -3 + 8. Solve 5*z - q = -5*u, -r*z = -u + 4 - 21 for u.
-2
Suppose 3*z - 13 - 2 = 0. Let y be 3/(-6) + (-41)/(-2). Solve -w - 16 = -4*w + 4*l, 3*w + z*l + y = 0 for w.
0
Let n = -76 - -69. Let j(k) = k + 5. Let p be j(4). Let m = n + p. Solve -4*c + m*x = 3*x + 8, 3*c + 4*x + 6 = 0 for c.
-2
Suppose -3*d = -0*d - 0*d. Solve -2*o - 6 = 2*u + 3*o, d = -3*u - o + 4 for u.
2
Let b = 15 + -9. Suppose b - 18 = o. Let d = o - -28. Solve -4*r - d = -2*y, -8 = 4*r + 12 for y.
-2
Suppose -2*n = 6 + 8. Let r(z) = 2*z + 15. Let d be r(n). Solve d = p + 5*o, 3*p - 3 = -0*p - o for p.
1
Let j(r) = r**3 + 6*r**2 + 2. Let d be 2/8 + (-2)/8. Suppose -2*t - 3 - 9 = d. Let x be j(t). Solve x*s - 2*z - 2 + 4 = 0, -5*z = 3*s - 21 for s.
2
Let i(j) = -j + 5. Let z = -1 + 4. Let p be i(z). Suppose 0 = -v - y - 2, 3*y + 9 = 0. Solve p + v = -3*q, -h = -2*q for h.
-2
Let i = -73 - -79. Solve 4*b + o + 1 = 0, -i*o + o + 13 = 2*b for b.
-1
Suppose 2*t = t + 5. Suppose t*y - 15 = 5. Solve 4*b + z + 20 = -4*z, y*b = -3*z - 12 for b.
0
Let k be 38/14 - 12/(-42). Solve 24 = -5*w - 3*j, -k*j = w - 5 + 17 for w.
-3
Let a be -28 + 7 - (-1 + -3). Let q be (0/a)/(2*1). Solve 3*n + 2*o - 11 - 2 = q, -30 = -5*n - 5*o for n.
1
Suppose 0 = 4*a - 1 - 107. Let z be 2/(-7) - 636/(-21). Let t = z - 21. Solve v - 5*v + a = -5*l, 2*v = l + t for v.
3
Suppose 8*k + 120 = 3*k - 5*w, 0 = -2*k + 3*w - 38. Let c = -16 - k. Solve 5*d = t + 10, d + t - c = -2*d for d.
2
Let p(m) = -m**3 + 4*m**2 + 6*m - 3. Let r be p(5). Suppose a - 4 = 0, k = r*k - 4*a + 13. Solve 2*h = -k*d + 4, 4 = 5*d + h - 5 for d.
2
Let w be (-12)/(-8)*8/6. Suppose -8 = -w*i - 0. Solve 5*n + i*h + 15 = -2, h = -3*n - 13 for n.
-5
Let m be (-171)/(-15) + (-21)/(-35). Solve 2*r - 7 = 3*v - 0*v, 3*r = 5*v + m for v.
-3
Suppose -v = -4*v + 9. Suppose -v*f + 3*l + 12 = 0, 0*l = -5*l. Suppose 5*o - 67 = -h, -f*o + o = 3*h - 45. Solve 2*z - 4 = -2*z + 4*s, 3*s = -2*z - o for z.
-2
Let z = 15 + -13. Let v = 2 + z. Solve -q + 2*m - 7 = 0, 0*q + q + v*m = 5 for q.
-3
Let b = 4 - -1. Suppose v = b*c - 8, 3*c = 2*v - 1 + 3. Solve -2*r = 5*h - 16, 6 = -c*r + h - 2 for r.
-2
Let b = 21 - 9. Suppose -3*q = -12, -4*q = 3*r - 79 + 30. Solve -b = -2*o + 5*t, -t = 2*o + r + 1 for o.
-4
Let a = 4 + -2. Let f(j) = j**2 + 5*j - 3. Let l be f(-7). Solve 0 = x - 4*h, 5*h - l = -2*x + a for x.
4
Suppose 3*g = -2*l + 9, 4*g - 3*l - 12 = -4*l. Solve -g*v - 12 + 0 = -2*b, -5*b + 15 = 0 for v.
-2
Suppose -3*m + 5 = -2*m. Suppose -5*o + 13 = 2*s - 46, -4*s + 110 = 2*o. Solve s = v + m*n, -3 = -4*v + n - 0 for v.
2
Let u be ((-4)/(-6))/((-6)/(-36)). Suppose 2*o + o - 30 = 0. Solve 3*z = u*s - o, -5 = 3*z + s - 0 for z.
-2
Let n(z) = 2*z**2. Let w(l) = l**2 - 5*l - 7. Let a be w(6). Let p be n(a). Solve 18 = x + x - 2*d, p*x = 5*d + 33 for x.
4
Suppose -3*t + t - 24 = -2*g, -t = -5*g + 80. Suppose g + 27 = 4*r. Solve 0 = 4*k - 3*b + 2*b + r, -b + 15 = -5*k for k.
-4
Let h be (4/6)/(2/15). Let s = -5 + h. Let u(r) = 2*r - 1. Let p be u(2). Solve s*i - 2*i - 4 = 0, -f - 4 = p*i for f.
2
Let r = -9 - -12. Solve 3*f + 12 = 2*f - r*m, 2*m = -10 for f.
3
Let n be (20/6)/((-1)/(-3)). Let v = 4 - -2. Solve v = -q + j - 6*j, 5*j = -5*q - n for q.
-1
Let v be ((-3)/12)/(2/(-88)). Let q = v + -9. Solve 5*m = -p - 22, p - 3*m + 2*m - q = 0 for p.
-2
Let m = 10 - -6. Solve u + 15 = 5*c + 44, m = 4*u for c.
-5
Let r(l) = -l**3 + 8*l**2 + l - 5. Let u be r(8). Suppose u*s - 4*m = 11, 2*s + m = -m + 12. Solve 5 = -5*t - s*f, -2*t + 13 = -5*f + 43 for t.
-5
Let i(f) = -f**3 + 3*f**2 - 2*f + 2. Let c be i(2). Solve -r = 4*q + 19, -c = -3*r - 5*q - 31 for r.
-3
Let a(m) = m**2 + 6*m - 2*m**2 - 65 + 62. Let y be a(4). Solve -t - 4*t - 2*h - 15 = 0, 4*t - y*h - 21 = 0 for t.
-1
Let m be (0/1)/(-3 - -2). Suppose -d = 4*p - 3 + 2, m = p + 4*d - 4. Solve p = o + t + 9, -3*o - 15 - 17 = 4*t for o.
-4
Let g(a) = -5*a - 13. Let n(i) = 4*i + 12. Let j(b) = 3*g(b) + 4*n(b). Let k be j(-6). Suppose 5*o - 9 - 6 = 0. Solve 2*p + o*v = 1, k*v - 4 = p + 9 for p.
-4
Suppose -25 = -0*d - 5*d. Solve -d*g - 17 = v, 4*g + v = 2*g - 5 for g.
-4
Let p be 2/(-7) + (-90)/(-21). Suppose 0 = -5*b + p*r, 5*r - 41 = -b - 12. Solve i - 5 = 4*w - 2*i, -8 = 4*w - b*i for w.
1
Let l be 2/(-5) - 14/(-35). Solve 18 = 3*r + y, -y + 2*y - 3 = l for r.
5
Suppose 5*w = 2 + 18. Suppose 1 = w*h - 43. Let f be h*(1 + (0 - 0)). Solve -2 = 4*i + 2*c - 8, f = -i + 2*c for i.
-1
Suppose 3*t = -2*t, -3*t = 5*j - 30. Let v = -90 + 111. Solve -3*u + j*o - o - 6 = 0, -5*o + v = 2*u for u.
3
Let c(d) = -d**2 - 5*d. Let r be c(-4). Let u = 3 - 1. Solve -r*m - 28 = u*h, -m + 15 = -4*h + 4 for m.
-5
Suppose 2*j - 10 + 6 = 0. Solve -j*k + 5*g + 2 = 4*g, 0 = 5*k + 4*g - 18 for k.
2
Suppose 5*y + 20 = -5*q, -4*y - 23 = 2*q + y. Suppose b + q - 3 = 0. Solve -5*r = -2*s - 0*s - 17, -3*s - 9 = -b*r for r.
3
Let y be (7/14)/((-1)/(-6)). Suppose -84 - 6 = -y*o. Let w = 3 - 0. Solve -4*b = p - 24, 5*p - w*b - o = -5*b for p.
4
Let m(l) = l**3 + 4*l**2 + 2*l - 2. Let k be m(-2). Solve 0 = -k*h + 5*z - 18 - 10, -4 = 2*h + z for h.
-4
Let a(y) = -y**3 + 9*y**2. Let l be a(9). Suppose 52 = r - l*r. Suppose 2*p + 12 = r. Solve k + 4*h + p = 0, 0 = 5*k - 2*h - 0*h + 12 for k.
-4
Suppose 4*g - a + 191 = 0, 0 = 5*a + 2 + 3. Let u(r) = -2*r + 4. Let p be u(6). Let s = p - g. Solve 14 = -2*i + m, -5*m + 10*m - s = 4*i for i.
-5
Let v = -7 + 24. Let x = 21 + -18. Suppose -4*o + x*o = -5*j + 13, -5*j - o = -v. Solve -2 = 2*i + 4*m, -i - j*i + 3*m = 26 for i.
-5
Let d(k) = -k - 2. Let f be d(-12). Let u = f + -4. Suppose -27 = -q + 5*w, -5*w + 75 = -q + u*q. Solve -5*y - 2*t = -t + q, -4*y + 2*t = 8 for y.
-3
Let u(b) be the second derivative of -b**3/3 - 17*b**2/2 + b. Let s be u(-15). Solve 5*i - 4*v = s, 0 = -4*i - 6*v + 4*v for i.
1
Suppose 4*g + 1 + 35 = 0. Let j = g + 13. Solve j = 2*h + i + 4*i, 0 = -4*h - 4*i + 8 for h.
2
Let v(j) = -2*j - 9. Let c be (4/2)/2*-7. Let k be v(c). Solve 0 = t - k*u - 7 - 3, -5*u - 10 = -4*t for t.
0
Suppose -3*q + 18 = 3*t - 0*t, 5*t = 4*q + 21. Solve 4 = 5*m - 5*n + 14, t*m + n + 28 = 0 for m.
-5
Suppose -4 = -3*q - 2*t + 9, 0 = -4*q + 4*t + 4. Solve -6 = -3*j, q*o - 5 = 4*j - 22 for o.
-3
Let b be (-122)/6 - 22/33. Let s = b + 21. Solve 0 = -3*o - 5*a - 7, -5*a - 13 = -3*o - s*a for o.
1
Suppose 2*q - 15 = 5*l + q, 3 = -l + q. Let p be l/6 - (-22)/4. Solve -5*y - 4*k - 2 = 0, 4*y + 14 = p*y - 4*k for y.
2
Let y(f) = 15*f. Let n be y(5). Suppose 0 = -d + 6*d, -5*t - 2*d + n = 0. Let l = 31 - t. Solve -2*i - 4*v - 1 = -7*v, 2*i + 2*v = -l for i.
-5
Suppose 0 = -g - 5*d + 32, g = 2*g - 4*d - 50. Suppose 2*p = -5*o + g, -4*p - o + 36 + 12 = 0. Solve -5*l = 3*z + 29, 2*l + 0*l + p = -z for z.
-3
Let c(x) = x**3 + 5*x**2 + 3*x + 1. Let s be c(-4). Solve -2*t - 4 =