 110 = 8*z. Is z a multiple of 10?
False
Is 11 a factor of (-913*4/8)/(((-26)/(-4))/(-13))?
True
Let q = -16 - -21. Is -10*(q - (-69)/(-2)) a multiple of 29?
False
Suppose -7194 = -5*l - 3*i + 122, 0 = -5*l + 3*i + 7334. Does 19 divide l?
False
Let s(b) = -6*b**2 - 289*b + 20. Is 68 a factor of s(-48)?
True
Suppose -513*j = -518*j - 5*h + 26735, 3*j + 4*h = 16036. Is 23 a factor of j?
False
Let q = 8291 + -5685. Suppose -9*t - 59 = -q. Is t a multiple of 9?
False
Suppose 15*r + 2450 = 21*r - 5*r. Is r a multiple of 19?
False
Let w(k) = -13*k + 7. Let h be w(2). Is 3 a factor of (-2)/(-4) - 5*h/2?
True
Let f(i) = -29*i**2 - 704*i + 50. Is f(-17) a multiple of 9?
False
Suppose 5*c - c = 16. Suppose 0 = -7*g + c*g + 4*m - 8, -2*g + 2 = m. Is (185 - 2) + 5 + g + -5 a multiple of 15?
False
Suppose 62 - 94 = -8*p. Does 34 divide 1/p - 26/8 - -553?
False
Let z(r) = 2*r - 33. Suppose -2*t - x = -2*x + 8, -15 = 5*t - 5*x. Let m(l) = 3*l - 34. Let g(f) = t*m(f) + 6*z(f). Is 10 a factor of g(-16)?
True
Suppose a + 94314 = 4*b, -145*a + 18 = -142*a. Does 57 divide b?
False
Is 2 a factor of (-5 + 12/60*20)/(3/(-1551))?
False
Let d(q) = 357*q - 378. Does 35 divide d(12)?
False
Let s be (-8)/(-28) + -3*(-6892)/(-42). Let w = -16 - s. Does 14 divide w?
True
Suppose -5*k + 41181 = 2*t, 0 = -2*k + 13*t - 12*t + 16476. Is k a multiple of 75?
False
Let p(x) = -x**2 - 9*x - 14. Let o be p(-8). Let h(u) = -19*u + 33. Does 21 divide h(o)?
True
Let y(o) = -o**3 + 18*o**2 + 26*o - 42. Let n(l) = -3*l**2 - l + 19. Let t(r) = -r**2 - 8*r - 12. Let j be t(-6). Let b be n(j). Does 7 divide y(b)?
True
Suppose -48*b = -44*b - 184. Suppose -28*s - 18126 = -b*s. Is s a multiple of 19?
True
Suppose 0 = 123*n + 44*n - 251680 + 18381. Is n a multiple of 11?
True
Let k be -3 + (-22824)/(-32) + 1/(-4). Let i = k - 422. Is 14 a factor of i?
False
Suppose 123*j + 890160 = 163*j. Is 5 a factor of j?
False
Let i(u) be the second derivative of 2*u**3/3 - 11*u**2/2 - 27*u. Let q be i(5). Suppose q*m + 2*t - 430 = 5*m, -5*t + 219 = 2*m. Is m a multiple of 14?
False
Let v(y) = 3*y**3 + 97*y**2 - 37*y + 31. Is v(-28) a multiple of 27?
True
Suppose -7*a + 14 - 49 = 0. Let q = a + 5. Suppose -9*l + 72 + 243 = q. Does 7 divide l?
True
Suppose 69*v + 3240 = 70*v - 4*b, -b - 6445 = -2*v. Is v a multiple of 52?
False
Suppose 0 = k - 0*k - l + 1, 2*k + 3*l - 18 = 0. Suppose 73 = -2*i - p, 43*i + 3*p = 46*i + 114. Is 11 a factor of (-8)/(-12)*k*i/(-2)?
False
Suppose -4*p + 21 = -3*k, 0 = 2*p + 4*k + 4 + 2. Suppose 4*u + 520 = 4*n + 12, p*n + 4*u - 381 = 0. Does 3 divide n?
False
Let n = 233 + -163. Let k(m) = 2*m**2 - 12*m + 9. Let h be k(5). Does 14 divide (((-72)/20 - h) + 3)*n?
True
Suppose -464*u + 600094 + 523250 = 0. Is u even?
False
Let o be 2/(2/9)*-1. Let p(f) = -32 - 95 - 14*f - 82 + 226. Is 13 a factor of p(o)?
True
Let z = 85 - 82. Suppose 0 = 4*c + z*r - 6*r - 681, 3*r = -9. Is 26 a factor of c?
False
Suppose 3*i = -34*w + 30*w + 2714, -4*w = 4. Does 203 divide i?
False
Let m(i) = -5*i**3 - 16*i**2 + 4*i - 15. Does 35 divide m(-13)?
False
Let q be (0 - -2)/1*645/30. Let g = q + 1211. Is g a multiple of 12?
False
Suppose 3*r + 3*x - 16609 - 15233 = 0, -5*x = 30. Is r a multiple of 45?
True
Let t = 171 + -165. Suppose 0 = -t*q + 65 + 115. Is q a multiple of 15?
True
Let v = 2917 + -817. Does 10 divide v?
True
Let c = -1597 + 794. Let k = 1341 + c. Is k a multiple of 23?
False
Suppose 3*u - u - 5*q = 35, 5*u - 3*q - 40 = 0. Suppose u*h + 13*b = 17*b + 108, -2*b = -3*h + 64. Is h a multiple of 10?
True
Let w(t) = -t**3 - 5*t**2 + 4*t - 14. Suppose 2*r + 66 = -9*r. Let i be w(r). Does 17 divide ((i - -4) + -3)/(3/(-51))?
True
Suppose -5*h = 4*c - 40, 4 = 5*h - c - 36. Suppose -2*r - h = -18. Suppose 4*w = w - r*t + 319, 2*w + 2*t = 210. Is 16 a factor of w?
False
Is 142 a factor of (5472320/1372)/(4/14)?
False
Let i(y) = -2*y**2 + 283*y + 207. Is i(90) a multiple of 25?
False
Suppose 140*o - 320554 = 378394 + 691952. Does 14 divide o?
False
Suppose 0 = 11*o - 13*o + 4. Suppose -3 = a + 2*w, 0 = a + 2*a - o*w - 15. Suppose -y - 350 = -a*s, -97 - 21 = -s + y. Does 10 divide s?
False
Suppose -5*d + d = -128. Suppose -d = 3*a - 671. Suppose 5*m - 57 = a. Is 9 a factor of m?
True
Let q(o) be the second derivative of -o**5/4 - o**4/6 - 11*o**3/6 - 5*o**2 + 13*o. Is q(-5) a multiple of 17?
False
Let j be 1/(9/33)*3*1. Suppose 14*o - 402 = j*o. Suppose -5*m + 4*i + 337 = 0, -6*m + 4*m = -2*i - o. Is 6 a factor of m?
False
Suppose -49*t - 24*t + 4604956 = 1039636. Is 165 a factor of t?
True
Suppose -6*b - 71 = -5. Let l = b + 77. Is 11 a factor of l?
True
Let x(b) = 18*b + 5 + 9 - 39*b - 36*b. Let u be x(-7). Is (-6)/(-4) + u/2*1 a multiple of 13?
True
Let w be 24/(-9)*(-6)/4. Let f(m) = 2*m**2 + 17*m + 8. Let v be f(-8). Does 9 divide v - 13/(0 - w/12)?
False
Suppose -2*u - 19 + 5 = -4*z, -5*u = -5. Suppose 2 = 2*a, -2*a + z*a + 286 = 2*v. Does 48 divide v?
True
Let p = 38979 + -34373. Is 94 a factor of p?
True
Let x(p) = 638*p - 705. Is x(13) a multiple of 70?
False
Suppose 0 = -u + 4*o - 24, 2*u + 1 = -4*o + 13. Let k(r) be the third derivative of r**6/120 + 2*r**5/15 + r**4/12 - 7*r**3/6 + 192*r**2. Is 9 a factor of k(u)?
False
Suppose -2*k + k - 22 = 5*t, 0 = 5*k + 3*t. Suppose -816 = -5*d - 5*p - 2576, k*d + 1058 = -2*p. Let v = d + 540. Is v a multiple of 15?
False
Is 58 a factor of -6*(-4526)/4 - (-9)/45*-15?
True
Is ((20/8)/(-1))/((-6)/(6936*1)) a multiple of 85?
True
Let c be (-10)/2*63/(-15). Let m(j) = j**2 - 14 - 16*j + 37 - c. Is m(17) a multiple of 10?
False
Let m(s) = s**3 + 18*s**2 - 30*s + 15. Let h be m(-19). Let b = 788 + h. Does 46 divide b?
True
Let y be ((-12480)/(-50))/(2/(-80)*-2). Suppose 13*k = 26*k - y. Does 24 divide k?
True
Let d = -1505 - -5015. Is 13 a factor of d?
True
Suppose 94*z - 601116 - 18192 = 1180980. Is z a multiple of 7?
True
Is 21 a factor of (360/420)/(2/3850)?
False
Let b(u) = u**2. Let p(m) = m**2 - 15*m + 39. Let f be p(12). Let i be b(f). Does 4 divide (-182)/(-21) - (-3)/i?
False
Suppose t + 347 + 826 = -4*f, -5934 = 5*t - 3*f. Is ((-12)/(-14))/(-4 + t/(-294)) a multiple of 2?
True
Let l = -200 + 224. Suppose 29*d = l*d + 2775. Is d a multiple of 37?
True
Is 6 a factor of (-2691 - -1)*(-27)/270 + 0 + 1?
True
Let h(m) = -4*m**3 - 27*m**2 - 70*m - 79. Is h(-17) a multiple of 9?
True
Let t = 11669 + -7899. Is 29 a factor of t?
True
Let h = 22 - 25. Is 9 a factor of h/(-2)*(-1 - 0)*-94?
False
Let g(k) = 25*k**3 + 304*k**2 + 11*k + 20. Is g(-11) a multiple of 71?
True
Let x(w) = 3*w**2 - 31*w + 81. Let u = -474 + 490. Is x(u) a multiple of 13?
False
Let s be (-9)/(-54) + (-4309)/6. Let f = -410 - s. Let v = f + -182. Is 18 a factor of v?
True
Let j = -2116 + 5716. Is j a multiple of 4?
True
Let t(s) = 167*s + 50. Is 200 a factor of t(50)?
True
Suppose 19*t + 15*t = 510. Suppose -t = -2*d + 477. Is d a multiple of 6?
True
Let h be 8/(-100) + 2280/375. Suppose h*y = 954 + 1416. Is y a multiple of 79?
True
Suppose 0 = 2*y - 3*j - 13, -2*y + 3*j = 2*y - 23. Suppose 0 = y*w - 8 - 2, -60 = -4*n - 2*w. Does 2 divide n?
True
Suppose -5*z - 24 = -4*y - 7, y - z - 4 = 0. Let f be y + (-815)/(-5) - -3. Is 39 a factor of f/2 - (-7)/(-14)?
False
Suppose 0 = -w - 5*p + 6248, 4*w - 27*p + 29*p = 24830. Is 4 a factor of w?
False
Let z(u) = -7*u + 16. Let w = 31 + -16. Suppose 12*n - w*n = 27. Does 13 divide z(n)?
False
Let n(v) = -108*v**3 - 3*v**2 + 3*v + 3. Let y be -5 + 0 + (-4 + 12 - 4). Is n(y) a multiple of 21?
True
Let u be (-3)/(78/4) - (-9951)/39. Suppose -5*q - u = 70. Let f = -56 - q. Is f a multiple of 9?
True
Let s(i) = -13*i - 154. Let u be s(24). Let f = -265 - u. Does 3 divide f?
True
Let p = 32 - 30. Suppose 4*a - 161 = -5*i + 43, p*i - 2*a - 78 = 0. Suppose -40 = -5*f + i. Is 10 a factor of f?
False
Suppose a - 128 = -25. Let g = 149 - a. Does 26 divide g?
False
Suppose -5*n = -5*u + 290530, -4*n - 116204 = -934*u + 932*u. Does 78 divide u?
True
Suppose -k + 12 = -4*i, 3*i - 3*k = -4*k - 2. Let w be (3/i)/(21/(-6832)). Suppose -3*n + w = n. Does 24 divide n?
False
Let i(d) = 6*d**2 - 34*d - 580. Is 21 a factor of i(-63)?
False
Let k(n) = 9 + 2*n**2 + 4*n - 99*n**3 - 249*n**3 - 7. Is k(-1) a multiple of 29?
True
Suppose -29*d + 28*d - 2 = 0, -5*d =