alse
Let w(b) be the first derivative of -12*b - 1/4*b**4 + 3 + 11/3*b**3 + 9*b**2. Is 20 a factor of w(12)?
True
Let m be (-52)/(-4) - (-5 - -7). Is (3/(6/m))/((-8)/(-144)) a multiple of 8?
False
Let s = 4062 - 2070. Is s a multiple of 12?
True
Suppose 6*m = -4*m. Suppose m = 8*w - 2*w - 192. Is w a multiple of 16?
True
Let t(x) = -79*x + 1. Let q be t(1). Let z = q - -142. Suppose b + b = z. Does 16 divide b?
True
Suppose -14 + 8 = 6*f. Let k = 49 + f. Is k a multiple of 19?
False
Suppose 0 = 18*x - 10441 + 1765. Is 44 a factor of x?
False
Let o = 13 + -21. Suppose 0 = -2*n + z - 33, -4*n - z - 51 = 0. Let h = o - n. Is h a multiple of 2?
True
Suppose g + 0*g + 1 = 0. Let d be g*(20/(-4) + 0). Suppose 0*t = d*t - 80. Does 16 divide t?
True
Let y be (-3)/2 - (-36)/24. Suppose g - 50 - 62 = y. Suppose 3*l + 16 = g. Is l a multiple of 8?
True
Let b(n) = n**3 + 7*n**2 + 4*n - 6. Let z be (1/2*-10)/(-1). Suppose -m + 4*y = -2*m - 2, -y = z*m + 29. Is 6 a factor of b(m)?
True
Let u be (43/(-2))/((-1)/2). Suppose 4*g = -0*g - 20, 3*g = 4*z - u. Let h = z + 3. Is h a multiple of 5?
True
Does 12 divide (6/(-15))/((-16)/8640)?
True
Is 8/(-2) - (-845 + -3 + -3) a multiple of 13?
False
Let x(v) = -v**2 - 85*v - 66. Is x(-37) a multiple of 19?
True
Suppose 0 = -6*d - 230 + 2264. Is 14 a factor of d?
False
Suppose 3*w - 2*j = j + 1404, w - 476 = -j. Is 19 a factor of w?
False
Suppose t - 3*f = 31, t + 0*f = f + 41. Let k = 69 - t. Does 12 divide k?
False
Let w = -225 - -1139. Is w a multiple of 8?
False
Suppose 5*v = 4*b + 116, b + 2*v = -4*b - 145. Let p = -17 - b. Is p a multiple of 4?
True
Suppose 10*l - 1293 + 343 = 0. Let o = l - 51. Is o a multiple of 11?
True
Let s(f) = 2*f**3 - 7*f**2 + 31*f + 4. Is 8 a factor of s(3)?
True
Let w be 7*1*26/91. Suppose r = -4*t + 43, 1 = w*t - r - 22. Let k(u) = -u**3 + 10*u**2 + 12*u - 3. Does 3 divide k(t)?
False
Suppose -21*w + 24*w - 411 = 0. Let g = w - 45. Does 14 divide g?
False
Suppose 0 = -24*v - 606 + 1806. Is 5 a factor of v?
True
Suppose 30*o = 27*o. Suppose 2*w = 4*w, v - 3*w = o. Suppose v = 3*y + 2*p - 183, p = 4*y + 41 - 296. Does 21 divide y?
True
Let w be 216/(-15)*20/3. Let v be (w/28)/(1/(-21)). Suppose -7*f + v = -5*f. Does 8 divide f?
False
Suppose -v - 4 = -3*v. Suppose -a = -m - 4, -v*m - 4 = -3*m - 3*a. Let i = 2 - m. Is i even?
True
Let f(u) = -39*u**3 + u**2 + 14*u + 33. Is f(-3) a multiple of 13?
True
Let b(x) = -x. Suppose 0 = 5*c - 0*c - 2*r + 5, 2*r - 10 = 0. Let z be (2/5)/(c/(-5)). Is b(z) a multiple of 2?
True
Let q = 1819 + -1244. Is q a multiple of 23?
True
Let w(p) = 65*p - 1. Let f be w(2). Let x = f - 27. Is x a multiple of 6?
True
Suppose -4*w = -2288 - 664. Does 114 divide w?
False
Is 43 a factor of (-138)/(-230) + (-23644)/(-10)?
True
Let m(n) = 2*n**3 - 82*n + 10*n**2 - n**3 + 93*n + 8. Let y be m(-8). Suppose 0 = 15*f - 12*f - y. Is 8 a factor of f?
True
Let u(j) = j + 12. Let w be u(-9). Suppose -w*g - 193 = -706. Is g a multiple of 29?
False
Suppose 0 = 230*h - 231*h + 174. Does 6 divide h?
True
Suppose 3*m - 2*z + 3 = -3, 5*m - z = -3. Suppose -5*q - 2*p = m, -7 = -3*p + 8. Does 6 divide 24/(-5)*5/q?
True
Let x(a) = 46*a - 57. Is 6 a factor of x(7)?
False
Is (-6 - -8)*(-1462)/8*-2 a multiple of 43?
True
Suppose -5*g + 174 = m, -m = -0*m + 4*g - 175. Let z = m - 83. Does 10 divide z?
False
Suppose 0 = 2*j + 3*w - 15, 0*j + 2*j = -2*w + 12. Suppose -2*v - p + 138 = 0, -j*v + 250 = 3*p + 40. Let s = v + -41. Is 27 a factor of s?
True
Suppose -8*a - 437 = -31*a. Is a a multiple of 14?
False
Suppose -5*h = -5*t + 10, -4*h + 2*t - 2 = t. Let r be h + 2 - (-2 - -2). Suppose 2*y + 12 = 4*u - 2*u, 3*y + 11 = r*u. Is u even?
False
Suppose -3*b + 1556 = -2149. Is b a multiple of 90?
False
Suppose 0 = -0*n - 3*n - 6. Let w be 6 + n + (0 - -2). Suppose z + w = 17. Does 5 divide z?
False
Suppose 679*v - 3353 = 672*v. Is v a multiple of 18?
False
Let i be (1 + -1)/(4 - 5). Suppose 5*k - 3*o = -i*o + 37, 6 = -2*k - 4*o. Suppose -f + 11 = -k. Is f a multiple of 5?
False
Suppose -4*h + 902 = -n, -4*h + n + 2*n = -906. Does 72 divide h?
False
Let u be 0 - (-4 - (3 + -4)). Suppose o = -h + 43 + 9, -u*h = o - 166. Does 17 divide h?
False
Suppose 6*g = g + 130. Suppose 3*q + g = 374. Is 26 a factor of q?
False
Suppose 0*g + 5*g = 0. Suppose -5*h + s = -g*s - 531, -425 = -4*h + s. Suppose -5*f + h = -3*f. Is f a multiple of 20?
False
Let u(g) = 3*g**2 + 11*g - 24. Is u(-14) a multiple of 11?
False
Let q = 560 + -270. Is 12 a factor of (2/(-4))/((-1)/q)?
False
Suppose 0 = -5*r - 3 - 2. Suppose -3*x - 3*b - 12 = 0, 4*x + 12 = -0*b - 2*b. Does 27 divide r/(-4)*x*-108?
True
Suppose j - 25 + 22 = 0. Is (1/j + 0)*153 a multiple of 14?
False
Let c = 685 - 223. Is c a multiple of 11?
True
Suppose -4*n + 65 = p - 8*n, -169 = -3*p - n. Does 4 divide p?
False
Let f(o) = -37*o + 43. Is 38 a factor of f(-44)?
False
Let x = 170 - -51. Is 15 a factor of x?
False
Is 8 a factor of 1131 + (-7 - 4/(-32)*-8)?
False
Let t = -404 - -673. Suppose 7*r = 25 + t. Is 22 a factor of r?
False
Let o = -2983 - -5017. Does 13 divide o/12*4/6 + 2?
False
Let r = -62 - -57. Let z(j) = -j**3 - 2*j**2 - 3*j - 12. Does 26 divide z(r)?
True
Let w be (-73)/5 + (-6)/(-10). Is 3 + ((-5660)/(-35) - 4/w) a multiple of 11?
True
Suppose 3*m + 76*i - 79*i = 1251, -2*i - 418 = -m. Is 32 a factor of m?
True
Let k be (-79)/2*(-4 - 2). Suppose -5*d - k = 158. Is (-12)/(-48) - d/4 a multiple of 8?
False
Suppose -10 = s - 7, 3*z + 3*s - 7173 = 0. Does 21 divide z?
True
Let l = -4 - 0. Let c(m) = 24*m**2 - m**3 - 2 - 37*m**2 + m + 17*m**2. Is c(l) a multiple of 31?
False
Let j be ((-36)/(-24))/((-6)/(-8)). Suppose j*x = 156 + 26. Does 7 divide x?
True
Let r(a) = -4*a**2 + 91*a + 15. Does 20 divide r(19)?
True
Let w(o) = o**3 - o**2 - 2*o + 49. Is 7 a factor of w(7)?
True
Suppose c - 11 + 31 = x, 0 = x + 4*c - 5. Let w be (x - 8)*2/3. Let k(s) = s**3 - 5*s**2 - 5*s. Does 6 divide k(w)?
True
Let o(k) = -4*k**3 + 7*k**2 + 23*k + 53. Does 7 divide o(-4)?
True
Suppose 0 = -227*m + 228*m - 38. Does 2 divide m?
True
Let v be -4*1 - ((-24)/6 + 1). Does 3 divide (8/6)/(30/27 + v)?
True
Let r(m) = -120*m**3 + 2*m**2 - 1. Let a = -31 - -30. Does 44 divide r(a)?
False
Let y(h) = h**3 - h**2 - h. Let v be (12/8)/((-15)/(-20)). Let u be y(v). Suppose g - 4*g = -2*d - 364, u*d + 4 = 0. Is g a multiple of 24?
True
Let u(a) = a**2 - 7*a - 4. Let r be u(7). Is 2/r + (-2)/((-32)/1256) a multiple of 13?
True
Does 22 divide (4 - -12)*(4 - -18)?
True
Let w(g) = 1 + 2*g**2 + 0 + 5*g**2 + 5*g**2 + 4*g. Let u be w(-4). Let c = 256 - u. Is c a multiple of 23?
False
Let c(p) be the second derivative of p**3/6 - p**2 - 4*p. Let s be c(9). Is 10 a factor of (-60)/(-21)*s/2?
True
Suppose -4*d + 797 + 2483 = 0. Is d a multiple of 47?
False
Let s = -16 - -19. Suppose i + 8 = 4*f, 2*f - 4 + 0 = -s*i. Suppose -k = -27 - i. Is 9 a factor of k?
True
Let t(d) = 153*d - 25. Does 31 divide t(3)?
True
Let x(d) = d + 7. Let t be x(-5). Does 3 divide 106/t - (-12 + 9)?
False
Is 8 a factor of 16/(-40) + 84/10?
True
Let u(t) = 2*t**2 + 6*t - 4. Suppose 0 = 9*d + 67 - 22. Does 8 divide u(d)?
True
Is (-6)/(5 + 3730/(-745)) a multiple of 72?
False
Let v be (11/(-3) - -1)/(2/(-177)). Suppose -v = -5*u - 4*w, 126 = 2*u - 2*w + 28. Is 9 a factor of u?
False
Suppose -n - 2*g - 2 - 2 = 0, 5*n = 5*g + 55. Is (3/n)/(4/264) a multiple of 11?
True
Let p(o) = -15*o - 19. Let b(x) = 7*x + 10. Let v(s) = -7*b(s) - 3*p(s). Let k be v(-7). Let m = k + 0. Is 5 a factor of m?
True
Let a = -297 + 459. Is a a multiple of 18?
True
Let w(d) = 19*d**3 + 4*d**2 - d. Let y(m) = 21*m**3 + 5*m**2 - m. Let v(u) = -5*w(u) + 4*y(u). Let i = 0 + -1. Is 10 a factor of v(i)?
True
Let s(v) = -241*v + 25. Does 14 divide s(-2)?
False
Let u = 197 + -84. Suppose 23 = 4*m - u. Is 9 a factor of m?
False
Suppose -5*r - 58*j + 3547 = -61*j, 2824 = 4*r + j. Does 25 divide r?
False
Suppose -y + 0*y = -4. Let n be 0/(-2*(-5 + y)). Suppose -230 = -5*c - n*c. Does 23 divide c?
True
Let p be 32/(-8) - (0 + -6). Suppose 2*m - 168 = -5*s, -3*m - p = 5*s - 254. Does 21 divide m?
True
Suppose 65 = 4*n + n - 2*k, -4*k = -4*n + 52. Let d = -10 + n. Suppose 5*j - 147 = -5*m + 63, -d*j - 2*m = -128. Is j a multiple of 9?
False
Let z = -55