+ m for y.
4
Let w(v) = 9*v - 61. Let r be w(9). Suppose d = 6*l - 9*l - 10, -d - r = 5*l. Solve -4*p - 5*c - 5 = 0, -d*c + 2*c - 5 = 2*p for p.
5
Let p = -5664 + 5670. Solve 0 = -3*q + 5*l - 3, 4*l - p = 2*l for q.
4
Let b(k) = -k**3 + 40*k**2 + 79*k + 223. Let p be b(42). Solve y - 5*d - 4 + 2 = 0, -5*y + 2*d - p = 0 for y.
-3
Let l = -56 + 60. Let b be (232/20 - l)*5/2. Suppose -12*x = -b*x + 28. Solve r = -5*p + 6 - 0, 0 = -5*p + x*r + 26 for p.
2
Let g(j) = j**3 + 5*j**2 - 15*j - 56. Let u be g(-6). Let l be (8 + (u - 0))*(-175)/(-42). Solve -a = -4*n + l, 3*a - 5*n = -2*n - 30 for a.
-5
Suppose -14*r = -15*r + 2*h + 13, -5*r - 5*h = 10. Suppose 4*o - 6 = 5*o + r*f, 0 = -5*f - 15. Solve 15 = 4*y - 5*b, -5*y + 4*b + 3 = o*b for y.
0
Let x(a) = -6*a + 35. Let d be x(-9). Let r = d + -81. Suppose 0 = -3*i - i + 12. Solve -n - i*v = -r*v + 6, -3*v + 18 = 3*n for n.
4
Suppose 24*u - 21*u = -60. Let n = u - -22. Let t(p) = p**2 - 35*p - 36. Let b be t(36). Solve 3*y = -k - b - 5, n*k - y = -3 for k.
-2
Suppose 0 = -4*t - 4*v - 744, 3*t + 4*v + 560 = 2*v. Let m = t - -193. Solve 15 = 3*s - 6*s - 5*k, s - m*k + 5 = 0 for s.
-5
Suppose 32*w - 237 + 5 = 152. Solve s + 9 = h, -w*h + 14*h = s + 13 for h.
4
Let u be (3 - (1 - 0)) + -6. Let m be ((-3)/(-6))/((-2)/(-80)). Let v be (5/(-5))/(u/m). Solve -12 = h + 3*h, 19 = -2*c - v*h for c.
-2
Let i = 132 + -133. Let r be (-6 - i)*(90/(-25))/6. Solve 2*o - 2*m = m + 11, o - r*m - 10 = 0 for o.
1
Let x(i) = -i**3 + 4*i**2 + 7*i - 3. Let w be x(5). Let d = 153 + -127. Suppose -w*a + 23 = -d. Solve -3*v = 0, -2*z + v - a = -1 for z.
-3
Let u(x) be the first derivative of x**4/2 - 3*x**3 - 3*x**2 + 7*x - 79. Let q be u(5). Solve 4*l + 7 = 4*g + 5*l, -4 = 2*g - q*l for g.
1
Suppose -13 = 3*g - 25. Suppose -3*j - 8*a = -6*a, -3*j = g*a + 6. Solve 3*r + t - 11 = 0, 2*r = j*t + t - 11 for r.
2
Suppose 2*t - 3*k + 88 = 4*t, -3*k - 199 = -5*t. Suppose -t + 39 = -o. Solve 3*h = -4*q - 3, -2*q + 0*q - 12 = -o*h for q.
-3
Let s(h) = -h**2 - 20*h + 411. Let r be s(12). Solve 4*w = -3*v + r - 30, 2*w + 12 = 2*v for v.
3
Let h be (-10)/20*-48*4/12. Solve z - h = -j, -63 = -4*z + 3*j - 52 for z.
5
Suppose 132 = 10*g - 4*g. Suppose -g*f + 23 = -109. Solve i + 8 = 3*p, -4*i + 5*i + 4*p - f = 0 for i.
-2
Let q(r) = -79*r**2 + 99*r**2 + 8*r - 11 - 3*r**3 + 4*r**3 - 27 + 9*r. Let s be q(-19). Solve -3*y + 0*x - x - 7 = s, -3*y - 4*x = 10 for y.
-2
Let m be (0 - 0)/((-18)/9). Suppose -3*n + 54 - 7 = 4*r, m = -3*r + 5*n - 1. Solve -2*d = -2*j - r, -2*d - d + 15 = -4*j for j.
-3
Suppose -z = -0*z - 19. Suppose 0 = -5*h + 5*r + 25, 27*h - 31*h = 5*r + 16. Let n = h + z. Solve -j - 3*i - 8 = 2, -n = 5*i for j.
2
Let x be -1*12 - (-240)/(52 - 37). Solve 4*y - 10 = 3*m, 0 = 4*m - 3*y + 15 - x for m.
-2
Let m(s) = 2*s**3 + 126*s**2 - 133*s - 315. Let w be m(-64). Solve 7*g = 5*j + 2*g - 5, 2*j + w*g - 23 = 0 for j.
4
Let p = -61 - -64. Suppose -5*x = -p*x + u - 8, 4*u = -4*x + 12. Solve x*y - 4*d = 45, -3*y + 28 = -4*d - 7 for y.
5
Suppose 6*c + 78 = -3*s + 3*c, 5*s + 95 = 2*c. Let n be (-42)/(3/(-7)*s/6). Let q be (-100)/n - (9/(-7))/3. Solve q = o + 5*x, 4*o - x - 2*x - 16 = 0 for o.
4
Let t = 9919 + -9915. Solve -4*a + t*g + 20 = 0, 2*a + 3 = -g + 10 for a.
4
Let b = -110 - -113. Suppose -c + 19 = 3*x, -2*c - b*x + x + 18 = 0. Solve -5*f + 3*q + 3 = 0, -4*f - c*q + q + 24 = 0 for f.
3
Let v be ((-32)/20)/((-10)/(-300)). Let p be ((-3)/(-4))/((-18)/v). Solve -5*g + 22 = -i + p*i, -2*g - 3*i + 14 = 0 for g.
4
Suppose -4*q - q - 4*f + 34 = 0, q - 4*f = -22. Solve -2*g + q*p = 38 - 46, 2*p = 4*g - 8 for g.
0
Suppose -195 = 5*b + 2*y + 150, -2*b + 3*y - 138 = 0. Let m = 74 + b. Solve 3*k = -m*a - 18, 3*a = -2*a - 15 for k.
-1
Let w be (22/(-132) + 5/6)*3. Let q be 12/6 + w/2. Solve -4*h + 5*a + 16 = 0, q*a + 13 = -5*h + a for h.
-1
Let t be 11 - 1757/161 - (-7904)/92. Solve -15 = 3*r, t*r + 3 = 4*p + 87*r for p.
2
Let i be (4/18*1)/(((-60)/(-15))/36). Solve 5*r = -i*s - 13, -6*s + 4*r + 50 = -s for s.
6
Let s(i) = 55*i + 111. Let c be s(-37). Let k be (-4)/(-18) + c/(-333). Solve 0 = 2*o + 3*p - 2*p - k, 4 = 2*p for o.
2
Let s(x) = -3*x**3 + 2*x**2 - 6*x + 15. Let v be s(0). Let u = 56 + -37. Suppose -v*q + u = -41. Solve -4*c - 4 = -4*h - 0*h, -q*c = -2*h for c.
1
Let w be (4 + -2)*(-78)/4. Let c(k) = k**2 + 43*k + 168. Let q be c(w). Solve -4*j = -l - 9, 2*j - 3 = -3*l + q for j.
3
Let c(h) = -2*h**2 + 151*h - 705. Let m be c(5). Solve m = -j + 3*o + 8, 14*j = 15*j - 2*o - 7 for j.
5
Let w = 61 - 279. Let v = -214 - w. Solve 9*f - v*f - 4 = -3*h, -2 = -3*h - 4*f for h.
-2
Suppose 3*n - 10*n = -777. Let g = -96 + n. Let v = g + -12. Solve v*j + 2 = 5*o, 2*o = -3*o + 5 for j.
1
Suppose -5*h + 63 = c, -4*c - 39 = -3*h - 15. Let m = -4 - -7. Solve -3*w = m*b + 3 + h, 3*w = 4*b + 20 for b.
-5
Let x(n) = -n**3 + 10*n**2 - 9*n - 1. Let b be x(9). Let j be b/(-2 + -2) - (-15)/20. Solve g + 4*z = 3*z - j, 0 = 3*g - 4*z - 11 for g.
1
Let g(d) = -d**3 + 11*d**2 - 14*d - 5. Let j be g(2). Solve 2*b + 6 = -3*i, -5*i - 15 = -j*i + 5*b for i.
0
Let z be (9 + -1 - 1) + 267. Let v = z + -273. Solve -3*m + 5*m + 3 = 5*h, 2*h + v = 3*m for m.
1
Let o = -232 + 45. Let t = o - -91. Let n = t - -100. Solve -a = n*x + 7, 2*x + 5 = -3*a - 6 for x.
-1
Suppose 14*w = 9*w + 15. Let z be (2/14)/(18/126). Suppose -3*g + 0 = y - 1, -w*g + y = z. Solve -2*h - i = i - 14, g = 4*h + i - 16 for h.
3
Suppose 21 = -48*i + 55*i. Let z be i - 1 - 172/(-4). Solve -3*m + v - 7 = 0, -5*v - z = 4*m + m for m.
-4
Suppose -4*a = 5*z - 95, 2*z - 133 = -127. Solve q + a = -3*s, -1 - 9 = -s + 3*q for s.
-5
Let i(b) = -110*b + 331. Let l be i(3). Solve -3*a - l = -2*o, -11*a - o = -14*a - 2 for a.
-1
Let f = 79 + -77. Suppose 27 = 5*g - 4*n, 27*n = 23*n - 12. Solve 14 = 5*m - g*a, -2*m + 4*m = 3*a + f for m.
4
Let d(g) = -g**3 + 2*g**3 - 4 - 10*g**2 + 14*g**2. Suppose 66 = 4*b - 26*b. Let m be d(b). Solve -1 = -2*f - 5, m*v - 28 = 4*f for v.
4
Let n = 15 + -4. Suppose -7 = -n*p + 125. Solve 5*a = 2*b + 23, -2*a + p = b + 1 for b.
1
Let k(u) = u**2 - u + 4. Let q be k(0). Let x = 15 - 13. Let h be 0*4*(-4)/16. Solve -x*s - s - q*a - 11 = h, -4*a = -4 for s.
-5
Suppose 5*z = -15*v + 17*v - 42, -3*v + 4*z = -63. Suppose -5 = -4*f + 3. Suppose -c = f*c. Solve 4*o + 16 = c, 4*o + v = p - 0*o for p.
5
Let t be ((-2)/(-12))/(-1*10/(-660)). Solve -r - 18 - t = 5*a, 5*a = 3*r - 33 for r.
1
Let v(w) = w**3 - 2*w**2 - 6. Let h be v(3). Suppose -2*d + h*y = 6, 27 = -4*d + 9*d + 3*y. Solve 5*a - 5*p + 10 = 0, -3*p + 6 = 2*a + d*a for a.
0
Let w = -2865 + 2864. Let q(f) = -5*f**2 + 3 + 5*f**2 + 4*f**2 + 4*f. Let c be q(w). Solve 4*x - 18 = -c*o + o, -2*x + 2*o = -12 for x.
5
Let v = 9254 - 9249. Solve 0 = v*u + 4*l - l, 2*l = 2*u + 16 for u.
-3
Suppose u = -u + 5*f + 15, 5*f = -u. Suppose 0 = -8*w - 5 + 85. Suppose 0 = -5*r - 3*k + 18 + w, 0 = 3*k - 3. Solve -3*t - t = r*p + 12, -u*t = -4*p + 15 for t.
-3
Let k(b) = 116*b - 2418. Let w be k(21). Solve -4*p = -4*h + 44, 0 = -8*h + 10*h - p - w for h.
7
Let q(o) = o - 9. Let y be q(-11). Let f be 256/(-10) + y/50. Let k = f + 31. Solve 2*c + 1 = 4*t - 1, -3*c = k*t - 30 for t.
3
Suppose -n + 4 - 2 = 0. Let z be 4/3*6 - (4 - 1). Suppose 0 = 4*v - 20, -z*v + 9*v - 30 = -2*k. Solve k*r - 10 = 0, 4*c + r = n*r + 10 for c.
3
Let v = -6745 + 6747. Solve -m - 5 = -v*b, 6*m - m - 4*b = -19 for m.
-3
Suppose 76*r = 73*r + 18. Solve -4*l + r = 2*g, -5*g + 9*g + 24 = 4*l for l.
3
Suppose 0 = -2*g + 4*f + 512, g - 4*f + 35 - 301 = 0. Let z = g + -240. Solve 4*u + 1 = 3*a, -5*u - a - 12 + z = 0 for u.
-1
Suppose -5*l - 34 = -4*w, -52*l + 56*l + 38 = 5*w. Solve 4*q - d = -6, d - w*d = -2*q - 12 for q.
-1
Let l(j) = -j - 20. Suppose -57 - 78 = 5*r. Let w be l(r). Suppose -5 + w = q. Solve -5*k + 5*p = 0, -p + 5*p = q*k + 8 for k.
4
Suppose -3*b + 4*f = 19, -2*b + 631*f - 636*f = -41. Solve -12 = -3*t, -3*j - 1 = -b*t + 14 for j.
-1
Suppose -3*j = -4*c - 8, 0 = -5*j + j - 5*c - 41. Let z(w) = w**3 + 3*w**2 - w + 12. Let l be z(j). Solve t + 5*f - 15 = l, -2*f + 3 + 5 = 0 for t.
-5
Suppose -2*s = j + 177, 3*j + 5*s = -643 + 110. Let r = -178 - j. Solve 9*b - 4*b = -3*p - 7, 2*p + 4 = -r*b for b.
-2
Let o(y) = y + 10. Let h be o(38). Suppose h*n - 41*n - 70 =