5/60 - 19*x**4/24 - 25*x**3/6 + 19*x**2. Let u be d(-12). Suppose 0 = -2*b + 181 + u. Does 9 divide b?
False
Let c(s) = -6*s**3 - 2*s**2 + 12*s - 19. Let u(t) = -5*t**3 - 3*t**2 + 14*t - 20. Let a(q) = -4*c(q) + 5*u(q). Is a(-10) a multiple of 28?
True
Is 169 a factor of (-61100)/(-125) + (-2)/(-10)?
False
Suppose 36*o - 204489 = 157203. Does 17 divide o?
True
Let s be (-1614)/(-8) + 27/(-36). Let x = s - -4. Suppose 4*y - 5*d - x = 0, 5*d - 2 = y - 72. Is 15 a factor of y?
True
Let a be ((-16)/(-6))/((-6)/27). Let w = -2 - a. Let s(n) = 23*n - 44. Does 37 divide s(w)?
False
Let d(p) = -p**3 + 9*p**2 - 3*p + 8. Let b be d(7). Let w = 86 - b. Is w + 404/(0 + 2) a multiple of 18?
False
Suppose 5 = 2*i + 15. Let j(s) = -3*s**2 + 12*s + 0 - 734*s**3 + 732*s**3 - 1. Does 57 divide j(i)?
True
Let h(f) = -23*f + 15. Suppose -10*y + 8*y + 2*k - 26 = 0, 2*y = 4*k - 22. Is 20 a factor of h(y)?
True
Let m = -166 + 286. Let i = -90 + m. Does 2 divide (-68)/6*i/(-10)?
True
Let g(l) = 107*l**2 - 47*l + 26. Does 18 divide g(11)?
True
Suppose -2*m - 96 = -90. Let v be 0/1 + m + 8. Suppose -910 = -v*x - 5*x. Is 8 a factor of x?
False
Is 7 - -20*1071/6 a multiple of 49?
True
Suppose -9*p - 30 = -4*p. Let y(q) = q**3 + 8*q**2 + 9*q - 3. Let d be y(p). Let a = 79 - d. Is a a multiple of 8?
True
Suppose 0 = -50*u + 55*u - 5380. Let c = u - 334. Does 53 divide c?
True
Is 42/84*(24787 - 5) a multiple of 76?
False
Suppose 47*n = 49*n + 5*p - 7948, -p = 4*n - 15896. Is n a multiple of 95?
False
Suppose 2*i - 15408 = 2*z, -1 + 4 = z. Does 150 divide i?
False
Let z(w) be the first derivative of 11*w**2/2 - 9*w - 16. Suppose 15 = -5*x + 25. Does 6 divide z(x)?
False
Suppose 31*q - 25*q = 21492. Suppose 5*i = 2*i + q. Does 34 divide 16/(-28) - i/(-7)?
True
Let p(o) = -14*o**3 + 4*o + 7. Let n be p(-2). Let r = n + -6. Is 4 a factor of r?
False
Suppose -5*x + 23313 = -2*f - 20171, 4*x - 5*f = 34811. Does 23 divide x?
True
Does 45 divide (-4)/6*((-64)/(-10))/((-126)/463995)?
False
Suppose -3*w - 3 = -0*w. Let v be (-5 - 3/w) + (-1 - 2). Let u(x) = 3*x**2 + 9*x - 9. Does 5 divide u(v)?
False
Suppose 2*f + 2*i - 28 = 0, 3*i = 5*f + 5*i - 61. Suppose -f*q + 609 = -4*q. Suppose 73 + q = 5*u. Is u a multiple of 21?
False
Suppose -192659 = -103*w + 200389. Does 18 divide w?
True
Is 7 a factor of ((-4)/(-160)*55310)/(2/8)?
False
Let w(c) = -c**3 + 8*c**2 + 5*c + 15. Let h be w(8). Suppose -q = n - 4, -5*n - 15 = -5*q - h. Is 2 a factor of n?
True
Let y = -125 - -132. Let v(c) = 42*c**2 - 4*c - 1. Let m be v(-3). Suppose 3*x = 4*i + m, y + 5 = 3*i. Is x a multiple of 35?
False
Let v(f) be the third derivative of 5*f**4/24 + f**3/3 + 14*f**2. Suppose 0 = 3*g - 14 + 2. Does 4 divide v(g)?
False
Let k(j) = 11*j**2 + 10*j + 7. Suppose 8*p - 3*p - 30 = 0. Let r be k(p). Suppose -12*a = -r - 377. Does 10 divide a?
True
Let t(q) = 4*q**3 - 4*q**2 + 7*q. Does 10 divide t(2)?
True
Let u be (-24)/(-20)*5/3. Let v(h) = h**3 - 2*h**2 - h + 4. Let g be v(u). Suppose 344 = 4*r - g*m, -r - 2*m = 2*m - 68. Is r a multiple of 14?
True
Let n(l) = 7*l - 1. Let j be n(3). Suppose 31*z - j = 27*z. Suppose 5*o = -h + 62, z*o - 4*h - h = 50. Does 2 divide o?
True
Let p(x) = -x**3 + 10*x**2 - 12*x - 43. Let m be p(11). Let u = m + 638. Is u a multiple of 57?
True
Let i(d) be the first derivative of -122*d**2 + 38*d - 100. Is i(-4) a multiple of 15?
False
Let c = 45 - -20. Let g be 350/(-105) + (-2)/(-12)*2. Let f = c - g. Does 43 divide f?
False
Suppose -4*d = -5*v + 272 + 31, -3*d - 243 = -4*v. Let y = 120 - v. Is y a multiple of 4?
False
Let j(w) = w + 39. Let f be j(0). Suppose -2*k - 3*u + 126 = 0, -87*k + 89 = -86*k - 5*u. Suppose -k = -9*m + f. Is 4 a factor of m?
True
Let z = 72 + -122. Let n = z - -58. Suppose n = -k + 16. Is k a multiple of 4?
True
Suppose 0 = 9*b + 197 - 1763. Suppose -4*w - b = -2*a - 6*w, 159 = 2*a - 3*w. Is 42 a factor of a?
True
Let z be (-4)/20 + 4488/15. Suppose z = 2*d - i, 5*d - 2*i - 21 - 725 = 0. Suppose 13 = -9*l + d. Is l a multiple of 3?
True
Let c(g) = g**3 + 29*g**2 + 55*g - 191. Is c(-19) a multiple of 29?
False
Suppose -273 = -5*p + 712. Suppose -2*v + 152 = -3*r - 21, 2*v = -5*r + p. Does 13 divide v?
True
Let d = 431 - 439. Does 3 divide ((-10)/(-2))/((d - 1)/(-81))?
True
Let v(f) = -5*f + 13*f**3 - f**2 - 11*f**3 - 4 + 8. Let g be v(4). Suppose -2*s = -m - 118 - g, -s = -2*m - 113. Is 11 a factor of s?
False
Let t = 717 + 23128. Is 54 a factor of t?
False
Is 36/(-6)*1 - -30*21 a multiple of 16?
True
Let z = 112 + -33. Suppose -z = -28*t + 27*t. Is 8 a factor of t?
False
Let k = 7385 - 4436. Does 7 divide k?
False
Let r be (1 - 2)/(-2) - (-333326)/(-4). Is r/(-81) + (-32)/18 + 2 a multiple of 45?
False
Let k be (-4)/(-16) - 15/(-20) - 8. Is 4 a factor of (-4)/k - 82*(-33)/42?
False
Let u be (-492)/(-27) - (-4)/(-18). Let a(x) = x**3 - u*x - 18*x**2 - 261 + 265 - 2*x**3. Does 12 divide a(-17)?
False
Let m(d) = -d**3 + 3*d**2 + 13*d - 10. Let i be m(5). Suppose -5 = -3*v - 3*c + 4, 0 = -i*c + 5. Is 12 a factor of -12 + 13 + 70/v?
True
Suppose 16*b - 5520 = 10*b. Is b a multiple of 22?
False
Let x(t) = 536*t**3 - 52*t**2 + 53*t - 3. Is x(1) a multiple of 6?
True
Let o be 9/15*-6*(-40)/24. Does 8 divide (6*(-7)/14)/(o/(-26))?
False
Suppose 192*p - 140805 = -171*p + 342*p. Does 45 divide p?
True
Let w(x) = x**2 + 7*x - 5. Let i be w(7). Suppose 79*c - i*c = -8162. Does 11 divide c?
True
Suppose -17*q + 160 = -7*q. Let n = 299 + q. Is n a multiple of 21?
True
Let j = -74 - -72. Let q be (j - (-92)/12) + (-10)/15. Suppose -1 = -2*b + 5, -3*b + 219 = q*k. Is 6 a factor of k?
True
Let p(t) = 233*t + 40. Is 39 a factor of p(0)?
False
Suppose 5*u - 7*u - 1497 = n, 3*u + 5*n = -2235. Is 15 a factor of (u/27*3)/((-34)/153)?
True
Let t be ((-3)/(4 + -7))/((-1)/10). Let r(v) = -v**2 - 9*v + 15. Let s be r(t). Suppose 0 = 4*l - s*c - 455, 0 = c + 2*c + 9. Is l a multiple of 11?
True
Let l = 36232 + 504. Is 32 a factor of l?
True
Let s = -214 + 232. Suppose c - 144 = 3*j, -138 = s*c - 19*c + j. Is c a multiple of 63?
False
Let c(p) = -198*p - 45. Let o be c(-2). Let r = o - 238. Is r a multiple of 25?
False
Suppose 20 = 5*k - 0. Suppose 5*a = 11 + k. Suppose a*l = -2*p + 149, 0 = -p - 2*l + 50 + 27. Does 9 divide p?
False
Suppose -13778 = 3*g + 13*g - 49746. Is g a multiple of 54?
False
Let a(g) = g**3 - 36*g**2 + 245*g - 12. Does 14 divide a(34)?
True
Let m = -12107 - -20445. Is m a multiple of 17?
False
Suppose 0 = 3*r - 15, 10 + 26 = 2*u + 4*r. Is 49 a factor of u/(-6)*21/(-28) + 401?
False
Suppose 17 = 5*j + 3*d - 19, -5*j - 5*d + 30 = 0. Is 2/9 + (17917/j - 7) a multiple of 64?
True
Let l(q) = 1564*q + 1022. Is 22 a factor of l(6)?
True
Let u(o) be the third derivative of 5*o**4/24 - o**3/2 + 41*o**2. Let p be u(1). Suppose -p*k + 17 = -87. Does 25 divide k?
False
Suppose 54 = -2*p + 3*x + 228, 5*p = 5*x + 430. Suppose w + p = -6*k + 3*k, -72 = 3*k + 5*w. Let o = k - -36. Is 7 a factor of o?
True
Let w(q) be the third derivative of -31*q**4/6 + 283*q**3/6 + 3*q**2 + 31*q. Does 25 divide w(-5)?
False
Let z(q) = -25*q + 40. Let i be z(-6). Suppose y + 767 = 5*b, 3*b = -4*y + i + 261. Is b a multiple of 17?
True
Let n(v) = -v**3 + 11*v**2 - 76*v - 184. Is n(-11) a multiple of 18?
False
Suppose 3*w = w + 2762. Let z = -337 + w. Is z a multiple of 37?
False
Let k(g) = -g + 6 - g - 4*g**2 + 44*g**3 + 0 - 50*g**3. Let q be k(-3). Let s = q + -54. Is 21 a factor of s?
True
Let i = -160 + 486. Suppose 0 = -r - r + i. Let y = -83 + r. Does 10 divide y?
True
Let v(o) = -313 - 160 - 127 + o. Let t be v(0). Is 8 a factor of ((-12)/(-5))/((-9)/t*5)?
True
Let j be (8/10)/((-9)/(-135)). Suppose -v + 3 = p, 4*v - 17 = p - 0*p. Suppose v*d = j*d - 1224. Is 9 a factor of d?
True
Suppose -2693*f + 2691*f - 4*g = -19670, -16 = 4*g. Is 51 a factor of f?
True
Let z(i) = 2*i + 4. Let a be z(-4). Suppose 70*n - 1065 = -n. Is 10 a factor of (-30)/a*20/n?
True
Let o be (0 + 2 - 2) + 4. Let h(a) = -3*a**3 + 35*a**2 - 23*a + 13. Let x be h(11). Is x + 48 + o + 1 a multiple of 27?
False
Let z = -99 + 101. Suppose -10 + 4 = z*g, 5*t + g = 677. Is t a multiple of 8?
True
Let p = 19769 + -8251. Is p a multiple of 22?
False
Let k = 3313 + -1293. Is 20 a factor of k?
True
Let v(f) = -5*f + 137. Let l(