. Suppose 5*p = -15, -s + 4*p + 129 = c. Is s a multiple of 25?
False
Let q be (-4)/(-3)*3/2. Let k(z) be the third derivative of 5*z**4/24 + z**3/2 + 4*z**2. Does 10 divide k(q)?
False
Let x(s) = s**3 - 7*s**2 + 7*s - 8. Is x(7) a multiple of 41?
True
Let o(u) = -u + 30. Is o(6) a multiple of 7?
False
Let f(u) = u**2 + u - 5. Let k(g) = -4. Let l(m) = 3*f(m) - 2*k(m). Is l(4) a multiple of 15?
False
Let i(w) = -17*w + 23. Let m be i(-10). Suppose 300 = 3*c - 2*f, c - 2*c + 101 = -f. Let g = m - c. Does 24 divide g?
False
Is (-233)/((-11)/55 - 0) a multiple of 11?
False
Let r(w) = w**3 - 18*w**2 + 9*w - 12. Is 25 a factor of r(18)?
True
Suppose -d + 5*p = 3, 0*d = -2*d + p + 12. Suppose -121 - 103 = -d*q. Is 13 a factor of q?
False
Let d(l) = l**3 + 4*l**2 - 8*l - 7. Let h be d(-5). Let t be 2/(-1 + 3) + 5. Is 3 + 36*h/t a multiple of 17?
True
Suppose 98 = -4*b + 994. Does 7 divide b?
True
Suppose -4*d + 722 + 6 = 0. Does 19 divide d?
False
Let k(c) = c**3 + 30*c**2 + 40*c - 19. Is k(-11) a multiple of 11?
False
Suppose -6*z + 123 = 5*v - 3*z, -z - 112 = -4*v. Suppose 5*n - 438 = v. Is 27 a factor of n?
False
Suppose 0 = 83*g - 16*g - 159728. Is g a multiple of 4?
True
Let z = -672 - -1082. Is z a multiple of 13?
False
Suppose -4*a + 11 + 5 = 0. Suppose -a*d + 24 = 2*d. Is ((-14)/(-21))/(d/18) a multiple of 2?
False
Let l be 59016/(-10) - 102/(-170). Does 43 divide (1/3)/((-7)/l)?
False
Let l = 91 - 315. Let j = -382 - l. Let u = 231 + j. Is u a multiple of 17?
False
Let k be (-100)/(-16) + 3/4. Let g(a) = 2*a**2 - 7*a - 13. Let p be g(k). Suppose 3*y - 6*y + p = 0. Does 4 divide y?
True
Let b = 30 - 19. Suppose b*p - 12*p + 8 = 0. Is p a multiple of 4?
True
Suppose -16 = 4*r, -5*y + 5*r = -0*r - 55. Let n(z) = 2*z**2 + 3*z + 0*z - 1 - y*z. Is 9 a factor of n(-3)?
False
Let q = 67 - -13. Is 8 a factor of q?
True
Suppose -4*d + 46 = 6. Suppose b + n - 344 = 0, -287 = -2*b - n + 402. Suppose -d*j + 15*j = b. Is j a multiple of 23?
True
Let s = -7 - -1. Let a = -4 + 6. Does 3 divide (s/(-10))/(a/30)?
True
Let n = -651 - -963. Is n a multiple of 24?
True
Suppose 2*f = -2*y + 24, 3*f - 2*y - 15 = 36. Suppose -b - f = -o, -3*b = -4*b. Does 2 divide o?
False
Suppose -3 = 4*d - 5*d. Suppose 0*s - 16 = -4*s - 2*r, 3*s = -d*r + 12. Suppose n + 4*u = s, -2*n + 38 = 3*u - u. Does 6 divide n?
True
Suppose -4*n - 1 = -4*k + 11, 3*n - 2*k = -10. Is n + 3 + (-240)/(-6) even?
False
Let x(q) = -4*q + 1. Let j be x(-1). Let t(m) = m**3 + 7*m**2 + 3*m + 26. Let a be t(-7). Suppose 0*k - a*h - 63 = -2*k, 198 = j*k + h. Is 5 a factor of k?
False
Suppose -28821 - 3099 = -14*z. Is z a multiple of 20?
True
Is 7 a factor of (-13 - (-2829)/(-15))/((-2)/10)?
True
Suppose -15*z - 2*v = -20*z + 1312, -4*v + 1044 = 4*z. Is 68 a factor of z?
False
Let k(d) = 2*d**2 - 13*d + 3. Let s = -133 - -123. Is 14 a factor of k(s)?
False
Suppose 0 = w + 5*s - 23, 0*w = -2*w - 5*s + 26. Suppose 6*d - 9 = w*d. Suppose d*q - 43 = -1. Is q a multiple of 14?
True
Suppose -2*v + 13 = 2*s + 5, -v = -s. Does 13 divide s + -2 - (-59 - 5)?
False
Suppose -t = -2*p - 12, p = -2*p - 15. Let u be 12/(-4) + (-10)/(-2). Suppose -69 = -u*q + 3*h, h - 15 = -t*h. Does 21 divide q?
True
Suppose -30*j = -32*j + 426. Is j a multiple of 11?
False
Suppose 5*w = 6*w + 2*w. Is 6 a factor of 24/8*(w + (7 - 1))?
True
Let s(x) = -x**3 + 4*x**2 - 4*x. Let j be s(3). Let u be j + 15 + (0 - -2). Suppose h - 45 = -r - u, -5*r = 4*h - 152. Does 14 divide r?
True
Let s(q) = -q - 1. Let o be s(5). Is 28 a factor of (-1)/(-3)*(-2466)/o?
False
Suppose 4*y - f = 45 + 157, 8 = 4*f. Does 17 divide y?
True
Let s(w) = -2*w**2 - 10*w. Let t be s(-5). Suppose -4*j - 2*b + 296 = t, -j + 69 = -0*j + 3*b. Is j a multiple of 25?
True
Suppose -d + 68 + 262 = 0. Is d a multiple of 31?
False
Is ((-12)/(-2))/(142/17821) a multiple of 42?
False
Let q be 25/(-15)*(2 - 5). Suppose -5*z - 2*o + 0*o + 508 = 0, -413 = -4*z + q*o. Does 25 divide z?
False
Does 80 divide -1*(-2979)/(-18)*1*-2?
False
Is 5/(1 - 21)*-444 a multiple of 37?
True
Let n = -33 - -54. Suppose 3*y + 4*a - a - n = 0, a - 16 = -2*y. Is y even?
False
Let h = 1484 + -226. Does 34 divide h?
True
Let z = 83 - 77. Suppose -z*k - 212 = -10*k. Is k a multiple of 42?
False
Suppose 0*z - z + 476 = 0. Is 8 a factor of (-24)/(-36) + z/6?
True
Suppose 117*k = 3*k + 324330. Is k a multiple of 57?
False
Let h(m) = -2*m**2 + 13*m + 6. Suppose -3*x = 2*x - 25. Does 7 divide h(x)?
True
Suppose -629*o = -621*o - 2752. Is 8 a factor of o?
True
Suppose -4*f + 2 = -2. Does 25 divide 38 - 8/4 - f?
False
Suppose 0 = j + 2*p + 9 - 128, p + 551 = 5*j. Is j a multiple of 3?
True
Suppose 0 = 2*s + 3*a - 1339, 0 = 4*s - 3*a - 2082 - 605. Suppose -5*l - 25 = 0, -5*l + s = 4*z - 0*z. Does 30 divide z?
False
Let r(z) = z**2 + 5*z + 7. Let l be r(-4). Suppose -6*x + 285 = -l*x. Is x a multiple of 8?
False
Suppose 0 = 7*m - 0 - 14. Suppose 0*q - 3*q = -9, 4*k - m*q - 10 = 0. Is -70*(k + (-18)/4) a multiple of 5?
True
Let p(c) = -43*c - 5. Let m be p(-2). Suppose 5*v + 3*i - 54 - 285 = 0, -5*i + m = v. Suppose 82 = 4*g - v. Does 9 divide g?
False
Let p(y) = y - 12. Let l be p(-4). Let x = -34 - -70. Let w = x + l. Is 10 a factor of w?
True
Let y = -425 + 731. Is 8 a factor of y?
False
Suppose -y + 0*y + 71 = -3*s, 0 = 4*s - 4*y + 92. Let v = s + 40. Let p = v - -9. Is 8 a factor of p?
False
Let w be 1*(-2 - (-3 + -12)). Let d = 14 + w. Suppose 2*b - d = 9. Is 6 a factor of b?
True
Suppose -k - 3*f + 325 = 3*k, -4*f = 4*k - 320. Does 17 divide k?
True
Let h(q) = q**2 - 7*q + 9. Let c be h(6). Suppose 3*a = c + 9. Suppose 2*o - o - 3*w = 3, a*o - 3*w = 48. Is 15 a factor of o?
True
Suppose 3*a + 6 + 6 = 0. Let n be (225/10)/(2/a). Let h = n + 70. Does 10 divide h?
False
Let b(u) = -5*u**3 - 45*u**2 - u + 18. Is b(-10) a multiple of 88?
True
Let y(c) = 2*c**3 - 7*c**2 - c - 2. Let o be y(5). Suppose 0 = 4*f - 6*f + o. Is 10 a factor of f?
False
Suppose -14*a = -3*a - 627. Is a a multiple of 6?
False
Let v = -7 - 8. Let t = -10 - v. Suppose 5*z = 3*k - 99, -45 = 4*k - t*z - 177. Does 11 divide k?
True
Let y = -5 - 0. Let f(i) be the first derivative of -i**2 - 5*i - 43. Is f(y) a multiple of 2?
False
Suppose 0 = -4*x + 2*s - 2580 + 8606, -4*x + 6047 = 5*s. Is 26 a factor of x?
True
Is (-1659)/(-12) - (-1)/(-4) a multiple of 34?
False
Let y be ((-1)/(-2))/(-4 - (-2763)/690). Let v = 7 + y. Is v a multiple of 25?
False
Let l(x) be the third derivative of -x**4/4 - 4*x**3/3 + 15*x**2. Does 17 divide l(-7)?
True
Let q be -1 + (-9)/((-36)/64). Suppose 3*h = -51 + q. Is h/(-18) + (-25)/(-3) a multiple of 3?
True
Let q(n) = 37*n**3 - 2 - 36*n**3 - 2*n**2 + 6*n - 2*n**2. Let y be q(2). Suppose -j - 3*c - 1 = -14, 32 = 4*j + y*c. Is j a multiple of 4?
False
Let x be -6*((-9)/6 + 2). Let t be x/6 + (-15)/(-6). Suppose -5*b = 2*z - 37, 0 = -3*b - t*z + z + 22. Is 7 a factor of b?
True
Let p(q) = 5*q - 4*q**2 - 3*q - 16 + 18 - 33*q. Is 5 a factor of p(-7)?
False
Suppose -50*b + 22468 = -9*b. Does 17 divide b?
False
Let f(p) = 2*p**2 + 5*p + 6. Let q be f(5). Let t = q + -57. Is t a multiple of 14?
False
Suppose 4*s = 5 - 1. Suppose s = -3*t - 5, -3*h + 5*t = -34. Suppose -h = -b - 0. Is b a multiple of 4?
True
Let d(a) = -a**3 + 4*a**2 + 4*a - 4. Let t be d(4). Is (t + -11)*(7 - 1) a multiple of 2?
True
Suppose 5*j + 71 = 2*g + 259, -5*g - 33 = -j. Suppose -a + 45 = 4*u - 4*a, -2*a + j = 3*u. Does 12 divide u?
True
Suppose 0 = -6*m + 2*m + 48. Let f = m + 42. Is 19 a factor of f?
False
Is 5 a factor of 14 - (-18)/6 - 8?
False
Let u(t) = -t + 13. Let l be u(10). Suppose -s = 3*r - 6, -l*s + 7 + 16 = 4*r. Suppose -p + 24 - s = 0. Is 5 a factor of p?
True
Let n(l) = 20*l**2 + 159*l + 21. Does 57 divide n(-17)?
False
Let a = 25 + -43. Let t = a - -33. Suppose -47 = -b - t. Does 11 divide b?
False
Suppose 10 = r + v, -3*r + 2*v + 24 = -r. Let z = -9 + r. Suppose 2*a + 8 = -z*a, -5*l = 4*a - 112. Is 8 a factor of l?
True
Let c(a) = 781*a**2 + 13*a - 3. Is c(-1) a multiple of 17?
True
Suppose -3*g - 259 = -10*h + 6*h, 0 = 2*h - 3*g - 131. Is 18 a factor of h?
False
Suppose 5*z = -k + 32, -6*k - 8 = -10*k + 4*z. Is k a multiple of 7?
True
Suppose -5*r + 4*l - 192 = 0, 4*r - l = r - 118. Does 61 divide 1688/r*-5*1?
False
Let i 