ose 28 = t - 29. Let p = m + t. Is p a multiple of 13?
True
Let k(l) be the third derivative of -5*l**4/8 + 5*l**3/6 - 8*l**2. Is k(-5) a multiple of 22?
False
Let i(g) = 5*g**2 + 1. Let f(y) = y**2 + 5*y + 3. Let k be f(-4). Let d be i(k). Is (d/(-8))/((-3)/24) a multiple of 4?
False
Let u = 7 + -4. Suppose 2*z - n = -9 + 1, 3*z + 12 = -u*n. Is 14 a factor of (z - 1)*70/(-25)?
True
Does 7 divide 9/(9/26) + 0?
False
Let m(q) = 4*q**2 - q**2 + 8*q - 2*q**2 + 2*q. Let g be m(-10). Suppose g = 5*h + u - 18, 26 = 4*h - 8*u + 3*u. Is 4 a factor of h?
True
Suppose -89 = -4*u + 55. Does 6 divide u?
True
Is 26 a factor of (180/21)/((-2)/(-21))?
False
Suppose 5*v = 5*k + 10, 28 = 2*k - 4*k - 4*v. Let u = -8 - k. Is 14 a factor of 11 + (-5 - u) + 6?
True
Let d be (12/8)/((-3)/(-4)). Is d/2 - -15 - 0 a multiple of 8?
True
Let d(r) = 11*r**2 + 2*r - 1. Let l(w) = 6*w**2 + w - 1. Let a(x) = 4*d(x) - 7*l(x). Is a(-3) a multiple of 15?
False
Let w be (2/(-3))/(4/6). Let i = w + 67. Does 22 divide i?
True
Suppose -q = -2*q + 3*k + 24, 0 = q - 4*k - 24. Does 8 divide q?
True
Let z be ((-6)/(-5))/((-4)/(-50)). Suppose y - 5 = w, 5*y + 3*w - z = 2*y. Let l = 27 + y. Is l a multiple of 12?
False
Let c = -456 + 715. Does 46 divide c?
False
Suppose 4*r = -5*i + 512, r - i - 128 = 2*i. Suppose r = h + 3*h. Is 18 a factor of h?
False
Suppose -2*g - g + 11 = -5*o, -5*g + 14 = -4*o. Suppose g*k = 13 + 3. Is 4 a factor of k?
True
Let o = -15 - -37. Is 13 a factor of o?
False
Suppose -o + g + 5 = 0, -4*o + 13 = o + g. Suppose y - o = -0*y. Suppose -2*u - 8 = 0, 7 + 45 = 4*b - y*u. Does 10 divide b?
True
Is ((-9)/6)/(4/(-592)*6) a multiple of 7?
False
Let j = -34 + 71. Suppose -u + j = -23. Suppose -2*c + 4 = 0, -4*h + c + u = -c. Is 16 a factor of h?
True
Is 15 a factor of (6/12)/(-4*3/(-7848))?
False
Suppose -5 - 27 = -2*d. Suppose 0 = 5*c - b - 59, 2*c - b = d + 10. Suppose 3*i = v + 2 - c, -2*v - 4*i = -18. Is 9 a factor of v?
True
Let y be 3/15 - 1/5. Let z(c) be the first derivative of -c**4/4 + c**3/3 - c**2/2 + 48*c + 2. Is 18 a factor of z(y)?
False
Let q(o) = o**3 - 3*o**2 + 3*o - 2. Let x be q(2). Suppose x = u + 2 - 5. Is u*1*(-44)/(-6) a multiple of 11?
True
Suppose 5 = 2*s - 5. Suppose 5*a - s = 0, 5*c + 5*a = 2*c + 167. Is 18 a factor of c?
True
Let n = -3 - -5. Suppose n*z - 179 = -39. Suppose 20 = 5*f - z. Is 9 a factor of f?
True
Let t = 202 - 12. Is t a multiple of 28?
False
Suppose -4*k + 69 = -2*f - 261, 335 = 4*k - f. Is k a multiple of 17?
True
Suppose 0 = -4*m + 2*z + 3*z - 18, -3*m + 4 = 5*z. Let d be (19/m)/(7/(-42)). Suppose -2*p - p + d = 0. Is 9 a factor of p?
False
Let g(a) be the third derivative of -5*a**4/8 - 7*a**3/6 - 2*a**2. Is 27 a factor of g(-6)?
False
Suppose -22 = 3*r - r. Does 6 divide 6/(-4)*(r + 3)?
True
Suppose 2*w - 73 = 5*t, 0*w = 3*w + 4*t - 144. Suppose -5*a + 31 = -w. Is a a multiple of 15?
True
Let c(j) = j**2 + 5*j + 3. Let b = 0 + -5. Let o be c(b). Suppose -o*a + 0*a = -12. Is 3 a factor of a?
False
Suppose 4*k + 0*k - 8 = 0. Suppose 5*u - 22 + 7 = 0. Suppose u*i + 4*h - 30 = i, 0 = 4*i - k*h - 30. Is i a multiple of 7?
False
Let o(x) be the first derivative of x**3/3 + x**2/2 + 5*x - 2. Let p be o(0). Suppose -p*t + 0*t = -5*w + 270, 0 = 2*w - 5*t - 120. Is 14 a factor of w?
False
Suppose z - 5 = 4*j, 5*j = 2*z - 5 - 5. Suppose 3*p - 20 = -4*x, -x + 19 = 3*p - 13. Suppose -k + j = -p. Is k a multiple of 6?
True
Let n be (-6)/15*(-10)/(-1). Let i be (1 - -7)/((-1)/n). Suppose -5*s + 3*f = -i, 3*s - 10 - 10 = f. Is s a multiple of 7?
True
Suppose 9*m - 4*m - 280 = 0. Suppose -o - 4*c + 4 = 0, -4*c - 1 = 2*o - 5. Suppose o*k - 3*k - q = -m, -q + 5 = 0. Is k a multiple of 10?
False
Suppose -u + 4 + 1 = 0. Suppose 24 = u*c - 3*c. Does 9 divide c?
False
Let j be (-21)/(-12) + (-4)/(-16). Let h(d) = d**3 - 6*d**2 + 6*d - 5. Let f be h(5). Is 11 a factor of 0 + f + j + 9?
True
Let j = -6 + 11. Suppose 3*a + 38 = j*a + 2*h, a - h - 23 = 0. Does 20 divide a?
False
Let d(b) = b**2 - 4*b - 6. Let q be d(5). Let t = 22 - q. Is t a multiple of 7?
False
Suppose -4*q = 9 + 19. Let r = -3 - q. Is 4 a factor of r?
True
Let v be (-11)/(-3) - (-10)/(-15). Suppose -a + 2*n = -2, v*a + 2*n + 4 = -14. Does 22 divide a/(1 + (-13)/11)?
True
Let t = 12 - -9. Is t a multiple of 21?
True
Let k = 18 + -14. Suppose n + 198 = k*n. Is 33 a factor of n?
True
Let k = 7 + -6. Is 6 a factor of (-1)/k + 4 - -3?
True
Suppose 17*x - 18*x = 0. Suppose -5*j + 20 = x, 0*v + j = -v + 20. Is v a multiple of 16?
True
Suppose -1 = -0*j - 4*j - 3*h, -h - 17 = -3*j. Is j a multiple of 4?
True
Let t(j) = -j**3 + 14*j**2 + 17*j + 19. Is 10 a factor of t(15)?
False
Is 34 a factor of -10*(2*-3)/((-3)/(-2))?
False
Let i = 87 - 67. Is i a multiple of 5?
True
Let n(z) = -z**3 - 2*z**2 - 5*z - 7. Is 4 a factor of n(-4)?
False
Let s(a) = 7 - 3 - 1 - 5*a - 2*a. Does 13 divide s(-3)?
False
Suppose -3*k - 3*q + 1455 = 0, -7*k = -3*k - 2*q - 1916. Does 13 divide k?
True
Let f = 393 - 78. Suppose v = 6*v - f. Does 21 divide v?
True
Let m be (38/4)/((-9)/(-18)). Let i = m - 13. Is i a multiple of 6?
True
Suppose 3*s + 5*v = 56, 4*v + 12 = 2*s + 4. Is (s/(-9))/(2/(-54)) a multiple of 16?
False
Let a(u) = 135*u**3 - u + 1. Is 9 a factor of a(1)?
True
Let h = 30 - -137. Is 24 a factor of h?
False
Let k(c) = -11*c - 5*c + 2*c. Is 7 a factor of k(-1)?
True
Suppose -4*z + 4*l + 62 = -98, -3*z - 5*l + 152 = 0. Is z a multiple of 11?
True
Let i = -35 + 52. Is i a multiple of 8?
False
Suppose 2*y = 130 + 20. Is 25 a factor of y?
True
Let q be (-6)/(-27) + 1398/27. Let j = 80 - q. Does 14 divide j?
True
Let r = -44 - -83. Suppose 2*d - 65 = r. Is 26 a factor of d?
True
Let v(c) = 14*c - 45*c + 16*c - 41*c + 1. Does 22 divide v(-1)?
False
Suppose l = m + 5, -l = 3*m + 3*l - 20. Let u = -14 - -16. Suppose m = -u*v + 3*v - 24. Does 20 divide v?
False
Suppose -4*s + 4*q = 452, 2*q - 3*q + 223 = -2*s. Let y = s + 163. Does 14 divide y?
False
Let g(p) = -p**2 + p + 11. Let i(h) = -h + 3. Let v be i(3). Suppose v = -s - 3*s. Is g(s) a multiple of 10?
False
Let h(x) = -x**3 + 6*x**2 - 6*x + 5. Let s be h(5). Suppose -2*f + 3*f - 16 = s. Is f a multiple of 16?
True
Let g(b) = 2*b**2 + b - 1. Is 22 a factor of g(-7)?
False
Let v(a) = 3*a + 6. Let t(g) = g**2 - 5*g + 9. Let b be t(6). Suppose 0 = 2*q + q - b. Is v(q) a multiple of 21?
True
Let y = -21 - -35. Let h be 0*(y/6 + -2). Suppose -5*b + 0*g = g - 150, -b + g + 24 = h. Is 12 a factor of b?
False
Suppose 3*x - 7*x = 0. Let o(q) = 32*q + 26 - 8 - 33*q. Does 9 divide o(x)?
True
Suppose 2 + 3 = 5*a - 4*l, -2*a - 4*l = 26. Let u be a/(-2) - (-3)/(-2). Suppose u*g = 3*g - 18. Is 5 a factor of g?
False
Suppose 0*s + 3 = s. Suppose -3*v + 4*v = -4*r + 27, -r - 81 = -s*v. Let q = 49 - v. Does 11 divide q?
True
Suppose 3*b - 128 = -b. Is b a multiple of 8?
True
Suppose h + 1 - 3 = 0, 3*l + 5*h - 22 = 0. Suppose 5*n - o = 33, n - 7 = -2*o + l. Is 4 a factor of -1 + 2 + (n - 0)?
True
Let i(y) = -9*y - 36. Is i(-21) a multiple of 18?
False
Let b = -106 + 51. Let d = b - -80. Is 6 a factor of (3 + -6 + d)*1?
False
Let j = 0 + 4. Suppose 82 = j*d - 5*x, -2*x = -0*d - 2*d + 40. Is 9 a factor of d?
True
Let a = 8 - 5. Suppose 2*u - d - 65 = 0, -a*d - 51 - 84 = -4*u. Is u a multiple of 21?
False
Is 12/(-5) + 2 + 392/5 a multiple of 26?
True
Let f = 25 + -11. Does 5 divide f?
False
Is 12 a factor of ((-45)/6 - 2)/(4/(-88))?
False
Let b(p) = -p**2 + p - 17. Let v be b(0). Let s = -98 + 63. Let t = v - s. Is 9 a factor of t?
True
Let k(m) = m + 6. Let d be k(-6). Suppose 3*j - j - 84 = d. Is 15 a factor of j?
False
Suppose -5*s = -5*p - 65, -4*s = -6*s + p + 23. Let w = s - 5. Suppose 2*c - w*c + 12 = 0. Is c a multiple of 4?
True
Let j = 0 + -9. Let b(x) = x**2 + 7*x + 2. Let h be b(j). Suppose -4*z + h = -v + 5*v, -2*v + 22 = -2*z. Is v a multiple of 8?
True
Let v = 19 + 33. Suppose s - z = v, -4*s + 2*z - 232 = -9*s. Is s a multiple of 16?
True
Suppose -3*o + 0*o + 4*p = -7, -3*o + 5*p + 8 = 0. Let l be 34*o - (1 + -1). Let n = l - 24. Does 5 divide n?
True
Let r = 4 - 9. Let y(n) = n**2 + 1. Let c(b) = -b**3 + 5*b + 10. Let q(d) = c(d) - 4*y(d). Is 6 a factor of q(r)?
True
Let n be (-128)/22 + (-10)/55. Is (n/(-15))/(1/25) a multiple of 10?
True
Suppose 