 3 for y.
0
Let m = 4462 - 4459. Solve -5*g = -6*k + 7*k - 24, -4*k = m*g - 28 for g.
4
Let a(d) = -2*d**2 + 24*d - 63. Suppose 2*i + 3*p = i, -22 = -2*i + 5*p. Let s be a(i). Solve 2*h + 6 = -0*t + 5*t, 3*h = -3*t - s for h.
-3
Suppose -57*b + 55*b + 5*a + 6 = 0, 4*a + 32 = 5*b. Solve 0 = -w + 5*t - 11 - b, 0 = 4*w - 4*t + 12 for w.
1
Let t = -326 + 332. Let s be (10/t)/(15/9). Suppose 0*n = 5*n - 10. Solve -4*y - 5 = 3*z, -s = -n*y + 2*z + 7 for y.
1
Let i be (-35)/(-7 + 2) - 2. Suppose -2*g + 2 = 0, 5*j + 2*g - 5 = 12. Solve 3*z + j*p + 9 = 0, -3*p = -5*z + 2*p - i for z.
-2
Suppose 166*y = 52*y + 13004 + 2044. Solve 135*u + t = y*u, -5*t = 2*u for u.
0
Let p = -1286 + 1291. Let o(j) = -5*j + 1. Let r(v) = -4*v + 2. Let b(t) = -3*o(t) + 2*r(t). Let s be b(2). Solve -5*i = 2*w + 14, 0 = p*i + 5*w + 5 + s for i.
-2
Let m be -6 - -22 - ((-77)/(-15) + (-6)/45). Solve -2*s - 2*s - 4*w + 4 = 0, -s + m = 3*w for s.
-4
Let t be (1/(-8))/((-963)/120 - (35 - 43)). Suppose 5*q + 29 + 71 = 0. Let w be (-24)/q*5*1. Solve -3*g - 6 - 8 = t*z, 2*z + g = -w for z.
-4
Let r = 29 + -383. Let l be r/(-14) - 12/42. Let p = l - 22. Solve 0 = 3*f + 2*z + 15, 3*f - 6*z = -p*z for f.
-3
Let s be 21 - (15*-2)/(-5). Suppose 0 = l - s + 13. Suppose -3*r + 9 = -6. Solve 18 = -l*x - w + 5, 2*x - r*w = 5 for x.
-5
Let a = -19403 + 19407. Solve 0 = 4*o - 4*l - a, 0 = 5*o + 3*l + 4 + 7 for o.
-1
Let z be (-1)/3*54/(-2). Let r be 17/z + 7/63. Solve -r*q + 14 = i + 3*q, -q - 6 = -2*i for i.
4
Suppose 16 = 11*c - 14 + 8. Suppose 0*a - 4*a = 4. Let n be (-11)/a - 6/3. Solve 0*h = -c*x + 3*h - n, 5*h - 5 = 0 for x.
-3
Let v(x) = -x**2 + 21*x - 100. Let s be v(8). Suppose -n + 0*n - 2*k + 4 = 0, -s*k = -n - 2. Solve 0 = i + 3*b - 8, 10 = i - 5*i + n*b for i.
-1
Let p = 5542 - 5537. Let m = 2 + -1. Solve 8 = -2*t, -t - 18 = -p*s + m for s.
3
Suppose 5*x + 7 = 2*t, 24*x + 50 = 4*t + 26*x. Solve 5*j - 2 = -3*z + t, 1 = -3*z + 2*j for z.
1
Suppose -8*s = -13*s. Suppose -4*k + 2*f = k - 15, 3*k - 3*f = 0. Suppose 4 = -l + k. Solve d + l = s, z + 1 = -5*d - 2 for z.
2
Let i be (-13348)/(-1034) - (-1)/11. Solve -4*n + 15 = -115*h + 114*h, -i = -3*n - h for n.
4
Suppose 51*k - 132*k + 486 = 0. Solve -5*v - 4*c + k = 0, 0 = -c - 0 - 1 for v.
2
Let k = -2858 + 2863. Solve k*s + h + 4 = 0, -h = -3*s + 47 - 43 for s.
0
Let c = 64 - 13. Let r(q) = 123*q - 16 - 64*q - c*q + 4. Let i be r(2). Solve 4*s + i*g - 4 = 0, 0 = -2*s - 0*g + g + 14 for s.
5
Let f be -6 + 2 + 2 + 2. Suppose 0*j + 7 = 3*d + j, 2*d - 5*j + 1 = f. Solve d*v + 2*r = 5 - 13, 0 = 5*v - 4*r + 11 for v.
-3
Suppose -17*m = -21*m + 2*h + 196, 2*h + 49 = m. Suppose -m*q + 64 = -33*q. Solve 5*t - q*t = -2*j + 5, -t = -2*j + 3 for t.
1
Let f = 184 - 79. Let b be 2/(-36)*-6*f. Solve 5*d + 4*t + b = 0, d + 2*t + 3 = -10 for d.
-3
Let z = 130 + -130. Suppose -k + 24*k - 69 = z. Solve k*g + 2*g = h - 14, h + 16 = -5*g for g.
-3
Suppose -36 = -0*f - 9*f. Suppose f = h + 2*s - 16, s = 3*h - 74. Suppose h = 4*y - 12. Solve -5*z - 5*u + 10 = 0, 7*z + 5*u = 3*z + y for z.
1
Let h = 4921 + -4917. Solve 2*p + 4*j - 8 = 0, p - 22*j + h = -20*j for p.
0
Suppose 4 = -2*q - 3*b, 24 - 4 = 2*q - 3*b. Suppose -13*l = q*l - 102. Let t be (10/(-8))/(2/(-8)). Solve -s - 5 = 0, -5*f - l*s + s - t = 0 for f.
4
Suppose -77*k - 18 = -83*k. Suppose k*r = 39*r - 180. Solve -6 = 3*s, -2*n - 9 = -3*n + r*s for n.
-1
Let g(x) = -2*x**3 - 22*x**2 - 57*x - 5. Let s be g(-7). Solve 0 = s*q + 2*q + 3*d - 22, 2*q - 12 = -2*d for q.
4
Suppose -8*n + 5 = -3*n. Suppose -4*c + 2*x = n + 9, -3*c = -3*x + 12. Let s be (c/(-5))/((-6)/(-60)*1). Solve 3*z = -3*k + 15, 2*z - s*k = -3*k + 10 for z.
5
Let s(f) = f**2 - 61*f - 1417. Let b be s(-18). Solve 3*v - 6*v + 20 = -b*h, -h - 4 = 4*v for h.
-4
Suppose -5*l + 3*g = -8, -2*g - 10 = 2*l - 26. Suppose 75*m + 57*m - 220 = 22*m. Solve -5*x + 5 = m*b, -l*b + 4*x = b - 29 for b.
5
Let l(n) = -36*n + 652. Let p be l(18). Solve 0 = 2*g - p*r - 2, -4*r - 17 = 12*g - 9*g for g.
-3
Suppose 0 = -23*n + 18*n - 960. Let u = 222 + n. Solve -t - 3*t - 2*k = 30, 0 = 2*t + 4*k + u for t.
-5
Let w(i) = -4*i**3 + i + 10 + 3*i**2 + 8*i**3 - 5*i**3. Let q be w(5). Let n = -21 - q. Solve -2*u - 4*l + 0 + n = 0, 0 = -u + 5*l for u.
5
Let k(g) = 2*g**3 + 70*g**2 - 2*g - 67. Let j be k(-35). Solve -1 = -5*q - j*a + 9, -2*q - 2*a = -8 for q.
-1
Let z(i) = i**3 + 2*i**2 + 5*i + 6. Let d be z(-2). Let n(k) = 2*k**3 + 8*k**2 - 5*k - 8. Let f be n(d). Solve 3*g - 3*m - f = 0, m - 6 = -g - 0*g for g.
5
Suppose -3582 = 26*f - 4102. Solve -2*p + t = 4, -2*p - f + 0 = 3*t for p.
-4
Let a(v) = 3*v**2 - 8*v + 67. Let d be a(11). Let k = 345 - d. Solve 5*p = 2*t + 19, -p - k = -t - 8 for t.
-2
Suppose -5*b + 19 = -t - t, -3*b = 4*t - 27. Let q be (-55 + 39 + 16)/(2*2/4). Let x be (1/(-3))/((-1)/9). Solve q = x*r + 2*r + g - 30, g - b = 0 for r.
5
Suppose 0*n = -4*j + n + 11, -4*j + 17 = -3*n. Suppose j*h - 10 = 2*b, -4*b + 16 = 4*h - 6*b. Solve 3*g = -4*v + 26, -4*g = -v - 0 - h for g.
2
Suppose -3*d = -l - 40, -2*l + 6*d = 3*d + 89. Let m be (11 - -42)/(0 + -1). Let v = l - m. Solve 0 = -4*f + v*g - 20, g - 1 = 3*f + 5*g for f.
-3
Let q be ((-16)/(-152))/(8/152). Solve -31*l = -26*l + q*v - 22, 2*l - v = 7 for l.
4
Let z(p) = -p**3 + 10*p**2 - 2*p + 22. Let u be 296/30 + (-16)/(-120). Let x be z(u). Solve 4*i - 5 = 3*j, -x = j - 5*i + 7 for j.
1
Let t be (-90)/(-9) + -6 - -25. Suppose 9*s = t*s - 40. Suppose 3*v = l + 3*l - 37, -l + 8 = -2*v. Solve -s*q = 5*w - l, 0 = -4*w + 5*q + 4 + 4 for w.
2
Let c = -14404 + 14407. Solve -3*s + 12 = -c*a, 2*s - 3 = 1 for a.
-2
Let w be 24/20*-16*(-25)/30. Suppose v + 13 = w. Solve -2*h - 3*s + 21 = 5, 0 = -v*s + 12 for h.
2
Let t(l) = 3*l**2 + 66*l + 6. Suppose 3*u + 40 = 3*r + 115, 4*u = -2*r - 32. Let c be t(r). Solve 5*z + 5*m = 30, c*z - 2*z + 3*m = 23 for z.
5
Suppose -16 = -5*v + 3*o, -o + 2 = -2*o. Let h be v - (1 - 2) - 3. Suppose h = -j - 5*j. Solve -2*t + 4*u + 6 = j, t - u - 1 = 3 for t.
5
Suppose -18 = -k + 51*y - 48*y, 2*y = -5*k + 141. Solve -5*n = -3*b + 42 - k, 2*n - 10 = -2*b for n.
0
Let c = 101 + -102. Let x be (c/(-6) - (-52)/(-24)) + 16. Solve -5*i - x = -0*l + 4*l, -2*i = -4*l for i.
-2
Let n = -1420 + 1425. Solve 11 = 4*s - 6*q + n*q, 0 = 3*s + 5*q - 14 for s.
3
Suppose 42967*n = 42983*n - 64. Solve 2*o + n*h = -18, h = -5*o - 24 - 3 for o.
-5
Let l = 114 + -102. Suppose -5*h = -4*z - 18 + 46, 2*z - 2*h = l. Solve 4*u + 12 = 2*d + z*d, -4*d + 9 = -3*u for u.
-3
Let v(c) = -303*c + 1824. Let j be v(6). Solve -20 = 5*t - 2*r, -4*r + 6 + j = -3*t for t.
-4
Suppose 0 = 14*l - 1193 - 389. Let h = l + -108. Solve -5*f - 5 = 3*a - a, 5*f - h = 0 for a.
-5
Let k(g) = -g**2 - 17*g + 240. Let o be k(9). Solve 2*q + 5*d = 25, 10*d - o*d = -5*q + 20 for q.
0
Suppose 656 = -2*q + 3*h, -q - 5*h - 365 = -37. Let z = -323 - q. Solve -3*i = 3*c + 2*c + 26, 0 = -z*i - 4*c - 26 for i.
-2
Let l(b) be the first derivative of -b**2 + 44*b + 20. Let z be l(12). Let w = 8 - 5. Solve -15 - z = -w*p - 4*f, -2*f = -2*p for p.
5
Let i be 20/(-7 - -11) - 3. Solve -o + i*o + 19 = -4*t, 4*t + 3*o = -17 for t.
-5
Suppose -3*z = z + z. Let t be z + ((-4)/3)/(24/(-36)). Solve -21 = 3*j + t*s + s, -5*j - 15 = s for j.
-2
Let o = 107 + -97. Suppose -o = -7*f + 130. Let m(v) = -v**3 + 6*v**2 + 8*v - 4. Let i be m(7). Solve 5*u + f = 3*c - 2*c, -3*c = i*u - 6 for u.
-3
Suppose -9*d = -3 - 33. Suppose d*z = z + 12. Let y = 8 - z. Solve 3*x - 3*k - 15 = 4*x, 0 = 2*x + y*k + 22 for x.
-3
Let v(h) = -3*h + 79. Let b(x) = -5*x + 159. Let p(u) = 2*b(u) - 5*v(u). Let l be p(16). Solve -i = r + 4, -2*r + 3*i + 6 = -l*r for r.
-3
Suppose c = 5*c - 60. Let b be 1*3 - (772 - 774). Solve 0 = -i - 3*t + 11, b*t - c = 2*t for i.
-4
Let a(u) = -u**3 - 3*u**2 - 3*u - 3. Let v be a(-3). Suppose 0*q + 8*q = 48. Suppose 4*x - 13 - 11 = 0. Solve -4*s = r - q, -r - 4*s = -x*r + v for r.
2
Let r(o) = 37*o + 892. Let f be r(-24). Suppose -2*i + 3*i = 0. Solve 22 = f*w + w + n, i = -n + 2 for w.
4
Suppose 3*d - 25 = -5*g, -20*g = -5*d - 17*g + 19. Suppose l + 6 = -4*t + 18, d*l + 4*t = 60. Solve 3*j = -5*w + l, -5*j + 4*w - 14 = w for j.
-1
Let c = -1850 + 1852. Solve 4*v + 5*f = -5, -4*v - 14 = c*f - 0*f for v.
-5
Let d(l) = l**3 - 10*l**2 + 7*l + 23. Let