*4/8 + 3*p**3/2 + 13*p**2. Does 2 divide r(-4)?
False
Let r = 21 + -18. Is 38 a factor of ((-65)/(-20) - r) + 607/4?
True
Suppose 5*q - 3*n = 643 + 1862, q + 4*n = 524. Is 28 a factor of q?
True
Suppose 3*h + 26 = -3*k - h, 13 = k - 3*h. Let s(x) = -14*x - 7. Is s(k) a multiple of 10?
False
Suppose -8*f + 137 = 1. Suppose 0 = -d + l + f, 3*d + 5*l - 94 = -27. Is 19 a factor of d?
True
Suppose 4*h - 3*g - 125 - 566 = 0, -h + 174 = -g. Is 23 a factor of h?
False
Let d(t) = -t. Suppose 4*l + 8 = -2*h, 2*l - 5 = 4*h - l. Let f be d(h). Suppose 3*x - f - 1 = 0, -5*z + x + 49 = 0. Is z a multiple of 10?
True
Let m = -2486 - -2971. Does 21 divide m?
False
Let m(c) = 3*c + 5. Let f be m(5). Let w be (-10)/8 + 5/f. Is 28 a factor of 2 - (-29 + (-3)/w)?
True
Let z(o) = o**3 - 2*o**2 - 2*o - 35. Let w be z(0). Is (1/(15/w))/(2/(-66)) a multiple of 7?
True
Let u = -36 - -84. Is u/36 - (-40)/6 a multiple of 8?
True
Suppose 5*w - 7316 = -q, -2*w + 5*q + 1432 + 1489 = 0. Does 86 divide w?
False
Let m = -9 - -1. Let x(r) = -9*r**2 + 12 + 2*r**2 - 3 + r**3 - 2*r**3 + 8*r. Is x(m) a multiple of 4?
False
Suppose -j = 4*w + 57, -4*j = 3*w + 26 + 20. Let l = 19 + w. Is 101/l - (-18)/(-90) a multiple of 5?
True
Let s(x) be the second derivative of x**5/12 - x**4/4 - x**3/6 + 2*x**2 + 9*x. Let h(r) be the first derivative of s(r). Does 5 divide h(3)?
False
Let y(u) = 56*u - 148. Is 62 a factor of y(27)?
True
Let r = -2 - -7. Suppose -5*y + 5*b + 65 = 0, -y - r*b = -2*y + 1. Is 16 a factor of y?
True
Let g = -1986 - -3330. Does 112 divide g?
True
Let f(b) = -b. Let h be f(-4). Suppose j + 5 = p, -3*j + 5*j + 18 = h*p. Is (-10 - 2)*j/2 a multiple of 4?
False
Let z(u) = 27*u**2 + 6*u - 4. Is 10 a factor of z(-6)?
False
Let x = 63 - 177. Let w = -33 - x. Does 22 divide w?
False
Let s be (9 - 8) + -1*1. Let c(t) = t**3 + 3*t**2 + 4*t + 2. Let i be c(-2). Does 3 divide i - 1*(-14 + s)?
True
Let x(k) = -k**3 - 14*k**2 - 11*k + 179. Is 43 a factor of x(-19)?
True
Let y = -875 + 1257. Suppose f = -3*t + y, -3*t + 5*f + 202 + 156 = 0. Suppose 0*b = -3*b + t. Is b a multiple of 21?
True
Suppose -3*j = -8 - 1. Let c(l) = 11*l**2 + l + 1. Let r be c(j). Suppose q - 7 = -2*w + 12, r = 5*q + 2*w. Is q a multiple of 11?
False
Let s(l) = -l**3 + 15*l**2 + 11. Let f be s(16). Let x = f + 465. Is 55 a factor of x?
True
Is 11 a factor of (441/(-28) + -6)/(6/(-176))?
True
Is 5 a factor of ((-7)/14*-15)/(6/100)?
True
Let u = 221 - 137. Is 83 a factor of u?
False
Suppose r + 10 = 3*h, -5 = 2*h - 2*r - r. Is 6 a factor of h/(-10) + (-362)/(-4) + -3?
False
Suppose 5*z = -2*x + 13139, 5*x + 32 = 17. Is 23 a factor of z?
False
Suppose -3*x - 5*o + 12 = -o, -3*x + o = -27. Suppose q - 3*q = -x. Suppose -z + 18 = 3*l + l, 3*z = -q*l + 38. Is 3 a factor of z?
False
Let j(z) be the third derivative of z**5/60 + z**4/6 - 4*z**3/3 - 14*z**2. Is j(6) a multiple of 13?
True
Suppose 9 = 3*d - 2*d. Let a be 21/6 - d/6. Suppose -k - 25 = -a*k. Is k a multiple of 25?
True
Suppose 2*l - 3 - 1 = 0. Let t be (-18)/(-12) - 1/l. Does 10 divide ((-25)/(-3))/(t/3)?
False
Let i(m) = -m**3 - m**2 - 3*m - 9. Let f be i(-5). Let h = -76 + f. Does 8 divide h?
False
Is (-9 - (-525)/45)*(-261)/(-4) a multiple of 37?
False
Let s(i) = 3*i**3 - 9*i**2 + 3*i. Let h(u) = -4*u**3 + 10*u**2 - 3*u - 1. Let n(g) = -2*h(g) - 3*s(g). Let x = 19 - 13. Is n(x) a multiple of 6?
False
Let o = 3 + 2. Suppose 0 = -4*k - 2*p + 14, -3*k - 5*p + 11 = -o*k. Let i(c) = 7*c. Is i(k) a multiple of 14?
True
Let n(t) = -2*t**2 - 16*t + 14. Let r be n(-9). Let o(p) = 2*p**2 - 5*p - 4. Does 6 divide o(r)?
True
Suppose 5*p - 36 = -11. Suppose 2*o = -x - 2*x + 137, 224 = p*x - o. Is 15 a factor of x?
True
Let f(k) = 12*k**2 - 1. Let l = -3 + -10. Let i = 15 + l. Is 9 a factor of f(i)?
False
Suppose -5*o + 45 - 5 = 0. Is 17 a factor of 9/6 + 124/o?
True
Let f = 279 + 1018. Is f a multiple of 22?
False
Let k = -234 + 350. Is 49 a factor of k?
False
Suppose 0 = 9*i + 2188 - 10936. Is 14 a factor of i?
False
Does 8 divide (-1 + 2)/((-4)/(-1504))?
True
Let k(j) = -9*j + 57. Let p = -47 - -52. Is 9 a factor of k(p)?
False
Let h(u) = u**3 - 7*u**2 + 11*u - 8. Is 51 a factor of h(9)?
False
Suppose 0 = 4*w - 59*n + 55*n - 2052, -4*n + 1532 = 3*w. Is 31 a factor of w?
False
Let m be (1 + 0)*(0 - -218). Suppose -m = -2*u + 26. Let y = -53 + u. Is y a multiple of 17?
False
Let s(m) = -m**3 + m**2 + 20. Suppose 2*h + h + 15 = 5*i, 4*h + 20 = 3*i. Let a be s(i). Is ((-22)/(-5))/(a/50) a multiple of 10?
False
Let g be 0*3*2/6. Suppose g = -11*o + 13*o - 116. Does 29 divide o?
True
Let u be 0*(-2)/(-6) + 0. Suppose 0 = 3*n + 4*p - 68 - 53, -p + 4 = u. Suppose 5*s = -0*s + n. Is 7 a factor of s?
True
Let d = 247 - -347. Does 11 divide d?
True
Let m = -635 + 990. Suppose 9*f = 4*f + m. Is 16 a factor of f?
False
Let a = 190 + 266. Is 38 a factor of a?
True
Let i = 557 - 393. Is i a multiple of 42?
False
Let d = 594 + -317. Let y be -2*(-3)/(-2)*(-19796)/(-303). Let w = d + y. Does 14 divide w?
False
Let u = 1 + 3. Suppose -k - 3*m + 4*m = -6, -4*k = u*m - 8. Suppose -k*w = 2*i - 44, -2*i + 15 + 38 = 5*w. Is 3 a factor of w?
True
Let b = -10845 - -15496. Is b a multiple of 96?
False
Suppose -5*n = 2*o + 175, -3*n = -2*n - 2*o + 23. Is (-1430)/n - 2/6 a multiple of 21?
False
Let v(i) = -43*i - 4. Let n = 23 + -24. Is 13 a factor of v(n)?
True
Let f = 6769 - 3844. Does 117 divide f?
True
Let a(b) = b**2 - 6*b + 41. Is 9 a factor of a(-21)?
False
Let n(t) = 10*t - 48. Is n(9) a multiple of 8?
False
Let x = 89 - 85. Suppose 2*p + p - 15 = 0, 4*p = -x*s + 260. Does 10 divide s?
True
Suppose 21*p - 3882 + 879 = 0. Does 45 divide p?
False
Let j(u) = -309*u**3 - 3*u**2 + 4*u + 12. Does 14 divide j(-2)?
True
Let m(s) = s**3 - 23*s**2 + 25*s + 15. Does 9 divide m(25)?
True
Suppose -67 = 2*b - b - 2*w, 0 = -5*b + 3*w - 307. Let j = 150 + b. Does 15 divide j?
False
Suppose 34*j = 22761 + 5561. Does 49 divide j?
True
Let p be (-3 - -6)/((-2)/(-6)). Suppose -4*z + 14 = -m, 3*z - 13 = -5*m + p. Suppose -z*v + 5*w + 71 = 0, -2*v = -3*v + 4*w + 15. Is v a multiple of 13?
False
Suppose -5*k + w = -51, -k - w + 20 = 5. Suppose -2*g + 37 = -k. Is 3 a factor of g?
True
Let f = 42 + -27. Let p be (-291)/7 + f/(-35). Is 18 a factor of (-2280)/p + (-4)/14?
True
Is 87 a factor of (-12)/(-15) + 297312/285?
True
Suppose -3*y = t + 574, 955 = -5*y + t - 3*t. Let j = y + 339. Does 36 divide j?
False
Does 8 divide 43 + -46 - (-1530)/3?
False
Let q(y) = -y**3 + 4*y**2 - 4. Let c be q(3). Suppose c*i + 15 = 0, 4*z + 2*i + 2*i = 4. Is z a multiple of 4?
True
Suppose 7*r - 679 = -4*i + 8*r, i - 161 = 2*r. Does 3 divide i?
True
Let v(s) = -s**2 + 12*s - 4. Let x(i) = -6*i**2 + 61*i - 19. Let j(t) = -11*v(t) + 2*x(t). Is j(-6) a multiple of 6?
True
Is 73 a factor of (-4)/(-12)*(-24 - -3) + 2215?
False
Suppose -5*a = -4*j - 10*a - 160, 3*a - 12 = 0. Let v = j - -75. Is v a multiple of 8?
False
Suppose -24*j + 9084 + 132 = 0. Is 12 a factor of j?
True
Let b(o) be the third derivative of o**4/3 - o**3/2 - o**2. Let m be (-28)/(-11) + (-18)/33. Is 4 a factor of b(m)?
False
Let r(g) = 3*g**2 + 38*g + 12. Is 39 a factor of r(-15)?
True
Let i(k) be the second derivative of k**5/10 - k**4/4 + k**3/6 - k**2/2 - 5*k. Suppose 5*w - 4*y = -5, w - 3*w = -2*y + 4. Does 29 divide i(w)?
True
Suppose 12*i - 8120 - 4540 = 0. Is 25 a factor of i?
False
Let a(p) = p**3 + 26*p**2 - 4*p + 39. Does 9 divide a(-26)?
False
Let t = -20 - -24. Suppose 4*j - 16 = -t*o, 2*o + 2*j + 2*j - 12 = 0. Let m = o + 12. Is m a multiple of 3?
False
Suppose 0 = 8*s - 3*s - 15. Suppose 81 = s*n - 117. Does 22 divide n?
True
Suppose -27 = -5*r + c, -5*c - 24 = -4*r - 3*c. Suppose -r*f + 13 = m - 10*f, -3*f + 26 = 2*m. Suppose 6*p - m = 35. Is 5 a factor of p?
False
Suppose b + 0*b = -14. Let x = 24 + b. Is 6 a factor of ((-48)/(-20))/(4/x)?
True
Let z = -13 + 3. Suppose -12*t = 46 + 2. Let o = t - z. Is o a multiple of 5?
False
Let l = 186 + -114. Does 8 divide l/30*(-120)/(-9)?
True
Let v(h) = -h**3 + 4*h**2 - 3*h. Let z be v(3). Let b = 0 + z. Suppose -4*t + b*t - 2*m + 98 = 0, 0 = -5*t + 3*m + 128. Is t a multiple of 12?
False
Let l(w) = 446*w**2 - 2*w. Let a be l(-1). Suppose 0 = 5*p - a - 452. Is p a multiple of 12?
True
Let r(o) = 