 -3*l - 33 = -d*j + 135. Is j a multiple of 4?
False
Suppose 5*r = 125 - 115. Suppose f = p - 6*p + 1049, -f = -r*p - 1077. Does 24 divide f?
False
Let z be (48/10)/(1/(-5)). Suppose 429 = 3*d + 2*s - 281, 5*s + 745 = 3*d. Let v = z + d. Does 12 divide v?
True
Let f(d) = -142*d**2 - 2*d + 9. Let j(m) = -95*m**2 - m + 6. Let i(t) = 5*f(t) - 8*j(t). Does 7 divide i(-1)?
True
Let n(b) be the first derivative of 5*b**3/3 + b**2/2 - 12*b + 56. Is n(5) a multiple of 7?
False
Let g(u) = -300*u**3 - 3*u**2 + 2. Let n = -106 + 105. Does 23 divide g(n)?
True
Suppose 0 = 18*p - 23*p + 15. Suppose 219 = p*j - 357. Suppose j = 25*h - 23*h. Is h a multiple of 16?
True
Let n(f) = -2*f**3 + 3*f**2 - 2*f - 9. Let j = 229 - 233. Is n(j) a multiple of 6?
False
Let p(q) be the second derivative of 0 + 1/6*q**3 + 4*q**2 + 13*q. Is p(4) a multiple of 9?
False
Let b(k) = -146*k - 25. Let g be b(-2). Let l = 689 - g. Does 37 divide l?
False
Let m = -218 + 224. Suppose -5*b - y + 119 = 0, -m*y + 8*y = -2. Is b even?
True
Suppose 3*v = 0, -3*g + 5*v + 1 + 11 = 0. Suppose -3*d - 150 = -g*y + 2*d, -5*y + 192 = -4*d. Suppose 0 = -t - 2*j + y, 4*j = 1 - 17. Is t a multiple of 12?
True
Suppose 196*c = 93*c + 95*c + 285312. Is 55 a factor of c?
False
Let n(o) = 8*o**2 + 7*o + 7. Let l be n(-2). Suppose 23*j + 320 = l*j. Is j a multiple of 10?
True
Let y = 434 - 431. Suppose -y*i + 1163 = 2*c, 0 = 4*i - 3*c - 928 - 617. Is 12 a factor of i?
False
Suppose -30*z + 2*n = -25*z - 6774, 5*z - 6762 = -4*n. Is z/4 - (-5)/(-2) a multiple of 14?
True
Let r = 6516 + -4486. Does 20 divide r?
False
Let j(o) = o**2 - 5 + 19 - 5 + 2*o**2. Is 28 a factor of j(-5)?
True
Suppose 9*w - 235 = 4*w - 5*i, 0 = 3*w - 4*i - 141. Let z = w + -42. Suppose -4 = g, -2*g + z*g - 324 = -4*c. Does 11 divide c?
False
Let l be (2 + 6/(-4))*2. Suppose 5*u = l - 1. Suppose 80 = 5*q + 4*r, u = q - 2*r + 2 - 32. Is q a multiple of 4?
True
Let i(z) = z**2 - 4*z - 24. Let q(c) = -4*c - 12. Let y be q(-6). Is i(y) a multiple of 20?
False
Suppose 0 = -2*v - 112 + 136. Suppose -v*z + 95 = -11*z. Suppose 15*k - 20*k + z = 0. Does 3 divide k?
False
Let q(n) = 273*n + 11. Let c be q(2). Let r = 932 - c. Does 25 divide r?
True
Let g(r) = 4353*r**3 - 2*r**2 - 19*r + 38. Is g(2) a multiple of 18?
False
Let v(c) = 18*c - 46. Let h(w) = -39*w + 93. Let f(p) = -4*h(p) - 9*v(p). Is 18 a factor of f(-8)?
True
Let j(s) = -560*s + 34. Is j(-9) a multiple of 63?
False
Is -5 - -6093 - (-16 - (-13 + 4)) a multiple of 115?
True
Suppose 2*m = -2*h + 348, 0*m - 498 = -3*m + 5*h. Let p = 651 - m. Does 16 divide p?
True
Suppose 4408 = 5*t - 4*x, -24*x - 4435 = -5*t - 29*x. Is t a multiple of 13?
True
Let g(i) = i**3 - 10*i**2 - 27*i + 18. Let s be g(12). Let x be (-6)/(-4) - s/12. Suppose -x*z + 54 = -198. Does 12 divide z?
True
Suppose 5*q = 20*t - 7*t + 192789, 3*q - 115700 = 4*t. Does 16 divide q?
True
Let a(r) = 36*r**3 + 198*r**2 - 1362*r - 24. Is 103 a factor of a(7)?
False
Suppose -214*m = -611*m + 6706124. Is m a multiple of 164?
True
Let f be -3 - -38*(-3 + 4). Suppose -l = 6*l - f. Suppose 2*q - 5*p - 109 = 0, 0*q - 2*q - l*p = -99. Is 14 a factor of q?
False
Let b be (2/3 + -4)*(-1 - -4). Let z be (b/(-4))/5*0. Suppose -9*i = -z*i - 360. Is 16 a factor of i?
False
Suppose 5*a - 363*a - 128*a + 24215436 = 0. Is 14 a factor of a?
True
Suppose 149*i - 168676 - 400653 = 0. Is 39 a factor of i?
False
Suppose -s = 17889 - 44755. Does 14 divide s/114 + (5/(-3) - -1)?
False
Suppose u = 4*q - 2*u - 1286, -2*u + 973 = 3*q. Let j = 27 + q. Suppose 5*w = 2*h - 5*h + j, -139 = -2*w - h. Is 11 a factor of w?
False
Let r(y) = -y**2 + 24*y + 5. Let p = -36 - -59. Let u be r(p). Is 7 a factor of 5/10*u*2?
True
Suppose 18*f + 13*f = 62. Suppose 141 = 3*g - 22*u + 27*u, f*u - 150 = -3*g. Is g a multiple of 4?
True
Let d = -2476 + 10275. Is d a multiple of 18?
False
Let h(k) = 41*k**2 - 468*k + 39. Is 9 a factor of h(20)?
False
Suppose 5*u + 3*r - 2 - 8 = 0, 0 = -2*u + 2*r + 4. Suppose -3*i = 4*f - 1054 - 1259, 2*i - u*f = 1528. Is i a multiple of 12?
False
Let p = 21584 - 14892. Is 28 a factor of p?
True
Let i(a) = 37*a**2 + 810*a + 41. Does 28 divide i(-26)?
False
Suppose 4*j + 3*z + 385 = 0, 3*z + 20 = 7*z. Suppose -27*u + 20*u - 35 = 0. Is (-6)/u*j/(-15) even?
True
Let r(b) = 13*b**2 - 11 - 18*b - 10*b**2 + 10*b**2 + b**3. Let y be r(-14). Suppose y = 5*n - 5*v - 35, 44 = 2*n + v. Is 10 a factor of n?
True
Let m = -44 + 54. Let n be 2 - (m/2 + -3) - -67. Suppose -64*w - 210 = -n*w. Does 10 divide w?
True
Let t(w) = 9*w + 61. Let k be t(-5). Suppose 3*j + k = g - 25, 5*g + 4*j = 205. Does 41 divide g?
True
Suppose -4*f = -4*d + 193484, -4*d - 2*f - 42821 = -236293. Does 162 divide d?
False
Let x(t) = -t**2 + 7*t. Let u(y) = 5*y**3 + 30*y**2 + 9. Let g be u(-6). Let z be x(g). Is 7 - (-135)/z - 59/(-2) a multiple of 6?
False
Let w = -97 + 99. Suppose 0 = w*f + 10 + 2. Let q(m) = -m**3 - 5*m**2 + 12. Does 15 divide q(f)?
False
Does 9 divide (71177/2 - 13) + (3 - (-6)/(-4))?
True
Let n(x) = -11*x**3 - 5*x**2 - 13*x - 18. Let z be n(-4). Suppose -13*s + 2348 = z. Is s a multiple of 5?
True
Let m = 989 - -3951. Is 38 a factor of m?
True
Suppose -8 = 520*i - 521*i. Is 18 a factor of -3 - (2*(-12)/i - 342)?
True
Let c = -883 + 4084. Is c a multiple of 20?
False
Suppose 0 = 13*o - 12*o - 4. Suppose -o*q - d = -3265, 6*d - 3*d + 4077 = 5*q. Is q a multiple of 51?
True
Suppose -4*h = 2*h - 84. Suppose -5*p - 5*t + h + 1 = 0, t - 3 = 2*p. Is 8 a factor of 34 - (5 - (0 - (p + -3)))?
True
Let g(d) be the first derivative of 13*d**3/3 + d**2/2 + 22*d + 21. Let r be g(11). Suppose -7*m + 109 = -r. Does 38 divide m?
False
Is ((3/18)/((-1)/226))/((-41)/11808) a multiple of 24?
True
Let r(n) = n**2 - 11*n + 56. Let j be r(21). Is (-76)/j - (-8236)/14 a multiple of 12?
True
Suppose 0 = 37*g - 35*g - 2352. Suppose -1344 - g = -7*r. Is 12 a factor of r?
True
Suppose -2 = 5*n + i, n = -0*n - i - 2. Suppose -2*w + 2*f - 2 = n, 5*w - 4*f + f + 3 = 0. Suppose 8*k - 435 + 75 = w. Does 9 divide k?
True
Let n(g) = -g**2 + 3*g + 2. Let o be n(-3). Let w be o*5/(-30) - 2/3. Suppose 4*z - 86 = -f, 3*z - w*z + f = 20. Is z a multiple of 22?
True
Suppose -15840 = 34*l - 12*l. Let g = -378 - l. Is 11 a factor of g?
False
Suppose -12*p + 4727 - 263 = 0. Suppose 383*u - p*u - 4158 = 0. Is 14 a factor of u?
True
Let y be -1*1 + 12 + 159. Suppose -2*q - y = -2*i, 4*q + 141 + 23 = 2*i. Suppose -3*h + i + 29 = 0. Does 18 divide h?
False
Suppose 2*o = 11*o + 279. Let f = -46 - o. Let k = 9 - f. Is 24 a factor of k?
True
Let k = -2557 - -10375. Is k a multiple of 29?
False
Suppose 0 = 5*o + 4*d - 308, -31 + 95 = o + 2*d. Is o a multiple of 20?
True
Let t(v) = -3347*v + 76. Is t(-1) a multiple of 43?
False
Let b be 0 + -4 - (62 + -1). Let h = -8 - b. Is h a multiple of 17?
False
Suppose 88*u - 459559 = -93*u. Is u a multiple of 13?
False
Let v(x) be the second derivative of x**4/12 + 7*x**3/6 + 9*x**2 - 2*x - 5. Does 4 divide v(7)?
True
Suppose -660 = 16*y - 26*y. Suppose -2*s + 386 = -2*a, -s - 4*a - y = -254. Is 9 a factor of s?
False
Let q(u) = u**3 + 10*u**2 - 21*u - 23. Let j be 13 + -20 - (0 + 0) - 4. Is q(j) a multiple of 17?
False
Suppose 32 = 75*w - 67*w. Suppose -3*d - 12 = 0, -4*d - d = w*m - 780. Does 20 divide m?
True
Let v(n) be the third derivative of -n**6/120 + 7*n**5/30 + 2*n**4/3 - 8*n**3/3 - 21*n**2. Let i be v(15). Is 3/6*(63 + i) - 1 a multiple of 7?
False
Let y(r) = -4*r**3 - 39*r**2 - 21*r + 1. Does 63 divide y(-13)?
False
Let k(q) be the first derivative of -q**3/3 + 7*q**2 + 21*q + 24. Let w be k(12). Suppose 0 = 4*d + t - w, -3*t + 28 + 8 = 3*d. Is d a multiple of 3?
False
Let q = -68 - -71. Suppose 3*l + q*a = 21, -2*a - 1 = -3. Suppose -2*c = 2*d - l*c - 40, -2*c = -4*d + 74. Does 6 divide d?
True
Let q(l) = -27*l - 81. Let s be q(-4). Suppose 0 = -s*y + 23*y + 256. Is 18 a factor of y?
False
Suppose 3*m + 3*i = -945, -12*m - 4*i = -7*m + 1580. Let r = 372 + m. Is r a multiple of 13?
True
Suppose 0 = 8*r - 13*r + 5. Let w(d) = 79*d**2 - 6*d + 2. Is 5 a factor of w(r)?
True
Let v = 116496 - 73802. Does 13 divide v?
False
Suppose 0 = 5*k + i - 64944 - 146193, -2*k + 84471 = -5*i. Is 276 a factor of k?
True
Suppose -88578 = 105*u - 119*u. Does 171 divide 