 + v. Suppose 0 = -h - 1, -j*h + 0 = s - 2. Solve -s = -o, -3*i + 4*o = 3*o + 2 for i.
1
Suppose -64 - 23 = -29*x. Solve 0 = -2*z + 3*d - 10, x*z + 4*d + 10 + 5 = 0 for z.
-5
Let c be ((-3 - -6) + (-4 - -2))*3. Suppose -4*w = -3*r + 49, -c*r + 11*w + 59 = 12*w. Solve -3*q + 4*q - 2 = -v, -5*v - 2*q + r = 0 for v.
5
Let r = -4 - 8. Let c = 16 + r. Suppose -7*b - 3*b + 40 = 0. Solve 0 = b*l + 3*m + 11, -7 = -l - 0*l - c*m for l.
-5
Let l = -941 - -946. Suppose -l*w + 248 = 43. Let o = 12 + -8. Solve -5*d = q + 2*q - 35, 0 = 5*q + o*d - w for q.
5
Let k = -3062 - -3092. Solve 4*h + k = 5*i - 6, 5*h = i - 24 for h.
-4
Let j = -80 + 198. Let s be 3/(j/136 + (-4)/34). Solve 4*z - 16 = -4*n, -3*z - 8 = z - s*n for z.
1
Let z = -1529 + 1537. Solve -2*l + 5*p = 10 + z, -2*l = p + 6 for l.
-4
Suppose -2*v + 3*u + 2 = -10, 5*v - 5*u - 30 = 0. Let q be (-2)/6 - (-5 + (-8)/v). Let w be -8*(-1*2 + q/4). Solve -4*a + 2*d = -10, -w*a + 7 - 18 = 5*d for a.
1
Let j(o) = -3222*o + 10 + 3250*o + 7 + 14. Let i be j(-1). Solve 0 = 5*v - 4*b - b + 40, -3*v = i*b - 6 for v.
-3
Suppose 0 = g + 5*u + 22, 92*g - 96*g + 4*u = -56. Solve 0 = -2*m - 0*m - q - g, m - 2 = q for m.
-2
Suppose -2*y = -3*u - 10, -7*y - 12 = -10*y + 3*u. Suppose -2*s = -4*t + 16, -2*t - 2*s = t + y. Solve 5*o + 0*j - 22 = -j, -2*o + 3*j = -t for o.
4
Let s(f) = 4*f - 25. Let h be s(7). Suppose -2 = -h*j - 2*p, 4*j + 3*p = 2*j - 7. Suppose j = 79*x - 75*x. Solve 2*l = -3*c + x, 3*c + 27 = 3*l - c for l.
5
Suppose -w + 27 = 23. Let y(x) = x**3 - 5*x**2 + 5*x + 7. Let b be y(3). Solve -2*v - 4 = -3*h + 3, 4 = -w*v + b*h for v.
4
Let h = -289 + 527. Suppose -46*f = -29*f - h. Solve 3*o + f = -q, -5*q = -2 + 27 for o.
-3
Let a be 15/60 - (-111)/4. Let u be -2 + (5 - 2 - -79). Let c = u - 77. Solve -a = -c*m + 4*w - 4, -4*w = 12 for m.
4
Let i = -94 - 396. Let k be -21*42/i + (-1)/(-5). Solve -k*o = 3*p - 16, -4 = 5*p - 4*o + 6 for p.
2
Suppose -52 = -21*a - 10. Let q be ((-26)/(-65))/(a/20). Solve 9 = 3*y - 3*r, -q*y - r + 12 = 4*r for y.
3
Let t be -4 + (-3 - (5 + (-96)/4)). Let j be ((-9)/6)/3*2*-2. Solve -2*n - 8 = 0, j*i + n + n + t = 0 for i.
-2
Let z(v) = 9*v + 247. Let i be z(-27). Solve 2*j + 6 = -k, 53*k + 24 = -i*j + 54*k for j.
-5
Let y be (-6 - (0 + -1))*6/(-10). Suppose -y*n + 87 = 90. Let u be n/(-6) - (-55)/30 - 0. Solve -h = u*k + 13, -h = -4*h + 5*k + 16 for h.
-3
Let v(w) = -w - 10. Let c = -191 + 99. Let s = c - -78. Let n be v(s). Solve -2*o + y - n = -3*o, -3*y = 5*o - 12 for o.
0
Let j = 1190 + -1188. Solve 4*i = -j*x - 12, -5*i = -24*x + 19*x for i.
-2
Suppose -18322 = -31*r + 3502. Let a = -698 + r. Solve 2*n = 2*d, 5*d = -n - 0*n - a for d.
-1
Suppose k = 10 + 5. Let x be (30/9)/((-8)/6 - (-50 + 48)). Suppose 3*z = 5*w + 55, -3*z - 5*w = -3 - 2. Solve -4*h + 2*h - 3*s = -z, -3*h - x*s = -k for h.
5
Let d(n) = n**3 - 24*n**2 - 22*n - 29. Let r be d(25). Let p = r - 26. Suppose 2*t = -10, -3*h + 17 + p = -5*t. Solve 3*l = -k - l - 19, -h*l = 2*k + 22 for k.
-3
Suppose 3*m - 24 = 3*d, 2*m - d = -0*d + 11. Suppose 4*g - 3*g + 1 = -2*w, -m*w - 9 = 3*g. Solve 5*p - 20 = -2*c, w*p + 2 = 6 for c.
5
Let j be -4*(-6)/18*3. Suppose 0*f + 12 = -2*u + j*f, -30 = -5*u - 5*f. Solve 0 = -4*c + 5*r - 18, -10 = u*c - 4*r + r for c.
-2
Let d be ((-2)/((-4)/43))/(141/282). Suppose d*u - 105 = 22*u. Solve 4*n + 4 = 2*n - 3*a, 6 = -4*n - u*a for n.
1
Let l(x) = x - 5. Let r be l(2). Let w = -1 - r. Let c(o) = o**3 + 3*o**2 - 6*o - 7. Let m be c(-3). Solve 0 = -a + 4*s - 21, a - w*s + m = -0*s for a.
-1
Let b be 244/(-183)*(-3)/(-2). Let c(m) = 18*m + 46. Let j be c(b). Solve v + 2*v = -a + j, -3*v + 5*a - 14 = 0 for v.
2
Let s(c) = -2*c**3 + 29*c**2 - 9*c - 33. Let o = -834 - -848. Let j be s(o). Solve -3*m = -6*m + 5*n, -4*n = 5*m - j for m.
5
Let h = 2131 - 2112. Solve 0 = -t + 4*c - 6, 0 = 23*t - h*t + 4*c - 16 for t.
2
Let b be (-4)/(-38) + (-1872)/(-988). Suppose -102 = 8*n - 6. Let x be (8 + b)*(-1 + n/(-8)). Solve 4 = -3*t + x*o, 4*o - 2*o = 4 for t.
2
Let k(y) = -y**3 + 37*y**2 - 327*y - 45. Let b be k(15). Solve 0 = 5*h - 5*t + 20, 7*h - 10*h - t - 16 = b for h.
-5
Suppose -33*p - 59 = -59. Solve 32 = -4*d + 3*q - 0*q, 4*d - 2*q + 28 = p for d.
-5
Let r(k) = -44*k + 276. Let d be r(6). Suppose -21*p - d = -75. Solve -p*v = -0*v + 3*a - 12, -5*v - 7 = -4*a for v.
1
Let r(j) = j**3 - 9*j**2 - j + 15. Let t be (-833)/(-85) - (-12)/(-15). Let d be r(t). Solve -d*s + s - 14 = -2*p, 4*p + 8 = s for s.
-4
Let r = -10887 - -10889. Solve r*p - 15 = 5*y - 1, -12 = -3*p + 3*y for p.
2
Let t(x) = -x**3 + 2*x**2 + 5. Let b be t(0). Suppose -a = 3*a + 3*m - 29, -b*a - 5*m + 40 = 0. Solve -a*n - 2*k = 20, -k + 2 - 3 = -2*n for n.
-2
Suppose -7*w = 5*j - 3*w - 108, -3*j + 4*w = -116. Solve a = 18*l - 19*l, 3*l - 4*a = -j for l.
-4
Let j(f) = 92*f - 2112. Let l be j(23). Solve 2*k - l*t = -4, 5*k = -6*t + t - 40 for k.
-6
Suppose -37*z + 158 = -249. Solve -q + x = 2, 0 = 5*q - z*x + 9*x + 16 for q.
-4
Let p be (-6)/(144/120) - 3*-3. Solve -b + 5*b - 16 = p*g, -b - 5 = 2*g for b.
1
Let d be (-1156)/18 + (-12)/(-54) - 6. Let p be (d/(-315))/(2/18). Solve -5*q + 4*l = -p*q + 15, 5*q + 5*l - 10 = 0 for q.
-1
Let f be (868/8)/7 + -12 - (-3)/(-2). Solve -4*p + 8*x + 17 = 9*x, 0 = f*p + 3*x - 1 for p.
5
Let f be 4 + (-875)/70 + ((-30)/(-4))/(-3). Let z = 1 + -8. Let p = z - f. Solve -t + 1 = -2*a + 6, a + t = p for a.
3
Let t be (-4 - (-5 + -1)) + 8. Suppose -39 = 17*d - 30*d. Solve 21 - 7 = h - 4*p, h = d*p + t for h.
-2
Let w be 7/168*(-14736)/(-307). Suppose 10 = 3*n - 2*c, 5 = 3*n - 4*c + 3*c. Solve n = l - 4*g - 21, -3*g + 0*g - 17 = -w*l for l.
1
Let a(m) = m + 18. Let f be a(-7). Suppose f*r = 53 - 9. Solve 4*s + 16 = 0, 0*s = r*v - s - 12 for v.
2
Let q be (-54)/243 - 52/9. Let z be 1596/308 - q/(-33). Solve 2*m + 2 = 2*r, 2*r + 2*m = 9 + z for r.
4
Suppose -87*i + 71*i = -96. Solve -i*x - 3*o - 1 = -5*x, 2*x + 4*o = 0 for x.
2
Let i(l) = 5*l + 30. Let c(x) = x**3 + 8*x**2 + 10*x + 16. Let j be c(-7). Let k be i(j). Solve k*u - 19 = 6, 0 = 4*w - 4*u for w.
5
Let b be (-2 + 51)/(4/(-4)). Let f = 58 + b. Solve 3*x = f, 2*a - 5*x + 10 = -11 for a.
-3
Let a = 627 + -307. Let c = -317 + a. Solve c*o = -3*n - 2 + 8, -4*n = 5*o - 7 for o.
-1
Suppose 3*p + 131 - 107 = 0, 3*s = 3*p + 48. Let u(o) = -4*o**3 + 2*o**2 + o. Let z be u(-1). Solve -d = -3*w + s, -d + z*d - 7 = -w for w.
3
Let m be -7*((-244)/7 + 6). Suppose n = m - 199. Solve 0 = -n*u - 2*j + 8, 2*u + 4*j - 4 = -u for u.
4
Suppose 2*h - l = 3, 9*l - 14*l + 5 = -5*h. Solve 0 = h*k - 2*o - 10, 5*k - 30 = -0*k - o for k.
5
Let k = -1093 + 1101. Solve -t + 5*m = k + 11, -t = 4*m - 26 for t.
6
Let b = -10630 + 10632. Solve -22*r + 27*r - 5*x = 30, 0 = -5*r + b*x + 18 for r.
2
Let w be (105/245 + 76/(-14))/(-1). Solve -w*k = 5*u + 10, 3*u = -u - 5*k - 9 for u.
-1
Let j = 8373 + -8358. Solve -5*u - 3*k + j = 0, 0 = -4*u - 3*k + 10 + 2 for u.
3
Let u = 1440 - 1438. Solve 5*h - 30*d + 4 = -34*d, 0 = -2*h - 2*d - u for h.
0
Let a = 878 + -873. Solve -2*x + 2*c + 2 = -c, -a*x - 2*c = 14 for x.
-2
Let v be -4*-1*2*((-15)/10 + 2). Solve v*m = -i - 10, -45*i + 5*m = -47*i - 11 for i.
2
Let m(y) = -10*y + 232. Let q be m(-6). Let o be (q/(-1095))/(4/(-30)). Let c be 1*-6*(-2)/4. Solve -2*s = -o*f - 12, c*f + 3*s = -2*s + 22 for f.
-1
Let n = 63 + -149. Let y = -68 - n. Solve 3*i = -2*q + y, -6*q + 13 = i - 3*q for i.
4
Let l = 41568 + -41565. Solve s = i, 17*s = 20*s + l*i - 30 for s.
5
Suppose 4*m + 3*y + 2*y - 212 = 0, -m - y = -53. Let c = m + -52. Solve -5*i = 4*w - 12 + 31, -i + 2*w = c for i.
-3
Let o = 82 + -47. Suppose -3*l + 12 = s, 0 = 3*l - o*s + 33*s - 12. Solve f - 14 = 3*p, -f - l*p - 10 = 11 for f.
-1
Suppose -148*l + 948 + 1 + 827 = 0. Solve t + 5 = -3*o, 9*o = l*o - 3*t - 15 for o.
0
Let n(u) = -2*u**3 - 132*u**2 - 6*u - 393. Let y be n(-66). Solve 0 = 3*f + 2*t + 2, 5*t + 15 = -y*f + 10 for f.
0
Suppose k - 3*q = -259, 5*q - 443 - 572 = 4*k. Let l = k - -250. Solve v - 4 = 2*h, -12 = 3*h - l*v - 3*v for h.
0
Let n be 4*2/4*1. Suppose 91 = 6*s - 5. Suppose -5*x = 5*k - 7*x - s, 2*x = -4*k + 2. Solve -4*r - 20 = -r - k*t, -5*r - n*t - 12 = 0 for r.
-4
Let n be (-15)/(-5)*-6*(-2)/36*8. Solve -2*x + 135*s + 8 = 132*s, 2*x + s = n for x.
4
Let h = -