239. Does 22 divide k?
True
Suppose 446*j - 436*j - 9810 = 0. Does 6 divide j?
False
Suppose -5*f + 314 = 44. Suppose 0 = 3*s - 9*s + f. Is 5 + -9 + s*5 a multiple of 15?
False
Let d be (2/(-2))/(8/(-24)). Suppose 3*g - d*q = 171, 0 = -2*g - 4*q + 67 + 17. Let n = g + -26. Is n a multiple of 7?
False
Let o be -18*1*4/1. Let s = -11 - o. Let i = s + -14. Is i a multiple of 17?
False
Let t(p) = 12*p**2 - 334*p - 10. Is 28 a factor of t(31)?
False
Suppose 0 = -2*d + 7*d + 25, 3*k = 5*d + 1216. Is 14 a factor of k?
False
Suppose -4*c = -6*c. Suppose 5*z - 8*z = c. Suppose -n + 4*m + 91 = 0, -4 = 2*m - z. Is n a multiple of 15?
False
Let w be 12*(-2 + 7/3). Suppose j - w*f - 4 = 26, 2*j - 5*f = 45. Suppose 2*d + j = 3*d. Is 4 a factor of d?
False
Let r(k) = -k**3 + 19*k**2 - 7*k + 40. Let i(z) = -z**3 + 19*z**2 - 7*z + 41. Let p(f) = -5*i(f) + 4*r(f). Is 8 a factor of p(19)?
True
Let k(a) = -30*a + 80. Is k(-44) a multiple of 56?
True
Suppose 25*x = 2*n + 29*x - 96, 2*n - 5*x - 51 = 0. Is n a multiple of 38?
True
Let q be 39/13 - (1 - 0). Is 6/(-4)*q + 14 a multiple of 2?
False
Let b = -602 - -2387. Is 51 a factor of b?
True
Suppose -5*a = 4*n - 2860, 3*n - 3344 = -5*a - 479. Is a a multiple of 3?
True
Suppose -8*i + 10323 + 1645 = 0. Is i a multiple of 12?
False
Is 13 a factor of (-353)/(-2) + (-45)/90?
False
Suppose 8*l - 9481 + 601 = 0. Does 7 divide l?
False
Let h(b) = -10 + 25 + 3*b + 6 - b. Let c be h(-7). Suppose -45 = 2*m - c*m. Is 3 a factor of m?
True
Suppose w - 3*b + 0*b - 19 = 0, 5*w = 4*b + 40. Suppose 2 - 10 = -w*p. Suppose -99 + 14 = -z - g, -p*g - 70 = -z. Does 16 divide z?
True
Let a(l) = -l**3 - 10*l**2 + 23*l + 1. Is 18 a factor of a(-15)?
False
Suppose q - 2 = 0, 5*y + 8 = -4*q - 19. Let a be y/(-9) - 4/(-18). Is (35/10)/(a/6) a multiple of 15?
False
Suppose -f = -3*x + 6*x - 3, 2*x - 3 = -f. Suppose -6*p + 31 + 35 = x. Is p a multiple of 10?
False
Let b = -290 + 389. Is 27 a factor of b?
False
Let l be (15/(-2) + 3)*(-2)/3. Suppose m - 2*m = 0. Suppose o = -l*g + g + 65, m = g - 5*o - 5. Is g a multiple of 10?
True
Suppose 9*p - 6*p + l - 4647 = 0, 0 = p + 4*l - 1538. Is p a multiple of 25?
True
Let u(b) = -b**3 + 20*b**2 - 12*b - 35. Let l be u(19). Let s be 6/(-4) + (-388)/8. Let m = s + l. Does 8 divide m?
True
Let m(t) = -3*t**3 - 7*t**2 - 22*t - 278. Does 28 divide m(-9)?
True
Let i(g) = 36*g + 126. Does 9 divide i(9)?
True
Let f = -25 - -29. Suppose -f*i = 3*i - 84. Is 6 a factor of i?
True
Let n(h) be the second derivative of h**4/6 - 2*h**3/3 + 7*h**2/2 + h. Let l(r) = r**2 + 2. Let c be l(-2). Is 11 a factor of n(c)?
True
Let w(g) = g**3 - 8*g**2 + 8*g - 2. Let v be w(7). Let t = 125 - 25. Suppose -5*c - p + 337 = -c, 0 = -c + v*p + t. Is c a multiple of 17?
True
Suppose 4*i = n + 295, 3*i + 67 = 4*i + 2*n. Suppose -68*j = -i*j + 630. Is j a multiple of 21?
True
Suppose 4*a = 1407 - 371. Suppose -30 = -r + a. Let i = -205 + r. Is i a multiple of 13?
False
Suppose 12*t - 16439 = -1079. Is 43 a factor of t?
False
Let f be (50/(-6))/(2/(-6)). Suppose 0 = -53*g + 29 + 130. Let o = f + g. Does 4 divide o?
True
Let n(c) = -22*c + 20. Let y = -175 + 170. Does 24 divide n(y)?
False
Suppose 521*d - 519*d = 1790. Is d a multiple of 28?
False
Let m(b) = 4*b + 2*b - 5*b - 5. Is 2 a factor of m(15)?
True
Let i(w) = -21*w**2 + w + 4. Let r(k) = -21*k**2 + k + 3. Let u(v) = 2*i(v) - 3*r(v). Is 10 a factor of u(-1)?
False
Suppose -9*r + 6*r = -12. Let g be r - (-1 + 3 + -1). Suppose 135 = 3*l - j, 2*l + 4*j - g*j = 95. Is 13 a factor of l?
False
Suppose 2*l - 10 = 0, 4*d + 0*l + 3*l = 31. Suppose 0 = -j + 3*f + 9, -5*j - d + 49 = -3*f. Does 4 divide j?
False
Let o(w) be the third derivative of w**5/60 + w**4/6 + 7*w**3/3 + 2*w**2. Let p be o(-9). Let j = p + 5. Is j a multiple of 32?
True
Suppose 4*l - 6 = l. Suppose l*a = -0*a + 90. Is 2 a factor of a/6*12/15?
True
Let y(k) = -2*k**2 + k - 31. Let a(i) = -i**2 - 16. Let t(h) = 5*a(h) - 3*y(h). Let f be t(8). Let o = 74 - f. Is 7 a factor of o?
True
Let j(b) = -68*b + 17. Is j(-3) a multiple of 17?
True
Let v be 2 - -2 - (6 + -2). Suppose v = -4*j + 3*d + 281, 2*j = -j - d + 201. Is j a multiple of 17?
True
Let t = 933 - -1857. Is t a multiple of 10?
True
Let m(i) = -6 + 0 + i + 1. Let f be m(5). Suppose f = -5*z + 30 + 5. Is z a multiple of 7?
True
Suppose 32*j = 14*j + 684. Is j a multiple of 19?
True
Let w(i) = 5*i + 17. Let m be w(20). Let k = 23 + m. Is k a multiple of 10?
True
Let l = 13758 + -8148. Suppose -16*n = -n - l. Does 19 divide n?
False
Suppose 286 = 12*b - 2546. Does 3 divide b?
False
Let k(i) be the first derivative of 0*i - 2/3*i**3 + 1/4*i**4 - 7 - 1/2*i**2. Does 13 divide k(4)?
False
Let n = 1162 - 799. Is n a multiple of 11?
True
Is 6 a factor of (120 - -6)*2/3?
True
Let l(v) = 7*v**3 - 9*v**2 + 9*v - 7. Let j(k) = k**3 - k**2 + 1. Let o(g) = -3*j(g) + l(g). Is o(4) a multiple of 38?
False
Suppose -2*z - 3 = -5. Let q be ((-140)/(-30))/(z/(-6)). Let x = q - -56. Does 14 divide x?
True
Let c be (-6)/(-8)*(-5 + 9). Suppose -c*x = -4*x - q + 12, 5*q - 36 = -2*x. Is 2 a factor of x?
True
Let p(b) = b**3 - 2*b**2 - 4*b - 10. Let w be p(25). Is 44 a factor of w/60 - (5/(-4) - -1)?
False
Let i(z) = z**3 - z**2 + 3*z + 4. Let d be i(0). Is 5 a factor of (-1)/(((-4)/41)/d)?
False
Is 26 a factor of 6/(-2)*(7 - (-620)/(-15))?
False
Let f = -65 - -66. Let y(l) = 68*l**3 + 4*l - 3. Is 13 a factor of y(f)?
False
Suppose -2*m + 24 = 18. Suppose -8*c + 5*c - m*j + 648 = 0, -4*j - 648 = -3*c. Does 36 divide c?
True
Suppose 4*j = 3*p + 175, 2*p + 2*j - 61 = -173. Let w = p + 78. Is 3 a factor of w?
True
Suppose 0 = 3*a + c - 766, -4*a = 3*c + 435 - 1463. Let p = a - 122. Is p a multiple of 44?
True
Let q(u) = u**3 + 4*u**2 + 2*u. Let s be q(-2). Suppose s*j + 4*r - 45 = j, r = 3*j - 30. Is 11 a factor of (j/(-3))/(2/(-18))?
True
Let v(j) = j**2 + 36. Let n be (319/58)/(1/2). Does 14 divide v(n)?
False
Suppose -723 = -16*b - 83. Does 40 divide b?
True
Let m = -644 - -1256. Is m a multiple of 9?
True
Let a(t) be the third derivative of t**5/60 - t**4/2 - 11*t**3/6 - 16*t**2. Is a(14) a multiple of 9?
False
Let u = 3 + -4. Is 24 a factor of (181/(-3) + u)/((-10)/30)?
False
Let t(n) = -3*n**3 + 2*n**2 + n. Let u(v) = -v**2 + 15*v + 18. Let c be u(17). Let r be 0/1 + 15 + c. Does 2 divide t(r)?
True
Let x be 4 - ((-8)/(-2) + -2). Suppose -4*k + k + x*w - 45 = 0, 0 = 4*k + w + 49. Let p = k - -23. Does 3 divide p?
False
Suppose i + 4*b = -3*i + 40, 4*b - 33 = -3*i. Does 4 divide i?
False
Let c be (-15)/(-6)*(-1 + 11). Suppose m - 3 = 0, -5*j + 4*m - 2*m - 61 = 0. Let f = j + c. Does 4 divide f?
False
Is 41 a factor of 6/(11/(-11))*(-246)/4?
True
Let b(p) = 24*p**2 - 15*p - 32. Let s(o) = 8*o**2 - 5*o - 11. Let a(v) = 4*b(v) - 11*s(v). Does 28 divide a(5)?
True
Suppose -32*d + 5*z = -29*d - 2036, 4*z = 4*d - 2704. Is 21 a factor of d?
True
Let o = -413 - -1102. Suppose 0 = 5*u + 194 - o. Is u a multiple of 18?
False
Let o(v) = -3*v**2 + 49*v + 33. Is o(16) a multiple of 12?
False
Let q = 206 - 291. Let c = q + 405. Is c a multiple of 64?
True
Suppose -11 - 8 = -f - 5*d, -4 = -4*d. Suppose -p + 2*a + f = -2, -5*p + 5*a = -75. Does 15 divide 1/((p/90)/7)?
True
Suppose -5*t = 2*w - 0*w - 14, -2 = -5*w + 4*t. Let z = -461 + 539. Suppose w*c - z = -c. Is c a multiple of 13?
True
Let z be 16410/(1*2) + 18/6. Is z/90 - (-2)/(-10) a multiple of 13?
True
Let a = 537 - 455. Is 12 a factor of a?
False
Let f = 239 + -131. Is 18 a factor of f?
True
Let r be -1 + 5 + (20 - 11). Suppose r = 4*u - 43. Is u a multiple of 7?
True
Let c(z) = -2 - 35*z + 8*z - 2. Is 20 a factor of c(-4)?
False
Let y = 28 + -22. Suppose -18 = -8*n + y*n. Let o = 34 - n. Is o a multiple of 7?
False
Let d(c) = 96*c - 894. Is d(29) a multiple of 42?
True
Let w = 40 + -34. Suppose w*a + 340 = 2*a. Let t = a + 142. Does 15 divide t?
False
Suppose -6*g + m - 27 = -9*g, 5*m = g - 9. Suppose g*k = -k + 3780. Is k a multiple of 54?
True
Let y = -16 + 16. Suppose -2*k + 27 = 3*h, -k + y + 1 = -h. Suppose 2*q = k*q - 116. Is q a multiple of 6?
False
Let s(p) = -3*p - 7. Let h = 35 + -16. Let t = 10 - h. Is 9 a factor of s(t)?
False
Suppose -15*n + 134628 = 37*n. Is n a multiple of 27?
False
Let s = 1304 - 540. Is s a multiple of 