 p be b(n). Is 42 a factor of p - 2/(0 - -2) - -212?
True
Let w(l) = 736*l - 18. Is 3 a factor of w(1)?
False
Let v(x) = 29*x - 141. Let d be v(5). Let m be 85/(-10) + 2/(-4). Is 3 a factor of 35 + d*-1 + m + 17?
True
Let u = -832 + 832. Suppose u = 3*v - 12, 5*j = 8*j + v - 1045. Is j a multiple of 2?
False
Suppose 2*q - 11 = 23. Suppose -21*z + 384 = -q*z. Is 48 a factor of z?
True
Suppose l - 957 = -3*h, h = -4*l - 2336 + 6175. Is l a multiple of 32?
True
Let j(y) = y**3 + 45*y**2 - 109*y - 127. Is j(-47) a multiple of 11?
False
Is (-4)/(-6)*(-120 - -24702) a multiple of 13?
False
Suppose 0 = 41*x - 8025 - 1979. Does 12 divide x?
False
Suppose 7*u + 602 = 11*u + 3*k, 4*k = 5*u - 768. Suppose 4*g = 4*h - 51 + 707, g + 5*h - u = 0. Does 6 divide g?
True
Let q(r) = 28*r + 381. Is q(18) a multiple of 5?
True
Let s = 235 - -20. Let o = s + -72. Is o a multiple of 38?
False
Suppose 0 = 26*y + 289969 - 1330333. Is y a multiple of 117?
True
Let n(b) = 23*b**3 - 9*b**2 - 15*b + 165. Is 32 a factor of n(6)?
False
Suppose 2*p = 2*l + 39702, 769*p - 766*p - 59513 = -5*l. Is 13 a factor of p?
False
Let x(c) = c**3 + 16*c**2 - 19*c - 30. Let l be x(-17). Suppose -3*r = l*d - 1200, -2*d + 5*r - 313 = -913. Does 12 divide d?
True
Let b(n) = 62 - 5945*n - 8 + 5821*n + 6. Is 23 a factor of b(-5)?
False
Suppose -8*b + 11206 + 50570 = 0. Suppose -19*y + 1037 + b = 0. Does 14 divide y?
False
Let t(c) = 2*c**3 + 72*c**2 - 3*c - 17. Is t(-35) a multiple of 27?
True
Is (3/7 + (-762)/210)/(1/(-1280)) a multiple of 8?
True
Let a(k) = k + 13. Suppose 14 = -5*b - 26. Let r be a(b). Suppose -u = -w - 5*u + 26, r*w + 5*u = 85. Does 10 divide w?
False
Suppose -5221 - 5029 = -25*m. Suppose 0 = 11*d - m - 1075. Is 4 a factor of d?
False
Suppose -5*t + 3*c + 885 = 7*c, -3*c - 885 = -5*t. Let n = 334 + t. Does 7 divide n?
True
Let k(y) = -4*y**2 - 5*y - 4. Let a be k(-6). Let m = -319 + 245. Let j = m - a. Is 10 a factor of j?
False
Let k(x) = 34*x + 102. Let i(v) = -v - 2. Let a(r) = -2*i(r) - k(r). Does 27 divide a(-8)?
False
Let s(j) = 2*j**2 - 58*j - 184. Is s(58) a multiple of 20?
True
Let r(z) = 61*z + 1421. Let g be r(-23). Let n = 13 + 1. Does 8 divide 580/n - g/42?
False
Suppose 4 = 4*j, 1941 = -3*h + j + 12416. Is 157 a factor of h?
False
Suppose -9152 - 4738 = 30*y. Let j = -275 - y. Does 32 divide j?
False
Let m = 8 + -20. Suppose 0 = -5*o + 3*z + 4809, o = -7*z + 9*z + 959. Is (-2 + 8/m + 3)*o a multiple of 14?
False
Let x = 354 - 2. Suppose 5*q + 0*q + m - x = 0, 0 = -q - 2*m + 65. Is q a multiple of 5?
False
Suppose -79213 = -142*t + 99114 + 94029. Does 3 divide t?
False
Suppose 0 = 5*k + 14*f - 13*f + 1115, -f = -3*k - 669. Is 7 a factor of 6/15 - k/5?
False
Let y(k) = -497*k + 11750. Is y(-55) a multiple of 96?
False
Let d = -51 + 51. Suppose d = r - 5*r + 4. Does 12 divide 2/(84/(-306) - r/(-3))?
False
Let f be (-3)/(42/(-46)) + (-70)/245. Suppose 781 = 2*k + f*z, 5*k - 2*z - 1910 = -z. Suppose -q - x = -k, -4*q = -3*x - 985 - 554. Does 47 divide q?
False
Let r be (-2 + 2)*(-8)/16. Suppose r = 7*f - 4*f - 24. Suppose 3*h = f*h - 240. Does 24 divide h?
True
Suppose -3*i = -5*a - 144978, i + 2*i - 10*a - 144948 = 0. Is i a multiple of 304?
True
Is 5 a factor of 1043/3 - (-154)/66?
True
Suppose -15*r + 9*r + 1092 = 0. Suppose -2*o + a + 166 = 0, -2*o - 2*a - 10 + r = 0. Is o a multiple of 4?
True
Suppose -3*s + 171 = o, -3*o + 51 = 2*s - 448. Let z = o - 57. Is z a multiple of 9?
True
Suppose -141 = -7*q - 15. Is 46 a factor of 5*(-12)/q*-90?
False
Suppose -416*c + 418*c + 2*q - 3148 = 0, -2*q - 7891 = -5*c. Is 5 a factor of c?
False
Let h = 70 + -67. Suppose h*n - 7 = 3*k + 29, 5*n - 15 = -4*k. Suppose n*r = -r + 336. Is r a multiple of 19?
False
Suppose 7*c = 4*c - 162. Is 8 a factor of (-4)/c + 239954/297?
True
Is 12 a factor of -15*((0 - 22/(-33)) + 400/(-3))?
False
Let d = 26167 - 12031. Is 248 a factor of d?
True
Let t(g) = g + 20. Let s be t(-6). Let d be (-21)/s*(1 - (-429)/(-9)). Suppose 29*o = 27*o + d. Does 7 divide o?
True
Suppose 6*q - 80580 + 65034 = 99822. Is 44 a factor of q?
True
Suppose -3*u + 105 = 3*r, 7*r - 2*r + 35 = 2*u. Suppose -u = -5*b + 4*q, -2*q = 3 - 13. Is b a multiple of 7?
False
Is 102150/(-300)*(-1 - 3) a multiple of 34?
False
Is (-3)/12*-82079 + (-3)/(-12) a multiple of 152?
True
Let l = -1 - -4. Suppose -3*x + 145 = l*b + 2*x, 5*x = 25. Let d = 50 - b. Is d even?
True
Let l(f) = 18 + f**3 - 9*f**2 - 3*f + 9*f**2. Suppose 24*v - 57 = 39. Does 14 divide l(v)?
True
Let y(f) be the second derivative of 2*f**4/3 - 5*f**3/3 - 6*f**2 - 37*f. Is 3 a factor of y(5)?
True
Suppose 7*t - 27770 - 6671 = -4*t. Is t a multiple of 31?
True
Let l(d) = -1541*d + 1919. Is l(-13) a multiple of 16?
True
Suppose 26293 = 2*o - k, 3*o - 13073 = -3*k + 26398. Is o a multiple of 124?
False
Suppose 7 = -s + 4. Let g(n) = -9*n - 3. Let l be g(s). Suppose -21*h - 33 = -l*h. Is h a multiple of 3?
False
Let l = 11 + -100. Let j = 129 + l. Does 20 divide j?
True
Let o be (-4)/(-6) + (-64)/(-12). Suppose -o = -24*b + 21*b. Suppose 2*s - 192 = 2*u, -4*u = 5*s - b*s - 288. Does 16 divide s?
True
Let z = 6 - 1. Suppose -z*v + 10*v = 0. Suppose 3*y - 344 = -2*a, -2*y - 3*a + 226 = -v*a. Is y a multiple of 20?
False
Let o(b) = b**2 + 10*b + 11. Let c be o(-9). Suppose -c = -l + 4. Let p(x) = 3*x - 11. Is p(l) a multiple of 3?
False
Let m(p) = -28*p**2 + 4*p + 2042. Does 44 divide m(0)?
False
Let v be 74 + (-4)/(-26) + (-20)/130. Suppose 0 = -2*f - 0*f + 5*i + v, 5*f + 3*i = 216. Does 19 divide f?
False
Let u(b) = -b**2 + 17*b + 6. Let s be u(12). Suppose -3*d = 3*q + d - s, q + d = 22. Is q a multiple of 22?
True
Suppose -5*f = 4*p - 9016, p - 6*p = -20. Suppose 3*j = 4*w + f, j - 552 = 4*w + 48. Does 89 divide j?
False
Suppose -825 = 5*m - 0*g + 3*g, 0 = 4*m + 3*g + 657. Let k = m - -197. Is k a multiple of 2?
False
Let w be (-20)/55 + (-295)/(-55). Suppose 4*g + 46 = 3*u - 0*g, -w*u - 4*g = -34. Is u a multiple of 5?
True
Let z(b) be the third derivative of -61*b**4/24 - 49*b**3/3 + 144*b**2. Does 7 divide z(-14)?
True
Let a(w) = -23112*w + 557. Is 274 a factor of a(-2)?
False
Let h = -4954 - -6809. Does 7 divide h?
True
Suppose -3*r + 2*t + 722 = -237, 0 = -3*r + 5*t + 962. Is 45 a factor of r?
False
Let l = 1821 + -1389. Is l a multiple of 18?
True
Let w(b) = -b**3 - 3. Let y(m) = -5*m**3 + 38*m**2 + 3*m + 36. Let h(q) = -4*w(q) + y(q). Is 27 a factor of h(38)?
True
Let c(d) = -d**3 + 12*d - 6. Let b(z) = z**3 + 16*z**2 + 16*z + 9. Let l be b(-15). Is c(l) a multiple of 12?
False
Let x(g) be the second derivative of 3*g**5/20 + g**4/6 - 10*g**3/3 + 3*g**2 + 84*g. Is x(4) a multiple of 25?
True
Suppose 11*d - 6*d = -5, 2*w + 3*d = 17. Is 27 a factor of 13/((-429)/(-6660)) + w/55?
False
Suppose 0 = -t - 2*t - t. Suppose t = 3*h - 4*h + 4. Suppose 4*c + f = 2*f + 306, h*f - 393 = -5*c. Is c a multiple of 7?
True
Suppose -11*r + 14*r = 2*l - 4119, -3*l + 6189 = -3*r. Is 18 a factor of l?
True
Suppose 0 = -11*m + 15*m - 324. Suppose 549 = m*u - 78*u. Suppose 4*j + 3*w = u, -5*w = -5*j + 47 + 138. Is j a multiple of 25?
False
Let f(j) = -8*j - 15. Let h be 2119/(-195) - 4/30. Does 9 divide f(h)?
False
Suppose -5*j - 475 = y, -2*j = 3*y + y + 172. Let q = 299 + j. Is 6 a factor of q?
False
Suppose 0 = -96*r + 86*r + 250. Is (-15)/r - (-6116)/10 a multiple of 13?
True
Suppose 0 = r - 4, 2*r = -5*t - 17063 + 129946. Is 80 a factor of 4/16 - (t/20)/(-5)?
False
Suppose 5*v = -w - w + 9, -4*v = 2*w - 8. Suppose w*d - 4 = 4. Suppose -5*m + 84 = -3*m + 4*s, 2*s = -d*m + 144. Does 17 divide m?
True
Let b(c) = 3*c**3 - c**2 + 5*c + 5. Let o be b(3). Suppose 3*f - 3*w = -f + 183, o = 2*f - 2*w. Is 6 a factor of f?
False
Let y = 4930 + -3903. Is 9 a factor of y?
False
Suppose 3*k = -3*l + 172317, -18*l + 21*l = -5*k + 287207. Is k a multiple of 51?
False
Is 41 a factor of (-3)/(-2) - (-2566512)/288?
False
Let g = -30 + 32. Suppose g*d = 258 + 134. Is d a multiple of 14?
True
Let t(r) = 49*r**2 + 37*r + 1210. Does 72 divide t(-23)?
True
Let o(g) = -2*g + 4. Let p be o(1). Suppose -p - 2 = -j. Suppose j*c + 3*u = 161, c - 24 = 3*u - 7*u. Is 14 a factor of c?
False
Let m be 6/10 + (3 - 52/20). Suppose -6*f = -29 - m. Suppose 111 = f*s - 234. Is 23 a factor of s?
True
Let s b