247)/k*(-5 + -1). Suppose g = 2*j - 11. Does 3 divide j?
False
Is (-13440160)/(-1680) + 2/(-21) a multiple of 160?
True
Let n(y) = -y**2 - 3*y + 84. Let w be n(-13). Let d = w + 157. Is d a multiple of 6?
False
Let b = -422 - -430. Let k(n) = -2*n**3 + 16*n**2 - 7*n - 34. Let p(v) = v**3 - 8*v**2 + 3*v + 17. Let i(y) = 3*k(y) + 7*p(y). Does 13 divide i(b)?
False
Suppose 0 = 16*n - 10*n + 252. Is (-10108)/n*2*9/12 a multiple of 33?
False
Suppose 96 = -5*s - 2*i, -3*s + 3*i - 81 = 2*s. Let l be s/81 + (-137)/(-9). Does 19 divide 1284/l - (-4)/10?
False
Suppose -279782 + 3880 = -22*m. Is 10 a factor of m?
False
Let a(m) be the first derivative of -m**2/2 - 12*m + 7. Let f be a(-6). Is 27 a factor of (118/f)/((6/2)/(-9))?
False
Let u = 14 + -12. Let g(o) = -6*o - 5 - 9*o**u + 15*o**3 - 16*o**3 - 4. Is g(-9) a multiple of 15?
True
Let y(t) = 73*t**3 + 75*t**3 - 17*t - 17 - 147*t**3 - 8*t**2 - 2. Is y(10) a multiple of 11?
True
Let d(b) = b + 17. Let t be d(-12). Suppose t*v = g - 32, 4*g - 2*g - 9 = -v. Suppose -5*r - 280 = -g*r. Does 14 divide r?
True
Suppose 2*c - 164 - 142 = 0. Let f = 151 - c. Let u(n) = -8*n**3 - 2*n**2 + n. Is 9 a factor of u(f)?
True
Is (-44040)/(-22) + (-464)/(-2552) a multiple of 77?
True
Is (6/(-21) - (-16)/7)*7879 a multiple of 5?
False
Let r = 39 - 15. Let i = 28 - r. Suppose 3*z + 2*y = 5*y + 102, -2*y - 140 = -i*z. Is 22 a factor of z?
False
Suppose -8*u + 3*v - 39591 = -13*u, -3*u = v - 23757. Does 120 divide u?
True
Let l = -1706 + 6167. Suppose 16*k - 11162 = 11*k - 2*o, 0 = -2*k + 3*o + l. Does 36 divide k?
True
Let s(n) = -3*n**2 - 23*n + 2*n**2 + 11*n + 2*n**2 + 34. Is 27 a factor of s(-15)?
False
Let v(p) = -p**2 - 13*p - 30. Let a(d) = 3*d**2 + 40*d + 91. Let o(r) = 6*a(r) + 17*v(r). Does 7 divide o(-20)?
True
Suppose -21*y + 4*y + 55020 = -17876. Does 16 divide y?
True
Let o = 423 - 421. Let d(n) = 419*n - 48. Is 36 a factor of d(o)?
False
Let b be 208/(1*4/16). Suppose -b = -11*g + 169. Is g a multiple of 8?
False
Let p = -196 + 205. Is 20 a factor of 78 - (-6 - (-5 + p + -8))?
True
Let a = 208 - 201. Suppose -3*g + 819 = -0*g. Suppose -a*q = -4*q - g. Is q a multiple of 13?
True
Let q = -3235 - -4585. Is 45 a factor of q?
True
Let t(u) = u**2 - u - 10*u**3 - 5 - 4 - 4*u. Let n = 2603 + -2606. Is t(n) a multiple of 25?
False
Let l be ((-38)/4)/(-1 + (-5)/(-10)). Suppose 0 = -31*t + l*t + 36. Suppose -212 = -4*r - 0*a + 2*a, -2*r + 106 = t*a. Is r a multiple of 2?
False
Let s(b) = -b**3 - 9*b**2 + 28*b + 35. Let y be s(-12). Let l = 140 + y. Is l a multiple of 14?
False
Suppose 3*o = 5*t + 10, 2*o + t + 2*t + 6 = 0. Let n be (o/4)/(4 + -3). Suppose 0 = -n*r + 8*r - 288. Does 9 divide r?
True
Does 67 divide 57*(-4 + 2)*(-91495)/290?
False
Let s be 637/14 + 3/(-2). Let a = 41 - s. Is (a/(-4))/(10/1480) a multiple of 31?
False
Let z = -4619 + 18420. Does 21 divide z?
False
Let p(r) = -7*r + 42. Let w be p(-3). Let j = 2 + 12. Let v = j + w. Is v a multiple of 39?
False
Let c(v) = -174*v + 45. Let d be c(-1). Let p = -50 + d. Is p a multiple of 9?
False
Suppose -9*o - 98 = 46. Let u(y) = -12*y + 24. Does 9 divide u(o)?
True
Is ((-92191)/29 - 8)*(-1 - 0) a multiple of 5?
False
Suppose -73*y + 299809 + 473480 = 0. Does 55 divide y?
False
Let m(z) = -2*z**2 + 6*z + 29. Let k(j) = -4*j**2 + 12*j + 60. Let u(y) = -3*k(y) + 5*m(y). Is u(7) a multiple of 3?
True
Let x = -55 - -71. Suppose -o + x = o. Suppose -9*k + o*k + 65 = 0. Is 8 a factor of k?
False
Let s(h) = -328*h**3 + 2*h**2 - 10*h - 20. Is 163 a factor of s(-4)?
False
Let n = -1546 + 2012. Is n a multiple of 8?
False
Does 20 divide (-1 + 1241)/(-30 - (-6859)/228)?
True
Let k be (64/(-32))/((-2)/1). Is 26 a factor of k*-2*2431/(-17)?
True
Let a be 6/15 + (-46)/(-10). Let i(v) = 4*v**3 - 2*v**3 - v - 45 + 49 - 7*v**2. Is 13 a factor of i(a)?
False
Let p be (4/(-10))/(76/(-950)). Suppose -a = -4*x + 742 + 2758, p*x - 4375 = -5*a. Does 35 divide x?
True
Suppose -5*s - 5*j - 5 + 15 = 0, 2*j + 10 = 5*s. Suppose -x = -3*t - 28, -s*x + 19 + 57 = -t. Is 20 a factor of x?
True
Let s(q) = -2*q**3 + q**2 + 2*q + 408. Let l be 2 - 10/(-6)*18/(-15). Is s(l) a multiple of 12?
True
Does 139 divide 1 - 1*(-51 - 10)*319?
True
Let m = -11388 - -15266. Does 2 divide m?
True
Let d(t) = 5*t**2 - 32*t + 225. Is 8 a factor of d(18)?
False
Suppose 4*v = 3*x - 30788, -75358 = -5*x - 2*v - 24062. Does 76 divide x?
True
Let b = -132 - -361. Let o = 282 - b. Does 5 divide o?
False
Suppose 53*v - 60346 - 41247 = 9972. Does 3 divide v?
False
Let y = 38 - 23. Suppose 5*r = -2*j + 236, 12*j + 4*r - 556 = 7*j. Suppose -j = -y*t + 27. Is 3 a factor of t?
True
Let c(f) = 287*f**2 + 138*f - 874. Is 7 a factor of c(6)?
False
Suppose 2*u + 3*u = -2*v + 35, -3*u = -3*v. Suppose u*g + 154 + 292 = -d, 4*d = 2*g + 174. Let r = g + 134. Is r a multiple of 11?
False
Let x(j) = -47*j - 17. Let m(p) be the first derivative of -23*p**2/2 - 8*p - 2. Let d(c) = -13*m(c) + 6*x(c). Is d(6) a multiple of 13?
True
Let q(m) be the first derivative of m**4/2 - 13*m**3/3 - 8*m**2 + 2*m + 12. Let p be q(10). Suppose -9*a + p = -979. Is 13 a factor of a?
True
Let m(s) = 10*s + 9. Let w be m(3). Let t be (-6)/w - (-1984)/52. Is 9 a factor of t/1 + (-44)/(-11)?
False
Let x be 0 + 1 + (3 - -1). Suppose -3*s = -5*l - 1838, 0 = -8*s + 6*s + x*l + 1217. Is 16 a factor of s?
False
Suppose -95 + 37 = j. Let q(r) = r**2 + 7*r - 148. Let g be q(-20). Let w = j + g. Does 25 divide w?
False
Let p be (-3160 + -4)/((-3)/12 - 0). Suppose 0 = 21*c - p + 1547. Is c a multiple of 10?
False
Suppose 4*u - 4*j - 1852 = 0, 0 = -7*u - j + 715 + 2502. Is u a multiple of 23?
True
Let f = -118 + 121. Suppose -f*o = o - 160. Does 20 divide o?
True
Suppose 0 = -5*f + 5*n + 128 + 37032, 2*n - 37174 = -5*f. Is f a multiple of 13?
False
Let v(i) = 1 + 1 + 3*i + i + 2*i**3 - i**2 - 3. Let f be v(3). Let c = -16 + f. Does 10 divide c?
True
Let i(q) = 5*q + 56. Let n(g) = -g**3 + 17*g - 2. Let o be n(-4). Is i(o) a multiple of 13?
True
Suppose 18*k + 99 = 5*v + 14*k, 2*k - 55 = -3*v. Suppose -8*p - 6413 = -v*p. Does 5 divide p?
False
Suppose 29*o + 1 = 30*o. Let g(f) = 339*f - 31. Is g(o) a multiple of 13?
False
Let f be (24/(-28))/((-2)/7). Let u(k) = -10*k**2 + 2*k**3 + 16*k - f*k**3 - 21*k - 19*k - 16. Is u(-9) a multiple of 7?
True
Let b = 54 - 32. Suppose -a - 20*h + 314 = -b*h, 0 = -5*a - 2*h + 1534. Does 11 divide a?
True
Let a(d) = 21*d**2 + 19*d**3 - 3 + 43*d + 25*d**3 - 68*d**3 + 25*d**3. Is 15 a factor of a(-18)?
True
Suppose -3 = 8*z - 3. Suppose z*c - 8 = -2*c. Suppose -3*u + 3*d + 273 = 0, -c*d + 212 = -3*u + 5*u. Is u a multiple of 48?
True
Let c(p) = 2*p + 25. Let v be c(11). Let q = v + -100. Let x = 0 - q. Is x a multiple of 19?
False
Suppose -5*p = -3*c + 4*c - 6302, -4*c = 2*p - 2528. Suppose p = 10*z - 20. Is 32 a factor of z?
True
Let y be (21490/(-24) - 15/60)*-3. Let t = -1895 + y. Is 36 a factor of t?
True
Let m(x) = -29*x + 167. Let q be m(6). Does 30 divide 4 + (-663 + q)*-1?
False
Let t(d) = 69*d**2 - 5*d + 18. Let w be t(3). Is (w/(-40))/((-2)/25) a multiple of 39?
True
Let l be 28/(-2)*(1 + 0 + -35). Suppose 3*p - l = 2*x, -3*x + 4*x + 784 = 5*p. Is p a multiple of 48?
False
Let l(d) = 41*d**2 + 10*d - 40. Let k be l(20). Suppose 19*z - k = 15*z. Is 6 a factor of ((-2)/5)/((-23)/z)?
True
Let v = 82 + -43. Suppose -9*t - 12 = -v. Suppose -26 + 119 = t*u. Is 26 a factor of u?
False
Let o(i) be the second derivative of 0 - 5/2*i**3 + 38*i + 11*i**2. Does 28 divide o(-15)?
False
Suppose -6*p + 4747 + 18551 = 0. Is p/6 - (-1 - (-7)/6) a multiple of 73?
False
Let d(u) = -u**3 - 3*u**2 + 3*u + 7. Let q be d(-4). Suppose q + 4 = 5*l. Suppose -l*c + 424 = z, -2*c + 3*z = -182 - 108. Is 34 a factor of c?
False
Let o(h) = h**3 - 26*h**2 - 26*h + 11. Suppose 20*p = 14*p + 162. Does 2 divide o(p)?
True
Is (-990)/275 - (-11323)/5 a multiple of 8?
False
Suppose -789495 = -219*y + 398799. Is 34 a factor of y?
False
Suppose -17162 = -24*h + 1198. Suppose -u + 4*t = -h, -8*u - 3*t - 1520 = -10*u. Is u a multiple of 49?
False
Suppose 4*t = v - 4794, -2*v - 333 = t - 9903. Does 60 divide v?
False
Let c = -500 + 303. Let m = c + 251. Is 29 a factor of m?
False
Let g(l) = -5026*l + 966. Does 14 divide g(-4)?
True
Let o(l) = 8*l**2 + 71*l 