 t(b) = b**3 - 4*b**2 - 7*b + 9. Let s be t(p). Is s/((3/96)/(9/(-4))) a multiple of 12?
True
Suppose -188*v = -724385 - 2315011. Does 24 divide v?
False
Let a be (-685)/6 - 3/(-18). Let p be (91/1)/(-7) + 7. Let u = p - a. Is 8 a factor of u?
False
Let o = -18912 + 27560. Is 28 a factor of o?
False
Let h(c) = -93*c**3 - 60*c**2 - 220*c + 8. Is 100 a factor of h(-5)?
False
Does 11 divide ((-252)/12 + -1)/(12/(-4854))?
True
Let n(s) = 3*s**3 + 337*s**2 + 99*s + 329. Is 85 a factor of n(-112)?
True
Suppose x = -2*i, -x = 4*x + i - 27. Does 12 divide (32/3)/(x + 1449/(-243))?
True
Let l(o) = 2*o**2 - 20*o - 3. Let w be l(10). Let d be -6 + 10 + (w - -1). Does 33 divide d*((-738)/(-12) + 1 + 1)?
False
Let w be (-10)/8 + 858429/116. Suppose 0 = 285*s - 292*s + w. Is 41 a factor of s?
False
Let o(j) = 6*j - 9*j**2 - 12*j**2 + 46 + 23*j**2. Is 9 a factor of o(-12)?
False
Suppose 2*q + 8 = 0, 3*a - 44*q = -47*q + 34296. Is a a multiple of 119?
False
Suppose 3175 + 1417 = 16*s. Suppose -289*m + s*m = -384. Does 19 divide m?
False
Let l be -56*(5 + 129/(-21)). Suppose -61*a = -l*a + 90. Is a a multiple of 10?
True
Let j(o) = 2 - 1 - o**3 - 13*o + 2*o**3 + 3 + 8*o**2. Let r be j(-7). Suppose -2*f = 2*f - r. Is f a multiple of 10?
False
Suppose 4*o = -4*j - 110 - 142, -5*o + 2*j = 350. Is 54 a factor of -18*(-17)/(o/(-24))?
True
Let s be -3*(24/18 - 3). Suppose -5*m = -4*b + s*b - 328, 2*b - 2*m = 632. Is b a multiple of 53?
True
Suppose z = 1 + 1. Let r(s) = -29*s + 4. Let a be r(-1). Suppose a = l - 5*f - 14, 2*l + z*f - 106 = 0. Is 4 a factor of l?
True
Let f(q) = 70*q + 5040. Is f(-69) a multiple of 5?
True
Let v(j) = j**2 - 9*j - 18. Let h(f) = -10*f**3 + 2*f + 3. Let u be h(-1). Let s be v(u). Suppose q = s*o - 359, 2*q + q - 169 = -2*o. Is 19 a factor of o?
False
Let p(m) = 3*m**2 + 18*m - 4. Let o be p(-6). Let q(r) = -3*r**3 + r**2 - 6*r + 2. Let i be q(o). Let y = -164 + i. Does 9 divide y?
False
Is 13 a factor of 11726/(-123)*(0/((-2)/2) - 36)?
True
Suppose -z = -5*l - 0*z + 2717, 2714 = 5*l - 2*z. Let v(h) = -h**3 + 6*h**2 + 23*h + 41. Let y be v(9). Suppose -l = -y*m + 56. Is m a multiple of 15?
True
Let p be (66526/185)/(1/5 - 0). Suppose -p = 13*b - 4827. Is b a multiple of 37?
False
Let h = 19 + -43. Is h/(-2)*(-7)/42*-39 a multiple of 26?
True
Suppose 5*u - 28 = -i, -3*u - 5*i = -2 - 6. Suppose 0 = 2*l + m - u, -13 - 2 = l - 4*m. Let a = 132 - l. Is 25 a factor of a?
False
Let u(n) = 474*n - 8537. Is 11 a factor of u(43)?
False
Is (-21)/(-56) + 1005216/256 a multiple of 119?
True
Suppose 3*l - v - 4 - 9 = 0, 0 = -4*l - 5*v - 8. Suppose 0 = -b - l, -t + 54 = t - 4*b. Does 2 divide t?
False
Let y(o) = -15*o + 81. Let a be 2/((-14)/(-273)*-3). Is y(a) a multiple of 23?
True
Let n(p) be the first derivative of -51*p**2 + 15*p + 11. Let c be n(-3). Let y = c + -123. Is 33 a factor of y?
True
Does 222 divide (-2852)/93*972/(-3)?
False
Let a(n) = -11*n**3 + 6*n**2 - 5*n + 5. Let d(t) = 5*t**3 - 3*t**2 + 3*t - 3. Let z(u) = 4*a(u) + 9*d(u). Let q = 69 - 66. Is 3 a factor of z(q)?
False
Suppose -4*b - 1066 = 5*h, 5*b - 6*b - 5*h = 259. Let o = -101 - b. Is 15 a factor of o?
False
Let c(k) = -17*k**2 - k + 762. Let v(j) = 7*j**2 - 381. Let z(s) = -3*c(s) - 7*v(s). Does 13 divide z(0)?
False
Let r(y) = 35*y - 20. Let b(a) = -a + 1. Let q be (-28)/70 - (-14)/10. Let x(i) = q*r(i) + 30*b(i). Does 5 divide x(6)?
True
Does 20 divide (54/(-135))/(-2*2/32600)?
True
Suppose -5*t = -3*f + 5, -2*f + 0*f + 3*t = -4. Let q be (-3270)/f*1/3. Let v = 410 + q. Is v a multiple of 24?
True
Is 8 a factor of 162/45 + 63644/10?
True
Suppose 5*i = -4*u + 47, i + 4*i = 4*u - 97. Is u/(10/75*5) a multiple of 3?
True
Suppose k - 199 = -5*v, 0*k - k + 189 = -5*v. Let z be (-1 + -1)*-2 - -123. Let p = k - z. Does 14 divide p?
False
Let w = -89 - -85. Is 2 a factor of 3/w - ((-1169)/28 - -9)?
True
Let v = -630 - -910. Is 20 a factor of v?
True
Suppose -h + 482 = 487. Suppose 2*l - 1 = -l - m, l + 4*m + 7 = 0. Does 12 divide (h + 0 - l)*672/(-28)?
True
Let g = 287 - 174. Suppose 4*b + 187 = 3*y, -2*y + 3*b + 2*b + g = 0. Does 14 divide y?
False
Let r = 107105 - 64972. Is r a multiple of 13?
True
Let p = -7 + 15. Let y(s) be the third derivative of -s**4/24 + 11*s**3/2 - 2*s**2 - 16. Is 5 a factor of y(p)?
True
Let i(z) = 345*z - 975. Is i(19) a multiple of 20?
True
Let r be 6/14 + 27417/21. Suppose 6*w - t = w - r, -w - 258 = 3*t. Let z = -121 - w. Does 35 divide z?
True
Let f(w) = -w**3 - 14*w**2 + 5*w + 13. Suppose -2*b - 14 = -b. Let o be f(b). Let d = o + 112. Is d a multiple of 11?
True
Let p be (7/(-2) - (1 - 5))*10. Suppose 0 = -5*i + 5*k + 3 + 7, p*k - 10 = 0. Suppose 2*x - i*m = 194, 3*m + 101 = 4*x - 3*x. Is x a multiple of 4?
False
Let y be (-6)/(-27) + 2293/9. Let c(d) = d**3 + d**2 - 19*d - 29. Let s be c(-2). Suppose -5*p + o + 243 = 0, -s*p + 2*o + y = -3*o. Does 14 divide p?
False
Let y(i) = -3*i - 22. Let o be y(0). Let p = o + 24. Suppose -c = -5*b + c + 230, c - 101 = -p*b. Does 10 divide b?
False
Suppose -3*x - 42 = -10*c + 13*c, 5*c - 5*x = -20. Is (66/c)/1*9/(-2) a multiple of 3?
True
Suppose -5*w = -5*u - 80, -3*w + 1 = -2*w. Let y(k) = k**2 - 16*k - 165. Is y(u) a multiple of 25?
True
Let l = 158 + -150. Suppose -4*z + 22 = -3*j + 362, 4*z = l. Is j a multiple of 3?
False
Let f(z) = -z**3 - 4*z**2 + 81*z + 22. Is 62 a factor of f(-16)?
True
Let u(w) = 33*w**2 + 15*w + 22. Let s be 2 + ((-108)/(-90))/((-3)/10). Is 4 a factor of u(s)?
True
Let z(v) = -85*v - 157. Let g be z(-13). Let p = g - 876. Does 8 divide p?
True
Suppose -51*s - 278 = -54*s + 64. Is s even?
True
Let x be 4 + 4/20*0. Is 6 a factor of (-3)/(15/(-427)) - x/10?
False
Let r be 66/(-15) + 5 - 286/10. Let f be (-430)/(-14) + (-8)/r. Let a = 49 - f. Is 10 a factor of a?
False
Suppose 4*p + 4*t - 2936 = 0, -5*p + 49*t + 3680 = 44*t. Is p a multiple of 35?
True
Let a(n) = -34*n + 1. Let c be a(1). Suppose -2*d - 30 = -78. Let x = d - c. Is x a multiple of 11?
False
Suppose -4 = -60*p + 57*p - 4*j, -3*p - 3*j = -3. Suppose 3*k - 4*x - 2518 = p, -5*x = -7*k + 8*k - 852. Does 17 divide k?
False
Let v = 237 + -227. Is ((-7)/(105/v))/((-8)/612) even?
False
Let y(m) = 540*m + 293. Is y(3) a multiple of 11?
False
Suppose -n - g = -1628, -23*n - g + 8120 = -18*n. Is n a multiple of 10?
False
Let x = 46 - 8. Let q = x - 45. Let t = 10 + q. Is t even?
False
Suppose -d - 5*z = -30, 5*d - 4*z = -0*z + 179. Let j = 13 + d. Does 12 divide j?
True
Let c(m) = 14*m**2 + 79*m + 2391. Is c(-20) a multiple of 3?
True
Suppose 0 = 14*q + 3044 - 13754. Let s = q - 376. Does 36 divide s?
False
Suppose 0 = -4*d + 5 + 15. Suppose -5*t = 2*c - 589, -d*t + 658 = 3*c + 72. Is t a multiple of 22?
False
Let j(d) = -41*d**2 - 372*d + 8. Is 60 a factor of j(-4)?
True
Does 29 divide -2 + (-68272)/(-24) - (-16)/(-24)?
True
Let g = -195 - -196. Is g/(2/8) + (-3564)/(-18) a multiple of 7?
False
Does 68 divide -1 + 14 + -4 - -21003?
True
Suppose -66*s + 6782876 = 170*s. Is s a multiple of 22?
False
Is 13 a factor of 3123 - (3/(-5))/(-8 - (-39)/5)?
True
Let z = -508 - -519. Suppose 4*l = 5*l - 385. Suppose 4*t = z*t - l. Is t a multiple of 5?
True
Let n be (-9 - -8)/((-3)/6). Suppose -n*t = q + t - 21, -4*t = 0. Does 4 divide q/5 + 7/(-35)?
True
Suppose 5*b - 3*h = -4989 + 18327, 2*b = 4*h + 5324. Is 15 a factor of b?
True
Suppose 17789 + 65561 = 120*o - 3290. Is 19 a factor of o?
True
Let o(b) = -b**2 - 9*b + 80. Let q be o(-15). Is (q/(-6))/((-17)/(-1071)) a multiple of 14?
False
Let f(y) = y - 1842 - 2*y + 1877. Is f(7) a multiple of 28?
True
Let d(s) = -5*s**2 + 83*s - 72. Let m(l) = -l**2 + 20*l - 18. Let b(t) = -2*d(t) + 9*m(t). Let o be (6/(-12))/((-1)/(-34)). Is b(o) a multiple of 10?
False
Let c(p) be the third derivative of -p**4/8 + 19*p**3/3 - p**2 - 4. Does 14 divide c(-6)?
True
Suppose -2895200 = 22*k - 198*k. Is 50 a factor of k?
True
Let o(q) = 14*q**2 - 33*q - 72. Is 36 a factor of o(12)?
True
Let t = -43 + 81. Let p = t + 129. Suppose p = 3*i - 13. Is i a multiple of 20?
True
Suppose 0 = -0*k + k, z + 3*k = 69. Let d = z + 135. Suppose -11*w = -9*w - d. Is 28 a factor of w?
False
Let q be 0 - ((-840)/1 + 0). Let k be 10 + 55/(-22) - ((-15)/(-6) + -2). Suppose -k*g + q = -420. Does 18 divide g?
True
Let i(c) 