= -5*u - a + 6*a for u.
2
Let h = 15407 + -15402. Solve -19 = i - h*u - 1, 3*u = 3*i + 6 for i.
2
Let o(p) = p**2 + 12*p + 40. Let j be o(-7). Let a be (-4)/(-3)*12/1. Suppose -k = -j*k + a. Solve -2*u - 5*s = k, 0*u - 10 = 5*u + 5*s for u.
-2
Let u = 6504 - 6501. Solve -2*z - 14 = u*p, 5*p = 7 - 27 for z.
-1
Suppose x = -y + 27, -x + 2*y + 3 = -15. Suppose x*p = 25*p. Solve 2*z + p*m = 3*m - 5, 19 = -5*z + m for z.
-4
Let k = 364 + -361. Suppose 12*r - 150 = -k*r. Solve -5*p = -3*h + 40, r = 5*h + 6*p - 3*p for h.
5
Let o = -567 + 1266. Let k = -696 + o. Solve 4*f - 2 + 3 = -k*m, -4*m = f - 16 for f.
-4
Let r = 15602 - 15597. Solve 3*s = -u - 1, -r - 2 = -4*u - s for u.
2
Let s(i) = 14 - i**2 + i**3 - 9*i + 19*i**2 - 9*i**2. Let q be s(-10). Let j be 1/(-3) + (-43)/(-3). Solve 0 = -q*m + j + 6, 5*m - 24 = -w for w.
-1
Let a(h) = -h**3 - 11*h**2 + 277*h + 27. Let o be a(-23). Solve o*l + 7 = 2*b - 3, 0 = -l - b - 1 for l.
-2
Suppose -12*i + 9 + 15 = 0. Suppose -8*g + 3*g + 645 = 0. Let o = g - 127. Solve 0 = -y - 2*k - 6, -o = -2*y + 4*k + i for y.
-2
Suppose 4*h = -62*x + 58*x + 4, 10 = -2*h. Let r be -3*9 + 4/(-4). Let a be 3/15 - r/10. Solve 0 = -4*b - a*t + 28, 8 = -4*t + x*t for b.
4
Let y(j) = -2*j + 60. Let m be (-2)/(((-36)/56)/9). Let v be y(m). Suppose -2*u + 12 = 4*u. Solve 6*w - w - 4*p = 8, -v = u*w - 4*p for w.
4
Suppose 0 = -w - 4*a - 6, w - 3*w = -2*a - 18. Suppose w*f = -8*f + 126. Let v be f/6*(-2)/(-1) - -1. Solve -2*t + 5 - 3 = 5*q, -2*t = v*q - 2 for q.
0
Suppose 0 = 3*x + 10*x. Suppose -2*v + 7*v - 15 = x. Solve -m = -4*l - 15, 25 = l - v*l - 3*m for l.
-5
Let o = 76 - 57. Suppose -16*l + 13*l + 4*w = -49, -2*w = -l + o. Solve 5 = 4*r + 3*b - l, r - 3*b + 11 = 0 for r.
1
Let g be (-1)/(-2)*(29 - 29). Let c(v) = v**3 - 2*v**2 + v - 51. Let z be c(g). Let l = z + 55. Solve -i = 2 - 4, -l*s + i = 10 for s.
-2
Let q = -574 - -574. Solve -3*h - 2*k - 15 = q, 28*k - 25*k = -5*h - 24 for h.
-3
Suppose 31*o - 30*o = 2. Let b = -4471 - -4476. Let g = 12 - 8. Solve g*y + 18 = b*a, y - 4*y - o = 2*a for a.
2
Let v be (16 + 8)/3 + 9. Solve -s - v = -5*t, -11 = -4*t + 5*s + 11 for t.
3
Let a(d) = d + 2. Let l be a(3). Suppose l*s - 35 = -2*s. Suppose -s*n = -15 - 0. Solve n*i + 5*p + 4 = 0, -16 = 4*i - 4*p - 0*p for i.
-3
Let o be (0 - -1) + -3 + 4. Suppose 0 = -s + o*b - 6*b + 11, 2*s - b = 4. Suppose 487*u - 492*u + 25 = 0. Solve -s*g - 6*n = -3*n - 6, 3*n - 30 = u*g for g.
-3
Let y be (312/18)/((-2)/18). Let h be y/(-13) - 5/1. Suppose -36 = -h*v + 125. Solve 3*u - 5*p + 8 - v = 0, -6 = 2*p for u.
0
Suppose -2281*y + 2294*y = 117. Solve -3*k - 18 = -2*t, -y*t + 14 = -7*t - 2*k for t.
3
Suppose 0 = -4*q + 12, -3*o - q = 4*q. Let n(z) = z**3 + 6*z**2 + 6*z + 8. Let k be n(o). Let f = -6 - -11. Solve 4*r + 36 = f*i, k*r + 0*r + 12 = 0 for i.
4
Suppose -5*g - 35 = 0, 0 = 3*m - 39*g + 41*g - 31. Solve -s - 3*i + m = 21, -2*s - 3*i - 6 = 0 for s.
0
Suppose 335 + 17 = 74*d + 14*d. Solve 5*y = -3*r - 22, y + 4*y + d*r + 26 = 0 for y.
-2
Let c(n) = 2*n**3 - 2*n**2 + 7*n - 18. Let p be c(2). Suppose -r - 1 - p = -2*s, -5*r - 7 = -4*s. Solve 3*q + s = -0*q - 4*i, -5*i + 15 = 0 for q.
-5
Let k(g) = g**2 + 5*g + 1. Let x(l) = 9*l - 43. Let s be x(4). Let v be k(s). Solve -4*y = -5*c - 25, 0*y + 5*y + v = -3*c for y.
0
Let m(v) = 3*v**2 + 6*v + 2. Let a be m(-2). Let u = 5027 - 5024. Solve z - u*c - a = 0, -5*c - 8 = 5*z - 18 for z.
2
Let c be (26/(-8))/(-1) - 41/164. Let p be -6 + c + 30/(-36)*-6. Solve 2 = -2*h - 4*m + 8, 0 = -3*h + p*m - 7 for h.
-1
Let a be (5/((-5)/(-12)))/((-12)/(-162)). Let g = a + -158. Solve -3*m - 5*p = -g*m + 7, m = p - 1 for m.
-3
Let c be (-4)/(-18) - 1610/(-126). Suppose 9 = -j + 3*t, j - 6 = -4*t + c. Solve -10 = -5*g + 5*o, 0 = g + j*g - 3*o - 6 for g.
0
Suppose 0 = -2*a + 5*v + 109, -81*a - 153 = -84*a - 3*v. Solve 0 = l + 3*d, a*d = 3*l + 53*d for l.
0
Let j be (-13)/((-52)/120)*(2 - 1). Solve -i + 2*g - 5 = 0, 3*i = 4*i + 5*g - j for i.
5
Let g = 266 + -275. Let f(d) = -2*d**2 - 20*d - 15. Let z be f(g). Solve 5*n = -3*x - 19, -3*n - 17 = -z*x + 2*x for n.
-5
Suppose 0 = -3*g - d - d + 263, -g + 5*d + 65 = 0. Suppose 4*l + g + 31 = 0. Let u = 33 + l. Solve 2*n - 16 = -u*f, f - 6 + 2 = 3*n for f.
4
Let m(a) = -21*a**2 - 263*a + 135. Let w be m(-13). Solve q = 6*u - w*u - 8, -4*u + 4 = 3*q for q.
-4
Let j(f) = -2*f**3 + 38*f**2 + 3*f - 55. Let c be j(19). Solve 4 = 4*d - 5*d + y, -4*y + 8 = -c*d for d.
-4
Let g(q) = q**2 - 86*q + 827. Let p be g(75). Solve 3*k = p*h + 22, -h - 18 = -k - 9 for k.
4
Suppose n + 240 = -4*w + 252, 2*n - 12 = -5*w. Solve -5*k - w = 2*l + 4, 3*k + 1 = -5*l for k.
-2
Let s = -7518 - -7518. Solve s - 4 = -5*a + 3*i, 0 = -a + 3*i + 8 for a.
-1
Suppose -4*d + 4*a - 5 + 1 = 0, -2*a + 11 = d. Suppose 2*o = 7*o. Suppose -4*w + o*w = i, -d*w = 2*i. Solve 3*x = -15, 2*u - 5*x - 5 - 10 = w for u.
-5
Suppose 45*r - 646 - 164 = -36*r. Solve 3*t + 6 = -2*a + r, 3*t - 5*a - 32 = 0 for t.
4
Suppose 137 - 107 = 10*l. Suppose 4*r = l*v - 5*v + 14, 13 = 3*r - v. Solve -2 = r*s + 3*n + 4, 0 = -s + n + 2 for s.
0
Suppose 4*i = -28, -23*i + 18*i - 47 = -l. Solve 6*o - 5*h = 9*o + l, -5*o = -3*h + 20 for o.
-4
Let v be 12/(25 - 27) - -83. Solve -x + 76 = q + v, 5*x - 3 = -3*q for q.
-4
Suppose 4*f - f = 6. Suppose -3*b + 41 = -f*a + 14, -4*b + 36 = 4*a. Let h(o) = -o**2 + 11*o - 13. Let v be h(9). Solve v*d + 4*t + 3 = 0, 3*t = 3 - b for d.
1
Suppose -6*p - 6*p - 54*p = 120*p. Solve -i + 5*i = 2*s - 4, -3*s - 5*i - 27 = p for s.
-4
Suppose 14*d + 259 = 329. Suppose d*h - 45 = -4*h. Solve 2*t - 1 = 4*x + 7, -3*x = -h*t + 6 for x.
-2
Let i(p) = p**2 - 19*p + 63. Let m = -563 + 567. Let n be i(m). Solve -2*z - 3*z = o - 25, -2*z = n*o - 23 for o.
5
Suppose -1294 + 47 = -43*m. Suppose m*k - 12 = 25*k. Solve 3*b = -2*o + 3*o - 3, 0 = -2*o - k*b + 6 for o.
3
Let b be 31 - (168/12 + -3). Solve -41*s = -36*s + 4*w + 36, -2*s - b = 3*w for s.
-4
Let u be (-1406)/(-16)*2 + (-12)/16. Suppose u - 163 = 3*w. Solve 3*d - w*h = -3, -4*d - 4*h - 1 = -3*d for d.
-1
Let r be 48/16 + (4 + -2 - -11). Solve -9*u = -11*u - 3*g - r, 4*g = 4*u - 8 for u.
-2
Suppose 10 = 5*b - 2*m - 7, -b + 2 = m. Solve 0 = -5*q + 20 + 5, -b*t + q = 2 for t.
1
Suppose 5*m = 534*z - 532*z - 25, -25 = 4*z + 5*m. Solve -17 + 3 = 4*s - 3*f, z = 5*s - f + 23 for s.
-5
Suppose -1904 = -10271*c + 10203*c. Let a(n) = 2*n**2 + 3*n - 4. Let g be a(-3). Solve 4*v + g*p + c = p, 2*v - p = -5 for v.
-4
Suppose 169*k = 165*k + 236. Suppose -k = -3*v - 20. Solve 5*x = -4*h + 5, -2*h - v = x - 4*h for x.
-3
Suppose -4*a - 4*s + 36 = 0, 0 = -4*a + 4*s + 3 - 7. Suppose 25 = 277*g - 276*g + 10*d, 0 = -5*g - 2*d + 29. Solve 2*t - 26 = -2*t - g*u, -2*t = a*u - 16 for t.
4
Let z = -91389 + 91395. Let h(q) = q**2 + q - 2. Let y be h(-2). Solve y = 5*i - i + 3*j - z, -4 = -5*i - 2*j for i.
0
Suppose -11*v + 73 = -301. Suppose -5*o + 1 = -v. Solve 0*c + 4*c = 2*x - 4, c = 2*x - o for c.
1
Let h = -3619 + 3635. Solve -2*l = 2*t + h, 32*t = l + 34*t + 12 for l.
-4
Suppose -7*g + 785 = 757. Let k(r) = r**3 + 4*r**2 + 2*r + 2. Let a be k(-3). Let y be a/(-20) - (-130)/8. Solve -5*u + 13 = -g*u + 2*o, -y = -4*u + o for u.
5
Suppose -4*g - 23 = -3*w + 4, 0 = 2*w - 5*g - 18. Suppose -14*x + 28 = -7*x. Solve 0 = -4*j, -x*s + j + w = -s for s.
3
Let s(i) = 4*i - 1. Let t be s(1). Suppose -5*q - 35 = 3*z, -2*z - t*z = -q + 105. Let o be z/(-50) - (-18)/5. Solve -p = -2*u + 2, -p - 8 = o*u - 0*p for u.
-1
Suppose 8*z - g - 93 = 4*z, 114 = 5*z + g. Suppose 0 = -z*y - 14*y + 2*y. Solve -2*i + 2*k - 4*k - 6 = y, -3*i = 4*k + 9 for i.
-3
Suppose -5*d - 5*c + 4*c + 30 = 0, -2*d + 2*c = 0. Solve -5*t - d*s = -4*t - 19, t + 4*s = 15 for t.
-1
Let d be (-46)/6 - ((-42)/6)/(-21) - -15. Solve -3*i + 2*c = 5, 3*i + d*c - 23 = 2*c for i.
1
Let m(k) = 3 - 1 + 2*k**3 + 1 - 8*k**2 + 14*k - k**3. Let n be m(6). Solve -3*r - n = 0, 0 = 2*u - 0*u + 4*r + 14 for u.
3
Suppose -3*b + 331 = 160. Suppose 3*p = -b + 69. Solve -f + 2*z - 2 = 0, p*z - 5*z + 3 = 0 for f.
4
Let x = 74 + -114. Let d be x/(-16)*(4/(-20) + 1). Solve d*m + 4*v = 4, -m - 8 = 4*m + v for m.
-2
Suppose -5*r + 7 = j, 168*j - 170*j - 3*r = -7. Solve -j*t + o = 1, 38*o = -t + 43*o - 14 for t.
1
Let a be 23 + -28 + 36 + -18. Solve 4