e -1 = h*i + m - 0*m, 2*m = v*i - 2 for i.
0
Let c be 5*((3 - -1) + 13). Suppose 6*a + 43 = c. Solve 5*u - 2*m + 14 = -a, -17 = 5*u - 4*m for u.
-5
Let h be 2 + 3 + (4 - (-5 - 257)). Let j = -268 + h. Solve -j*r - 8 - 3 = -4*g, -r - 4*g + 7 = 0 for r.
-1
Let m(k) = 2*k - 14. Let i be m(8). Suppose 168*l + 21*l - 378 = 0. Solve -3*h = -l*h - i, -h - 1 = -t for t.
3
Let n = 298 + -302. Let r(m) = -4*m**2 - 26*m + 1. Let k be r(n). Solve 4*v = 5*s - k, 3*v + 7*s = 4*s + 3 for v.
-4
Suppose 4*g + 2*x - 28 = 2*g, 14 = 3*g - 4*x. Suppose g*r - 300 = -0*r. Solve -5*b + r = -3*p, -b = -3*p - 3*b - 9 for p.
-5
Suppose -61*y = -59*y + 3*x - 8, 5*y = 4*x + 20. Suppose y*u + 22 = 3*w, -2*u - 5 = 3*w - 3. Solve -5*a + 25 = -w*a - 5*f, 3*f = -15 for a.
0
Suppose -35 = -8*x + 3*x. Let y be 3 + (3 - x) + 2. Let p be 2/(1/(9/18)). Solve s = y, -s - p = v + 1 for v.
-3
Suppose -222*d + 219*d + 33 = 0. Solve -2*t = -4*q, -3*t - d = 2*q - 3 for t.
-2
Let k = 251 - 255. Let n be ((-1)/k)/((-3)/(-36)). Solve n*j = -3*v - 3, -2*v + 8 = 4*j - v for j.
3
Suppose 4*r + 15 = -3*o, 6*r + 15 = r - 3*o. Let h(b) = 11*b**2 + 4*b - 15. Let i be h(5). Let p = -268 + i. Solve -5*s - p = -4*x, -s = -3*x - r*x + 9 for s.
0
Let r(h) = -3*h**3 + 16*h**2 + 6*h - 52. Let y be r(5). Solve 1 = -4*t + 3*w, y*t + 11*w = 14*w for t.
-1
Let a = -3 + 284. Let w = -278 + a. Solve -w*c = -2*h + 5, -h = -2*c - 4*h + 14 for c.
1
Suppose 5*b - y - 2208 = 0, -4*b - 983 = -3*y - 2745. Suppose -n + b = 3*v + n, 4*v - 2*n = 594. Suppose z + 143 = v. Solve w = -1, -2*w + 0*w = -3*t + z for t.
1
Let a be 106/9 + (-12)/(-54). Let m be ((-90)/a - -5)/((-1)/2). Solve 0 = -q + f + 3, -3*q - m*f = q + 6 for q.
1
Let m(d) = d**3 - 15*d**2 + 27*d - 19. Let s be m(13). Let c(z) = z**2 + 10*z + 26. Let w be c(s). Solve 0 = -5*q - w*o - 29, 5*q = q - 2*o - 24 for q.
-5
Let k(c) = c - 8. Let p be k(11). Let z = -16 - -10. Let q be -16*(-5)/5 + z. Solve -4*h + 0*d = -2*d + q, p*d + 17 = -2*h for h.
-4
Let z(n) = -2261*n - 2261. Let b be z(-1). Solve -5*i + s = -15, 4*i + b*i = -s + 3 for i.
2
Let o = 309 - 1067. Let w = o + 760. Solve 4*i = -w*k + 4, -i - k = -3*k + 4 for i.
0
Let h be (-1)/((-27)/(-2)) - (-3300)/810. Solve 0 + 17 = 3*c - h*w, 5*c + 3*w - 9 = 0 for c.
3
Let y = -5120 - -5140. Solve -b = -9*o + 6*o, -5*b = 5*o + y for b.
-3
Let k = 141 + -130. Suppose 22 = -k*b + 220. Solve -4*u - 27 = 5*h, 3*u = -h - 2*u - b for h.
-3
Let v = 460 + -455. Suppose -37 = v*j - 42. Solve 2 = 2*r + 4*n, 5*r + 3*n + 1 = -j for r.
-1
Let q be (-1)/(-3)*(7 - 4)*11. Suppose -2*k = -3*n + q, -1 + 6 = n. Solve k*p + 26 = -4*c, 0 = -3*c + 5*p + 21 - 8 for c.
-4
Let v = -147 - -182. Suppose 5*k - 4*b = v, -3*k + 0*b - 5*b = -21. Solve 3*i - k + 34 = -5*g, -5*g - 15 = 0 for i.
-4
Let h(m) = -195*m - 312. Let v be h(-2). Let u = 80 - v. Suppose 3*t - 20 = -t. Solve 0 = -2*r + 3*l - u*l - 4, r + 3*l = t for r.
-1
Suppose 0 = 24*n + 10847 - 11399. Solve -g - 7 = -d, g = 3*d - 8*d + n for g.
-2
Suppose 2*w = -2*c, -4*c - 102 = -4*w - 102. Solve c = -i + 4*o + 4, -26*o = 4*i - 22*o - 16 for i.
4
Suppose 17*u + 7 + 10 = 0. Let r be 4 + u + (-3)/(-9)*0. Solve -4*w = 5*d - 13, -d - 10 = -r*d for w.
-3
Suppose 0 = -91*f - 33*f + 496. Solve 4*y = f, 2*y = 3*z + 1 + 16 for z.
-5
Suppose 4*h - 23 = t, 0*h + 9 = 2*h - 3*t. Let a = -115 - -201. Let b = -84 + a. Solve 0 = -2*i + h + b, 0 = -5*f - 5*i for f.
-4
Let d(g) = 3*g + 30. Let c be 53/4 + (-17)/4 + 4. Let j be (-1)/(-1) - -3 - c. Let h be d(j). Solve 2*v = x + v - 8, 2*v + 20 = h*x for x.
4
Let q(j) = 3*j + 11. Let r(i) = -4*i**2 - i. Let f = -38 - -37. Let l be r(f). Let v be q(l). Solve -3*z - 7 = 4*d, 2*d + v*z = 4*z - 14 for d.
-4
Let u(k) = 40*k - 1. Let w be u(1). Suppose -38*s - 3 = -w*s. Suppose a = 2*a - s*p - 12, 20 = a - 5*p. Solve a = -4*o + f + 12, 0 = 5*o + 5*f - 8 - 7 for o.
3
Let m(c) = -c**2 - 9*c + 19. Let n be m(-9). Let x(g) = -8*g**2 + 11 + 8*g**2 - 11*g + g**2 + 3. Let y be x(10). Solve y*d = -k, 3*d - 3*k + n = k for d.
-1
Suppose -61*j + 16 = -57*j, 4*m - 24 = -j. Solve 22*p = 2*h + 21*p + 5, m*p = -5 for h.
-3
Let q(o) = 2*o**2 + 19*o + 24. Suppose -8*f - 4*j - 16 = -6*f, -5*f + 3*j - 40 = 0. Let w be q(f). Solve 0 = -w*l + 4*l - 3*z - 12, -4*l + 12 = -2*z for l.
3
Let p = 137 - 68. Suppose 1696 = -16*h + p*h. Let y = 5 - 2. Solve -4*s - y = -2*f + 3, 3*s + h = -4*f for s.
-4
Let p = -3650 + 3652. Solve c + 13 = p*m, -3*c - m + 0*m = 11 for c.
-5
Let z(j) = -95*j**2 - 1521*j - 20. Let f be z(-16). Let d(b) = 2*b - 4*b - b - 7. Let v be d(f). Solve t = 3*k + 5, -4*k - 2*t = -v*k - 10 for k.
0
Let j = 75 - 65. Let b = -1 + 3. Let w = j - b. Solve w*o + 4*v = 3*o + 40, -3*o - 5*v = -37 for o.
4
Let f be 3/7 + 683/7. Suppose -16*y + f = 18. Solve v = 2*b + 6*v + 5, -5 = b + y*v for b.
0
Let x = -191 - -272. Suppose x = -2*i + 85. Suppose i*k + 4*z = 24, 7*z + 20 = 3*k + 9*z. Solve -4*w - 5*a = -8, -k*a = w - 0*a - 2 for w.
2
Let z = 137 - 726. Let v = 591 + z. Solve -v*q + j = 15, -3*q - 4*j + 10 = j for q.
-5
Let k = -1205 - -1208. Solve -5*i - 6*c = -5*c - 20, 5*c = -k*i + 34 for i.
3
Let m(t) = -t**2 + t + 35. Let s be m(6). Suppose 3*n = 4*c + s, -6*n - 2*c + 5 = -5*n. Solve n*a + 2*o - o = -1, 0 = o - 2 for a.
-1
Let k be 2/4*(-16 - 36). Let a = -17 - k. Solve -14 = -4*v - 2, v = 4*w - a for w.
3
Suppose -6*h + 905 = -7*h + 182*h. Solve 0*p + 4*p = -h*f - 8, 2*p + 4 = 0 for f.
0
Let m(h) = -2*h**3 - 24*h**2 - 41*h - 15. Let a be m(-10). Let c(o) = 2*o**2 - 7*o - 82. Let z be c(a). Solve -z*u - n = 2*n - 6, 3*u + 10 = n for u.
-2
Let m be (20*1/5 - -9) + -11. Solve 3*c - 15 = 0, 14*b + m*c - 30 = 9*b for b.
4
Let d = 12 + 2. Suppose 9*o + 11*o + 15 = 55. Solve 0 = -h + 2*j + 1, o*h + d = -2*h - j for h.
-3
Let m = 2149 - 2145. Solve -3*p + m = k, 17*k - 6 = 2*p + 22*k for p.
2
Let q be -14*(-5)/(-385)*-11. Solve 10 = q*t - 4*s, -5*t - 4*s - 13 = -10*t for t.
1
Let u(g) = -g - 18. Let i be u(-23). Suppose -i*c = -10*c - 4*t + 14, -4 = -4*c + 4*t. Solve c*k + 18 = l + 4, -4*l - k + 11 = 0 for l.
4
Suppose 4*z - 24 = i, 1194*i - 1193*i = -4*z + 40. Solve -2*b = 2*r - 0*b - z, -b = -3 for r.
1
Let s(m) = 2*m**3 - 4*m**2 + 11*m - 18. Let p be s(2). Solve 5*x + 4*c = 7*x - 8, p*x - 6 = -2*c for x.
2
Let s(b) = -60*b - 921. Let p(w) = 6*w + 92. Let t(n) = -21*p(n) - 2*s(n). Let m be t(-15). Solve l - 4*j + 1 = -m*l, 2*l = 5*j + 1 for l.
3
Let c = -24 - 34. Let q = -42 - c. Suppose 0*u - u + 16 = 2*k, -2*k + q = -2*u. Solve -15 + 1 = 2*o - 3*a, -o + 2*a - k = 0 for o.
-4
Let m = -8190 - -8197. Solve 2*n + m*y + 16 = 4*y, -4*n = -5*y + 10 for n.
-5
Suppose 22*a - 6*a - 2 = 15*a. Solve 5*y - 4*h - 20 = 0, 3*y + 12 = 6*y - a*h for y.
4
Suppose -44*r - 5381 = -5689. Solve 19 = 3*b - 2*t, r*t - 4*t + 16 = 2*b for b.
5
Suppose 53*q = 2296 + 2474. Suppose -5*b + 115 = q. Solve b*r = -u + 13 + 16, 4*r = 2*u + 12 for r.
5
Let b(y) = -y**3 - 17*y**2 - y - 1. Let o be b(-17). Let n be ((-8)/o)/((-2)/16 + 0). Solve -n*h = 5*f - 13, 3*h - f = f - 19 for h.
-3
Suppose 4*g - 20 = -g. Let s(f) = -2*f**3 + f. Let y be s(-1). Suppose 2*p = 2*j - 2, -j + y = 2*p - p. Solve p = -5*c - g*r + 17, 3 = c + 2*r + 2 for c.
5
Let c be (-1 + 2)/(74/444). Solve 15 = -2*x + c*f - f, 2*x + 9 = -f for x.
-5
Let o(r) = 92*r - 68 - 29*r - 27*r - 30*r. Let g be o(12). Solve -4*t + 8 = -2*z, -g*t - 12 = -t + 3*z for t.
0
Suppose 17*f - 108 = 11*f. Suppose 4*s + 3*c + 7 = -s, 5*c = 2*s + 9. Let k = s + f. Solve 0 = -5*n - 3*w - w + k, 4*w - 8 = -3*n for n.
4
Let h(n) = 96*n - 13436. Let q be h(140). Solve -2*m - 2 = 4*v, -m - 15 = q*v - 18 for m.
-5
Let j(i) = -10*i + 5. Let x be j(-1). Let v be x/(-5 + 4) - -1. Let r = 17 + v. Solve -16 = 8*m - r*m - 4*y, 12 = 2*m + 3*y for m.
0
Let i(v) = -113*v - 560. Let u be i(-5). Solve s - 13 = 11*h - 7*h, -5*s = -u for h.
-3
Let q = 3074 + -3045. Solve 2*n = 0, -5*b + 4*n + q - 34 = 0 for b.
-1
Let a(x) = x - 2. Let d be a(7). Suppose d*b = 6 - 1. Suppose -91 = -11*q + 4*q. Solve -3*k + 2*k = -w + b, -5*w + q = -k for k.
2
Let k be (-2)/(-4) + (-30)/60. Suppose k = -5*q - 5*j + 5, -j = 1 - 0. Solve s = 2*s + l, -l = q*s for s.
0
Let v be 4158/(-270)*35/(-49). Solve m = -5*h + 15, v = 4*h + m - 2 for h.
2
Let c(j) = j**3 - 7*j**2 - 112*j - 117. Let k be c(1