-27*j = -30*j - 32*j + 437290. Is j a multiple of 35?
False
Let k(x) = 2*x + 2. Let u be k(8). Let j = -717 - -822. Suppose u*z - 21*z + j = 0. Does 5 divide z?
True
Let h be (6 - 3/3) + 718/2. Suppose 0 = -230*z + 237*z - h. Is 6 a factor of z?
False
Let h = -94 - -92. Is 50 a factor of h/(-6) - (5 - (-12344)/(-12))?
False
Let n(w) = -w**3 + 9*w**2 + 13*w - 23. Let r be n(10). Suppose 0 = -5*b + r*b - 174. Let f = b + -37. Is f a multiple of 50?
True
Let y(z) = 5*z**3 + 17*z**2 + z - 1. Let j(a) = 2*a**3 + 2*a**2. Let t(f) = -3*j(f) + y(f). Let q(g) = -5*g - 2. Let c be q(-2). Does 11 divide t(c)?
False
Let m(n) = -11*n**2 + 427*n + 20. Does 116 divide m(13)?
True
Suppose -2*u + 34545 = 3*h + 8854, 0 = -3*h + 2*u + 25699. Is 41 a factor of h?
False
Let p(i) = -45*i**2 + 11*i**2 - 7*i + 17*i**2 + 16*i**2 + 27. Is 8 a factor of p(0)?
False
Suppose 59*s - 259420 = 15*s - 65*s. Is s a multiple of 28?
True
Let k = -43 - -137. Let q = k - 78. Suppose q*y = 18*y - 64. Is 32 a factor of y?
True
Let h(s) = -2*s**3 + 19*s**2 + 51*s - 87. Does 5 divide h(-13)?
True
Let i = 784 + -368. Let w = i + -231. Suppose 2*b - 200 = -2*n - 0*n, 2*b = -5*n + w. Is b a multiple of 21?
True
Let k(g) = g**3 - 17*g**2 + 16*g + 88. Is k(17) a multiple of 6?
True
Let k = 17 - 14. Let v(a) = -3*a**k + 6*a**3 - 50*a**2 - a + 50*a**2. Is 22 a factor of v(2)?
True
Let h(u) be the first derivative of u**5/6 + u**4/24 - 2*u**3/3 - 9*u**2 + 16. Let c(p) be the second derivative of h(p). Is 26 a factor of c(3)?
False
Let s = 5508 - 5283. Is s a multiple of 25?
True
Suppose 5*y - 145 = -125. Suppose -y*v = 15 - 471. Does 11 divide v?
False
Let s(i) = -i**2 + i + 54. Let q(u) = u**2 - 4*u - 10. Let k be q(5). Let f be s(k). Suppose f = j - 2*x - 0, 0 = 2*j - x - 45. Does 11 divide j?
True
Let h = 10286 - 5786. Is 75 a factor of h?
True
Suppose -130*d - 178*d + 10759980 = 0. Is 27 a factor of d?
False
Let k be 4 + -1 - 0/(6 + 3). Suppose 3*m + 5*g = 491, -k*m + m + 325 = g. Is 31 a factor of m?
False
Let m = 6936 - -1056. Is 36 a factor of m?
True
Suppose 0 = -29*p + 27*p - 104. Does 39 divide ((-585)/10)/(6/p)?
True
Let a be (-1504)/(-329) + 0 + 8/(-14). Suppose 0 = 3*g - d - 33, -a*d = -5*g - 9*d + 75. Is g a multiple of 3?
True
Suppose 5*f = 4*u - 3712, -13*u + 12*u = 2*f - 928. Does 8 divide u?
True
Let c(y) = -12*y**3 + y**2 - 2*y + 2. Let i be c(1). Let w(d) = -d + 1. Let o(z) = -18*z - 15. Let x(p) = o(p) + 6*w(p). Does 15 divide x(i)?
True
Let h = 25690 - -7295. Is h a multiple of 9?
True
Does 3 divide (-3 - 621/(-1)) + 8?
False
Let l = 2181 - 2171. Is l a multiple of 3?
False
Let b = 310 + -534. Does 31 divide (-16)/12*(2 + b)?
False
Let b(p) = -p**2 + 5*p + 4. Let y be b(5). Suppose 25*g - 2*c + 28 = 21*g, -g = 5*c + 29. Let s = y - g. Does 3 divide s?
False
Suppose 0 = -7*x - 3 + 17. Suppose -16 + 6 = x*g, -5*j + 3*g = -640. Is 37 a factor of j?
False
Suppose j = 0, -3*o + 0*j + 171 = -3*j. Let m be 1492/28 - 44/154. Suppose m*i + 40 = o*i. Does 8 divide i?
False
Suppose 6 = 3*h, 15*c + h = 14*c + 2294. Is c a multiple of 21?
False
Let j = -134 + 138. Suppose -j*p = -417 + 137. Is p a multiple of 10?
True
Suppose 431313 = 20*p + 89*p. Does 10 divide p?
False
Let h(p) be the second derivative of -p**5/20 + 11*p**4/12 - 8*p**3/3 + 13*p**2/2 - 2*p. Suppose 1945*o - 1943*o - 14 = 0. Does 17 divide h(o)?
False
Let p = 12564 + -8753. Does 26 divide p?
False
Let g = 89005 + -45335. Is 10 a factor of g?
True
Suppose -8*k = 2*k + 14*k - 188904. Is k a multiple of 5?
False
Let g be -315 + (72/(-30) - 6/10). Let v = g - -498. Suppose -39*a + 33*a = -v. Does 4 divide a?
False
Let x(o) be the third derivative of 13*o**4/3 - 57*o**3/2 - 15*o**2. Is x(9) a multiple of 15?
True
Let p(w) be the second derivative of w**5/20 - w**4/2 + 3*w**2 + 8*w. Let c be p(6). Suppose c*f - 7*f + 102 = 4*s, 4*f = -2*s + 408. Is f a multiple of 17?
True
Let v be (-6)/(-18)*21 - 2. Is (116/(-10) + v)*-45 a multiple of 33?
True
Let w = 517 + -519. Is 15 a factor of 4/(-10) + (51194/(-55))/w?
True
Let k(i) = i**3 - 10*i**2 + 19*i + 10. Let d be k(7). Does 64 divide (-40)/(-12) + d - (-962)/3?
True
Suppose -3*u + 21 = -3*s, -u + 3*s + 19 - 4 = 0. Suppose p - 3*f - 7 = 0, -2*f - 9 = -3*p + u*f. Is p/1 + (-7)/((-7)/97) a multiple of 16?
False
Suppose -36 + 42 = 3*z. Is -6 - 6*-14*z a multiple of 18?
True
Let g(h) = -h**3 + h**2 - h. Let v(c) = -21*c**3 + c**2 + 3*c - 3. Let i(f) = 2*g(f) - v(f). Let p be (3/(-15) - (-116)/80)*24/15. Is 20 a factor of i(p)?
False
Let i(y) = 4*y**3 - 80*y**2 + 17*y + 24. Let v = 731 - 711. Is 14 a factor of i(v)?
True
Let j be (9/(-6))/(5/(-20)). Suppose 2*i = -3*h - 9, -j*h + i - 9 = -3*h. Does 2 divide h*4/24*-28?
True
Suppose 0 = -4*l - m + 153, -3*l - 2*l - 2*m = -195. Suppose -5*b - d = -7, b = 5*d - 3*d - 3. Is 8 a factor of l - (-1 - b) - -1?
True
Let a(s) = 25*s - 5. Let o be a(5). Suppose -3*h - o = -x, -2*h + 121 = -4*x + 601. Does 15 divide x?
True
Suppose -13*w + 43*w + 314987 = 881537. Is 15 a factor of w?
True
Suppose 0 = -3*u + f + 952 + 2013, -f + 2981 = 3*u. Does 14 divide u?
False
Suppose -k = 5*l - 785, 853 = k - 4*l + 50. Does 5 divide k?
True
Suppose 21*x = 51*x - 23*x - 101136. Is x a multiple of 28?
True
Let s = 2723 - 1483. Is s a multiple of 7?
False
Is 18 a factor of (-3891*9/(-108))/((-2)/(-16))?
False
Suppose -2*r = b - 531, -3*r + 541 = -r - b. Let q = 478 - r. Does 10 divide q?
True
Let p be (-6)/36*3*(18 + 0). Is 0 - -98 - (1 + (-8 - p)) a multiple of 48?
True
Let n be ((-4)/(-2) + 0)*-1 + -2. Let v be n - ((-2)/(-5) - 163/(-5)). Does 2 divide 4 + (3 - v) + -4?
True
Let i be 1911 + -2 + -4 + 12. Let z = -1192 + i. Is z a multiple of 25?
True
Suppose 0 = 5*b - 3*t - 0*t - 10, 2*b + 3*t = 4. Suppose 0 = -m + 3, -3*p - 3*m = b*m - 21. Let y = 11 + p. Is 12 a factor of y?
False
Let h(n) = 33*n**2 - 18*n + 67. Does 69 divide h(-15)?
False
Suppose -2*m - 30 = m + 3*y, -40 = 4*m + 3*y. Let x(t) = -13*t + 10. Let z be x(6). Is (-2)/m + z/(-10) a multiple of 2?
False
Suppose -m - 22 = 5*c, 2*c - 2 = -12. Suppose w + 1 = -3*d + 2, -2*w = -m*d - 2. Suppose d = -3*p + 11*p - 432. Does 7 divide p?
False
Let j = 28671 - 26315. Is 3 a factor of j?
False
Does 41 divide 2 + (-1059 + -1)/(-1) - 0/(-1630)?
False
Suppose 44*m = 4691 + 58141. Is 28 a factor of m?
True
Let v(t) = t**2 + 14*t. Let o be v(14). Does 28 divide (36/7)/(8/o)?
True
Let m be (-1995)/(-56) - (-12)/32. Suppose 0 = m*l - 38*l - 294. Let w = l + 261. Does 9 divide w?
False
Suppose -51338 - 34270 = -18*t. Is 116 a factor of t?
True
Let v(r) = -r**2 - r - 6. Let f be -12*((-16)/6 - -3). Let h be v(f). Is (-238)/h + (-8)/36 even?
False
Let q be (-84)/(-18) + 2/(-3). Let t(m) be the third derivative of m**4/8 + m**3/2 - 4*m**2. Is t(q) even?
False
Suppose 4*k + 0*l + 26 = l, -k + 1 = -4*l. Let g(v) = 13*v + 9. Let w(j) = -38*j - 26. Let t(o) = k*g(o) - 2*w(o). Is t(-4) a multiple of 12?
False
Suppose -5*w = 4*r - 85012, 2*w - 52004 = -2*r - 17998. Is 34 a factor of w?
True
Suppose -16*s + 21*s = 65. Let x(c) = 4*c + 27 + 22 - 5. Is x(s) a multiple of 16?
True
Suppose -201*x + 1865360 + 365338 = -1404990. Does 133 divide x?
True
Let l = 9 + -6. Suppose f - 3*h + 2 = l, 4*f = 4*h + 20. Is (7 - (4 - f))*12 a multiple of 24?
True
Let f be (7/(42/(-12)) + -147)*-3. Suppose -891 = 5*r + 444. Let d = f + r. Does 15 divide d?
True
Let k be 4/14 + (-148)/28 + 12. Suppose -5*y - k*c = -3*c - 2292, -2*c = -y + 464. Is y a multiple of 30?
False
Let n be ((-21)/9)/((1 + -8)/(-21)). Let q(f) = -4*f**3 - 5*f**2 + 23*f + 139. Does 18 divide q(n)?
False
Suppose d + 3*d - 2320 = -2*r, 4675 = 4*r + d. Suppose 10*x - 7*x - r = 0. Suppose s + 9*s = x. Does 9 divide s?
False
Let t(u) = -20*u**3 + u**2 - 5*u + 6. Is t(-3) a multiple of 15?
True
Let v(z) = 7*z**2 + 4*z - 1. Let x be (7/49 + 8/42)*9. Suppose m + x*i = 12, 2*m - 15 + 3 = -2*i. Is 15 a factor of v(m)?
False
Suppose 28*h - 5*u - 28366 = 24*h, -3*h + 5*u = -21277. Does 15 divide h?
False
Let n(w) = w**3 - 7*w**2 + 2*w + 16. Suppose 2*h - 34 = 5*y, 4*y = -2*h - 5 + 3. Is 6 a factor of n(h)?
True
Suppose -9 = -8*s + 31. Does 14 divide s - 5 - (888/(-4) - 2)?
True
Let w = 717 + -712. Suppose 3*u - 973 = 2*y, -2*u = w*y - 530 - 125. Is 5 a factor of u?
True
Let 