m + 3 = -2*n, n - r = 4*m - 13 for m.
3
Let k be 0 - (4 - (12 + -2)). Suppose -6 = -k*g + 6. Solve -g*h + 10 = -4*z - 0*z, -4*h = -5*z - 11 for h.
-1
Suppose -6*i + 7*i = -1. Let t be i/3 - (-92)/6. Suppose -5*m + 0*m + t = 0. Solve 2*a + m*b = -4 + 6, 0 = 4*a - 4*b - 24 for a.
4
Let q = 10 - 22. Let k = -8 - q. Let w be 15 - 3 - ((-544)/(-96) - 8/(-6)). Solve w*n + 5 = 4*t, n + 3*t - k*t = 0 for n.
-5
Let x be (-8)/(-12) - 7/(-3). Solve -x*c - 8 = -5*n, 4*n - c = -4*c + 28 for n.
4
Suppose 0 = -8*z + 21 + 11. Suppose d = z*d + d. Solve f + q = d, 2*q - 12 = -q for f.
-4
Let k be 7 + (30/(-12))/(20/16). Solve j = -k*b - 4, -b = -j - j + 3 for b.
-1
Suppose 0 = -23*t + 21*t + 44. Suppose -10 = t*b - 24*b. Solve -5*x = -x - b*q - 30, 3*x + 4*q = 7 for x.
5
Let u(a) = -a**2 + 4*a - 3. Let r be u(2). Suppose i = 2 + r. Suppose 20 = 3*h + 2*g, -h + i*h - 4*g = -8. Solve 0*l - 2*m = -2*l + 8, l - h = -4*m for l.
4
Let r = 37 + -18. Let y be (-3 + r)/(-2) - -1. Let s be (-8)/(-14)*y/(-2). Solve 3*l = -s*u + 3 - 7, 0 = 2*l - 3*u + 7 for l.
-2
Let a(f) = -f**3 + 4*f**2 - 3*f + 1. Suppose b + 5 = 7. Let x be a(b). Solve 3*g + 4*y = -3, 0*g = g + x*y + 1 for g.
-1
Let y = -26 + -1. Let p = y + 45. Solve p + 12 = 3*g - 3*w, -35 = -5*g + 2*w for g.
5
Let s be (-111)/(-12) + (-2)/8. Suppose -3*n - s = 3*c - 6*c, c + 5*n - 3 = 0. Solve 5*u + 9 = 2*u, -c*q - 6 = -3*u for q.
-5
Let y be 54/(-27) - -2*(0 + 2). Solve -2*f + y*s = 3*f - 2, -2*f + s = 0 for f.
2
Let d be ((-5)/(-4))/(2/8). Suppose 0 = -9*s + 7*s - 2. Let i be 0/(-2)*s/2. Solve -d*a - 35 = -w - 12, i = 4*w - 4*a - 28 for w.
3
Suppose 2*w + 4*c = 4, -3*w = -0*c - 4*c - 6. Let o(u) = u + 21. Let n be o(-5). Let i = -16 + n. Solve 3*v - w*v - 4*f - 6 = i, -3 = v + 5*f for v.
2
Let z be (6 - (-2)/(-1)) + (4 - 3). Solve -2*a + 12 = -z*t, -4*t + 2*a = a + 12 for t.
-4
Let s = 80 + -147. Let t = 78 + s. Solve -n - 3*a = t, 5*n + 32 = -3*a + 1 for n.
-5
Suppose 2*t = 4*g - 18, 0*g - 6 = 2*g + 2*t. Solve c + n = g, 0*c - 2*c + n + 4 = 0 for c.
2
Let v(o) = -o**3 - 10*o**2 - 12*o - 11. Let t be v(-9). Let m = 7 - 1. Let z be (-22)/(-4) - 9/m. Solve t = -z*d - 0*d + 5*g, -d - 4 = -5*g for d.
-4
Let l be (-2)/(6/(-15)) + -3. Solve -4 = l*w + 2*k, 3 = 4*w - k - 4 for w.
1
Let d(q) = -2*q - 1. Let m(x) = -x + 2. Let z be m(4). Let p be d(z). Suppose -7*n + 12*n = 0. Solve -5*b + n = r - 20, -5*b = -p*r - 40 for b.
5
Suppose -347 - 52 = 7*v. Let z = v - -69. Solve -2*m + z = -2*r, -4*m + 23 = -0*r - 3*r for m.
5
Suppose 27*s - 45 = 9. Solve -3*d - 4*m = -14, d - s*d - 4*m + 10 = 0 for d.
2
Suppose -578*m + 572*m + 18 = 0. Solve 0*k + 3 = -k + 3*v, k = -3*v - m for k.
-3
Let w be -2 + (-12)/(-9) - 40/(-15). Solve 3*u + 0*z + 2*z = -3, 2*u = w*z - 2 for u.
-1
Let q be (-1)/((-8 - -5)/3). Solve i + 5*s = 12, -5 - q = -2*s for i.
-3
Suppose k - 9 + 3 = -z, 3*z - 8 = -k. Let i = 1 - z. Suppose 5 = -4*t + 25, 2*t - 25 = -d. Solve 5*l - 2*n = -d, 3*n - 6 + 21 = i for l.
-5
Let f be (-160)/(-35) - (18/(-21))/2. Solve 17 = -m + f*b, -m = b - 3*b + 5 for m.
3
Let s(v) = 3*v**2 - 56*v + 52. Let r be s(18). Solve 3*o = -u + r, 4*o - 7 = -u + 14 for u.
1
Let j be (-2)/6 + 14/6. Suppose 3*d = 4*s + 38, -3*d - 16 = -4*d - j*s. Let n be 1/((d/44)/7). Solve -5*x + n = -3*g, 5*g + 2*x = 2*g + 13 for g.
1
Suppose -4*b + 3*i + 5 = 0, -3*b + 5*i + 1 = -0*b. Let r = 25 - 13. Suppose -7*d + 10*d = r. Solve -b*s - d = -0*s + 3*f, 0 = 2*f - 4 for s.
-5
Let y be (2 + 11)*(-7 + 8). Solve y - 16 = -2*p + z, 5*p - 6 = 4*z for p.
2
Let j be ((-333)/18 - -6)/((-2)/4). Solve -5*k + j = -f + 6*f, 0 = f - 5 for k.
0
Suppose -8 = -2*l - o, 4*l - l - 3*o - 3 = 0. Suppose -8 = 4*m + 4*w, l*w = -9 - 6. Solve -u = 4*i - 7, -2*i - 1 = -m*u + 2*u for i.
1
Suppose 10 = -3*f - 2. Let m = f + 4. Solve 7 - 20 = 2*t + 5*h, 3*t - 2*h + 10 = m for t.
-4
Suppose j + 4 = 4*q, -5*q = -4*j + 8 - 2. Solve 4*x + q*z = -0*x - 16, 5*x + 17 = -z for x.
-3
Let r(k) = 3*k - 3. Let c be r(2). Suppose -c*d = d - 8. Solve -3*s = -l - l - 1, -3*s - d*l = 7 for s.
-1
Let c = -12 + 22. Suppose 5*k = 5*d - c, 4*d + 3*k - 13 = 9. Solve -2*s + 3*y = -7, -2*s + 2*y = -d*s + 12 for s.
5
Let z(k) = k**2 + 9*k + 16. Let o be z(-2). Solve 3*v + 2*y - 17 = -o*v, 3*v - 3*y - 27 = 0 for v.
5
Suppose 3*f = f - 2*f. Solve f = -u - 2*x - 8, -3*u + 4*x = -2*u - 22 for u.
2
Suppose 530 = 63*d + 43*d. Solve 4*r + 4*k - 17 + 1 = 0, -d*k = -5*r + 10 for r.
3
Let f be (0/3)/(-4 - -5). Let k(w) = 3*w. Let r be k(1). Suppose -4*u + 6 = -r*u. Solve 2*g - u = f, 3*g - 2*g = i for i.
3
Suppose -8*j = -12*j + 52. Let b = 15 + -11. Suppose 3*g - 5 - 40 = 0. Solve -s = -2*v - j + b, 3*s - g = 0 for v.
-2
Suppose 5 + 15 = 4*f. Suppose 3*b = -f*g - 20, 4*b - 4 = 3*b + g. Solve 2*p + a = -0 - 1, 5*p + a - 2 = b for p.
1
Let l(x) = -x**2 + 3*x + 4. Let s be l(4). Let b = s + 2. Solve 2*t + b = 4*y - 0, 0 = 2*y + 5*t + 5 for y.
0
Suppose -2*j + 5 = 5*w, -4*j + 66 = 4*w + 74. Solve 5*r - 37 = w*d, -2*r = -3*r + 3*d + 17 for r.
5
Let c be 12/16 + 172/(-16). Let i be 486/c - (-6)/10. Let t be (-252)/i + 1/(-4). Solve -5*g = -5*j + 20, -5*j + 16 = 2*g - t*g for g.
-2
Let q(u) = u**2 + u - 4. Let x be q(-3). Let n = -1683 - -1687. Solve 0*m - n*b = -m - 10, -x*b + 4 = 0 for m.
-2
Let u = -209 + 211. Solve l - 9 = -u*l, -2*k - 1 = 3*l for k.
-5
Suppose -3*b + 42 = 2*h, 0 = h - 4*b - 22 + 1. Suppose 8*u + 39 = h*u. Solve 4*t = 4*a + 8, 2*t + u*t + 2*a = 17 for t.
3
Let y be (-46)/(-1)*(-2)/(-4). Suppose -4*z = 4 - 8, -w - 5*z = 14. Let l = y + w. Solve 0 = 4*m - l*p + 8, -6*p + p = 2*m + 11 for m.
-3
Let w = 95 - 79. Suppose 8*c - w = 4*c. Solve -c*d + 28 = -3*b, 4*d + 3*b - 3 - 1 = 0 for d.
4
Let t(x) = -2*x**3 - 123*x**2 + 60*x - 119. Let f be t(-62). Let k = -21 + 78. Solve 5*w + 22 = -f*r + k, 2*r = 2*w - 6 for r.
2
Let s be 3*(-6)/9 - -10. Let l = s + -6. Suppose 0 = 2*a + l*a. Solve 5*x + 4*f - 5*f + 1 = a, -f = -4*x - 1 for x.
0
Suppose 0 = j - 5*g - 54, 4*j - 3*g + 76 - 309 = 0. Let x = j + -57. Solve -3*o - 4*d = 2*o + 3, -x*d + 6 = 0 for o.
-3
Suppose 5*s = 20, 2*s = 4*x - s. Suppose x = m - 1. Let d be m*6/8*2. Solve -5*u = -a - 7, 0 = -2*u - a - 3*a - d for u.
1
Let d(h) = -h + 29. Let c be d(21). Let b(a) = a**2 - 5*a - 21. Let i be b(c). Solve t + t = 5*g - 19, i*g + 1 = -5*t for g.
3
Let m = 28 - 14. Suppose -9 + 21 = 4*v, -t + m = 3*v. Solve -3 = -t*o - q, 3*o + 0*q = -3*q - 3 for o.
1
Let j(x) = -17*x + 314. Let n be j(18). Solve 3*u = -4*k - 10, n*u + k + 7 = 5*u for u.
-2
Let u be 15/2 - (-1)/(-2). Let y be 10/(-4)*(5 - u). Solve q + 3*a = 1, -2*a - 3*a + 35 = -y*q for q.
-5
Suppose -2*m + 18 = 8. Solve y + b + 7 = -y, 0 = m*y + 2*b + 15 for y.
-1
Suppose 0 + 10 = -5*n, -5*l + 5*n = -20. Suppose 2*a + 6 + l = -4*c, -4*c - 6 = 3*a. Solve 5*k = 4*m - 2*m - 5, 2*k - 3*m + a = 0 for k.
-1
Let p = 432 - 404. Solve -4*y - 4*i + p = 0, -y + 0*y + 3*i - 5 = 0 for y.
4
Let d be -3*(-24)/(-27)*(-6)/4. Solve -d*a - 3*x - 3 = 0, a = -a + x + 11 for a.
3
Suppose -4*l + 5*o + 26 = 0, -3*o - 9 = -3*l + 9. Solve -7 = -d + 5*c, -l*c + 5*c - 7 = -4*d for d.
2
Let s = 169 + -167. Suppose -2 = -q + 4*y, 0*y = s*q + 3*y - 4. Solve -4*i - q*h - 9 = -7*h, 5*h - 4 = -i for i.
-1
Let l = -10 + 21. Let b be (-42)/(-4)*(1 - -1). Suppose -3*n - b = -3*f, 3*n + 4 + 3 = -4*f. Solve 5*a - 2*o - 9 = 0, -a - f*o - 2 = -l for a.
3
Suppose -4*r - 12 = -4*b, -2*b + 7*r + 15 = 2*r. Suppose -3*z - 9 = 5*l, b*z - 3*z - 9 = 4*l. Solve -2*k - 2*k = 5*n - 30, -4*n + 8 = l for k.
5
Suppose 0 = 20*s - 15*s - l - 17, 0 = 2*s + 4*l + 2. Solve -5*h + 3*k = -h, -3 = s*h - 3*k for h.
3
Let k be 12/8 + (-60)/(-24). Solve -4*r = -0*r - 5*m + 25, m = -r - k for r.
-5
Let n = -379 - -384. Solve -4*h - 17 = -k, -21 = n*h - 1 for k.
1
Suppose -103 = -17*k - 35. Solve 2*i - k = -5*l, -l + 5*i - 10 = -3*l for l.
0
Let j(f) = -f - 13. Let i be j(-10). Let t = i + 7. Suppose 84 = 10*v - 56. Solve -o = t*s - 10 + 3, v = 5*s - 4*o for s.
2
Suppose 0 = 2*c + s - 3 - 1, c = -3*s + 12. Suppose -4*h + 12 = -c*h. Let u be -9*(h - 4)*1. Solve 0*v - u = -5*v + m, -v + 4*m + 17 = 0 for v.
1
Let z = -9 + 11. Suppose 5*m - 4*m = 2. Suppose z*p - 5*l - 27 = p, -m*l = 2*p - 42. Solve -2*u - p = -4*x, 0*u + 20 = -u + 5*x for u.
-5
Let y be (2 + 2)/(-4)*-20. Let k =