 116*v + 1047438. Does 16 divide v?
False
Suppose 32177 = 9*j + 4*l - 79871, -2*l - 37366 = -3*j. Is j a multiple of 144?
False
Is ((-607)/5 + (-2)/(-5))/((-16)/3808) a multiple of 23?
False
Suppose -123*n + 126*n = 768. Suppose 2*j = -3*j + 10, 2*a + 5*j = n. Is 42 a factor of a?
False
Let w be (-12)/(-18) + (-2)/3 + 2. Suppose w*m + 7 = 19. Let a(j) = 3*j**2 + 6*j - 12. Is a(m) a multiple of 32?
False
Suppose 20415 = 9*z + 7797. Let i = -759 + z. Is i a multiple of 32?
False
Let c(m) = 2*m**2 - 5*m + 18. Let i be c(-11). Let l = 221 - i. Let q = l - -134. Is 9 a factor of q?
False
Let k(f) = -1. Let q(s) = 4*s - 9. Let j(m) = -6*k(m) + q(m). Let t be j(1). Let r = 33 + t. Is 14 a factor of r?
False
Is 133 a factor of (-20 - -12)/(16/(-28192)) + (0 - -3)?
False
Let d be 1/4 - 118/(-8). Let x(w) = 3832*w**2 - 1898*w**2 + 14*w + 36 - 1935*w**2. Is x(d) a multiple of 14?
False
Suppose -7*s = -9040 + 696. Suppose 3*v + 44 - 1212 = 5*q, q - s = -3*v. Is v a multiple of 66?
True
Let k be ((-4)/(-3))/(2/18) - 2. Suppose -4 - k = 7*p. Is 152 - (-1)/(p/4) a multiple of 15?
True
Let a(v) = -v**3 - 3*v**2 + 7*v + 21. Let m be a(-4). Is m/(-45) - 501/(-5) a multiple of 23?
False
Suppose -76*o + 85400 = -41*o. Is 5 a factor of o?
True
Is 348/(-957) + (-10740)/(-11) a multiple of 6?
False
Suppose 145*c = 140*c + 5*o + 240940, 0 = c + 5*o - 48194. Does 7 divide c?
False
Suppose 32*d - 15529 + 4169 = 0. Let z(b) = b - 3. Let f be z(5). Suppose -5*u + i + d = 0, 0*u + u = -f*i + 82. Is u a multiple of 9?
True
Let k(j) = -j**2 - j + 8. Let r(u) be the second derivative of -u**4/12 - 7*u**3/6 + 9*u**2 - 21*u. Let m be r(-9). Is k(m) even?
True
Let v be (-2 - 2)*1/(-2). Suppose 2*m - m + 25 = -v*g, 4*g = m - 35. Does 43 divide 4/g + 1077/5?
True
Suppose -80*m + 21411 + 2617 = 3228. Is 65 a factor of m?
True
Suppose -37638 = -7*b + 15184. Suppose 45*o = 56*o - b. Is o a multiple of 49?
True
Let i be 1083/(-95)*(-25 + 0/(-3)). Let l = i + -188. Does 48 divide l?
False
Let d(g) = 95*g + 804. Is d(39) a multiple of 167?
True
Let y(k) = -k**3 + 12*k**2 + 9. Let r(w) = w**3 - w**2 - 2. Let n(f) = 2*r(f) + y(f). Is 27 a factor of n(-6)?
False
Suppose s + 2*s - 8 = 2*c, 3*s = -4*c - 16. Suppose -7*w + 19 + 2 = s. Suppose -w*r = -v + 28, 2*v = 3*r + 5 + 39. Does 4 divide v?
True
Let m(b) = -2*b - 1. Let o(r) = -5*r - 14. Let v(l) = 2*m(l) - o(l). Is 7 a factor of v(9)?
True
Suppose -5*a = 5*i + 455, 5*i + 461 = 4*a - 3*a. Let t(f) = 4*f**3 + 66*f**2 + 88*f - 27. Let o be t(-15). Is 35 a factor of (20/(-1))/(i/28 + o)?
True
Suppose -1949 + 417 = 4*q. Let r = -134 - q. Is r a multiple of 64?
False
Let z(g) = -g**3 + 11*g**2 - 15*g + 56. Let b be z(10). Let q(t) = 21*t + 5. Is q(b) a multiple of 23?
False
Suppose -4*m = -9*m + 165. Let p be 4 + (-15)/5 - m. Let x = p + 147. Is 9 a factor of x?
False
Let x(n) be the third derivative of -n**4/6 + 5*n**3/2 + 22*n**2. Let w be x(0). Suppose -4*l = l - w. Does 3 divide l?
True
Suppose -41 + 61 = -4*y + 2*z, 2*y - 6 = -3*z. Let f = y + 342. Is 94 a factor of f?
False
Suppose -k - 1 = 0, -5*w = -4*k - 428 - 486. Suppose -w*x = -177*x - 2380. Does 17 divide x?
True
Let h(r) = -r**3 - 2*r**2 + 33*r + 5931. Does 12 divide h(0)?
False
Let g(u) be the second derivative of -u**6/360 + u**5/15 + 7*u**4/6 - 8*u. Let h(o) be the third derivative of g(o). Is h(-10) a multiple of 4?
True
Let c be (-36*1)/3 - -1. Let k = 550 - 550. Is 18 a factor of (-2 + c)/(k + (-2)/6)?
False
Let z(k) = 667*k**2 + 28*k + 27. Does 2 divide z(-1)?
True
Let c = 8002 + -3170. Suppose -174*g + c = -166*g. Is 30 a factor of g?
False
Let y(u) = 777*u + 622. Is 13 a factor of y(4)?
False
Suppose 13*h - 1710 = -7*h + 510. Does 8 divide h?
False
Let x(h) be the third derivative of h**6/120 - 19*h**5/60 + 19*h**4/24 + 26*h**3/3 - 84*h**2 - 2. Does 25 divide x(19)?
False
Let v(r) = -193*r**3 - 3*r - 4. Let t be (5/(-20))/((-8)/(-32)). Does 24 divide v(t)?
True
Is ((-13016)/(-12) - 11)*(5 - 2) a multiple of 11?
False
Let z(j) = 776*j**2 + 2*j - 12. Let q be z(-4). Suppose 33*a - q = -3750. Is a a multiple of 17?
False
Let a(l) = -950*l - 22. Let p be a(-1). Suppose -33*r + 37*r - p = 0. Is 29 a factor of r?
True
Does 19 divide -64*(-4406)/28 - (-12)/(-14)?
True
Let t = -14 + 16. Suppose t*s = 4*z - 184, 27*s - 30*s - 188 = -4*z. Is 6 a factor of z?
False
Let t be (-44)/(-10) - 8/20. Suppose 3*s - 2*l = 409, 3*s - t*l - 681 = -2*s. Let u = s + -85. Is 22 a factor of u?
False
Let x be ((-20)/25)/(111/(-105) + 1). Suppose -2*l - 2*r + x = 0, 2*r + 1 - 9 = 0. Suppose 0 = -l*a - 5*b + 115, a + 2*b + 0*b = 37. Does 9 divide a?
True
Let x(r) = 7*r**3 - 11*r + 4. Let m be x(3). Suppose -86 = -c + 4*f, c + 2*f = 5*c - 414. Let t = m - c. Does 6 divide t?
True
Suppose 53220 = 9*l - 35340. Is l a multiple of 120?
True
Let s(f) = -f**3 + 34*f**2 + 69*f + 88. Let h be s(35). Let q = 406 + h. Does 30 divide q?
False
Suppose -2*a + 10151 = 3*o, 27*o + 25340 = 5*a + 22*o. Does 11 divide a?
True
Let p be 60/(-9)*(4 + -19). Let s = 102 - p. Suppose -s*k + 7*k = -4*q + 279, -k + 75 = -4*q. Does 9 divide k?
False
Let p = -1459 + 3214. Is 15 a factor of p?
True
Suppose -5816 = -4*p - 3*x, -2772 - 3068 = -4*p + 3*x. Is p a multiple of 31?
True
Is 148/259 + (-43020)/(-28) a multiple of 17?
False
Suppose 3326 = 9*z - 760. Is 46 a factor of z?
False
Let b(s) = 10*s**3 - 5*s**2 + 242*s - 1440. Does 8 divide b(6)?
True
Let s = -3763 + 4785. Is 19 a factor of s?
False
Let j(p) = 1973*p**2 - 10*p - 9. Let c be j(-1). Suppose 2*v + 0*v = -z + c, -v + 3*z + 994 = 0. Does 12 divide v?
False
Let c = 73 + -121. Let q(t) = 3*t**2 + 4*t + 64. Let n be q(0). Let f = c + n. Does 3 divide f?
False
Let w(b) = -2*b**3 - 6*b**2 - 7*b + 55. Is 82 a factor of w(-13)?
True
Suppose 0 = 55*z - 16*z + 12636. Let h = 366 - z. Is h a multiple of 23?
True
Let k(o) = 2*o**2 - 20*o + 32. Let b(v) = -2*v**2 + 21*v - 32. Suppose -3*d = -3 + 9. Let r(w) = d*k(w) - 3*b(w). Is 7 a factor of r(14)?
False
Suppose 23*i - 256739 + 28625 = 0. Is 14 a factor of i?
False
Does 19 divide (-666402)/(-26) - (-376)/2444?
True
Suppose -5*p - 5*g = -34 + 9, -3*p + 14 = 2*g. Suppose -u + 20 = -4*x - 54, -2*u + 164 = -p*x. Does 10 divide u?
True
Let s = 182 - 462. Let d = -126 - s. Let j = 215 - d. Is j a multiple of 5?
False
Let y be (20/(-16) - 0)*-4. Let l(t) = 2*t - 10. Let f be l(y). Suppose -5*w + 0*w + 335 = f. Is 14 a factor of w?
False
Let x = 49 + -30. Suppose 2*f = -x + 21. Is (f + 1)*40/2 a multiple of 18?
False
Suppose y - 5*l = -18, 3*y = 5*y + 4*l - 20. Suppose 4*c - y*c = -8, -5*c - 1928 = -4*w. Is 36 a factor of w?
False
Let g(l) = l**2 + 6*l - 7. Let j(b) = -b**2 - 5*b + 6. Let o(r) = 3*g(r) + 2*j(r). Let v be o(6). Let d = -34 + v. Is d a multiple of 7?
False
Let f(s) = 63*s - 10. Let g be f(5). Suppose b + 75 = 2*x - 35, 5*x = -5*b + g. Is 4 a factor of x?
False
Let z(k) = -k**3 + 12*k**2 + 15*k + 628. Is z(-18) a multiple of 49?
False
Let l be 9 + -2*(-1)/1 + -2. Let j(s) = 2 + 3 - 7*s + s**2 + 4 + 3. Is j(l) a multiple of 10?
True
Let j = 20372 + -14255. Is j a multiple of 33?
False
Let m(y) = -6 + 0*y - 3*y + 11 + 0 - 18*y**2. Let s be m(2). Let u = -58 - s. Does 12 divide u?
False
Suppose -3*p + 0*x = 2*x - 229, x + 78 = p. Let u = p - 79. Is 3*(-32)/(-2 + u) a multiple of 3?
True
Is 55 a factor of -19028*(1/(-4) - (14 - 212/16))?
False
Suppose p - 1617 = 5*r, -5*p + 8177 = -7*r + 5*r. Is 74 a factor of p?
False
Suppose -c + 104 - 105 = 0. Is 4 - 0 - c - 3282/(-6) a multiple of 24?
True
Suppose -10600 = -3*z - 2*i, -2*z + 7065 = -30*i + 31*i. Is 5 a factor of z?
True
Suppose -3*w + 28366 = 4*d, 2*d + 3131 - 17307 = -5*w. Does 173 divide d?
True
Let z(h) = h - 12. Let f be z(34). Is 7 a factor of 37 - (f/33)/((-2)/(-6))?
True
Suppose -45*g + 32415 = -45290 - 375175. Does 15 divide g?
False
Suppose c = 6*c - 1910. Let n = -227 + c. Let y = n - 90. Does 13 divide y?
True
Is (-2)/(0 + (-9)/15516) a multiple of 7?
False
Let g be -8 + 31 + 2/(2/1). Let a = 69 + g. Is 19 a factor of a?
False
Let l = 9624 + -6836. Is l a multiple of 82?
True
Does 67 divide (((-1536)/(-80))/6)/((-6)/(-4485))?
False
Let s(f) = -f**3 - 12*f**2 - 28*f - 8. Suppose -3 + 12 = -2*v + 3*u, -5*u = 3*v + 42. Let k be s(v). Is 18 a factor of k*(-2)/