- 10 = -4*p for h.
-2
Let z = 34 + -32. Let s be (-4 + 10/z)*-1*-5. Let f be (-1)/5 - 51/(-5). Solve -2 = y - s*w, y = 6*y + w + f for y.
-2
Let s be (-3)/5*-10 - -4. Solve 3*y = y + s, 3*w + 4*y - 5 = 0 for w.
-5
Let f = -29 - -32. Suppose 3 = -f*n + 3. Solve -2*p + 3 = r, n*p - 5*p = -20 for r.
-5
Let r(s) = -5 + 5 - 2*s. Let t be r(-1). Let z be (t/(-4))/(3/(-30)). Solve 0 = o + 5*u - 2, o - 4*u + 3 = z for o.
2
Let x be (1 + -1)/(10 + -8). Suppose -6*t + 6 = -x. Suppose 3*o - 17 = 1. Solve 5*j + p - t = -2*p, o = -2*p for j.
2
Let f = 9 + -5. Suppose -f*d = -d - 6. Let m(p) = p**3 - 3*p**2 + 3*p - 2. Let x be m(d). Solve 2*u + k = -x*u + 13, -4*u + 11 = -3*k for u.
5
Suppose 0*y + 2*y - 74 = 4*w, -4*y - 3*w + 93 = 0. Let a = y - 23. Solve -a*q = 0, 0*r - 4*r + 3*q = -4 for r.
1
Let y(n) = n**3 + 6*n**2 - 7*n. Let h be y(-7). Let x = h + 0. Suppose a = -3*a. Solve -3*r = -a*r - p - 8, -r - p = x for r.
2
Let a = -193 + 196. Solve o + 3 = a*o - x, -3*o + 3 = -x for o.
0
Let t = -11 + 14. Suppose 5*a = -4*l + 9, 2*l + 36 = 5*a + t. Suppose 0*j = a*j. Solve j = n - 3*h + 7, 2*n - 5*h = -2*h - 8 for n.
-1
Let o be 44/(-154) + (-4)/(-14). Let h be o/((1 - 1) + -3). Solve -5*d + h*n + 5*n - 20 = 0, -2*n - 8 = 2*d for d.
-4
Let q be 34/9 + (-3)/((-162)/12). Suppose -r = 3*p - 4, 0*p = -5*p - 3*r + q. Solve z = -5*n - 5, -p = 2*n + 5*z + 23 for n.
0
Let u(k) = k**3 - 30*k**2 + 36*k - 195. Let s be u(29). Solve -20 = 4*f + 4*t, 5*t - s + 13 = -f for f.
-5
Suppose -4*h = 5*j - 14, -4*j - 14 = -3*h - 6*j. Suppose -h = -t - 0. Solve -4*z + 15 = -3*y, -t*z + 2*z - y = 5 for z.
0
Let h = -89 - -92. Let c be (10/(-4) + 3)/(h/18). Solve -j = -5*j + c*a - 24, -j = -3*a + 15 for j.
-3
Let t(m) be the first derivative of m**3/3 - 3*m**2 + 8*m - 15. Let k = -6 - -10. Let n be t(k). Solve 3*v - z = -n*v + 16, -8 = -3*v - z for v.
4
Let l = 22 - -18. Suppose -4*y = -12*y + l. Solve 10 = -3*z - r, y*z + r = -2*r - 18 for z.
-3
Suppose f + 4*b = 4*f - 10, 2*b = 5*f - 12. Suppose 0 = f*h - 49 - 3. Solve 5*l + 2*u - h - 4 = 0, 0 = 5*l - 4*u for l.
4
Let g(b) = -b**2 - 10*b + 14. Let k be g(-11). Suppose k*z + 3 + 15 = 0. Let p be z*((-6)/9 + 0). Solve 3*l + p = 3*w - 5, -2 = w for l.
-5
Suppose -5*v = h - 5, 4*v = 2*h + 5*v - 1. Let x be h + -3 - (4 - (-10)/(-1)). Solve -3*m + x*u - 3 = -0*m, -4*u = -2*m - 2 for m.
-1
Let b be 2/(-1) + (-4)/12*-18. Solve 0 = b*w + u + 12, 9 = -w - 2*w + 3*u for w.
-3
Let p(a) = 2*a**2 - 4. Let n be p(3). Let r = -31 - -60. Suppose -5*m + r = 2*g, -7 - 20 = -g - 5*m. Solve -n = u - 0*s + 3*s, -g*s - 16 = 2*u for u.
-5
Let j(i) = 2*i + 4. Let p be ((-12)/(-9))/((2/(-3))/1). Let w be j(p). Solve 5*n + 0*d - d = 24, w = 2*n - d - 9 for n.
5
Let p = 6 + -4. Let u(b) = 3*b + 4. Let r be u(p). Solve -3*g + 0*g = 4*v + r, 0 = -5*g - 3*v - 2 for g.
2
Let s be 20/((-8)/(-4) + -1). Suppose 0 = -5*q - 6 - 4, 4*q + s = 3*i. Suppose -i*r + 3 = 3*v, 2*r + 9 = v - 6*v. Solve a = -z - r, -4*a = -2*z - 18 + 6 for a.
1
Let r = 1398 + -1393. Solve 0 = r*s - 5*j + 3*j - 18, -5*j = -2*s + 3 for s.
4
Suppose 5*h - 3*u = -11, -4*h + 5*u = 9 + 5. Let w be 3 - h*4/4. Solve 2*o = -4*n, 14 = n - 0*n + w*o for n.
-2
Let b = 496 + -494. Solve 4*k + 29 = -5*m, b*k + 16 = k - 3*m for k.
-1
Suppose -3*v - m = 2, 3*v + m + 2 = 8*v. Solve 6*d - d - 10 = -5*y, 5*d - 4*y - 37 = v for d.
5
Let r(p) = p**3 + 3*p**2 - p. Let i be r(-3). Suppose i*h - 8 = -v, 0*h + 16 = 5*h - v. Solve -9 = -l + 3*x + h, -4*l - 2 = -2*x for l.
-3
Suppose 3*r + 0*r - 9 = 0. Let q be -6 + 3 - -2*1. Let y = q + r. Solve y*v = -4*l + 4, 2*l + v = 4*v + 10 for l.
2
Suppose 0 = -14*v + 11*v + 9. Suppose -1 = f, v*f + 6 = -3*c + 4*c. Solve -2*g + 30 = -3*d + 8, -12 = c*d for g.
5
Suppose 1554 + 438 = 6*j. Let a be j/36 + (-4)/18. Let d be 7 - ((0 - -1) + 1). Solve t = 2*z - 8, -2*z + d*z = 3*t + a for t.
2
Let b = 38 + -33. Suppose -6*a - 2*a = -b*a. Let i = -2 - -5. Solve a*k + 1 = -k + 4*g, i*k + 4*g = 13 for k.
3
Let o = -1 - -3. Let f = -3 + 15. Let c = f + -8. Solve -2*s - s + a = o, -2*a + c = s for s.
0
Let b(r) = r**3 - 6*r**2 + r - 3. Let m be b(6). Let q = -3 + m. Solve -s = -5*p - 15, -3*p - s + q*s = 9 for p.
-3
Let z = -23 - -26. Let n(v) = 2*v**3 - v**2 - 2*v + 3. Let i be n(2). Solve -4*u + i = z*g - 8, 5 = g + u for g.
1
Let p(z) = z + 2. Let c be p(2). Let h be (((-168)/20)/7)/((-1)/(6 - 1)). Solve h*n = -4*s + c*n + 14, 2*s - n = 5 for s.
3
Let f(c) = c**3 + 3*c**2 - c + 1. Let z be 3/(-4)*(-48)/(-6). Let n be ((-3)/(-2))/(3/z). Let i be f(n). Solve -2*d - i*j = 2*d, -j - 8 = -d for d.
4
Let o(y) = y**2 - 10*y + 9. Let g be o(9). Suppose g = -4*v + 5*v + 4, -5*w + 66 = -4*v. Solve 0 = -2*j - 0 + 10, 0 = 3*z + j + w for z.
-5
Suppose 4*o - 5*q - 1 = 0, -3*o - q = 5 - 20. Solve h + 2*m - m + 1 = 0, 5*m + 41 = o*h for h.
4
Let f(v) = -2 - 11*v - 28*v**2 + 18 + 27*v**2. Let w be f(-12). Solve -w*x + 2*u + 20 = 4*u, 25 = 5*x + u for x.
5
Let w(z) be the third derivative of -z**6/120 - 2*z**5/15 - 5*z**4/8 - 7*z**3/3 - 7*z**2. Let n be w(-6). Solve -3*h = -n*c - 12, -3*h = c + c + 6 for h.
0
Let k(t) = 1 - 3*t**2 + 6*t - 6 - t**2 + 3*t**2. Let p be k(4). Solve 31 - 7 = p*q + 5*z, -4*q - 5*z = -27 for q.
3
Suppose 9*z = 8*z. Suppose z = -3*o + 5*o + 5*j - 3, -4*o - j = -15. Solve -28 = -5*y - 3*c, -5*y + 27 + 2 = o*c for y.
5
Let r = 37 + -17. Let n be (-4)/((r/(-14))/5). Solve 3*x - n = -d, 2*d - x - 14 = -7 for d.
5
Suppose 4*c - 89 = -3*m, 3*m - 7*c - 98 = -2*c. Solve 2*g = 5*t + m, 3*t + 2*g = -3*g for t.
-5
Suppose -154 = 8*z - 30*z. Let s be (-51)/(-12) + (-1)/4. Solve 8 = 4*g, f - s*g + z + 4 = 0 for f.
-3
Let x(i) = 2*i**2 + 8*i + 3. Let v be x(-3). Let b(y) = -y + 1 - 2 - y - 3. Let k be b(v). Solve -k*m = -3*d + 13, 3*d + 4 = m + 15 for d.
3
Suppose 0 = -4*r - r + 20, r = -l + 9. Solve 20 = 3*w + l*b, w = -w + 5*b - 20 for w.
0
Suppose -12 = 4*u + 3*n, u = 3*n - 0*n + 12. Suppose -4*w - 12 = u, -5 = 3*x + 2*w - 2. Solve 0 = 4*m - r + 1, 4*r - 5 = -m - x for m.
0
Let c = -147 + 149. Suppose -c*b - 133 = -143. Suppose 2*f + 3*w - 3 = 0, f - 5 = -0*f + 2*w. Solve 15 = -3*x + 5*y, 6*y - b*y = x + f for x.
0
Let g(b) = 13*b + 525. Let y be g(-40). Solve 14*h + 19 = r + 10*h, -y*r - 4*h - 1 = 0 for r.
3
Let v be -8 + -7 + 2 + 43. Solve -b + 5*t + v = 0, 3*b - 5*b + 25 = -3*t for b.
5
Let d(m) = -2*m + 50. Let f be d(24). Solve 0*l + f*l + 3*h = -11, 0 = 2*h + 10 for l.
2
Let y(i) = -4 - 2 - 3*i - 2*i. Let c be y(-7). Let j = c + -27. Solve t = 5*g + 10, g = 3*t - 0*g - j for t.
0
Suppose -6*q + 6 = -6. Let r be q*-1 - (-6 + -20). Let k = r + -21. Solve 2*x + 2*a = 6*x - 12, 3*x = -k*a + 27 for x.
5
Suppose -m = -3*m + 26. Let j = 19 + -9. Let l = m - j. Solve r + 1 = -5*b + 8, l*b + 4*r = 11 for b.
1
Let s(u) = u + 2. Let j be s(-2). Suppose j = 3*v - 2*v. Solve -3*n + 0*n - 2*b - 2 = 0, 4*n - 2*b + 12 = v for n.
-2
Let c(z) = 3*z**2 - 12*z + 2. Let v be c(4). Solve -8 = -2*d + v*f, -5*d + f = -10*d + 14 for d.
3
Let c(f) = -6 - 159*f + 8 + f**2 + 145*f + 26. Let k be c(12). Solve -k*w - 6 = 5*q, w + 0*w - 4*q + 12 = 0 for w.
-4
Let f = 67 + -12. Let x(m) = -m + 41. Let y be x(30). Let s be ((-4)/(-10))/(y/f). Solve -2*g + 12 = 2*z, -s*g - 2*z = -z - 10 for g.
4
Let s = 63 - 33. Solve c - 5*c - 3*l - 23 = 0, -5*c - s = 4*l for c.
-2
Let c(t) = 2*t**2 + 3*t - 73. Let y be c(-7). Solve -4*j + y*r + 24 = 0, 6*j + 2*r = 9*j - 14 for j.
2
Let i be 4*((-4)/(-16) + 1). Let u be 0/(i/(5/(-3))). Suppose u = -2*d - 3*g + 22, -5*d + 0*d = -g - 72. Solve -4*a - f = a - d, 14 = a + 3*f for a.
2
Let y = 14 + -9. Let q be -3*4/(-12) + -4. Let a be 0/q + (1 - -9). Solve -h + a = 4*i, 2 = 2*h - y*h + 4*i for h.
2
Suppose -27*h + 7 = -101. Solve 13 = -6*u + h*u - 5*i, 9 = 3*u - 2*i for u.
1
Let l(p) = -13*p - 8. Let v be l(-1). Solve 5*a = 2*a - v*i - 27, -2*i - 14 = 2*a for a.
-4
Let s(d) = -6*d**3 - d**2 + 10*d + 10. Let w be s(-1). Solve -4 = w*l + 4*a + 37, a = -3*l - 19 for l.
-5
Suppose 0 = 4*b + 22 - 30. Suppose -2*n - 4 = -b*v, 3*n = -5*v - 0*n + 10. Solve -7 = v*a - o, -2*a = -3*o + 1 - 0 for a.
-5
Suppose 18 = 3*k + 3. Suppose 5*i + 4*d + 49 = -0, k*i = -5*d - 50. Let o be 6/12 + i/(-2). Solve -o*z = -4*p - 22, 2 = 4*z - 9*z - 4*p for z.
2
Suppose 3*i - 5*i = -4*i. Solve 2 = 2*s + 2*x,