y. Suppose 8 = 4*a - y. Solve -4*k + 16 = -4*l, l = -5*k + a*k + 8 for k.
4
Let o(i) = -3*i**2 - 5 + 0*i**2 - 52*i + 0 - 7. Let g be o(-17). Solve 2*x - 10 = -2*q, 5*q - 3*x - g = 4 for q.
3
Let z = -1854 - -1867. Solve 3*f + 5*o - 20 + z = 0, 3*f + 7 = 2*o for f.
-1
Let f = 12 - 10. Suppose 0 = -4*a - f*g + 14, 10 = 3*a + g + 2. Suppose x = -a + 5. Solve x*z - 6 = -3*t - 5, -2*t + 3*z = 5 for t.
-1
Suppose 62 = -7*y + 132. Solve -3*w = -w - h + y, -2*w + 2 = 5*h for w.
-4
Suppose 0 = 3*t - 3*q - 24, t + 9 = 5*q + 33. Suppose 0 = -0*u + 3*u - 33. Solve u = -2*o + p, t*o - 3*p = 2*p - 31 for o.
-4
Let s = 184 + -116. Suppose -s*k = -63*k - 25. Solve -5*u + 2*a = 3 - 4, 0 = k*u - 4*a + 3 for u.
1
Suppose -n = -17 - 3. Suppose -126*f = -130*f + n. Let s be (-1)/(-2)*(0 - -2). Solve -3*m = 2*x - s + 3, f*x + 16 = -2*m for m.
2
Let l(y) = -y**3 + 7*y**2 - 15*y + 11. Let n be l(3). Solve b = 3*w + 17, n*w - 2*b = -3*b - 8 for w.
-5
Let x be -2*(-2 + 0) - -11. Let g(z) = z**3 - 14*z**2 - 15*z + 9. Let w be g(x). Let m be (-3)/2*(-12)/w. Solve 0 = 2*y - 5*q + 22, m*y - 3*q + 15 = -y for y.
-1
Suppose -18 = -2*o - 4. Suppose 9*f = o*f + 8. Solve 0 = 4*j + f*k - 28, -1 = -0*j + j - k for j.
3
Suppose 0 = -3*z - 2*u + 39, -5*z + 87 + 0 = -4*u. Solve -5*j - 13 = -4*v, -3*v + 4*j - 5 = -z for v.
2
Let v be (-182)/(-35) - (-2)/(-10). Suppose 0 = 5*d + a - 30 - 4, -v*a = -20. Suppose 4*q = d*q. Solve -3*u - 2*m - 1 = -0*u, q = 4*m + 20 for u.
3
Suppose 0 = 5*r - c - 2, 4 = r - 8*c + 9*c. Let u = 13 + -4. Solve -r = -o + 2*t, 0 = -o - 4*t + u - 2 for o.
3
Let c = -113 - -117. Solve -t - 3*s = 16, -c + 12 = 2*t - 4*s for t.
-4
Let c be (-36)/8*12/(-18). Suppose 4*i = -c*n + 37, 3*n = n - 5*i + 34. Solve -n*x - 4*k = -2*x + 21, -k = -1 for x.
-5
Suppose 0 = 19*f + f - 80. Solve 4*q = f*k - 3*k - 22, 0 = 2*k + 2*q + 6 for k.
2
Suppose 8*x - 6*x = 52. Solve 5*z - x = 4*l, -6*z = l - 3*z - 2 for l.
-4
Let t be -1*3/((-1)/1). Suppose w + 22 = 3*z + t*w, -3*z + 4*w - 8 = 0. Solve 0 = z*l - q - 14, -3*q - 2 = -2*q for l.
3
Let m = -422 + 426. Solve m*a - 1 + 7 = -3*j, -3*a - 9 = 0 for j.
2
Let d(a) = a**2 + 3*a - 6. Let v be d(-5). Suppose 2*l - 2 = -0*l. Suppose -3*c = -5*z + l + v, 5 = -4*c + 5*z. Solve -3*i - 12 = c, 0 = u - 5*i - 26 + 2 for u.
4
Let s be (1 - 3) + (31 - 27). Suppose 21 = 3*k + 3*n, -4*k + 0*n = n - 25. Suppose 0*v = -v. Solve v = 5*u + s*h - k, h = -u - 0*h for u.
2
Let x(v) = 14*v**2 + 84*v + 1. Let y be x(-6). Solve -2*r - y = -2*g - 5*r, 0 = 3*g - r + 4 for g.
-1
Let l be (16 - (2 + 1)) + (-6)/(-2). Suppose 3*f = 7*f - l, 3*i - f = 2. Solve -3*s = -4*t - i*s + 14, 3*t - 14 = -s for t.
4
Let q(u) = u**3 + 6*u**2 - 20*u - 28. Let t be q(-8). Solve -b = -4*h - t, -2*b + 0*b = -2*h - 2 for b.
0
Suppose -2*d - 5*p + 8 = 0, -8*d + 4*d + 2*p = -16. Solve 12 = 3*i - 4*o + 29, 14 = -2*i + d*o for i.
-3
Suppose -2*n + 15 = q - 7*n, -5*n = -3*q + 55. Suppose 6*u - 2*u - q = 0. Solve 0 = -4*i + 3*g + 3, -u*g = -2*i - 3*g for i.
3
Suppose -2*h + 56 = -2*k + 62, 0 = -4*k - 5*h - 15. Solve -7*v + 12 = -2*v - 3*l, k = 4*v - 4*l - 16 for v.
0
Let i(s) = 5*s + 16. Let g be i(-7). Let m(d) = -d - 19. Let q be m(g). Solve -4*r + 3*o = -35, -o = -4*r - q*o + 25 for r.
5
Let z = 21 + -7. Suppose -4*t - 2*f + z = 0, 0 = 5*t + f - 11 - 5. Suppose -24 = -4*r + 4. Solve -3*n + t = 3*g, -4*n - 23 = -r*n + 2*g for n.
5
Let s be -100 - -107 - 4/(2/2). Let n(p) = 0 - 12 + 2*p + 2. Let m be n(7). Solve -m*t = 4*i - 24, 2*t + s*i + 2 = 3*t for t.
5
Let l be (28/(-154))/(1/(-11)). Solve 5*y - 2*p - 15 = 0, -l*y + 2 = -5*p - 25 for y.
1
Let a be (0 + 1)/((-4)/(4 - 268)). Let m = a - 64. Solve 2*r + 6 + 0 = -m*g, 0 = 2*r - 4*g + 6 for r.
-3
Suppose 24*x - 4 = 284. Solve -4*h + y + 21 = 0, -2*h + x = h + 3*y for h.
5
Let f be (2/(-6))/(867/(-144) - -6). Suppose 4 - f = -4*x. Solve 0 = 4*n - o + 17, o + x*o - 11 = -3*n for n.
-3
Let o be (-1)/(3/(-18)) + 2. Suppose 3*v = v + o. Suppose -2*g = d + 1 - 2, -3*d + 23 = -v*g. Solve -d*x - 3*l - 4 = 0, -3*x = -0*x + l for x.
1
Suppose -3*j = -3*c - 3, c = -4*j - 4*c + 22. Suppose 7 = -5*f + 27. Solve j*u - 5 = 5*b, 17 + 15 = -f*u - 3*b for u.
-5
Let k be -2 - -2*(-10)/(-4). Let j(p) = 2*p**3 - p**2 + 3*p - 3. Let f be (1 - 9/2)*(-4)/7. Let t be j(f). Solve 4*u - 4 = 2*b, -b - k*u - t = 2*b for b.
-4
Suppose 3*t - 4*f + 10 = 0, 0*t + 8 = 2*t + f. Let l = 1786 + -1783. Solve b - 6*b + l*q = 16, 0 = t*b + 4*q + 22 for b.
-5
Let g(l) = 66*l - 259. Let u be g(4). Solve -v + 4*s + 5 = 0, 4*s + 21 = -u*v + s for v.
-3
Suppose -4*o = 5*f - 17, -5*o - 1 - 9 = 0. Solve -2*h - 3*q = 3 - 0, 5 = -2*h - f*q for h.
0
Suppose -46*w + 44*w = 0. Suppose 0*n - 18*n + 306 = w. Solve 5*f - 3*q - n = 0, 20 = -4*q - q for f.
1
Let t(f) = f + 1. Let c be t(2). Let b(k) = -k**2 + 1 + 0 + 2*k + 6 - 4. Let u be b(3). Solve 4*w + 5*a = -1, 4*a + c = -u*w - w for w.
1
Let n be ((-45)/(-25))/((-28)/30 - -1). Suppose -25 = 5*k, -3*o + n = -2*o - 4*k. Solve -3*t - 9 = 3*r, -4*r - 3 - o = 3*t for r.
-1
Suppose -4*l + 21 = b, -14 = 4*b - 5*l + 7. Solve 12 = -4*h + 2*x, 4*h - 5*x + 13 - b = 0 for h.
-3
Let j = -1340 - -1358. Solve -4*y + 5*h = -27, -7*y + 3*y + 2*h = -j for y.
3
Let h be 91 + -5*4/(-10). Let i = 97 - h. Solve 3*k - 13 = -2*g + 2*k, 3*g = i*k - 8 for g.
4
Suppose 51 = 3*m - 0*m. Suppose 8*g = -1 + m. Solve -g*z + 13 = b, 0*z - b + 9 = z for z.
4
Let g = -14 + 8. Suppose -2*z + u = 15, -z - z = 4*u + 30. Let m = g - z. Solve 4*w = 3*t + 4, -m*w - 2*t + 4*t = -3 for w.
1
Let i = 23 - 14. Let r = i - 2. Suppose -r*b = -5*b - 4. Solve 3*z + 4 = -n, 4*z = n + b + 2 for n.
-4
Let z = -7 - -13. Suppose -4*l - 12 = 0, 4*b + 16*l = 21*l + 127. Solve 2*a = -3*m - 11, -z*a = -2*a - 4*m - b for a.
2
Suppose -5*f - 2 = -i, -3*i + 4 = f - 18. Let u be (-16)/(-14)*(-112)/(-32). Let g be i + u/(-16)*0. Solve -4*y - 1 = -4*q - 5, g = y + 5*q for y.
2
Suppose 76 = 4*q + 16. Let z be (-3)/12*-4 + 1. Solve y + 25 = -5*s, s + q = -5*y - z*s for y.
0
Let d be 2*(-2 + -2)/(-2). Let s(b) = -b**2 + 5*b + 2. Let r be s(5). Let h = -2 + 4. Solve -d*q = y - 9, -r = -h*q + q for y.
1
Suppose 9*j = 5*j. Suppose -3*l + 5*d - 268 + 54 = j, 0 = 5*l + 5*d + 410. Let u be 2/(-3) + l/(-9). Solve 0 = 2*x + f + 4, -5*x - u = -4*f + 2 for x.
-2
Suppose -5*p = 149 - 164. Let m be (-26)/(-8) - (-4)/(-16). Solve c + 2*c = 2*l, -m*l = p*c for c.
0
Let w = -743 - -748. Solve w*f = q + 5, 2*q - 10 = 4*f + 4*q for f.
0
Suppose -11*i + 430 - 386 = 0. Solve -f = -2*x - i, -3*x + 0*f - 1 = -4*f for x.
-3
Let i = 2196 - 2193. Solve -5*k = -2*k, 0 = i*x + 2*k + 15 for x.
-5
Let g = 61 + -57. Suppose g*o - 5*w = 41 - 5, o = 2*w + 12. Solve -4*s = 4*k + s - 2, k = s - o for k.
-2
Let a(o) = 5*o + 5. Let c be a(-8). Let b = c - -38. Solve 5*s - 25 = 5*x, -b*x - 15 = 3*s - 0 for x.
-5
Suppose 7*b - 11 = 2*r + 2*b, 0 = 3*b - 3. Let q be (-13)/6 - r/18. Let j = 0 - q. Solve c = 5, -j = l - 2*c + c for l.
3
Let t be (-4)/14 - 14/(-49). Suppose 25 = -5*b, 2*y + 0*b - b - 1 = t. Let h = 2 - y. Solve -3*r - 20 = h*j, -4*j = 10 - 2 for r.
-4
Suppose 5*h - 16 = -2*c + 4, 5*c = 0. Solve 0 = 2*k - 3*r + 10, 0*k - h*r - 20 = 4*k for k.
-5
Let j(g) = -5*g**2 + 6*g - 2. Let p be j(2). Let h be ((0 - 5)/p)/(1/6). Solve h*u = -4*v - 0*u + 22, 2*v + 2*u - 12 = 0 for v.
4
Suppose 0 = 7*h + 7*h - 56. Solve 2 - 14 = -4*c - 2*s, 3*s = -h*c + 14 for c.
2
Let g(h) = h**3 + 9*h**2 + 47*h + 425. Let w be g(-9). Suppose 4*d - 2*c = 122, -c = -3*d + c + 94. Solve -3*n - 2*m = -20, -w*n - n = 4*m - d for n.
4
Let l be 2/(1/6*4). Let x(m) = -4*m**2 + 3*m**2 + 2*m**2 + 165*m - 167*m. Let k be x(l). Solve -5*p - 5 = -5*i, k*p - i = -0*p - 3 for p.
-1
Let s = -35 - 30. Suppose 3*f = 4*f + 13. Let u be ((-28)/(-10))/(f/s). Solve -v + j + 4 = 0, 0*v + 2*v = 4*j + u for v.
1
Suppose -11*w - f = -14*w + 30, 9 = -3*f. Solve 0 = 5*s - 10*s + 3*l + w, s = -3*l + 9 for s.
3
Suppose 3 = t, 3*t - 4 - 1 = 2*l. Let g(x) = -x**3 + 7*x**2 - 9*x + 17. Let j be g(7). Let z = -33 - j. Solve -2*v - 4 = l*y, 0 = v - 5*v + y - z for v.
-3
Let v(z) = z**2 - 3*z - 7. Let f be v(5). Suppose 4*p - f = 3*x, 1 = -5*p - 5*x + 4*x. Suppose -w - w + 8 = p. Solve 0*a = w*a + 2*b - 24, -b + 17 = 3*a for a.
5
Suppose 0 = 2*m + 2*k - 14, 3*k + k - 18 = -2*m. Suppose