*l + 8, 6 = g - 4*l for g.
2
Let c = 23 + -21. Suppose 0*m - 3*l - 11 = -5*m, 4*m + c*l = 0. Suppose -5*h + 3 = -7. Solve -m = -p - 4*u + 3, h*p + u = 8 for p.
4
Let l = -374 + 548. Let k = 179 - l. Let y be (-1)/(-5) - 18/(-10). Solve -4*w + y*w - 2 = 3*d, 5*d + 5 = -k*w for w.
-1
Suppose 67 + 3 = 35*n. Solve -4*u - 12 = -4*s, -n*u = 5*s - 0*u - 15 for s.
3
Let w be (-72)/(-16)*(-160)/(-6). Suppose -7*m + 5*m - w = 0. Let q be ((-2)/5)/(6/m). Solve -q*b - 20 = -2*b + 5*x, -4*x = -2*b + 16 for b.
0
Let o = -2389 + 2389. Solve -q = 3*k - 1, o = 4*q + q - k - 21 for q.
4
Let x = -26 - -28. Solve q = -0*j + x*j, -4*j + 20 = 3*q for q.
4
Let a be (-2 - 4)*(-3 - (-5)/3). Suppose -6 - 18 = -12*k. Solve 0 = -3*w + k*t + a, t - 8 = 2*w + 3*t for w.
0
Suppose -8 = -2*m + 2*j, 0 = m + j - 0*j - 4. Let q = -26 + 29. Suppose -q*c = -c - 72. Solve k + 4*k - m*d = 0, 4*k + 4*d = c for k.
4
Suppose -8*g = 2*i - 9*g - 9, -g + 19 = 5*i. Solve i*j + 5*p + 2 = -5, 5*j - 5*p = -20 for j.
-3
Suppose 7*s + 112 = 21*s. Solve 0 = 3*x + k - 0 - 7, -2*k = -5*x + s for x.
2
Let j = 156 + -153. Solve 9 = j*h - 3*g, -3*h + 12 = 3*g - 9 for h.
5
Let p be (1/(-2))/((-25)/(-1300)*-13). Solve 5*q + b - 12 = -p, -13 = -q + 2*b for q.
3
Suppose -2*a + k = -4*k + 21, 0 = -a - k + 7. Let d(r) = 6*r - 2*r - r**2 + a - 1. Let t be d(4). Solve 4*u - 3*p - 1 = -6*p, 0 = 5*u + 3*p + t for u.
-2
Let u be (1/2)/(2/80). Suppose 5*t = 4*y + y - 5, -2*t = 5*y + 37. Let m be 21 + (t - -1 - -3). Solve -2*b - 6 = -3*h - m, -u = -5*b + 5*h for b.
-1
Suppose 16 = v - 4. Let l = -357 - -369. Suppose -23*i + l = -v*i. Solve i*u + 5*g = -u - 5, -3 = -u - 2*g for u.
-5
Suppose j = 5*t - 23, -2*t + 4*t - 4*j - 2 = 0. Solve -3*i - 4*l - 24 = 0, t*i - i + 13 = l for i.
-4
Suppose 10*b - 8*b = 0. Suppose 4*p = 2*j + 14, -2*j + b*j - 2*p = -16. Suppose -f + 4*d = 0, f - 4*f = -4*d. Solve 2*n = -j*o - 17, f*n - o - 7 = 2*n for n.
-1
Suppose -216*b = -214*b - 28. Solve -q = -5*r + 26, -5*q - 5*r + b + 6 = 0 for q.
-1
Let h be 3 - (-9 + 3)/3. Solve 0 = b + s + 10, -2*b + b = -2*s - h for b.
-5
Let w = 238 + -235. Solve 3*d = -3*l + l - w, 0 = 5*d - 4*l + 5 for d.
-1
Let m(l) = l**3 + 6*l**2 - 6*l + 9. Let o be m(-7). Let g = -125 + 143. Solve 3*x + g = o*n, n - 5*x - 32 = -3*n for n.
3
Suppose 3*b + 11 = 4*f, -2*b = -3*f + 8 + 1. Suppose -f*y + 14 + 11 = 0. Solve -5*r = 4*j - 33 - 2, -5*j + 10 = -y*r for j.
5
Suppose -3*z + 2 = -2*z - 4*x, 3*z = -5*x + 6. Suppose z*n - 32 = -a - 2*a, -2*a + 4 = 0. Solve 3*q + j + n = -q, -5*q = -j + 14 for q.
-3
Let w be 15/(-25) - 1790/(-25). Let t = w + -67. Solve -2*h - t = 2*l, -h = -3*l + 2 - 20 for l.
-5
Suppose -r = a - 2, 2 = r - 4*a - 5. Solve -3*h = 2*j - 10, -r*h = -0*j + 5*j - 16 for h.
2
Let s = 403 + -399. Solve 0 = -3*o + s*p - 31, -2*o + 10 = 2*p + 3*p for o.
-5
Let b be 4 - (4/10 - (-6)/10). Let m be 8/b*(-294)/(-56). Solve 4*w - 16 = p, 2*p - p - m = -2*w for p.
4
Let a(g) = -12*g**3 - g**2 + 1. Let r be a(-1). Suppose -3*q + 4*p - p = -24, 4*p + r = 0. Solve -q*x + b = 3*b + 24, 4*x = -b - 18 for x.
-4
Suppose -5*h + 16 = z - 10, 0 = h - 5*z. Solve 4*y = -n - 11, 16 = -4*n - h*y + 3*y for n.
-3
Let r = -4 + 6. Let x be r*(-1)/(-6)*12. Suppose 2*h + f = 11, 0 = -x*f + 7 - 3. Solve -5*q - 10 = -h*d + 20, 0 = -d + 4 for q.
-2
Let i be (0/(-3))/(-1*(-4)/2). Suppose -z = -2*l + 12, 0 = 4*l - 5*z - i - 36. Solve 4*j = l*g + 20, j + 4*j - 4*g = 25 for j.
5
Let t be (0 + (-4 - -3))*6. Let s be (2/t)/((-4)/48). Solve a + 3*n - s = 9, 0 = 5*a + n - 23 for a.
4
Let n be 40/18 + 20/(-90). Solve 2*f + 10 = 5*t, 19 = 3*f - t + n*t for f.
5
Let o = -36 + 46. Solve -2*c = 3*t + o, 2*t + 14 - 6 = 0 for c.
1
Let i = 4 - 1. Let y(g) = 3*g - i*g - 3*g - 3 + 2*g. Let b be y(-10). Solve w - 3*j = -5, -2*w + j = -4*j + b for w.
4
Let g be (-142)/(-7) - 2/7. Let h(o) = o**2. Let l(z) = -z**3 - z. Let m(c) = 3*h(c) + l(c). Let t be m(2). Solve -g = 4*p, t = n - 2*p - 7 for n.
-1
Let l be 3 - (-8)/6*-6. Let n(d) = 3*d**2 + 9*d + 9. Let t be n(l). Suppose 11 = -3*k - 4*a, -k + 4*a + t = 16. Solve -p + k = 2*f, 8*f - 4*f = 2*p + 26 for f.
4
Let w(y) = y**3 + 9*y**2 + 13*y - 2. Let a(n) = 7*n - 21. Let p be a(2). Let k be w(p). Solve -11 = -c - 2*o, 0 = -4*c + k*o - o - 16 for c.
1
Let r(a) = -a**3 - 28*a**2 - 71*a + 114. Let w be r(-25). Solve -2*v + 3*v = -2*z + 5, -v = 5*z - w for z.
3
Suppose 31*i = 34*i + 2*l + 4, -14 = 3*i + 4*l. Solve -i = 2*a, 2*a + 4 = s - 3*a for s.
-1
Suppose 4*w - 3*p = 2*p - 96, -p = 0. Suppose 18*u + 4*v = 20*u + 68, -5*v = -u - 49. Let t = w - u. Solve -y = 2, t = 5*g + 3*y - y - 1 for g.
1
Suppose -s - 13 = 5*a, 3*s - 2*a = -0*s + 12. Suppose -3*f + r - 2*r + 7 = 0, 0 = -2*f + r - 2. Solve -4*i = s*l + 3*l - f, 4*i - 22 = 2*l for i.
4
Let r = -2267 - -2271. Solve 3*l = -18 + 3, 0 = -r*t + 3*l - 1 for t.
-4
Let s(g) = -21*g**3 + 2*g + 1. Let l be s(-1). Suppose 5*z = -0*y + 3*y + 68, 3*y - 60 = -3*z. Solve -4*p - z = -2*u, -2*u - l = u + 5*p for u.
0
Let o be ((-357)/126)/((-4)/24). Suppose -h - 3 = -5. Solve -h*m = 5*x - o, 0*x = -x - 5*m - 15 for x.
5
Suppose -3*p = -2*p - 5*q + 6, 22 = 3*p + 5*q. Solve 16 = 2*h - 4*j, p*j + 6 = 2*h + 2*j for h.
-2
Let o(k) = -k - 4. Let s be -12*-2*3/(-12). Let f be o(s). Solve -3*i = -2*j - 8, -i - f*i = 2*j - 16 for j.
2
Let t be 0 + 2 - (-6 - (-14 - -6)). Solve 6 = 4*n + 4*l - 2*l, 2*n + 3*l + 7 = t for n.
4
Let z = 69 - 122. Let t = z + 56. Let s be 10 + (0/(-1))/(-1). Solve 8*m + 5*o = 3*m - s, -t*o = -3 for m.
-3
Let t = -7 + 14. Suppose -10 = -4*k - 5*b, -3*k + 0*k = 4*b - t. Solve -2*o + 3*j = j, -10 = -5*o - k*j for o.
1
Let p(z) = -2 + 5*z - 3 - z - 9*z. Let k be p(-2). Solve -k*c = 3*b - 28, b + 3*b + 4*c = 24 for b.
1
Suppose 0 = -3*w + 29*w - 442. Solve f - 5*f - 2 = 5*b, b - 5*f - w = 0 for b.
2
Let h = 18 + -14. Let w be (-2)/20*h*-5. Suppose 2*d + 4*y = 22, -w*y + 31 = 3*d - 22. Solve 5*u + d = 4*u - 5*n, -21 = -4*u + n for u.
4
Let p be (6/1)/((-18)/(-48)). Let s = p - 7. Suppose -5*u + 9 = -1. Solve -u*k + 21 = 3*v, -6*k + 3*k + s = 0 for v.
5
Let s = 24 + -103. Let m = 84 + s. Solve 2*t = 2*d - 12, 5*t = 2*t + m*d - 24 for t.
-3
Suppose 19*s = 88 + 7. Solve -2*z - 25 = -5*a, z - s = -4*a + 2 for a.
3
Let k(t) = 4*t + 81. Let h be k(-28). Let b = 33 + h. Solve -b*s = 4*l - 2, 0 = -9*l + 4*l + 2*s + 7 for l.
1
Suppose -49 = -12*o + 23. Let s(p) = -2*p + 15. Let g be s(o). Solve -20 = -q + 6*q, 6 = 2*n - g*q for n.
-3
Let r = -28 + 45. Suppose 3*z - r = -4*o, 0 = 3*o - 0*o - 6. Solve -4*f = -f + 4*g + 6, 3*f = -z*g - 6 for f.
-2
Let r(f) = f**3 + f**2 - 6*f + 8. Let j be r(-4). Let n = -13 - j. Solve -6 = -5*y + z + n, 0 = -4*y - 4*z + 12 for y.
2
Let c(t) = -t**3 - 4*t**2 - 6. Let b be c(-5). Solve -v - 10 = 5*p, -3*p = p + 3*v + b for p.
-1
Let z be (-12)/(-16)*2 + (-4)/8. Suppose 0 = -w - g - z, 0*g + 28 = 4*w - 4*g. Solve 0 = -5*n + 25, w*n + 3 - 16 = -2*y for y.
-1
Suppose 2*u + 5 = 4*r - 3*u, 0 = 2*r + 2*u - 16. Suppose n - r = -j - 0, -5*n + 4*j = 2. Solve 6*q + 19 = n*p + q, -21 = 2*p + 3*q for p.
-3
Let g(n) = -n + 12. Let r be g(12). Suppose -o + 6 - 20 = r. Let z = o - -34. Solve -4*u = -4*w + z, -u - 2*w = u - 6 for u.
-1
Suppose 12*p = -10 + 46. Solve -2*z = 2*z + 20, -4*k = p*z + 19 for k.
-1
Suppose -2*p + 5*r = -7*p + 95, 2*p - 4*r = 38. Let s = 22 - p. Let d(q) = 8*q - 2. Let j be d(2). Solve -t - o + 6 = 0, -o + j = -s*t + 8*t for t.
2
Let g be 62/14 + (-12)/(-21). Suppose g*t = -0*t. Solve 2*w + t*p + 23 = -5*p, -p + 17 = -5*w for w.
-4
Suppose 0 = -5*o - 1 + 16. Let t(z) = z**2 + 4 + o*z**2 - 5*z**2. Let k be t(0). Solve 5*g - 16 = -2*c, -3*c + 0*g + 10 = k*g for c.
-2
Let u be 4 - (-2)/6*-3. Let x = -1258 + 1261. Let o = 18 - 12. Solve -i + 14 = -o*i - x*v, -3*i + 2*v = -u for i.
-1
Let f be 116/36 - (116/36 - 3). Solve 0 = 5*a - f*x + 5, -x - 3*x - 36 = 4*a for a.
-4
Let o be (9 - (-4 + 8))/1. Solve -n - 10 = -m - m, -4*n = -o*m + 31 for m.
3
Let c(k) = 4*k**2 - 5*k**2 + 10 + 9*k - k**2 + k**2. Let l = 25 + -15. Let t be c(l). Solve -2*m = -3*u + 8, 8*u - 6*u - 4 = t for m.
-1
Let h(r) = -r**3 + 6*r**2 - 12*r + 38. Let i be h(5). Let t = 2 - 2. Solve -d - 4*q + 15 = 0, t = 2*d - 6*d + i*q - 16 for d.
-1
Suppose -13*p + 107 - 68 = 0. Solve 5*r - 3*q = -3, 5 = -r - p*q - 10 