 n = -71 + 74. Suppose 5*y - 2030 = n*r, 5*y + r - 1637 = 413. Is 24 a factor of y?
False
Let x = 22585 - 11337. Does 108 divide x?
False
Suppose -19*r = 26*r - 106425. Is r a multiple of 11?
True
Let a = 926 - 978. Let x(q) = q**3 + 53*q**2 + 30*q + 25. Does 7 divide x(a)?
True
Suppose -4*d = -700 - 1816. Suppose -2*m + d = 5*o, -m + 5*o = 4*m - 1555. Let a = m - 132. Is a a multiple of 36?
True
Is (-1 + 1/5)/(54659176/3904230 - 14) a multiple of 16?
False
Let q(p) = -2*p**2 + 39*p - 45. Let s be q(10). Let d = s - 88. Is 14 a factor of d?
False
Let c(r) = 15*r**2 + 23*r - 10. Let a be c(4). Suppose 165*b = 167*b - a. Is 29 a factor of b?
False
Suppose -3*n + 30 = n + 3*m, -2*n = m - 14. Suppose -n*x = -9*x - 1665. Is x/(-9) - ((-26)/6 + 3) a multiple of 16?
False
Let q = 21133 - 13048. Does 165 divide q?
True
Let l = -116254 + 176089. Is 48 a factor of l?
False
Suppose 0*l = 2*l + 36. Let r = l - 18. Does 6 divide (-2)/(-12) - 1722/r?
True
Let p = -2584 + 2868. Is 32 a factor of p?
False
Let b = 7 + 3. Suppose -i = -k + 2*i + b, -56 = -4*k + 4*i. Suppose 3*q - k = 2*q + 2*x, -2*q = -x - 20. Is 2 a factor of q?
True
Let k(m) be the second derivative of m**5/20 - 7*m**4/12 - 4*m**3 - 3*m**2/2 - 33*m. Let l be k(-10). Is (-15)/(-3) - l/11 a multiple of 23?
True
Suppose -5*i = a + 1290, 252 = -i - 31*a + 32*a. Let x = 376 + i. Is x a multiple of 4?
False
Let x = -268 - -318. Suppose -2*d = -3*c + 251, 4*d - 29 = -c + x. Does 3 divide c?
False
Suppose -693*f + 11985813 = -126*f. Is f a multiple of 13?
False
Suppose -5*w - 984 = -3*s + 10068, -3*s + w = -11064. Does 53 divide s?
False
Let c(t) = -218*t + 851. Is 17 a factor of c(-7)?
False
Let y(m) = -2*m**2 - 1. Let n be y(0). Is (n - -9)*115/10 a multiple of 23?
True
Let s = 217 + -220. Does 2 divide ((-6)/(-4))/(s/(-82))?
False
Suppose 19809 = 15*l - 25159 - 19832. Does 40 divide l?
True
Is 4*((-72)/9 + 1761) a multiple of 17?
False
Suppose -30*t + 466799 - 71994 + 234415 = 0. Is 8 a factor of t?
False
Let o be 3*4/24*0. Suppose -4*y - 218 = 5*p, 3*y + o*y - 101 = 2*p. Let f = -22 - p. Does 9 divide f?
False
Suppose 2*j = 282 - 40. Let v = 88 + 37. Suppose -84 = j*h - v*h. Is h a multiple of 3?
True
Let f be (-167 - -241)*(2/(-4) + 1). Let g = f + 99. Does 4 divide g?
True
Let n(x) = 7*x + 79. Let j be n(-12). Is (j - (11 - 577)) + (2 - 0) a multiple of 12?
False
Let k(p) = p**2 + 3*p + 2. Let h be k(0). Suppose -2 = h*g - 3*g + 5*y, g + 2*y + 12 = 0. Is 14 a factor of (56/(-3))/(g/12)?
True
Let h(f) = 5*f**2 + 285*f - 876. Does 8 divide h(-69)?
True
Let i(w) = -153*w**3 - 2*w**2 - 2*w - 1. Let f(t) = -7*t - 64. Let h be f(-9). Does 8 divide i(h)?
True
Suppose -45*r + 1276729 = 45*r - 1097291. Is 180 a factor of r?
False
Suppose -3*g = -4*g - g. Suppose g = -7*a + 3*a + 40. Suppose 9*i - 7*i = a. Does 5 divide i?
True
Suppose 13*c - 3190 = -16671. Let j = -715 - c. Is j a multiple of 16?
False
Let m(s) = -s**3 + s + 1. Let d(w) = 5*w**3 + 8*w**2 + 12*w - 8. Let f(b) = -d(b) - 3*m(b). Does 21 divide f(-7)?
False
Let w(o) = -15*o + 296. Let x be w(8). Suppose -4*i + 5*i + 4*z = -113, 5*z - 339 = 3*i. Let q = x + i. Is q a multiple of 22?
False
Let i(k) be the third derivative of -k**5/60 - k**4/2 + 2*k**3/3 + 13*k**2. Let w be i(-11). Does 13 divide (160/15 - 2)/(2/w)?
True
Let t be (4/(-8))/(1/(-6)). Suppose 245 = t*n - 16*f + 11*f, 0 = f + 1. Is n a multiple of 20?
True
Suppose 0 = -521*r + 7552338 + 5139222. Is r a multiple of 145?
True
Suppose -149*y + 464945 = 67*y + 97745. Does 10 divide y?
True
Let a(z) = 2*z**3 + 8*z**2 + 34*z - 528. Is 16 a factor of a(13)?
False
Let p(z) = 4*z**2 - 148. Let v(h) = -21*h + 55. Let x be v(3). Is 6 a factor of p(x)?
True
Let x = 5423 + 1804. Is x a multiple of 33?
True
Let o(n) = -101*n + 1412. Does 11 divide o(13)?
True
Let n(m) = m - 19 + 21 - 9 + m - m**2 + 27*m**3. Is n(2) a multiple of 19?
True
Let m = -323 + 1468. Is m even?
False
Let i = 1910 - 1703. Does 15 divide i?
False
Suppose -240132 - 38178 = -30*d. Does 10 divide d?
False
Suppose -2*v = 5*a - 5008, -4*a = 199*v - 202*v + 7581. Does 47 divide v?
False
Suppose 0 = -0*b + 2*b - 100. Let u = b + 12. Let m = u + -8. Is m a multiple of 27?
True
Let n be (-2)/(-3)*(1 + -10). Let m be n/(-8)*(-1 + 3 + 6). Suppose 0 = 3*a - 0*a + 3*w - 414, 0 = -3*w + m. Is 17 a factor of a?
True
Let u be (20/6)/(-7 + (-29995)/(-4284)). Suppose -26*x = -32*x + u. Does 27 divide x?
False
Suppose -15 = -3*z, 0 = h + 4*z - 344 - 792. Is h a multiple of 62?
True
Let r(s) = -4*s - 24. Let m be r(-7). Suppose -m*j + 1977 = 361. Suppose 1364 = 6*a + j. Does 32 divide a?
True
Let x(v) = 22*v**2 - 6*v**2 - 26*v + 15 + 5 - 2*v**3 + v**3. Does 3 divide x(7)?
True
Let h(x) = 5*x**3 - 2*x**2 - 4*x - 2. Let q be h(3). Let r = q + -89. Suppose -12*o + r*o = 400. Does 37 divide o?
False
Let l = -221 - -12. Let b = l - -568. Is 4 a factor of b?
False
Let s be ((-24)/5)/2*(-5 + 0). Suppose 0 = -p + 3*p - 4*y + s, -4*p - 12 = -5*y. Suppose p*m + 33 = 5*m. Does 8 divide m?
False
Let o = -75 - -31. Let v = -28 - o. Suppose 11*r + 715 = v*r. Is 45 a factor of r?
False
Let c be 5/(-15) + 110/(-3). Let v = -34 - c. Is (-204)/9*(9/(-2) + v) a multiple of 17?
True
Let h(k) = 4*k + 6. Let s be h(5). Suppose z - s = -21. Suppose p + j - 92 = 0, -3*p + z*p = 4*j + 154. Is p a multiple of 10?
False
Suppose 3*d - 333 = -2*d - k, 4*d + 3*k - 262 = 0. Let v = d + -55. Does 12 divide 2*6/9*v*3?
True
Let z(f) = 90*f + 46. Suppose -12*c + 4*c = -48. Let t be z(c). Suppose 6*n - t - 158 = 0. Does 5 divide n?
False
Let g be 16/(-4) - 0 - (-7 - -1). Is (372/24)/(g/8) a multiple of 31?
True
Suppose 14*y - 60480 = -18*y. Is 35 a factor of y?
True
Let t(n) = n**3 + 6*n**2 + 13. Let o be t(-6). Suppose -o = -5*c - 3*s, -s - 13 = -c + s. Suppose 2*f = -2*b + 128, f - 3*b + 254 = c*f. Is f a multiple of 29?
False
Suppose -13*c + 197365 = -2*g, -70*g + 24 = -74*g. Is 17 a factor of c?
True
Suppose -20*b = -44*b. Let z(x) = -2*x**2 + 171. Is z(b) a multiple of 21?
False
Let h be 2/8 + 287/(-28). Let r(a) = 3*a**2 - 4*a - 26. Let i be r(6). Is 10 a factor of h/1*(i/(-4) + -4)?
False
Let p(z) be the third derivative of z**6/120 - 11*z**5/60 + z**4/24 - z**3/6 - 3*z**2. Let b be p(8). Let o = 270 + b. Is 38 a factor of o?
False
Let f = 44 - 42. Suppose -3*u + f*w + 146 = -0*w, -2*u + 96 = -2*w. Suppose 0*b + 2 = b, -m + u = 4*b. Does 21 divide m?
True
Let y(s) = s**2 + 17*s + 11. Let f be y(-22). Let q = -32 - 24. Let v = f + q. Does 25 divide v?
False
Suppose 0 = 8*o - 5460 + 372. Does 24 divide o?
False
Suppose -3*v = 327 - 324. Does 65 divide v + (554 - (-8 + 5))?
False
Suppose -145*a + 144*a = 5*q - 56798, 0 = -q - 3*a + 11354. Is 20 a factor of q?
True
Suppose s - 17 = 5. Suppose 0 = -s*y - 1338 + 5562. Does 64 divide y?
True
Let t(j) = -765*j - 1246. Is t(-6) a multiple of 88?
True
Suppose -5*n + 1201 = 2*f, 3*n = 8 + 7. Suppose -3*t + 356 = l, -f = -5*t - 13*l + 10*l. Is t a multiple of 40?
True
Let f = 742 - 435. Suppose -2*g + 53 + f = 0. Is 9 a factor of g?
True
Suppose 0 = 17*n - 91*n + 269138. Does 9 divide n?
False
Suppose -2*j = -2*v - 4, 2*j + 2 = -v + 6. Suppose 2*q - 2 = -0*q, -j*q - 718 = -5*t. Is t a multiple of 36?
True
Let q(u) = u**2 + 7*u - 41. Let f be q(-11). Suppose -2*n = f*a - 150 - 391, 4*n + 4 = 0. Is 46 a factor of a?
False
Suppose -6*v - 4*f + 66 = 0, -21 = -5*v - 4*f + 34. Suppose -v*n = 3269 - 8307. Does 23 divide n?
False
Let t = -3154 + 5029. Is t a multiple of 4?
False
Let n(p) = p**3 - p**2 + 7. Let h be n(0). Let d be (-372)/(-2*27/36). Suppose -m = h*m - d. Is m a multiple of 11?
False
Let o(a) = -6 + a + a**2 + a**3 + 5 + 3*a**2. Let p be o(-3). Suppose 3*l - q - 217 = 0, 4*l - p*q - 292 = -q. Is l a multiple of 18?
True
Let i be 379 + (15/3 - -1). Let w = 495 - i. Is 22 a factor of w?
True
Let h(u) be the third derivative of 85*u**4/12 + 20*u**3/3 - 2*u**2 + 20*u. Does 13 divide h(7)?
False
Let c = 105 - 102. Does 23 divide -318*(-12)/(-36)*c/(-2)?
False
Suppose -5*z = 3763 + 702. Let q = -599 - z. Is q a multiple of 42?
True
Is 20 a factor of (105/(-10) + 13)*(265 + -3)?
False
Let j(f) = -5*f**3 - 4*f - 4. Let d be j(5). Let p = 676 + d. Does 12 divide p?
False
Let o = 40 - 39. Let d be (1 + o/(-2)*2)/2. Suppose -4*g =