Solve 5*u - 2*p = 1, z*u - 5*p = 12 - 1 for u.
-1
Let z = -87 - -87. Solve -3*t - 11 = 5*g + 9, -2*t + 3*g + 12 = z for t.
0
Let a = 484 + -480. Solve 2*x = -a*b + 16, 2*x - 5*x - 4*b = -18 for x.
2
Let c = 16 + -7. Suppose 3*m + c = -3, 0 = 2*a - 2*m - 8. Solve a*x - 20 = -4*x - 4*w, 4*x = -w + 8 for x.
1
Let k(p) be the second derivative of -p**5/20 - p**4/2 + 4*p**3/3 + 13*p**2/2 + 39*p. Let z be k(-7). Solve g - 2*y - 10 = -0*y, -2*y - z = g for g.
2
Let g(f) = 14*f**2 + 1. Let q be g(-2). Let d be 1/3 + q/(-9). Let x be ((-27)/d)/3*2. Solve x*b + 1 = 2*b - t, -5*t - 11 = 2*b for b.
2
Suppose 3 = 3*v + w - 8, -2*w = -v - 8. Let q(h) = 6*h + 38. Let b be q(-6). Suppose b*n + 10 = d - 8, 3*n = -6. Solve -i - 12 = 4*k + 4, i - d = v*k for k.
-5
Let i(m) = -m**2 - 11*m - 5. Let s be i(-10). Let a be (-10)/(-45) - (-61)/9. Let q = a - s. Solve -14 = -3*p - p + q*c, -5*p - 2*c = 5 for p.
1
Let r(h) = 89*h + 15 - h**2 - 89*h. Let c be r(0). Solve -3*q = 3*k + c, -k - k - q = 5 for k.
0
Let w be 4/14 - (-316)/(-28). Let z be 22/w + 6 + -2. Suppose -2*j - 2*n + 15 = -3*n, 16 = 2*j - z*n. Solve -5*t + l - 20 = 0, 5*l = j*t - 3*t + 16 for t.
-4
Suppose -248 = 5*o - 7*o. Let l = 126 - o. Solve -l*k = -v + 8, 2*k + 4*v = -0*k - 8 for k.
-4
Suppose 12*j = 23*j - 33. Solve 4*q + a + 2*a - 31 = 0, a = j*q - 7 for q.
4
Let l be 35/(1400/(-60))*(-32)/3. Solve -l*s = m - 11*s, 3*s = m for m.
0
Let j(z) = -3*z + 41. Let v be j(12). Solve -a = 2*y + 13 - 1, 3*a - v*y - 19 = 0 for a.
-2
Let c = 18 + -5. Let u = c - 10. Suppose -11 = -u*h - 2. Solve 3*x = -w - 9, -h*w + w = -4*x - 2 for x.
-2
Suppose 3*t - j + 7 - 2 = 0, 4*t = -3*j + 2. Let b = 4 - t. Suppose -5*x = -5*g + g - 86, 95 = b*x + 5*g. Solve -5*r + x = -0*r + 3*s, 0 = 2*r - 4*s - 2 for r.
3
Let v(g) = -2*g**2 - 17*g - 2. Let r be v(-8). Let u(c) = -3*c + 23. Let q be u(r). Solve o = 3*l + 19, 21 = q*o + 1 for l.
-5
Let y(p) = 249*p + 788. Let d be y(-3). Suppose b + 3*b = 0. Solve 0 = -7*q + 2*q + 20, b = 5*o - 4*q + d for o.
-5
Let n(g) = g**3 + 25*g**2 - 27*g - 22. Let h be n(-26). Solve -h*p + 9 = 5*t, 0 = t - 2*t - 2*p - 3 for t.
5
Let j(y) be the first derivative of 6*y - 6 + 1/2*y**2. Let q be j(-2). Solve -3 = -5*g + q*p - 5, 4 = -g + 2*p for g.
2
Suppose -u = -2*f + 4, -u = 4*u + 2*f + 20. Let o be (u + 2)*-1 - -3. Suppose 0 = o*n - 6*n + 2. Solve 2*x + 10 - 1 = 3*y, 5*y = n*x + 19 for x.
3
Let f(w) = -3*w + 8. Let p be f(5). Let v(h) = -2*h + 3. Let i be v(p). Suppose i*x - 13*x = 12. Solve 0 = 4*l + 3*q, 3*l + 18 = l + x*q for l.
-3
Let x(k) = -k**2 - 45*k - 462. Let z be x(-29). Solve -3*w - 2 = 3*h - 26, -z*w - 5*h = -25 for w.
5
Suppose 0 = -2*x - c + 8, -5*x - 2*c = -0 - 21. Let z = x + 0. Solve -1 = 4*o - 2*a - 3, -z*a + 25 = 0 for o.
3
Let w(y) = y**3 - 21*y**2 + 42*y - 66. Let t be w(19). Solve t = -5*v, 2*k - 7*v = -3*v + 16 for k.
4
Let z be (-58)/8*1*4. Let h = -3 - z. Suppose 0 = -3*i + 103 - 28. Solve 2*d = -2*d + 2*u - h, 5*u = i for d.
-4
Let l = -214 + 221. Let u(p) = -2*p - 4. Let r be u(-5). Solve 0*h - 2*h = -a + l, 0 = -2*a - r for h.
-5
Let f(h) = -h**3 - 9*h**2 - 2*h - 18. Let v(t) = t**3 + 9*t**2 + 9*t - 1. Let s be v(-8). Let n be f(s). Solve 0 = z + 2*m - 6, n = z + 3*z - 2*m + 16 for z.
-2
Let a(q) = -29*q - 6. Let x be a(-3). Let v be 4 + x + -1 + 3. Suppose 5*r - s - v = 2*r, -4*r + 127 = -5*s. Solve -4 = 2*b, -3*b - r = -3*g - 7 for g.
5
Let t = -334 - -342. Solve 4*h - 2*i = -t, 3*h + 17 = -4*i - 0 for h.
-3
Let v(k) = k - 16. Let o be v(3). Let b = o + 11. Let y be (8 + -5)/((-2)/b). Solve -3*l - 3*m - 15 = 3, -4*l + y*m + 4 = 0 for l.
-2
Let p(b) = b**2 + 3*b + 1. Let l be p(-3). Let t be l - -5 - (1 + (5 - 4)). Solve -5*g = -3*x - 4, -5*g - 19 = t*x - 2 for g.
-1
Let o be (-8)/(40/25) + 5. Solve o = -2*u - 2*i - 6, 16 = u - 3*i + 3 for u.
1
Suppose 0 = -4*p + p. Suppose -92*m + 23 = -17*m - 52. Solve p = -i + r - 0 - 5, -i - r = m for i.
-3
Let p(i) = 115*i + 350. Let a be p(-3). Solve 5*l + g + a = 0, 4*l - g = -4 + 9 for l.
0
Let u = -701 - -704. Solve 0 = u*f + f + 20, 2*l + 3*f = -19 for l.
-2
Let g be (3/2)/(3/10). Suppose p - 24 = -g*p. Solve -p*w = x - 11, -3*w + 37 = -3*x - 2*x for x.
-5
Let g be (-17)/((-238)/228) + (-2)/7. Let t = -12 + g. Solve -3*w - 2*c = -4*w - 7, -21 = t*w - c for w.
-5
Suppose 11*f - 42 = -9. Let l = -2 + 2. Suppose f*w - 6 - 15 = l. Solve -2*j - j = 5*b - w, j - 3 = -2*b for j.
-1
Let i = -65 - -68. Suppose k + 15 = 4*d, 3*k - 5*d + 13 = i. Solve k*c - 40 = -3*x, -4*c + x = -4*x + 5 for c.
5
Let w be (-1*2)/(5/30). Let f be 3/12 + (-717)/w. Suppose -4*b = -4 - f. Solve 4*v - 5*u = b, 2*v + 0 - 10 = 3*u for v.
-1
Let t = 30 + -4. Solve 0 = -5*n + a + t, 0 = -5*n - a - 3*a + 21 for n.
5
Let i(t) = -t**3 + 8*t**2 - 8*t + 3. Let r be i(7). Let b be (19 - 19) + r/(-1). Solve -4*f = -4*z - 8, 5*z + b = 6*f - 4*f for z.
0
Let q(n) = -n**2 + 13*n - 28. Let x be q(12). Let f = x - -19. Solve 5*k = 2*y - 24, 2*y - k + f*k = -4 for y.
2
Suppose -13*r + 14*r + 5 = 0. Let g(o) = o + 7. Let x be g(r). Solve -5*v + m + 3 = 0, m = x*v - 6*v + 6 for v.
1
Let h(j) = 2*j + 1. Let c be h(2). Let w(d) = 4*d - 140. Let v be w(35). Solve 0*p = c*p - 5*g + 20, p + g = v for p.
-2
Suppose -5*r = 32 - 7. Let d be 5/((r - -2)/(3 + -6)). Solve 25 = -5*k, -6*k + k - d = -5*p for p.
-4
Let i(c) = -8*c - 37. Suppose 5*s + 0*s - 5 = -3*k, -35 = 3*k - 5*s. Let a be i(k). Solve -a*d = 2*d - p - 25, 2 = -2*d - 2*p for d.
4
Let y(r) = r**2 - r + 1. Let j be y(-4). Let w = -16 - -16. Suppose w = 3*x + 6 - j. Solve -x*h + 22 = -0*h - c, 0 = -h - 3*c - 2 for h.
4
Let u = -175 - -195. Solve 3*c - u = -5*p + 2*c, 0 = -p + 3*c - 12 for p.
3
Let z = -5 + 7. Let t = z + -5. Let b = -1 - t. Solve -a - 5*g + 1 = 0, 5 + 1 = -b*a - 2*g for a.
-4
Let f(p) = -p - 4. Let a(y) = y**2 - y - 6. Let g be a(0). Let d be f(g). Let t = 2085 - 2081. Solve 4*u + 16 = -t*l, d*u + 16 = -2*u for l.
0
Suppose -w + 2*m + 12 = 4*m, 73 = 5*w - 3*m. Let f be (w + -70)*(-2)/4. Let q = 30 - f. Solve 3*r + 5*h = -27, 4*r + q - 1 = 5*h for r.
-4
Suppose 3*i - 15 = 9. Let v be 32/4 + 1/(-1). Let r be (-2)/7 - (-9)/v. Solve -o = -4*d - i, 3*d + 18 = -2*o + r for o.
-4
Suppose 1 + 3 = -4*s. Let r be (-9)/(-15)*(s - -6). Solve -b = 2*v - 8, b + 2*v = -r*v + 14 for b.
4
Suppose -w = 2*w - 6. Solve 4*z = -4*h + w*h + 20, 3 = 5*z - 3*h for z.
3
Suppose 4*u - 3*q = 57, -31 = -3*u + 3*q + 11. Solve -p + u = -2*p + 5*z, 0 = -2*p + 5*z - 10 for p.
5
Let b(o) = -o**3 + o - 1. Let s be b(2). Let y be (-2)/s*-1*-7. Suppose 2*t = t - p + 5, 0 = p - y. Solve -16 = 5*f - t*f + 3*k, 2*k + 6 = f for f.
-2
Suppose 3*i = -4*s + 12, -2*i + 5*s + 16 = 2*i. Suppose 0 = -2*g + i + 4. Solve -3*d + 5*q - 14 = -5*d, -5*d + 1 = g*q for d.
-3
Let y(x) = -3*x + 93. Let z be y(24). Solve 0 = 5*s + 3*w - 18, -z = -4*s - 4*w - 5 for s.
3
Suppose -84 = -4*p - 8. Suppose -7 = -5*g + 3. Solve g*z - 7 = b, 0 = 8*z - 3*z - 4*b - p for z.
3
Suppose -3*t = -3 + 18. Let b = 1 - t. Let o(z) = z**2 - 9*z + 16. Let x be o(2). Solve 0 = -4*n - x*s - b, 0 = n + n + 5*s - 1 for n.
-2
Let c(h) = -h**2 + 4*h + 10. Let w be c(5). Solve -2*p + 5*p = -3*f + 18, -20 = w*f - 5*p for f.
1
Let f(y) = -3*y - 5. Let j(h) = -2*h - 3. Let g(u) = 3*f(u) - 5*j(u). Let q be g(-5). Let b be (2 - -3)*(-2)/q. Solve -5*z = -n + 13, z + 5*n - 17 = b*z for z.
-2
Let h = 194 + -189. Suppose -4*b + 5*n + 28 = 0, -8 = 2*b - 0*n + 3*n. Suppose y - 19 = -4*a + b, 0 = 4*y - 20. Solve 7 = h*c - 2*c + 5*m, m - 15 = -a*c for c.
4
Let l = -197 - -199. Solve -o = -p + 6, -3*o - 9 = -2*o - l*p for o.
-3
Let g = 7 + -2. Suppose 5*u - 5 = -0. Suppose 6*c + 11 = v + 4*c, -5*c = 5*v + 5. Solve -2*y = 2*b - b + u, g*y + 3 = -v*b for y.
0
Let n be 1 + (-3)/((-6)/(-7) - 1). Suppose 0 = g - 5*h + 14, 0 = 4*g + g - 2*h - n. Solve 2*t = 3*b - 4, -5*b + 6*t = 3*t - g for b.
0
Suppose 0 = 4*l - a + 1, l + 3*a = 3 - 0. Suppose 14*k - 16*k + 6 = l. Solve -k*d - 1 = -3*h + 2*h, 4*d = 0 for h.
1
Let d = -3 + -32. Let y be (14/d)/(4/(-10)). Solve 10 = -5*j, -4*g + 1 + y = j for g.
1
Let k = -1345 + 1350. Solve d + 5*l = -1, -2*d - 4*l + 3 - k = 0 for d.
-1
Let r be -2*(-15)/(-50) - (-38)/5. Suppose 0 = -4*k - c + 11, -3*k + 5*c + 7 = -r. Solve -d = 2*b - k*d - 8, b - 4*d - 10 = 0 for b.
2
