le of 10?
True
Let m = -8904 + 15184. Is 18 a factor of m?
False
Suppose -2*k + 50218 = 3*q, 7625 + 9118 = q - 3*k. Is q a multiple of 30?
True
Suppose -z - u - 2 = -2*z, -5*z = -3*u - 14. Suppose -q - l = -172 + 730, l = z*q + 2252. Is q/(-8) + 18/(-72) a multiple of 14?
True
Suppose 2*f = -z + 22427, 6*z - 2*f - 67313 = 3*z. Is z a multiple of 5?
True
Let b be (((-4)/3)/(8/36))/(-3). Suppose 3*j + 2*o = 1226, b*j - 2*o - 665 = 139. Does 7 divide j?
True
Let z(w) = 746*w + 556. Does 19 divide z(4)?
False
Let k(g) = g**3 - 4*g**2 + 6*g - 2. Let h be k(2). Suppose -h*u = -13*u + 2*u. Suppose -8 = -b - u*b + 2*w, -2*w = -4*b + 32. Is b a multiple of 2?
True
Let v(b) = -b**3 - 9*b**2 - 4*b - 20. Let w be v(-9). Let q be w/7 - 9/(252/8). Suppose -5*r + 4*s + 400 = 0, 6*s = 3*r + q*s - 232. Is r a multiple of 22?
False
Let b(k) = k**2 + 34*k + 1182. Is 5 a factor of b(-31)?
False
Suppose v = -5*g + 7, -8*v = -13*v - 2*g + 12. Suppose -v*q = -224 + 92. Suppose -f + q = -i, 3*i - 5*i = -f + 64. Does 14 divide f?
False
Suppose -210*j + 220*j = 6920. Let o = j + -572. Does 2 divide o?
True
Let y(d) = 2*d**2 - 47*d + 12. Let i be y(-24). Suppose 5*t = 1508 + i. Does 8 divide t?
True
Let c be 1398/(-15) + -2 + (-11)/(-55). Let o = c - -226. Does 21 divide o?
False
Let i(z) = -z**3 - 5*z**2 + 2*z + 3. Let c be i(-3). Let w = c + 21. Suppose -8 = -j - 5*o, j + 4*o - 4 - 6 = w. Is 9 a factor of j?
True
Let n = 10456 - 5798. Does 8 divide n?
False
Let x(p) = -p + 36. Let f = 127 + -116. Is 7 a factor of x(f)?
False
Suppose -21 = 3*f, 179 = 4*m - 2*f - 5703. Is 56 a factor of m?
False
Let v = -15 - -19. Suppose 0 = 2*t - v*c + 6, c - 15 = -4*t - 0*c. Suppose 2*i + 432 = 4*j, -j - t*j = i - 432. Is 11 a factor of j?
False
Suppose 95*r + 89021 - 283635 = 208471. Is 9 a factor of r?
False
Let o be (-3 + -69)*6/(-9). Is 4 a factor of (7/3)/(1/o)?
True
Let q = -383 + 387. Is (-12)/14 - ((-3968)/7 + q) a multiple of 52?
False
Let r be 6/(-8)*(-8)/3. Let j be (r - 4) + 1/((-1)/(-4)). Suppose 0*c + 156 = 5*c + 3*m, -50 = -j*c + 5*m. Is c a multiple of 6?
True
Let o be 1548/(-10) + 5/50*8. Let i = o + 336. Does 6 divide i?
False
Suppose -g - 2 = -4. Suppose -176 = -3*y - g*m, 119 = -2*y + 4*y + 3*m. Suppose -3*k + 3*a = -150, -k = 2*a - 7*a - y. Does 12 divide k?
True
Let g = 6660 - -11870. Does 91 divide g?
False
Let k be (8/(-6))/(((-154)/(-147))/11). Let c(z) = -6*z + 2*z - 22 - 18. Does 11 divide c(k)?
False
Let p(h) = -h**3 + 11*h**2 + 5*h - 32. Let s be p(8). Let f = 270 - s. Is f a multiple of 7?
True
Let y be (-4)/(132/(-11))*6972/2. Suppose -o - 837 = -y. Is o a multiple of 13?
True
Let o = -3684 - -10019. Does 7 divide o?
True
Let b = -1760 - -1190. Is 28/49 + b/(-7) a multiple of 41?
True
Suppose -5*k + 4 = 3*y, -k - 3*k + y = -10. Suppose -2*v - 39 = -k*r + 33, 20 = r - 5*v. Is 5 a factor of r?
True
Let l(s) be the second derivative of s**7/840 + s**6/72 - s**5/10 + s**4/4 - 7*s**3/3 - 14*s. Let p(w) be the second derivative of l(w). Does 42 divide p(-6)?
True
Is 4/7*477918/36 - -6 a multiple of 166?
False
Let k(s) = -7*s**2 + 4*s + 20. Let x be k(-9). Let u = x - -410. Let v = u + 245. Does 18 divide v?
True
Let t be 2802/14 + (-4 - 135/(-35)). Let o = 245 - t. Does 5 divide o?
True
Suppose 482*f + 1224 = 478*f. Let b = 748 + f. Is b a multiple of 27?
False
Let v be (3/2)/(2/4). Let u(t) = t + 2. Let j be u(3). Suppose 5*b - 129 = 2*b + v*r, -j*b = -r - 211. Is 14 a factor of b?
True
Suppose 0 = -4*l + 9 + 7. Suppose -y - y = -l. Suppose 47 = y*h - j, h + 3*j = 20 + 7. Does 6 divide h?
True
Let y(v) = 2062*v**2 - 38*v - 90. Is y(-3) a multiple of 114?
True
Suppose -4*x - u + 57309 = -60208, 4*x = u + 117515. Is 62 a factor of x?
False
Let k(m) = m**2 + 9 + m + 5*m - m. Let p be 2/(-6) + 884/(-102). Is k(p) a multiple of 11?
False
Suppose -4*o - 122 = -2*o. Let x = 18 + o. Let q = 79 + x. Does 5 divide q?
False
Let i = 593 + -326. Let k = i - 178. Let f = 43 + k. Is 44 a factor of f?
True
Suppose 356*t = 352*t + 20. Suppose 3*p = -2*f + 1404, 6*f - 3*f + t*p = 2105. Does 15 divide f?
True
Let a(x) = x**3 + 4*x**2 + 6*x + 4. Let k be a(-2). Suppose k = -v + 100 + 70. Does 34 divide v?
True
Is (741/(-9))/(1/(-18)) a multiple of 6?
True
Let c = 44 - 37. Let t be (c/(175/(-40)))/((-2)/40). Suppose -2*l + t = -3*s - 0, 0 = -l - 4*s + 38. Is l a multiple of 4?
False
Let k(n) = -8*n + 2. Let h be k(1). Does 11 divide 20*((-15)/(-6) - h/2)?
True
Suppose 7 = -3*b + 4*i, 0*b - 2*b - 4*i + 22 = 0. Suppose 8 = b*w - w. Suppose w*d - 3*r = d + 27, 5*r - 25 = 0. Is d a multiple of 7?
True
Suppose -246*h + 236*h = 30. Does 53 divide -212*(-4 - h) - (-1 + 1)?
True
Suppose 0 = 3*i + g - 5, 2*i = -g + 20 - 18. Suppose -3*y + 4*y = 0. Is 10 a factor of 148 - y*i/(-15)?
False
Let s(c) = 2*c**2 - 2*c. Let t(z) = 2*z - 34. Let o(i) = -i + 17. Let x(u) = -5*o(u) - 2*t(u). Let b be x(13). Is s(b) a multiple of 5?
True
Let d(l) be the second derivative of -5*l - 33/2*l**2 - 7/6*l**3 + 0. Does 2 divide d(-7)?
True
Let y(v) be the first derivative of -v**4/4 + v**3/3 - 2*v**2 + 7*v + 4. Suppose 186 = -79*g - 209. Is y(g) a multiple of 30?
False
Let b(z) = 0*z - z + z - 5*z + 31*z**2 - 6. Let w be (1 + -1)/(-3) + -1. Does 19 divide b(w)?
False
Suppose -5*h - 542 + 122 = 0. Is 36 a factor of (293 - -2) + h/12?
True
Let d(f) = 8*f**3 - 2*f**2 + 4*f - 4. Let j be d(3). Is 10 a factor of (6 - 5)*-6 + j?
True
Suppose 2*g + 3*m - 32 = g, 2*m + 109 = 5*g. Suppose g*s - 2400 = 13*s. Does 12 divide s?
True
Suppose 0 = 386*y + 1393 - 368711 - 181574. Is 6 a factor of y?
True
Suppose 5*j - 15 = 0, -5*u = -3*j - 784 + 148. Suppose -3*s = -7*s + g + 5, 0 = -2*s + 2*g + 10. Suppose s = -31*f + 28*f + u. Is 8 a factor of f?
False
Suppose -1341*f + 67350 = -1266*f. Is 6 a factor of f?
False
Suppose -4*u + 3682 = 2*f, -5519 = -31*f + 28*f - 2*u. Does 12 divide f?
False
Let r(w) = -4*w + 24. Let z be r(7). Let f be 2/z - (-6)/4. Let u(a) = 15*a**2 + a - 1. Is 5 a factor of u(f)?
True
Let x(j) = -j**3 - 9*j**2 + 7*j + 6. Let v be (43/9 - -1) + 4/18. Let z be (4/(-5))/((-8)/(-600)*v). Is x(z) a multiple of 4?
True
Suppose -19097*j + 10992 = -19094*j. Does 16 divide j?
True
Suppose -d + 1453 = -2582. Suppose -8*w = 507 - d. Is 49 a factor of w?
True
Let x(q) = 12*q + 17. Let l be x(-4). Let z(f) = 2*f**2 + 60*f - 58. Is 3 a factor of z(l)?
False
Let k be (2 - (-26320)/133) + (-4)/(-38). Let j = k + 4. Is 9 a factor of j?
False
Suppose 0 = -197*t + 173918 + 733267. Is t a multiple of 15?
True
Suppose l = 3*o + 12, -3*o = 3*l - 2*l. Suppose l*t = -0*t + 42. Suppose -4*x - d + 463 = 0, -3*x - 469 = -t*x + 5*d. Is 20 a factor of x?
False
Suppose 0 = -7*p - 7*p + 56. Suppose 0 = 3*c + b - 160 - 621, -4*b = -p*c + 1068. Is 25 a factor of c?
False
Suppose -5*p + z - 6*z + 7680 = 0, 0 = p - 2*z - 1518. Is p a multiple of 17?
True
Suppose 29*g - 31723 = 29194 + 41888. Is g a multiple of 3?
False
Suppose 6*g - 14 - 10 = 0. Suppose 0 = 5*i + 2*j + j - 492, -2*j + 394 = g*i. Is 3 a factor of i?
True
Let b(n) = -2*n**2 + 0*n**2 - n**2 + 2*n**2 - 8*n - 5. Let c(d) = -d**3 - 5*d**2 - 4*d + 1. Let f be c(-3). Is b(f) a multiple of 9?
False
Suppose 0*m + 2*m - 8 = 0. Suppose 2*p + 180 = -4*k, m*k - 7*p + 180 = -3*p. Let w = k - -75. Is 6 a factor of w?
True
Let z(c) be the first derivative of c**3/3 - 5*c**2 + 33*c + 2. Is z(16) a multiple of 19?
False
Let s(o) = -4*o + 1. Let c be s(-1). Suppose -13*v - 4*a + 108 = -11*v, 2*a + 210 = c*v. Does 27 divide v?
False
Let u be (1/2 + -2)*20/(-5). Suppose -2*n - 5*m = -65, -4*n - u*m = -10*m - 60. Does 24 divide 1/((-5)/72)*n/(-4)?
True
Suppose 22*z + 896 - 86432 = 0. Is 27 a factor of z?
True
Let s be 1/5*5*-4. Let b(q) = 10*q**2 + 6*q. Let r be b(s). Suppose 172 = 3*t + r. Is 6 a factor of t?
True
Let c(j) = j**3 + 8*j**2 - 2*j - 16. Let f be c(-8). Suppose 5*p - 226 - 89 = f. Does 9 divide p?
True
Suppose 2*c + 68995 = -3*c - 5*f, 5 = -5*f. Is c/(-22) + 8/(-44) a multiple of 19?
True
Suppose 50 + 9 = -b. Let u(s) = -s**3 - 27*s**2 + 26*s - 91. Let j be u(-28). Let t = j - b. Does 6 divide t?
True
Suppose 40*b = -38*b + 148902. Is 83 a factor of b?
True
Let t = -36 - 4. Let i(j) = 50*j - 8. Let r be i(4). Let c = t + r. Is c a multiple of 28?
False
Let f(s) be the secon