-22. Is 24 a factor of j?
False
Suppose 0 = -2*k - 5*a + 6142, 14755 = 5*k - 4*a - 534. Is k a multiple of 120?
False
Suppose -6*a + 5*a + 190 = 5*s, 2*a + 114 = 3*s. Suppose s*h = 39*h - 681. Is 37 a factor of h?
False
Let s(y) = 98*y - 141. Is 95 a factor of s(11)?
False
Does 13 divide 0 - (-8)/((5*(-8)/(-180))/156)?
True
Let j be (-3)/2 + 15/2. Suppose j*k - 23 = -5. Suppose -3*p - 2*r + 41 - 6 = 0, k*r - 30 = -3*p. Is 5 a factor of p?
True
Let f(d) = -d**2 - d. Let x(t) = t**2 - 12*t. Let i(q) = 3*f(q) + x(q). Let b(m) = -2*m**3 + 2*m**2 + 2*m - 3. Let z be b(2). Is 4 a factor of i(z)?
False
Let l(v) = -514*v - 765. Does 27 divide l(-40)?
False
Suppose 0*t - 5*t + 32 = 3*w, 4*w = 3*t + 4. Suppose 5*q + 2*n - 4050 = -n, 3233 = w*q + n. Does 39 divide q?
False
Let i = -1550 + 2437. Let p = i + -593. Is 25 a factor of p?
False
Does 7 divide 4360/6*2520/300?
True
Suppose 0 = -139*f - 113*f + 233*f + 295545. Is f a multiple of 61?
True
Suppose -5*q + 14 = -3*q. Let h(z) = z**2 - z - 22. Is 14 a factor of h(q)?
False
Suppose 9*a + 2*a = 0. Suppose a = -4*h + 3*z - 10, -5*z + 10 = -2*h - 6*z. Does 10 divide (-1)/((h/2)/88) + 2?
False
Let b(h) = 5*h**3 + 3*h**2 - 12*h + 11. Let f(m) = 14*m**3 + 8*m**2 - 34*m + 32. Let a(p) = -17*b(p) + 6*f(p). Does 2 divide a(-3)?
False
Let j be 7*((-3)/(-7) - 736/(-14)). Let f = 426 - j. Is 24 a factor of f?
False
Let r(b) = -6*b**3 - 2*b**2 + 13*b - 30. Let t be r(4). Let o = 264 - t. Does 14 divide o?
True
Does 7 divide ((-3661)/4)/((-53)/(-212))*2/(-2)?
True
Let w(o) = 19*o**3 - 10*o**2 + 35*o - 94. Does 112 divide w(10)?
True
Let j = -56 - -60. Suppose 0 = j*o + 5*w + 17, -3*o + 21 = -0*w - 3*w. Suppose 11 = -o*g + 139. Is 14 a factor of g?
False
Suppose 0 = -6*z + 21 + 15. Let d be (-4)/2*15/z. Let n(s) = 3*s**2 - 13*s + 12. Is n(d) a multiple of 38?
True
Let h(m) = -m - 11. Let f be h(-13). Suppose f*u - l - 4*l - 712 = 0, 0 = u + 4*l - 356. Is 7 a factor of (-36)/60 + u/10?
True
Let r be (1724/13)/4 + 4/(-26). Suppose r*h - 26*h = 2254. Is 46 a factor of h?
True
Let s = 209 - 207. Suppose 5*q + 1302 = 3*h, -s*h - h + 1275 = 4*q. Does 39 divide h?
True
Let k(r) = r + 20. Let j be k(-15). Suppose 0 = -j*g - 5 + 30. Suppose -4*m = -2*q - 368, 3*q = -g*m - 0*q + 482. Is 13 a factor of m?
False
Suppose 3458 = o - 5*z, 0 = o - 6*z + 2*z - 3463. Suppose 437 = 10*w - o. Does 14 divide w?
True
Suppose 4*i - 3*b - 24 = 0, -i - 4*i = 5*b + 5. Suppose 2*t - i*h = 120 - 390, t = h - 133. Let j = t - -246. Is j a multiple of 10?
False
Let g(f) = f - 40. Let t be g(44). Suppose 5*l + 1284 = 4*h + 2*l, -t*l - 956 = -3*h. Does 27 divide h?
True
Suppose g = -y + 737, -4*g - 2219 = -3*y + g. Suppose 0 = 5*d + 4*d - y. Is 41 a factor of d?
True
Let d be 2/7 - (-397)/7. Suppose -53 + 209 = 6*q. Let b = q + d. Is b a multiple of 20?
False
Suppose -8*u = -4*c - 3*u + 3490, c = -13*u + 844. Is 5 a factor of c?
True
Suppose 6*l - 56 - 76 = 0. Let z be (3 - 1) + -6 + 7. Suppose -l = v - z*v. Is v a multiple of 7?
False
Suppose 8*f = 3*f + 2345. Let a be (-271)/(-2) + 0 - 22/44. Suppose 5*x - 3*v = f + 193, -x - 2*v + a = 0. Does 11 divide x?
False
Let b(y) = -y**2 + 28*y + 5. Let c(x) = 34*x + 8. Let g(s) = -137*s - 33. Let u(h) = -9*c(h) - 2*g(h). Let r be u(-1). Does 19 divide b(r)?
True
Let x = -337 + 455. Let s = 3 + -5. Is 13 a factor of x*(5 + s + -2)?
False
Let o(f) = 4*f**2 + 3*f + 1. Let b be o(-2). Let l(m) = -m**2 - 131*m**3 - 22 + 12*m + 12*m**2 + 130*m**3. Is 10 a factor of l(b)?
True
Suppose 4*p = 16, -2*g - 4 = -3*p + 2*p. Suppose -8*b + 3*b + 3*l + 571 = g, 2*b - 229 = l. Is 12 a factor of b?
False
Is (-46514)/(-2) + (106 - 79) a multiple of 46?
False
Suppose -18 - 6 = 4*k. Let i(y) be the first derivative of -21*y**2/2 - 21*y - 146. Is i(k) a multiple of 21?
True
Suppose 94*b = 90*b + 2892. Let c = b + -393. Is c a multiple of 4?
False
Let x(r) = -r**2 - 4*r + 7. Let c be x(-5). Let b be 5/2 + 43/c. Suppose 31 = m + 3*f, -5*f - b = -2*m + 27. Is m a multiple of 7?
True
Let x = 2736 + -2741. Let m(p) be the second derivative of -3*p**5/20 - p**4 - 3*p**3 - 5*p**2/2 - p. Is m(x) a multiple of 18?
False
Suppose 5 + 5 = -2*r. Let u = 1131 + -1130. Is 2 + u + r + 60 a multiple of 9?
False
Is 28 a factor of 24/(((-3)/945)/((-4)/8))?
True
Let k(r) be the second derivative of r**5/20 - r**4/2 + 7*r**3/3 - 15*r**2 - 2*r + 101. Is 3 a factor of k(6)?
True
Let f = -111 + 117. Is 9 a factor of -6 + (5 - (-330)/f)?
True
Does 35 divide (-5 - -39*9/54)/((-9)/(-62616))?
False
Let c be 58/232*(-20 - 0). Let h(s) = -4*s**3 + 7*s**2 - 18*s - 114. Does 26 divide h(c)?
False
Suppose 0 = 11*s - 0*s + 5*s - 56240. Is 56 a factor of s?
False
Suppose -112 - 28 = 10*r. Let c = r - -18. Does 9 divide (106 - 1)*(-6 + 3 + c)?
False
Suppose 148*j + 119969 - 899929 = 0. Is j a multiple of 85?
True
Is (7 - -67)*(-7 - (-71 - 2)) a multiple of 37?
True
Let c = -86635 + 124340. Is c a multiple of 18?
False
Suppose -539 = -b + 5*k, -5*b + 5*k - 6*k + 2747 = 0. Suppose -1527 = -6*h - b. Is 11 a factor of h?
False
Suppose 3*i + 5*z = 27517 + 16133, -z - 29126 = -2*i. Is 14 a factor of i?
True
Let s(u) = -77*u + 37. Let q(c) = -78*c + 37. Let i(m) = 5*q(m) - 6*s(m). Is i(5) a multiple of 19?
True
Suppose 3*u = -3*k + 6, 5*u - k - 1 - 21 = 0. Let y = -3 - -8. Suppose 4 = 2*g - y*f, 3*g - 6 - 7 = u*f. Does 3 divide g?
False
Let y(j) = -107*j + 915. Is y(-23) a multiple of 58?
False
Let h(f) be the second derivative of 5*f**4/3 + 5*f**3/3 + 29*f**2/2 - 130*f. Is 28 a factor of h(-6)?
False
Suppose 0 = -501*w + 485*w + 45072. Is 85 a factor of w?
False
Suppose 22*v - 1950399 = -36*v - 23*v. Does 199 divide v?
True
Suppose -4*a + 3*u + 54 = 0, -2*a - 5*u + 7 = -33. Let n be a/6*(-984)/(-30). Suppose 0*l - 2*l = -2*c - n, -139 = -4*l - c. Is 12 a factor of l?
True
Let o(n) = -3*n**3 + 28*n**2 + 44*n - 34. Let d(m) = -m**3 - 2*m**2 - m + 1. Let z(k) = -4*d(k) + o(k). Is z(-34) a multiple of 15?
False
Let j(m) = -m + 6. Let a be j(0). Does 11 divide a*(-25)/(-60)*(-2 + 162)?
False
Let s be (-1)/(-8) + (-32808)/(-192). Suppose 161*k = s*k - 9690. Is 62 a factor of k?
False
Let l(t) = t**3 + 16*t**2 - 19*t - 21. Let h be l(-17). Suppose -h*p - 429 = -16*p. Is 12 a factor of p?
False
Suppose 0 = -3*i - 5*j + 25, -22*j = -23*j + 2. Suppose -i*t + 1271 = 2*z, -4*z - 4 = -2*z. Is t a multiple of 17?
True
Suppose -64*o = -61*o. Suppose -2*p = 2*w - 16, -4*p + 27 - 7 = 0. Suppose 4*y - w*q = 584, 0 = 5*y - 3*q - o*q - 727. Does 21 divide y?
False
Let f = -708 - -10178. Does 36 divide f?
False
Suppose -80 = 9*c - 332. Does 4 divide ((600/c)/3)/((-18)/(-126))?
False
Suppose -2*v - 4 = -4*v. Let s be 15 + 3/18*12/v. Let t(m) = -m**3 + 15*m**2 + 22*m - 9. Is t(s) a multiple of 33?
False
Suppose 9*n - m = 11*n - 53961, 0 = -4*n + 2*m + 107918. Is n a multiple of 13?
False
Suppose 0 = 4*t + 4*d - 116, -4*t + 128 = -d + 32. Let y = t - 24. Suppose -2*k - 40 = -3*c, c = 3*k + 3 + y. Does 8 divide c?
True
Let r = -26 + 29. Suppose -3*b + 5*k = -12, -3*b - r*k = -5*k - 12. Suppose 4*d - 76 = -b*c, -d + 4*c - 6*c = -21. Does 6 divide d?
False
Let s(y) = 11*y**3 - 49*y**2 + 5*y - 12. Does 126 divide s(6)?
True
Let q(c) = -c**3 - 12*c**2 + 10*c + 40. Let d be q(-11). Let g = d - -416. Does 14 divide g?
False
Let a = -462 - 116. Let i = -114 - a. Suppose -12*g = -4*g - i. Is 21 a factor of g?
False
Let d = 41 + -38. Suppose -5*b - 3*l + 0 + 23 = 0, 2*l + 18 = 5*b. Suppose 5*u = d*u + b. Is u a multiple of 2?
True
Does 5 divide 8/132 - 10915994/(-1254)?
True
Let p(v) = v**3 - 8*v**2 + 11*v - 47. Let i be p(18). Let w = 4915 - i. Is w a multiple of 25?
False
Suppose -4*q = -2*k - 14894, 14*k - 3711 = -q + 17*k. Does 81 divide q?
True
Let j = 2689 + -2162. Does 35 divide j?
False
Let y = 78 - 63. Let f(g) = 7*g - 31. Is 3 a factor of f(y)?
False
Let n(b) = -5*b + 141. Suppose 4*x + 8 + 76 = 0. Is 18 a factor of n(x)?
False
Suppose 3*u - 21519 = -2*w, 11*u = 3*w + 6*u - 32307. Does 78 divide w?
True
Let r = 16810 + -10770. Is r a multiple of 55?
False
Suppose 5*s - 5*v - 98 + 43 = 0, -4*s + 64 = v. Let o(u) = 2*u**3 - 29*u**2 + 18*u + 57. Does 46 divide o(s)?
True
Suppose 2*r = -p - 453, 3*p + 325 = -r + 101. Let n = r + 619. Is 62 a factor of n?
False
Let x be (-9)/(-2)*6496/84. S