-3 = 3*n, -4*p - k*n - 8 = 4 for p.
-2
Suppose -11*a = -15*a + 20. Let d = -34 - -37. Solve 0 = -4*y + 5*m + 25, a*y = -5*m + d + 17 for y.
5
Let d be (-396)/(-84) - ((-18)/21)/3. Solve -5*l = -d - 0, 4*j + 7 = 3*l for j.
-1
Suppose 0 = -4*b - i + 140, 7*i + 4 = 6*i. Suppose z + b = 10*z. Solve 4*c - 4 = -4*g, -3*c + 5*g - z = -23 for c.
3
Suppose 3*t = -3 + 18. Suppose 10*j - t*j - 5 = -5*y, 5*y + 4*j = 10. Suppose 5*w = 3*c + 2*c - 10, c + w = y. Solve 3*l - 7 = c*d, d - 3*l = -6*l - 13 for d.
-4
Let f be (-72)/(-60) - 8/(-10). Solve 4*k - z = k + 16, -2*z = f*k - 8 for k.
5
Suppose -3*h - 2*g = 2*g - 18, 2*g = 0. Let z be 36/10 + h/15. Suppose 0*w + 12 = -4*w - z*v, -4*w + 28 = -4*v. Solve n - 5*d = 19, 2*d = n + w*n - 5 for n.
-1
Let s = 1 + -3. Let j(r) = -2*r - 2. Let m be j(s). Suppose 17*x - 12 = 5*x. Solve -2*q + 7 = f, q - x = -f + m for q.
4
Suppose -2*p + 3*p = -4*m - 52, -p = -5*m + 43. Let i = p + 51. Solve 0 = 5*v - 3*o + 1, i*v + 21 = -o - 4*o for v.
-2
Let d(q) = q + 11. Suppose 3*r + 3*a = 6*r + 9, -30 = 2*r + 4*a. Let o be d(r). Suppose 0 = -2*y - 1 + 9. Solve -4*p - 5 + 1 = o*z, -y*p + 4*z - 28 = 0 for p.
-4
Let v = -2009 - -2013. Solve 0 = 4*h + u - 7, 2 = v*h - 2*u - 8 for h.
2
Suppose -2*z = -19 - 19. Solve 5*a = -4*v - 3 - z, 0 = 4*a - v + 5 for a.
-2
Let q(w) = -6*w + 17 + 6*w - w. Let c be q(16). Solve -k + 8 = 3*s, 7*s - 3*s + c = k for k.
5
Let j(x) = 2*x**3 - 39*x**2 - 24*x + 23. Let r be j(20). Let i = r - -61. Solve -i*v + 17 = -g, 2*g + 10 = 5*v + 3*g for v.
3
Suppose -4*b - 40 = -9*b. Suppose 23 + 9 = 8*c. Solve 0 = -4*q + 2*t, -t + b - 4 = -c*q for q.
-2
Let q = -357 - -360. Solve -5*l + i - 16 = -0, -4*l - 28 = q*i for l.
-4
Let x(q) = 7*q - 12. Let k be x(5). Solve -5*w = -3*y + 25, 5*w + k + 2 = y for y.
0
Suppose -2*m - 8*m + 50 = 0. Solve m*j + 4*q - 1 = 0, 9*q + 3 = -2*j + 4*q for j.
1
Let y be 1*-1*(-131 - -127). Solve y*o + 16 = d - 0*o, -16 = d + 4*o for d.
0
Let i be -31 + 3 - (0 - 3). Let n = i - -36. Let g(t) = t**2 - 9*t + 3. Let s be g(n). Solve -4*z = -z - 3*d - 30, 2*z = 3*d + s for z.
5
Let n(z) = 3*z + 29. Let i be n(-9). Solve 0 = u + i*h - 4, -2*h + 3*h - 2 = u for u.
0
Suppose -47*h + 119 = -30*h. Solve v + h = -3*c - 0*c, -2*c + 2 = 2*v for v.
5
Suppose -15*g + 30 = -45. Solve -k + 12 = -g*i, 3*i - 2*k + 2 = -1 for i.
-3
Let t = -74 + 21. Let p = t - -55. Let r(u) = -u**2 - 4*u. Let q be r(-3). Solve -2*m + 2*y + 13 = -q, -4*m - p*y = -8 for m.
4
Suppose 0 = 5*l - 10, 25 = 5*k - 5*l - 40. Suppose 15 = -5*w + r, -4*r = -7*w + 2*w - k. Let g be (-16)/w*63/42. Solve 0 = -4*b - 12, x + g = -0*x - b for x.
-5
Suppose 101*k - 97*k = 20. Solve k*l - 1 = -2*w, -2*w - 2 - 3 = -l for w.
-2
Let y = -206 - -224. Solve 2*v + 3*q + y = 0, -3*v + 4*q = -4*v - 19 for v.
-3
Let y(n) = -n**3 + 6*n**2 - 7*n + 6. Let a be y(5). Let x be a/16 - 305/(-20). Solve 5*j - 3*h + 3 - 43 = 0, -x = 3*h for j.
5
Let l = -61 + 93. Let p = -29 + l. Solve 3*g - 5*i - 6 = 0, -5*i = -2*g - 2*i + p for g.
-3
Let h be 0 - (-8)/12 - 112/6. Let d = 20 + h. Solve 45 = 5*g + 5*s, 3*g - d*s - 6 = -g for g.
4
Let h(y) = -y**2 - y. Let x be h(-2). Let w be 0*((-9)/x - 4). Solve q - 4 = w, -q + 1 = -2*k - 13 for k.
-5
Let b = -1183 + 1195. Suppose x = 4*x - 9. Solve -u = x*l - b, -5*l + u + 16 = -l for l.
4
Let x be (-1573)/(-429) + (1 - 4/6). Solve 0 = -2*d - 3*o - 14, -x*d - 3*o = 34 - 12 for d.
-4
Let i(u) = u**2 - 2*u. Let o be i(2). Suppose o = 3*w - 3*m + 96, -w + 5*m = 13 + 11. Let z = w - -69. Solve -5*x + 5*q = -z, x - 2*q - 10 + 0 = 0 for x.
4
Let j(m) = -m**2 - 20*m - 61. Let d be j(-16). Solve 9 = -d*h, 0*c - 5*c = 5*h - 5 for c.
4
Suppose 4*j = 4, 5*v + 2*j - 55 - 147 = 0. Let o be 2/v*-5 + 2/8. Solve -2*y = -o*w + 2*w - 2, 15 = -5*w + 5*y for w.
-1
Let w(p) = -p**2 + 9*p - 1. Let g be w(4). Let t = g - 13. Suppose -q + t = q. Solve -q*x + 10*v = 5*v - 3, -4*v - 28 = 4*x for x.
-4
Let g = -32 + 41. Let a = 5 + g. Suppose 0 = 4*n + 3*v - 24, -n - a = n - 5*v. Solve -4*d + 0 = 5*t + 1, 5*d + n*t + 11 = 0 for d.
-4
Suppose 4*b = -3*u + 20, -u - 4*b + 2 = -18. Suppose 8*h - 34 - 6 = u. Solve 3*l - h = 2*z, -z = 5*l + 4*z - 50 for l.
5
Let s be (1848/10)/(-3) - (-12)/(-30). Let a = s - -62. Solve -3*j + 3 = 3*m, a*j = 3*j - 5*m - 3 for j.
1
Let j = 69 - 70. Let y be ((-28)/(-70))/(j/(-10)). Solve -4*w + y*q - 12 = 3*q, 0 = 3*w - 4*q - 4 for w.
-4
Suppose -186*r = -191*r + 10. Solve 4*t + 3*k - 7 = r*t, 0 = 5*t + 2*k - 23 for t.
5
Suppose h + 4*h = -3*f - 3, 3 = -h. Suppose 14*i - 11*i = 21. Let d be (i/4)/((-8)/(-32)). Solve -d - 1 = 4*k - f*w, 5*w = 3*k + 16 for k.
3
Let o = 28 - 4. Suppose -3*g - 3*k - 2 = -g, -k - o = -4*g. Solve -2 = 3*f - j + 2, 2*f = -g*j + 20 for f.
0
Suppose -2*x + 2 = 4, -4*w - 5*x + 19 = 0. Solve l + w = 5*h, -2*h + h - l = 0 for h.
1
Suppose 3*d + 5*i - 19 = 0, -5*d + 5*i - 4 = -9. Solve -5*h = -d*h - k - 3, -2*k = -3*h + 2 for h.
4
Suppose 0 = -4*x + p + 16, -5*x + p = 2*p - 20. Let t(d) = -d**3 - 6*d**2 + 2. Let v be t(-6). Suppose b = -v + x. Solve 2*w = 4, -w + 1 = -b*s - 5 for s.
-2
Suppose -9*z + 89 + 163 = 0. Let i = -25 + z. Solve 4*v = 3*b + 8, -5*b = -3*v + 3 + i for b.
0
Let h be ((-135)/12)/(18 - 225/12). Suppose 5*d - 32 + 7 = 0. Suppose 12 = 3*n - 0*n, -2*n = -s - d. Solve -4*p + 16 = -5*x, s*p + h = -3*x - 0*x for p.
-1
Suppose -4*i - 31*i = -105. Solve -2*m + 10 = 4*o, -2*o + i*o - 4*m = -2 for o.
2
Let f(x) = -15*x**2 - 162*x + 36. Let s be f(-11). Solve 2 = -t + n + s*n, 3*n = 2*t - 1 for t.
2
Let t = 18 + -1. Let u(n) = -n**2 - 35*n + 101. Let f be u(3). Let i = t + f. Solve -12 = -3*w - 2*p, i*p - 2 = -2*w + 14 for w.
2
Let h(j) = 5*j**2 - j - 2. Let w be h(2). Suppose w = 3*m - 5. Solve -4*v - 4*q = 16, m*q - 2*q = 5*v - 30 for v.
1
Let o be 234/72 - (-3)/4. Suppose 0 = o*l - 3*l + 12. Let i = 21 + l. Solve 0 = -4*y - w, y + 2*w - i = -2 for y.
-1
Let n(p) = p**2 - p + 14. Let m be n(-3). Solve l + 4*l - q = m, -3*l + 19 = -4*q for l.
5
Let n(k) = 2*k**2 + 6*k + 3. Let l be n(-3). Suppose 5*s = c - 13, c = -l*c + 3*s + 86. Solve 3*w + 0*w + c = -5*f, -13 = -3*w + 4*f for w.
-1
Suppose -6 - 12 = -6*u. Suppose u*z + 11 = 23. Suppose -z*g + 1 = -15. Solve -5*x + 2*x = 4*d - 11, 2*d = -g*x + 8 for x.
1
Let a = -5 - -8. Suppose a*j + 2*d - d - 18 = 0, -3*d + 4 = -j. Let m = -364 - -367. Solve -3*p - j*u = -5*p - 10, m*u + 5 = -p for p.
-5
Let l = -2143 + 2148. Solve r + l = 3*b - 2, -4*r = -2*b - 12 for b.
4
Suppose -3*p - 4 = -p, 0 = 5*k - 5*p - 45. Suppose -3*u = k - 16. Solve -2*c + 10 = -s, u*s - 2*c + 10 = s for s.
0
Suppose 0 = -10*z - 30. Let s be 15/9*(3 - 0/z). Solve s*w = -t + 18, 0 = 6*w - 4*w - 2*t - 12 for w.
4
Let d be (-682)/(-55) - 4/10. Solve -c + d = -2*s - 0, 2*s + 8 = 0 for c.
4
Let t(l) = -l - 10. Let d be t(-9). Let n be 4 + (-1 - d) + 41. Let b be (-37)/(-9) - 5/n. Solve 0 = -2*h - y + 4 - 12, b*y = -8 for h.
-3
Let w = -23 + 25. Let x = -4 - -3. Let h be (w/(-4))/(x/18). Solve 5*u = -5*l + 15, -2*u + u - h = -5*l for u.
1
Let i = -34 - -38. Suppose 3*v = v + i. Solve 4*d + v = -5*y - 2, -20 = -d + 4*y for d.
4
Let q be 10 + -69 - (0 + 3)*-1. Let r = q + 62. Solve 0*c - 3 = c, c = 3*g - r for g.
1
Suppose -219*b + 212*b = -77. Solve 2*r + p = -b, -r - 2 = -2*p + 1 for r.
-5
Let n(j) = -j**2 + 2*j - 2. Let w be n(3). Let x be 2/w - (-108)/20. Solve 4*s + o = 13, -s + 4*s - 4*o = x for s.
3
Let l be (-2)/(156/(-480) + 2/10). Solve 8 = 3*d - 2*g, -g - l = 4*d + 3*g for d.
0
Let v = -31 - -32. Suppose -v = -y - u, -y + 2 = -u - 7. Solve 7*r - 3*r - 5*z = -5, -3*r + 4*z - y = 0 for r.
5
Suppose 3*f = 3*j - 144, 3*j - 48 = 5*f + 86. Suppose 3*g - j = 10. Suppose 3*i + 0*u = 4*u + 34, 3*u = -5*i + 18. Solve 5*x - 2*y + 0*y = -g, x + i = y for x.
-3
Suppose 8*h + 79 = 95. Solve -16 = h*o + 3*k, 2*o + 3*k + 2*k = -24 for o.
-2
Let i = -1 + -1. Let q = i - -6. Suppose 3*g + g - 4*k = 40, -q*g - 5*k = -13. Solve -d - 5*a - 5 = -5*d, 4*a = d + g for d.
5
Let x be 10/4*2 - (41 + -39). Solve -n = -2*o - 0*n + 12, 0 = o + n - x for o.
5
Suppose v - 4*b + 18 = 0, 11 = 2*b + 1. Solve -8 = -4*u + o, -v*u = -6*u + 3*o for u.
3
Suppose 0 = 3*f + f - 8. Let r(b) = 9*b - 295. Let q be r(33). Solve f*g = -2*l + g + 1, 2*l - q*g + 2 = 0 for l.
0
Suppose -9 = z + 3*x, -9*z + 5 = 