 + 2*m = 0, -5*m + 8 = d*n - 6 for n.
1
Let v = 24 + -10. Let r = 91 + -89. Suppose 0 = 4*i - r*n - v, -4*i + n + 11 = -0*n. Solve 0 = -2*g - 6, 2*j - i*g - 8 = -0*j for j.
1
Suppose 0 = -3*b + 5*b - 134. Let h = -27 + b. Solve -5*m - 5*k = 0, 5*m - 5*k = -2*k + h for m.
5
Suppose -42 = -4*y - 3*h - 19, 5*y - 2*h = 0. Solve 4*w = 12, -k + w + 0 = -y for k.
5
Suppose 4 = 2*t + 12, t + 39 = 5*a. Solve 4*z = 2*h - 9 - 7, -3*z - a = -4*h for z.
-5
Suppose 74*y + 51 = 199. Solve -4*d - 16 + 40 = 4*t, 4*t - 22 = -y*d for t.
5
Suppose 67*k - 250 = -58*k. Solve 0 = 5*t - k*d - 16, 2 = -t - 2*d - 2 for t.
2
Suppose -19*z = -15*z - 20. Solve z*o + 19 = s + o, -s + 23 = -5*o for s.
3
Let b be (-247)/(-91) + (-4)/(-14). Suppose -5*a - 4*v + 10 = 0, 5*a + b*v - 10 = v. Solve 4*f - a*f - 4 = -4*n, 5*n - 12 = f for f.
-2
Let y(l) = -2*l**3 + 7*l**2 + 8*l - 14. Let k be y(4). Solve -5*c + 16 = h - c, -c - 5 = -k*h for h.
4
Suppose 4*k + 7 = n, n - 2*k = 4*n - 63. Suppose 2 - n = -3*x - 4*i, i = -x + 5. Solve -x*m = -l + 4, -3*m + 5 = 3*l + 17 for l.
-2
Suppose 12*i + 26 = 25*i. Solve 3*c + 0*c = -4*k - 9, i*k = c - 7 for c.
1
Suppose 0 = 4*k + 10*o - 6*o - 24, -3*k + 6 = -3*o. Solve -k*z - 4*u = -4, z + u - 1 = -4*u for z.
1
Let g = -1 + 3. Let o(d) = -1 + 74*d + 11*d**3 + d**g - 74*d + 0. Let n be o(1). Solve l + 2*c = -n, 12 = -3*l - 2*c - 1 for l.
-1
Let d be (105/24 - 4)*8. Suppose 4*g = -3*b + 10, -b = -5*g - 0*b + d. Let l = g - -7. Solve -a - l = 4*n - 5*a, a - 14 = 5*n for n.
-3
Let o be 2 + (-2 + 4 - 2). Suppose -5*m - 15 = -20. Let s = o + m. Solve -r = 2*f + 3, -1 = -f - r - s for f.
-1
Let r(d) = -d**3 - 5*d**2 + 3*d + 18. Let j be r(-5). Solve -i + 2*v = -4*i - 16, -5*i - j*v = 26 for i.
-4
Let h be ((-10)/6)/(10/(-12)). Let a(y) = -4*y**2 + 1 + y**2 + y - 2*y**3 - y - h*y. Let x be a(-2). Solve -4*u - x = -5*z, -u - 3*z = 2*u - 27 for u.
4
Suppose 4*o - 21 = o + 3*u, -3*o + 2*u + 18 = 0. Suppose 0 = -o*r + 7 + 13. Solve -4*z - 5*q - 2 = 0, 2 - 12 = -r*q for z.
-3
Suppose 0 = -6*i + 24. Solve 0 = t - 2*k + 3 + 7, 5*k - 31 = i*t for t.
-4
Let d(q) = -4*q**3 - q**2 - 4*q - 2. Let u be d(-1). Solve 5*f - 1 = -c + 2, f + 9 = -u*c for f.
1
Suppose -3*b - 3*d = -6*b + 18, 5*d = -4*b + 15. Solve -2*u = b*t + 3 - 9, 2*t = u + 6 for t.
2
Let f = -339 + 341. Solve -5*s - f*b - 14 = 12, -3*b - 21 = 3*s for s.
-4
Suppose 21*a - 4 = 19*a. Suppose -a*p - 14 = -5*q + 4, 4*q - 8 = 0. Let z be (-2)/p*(4 + 0). Solve -2*i + f + 15 = 4, 0 = 5*i - z*f - 25 for i.
3
Let z = -735 + 740. Solve 0 = -g - 4*u - 15, -3*g + 2*u = 6*u + z for g.
5
Suppose 14 = 5*y + 2*r, -4*r - 17 - 15 = -5*y. Let p(d) = 4*d - 4. Let j be p(3). Suppose j*x - 6*x = 0. Solve x = 3*f + 5*i - 7, 0*i - 4*i + 12 = y*f for f.
4
Let v = -1295 - -1300. Solve 3*x - v*t = 0, 0 = -4*x - 0*x - 4*t - 32 for x.
-5
Suppose -5 = -h - l, 3*h - 3*l - 1 = 8. Solve -13 = 3*z - h, 3*a - z - 15 = 0 for a.
4
Let a = -94 - -106. Solve 5*h - 20 = -w, 2 = -3*h - w + a for h.
5
Let m be ((-2)/(-4) + 1)/(12/64). Let u be (3 - 2) + m + -4. Solve 2*w - 3*j = 5*w - 6, -u*j = -2*w - 31 for w.
-3
Let m = -12 - -12. Let k be 1 + (2 - m) - 0. Solve 0 = 4*d + 2*h - 0*h + 8, 5*d - h + k = 0 for d.
-1
Let j be -3 + (-12)/4 + 8 + 0. Solve 4*t = 5*z - 9, -5*t + 2 - 5 = j*z for z.
1
Suppose 3 = 2*i - 7. Let c = -22 - -19. Let d be c - (-4 - 3 - 0). Solve -3*z + 33 = i*h + 1, -4 = 3*h - d*z for h.
4
Suppose -3*g + q + 11 = 6*q, 7 = -5*g - 2*q. Let n be 3/(1 + (g - -3)). Solve l + n*b = 16, -3*l + 5*b - 8 = -0 for l.
4
Suppose 3*r + f - 1 = 0, 15 = 5*r - f - 0*f. Suppose -5*z - z - 132 = 0. Let x = -15 - z. Solve -2*d + 4*d = 6, -r*d = -w - x for w.
-1
Let o(g) = 5*g - 6. Let i be o(2). Solve 3*t - t + 4*q - 10 = 0, -28 = 4*t - i*q for t.
-3
Let c be (4/(-7))/(154/(-539)). Solve 0*t + c*a - 16 = 4*t, -3*a = 2*t for t.
-3
Suppose -3*o = -4*o + 4. Solve 0 = 4*v + o*q + 40, 6*v - 3*v + q + 20 = 0 for v.
-5
Suppose 0 = -4*d + 51 + 9. Let l(z) = z**3 - 5*z**2 - 10*z + 9. Let s be l(6). Let i = s + 35. Solve -19 = x + 5*o, -i = 5*x + 5*o + d for x.
-4
Let f be 339/15 - (-4)/10. Suppose 5*h - b - f = -4, 32 = 4*h - 5*b. Solve -n = -h*g + 4, -n + 0*g - 5*g = -12 for n.
2
Let u(o) = -o**3 + 3*o**2 + 4*o + 2. Let i be u(4). Suppose -4*n - n - i = -3*z, 4*n + 4 = 3*z. Solve -n*k + 2*w - 10 = 2*k, -2*k - 5*w - 23 = 0 for k.
-4
Suppose -15 = -12*b + 21. Solve -b*d = 3*h + 27, -3*d + 8 = 3*h - 7*d for h.
-4
Let m be 2/(-13) - (-3420)/260. Suppose -16*f = -m*f. Solve -3*k + 15 = k + 5*w, f = -k - 5*w for k.
5
Let v = 25 - 11. Suppose 0 = -5*x - 3*p - 40 + 45, 0 = 5*x - 2*p - 30. Solve a + 3*j - 6 = -2*a, v = a + x*j for a.
-2
Let v be (2/3)/((-1)/(-6)). Let u be 38/v + (-7)/(-14). Let i = 19 - u. Solve 3*p + 7 = x, -x = 4*p + p + i for x.
1
Let x(d) = -3*d**3 - 16*d**2 - 20*d - 6. Let o be x(-4). Solve 0*n = z + 2*n - o, 3*z - 4*n + 20 = 0 for z.
0
Suppose 0 = -3*k + 7*k + 20, 4*k = -3*s - 20. Solve 0 = 2*m + 3*z + 19, s = -m + 3*m + 5*z + 25 for m.
-5
Suppose -13*y - 70 = -48*y. Solve -22 + y = -5*b + 5*l, 4*b - l - 1 = 0 for b.
-1
Suppose 0 = 9*j - 1 - 26. Let u(s) = s**2 - 3*s. Let m be u(4). Solve -a = -j*q + q, 3*a + 20 = -m*q for a.
-4
Let d(r) = -r**3 + 6*r**2 - 11*r + 34. Let i be d(5). Solve 5*v - f - 2*f - 27 = 0, -v - i*f - 13 = 0 for v.
3
Let n be (-2)/5 - (-108)/(-30). Let o be n/(-12)*-1*9. Let g be 8/6*(12 + o). Solve 4*v + 4*j = 3 + 13, -3*v + j + g = 0 for v.
4
Let m = -261 - -266. Let b(l) = l**3 - 4*l**2 - 6*l + 1. Let v be b(5). Let n = 7 + v. Solve n*y + 6 = -9, m*u = 5*y for u.
-5
Let p = 917 - 907. Solve 3*r - p = r + 4*q, -5*r = -q + 11 for r.
-3
Let k(b) = -4*b**2 - 56*b + 2. Let x be k(-14). Solve -9 = 4*p - 2*p + l, 0 = x*p - l - 1 for p.
-2
Let l(x) = 2*x**2 - 7*x - 11. Let a be l(5). Solve -3*w = 4*b - 8 + 1, -18 = -2*w + a*b for w.
5
Suppose 0 = 8*o - 13*o. Let u(g) = g**3 + 12*g**2 + 12*g + 10. Let m be u(-11). Let s be (o/m)/((-8)/4). Solve 3*v + s*v - 1 = -j, -4*v - 4 = 4*j for v.
1
Let p = -75 + 135. Let y = -51 + p. Solve 5*w = -3*x - 2, 2*x = -2*x + 5*w + y for x.
1
Let q be (((-70)/(-10))/(-7))/(2/(-22)). Solve -o + 5*t = q, -o + 3*t + 10 = 15 for o.
4
Suppose 2*t - t = -3*n - 3, -9 = -n + 3*t. Suppose n = -2*a - 4*d + 24, 0 = -a + 3*d + 5 + 17. Solve -2*z + 7 = g + a, 5*z + 4*g = -27 for z.
-3
Suppose 2*i = -2*i. Suppose -z + 4 = 3*k, -4*k + 0*k - 4 = -z. Suppose 0 = 2*t - k - 2. Solve -5*s + 10 = i, 0 = 2*c - 5*s - t + 17 for c.
-3
Suppose -3*o + 9 = -2*m, 5*o = -2*m + o + 26. Suppose 4*d - m*b + 5 = 2, 2*d - 4*b + 4 = 0. Solve 4*c + 6 = -2*v, -5*v + 0*c + c + 7 = d for v.
1
Let y be (-36)/(-15) + 8/(-20). Solve y*h = -4*x + h + 10, 19 = 5*x - 2*h for x.
3
Let z(r) = -11*r - 24. Let t be z(-5). Let q = t + -19. Solve 0 = 2*p + 4*n - q, -5*p = -7*p + 4*n - 4 for p.
2
Let w = -16 - -34. Suppose 2*i - w = -i. Let s = i - -1. Solve -3*t + s = -2*x, x + 4 = -5*t - 6 for t.
-1
Suppose 0 = -5*u - 4*x + 60, 15 = -5*u + 3*x + 75. Let f be 2/u*-3*-10. Solve -p = -3*t - 11, -3*p + f*t = -8*p + 15 for p.
5
Let h be -1 + -8 + (-588)/(-42). Solve -h*u = -5*o - 5, 5*u + 0*u + 2 = -2*o for o.
-1
Let f be (-2 - 0)*10/4*-1. Solve -f*g = -3*t + 15, 14*t - 9*t = -g + 25 for t.
5
Let w(i) = i**2 + 6*i + 7. Let o = -43 - -38. Let u be w(o). Solve y + 5*p = -3, 2*y - 6*p + 6 = -u*p for y.
-3
Let j = -3 - -5. Let s = 18 + -13. Suppose -18*a = -10*a - 32. Solve a*x = 3*x + 2*r + j, 5*r + s = 4*x for x.
0
Let a be (-8)/12*(-6)/2. Suppose -v = -q - a, -6*v = -3*v - 9. Let t = 2 + -1. Solve 4*z + w + q = 5, z - t = 3*w for z.
1
Let x = 7 - -1. Let s = x - 2. Let a be 8 - 3/((-3)/(-4) + 0). Solve -p - 3 = -4*w, -a*p - 5*w = -2*p + s for p.
-3
Let i be ((-1)/2)/(2/(-388)). Let c = i + -94. Solve 0 = -5*u + a + 2, -c*a - 5 = -14 for u.
1
Suppose -o = 4*o - 2*r - 100, -2*o = 2*r - 40. Let b be 2/(-4)*2 + 55/11. Solve -4*x - 9 = 3*z - 44, -b*z = -o for x.
5
Let p be (-3)/(-6) - (-10)/4. Suppose 0*f + 3 = 2*m - f, -3*m + 3*f = 0. Suppose m*d = -3*d. Solve 5*z + c - 3 = d, -z + 0*c + p = -c for z.
1
Let r be (-18)/(-30) + 12/5. Suppose -r*w + 5*w - 4 = 0. Solve 5*g = -4*x - x, 0 = -5*x - w*g for x.
0
Let y = -3 - -33. Let l(p) = -p**3 + 5*p**2 - 5*p + 3. Let j be l(3). Let a be (-27)/(-6)*4/j. Solve v = r - 2, -3*v - y = a*r + 2*r for v.
-5
