56. Is r a multiple of 6?
False
Let j be ((-30)/(-4))/((-3)/(-6)). Let k = -230 + 235. Suppose i + j = 3*v + 121, k*v = -3*i + 290. Does 12 divide i?
False
Let c(n) = 21*n + 14. Let w be c(3). Let k = w - -5. Let d = 139 - k. Does 19 divide d?
True
Let f = 425 - 392. Suppose -19*p = -f*p + 3514. Does 21 divide p?
False
Let k be (0 + 27 + -2)/1. Suppose -31*i + 863 + 687 = 0. Let z = k + i. Is z a multiple of 15?
True
Let i(j) = j**3 + 2*j**2 + 3. Let o be i(0). Let l(z) = -o*z - 18 + 6*z**2 + 12 - 2*z. Does 3 divide l(-1)?
False
Let v(a) be the first derivative of 26*a**3/3 - 13*a**2/2 + 40*a + 135. Does 25 divide v(5)?
True
Let p(o) be the third derivative of o**5/6 + 31*o**3/3 - 9*o**2 + 2*o. Is p(7) a multiple of 23?
True
Suppose -5*f - 27 = -5*o - 2, -2*o - 5*f + 10 = 0. Let g(c) = -6*c - 28. Let r be g(-5). Suppose j - 15 = -r*n - o, 4*j + 8 = 0. Is n a multiple of 2?
True
Let r(g) be the second derivative of -29*g**5/10 - g**4/12 - g**3/3 - 5*g**2/2 - 123*g + 1. Does 27 divide r(-2)?
True
Suppose 13*a - 120 = 15*a. Does 25 divide (155862/a)/(-3) - (-1)/10?
False
Let n = 325 - 312. Suppose 3839 = n*l + 810. Is 5 a factor of l?
False
Let x = -31 - -114. Let z = x - 89. Let p(o) = -8*o - 21. Is 9 a factor of p(z)?
True
Let t(a) be the third derivative of -a**4/8 + 17*a**3/6 - 10*a**2. Let k be t(5). Suppose 0 = 5*n - k*n - 3*i - 168, -4*i = 4*n - 184. Does 20 divide n?
False
Let c(f) be the first derivative of f**3/3 - 5*f**2/2 - 4*f - 19. Let z be c(6). Suppose -6*x = -4*x + h - 308, z*x + 3*h - 300 = 0. Is 26 a factor of x?
True
Let b(q) = q - 2. Let m be b(5). Suppose -l = 3*l + m*v - 1105, 1103 = 4*l + 5*v. Does 31 divide l?
False
Suppose 0*t - 270 + 942 = 3*t. Is 10 a factor of t?
False
Suppose -21*j + 24 = -29*j. Does 39 divide 1 + (-1282)/j - 6/(-9)?
True
Suppose -3*k + 0*k - 3*n = 9, 5*k - 4*n + 51 = 0. Let q be (k - (-3)/(-3))*7/(-14). Is 7 a factor of q/12*(116 + -5)?
False
Suppose -j = 3*s - 4029, -16186 = 735*j - 739*j - 2*s. Does 30 divide j?
True
Suppose -2*z = -8*z + 35160. Suppose 0 = -y - 4, 5*y - z = -a - a. Is a/108 + (-4)/18 a multiple of 9?
True
Suppose 12 - 2 = 5*b, -4*q - 3*b = -18. Suppose -v + 0*v + q*i = -1189, 5*i + 10 = 0. Is v a multiple of 65?
False
Suppose c + 5 + 11 = 5*y, 3*c = -y + 16. Suppose -g + 2*x + 2*x + 5 = 0, 0 = -3*g + c*x + 15. Suppose g*z = 2*z + 114. Does 28 divide z?
False
Let o be (3 + -4)*(0 + 1 + -299). Suppose -5*n + o = 13. Does 14 divide n?
False
Let x = -408 + 412. Let r(i) = 6*i**3 + 8*i**2 + i - 3. Does 17 divide r(x)?
False
Let y = 11956 + -7276. Is 20 a factor of y?
True
Suppose u = 3, 2*u - 808 = 6*t - 8*t. Is t a multiple of 3?
False
Suppose -89*x + 5*x + 276780 = 0. Is 18 a factor of x?
False
Let w(o) = -22*o - 2. Let f be w(-1). Suppose 0 = 4*u + 4*c - f, 0 = -u - 5*c + c - 4. Suppose u*r - 308 = 172. Does 20 divide r?
True
Let m = -46 + 125. Let h = 114 - m. Is (-1 - 44)*(3 - 343/h) a multiple of 44?
False
Suppose 20*k - 25*k + 25 = 0. Suppose -b + k*m + 857 = 0, 0 = -3*b + 8*b + 2*m - 4177. Is 27 a factor of b?
True
Let h(c) = -3590*c**3 - 28*c**2 - 4*c + 3. Is h(-2) a multiple of 117?
False
Let m(g) be the third derivative of 0*g + 34*g**2 + 0 + 1/24*g**4 + 17/2*g**3. Is m(8) a multiple of 31?
False
Let m(n) = -12*n**3 + 8*n**2 + 22*n + 176. Is m(-8) a multiple of 32?
True
Suppose -76*l + 110*l - 1192992 = 0. Is l a multiple of 16?
True
Suppose 5*h - 4*x - 11 = 0, -87 = 5*x - 67. Suppose 4*a = -0 - 48. Is 76/6 + 4/a*h a multiple of 9?
False
Suppose -45114 + 76716 = 35*j - 46798. Is 32 a factor of j?
True
Suppose -6 = 3*t, 0 = -0*m + 3*m - 2*t - 28. Suppose -m*s + 18*s = 1800. Does 4 divide s?
True
Let i = -485 - -218. Let h = -117 - i. Does 25 divide h?
True
Let x(f) = 110*f - 16 - 52*f - 56*f. Let q be x(9). Let h(r) = 43*r - 2. Does 28 divide h(q)?
True
Let r(l) = 814*l - 1774. Does 129 divide r(25)?
True
Let t be (-202)/(-4)*(-36)/(-6) - -1. Let r = -59 + t. Does 49 divide r?
True
Let r = -159 - -119. Let g = 40 + r. Suppose -w + 5*m + 127 - 22 = g, 0 = 4*w + 2*m - 420. Does 10 divide w?
False
Suppose -76*f - 3 = -79*f, -30384 = -3*x + 3*f. Does 83 divide x?
False
Suppose 7*l + 6308 = 3*u + 9*l, -2*u = -4*l - 4200. Suppose -39*z + 5386 = -u. Is z a multiple of 15?
False
Suppose -4*x - 19 = -5*f, -15 + 8 = x - 2*f. Does 4 divide (x + (5 - 6))*-18?
True
Suppose 0 = -20*a + 6*a - 3066. Let i = 442 + a. Does 8 divide i?
False
Let v = 5454 - 4795. Does 16 divide v?
False
Suppose -52658 - 220222 = -38*h + 1157592. Is 44 a factor of h?
False
Is (-1)/((-7)/11366) + (1768/(-119))/(-52) a multiple of 14?
True
Suppose -y = 2*r - 780, -11*y = -8*y - 4*r - 2360. Is 49 a factor of y?
True
Suppose -11663*c + 11672*c - 30645 = 0. Is c a multiple of 69?
False
Let m(a) be the third derivative of -43*a**4/8 - 24*a**3 - a**2 - 24*a. Is 17 a factor of m(-6)?
False
Suppose 4*b - 2*f + 8 = f, 8 = -4*b + 5*f. Let u be b + (-2 - -1)*0. Let r(s) = -32*s - 4. Is 12 a factor of r(u)?
True
Let s(f) = -6*f - 40. Let c(r) = -12*r - 80. Let v(k) = 3*c(k) - 5*s(k). Let a be v(-5). Is (a/(-15))/((-3)/(-450)) a multiple of 10?
True
Let r(w) = -w**3 - 7*w**2 + 16*w + 6. Let o be r(-9). Suppose -20 = -11*t + o. Does 16 divide (t + 0 + 89)*1?
False
Let m be (-1 - -2)*6*-4. Let y = m - -23. Does 6 divide 36 - 11 - y*5?
True
Let r = 8931 - 8395. Does 67 divide r?
True
Let x be 4*(-6)/(-120) - (-1467)/15. Suppose -96*h = -x*h + 76. Is 38 a factor of h?
True
Let o be -68 + 5*(-9)/(-15). Suppose -w = -60 - 10. Let a = w + o. Does 2 divide a?
False
Let o(m) = 4*m**2 - 8*m - 36. Suppose -577*r + 580*r = -9. Is 12 a factor of o(r)?
True
Suppose 323*d - 329*d = -24. Suppose c = -d*z + 584, 61 = -c + 3*z + 631. Is 36 a factor of c?
True
Let p(u) = 2*u**2 + 74*u + 76. Let z be p(-36). Does 51 divide z/12*1531 + (-5)/15?
True
Let c(n) = n**2 - 3*n + 5. Let f be c(3). Suppose u - 38 = -2*j - j, j + f*u - 22 = 0. Let d(t) = 2*t**2 - 15*t. Is 12 a factor of d(j)?
True
Let w(t) = -t**3 - 30*t**2 - 3*t - 102. Let o be w(-30). Let b(l) = -l**3 - 9*l**2 + 2*l + 28. Is 34 a factor of b(o)?
False
Suppose -17*t + 97487 + 80109 = -19740. Is t a multiple of 8?
True
Let b(c) = 6*c**3 + 118*c**2 - 13*c - 92. Is b(-15) a multiple of 13?
False
Let b = 5941 - 2635. Suppose -b = -7*d + 1034. Is d a multiple of 31?
True
Let p(b) = -7*b + 1 + 0*b - 5*b**2 + 16*b**2. Let c be p(-7). Suppose -c = -2*y - 3*o, 0 = -4*y + o + 765 + 448. Is y a multiple of 21?
False
Suppose 4*h + 42799 = 3*g + 200992, -5*g - 197745 = -5*h. Is h a multiple of 18?
True
Let j(i) = 490*i**2 + 30*i - 30. Let q be 3/(8 + 3 + -8). Does 70 divide j(q)?
True
Let n = -20642 + 36280. Is n a multiple of 12?
False
Let d be (-4)/(-6) - (-5945)/15 - -5. Does 29 divide d - (-20 - 0)/5?
True
Let b(f) = -34*f + 2750. Let r be b(75). Suppose -w = -3*w. Suppose 3*n - 4*x = -0*n + r, 3*n - x - 185 = w. Is 20 a factor of n?
True
Let g = 993 - -5892. Does 27 divide g?
True
Suppose 0 = -4*c - 4*r + 8, 2*r - 12 = -5*c + 4. Let u be (-7 - (-14 + 3)) + 1. Suppose c*f + 36 = -2*x + 160, u*f = -3*x + 181. Does 20 divide x?
False
Let s be ((-72)/108)/(4/1026). Does 34 divide (-2034)/(-20) + s/(-570)?
True
Suppose 4*l + 4*q = 16, 6*q - 8 = 2*q. Suppose -3*p = -7 - l. Suppose -4*v = -4*w - 484, 361 = p*v + w - 2*w. Does 20 divide v?
True
Let n(m) = 1166*m**2 - 24*m + 1. Is 4 a factor of n(-1)?
False
Let i = -15 - -20. Let x be 82 + ((-4)/3)/(2/(-3)). Suppose -8*u = -i*u - x. Is 6 a factor of u?
False
Suppose 3*s - 5*f + 3*f = 151, 3 = 3*f. Is ((-126)/(-10))/(s/425) a multiple of 23?
False
Suppose l - 4*r - 17 + 2 = 0, 4*l - r - 15 = 0. Is 213 + 0 - (2 + -5 + l) a multiple of 8?
False
Suppose 22 = -m + j, -j = 10*m - 5*m + 92. Let z(q) = -18*q + 48. Is 15 a factor of z(m)?
True
Suppose -z + 4*v = 26, 2*z + 26 = -2*v + 24. Let t(k) = -158*k - 90. Is 22 a factor of t(z)?
True
Is 184 a factor of 7176/(55/44 - 2/(-8))?
True
Does 10 divide (-53)/5 - (-96)/60 - -6337?
False
Suppose 13*n = 104765 + 10490 + 12210. Is n a multiple of 96?
False
Let c(j) = 1537*j - 642. Does 15 divide c(6)?
True
Let g(t) = -24*t**2 + 5*t - 9. Let i(f) = -15*f**2 + f**2 + 5*f - 8 - 9*f**2. Let h(k) = 2*g(k) - 3*i(k). Is 26 a factor of h(3)?
False
Suppose 113097 = 5*u + 7937. Is 5 a factor of u?
False
Let o(r) = -39*r**2 