= 0, a - q = -4*t - 4*a for t.
4
Let f be (-4)/(-1) - (5 - 5). Suppose 9*v - 5*v - 12 = -4*u, 20 = f*v + 2*u. Solve 4*y - 12 = 5*a, -2 = -5*a - 3*y + v for a.
0
Let r = -283 + 309. Solve 5*f + r = -2*v, 2*f + 5 = 3*f - 3*v for f.
-4
Let q be (-2 + 14/6)*9. Let o be ((-55)/(-33))/(1/q). Solve y = -y - 2*f, -3*y = 2*f - o for y.
5
Let u be 93 - ((-7)/(-5) + 2/(-5)). Let y = u - 89. Solve 4*k = -4*v + 16, k + 6*v - y*v - 8 = 0 for k.
2
Suppose 4*s + 6*i - 33 = i, -2*s = 3*i - 19. Suppose s = m + 5. Let n be (-2)/6 + (-82)/m. Solve 0 = -5*t + 3*o + 34, 3*t - 3*o - o = n for t.
5
Suppose 22*u - 45 = 17*u. Let q(d) = d - 1. Let w be q(u). Suppose t = -5*h + w, -7*h = -5*t - 2*h + 10. Solve 0 = t*k + m - 15, -k - 3*m = -3*k + 10 for k.
5
Let r be 1 + 7/1 + -3. Solve 0 = r*b - 5*i + 15, -2*b = -6*b - i + 3 for b.
0
Suppose -4*i - 4*l = -24, 2*i + l - 18 = -4*l. Let m be 7/(21/(-3)) - (1 - i). Solve -2*x - m = -0*a + 3*a, 3*x + 8 = -2*a for x.
-4
Let q(z) = -z**3 - 14*z**2 + 16*z + 29. Let c be q(-15). Let m be (-30)/(-4) + 7/c. Solve 4*u + 5*y = -40, -3*y = m + 4 for u.
-5
Let s(y) = 5*y - 14. Let u(p) = -4*p + 15. Let t(g) = -3*s(g) - 2*u(g). Let r be t(-8). Suppose 5*x = -23 + r. Solve 2*j + 3 = 5*q - 5, -x = -5*j - 2*q for j.
1
Let j(o) = -o**3 - 5*o**2 - o - 1. Let p be j(-5). Let q(f) = 5 - p*f - f - 12 + 2*f. Let c be q(-11). Solve 5*x - 4*a = c, 3*a = -3*x - 0*x - 6 for x.
2
Let h = 40 - 37. Let u = h - 1. Solve -5*r + 2*q + u*q = -16, 0 = q - 1 for r.
4
Let a be 253/(1 - -10) - (1 - 4). Suppose -3 + 13 = 2*f. Solve 4*x = 20, -f*z - a = -3*x - 1 for z.
-2
Let t = 78 + -53. Let x = -25 + t. Solve 0 = -5*a - x*l + 4*l + 3, -4*a = -l - 9 for a.
3
Let n be ((-23 - -20) + (-10)/(-4))*0. Solve 0 = -y - 3*t + t, n = -5*y - 4*t for y.
0
Suppose -4*k + 5*v + 14 = 0, 4*k = 2*v - 0*v + 20. Solve -2*n + k*n - 5*a = -28, n - 6 = -2*a for n.
-2
Suppose -4*f + 2*q = -q, 2*f = -q + 10. Suppose f*h = 8*h. Solve 4*o + 4*u + 17 = o, o + 2*u + 9 = h for o.
1
Let p = 94 + -90. Solve -3*r + 22 = -r - 4*f, 4*r - 32 = p*f for r.
5
Suppose 0 = m + 3*m, 0 = 2*o + 2*m - 8. Let z(d) = -39*d + 43*d - 5*d**2 + 4 + o*d**2. Let h be z(3). Solve b - 4*y = -h*y + 16, 0 = -b - 5*y + 24 for b.
4
Let u = 32 + -16. Let y = u + -16. Suppose y*c + 42 = 7*c. Solve -5*g = 4*p, c*g = 3*p + g + 35 for p.
-5
Let n(z) = -z**3 + 8*z**2 + 10*z - 67. Let x be n(8). Solve 2*b + 12 = 5*b - 3*t, -5*t = 2*b + x for b.
1
Let d = 12 - 12. Suppose d*a + 2*a - 10 = 0. Solve 4*w + 1 = -2*s - 3, -18 = -a*s + 4*w for s.
2
Suppose 0 = -5*x + 4*x + 2. Let z be 2 + (0 - x) - 16. Let n = z + 26. Solve -5*t - 3 = -3*l + n, -t - 25 = 5*l for t.
-5
Suppose -21*x - 129 = 22*x. Suppose 3*y = 5*c - 28, -5*y - 34 - 20 = -c. Let i be y/(-2) - x/(-6). Solve 4*g - 9 = i*m, g = -5*m - 4 - 0 for m.
-1
Suppose 14 = y + y. Suppose -4*n + 6 = -2*w, -4 = -4*w - 3*n + y*n. Solve -16 = -4*l - w*j, 6*l - l - j - 20 = 0 for l.
4
Suppose x = 2*x - 3. Solve -10 = 5*g + x*l, -35 + 10 = 4*g - l for g.
-5
Let p(h) = -13*h**2 + 170*h - 11. Let b be p(13). Solve 0 = -b*q + 4*u - 30, 6*q + 25 = 5*q + 4*u for q.
-5
Let a be -1 - 4*(-7)/(-2). Let i = a + 20. Suppose s - 4 = -7*t + 9*t, 0 = 4*t + 8. Solve 5*z = i, s = 2*b + 5*z - 0*z - 15 for b.
5
Suppose 5*t = j - 12, 3*j - 26 = 5*t - 0*t. Suppose 9*s - 4 = j*s. Solve -i = s*k + 10, 2*k + k = -2*i - 16 for i.
-2
Let g = 5 + -2. Suppose -51 + 5 = -b. Let t = 56 - b. Solve -t = -2*z, -g*m + 5*m - z = -15 for m.
-5
Suppose -2*h + 166 = 160. Solve h*c - 3*j - 3 = 9, 5*c = j + 4 for c.
0
Suppose 71 = -11*d + 588. Suppose 2*j + 14 = 2*z, 4*z - j + 4 = d. Solve 4*t - 8 - 10 = -l, -2*l = -4*t + z for l.
2
Suppose 3*c - 1 = 8. Suppose 3*z - 5*u - 71 = 0, -3*u = -c - 3. Solve 2*q + q = -3*n - z, -n + 3*q = -7 for n.
-5
Let x(n) = -2*n**2 + 10*n + 12. Let q be x(6). Suppose q = -8*z + 17*z. Solve -4*u - 2*m - 28 = z, 14 = -3*m + 2 for u.
-5
Suppose j + 7 = 9. Suppose -u = -5*r + 10, u + 3*r = j*u + 6. Solve u*s = 5*s + z + 27, -4*s = -3*z + 14 for s.
-5
Let g = 3 + 0. Suppose g*h - 72 = 3*i - 0*i, 4*h = 3*i + 92. Suppose -5*a - 2*q + 4*q + 21 = 0, -2*a = 5*q - h. Solve k = p - 4*k + 16, 0 = p + a*k - 14 for p.
-1
Let a be -27*(4/(-3) - -1). Let b be a/(-6)*8/6. Let y be b/(-6) - (-190)/15. Solve -2 = -2*p - s - y, -p = 3*s + 18 for p.
-3
Let d(q) = 6*q - 3*q + 2 - 8*q**2 + 9*q**2 + 3*q. Let g be d(-6). Solve 0 = -3*n - 0*n + g*s + 20, -5*s - 24 = -n for n.
4
Let g(k) = 22 - k - 13 - 6*k + 2*k**2. Let b be g(6). Let j = b - 30. Solve -15 = 5*a - 5*m, -j = -5*a + 5*m - 6*m for a.
1
Suppose -6*w + 2*w - 72 = 0. Let k = w + 22. Suppose 0 = k*q + o + 2, -o = -0*q - q + 2. Solve 3*h - 6 = -2*v, -h + 3*v - v + 10 = q for h.
4
Suppose 8*y - 11*y = 0. Let m(k) = 31*k - 245. Let p be m(8). Solve i - p*d - 1 = y, -4 = i - 0*i + 2*d for i.
-2
Suppose 10 = -63*z + 58*z. Let c be (7 - 7 - -4) + 1 + z. Solve 0 = -5*k + c*f - 23, -2*k + 2*f = -3*k - 2 for k.
-4
Let s(n) = -22*n + 133. Let r be s(6). Solve 0 = a + 3*y + 7, -4*y + r + 3 = 4*a for a.
5
Suppose 0 = 4*b + 5*i - 32, 4*b = -0*b + 3*i. Let y(u) = 5*u - 2. Let m be y(2). Suppose -2*v + m = 2*v. Solve 3*h - 6 = v*f + 10, b*h = 12 for f.
-2
Let r be (-6)/18*-8 + 1/3. Let f be 1/((-3)/(-27)) - r. Suppose 0 = -3*y + 7 + 5. Solve -4*j = -0*c - y*c + 16, 2*j - f = -5*c for c.
2
Let a(w) = w**2 + 29*w + 83. Let b be a(-26). Solve -b*t - 3*y = -24, y + 3 = -3*t + 15 for t.
3
Suppose -158 = 3*b - 176. Solve -5*f + b = -4*v - 35, 5*v = -4*f for v.
-4
Let d(a) = 4*a**2 + 10*a - 17. Let q be d(2). Let o(m) = -m + 24. Let u be o(q). Solve 41 = 4*n + 5*f, -n = n + u*f - 33 for n.
4
Suppose -8*t = 291 + 429. Let c = t + 94. Solve u = -u - 4, u = -c*z - 2 for z.
0
Let j(y) = -y**2 + 2*y + 17. Let s be j(-3). Solve -5*q - 15 = 0, -s*q + 8 = -2*h + 6 for h.
-4
Suppose -2*y + 15 = 3*d, y - 3 = 4*d - 12. Let z be (-1 + (d - -1))*1. Suppose -4*h - z = -5*h. Solve 0 = -h*m - 2*u - 3, -2*m + 0*u - 2 = -4*u for m.
-1
Let v be (28 + -27 + (-14)/10)*-5. Solve 4*c = v*t - 25 + 3, 0 = 3*t - 15 for c.
-3
Let z(w) = w**2 + 10*w + 28. Let t be z(-4). Solve -t*c = 3*j, 4*j + j + 4*c = 0 for j.
0
Let g = -547 - -550. Solve 0 = -g*s - 4*q - 18, -3*s + q - 3 = -0*s for s.
-2
Suppose 135 - 123 = 6*z. Solve -1 = 2*v + m + z, v - 3 = 4*m for v.
-1
Let m = 28 - 14. Let p(z) = z**2 - 20*z + 30. Let d(n) = -n + 3. Let x(u) = -5*d(u) + p(u). Let t be x(m). Solve -3 = -b - 3*b + 3*a, -a + t = -2*b for b.
-3
Suppose -4*j - 7*j = -242. Suppose -28 = -4*w + 28. Let v = j - w. Solve 32 = 3*t + 2*x + 3*x, 0 = t + x - v for t.
4
Let f(r) = -6*r - 277. Let z be f(-47). Solve -3*a - 3 = 4*j + 7, z*j - 4*a = -28 for j.
-4
Let h = 52 - 55. Let x = 8 + h. Solve 0 = -4*q + 2*f + 22, q + 2*f = -2 - x for q.
3
Suppose -h - h = k - 2, -22 = k - 4*h. Let x be 2/k*(12 - 21). Solve 3*t + x*v = -v + 6, -11 = -2*t - 5*v for t.
-2
Let g = -2 - 4. Let w be 21/g*24/(-21). Let t(i) = i**2 - 3*i - 4. Let o be t(w). Solve 2*f - n + o*n - 4 = 0, 0 = 5*n - 20 for f.
4
Suppose 9*p - 10*p + 2 = 0. Solve 5*c + 4*u + 7 = 0, -3*c - p*u - 12 = 3*u for c.
1
Let l be ((-4)/18)/((-18)/(-27))*-6. Let y be l/(6/3)*0. Solve -12 = -4*n + 2*j, 3*j - 10 = -n - y for n.
4
Let l be ((-1)/(-2))/(3/30). Suppose q - 16 = -q - h, 2*q + l*h - 24 = 0. Let k = q + -7. Solve 0 = -4*t + 5*b, -5*t + k*t + 45 = 5*b for t.
5
Suppose -5*c - 11 = 2*i - 1, -3*c = -3*i + 27. Let h be 28/6 + 104/(-12) + 8. Solve i*k + 25 = h*l + l, l - 3*k = 7 for l.
4
Let x be -1 + 7/5 - 426/15. Let t be (21/x)/(3/(-12)). Solve 3*n = -z - z + 13, -t*n + z = -16 for n.
5
Let p be 4/(-10) - 8/(-5)*-11. Let v be (p/(-4))/((-3)/(-2)). Solve 0 = -2*c + j - v, -5*j = -2*c + 1 + 8 for c.
-3
Let u = -1044 - -1053. Solve -l + c + c - 1 = 0, -l + u = 3*c for l.
3
Suppose 648*g = 642*g + 6. Solve 4*p + 12 = 2*m, 3*p + 17 = -2*m + g for m.
-2
Suppose -7*k + 54 = -3*k - 2*t, -2 = -2*k - 4*t. Suppose -4*a - 9 - k = 0. Let c be (-23)/(-5) + (-2)/a. Solve d = c*m - 16, 1 = m + 5*d - 3*d for m.
3
Let o(x) = -x**2 + 5*x + 7. Let n be o(5). Let c(h) = -2*h + 1. Let d be c(5). Let k be (n/21)/((-1)/d). Solve -k*v - 13 = 4*p - 0, -3*p = 3*v + 9 for v.
1
Let f be -2 - (0 - 0 - -37). Let v be -2 + (-1 - f/3). Solve 0 = -2*o + 4*c - v, -6 = 5*o + 4*c - 51 for o.
5
Let x(r) = r + 11. Let u be 