 b = 9405 - 9402. Suppose -4*z - 5*n + 41 = 0, 0*n + 45 = 5*z + 5*n. Solve -a - 11 = -b*a - u, -3*a + z*u - 11 = 0 for a.
3
Let d(u) = -47*u - 231. Suppose 0 = 24*s + 61 + 59. Let v be d(s). Solve 0 = v*h + 2*j, 0 = 5*h - j - 3*j - 26 for h.
2
Let c = 1812 + -1812. Solve 0 = 3*x + 2*r - 15, -13*r + 14*r = c for x.
5
Let f(x) = -x**2 - 7*x - 3. Let v be f(-5). Let w(j) = 437*j + 1312. Let y be w(-3). Solve -r + 1 = -q, 0 = 2*r - 5*q - y - v for r.
-1
Let o = 84 - 64. Suppose 0 = 4*g + 4*z - o, 2*g - 6*g + 4*z + 4 = 0. Solve -1 = 4*t + 3, 0 = d + 3*t + g for d.
0
Suppose -5*c = -d - 1140, 4*c - d = 8*c - 912. Let s = c + -228. Solve f + s = -5*z + 1, 3*z - 19 = 4*f for z.
1
Suppose 14*n = 1439 + 507. Let x = n - 134. Solve x*p = -2*i + 13, 5*p - 4 = -3*i + 8 for p.
3
Suppose 3*f + 8*l - 3*l = 126, 0 = 3*f + l - 126. Let n = f - 20. Suppose -4*c = n - 26. Solve -3*d + c = -2*p + 3, -d - 29 = 5*p for p.
-5
Suppose 140*x + 224 = 148*x. Let l be (x/(-6))/((-82)/123). Solve 2*f - l = 4*r + 5, -4*f = 3*r - 2 for r.
-2
Let k = 14 + 103. Let o be (-2)/(-4) + k/18. Suppose c - o = -3. Solve 2*b + 5*d - 2 = 15, 16 = b + c*d for b.
-4
Suppose 108*k - 43*k = 175 - 45. Solve -u = -4*f + 21 - 15, -k*f = u for f.
1
Let u = -11304 + 11307. Solve -u*b - m + 5*m = -28, b + 2*m = -4 for b.
4
Suppose d - 4*s - 28 = 0, s + 1 = -d - 1. Solve -r - d*w - 8 = 0, -2*r - 7 = 5*w - 0 for r.
4
Suppose 3*j + 17 = 6*g + 17, g + 3*j = 0. Solve 3*c = -5*q + 3 - 3, g = q for c.
0
Suppose -3*q + 12 = -3*f, 0 = 2*f + f - 12. Suppose 175 = 76*o - 11*o - 85. Solve 3*x - 5*b - 14 - q = 0, 26 = o*x - 5*b for x.
4
Let c(v) = 70*v - 1397. Let l be c(20). Solve -l*g - 4*n - 19 = 0, -66*n = 4*g - 69*n - 8 for g.
-1
Suppose -15*j + 1 = -119. Let g = j - 0. Solve 2*z + 2*z = -3*s - g, 4*s = -z - 15 for s.
-4
Let p = -449 - -463. Suppose 88 = 4*i + 4*v, p = 4*i + 2*v - 68. Solve 3*u - 2*d - 3 = i, -u - 4*d = 16 for u.
4
Let o = -75 - -89. Suppose 11*s - 20*s = o*s. Solve -2*q - 6 = -k, -3*k + 4*q - 5 + 19 = s for k.
2
Let t = 798 - 796. Solve -t*h - r + 7 = 2*r, 5*h + 2*r = 12 for h.
2
Suppose -5*t - 148 = 4*c, -4*t + 2*t - 34 = c. Let l = -30 + c. Let o be 712/44 + (2 - l/(-33)). Solve 0 = -4*f + h - 9 - 7, o = -4*f - 2*h for f.
-4
Suppose -2*x + 3*a + 0 = -4, -x - a = -2. Solve 0 = 3*d + x*h - 2 - 13, -2*d = 5*h - 10 for d.
5
Let k(j) = -j**3 + 13*j**2 + 59*j - 171. Let r be k(16). Solve r*q + 22 = -4*i, -3*i = -q - 24 + 31 for q.
-2
Let k be 0 + -326 + (-6 - -4). Let w = k - -332. Solve 6*r - 4 = p + r, -3*r = p + w for p.
-4
Suppose 2*z - z = 8. Suppose -16 = -3*p + 4*v, -3*p + 0*v + 5*v = -11. Suppose -q - p = -5*q. Solve -4*t - 4*j = z, q*t - 6*j = -j + 34 for t.
3
Let x(s) = s**2 + 13 - 9*s + 14 - 7*s. Let n be x(15). Suppose n*l = 15*l - 15. Solve f + 0*f - 15 = 2*q, -50 = -l*f + 5*q for f.
5
Let s = -66 + 70. Suppose 4*n + t - 7 = 11, 0 = -2*n + s*t. Let q be 0/(-1)*n/(-4). Solve -5*z - 1 - 4 = 0, q = 3*l - 5*z - 17 for l.
4
Let q = -6 + 10. Let y(k) = -288*k - 7483. Let t be y(-26). Solve -t = n, -q*s + 13 = -0*s - n for s.
2
Suppose 5*i = -4*k + 892, -i + 56 + 105 = -5*k. Let d = i + -168. Solve -2*v + x - 7 = 0, 0*x - 4*x = 4*v + d for v.
-3
Let h(r) = -3*r - 86. Let j be h(-18). Let l = j + 34. Solve -g + 5*y = -l*g - 12, 12 = 2*g - 2*y for g.
3
Let x(m) = 4*m - 30. Let k be x(9). Let h(s) = -s**2 + 8*s - 9. Let a be h(k). Solve 3*q - 2 + 7 = 2*j, -3*q - a*j = -15 for q.
1
Suppose -3*g = -5*d + 39, -3*d + 81 = -4*g - 6*d. Let n be 6/g - (-86)/6. Solve -2*w - 2*h = 8, -5*w = h + n - 2 for w.
-2
Let w be (-6)/18*-3 + -1. Suppose 6*v + 20 - 182 = w. Solve -2*s = u + 2*u + 7, 3*u = 3*s - v for s.
4
Let i be (-3)/(-5) + (-292)/20. Let l be (i/(-21))/((-1)/(-3)). Suppose 11*j - 85 = 3. Solve 2*w - 2*r - l = 0, 2*r - r - j = 4*w for w.
-3
Let t be 22 + -17 - 4*(-15)/(-20). Solve -3 = -n, t*d + 16 = -0*d + 4*n for d.
-2
Let t(z) = z**2 + z - 28. Let r be t(-6). Let f(h) = -h - 1. Let b be f(-1). Solve b = j + 4*d + 12, 4*j - r*d = -j + 28 for j.
4
Suppose h - 5*a = 1 - 13, 3*h - 6 = a. Suppose -14*b - 60 = -5*x - 18*b, 5*b = -x + 54. Solve -x*d + 9 = -h*o + 1, -4*o = 3*d - 31 for d.
5
Let l be (-3)/2*(38/(-133))/((-1)/(-7)). Solve -4*r + f + 12 = 0, l*f - 20 = -r - f for r.
4
Let d be ((-36)/16)/((-1)/4). Let j = 27 - d. Suppose -i - 12 = -3*f, 5*f + i - 21 + 1 = 0. Solve -3*z = -f*n - j, 0 = 2*z - 3*z - 3*n - 7 for z.
2
Suppose -4*o + 20 = k - o, -5*k + 114 = o. Let q be ((-4)/(-10))/(966/(-480) - -2). Let s = q - -34. Solve 4*l - l = 12, s*l = -5*u + k for u.
3
Let v(u) = u**3 + 10*u**2 + 23*u + 134. Let l be v(-9). Let z be ((-117)/18 + l)*30/9. Solve 4*b + 4*q - 20 = 0, 0 = z*b + 2*q + 7 - 32 for b.
5
Let h be (-25)/(-7) - ((-772)/(-28) + -27). Solve -6*d + h*d = 5*j + 10, -5*d + 15 = 2*j for d.
5
Let c = 77 - 67. Let b be ((-190)/8)/(c/(-40)). Let u = b + -92. Solve 0 = -2*o, u*m - 6*m = -2*o - 15 for m.
5
Let c(z) = -z**2 - 63*z + 3. Let j be c(0). Solve j*w = 2*v + 3, -v - w - 1 - 3 = 0 for v.
-3
Let h(z) = -z**3 + 12*z**2 - 19*z - 8. Suppose -4*w = 3*j - 22, -j - w + 48 = 4*j. Let p be h(j). Solve 4*t - 3*n = 15, -3*t - p = -4*t - n for t.
3
Let o(v) = v**2 + 39*v - 263. Let h be o(-45). Solve h*y = 8*y + 4*g + 13, 4*g + 12 = 0 for y.
-1
Let u be -23 - 924/147*-7. Solve 7*k - 10*k = -3*q + u, -3*k + 4*q = 21 for k.
-7
Let f be (-7)/(21/(-12)) + (-12)/12. Let u = 0 - -3. Let r be (-72)/(-7) + (-224)/784. Solve 10 = 2*y - 2*k, -k = f*y + u - r for y.
3
Suppose -6 = y - 2. Suppose 5*l + 4 + 10 = c, 5*l + 11 = 4*c. Let r be (9 - l)/y - -8. Solve 3*z = d - 4, -2*z + 0*d - r = -3*d for z.
-1
Suppose 40*w - 83 + 2 = 13*w. Let k = 38 - 33. Solve 0 = -w*z + 4*g + 4, -4*z = -2*z + k*g + 5 for z.
0
Suppose -r + 12 = 9. Let z(i) = 177*i + 3368. Let y be z(-19). Solve -y*x + 4*f - 8 = 0, -r*x = -8*x + 5*f - 10 for x.
0
Suppose 17*k - 8*k - 63 = 0. Suppose -3*u - 6 = 4*f - k, 3*f + 3 = -3*u. Solve -5*m + f*x = 2, 2*x + 8 = -2*x for m.
-2
Let g(u) = -3*u - 170. Let s be g(-58). Solve -39 + 49 = -4*i - 2*m, s*i - 5*m = 25 for i.
0
Let t = -4337 + 4341. Solve -4 = b + t*j, 3*j - 7*j - 12 = 3*b for b.
-4
Suppose 14*r - 9*r = 2*j - 13, -40 = -2*j - 4*r. Suppose 793*f - 786*f - j = 0. Solve -2*o - 5*v - 21 = 0, -f*v = -2*o + 4*o + 6 for o.
2
Suppose 2 = 2*u + 2*a, 5*a + 12 = -33. Solve 5*y + u = 4*k, -3*y + 6 = -4*k + 12 for y.
-2
Suppose 4*i - x = 11, -4*i + 0*x - 2*x = -14. Let n = 438 + -431. Solve -p + 3*u - n = 0, -p + 4*u - 16 = -i*p for p.
2
Suppose 0 = 4*l - 20, -4*h + 6*h - 2*l + 20 = 0. Let u = -32 + 25. Let r = h - u. Solve 3*t = r*m - 10, t - m + 6 = m for t.
-2
Let d be ((-5)/(-75)*3)/((-4)/(-100)). Let s be (-11)/(d/10*(-1)/1). Let o = 7 - 4. Solve 0 = 2*v + 3*h + s, v - 6*h + 4*h = o for v.
-5
Let u = 33417 - 33413. Solve v - 4 = 3*f, -4*f + 5*f + 5*v = u for f.
-1
Let f = 32 + -5. Suppose -2*l = -4*u, 3*l + 6*u + f = 3*u. Let h be (-72)/(-27) + 4/l. Solve -5*v = 4*z + 12, -h - 4 = -5*z - v for z.
2
Let v = -21506 - -21508. Solve -b - 2 = v*o, 5*o + 2*b - 7 = -12 for o.
-1
Suppose 3*h + 6 = 0, -35*j - 5*h - 18 = -39*j. Solve -2*d + 5*y = -3 - 20, 3*y = j*d - 17 for d.
4
Suppose 0 = -182*l + 170*l + 36. Suppose 2*d + l*k = -8, -3*d - 8 = 2*k - 6. Solve 5*h + s = 9, 4*s + d = -2 for h.
2
Suppose v = -3*v + 8. Let l(a) = 42 - 29 - a**v + 7*a - 2*a. Let y be l(0). Solve 5*j = 3*c + y, -c - 5 = -3*j + 2 for c.
-1
Suppose -318*w + 4 = -320*w, 0 = -5*l + 3*w + 26. Solve -3*m + 7 = 4*y, -l*m = -5*y + y + 28 for y.
4
Let q be 1*(-2 - 0) - -5. Let w(p) = p + 1. Let i = -53 - -62. Let t be w(i). Solve 3*l - 3*m - 1 = -t, -5*m + 5 = -q*l for l.
-5
Let o = -30 + 30. Let f be (3/2)/(6/(-8)). Let v be 5 + (-16)/f + -4. Solve 0*i + v = i + 4*g, 5*i + g - 26 = o for i.
5
Let g = 525 - 499. Suppose g*t - 2 = 76. Solve 5*b = -q + 2*q - 9, q - t*b = 5 for q.
-1
Suppose 5*p - 4*f - 64 = 0, 12*p = 14*p + 5*f + 14. Solve 0 = 5*k - 4*k + 4*d + p, 4*k + d = 13 for k.
4
Suppose 4*y - 10 = g, y - 453*g = -448*g - 26. Solve 4*b = 4*k + y, k - 3*b - 70 = -71 for k.
-1
Suppose u + 2*a - 54 - 12 = 0, 87 = u - 5*a. Suppose 2*o = -2*w + 28, 0 = -7*w + 12*w + 3*o - u. Solve 0 = i - 3*g + 5, 3*g = i - 4*i - w for i.
-5
Let a be 17/(119/12)*(-14)/(-6). Solve -j = -2 + 3, 2*n + a*j - 6 = 0 for n.
5
Suppose 5*t = n 