oes 17 divide j?
True
Suppose 3*h = v + 5, -5*h = -0*v + 3*v + 15. Suppose h = 65*r - 68*r + 432. Is r a multiple of 9?
True
Let w = -24971 - -37235. Is w a multiple of 28?
True
Let u(f) = -f**3 + 7*f**2 + 61*f - 139. Is 18 a factor of u(-15)?
False
Let c(a) = a**2 + 20*a - 45. Let q be c(-22). Suppose w - 8 = 3*r + 3, -4*w = 3*r + 1. Is 25 a factor of (r - q)/(((-8)/(-157))/(-4))?
False
Let x(c) = -2*c + 0*c + 3*c**2 + 1 - 4 - 64*c**3 - 5. Is x(-2) a multiple of 19?
False
Suppose 6*z = z + 3*s + 76, 5*s - 15 = 0. Let h(v) = 28*v + 77. Let u be h(-3). Let y = z - u. Does 12 divide y?
True
Let q(z) = -466*z + 45. Let b be q(-2). Let s = b + -626. Is 13 a factor of s?
True
Let v(m) = m**3 + 51*m**2 - 49*m + 141. Let r be v(-41). Suppose 14*o + r = 29*o. Does 36 divide o?
False
Suppose -38 = -10*m + 2. Suppose -m*z + i = -1278, 12*i - 8*i - 311 = -z. Is z a multiple of 5?
False
Suppose -3*t = -18*q + 15*q - 20802, 5*t + 4*q - 34652 = 0. Is 7 a factor of t?
False
Suppose 4*y - 105 = -3*f, -2*f + 60 + 24 = -2*y. Suppose 0 = f*w - 40*w. Suppose 2*s - 93 + 29 = w. Is s a multiple of 4?
True
Let u(s) = -3*s**2 + 7*s + 19. Let w(g) = 7*g**2 - 13*g - 38. Let t(d) = -9*u(d) - 4*w(d). Suppose -18 = 4*y - 4*v + 22, 3*y = v - 26. Is t(y) even?
False
Let i = 1387 - 343. Does 18 divide i?
True
Suppose -7*n = -4*n + 24. Let c be (2/(-6))/(n/(-552)). Let i = 149 + c. Is i a multiple of 14?
True
Let b(u) = u**2 + 7*u + 35. Let d = -120 + 101. Is b(d) a multiple of 12?
False
Let z = 9649 + -8588. Does 10 divide z?
False
Suppose -254 - 74 = 4*s. Let k be (71/44 - (-272)/(-748))/(2/40). Is 41 a factor of (k/10)/((-1)/s)?
True
Let k = -62 - -67. Suppose -45 = 2*d + k*j, 4*d = -0*j - 2*j - 82. Is 5/(d + 0)*-44 a multiple of 11?
True
Suppose -11*d - 266 = -30*d. Is 32 a factor of 2/d - 5/35*-4157?
False
Let a be (-5*2)/5*-4. Let c(u) = 2*u**2 - 8*u + 26. Let q be c(a). Suppose 5*v - 270 = q. Is 12 a factor of v?
True
Let i(g) = -3*g**2 - 6*g - 3. Let j be i(-2). Is 8*(201/(-2))/j a multiple of 18?
False
Let h(j) = -j**3 - 4*j**2 - 4*j + 5. Let g = -9 - -9. Let m be (g - (-10)/(-4))*2. Does 5 divide h(m)?
True
Suppose 5*s = -3*p + 120, -5*s + 4*p - 2*p + 95 = 0. Is 9 a factor of s/(-2)*(110/(-6) - -9)?
False
Suppose -29199 = 18*l - 115383. Is l a multiple of 36?
True
Is (-4944)/(-3) - -3 - (-2 + 0) a multiple of 29?
True
Let l = -133 - -148. Suppose -3*v - l = 0, 2*c - 5*v - 730 = -v. Does 9 divide c?
False
Suppose 0 = 111*s - 36*s + 35*s - 991210. Is 39 a factor of s?
False
Let y = 1377 + -636. Suppose -4*d + y + 275 = 0. Is d a multiple of 29?
False
Let p(x) = -x**2 - 11*x + 85. Let j be p(5). Is 21 a factor of 1350 + (4 - (j - 6))?
False
Let p = -89 + 132. Does 4 divide ((-6)/(-5))/(p/1720)?
True
Let d(w) = -478*w**3 + 31*w**2 + 36*w + 8 - 484*w**3 + 961*w**3. Does 8 divide d(32)?
True
Let c(f) = 4*f**2 + f + 16. Let d be c(0). Suppose -728 = -d*n + 14*n. Is 26 a factor of n?
True
Is 52 a factor of 69/552 + (1/(-3) - 295791/(-72))?
True
Suppose 0 = 3*i + 4*u - 10078, -2*i + 1751 = 4*u - 4965. Does 14 divide i?
False
Let h = -29 + 26. Let y(u) = 10*u**2 - 1. Let w be y(h). Suppose -553 + w = -4*i. Is 30 a factor of i?
False
Suppose -128 = -2*u - 5*r, 2*r = -2*u - 0*r + 134. Suppose u*c - 61*c - 4608 = 0. Does 64 divide c?
True
Let l(t) = 1674*t**3 + 2*t**2 + 610*t - 1815. Is 45 a factor of l(3)?
False
Let a be (-858)/(-221) + (-4)/(-34). Let f(o) = 46*o**2 + 8*o - 10. Let q be f(4). Suppose -4*g = w + 2*w - q, -a*g - 766 = -3*w. Is 10 a factor of w?
False
Let q be 3/4 - 1512/(-32). Let g = -74 + q. Is 39/g*(-2 + -72) a multiple of 11?
False
Let r(f) = 3*f**2 + 20*f + 5. Suppose 5*x = 9*x + g - 36, 0 = 5*x - 3*g - 28. Is r(x) a multiple of 21?
True
Let p = -72 + 76. Suppose 719 = -5*a + 9*a - u, -p*a = -4*u - 704. Is a a multiple of 16?
False
Is (-21829)/(-5) - (-64)/1200*-15 a multiple of 9?
True
Suppose -3*a - 12 = -4*a. Suppose r = 5*r + a. Is 242/(-4)*(5 - (r + 10)) a multiple of 24?
False
Suppose -5*x + m = 57077, 86*x - 88*x + 5*m - 22840 = 0. Does 75 divide (1*4/(-20))/(3/x)?
False
Suppose -18*j + 7466604 = 20*j + 166*j. Is j a multiple of 111?
False
Let n = 320 + -222. Suppose -8*j - n = -754. Is j a multiple of 2?
True
Let s = 15 - 18. Let u be 0*(s + 21/6). Suppose u = h - 0*p + 4*p - 5, 23 = h - 5*p. Is h a multiple of 6?
False
Let u = 21 - 30. Suppose -17 = -3*m + y, 3*y + 55 = 5*m + 8*y. Is u/(1*(-1)/m) a multiple of 10?
False
Let j(b) = -b**3 + 2*b**2 + 9. Let w be j(3). Suppose 0 = 9*k - 5*k - 8. Suppose -2*i - 2 = -x + 41, w = -k*i + 4. Is x a multiple of 10?
False
Let d be 1 - ((-4038)/(-3))/(-2). Suppose -d = -10*r + 2686. Is 14 a factor of r?
True
Suppose 0 = -2*u - 4*f + 2116, -2*f = 2654*u - 2655*u + 1066. Does 6 divide u?
True
Let t = 204 + -162. Let k = 37 + t. Does 26 divide k?
False
Suppose 2*g + 96650 = 9*i, 2*i = -3*i - 5*g + 53670. Does 118 divide i?
True
Let x = 40 - 20. Let y(m) = m**3 - 19*m**2 - 21*m + 20. Let a be y(x). Suppose -5*o + 17 + 38 = a. Is o a multiple of 9?
False
Suppose -1200 = 4*h - 3*k, -k = 2*h - 6*h - 1192. Let t = 318 + h. Is 7 a factor of t?
True
Let q(h) be the second derivative of 5*h**3/2 - 23*h**2 + 2*h + 5. Is 16 a factor of q(25)?
False
Suppose -5*x + 44 = -2*s, -2*x - x - 3*s + 39 = 0. Does 8 divide (-178*(-2)/x)/(2/5)?
False
Let m(w) = w**3 - w**2 + 3*w + 6. Let o be m(0). Let k(y) = -13*y - 5. Let c be k(o). Let r = c - -86. Does 2 divide r?
False
Let c(i) = 9*i - 50 + 216 + 41. Is 51 a factor of c(45)?
True
Is (0 + 6/4)/((-29403)/2262 - -13) a multiple of 172?
False
Suppose 0 = 7*s + 390 - 411. Suppose s*w = -5*y + 96 + 47, -5*w + 4*y + 300 = 0. Does 14 divide w?
True
Let o(m) be the third derivative of -67*m**6/120 + m**5/20 + 11*m**4/24 + m**3/2 - 2*m**2 - 2*m. Does 23 divide o(-2)?
True
Let b(y) = -288*y - 1155. Does 33 divide b(-22)?
True
Let j(r) = r**3 + 5*r**2 - 2*r + 13. Let n(w) = -w**3 + 15*w**2 + 15*w + 10. Let k be n(16). Let v be j(k). Is 2/((-4)/(-2))*(69 - v) a multiple of 40?
True
Suppose 3 = -v, -2*o + 2*v = 5*v + 1. Suppose 0 = -p - 3*i + 499, -o*i = -3*p + 912 + 546. Is 14 a factor of p?
True
Suppose 0 = k + 2*c - 31, -19 = -k + c + 3. Let z = -17 + k. Suppose 2*u - 4*y = 114, -z*u + 3*u - 2*y = -261. Is u a multiple of 29?
False
Suppose 768*p - 417*p - 15795 = 0. Is 9 a factor of p?
True
Suppose 2*m + 0*m = -244. Let d be (21/15 + -1)*(605 - 15). Let o = m + d. Is o a multiple of 16?
False
Let y be 1*3*(-4)/12. Let i(p) = -4*p - 5. Let u be i(y). Is 22 a factor of 21626/88 - u/4?
False
Suppose 0 = 3*m - 16151 - 8986. Is m a multiple of 63?
True
Suppose 57 = -2*d + 61. Let j(i) = 117*i**3 + 3*i**2 - 12*i + 17. Is 12 a factor of j(d)?
False
Let g = -808 - -831. Let p(j) = 9*j**2 + 2*j - 2. Let z be p(-2). Let d = z + g. Does 11 divide d?
False
Suppose 0 = -2*r + 8*r - 54. Let t(s) = s**2 + 8*s - 40. Is 23 a factor of t(r)?
False
Let y(r) = -73*r - 10*r**3 - 9 + 44*r + 2*r**2 + 38*r. Let p be y(5). Is p/(-45) + 18/135 a multiple of 13?
True
Suppose 1743729 - 7593009 = -135*z. Is 127 a factor of z?
False
Let s(f) = -f**3 - 13*f**2 + 25*f + 615. Is 58 a factor of s(-13)?
True
Suppose -21*l = -13 - 1835. Does 52 divide (-10 + l/8)*(987 + 1)?
True
Suppose 0 = -3*k - 5*c + 57 - 351, -3*c - 9 = 0. Let s = k + 112. Let x = 9 + s. Is x a multiple of 4?
True
Suppose 30211 + 77897 = 36*n. Is 5 a factor of n?
False
Let h be (-1)/(-6)*3*(3 - 5). Let f be 3 + 0/(-3) + 3 + h. Suppose -4*i + 185 = -5*s - 470, 5 = f*s. Does 11 divide i?
True
Let r(b) = b**3 - 2*b**2 + 3*b - 9. Let v(p) = -p**2 + 9*p + 38. Let x be v(9). Let o be (16/(-10))/(x/5 - 8). Does 17 divide r(o)?
False
Suppose -24 = -4*q - 44, -5*g = 4*q - 6540. Suppose 4096 = 8*z - g. Is 13 a factor of z?
True
Suppose -13099 - 80297 = -3*d + 3*s, 4*s = 3*d - 93393. Does 65 divide d?
True
Suppose -1616 = -3*j + 4*d, -5*j + 2*d = 3*d - 2701. Is 45 a factor of j?
True
Let s be 1*2 + -1*40. Let n(g) = -22*g - 238. Let h be n(-11). Does 16 divide 4 - h/2*s?
True
Let r be 1/(1/(4 + -1)). Let g(n) = 0*n**3 + 2*n**2 - 2 - 2*n**r - 16*n**3 + 5. Does 14 divide g(-2)?
False
Let s = 179 + -170. Suppose 4*m - s*m = 4*u - 182, 0 = 4*u + 4*m - 180. Is u a multiple of 4?
False
Let t = 960 + -1028. Let j be -1 + 78 + (-1 - -1). Let p = j + t. Does 3 divide p?