 - 25*k. Is 25 a factor of (31 + -119)*k/(-12)?
False
Let r be ((-14)/(-14))/((-1)/(-2)). Let i be (-3)/((-6)/r)*3. Suppose 6*j - 223 = j - 4*n, 0 = -j + i*n + 37. Is j a multiple of 5?
False
Suppose 9 + 1047 = 3*g. Suppose -4*p + g = 332. Suppose -p*h = -9*h + 300. Does 15 divide h?
True
Let h be ((-2)/(-4)*(8 + -8))/1. Suppose -3*q - 5*a - 1034 = -7*q, h = -4*q + a + 1026. Is q a multiple of 32?
True
Suppose 81*w = 77*w - 5*i + 68121, -5*i - 34023 = -2*w. Is 32 a factor of w?
True
Suppose -r = 1 + 1. Is 14 a factor of (-12)/r + (354 - 13)?
False
Let r be 34/8 - 3 - (-3)/4. Let w be 21/7*(r - (-8)/(-6)). Suppose -w*m + 55 = -185. Is m a multiple of 15?
True
Let r be ((-348)/(-10))/(4 - (-952)/(-240)). Suppose 1305 = 5*c - u + 2*u, 4*c = u + r. Is c a multiple of 29?
True
Is 78 a factor of 15 - (104/(-8) - 16430)?
True
Is (16/6)/(16157848/(-2019780) - 8/(-1)) a multiple of 30?
True
Let a(s) = -3*s**2 - 642*s - 191. Is a(-131) a multiple of 11?
True
Let u be 2 - 1 - (0 + 0). Let w(y) = 2*y + 1. Let v(j) = -51*j - 7. Let z(q) = -v(q) - 5*w(q). Is z(u) a multiple of 7?
False
Let r(g) = 7*g**3 + 45*g**2 - 28*g - 15. Let u(l) = -3*l**3 - 22*l**2 + 11*l + 8. Let b(o) = 4*r(o) + 9*u(o). Does 12 divide b(20)?
True
Suppose -p - 13847 = -x, -6*x = -11*x - 2*p + 69242. Is x a multiple of 3?
True
Let h(l) = -l**2 - 5*l + 88. Let j be h(0). Suppose 2*y = 4*n - 84, 3*y + n + 73 + 46 = 0. Let t = j + y. Is t a multiple of 14?
False
Suppose 5*t + 4*g = 7*t + 2520, -5*g + 3784 = -3*t. Let c = -633 - t. Does 5 divide c?
True
Suppose 0 = 3*u - 3*q - 33, -5*q = 3*u - 0*u - 25. Is 3*((-108)/u)/((-9)/90) a multiple of 27?
True
Let q(l) = 230*l**2 + 112*l - 361. Is q(-8) a multiple of 17?
False
Suppose -2*y = -25 - 25. Suppose u - y*u = -1320. Does 17 divide u?
False
Let y(p) be the first derivative of p**3/3 + 3*p**2/2 + 754*p - 331. Does 33 divide y(0)?
False
Let v(s) = 4*s - 10. Let b be v(15). Let g = 115 - b. Let h = 23 + g. Is 11 a factor of h?
True
Suppose 13*z - 14*z = -66. Let c = z + -60. Is 3 a factor of (-53)/(-11) - (c/(-11))/3?
False
Let u = 27 - -9. Let o = u - 33. Suppose -5*z - o*z = -376. Is 6 a factor of z?
False
Suppose 0 = -4*s + 5*z + 6815, s - 6825 = -3*s - 5*z. Suppose -5*y + 0*y + s = 4*c, -15 = 5*y. Is 11 a factor of c?
False
Let n = -19 + 22. Suppose n*f = -5*v + 2474, -4*f + 6*f - 1666 = 5*v. Is f/48*(-40)/(-6) a multiple of 11?
False
Suppose 15*r - 16*r - 4*q + 2961 = 0, -14829 = -5*r + 4*q. Suppose z + 2*n = 4*n + 1478, 0 = -2*z + n + r. Is z a multiple of 53?
True
Let t(x) = 216*x**3 - 11*x**2 + 40*x - 25. Is 4 a factor of t(3)?
True
Suppose -3*p + 252 = 3*n, -14*n + 16*n = 4*p + 192. Is n a multiple of 70?
False
Let y = 133 + -90. Let f = y + -40. Suppose r - 242 = -2*r - l, -250 = -f*r - 5*l. Is 20 a factor of r?
True
Suppose 0 = -6*p + t + 38588, 8*p + 4*t + 6439 = 9*p. Is 6 a factor of p?
False
Let w(b) = -7*b**2 - 14*b + 58. Let c(q) = -30*q**2 - 58*q + 232. Let s(i) = 2*c(i) - 9*w(i). Is s(10) a multiple of 7?
False
Let i be 3*(-16)/(-24) - -469. Suppose -r + 380 + 793 = 5*d, 2*d + r - i = 0. Is 52 a factor of d?
False
Let p = 11 + 469. Is 12 a factor of ((-39)/(-13))/(5/p)?
True
Let f(c) = 146*c**2 + 7*c + 110. Is 154 a factor of f(-9)?
False
Let k(n) = n**2 + 5*n - 17. Let u be k(-7). Let j(c) = -51*c + 95. Let o(y) = -26*y + 47. Let x(f) = u*j(f) + 5*o(f). Is 10 a factor of x(5)?
False
Let g be 1 + 6 + 4 + (-1 - 1). Let r be g + (6/(-2) - 6/(-1)). Suppose -6*k = -54 + r. Is 7 a factor of k?
True
Suppose 16*k = -15 + 79 - 16. Suppose x + 1 = -4*t, 5*x + 6*t - 29 = 3*t. Let d = k + x. Is 5 a factor of d?
True
Let u(f) = 88*f**3 + 14*f**2 - 5*f - 9. Is u(7) a multiple of 265?
False
Is 9/(-60)*-4 + (-995416)/(-40) a multiple of 14?
False
Let h = 9443 + 637. Does 240 divide h?
True
Let v = -40 - -109. Let m be ((-46)/v)/(2/(-27)). Suppose m*h = 4*h + 360. Is h a multiple of 9?
True
Let n(d) = -2*d**3 + 16*d**2 - 2*d + 19. Let h be n(8). Suppose 0 = -4*g + c + 540, -h*c - 145 = 3*g - 550. Does 27 divide g?
True
Suppose 2*b = c - 6133, 5*c - 7*b - 16255 = 14395. Is c a multiple of 52?
False
Suppose 7*t - 6 = 8. Suppose -g = -2*g - 5*o + 2, -t*o = -2*g - 20. Let q = 92 + g. Does 12 divide q?
True
Suppose 37*p - 1260 = 25*p. Suppose 3*j + 0*j - 15 = 0, -p = -2*d - 3*j. Does 7 divide d?
False
Let t be ((-70)/20)/(-7) + (-387)/(-2). Suppose 0 = -4*o + 2*x + 3478 - t, 4*x + 2473 = 3*o. Is o a multiple of 21?
True
Suppose 20*c - 2*c = 20907 + 81423. Is 7 a factor of c?
False
Let y = 1005 + 75. Let i = y - 907. Does 18 divide i?
False
Let v(q) be the second derivative of -3*q**5/20 + 5*q**4/12 - 4*q**3/3 - 31*q**2/2 + 23*q. Is 17 a factor of v(-3)?
True
Suppose 11*m = 14 + 74. Let i(g) = g**3 - 7*g**2 + g - 36. Is 8 a factor of i(m)?
False
Let v be 72/(-20)*(-40)/(-3). Let o = 668 + -938. Let d = v - o. Does 37 divide d?
True
Let s = -3572 + 6758. Is s even?
True
Suppose -s + 3*f + 0*f = -2, 22 = -4*s - 3*f. Let v(z) = -56*z**2 - z - 11. Let w be v(s). Let t = -623 - w. Is t a multiple of 28?
True
Let g(s) = s - 5. Let v be g(5). Let q(l) = -3*l - 7. Let y be q(v). Is 8 a factor of (60/(-25) + y)/(1/(-5))?
False
Let c(s) = -10*s + 1. Let g be c(-2). Suppose -g*t + 13728 = -5*t. Is 78 a factor of t?
True
Let l = 12 - 8. Suppose -833*n = -838*n + 15. Does 6 divide l/4*153/n?
False
Suppose 368*j - 197*j - 1523097 = 0. Is j a multiple of 75?
False
Let s be 74*1*(0 - (-18)/12). Let p be (3 - 2)*-29 + 2. Let y = p + s. Does 14 divide y?
True
Let a be 2/((-4606)/922 - -5). Suppose 0 = 3*k + 3*m + 339, -k + m = -5*k - a. Let u = k - -141. Is u a multiple of 5?
True
Let c be -11*(15 + -1)*2. Let h = 130 - c. Suppose -w - 113 = -h. Is 39 a factor of w?
False
Suppose -8*d + 728 = -1344. Let n = d - 67. Is 16 a factor of n?
True
Let g(x) = -x**3 - 22*x**2 + 179*x - 52. Is 35 a factor of g(-37)?
True
Let m(d) = -d**2 - 1. Let a(u) = -8*u**2 + 20*u - 1. Let y(f) = -a(f) + 4*m(f). Let z be y(11). Is (z/(-36))/(1/(-4)) a multiple of 7?
False
Suppose 0 = 5*j + 7*n - 5*n - 11822, 0 = 4*n - 24. Is 146 a factor of j?
False
Let o(q) = -1 - 3*q + 5 - 11 - 4. Let k be o(-3). Does 4 divide (k - 38)*(-3 + 26/10)?
True
Let k(l) be the first derivative of -2*l**3/3 + 5*l**2/2 - 3*l - 1. Let o be k(-4). Let i = o + 85. Is i a multiple of 3?
True
Let j(p) = 13*p + 4. Let c be j(2). Suppose -c*f + 6588 = -5652. Does 24 divide f?
True
Let l(s) = 6*s**2 - 7 + 6*s - s + 2*s**2. Let b be (-6)/(-3) - (5 + -6). Is 10 a factor of l(b)?
True
Let t(d) = d**2 + 22*d - 50. Let h be t(-24). Let k be 3 + ((-12)/5 - h/5). Let y(b) = 13*b - 2. Does 2 divide y(k)?
False
Let k = -1388 + 835. Suppose -47*o + 1715 = -52*o - z, -3*o - 1029 = -4*z. Let x = o - k. Is 23 a factor of x?
False
Suppose 2788 = 12*p - 1964. Suppose 324 = 20*l - p. Does 2 divide l?
True
Let b(p) be the third derivative of -5*p**4/12 + 59*p**3/6 + 50*p**2 - 2*p. Is 59 a factor of b(0)?
True
Let s(v) = -168*v - 16. Let t(u) = u + 11. Let l be t(-14). Does 15 divide s(l)?
False
Suppose 34*s = 33*s + 2. Let u be (-959)/(-7)*1/s*-4. Let c = -139 - u. Is 39 a factor of c?
False
Let c = 5517 + 2608. Is c a multiple of 13?
True
Suppose 2*n + 4 + 4 = 0. Let q = n - -3. Does 8 divide (3 - 48/2)/q?
False
Let g(i) = 2*i**3 + 34*i**2 + 20*i + 34. Let l be g(-15). Let j = l + -301. Is 79 a factor of j?
False
Suppose -5*i - 2*c + 11 + 24 = 0, 0 = 2*c + 10. Suppose i*n = 12*n - 741. Is 13 a factor of n?
True
Let z = 10494 + 17874. Is z a multiple of 72?
True
Let c(y) be the second derivative of 3*y**5/20 + y**4/4 + y**3/3 + y**2 - 2*y + 10. Is 23 a factor of c(3)?
False
Does 41 divide (113 - 115)*(29837/2)/(-1) - -6?
False
Is 28 a factor of 4434 - (4 - (7 - (-7 - -19)))?
False
Is 7 a factor of 26/(-403) + (-565082)/(-217)?
True
Suppose 4*j - 14 = -2*o, 2*j - 13 = 2*o + 3*o. Let l(r) = -3 - 122*r + 68*r + 57*r. Is l(j) a multiple of 5?
False
Suppose 3*n + 0 = 3*h + 3, 3*h = -2*n + 12. Let j(d) = -4*d**3 - d**2 + 6*d. Let u be j(n). Let p = -9 - u. Does 15 divide p?
True
Let n = 1730 + -1229. Suppose 0 = 5*u - 3*k - 398 - n, 0 = -4*k + 8. Is 4 a factor of u?
False
Let m(t) = t**2 + 22*t - 101. Let n be m(-26). Let k(y) be the third derivative of y**6/120 + y**4/12 - 4*y**3/3 - y**2. Is k(n) a multiple of 11?
False
Let k(b) = -5