+ 10848, -5*c = 2*n - 5409. Does 11 divide n?
True
Suppose 14*m - 13*m = -56. Let w = 84 + m. Is 28 a factor of w?
True
Suppose 0 = -5*x - 11*x - 32. Is 9 a factor of (-2142)/(-84) + (-3)/x?
True
Suppose 4*b + n - 72410 = 0, -4*b + 26932 = -2*n - 45484. Is 18 a factor of b?
False
Let z(x) = -x**2 - 47*x - 1704 + 0*x**2 + 1769. Does 36 divide z(-23)?
False
Let m be (-10)/(-1) - (25 + -22). Is 3 a factor of (-2 - -6)/(5/70*m)?
False
Does 326 divide 247/(-76) + (-332691)/(-12)?
False
Let j(q) = -6*q**3 + 10*q**2 + 17*q + 6. Let p(u) = 8*u**3 - 11*u**2 - 17*u - 6. Let k(a) = -6*j(a) - 5*p(a). Does 12 divide k(-3)?
True
Suppose -3*n - 2*n = -2*w + 14930, w - 3*n = 7465. Is w a multiple of 5?
True
Let d(k) = 15629 - 15850 + 50*k - 180*k. Is d(-5) a multiple of 33?
True
Let c = 87 - 80. Suppose -c*y - 10 = -12*y. Suppose -d + 5 = 5*s - 181, -y*s - 172 = -d. Is d a multiple of 16?
True
Let w(q) = 9*q + 91. Let x be w(-6). Suppose x*c = 39*c - 480. Does 48 divide c?
True
Suppose 451 = -11*k + 24431. Is 4 a factor of k?
True
Let w(h) = -3*h**3 - 42*h**2 + 41*h + 67. Is 4 a factor of w(-18)?
False
Suppose 0 = -20364*s + 20363*s + 7332. Does 13 divide s?
True
Let p = 6 + -7. Does 14 divide 960/(-10)*1/p?
False
Let q = -891 + 1452. Let d = q + -388. Is d a multiple of 7?
False
Let t(h) = -30*h**2 - 15*h + 12. Let v be t(-12). Is 19 a factor of v/(-30) + 6*(-1)/(-15)?
False
Suppose 3*r - 2*c - 47 = 2*c, -c = -5*r + 84. Let a(f) be the first derivative of 4*f**2 + 2*f + 6480. Is 23 a factor of a(r)?
True
Let c = -218 - -223. Suppose 155 = c*s - 860. Is s a multiple of 26?
False
Let q be (6/(-4) - (3 + -4))*0. Suppose 0 = -5*u + 5, q*u - 2*u = 4*d - 74. Is 10 a factor of d?
False
Let x be ((-5)/(-10))/((-1)/8). Let h be ((-141)/132 + x/22)*-4. Suppose -190 = -h*y - 6*w + w, y = -4*w + 29. Does 10 divide y?
False
Suppose -2*x = -5*x - 4*t - 1527, 12 = 4*t. Let a = x + 868. Is 34 a factor of a?
False
Let k(l) = -l**2 - 10*l + 10. Let q be k(-11). Let r be 6 - (-21)/(-7) - (q - -1). Suppose r*v - 261 = 36. Is v a multiple of 9?
True
Suppose 42*d - 16059 - 13 - 13118 = 0. Does 127 divide d?
False
Let w = -2190 + 1302. Let d = -599 - w. Is 15 a factor of d?
False
Let r = 7033 + -6134. Is r a multiple of 45?
False
Let g = 435 + -432. Suppose -j - g*a = -508, 610 - 98 = j - a. Is 22 a factor of j?
False
Suppose 0 = -d - 4*q + 5063, 18*d = 15*d - 5*q + 15161. Is d a multiple of 49?
True
Is 33 a factor of 17906 + (3 - (5 + -1) - -11)?
False
Is 6 a factor of 11956/10 + 70/50?
False
Let p = -1821 - -4167. Does 62 divide p?
False
Let a be (1/3)/((-18)/(-216)). Suppose 0 = -o + 2*h + 44, -5*h + 106 = a*o - 2*o. Let l = 110 - o. Is l a multiple of 31?
True
Let f be 3930/20 + (-12)/8. Let d = f - -156. Is d a multiple of 39?
True
Suppose -130 - 106 = -4*h. Let j = h - 51. Suppose -23 = -j*z + 81. Is z a multiple of 13?
True
Let g = 1496 - 407. Let a = g - 711. Does 14 divide a?
True
Let k = 12 + -12. Let c(v) be the second derivative of -v**4/12 + v**3/3 + 44*v**2 - 3*v. Does 44 divide c(k)?
True
Suppose 5*s + 5*p - 42265 = 0, 2200*p - 2205*p + 33819 = 4*s. Does 41 divide s?
True
Let q = -10243 + 17313. Is 70 a factor of q?
True
Suppose 5*s = -2*v + 8950, 2*s - v + 3581 = 4*s. Suppose 11*z + s = 17*z. Is z a multiple of 8?
False
Let z(y) be the first derivative of -29*y**2 - 242*y - 117. Is z(-11) a multiple of 11?
True
Suppose 7*r - 33*r = -71*r + 87120. Is 11 a factor of r?
True
Let n = 2580 - 362. Is n a multiple of 24?
False
Let i(t) = -2*t**2 + 124*t + 804. Does 58 divide i(60)?
True
Let y(c) = -3*c**3 - 3*c + 3881*c**2 - 14 + 4*c**3 - 3885*c**2. Let v be (-1)/2 + 15/2. Is y(v) a multiple of 37?
False
Is 22 a factor of (778/(-6))/(514/8928 - (-30)/(-465))?
False
Let z be 7*7/(98/24). Suppose -20 - z = -8*u. Is 8 a factor of ((-34)/6)/(u/(-48))?
False
Let c(s) = -s**2 + 11*s - 27. Let y be 3/(3*1/7). Let j be c(y). Does 9 divide 1 + j*16/(-4) - -57?
True
Let l(i) = -2*i - 17 + 2 - i. Let h = 166 + -173. Does 6 divide l(h)?
True
Suppose 5*d + 30605 = 4*f - 2*d, 3*d = f - 7660. Is 311 a factor of f?
False
Let d(v) be the first derivative of -7*v**4/24 - 8*v**3/3 - 8*v**2 - 4. Let c(f) be the second derivative of d(f). Is 3 a factor of c(-7)?
True
Suppose -5*p + 6*j = j + 1285, 4*p + 998 = -2*j. Let x = 661 + -243. Let h = p + x. Is h a multiple of 38?
False
Suppose j + q - 5480 = 0, -5*j = -9*j - q + 21944. Is j a multiple of 16?
True
Suppose -6*y + y = 25, y = z - 1. Does 31 divide (73 - -7)*(z - -2 - -3)?
False
Suppose j + 185 = -2*u, 4*u - 2*j + 355 = -j. Let h = -25 - 2. Let t = h - u. Does 21 divide t?
True
Let w(u) = 46*u + 1. Let n be w(-3). Let i = -44 - n. Suppose i = 3*h - 480. Is 12 a factor of h?
False
Let i = -276 + 348. Let p = 527 + i. Is 15 a factor of p?
False
Let z = -42 - -38. Let n be (10/4 - 0)/((-2)/z). Suppose -3*h + 4*p = -4*h + 38, 250 = n*h + 5*p. Is h a multiple of 34?
False
Suppose 0 = 3*m - y + 565 - 44, -2*m = -3*y + 345. Suppose 4*t - 5*o + 452 = 0, 2*t + 244 = -o + 18. Let w = t - m. Is w a multiple of 8?
False
Let h be (-1088)/(-14) - (-2)/7. Suppose -94 = 2*r - 4*j, r - 4*j + 7 = -44. Let d = r + h. Is 8 a factor of d?
False
Suppose -132 - 128 = -52*o. Suppose -3*p + 1227 = 4*x, o*p + 3*x + 573 = 2607. Does 15 divide p?
True
Suppose -2*p = -2*n - 1044, -4*p + 2*n = -n - 2093. Let w = -258 + p. Let c = w - 72. Is 18 a factor of c?
False
Suppose -15*w + 99 = -6*w. Suppose w*q + 1320 = 17*q. Is q a multiple of 11?
True
Let r(g) = -46 + 59 + 5*g + 44*g - 14*g - g**2 - 133. Is 20 a factor of r(20)?
True
Let n(h) = h**3 - 6*h**2 + 3*h + 4. Let i be n(3). Is 72 a factor of 1462/4 - (133/i - -10)?
False
Let u be ((-25 - -28) + (-10)/2)*-2. Suppose -722 - 843 = -u*m - a, 0 = 5*a - 25. Is m a multiple of 15?
True
Suppose 143*g - 49*g = 5922. Is g a multiple of 63?
True
Is (3542/4)/((((-144)/60)/6)/(-8)) a multiple of 46?
True
Let u be 86564/57 - (-21)/9. Suppose u = 4*n + 3*d, 2*n + 0*d - 2*d = 750. Is 27 a factor of n?
True
Suppose -5*i = 4*a - 8024, -4*i + 11*a = 6*a - 6452. Is 43 a factor of i/(-15)*(-7 + 2)?
False
Let m(h) = 5*h + 102. Let a be m(-28). Let l = a + 262. Does 14 divide l?
True
Let i be (-150)/(-45)*(-2)/(-4)*3. Let f(s) = s**2 - 6*s - 3. Let a be f(i). Let j(g) = g**3 + 8*g**2 - 9*g. Is j(a) a multiple of 12?
True
Let c = 146 - 146. Suppose -780 = -c*k - 4*k. Is k a multiple of 14?
False
Let c(v) = 2111*v + 679. Is 34 a factor of c(3)?
False
Let w = -3319 - -4782. Does 4 divide w?
False
Let w = 18092 - 11157. Is 52 a factor of w?
False
Let b be ((-9)/(-6) - (-51)/(-6)) + -1. Let o be 0 + -1*b/2. Is (2/o)/((-3)/(-24)) a multiple of 2?
True
Let y = 20580 + -8820. Is y a multiple of 7?
True
Suppose -q + 3*t - 17 = -2*q, 3*q = t + 11. Let j(n) = 5*n + 2. Let r be j(q). Suppose -2*o - s + 118 = 0, 0 = o - 5*s - r - 21. Does 29 divide o?
True
Let a(l) = -470*l + 2604. Is 28 a factor of a(0)?
True
Let s(z) = 32*z**2 - 63*z - 1058. Is s(24) a multiple of 22?
True
Suppose -5*s + 3*s = -26. Let l(a) = 2*a**2 - 4*a - 121. Is 9 a factor of l(s)?
False
Let d = -7 - -11. Let v = 11402 + -11394. Is 27 a factor of 197/2 - (d/v + -1)?
False
Let y(s) be the third derivative of -267*s**4/8 + s**3/2 - 2*s**2 - 17. Is 67 a factor of y(-1)?
True
Suppose 8*d + 34 = 74. Suppose -28 = -d*i + l + 27, 4*i + 3*l = 63. Is i a multiple of 3?
True
Let m = -835 - -2530. Let q = 67 + -41. Suppose -11*r - m = -q*r. Does 9 divide r?
False
Let l(z) = 2*z**3 - z**2 + 3*z - 4. Let i be l(2). Suppose -12*x + i*x = 58. Is x a multiple of 29?
True
Suppose 326 = 7*n + 340. Is (85/(-50) + 2/10)*n a multiple of 3?
True
Let o(p) = -2*p**2 - p + 18. Let a be o(-3). Suppose 3675 = 2*l + 5*f, 21*l + a*f - 5535 = 18*l. Does 37 divide l?
True
Let z = 29 + -37. Let t be (-1 - (4 + z)) + 1. Suppose -4*r + 120 + 204 = 4*q, -3*q = -t*r + 331. Is r a multiple of 41?
True
Suppose 0 = 4*h + 4*f - 356, 0*f - 2*f - 242 = -3*h. Suppose -h = 8*l - 372. Suppose 4*x = -16, 232 = 3*p - 4*x + l. Is p a multiple of 6?
True
Suppose -5035 = -16*u - u + 2309. Is 9 a factor of u?
True
Suppose x = 2*w + 16, 14*w + 3*x = 11*w - 33. Let o(b) = 0*b - 2*b - 6*b. Is 24 a factor of o(w)?
True
Let j = 11009 - 4805. Is 6 a factor of j?
True
Let n(c) = 56*c**3 + 12*c**2 + 16*c - 12. Let a(b) = -b**2 - b