
Suppose 0 = -q - 12 - 5. Let k = q + 20. Solve 0 = -l - 1, -2*l + 16 = -5*v + k for v.
-3
Let l be (-208)/(-56) + (-2)/(-7). Suppose 10*h - 5*h + 5 = 3*a, 4*h = a + 3. Suppose -5*p = -22 - 18. Solve a*m - m - 2*z - 20 = 0, -4*z = l*m - p for m.
4
Suppose -49 = -5*r - 2*r. Solve -a = 2*j - r, 4*j - 2*j = 3*a + 19 for a.
-3
Suppose -4*t + 0*t = 0. Let i(f) = f**2 + 4*f + 2 - 2*f**2 + t*f**2. Let m be i(3). Solve -2*y = -j - 3*y, m*y = 0 for j.
0
Let n(k) = -2*k**2 - k + 2. Let p be n(2). Let c be -1 + p*(-2)/4. Solve z - 3*g + 34 = -4*z, 4*g = -3*z - c for z.
-5
Let f = -3 - -5. Let k be 1/(-5) - f/(-10). Solve 0 = -4*d + 4*y - 23 - 9, -2*y + 10 = k for d.
-3
Suppose -5*j - n + 0*n = -20, 10 = -5*j + 5*n. Solve 2*g + i + 1 = 0, i - 19 = j*g - i for g.
-3
Let o(u) = u - 14. Let m be o(8). Let k = -5 - m. Solve -2*n - 2 = -v, 2*v + 1 = -2*n - k for n.
-1
Let h be 6/3 - -2*1. Let i be ((-7)/2)/(2/(-4)). Let v be i + (-11 + 3)/4. Solve -2*w = 10, h*o - v + 22 = -5*w for o.
2
Let o be (-2 + 8 + 1)/1. Solve -2*y - 10 = -2*j, -j + o = -5*y - 6 for y.
-2
Let d = -1 - -4. Suppose -q + 5*t - 3 = -6, -2*q + d*t = -6. Let x be 5 - -2 - (q + -1). Solve 5 = -z + 2*c - 7, -2*c = x*z + 12 for z.
-4
Suppose -5*d + 4*d = -3. Suppose -4*x + 75 = x. Let p = x + -11. Solve -p*w + 4 = -2*y, -d*y - 24 = 2*y + 4*w for y.
-4
Suppose -5*z - 3 = 4*u + 1, -3*u - 3*z = 0. Let y = u - 2. Solve 12 = 4*b, -s = -y*b + 3 - 0 for s.
3
Suppose 4*p + 14 - 22 = 0. Solve 2 = -2*q, -3*q = p*g + q for g.
2
Suppose 1 = -2*u + 3*u, -4*i + 46 = 2*u. Solve 2*f - 11 = -5*w, -2*w + 3*w + i = 4*f for w.
1
Let i(l) = -l**3 + 15*l**2 - 16*l + 30. Let k be i(14). Solve -2*d - 5 = 5*y + 2*d, k*y - 4*d = -2 for y.
-1
Let a(b) = -b**3 + 3*b**2 + 2*b - 2. Let h be a(4). Let o = 0 - -1. Let x be (h/(2/o))/(-1). Solve 4*z = 2*g - 16, 13 = z + 5*g - x for z.
-2
Let z(f) = -f - 1. Let l be z(-4). Solve l*k - p = k, 4*p - 10 = -2*k for k.
1
Suppose 9*y - 96 = 5*y. Solve 3*j + 2*q = -q - y, -3*j + 5*q = 0 for j.
-5
Let q(f) = -f. Let s be q(-1). Let c(o) = -o**3 - 4*o**2 - 3*o - 5. Let d be c(-4). Let b = d + s. Solve 3*n - 32 = -3*a + b*n, -5*a + 8 = 3*n for a.
4
Suppose 0*b + 5*b - 10 = 0. Suppose -b = -3*x + 2*k, -4*x + k + 6 = -k. Solve -v = -x*d + 17, 5*v - 1 = -3*d - 17 for d.
3
Let a(b) = b. Let l be a(1). Suppose 0*p - 8*p = 0. Suppose p = -r + l. Solve -3*z + r = -u, -z - 3*z - 2*u + 8 = 0 for z.
1
Suppose -2*c - 4*m - 4 = 34, -c - 24 = 3*m. Let r = 14 + c. Suppose -5*w + 40 = -r*t, -t = -4*w - 0*t + 23. Solve 3*u - 23 = 4*k, -4*u + 0*k = w*k + 21 for u.
1
Let u = -180 + 184. Solve 4*v - 2 = 5*o + u, -8 = -4*v + 4*o for v.
4
Let b be 48/(-9)*6/4. Let j be 2/b - 27/(-12). Solve 2*q + 20 = -j*q - 2*n, 5*q = n - 11 for q.
-3
Suppose -3 = 2*y - 5. Let o be 8/(-12)*(4 - y). Let f(r) = -10*r - 2. Let i be f(o). Solve -3*a - 4*l = -3*l - i, 3*l - 9 = 0 for a.
5
Suppose 3*z - 32 = -z. Let r be (-42)/(-20) - (-1)/(-40)*4. Solve 2 = -a - 5*s - 11, r*a = -s - z for a.
-3
Suppose 2*h + w = -0*h + 3, -h + 4*w = 12. Solve 3*p = -h + 12, -2*p = -5*u - 28 for u.
-4
Let a be 0 + -1 + -1 + 5. Solve -4*p - 19 = -a*u - 5*p, 0 = -4*u - 3*p + 32 for u.
5
Let m = -2 - -1. Let b(o) = o. Let h be b(3). Let y = m + h. Solve -d - y*d - 6 = -3*w, -4*d = 4*w - 32 for d.
3
Suppose -5*g = -4*g - 7. Let r = g + -5. Solve 4*s - 8 = -q - 0*q, -q + r = 2*s for s.
3
Let s be 12*(-4)/(-48)*3. Solve -3*l - k + s*k = -14, -k = 4 for l.
2
Let s(w) = w + 7. Let k be s(-5). Let p(x) = -x + 2 + 0 - 1. Let o be p(-3). Solve 2*t = -o*j - k, 3*t - 5*j + 8 = 38 for t.
5
Let r = -118 - -122. Solve c = 2*l - r*l, -2*l = 2 for c.
2
Suppose 4*k + 0*y = y + 6, -k + y = 0. Let c = 5 - k. Solve -4*m = -4*n - 0*n + 20, -c*m - 8 = 4*n for n.
1
Let y(b) = 208*b. Let c be y(1). Suppose 4*u + g = c, 2*g = 2*u + 7*g - 104. Let o be u/16 + (-3)/(-4). Solve -2*t + i = 5*i + 12, -3*t = o*i + 16 for t.
-4
Let u(b) = -b + 9. Let d be u(8). Suppose 0 = -3*j - 2*c + 13, -j = 3*j + 4*c - 16. Solve 0 = 3*h + k + d, -5*h + 2*h - j*k = -19 for h.
-2
Let c(j) = 5*j**3 - j**2 + 2*j - 2. Let f be c(1). Solve 5 + 11 = -f*x, 0 = -2*m + x for m.
-2
Let f be 17*(-3 - (-1 + -3)). Let c = 21 - f. Solve -c*j - 4*x - 20 = 0, 5*j - 3*x = 4*j - 5 for j.
-5
Let v = 5 - 2. Suppose -6 + 46 = 4*s. Solve -3*z - 2*z = -10, v*a = -2*z + s for a.
2
Let w be 2/(8/12) - -1. Solve 0 = 4*u + 5*r + 33, 2*r + 6 = -w for u.
-2
Let t(y) = -y**2 - 7*y - 3. Let b be t(-6). Suppose 4*a - s - 4 = s, 4*a = -b*s + 24. Solve -4*p - 5 = a*h, 3 + 0 = -3*p - 2*h for p.
1
Let a be (-4)/(-5) - (-22)/10. Let p(m) = m**3 - 2. Let u be p(a). Solve 5 = 3*d + 2*g, 5*d - 8*g + u = -3*g for d.
-1
Let q(o) = -o**3 + 7*o**2 - 7*o - 2. Let k be q(5). Suppose 2*s = k - 3. Solve 0 = -5*h + w + s, 2*h + w + 4 = -1 for h.
0
Suppose -31 = -5*i + 24. Let r(p) = p**2 - 12*p. Let x be r(12). Let s(v) = -2*v. Let t be s(x). Solve 4*d - 3*n - 23 = t, 5*d - 4 = n + i for d.
2
Let g = 164 - 162. Solve -5*x - 12 = 4*p - x, g*p + x + 8 = 0 for p.
-5
Let p = 4 - 5. Let c be -3*(p/(-3) - 1). Solve 7 = -4*i + n, 0 = -c*i + 5*n + 1 for i.
-2
Suppose 4*b - 7 - 9 = 0. Suppose 0 = 3*j - 23 - b. Solve -2*y + h - 7 = 0, 2*h - 5*h - j = 0 for y.
-5
Let f = -39 - -42. Solve -f*n = -2*m + 3*m - 1, 0 = 4*m + 20 for n.
2
Let w be 3*(14/6 - 32/48). Solve b - 11 = w*j, 4 = -5*j - b - 15 for j.
-3
Suppose 4*z = -2*m + 22, -4*z + 11 = -m + 2*m. Solve -4*x + 25 = 3*h, 0*h = 2*x + h - m for x.
4
Suppose 2*g - t = 8, -5*g = 2*t - 7*t - 15. Suppose -g*k = -20 + 5. Solve 4*f - k*a + 7 = 0, -3*f + f - 4*a = -2 for f.
-1
Suppose 2*s = 3 + 7. Solve s*z = 10, 6*b - 3*b - 5 = -4*z for b.
-1
Let w = 43 - 39. Solve -19 = 3*k + 5*u, k = 4*u + 26 - w for k.
2
Let v be ((-6)/8)/(2/8). Let f be (3*1)/(v/(-18)). Suppose 5*g = 6*z - 2*z - 40, 5*g - 20 = 0. Solve -3*y = -2*l + z, 3*l = 2*y - 3 + f for l.
3
Let d be -6 + 6 + 3*1. Suppose d*f + p - 23 = -0*f, 0 = 4*p + 16. Solve k + f = 2*c, 4*c - 8 = 12 for k.
1
Let d be (5 - 2)*(-16)/(-24). Solve -h - 3 = 2*h, -d*h = p - 3 for p.
5
Let q = 10 - 14. Let j = q + 12. Let y(m) = -m + 2. Let p be y(2). Solve p = -4*c + 3*f - 11, -j*c + 4*c + f - 9 = 0 for c.
-2
Let a(d) = 5*d**2 + 5*d - 12. Let b be a(2). Solve 2*i - 2*m = m + b, -i + 7 = -m for i.
3
Let s = 5 + -3. Suppose -w = 3*b - 7, w = b - s*w - 9. Solve -r + 6*r = u - 12, 3*u = -b*r for u.
2
Let k(z) = -z**2 - 9*z + 12. Let y be k(-10). Solve 5*o - 13 = -2*i - y, -i = -3*o for i.
3
Suppose -2*a = -5*a + 24. Solve -f = 3*f + 2*j - a, 3*j = -3*f + 6 for f.
2
Suppose w - 5 = -3. Let s(i) = i**2 + 3*i. Let d be (-12)/3 + (0 - 0). Let x be s(d). Solve 3*g = -q - 0 + w, -x*q = 4*g - 8 for g.
0
Suppose 5*t - 7 - 13 = 0. Solve -5*s = -4*i + 41, t*i + s = -7 + 18 for i.
4
Suppose -4*d - 4*g = -1 + 5, 3*d - 4*g = 25. Solve 0 = -3*k - 2*w - 22, 3*k + d*w = 5 - 32 for k.
-4
Suppose -10*r + 12 = -4*r. Solve -4*t - 7*b = -r*b - 7, 5*t = -b - 7 for t.
-2
Let c = -28 + 31. Solve 0 = i - r - 3, 12 = -3*i - c*r - 3 for i.
-1
Suppose 0*o = 4*o. Let b be -3 + 7 - o/(-1). Solve 12 = -3*t, -3*f + b*t - t = 3 for f.
-5
Suppose -3*n - 4 = -5*o, 8 = -4*n - 3*o - 7. Let z be (2 + n/(-1))*1. Solve -4*i + 4 = 0, -z*f - 21 = 2*i + 2 for f.
-5
Let j be -2 - ((-4 - -1) + 4). Let o(u) = u + 7. Let s be o(j). Solve k - 10 = -4*v, 5*v = 7*v - s*k - 14 for v.
3
Let w be 18 + 4 + -2 + 1. Solve 2*u + z + 2 = 2*z, 0 = -u - 5*z + w for u.
1
Suppose -2*s - 12 = -3*w, 16 = s + 5*w - w. Suppose 20 = -s*h + 4*h. Solve -v - h*j = -28, 4*v - v = -3*j + 24 for v.
3
Let p = 1 - 1. Let i(k) = 2*k - 7. Let l be i(5). Let v be -1 + (-213)/(-6) + (-3)/(-2). Solve 5*z - l*g + 12 = v, p = -2*z + 5*g + 21 for z.
3
Suppose -4*v = -8*v - 12. Let s be v/(-5) + (-22)/(-5). Solve -1 = -b + s*i, -5*b - 4*i - 3 - 21 = 0 for b.
-4
Let c(g) = -g**2 - g. Let l be c(0). Suppose -57 = -4*x + 63. Solve l = 5*r + u - 3*u - x, 0 = -2*r + 4*u + 28 for r.
4
Let q(l) = -l**3 + l + 11. Let t be q(0). Let n be (-124)/30 + (-2)/(-15). Let r = n + t. Solve -5*f + 10 = 3*g, -2*f + r + 3 = 0 for g.
-5
Let x be -6 - (4 + (-9 - -1)). Let g = x + 6. Solve -g*f = 3*m + 4, -6 - 6 = -2*f - 5*m for f.
-4
Suppose 2*a - 9 - 3 = 0. Suppose 8*c - a*c = 12. Solve w - c*w - r = 30, -5*r = -5*w for w.
-5
Let u(f) = f**2 - 3*f - 4. Let w be 27/6 - (