
Let d(j) = j**3 + 148*j**2 + 450*j + 2177. Let n be d(-145). Let r = -16 + 22. Suppose 18 + r = 2*q. Solve n*x = b - 11, -5*x = b + q - 2 for x.
-3
Let l be (3/(-4))/(8/(-480)). Let t be (6/15)/(3/l). Let x = -89 - -94. Solve 4*z - 7 = w, -x*w + 3*z - 12 = t for w.
-3
Suppose -27 = -3*d + 3*p - 1389, -4*p = 4*d + 1792. Let r = d - -516. Solve -5*y - r + 20 = -5*o, -5*y - 3*o = 5 for y.
-4
Suppose -37 = -5*i - 6*o, -18 = -139*i + 135*i + o. Solve -3*n - i*u = 4, 166*u + 4 = n + 165*u for n.
2
Suppose -87*i = -130 - 128 - 3. Solve -5*l + 5*s = 10 + 5, -i*l + 16 = 2*s for l.
2
Let s(p) = p**3 - 75*p**2 + 986*p + 5. Let q be s(58). Let j = -5 + 10. Let c = j - 2. Solve -c*r = 3*y, -20 = q*r - 3*y + 4*y for r.
-5
Suppose q - 5 = -l, 7*q = -2*l - 19 + 44. Solve 0 = -q*j - 2*b + 1, -4*b + 98 = -5*j + 107 for j.
1
Let s be (8/(-12))/(8/(-108)). Let j = -55 + 58. Suppose j*x - 14 = -2*b + 3*b, 4*b - 9 = -x. Solve 5*f - s - 7 = 3*t, -16 = -3*f + x*t for f.
2
Suppose 41*i + 20 = 45*i. Solve i*q - 12 = 4*f + 7*q, 4*f = q - 24 for f.
-5
Let t(v) = v - 3. Let i be t(3). Suppose -5*f + 1 - 6 = i. Let d be -1 + f - (10 + -17). Solve -d*m = -4*s, m - 36 = -3*m - 4*s for m.
4
Let r(h) = 114*h + 806. Let z be r(-7). Solve -5*p - z*o = -20, o + 8 = 2*p - 0*p for p.
4
Suppose -13*s + 22*s + 675 = 0. Let z = s - -75. Solve 4*a + 34 - 10 = -5*g, 2*a - 4*g - 14 = z for a.
-1
Suppose 4*t = 4, -17 = -5*n - t - 6. Let s be (n*-1)/(-2)*(-30 + 21). Let k(d) = 3*d + 32. Let q be k(s). Solve 0 = p - q*u + 5, -2*p + 3*u = 6*u - 16 for p.
5
Let g = -32 - -32. Suppose w + 2*u + 3 = g, 0*u - 5*u = w + 6. Let b = 5 - w. Solve -b*q + d = -3*q + 9, -4*q = -d + 12 for q.
-3
Suppose -3*i - 5*y = -y - 25, 0 = -5*i + y + 34. Suppose -342*h + 191*h = -302. Let o = 36 + -19. Solve -q = l + i, h*l - o = 5*l + 2*q for l.
-3
Let o = 4 + -1. Let n be 84/140 + (-28)/(-20). Solve -o*d - n*v + 9 = v, 2*v = 2*d + 14 for d.
-2
Let q = -76 + 81. Suppose 0 = -2*t - q*s + 31, -s = 2*t + 8 - 35. Suppose 8 + 2 = -2*z, 2*z + t = l. Solve -l*h = 3, 4*g + 2 = g - 5*h for g.
1
Let n be ((-77)/4)/(3/12). Let x be (3 - -143)*19/(-38). Let r = x - n. Solve 0 = -2*l + 2*b, -3 = -3*l - r*b + 4 for l.
1
Let c(m) = -3*m - 25. Let q be c(-9). Let a(u) = -9*u**q + u**3 - 132 + 135 + 0*u**3. Let n be a(9). Solve 31 = 3*z + 4*x - 0*x, -z = -n*x + 7 for z.
5
Suppose -24 = -134*u - 151*u + 3111. Solve -9*t + 12*t = 5*s - u, 3*t = -2*s + 17 for t.
3
Let y(s) = 223*s + 2457. Let t be y(-11). Solve t*x - 5*d - 14 = 0, 3*x + 18*d - 15*d = -3 for x.
1
Let v(t) = t + 47. Let o be v(-29). Let w(c) = -4*c + 75. Let l be w(o). Solve 2*x + 2*j = -18, 2*x = 2*j - l + 1 for x.
-5
Suppose -54*f + 527 = 149. Solve l = -s + f, -24 = -5*l + l - 3*s for l.
3
Let r(k) = 7*k + 116. Let q be r(-15). Suppose u + 4 = -5*a + 2*a, u - q = 2*a. Solve -3*b - o - 5 = 4*o, 0 = -5*b + 5*o + u for b.
0
Suppose -4*p + 20 = 0, -4*g + 68*p - 66*p = -50. Solve 3*z + 17 = -19*f + g*f, 2*z = -3*f - 13 for z.
1
Let k be (-9)/36 - (-34)/8. Suppose k*a - 3*a = 2. Solve -a*x = 3*q - 5, x = q - 4*q + 4 for x.
1
Let a = 2 - 147. Let n be (174/a)/((-6)/40*-2). Let u be (n/5)/((-30)/150). Solve 0 = -7*x + 4*x - 5*h - 12, -2*h - 10 = -u*x for x.
1
Suppose 0 = -r - 2*a + 19, 21 = 4*r - a - 2*a. Suppose r*c - 11*c - 6*c = 0. Solve h = c, 5*h + 0 + 3 = 3*u for u.
1
Let n = -2103 - -2115. Solve 3*f = -2*u - 4, -2*u - n = f - 2*f for u.
-5
Let g(a) = -645*a - 7090. Let y be g(-11). Solve 3*j = -2*t - 28, -y*j - 3 = -3*t + 12 for t.
-5
Let u = -43 + 121. Suppose -4*t = 5*a - u, 3*a - 32 = 3*t + 2*t. Suppose c = 3*v + 4*c, 3*c = 4*v - a. Solve -h + 0*w - 4 = v*w, -8 = -5*h - 3*w for h.
4
Let m be (-16)/(-6)*(-18)/(-8). Suppose 20*j - 18*j = m. Solve j*t = -3*s - 24, 3*s + 20 = -s - t for s.
-4
Let h(q) = q**3 + 23*q**2 - 25*q - 27. Let x be h(-24). Let s be 6/(-9*x/90). Suppose 2*o - 16 = -2*o. Solve -5 = -o*r + b + 2*b, r - s = -3*b for r.
5
Suppose -3*z - 338 = -362. Let n(l) = 13*l - 101. Let r be n(z). Solve -4*h + 7 = -f + 4*f, 0 = 4*f - h - r for f.
1
Let b(o) = o**3 + 30*o**2 - 3*o - 80. Let f be b(-30). Solve -3*s + 5 = -5*g, -3*g + f = 5*s + 47 for g.
-4
Let r be 3*-1 + (-35)/7 + 510. Let p = -471 + r. Suppose 0 = 2*y - 6 - 0. Solve y*l = 5*b - p, 0 = l - 2*b + 4*b - 8 for l.
-2
Suppose 126*t + 4482 = 132*t. Let d = t - 745. Solve o = -d*v - 9, -4*o + 5*o - 6 = 3*v for o.
-3
Suppose 119 + 137 = 8*l. Suppose -38*j + 60 = -l*j. Solve 2*r = -a - 4, j = -9*r + 4*r + a for r.
-2
Let o be ((12/32)/((-2)/(-8)))/(-3)*0. Solve -2*g + 7 = 5*s - 2, o = 3*s - 3 for g.
2
Let p be (1/(-6)*0)/(-6). Suppose p*n + n + 0*n = 0. Solve 0 = -4*z + 4*s - 9*s + 41, n = -s + 5 for z.
4
Let c(g) = 4*g**2 + 7*g - 6. Let k be c(1). Suppose -7*t - k + 19 = 0. Solve -2*z + t*l = -6, -3*z = 3*l + 4 + 5 for z.
0
Suppose -4*z - 136 = -8*z. Let t = z - 31. Let v(h) = -h**3 + 3*h**2 + 4*h - 1. Let b be v(3). Solve 5*y + 16 + 19 = 4*g, -b = -4*g - t*y for g.
5
Let o = 16199 - 16199. Solve -2*x - 3*x = -25, -5*v + 3*x + 5 = o for v.
4
Let g(n) = 3*n**2 - 104*n + 448. Let x be g(5). Solve -5*q + 34 = -3*k - 1, -5*k - 13 = x*q for k.
-5
Let c = -16 + 18. Suppose 3*r = -3*h + 2*h - 6, c*r + 4 = h. Let k be (15/((-15)/r))/(2/5). Solve b - 1 = 0, k*d + 4*b = 5*b + 9 for d.
2
Suppose 0 = -66*t + 88 + 242. Solve k + 4*i = 0, -3*k + t*i - 6 = 11 for k.
-4
Let f be ((-18)/8)/(3*2/(-16)). Let y be ((-4)/3)/(f/(-27)). Suppose -2*i - 3 = 2*h + 1, h + y = -3*i. Solve -4 = -u - h, -w + 2*u = 9 for w.
-1
Suppose -80*z + 522 = -22*z. Solve 7*p = b + z*p + 7, 5*p = 2*b - 4 for b.
-3
Let p = 50 - 32. Let x(t) = 5*t + 49. Let q be x(-9). Suppose 0 = w - q*s - 4, -4*s + 2 = w - p. Solve -w = -n - 4*o, -2*o + 4*o - 6 = 0 for n.
0
Suppose 2*w = -6, 5*w = 12*b - 2*b - 5*b - 20. Let t be 2*1 - (2 - 2). Solve 5*j - t*f - 4 = 0, 4*j = 4*f + 7 + b for j.
0
Let r = 66883 - 66879. Suppose 3*y - 2*y = 4*m + 1, -4*y = -4*m - 16. Solve -d = r*a + 13, -3*d + y*d - 10 = a for a.
-4
Suppose 48*x - 45*x = -w + 17, w - 2 = 0. Solve 4*a = 5*t + 7, t + 4 = -x*a + 3*t for a.
-2
Suppose 8*l - 957 = 451. Let q = l + -164. Solve q = 4*b + 2*u, u + 2*u = 4*b - 2 for b.
2
Let p be ((-2)/(-12 - -6))/(3/207). Suppose 7*t + p - 37 = 0. Solve -d + c = -7, 0 = -3*d - d - t*c + 16 for d.
5
Let u be (40 - -40)/16*(-4)/(-10). Solve -u*d - 86*o = -83*o - 11, 3*o = -3*d + 12 for d.
1
Let g = -3027 - -3028. Solve -10*x + v = -11*x - g, -3*x = -v + 19 for x.
-5
Let v = -153 + 157. Suppose 4*x = 5*c - 68, -3*x = -x + v. Solve 4*f - 5*d + c = 0, 0*f = 3*f - 4*d + 10 for f.
2
Let p be 11 + 25/(10 - 5). Suppose -3*t = -2*t + 4*a - p, a - 4 = t. Solve -4*w = -5*u - t*u + 37, -5*u = 3*w - 16 for w.
-3
Let v(b) = -2*b**3 - 2*b - 72. Let q be v(0). Let r = -81 - q. Let m = r - -12. Solve -m = -o + p, 4 + 1 = -3*o - 4*p for o.
1
Suppose -11*i + 245 = -4*i. Let p = -29 - -33. Suppose 0*u + u + 2*o = 6, 4*u - p*o = -12. Solve -4*k + 3*y + i = 0, u = -5*k - 2*y + 10 + 5 for k.
5
Suppose 4*s = 3*z + 6, 0 = -2*z + 6*z + s + 8. Suppose g = 6*g + 6*g. Let x be (z/(-4))/(4/56) + g. Solve 0 = -2*d + b + x, 0 = -0*d + 5*d + 5*b + 20 for d.
1
Let i(h) = h**3 - 15*h**2 + 20*h - 51. Let k be i(14). Solve 3*w - 42*l - k = -37*l, -w + 5*l = -21 for w.
6
Let j(y) = y**3 - 3*y**2 + 8*y - 18. Let i be j(3). Let s be 4/i*(1683/(-22))/(-17). Solve -s*p = -f + 3, -p - 2 = 5*f + p for f.
0
Let g = 550 - 375. Suppose 645*f = 652*f - g. Solve -5*t + 5*d - f = 0, d = t + 4*d - 3 for t.
-3
Let a be ((-502)/10 - -2) + 1/5. Let b be a/432 + (-37)/(-9). Solve 0 = 3*s + 2*r + 21, -5*r = -b*s + s for s.
-5
Let a be 0 + 4*-2 + (-80)/(-8). Solve 5*d + a*g = 0, 6*g = -d + g for d.
0
Suppose -1431*g + 1430*g + 3 = 0. Solve -g*d - 17*i + 22 = -13*i, -5*d = i - 14 for d.
2
Let z(r) = -128*r + 2819. Let o be z(22). Solve 0 = -22*j + 17*j - o*n, 2*j = 2*n for j.
0
Let q(s) = 39*s - 932. Let u be q(24). Solve -4*f + 12 = -2*c, -10*c = -u*f - 9*c + 14 for f.
4
Let y = 8648 - 8645. Solve -2*o + y*s + 9 = -3, -s = -o + 4 for o.
0
Let p be ((-255)/(-357))/(-1*2/(-14)). Solve 5*s - 4*s = -2*l + 10, -p*s = -3*l + 15 for s.
0
Let k(o) = 3*o**2 + 367*o - 605. Let i be k(-124). Solve i*x - 4 = -4*j + 12*x, 2*j - 5*x - 2 = 0 for j.
1
Suppose 39*j = -2*j + 25*j + 288. Solve 2*b - 23*w + 30 = -j*w, 1 = 3