4*p - 2. Is (f/(-4))/((-8)/(-100736)*8) a multiple of 12?
False
Let t = -314 - -2252. Suppose 27*n - 30*n = -t. Is n a multiple of 29?
False
Let a(g) = -g**3 - 14*g**2 + 14*g + 14. Suppose j - 5*k = 18, -2*j + 0*j + k = -18. Let r = j - 23. Is 9 a factor of a(r)?
False
Let w(p) = 551*p - 17. Let t(g) = -553*g + 17. Let d(y) = -4*t(y) - 5*w(y). Does 11 divide d(-1)?
False
Let a = 70 + -65. Suppose 5*k = 5*u + 500, 183 - 633 = -a*k - 5*u. Suppose -2*r + k = 47. Is 12 a factor of r?
True
Suppose -4*p = -p. Suppose 0 = k - 4*n - 30, 85*k - 80*k - 4*n - 54 = 0. Suppose k*b - 53 - 67 = p. Is b a multiple of 20?
True
Is 10549 + -7 - (-5)/(45/(-63)) a multiple of 49?
True
Let b(n) be the third derivative of -n**5/60 + 11*n**4/24 - 7*n**3/2 + 282*n**2. Let w = 20 + -15. Is b(w) a multiple of 5?
False
Let l(o) be the first derivative of 1/4*o**4 + 15/2*o**2 + 16/3*o**3 + 30 + 21*o. Is l(-15) a multiple of 21?
True
Let y be (-1085)/(-49) - 3/63*3. Let f be 6/(y/50 - (-14)/(-35)). Suppose 5*t - 5*m = f, 0 = -3*t + 5*m - 22 + 112. Is 6 a factor of t?
True
Let f be (-13 - -15)*((-1)/(-2) + 2). Suppose 2815 + 275 = f*a. Is 6 a factor of a?
True
Is 92 a factor of (-11153*12)/(-6) - (-1)/(3/21)?
False
Suppose -18*r + 13*r + 2*c = -5924, -5*r = 3*c - 5914. Suppose -10*g - r + 5964 = 0. Is g a multiple of 24?
False
Let i(h) = 4*h + 10. Let g be i(7). Let w be (-225)/10*8/6. Let n = g + w. Is 4 a factor of n?
True
Let p(n) = -130 + 57 - 15*n - 19*n. Let l be p(-8). Suppose 0 = 9*h - l - 215. Is h a multiple of 18?
False
Suppose 0*g + 2*g + 2720 = -2*i, 5*i - 6850 = 5*g. Let t = -933 - g. Suppose -4*v + t = 96. Is 21 a factor of v?
True
Let k = 18589 + -12935. Is 5 a factor of k?
False
Suppose 159*t - 154*t = 25. Suppose -t*h = -285 - 80. Is h a multiple of 5?
False
Let p(w) = 25*w**2 + 66*w + 301. Is 182 a factor of p(-7)?
False
Let o = 81 - 76. Suppose -z + 2505 = 2*z + 3*v, o*v - 15 = 0. Suppose -2*t + z = 6*t. Is 52 a factor of t?
True
Suppose 5*k - 4*s - 38541 = 0, -7*s - 30828 = -4*k - 5*s. Does 67 divide k?
True
Let o = 6360 - -5210. Is 130 a factor of o?
True
Let v(z) = -z + 15. Let t be v(9). Suppose t*s + 6*s = 432. Suppose 37*i = s*i + 132. Does 44 divide i?
True
Let p = 70640 + -28682. Does 162 divide p?
True
Let b = 8818 - 2585. Does 11 divide b?
False
Suppose -18*j - 1677 = -31*j. Let v = 278 + -196. Let q = j - v. Does 12 divide q?
False
Let o be 363 + 1 + (-1 - -5). Suppose -640 = -12*f + o. Is 21 a factor of f?
True
Suppose -48 = 11*o - 26. Let f be (-2)/3 - (328/(-6))/(-2). Is 10 a factor of o*61*14/f?
False
Let g = 53 + -70. Is 38 a factor of 14361/21 - g/119?
True
Suppose 5*d - 26 = -2*m + 3*d, -m - 3*d = -19. Suppose 345 = 5*f + 5*w, m*w - 5*w = -2*f + 129. Suppose 5*y - 896 = s, -y + s + f = -104. Is y a multiple of 45?
True
Let g be 160/24*(-6)/(-8). Suppose 1036 = g*f - 5*z - 79, 3*z = 5*f - 1109. Does 20 divide f?
True
Let h(b) = 780*b**3 - 40*b**2 + 113*b + 107. Is h(4) a multiple of 111?
True
Suppose -522*z + 12 = -516*z. Does 49 divide ((-1240)/160)/(z/(-128))?
False
Suppose 5*w - 5 = 5. Let m(n) = -5 - 9*n + 6*n + 10 + 2*n**w - 6*n. Is 8 a factor of m(7)?
True
Let m = -129 + -403. Let n = 644 + m. Is n a multiple of 3?
False
Let q(c) = -11*c**3 - 10*c**2 - 49*c + 25. Does 5 divide q(-5)?
True
Let o(l) = -2*l**2 - 21*l - 8. Let a be o(-10). Suppose 4*z + 0*v = v, 0 = -z - a*v. Suppose z*d + 120 = 2*d. Does 15 divide d?
True
Suppose 383 = -2*p + 3*p - 2*c, -5*p - 5*c = -1915. Let h = -808 + p. Let a = h - -649. Does 28 divide a?
True
Suppose 0 = 96*r - 139*r + 278124. Is 82 a factor of r?
False
Suppose 4*s = -12, -3*s = -2*v - 5782 + 30913. Does 16 divide v?
False
Let f = 27971 + -14952. Is 18 a factor of f?
False
Let q(v) = 32*v - 544. Is 20 a factor of q(52)?
True
Suppose 0 = -9*y + 15*y - 16*y + 7230. Does 8 divide y?
False
Suppose 3*y + 21 = 5*b, 2*y + 1 = -b - 0*y. Suppose 1739 - 1166 = b*p. Is 3 a factor of p?
False
Let s(x) = 25*x + 4. Let b be s(2). Suppose 4*f + b = 10*f. Let n = f + 23. Does 16 divide n?
True
Let l(o) = -78*o - 76. Let a = 905 + -924. Is 37 a factor of l(a)?
True
Suppose -u = -2*h + 6*h + 5, 0 = -2*u - 3*h. Suppose -u*f = -951 - 291. Is f a multiple of 22?
False
Let o be -4 + ((-7)/1 - -4) + 13. Is 1*-8*(315/o)/(-1) a multiple of 21?
True
Let v = 558 - 534. Is 122 a factor of (v - -42)*28/8?
False
Does 66 divide 9 + (-4)/32*-8 - -4544?
True
Let n be 13/((-234)/(-14280)) - 3/9. Let s = -548 + n. Is 5 a factor of s?
True
Suppose 4*n + 31 = 2*k - 5, -45 = 5*n + 2*k. Let z be -1*n/(-6)*(7 - 173). Let l = 473 - z. Does 14 divide l?
True
Let v(a) be the second derivative of a**5/20 + 5*a**4/3 - 29*a**3/6 - 31*a**2/2 + 2296*a. Let o = 18 + -39. Does 14 divide v(o)?
False
Suppose -10 = -2*i - 0. Suppose -2*d = 6, i*f + 3*d - d = 19. Suppose 5*h + a = -3*a + 770, -25 = f*a. Is h a multiple of 32?
False
Is 18 a factor of ((-52628)/6)/(10/(-24) - 4/16)?
False
Suppose -18 = -6*n + 84. Suppose -j + 151 = n. Is j a multiple of 17?
False
Let m = -542 - -1079. Suppose -4*u + m = -215. Is u a multiple of 19?
False
Let p(m) = -m**3 + 37*m**2 + 24*m + 66. Is 25 a factor of p(34)?
True
Let k(g) = g**2 - 8*g + 11. Let x be k(7). Suppose 0 = 3*l + 12, 3*i - l = -x*l + 1578. Does 53 divide i?
True
Let x(k) = k + 1. Let m be x(-5). Let f be 2 - (-821 - m) - 3. Suppose a - f = -5*a. Is 23 a factor of a?
False
Suppose 33 + 2 = -5*n. Let d be 1 - 1 - (n - 166). Suppose d = 3*r + 5*x, 4*x + 1 = 5. Does 28 divide r?
True
Let c(o) = 2*o**2 - 15*o + 1. Suppose -5*l - 16 = -l. Let s(w) = -3*w**2 + 14*w. Let j(d) = l*c(d) - 3*s(d). Does 12 divide j(4)?
True
Let x = -182 - -459. Suppose -276*d + x*d = 546. Is 21 a factor of d?
True
Suppose 17*l = 3*l + 70. Suppose 4*w - 248 = -l*p, 2*w + 23 = 5*p + 117. Is 2 a factor of w?
False
Let d(b) = b**3 + 8*b**2 + 3*b - 2. Let t be d(-5). Suppose -19*i = -322 - t. Does 5 divide i?
True
Let n = -9027 + 9015. Suppose -j + 2 = -3*j. Is ((-50)/(-15))/(j/n) a multiple of 8?
True
Suppose 3*u + 53 = m, 0*m + 81 = 2*m - u. Let k(l) = l**3 - 37*l**2 - 22*l - 69. Is k(m) a multiple of 18?
False
Let r(m) = -33*m**3 + 1258*m**2 - 67*m - 64. Does 129 divide r(38)?
False
Suppose u = 2*r - 22, -4*u + 26 = -7*u - 2*r. Is (-10)/40 + (-5175)/u a multiple of 13?
False
Let b = -13 + 5. Let q be (-4)/(1*b)*-46. Let k = q + 44. Does 4 divide k?
False
Let a(l) = 2*l**3 - 3*l**2 - 4*l - 8. Let t be a(-3). Let y be t/(-11) - (2 + -1 + 1). Suppose 3*h - k = -2*h + 61, 4*h - 53 = y*k. Does 11 divide h?
False
Suppose 2*i - 668 - 248 = 5*o, 3*o - 1395 = -3*i. Is i a multiple of 59?
False
Let x(f) = -f**2 - 17*f - 20. Let y be x(-11). Let n = y - 45. Is 13 a factor of 68/8*(n + 5)?
False
Let u(h) = -2*h**2 - 25*h - 30. Let x be u(-12). Is 57 a factor of 19/((-399)/x)*532?
True
Let r(m) be the second derivative of -m**5/20 + 23*m**4/6 - 14*m**3/3 + 45*m**2/2 + 317*m. Is 27 a factor of r(45)?
True
Let j(q) = 7*q - 47. Let z be j(21). Suppose 0*p + 4*u = -4*p - z, -p - 10 = -2*u. Is ((-504)/(-30))/((-8)/p) a multiple of 6?
True
Suppose 0 = 20*o - 3*o - 0*o. Suppose o = 51*f - 36*f - 3690. Does 35 divide f?
False
Does 28 divide 679/((-209)/44 - -5)?
True
Suppose 3*j - 40 = -j + 4*h, j - 4*h - 22 = 0. Let x be j/10 - (-2808)/(-30). Let l = x + 176. Is l a multiple of 11?
False
Is 125 a factor of (561/4)/(34/(578000/51))?
True
Suppose -t + 12 = a, -4*t + 2*a + 77 + 13 = 0. Let j = 1 - 1. Suppose j = 22*n - t*n - 192. Does 22 divide n?
False
Let t = -5 - -7. Suppose t*h + 5*f = -0*h - 4, h - 2*f = 7. Suppose -65 = -2*v - c, -h*c = 3*v - 63 - 30. Is v a multiple of 17?
True
Let c(j) = 2*j + 18. Let d be c(-5). Suppose -3*w + 1272 = -d*w - 4*p, 5*p + 758 = -3*w. Let b = 455 + w. Is b a multiple of 24?
False
Suppose 3*v - 137 = 82. Let o = v - 35. Does 3 divide (o*2/10)/((-28)/(-70))?
False
Let w(t) = -18*t + 20. Let c be w(5). Is 5 a factor of ((-24)/2)/((-265)/c - 4)?
False
Let q(n) = -142*n - 643. Does 3 divide q(-22)?
True
Let d(h) = 2*h + 13 - 6 + 12. Let m be d(-9). Is 7 a factor of (-391)/(-51) + (1/3 - m)?
True
Let h(i) = 11*i - 42. Let t be h(4). Suppose -6 = -t*j + 1490. Is 22 a factor of j?
True
Let p(g) = -g**3 - 7*g**2 - 5*g + 6. Let x be 20 - 16 - 2*5. Let y be p(x). Let j(w) = w**3 - w**2 - w + 48. Does 16 divide j(y)?
Tru