s 4 divide j?
True
Suppose -4*p + 1162 = 5*x, -2*p - 940 = -14*x + 10*x. Is 6 a factor of x?
True
Does 99 divide -5 + (-2387)/(-3) + 32/24?
True
Let r(k) = -k - 5. Let o be r(-5). Suppose o = 2*s - 117 - 263. Does 10 divide s?
True
Let o(p) = 4 + 2 - p - 2*p. Let z(t) = -25*t - 15. Let d be z(0). Is o(d) a multiple of 22?
False
Let m(i) = 128*i**3 + i**2 - 6*i + 4. Does 12 divide m(2)?
True
Suppose -14619 = -3*v + i, -3*v - 5*i + 1101 = -13518. Is 18 a factor of v?
False
Suppose -4*u = 23 - 203. Suppose 44*b + 149 = u*b. Is b a multiple of 41?
False
Suppose 0*o = -5*o + 20. Suppose 4*a - 5*f - 4 = a, -o*f = -2*a + 2. Does 19 divide (1 + a + 0)*5?
False
Let u(d) = 321*d. Does 19 divide u(1)?
False
Let d = 623 - 323. Suppose d = 18*j - 13*j. Is j a multiple of 5?
True
Let l(j) = -j**2 + 5*j. Let s be (-33)/(-44) + 18/8. Let d be l(s). Suppose -2*t = 5*f - 64, -3*t - 4*f - 73 = -d*t. Is 9 a factor of t?
True
Let d = 154 + 98. Does 14 divide d?
True
Suppose q - 3*o + 21 = 4*q, -o - 3 = -4*q. Does 2 divide q?
True
Let r = 12 - 9. Let o be 3/(27/(-24))*r. Is 6 a factor of (-3 + (-60)/o)*4?
True
Suppose s = 18 + 17. Suppose -c - 65 = -q, -q + 2*q - s = -5*c. Is 20 a factor of q?
True
Let p be -1 + 3 - 5*-5. Let q = 13 + p. Is q a multiple of 20?
True
Let y = 872 + -320. Does 23 divide y?
True
Let k(i) = 402*i**2 + 10*i + 2. Is 23 a factor of k(1)?
True
Suppose 13*p - 18*p + 15 = 0. Suppose -i = 2*i - p*o - 645, o = 1. Does 14 divide i?
False
Suppose 0 = -3*b + b. Suppose 4*p + 2*d + 682 = b, 3*p - d = -5*d - 524. Let o = -120 - p. Does 12 divide o?
True
Let b(w) = 3*w - 6*w + 17 - w - w. Let c be b(-5). Suppose c = 6*k - 180. Is k a multiple of 10?
False
Let s(d) = d**3 + d**2 + 5. Let o be s(0). Let v = o + -5. Suppose v = -k - 6 + 15. Does 3 divide k?
True
Let g = 147 + -53. Is 45 a factor of g?
False
Suppose -4*z - 5 = 3. Is z/(-3)*(-18)/(-4) + 76 a multiple of 14?
False
Let w be (-5 - -3) + (-190)/(-5). Is 29 a factor of (-232)/(-12)*w/8?
True
Let t(m) = 8*m - 3. Let x be t(8). Suppose 2*f + 9 - x = 0. Does 13 divide f?
True
Let m(k) = -153*k - 266. Is 10 a factor of m(-16)?
False
Let l(v) = 3*v**3 + 19*v**2 + 20*v - 6. Let j be l(-15). Does 23 divide (-2)/7 - j/133?
True
Is 7 a factor of 1010/6 + (-16)/48?
True
Suppose -z - 6 = -15. Suppose 0 = z*b - 5*b - 8. Suppose 2*n + b*n = 3*q - 113, 2*q - n - 77 = 0. Is q a multiple of 10?
False
Suppose g - 294 = -6*g. Let s = -28 + g. Is 3 a factor of s?
False
Suppose 2*t - 10 = 4*b, 4 = 5*t - 3*t + 2*b. Suppose -22 - 119 = -t*k. Is 10 a factor of k?
False
Let g(c) = 4*c - 31. Let x be g(9). Suppose -x*d + i = -408, -3*i = -5*d + 19 + 385. Does 16 divide d?
False
Let h(z) = -10*z - 1. Suppose 3*r + 2 = 11. Suppose -2 = 5*o - r*o. Does 7 divide h(o)?
False
Let u(x) = 5*x + 23. Is 16 a factor of u(15)?
False
Let o = -260 + 2171. Does 21 divide o?
True
Suppose 5*d + 42 + 13 = 0. Let c(l) = l - 3. Let z be c(d). Does 18 divide (72/z)/(4/(-42))?
True
Let t = 24 + -22. Suppose t*m - 55 = 57. Is m a multiple of 14?
True
Let o(n) = -2*n**3 + 11*n**2 + 8*n + 1. Let b be o(6). Suppose -b*a = -14*a + 32. Is 18 a factor of a?
False
Let b(p) be the second derivative of -3*p**4/4 - p**3/6 + 7*p**2/2 + 4*p. Let v be b(-4). Let u = -88 - v. Is u a multiple of 21?
False
Suppose -27 - 36 = -7*a. Suppose -4*k - 265 = -a*k. Is k a multiple of 30?
False
Let s(j) = -9*j + 75. Let d(i) = 2*i - 19. Let m(u) = 22*d(u) + 6*s(u). Is m(-8) a multiple of 43?
False
Suppose 3 = 3*x, 7 = 5*u - 5*x - 8. Suppose u*b = 5*s + 45, 2*s = 5*b + 5*s - 10. Suppose -b*k - 5*q = -0*k - 150, -q = -2*k + 66. Is 10 a factor of k?
False
Let u(n) = -8*n - 7. Let m be u(8). Let l = m - -193. Suppose -4*g + l = 34. Is 6 a factor of g?
False
Suppose 0 = -3*k + y + 362, k - y + 118 = 2*k. Suppose -k = 3*m - 6*m. Does 12 divide (252/(-70))/((-2)/m)?
True
Let f(z) be the third derivative of -23*z**4/24 - z**3/6 + 90*z**2. Let t be 3/(-6) + (-2)/4. Does 6 divide f(t)?
False
Let r be (8*(30/12 + -2))/2. Suppose 0 = -4*n - s + 4*s, 0 = -n + 3*s. Suppose -2*i + 46 + r = n. Is i a multiple of 12?
True
Let c = 147 - 103. Does 40 divide (-3)/(78/(-1036)) + c/286?
True
Let r be (-2)/6 + (-7)/(-21). Suppose 10*p = -r*p + 710. Does 17 divide p?
False
Let n(m) = 26*m**3 - m**2 + 2*m. Is 27 a factor of n(1)?
True
Let o = 10 + 51. Suppose 0 = 2*m - o - 3. Is m a multiple of 4?
True
Let y(w) = 40*w**3 - 4*w**2 - w + 3. Does 12 divide y(3)?
True
Let m(w) = w**2 - 9*w + 5. Let x be m(8). Let j(o) = -o**2 - 4*o. Let c be j(x). Suppose c*q = 55 + 14. Is q a multiple of 3?
False
Suppose 330 = -5*v - 5*u, -2*v + 4*v - 3*u + 127 = 0. Let q = v + 222. Suppose -4*g + q = -5*w, -5*g + 191 = -0*w - w. Is 8 a factor of g?
False
Let d(x) = x**2 + 8*x + 2. Let k be d(-10). Let w(f) = -9*f**2 + 49*f - 3. Let s be w(5). Let v = s + k. Is 21 a factor of v?
False
Suppose 2*g - 3*t = 159, -54*g - 4*t = -52*g - 152. Does 26 divide g?
True
Is (-84)/(-7 - (-7 + 9/6)) even?
True
Let w(p) = 6*p - 116 + 61 + 57. Does 20 divide w(3)?
True
Let x be (5 - 4)/((-2)/(-10)). Suppose 356 + 184 = x*a. Is 27 a factor of a?
True
Suppose 0 = 2*b - 7*b + 340. Let k = b + -19. Does 10 divide k?
False
Let r = 3 - 12. Let m(g) = -2*g - 13. Let b be m(r). Suppose 16 = 4*c + 3*d, 9 = 4*c + b*d - 7. Is 4 a factor of c?
True
Let h(t) = 2*t**2 - 20*t + 46. Let q be h(7). Suppose q*k - x - 37 = 0, -x = 5*k + 9 - 44. Is 8 a factor of k?
True
Suppose 29*j = 31*j - 94. Is j a multiple of 17?
False
Let r(n) be the first derivative of 7*n**2/2 - 11*n + 11. Does 9 divide r(8)?
True
Let z(p) = -p**3 - 13*p**2 + p + 41. Is 2 a factor of z(-13)?
True
Let u(s) = 6*s - 3. Let g be u(0). Is 0 - (-6)/g - 1*-22 a multiple of 3?
False
Let d = -10 + 7. Let h be (6/d)/(-1) + 0. Suppose -h*j + 4 = -36. Does 5 divide j?
True
Suppose 0*c = 5*c - b + 119, 4*c + 4*b + 100 = 0. Let p = -24 - c. Suppose p = 2*g + g - 99. Is 6 a factor of g?
False
Suppose -3*i + 2*j + 382 = 0, i = 4*j - 31 + 175. Does 31 divide i?
True
Suppose -2 + 13 = 4*f - j, 0 = -2*f + 2*j + 10. Is 30 a factor of (-3 - f - -4)*-240?
True
Suppose -3*h = 2*h. Let f(u) = 15 - 1 + 3*u**2 + h - 2*u**2. Is 14 a factor of f(0)?
True
Let c(v) = 20*v - 2*v**2 + 4*v**2 + 2 - 3*v**2. Let h be c(20). Suppose -h*z - 2*z = -360. Is z a multiple of 15?
True
Suppose -4*y = -31*y + 8127. Is 42 a factor of y?
False
Let l = 1 + 9. Suppose -2*z = -l, -4*p + 0*p - z + 49 = 0. Is 5 a factor of p?
False
Suppose 2*p - 585 - 617 = 0. Does 52 divide p?
False
Suppose -z = -23 - 1. Is (-8)/3*(-306)/z even?
True
Let o(z) = -z + 2. Let w be o(2). Suppose -8*m + 11*m - 39 = w. Does 8 divide 25 - m - (4 - 0)?
True
Does 14 divide (-12 - 33/(-22))*(-104)/3?
True
Suppose 12 = -w + 4*b, 3*b + 11 = 2*w + 2*b. Let r(d) = -29*d - 18*d + 7 + 48*d + 7. Does 11 divide r(w)?
True
Let k(d) = 6*d**3 - d**2 + d. Let h be k(1). Suppose 1930 = 5*v - 2*w, 5*w = v - h*v + 1895. Does 25 divide v/15 - (-3)/(-5)?
True
Suppose 0 = -6*s + 2*s + 96. Is s a multiple of 14?
False
Let x = -33 - 118. Let f = 587 - 311. Let w = f + x. Does 14 divide w?
False
Let w = -14 + 14. Let r be 0 + w/1 - -26. Let m = r + -10. Is 7 a factor of m?
False
Let i(c) = -108*c - 23. Let m be i(-3). Suppose 193 = 2*d - 3*f + 59, f - m = -5*d. Is 8 a factor of d?
False
Suppose 9*s - 12503 = -1811. Is s a multiple of 33?
True
Let u = 42 + -39. Suppose -176 = -k + u*n, -3*n = n - 4. Does 26 divide k?
False
Suppose 4*z - 2*g = -0*g + 7358, -4*z - g = -7367. Is 13 a factor of z?
False
Let x = 80 - -267. Is 30 a factor of x?
False
Is 4 a factor of 3 + (3 - 2) - (-1332)/9?
True
Let z = -109 - -213. Suppose -4*u + 107 = 5*m, -u = 5*m + 2*u - z. Does 11 divide m?
False
Let z be 1/(8/20 + (-2268)/5620). Let c = z - -405. Does 34 divide c?
False
Is 23 a factor of 2*-23*22/(-4)?
True
Let r = 17 + -14. Suppose 0 = s - 4*s - r. Let m(l) = -17*l - 1. Is 8 a factor of m(s)?
True
Suppose 0 = -3*h - 2*h + 25. Let k = h + -2. Suppose -2*z + p + 62 = 0, -50 = -k*z - 4*p + 21. Is 12 a factor of z?
False
Suppose 0 = 53*k + 8*k - 48007. Does 79 divide k?
False
Let j(i) be the first derivative of 236*i**3/3 + 5*i**2/2 + 3*i - 9. Is 26 a factor of j(-1)?
True
Let l(a) = 20 + 5*a - 8 + 4*a - a**2. Let q be -2 + (-22)/(3 - 5). Is l(q) a multiple of 3?
True
Let s = 13 - 1