= 0 for y.
-1
Let f be (-28)/(-5)*20/2. Suppose 0 = -20*z + 427 + 1118 - 145. Let r = z - f. Solve 0 = -5*o - d - r, 4*o = -o + 3*d + 2 for o.
-2
Let c(w) = -w + 1. Let d be c(-1). Let k(g) = 26*g**2 + 140*g + 52. Let p be k(-5). Solve -d*h + 10 = -4*v, -5*h - v = 10 - p for h.
-1
Let k = -46 - -52. Let y = k + -7. Let a be (-3)/y + (-1)/((-3)/(-9)). Solve -2*g - 5*j = a, 2*g + j = 4*j for g.
0
Let y = -2618 + 2623. Solve -h = -y, 44*q = 49*q + 4*h - 5 for q.
-3
Suppose 194 = 778*y - 2956 + 38. Suppose 0 = -8*v + 3*v + 10. Solve 3*a + i = 5 - v, -5*a + y*i = -22 for a.
2
Let d be 38/(-8) - (-8)/(128/12). Let g(l) = 6*l + 10 - 4 + 19. Let s be g(d). Solve 4*v + m + 16 = 0, 3*v - m + 20 = s for v.
-5
Suppose -232 = -50*v - 10*v + 2*v. Solve 37*n = 41*n + 5*s + 11, -v*s = -2*n - 12 for n.
-4
Let d = 28 - 23. Suppose 0 = -8*t + 361 - 81. Solve 0 = 5*g - d*o - t, 10 + 10 = 4*g - 2*o for g.
3
Let i(b) = -2*b**2 + 21*b + 333. Let z be i(18). Solve -o = -z*p + 66*p - 6, 0 = -3*p - 3*o + 6 for p.
2
Let q(j) = -8*j + 636. Let h be q(79). Solve 21 = h*l + 5*w, 14 = 3*l + 4*w - 3 for l.
-1
Let u(z) = z**3 - 8*z**2 + 20*z - 3. Let n be u(6). Let p = n + -41. Let b = 56 - 48. Solve 4*l - 2*y - 6 = 0, 3*l - p*y + b*y - 10 = 0 for l.
2
Let j = 28 + -32. Let l = j + 1. Let r be (-36)/(-27)*l/(-2). Solve -5*x - r*b - 7 = 17, 5*b - 10 = 5*x for x.
-4
Let q be 50/(-5) + 7 + -3. Let s = q + 7. Solve w - 3*x = -4 - s, x + 9 = 3*w for w.
4
Suppose 6*f - 31 - 35 = 0. Suppose -61 + f = -25*t. Solve 3*g = -2*j + 17, -t*g = -4*j + g - 11 for j.
1
Suppose 200 = -3*h + i, 0 = 5*h - 2*i + 122 + 210. Let s be 1 - -3 - 0/h. Solve 26 = -4*j + 3*r, -3*j - 2*r - 7 - s = 0 for j.
-5
Suppose 0 = 51*f - 151 - 410. Solve -f*n + 16*n - i + 20 = 0, -n + i = 0 for n.
-5
Let c(x) = -x**3 + 2*x**2 + 22*x - 54. Let i be c(4). Solve -w + 5*s = -10, -39*s + 34*s = -i*w + 10 for w.
0
Suppose 0 = -3*k + 12 + 3. Let x(b) = -b**3 + 4*b**2 + 12*b - 28. Let a be x(k). Solve 8 = -5*o + 3*h - a, -3*o + 15 = 3*h for o.
0
Let f = -87 - -93. Suppose -f = -2*s - 2. Suppose -w = y - 4*y, -s*y = 3*w - 11. Solve 4*c = -8, -2*x + w*c + 0*c = -12 for x.
3
Suppose 4 = 2*o - 2*i, -34*o + i - 10 = -36*o. Solve -9 = 5*h + o*p, -4*p = 5*h - 7*h - 26 for h.
-5
Suppose 4*f = -l + 21, 12 - 6 = 2*f. Solve -5*p + 76*w - 74*w = -13, -2*p = 3*w - l for p.
3
Let t(o) = 2*o**3 - 2*o**2 - 2*o + 3. Suppose -32*m + 3 = -29*m. Let i be t(m). Solve -3*y + i = 2*a, -5*a + 31 = -3*y + y for a.
5
Let c = 1185 - 1151. Solve 0 = c*y - 33*y + v - 3, -2*v = y - 6 for y.
0
Let t = -307 + 307. Suppose s + 4 = t, 4*d + s = 4*s + 12. Let p(u) = -u + 1. Let q be p(-1). Solve d = q*b + 2*k, -5*b + 6 = -k + 24 for b.
-3
Suppose 2*p = 25 - 15. Suppose -6*l + 23 = p. Let u = 5 + -2. Solve -l = n, -u*n - 5 = -5*j + j for j.
-1
Let c be (8/(-10))/(6 - (-256)/(-40)). Suppose 3*l - 17 = -4*m + 3*m, l + 6 = c*m. Solve -m*q - 5 = 5*n, 2*n - q = 6*n + 7 for n.
-2
Suppose 0 = -n + 3*q + 21, 665 = -2*n - 4*q + 647. Solve 2*s - 3*w = 5*s, -2*s = n*w - 2 for s.
-2
Let m be ((-7)/(-5) - (-111)/1110)/(15/40). Solve -d + 5 - 14 = -3*y, m*y + d - 5 = 0 for y.
2
Let o be (3 + (-88)/28)*(-67 - -60). Solve -o = 4*j - i, 29*i + 5 = 34*i for j.
0
Let h be (0 + 4/2)*8. Let w(u) be the first derivative of u**3/3 + 5*u**2/2 - 2*u + 114. Let c be w(-6). Solve -c*p - h = -z - 2*z, -12 = 3*p for z.
0
Suppose 0 = 5*v - 724*l + 725*l - 136, 4*l = 4*v - 128. Solve -6 = 3*h + v*t - 31*t, 2*h + t - 5 = 0 for h.
1
Let x be 13/(-3) + (-5)/(-15)*1. Let s = 5 - x. Suppose 3*m + 3 = 0, -3*m + s = 4*a - 8*m. Solve 5*u + l - 20 = 0, -2*u + l + 2 = a for u.
3
Let k(t) = t**2 + 17*t + 4. Let o be k(-17). Solve 6 = -5*g + q + q, -o*q + 12 = 4*g for g.
0
Let r(g) = 3*g - 30. Let d be 13/(-1)*-1 - (0 + 2). Let b be r(d). Solve 17 = 5*x - 4*i, 2*x - 2*i = -b*i - 1 for x.
1
Let m = -2004 - -2009. Solve 5*j = -m*h + 2*h - 9, 0 = -4*h - 2*j - 12 for h.
-3
Suppose 5*s = 2*l + 22, -126*l + 127*l = -4*s + 28. Solve -5*y + 32 = m + l, -2*m - 19 = -5*y for m.
3
Suppose -25*y + 29*y = -3*g + 49, -2*g + 2*y = -28. Solve 18 = 3*m + g, -5*k = -m - 14 for k.
3
Suppose 939 = 115*g - 296 - 605. Solve -7*k = -3*k + 2*v + 16, 0 = 4*k + v + g for k.
-4
Let s = 202 + -91. Suppose 122*b - s*b = 55. Solve 4*c + 4*v - 1 + b = 0, 1 = -c - 5*v for c.
-1
Let h = 932 - 442. Let x = 504 - h. Solve 3*b - 2*a + x = -0*a, -5*b + 3*a = 23 for b.
-4
Suppose -4*r + 2*i + 214 = 0, -93*r + 2*i - 210 = -97*r. Solve 58*j = r*j + 2*f + 11, 5*j + 4 = -3*f for j.
1
Suppose -b - 128 + 259 = 0. Let x = -129 + b. Solve 0 = -3*q - x*p - 1, -1 - 10 = -5*q + 3*p for q.
1
Suppose -5*k + 70 = -3*f, 3*k + 16 - 29 = -4*f. Solve 5*i - 9 = 4*n - 16, 4*i = 5*n - k for n.
3
Let i be 4*1/2*(42 + 2)/11. Solve 5*c = i*h - 13*h + 25, -c = 5*h - 25 for c.
0
Let s be 2070/80 + 255/(-136). Solve s*t - 20*t + 5*k = -8, 3*t - 21 = 3*k for t.
3
Let x(b) = b + 6. Suppose 5*f - 5*d + 8*d = -18, 3*d + 3 = 0. Let g be x(f). Solve -y + 16 = g*m, 0 = 4*m - 4*y - 0*y for m.
4
Let v = -65 + 70. Suppose 52 = 5*c - 3*o, 2*c + 7 - 24 = v*o. Solve -4*i - 5*j = c, -4*i - 3*j - 6 = 7 for i.
-4
Let z = 139 - 83. Suppose 5*r = 4*i - 54, -6*i + z = -3*i + 4*r. Let g = i + -14. Solve 0*l = 4*k - g*l + 18, -2*k - 3*l + 3 = 0 for k.
-3
Let o = 190 - 100. Let t = 93 - o. Solve 3*c + 5 = 14, t*c = -3*s - 3 for s.
-4
Let b be 9 - -14*((-5)/(-2) - 3). Solve -w + 8 + 1 = -b*f, -w + 3*f = -13 for w.
1
Let r(d) = -d**2 + 169*d - 485. Let h be r(3). Solve 23*v = 22*v + 3, 3*v - h = 4*w for w.
-1
Let t = 2 - 1. Let s(p) = 81*p - 9. Let y(v) = 43*v - 5. Let r(o) = 3*s(o) - 5*y(o). Let w be r(t). Solve 0 = -5*a + m + w, -2*a + 2*m = -6*a + 18 for a.
5
Suppose 12*o - 18*o - 3708 = 0. Let f = o - -643. Solve m - 3 = 2, 0 = -5*r + m - f for r.
-4
Let k be 13 - (-187)/(-20 - -3). Let d = 9 + -4. Solve -k*t - d = h, 3*h - 7 = 8 for t.
-5
Let s be 42/(-56) + (-6)/(-8). Let t(c) = -c**3 - 4*c**2 + 3*c - 6. Let z be t(-5). Let a = z - -1. Solve 3*y = 2*q + 4*y + a, -q - 3*y - 15 = s for q.
0
Suppose 3*x + 5*c - 9 = 0, -4*x - 8 - 15 = -5*c. Let q be 5/((-20)/6)*(0 + x). Solve 2*v + 2*n - 3*n = -7, 4*v = -q*n + 11 for v.
-1
Suppose -29 = 9*u - 11. Let p = 8 + u. Let z be (-42)/(-9) - p/(-18). Solve -z*t - 4*q - 8 - 1 = 0, -t + 3*q = -2 for t.
-1
Suppose 105*u = 30*u - 53*u + 1152. Solve 0 = 4*r - 3*a + 4*a - u, -3*a = 3*r - 9 for r.
2
Let h(r) = -r**2 - 5*r - 1. Let v be h(-3). Let g(x) = -2*x**2 + 49*x - 271. Let p be g(9). Solve v*t - b + 1 = 3*t, -3*t - 5*b - p = 0 for t.
-1
Let w be (2*-1 - -3)/(4 - 3). Let k be 1/((0 - w)*9/(-45)). Suppose -i - 2*m + 10 = 0, 3*m - k - 9 = -i. Solve 20 = -i*u - 4*o + o, 3*o = -5*u - 32 for u.
-4
Let y = 4815 + -4813. Solve y*m - 4 = n + 1, -16 = 5*n - m for n.
-3
Let l(w) = -w**2 - 2*w. Let p be l(4). Let x be 202/6 + (2 - p/(-9)). Let z = 36 - x. Solve -3 = -z*y, 2*t + 6*y - 2*y = 6 for t.
1
Let o be -6*(16/(-48))/((-4)/(-18)). Solve -6 = -3*c, -f + 42*c = 47*c - o for f.
-1
Let a be (1 - 2)/((-3)/51). Suppose o - 3 = a. Let s(i) = i**3 - 19*i**2 - 19*i - 15. Let h be s(o). Solve 8*j - 3*j - 10 = -5*m, -j - h*m - 2 = 0 for j.
3
Let s = 3205 + -3165. Solve 5*v = 0, -v - s + 25 = 5*p for p.
-3
Let i be -6 + 4 - 1*-12. Let c be (0 - i/6)*(-126)/35. Solve -4*x - c*w + 2*w + 16 = 0, 12 = 3*x - 3*w for x.
4
Let i(t) = t**2 - t - 4. Let x be i(6). Let l(m) = 81*m + 43 + 74*m - 206*m + 71*m. Let z be l(-2). Solve -z*u + 7*u + 3*b = 8, -2*u + 4*b = -x for u.
5
Let p(s) = s**3 + 2*s**2 - 4*s - 2. Let z = -23 - -21. Let q be p(z). Suppose -q*k = k - 7. Solve 0 = o - 0*o + h - k, -1 = -5*o - 3*h for o.
-1
Let t be 72/20 - 2 - (-4)/10. Suppose 16*r - t = 46. Solve q + s = 5*s + 11, -4*s - 9 = -r*q for q.
-1
Suppose -3*a = 2*a - 4*q - 75, -5*a = 3*q - 75. Suppose -7 = -3*f - 3*t + 4*t, 0 = -5*f + 5*t + a. Solve 5*c + 21 = 3*r, 4*r = f*c - r + 16 for c.
-3
Suppose -2*i + 205 + 1 = 0. Let n = i - 100. Solve n*g = -t - 3 + 17, g = 4*t - 17 for t.
5
Suppose 0 = 179*y - 131*y - 240. Solve -2 = 2*p, 4*q - 15 = -0*q - y*p for q.
5
Let r(f) = -80*f - 3918. Let i be r(-49). Solve 0 = i*x - y - 2*y + 11, 3*y = 4*x + 19 for x.
-4
Let w = -9405 - -9409. Solve -h - 15 = -2*t - 10, -4 = -w*t + 4*h for t.
4
Let h(o) be the second derivative of 2*o**3 + 15*o**2/2 - 62*o. L