ve -g - 4*a = -0*g, -5*g + a = -t for g.
4
Let v = -4 + 6. Let s = v + 0. Solve 0 = 2*c + c - 15, -3*w - s*c + 10 = 0 for w.
0
Suppose 4*y + 3 = 3*r, 0*y = -2*y - 4*r + 26. Suppose 0 = -5*i + 2*q + 3*q + 45, y*i + 3*q - 3 = 0. Solve -5*c - 2*z = -6*z, i*z = c for c.
0
Let s(r) = r**2 - r + 1. Let k be s(2). Suppose b - 12 = -k*b. Solve 17 = -4*p - b*f, -3*p + 3*f + 5 = -p for p.
-2
Suppose 5*q - 4 = 2*j, 3*j = -4*q - 7 + 1. Suppose 0*l + l = q. Solve -k + c - 3 = -7, 3*k - c - 6 = l for k.
1
Let k = 52 + -86. Let y = 61 + k. Solve 0*u - y = 2*b - 5*u, 5*b = 2*u - 15 for b.
-1
Suppose -2*y - p = -3, 4 = 3*y + 4*p - 8. Let t = y - -5. Solve -2*l + 4*w = 2, -t*w + 5 = -10*w for l.
-3
Suppose -5*s - 2*z + 4*z + 8 = 0, 4*s - 4*z - 4 = 0. Let h be -4*3*8/6. Let t be h/(-32)*(1 - -3). Solve -s*g + t = 2*a, g - 5*a - 19 = -0*a for g.
4
Let k(v) = v**3 + 5*v**2 - 4*v + 7. Let o be k(-6). Let w(c) = c**2 + 4*c - 3. Let l be w(o). Solve 4*f = 5*z - 36, 4 = -2*z - l*z - 5*f for z.
4
Suppose -4*l = -2*l. Suppose -4*y - 3*b - 11 = 0, -5*y + l*y - 34 = -3*b. Let h = -3 - y. Solve -7 - 3 = 5*o + g, h*o - 3*g = 13 for o.
-1
Let p be 0 - (86/(-11) + (-2)/11). Solve 12 = -3*u + q, 3*u = 3*q + 2 - p for u.
-5
Let p = 51 - 28. Solve t + 4 = 0, p = -x - 5*t + 7 for x.
4
Suppose 5*k + t + 5 - 40 = 0, 5*t = -3*k + 43. Solve 4*u - q = -15, -5*u - k - 12 = -q for u.
-3
Let c be (1/2)/((-12)/(-48)). Solve 4*y - 14 + 4 = c*m, 5*y - 15 = 2*m for y.
5
Suppose 4*r = 3*w + 13, 3*r - 9 = 5*w - 2. Solve 4*j + 3*p = 4, 3*j = r*j + p for j.
4
Let z be (-4 - -9)/((-1)/1). Let o = z + 8. Solve 6 = 2*c - 4*n, 2*c = -o*n - 5 + 11 for c.
3
Suppose 2*j - 14 = 2. Let q(h) = -h + 3. Let z be q(0). Let i = j - z. Solve i*y + 2*o + o = 0, 0 = 5*y + 4*o + 5 for y.
3
Suppose 15 = -5*q, 4 = u + u - 4*q. Let r = u + 6. Suppose 5*g - t = -5*t, r = 3*g + 2*t. Solve -2*f + 3*m = 8*m + 20, 4*m = -g*f - 16 for f.
0
Suppose 0 = 3*o - 9 + 3. Solve -5*l - 4*s - 33 = 0, 5*l + 3*s - o + 33 = 0 for l.
-5
Suppose 5*q = 5*v + 25, -4*q + 5 + 18 = -5*v. Let y = v + 5. Suppose -h - 23 = -5*f, 7 = y*h + 3. Solve 0 = -2*u + 3*u + 2*k - 14, -5*u + 3*k + f = 0 for u.
4
Suppose -4*j + 31 = 3. Suppose 20 = -2*q + j*q. Solve 0*v - 4*v = -u, -5*v = -q*u + 11 for v.
1
Suppose 2*g - 11 - 31 = 5*u, 3*g + 3*u - 21 = 0. Let i = g + -7. Suppose -4*r + 5*m + 20 = m, 3*r - 4*m = 20. Solve i*k + 6*w - w + 7 = r, -k - 4 = 2*w for k.
2
Let c = 2 - -3. Solve d = -c, -2*l + 41 = 2*l - 5*d for l.
4
Let p = 0 - 0. Let c = 33 - 20. Suppose 5 = s + 3*a, -5*s + 5*a + 5 = -0. Solve p - 2 = n - 3*x, -s*n - 3*x = c for n.
-5
Let n(k) = 2*k - 3. Let i be n(3). Solve 3*d = 0, -i*d - 2 = v - 7 for v.
5
Let h = 9 + -9. Let n be 9 + -8 - (h + -1). Solve -5*r + 2*c + 3*c + 5 = 0, -r = -n*c + 1 for r.
3
Let o(l) = 3*l + 3 - 1 - 4 + 0*l**2 + l**2. Let u be o(-4). Solve 0 = v - 5*s - 1, -u - 5 = 2*v - s for v.
-4
Let z = 29 + -12. Let b = z - 10. Solve -5*i - 14 = -j, -i + j - b + 1 = 0 for i.
-2
Suppose 3*j = 5*g - 6*g - 1, -2*g - 4*j = 0. Solve -8 = 4*a - t - 3*t, t = g*a for a.
2
Suppose -5*y + d - 5 = 0, y - 4*d + 10 = -2*d. Let r(z) = 13*z + 2. Let u be r(4). Let q be (24/u)/(4/18). Solve 6*o + k = o + 10, q*k = y for o.
2
Suppose 0 = 6*n - 2*n + 44. Let x = 16 + n. Solve 2*i = 4*i + x*o + 21, -5*o - 9 = -2*i for i.
-3
Let s be (-4)/(48/(-44))*(-9)/(-3). Let t = 7 - 4. Solve -b - 2*b = t, -4*p + b - s = 0 for p.
-3
Suppose 4*o + c - 7 = 9, 5*c = -4*o + 32. Solve 2*f + 5*x - 29 = 0, -4*f + 28 = -o*x + 7*x for f.
2
Suppose 0 = -3*q - 12 + 30. Suppose 2*t + 12 = q*t. Solve 2*k = y + 6, 18 = t*y + 6*k - 3*k for y.
2
Let k be (-1)/(-1) - 7 - 0. Let i(z) = z**2 - 2*z - 3. Let l be i(k). Solve 0 = 3*b - 5*t + 15 - 2, -5*t + l = 5*b for b.
4
Let g(n) = 2*n + 2. Let x be g(-8). Let w = -9 - x. Solve -4*c + 5*c = -4*i + 15, 0 = -5*i - 4*c + w for i.
5
Let m be (-2)/(-4) + (-2)/(-4). Suppose -z + 4*s = -5, 3*z + m + 0 = -4*s. Solve -5*t - 3 - z = -b, -b = 5*t - 4 for b.
4
Suppose 2*a - 1008 = -2*a. Suppose 3*b - 4*q - 108 = b, 4*q = 5*b - a. Suppose -b = 3*d - 6*d. Solve -4*r - d = 4*g, -4*r - 5*g - 9 = 11 for r.
0
Let q(c) = c**3 - 8*c**2 - 18*c - 18. Let p be q(10). Solve 4*v - 5*m - 3 = 0, 9 + 1 = 4*v + p*m for v.
2
Suppose 0 = -d + 3*d. Suppose d = -p + 4, -5*p = 4*s - 44. Solve -3*n + 2*a + 11 = 0, 3*a - s = 2*n - 20 for n.
1
Let c be -2 - (-1 - -3 - 8). Let w(m) = 2 - c + 14*m**2 + 3. Let y be w(1). Solve -17 = -6*s + 7*s - 3*d, -5*s + d - y = 0 for s.
-2
Let x = 70 + -62. Solve -2*a + 5*u = x - 3, -4*a - 18 = -2*u for a.
-5
Suppose 2*z = z + 37. Suppose z = 4*d + 5*a, 2*a - 7 + 3 = 2*d. Solve 2*c + 12 = -4*t, 2*t + 0*c = d*c + 2 for t.
-2
Let x be ((-24)/(-21))/2*7. Suppose x*l + 3*f - 34 = 2, 4*l - 36 = 5*f. Solve 0 = i + 4*i + 4*t - 3, -4*i = t - l for i.
3
Suppose -3*q + 2*k - 2 = 6*k, -5*q + 2*k = -14. Let j(o) = -o - 7. Let c be j(-14). Solve -q*f = 2*u + 2, -5*u + 13 = -c for f.
-5
Suppose o = 2*o - 87. Let w be (-2 + 1)/((-3)/o). Suppose -w = -5*l - 4. Solve 0 = -2*t - 2*c + 14, -l*c = 2*t - 8 - 21 for t.
2
Let g = 9 - 15. Let j = 6 + g. Solve -15 = -2*s - 3*h, 4*s + 3*h + 10 - 31 = j for s.
3
Let u(g) = 0*g + g**3 - 6*g + 10 + 0*g**3 + 7*g**2 - g. Let b be u(-8). Solve -5*z = 2*c - b, -2*z + 4*c + c - 5 = 0 for z.
0
Suppose 3*v - 39 = 5*x - 8, -12 = -v + 2*x. Let b be 5/((-5)/(-2)) + v. Suppose -b*q - q + 50 = -3*k, 4*k = 0. Solve 5*u + 5*a + 10 = 0, 4*u + a + 3 = q for u.
3
Suppose -11*d = -58 - 19. Solve 7 = o - 2*g, -g - 10 - d = -5*o for o.
3
Let j = 35 + -32. Solve 0 = -j*b + 3*s + 24, -s + 7 = -b - 3*s for b.
3
Suppose m - 20 = -4*m. Solve -j + m*n = -3*j - 8, -16 = 4*j - 5*n for j.
-4
Suppose 4*m - 5*m = -6. Solve -5 = 5*y + 15, 0 = r + y + m for r.
-2
Let a(o) = -o**2 - 6*o - 3. Let p be a(-5). Let q = 28 + -20. Let c = q - p. Solve 0 = 4*x + 3*d + 7, -4*d = 5*x + c + 3 for x.
-1
Suppose 2*g - 12 = -2. Suppose -20 - 5 = -g*u. Suppose -u*c + 8 + 2 = 0. Solve 3*a - 15 = y, 6*y + 10 = 2*a + c*y for a.
5
Suppose 0 = 2*o + 4 - 0. Let q be 2 - (4/o + 2). Solve i + 2*h = -2*i + 5, -4*h - 30 = -q*i for i.
5
Suppose 0*x = -3*x + 15. Let y = 16 - 24. Let r be -1 - 1 - (1 + y). Solve 4*m + u = -12, -4*m + x*u = r + 7 for m.
-3
Let q = 45 + -42. Solve 0 = 2*g + 6, -q*g = -5*u + 31 - 7 for u.
3
Let w be 17/4 + 2/(-8). Let v(i) = -i**2 + 10*i + 41. Let s be v(-3). Solve -r = -3*m - w, 4*r - 16 = s*m - 0*m for m.
0
Let t = -2 - -6. Suppose -t = b - 3*b. Let x(g) = 3*g - 36. Let c be x(12). Solve -3*n = 2*r + 8, c = b*r - 5*r + 6 for n.
-4
Let x be -2 - ((3 - -1) + -6). Solve 0 = -0*p + 3*p + 4*l, x = -3*p - 5*l for p.
0
Let x(o) = o + 7. Let v be x(-4). Suppose 9 = 6*g - v*g. Solve -g*b - 2*b = 5, 0 = -c + 4*b for c.
-4
Let b = -13 + 19. Let k = b - 4. Solve -n + 1 + 0 = 3*f, -k*n = -4*f + 18 for f.
2
Let k(h) = -16*h. Let l be k(1). Let z = -12 - l. Solve 2 = w + 3*m + 5, 0 = -z*w - 4*m - 12 for w.
-3
Let g = 48 - 45. Let h be (-62)/(-4) - 1/(-2). Suppose v - h = -g*v. Solve -s = 2*y - 2, 3 = -v*y + 11 for s.
-2
Let l(f) = f**3 + 7*f**2 - 14*f - 23. Let v be l(-8). Solve 4*h - v = 5*s, -4*h = -4*s - 16 - 8 for h.
5
Let a be 1 + (-4)/(-3) + 3/(-9). Suppose -5*m = -2*m. Solve 0*o = o - a*d + 9, m = 3*d - 12 for o.
-1
Let f(c) = -c + 1. Let t be f(1). Solve -n = 3, -3*k + n - 12 + 0 = t for k.
-5
Suppose -5*a + 4*c = -0*a - 61, -a + c = -13. Suppose 3*d - 6*d = -a. Suppose 0*b = 2*b - 30. Solve -2*v + b = 3*k - d, 0 = -4*v + 3*k for v.
3
Let o(y) = -y**3 - 6*y**2 - 3*y. Let p be o(-6). Let b = -16 + p. Solve b*j = -3*q + q - 6, 5*q + j - 5 = 0 for q.
2
Suppose -10 = -o + 2*r - 3, -o + 5*r = -7. Solve 4 = -l - 3*l, 2*l = -5*c - o for c.
-1
Let l(w) = -w**2 + 11*w + 2. Let f be l(6). Suppose 2*a - 140 = 7*a + 5*b, -2*a = b + 51. Let i = f + a. Solve 1 = -5*d - 4*q + 4, 4*d + q = i for d.
3
Suppose 2*h - r - 2 = -2*h, 2*r + 4 = 3*h. Suppose -5*c + 4 + 16 = h. Suppose -3*b + 17 = 2. Solve 0 = -c*v - 5*t - 15, b*v - 2*v - 3*t - 9 = 0 for v.
0
Suppose 3*m = 34 + 86. Let b = m + -6. Solve t + 5*a - b = -2*t, 4*t - 5*a = -13 for t.
3
Suppose -2*p = -11 + 3. Solve -4*i = p*d - 4, 0*d = -d for i.
1
Let h(z) = z + 12. Let d be h(0). Suppose l - 4*s = 3*l - 28, 0 = -2*l + 4*s - d. Solve 5 = -3*w + r, w + 3*w = -l*r - 28 for w.
-3
Let p be (8 + -1)/(1/2