p - 4*p - 5*i + 37 = 0. Let t(h) = -76*h + 81*h + 1 + p. Is t(6) a multiple of 9?
True
Let w be (5/20)/(2/16). Let h = 0 + w. Does 21 divide 21 + (1 - (-4)/h)?
False
Let g = 4 + 3. Let r(j) = -13*j - 1. Let t(c) = 6*c. Let u(a) = 3*r(a) + 7*t(a). Is 18 a factor of u(g)?
True
Is (-130)/(-117) + -1 - (-4913)/9 a multiple of 26?
True
Suppose 0 = -4*f + 3*g + 71, 4*f - 127 = -2*g - 41. Suppose -14*m = -12*m - f. Is m a multiple of 10?
True
Let d be -12*(-5)/(60/76). Let h = 14 + d. Does 6 divide h?
True
Let y be ((-9)/(-15))/((-1)/(-115)). Suppose 9*x = 924 - y. Does 8 divide x?
False
Let w(r) = -r**3 - 10*r**2 + 22. Let k be ((-4)/6*-3)/((-3)/15). Does 22 divide w(k)?
True
Let u(a) = -a**3 - 13*a**2 - a - 16. Let q be u(-13). Suppose -5*t + 230 = -110. Let f = q + t. Does 28 divide f?
False
Let m be -39 + (-8)/(-4)*-1. Let y = m + 127. Is y a multiple of 36?
False
Let u(z) = z**2 - 39*z + 83. Is 13 a factor of u(60)?
False
Suppose 3*m = -5*x - 27, 1 = -m - 0*m + x. Let f be 0*(-2)/m - 1794. Does 20 divide f/(-30) + 1/5?
True
Suppose 10 = -22*l + 17*l. Let s be 54/l*2/(-3). Let p = s - 3. Is p a multiple of 15?
True
Let h = -1354 + 3234. Is 27 a factor of (h/16)/((-1)/(-2))?
False
Let s(n) = -12*n. Let k be s(-2). Is (k/21)/(6/42) a multiple of 4?
True
Suppose -11392 - 39590 = -29*t. Is 45 a factor of t?
False
Let h(z) = -496*z - 67. Is 44 a factor of h(-3)?
False
Let t be 4/(2/(-6) + 1). Suppose t*h + 2*h = 168. Is h a multiple of 8?
False
Let l = -382 - -658. Is 6 a factor of l?
True
Suppose -1302*h + 49096 = -1285*h. Does 76 divide h?
True
Let z(s) = -s**2 - 11*s + 5. Let i be z(-11). Let j(v) = 8*v - 4. Let p(q) = -7*q + 3. Let c(m) = -2*j(m) - 3*p(m). Is 24 a factor of c(i)?
True
Let u(x) = 6*x - 16. Let h be -7*(120/35)/(-3). Is 4 a factor of u(h)?
True
Let p(z) = 42*z**2 + 2*z - 2. Let j be p(1). Is 4 a factor of j/1 + (0 - 3)?
False
Let r = -3 - -12. Suppose -6 = -5*n + 2*x - 2, 3*n + r = 5*x. Suppose d - n - 5 = 0. Does 6 divide d?
False
Suppose 11*z - 8*z = 27. Let f = 35 + z. Is f a multiple of 11?
True
Suppose f + 25*o = 21*o + 660, -o = 4. Is 45 a factor of f?
False
Let i = 211 + 149. Is 14 a factor of i?
False
Let j = 56 + 86. Is 8 a factor of j?
False
Suppose -6*x = -3065 + 719. Is x a multiple of 70?
False
Suppose -d = -2*y - 5*d + 1114, -4*y = 5*d - 2228. Is y a multiple of 45?
False
Suppose 2*k = -13 - 5. Let a = k + 130. Is 11 a factor of a?
True
Let r(a) = 13*a + 9. Let n be r(6). Let g = n - 37. Is g a multiple of 7?
False
Let p be 15 + -17 + -5 + 1. Let a be 1*15/p*-2. Suppose t + 212 = 3*q, 0 = 3*q + a*t - t - 217. Is 15 a factor of q?
False
Let f = -13 - -54. Let p = f + 3. Is p a multiple of 11?
True
Let w = -788 + 5009. Does 9 divide w?
True
Let x(d) = 89*d - 782. Does 16 divide x(57)?
False
Let q = 4722 + -2299. Does 16 divide q?
False
Let m = 34 + -28. Suppose -3*w = 3*z - 2*z - 81, -2*w = -m. Is z a multiple of 18?
True
Suppose 3*x = 0, x = h + 1 - 2. Let b be 342 + (1 - -2) + h. Suppose b = 4*y - 46. Is 27 a factor of y?
False
Let b(r) = 6*r - 4. Suppose -3*x - o + 9 = 4*o, 0 = 2*x + 5*o - 6. Suppose -p = -3*l - 13, -4*l = x*p - 2*l - 6. Is b(p) a multiple of 10?
True
Suppose 0 = 2*y - 5*s + 20, 5*y + 4 + 4 = 2*s. Let f(u) = u**2 - 3*u + 19. Is 6 a factor of f(y)?
False
Let c(n) = 835*n**2 - 7*n + 7. Is c(1) a multiple of 18?
False
Let z be 2*3/6 + -29. Let t = 20 + z. Let y = t + 23. Is 7 a factor of y?
False
Suppose 230 = b + 2*g, 4*b + 3*g = 8*b - 920. Is b a multiple of 9?
False
Suppose 0 = 55*z + 11*z - 141570. Does 33 divide z?
True
Does 50 divide 1444 + (4 - (-10)/5)?
True
Suppose 0 = 3*p - 301 - 77. Is p a multiple of 3?
True
Suppose s = -0*s - 15. Is (-14)/(-21)*s/(-2) a multiple of 4?
False
Let z(x) = 3*x**2 + 5*x - 13. Let m be z(-9). Suppose -2*u + m = -u - 3*c, 4*u - 695 = 3*c. Is u a multiple of 17?
True
Let q(v) = -v**3 + 2*v + 46. Is q(0) a multiple of 23?
True
Suppose 0 = -b - 1, 31*y + 3*b = 35*y - 4163. Is 52 a factor of y?
True
Let x(q) = 5*q**2 + 4*q + 4. Does 10 divide x(-2)?
False
Let j = 1889 - 456. Does 32 divide j?
False
Let z(c) = c**3 - 11*c**2 + 5*c + 14. Is z(11) a multiple of 6?
False
Is 18/(-27) + (-7680)/(-18) a multiple of 49?
False
Let c = 15 - 7. Suppose -c*m = -4*m - 32. Does 2 divide m?
True
Let f(m) = 4*m**2 + 6*m + 1. Let z(w) = -w**2 + 17*w - 37. Let b be z(15). Is f(b) a multiple of 11?
False
Is (-264)/(-220)*4690/6 a multiple of 52?
False
Let y = 90 - 84. Let z = 11 - y. Is 5 a factor of z?
True
Let m(d) = d**3 + 13*d**2 + 10*d - 13. Let z be m(-12). Let p be z + -2 - 1*-1. Suppose -p*o + 4*o = -300. Is 10 a factor of o?
True
Suppose 5*q + 22 = 5*r - 98, -2*q = -r + 50. Is q/(-65) + 796/10 a multiple of 20?
True
Let z = 1036 - -286. Is z a multiple of 97?
False
Suppose 57 + 968 = 5*g. Suppose 4*i - g = -i. Is i a multiple of 21?
False
Let f be (-2 - -5) + (-10)/(-2) + -80. Is 10 a factor of f/(-4) + 0/(-1)?
False
Let p(t) = -t**2 + 14*t - 22. Let u be p(11). Let z(g) = g**2 + 3*g - 17. Is z(u) a multiple of 16?
False
Is 840/2*11*(-12)/(-88) a multiple of 4?
False
Let d(a) = 4*a**3 - 3*a**2 - 9*a + 20. Let k be d(4). Suppose 2*s + 4*y - k = 0, 4*s - 506 = -s + 3*y. Does 7 divide s?
False
Let v(t) = 0 - 13 + 5*t + 2*t**2 - 1 + 5. Let w be v(-8). Let b = w - 51. Is b a multiple of 9?
False
Suppose -108*d + 26965 = -9755. Does 6 divide d?
False
Let a(c) = 19*c**2 + c + 3. Suppose -6 = 5*p + 2*x, -p + 4*x - 7 = 3. Is a(p) a multiple of 19?
False
Is 12 a factor of (-1803)/(-27) - (-4 - (-34)/9)?
False
Suppose -5*k + 1191 + 5710 = -4*p, 5516 = 4*k - 2*p. Is 51 a factor of k?
True
Let y = -84 - -101. Suppose -12*s + y*s = 830. Is s a multiple of 17?
False
Let t(h) be the second derivative of -h**5/20 + 5*h**4/12 + 7*h**3/6 - h. Let x be t(6). Suppose d + 145 = x*d. Is d a multiple of 10?
False
Suppose -13 = 4*c - 5*w, -2*c - 4 - 5 = -5*w. Let t be (-2 + 72)/((-4)/c). Let r = t - -23. Does 29 divide r?
True
Let f be 445 - 0 - (-10)/(-2). Suppose -5*i + 5*d + f = 0, -2*d = 3*i + 2*i - 412. Is 12 a factor of i?
True
Suppose -4*r + 1911 = 3*r. Suppose -4*q = -r - 83. Let n = 5 + q. Is 13 a factor of n?
False
Is 15 a factor of (43797/(-15))/(-13) + (-2)/(-5)?
True
Let o = -26 - -29. Suppose y - o*k - 3 = 0, -k + 0*k = -4*y + 56. Does 6 divide y?
False
Let g = -394 - -678. Does 24 divide g?
False
Let r(w) = w - 1. Let g be r(2). Let c(f) = 10*f - g + 4 + 0*f**2 + f**2 + f**2. Is 11 a factor of c(-7)?
False
Suppose -2*w = w - 24. Let f(g) = 113 - 56 - 54 + w*g + g**2. Is 12 a factor of f(-11)?
True
Suppose -53 = -l - 8. Suppose -33 - l = -2*t. Does 13 divide t?
True
Suppose -n = 3*r + 4961, 6623 = 4*r - 8*r - 3*n. Is r/(-91) + (-4)/26 a multiple of 9?
True
Let d be (68/102)/((-2)/(5*-6)). Is 320/((d/(-5)*-1)/2) a multiple of 32?
True
Let s(k) = 2*k**2 - k + 7. Let w = -9 + 2. Let n be s(w). Suppose 0 = 4*u + 3*q - n, -2*q + 3*q = -3*u + 79. Is 15 a factor of u?
False
Let g(y) be the first derivative of -y**3/3 - 4*y**2 - 8*y - 1. Let v be g(-6). Suppose v*n = 279 - 79. Is n a multiple of 15?
False
Suppose -1 = -4*y + 15. Is 6 a factor of 1/y - 478/(-8)?
True
Let a = 33 + 42. Let i be 3*(-3)/(-9) - -12. Suppose -8*l + i*l = a. Does 15 divide l?
True
Let r = -120 - 26. Let i = 407 + r. Is i a multiple of 36?
False
Suppose -6*g + g + 118 = -v, 4*g + 5*v = 106. Suppose -3*y + g*y - 756 = 0. Is 12 a factor of y?
True
Let z(j) = -5*j - 14. Let x be (((-256)/(-12))/4)/(2/(-6)). Is z(x) a multiple of 22?
True
Let w = -1796 - -2153. Is w a multiple of 21?
True
Suppose -5*k + k + 32 = 0. Suppose 7*h = k*h - 20. Does 4 divide h?
True
Suppose 0 = -4*t + 3*w + 103, -3*t + t - 3*w + 47 = 0. Suppose 3*z - 5*j = -73, 59 = -3*z - 0*j - 2*j. Let p = z + t. Is 3 a factor of p?
False
Suppose 58 = 2*u + 280. Let z = -78 - u. Let d = z + -24. Does 9 divide d?
True
Suppose 0 = -3*n + 21. Let q = -5 + n. Suppose 4*j = q*k + k - 74, 16 = 4*j. Does 15 divide k?
True
Let u = 313 - 162. Suppose 3*q - 56 = -c, 3*c - 53 = 5*q - u. Does 17 divide q?
False
Does 5 divide 2844/3*(-2)/(-4)?
False
Let p = -126 - -123. Let r(k) = 3*k - 9. Let q(v) = -1. Let u(y) = 4*q(y) - r(y). Does 13 divide u(p)?
False
Let f(y) = -663*y - 3. Let a be f(-1). Suppose -48*r + 53*r - a = 0. Is 33 a factor of r?
True
Let u = -196 - -442. Su