4 - -8124. Let c = -1613 + a. Is c a multiple of 16?
False
Let f(z) = -z**3 + 9*z**2 - 9*z + 13. Let t be f(7). Let o be 14/((3/10)/(t/10)). Suppose 0 = -0*i + 4*i - o. Is 10 a factor of i?
False
Let r = 15513 - 10985. Is r a multiple of 21?
False
Let m(t) = 16*t + 99*t**2 - 2*t**3 - 44*t**2 - 50*t**2 + 13. Let s be m(-6). Is (-2)/((-8)/s) + 3/(-12) a multiple of 11?
True
Let y(v) = 317*v + 1423. Is y(32) a multiple of 37?
False
Suppose -352 = -2*w - 4*n, 4*w + 10*n = 8*n + 698. Is 6 a factor of w?
True
Let a = 19700 + -15577. Does 59 divide a?
False
Suppose 9*s = 12501 - 2169. Is 10 a factor of s?
False
Let m(u) = 9*u**3 - 19*u**2 + 15*u - 26. Let r(o) = 2*o**3 + o. Let v(s) = -m(s) + 4*r(s). Does 16 divide v(10)?
True
Let u(v) = 146*v**2 - 369*v + 7. Does 252 divide u(12)?
False
Let k(w) = w**2 - 11*w + 3. Let u(f) = -f**2 - 14*f - 2. Let n be u(-13). Let g be k(n). Let d(s) = 24*s**2 + 4*s + 4. Is 29 a factor of d(g)?
True
Let t = -19095 + 40830. Is t a multiple of 161?
True
Let q = -9610 - -13335. Is q a multiple of 21?
False
Let b(m) = 51*m - 8. Let k be b(4). Let u = -297 + k. Let l = u + 120. Is l a multiple of 16?
False
Suppose -4*o + 2*k = 14, -4*k + 5*k - 2 = -3*o. Is 35 a factor of 1181 - (5 - 5 - o)*0?
False
Let p(m) = m**3 + 5*m**2 + 4*m - 3. Let w be p(-3). Suppose 0 = w*f + 4*j + 1, 5*j + 4 = -16. Suppose 3*n - 308 = b, f*b = 16 + 4. Does 17 divide n?
False
Let o be (-16)/(-20) - (7048/(-10))/4. Suppose 0*k - 297 = -5*z + 4*k, 3*k = 3*z - o. Let y = 71 - z. Does 2 divide y?
True
Let k be (-40)/(-100)*(4 - (-4 + 78)). Suppose 6 = 2*s, -4*y + s - 2 = 3*s. Let z = y - k. Does 13 divide z?
True
Let c(o) = -o**2 + 18*o + 51. Let i be c(21). Does 11 divide (-90)/12*176/i?
True
Suppose 2*v - 25467 = -s, -13*s + 8*s = 3*v - 38211. Does 44 divide v?
False
Let l(k) = 19*k - 821. Is l(77) a multiple of 107?
True
Suppose -2*d + 5*d = 2*r - 8, 0 = 3*d. Suppose 294 = 7*h + 14*h. Suppose -u - 4*f = h - 46, -r*u = -2*f - 92. Is 3 a factor of u?
True
Let w be (-22)/(-55) + (-36)/(-10). Suppose 3*v + 3*j = 114, j = w*v - 3*j - 184. Let u = v + -37. Is u a multiple of 5?
True
Let a = 8 - 3. Suppose 0 - a = -t, -2*j - 2*t + 10 = 0. Suppose j = -21*c + 23*c - 44. Is 5 a factor of c?
False
Let a(x) be the second derivative of -x**4/12 + x**3/6 + x**2/2 + 2*x. Let k(t) = t**3 - 12*t**2 - 11*t + 8. Let r(g) = -5*a(g) + k(g). Does 3 divide r(9)?
True
Let d(u) = u**3 + 18*u**2 + 17*u - 18. Let s be d(-17). Let p = s + 15. Is p - 0 - (1 + -20) a multiple of 4?
True
Let r = -24 + 24. Suppose -4*b = -4*o, -25 = -2*o - r*b - 3*b. Suppose 0*w - 35 = -2*w + v, 0 = -o*v + 15. Does 19 divide w?
True
Let l = -53 - 344. Let c = -223 - l. Suppose 96 = u + 4*m, -2*u + m - 3*m = -c. Does 12 divide u?
True
Suppose -11395 = 69*d - 70*d - 2*p, 0 = 4*d + 5*p - 45586. Is 10 a factor of d?
False
Is (6050/(-121))/(0 + 2/(-292)) a multiple of 100?
True
Let x be (14/4)/7*(-2055 + 1). Let j = x - -1729. Does 9 divide j?
True
Suppose 0 = 4*j + 3*a - 11, -2*j = -a - 0 - 13. Let w(b) = 4*b**2 + b - 10. Does 9 divide w(j)?
False
Let a = 37155 + -25391. Is 17 a factor of a?
True
Suppose -3*l - 5*o + 8964 = 0, 5*l - 14245 - 695 = -o. Is 35 a factor of l?
False
Let l(g) = 327*g**2 - 3*g + 4. Let m be l(1). Suppose 0 = 11*x - 9*x - 5*h - m, 3*x - 515 = -4*h. Is 13 a factor of x?
True
Suppose 0 = -f + 4*x - 0*x + 2, 0 = f + 5*x - 20. Let k be (-2)/3*(f + -13). Does 5 divide k/3*90/2?
True
Let p = 52 + -52. Suppose -3*o - 5*k + 21 = p, 5*o - 2*k = -5*k + 35. Let d = o + 65. Does 18 divide d?
True
Let y = -43858 + 69024. Is 10 a factor of y?
False
Let m(a) = 561*a + 185. Is 20 a factor of m(10)?
False
Let p(m) = 2*m**2 + 6*m - 22. Let u be p(7). Let k = -27 - -17. Is 10 a factor of (-30 - -5)*(u/k - -1)?
True
Suppose 4*d = -75 - 37. Let l(k) = -13*k**3 - 3*k**2 - 14*k - 8. Let b be l(-2). Let f = b + d. Does 14 divide f?
True
Suppose 5*m - 1214 = -5*i - 3014, -4*i - 1440 = m. Does 42 divide 31/((-5)/i*9)?
False
Does 24 divide (4/(-26) - 1007/(-2067))*6759?
False
Let h = 33313 - -12171. Is h a multiple of 88?
False
Let i(o) = -o**3 - o**2. Let c(z) = -14*z**3 - z - 3. Let s(d) = -c(d) + 2*i(d). Is s(3) a multiple of 13?
True
Let u = -16 + 25. Let f be 2*1/(-2) - (-11 + u). Does 18 divide (21/(-3) - -6)/(f/(-85))?
False
Suppose 2*s + 2*s = 20, 4*a + s = 25609. Is a a multiple of 124?
False
Suppose 2*r = 10, 0*t + 3*t - r = 35323. Is t a multiple of 46?
True
Let l = -81 + 217. Suppose -r - 55 = 4*v, -r - 3*v + 2*v = 58. Let c = r + l. Is c a multiple of 7?
True
Let q(r) be the third derivative of r**7/120 + r**6/720 + r**5/60 + 2*r**4/3 + 12*r**2. Let x(s) be the second derivative of q(s). Is 8 a factor of x(2)?
True
Let s be (-9 - (-4 - -1))*715/(-26). Suppose 2*x + 462 = 5*y - 2*x, 5*x = -2*y + s. Does 44 divide y?
False
Let d = 51 + -49. Let t(z) = -2 - 4*z**2 + 3*z + 2 + 12 + 5*z**d. Is t(-9) a multiple of 6?
True
Suppose i - 4*w = 711, 2*w + 1180 = -5*i + 4823. Is 6 a factor of i?
False
Suppose 11*r - 107712 = r - 26*r. Is 122 a factor of r?
False
Let a = 3944 - 2173. Is 78 a factor of a?
False
Let k = 3655 + -1906. Is k a multiple of 33?
True
Suppose -6*g - 108 = -2*g. Let y = -28 - g. Does 15 divide ((-60)/(-8))/((-3)/(-2) + y)?
True
Let a = -53 - -274. Suppose -634 = -19*p + a. Is 15 a factor of p?
True
Suppose -6*o - 2*o = -48. Let p = 492 - 267. Does 10 divide (-1*8/(-10))/(o/p)?
True
Let b(z) = 2*z**3 + 4*z**2 - 2. Let k be b(1). Suppose -7*y + k*y - 2*w = -230, w = -5. Is y a multiple of 9?
False
Let t(l) be the second derivative of -l**4/12 - 2*l**3 + l**2 + 33*l. Let h be t(-11). Suppose 2*r - h = 257. Does 17 divide r?
False
Let l(s) = 5*s**3 + 24*s**2 + 66*s + 45. Let x(m) = -2*m**3 - 2*m**2 - m. Let b(p) = -l(p) - 2*x(p). Does 9 divide b(-18)?
True
Let q(w) = -w**2 + w - 6. Let r = -2 + 2. Let d be q(r). Is 63/d*(-14)/3 a multiple of 13?
False
Let x(s) be the third derivative of 3/20*s**5 - s**3 + 15*s**2 + 0 + 0*s - 1/120*s**6 + 1/6*s**4. Is 19 a factor of x(6)?
False
Let u(m) = -2*m - 8. Let f be u(4). Let g = f - 74. Let l = 105 + g. Is 8 a factor of l?
False
Let h be 9/((-189)/(-1778)) - 2/3. Suppose 5*i - 4*b + 400 = 0, 75 + 148 = -3*i - b. Let z = i + h. Does 4 divide z?
True
Suppose -2*v + 5220 = -5*u, 146*v - 144*v + u = 5196. Is v a multiple of 100?
True
Suppose 0 = -5*d - 2*l + 11, d - 13 = -5*l + l. Let i be d*171 + (7 - 10). Suppose 0 = 165*n - i*n + 318. Is 10 a factor of n?
False
Suppose 3*a + 5*g - 2721 = 0, -5*g = -275*a + 277*a - 1799. Is a a multiple of 14?
False
Let j(s) = 3*s**2 + 188*s - 535. Is j(-66) a multiple of 10?
False
Let b be (-1 + 26/8)/(33/(-7216)). Let p = 159 + b. Is (0/(-3) - 1)*p/3 a multiple of 22?
False
Suppose -5*l - 50 = -5*y, -12*y = -7*y - 2*l - 35. Let b be (10 - 0/(-2))/1. Suppose -b*d + y*d = -155. Does 7 divide d?
False
Let d = 84670 + -58618. Is 13 a factor of d?
True
Let l be 6*-3*20/60*-24. Suppose -3732 = -150*t + l*t. Is 28 a factor of t?
False
Let p = -43 - -45. Suppose -3*u = -4*x - x + 903, 175 = x - p*u. Let y = x - 51. Does 30 divide y?
False
Suppose 0 = 7*w - 126 - 154. Let h = 25 + w. Does 4 divide h?
False
Let s be -2*(-1 + 2)*250/20. Is 425 + s/((-35)/(-7)) a multiple of 30?
True
Let i(s) = 28*s. Let p(j) = 27*j. Let h(f) = 5*i(f) - 4*p(f). Let y be h(-8). Is (-3)/(12/y) - -4 a multiple of 17?
True
Suppose 72*v = 52*v + 18480. Is 14 a factor of v?
True
Let j(y) = 2*y + 13. Let n be j(-6). Let z(o) = 345*o**2 - 6*o + 5. Is z(n) a multiple of 12?
False
Let y(o) = 52*o + 549. Let u = -555 + 555. Is y(u) a multiple of 9?
True
Suppose -878940 = -6*s - 152*s - 99*s. Is 10 a factor of s?
True
Let u = 2887 - 781. Does 27 divide u?
True
Suppose 4*k + 274 = 2*v, -2*k - 3*v - 139 = -6. Let u = k + 71. Suppose -4*i - g + 80 = 0, 3*g - u = -5*i + 90. Is 9 a factor of i?
False
Suppose -670 = -2*u - 5*n, 2*u - 4*n = -0*u + 688. Let d = u + -26. Suppose 106 + d = 3*r. Does 21 divide r?
False
Let g = -23826 - -39091. Does 71 divide g?
True
Let v be 2 - (16/(-10) - (-6)/(-15)). Suppose 0 = v*m - u - 322, -4*m - 168 = -6*m + 4*u. Is m a multiple of 8?
True
Suppose 9 = 3*d - f, 5*d - 5*f - 10 = -5. Suppose 5*y - 254 = d*l - 6*l, -4*l - 3*y = -508. Does 10 divide l?
False
Suppose 0 = -242*g + 381*g - 709317. Is g a multiple of 10?