d**2 + 42*d + 23. Is 64 a factor of w(-12)?
False
Let j = 205 - -454. Suppose 5*g = 3*g + 6, -j = -s - 4*g. Is s a multiple of 12?
False
Let z(r) = 6*r + 4. Let f be z(-7). Let q = 15 - 59. Let b = f - q. Does 2 divide b?
True
Let g(z) = -z**3 - 7*z**2 - 7*z - 4. Let h be g(-6). Suppose -655 = -64*o - 67*o. Suppose -2*j - 5*l + 25 = 0, h*j - o*l + 8 = 63. Is j a multiple of 5?
True
Suppose 54*w - 58*w = 2*c - 18616, -3*c - 3*w = -27912. Is 124 a factor of c?
True
Suppose -13*r = -9*r + 2*k - 3576, 2*r - 1780 = -3*k. Does 3 divide r?
False
Suppose 0 = 17*t - 3 + 3. Suppose t = -d - 127 + 592. Does 8 divide d?
False
Let s(p) = -2*p - 1. Let n = 4 + -7. Let d be s(n). Suppose -4*u - 2*k + 100 = 0, -5*k - 58 = -d*u + 67. Is u a multiple of 17?
False
Let l be -114 + (3/1 - (10 - 5)). Let q = -65 - l. Is 7 a factor of q?
False
Let g be 5 - (-341)/(-55) - (-8)/(-10). Is 52 a factor of (-3635)/(-35) - g/14?
True
Let i be 43 + (54/9 - 9). Suppose h = i + 15. Is 4 a factor of h?
False
Let m be 2 + (-2)/4 + 88/16. Suppose -5*o - 22 = i, -m*i - o + 10 = -2*i. Suppose -52 = -i*c + 227. Is c a multiple of 8?
False
Suppose 0 = 15*f - 12*f - 27. Let o = 27 - f. Does 14 divide 858/o + 4/(-6)?
False
Suppose -16909 = -3*t - 13*j, -5*j = -7*t + 3*t + 22657. Is 246 a factor of t?
True
Let b(m) = 83*m - 1369. Does 47 divide b(36)?
False
Does 75 divide (11869/166)/(2/300)?
True
Suppose -4*g + 9596 = a, -1073 = -2*g - a + 3727. Does 11 divide g?
True
Let f = 414 - 491. Let y(g) = 22*g + 5. Let v be y(-6). Let x = f - v. Is x a multiple of 5?
True
Let p(n) = n**2 + n + 232. Let u(m) = 1. Let c(k) = p(k) - 5*u(k). Is 6 a factor of c(0)?
False
Let f(q) = -1464*q + 359. Let r(c) = 489*c - 120. Let y(d) = -3*f(d) - 8*r(d). Is y(2) a multiple of 41?
False
Suppose r + 2*m + 793 - 4735 = 0, r + 4*m = 3944. Is r a multiple of 5?
True
Does 9 divide -4 - ((-52290)/21)/15?
True
Is ((16/(-4))/4 - -2) + (9511 - -36) a multiple of 77?
True
Let p(f) = -14*f**2 + 3*f + 1. Let l(j) = -2*j**2. Let i(v) = 4*l(v) - 2*p(v). Is 52 a factor of i(5)?
True
Let y(l) = -l**3 + l**2 - 2*l. Let m be 8 + 2 - (2 + 1). Suppose 2*r - 10 = 0, -3*r = -3*t - m*r + 14. Is y(t) a multiple of 3?
False
Is 12/(-234) + (-154988)/(-39) + 12 a multiple of 66?
False
Let i(n) = -n**2 + 12*n - 28. Let h be i(10). Let w be (-4)/16 + (-274)/h. Suppose 3*d - 4*d = -w. Is d a multiple of 5?
False
Suppose -2*m + 2393 - 973 = 0. Suppose 0 = 25*w - 7290 - m. Is w a multiple of 20?
True
Let g(u) = 20*u - 28. Let k be 24/(-14)*10*(-21)/12. Does 26 divide g(k)?
True
Let l(m) be the first derivative of -15*m**2 + 116*m + 259. Is 56 a factor of l(2)?
True
Suppose i - 11*f + 12 = -8*f, i - 13 = -2*f. Suppose -5*z = 3*a - 1326 + 423, 3*a - i*z = 879. Is a a multiple of 36?
False
Let t(p) = -p**3 + 12*p**2 - 3*p - 40. Let j be ((-40)/(-48)*1)/((-1)/(-6)). Does 8 divide t(j)?
True
Suppose -b + 4797 = 4*f, 11*f + 19122 = 4*b + 16*f. Is 6 a factor of b?
False
Suppose -14*n = -72305 - 25289. Is 26 a factor of n?
False
Let y = 8718 + -4424. Is 113 a factor of y?
True
Let r(f) = 108*f**2 - 49*f + 305. Does 91 divide r(8)?
True
Suppose -10972 = -14*t + 51594. Is 109 a factor of t?
True
Is (-503542)/(-78) - (1/(-3) - -2) a multiple of 15?
False
Let q be ((-376)/(-282))/((-4)/(-7050)). Suppose -21*s + q = -2837. Is s a multiple of 23?
False
Let q(o) = 24*o + 1369. Does 15 divide q(84)?
False
Let r(q) = -22*q - 44. Suppose n + 8 = -2*t + 2, -30 = 5*n + t. Does 11 divide r(n)?
True
Suppose 178877 = 92*n - 129702 + 55211. Is n even?
True
Suppose 32 = 12*h - 76. Let d = -231 - -333. Suppose 5*s + d = t, h = t - s - 93. Does 17 divide t?
True
Is 10 a factor of (-12 - 464/(-24))*45?
True
Let h = 376 + 1000. Suppose -v - h = -4*v + 5*z, 2*v - 913 = -z. Is 38 a factor of v?
False
Suppose 0 = 2*v + g - 14, 5*v + 4*g - 7*g = 13. Suppose 515 + 4720 = v*y + 3*t, -5275 = -5*y + 5*t. Does 7 divide y?
True
Let q(i) = -i**3 + 2*i**2 - 9*i + 8. Let o be q(1). Suppose -9*m + 21*m - 2160 = o. Is m a multiple of 18?
True
Let v(b) = -11*b**3 - 27*b**2 + 10*b - 24. Is v(-7) a multiple of 4?
True
Is (45/(-180))/(2/7336)*-21 a multiple of 19?
False
Let x = -15849 - -24129. Suppose -3*f - x = -18*f. Is 24 a factor of f?
True
Let d(q) = -51*q - 11*q**2 + 51*q**3 - 3*q**2 - 55 - 24*q**3 - 5*q**2 - 26*q**3. Is d(23) a multiple of 24?
True
Let z(t) = 20*t**3 + 8*t**2 + 5*t - 39. Let q(y) = -11*y**3 - 4*y**2 - 3*y + 20. Let b(j) = -11*q(j) - 6*z(j). Suppose -6 = -2*r + r. Does 13 divide b(r)?
True
Suppose -3*g = g + 2*k - 48, 3*g = 2*k + 22. Suppose -g = -42*b + 40*b. Suppose 3*j + 3 = 0, 4*w + 2*j + 222 = b*w. Is 55 a factor of w?
True
Let h(j) = 1154*j - 94. Does 19 divide h(4)?
True
Let w be (-2)/(-24) + (-4935)/(-1692). Suppose 575 = 5*k - 4*k. Suppose 5*o - k = -w*s, -4*s - 947 = -9*s + 3*o. Is 10 a factor of s?
True
Suppose -4*w + 5 = 21, 4*h + 5*w = 0. Suppose h*r = 4*r + 32. Does 3 divide r?
False
Let c(f) be the second derivative of 5*f**4/6 - f**3/3 + f**2/2 + 2*f. Let s = 191 + -189. Does 13 divide c(s)?
False
Let p = -195 - -199. Suppose 2240 = u + p*u. Is u a multiple of 32?
True
Is 217 a factor of ((-9471)/(-132) + -63)/(1238/(-1240) - -1)?
True
Let y be (4556/3 - 2)/(8/24). Suppose -15*h - y = -20*h. Suppose h = 7*j + 49. Does 31 divide j?
False
Let i(n) = n**3 + 24*n**2 - 74*n + 47. Let l be i(-23). Suppose 0 = 14*j - l + 682. Is 57 a factor of j?
True
Let w(x) = 9*x**2 + 13*x + 14. Suppose 16*d - 52 = 60. Does 91 divide w(d)?
True
Let o be 30 - 23 - (-3 + -2)/(-1). Suppose 6*t - 5*t + 3*r - 399 = 0, o*t = 3*r + 753. Is 32 a factor of t?
True
Suppose -11*o + 8 = 2*j - 6*o, -3*j = -3*o - 12. Suppose -j*n - n = -15. Suppose 2*i = -q - 4*q + 275, -4*q + 197 = -n*i. Is 42 a factor of q?
False
Suppose 25*j - 108 = -2*j. Suppose -4*n + 6*n + 301 = 5*d, -251 = -j*d + 5*n. Does 4 divide d?
False
Is 12 a factor of (-31)/(-186) + ((-53038)/(-24))/((-1)/(-2))?
False
Suppose 2565 = -7*g - g + 11149. Is g a multiple of 3?
False
Suppose -366*p + 380*p = 226142. Does 5 divide p?
False
Let p be 16/7 - (-2)/(-7). Let u be (6/(-10))/(p/10) - -3. Suppose 7*j + 5*j - 396 = u. Is j a multiple of 5?
False
Suppose -4*o + 337 + 879 = 0. Let c = 479 - o. Let r = -75 + c. Is r a multiple of 20?
True
Let r = 563 + -237. Is (-10)/((-60)/(-18)) + r + 0 a multiple of 6?
False
Let h be ((-35)/(-5) - 4) + -3. Suppose h = -c - d + 255, -6*c = -3*c - 4*d - 793. Is 37 a factor of c?
True
Let i = 36 - 29. Let z(t) = -2*t**2 + 15*t - 3. Let g be z(i). Suppose h - 3*v = -h + 195, -g*v = -2*h + 200. Is 30 a factor of h?
True
Let b = -14263 + 29179. Is 11 a factor of b?
True
Let m(z) be the first derivative of 4*z**3/3 + 7*z**2/2 + 13*z - 131. Is 19 a factor of m(-5)?
False
Suppose p + 0*p + 5*c + 284 = 0, 2*p + 584 = -2*c. Let u = p - -492. Is u a multiple of 11?
True
Let t = 6557 - 1728. Is t a multiple of 16?
False
Let q = 47564 - 19637. Is q a multiple of 321?
True
Let i(x) = -2*x + 69. Let t = 42 + -40. Suppose 0 = -2*y + 5*m - 15, -4 = -t*y - 2*m + 2. Is i(y) a multiple of 23?
True
Let y = -46 - -50. Let x be ((-15)/(-4) - y)*-4. Let t = x - -73. Is t a multiple of 29?
False
Let v be (1 - -67) + -9 + 13. Suppose 5*x - 598 - v = 0. Suppose -4*k + x = 3*o, 4*o = k + 161 + 43. Is 10 a factor of o?
True
Let w be 0 - -29 - (-10)/(-5). Suppose -3*m - 9 = w. Does 27 divide (-1960)/m - (-1)/(-3)?
False
Suppose -5*l = -n + 556, -310 - 218 = -n - 2*l. Does 13 divide n?
False
Suppose 3*j = -4*u - 5, -4*u - 2 = 4*j + 2. Let v = u + 102. Is v a multiple of 25?
True
Suppose 4*t - 4*v - 4144 = 0, 2*t + 290 = -2*v + 2358. Suppose -3*g + 3*h + 3114 = t, 1374 = 2*g + 2*h. Is 46 a factor of g?
True
Suppose -3*q + 0*q = 18. Let d(x) = -9*x + 13. Let l(t) = t - 4. Let p(j) = d(j) + 6*l(j). Is 2 a factor of p(q)?
False
Suppose 18*k - 25*k = -1050. Is k a multiple of 2?
True
Is 3/(-2) + (-58266504)/(-848) a multiple of 169?
False
Is (-5 - (-7628)/20)/((-3)/(1560/(-16))) a multiple of 21?
False
Let h(v) = 6*v**2 - 12*v + 144. Does 31 divide h(24)?
False
Suppose -4*l + 28 = 4. Suppose l*v = 5*v. Suppose v = 2*y + 50 - 128. Does 10 divide y?
False
Suppose 2*j + 5*d - 70763 = 0, 4*d = -j + 43089 - 7718. Is 190 a factor of j?
False
Let c = 33 + -23. Suppose 5*h - 5*m = c, -2*h + 1 = m + 3. Suppose 5*o - 65 