*a - 2, w + 1 = -0*w for a.
-1
Let s = -91 + 96. Let h = -3 + 5. Suppose s*n = 5*r + 10, 0 = h*n - r - 2*r. Solve 5*v = -2*f - 31, 0 = -n*f + 3*f + 3*v + 6 for f.
-3
Let p(m) = -9 + 22 - 8 - 9 + m. Let v be p(7). Solve -v*t + 4*j - 3*j - 10 = 0, j = -5*t - 6 for t.
-2
Let t(n) = n**2 - n. Let f(y) = y + 7. Let m be f(-7). Let v be t(m). Suppose v = -5*p + 17 + 23. Solve 0 = -j - 2*a + 2, -p = -2*j - 2*j - 4*a for j.
2
Let m(a) = -3*a + 4. Let c = -15 + 19. Let k be m(c). Let j = k - -11. Solve -3*r = 12 - 0, 5*r + 17 = j*h for h.
-1
Let v(p) = 28*p + 422. Let z be v(-15). Solve 2*g = -4*w - 2, -w + 4*w + z*g - 1 = 0 for w.
-3
Let t = 33 + -29. Suppose 0 = 4*h - 11 + 3. Let g(s) = s**2 + 8*s + 10. Let b be g(-7). Solve r - h = b*f, t*f + 3 = r - 0 for f.
-1
Let d(b) = -b**2 - 5*b + 14. Let h be d(-7). Suppose 3*n - 9*n = -h*n. Solve -o = 2*o - l - 9, -5*o - 4*l - 2 = n for o.
2
Let t be 2/(-12) - (-38)/12. Suppose -2*x + 23 = -0*j - 3*j, t*x - j = 45. Solve -4*a + 5*k = 4, -x = -2*a + 4*k - 6*k for a.
4
Suppose 3*s = 5*c + 81, 3*s - 3*c - c - 84 = 0. Suppose 0 = 29*r - s*r + 12. Solve 0 = -r*g + 5*n + 48 - 13, 5*g - n - 28 = 0 for g.
5
Let g = -12 + 15. Let n be -10 + g*2/2. Let o be (n/(-14))/(1/10). Solve -3*a = -a, -f - 5*a = -o for f.
5
Let o = -2115 + 2118. Solve -o*w - 5*h - 27 = 0, 2*h + 1 = -w + 3*h for w.
-4
Suppose -9*q + 3*q = -84. Let k = -10 + q. Solve 5*l - 6*i + k*i + 31 = 0, 3*i = 9 for l.
-5
Suppose -21 = -3*s + 3*w, -4*w = 5*s - 0*w - 26. Solve -2*d - 2*j = -s, -j = 2*d + 3*j - 12 for d.
0
Let k(o) = o**2 - 7*o - 1. Suppose 5*a = 4*d - 0*a - 35, 3*d + 4*a = 3. Let j be k(d). Let c = 13 + j. Solve 0 = 3*z - b, b - c*b = 0 for z.
0
Let w = -78 + 80. Solve -12 = w*u + 2*u - x, 2*u + 2*x = -16 for u.
-4
Let q be 6/(-6) + 124/4. Let z = -84 + q. Let n be z/18 - (-12)/2. Solve 3 = -2*f - 4*x + 15, 0 = 5*f + n*x - 2 for f.
-2
Suppose -o + 5*u + 20 = -0, 0 = o - u - 4. Let y be -5 + (o - -2) + 3. Suppose -x + y = -5. Solve 0*k + k + 13 = 4*r, -5*r = -x*k - 20 for r.
3
Let b be 10/45 - (-32)/18. Suppose 4*z = 3*f, -5*z = -5*f + b*f. Let h be (z*4/(-12))/(-2). Solve 2*v = q - 12, h*q - 2*v = 2*q + 6 for q.
2
Let q(i) = i**2 + 9*i - 9. Let m be q(-9). Let j = m + 13. Let u be ((-24)/9 + j)*15. Solve u = 4*g - 3*z, -2*g + 29 = -5*z + 5 for g.
2
Suppose 4*p = -4*z - 0*p - 24, -z = -5*p - 12. Suppose 2*r + 5*i - 7 = 9, r = -5*i + 8. Let f be 10/r + z/12. Solve -2*s + 1 + f = -w, -5*s + w + 11 = 0 for s.
3
Let r(s) = -3*s**2 + 92*s + 135. Let u be r(32). Solve -u*o = -4*v - 5*o - 6, 5*o = -5*v - 15 for v.
-2
Suppose -30 = -2*u + 2*r, 33 = 4*u + 6*r - r. Solve -4*y + 1 - u = -5*j, 5*j - 13 = 2*y for y.
1
Suppose h - 2*s + 22 = -7*s, 0 = h - 4*s - 23. Solve 3*c = 2*i + 7*c + 4, -2 = -h*i + 2*c for i.
0
Let x = 0 - 0. Let o = -21 - -38. Let s = o + -16. Solve x = -h + 5*g + 16 - s, 15 = 4*h - 5*g for h.
0
Let u = -573 + 575. Solve -5*q - 5*b + 15 = 0, -3*q + 6*q + u*b = 5 for q.
-1
Suppose 4*y = 132 - 124. Solve -2*o = -5*h + 7*h + y, 0 = -2*h - 4 for o.
1
Suppose -4*o = -4*l + 16 + 16, 5*o = -15. Let v be (-6)/9 + 8/3. Suppose v*k - 4 = k. Solve -4 = -y + l*f + 8, k*y = 4*f for y.
-3
Let j = 8 + -5. Suppose 0 = -5*t + 8*t - 3, 5*t - 115 = -2*n. Let c be 40/22 - (-10)/n. Solve -4*f - c*h - 11 = f, -j*h = -f - 9 for f.
-3
Let q(c) = c**3 - 12*c**2 + 2*c - 12. Let d be q(12). Suppose 0 = 3*n + d - 18. Solve -4*z - n*h - 4 = 0, -z - 5*h - 29 + 10 = 0 for z.
1
Let j be 1/(((-16)/(-4))/(-24)). Let c = 2 + 12. Let a = c + j. Solve -a = 3*p - p - 3*u, 2*u = 0 for p.
-4
Let q = 836 + -830. Solve 2*i - 2 = 2*b, 5*b - q = -4*i + 7 for b.
1
Let i(z) = -3*z - 35. Let y(o) = 6*o + 71. Let b(m) = 7*i(m) + 3*y(m). Let u be b(-12). Solve -8 = u*t, -5*p + 4*t + 0 = -3 for p.
-1
Let f be 154/10 + 88/(-220). Solve i - t = 6 - 3, 5*i + f = -t for i.
-2
Let z be 70/(-50) + (0 - 448/(-20)). Solve -5*g - 23 = 3*u - 40, 5*g + 4*u = z for g.
1
Let c(d) = -d + 22. Let t be c(5). Suppose -13*k + t*k = 0. Solve -3*w - 3*r = 3, k*w + 5*w - 4*r + 32 = 0 for w.
-4
Let f be -1 + 1 + (-28)/(-2). Suppose -h - 6 = -f. Solve 4*b + h = -5*g + g, -14 = -2*g + 4*b for g.
1
Suppose -5*d = -i - 16, 13*i - 16*i = 5*d - 32. Solve 6*h - i*h - 11 = -5*w, 0 = 2*h - 2*w + 10 for h.
-2
Let k = 8 - 4. Let o be -10*(-2 + (-16)/(-20)). Suppose o*w - 6*w - 30 = 0. Solve -q = -4*f + k*q, w*f = q for f.
0
Suppose w = 4*w. Suppose -2*j - 3*j + 50 = w. Suppose 16 = o + j. Solve m + 0*f + 8 = 3*f, -3*f = -o for m.
-2
Let d(a) = -a**2 - 9*a + 5. Let t be d(-8). Suppose 0 = -0*n - 3*n + 9. Suppose -5*l + 50 = r, 2 = n*l + 2*r - 7*r. Solve -3*x = -l, -2*z + z - t = -5*x for z.
2
Suppose o = 6*o - 3*q - 17, 3 = o - q. Solve -t + 17 = 3*r, -o*r + 15 = 2*t - 9 for t.
2
Let j = 90 - 57. Let p = j + -33. Solve 5*h + 15 = -5*g, p*h + 2*g = 4*h for h.
-1
Suppose -18*o - 30 = -8*o. Let t be (-35)/7*24/10. Let s be (-18)/o + t/3. Solve 3*m + 5 = 5*j, s*m + j + j - 2 = 0 for m.
0
Let k = -9 + -6. Let s = k - -20. Solve -3*n = s*g - 2 - 8, -22 = -4*n + 2*g for n.
5
Let f = 686 + -683. Solve -f = -n - t, 2*n - 5*n = -2*t + 6 for n.
0
Suppose -12*i - 18 = -14*i. Let l(f) = 4*f - 26. Let y be l(i). Solve g - 2*t - t + y = 0, -2*g - t = 6 for g.
-4
Let k = -163 - -264. Let j = k + -98. Let b = -20 - -29. Solve j*f + w = -4*w - b, -3*f - 9 = w for f.
-3
Let k(i) = -74*i + 749. Let r be k(10). Solve 0 = -4*m - 5*a - 19, -3*m = 8*a - r*a for m.
-1
Suppose -7*r = -45 - 4. Suppose 0 = 7*a - 0*a. Solve -5*d + 3*z + r = a, -2*z - z - 11 = -d for d.
-1
Let t = -8 + 12. Suppose 4*p - t*c = 4, 0*c - 20 = -5*c. Let f = 7 - p. Solve 4*y - 5*h + 2 = -f, -5*h + 1 = -y for y.
-1
Let t = -23 + 21. Let w(a) = -2*a**3 - 2*a**2 + 2*a + 2. Let l be w(t). Let z be (l - (-4)/(-1)) + -1. Solve -q + z = -3*o - 2*o, 4*o - 1 = -q for o.
0
Let x be 1/4*(-56)/(-7). Solve 4*i = x*g + 26 - 6, -i + 5 = -5*g for g.
0
Suppose 4*g + g - 30 = 0. Suppose 3*r = 2*o - 6, r - 2*o - 1 = -7. Solve -5*j + 8 = -3*j + 2*y, r = 2*j + y - g for j.
2
Suppose -3*z + 4*z - 9 = 0. Suppose -4*h - 34 = -2*m - z*h, h + 10 = m. Solve m = -2*v - q, 3*v + q + 0*q + 16 = 0 for v.
-4
Suppose -1 = -a + 2. Let u = 1 + a. Suppose -5*h = -5*s - 25, -2*h + 11 = -u*s + s. Solve 20 = 5*i, 0*z = z - h*i + 20 for z.
-4
Let u(q) = q**2 + 11*q - 20. Let y be u(3). Solve 5*n + 7*r - 2*r - 5 = 0, 0 = 3*n - 2*r + y for n.
-4
Suppose 5*l - 13 = 4*y, -y + 0*l - 3*l = -18. Solve -20 = 4*m, y*h + 3 = -5*m - 28 for h.
-2
Let i = -714 - -718. Solve 5*k = 5*s + 2*k - i, -4*k - 17 = 5*s for s.
-1
Suppose 4*n = 12, -4*y + 4*n + 1 = -3. Solve 6 = -4*c + 2*g, 4*c + y = 5*g + 7 for c.
-3
Let i be ((-445)/(-89))/(10/8). Solve 0 = i*s + 3*l + 3, 4 = 3*s - l - 10 for s.
3
Suppose 13*k + 488 = 592. Solve -2*u - 2 = 5*x - k, -3*u = 6 for x.
2
Let x be ((-14)/6)/((-182)/156). Solve 3*h + 4 = -k, 2*k - x*h = 7 + 1 for k.
2
Let k(d) = -d**2 - 16*d - 15. Let t be k(-15). Let m(q) = q**2 - 15*q + 7. Let y be m(16). Solve b - 5*p + y = t, -4*p = 3*b + p - 31 for b.
2
Let b be ((-11)/(-22))/((-1)/(-4)). Suppose v - b - 3 = 0. Let h = 22 - 18. Solve u - h = 0, -v*w - 7*u = -2*u - 25 for w.
1
Suppose -34*f + 95 = -15*f. Solve f*c = 3*u - 22, 5*c + 0*c - 5*u + 20 = 0 for c.
-5
Let f(j) = -2*j + 18. Let x(u) = -1. Let g(a) = -f(a) - x(a). Let w be g(12). Solve t - w = 3*z, 3*z + z = t - 8 for z.
-1
Suppose 4*v - 13 = 7. Let w be 4/(-8) - 27/(-6). Let l be ((-2)/(-4))/((-33)/(-990)). Solve -w*s - 2*b - 2 = 2, 5*b = -v*s - l for s.
1
Suppose 7*n = -20 + 13. Let i(o) = -4*o - 4. Let d be i(n). Solve 5*h + l + 14 = d, 5*h + 4*l + 11 = -0*h for h.
-3
Let o(p) = -p - 3. Let h be o(-9). Let j(t) = 11*t**2 + 2*t - 5*t + 3*t. Let i be j(1). Solve s = -5*k - h, 0 = 3*k - 4*s + 11 + i for k.
-2
Let w(d) = -d**3 + 4*d**2 + 8*d - 26. Let q be w(4). Solve -4*o = -4*z + 2*z + q, -4*z + 4*o = -16 for z.
5
Let u = 222 - 219. Solve 0 = 2*i - u*h + 6, 2*i - 4*h + 11 = 1 for i.
3
Let b be (1 + -4)/(42/(-2548)). Let i be b/35 - (-1)/(-5). Solve 4*n - 35 = 3*q, n + 10 = -4*q - i for n.
5
Let m be ((-10)/6)/((-21)/189*3). Solve -4*o - 26 = m*h, o + h + 10 = -o for o.
-4
Let a = 57 - 57. Solve a = -f - 5*w - 1 - 4, 0 = -w for f.
-5
Suppose -2*d + w = 3*w - 2, 2*w + 26 = 5*d. Suppose -4*l + 77 = 7*l. Let v = l - d. Solve x + x = 2*r - 