= -y**2 - y + 59. Let l be i(7). Suppose -3 - 5 = 2*n - l*m, 4*m = 5*n + 6. Solve -3*s = n*x, 3*x - 1 = -2*s + 2*x for s.
2
Let v be (1*9)/(6 + -12 - -5). Let w be v/9*(-6 - (0 - -1)). Suppose 3*b = w - 1. Solve 0*q - 17 = -4*d + q, -b*d + 5*q = -13 for d.
4
Suppose -3*v + 27 = -a + 47, 134 = 9*a - 4*v. Solve -2*r - 14 = -5*m, -a*m + 19*m = -5*r for m.
2
Let p be -8 - -33 - (-40)/(-5). Solve -1 = t + z, 22*t - p*t - z = 19 for t.
3
Let z(t) = -t**3 + t + 3. Let x be z(-3). Suppose -x*w + 24*w + 12 = 0. Suppose -3 = -2*y + 5. Solve -y*m + 0 + w = -g, 20 = 5*g for m.
2
Let z(n) = 13*n**3 + 62*n**2 - 20*n - 12. Let c be z(-5). Solve -c*r - 18 = q - 8*r, 8 = -2*r for q.
2
Suppose 7*t - 4*r = 5*t + 40, -3*t = 2*r - 28. Solve 0 = -2*l + 3*z + 2 - 19, 3*l + 3*z = t for l.
-1
Let r(z) = 25*z - 95. Let y be r(4). Suppose -4*m = 4*c - 40, -16*m + y*c = -14*m - 34. Solve 3*f - m = 4*l, -13 + 1 = 4*l + 2*f for l.
-3
Suppose 0 = 2*p + 3*k - 127 + 129, -14 = -5*p + 2*k. Solve 2*z + 5*v = -36, -4*z = -3*v + p*v + 6 for z.
-3
Suppose 0 = -3*t - 3*f + 15, 20*f - 18*f = 2. Solve 5*y - t*g + 198 - 203 = 0, 0 = 4*g for y.
1
Suppose 4*c - 5*a = 120, 2*c = 5*c - 3*a - 93. Let k be (1 - 7 - -8)*c/2. Solve 3*n + 9 = 3*d, -4*n = -5*d - 9*n + k for d.
5
Suppose 2*g + 5*y = 36 - 1, -15 = -4*g + y. Solve 2*q - g*d + 23 = 0, 0 = -q - 94*d + 90*d + 8 for q.
-4
Let q be ((-23)/2)/((-252)/24 - -10). Suppose 0 = 2*s + 3*f - 44, 4*s + q*f - 19*f = 80. Solve p + 0*p = 2*r + 8, -s = 4*r + 5*p for r.
-4
Let q = 36 + -52. Suppose 2*l - 2*r = 7*l - 113, 2*l = -4*r + 58. Let x = l + q. Solve -2*u + 8 = k, -x = 4*k - 4*u + 11 for k.
0
Let g(h) = h**3 - 5*h**2 + 6*h - 1. Let l be g(4). Let a = -14 + 15. Let q(m) = 3*m**2 + 2*m. Let f be q(a). Solve v - 3*d - l = 5*v, f*v + 4*d = -8 for v.
-4
Let t be (-1)/((12/(-51))/4). Let v(u) = 804*u**2 + u**3 + 5*u - 13 - 2 - 21*u - 820*u**2. Let f be v(t). Solve -r - 7 = -2*h, r = -f*h - r - 8 for h.
1
Let o(m) = m - 4. Let g be o(4). Let h be 3/(-90)*-2 + 5254/1065. Solve h*s + 29 = -3*p, -s - 1 = -p - g for s.
-4
Let u(q) = -2*q**2 + 8*q + 14. Let n be u(5). Suppose -n*m + 5 = -11. Solve -36 = -4*x + 5*w, -m*w + 4 = 5*x - 0 for x.
4
Let y be (-148)/(-1)*(-56)/112. Let l = y - -76. Solve w - 2*w = -l*f - 3, w + 18 = -5*f for f.
-3
Let x(w) = 1824*w - 7292. Let y be x(4). Solve -5*h = y*v + 27, -8*v + 11*v = 3*h for h.
-3
Suppose -4*o + 21 + 32 = 33. Solve 3*x - 22 = -2*v, -21 = o*x + v - 53 for x.
6
Suppose 214*u + 54*u = -91*u + 11847. Solve 4*d = -5*m + u - 8, d - 2*m = -10 for d.
0
Let u be 0*(-1 - (-72)/63). Let n be (-1 - 66/(-15)) + (-6)/(-10). Solve 0 = -m - n*m + 5*k, -5*m - 5*k - 40 = u for m.
-4
Suppose -r + 63 = 2*l, -38 = -2*l + 5*r + 7. Let b = -23546 - -23551. Solve b*q - l = c, 3*q + c = q + 5 for q.
5
Let u be (((-2)/5)/((-6)/5))/(2/54). Solve -14*i - 3*w + 11 = -10*i, -3*i - 2*w + u = 0 for i.
5
Let y(n) = -5*n**2 + 27*n - 8. Let q be y(5). Suppose -4*g + 2*i = 2 - 6, 5*g + i = -q. Solve -2*m - 5 = -m, j + 4*m + 18 = g for j.
2
Let n be (-3)/(-4) + (-711)/(-12). Let i = n + 2. Let h = -59 + i. Solve -b + 4 = 2*p + h, -2*b - 13 = -p for b.
-5
Let y be -4 + 7 - (5 - 7). Solve g - y = 0, -5*b + 10 = 2*g + g for b.
-1
Let o = 68040 - 68038. Suppose 2*a - 2 = 2. Solve -5*i - o*q = -4*q - 24, 3*q - a = -2*i for i.
4
Suppose 0 = -11*b + 2*b + 9. Let h be b*9 - (6 - 6). Suppose h + 11 = 5*u. Solve 5*z + 25 = 3*n, 0*n = -2*z + u*n - 10 for z.
-5
Let d = -208 + 101. Suppose -3*w - 3*a + 342 = 0, 0 = -2*w - 6*a + 10*a + 210. Let r = d + w. Solve r*k + b = -4, 2*k + 1 = k - 2*b for k.
-1
Suppose 130 = 112*q - 430. Let f be (-220)/(-33) + (-2)/3. Solve -5*c + c - f = -2*o, -3*c - 24 = q*o for c.
-3
Suppose -334*d + 333*d = -5*u + 7, 5*u - 13 = -d. Solve -u*l + 10 = -3*i, -3*i - 26*l + 24*l - 14 = 0 for i.
-4
Suppose 0 = -7*a + 150 - 115. Solve -2*h = -3*p - a*h - 3, 12 = 4*h for p.
-4
Let i be -2 + (-2)/(2 + -4). Let p(g) = -2610 + 6*g + 1305 + 1313. Let u be p(i). Solve 0*b = u*b - 3*v - 16, 3*v + 2 = -5*b for b.
2
Suppose -26*c = -34*c - 24*c + 480. Solve -3*s = 4*f + c, 2*f - 5 = 9*s - 8*s for s.
-5
Let o = 18970 + -18945. Solve -5*g - x + 5 = 0, -22*x = -o*x for g.
1
Let r(p) = 291*p - 2035. Let q be r(7). Solve -4*w + 4*o - 20 = 6*o, 0 = -5*w - q*o - 25 for w.
-5
Let k(s) = -s**3 - 9*s**2 - 19*s - 286. Let b be k(-10). Solve -4*h = -5*o - b, -2*h + 4*o - 27 = -35 for h.
-4
Suppose -4*x + 37 + 167 = 0. Let c = x + -54. Let z be (0/(-3))/(c - (-2 + -2)). Solve -16 = -4*v + 4*a, -a + z*a - 20 = -5*v for v.
4
Let v(q) = -2*q**2 + 91*q - 825. Let s be v(33). Solve c = -4*b + 31, s = -b + 5*c - 15 + 7 for b.
7
Suppose 2*j - 6*j = 2*v - 12, -5*j + 21 = v. Let g(z) = z**3 - 6*z**2 + 3*z - 5. Let n be g(8). Let c = 161 - n. Solve 3*l + 4*x = -c, j*l - 3*x = -5*x for l.
2
Suppose -4*f = 0, 0 = w - 13*f + 8*f - 8. Solve -2*p - 4*u - w + 2 = 0, -2*p - u = 9 for p.
-5
Suppose 0 = 5*o + 82 - 72. Let r be 30 + -26 - 4/((-4)/o). Let y be (6/(-4))/(1/(-10)). Solve 0 = i + 5, r*i - y = -2*n - 3*n for n.
5
Suppose 2*k - 304 = 4*q, -4*q + 5*k + 61 = 371. Let u = -13 - q. Let b = u - 58. Solve -b*g = -3*n + 5*n + 12, 2*g - 2*n = -18 for g.
-5
Suppose 2*j - 14 = -4*r, -2*j - 3 + 33 = -4*r. Solve 0 = 4*z + 2*n - 10, j*z + 10 = 9*z - 4*n for z.
5
Suppose -5*h - 10*d = -5*d - 35, 3*h - 5 = d. Let c(q) = -q**3 + 7*q**2 + 2. Let m be c(7). Suppose 0*y + m*y = 2. Solve 12 = -u + 5*r, -r + h = y for u.
-2
Suppose -3*u - 5*s + 34 = 0, 3*u - 3*s = -33 + 27. Solve 4*f + 18 = u*y + 1, 3 = 3*f + 3*y for f.
-2
Let q be (-2)/4*(1 + -1). Suppose v + 2*x = -x - 18, 0 = -3*v + 2*x - 10. Let f be 62/(-14) - (-9)/21 - v. Solve 26 = -2*w - q*r + 4*r, -2*w - 16 = -f*r for w.
-3
Suppose -3*s = -18*s - 163*s + 1068. Solve s = 4*g - 5*l, 4*g - 10 = g + l for g.
4
Let n(s) = -s**2 + 12*s + 102. Let g be n(17). Suppose 0 = g*c - 5*c. Solve -4*v - 2*a - 10 = c, 3*v - 5*a + 19 = 5 for v.
-3
Let l be (12 + -12)*(-4)/(-4). Let y = l - -18. Solve -t = 4*t + 5, 2*t = 5*z + y for z.
-4
Let w(m) = m**2 - 11*m - 10. Let z be w(8). Let u be (-72)/z - (-2 - 36/(-17)). Solve u*k - 3 = -q + 2*q, 3*k - 8 = 5*q for q.
-1
Let y(d) = d**3 + 36*d**2 + 249*d + 173. Let s be y(-27). Solve 4*t = -4, q - s*t - 6 = -9*t for q.
4
Suppose 2*a - 6 = 0, -43*s - 9 = -41*s - 5*a. Solve -15 = -s*n - 5*x, n + 4*x + 29 - 41 = 0 for n.
0
Suppose 5*r + 3256 = -4*v, 3*v = -21*r + 22*r + 636. Let k = r + 652. Solve -6*x = -2*x + 2*i + k, 3*i = 5*x - 17 for x.
1
Suppose -4*b + 4*f = -0*f - 12, b - 6 = -2*f. Let t be -2*2/b*-5. Let h(o) = -o + 8. Let q be h(t). Solve 5*d - 2*a - 17 = 0, q*d + 3*a = 4*d - 6 for d.
3
Let r be 330/11*(-2)/3 - -2. Let u be ((300/45)/10)/((-4)/r). Solve u*d + k - 7 = -0, 0 = -3*d + 4*k + 32 for d.
4
Let x be (-6)/(-27)*120/(-160)*-60. Solve -3*v + 4*u - 27 = 0, 4*v - u + 13 + x = 0 for v.
-5
Suppose 0 = 3*i - 2*c - 7, -245*c = -5*i - 243*c + 17. Solve -m + 30 = -i*d, -d + 6*d + 5 = -4*m for m.
5
Suppose -u + 1 + 4 = 0. Suppose 2*o = u*o. Let y = 650 - 639. Solve o = -2*a + a - 3*g - y, 0 = -a + g + 5 for a.
1
Suppose -14*t + 3*t = 14*t - 50. Solve 4*k - 20 = -k + 5*a, k + t*a = 7 for k.
5
Let u(k) = -56*k**2 - 3*k - 1. Let z be u(-1). Suppose 0 = -6*x + 2*x - 76. Let c be -4 + (-3)/(z/x - 3). Solve 5*j - c = -5*d, -2*d = -4*j - j - 20 for d.
5
Suppose -4*c = 0, -10*x = -5*x - c - 45. Solve -x*g + 9 = -6*g - 3*p, 2*p - 2 = 0 for g.
4
Suppose 0*z - 3*z = 2*g - 24, -4*g + 5*z = -48. Let s = 362072 - 362069. Solve g = -3*k + 3*y, y - 1 - s = 5*k for k.
0
Let w(p) = -3*p**2 + 15*p - 43. Let i(l) = 16*l**2 - 76*l + 214. Let q(c) = -2*i(c) - 11*w(c). Let h be q(7). Solve -2*y + h*a = -1, y - a - 4 = -3 for y.
2
Let p = -411 - -414. Suppose -2*l = -p*d - 0*l + 11, -3*d = -l - 10. Solve 0 = -q + 2*w + 3, 2*q + 4*w + d = q for q.
1
Let j(t) = 181*t**2 + 891*t - 5. Let w be j(-5). Solve -4 = -4*a - 4*f, -a + 62*f = w*f - 11 for a.
-4
Let b = -5038 + 5049. Solve -4*q = 4*h + 8, q - 4*h + b = -8*h for q.
1
Let i(o) = o**3 - 14*o**2 - 15*o + 2. Let v be i(15). Let w be 2/(-6)*(2 - v). Solve w = -2*u - 5*l - 4, -u - 2 = 4*l + l for u.
-2
Let r(l) = 36*l + 3685. Let w be r(-98). Solve 5*a - 5*i - 5 = 0, 4*a + w*i = 160*i + 6 for a.
3
Suppose -12*s + 13*s + 443 = 0. Let c = s + 447. Let b(k) = k**2 + 6*