Solve x = 4*q + 16, 5*x + 27 = -q + a for x.
-4
Let d = 13 + -13. Suppose -5*c = -3*c - 24. Suppose -4*h - c = -4*z, -3*z + h + 9 = -d*h. Solve -4*b = -z*q - 1, 3*b + 13 = -2*q + 7*q for b.
4
Let i = -17 - -17. Suppose -y - y + 10 = i. Solve -y*x - 3*u - 3 = 0, -x - 4*u = -6 - 7 for x.
-3
Suppose 3*q = 3*k + 6, 0 = 3*k + 6 - 0. Suppose 5*s + 2*r + r + 15 = q, 0 = 3*r + 15. Suppose -3*u + 4 + 2 = s. Solve d - u*m = 4 + 4, -4*m = 5*d + 30 for d.
-2
Let b = 0 - -22. Suppose o = -1 + 4. Suppose 0 = -7*a + o*a + 20. Solve 2*w - b = a*x + 2, 3*x + 12 = 0 for w.
2
Let v(k) = 3*k. Suppose 0*h = 3*h - 3. Let d be v(h). Solve -3*x + 2*x = 3*u - 10, d*x = 12 for u.
2
Let n be (3/(-2))/((-3)/4). Let t(w) = w + 27. Let f be t(-18). Let k be -2*f/12*-2. Solve 2*c + 14 = -n*c - u, -5*c - 14 = k*u for c.
-4
Suppose z + 23 - 9 = 2*o, 5*z + 22 = -2*o. Let a(r) = r**2 - 10*r + 2. Let s be a(10). Let c be (-12)/z + 2/s. Solve 10 = -5*b, -2*x + 2*b - c*b + 4 = 0 for x.
3
Let u = -18 - -22. Solve 4*m = -i + 19, u*m = -2*i + 34 - 12 for i.
3
Suppose 2*n + 2*n = 16. Let x(m) = 5*m**2 - 4*m**2 - 2*m**2 + 5*m. Let f be x(n). Solve 4*b - 21 + 1 = -u, 12 = -b + f*u for b.
4
Suppose 0 = -3*q - 6, -5*w = -q - 0 + 28. Let j be (-3)/w*(-15 + -1). Let r = j + 21. Solve 5*z - 4*y = -r, 2*z + 3 + 5 = 3*y for z.
-1
Let r be (-3 - -1)/((-1)/(-2)). Let h(p) = p**3 + 7*p**2 - 11*p - 12. Let l be h(-8). Let z = r + l. Solve 2*o = -2*c + z, 0 = -c - 0*c for o.
4
Suppose -7 = -5*j + 13. Solve 5*d - j*d - y = 10, 3*d + 10 = -5*y for d.
5
Let z(n) = n**2 + 20*n - 15. Let h be z(-21). Solve 5*b = 3*m - h*m - 2, 2*b - 3*m + 5 = 0 for b.
-1
Suppose -4*q + 5*q + 4 = 0, -3*q = -d + 12. Solve d = x + y + 8, -2*y = -3*x - 2*x - 12 for x.
-4
Let f = -2 - -6. Suppose -i + 0 = -f. Solve 4*w - 2 = -2*g, 4 = 8*g - i*g - w for g.
1
Let g be (4 - 2) + -4 + 5. Let f be 2 + (-2)/(-4)*0. Let t = 2 - -10. Solve z + 5*i + 0 = t, -f*i = 3*z + g for z.
-3
Let x(f) = -2*f. Let m be x(-4). Suppose 9 = 3*c + 3*k, 0*c + 5*c - 2*k = m. Suppose -c*w = w - 9. Solve -w = -3*y + 9, -5*t + 3*y + 8 = 0 for t.
4
Suppose 0*l = 5*l + 4*s - 38, -10 = -5*s. Suppose 0 = -0*f - 4*f + 68. Let z = -12 + f. Solve z*p - 5 = m - l*m, 0 = -4*p - 3*m + 2 for p.
-1
Let t = -41 + 46. Solve 0 = 4*r + t*c + 15, -2*r = r + 5*c + 15 for r.
0
Suppose -14*z = -13*z - 2. Solve p + 2 = z*c + 9, 3*c - 2*p + 11 = 0 for c.
-3
Let b be -4 - 0 - -12 - 4. Solve -5*t + u + u + 25 = 0, -10 = -2*t + b*u for t.
5
Let w = 55 - 35. Let m = 3 - 0. Suppose m*y = -y + w. Solve -15 = c - y*g, g + 3*g - 12 = 0 for c.
0
Let h be (2*(-2)/4)/(-1). Let z be 4 - (h + 1 - 0). Solve -c = -5*w - 21, -2*c + z = -0 for w.
-4
Let m(q) = -q**2 + 8*q + 1. Let t be m(7). Solve h = -4*p - t, 0*p + 5*h + 10 = -5*p for p.
-2
Let p(i) = i**3 - 8*i**2 + i - 3. Let c be p(8). Solve 0 = -z + 3*x - c*x - 2, 3*z - 10 = 2*x for z.
2
Let x be 30/(-9)*6/(-5). Let v = 4 - x. Solve -4*w + v*j - 20 = -2*j, 5*w + 25 = 4*j for w.
-5
Suppose -w = s + 2, -w - 4*s - 10 + 2 = 0. Suppose -4*c = -w - 12. Solve -f + p - 9 = 0, c*f + 0*p + 4*p - 1 = 0 for f.
-5
Suppose 0 = 4*t + 3*r - 5, 9 = 3*r - 0*r. Let y = 1 + t. Solve -2*k - 2 = 2*l, 2*k + y*l + 4*l = -8 for k.
2
Let v be 6/(-3)*(-3 + 1). Suppose -12 = -3*f, -38 = -n - 5*f + 2. Let i = -1 + 4. Solve n = o + o - 4*x, -v*x = i*o for o.
4
Let q = 28 + -13. Let t = 25 - 23. Let y = 0 + t. Solve -q = -y*z + 7*l - 2*l, 0 = -2*l - 10 for z.
-5
Let q(s) = -s**3 - 2*s**2 - 4. Let u be q(-3). Suppose 0*m = m - u. Solve 0 = -3*x - 9, 3*x + 25 = -m*f + f for f.
-4
Suppose -5*r + 5 = -15. Suppose -r = -t - 0. Suppose -3*b + t*p - p = -6, -3*p = 5*b - 18. Solve b*u = -3, 0 = -a - a + 2*u + 8 for a.
3
Let j(t) = -t**3 + 3*t**2 + 5*t - 1. Let w be j(4). Solve 4*n + w + 1 = 0, 5*v = 5*n for v.
-1
Suppose -3*h + 19 = h - 5*p, h + 2*p - 8 = 0. Suppose -32 = 5*q - 2. Let j = h + q. Solve j*f - 3*a = 2*f + 4, 2*f - 3*a = -4 for f.
-2
Let v(h) = 3*h**3 - h**2 - 6*h + 7. Let f be v(2). Let d be (1 - 1) + 1 - 2. Let j be 2/(-2)*(0 + d). Solve 3*k = -5*q + f, -3*k + 16 = -5*q + j for k.
5
Let x = 5 + 1. Let m = x - 3. Solve 5*i - 13 = m*u - 2, -4*u - 9 = -i for i.
1
Suppose 6 = -w + 4*w. Suppose w*d = 6*d. Suppose 3*o + 2*o - 60 = d. Solve 4*t = 2*v + 2 + o, 4 = -4*t - 4*v for t.
2
Let y(f) = -3*f + 2. Let x be y(2). Let c be 7 + (-6)/x*-2. Suppose -a = -0*a - c. Solve 5*z = 5*i - 5, 4 = 3*z - z + a*i for z.
0
Let t = 1 - -1. Suppose 6*r - 16 = t*r. Suppose -r*a + 4*w - 3*w + 10 = 0, 5*a = -4*w + 2. Solve c + 6 = -3*p, 5*p - 2 = a*c - 23 for p.
-3
Let p be 89 - 0/3*-1. Suppose -5*a + 3*w + p = 0, 0 = -w - 3. Solve 5*o - 4*v - a = o, -4*v = o + 6 for o.
2
Suppose -3*w = -2*w. Suppose w = 2*c + 8 - 18. Solve -3*a = -4*g + 15, g - a - c = 3*g for g.
0
Let g be (6 - -5)*(-1 + 2). Suppose 9 = -8*f + g*f. Solve 0 = -f*u, 3*q = -3*u - 2 - 4 for q.
-2
Let b = 312 - 308. Let w = -13 - -19. Solve q - 21 = -a + w*a, 0 = b*q - 3*a + 1 for q.
-4
Suppose 2*q = -4*a + 3*a, -5*q = 3*a - 2. Let x(h) = h + 84. Let d be x(0). Let g be (-1)/a + d/16. Solve g*f = -y, 4*y - 3*y + 3*f = 0 for y.
0
Let j be 489/33 + 4/22. Let k be (j/(-6))/((-2)/8). Suppose 0 = -4*v + 2*f - f + k, -2*v + f = -6. Solve -v*w + 20 = -b - 7*w, 15 = 5*b + 2*w for b.
5
Suppose 6*a = -3*o + a + 10, 0 = 3*a - 6. Suppose -5*g = 5*m, 3*m = 3*g + 8*m + 6. Solve 0 = 5*b - 3*k + 35, o*b + 37 = -g*b + 5*k for b.
-4
Let t = 53 - 13. Suppose -10 = 3*s - t. Solve 4*n = -2*y - s, 3*n - 5*y + 14 = -0*n for n.
-3
Let g be (-1 - -3)*(-10)/2. Suppose -2*j + 20 = 2*j, -2*d + 4*j - 32 = 0. Let p = d - g. Solve -2*u + p*x = -10, 4*u = 2*u - x for u.
1
Let v = 1 - -2. Let s = 2 + v. Suppose -s*r = -118 - 12. Solve k + 3 = -g, r = -2*g + 5*g - 4*k for g.
2
Let h be (-2)/(-18)*3*6. Let v = 3 - h. Solve d = -5*u + v, 5*d = -u - u - 18 for u.
1
Let i(j) = j**2 - 3*j. Let h be i(-5). Suppose -o + h = 4*o. Suppose -3*s = x - 0*x - o, -s + 5*x = 8. Solve s*g = -6*d + 4*d + 10, -d = -2 for g.
3
Suppose 13 = -5*x + 4*o, 4*o - 1 - 11 = 4*x. Let l be (x - (1 - 1))*-18. Solve 0 = -2*q + 4*y - 14, 4*y - l = -4*q + 2*q for q.
1
Suppose -f - 10 = 10. Let d = f + 37. Let p = d + -12. Solve 0 = p*q - 4*a - 21, 2*a + 12 = 2*q + 2*q for q.
1
Suppose -6 = 3*n - 0. Let l be 4/n*(-6)/4. Solve l*x - w = -x + 12, 2*w = 4*x - 12 for x.
3
Let y(o) = 2*o**3 - o**2 + o. Suppose 5 = 6*z - z. Let a be y(z). Solve -a*g = -3*n - 3*g - 20, 5*g = 2*n - 15 for n.
-5
Suppose -3*x = 3*j - 6, 5*j - 3 - 5 = -4*x. Let h be (-210)/(-20)*x/3. Solve -b + h = -3*d, b - 9 = d - 4 for b.
4
Suppose -3 = -9*n + 33. Solve 0*t = t + 3*v - 15, -3*t - 20 = -n*v for t.
0
Let s be 6/(-1 + (-1 - -4)). Let m be ((-6)/4)/(s/(-2)). Solve 0 = -2*d - 6, -2*v - d = -0*d - m for v.
2
Suppose -5*q = -17 + 2. Let v = 2 - 0. Solve -21 = 3*l + q*n, -2*l + n = v + 3 for l.
-4
Suppose 3 - 28 = -5*t. Suppose q = 3*k + t*q + 82, 4*k - 4*q = -100. Let s = -9 - k. Solve 2*p + 6 = -3*r + 25, -s = r - 4*p for r.
3
Suppose 10*a - 30 = -5*a. Solve 2*u = t - a*u - 7, -5*t + u = -16 for t.
3
Let j = -1 + 1. Let n be j + (-1 - (-15)/3). Solve -4*d = -d + 4*i - 23, 2*i = n*d + 6 for d.
1
Suppose 2*h = -r - 6, 4 = 3*r + h - 3. Solve 0 = -0*n - 2*n - 2*i - r, -2*n + 5*i = 11 for n.
-3
Suppose 7 + 1 = 2*u. Let c be -1 + (-1 - u*-1). Solve 9 = s + v, -c + 22 = 4*v for s.
4
Let u be 1*46*6/12. Let b = 10 + -7. Solve u = 5*h + n, h - 5*n = -8 - b for h.
4
Let x be 1*9*((-7)/(-3) + -2). Solve -2*p - q - 12 = -x, -2*p + q - 7 = 0 for p.
-4
Suppose -65 - 127 = -8*w. Solve w = -3*q - 2*q + t, 11 = -3*q + 4*t for q.
-5
Suppose 0 = 3*r - 2*c - 56, -5*r + 6*c - 2*c + 92 = 0. Solve -4*q + 5*g = -r, 2*q + 3*g + 0 = -12 for q.
0
Let j be ((-10)/(-4))/(4/8). Let f(b) = -b**2 + 5*b - 4. Let d be f(4). Solve -2 - 3 = -5*q + j*i, -4*q + 3*i + 2 = d for q.
-1
Suppose 4*g = 3*x + 6, 7*x = g + 4*x - 6. Solve -q + 0 = c - 2, 5*c - 5*q - 40 = g for c.
5
Suppose -6*r + 9 = -3. Solve 0 = r*b + 5*g + 29, -4*b = b - 5*g - 15 for b.
-2
Let t = -43 - -43. Solve -z + 3*a = 5, -2*a + t*a + 8 = -3*z for z.
-2
Suppose -3*s - 15 = 0, -5*d + s = -12 - 8. Suppose d*y = -2*y + 25. Solve -c = 2*v - y, 3*v + 2*c = v + 2 for v.
4
Let f be 2*1 - (0 - 4). Let x = f - 3. Suppose -3*i - 5*k - 1 = -4*i, i - 8 = -2*k. Solve 3*d = -3*j - 9, -i = d - x*d