t s be n(-10). Let j be s + 3*1/(-3). Suppose 0 = -10*q + j*q - 30. Is q a multiple of 19?
False
Suppose -s + 460 = -4*q, 2*s = -4 - 4. Suppose -7*b - 113 - 419 = 0. Let r = b - q. Is 8 a factor of r?
True
Let y(k) = 81*k**2 + 34*k - 246. Is y(12) a multiple of 81?
True
Let i(t) = 420*t**2 + 5*t. Let a be i(-1). Suppose -4*f + 1599 = a. Does 8 divide f?
True
Let f be -3 - (1 - 2)*8. Suppose -20*h - 390 = -f*z - 25*h, 214 = 3*z - h. Does 5 divide z?
False
Let h(l) = -3*l**3 - 23*l**2 + 11*l - 33. Let t(x) = -7 + 10*x - 5*x**3 - 43 + 7*x - 34*x**2. Let b(v) = -8*h(v) + 5*t(v). Does 14 divide b(13)?
False
Suppose 169 = -0*h - h. Let k = h - -123. Let z = k - -49. Is z a multiple of 3?
True
Suppose -12 = 16*o - 19*o. Suppose 0 = -3*r - o*u + 218, -5*u = 7*r - 8*r + 41. Is 22 a factor of r?
True
Suppose -4*r + 650 = -2*g - 1972, -3*g = r - 666. Does 73 divide r?
True
Let l(v) be the first derivative of -v**5/60 + 11*v**4/12 + v**3/3 + 5*v**2/2 - 21. Let b(p) be the second derivative of l(p). Is 18 a factor of b(15)?
False
Let j be -10*23/10*5. Let u = 105 - j. Does 55 divide u?
True
Suppose 20*m - 29*m - 603 = 0. Let k = 105 - m. Is 20 a factor of k?
False
Let w(s) = 457*s - 2614. Is w(22) a multiple of 62?
True
Let x be (2/(-4))/(1/(-4)). Let t = -30 - -149. Suppose b + t = 4*z, 3*z - 4*z - x*b = -32. Is z a multiple of 6?
True
Suppose -872*h = -874*h - i + 53039, -3*h = -2*i - 79548. Does 14 divide h?
False
Suppose 60*z - 15429 = -13*z + 121811. Does 20 divide z?
True
Suppose 2760480 = -1516*o + 1624*o. Is o a multiple of 20?
True
Suppose -676 = -6*s + 2*s - 4*l, -4*s - l + 670 = 0. Suppose z - s = 72. Does 29 divide z?
False
Let l be (-6)/(9 - -3)*-4. Suppose -4*v - 5*z = v - 840, l*z + 854 = 5*v. Does 12 divide v?
False
Suppose 1050*r = 1171*r - 185856. Is 96 a factor of r?
True
Let v be -36*(10/(-3))/5. Suppose 0 = 3*k + 2*d - 16, -4*d + v = -0*k + 4*k. Suppose -k*f + 66 = -138. Is f a multiple of 9?
False
Let k = -60 - -59. Is 19 a factor of 60792/80 - k/10?
True
Suppose -2*g = -4*g - 5*i + 172, -5*g = -2*i - 401. Is (560/6)/(18/g) a multiple of 10?
True
Let n(u) = u**2 - 50*u + 306. Let v be n(7). Suppose 5*o + 1 = 16, 0 = -v*f + 3*o + 461. Is 50 a factor of f?
False
Let g(z) = -8*z + 5. Let y = 10 + -6. Let w be 2/(y*5/(-70)). Is g(w) a multiple of 7?
False
Suppose 2*f = 13 - 5. Suppose 2*q + 2*q - 5*m - 47 = 0, 0 = f*q - 3*m - 41. Is 9 a factor of -2 - (-6)/q*(52 - 4)?
False
Suppose -15*i = -11*i - 48. Let g(h) = -i*h**2 - 47*h - 55*h + h**3 + 105*h + 4. Is 20 a factor of g(12)?
True
Let f = 48273 + -33793. Is 16 a factor of f?
True
Suppose -5*c = 4*r - 16, 4*r + 1 = c + 17. Suppose -8*t + w = -5*t - 65, 0 = 2*w + r. Is 5453/49 - 6/t a multiple of 7?
False
Let u = 29 + -32. Let f be u + (207/3 - 1). Suppose 4*j - 3*m = 103 - 26, 3*j + 5*m - f = 0. Is 10 a factor of j?
True
Let x(d) = 2*d**3 - 14*d**2 - 45*d + 11. Let u be x(15). Suppose -18*a - u = -8948. Does 38 divide a?
False
Let q(l) be the second derivative of -46/3*l**3 + 0 - 7/2*l**2 + 16*l. Is 17 a factor of q(-1)?
True
Suppose -3*j = 23 - 20. Let q(h) = -4*h - 2. Let t be q(j). Is (0 - 1) + t - -65 a multiple of 10?
False
Suppose 11*z + 5*t + 79045 = 16*z, 5*z = -t + 78997. Is z a multiple of 69?
True
Suppose -32*o + 82556 = 6396. Does 28 divide o?
True
Does 10 divide (521/(-3))/(11/33)*(1 - 43)?
False
Let b(h) = 11*h + 2. Let c be 6/6 + (-1 - 9). Let u be b(c). Does 19 divide (2 - u) + (0 - 4)?
True
Let r(s) be the third derivative of -5*s**4/24 + 37*s**3/6 - 16*s**2. Let w be r(12). Let z(u) = -u**3 - 22*u**2 + 18*u - 34. Is z(w) a multiple of 27?
True
Suppose 6 = -3*r, -2*i - 4*r - 143 + 37019 = 0. Does 60 divide i?
False
Suppose -d = 4*p + 14 + 3, -4*p - 14 = -2*d. Let t = 283 + d. Suppose 4*b + 3*j = t, j + j = 4*b - 272. Is 14 a factor of b?
False
Let w(c) = -21*c - 34. Let z(d) = 20*d + 33. Let n(k) = 2*w(k) + 3*z(k). Let g be n(-7). Let y = 153 + g. Is y a multiple of 18?
False
Let u(p) = -3682*p - 9803. Does 25 divide u(-4)?
True
Let k be 8/3*(87/12 + -5). Suppose -k*q + 280 = 100. Does 40 divide 1*q*(-144)/(-27)?
True
Suppose 57*r - 4*l + 22092 = 60*r, -3*l + 36820 = 5*r. Is 60 a factor of r?
False
Let x(f) = 5*f**2 + 7*f - 84. Let z(w) = -31*w**2 - 40*w + 506. Let q(c) = 39*x(c) + 6*z(c). Is 20 a factor of q(8)?
True
Is 40 a factor of (-1418550)/(-150) + 1 + 12?
False
Let u(l) = l**3 + 39*l**2 - 2*l - 187. Does 65 divide u(-34)?
False
Suppose 13*m + 141 = 232. Is -3 - (-2 - 1104 - (m - 5)) a multiple of 13?
True
Suppose 0 = -a + 6*a + 3*m - 25, -4*a + m + 20 = 0. Is (-810)/(-4) + ((-30)/(-4))/a a multiple of 34?
True
Let x(l) = l**3 + 20*l**2 - 21*l + 1. Let h be x(-21). Let c be 0*h/(-5) - -3. Suppose -266 = -2*s + i, 399 = c*s - 2*i + i. Is 19 a factor of s?
True
Let m(r) = 12*r - 1. Let n(u) = u. Let x(c) = m(c) - 2*n(c). Let f be x(1). Suppose f*q + 584 - 1637 = 0. Is 32 a factor of q?
False
Let y = -4 + -26. Let o be 11/2 - (-15)/y. Is 19 a factor of o/5*-3 - -22?
True
Suppose -22*d - 5867 = -49295. Does 21 divide d?
True
Let p(h) = 4*h**2 + 405. Suppose v + 8 = -6*r + 2*r, -4*r - 8 = -5*v. Does 8 divide p(v)?
False
Let r(t) = -32*t - 88. Let s be (96/36)/(4/(-6)). Is r(s) a multiple of 2?
True
Does 42 divide 21343 + (-143)/(-13) - 17?
False
Suppose -120 = -5*q - 10. Suppose 11*s = 13*s - q. Suppose 0 = 4*c + 6*w - s*w - 183, -3*w + 191 = 4*c. Is 37 a factor of c?
False
Let s(o) = -9*o - 19. Let u be s(-11). Let k = u + -69. Let z(i) = -i**3 + 11*i**2 + 16. Is 7 a factor of z(k)?
False
Suppose -7*w + 3*w = r - 40, 2*w - 18 = -r. Let n(t) = 3*t**2 + 34*t + 36. Is n(w) a multiple of 12?
False
Let w = -2440 - -3955. Is w a multiple of 4?
False
Suppose -4*b + 6*k + 26 = k, -2*b + 5*k = -18. Suppose 0 = 2*o, -b*y - 12*o + 1172 = -10*o. Is y a multiple of 6?
False
Let c = -36 - -84. Let n = c + -43. Suppose -n*v + 263 = -97. Is 24 a factor of v?
True
Let w be ((-15)/6 - -1)*4. Is (w + 4 + -44)*5*-1 a multiple of 23?
True
Suppose i - 3*v = 147, -4*v = i - 114 - 40. Does 10 divide i?
True
Let l(p) be the first derivative of 17*p**2 - 36*p + 82. Is 12 a factor of l(6)?
True
Suppose 2*l - 5803 - 5137 = -w, 0 = 3*l - w - 16430. Does 6 divide l?
False
Let j = -40 - -438. Let d = j - 195. Is 8 a factor of d?
False
Let z = 760 + -758. Suppose 3*v = -5*p + 8015, -z*v + 720 + 4088 = 3*p. Is p a multiple of 35?
False
Let o be (3 + -2)/((-4)/16). Let l be (-198)/(-72) + (-1)/o. Suppose -2*y + 5*c = -6*y + 75, -l*y + c + 42 = 0. Is 4 a factor of y?
False
Let z = 3764 - -196. Suppose 27*u - 7*u = z. Does 6 divide u?
True
Let l(t) = -t**3 - 8*t**2 - 6*t - 27. Let k be (0 - 1)*(-2 + 8) - 2. Does 21 divide l(k)?
True
Suppose -3*j - 4*b + 11296 = 0, 0 = 82*j - 84*j - b + 7539. Does 92 divide j?
True
Let x(b) = -18*b + 150. Let p be x(-10). Is 420/45*p/4 a multiple of 11?
True
Let y(v) = 10468*v**2 - 34*v + 56. Is y(2) a multiple of 163?
False
Let v(k) = -32*k + 448. Let a be v(14). Let u(r) be the second derivative of r**4/6 + r**3/6 + 81*r**2/2 + r. Is u(a) a multiple of 27?
True
Let z be (-3 + 78/(-30))/(4/60). Does 8 divide (1 - (-7)/(-3))/(2/z)?
True
Let a = 12118 + -10505. Is a a multiple of 10?
False
Suppose -4*m + 8 = -3*n, n - 2*m = 5*n - 4. Suppose 5*z - 451 - 54 = n. Is z a multiple of 4?
False
Let c be (-2)/(-8) - (0 + 6/(-8)). Let k be c + 6/(-10) - (-338)/5. Let z = k + -32. Is 5 a factor of z?
False
Let i(t) = 10*t**2 - 7*t**2 + 19*t - 42*t + 7*t**2 - 30 + 31*t. Does 13 divide i(5)?
True
Suppose 10*n - 2138 = -678. Let z(g) = -g + 21. Let d be z(-15). Let h = n - d. Is 10 a factor of h?
True
Let x be -4*(-2)/4 - 2. Suppose 5*l = s + s - 74, 2*s + 2*l - 46 = x. Suppose 6*c = s + 81. Is 18 a factor of c?
True
Suppose 8*z - 8 - 32 = 0. Does 9 divide (-20)/12*(-352 - z)?
False
Suppose -25*m + 3840 = -19*m. Suppose 2*o - n = 572, 3*o - m = -4*n + 207. Does 19 divide o?
True
Let c be 657/2*208/156. Suppose -602 = -2*l + c. Does 40 divide l?
True
Let v = -27359 - -45503. Is v a multiple of 126?
True
Let g(v) = 27*v**2 - v - 2. Let z be g(-2). Let o = -5807 + 5815. Is 9 a factor of o/z*3 + (-727)/(-9)?
True
Let n(c) = 18*c + 169. Suppose -8*z + 91 = -173. Does 41 divide n(z)?
False
Suppose -4*k + 5*k - 8 = 2*l, 0 = -5*k + 4*l + 22. Suppose -k*d - 1514 = -4*v, 363 + 28 = v - 3*d