u*n = -0*k - 11, 11 = -3*k + n for k.
-2
Suppose -3*a + 2*x + 26 = 6*x, -31 = -3*a - 5*x. Suppose a*d = 3*g + 22, 4*d + 3*g - 5 - 3 = 0. Solve -3*w - d - 1 = 0, 5*i + 1 = -3*w for i.
1
Let n = -12 + 19. Let q = n + -3. Solve q*g = 4*u + 28, 2*g + 23 = -2*u + 7*g for u.
-4
Let v(u) = u**3 - 2*u**2 - 7*u + 5. Let y be v(4). Let a = -7 + y. Let j be (1/a)/((-3)/(-18)). Solve 5*g = -5*w - 5, j*w - 2*g + 11 = -7*g for w.
3
Let j(b) = b**3 - 5*b**2 - 3*b + 4. Let l be j(5). Let y = -7 - l. Solve 30 = -5*v + y*w, 5*v + w - 4*w + 25 = 0 for v.
-2
Let k = 1 - -3. Suppose -2*c - k*q = -20, 0 = -4*c + c + 2*q + 38. Solve 4*v + v = -5*z + 20, -4*z - c = -3*v for z.
0
Let y(v) = v + 7. Let l be y(7). Suppose -4*d = -l - 30. Let h = d - 7. Solve 2*t + h*j - 4 = 0, -5*j = -0*t + 2*t - 7 for t.
-4
Suppose 0*o = o - 5. Suppose 3*s - 45 = -5*b, -s = o*b - 6*s - 85. Suppose b = -2*z + 6*z. Solve 3*h + n = -17, z*h = -3*n + n - 22 for h.
-4
Let c = -4 - -8. Let q(b) be the first derivative of b**2 + 2. Let p be q(c). Solve 0*y + 12 = -3*y, 4*l - p = -3*y for l.
5
Let v be 0/((-3)/(3/2)). Suppose v = 3*g + 5*n - 44, -4*n + 15 = g - 2*n. Solve -3*p = -2*h - g, 2*p - 25 = 5*h - 3*p for h.
-2
Suppose -9*k - 15 = -14*k. Solve 4*y + k*s - 3 = 0, 7 + 5 = -4*s for y.
3
Let q be (-6)/4*(0 + -2). Let g(c) = c**3 - 6*c**2 + 5*c. Let k be g(5). Solve 3*h + 2*z - 4 = h, 4*h + 3*z - q = k for h.
-3
Let o be 21 + -17 - (1 + 1). Solve -3*h = -y + 2, 7*h - 4*h + y - o = 0 for h.
0
Let y(q) = 3*q - 7. Let t be 10/25 + 23/5. Let u be y(t). Suppose u*w = 5*w. Solve w = -h - 0*m + 4*m + 7, -h + 3*m + 6 = 0 for h.
3
Let o = 1 - -2. Let x(u) = u**2 - 4*u + 4. Let y be x(4). Solve -o*r - y*c = 28, -2*r + r = c + 8 for r.
-4
Let v = -8 - -11. Suppose -x - 2*x - 149 = -5*l, -v*x - 4*l = 140. Let w be x/(-9) - (-2)/(-6). Solve 4*g = 3*s - 0 - 3, w*s + 27 = -4*g for g.
-3
Let w be (1*-1 - -24) + 39 + -36. Solve w - 5 = -5*x - 2*m, m - 7 = x for x.
-5
Let w(v) = v - 2. Let u be w(4). Solve -u*p - 2 = 0, -2*p + 4 = 3*x + 18 for x.
-4
Let k = -2 + -1. Let q be (-9)/6*4/k. Solve -j - 5 = 0, 2*b - 3*j - 17 = q for b.
2
Suppose 0 = -5*w - b, 8*b - 3*b = 3*w. Solve -t + 2*t + 2 = w, 4*y + 16 = 2*t for y.
-5
Let f = -190 - -192. Solve -5*h - 3*n - 19 - 21 = 0, -f*n - 10 = 0 for h.
-5
Let q(o) = 4*o + 6. Let v be q(5). Let n = -10 - v. Let u be (-6)/n - (-298)/12. Solve 5*b + u = 2*k, -2*k = b - 5 - 2 for k.
5
Suppose 0 = -2*u - 3 - 1. Let n be u/2*-1 + -2. Let v = 1 - n. Solve 0 = 5*s - 2*c, v*s = 3*s + c + 7 for s.
-2
Let j(c) = -c**3 + 4*c**2 + 8*c - 5. Let t be j(5). Let a be (-15)/(-6)*16/t. Let n = a - -1. Solve -3*o - 3*x = -3, -4*x + n = 5*o - 5*x for o.
1
Suppose 2*x - 12 = -4. Suppose 0 = y - x*r + 6, r + 8 = -y + 6*y. Solve -y*j = -v, v - 1 = 5*j - v for j.
-1
Suppose 10*i - 3 = 47. Let b = 1 - 1. Solve -i*u - f - 26 = -2*f, b = 5*f - 5 for u.
-5
Let o(w) = 2*w**2 + 0 - 3*w - 1 - w. Let b be o(3). Solve 0 - 12 = b*l - u, -l - 3*u - 12 = 0 for l.
-3
Suppose -2*k - 4*a = -a + 21, 0 = -4*k + a - 21. Let t = k + 8. Solve s = t*b + 2*b + 8, -b = -s - 1 for b.
-3
Suppose 0 = -3*p + 7*d - 2*d - 8, -p - 3*d + 16 = 0. Suppose -5 = 5*j - t + 6*t, 5*t + 9 = -p*j. Solve j*o - 4*m - 13 = o, -2*m - 5 = -3*o for o.
-1
Let d be ((-60)/(-48))/((-2)/(-16)). Solve 0 = 5*l + 2*h - 7 - 11, d = -5*l + 5*h for l.
2
Suppose 2*l + l - 5*q = 15, 0 = -l - q + 5. Let b(f) = f + 11. Let u be b(-11). Solve 4*x + 16 = u, 3*i - 2*x = l*i + 16 for i.
-4
Let f be (-2)/(-6) - 11/(-3). Let h(w) = -3*w. Let s be h(-1). Solve -s*c + 5 = f*o, -c + 3*o - 9 = 2*c for c.
-1
Let m = 12 - 10. Solve 0 = a + m*a - 3*k - 12, -4*a + k = -1 for a.
-1
Suppose 0 = -7*p + 2 + 26. Solve 0 = -u - 1 + 3, -p*g - 4 = -2*u for g.
0
Suppose 0 = 4*k - 4*x - 144, k - 2*x + 93 = 4*k. Solve 5*m = 4*o + k, 5*o - 18 = -5*m - 3 for o.
-2
Let n be 4 + -3 + ((-8)/(-2) - 5). Solve n = -3*k - 12, 2*o + 3*k = -k - 22 for o.
-3
Let a be 1/(6/4 + -1). Suppose 0 = -2*l + 8, 3*g - 15 = -0*l + 3*l. Solve a*c - 20 + 6 = 3*i, -i + 5*c - g = 0 for i.
-4
Let m = 9 - 9. Let h = m + 1. Solve 0 = -l + h, 0*o - 2*o = 3*l - 9 for o.
3
Suppose -5*k - l = 2 - 11, 2*k - 1 = -3*l. Solve 27 = 5*f + 4*a, -k*a = -7*f + 2*f + 9 for f.
3
Suppose 10*m + 70 = 5*m. Let i be 8/(-12) + m/(-3). Let t be 6/15 + (-56)/(-10). Solve -5*r + 7 = i*q, -r - 4 = q - t for q.
3
Suppose -4*r - 8 + 32 = 0. Solve -o = 2, -5*o + r = 2*i + 2*i for i.
4
Let m be (2/(-3))/((-2)/(-3)). Let k = m - -9. Let n(l) = l**3 + 2*l**2 - 5*l - 3. Let x be n(-3). Solve v + 12 = 4*f + 2*v, 5*f + x*v - k = 0 for f.
4
Suppose 0 = 3*b - 6*b + 273. Suppose -2*g = -3*w - 16 - 23, b = 3*g + 2*w. Solve -4*n - g = -5*f, 3*f + 10 = 2*n + 25 for n.
-3
Suppose 3*i - 3*a = -2*i - 12, 0 = -3*i - 2*a + 8. Suppose i = 3*m - 9. Suppose 0 = -f + m. Solve -f*t - 3*z = t - 22, -3*z = -t - 2 for t.
4
Suppose 3*b + 2*a - 302 = 0, 3*b - 201 = b - a. Suppose -3*n + b = -4*p, -7*n - p = -3*n - 108. Solve 4*m - n = 4*h, -2*m - m - 4 = 2*h for m.
2
Let j be 36/8 + 6/(-4). Solve j*t + 5 = -4*l, 5*t + 8 = 5*l + 23 for t.
1
Suppose -1 = -3*a + 2. Let k be 2/(-3 + 4/a). Suppose 5*h + 25 = -5*l, -5 = -h - k*h + l. Solve h = -0*q + 3*q + 2*m + 2, -m = -5 for q.
-4
Suppose -3*u = u. Suppose -v - v + 38 = 0. Suppose -j + v + 7 = u. Solve 2*i + j = -4*k, 3*k = -k + 5*i + 9 for k.
-4
Let k = 16 - 12. Solve 5*u = -0*y + y + 9, -2*u = -k for y.
1
Suppose -5*s + 20 = 5*h - 0*s, 0 = -5*h + 3*s + 52. Solve 2*t - h = 4*m, 2*t + 4*m + 8 = -2*t for t.
0
Let g = 79 - 77. Solve -5*i - g*r + 4 + 17 = 0, 2*i + 5*r = 0 for i.
5
Suppose -4*m = 0, 4*s = 2*s - 5*m + 8. Let r be 2/3*(-45)/(-10). Solve -c = 5*l - 14, -3*l = s*c - r - 2 for c.
-1
Suppose -5*c + f + 13 = 0, -1 = 2*c - 7*c - 3*f. Solve 2*j + 18 = -5*t, -t = 4*j - c*t - 8 for j.
1
Let g(l) = -l**2 + 3*l - 2. Suppose 4*y - 5*w - 8 = 5, 0 = w + 1. Let m be g(y). Let d be 3 + (2 + -2 - -2). Solve s + 0 = d*i - 13, m = -4*i + 12 for s.
2
Suppose -14*p - 4*p = -90. Solve 2*x + 1 = 3*d + 5, -p*d - 9 = -x for x.
-1
Let j(n) = n**2 - 6*n + 2. Let h be j(6). Let s be (-1)/(1/h) + 7. Suppose -3*l = -15, 0 = s*w + 4*l - 100. Solve 5*u + 4*g = -32, 2*u + 4*g + w = u for u.
-4
Let x = 3 - 3. Let r(f) = f**3 - f**2 - 4*f + 5. Let d be r(0). Solve -2*b = d*g + 19, -b + 23 = -4*g - x*b for g.
-5
Let w = -4 + 4. Let g = w + 4. Solve b = -2*t - 4, 0 = -2*b - 9*t + g*t - 11 for b.
2
Let m = 1 - -1. Let a(d) = 6*d + d**2 - 4*d**m + 2*d**2. Let z be a(6). Solve w = -u + 1, z*w + 4*w = -8 for u.
3
Let o = 5 - 3. Let t(l) = -l**3 - 6*l**2 - l - 7. Let j be t(-6). Let p = j + 6. Solve -2*s = -o*g - 10 - 8, 0 = s + p*g + 21 for s.
4
Let a(m) = 3*m**2 - 3*m - 6. Let h be a(7). Suppose -5*n - h = -8*n. Solve -4*j + 3*y - n = -y, 0 = 2*j + 2*y for j.
-5
Suppose 8*i = 10*i - 10. Solve b - 3*t + 10 = 0, i*b = -t + 3 + 11 for b.
2
Let z = -36 - -56. Suppose s - z = -4*s. Suppose f + 1 = -3*y + 29, -s*f = -2*y + 28. Solve -k + 4*u = 22, 5*u = -2*k + y + 11 for k.
-2
Let s(j) = 3*j + 1. Let r be s(8). Let b(o) = 4*o + 35. Let c be b(-8). Solve 4*g - 20 = 0, -c*g + 15 = 5*t - r for t.
5
Let z be -1*2/((-3)/(-3)). Let o = z + 6. Suppose -v + 2*i + 2*i - o = 0, v - 5 = -5*i. Solve 4*n + v = -q - 1, -4*q - n = 19 for q.
-5
Let q be 4/(-2) - 2*-10. Suppose 3*n - n - q = -2*m, -3*n = m - 27. Suppose 3*f - n = -0*f. Solve -5*p + d = -10*p + 13, 0 = -f*p + 3*d + 15 for p.
3
Let f be (-30)/9*24/(-20). Solve -3*w + 5*w = -3*m - f, -2*w = 4 for m.
0
Let y = 108 + -104. Solve 0 = 4*t - y*r - 20, t = -3*t - 3*r - 1 for t.
2
Let g(r) = -3 + r**2 + r + 1 + 5. Let k be g(0). Solve 0 = -4*h + 3*t + 2*t - 35, -k*h + 2*t = 21 for h.
-5
Suppose -3*n - b + 6 = -3, 2*n - b - 6 = 0. Solve -n*t - 2*a = -0*a + 23, 5*t + 17 = 2*a for t.
-5
Let v be (4/(-12) - 0)*-9. Let b = v + 2. Solve -b*g - 2 - 21 = -2*r, g - 2*r = -11 for g.
-3
Let l be (2 - 1)/(4/(-28)). Let q = -3 - l. Solve u + 2 = -g, -3*u - q = -0*u + g for u.
-1
Suppose 3*r + 2*w = 6*r - 4, -3*r + 5*w = -10. Suppose -m + 2 = -r*m. Let d be 10/6 + 1/3. Solve 6 = -2*t + 2, m*t = -d*s for s.
2
Let l(b) = b**2 - 2*b + 4. Let m be l(2). Solve -s - 10 = m*f - f, -2*s + 24 = -5*f for f.
-4
Let k = -11 - -15. Suppose c + 12 = k*c. Solve 4 - 2 = 3*h + c*f, 2*f - 4 = 0 for h.
-2
Let y(f) = 3*f + 1. Let r be y