 9 a factor of q?
True
Let c = -93 - -4. Let y = c - -86. Does 13 divide ((-65)/y)/(6/18)?
True
Let f(s) = -3*s**3 + 11*s**2 - 39*s + 7. Let p(k) = 5*k**3 - 17*k**2 + 58*k - 11. Let o(q) = 7*f(q) + 5*p(q). Is 24 a factor of o(4)?
False
Let l(h) be the third derivative of 7*h**4/4 + 10*h**3 - 69*h**2 + 2. Is l(4) a multiple of 65?
False
Let d = -12940 - -47709. Is d a multiple of 82?
False
Let r(t) = 56*t**2 + 6020*t + 114. Is 7 a factor of r(-108)?
False
Let y(b) = -2*b - 8. Let f be y(-5). Suppose 0 = -3*d + f*d + 4. Suppose -p + 2*w + 42 = -0*w, -4*p + d*w + 152 = 0. Is p a multiple of 17?
True
Let z = -229 + 220. Let n(l) = -2*l**3 - 15*l**2 + 11*l + 26. Is n(z) a multiple of 17?
True
Suppose -98*m - 360256 = -110*m + 58424. Is 11 a factor of m?
False
Suppose -13*c - 6 = -2*d - 11*c, -2*c = -4*d + 8. Let i(x) = 79*x**2 + x + 3. Does 6 divide i(d)?
False
Let n = 31619 + -9667. Is n a multiple of 112?
True
Does 8 divide 26721/1 - (383 - 382)?
True
Suppose -572*j + 18948998 = -1745962. Is 135 a factor of j?
True
Does 11 divide (-38142)/4*2/6*-2?
False
Let w = -354 - -355. Is ((-5)/((-15)/474) + -6)/w a multiple of 4?
True
Suppose 153 = 5*l + 93. Suppose l*h + 4*h - 144 = 0. Is 6 a factor of h?
False
Let x(r) = -r**3 - 13*r**2 - 32*r - 52. Let d(j) = -3*j**2 - 4*j + 5. Let l be d(2). Is 68 a factor of x(l)?
False
Is 13 a factor of (138798/330*10/(-8))/(3/(-32))?
False
Let t(z) = -8*z**3 + 12*z**2 + 28*z + 127. Is t(-5) a multiple of 39?
True
Let a(n) = -n**2 + 53*n - 96. Let z = -500 - -523. Is 27 a factor of a(z)?
True
Suppose 190*p - 7497 = 165*p + 7428. Does 4 divide p?
False
Let u = -5539 - -26059. Is 114 a factor of u?
True
Let g be (18/(-10))/((-69)/115). Is 28 a factor of ((-2)/g)/((-30)/12600)?
True
Let s be 20511/106*(-4)/6*-3. Suppose 4*c + s - 1611 = 0. Is 18 a factor of c?
True
Let a(f) = 0 - 2 + 0 + 6 + 12*f**2 - 5*f. Let w be (4/7)/(280/(-49) + 6). Is a(w) a multiple of 21?
True
Suppose 3310 = 32*j - 28*j + o, o - 826 = -j. Is j a multiple of 3?
True
Let m(x) = -x**2 - 3*x. Let l be m(0). Is (552 - l)*20/40 a multiple of 23?
True
Let w(m) = m**3 - m**2 - 24*m - 70. Let b be w(-4). Is (3/2)/(b/18)*-328 a multiple of 4?
True
Suppose m = -5*b + 60, -8*m + 7*m - 48 = -4*b. Let a(o) = 24*o + 162. Is a(b) a multiple of 11?
False
Let y = 5896 + -5613. Is 2 a factor of y?
False
Suppose 3736 = -x - 5*z + 11009, -x = -4*z - 7318. Is x a multiple of 31?
False
Let t(i) = -41*i - 7. Let z(o) = -o - 14. Suppose -s + w - 12 = -4, -64 = 5*s + w. Let y be z(s). Is 25 a factor of t(y)?
True
Let a(z) = z**2 + 11*z + 28. Let w be a(-8). Suppose 3*u + 2*u = -3*g + 143, u = w*g - 229. Does 14 divide g?
True
Suppose 12*u - 1203 = 1065. Suppose -3*v - u = -m, 3*v + 0 - 6 = 0. Is 21 a factor of m?
False
Let t(d) = 6*d**2 + 18*d - 45. Let l be t(20). Suppose -8*z + 365 + l = 0. Is 16 a factor of z?
False
Suppose 48183 + 134804 - 43796 = 39*u. Is u a multiple of 83?
True
Let y(d) = -4*d + 56. Let g be y(16). Let r(n) = n**2 + 4*n - 13. Let q be r(g). Suppose 10*w - q*w + 630 = 0. Does 14 divide w?
True
Let q(v) be the second derivative of 3*v**5/20 - 19*v**4/3 - 35*v**3/6 - 57*v**2/2 + 2*v - 84. Does 35 divide q(26)?
True
Suppose 18*b - 857675 = -384*b + 25*b. Does 13 divide b?
True
Let i(m) = -m**3 + 32*m**2 + 282*m - 41. Is i(39) a multiple of 8?
False
Let i = -8002 - -14370. Is 16 a factor of i?
True
Let y be (-74)/1*(-4 - (-30)/12). Suppose 0 = 2*p - i - 647, 0 = p - 2*i - 217 - y. Is 14 a factor of p?
True
Suppose 60 + 6 = 3*b. Let j be 136/b + 8/(-44). Does 20 divide 10*15 + -6 + j + 2?
False
Let c be (31 - 31)*(-1 - (-4)/3). Suppose c = 3*a - 418 - 65. Is 21 a factor of a?
False
Suppose 12 = -40*h + 42*h. Is (-636)/(-63) + h/(-63) a multiple of 10?
True
Let k be (-7)/((-21)/846) + (6 - 2). Suppose -k = -4*p + 1618. Does 34 divide p?
True
Let w(b) = 3*b**2 + 7*b + 3. Let d(h) = -15*h + 40. Let u be d(9). Let l = -91 - u. Does 13 divide w(l)?
False
Suppose -6 - 4 = -5*q. Let r(z) = 15*z + 15 + 30*z - 6*z - 13*z + 4*z. Does 9 divide r(q)?
False
Let n(h) = 1015*h - 3723. Is 11 a factor of n(7)?
False
Let x(s) = -2*s + 114. Let y(g) = -2*g**2 + 36*g + 52. Let c be y(20). Is 29 a factor of x(c)?
False
Let x(p) = -18*p**2 + 13*p + 1. Let d(z) = -18*z**2 + 13*z. Let c(o) = -3*d(o) + 2*x(o). Suppose 10*y = -19 + 39. Does 24 divide c(y)?
True
Let d be ((0 - 0)/(11 + -9))/(-1). Suppose 3*p - 2*p = 2*b - 6, b - 3 = d. Suppose r + 3*n - 51 = p, -42 = 5*r - 2*n - 280. Is r a multiple of 16?
True
Is 366285/9 + 832/(-156) a multiple of 9?
False
Let y(q) = 4*q**2 - 11*q - 13. Let v be y(-2). Suppose 0 = p - 4*g - 45, -p - 15*g + v = -14*g. Is 23 a factor of p?
False
Suppose 5*m = 2*o + 129 - 1099, -3*o = -2*m - 1433. Is 10 a factor of o?
False
Suppose 29*w - 1800 = 56. Does 3 divide w?
False
Suppose 0 = -z + 112 - 32. Let f be 3/15 - z/25. Is f - (-1 - (3 - -23)) a multiple of 12?
True
Let r = -230 - -1097. Is r a multiple of 17?
True
Let v(d) be the first derivative of -15*d**2/2 - 2*d - 5. Is v(-7) a multiple of 29?
False
Let h(g) = -g**3 - 18*g**2 + 15*g - 26. Let p be h(-19). Suppose 1780 = p*y - 45*y. Is y a multiple of 25?
False
Suppose -4*p + 2096 = 2*i, -p + 3*i + 2*i = -513. Let x(h) = h**3 + 76*h**2 + 285*h - 55. Let q be x(-72). Let l = p - q. Is l a multiple of 16?
False
Let j be (4 - (-80)/(-15)) + (-10)/(-3). Suppose -3*y + j*i = 4*i - 442, 16 = -4*i. Suppose 13*g = 10*g + y. Does 10 divide g?
True
Suppose h = 2*l + 20, 0 = -3*l - 2 - 7. Suppose -8 = -4*v + 2*y + 4, 5*y + h = 2*v. Suppose 3*x - 171 = 5*g, -2*x + v*g + 2*g = -114. Is x a multiple of 57?
True
Let u be -1 + (-3*10)/(-5). Suppose 0 = -3*v - u*v + 4232. Let x = v - 347. Does 14 divide x?
True
Let d(j) = 2*j**3 - 111*j**2 - 18*j + 45. Is d(57) a multiple of 73?
False
Let c = 2418 - 1605. Suppose 3*s + 2*x - x - 1187 = 0, -5*x = 2*s - c. Is s a multiple of 3?
False
Let y(m) = 36*m**2 + 11 + 9*m - 27*m**2 - m**3 + 1. Let v be y(10). Is 31 a factor of 31 + v - (-12)/(-6)?
True
Let i be (-2)/7 - (114345/(-49))/9. Let d = i - -273. Does 14 divide d?
True
Let o = 232 - 398. Let m = o - -227. Does 17 divide m?
False
Let r(w) = 2*w**3 + w**2 + 8*w + 298. Let p(n) = 4*n**3 - 28*n**2 - n + 7. Let d be p(7). Is r(d) a multiple of 9?
False
Let a(w) = 6*w**3 + 4*w**2 - 2*w - 1. Let x be a(-2). Let o(n) = -19*n - 47. Is 24 a factor of o(x)?
True
Suppose -5*x = 10, -7*u + 12*u = 2*x + 77194. Does 38 divide u?
False
Let o(d) = -3*d**3 - 20*d**2 - 60*d + 59. Is 81 a factor of o(-13)?
True
Suppose -4 = -5*o + 4*o. Suppose 0 = -3*q + o*q - 164. Suppose -3*d + d + q = 5*k, 0 = 3*d - 4*k - 200. Does 18 divide d?
True
Let m(k) = 510*k - 2860. Does 43 divide m(25)?
True
Let c(h) = 2*h**3 + 8*h**2 - 3*h - 4. Let w be c(-4). Is (-1650)/5*(w/(-10) + 0) a multiple of 22?
True
Is 19255664/1164 - 2/3 a multiple of 227?
False
Let i(j) = -27*j - 9. Let k be i(-1). Suppose -k*q = -10*q - 16. Suppose -q*z = -7 - 33. Is z a multiple of 13?
False
Suppose -20*b + 15744 = -8*b. Is 66 a factor of 7 - 5/((-5)/b)?
False
Let r = 297 - 232. Suppose 5*i = -j + 180, -98 - r = -4*i + 3*j. Is i a multiple of 37?
True
Let f = 5558 + -4501. Is f a multiple of 2?
False
Let n(q) = 130*q**2 - 36*q + 85. Is n(4) a multiple of 43?
True
Let z = -45 - -45. Suppose z = -3*o + 5*o - 84. Suppose -4*l - o = -274. Is l a multiple of 6?
False
Let g be 4/5 - (-2579)/25*-5. Let q = -149 - g. Is q a multiple of 53?
False
Let h(g) = 19*g**3 - 8*g**2 + 7*g + 6. Let b be h(4). Suppose 0 = -17*v + 14*v + b. Is 15 a factor of v?
False
Let q(t) = t**2 + 23*t + 39. Let g be q(-24). Let u = g - 55. Suppose u*v = 5*v + 315. Is v a multiple of 15?
True
Does 23 divide ((-8766)/4)/(96/(-240)*15/12)?
False
Let b be 108/50*180/(-9)*-5. Let k = -187 - -67. Let l = b + k. Is l a multiple of 8?
True
Let r(w) = 50*w**2 + 3. Let u be r(2). Let p = 437 - u. Is 26 a factor of p?
True
Let r(u) = -132*u**3 + 3*u**2 + 10 - 31 + 3*u + 22. Is r(-1) a multiple of 19?
True
Is 22 - 62265/(-20) - -3*(-1)/(-4) a multiple of 56?
True
Suppose 251*v = 258*v - 5866. Is 2 a factor of v?
True
Let w be (3 + (4 - 6))*0. Suppose w = 23*x - 8*x - 4410. Is x a multiple of 6?
True
Let p = 83 + -82. Does 18 divide (-29 - -77) + (p - -5)?
True
Let d(p) = -450*p**3 - 2*p**2 - 5*p - 2. Let y be d