-135*t - 228 = -116*t. Let s(j) = 8*j**2 + 10*j + 29. Is 69 a factor of s(t)?
False
Suppose 0 = -23*c - 9 - 152. Is 2034/15 + c + (-37)/(-5) a multiple of 17?
True
Suppose 5*n + 42*l - 19640 = 47*l, 0 = 3*l - 18. Does 79 divide n?
False
Let i(w) = 67*w**2 + 63*w + 162. Is i(12) a multiple of 18?
True
Suppose -19 = 6*p - 7. Is (-36)/15 - p - 66140/(-100) a multiple of 68?
False
Suppose 0 = 2*m + 2*t - 28, 11*m - 5*t - 14 = 10*m. Suppose 11321 = m*c + 401. Is 10 a factor of c?
True
Let l be -26*((-9)/(-12))/3*-4. Suppose 2*m + s = 288, m = s + l + 118. Is 5 a factor of m?
False
Suppose -6*c + 91 = 49. Suppose -c*r - 599 = -3392. Is 57 a factor of r?
True
Let o = -78 - -68. Let c be 154/30 + o/75. Is 2 a factor of ((-30)/5 + c)*-39?
False
Let y(n) = 27*n**2 - 75*n - 44. Is y(-13) a multiple of 7?
False
Suppose 176*x - 179*x = 2*k - 11731, 3*x = -21. Is k a multiple of 64?
False
Suppose 0 = -2*g - 4*y - 24, -5*g + y + 2*y - 8 = 0. Let l be 174/g*(-12)/18. Suppose 3*u = 22 + l. Is 10 a factor of u?
False
Suppose 14048 = 4*i - 18444 + 3524. Is 17 a factor of i?
True
Suppose 0*t + 3*t = -3*k - 3, 8 = -4*k - 5*t. Let o be k - 4/2 - 0. Does 15 divide -2 + (171/o - 4)?
True
Let o be -86*3*((-117)/(-18) - 2). Let u = -800 - o. Is 48 a factor of u?
False
Suppose -5*z - 2*b = -158 - 102, -156 = -3*z + 4*b. Suppose 67 = j - z. Let w = j - 54. Is w a multiple of 44?
False
Let l(f) = 960*f + 619. Does 41 divide l(7)?
True
Let o = -35 + 47. Suppose 0*v - 5*j = -2*v + 9225, -4*j + o = 0. Is ((-2)/(-3))/(14/v) a multiple of 22?
True
Suppose 0 = -2*i + 4, 5*m + 13*i - 16*i = 21954. Is 24 a factor of m?
True
Suppose 5 + 1 = -2*g. Let p = 18 + g. Suppose 10*c + 350 = p*c. Is c a multiple of 5?
True
Suppose -11*j + 3*q = -7*j + 8406, -4*q = 8. Let m be j/6 - (-2)/(-4). Let o = -148 - m. Does 41 divide o?
False
Suppose 2*t - 1590 - 1000 = 0. Is 16 a factor of t - (7 + -3 - 5)?
True
Suppose -2*v + 5*f = -25, -5*v = -2*f + 3*f - 76. Is 4 - -24*(170/v + 0) a multiple of 12?
True
Let x be ((-6)/(-10)*2)/((-6)/(-45)). Suppose 12*g - x*g + 201 = 0. Let u = -58 - g. Does 3 divide u?
True
Let k(r) be the second derivative of r**4/6 - r**3/2 - 7*r**2 + 74*r. Does 19 divide k(-6)?
True
Suppose 2*x - 4246 = 3*o - 1439, o + 4193 = 3*x. Suppose 2*s + 4*b - 880 = -172, -4*s + 2*b = -x. Is 36 a factor of s?
False
Let y = 67 + -64. Suppose 2*t + 38 - 158 = -y*i, 180 = 3*t + 5*i. Suppose -m = 2*m - t. Is m a multiple of 10?
True
Let p = -327 + 558. Let s be (3 + 3 - 8)/(-1). Suppose -4*t + 63 + p = s*f, 4*f + 193 = 3*t. Is t a multiple of 16?
False
Let o(z) = 18*z - 61. Let l be o(4). Let u = 17 + l. Is u a multiple of 14?
True
Let v(y) = y**2 + 2*y - 2. Let u be v(6). Let x = u + -48. Is 2 a factor of (-1 - 0)/((2/x)/9)?
False
Let u(l) = -2*l**3 + 4*l**2 + l + 241. Let j = 165 + -165. Does 56 divide u(j)?
False
Suppose 5*s - 3*n = 19, -7 = -5*s + n + 16. Suppose -4*c - 37 = -4*t - 129, s*t - 81 = -2*c. Let x = 59 - c. Is x a multiple of 6?
False
Let o be 8 - -1 - (4 - 3). Let s(w) = 113*w**2 + 3*w - 10. Let a be s(-2). Suppose 2*d = 4*m - 0*d - a, -4*d = o. Is m a multiple of 12?
True
Suppose 12 = 3*g - s + 3, -2*s - 2 = -2*g. Suppose -z + 0*z + 103 = -r, -2*z + g*r = -212. Does 7 divide z?
False
Let m(u) = -u**3 + 45*u**2 + 41*u + 1. Let b be m(43). Suppose 4*f - b = -1566. Is 14 a factor of f?
False
Suppose -351*w = -295*w - 75152. Does 141 divide w?
False
Let c = 81 + 83. Let x = -121 + 16. Let k = x + c. Does 16 divide k?
False
Suppose -3*w - 57882 = -5*o, -5*o + 60764 = 3*w + 2876. Is o a multiple of 193?
False
Suppose 5*g + 4*b - 237 = 3*b, 4*b = g - 39. Let t = 133 + g. Does 60 divide t?
True
Let s(z) be the second derivative of z**5/20 - z**4 - 29*z**3/6 + 25*z**2/2 + 4*z. Let p be s(14). Suppose -p*f + 1616 = -144. Is f a multiple of 16?
True
Suppose 2*m - 17 = -0*m + g, 5*g = -2*m - 1. Let t(z) = m*z**2 + 5 - z**2 + 0*z**2 - z. Is 23 a factor of t(4)?
False
Let p = 37 + -33. Suppose -3*c + 2*n + 9 = 0, -5*c = -c + p*n - 32. Is (59 - -1)/(102/18 - c) a multiple of 13?
False
Let j(q) = -q - 6. Let w be j(-3). Is 25 a factor of 6 + (23 - (w - -5))?
False
Suppose 69493 = 3*w + m, 98060 = 4*w + 5*m + 5421. Is w a multiple of 8?
False
Let n be (534/(-4) + -5)*-2. Suppose -n - 658 = -17*d. Is d a multiple of 11?
True
Is (-72508*(77/14 - 5))/(-2) a multiple of 11?
False
Let k(u) = -u + 13. Suppose 2*o - 22 = w, -4*o + 7*o = -4*w + 22. Let p be k(o). Suppose -c - g + 3*g = -213, -3*c - p*g + 630 = 0. Is c a multiple of 22?
False
Suppose 8 = -2*a - 5*n + 2, 0 = -3*n - 12. Suppose -o = s - 4, 2*s + 20 = 4*s + 5*o. Suppose s = -a*f + 3 + 137. Is f a multiple of 8?
False
Let c(q) = -4*q**3 - 2*q**2 - 4*q + 14. Does 14 divide c(-7)?
True
Let j = -44 - -40. Let z be ((-108)/j)/(-3)*5. Is 14 a factor of -15*10/z*30?
False
Let r = 23703 - 11691. Is 66 a factor of r?
True
Suppose -17355 = -14*d + 7285. Does 110 divide d?
True
Suppose -43 = -3*j - 13. Suppose j*k - 1807 = -437. Does 7 divide k?
False
Let u = -1890 + 798. Does 8 divide u/(-35) + (-3)/15?
False
Suppose 127 = -2*j - 41. Is 14 a factor of j/(2/(-4) - (-14)/(-28))?
True
Suppose -56687 = -11*v - 56192. Is v a multiple of 45?
True
Suppose 0 = -3*r - c + 28, 28 = r - 3*c + 12. Suppose r*z = 5*z + 25. Suppose u = z*t - 373 + 42, -2*t + 142 = 2*u. Is 9 a factor of t?
False
Let s = -1650 + 2622. Does 3 divide s?
True
Suppose -27 - 18 = 3*j. Let i(s) = s**3 + 15*s**2 + 10. Let r be i(j). Suppose -r*b + 268 = -6*b. Is 30 a factor of b?
False
Let m(z) be the second derivative of -z**3/2 + 91*z**2/2 - 3*z - 1. Is 28 a factor of m(-7)?
True
Suppose 2*f - 4*o - 6356 = 0, -6*f = -f + 10*o - 15790. Is f a multiple of 22?
True
Let c(b) = -b**2 - 21*b - 10. Let v be c(-20). Let y be (-16)/(-6)*(-30)/v. Does 19 divide (-306)/y - (-2)/(-8)?
True
Let s = -40137 - -48787. Does 25 divide s?
True
Let p = 6 + 0. Suppose p*f - 5*f = 35. Suppose -10 = -i + f. Is 15 a factor of i?
True
Suppose 4*w = -4*s + 432, 16*w - 5*s - 324 = 13*w. Suppose -312 = -w*x + 106*x. Is 13 a factor of x?
True
Suppose -9*r + 5*r + 59696 = 2*v, -8*v - 59716 = -4*r. Is r a multiple of 15?
True
Let p(a) = -a**2 + 13*a - 39. Let c(n) be the third derivative of -n**5/20 + 25*n**4/24 - 79*n**3/6 - 26*n**2. Let t(v) = 2*c(v) - 5*p(v). Does 5 divide t(-15)?
False
Let z(l) = -7749*l - 9008. Is z(-6) a multiple of 6?
False
Suppose 0*p - 5*p = 0. Suppose p = 5*w + 29 + 76. Is (10/(-35))/(9/w)*48 a multiple of 10?
False
Let k be (-2)/5 - ((-404136)/40 + 2). Suppose 8*i = 29*i - k. Does 27 divide i?
False
Is (-1 + -3 + 14)/1 a multiple of 10?
True
Let m(k) = 3*k**3 - 5*k**2 - k - 20. Suppose 0 = 11*d + 74 - 19. Let a be d*(-8 + 9 - (1 + 1)). Is m(a) a multiple of 15?
True
Let i(z) = 8*z**2 - 4*z - 2. Let w be i(9). Suppose -3*v + w = -395. Is 17 a factor of v?
False
Is 904 + 272/(-51) + (-8)/(-6) a multiple of 6?
True
Suppose 4*h - 4*b - 127 = -43, -4*h + 99 = b. Suppose -4*k + h = -8. Is k a multiple of 3?
False
Suppose 0 = -38*h + 43*h + 5, z = -3*h + 727. Does 5 divide z?
True
Let o be 1356/27 + (-4)/18 + -1. Let d = o + -107. Let u = -13 - d. Is u a multiple of 21?
False
Let j = -57 + 89. Let c = j + -74. Let a = -1 - c. Is 14 a factor of a?
False
Suppose 66 = -105*t + 107*t. Suppose -4*h = -t + 37. Does 7 divide (h - (-1 - -2))/((-6)/267)?
False
Let c = 20544 - 14139. Does 15 divide c?
True
Let i(h) be the second derivative of 7*h**4/12 + 101*h**3/6 + 5*h**2/2 + 96*h. Is i(-16) even?
False
Let v(u) = -u**3 + 28*u**2 - 44*u - 172. Is v(26) a multiple of 9?
True
Suppose 5*i + 2*y - 234 = -11, 2*y + 207 = 5*i. Let l = -39 + i. Is 23 a factor of (59/2 + -3)/(1/l)?
False
Let c(j) = 3*j - 21. Let g(i) = 2*i**2 + 8*i + 18. Let b be g(-4). Let r be b*((-4)/(-2))/4. Is 6 a factor of c(r)?
True
Let j = -109 + 132. Suppose -5*q + j = -17. Suppose 386 - 34 = q*d. Is 3 a factor of d?
False
Suppose 19*v - 23*v - 4*w = -4, -3*w + 3 = -3*v. Suppose -4*g + 668 + 580 = v. Does 28 divide g?
False
Let x(u) = -2748*u - 851. Is x(-8) a multiple of 113?
False
Let t be (-6)/(-36)*-2 + 16/3. Suppose 0 = -d - 2*g + 148, -6*g + 712 = t*d - 10*g. Does 9 divide d?
True
Let i(m) = m**2 + 11*m - 29. Let t be i(-13). Let d be (111 - t/9*-3) + -3. Suppose 2*o - r = -5*r + 76, -3*o + r + d = 0. Is o a multiple o