-2*k - 8 = y*c, -c + 14 = 3*k - 8*k for c.
-1
Suppose 312*f = 263*f + 147. Solve 4*h = d - 1, d + 14 = -2*h - f*d for h.
-1
Suppose 0 = 3*u + u + n - 7, 4*u = 2*n + 10. Solve -a - 1 = 4*y, -a - u = -3*y - 1 for a.
-1
Suppose 0 = -12*g - 58 + 106. Solve -g*k = -3*h - 4, 9*h = 7*h for k.
1
Let x(q) = -27*q - 76. Let s be x(-3). Solve 2*p = -4*c + 16, -s = 5*p + c - 0*c for p.
-2
Let i be 1*46*(-3 - -2). Let y be 2/(-7) + i/(-14). Suppose -25 = -8*n + y*n. Solve 0*d - 4*h = 3*d + 20, -5 = -n*d + h for d.
0
Suppose -a - q = 0, 2*a = -9*q + 4*q - 12. Suppose -3*i = a - 19. Solve m + 5 = -2*p, 16 = m - 0*m - i*p for m.
1
Suppose -2*b = -4*b - 10, 2*v + 4*b + 16 = 0. Solve a = -a - 2, v*i - 4 = 4*a for i.
0
Suppose 2*j + 468 = 6*j. Let u = -113 + j. Solve 2*l - 5 = -5*k, u*l + 3*k = 26 - 9 for l.
5
Let l = 277 + -275. Solve 2*k + 5 = d - 3, -l*k = -5*d for d.
-2
Suppose 6 = 4*k - 2*k. Suppose -k = -3*f - 5*y - 17, f + y = -2. Suppose -5*t = 4*u - 0*u - 47, u + 2 = 0. Solve 0 = m + 2*i + t, -2*m + f*i = -2*i - 10 for m.
-3
Suppose 0 = 10*f - 248 + 208. Solve -f*a - 9 = -3*n - 7*a, -5*a = -n + 9 for n.
4
Let g be -1 + 2*(-7)/(-56)*4. Let j(d) = d**2 + 4*d - 1. Let t be j(-5). Solve 0 = -2*k - t, -2*o + g*k + 2*k = 0 for o.
-2
Let h be (-1 + (-28)/(-12))/((-6)/(-9)). Solve -u = c - 0*c - 5, -c = -h*u + 10 for u.
5
Suppose 0 = -r + 5*c - 2 + 14, 0 = r + c - 18. Suppose 4*f + w = 40, -4*f = -5*w - 44 - 20. Let i = r - f. Solve 3*n - i = -s, -n - 4*s = 3*n for n.
3
Suppose r + 1 = -0. Let p be ((-10)/(-5))/2 + (r - -6). Solve -3*i - 5*q - 9 = 0, p*q - 2*q = -2*i - 8 for i.
2
Let m(r) = 4*r**2 - 4*r + 3. Let t be m(1). Suppose -h + 3*x = h + 9, t*h = 4*x - 11. Solve f - 3*y = -20, -h*f = -6*f - 2*y - 5 for f.
-5
Let n be (-84)/(-42)*(2 + (-3)/(-6)). Solve i - y = 1, -4*y - 6 = -3*i - n for i.
3
Let f be -4 + (-1 - 0) + 8. Suppose -c + 104 = 3*c. Suppose 3*m + 6 = 6*m, -m = 4*h - c. Solve 3*k + 9 + f = 5*q, -3*q + h = -3*k for q.
3
Suppose 0 = -7*k + 9 + 33. Let y be 2/k + (-160)/(-15). Solve 5*r = -2*j + y, 0*j = 3*r - j for r.
1
Suppose 0 = 3*g - 5*j - 38 - 2, -3*g = -2*j - 25. Solve 5*l = g, -5*w + 2 = -w - 2*l for w.
1
Suppose -5*y - 17 = -i, 5*i - 3*y = 9*i + 1. Let m be 21/4 + 1/(-4). Solve 3*f + l = m, -i*f + 5*f + 3*l + 3 = 0 for f.
3
Suppose -3*s + 2*s + 1 = 0. Suppose 3*f + 6 = -6, 5*f = -5*k + 65. Let u = 20 - k. Solve 5*v = -n - s - u, 0 = -4*v for n.
-4
Let r(t) = -1129*t + t**2 - 14 + 1129*t. Let n be r(6). Let y = 16 - 11. Solve 3*g = y*d - n, -g - 2*d - 4 = g for g.
-4
Let d = -259 + 263. Solve 4*q = 2*p + 4, q - d*p + 9*p = 12 for q.
2
Suppose -3*a - 13 = -v - v, 3*a + 1 = -4*v. Solve 4*y - 16 = -4*f, v*y - 6 = -f - 3*f for y.
5
Let d be 144/66 - 4/22. Solve -5*c - d*v = -4, 0 + 10 = -c + 5*v for c.
0
Let o(d) = d + 12. Let v = -24 - -17. Let s be o(v). Solve y - s*n - 6 = -0, 4*n + 5 = y for y.
1
Suppose -3*w + 10 = -w. Let r(d) = -d**2 + 4*d + 3. Let q be r(3). Suppose 95*v + 64 = -62*v + 535. Solve -3*k + v = -w*k + z, -3*z - q = -k for k.
-3
Let m = -2314 + 2317. Solve 4*l + 4 = 0, m*l + 2 = v - 0*l for v.
-1
Suppose 3*w + 0 = 6. Suppose -3*h = w*x - 10, 2*x - 5*h + 18 = 6*x. Let n be ((-16)/(-24))/(1/3). Solve -u - 3*o - o = -19, n*u + x = 2*o for u.
3
Suppose -4 = 4*n - 16. Let q be 1 + 3*n/3. Suppose -4*o - 27 = -5*h, 6 = -3*h - 9*o + q*o. Solve 0 = -s + h*k - 12, 9*s - 5 = 4*s + 2*k for s.
3
Let a = 591 + -556. Solve a = 3*b - 4*i, 9*b - 5*b - 5*i = 45 for b.
5
Suppose -6*d - 45 = -117. Solve 8 = 2*k + i, -4*k + 5*i = -k - d for k.
4
Suppose -4*d = -4*o - 36, -5*o - 36 - 1 = -3*d. Suppose 5*v - 3*j - 3 = -0, d*v + 5*j - 32 = 0. Solve 5*p - 3*h = -4*h + 3, 5*h = -v*p - 7 for p.
1
Let q = -61 + 59. Let r = 20 + q. Solve 44 = -4*n - 3*j + r, 18 = -4*n + j for n.
-5
Let h = -160 - -162. Let l be 4/24 + 10/12. Let q be (-12)/(-2) - 2/l. Solve -y + q*g - h = -4, 0 = g for y.
2
Let q(g) = 8*g + 7. Let r(b) = -9*b - 8. Let a(t) = 5*q(t) + 4*r(t). Let c be a(0). Solve 2*z + 3*p = 8, c*p - 5 = z - 0*z for z.
1
Suppose -177 = 4*a - 189. Solve x + 4 = z - a*z, 0 = x + 4*z + 8 for x.
0
Suppose -3*y = -u + 34, 43 + 37 = -5*y - 3*u. Let d = 16 + y. Let q be 8 + (-2*d - -3). Solve q = 2*g + t - 1, -29 = -5*g + t for g.
5
Let s be 1/((-7)/(-2)) - 5/(-7). Solve -w = -2, -2*d - w = -s - 1 for d.
0
Suppose 384*i = 386*i - 26. Suppose 5*t = -5*m - 27 - 3, t + 21 = 4*m. Let n be (6/t)/((-4)/18). Solve 0 = -l + 2*l + n*p + 13, 4*l - p - i = 0 for l.
2
Suppose -3*g - 2 = -x, 70*x - 6 = 67*x + 3*g. Solve -z + x = 7, z = 3*d - 8 for d.
1
Let h(w) = w**3 + 9*w**2 - 2*w - 13. Suppose 2*x + 3 = -3*i - 15, -3*i = -3*x - 27. Let a be h(x). Solve 5*v - 4*k + 10 = 3*v, a*v - 4*k + 13 = 0 for v.
-1
Let s(a) = a**3 + 16*a**2 + 39*a. Let y be s(-13). Solve -2*v = -5*q - y*v - 9, 2*q = 3*v - 8 for q.
-1
Let z(v) = -v**2 - 7*v + 48. Let t be z(-11). Suppose -2*m + t*m = 6. Solve -j = -8*g + 4*g - 20, m*g + 28 = 4*j for j.
4
Let z be (-27)/(-36) - (-42)/8. Suppose 6*j - z = 4*j. Solve -y + j = -5*y - 5*f, -4*y + 3*f = -21 for y.
3
Suppose -3*o - 53 + 92 = 0. Solve -4*g - h - 20 = 3*h, 5*h = -2*g - o for g.
-4
Let c be -3 + 5 + 9 + -7. Solve -4*u = c*v, -9*u - 24 = -v - 4*u for v.
4
Suppose c + 10 = -z + 33, -5*c + 4*z = -133. Suppose -12 = -3*m, 4*q = 4*m + 337 - c. Let k = -47 + q. Solve -29 = 3*h + 5*n, 3*h = -2*h - 5*n - k for h.
-3
Suppose -5*j = -4*f + 44, -4*f + 2*j - j + 28 = 0. Solve 5*r - 20 = -s, 3*r = -f*s + 3*s + 12 for s.
0
Let v = -1845 + 1850. Solve 5*z + 25 = 5*h, -4*z - v = 11 for h.
1
Let t(h) = 7*h**2 - h + 3. Let z be t(0). Solve -2 = -b + z*s, -s + 2 = b - 2*b for b.
-4
Let r be (5 - 124/12)/((-4)/6). Let j be ((-26)/4)/(2/(-4)). Suppose -r*a + j*a - 70 = 0. Solve -c + 4*c = -t + 7, -a = -4*t + 2*c for t.
4
Suppose 6*s - 14*s = -232. Solve -5*u - 4*g - 30 = 0, 2*g - 7*g - s = 2*u for u.
-2
Let k = 322 - 319. Solve 4*h + 8 = -3*c, -k*c - 3*h - 3 = -0*c for c.
4
Suppose -32 - 63 = -5*h. Let a be ((-1)/(-1))/(1/4). Solve -18 = 2*k + a*i - 6, h = k - 3*i for k.
4
Suppose -2*g + 9 = b, 5*g + 2*b + 21 - 44 = 0. Solve 4*d - v - 3*v = 12, -g*d + 2*v + 21 = 0 for d.
5
Let g(p) = p - 4. Let k be g(4). Suppose b - 4 = -m - k*b, 4*m = -3*b + 12. Suppose -5*d + 100 + m = 0. Solve -5*i = r - 16, -2*r = i - 6*r - d for i.
4
Let u(d) = d**2 + 3. Let w be u(0). Solve 0 = -w*b - 9, -3*o - 5*b - 2 = 10 for o.
1
Let d(q) = -16*q + 41. Let y be d(-7). Let o = y - 151. Solve -3*c = -2*a + 4, -6 = o*c - 2*a - 0*a for c.
2
Let d(c) = -2*c + 22. Let y be d(8). Solve i = -0*m + m - 1, y = 4*m - 3*i for m.
3
Let p be (-680)/(-204) - (-10)/(-3). Solve l - 2*d + 2 = p, -4*l + d - 5*d + 16 = 0 for l.
2
Let d be (-1 + -17)*(-3)/((-27)/(-15)). Let l be ((-2)/(-4))/(35/d - 1). Solve 0 = -l*p + 2*w, 0 = -2*p - 3*p - 2*w for p.
0
Let b(y) = -4*y - 20. Let r be b(-5). Let x(a) = a**2 + a + 5. Let t be x(r). Solve -c - 14 = t*h + 2, 0 = h + 3 for c.
-1
Let k = -140 - -156. Solve 0 = 5*o - 25, -2*l - 4*o + k = -3*l for l.
4
Let j = 1786 + -1786. Solve 4*d + 5*c - 29 = j, 3*d - 3*c + 2 = -10 for d.
1
Let f be ((-15)/6)/(7/14). Let b(a) = -a**3 - 4*a**2 + 5*a + 5. Let o be b(f). Suppose 0 = -q + o - 3. Solve -2*p - c + 8 = 0, -2*p + q*c - 4 = -3*c for p.
3
Let k be (-93 - -100) + 2/((-2)/5). Solve 0*d = k*d - 3*l + 9, 4*d - 2*l - 2 = 0 for d.
3
Let y be (-1)/2 - 3*(-95)/30. Suppose m - 90 = -2*m. Let k be (y/27)/(2/m). Solve -2*s + 30 = 2*z + 2*z, -k*z + 20 = -s for z.
5
Let y = 140 - 128. Suppose -f - y = -5*c, f = 2*c + 6*f + 6. Solve -2 = c*x - 2*b, 5*b - 7 = 2*x + x for x.
1
Suppose 8 = 7*j - 5*j. Suppose -3*p + 5*s + 30 = 0, -5*p + 30 = -j*s - 7. Solve o = -f + 5*f - 9, -p*f + o + 11 = 0 for f.
2
Suppose -12*z = -15*z + 6. Suppose -2*r - 17 = -7*b + z*b, 0 = -3*r - 3. Solve 7*a - 2*a + 5 = 0, -b*n + 5*a - 4 = 0 for n.
-3
Let j = -149 - -152. Solve -3*d + j*o = -0*d, o - 15 = 4*d for d.
-5
Let t be ((-2)/(-9))/(1/9)*1. Solve -15 = -k - t*k, 30 = w + 5*k for w.
5
Let o = 451 - 449. Suppose -4*j - b + 1 = -10, 2*j = 4*b + 10. Suppose -52 = -j*f - f. Solve -10 = -5*c + 5*t, -1 + f = o*c + 2*t for c.
4
Suppose 3*a - a = 20. Suppose 5*j = a, o = -o - 4*j + 20. Solve -4*u - 3*h - 5 = o, -17 = 3*u + 4*h for u.
1
Suppose -1569*q + 8 = -1565*q. Solve q*h = -3*h + 5*f, -3*f = 3*h + 30 for h.