(-6)/(-2)))*-2. Suppose -2*f = -5*b + 1173, -3*b = -4*f - z - 504. Does 18 divide b?
False
Suppose 792 = 76*k - 72*k. Is 4 a factor of k?
False
Suppose -16*f = -13*f - 9. Suppose -29 + 9 = -4*v. Suppose 0 = z - v*q, f*z = -q - q + 68. Is 20 a factor of z?
True
Suppose -9 = -3*t, 5*o + t - 4*t - 381 = 0. Is o a multiple of 26?
True
Suppose 0*k - 2*k - k = 0. Let l(n) = -n**3 - n**2 + n + 54. Is 10 a factor of l(k)?
False
Is (36/15)/((-81)/(-7560)) a multiple of 7?
True
Let w(r) = 7*r**3 + 12*r**2 - 24. Let y(m) = 4*m**3 + 6*m**2 - 12. Let n(x) = -3*w(x) + 5*y(x). Does 3 divide n(-6)?
True
Suppose -429 = -3*k - w - 10, 0 = 2*k + 3*w - 291. Let a(i) = -i + 12. Let q be a(8). Suppose m = q*m - k. Is m a multiple of 10?
False
Let d be ((-9)/3 - -7) + 148. Suppose z + 5*u = 38, 0*u - d = -4*z - 2*u. Is 8 a factor of z?
False
Let x be (-1235)/(-5) + (-3)/(-3). Let l = 39 + x. Does 41 divide l?
True
Suppose 4*i = -h + 24, -2*i - 2*i = -4*h - 4. Suppose h*j - 13 = b, 4*b + 2*j - 33 = -13. Suppose 3*w = b*n - 48, n + 2*w - 11 = -2*w. Is n a multiple of 15?
True
Is (-3881)/(-8) - ((-105)/56 + 2) a multiple of 21?
False
Let p(f) = f**3 + 6*f**2 - f - 2. Let d be p(-6). Let h = 9 - d. Suppose h*y + 4*j = 3*j + 32, 0 = -2*y - 5*j - 1. Does 2 divide y?
False
Let u(h) = 4*h**2 + 5*h - 60. Does 57 divide u(-12)?
True
Let f = -5 + 11. Let v = 9 + f. Suppose 5*g - 4*g = v. Is 11 a factor of g?
False
Let k = -589 + 876. Does 39 divide k?
False
Let q(y) = 198*y + 77. Is q(4) a multiple of 92?
False
Let a(z) be the first derivative of 11*z**3/3 + 2*z**2 - 4*z - 4. Is 33 a factor of a(-4)?
False
Let i be 13 + 6/2 + 1. Suppose 136 = 9*f - i. Does 2 divide f?
False
Suppose 91 = -4*c + 995. Suppose 3*n + c + 8 = 0. Let t = -34 - n. Is 22 a factor of t?
True
Let u(q) = -q**3 + 12*q**2 + 5*q + 12. Let v be u(12). Let y = v - 42. Is y a multiple of 10?
True
Let i(l) = -6*l**3 - 6*l**2 + 9*l + 7. Let u(s) = s**3 - s - 1. Let m(y) = i(y) + 5*u(y). Is m(-7) a multiple of 19?
False
Suppose -9*w + 37 = -8. Suppose 189 = w*h + 2*r + 13, -r - 2 = 0. Is h a multiple of 6?
True
Suppose 0 = -5*w + 5*h + 2175, 3*w - w = -5*h + 905. Let k = w + -305. Is 15 a factor of k?
True
Let z(r) = r**3 - 5*r**2 - 6*r. Let p be z(6). Let u(n) = -3 + p*n**2 + 5*n**2 - 3*n**2 + 2*n**2. Does 4 divide u(-2)?
False
Let c = -101 - -103. Suppose 263 = 4*o + 3*p, -o = 2*p + c*p - 69. Is 35 a factor of o?
False
Suppose -29*y + 39338 = -3*y. Is 78 a factor of y?
False
Let o(t) = 2*t + 207. Does 13 divide o(-39)?
False
Let k = 110 - -583. Is 3 a factor of k?
True
Suppose 0 = 22*r - 15*r - 3689. Does 27 divide r?
False
Suppose 2*d + 5 + 3 = 0. Let q be 1 + d - (4 - -37). Let a = q + 76. Does 16 divide a?
True
Let m(f) = f**2 - 17*f + 477. Is 12 a factor of m(0)?
False
Suppose 5*k - 26 = 119. Is k a multiple of 8?
False
Let j be (-6)/42 - 507/(-21). Let p = j + -19. Suppose 3*y - 3*m - 222 = 0, -p*m = -0*y - y + 78. Does 16 divide y?
False
Let j(y) = y**2 - 6*y + 3. Let l be j(6). Suppose 2*c + 3 = l*c. Let n(r) = -r**3 + 6*r**2 - 4*r + 1. Does 5 divide n(c)?
False
Let f(i) = -i**2 + 18*i - 20. Let v be f(17). Let y be (2 - 3 - v) + 5838. Is y/75 - 2/(-15) a multiple of 36?
False
Suppose 0 = -4*b - 67 + 75. Is 11/((b/(-16))/((-3)/4)) a multiple of 8?
False
Suppose -9*l + 9663 = -2631. Is 74 a factor of l?
False
Suppose 43*b - 40*b = -p + 245, 5*b - 2*p = 390. Is b a multiple of 40?
True
Let g be 4/30*-111*5. Let n = g + 107. Is n a multiple of 4?
False
Let i = -2 - -20. Is 22 a factor of 115 - 1 - 72/i?
True
Is 7 a factor of (96450/70 - 6) + 6/(-7)?
False
Let y = 36 + -34. Suppose 0 = y*h - 10*h + 792. Is 39 a factor of h?
False
Let d(w) = -w**2 - w - 7. Let i be d(0). Let n = 9 + i. Suppose 3*o - n*o = 9. Is o a multiple of 3?
True
Is 3 a factor of (-4)/((-40)/1990) - -7?
False
Does 46 divide (-162)/15*(-80 + -10)?
False
Let o = -165 + 350. Is o a multiple of 11?
False
Let b(y) = -y**3 + 10*y**2 + 19*y + 31. Let g be b(11). Suppose 177 = 8*l - g. Is 37 a factor of l?
True
Suppose -2*r - 5*d + 39 = 0, -2*r + 5*d = 11 - 0. Suppose 4*g = r*g + 9. Let j = g - -21. Is 18 a factor of j?
True
Suppose 1559 = 29*u - 7112. Is u a multiple of 37?
False
Suppose 27*h = 32*h - 405. Let q = -33 + h. Is 24 a factor of q?
True
Let i = 19 - -1. Is 4 + 5/(i/16) a multiple of 2?
True
Let w(l) = 38*l**3 + 2*l**2 - 1. Let q = 121 + -120. Does 7 divide w(q)?
False
Is 13 a factor of (-66)/(-1023) - 4832/(-62)?
True
Let m(o) = 3*o**3 - 5*o**2 - 35*o + 128. Is 5 a factor of m(4)?
True
Let f be 1 + (-68)/51*309/2. Let w = f + 288. Is 44 a factor of w?
False
Suppose -5*u - 11 - 4 = 0, 0 = -4*p + 4*u + 2140. Is 76 a factor of p?
True
Let w = 19 - 23. Let o be (96/28)/w*-7. Suppose -o*t + 140 = -4*t. Does 13 divide t?
False
Suppose 14*s + 5*c = 9*s + 615, 4*s + 5*c = 487. Is 7 a factor of s?
False
Let h be (5 - (8 - 4))*7. Let c(y) = 5*y**2 - y**2 - 1 - 3*y**2 - 5*y. Does 11 divide c(h)?
False
Let l(k) = 9*k - 10. Let n(d) = 18*d - 19. Let f(r) = -11*l(r) + 6*n(r). Suppose 5*u + 3 = -c + 25, 3*u - 6 = 3*c. Does 9 divide f(u)?
False
Is (7/(-3) - -1)*-240 a multiple of 5?
True
Let a = -10 + 17. Suppose 43 = a*x - 6. Is x a multiple of 7?
True
Suppose -5*o - 66 = 4*a + 49, a = -5*o - 100. Let h = o + 32. Is h a multiple of 7?
False
Suppose 2*x - 4*y = -0*y, 8 = 2*x + 4*y. Let s = -20 - -37. Suppose -6 = -x*j + c + 2, 0 = -5*j + c + s. Is j a multiple of 2?
False
Suppose 14 = -4*o + 42. Suppose 0 = o*i + i + 16. Let q(f) = -7*f**3 - 2*f**2 + f - 1. Is 7 a factor of q(i)?
False
Let a be (-18)/12*(-8)/3. Suppose m = -l + 6, -a*l = m - 5*m + 8. Suppose l*d - 6*d + 72 = 0. Is d a multiple of 6?
True
Suppose 0 = -18*t + 14*t + 128. Suppose 5*m - 9*m = t. Let r = m - -20. Is r a multiple of 3?
True
Let j be ((-42)/(-6))/((-21)/(-15)). Let p be (0 - 1) + 95/1. Suppose 46 = j*l - p. Is l a multiple of 7?
True
Let m be (6/15)/((-3)/(-255)). Let i = m - 18. Is 8 a factor of i?
True
Let j(u) = -195*u - 1. Let w(c) = -c**2 + 15*c - 1. Let k be w(15). Does 27 divide j(k)?
False
Let g be ((9/1)/(-3))/(-1). Suppose z + 4 = -g*z. Is 1*(1 - (z + -19)) a multiple of 7?
True
Suppose 3851 = 25*b - 34649. Is 28 a factor of b?
True
Let t be 3 + 5/((-5)/(-2)). Let o = -5 + t. Is (3 - o)/(-1) + 52 a multiple of 19?
False
Is 5 a factor of (-3 + -358 + 0/(-5))/(-1)?
False
Let r = 25 + -7. Let b = -13 + r. Suppose -282 = -b*l + 8. Is l a multiple of 29?
True
Let o(w) = 3*w + 2. Let d be o(4). Let z be ((-5)/(-10))/(1/d). Suppose z*b - 2*b + 2*y - 75 = 0, -60 = -4*b + 2*y. Is 7 a factor of b?
False
Suppose -k = 5*r + 61, -2*r - 5*k = 3*r + 45. Let f be ((-10)/3)/((-2)/15). Let y = r + f. Does 9 divide y?
False
Let v = -34 - -37. Suppose 2*q + 5*t + 17 = v, 5*q - 4*t = 31. Is q even?
False
Suppose 5*g - 4*p - 558 = 357, 5*g + p = 940. Suppose 3*h - g + 4 = 0. Is 10 a factor of h?
False
Let a be 4/6*3/2. Suppose -2*l = -w - 0*l + 4, 15 = 3*l. Let b = a + w. Is 3 a factor of b?
True
Let a be (18/(-4))/(60/(-80))*1. Suppose a*s + 5*p - 220 = s, 0 = s - 2*p - 47. Is s a multiple of 9?
True
Is (-3890)/(-15) + (-8)/6 a multiple of 7?
False
Let t(l) be the second derivative of 3/2*l**3 - 3/2*l**2 - 1/12*l**4 + 0 + l. Is 2 a factor of t(7)?
False
Suppose -s - 2*f = -5*f - 105, 5*s + 2*f - 593 = 0. Suppose -j + 2*j - 18 = t, -s = 5*t + 4*j. Is 25 a factor of (90/t)/((-2)/14)?
False
Suppose 5*n - 11 = 4. Suppose -5*f - 3*q + 37 = 0, -17 = 2*f - 3*f - n*q. Suppose 6*b - f*b - 24 = 0. Is 8 a factor of b?
True
Let k = 2269 - 978. Does 102 divide k?
False
Let r = 99 + 93. Is r a multiple of 6?
True
Suppose 5*i - 2*i = v + 87, 0 = 3*i - 4*v - 87. Suppose -9 + 47 = 5*j - 3*c, c = 4*j - i. Is 866/j + 2/7 a multiple of 25?
False
Let x = 228 + -206. Suppose -3*a + 3*y - 3 = 0, -5*y + 26 = -2*a + 9. Let r = x - a. Does 8 divide r?
False
Suppose 0 = 10*o - 20. Suppose -d + o*d = -2*y + 239, -598 = -5*y - 2*d. Is y a multiple of 15?
True
Suppose -5*g - 57 - 158 = 0. Let x = -29 - g. Does 14 divide x?
True
Suppose 4*d - 2*d = -66. Let k = d + 8. Let y = -7 - k. Does 10 divide y?
False
Suppose 32*g + 13434 - 38746 = 0. Is g a multiple of 89?
False
Let b = -21 + 140. Is 17 a factor of b?
True
Does 9 divide 1/5 - 276545/(-1025)?
True
Let p(u) = 2*u**2 - 2*u + 14. Suppose -5*g + g = 28. Is 