 f = 293 - -16261. Is 267 a factor of f?
True
Suppose 7205 = -3*k - 13*k + 25429. Is k a multiple of 17?
True
Let z(a) = a**2 + 2*a - 1. Let v be z(-2). Let p be (v + 2)/((-3)/6). Is 45 a factor of (-146)/p - (-3 - 1)?
False
Let o = 27 + -15. Suppose -i + 5*i = o. Suppose 2*r + 3*r - n = 199, i*n - 43 = -r. Does 10 divide r?
True
Suppose -4*m - 20 = 0, -173*m - 2345 = -5*f - 175*m. Is f a multiple of 14?
False
Suppose -42*i + 1016 = -27155 + 955. Does 36 divide i?
True
Suppose 15 = x + 4*x. Suppose 543 = 37*m - 15515. Suppose 2*t - 4*q + q - 291 = 0, -x*t + 2*q + m = 0. Does 27 divide t?
False
Let m(a) = 8*a**3 - 3*a**2 + 4. Let b(l) = 9*l**2 - 37*l + 24. Let s(h) = 2*h**2 - 9*h + 6. Let j(k) = 6*b(k) - 26*s(k). Let g be j(-7). Does 7 divide m(g)?
True
Let d(n) = n**2 - 18*n + 11. Let k be d(18). Suppose o = k*o - 70. Suppose 2*a - 2061 = -o*a. Does 19 divide a?
False
Let q(i) = -7*i + 0*i + 4*i + 2*i + 5. Let n be q(5). Suppose n = -0*s + 2*s - 40. Is s a multiple of 10?
True
Let z(k) = 54*k**3 + k**2 - 17*k + 38. Is 137 a factor of z(5)?
False
Suppose 56500*t + 29358 = 56518*t. Is 7 a factor of t?
True
Let t(d) = 16*d - 24. Let c(n) = 33*n - 48. Let v(f) = -3*c(f) + 5*t(f). Is 22 a factor of v(-8)?
True
Let o(b) = 7*b**3 + 2*b**2 - 2*b + 4. Let i be 2*1*21/(210/20). Is 34 a factor of o(i)?
True
Is (21/(-14) + -1 + 2)*16048/(-2) a multiple of 17?
True
Suppose -4*x = -4, -i + x - 2*x = -388. Suppose -73*q - i = -76*q. Does 35 divide q?
False
Suppose -7*z + 8*z - 2 = 5*x, 4*z - 8 = -5*x. Suppose x = -44*a + 38*a + 420. Does 5 divide a?
True
Let q(m) = -2*m**2 - 8*m + 11. Let y be q(-7). Let i = 33 + y. Is 16 a factor of (-2)/(((-17)/16 + 1)/i)?
True
Let z be 2346/21 - (-14)/49. Let b = z - -47. Is 57 a factor of b?
False
Let z(m) = 11*m + 134. Let g be z(-12). Does 5 divide ((-1)/g)/((-4395)/(-628) - 7)?
False
Suppose 5*l = -2*v + 48114, 19*v + 48102 = 5*l + 15*v. Is 17 a factor of l?
True
Let z(g) = -65*g**3 - 44*g**2 + 30*g + 4. Let w(m) = 23*m**3 + 15*m**2 - 10*m - 1. Let j(f) = 17*w(f) + 6*z(f). Let b = 12 + -4. Is 23 a factor of j(b)?
True
Suppose 40 = -x + 2. Suppose -72*h - 2583 = -31*h. Let s = x - h. Does 2 divide s?
False
Suppose 0 = -7*h - 16 + 30. Suppose 0 = -7*m + 4*m - 9, 0 = -h*u + 4*m - 184. Let p = u + 165. Does 6 divide p?
False
Suppose -34572 = -4*y + 4*c, 0 = -33*y + 34*y - 5*c - 8623. Does 188 divide y?
True
Let u(j) = 531*j - 4347. Does 252 divide u(77)?
True
Let p be -2 + 6 + 1 + 4/(-2). Is 217 + (p/5 - 96/60) a multiple of 8?
True
Let p = 86 + -95. Let g be (1/(-2))/(-6 + (-1947)/(-324)). Is 18 a factor of p/(g/(-24)) - 210/(-1)?
False
Let r be 1/(-1 - 5 - 38/(-6)). Let t be (-21)/(-9) + 1/(-3). Suppose 271 = 5*s + t*q, 4*q + 70 = r*s - 77. Is s a multiple of 8?
False
Suppose 0*c + 19 = u - 3*c, 0 = 3*c - 3. Let l be 4/(u/12 + -2). Let a = 35 + l. Is 11 a factor of a?
True
Suppose 4*w - 2*w = 4*c + 98, 0 = 3*w + 5*c - 125. Suppose -4*x - 3*m + 41 = 0, w = 4*x - m - 0. Is 3 a factor of x?
False
Let j(g) be the third derivative of -133*g**4/24 - 10*g**3/3 - 15*g**2. Is j(-2) a multiple of 18?
False
Let q be (-12396)/14 + (-141)/(-329). Let i = -81 - q. Is i a multiple of 67?
True
Let r = 32874 - -2646. Is r a multiple of 40?
True
Let f be 49/(-4) + 1/4. Let p be (6/f)/(4/(-40)). Suppose -4*w - 1008 = -5*v, 9*v - 5*v - 790 = -p*w. Is 20 a factor of v?
True
Let q = 1278 + -538. Let p = -184 + q. Does 37 divide p?
False
Suppose 0 = 19*j - 3681 - 8196 - 2487. Does 18 divide j?
True
Let n(v) = 26*v + 13. Let f be 2/(-4) + 18/(-4). Let g be (f/15)/(2/(-24)). Is 14 a factor of n(g)?
False
Let z be (-16 - -9)*2/(-7). Suppose 5*v - 3*w + 35 = w, 0 = 4*v + z*w + 2. Is ((-84)/v - 2) + -4 + 2 a multiple of 6?
True
Let z(u) = u**2 - 2*u + 6. Let g = -16 + 20. Suppose -3*p + f + 5 + 8 = 0, -g*p + f + 18 = 0. Is 7 a factor of z(p)?
True
Suppose 3*z = -l + 284, 5*z + 3*l = l + 472. Let p = 258 - z. Is 9 a factor of p?
True
Suppose v + 35 + 16 = 0. Let h = v + 159. Suppose p - 22 = -0*p - 5*w, 3*p - h = -w. Is 6 a factor of p?
False
Is 4 a factor of 4 - (4 + -10) - -1707?
False
Let w(g) = -23*g + 16. Let a(d) = -2*d + 1. Let o(j) = 3*a(j) - w(j). Is 7 a factor of o(2)?
True
Let u = -117 - -7056. Does 24 divide u?
False
Is (-4)/(-42) + 0 - (-71500)/1155 a multiple of 4?
False
Let t = -70 + 11. Let f = 67 + t. Suppose 3*u - 4*x = 83 - f, -2*u + 2*x = -48. Does 8 divide u?
False
Let k(n) be the first derivative of n**4/4 - n**3 + 3*n**2 - 2*n - 59. Is 2 a factor of k(2)?
True
Let d(m) = 200*m - 41. Let w be d(8). Let h = -924 + w. Does 7 divide h?
False
Let p = -280 + 296. Suppose -p*n + 8316 = -2*n. Is 54 a factor of n?
True
Let b = -16212 + 17973. Does 3 divide b?
True
Suppose 0 = -2*u - 8, s + 3*u + 2 = -5. Let n(o) = -682*o**2 - o + 1. Let h be n(1). Does 13 divide ((-3)/s)/(4 + h/170)?
False
Suppose -t - b = 3 + 8, 4*t + 42 = -3*b. Let q(m) = 3*m + 49. Does 22 divide q(t)?
True
Suppose 5*q - 15*p - 3953 - 6167 = 0, p = -4*q + 8213. Does 3 divide q?
False
Let o be -184 - 0*(-2)/(-6). Let b be -128 + -5 + -6 + 9. Let n = b - o. Is n a multiple of 18?
True
Suppose 4*k - 3*l = 11, -9 = l - 4*l. Suppose k*d + 1115 = 10*d. Does 9 divide d?
False
Suppose -12*b - 3044 = -14*b - 4*q, -4*b + 6108 = 3*q. Does 153 divide b?
True
Let k(d) = -d**3 + 19*d**2 + 21*d + 26. Let n be k(20). Let j = n + -40. Is 43/j - -1*4/(-24) a multiple of 3?
False
Let u(m) = 3*m**2 - 140*m - 452. Is 40 a factor of u(-42)?
True
Let y(a) = -61*a**2 - 869*a - 12. Is y(-13) a multiple of 127?
False
Let c(s) = -25*s - 208. Let o be c(-9). Is 13 a factor of 14*o + 0*(-13)/65?
False
Suppose -3*i - 5*i = -2488. Let w = 2 + i. Is 85 a factor of w?
False
Suppose 3*d - 20 + 8 = 0. Suppose -317*y = -323*y + 354. Suppose -t = 2*z - y, 3*z + 213 = d*t - t. Is t a multiple of 18?
False
Let v = -129 - -197. Let d = -33 + v. Is d a multiple of 5?
True
Suppose -8 = r - 8. Suppose m + 7 + 7 = r. Does 9 divide (m/21)/(4/(-486))?
True
Is -15 - (-63603 + (-51)/(-17)) a multiple of 18?
False
Let g(u) = 151*u + 4228. Is 9 a factor of g(-13)?
False
Let h = 97 - 100. Let n(p) = -10*p - 11. Let q be n(h). Suppose 3*l = u + 74, -q = -l + 4*u + 2. Does 5 divide l?
True
Does 4 divide 4571216/1456 - 3/(-7)?
True
Suppose 333938 + 312801 = 71*p. Is 387 a factor of p?
False
Let y be 0*((-2)/8)/(-1). Suppose y = 2*w + 5*t - 1, w + 4*t - 33 = 4*w. Does 5 divide w/14 + 297/6?
False
Suppose -5*t = -h - 79, -3*h = 3*t - 2*h - 41. Suppose 0 = -13*c + t*c - 12. Suppose -c*k = -54 - 378. Is 8 a factor of k?
True
Let g = 4952 - 1962. Does 5 divide g?
True
Let a(r) = -r**3 + 19*r**2 - 20*r + 46. Let z = 117 + -99. Does 10 divide a(z)?
True
Suppose 0 = 3*u + 4*j, u = 6*u - 5*j. Suppose -3*w = 2*y - 56 - 340, u = -5*w - 5*y + 660. Is w a multiple of 6?
True
Suppose 1756 = 4*q - 2*o, 20 - 4 = -4*o. Suppose 4*z - q - 619 = 0. Is z a multiple of 8?
True
Suppose -20*x + 29*x = 6*x + 13656. Does 6 divide x?
False
Let y(c) = -29*c - 33. Let h(i) = 15*i + 16. Let k(o) = 9*h(o) + 4*y(o). Let r(t) = -t**3 + 4*t**2 + 3*t - 6. Let g be r(4). Is 42 a factor of k(g)?
True
Let c(s) = 6 + s**3 + 9*s**2 - 10*s + 3 + 7*s**2 + 8 + 22. Is c(-15) a multiple of 63?
False
Let g(o) = -428*o + 2642. Is g(-24) a multiple of 177?
False
Let n = -3670 + 4444. Is 9 a factor of n?
True
Suppose 0 = 5*p + 4*k - 4338 - 6602, -2174 = -p + 2*k. Is 22 a factor of p?
False
Let o be 14/(1 - 1 - (-1)/(-43)). Let r = o - -1022. Is 17 a factor of r?
False
Let s = -3059 - -3749. Is s a multiple of 5?
True
Let p(u) = -6*u**3 - u**2 - 4*u - 6. Let l be p(-2). Suppose -7*b = -l - 45. Let y = -8 + b. Is y a multiple of 2?
False
Let f(b) = 15*b - 97. Let d be f(23). Suppose d*w - 912 = 244*w. Is w a multiple of 12?
True
Suppose 0 = -54*r + 56*r - 4*l - 20480, -2*r + l + 20471 = 0. Does 17 divide r?
True
Let a(q) = q**3 - 5*q**2 - 2*q. Let w be a(5). Let j = 10 + w. Is 10 a factor of (12 - j)*420/63?
True
Let w(h) = 8*h**2 - h - 16. Let m be w(-3). Suppose m*j - 39*j - 760 = 0. Is j a multiple of 7?
False
Let v = -86 - 105. Let u = 294 + v. Let d = u + -100. Does 2 divide d?
False
Suppose -55*u + 9434920 = 109*u. Is u a multiple of 15?
False
Let q = -60 + 63. Suppose -q*g + 9 = -0*g. Is g even?
False
Suppose -5*q - 189 = -2*x - 522, -5*x - 864 = -2*q. Let 