+ 4*b + 11302 = 670*k. Is k a multiple of 53?
False
Let b(v) = -3*v**3 - 9*v**2 - v + 7. Let i(f) = f**2 + 10*f - 2. Let c(h) = 10*h - 3. Let m(p) = 3*c(p) - 2*i(p). Let o be m(5). Is 54 a factor of b(o)?
True
Let h = -35 + 39. Suppose -7*d - 8040 = 3*d. Does 33 divide d/(h/(-1)) - 3?
True
Let p(c) = 79*c - 329. Is p(11) a multiple of 10?
True
Is 12 a factor of (-2)/(-4)*-10 - (-1 - 16)?
True
Suppose 37*k = 2727207 - 754293. Is 35 a factor of k?
False
Suppose -412*j = -15450144 - 1680816. Is j a multiple of 126?
True
Let f be (-270)/4*(-24)/30. Suppose 0 = -6*a + 9*a - f. Suppose -a*o + 550 = -13*o. Is 14 a factor of o?
False
Is 8 a factor of (-16)/208 - (-11)/(572/69580)?
False
Let h = -9008 + 11544. Does 17 divide h?
False
Let v = 1672 - -753. Is v a multiple of 10?
False
Let r be (6 + -2 + (-1114)/4)*-16. Suppose -r = -42*g + 6*g. Is g a multiple of 2?
True
Let n(l) = -2*l**2 - 159*l - 461. Does 4 divide n(-63)?
False
Let m(f) = -5*f + 118. Let d be m(-12). Let b = d + -35. Is 3 a factor of b?
False
Let o(g) = 183*g - 3. Let j be o(1). Suppose -p - j = -6*p. Suppose -p = 2*a - 84. Is a a multiple of 6?
True
Suppose 4*u - 10 + 0 = 5*g, -5*g - 10 = u. Let j(s) = -5*s - 7. Let p be j(g). Suppose -p*o + 170 = -97. Is o a multiple of 25?
False
Let b(l) = -243*l**2 - 3. Let o(a) = -a**2 + a - 1. Let i(u) = b(u) - 2*o(u). Let k be i(-1). Let g = -36 - k. Does 17 divide g?
True
Let p = -17799 + 36327. Is 32 a factor of p?
True
Let f(g) = 11*g - 120. Let p be f(12). Suppose 0 = p*y + 28*y - 27680. Is y a multiple of 60?
False
Suppose 2*m - 4*m + w = -46, -69 = -3*m + w. Suppose 28*h - 1030 = m*h. Is 17 a factor of h?
False
Let m(f) = -16*f**3 - 7*f**2 + 8*f - 29. Is 20 a factor of m(-7)?
True
Let r be (-10)/130 + (-6294)/(-26). Suppose r*z = 245*z - 969. Is z a multiple of 19?
True
Let g be (249/12)/(((-7)/12)/(-7)). Suppose -g + 9 = -3*c. Suppose 5*n = 70 + c. Is n a multiple of 10?
True
Suppose -268*o + 19591 = -266*o + 3*z, 5*o = -4*z + 48988. Does 35 divide o?
True
Suppose 0 = 5*h - 76 - 54. Let f be 14/18 - h/(-117). Is 0/(-1) - (-1 - 6) - f a multiple of 3?
True
Suppose -19*c + 100 = -17*c. Let g be ((-30)/c)/(1/(-5)). Suppose -41 = -t - r, 0*t + 118 = g*t + 4*r. Is t a multiple of 13?
False
Is 17 a factor of (9 + 21)/15 + 8332?
False
Let m = 22319 + -15859. Is 67 a factor of m?
False
Let b(d) = -48*d + 176. Let a(v) = 2*v + 1. Let x(h) = -4*a(h) - b(h). Does 50 divide x(32)?
True
Suppose -11125 = -6*k + 32075. Suppose h = -9*h + k. Does 80 divide h?
True
Let r(j) = 11*j**3 - 4*j**2 + 58*j - 508. Does 102 divide r(7)?
False
Let p be (32/(-10))/(6*(-3)/(-45)). Does 29 divide p/(-10) + -9 + (-14436)/(-30)?
False
Suppose 48*p - 44*p = -4484. Let n = 1634 + p. Does 9 divide n?
True
Suppose -2 + 17 = 3*u. Suppose 0 = -5*n - 2*k + 1613, -u*n + 1589 = 2*k - 6*k. Is 18 a factor of n?
False
Let i(a) = -a**3 + 4*a**2 - 46*a - 20. Does 9 divide i(-8)?
True
Suppose -119*g = 126*g - 248*g + 15708. Is g a multiple of 78?
False
Let k(r) = -7*r - 109. Let z(u) = -2*u - 36. Let q(j) = 3*k(j) - 8*z(j). Let n be q(-12). Suppose -3*c + 5*t = -6*c + 37, -3*c + 3*t = -n. Does 9 divide c?
True
Does 64 divide 14*4*(-396800)/(-1736)?
True
Let c(k) = -k**3 + 12*k**2 - 28*k + 13. Let q be c(9). Is 5 a factor of 6 + (-1 - q) + 139?
True
Let r(f) = -64*f**3 + 5*f**2 + 5*f + 2. Let l(d) = -129*d**3 + 11*d**2 + 11*d + 5. Let s(o) = 4*l(o) - 9*r(o). Let j = -5122 + 5123. Is s(j) a multiple of 6?
True
Let o be (20 + -20)/(0 - 0 - -1). Is -5 + (-4 + (3 - o))*-199 a multiple of 22?
False
Suppose -2*u + 42706 = 3*p, 2*u - 3*p = 7*u - 106738. Does 116 divide u?
True
Let l = 247 - 417. Suppose -4*r - 3*d = -340 + 1531, 2*r + 598 = -2*d. Let z = l - r. Does 49 divide z?
False
Let w(b) = 916*b - 112. Does 10 divide w(2)?
True
Let c = 22708 - 11008. Is c a multiple of 10?
True
Let h = 29488 - 2572. Is 129 a factor of h?
False
Let v = -427 + 472. Let l(i) = 15*i - 2. Let a be l(-2). Let j = v - a. Is j a multiple of 32?
False
Suppose 35*i - 3420 = 54*i. Let b = i - -303. Is b a multiple of 11?
False
Suppose -32 = 5*b + 3*o + 34, 4*o + 56 = -4*b. Let v be ((-6)/b)/(3/(-12)). Let f = 30 + v. Is 6 a factor of f?
False
Suppose -40*b = 10*b - 271900. Is 9 a factor of b?
False
Suppose 51645 = 18*d - 20625. Does 5 divide d?
True
Let s(x) = -31*x**3 - 2*x**2 + 52*x + 228. Does 58 divide s(-4)?
True
Suppose 0 = 2*h - 4*w - 232 - 86, -h = 3*w - 184. Let p = h + -266. Let x = 124 + p. Does 20 divide x?
False
Suppose -131 = 5*o - 2*y, -5*y = -3*o + 3 - 74. Is ((-90)/o)/(1/18*2) a multiple of 13?
False
Let v = -6015 - -8607. Suppose -136*d - v = -142*d. Does 72 divide d?
True
Let v(b) be the third derivative of 4*b**5/15 - 2*b**4/3 - 5*b**3/6 + 122*b**2. Does 17 divide v(-3)?
True
Let p be ((-1)/(-2))/(15/10)*15. Suppose 16 = p*l - 24. Is 14 a factor of (66/l)/(18/96) - 2?
True
Let s(q) = 2*q**3 - 30*q**2 + 38*q - 570. Is s(31) a multiple of 98?
True
Let c(u) = -2 - 1 - u**2 + 6*u**2 - u. Let r be ((-8)/6)/((-91)/21 - -5). Is c(r) a multiple of 3?
False
Let t(k) = -16*k - 97. Let i be t(-7). Suppose 11*j = i*j - 500. Is j a multiple of 5?
True
Let u(h) = 5*h - 4 + 7*h**2 + h + 19*h**2. Is 41 a factor of u(-3)?
False
Let h(d) = -35*d - 13. Let x be h(-1). Is 32 a factor of (-14)/((x/(-32))/11) - 0?
True
Is 4 a factor of 642 - 15/6*(-64)/80?
True
Let s be -197 - (1 - (1 - 1)). Suppose 192*q - 208*q = 4928. Let o = s - q. Is 11 a factor of o?
True
Suppose 8 = -4*i, 5*a + 0*a - i = -358. Let f = 216 + a. Suppose 0 = 4*n - 5*s - f, 0 = 4*s - 6*s. Is n a multiple of 12?
True
Let r be (-6*(-3)/(-9))/(-2). Is 16 a factor of -1 - r - (-10794)/21?
True
Let m(z) = -3*z**3 - 5*z**2 - 12*z + 8. Suppose -12 = 5*t + 2*u, -2*t - 12 = -5*u + 4*u. Is 24 a factor of m(t)?
True
Let a(h) = -214*h - 236. Let l(t) = -214*t - 231. Let d(v) = -4*a(v) + 5*l(v). Is d(-6) a multiple of 19?
False
Let a(p) = -8*p - 2. Let n be a(-3). Suppose h - n*h + 714 = 0. Is 10 a factor of h?
False
Suppose -16*f = -15*f + 4*a - 4142, -f = -3*a - 4170. Does 63 divide f?
True
Let k(t) = -3*t**2 + 10*t - 17. Let y(b) = 2*b**2 - 10*b + 18. Suppose 42 = 3*x + 51. Let i(l) = x*k(l) - 4*y(l). Is i(-16) a multiple of 25?
True
Let u(b) = -17*b**3 - 4*b**2 - 3*b + 11. Is u(-4) a multiple of 25?
False
Suppose 2*q + 75*o - 72*o - 15432 = 0, o = -2*q + 15432. Is q a multiple of 162?
False
Let b(u) = 1818*u - 922*u - 61 - 797*u. Does 24 divide b(3)?
False
Suppose 5*r - 4*w = 1302, w + 12 = -3*w. Let z = r - 69. Does 9 divide z?
True
Suppose -4*c + 2*l + 39352 = -5308, l = -3*c + 33495. Does 77 divide c?
True
Let f = 373 + 3407. Is 18 a factor of f?
True
Let a = 1268 - 672. Is 27 a factor of a - (0 + 3/(-3))*-2?
True
Let r(b) = -304*b - 166. Is r(-5) a multiple of 2?
True
Let u = -7624 + 16607. Is 13 a factor of u?
True
Let n = 9719 - 9593. Is 9 a factor of n?
True
Suppose 0 = -2*l - t - 1585 + 9456, -5*t = 2*l - 7891. Is l a multiple of 41?
False
Let h = 17009 - -9433. Is 117 a factor of h?
True
Is 111 a factor of (-601)/((2/22)/(52 + -55))?
False
Let i(v) = 20*v**2 - v + 51. Let t be i(8). Is (-24*(-3)/(-21))/((-9)/t) a multiple of 63?
True
Suppose 0 = -180*u - 397765 + 710671 + 579714. Is 33 a factor of u?
False
Let f = 38 + -8. Let t = -27 + f. Suppose 4*s - t*s - 81 = -2*i, 117 = 3*i - 3*s. Does 8 divide i?
True
Let x(y) = 176*y**2 + 8*y - 23. Let n be x(3). Let m = n - 874. Does 77 divide m?
False
Let d(r) = -r**2 - 45*r + 135. Let f be d(-26). Let j = 1066 - f. Does 23 divide j?
True
Let c(s) = -s**3 + 11*s**2 - 27*s - 5. Let v be c(7). Suppose -15*q + 5*u = -13*q - 206, -v*u - 104 = -q. Does 5 divide q?
False
Let y(f) = 2577*f - 1041. Is 9 a factor of y(5)?
True
Let z(j) = 1201*j + 838. Does 101 divide z(8)?
False
Suppose 2*s - 2*b - 22364 = 0, 0 = -3*s + 91*b - 95*b + 33553. Is s a multiple of 4?
False
Let u(q) = 33*q - 27. Suppose o + o - 3*p = 21, 0 = o + p - 3. Let z be u(o). Let b = z + -83. Is b a multiple of 22?
True
Is 22859/15 + (-1 - (-208)/195) a multiple of 12?
True
Let t(k) = -244*k + 3443. Does 108 divide t(-18)?
False
Let o(r) = 116*r - 120. Is 16 a factor of o(34)?
True
Let q be ((-16)/(-6))/(18/27). Suppose -o + 311 = q*r - 241, -4*r + 4 = 0. Suppose -o = -6*m - 152. Is m a multiple of 33?
True
Let z(m) be the first derivat