-3*z - 15*z = 432. Let q(k) = -3*k**2 - 2*k - 4. Let j be q(4). Let l = z - j. Does 18 divide l?
True
Suppose 0 = 2*h - 5*y - 330 - 740, 4*y + 1066 = 2*h. Is h a multiple of 25?
True
Is 7 a factor of (-1)/(-3)*66/1?
False
Suppose 0 = -8*m + 11*m - 5259. Is 9 a factor of m?
False
Let x(r) = r**2 + 3*r + 2. Suppose 2*q - 3 + 1 = 0. Let v be ((-4)/(-1) + -1)/q. Is x(v) a multiple of 4?
True
Let q be (-4)/(-8) + (-132)/8. Let w(y) = 7*y**3 + 2*y. Let h be w(-4). Does 5 divide (4/6)/(q/h)?
False
Suppose 5*h = -5*j + 920, -4*h - j = 2*j - 737. Suppose -4*c = -3*f - h, 3*c + 8*f - 4*f - 170 = 0. Is c a multiple of 10?
True
Let d be (-94)/(-10)*4 - 6/(-15). Let r = 143 - d. Is 18 a factor of r?
False
Let z = 113 - 108. Suppose 0 = 3*u - 28 - z. Is u a multiple of 11?
True
Suppose -y + 331 = 4*f, -4*y + 7*y - 153 = -2*f. Is f a multiple of 21?
True
Let v(n) be the third derivative of -n**5/60 + 7*n**4/24 + 17*n**3/6 + 5*n**2. Let x be v(7). Let a = x + -14. Does 3 divide a?
True
Is 10/(-4)*(5 + 2958/(-10)) a multiple of 73?
False
Suppose 0 = 4*l, -88 = 3*w - w - 3*l. Let t = w + 61. Is t a multiple of 2?
False
Does 31 divide (114 - 112)/(0 - (-1)/155)?
True
Suppose 39*u - 35*u = 6124. Does 19 divide u?
False
Suppose 3*n + 2 = 4*n. Suppose -x = 4*q - 4, n*x = 2*q - q - 10. Is q/(-4)*-13*2 a multiple of 9?
False
Let u(c) = -c**3 - 6*c**2 - c + 12. Let o be u(-5). Is o/(-10) + (-32)/(-10) a multiple of 2?
True
Let c(u) = -u**3 + 3*u**2 - 7*u - 8. Let a be c(4). Let m = -7 - a. Does 8 divide m?
False
Suppose 5*k = -o + 55, 0 = 2*o + k - 6*k - 35. Suppose -5*u + 4*u + 8 = s, 4*s + 3*u = o. Suppose -2*n - 4 = 0, -s*t - 3*n = -11*t + 71. Does 13 divide t?
True
Let b = -84 - -804. Is b a multiple of 24?
True
Is 34 + 524 + (-4)/(-2) a multiple of 16?
True
Suppose 0 = -r - q + 41, 8*q = -5*r + 4*q + 205. Is 7 a factor of r?
False
Suppose 8 = -4*k, -3*k = -x - x + 62. Let w = -7 + 7. Suppose w*b + x = 4*b. Does 4 divide b?
False
Let i(g) = 2*g**2 - 112. Does 11 divide i(-10)?
True
Let q be ((-16)/6)/(6/(-9)). Suppose 3*f + 3 = 0, -t + 2*f - 3 = q*t. Let a(o) = -20*o. Is a(t) a multiple of 10?
True
Suppose 0 = -s + 3*l + 104, 6 = -2*l + 5*l. Let n = 238 - s. Is 16 a factor of n?
True
Let i = 189 + 39. Does 4 divide i?
True
Let h = 4 - -5. Suppose h = 5*z - 1. Suppose -i + 30 = z*i. Is 4 a factor of i?
False
Let i = -35 + 30. Is 48/(i/((-45)/6)) a multiple of 36?
True
Suppose 0 = -5*y + 3*b + 5214, -4*y + 5*b + 2365 + 1801 = 0. Does 18 divide y?
True
Let o(u) be the third derivative of -u**6/120 + 7*u**5/60 - u**4/12 - u**3/6 - 7*u**2. Does 4 divide o(5)?
False
Suppose -5*v + 64*b = 65*b - 10597, 5*v = 5*b + 10615. Is v a multiple of 53?
True
Suppose -2*q = -y - 3, -3*q + 3*y + 12 = -y. Suppose q*l + 3*l - 239 = u, -5*u + 325 = 4*l. Does 9 divide l?
False
Suppose 12*q - 15*q + 3*k = -945, -3*q + 2*k + 948 = 0. Does 7 divide q?
False
Let w(n) = -n - 3. Let v = -9 + 9. Let r be w(v). Is (-12)/15*(r - 2) even?
True
Let v = -104 + 98. Does 3 divide -102*(-4 - 22/v)?
False
Suppose 3*g = -m + 956, -17*g + 16*g = 4*m - 337. Is 21 a factor of g?
False
Let w(v) = -2*v**2 - 3*v - 1. Let n(l) = l**2. Let m(d) = -3*n(d) - w(d). Let s be m(6). Let a = s + 57. Is 11 a factor of a?
False
Let q = -2180 + 3748. Does 112 divide q?
True
Let k(w) = 2*w + 1. Let h be k(1). Suppose g = -3*v + 10, -h*v + 35 = -4*g - 0*v. Let b = 11 + g. Is b a multiple of 6?
True
Suppose -7*c = -13 - 1. Suppose 3*r - 30 - 19 = c*u, 3*r = -3*u + 24. Is 13 a factor of r?
True
Let f be (-180 + 20/5)*-1. Let k = f + -55. Is 9 a factor of k?
False
Let t = -135 + 470. Does 33 divide t?
False
Let j be -1 + (1 - (1 + -3)). Let c = 2 - j. Suppose c = -4*u + u + 198. Is 22 a factor of u?
True
Suppose 0 = -4*m + 19 - 31. Does 21 divide (-3 + (-183)/2)/(m/6)?
True
Suppose 3*t + 2 = 4*t, -2*u + t = -2. Suppose -4*a - 298 = -u*p, -3*a = -0*a - p + 224. Let r = -37 - a. Is 15 a factor of r?
False
Suppose 2*g = -5*p - 559, 3*p + 191 = -2*g - 142. Let k = -23 - p. Does 15 divide k?
True
Suppose -3*i = 5*z - 19, 6*i + z - 11 = 3*i. Suppose 2*j = 7 - 1, 4*a = i*j + 187. Is a a multiple of 7?
True
Let l = 109 + 41. Does 15 divide l?
True
Suppose -858 = -5*q + 62. Does 46 divide q?
True
Is 53327/17 - (-3 + (-294)/(-102)) a multiple of 13?
False
Suppose -3*r + 57 = -0*r. Suppose r*o = 20*o - 264. Is 12 a factor of o?
True
Suppose 0*o = 4*r - 2*o - 10, -3*o + 13 = r. Let w(l) = 4*l**2 + l. Let i be w(1). Does 13 divide 185*i/(50/r)?
False
Let f = 166 + -46. Is 4 a factor of f?
True
Suppose -1 = -b + 7. Suppose -4 = -2*w + 4*z, -3*z = -4*w - 2*z + b. Suppose 4*p - 129 = 3*y, 0 = -w*p - 0*y + 2*y + 66. Does 15 divide p?
True
Let k = 125 + -30. Let r = -62 + k. Does 22 divide r?
False
Let m = -10 + -5. Let t(k) = -6*k + 3. Let w(u) = 5*u - 3. Let d(r) = -3*t(r) - 4*w(r). Does 9 divide d(m)?
False
Let n(k) = -2*k**3 - 47*k**2 - 16*k + 29. Let u be n(-23). Let r = 201 + u. Is r a multiple of 48?
False
Let u(b) = -b**3 + 7*b**2 + 4*b + 3. Suppose -2*f + 3*f - 7 = 0. Is u(f) a multiple of 3?
False
Let h(z) = -z**2 - 7*z + 5. Let m be h(-7). Suppose 3*j - 118 = m*d, 2*d = -j + 26 + 6. Is 12 a factor of j?
True
Let u(j) = -j**2 - 13*j - 1. Suppose -5*a - 25 - 20 = 0. Is u(a) a multiple of 10?
False
Let n = -198 + 398. Does 6 divide n?
False
Suppose 0 = 2*u + u + 2*r - 1516, -5*u = 4*r - 2528. Is u a multiple of 14?
True
Suppose 0*x + 4*x - 5972 = -f, -3*x = 4*f - 4492. Is 10 a factor of x?
False
Suppose 156 = f - 30. Suppose -5*s + 25 = 5*x - 145, -3*x = -5*s + f. Is s a multiple of 6?
True
Suppose 5*q - q - 55 = -3*h, 3*q + 1 = h. Does 20 divide (-773)/(-6) - h/(-78)?
False
Suppose 0 = -5*w + h + 59, -4*w = -0*w - 5*h - 43. Suppose 5*a + 4*x - 588 = 0, w*x + 344 = 3*a + 10*x. Is 29 a factor of a?
True
Let a = 87 + -53. Does 5 divide a?
False
Let v(w) be the first derivative of -w**3/3 + 7*w**2 - 15*w + 5. Let d be v(11). Is 6 a factor of 415/45 - 4/d?
False
Let i be (-1)/((-52)/7392) + 4/(-26). Suppose 4*f + a = i, -f - a = f - 70. Does 36 divide f?
True
Let j(t) = 2*t**3 - 5*t**2 - 3*t + 2. Let w be j(5). Let c = w + 107. Is 11 a factor of c?
False
Let d(j) be the second derivative of -j**3/3 - 2*j**2 - 2*j. Suppose -3*x + 2*r = -2*r + 1, -3*x - 5*r = 46. Does 10 divide d(x)?
True
Suppose i = -5*a + a, -4*a = 4. Let x = i - 7. Let m(d) = -3*d**3 - 2*d**2 + 3*d - 4. Does 13 divide m(x)?
False
Suppose 0 = -4*r - 3*x + 15, 3*r - 17 - 4 = x. Suppose 2*s + 3*o - 5 = 0, 6*s - s = o + 4. Does 11 divide 116/r - s/3?
False
Suppose -32*p = -333 - 2931. Does 52 divide p?
False
Let l be 3*(3 + 7/(-3)). Let b be (756/48)/(l/(-8)). Let d = -31 - b. Does 10 divide d?
False
Let s = 1438 - -982. Is s a multiple of 22?
True
Let a be ((-28)/(-21))/(1/3). Suppose -a*f = -f - 540. Suppose 4*l = -l + f. Is 12 a factor of l?
True
Let q(p) = 2*p - 2*p**2 + 3*p**2 + p - 10. Let j = 8 + -15. Is 6 a factor of q(j)?
True
Let p = 5 - -65. Suppose -3*r - 5*h = -p, 0 = -4*r + 4*h + h + 70. Is r a multiple of 10?
True
Suppose 0 = -2*t + 8, -2*q - 5*t = -6*q + 8112. Is q a multiple of 13?
False
Let r = 1711 - 572. Does 67 divide r?
True
Let j(c) = 2*c**2 - 19*c + 39. Let v(l) = 4*l**2 - 38*l + 77. Let t(r) = 5*j(r) - 2*v(r). Is t(13) a multiple of 12?
True
Let p be 8/3*(-297)/(-4). Suppose 0 = 4*s - p + 54. Is 11 a factor of s?
False
Is 2843/6 - (-6 - (-560)/96) a multiple of 55?
False
Let f(q) be the second derivative of q**5/20 + 3*q**4/4 - q**3/6 - 9*q**2/2 + 2*q. Is f(-6) a multiple of 16?
False
Suppose r = 3*w - 4*w - 3, 3*w + 9 = -2*r. Suppose r = -2*c + 58 + 98. Is 19 a factor of c?
False
Is 24 a factor of 72*(-4)/24*-59*2?
True
Suppose -3*l = 3*o + 3, -3*o + l + 3*l + 11 = 0. Does 11 divide (-189)/6*(o + -3)?
False
Suppose 18*n - 7266 = 8754. Is n a multiple of 10?
True
Let x = 140 - 140. Suppose -3*z - o + 971 = x, 0*o - 347 = -z - 5*o. Does 23 divide z?
True
Suppose 13 + 0 = 4*l + 5*w, 0 = -w + 1. Suppose b - d - 19 = l*b, 3*d - 63 = 3*b. Is 0 - (2 + b + 1) a multiple of 17?
True
Let t(d) = -4*d - 3. Let w = 24 - 26. Let h(r) = 12*r + 8. Let s(g) = w*h(g) - 7*t(g). Is 13 a factor of s(5)?
False
Suppose 15*y - 16*y + 2 = 0. Suppose 3*z - 2*i - 18 = 0, y*z - i - 2*i = 7. Is z a multiple of 3?
False
Suppose -1745 = -4*a + 5*b, -8*a = -5*a - 4*b - 1308. I