 = -15 + 19. Solve -n - 4*r + 2*r = 1, -z*r - 4 = 0 for n.
1
Let m = 0 - -10. Let y be 46/m + 4/10. Suppose k = 2*s - 6, 0*s + s + y*k = 3. Solve o + s*u = -0*o - 11, 2*o + 2*u + 10 = 0 for o.
-2
Suppose -3*w + 21 - 105 = -5*l, 24 = 2*l + 2*w. Let o = l - 4. Let t = -7 + o. Solve 2*n + 0 - t = g, -2*n + 6 = -2*g for g.
-2
Let w(h) = -h**2 + 6*h + 2. Let x be w(6). Suppose -g + 12 = x*g. Suppose -z + 3 = 4*p, 4*z - g*p = -2*p + 12. Solve 2*q + z*c = -2*c + 3, 5*q = -2*c - 3 for q.
-1
Let a = -100 - -102. Solve v = 3*v + a*u + 6, -21 = -3*v + 3*u for v.
2
Let t = 16 - 16. Suppose 5*y - 2*a + 0*a = 4, -y - 4*a - 8 = t. Solve -n + 4 = 2*q - 4*q, 3*q + 9 = y for n.
-2
Let x be 8/36 - 212/(-18). Suppose p + 2*n - 13 - 2 = 0, 0 = -3*n + x. Solve -2*y = -h + 3, p*h - 3*h + 10 = -3*y for y.
-2
Let u(t) = -2*t**3 - 4*t**2 - 3. Let r be ((-18)/(-15))/((-2)/5). Let p be u(r). Solve 2*o - 3*v + 15 = -3*o, -3*v + p = 2*o for o.
0
Let t be -3*(1 - (-16)/(-6)). Solve 5*h + 27 = 4*v, 0*v - 5*h = t*v for v.
3
Suppose -5*o + 40 = -5*f, -4*f - 6 = -2*f. Solve 0*l + 3*l = -4*h + 11, -o*h + 10 = 0 for l.
1
Let w be (4 + -2)*(-6)/(-4). Let p = w + -2. Suppose -2 - p = -x. Solve -x*y + h - 11 = 0, 3*y = 7*h - 2*h + 5 for y.
-5
Suppose 52*j = 57*j - 45. Solve 4*u + 27 = 5*s - 0*u, -s - 4*u = j for s.
3
Suppose 0 = -3*r - 4*z - 19, 12 = -3*r - 2*z + 5*z. Let q be (-8)/r - (-10)/25. Solve 0 = w - 0*w + 5*g - 12, -q*g + 6 = 0 for w.
-3
Let t(v) = -3*v - 1. Let n be t(-1). Suppose -n*c - c + 6 = 0. Solve c*k + 4 = 2*a, 4*k = -3*a - 6 - 23 for a.
-3
Let u be ((-81)/(-12))/((-6)/16). Let h = u - -18. Solve -5*d + m + 25 = -h*d, 0 = -2*m for d.
5
Suppose 5*q = 5*f + 150, -5*q - 2*f + 185 - 28 = 0. Suppose 3*h = -2*h + 20. Let k be 24/10 + h/(-10). Solve -k*m - q = -4*w - 11, -15 = -3*m - 3*w for m.
0
Let m(w) = -w**2 + 6*w - 3. Let c be m(5). Let j = 4 - -2. Solve j = 2*r, -x + c*x = r + 1 for x.
4
Let f be 1/((-9)/(-153)) + 3/1. Solve 0 = 5*x + 5*k + f, 4*k = 5*x - 0 - 7 for x.
-1
Let t(i) = -3*i**2 + 2 + 2*i - 3 + 13*i**2 + 0*i**2. Let k be t(1). Let b = 4 - 1. Solve k = c + b*j, 4*c - c = j + 13 for c.
5
Let x(l) = -l**3 + 5*l**2 + 5*l + 5. Let k be x(6). Let a be ((-2)/1)/(18/(-36)). Let n = a + k. Solve -t + n*p - 8*p = 10, -5*p = 2*t + 10 for t.
0
Suppose a = -0*a. Solve -i - 5*h = -6*i + 35, a = -3*i + 5*h + 29 for i.
3
Let k(f) = f - 4*f + 2 + 5*f + f**2 + 0. Let s be k(-3). Suppose -2*r + 12 = 4*b + 2, 5*r = s. Solve -3*p + 15 = -5*x + 2*x, 10 = 5*x + b*p for x.
0
Let p be 1 - (-2)/(-2 - 0). Suppose 4*o + 2*x = 18, 5*o = 2*x + 11 + 34. Let r be (o/(-2) + 2)*-2. Solve u + r*u + t + 15 = p, 5*u = t - 12 for u.
-3
Let s(p) = p**2 - 9*p + 8. Let l be s(6). Let n(y) = -y**2 - 10*y + 2. Let o be n(l). Solve o*z = -2*q, -4*q - 3 = 4*z + q for z.
3
Let k(f) = f**3 + 6*f**2 - 8*f - 1. Let n = -7 - 0. Let z be k(n). Suppose -2*w = -2*r - 38, -2*r - 95 = w - z*w. Solve 6 + w = 5*p, 0 = -4*u + p - 9 for u.
-1
Suppose -4*s = -4*p - 2 + 6, -2*s = p + 14. Let l be (s + 3)/1 + 6. Solve -5*w + l*t = 3, 3*t = 2*t + 2 for w.
1
Suppose 5*k = 4*s + 173, 4*k = -3*s + 51 + 75. Let u = 48 - k. Solve -19 = -5*l + 2*v, 7*v - 2*v = u for l.
5
Let z(g) = -g**2 - 9*g + 8. Let k be z(-8). Let t = 11 + k. Solve 0*q - 4*q + 5*c = -t, 0 = -2*q + 4*c + 18 for q.
3
Let h = 304 - 579. Let f = -130 - h. Suppose 0 = 4*w + w - f. Solve 10 = a + 5*u + w, -4*u = 12 for a.
-4
Let l be (-3)/(-2*3/6). Suppose -g + 4 = o - l*g, -3*o + 39 = 3*g. Solve 0*y - 2*y + o = 0, -5*s - 15 = -y for s.
-2
Suppose -6*d = -6 - 18. Solve -4*q = -0*f - 5*f - 31, 3*f - d*q = -25 for f.
-3
Suppose 5*s = -y + 17, 9 = 2*y + 2*s - 1. Solve 2*n - 16 = 4*w, -y*w - 2*w = n + 4 for w.
-2
Suppose 3*r + r + 7 = -j, -2*j - 4*r + 2 = 0. Solve 0 = -2*f + p + j, -3*f + p - 9 = 4*p for f.
2
Let p = -20 - -26. Let j be 2*-2 + (8 - -1). Solve d - 35 = p*d + 5*g, -j*d - g - 27 = 0 for d.
-5
Suppose j - 16 = -5*m, -2*j = -2*m + 4*m - 8. Let r be m + 1 - 12/3. Solve -x - 1 + 4 = 0, 2*h - 5*x + 5 = r for h.
5
Let i(x) = x**3 - x**2 - x + 5. Let b be i(0). Suppose 4*j - 9 = b*j. Let h = j + 11. Solve 0 = -g - 3*d + d - 7, 3*d = h*g - 7 for g.
-1
Let d = -4 + 8. Suppose -c + 2*c - d*j = 15, 5*c - 3*j = 75. Solve -3*q + 4*u - c = 0, -q - 4*u = -2*q - 13 for q.
-1
Let v(g) = g**2 - 2*g + 1. Let z be v(1). Let j(n) = -n**3 - n**2 + n + 9. Let r be j(z). Let b = 13 - 11. Solve 5*t - b*t + 22 = 2*w, 4*t + 5*w - r = 0 for t.
-4
Let t = -49 - -86. Suppose r + 3*s + 62 = 0, -r - t = -0*r - 2*s. Let m = -32 - r. Solve -3*d - 1 - m = -2*v, -4*d - 18 = -v for v.
2
Let b be -5*(0 + (-20)/25). Suppose 3*q = -5*c - 15, -5*q = -c + 2 - 5. Solve 0 = -u - q*u + 1, 5*m + 11 = -b*u for m.
-3
Let r(p) = 10*p - 6. Let f be r(1). Solve 5*j = v + 2*v + 29, -f*v + 4 = 4*j for j.
4
Suppose 3*j = -j - 12. Let n = -3 - j. Suppose -g - 5 = -2*o, n = -o + 5*o + g + 5. Solve 0 = 3*a - 0*v + 2*v, -2*v = o for a.
0
Let o(r) = 3*r + 1 + 0 + 1. Let a be o(-2). Let n be (10/3)/(a/(-6)). Solve 2*u = n*z - 27, -2*u + u - 3*z + 14 = 0 for u.
-1
Let t be (18/(-6))/((-6)/(-4)). Let f be (1 + (1 - t))*1. Solve 0 = -f*h - 3*d + 19, h - 6 = -0*d - 2*d for h.
4
Suppose -2*x + 4*t - 4 = 0, -3*x + 20 = 5*t - 7. Suppose -d + x = 5. Let a = 1 - d. Solve -3*w + 3*f = -3, -5*w + a*w + 19 = f for w.
5
Suppose 78 = 17*k - 11*k. Solve 5*r + s = -k, -3*s - s = r + 14 for r.
-2
Suppose 4*j + 224 = -5*a, 0 = -a - 3*j - 41 + 5. Let s = 68 + a. Suppose 0*x + 5*w = x - 55, s = -5*w. Solve -v - x = -5*c + 4*v, 3*c = -4*v for c.
4
Let s = 11 + -6. Let g(i) = i**2 + 2. Let t be g(2). Suppose 4*a = w + 14, w + 2*a + t = 4*a. Solve -5*o - w = -o - u, s*o + u = 2 for o.
0
Let i(g) = -3*g - 17. Let j be i(-6). Solve 0 = -2*o - v + 12, 3*v - j = 2*o + 3 for o.
4
Suppose -123*l + 122*l = -11. Solve 2*s + l = -3*b, 10 = -6*b + 4*b for s.
2
Let f = 124 + -122. Solve 2*n + 22 = -4*u, -u - 19 = f*n + 3*n for n.
-3
Let f = -5 - -8. Suppose 4*i + 25 = f*x, 3*x - 2*x + 3*i - 4 = 0. Let g(j) = 2*j**2 - j - 1. Let v be g(-1). Solve d - 2*d + x = -v*q, q - 24 = -5*d for q.
-1
Suppose -3*d + 5*d = 8. Solve 7*p - 2*p - 25 = -4*r, -d*r + 15 = -5*p for p.
1
Let a = -12 - -15. Let t(r) = -6*r - 6. Let k be t(-4). Solve 5*c = -q + 5*q - 27, 3*c = a*q - k for q.
3
Suppose 2*b = 2*a + 2*a - 14, -3*b + 29 = 4*a. Solve -4*q - 7 = -4*z + 1, 9 = -b*z - 2*q for z.
-1
Suppose -7*l = -6*l + 3*s + 15, l - 10 = 2*s. Solve -2*w - 5*z = w, l = 2*w + 2*z for w.
0
Suppose -4*g - d = -0*d + 36, -5*g - 32 = -2*d. Let x = g - -16. Let y = -2 + x. Solve 0 = -4*o + 16, 2*o = -r + o + y for r.
2
Let s be 9/(-6)*32/(-12). Solve 0 = 3*w + 6, -4*w - w - 22 = -s*p for p.
3
Let k(z) = -4*z - 4. Let w be k(4). Let p = -12 - w. Suppose v + 4 = 3*b, 2*b - 2*v - 1 = -5. Solve -5*y = d + b, -3*d - 4*y - 14 = -p*d for d.
2
Suppose 1 = -z + g + 14, 0 = 5*z + 3*g - 41. Let x be (6/z)/((-4)/(-20)). Solve -8*a + 3*v = -x*a - 5, -4*v = -3*a + 3 for a.
1
Let n = 40 + -25. Suppose 31*d - 10 = 26*d. Suppose 3*o - 15 = -5*v, o - n = v - d*o. Solve 0 = -v*p - 2*p - 2, 3*p = -l - 4 for l.
-1
Suppose -42 - 33 = -3*s. Solve -g = -2*m + 5, m + s = -m - 5*g for m.
0
Let k(j) = -3*j - 8. Let w be (-184)/44 - (-8)/44. Let l be k(w). Solve 5*m - 5 = -5*t, -t - t - 4*m = -l for t.
0
Suppose -2*c = -4*q + q + 2, 0 = -5*q + 4*c + 2. Solve -3*u - j = -q, 0 = -3*u - j + 4*j + 6 for u.
1
Let s = -2 - -4. Suppose -42 = -l - s*l. Suppose -b - 2*y + l = -4*y, -5*y - 41 = -4*b. Solve -4*p = -3*r + 2, -10 = b*p + r - 0*r for p.
-2
Let w(y) = y**2 + y + 2. Let j(x) = x. Let i be j(-2). Let l be w(i). Let c be 4/12 + (-34)/(-6). Solve 0 = 3*t - l*m + 9, 0 = 2*t - 0*m - 2*m + c for t.
-3
Suppose u - 6 = -2*u. Suppose 3*h = u + 10. Solve 5*x - 4 = 2*w + 8, 0 = 2*x - w - h for x.
4
Let b(h) = h**2 - 6*h - 2. Let m be b(6). Let l = 15 + m. Solve j + 8*v + 8 = 3*v, -v = 4*j + l for j.
-3
Let d = 4 - 1. Let k(i) = -i**3 + 8*i**2 + 13*i - 11. Let r be k(9). Solve -2*p = -5*b + r, -3 - 3 = 3*b + d*p for b.
3
Suppose -14*z - 31 + 87 = 0. Solve -i + 0*d = -3*d - 13, -20 = -2*i + z*d for i.
4
Let y(n) be the first derivative of 2*n**2 - 2. Let s be y(1). Solve 28 = 5*h - 3*v - 4, -4 = 3*h + s*v for h.
4
Suppose -75 = -5*p + 5*j, p - 4*p + 2*j = -50. Suppose -w + p = w. Let i be (-5)/w + 1/2. Solve 3