+ 90*v, -4*v + 2 = 2*t for t.
-5
Suppose -8*o = 5 - 37. Let w(z) = -2*z - 13. Let s be w(-6). Let b = s + 16. Solve 0 = 3*f + b, -2*u = u + o*f + 35 for u.
-5
Let p = 22306 + -22301. Solve 7*x + 4*d = 6*d + 34, -p*x + 3*d = -29 for x.
4
Let d = 21 + -10. Let j be (-37)/(-7) + 4/(-14). Let n be 0/((-3)/(-1 + 4)). Solve -3*p - m + j = n, 2*m = 5*p + 5*m - d for p.
1
Suppose 4*r - 53*o + 49*o = 36, o = 5*r - 37. Let k be 5*-2*2/(-4). Suppose -4*a + 13 - k = 0. Solve -1 = -t - 3, r = -c - a*t for c.
-3
Let k(b) = -2*b**2 + b**2 + 2*b + 11 - 2*b**2 - 6 + 2*b**2. Let m(w) = 2*w**2 + w. Let z be m(1). Let d be k(z). Solve -3*f + 6 = 0, d*f + 1 = s + 5*f for s.
-5
Let u be (-49)/(-35)*(-96)/7*10. Let i = -179 - u. Solve 4*r = -5*y + i, 0*y + 3 = 3*r - 3*y for r.
2
Suppose -a - 1 = 0, 4*u + 3*a = 4*a - 19. Let g be (u/(-2) - 3)*2. Let d be (3 + 0)*(2 + g). Solve -s - d*x = -5*x + 9, -3*s - 5*x - 5 = 0 for s.
-5
Let p(o) = o**3 - 7*o**2 + 5*o - 31. Let j be p(7). Solve g + 4*q - 6 = 2*q, -5*q = j*g - 18 for g.
2
Let o = -167 - -185. Let d be 6/(-27) + (0 - (-58)/o). Solve -5*p + i - 4 + 13 = 0, 3*i = -d*p - 9 for p.
1
Suppose 12*b - 11*b = 2*q - 6, 17 = -2*b + 5*q. Let x be (6 + 2)/16*b. Solve -1 = 6*a - a + 2*g, -a - g = x for a.
1
Let m = -45 - -3. Let u be -2 - -49 - (-12 + 13). Let g = u + m. Solve 3*j = 4*l - g, -j - 3*l = j + 14 for j.
-4
Suppose -o + 14 = 3*x, 2*x = x - 4*o + 12. Solve -4*q + x*y = 7 - 11, 0 = 4*q + 5*y + 23 for q.
-2
Let z be (104/(-12) + 2)/((-10)/15). Suppose 0 = z*f - 30 - 10. Solve -3*w + 3*n = -0*n + 21, 4*w = -2*n - f for w.
-3
Let u(z) = 5*z**2 - z - 2. Suppose -44 = -m - m. Suppose -c + w = 2*w - 4, m = 3*c + 5*w. Let g be u(c). Solve -3*h + 0*y = -5*y - 2, 0 = g*h - 4*y for h.
-1
Let h(f) = 186*f**2 + 5579*f - 27. Let w be h(-30). Solve l - 4*p = -2*p + 7, -3*l = w*p + 15 for l.
-1
Suppose -176 = -8*u - 128. Let m be (u/15)/((-44)/(-110)). Solve 5*v = -2*f + 5, -v + m = -f + 5*f for v.
1
Let l be (55/(-20))/(1/(-12)). Let d(j) = 2 - 18*j + j**2 + l*j - 12*j. Let g be d(-1). Solve 0*o = -3*s - 5*o - 5, g = 2*o - 4 for s.
-5
Let x(j) = -5*j + 1 + 5*j + 6*j + 0*j**2 + j**2. Let g be x(2). Solve -5 + g = -3*k, -3*k - 9 = -y for y.
-3
Let r = 3 + -1. Let f(z) = -z**2 - 25*z - 152. Let v be f(-14). Suppose -3*p + 3 - 15 = r*g, -v*p = 2*g + 8. Solve 0 = n - i + 2, 3*i = -g*n - n + 6 for n.
0
Let l = 114 - 110. Suppose 0 = -2*z - k + 57 - 46, 4*z = l*k + 4. Solve 5*h - 5 = -z*s, -4 = -4*h + 3*s - 5*s for h.
1
Let r be (-13)/(-26)*(-4 - -4). Solve r = -0*i - 3*i + 5*a - 5, i - a = -3 for i.
-5
Suppose 561*v - 566*v + 125 = 0. Suppose 32*x = v*x + 28. Solve -c - 4 = -3*o, o + x*c = -0*c - 16 for o.
0
Let h be ((-117)/9)/((-3)/18). Let n = h + -78. Solve 0*w + 1 = 3*v + w, n = -2*v - w for v.
1
Let r(v) = 89*v - 1597. Let t be r(18). Solve u - t*s - 10 = 0, -296*u + 8 = -297*u - 4*s for u.
0
Let h(t) = -30*t + 103. Let z be h(3). Solve -y = -2, -11*n + 2 = -z*n - 4*y for n.
-5
Suppose 0 = 5*i - w + 37, -2 = i + 8*w - 10*w. Let l be (6/i)/(45/(-180)). Solve -5*v = -l*q - 12, -4*v - 31 = 5*q - 11 for q.
-4
Suppose -16 = 20*y - 28*y. Solve q = 3*z - 20, -y*q + 14 - 4 = 4*z for q.
-5
Suppose -29 = -10*f + 6*f - 5*s, 3*s + 3 = f. Solve -3*t - 31 = -4*v, -f*v + 25 = -v - t for v.
4
Let j = 1411 - 1404. Solve -8*l + j*l = 4*v + 18, -2*l = -2*v - 4 for v.
-4
Let q = 18304 + -18299. Solve -q*j - 4*w = -18, w + 0*w = 3*j - 21 for j.
6
Let y(q) = 2*q + 0*q**2 - 12*q**2 - q**3 - 40 + 5*q**2 - 30 - 3*q. Let g be y(-8). Solve w = -f, 0 = -3*f - g*w + 1 for f.
1
Suppose 3*q - 17*q + 6160 = 0. Let l = q - 419. Solve 2*p + 6*i - 3*i = -l, p + 28 = -5*i for p.
-3
Let z(n) = -7*n + 7. Let w be z(-3). Let q = -22 - 2. Let j = q + w. Solve -5*d = -h + 29, 7*d - j*d - 4*h = -31 for d.
-5
Suppose -20*h + 11*h + 3636 = 0. Let q = h + -401. Solve -v + q*y + 14 = -3*v, 0 = y + 4 for v.
-1
Suppose 0 = 5*d - 49*v + 47*v + 9, 5*v - 38 = -3*d. Solve -j = x + d, 2*j - j = 3*x + 11 for j.
2
Let c = -94 + 100. Suppose -20*l + 18*l = -c. Suppose l*b - 6*n + 2*n - 32 = 0, 5 = -n. Solve 3*w - w = -3*y - 2, -2*w = b*y for w.
-4
Suppose -8 + 46 = 19*q. Suppose 3*o = -2*i + 8, 3*o - q - 18 = 4*i. Solve -o*r - b - b - 8 = 0, 3*r - 5*b + 19 = 0 for r.
-3
Let h = -859 + 1296. Suppose 0 = -h*d + 430*d + 56. Solve -2*w = -j + d, -w + 2*w = -2*j - 4 for j.
0
Let r = 13 + 57. Let d be 175560/(-2565) - (-8)/18. Let j = r + d. Solve 2*h = 3*m - 8, j*h - 1 = -3*m + 3 for m.
2
Let s(v) = 5*v**2 + 62*v - 62. Let j be s(1). Solve -17 + 28 = -4*g + h, 5*g = -5*h + j for g.
-2
Suppose 27*v - 32*v - 75 = 0. Let n be v*((-32)/(-8) - 14/3). Solve 3*t - 2*l = -0*l - 2, 5*t + n = 5*l for t.
2
Let f = -51 - -41. Let r = 11 + f. Suppose -l = -r - 0. Solve -2*c = -5*u + l, 5 - 1 = 4*c - 4*u for c.
2
Let b be (-184)/(-12)*(115/90 - (-8)/36). Solve y + 16 = -5*u, 2*u - 22*y = -b*y - 7 for u.
-3
Let j be ((-11)/22)/((21/30)/(-7)). Suppose j*o - 12 = 5*a + 8, 5*o - a = 16. Solve 0 = -4*u - 2*h - 2, -4*u + 1 = 4*h - o*h for u.
1
Let y = -147 + 105. Let z = y + 43. Solve -2*n + z = -q, 5*q + 21 = 2*n - 0*q for n.
-2
Let b be (-3)/(27/36 + 0) + 9. Solve -6*s - 14 = 4*j - 5*s, b*j + 13 = s for j.
-3
Let b = 41 + -45. Let q be ((-1)/2)/(b/(-16)). Let y = 7 - q. Solve 0 = 3*x - 2*u - y + 28, -10 = -5*x - 5*u for x.
-3
Suppose -3*p + 2*k = 0, 61*p = 56*p + 5*k - 10. Solve -2*b + w - 1 = 2*w, 0 = p*b - 2*w - 18 for b.
2
Let l(z) = 2*z**2 - z - 1. Suppose 0 = -5*c - 4 - 1. Let p be l(c). Let h = -143 + 143. Solve h = 5*q, p*a - 6*a - 16 = 3*q for a.
-4
Let c = -8819 + 8822. Let y = -4 + 3. Let s be 4/(y - -2 - -1). Solve -p - 11 = c*b - 2*p, -2 = s*b + 2*p for b.
-3
Let t(d) = -d**3 + d**2 + 5*d + 3. Let o be t(-2). Solve -c + 1 = -6*g + 8*g, 4*g + o*c = -13 for g.
3
Let z(s) = -2*s**2 + 61*s + 238. Let t be z(34). Solve -3*x + 3*v - 6 = t, 63*x + v = 60*x - 2 for x.
-1
Suppose -12*d = -7*d - 20. Let p be (4 + 1)/5*d. Solve 4*u - 2*q + 18 = -p, 0 = 3*u + 4*q for u.
-4
Let y(s) = -2*s**2 - 31*s + 20. Let u be y(-16). Suppose 0 = -9*d + u*d - 10. Let k be (-20)/(-3) + d/3. Solve 0 = -3*a + k*a + 15, -22 = -g + 4*a for g.
2
Let p be (-7)/(-273)*13*9. Solve -3 = u - 4*k, -u - 3*u + 7 = p*k for u.
1
Suppose -5*j + 0*c + 293 = 4*c, 3*j + 4*c = 179. Let z = -73 + j. Let v = z - -30. Solve 2*q = -3*w + v, -8*w - 5*q + 28 = -4*w for w.
2
Suppose -6 = -4*t + 3*t. Suppose -13 = -5*r + u, 9*u = 7*u - t. Solve 3*m - 2*n = -7, -n - 10 = -r*m + 4*n for m.
-5
Suppose -3*a + 52 = -f, f = 4*a - 4*f - 84. Suppose 5*q - a = q. Solve -5*l = 2*b - 9, 6 - 30 = -q*l + 4*b for l.
3
Let q(l) = l**3 - l**2 + 148. Let v be q(0). Let d = -140 + v. Solve 3*j - 5*n - d + 36 = 0, 25 = 5*n for j.
-1
Let k be (7 + 8)/(2 + 1). Let f be (-225)/(-18)*(21/5 + -3). Solve k*y = -c - 4*c + f, y - 6 = 2*c for c.
-1
Let y be (-5 - -6)/(3/6). Suppose 3*u - 3 = -4*c, c - 2 + 5 = -y*u. Solve -2 = 2*o, -4*o - 12 - 4 = -c*j for j.
4
Suppose 31 = 5*o - j, -5*o + 5*j + 100 - 85 = 0. Solve -d = -3*a - 5, -a + 1 = 4*d + o for a.
-2
Let b = 47 + -44. Let h be (b + 4/(-8))*(-2 + 4). Suppose -4*o - 7 = u, h*u + 2*o - 9 = 2*u. Solve 5*z = -4*y + 12, 0 = u*y - z - 0*z + 14 for y.
-2
Suppose -554*j + 555*j = -4*u + 22, 3*j - 16 = -2*u. Solve r = 3*s - u*s + 1, 2*r - 11 = 5*s for s.
-1
Let z be 18/(-4)*4/(-6). Let u be ((-6)/(-15))/(2/(-10)). Let n be -3*(u/(-3))/(38/(-57)). Solve -t = 0, n*v + 12 = -t + z for v.
-3
Let c = -2001 - -2001. Solve u - 15 = 2*u - 5*h, c = 2*h - 4 for u.
-5
Let l(r) = -2*r + 27. Let o be l(11). Let y be o + 1 + -4 + 0. Solve y*h - 3*d = -13, -2*h - 19 + 5 = -4*d for h.
-5
Suppose 2*r - 60 = -4*s, -s + 2*r + 17 = 2. Suppose -z - 14 + 61 = 5*k, -5*z = s. Solve -5*c - 11 = -4*h - 4*c, -4*c = 2*h - k for h.
3
Let z(i) = -i**3 + i**2 + 4*i - 18. Let l be z(3). Let t = l + 53. Solve 5*a - 2*y = y + 28, -5*a + 4*y + t = 0 for a.
5
Let w be 3 + (-3)/((-3)/(-3)) - -2. Let q(l) = -7*l**3 + 410*l**2 + 179*l - 115. Let b be q(59). Solve 0*a + w*j - 16 = b*a, a - 2*j = -8 for a.
-4
Suppose -3*m + j = -1, 3*m + 0*m = -j - 1. Suppose w - 10*w + 36 = m. Solve 5*x = -0*b + 3*b - 35, 0 = w*x + 4*b - 4 for x.
-4
Let a be (6 - -4 - 5)*(0 + 1). Let i(v) = 0 - 3*v + 6*v**2 - 8 + 0*v + 1 - v**3. Let h be i(a). Solve -h*o = -2*r + 10, 8 + 8 = -4*o for 