o = 5*f - 200, -o = -3*f + 23 + 77. Is f a multiple of 19?
False
Let q = 61 + -34. Suppose -33 = -r + q. Does 27 divide r?
False
Let o(f) = 80*f**3 - f**2 - f + 23. Does 13 divide o(3)?
True
Let i be ((-126)/15)/((-1)/5). Suppose 13*a - 41 = 24. Let y = i + a. Does 38 divide y?
False
Let p = 912 - 642. Is p a multiple of 10?
True
Let c(d) = -9*d**3 + 19*d**2 - d - 3. Let p(w) = 14*w**3 - 29*w**2 + w + 5. Let y(m) = -8*c(m) - 5*p(m). Is 15 a factor of y(5)?
False
Suppose -1 = 4*k - 5, 3*p - 13 = -4*k. Let w be 16*3/6 - p. Suppose -w*d + 192 = 52. Does 7 divide d?
True
Suppose -2428 = -16*q + 1796. Does 33 divide q?
True
Suppose 18*v = 2*v + 1536. Is 6 a factor of v?
True
Suppose -3*m - 9 = 2*u, 3*u - m + 2*m - 4 = 0. Let b be (4/12)/(u/54). Is 0 + (-50)/b*-3 a multiple of 16?
False
Let g(a) be the first derivative of -5*a**2/2 + 19*a - 15. Is 23 a factor of g(-8)?
False
Suppose 10*q - 56*q + 21160 = 0. Is 5 a factor of q?
True
Let p = -1 - 2. Let r(h) = -6*h**2 - h + 5. Let s(a) = -5*a**2 + 5. Let q(d) = 2*r(d) - 3*s(d). Does 7 divide q(p)?
True
Does 15 divide (-34)/8*9*(8 + -128)?
True
Let i = 47 - 37. Suppose 70 = 2*a + 4*z - 20, -2*z + i = 0. Is 5 a factor of a?
True
Let b be (24/20)/((-2)/(-5)). Suppose b*c + 36 = 141. Suppose 3*h = -9, 0*h = 2*f + 3*h - c. Is f a multiple of 11?
True
Let d(y) = y**2 + 7*y - 16. Let s(x) = 4*x**2 + 21*x - 48. Let a(v) = -7*d(v) + 2*s(v). Let p be a(7). Does 16 divide (-3)/1 + 3 + p?
True
Let w(q) be the third derivative of q**5/60 - 7*q**4/12 + 2*q**3/3 + 50*q**2 + q. Is w(25) a multiple of 31?
True
Let k be (-2)/(-5) + 216/(-15). Let a be (-23)/7 + (-4)/k. Let x(i) = -2*i + 3. Is 9 a factor of x(a)?
True
Suppose 0 = -3*h, -2*o + 1122 = -6*h + 11*h. Is o a multiple of 45?
False
Suppose 0 = -100*u + 124*u - 26496. Is 23 a factor of u?
True
Is 1085/3 + -8 + (-125)/(-15) a multiple of 24?
False
Let r = 764 - 336. Let q = 691 - r. Is 40 a factor of q?
False
Suppose d - 423 = 718. Is d a multiple of 17?
False
Let f(d) = 5*d**2 + 5*d + 87. Is 51 a factor of f(12)?
True
Let y(o) = o**2 + 10*o + 3. Is 84 a factor of y(-29)?
False
Let d(z) = -8*z - 50. Does 16 divide d(-38)?
False
Let w(i) = i**3 + 8*i**2 - 3*i + 14. Let g be w(-7). Suppose -y + 63 = 2*k + 19, 2*k = -2*y + g. Is 10 a factor of y?
True
Let a = -439 - -756. Does 8 divide a?
False
Let w(d) = 13*d**2 - 7*d - 39. Let t(s) = 3*s**2 - 2*s - 10. Let p(l) = 9*t(l) - 2*w(l). Is p(-6) a multiple of 6?
True
Let o(t) = -t**2 - t + 61. Let n be o(0). Let w = n + -44. Is w a multiple of 17?
True
Let w be 1 + -2 + (-145)/(-5). Suppose 3*d + 187 = w. Let k = d - -105. Is k a multiple of 13?
True
Suppose 0 = 5*d - y - 0*y - 23, d = 3*y + 13. Suppose 12 = d*k - 0*k. Suppose 0 = -k*b + 77 - 8. Is b a multiple of 16?
False
Let p = 14 + -20. Let d = 4 + p. Is ((-2)/(-3))/(d/(-114)) a multiple of 19?
True
Let x = 1804 + -526. Is x a multiple of 28?
False
Let k(u) = 27*u**2 + 1. Suppose 4*l - 4*i - 1 = 3, -5*i - 3 = -4*l. Suppose 4*o - w + 6 = o, -l = -o - w. Does 14 divide k(o)?
True
Let p = 19 - 17. Let m be (p*3)/(0 + 2). Suppose 45 = m*v + v + 3*a, a - 23 = -2*v. Is 6 a factor of v?
True
Let z = 2 - -7. Suppose z*j - 302 = 7*j. Let q = j + -64. Is 29 a factor of q?
True
Suppose 0 = -o + 17 - 15. Suppose -s = o*s - 6. Suppose 0 = 5*z - 4*z + s*f - 87, -2*z - f + 177 = 0. Does 21 divide z?
False
Let w(t) = -4*t**3 - 26*t**2 + 4*t - 18. Is 4 a factor of w(-8)?
False
Suppose 4*z + 4*o - 3 = 9, 2*o - 4 = 0. Is (13*z)/(7/7) a multiple of 3?
False
Let r(u) = u**3 + 12*u**2 - u - 13. Let j be r(-12). Does 7 divide (12 - 2) + j/1?
False
Let a = 49 - 8. Suppose -12 = -f + a. Does 19 divide f?
False
Let g be (-14)/(-91) - (-2)/(-13). Is (g + -4)/((-24)/60) a multiple of 5?
True
Is 10 a factor of 2565/9*(-2)/(-3)?
True
Let l = 4 + -2. Suppose 2*s + 2*g + g = 41, -5*g = l*s - 39. Let b = 33 - s. Is 5 a factor of b?
False
Is 9 a factor of 5/(10/1128) + 2 + 1?
True
Let o = -10 + 20. Let w(y) = 0*y + 5 - 1 - 10 + 2*y. Is 14 a factor of w(o)?
True
Let u(t) be the third derivative of -7*t**4/24 + 8*t**3/3 + 13*t**2. Is u(-12) a multiple of 10?
True
Suppose -3528 = 13*l - 34*l. Let o = 160 + -70. Suppose -5*x - b = -3*x - o, 5*b = -4*x + l. Is x a multiple of 8?
False
Suppose 0 = 5*z + 4*o - 2202, -z + 3*o = 6*o - 436. Does 8 divide z?
False
Let c = 20 + -32. Does 14 divide (-2)/12 - 614/c?
False
Let n = -639 - -899. Does 8 divide n?
False
Let k = -1051 - -1343. Is k a multiple of 54?
False
Let i(v) = -151*v - 297. Does 8 divide i(-20)?
False
Let f be (-6 - -2) + (-2 - -5) + -755. Let l = -524 - f. Does 15 divide l?
False
Let r = 37 + 25. Suppose 2*p - 43 = -q + r, -4*q = -5*p + 282. Does 9 divide p?
True
Let o(b) = 6*b + 12. Let i = -14 - -21. Let j be o(i). Suppose -j - 6 = -5*p. Is p a multiple of 4?
True
Let u(s) = 3*s + 6. Let n be u(-4). Let t be (-10 - n)*(-18)/8. Is 26 a factor of 63 + (-3)/t*3?
False
Let y(p) = -p**3 + 26*p**2 - 36*p + 77. Is 19 a factor of y(23)?
True
Suppose -87 - 57 = 3*i. Let a = i + 21. Let h = a + 58. Does 12 divide h?
False
Does 30 divide (-20)/55 + (-163744)/(-176)?
True
Let d = 17 - 18. Let o be (1/2)/(d/184). Let b = o - -188. Does 26 divide b?
False
Suppose 7*y - 236 = 464. Is y a multiple of 25?
True
Suppose -23*n + 6225 = -4493. Is 33 a factor of n?
False
Suppose -x = -5*z + 7850, z - 6269 = -3*z + 3*x. Suppose 0 = -6*f + z - 251. Suppose -r = -6*r + f. Is r a multiple of 11?
True
Let h(z) = z**3 - 2*z**2 + 14*z - 22. Is h(10) a multiple of 47?
False
Let s = 1340 - 879. Is 17 a factor of s?
False
Does 3 divide 1368/40 - 2/10?
False
Let y(w) = w**2 - 7*w - 167. Does 29 divide y(-12)?
False
Let i = 59 - -168. Is 13 a factor of i?
False
Let m(s) = -s**3 - 4*s**2. Let u be m(-4). Let n be 2*(-4 - 39/(-2)). Suppose u = f + p + 3*p - n, 5*p = 25. Is f a multiple of 11?
True
Suppose -304*w = -275*w - 14964. Does 4 divide w?
True
Let t = 9 + -7. Let b(i) = -t + 5 - 5 - 3*i - 6*i. Does 8 divide b(-2)?
True
Suppose 0 = 2*y - l - 270 - 191, 2*y - 473 = -3*l. Does 10 divide y?
False
Suppose 14 = 3*q + 50. Does 39 divide (104/(-16))/(2/q)?
True
Let n(s) = 0 - 2 + 9*s - 9*s - 25*s. Is 12 a factor of n(-2)?
True
Is 22 a factor of 5 + 403 + 3/(9/(-6))?
False
Let t(g) = -3*g**2 - 16*g - 8. Let w be t(-8). Let r = 94 + w. Is 11 a factor of r?
True
Suppose 0 = 4*p - 26 - 62. Suppose -4*i - 20 = 0, 0 = -4*s + 4*i + p + 6. Suppose 2*r - s*k - 23 = 3*k, -2*k = -2*r + 26. Does 4 divide r?
False
Let u = -165 + 126. Let y = u + 99. Does 12 divide y?
True
Let n(q) be the first derivative of q**4/4 + 11*q**3/3 + 7*q**2/2 + 10*q - 22. Let w be -1*(2 + -2 + 10). Does 7 divide n(w)?
False
Let b(o) = 3*o**2 + o + 19. Let p(c) = -2*c**2 - 9. Let q(z) = -4*b(z) - 7*p(z). Is q(5) a multiple of 16?
False
Suppose -w - 42 + 302 = 0. Is 65 a factor of w?
True
Suppose 4*q - 3*j - 41 = 2*j, j = -5*q + 15. Suppose q*i - 5*o - 31 = 0, -2*o + o + 13 = 4*i. Suppose 15 = -3*t, i*y + 4 + 0 = -4*t. Is 2 a factor of y?
True
Let s = -986 - -1983. Is 18 a factor of s?
False
Suppose g - 9 = -3*h + 1, h - 5*g + 2 = 0. Suppose 4*t - 3 - 6 = x, -3 = h*x. Let a = t + 2. Is 4 a factor of a?
True
Is (-25194)/(-34) + (-1 - 6) a multiple of 36?
False
Let s(t) be the second derivative of -89*t**3/6 - 3*t**2/2 + 26*t. Is 7 a factor of s(-1)?
False
Let y = -14 + 14. Suppose 3*l - 12 = 3*v - y*v, -2*v - 3 = -l. Does 14 divide (l + -1)/(20/70)?
True
Let p(g) = 93*g + 69. Is p(11) a multiple of 28?
True
Suppose -2*l = -4*u + 475 - 1173, 5*u = -2*l + 743. Suppose 0 = -6*t - 53 + l. Does 12 divide t?
False
Let y(s) = 11*s**2 + 2*s + 1. Let j = -63 - -58. Is 38 a factor of y(j)?
True
Let p = -1 - -10. Suppose 7 + p = -d. Is 36/16*d/(-2) a multiple of 6?
True
Suppose 0 = 57*o - 74876 - 62266. Does 29 divide o?
False
Let v(s) = -32*s - 62. Is 11 a factor of v(-4)?
True
Does 9 divide 189/(-84)*112/(-1)?
True
Let z = 4827 + -2613. Does 12 divide z?
False
Let r(n) = -n**2 + 26*n + 3. Is 21 a factor of r(8)?
True
Let r be (-96)/(-52) - 2 - (-379)/13. Does 8 divide r - -1 - (0 + -2)?
True
Let y(x) = -3*x**2 + 2*x + 14. Let f be y(-4). Let k = -30 - f. Does 6 divide k?
True
Suppose 121 - 345 = -4*a. Suppose -28 = -h + a. Is h a multiple of 32?
False
Is 165*(((-96)/20)/3 - -2) a multiple of 66?
True
Suppose 2*z = z - 12