Does 63 divide w/(-9)*(480/50 - 0)?
False
Let k(d) = -201*d**3 - 6*d**2 - 30*d - 9. Does 18 divide k(-3)?
True
Suppose -10863 = -5*w - 4*s, -9*w + 5*s = -7*w - 4332. Is 61 a factor of w?
False
Let k be 992/72 + -5 + 4/18. Let v = k - -183. Does 12 divide v?
True
Suppose -4*b - 4740 = -3*c, -6*b = -7*b - 6. Is c a multiple of 4?
True
Let u be 20/12*(-6)/5. Does 10 divide 4/((792/(-402) - u) + 0)?
False
Is 86 a factor of (928 + 3)*-25*(-13)/65?
False
Let d(w) = -18*w**3 - 2*w**2 - 12*w + 30. Let u be d(2). Let a = u - -258. Is a a multiple of 16?
True
Suppose 44*r - 460256 - 1663668 = 0. Is 45 a factor of r?
False
Suppose 3*u + 7*l = 3*l + 85415, -3*u + 5*l = -85451. Does 11 divide u?
False
Let l = -5 - -10. Suppose -l*h - 462 + 2177 = 5*f, -4*f + 1381 = -5*h. Is 43 a factor of f?
True
Suppose 0*g = -g - 5, l + 4*g + 18 = 0. Let p = 5 - l. Let b(w) = 5*w**3 - 3*w - 1. Is 25 a factor of b(p)?
True
Suppose -3771*b - 129206 = -3782*b. Is 14 a factor of b?
True
Suppose 8*b - 4*d - 1020 = 4*b, 8 = -2*d. Suppose -b*y + 182 = -249*y. Is 15 a factor of y?
False
Let b(q) = -27*q**3 - 3*q**2 + 18*q - 74. Is 22 a factor of b(-8)?
False
Let o = -2433 - -10730. Is o a multiple of 8?
False
Let n(p) be the first derivative of -27*p**2 - 79*p + 158. Is n(-6) a multiple of 3?
False
Let k = -179 + 193. Is (470/k - 3) + (-9)/(-21) a multiple of 31?
True
Suppose 11*z = 8*z + 15. Suppose 0 = -4*m - 0*c + 5*c + 622, z*c = -5*m + 755. Is 13 a factor of m?
False
Is 3346 + 6 - (27 - 35) a multiple of 42?
True
Let n = 21 + -27. Let a be (n/(-3))/(4/(-494)). Let h = a - -359. Does 28 divide h?
True
Suppose 0 = t - 3, -4*t = i - 2*t - 753. Is i a multiple of 25?
False
Suppose 78*q - 37852 + 32234 = 352480. Is q a multiple of 19?
False
Suppose -6252*f - 133056 = -6263*f. Does 144 divide f?
True
Let b(x) = 191*x**2 - 65*x + 86. Is b(18) a multiple of 8?
True
Let d(o) = 14*o**2 + 18*o - 1. Does 9 divide d(6)?
False
Suppose i + 2*n - 56 + 52 = 0, -2*n = 5*i - 28. Let g = 23 - 14. Does 19 divide i*(1 - (-48)/g)?
True
Let i(u) = 26*u**2 + 1532*u - 278. Is 8 a factor of i(-87)?
True
Let q = 63 - -12. Let k = q - -84. Suppose -693 - k = -6*w. Is w a multiple of 20?
False
Suppose -33*d + 10*d = -92. Suppose -4*n + 2*s - d*s = -318, 5*s = -2*n + 163. Does 20 divide n?
False
Suppose 8*i + 833 = 15*i. Suppose -5*a = h - i, -540 + 32 = -5*h + 4*a. Is h a multiple of 4?
True
Suppose 113*f = 111*f, -2*f - 12805 = -k. Does 11 divide k?
False
Suppose 9*t = 71*t + 19*t - 1035504. Is t a multiple of 90?
False
Let x(i) = 6 + 10*i + 36*i - 2 + 24. Is 18 a factor of x(8)?
True
Suppose -g + 26237 = -5*i, 15*i - 52444 = -2*g + 10*i. Is g a multiple of 27?
False
Suppose 37*x - 4*v - 1928 = 35*x, -2*v + 1946 = 2*x. Is x a multiple of 3?
False
Suppose 3167 + 1081 = 3*y. Suppose 4*t + b + 322 = 1446, -5*t - 4*b = -y. Is 20 a factor of t?
True
Suppose 153 = -3*l + 12*l. Let u = 10 - 17. Let y = l - u. Does 8 divide y?
True
Let x(y) = 4*y**2 - 3*y + 1. Suppose 10 + 6 = -2*s. Is x(s) a multiple of 13?
False
Let h be (-2)/(-8) - 2/8. Suppose -3*t + 167 + 925 = h. Is t a multiple of 20?
False
Suppose 5*v + 5*k + 356 + 749 = 0, -875 = 4*v - 5*k. Does 12 divide -16*(0 + v/16) - 4?
True
Let v = 86 + -84. Let b = v - 6. Let w = 24 + b. Does 5 divide w?
True
Let a(u) = u**2 - 10*u + 585. Is a(-125) a multiple of 9?
True
Let h = -4 - -1208. Suppose 15*o + h = 29*o. Does 3 divide o?
False
Suppose -4*r - 2 = 5*m - 0, 0 = -3*r - 9. Suppose m*d - q = 913, -4*q = 6 + 6. Is 13 a factor of d?
True
Let c(b) be the third derivative of 65*b**4/24 - 68*b**3/3 + 61*b**2. Is 25 a factor of c(12)?
False
Suppose 2211 = -10*p - 589. Let a = p + 302. Is a a multiple of 11?
True
Does 14 divide 7/1 + -17 + 20758?
True
Let r = -19 - -28. Suppose -2*y - 2*y + r = t, -3*t = 9. Is 21 a factor of 102 - (6/(-9) + (-7)/y)?
True
Let u(h) be the third derivative of -h**6/60 - h**5/6 - 3*h**4/8 - 7*h**3/3 + 1666*h**2. Suppose 9 = 2*j - 6*j - 5*w, j = -2*w. Does 8 divide u(j)?
True
Let x = 4934 - 2834. Is x a multiple of 10?
True
Is (15791 - 26) + (0 + 2)*(-2)/4 a multiple of 28?
True
Suppose 0 = -10*d - 11 - 89. Let n be -1 - 2 - 31/(-1). Let m = n + d. Does 5 divide m?
False
Suppose 180*j - 193*j = -39208. Does 104 divide j?
True
Let c be 4*(-8)/20*-5. Suppose -4*p - c = -6*p. Does 21 divide (404/(-3))/(p*2/(-12))?
False
Suppose -2 = 2*v, -2*n + 7*n - 3074 = 4*v. Suppose 9*r - n = -227. Is r a multiple of 16?
False
Let j(r) = r**2 + 13*r - 60. Let x be j(-16). Is 10 a factor of -2 + (-6)/x*306?
False
Suppose 0 = 5*t, -d + 3*t = 54 + 111. Let j = d - -369. Does 15 divide j?
False
Does 52 divide (-1031228)/(-88) - (1 + 0)/2?
False
Let c(x) = x**3 - 14*x**2 - 4*x - 10. Let h(b) = b**3 - 3*b**2 - 2. Let a be h(4). Let k be c(a). Is (k/4)/((-8)/64) a multiple of 33?
True
Is ((-24288)/99)/(1/(-6)) a multiple of 9?
False
Let r = -44 + -135. Let t = r - -521. Suppose 4 = -2*m, -5*s - 88 = -2*m - t. Is 8 a factor of s?
False
Let z(t) = 221*t**2 + 3196*t + 17. Is z(-19) a multiple of 12?
False
Let j(v) = -v**3 + 13*v**2 + 66*v + 22. Let a be j(17). Let k(p) = p**3 - 3*p**2 - 4*p + 4. Let t be k(4). Is 84*(a/t)/(-3)*1 a multiple of 18?
False
Let l(g) = -g - 5. Let d be l(-12). Suppose -d*j = -3*j - 36. Suppose 0 = j*b - 5*b - 268. Does 21 divide b?
False
Suppose 541 = 2*b - 5*z + 180, z = -4*b + 667. Is b a multiple of 2?
True
Suppose 1843*c - 1853*c = -248400. Is 120 a factor of c?
True
Let l(k) be the second derivative of k**5/20 + 7*k**4/6 + k**3 + 7*k**2/2 + 137*k. Is 20 a factor of l(-13)?
False
Let n(y) = -5 - 5*y**2 - 2*y**2 + 2*y**2 - 7*y. Let c be n(-9). Let d = -235 - c. Does 28 divide d?
True
Let c(w) = 330*w**2 - 381*w + 1. Is c(4) a multiple of 13?
True
Let y = -2787 - -2802. Is 15 a factor of y?
True
Let x(z) = z + 37. Let a be x(-8). Does 20 divide a - 0/(-1)*(-14 - -15)?
False
Let g(r) be the first derivative of 8*r**2 + 3*r - 5. Let j be g(-8). Let y = -53 - j. Is y a multiple of 12?
True
Let y be (-335 - (-4 - -3))/(-2 + 3). Let b = -208 - y. Is 26 a factor of b?
False
Suppose 2*f + 6 = 0, -945 = -x - 5*f - 229. Is 4 a factor of x?
False
Let k(i) = 10*i**2 - 134*i - 6. Is 9 a factor of k(-7)?
True
Let i = 636 - 641. Is 3 a factor of (-3)/(-5) + (-42)/i?
True
Suppose 9 = -2*y - 19. Let u(i) = i**3 + 11*i**2 - 44*i + 1. Does 3 divide u(y)?
False
Let h(r) = 5*r**3 - 6*r**2 - 30*r - 4. Let g be h(7). Suppose -8*d + 2121 = -g. Is 7 a factor of d?
False
Let a(k) = -15*k - 9. Let l be a(-4). Let w = l + -51. Is 13 a factor of ((-15)/10 + w)*(-284)/6?
False
Let s = 15283 - 10339. Is s a multiple of 12?
True
Let m(q) = 71*q**2 - 1. Let h(l) = 70*l**2 + l - 1. Let p(n) = 5*h(n) - 4*m(n). Let t be p(5). Is t/8 + 33/44 a multiple of 21?
True
Suppose 15*t - 11*t - 8 = 0. Does 8 divide (-3 - (-276)/8) + t/(-4)?
False
Let p = 48 - 42. Let b be (4/p)/((-4)/12). Is 41 + b + 6 + -3 a multiple of 6?
True
Suppose 8*q - 4*q + 4 = 0. Let l(c) = c**2 + 5*c - 10. Let h be l(2). Is 24 a factor of (6/h)/(q/(-32))?
True
Suppose -p + 20 = 4*a, -a + 5*a - 12 = p. Suppose 3*v = 12, a*v - 160 = -2*t - t. Suppose -7*z + 5*z + t = 0. Is z a multiple of 6?
True
Let n(d) = 27*d - 1 - 6*d + 34*d**2 - 35*d**2 + 18. Let r be n(20). Suppose r*t + 336 = 41*t. Does 42 divide t?
True
Let s(f) = 2*f**2 + 4*f + 70. Is s(-47) a multiple of 20?
True
Is (-83)/(-166) + 12286/4 a multiple of 61?
False
Suppose 0 = -3*p - 4*k + 7*k - 21, 4*k = 16. Does 6 divide 65/(-52)*p*32?
True
Let y(h) = 100*h + 666. Is y(-6) a multiple of 11?
True
Is 9/15 + ((-4082)/(-91))/((-5)/(-1106)) even?
False
Let u = 9683 - 2988. Is 9 a factor of u?
False
Suppose -10*k + 80360 = 39*k. Is k a multiple of 59?
False
Let v = -98 - 10. Let a = 115 + v. Suppose -a*f = 474 - 2042. Does 14 divide f?
True
Let r(m) = 17*m**2 - 9*m + 4. Let u be r(6). Let z = -322 + u. Is z a multiple of 30?
True
Let l = -5035 + 7099. Is l a multiple of 16?
True
Let h = 194 + -200. Does 10 divide 8/(-6) - (-2)/h*-1099?
False
Suppose -5*v + 33182 = 4*p, -29*p + 3*v = -30*p + 8299. Is 146 a factor of p?
False
Suppose -17 = -15*l + 58. Suppose -l*k + 1052 = -2738. Is k a multiple of 35?
False
Let m(s) be the second derivative of -9/2*s**3 + 0 + 3/2*s**2 - 13*s. Does 8 divide m(-3)?
False
Suppose 0 = -10*g + 284 - 4. Suppose -75*