j(d) = -2*d + 6. Let t(c) = c - 2. Let o(p) = i*j(p) + 5*t(p). Does 16 divide o(14)?
True
Let j(o) = 16*o + 6. Let t be j(4). Suppose -t = 4*f - 242. Suppose -n + 12 = -f. Is 11 a factor of n?
True
Let w(r) = r**3 - r**2 + r + 12. Let q be w(0). Suppose 5*k - 4*z - 372 = -62, z = -5. Let h = k + q. Is 10 a factor of h?
True
Let n be (-6)/5*(14 + -99). Suppose h + n = 3*b - 3*h, b - 32 = 2*h. Suppose 34*q = b*q - 96. Is 12 a factor of q?
True
Suppose -3*r - 544 = -4*y, -5 = 3*r + 7. Suppose 0 = -83*u + 82*u + y. Suppose 5*n = -u + 473. Does 17 divide n?
True
Suppose -3*b - 242 = 3*l + 16, -5*b + 5*l - 430 = 0. Let k = b - -89. Suppose 0 = -6*a - k*a + 666. Does 13 divide a?
False
Suppose 310 = -3*v + 1942. Let j = v - 128. Does 32 divide j?
True
Let f = 334 + 342. Suppose -f - 1220 = -12*z. Is 12 a factor of z?
False
Is 1551662/210 + (26/(-30) - -1) a multiple of 132?
False
Suppose -u + 3*u - 5*w - 95 = 0, 3*w = -4*u + 151. Suppose 0 = u*z - 39*z - 159. Is z a multiple of 3?
True
Let w(a) be the first derivative of a**6/72 + 17*a**5/120 + a**4/4 - 10*a**3 - 32. Let q(l) be the third derivative of w(l). Does 7 divide q(-6)?
True
Does 2 divide ((-9 - 11)*1)/((-6)/147)?
True
Suppose -29*a = 31*a + 1162568 - 3799988. Is 113 a factor of a?
True
Is 32 a factor of (48/(-7))/(612/(-148512))?
True
Suppose 7537 = y - 3*k - 2414, 5*y = 2*k + 49807. Is y a multiple of 41?
True
Let d = -209 + 272. Is ((-63)/(-28))/((d/408)/7) a multiple of 34?
True
Suppose 3*y = 5*c - 200349, -c + 3*c = y + 80139. Is c a multiple of 189?
True
Suppose -661 - 104 = 17*b. Does 13 divide 30/b*(2106/4)/(-3)?
True
Does 5 divide (27/6)/(6/27*132/110000)?
True
Let o = 7656 + -90. Does 26 divide o?
True
Suppose 3*z + 235 = -428. Let c = 124 + z. Let i = c + 130. Does 13 divide i?
False
Suppose -41425 = -65*m + 11940. Is 58 a factor of m?
False
Let i(o) = o**2 - o - 2. Let u be i(3). Let c = 1333 - 1333. Suppose 2*r - 68 = u*h - 298, c = 5*h + 5*r - 280. Is h a multiple of 13?
False
Let z(r) = -r**3 + 10*r**2 + 5. Let n be z(10). Let w(k) = 4*k - 24. Let h be w(n). Is (27/(-2))/(h/8) a multiple of 9?
True
Let d = -1335 + 7. Let c = -788 - d. Does 36 divide c?
True
Let v be 30/5*18/12. Is 3/(v/1275) - 5 a multiple of 60?
True
Let x(d) = -12*d + 56. Let t be 2436/(-33) + (-2 - (-60)/33). Let f = 64 + t. Does 11 divide x(f)?
True
Let b = -46 + 50. Suppose 1810 = b*f + 6*f. Let q = -45 + f. Is q a multiple of 19?
False
Suppose 6144 = 16*h - 56*h + 44*h. Is h a multiple of 4?
True
Let m = -401 - 1832. Let w = -1537 - m. Does 12 divide w?
True
Does 212 divide (1590/45)/((-5)/(-1620))?
True
Suppose 0 = -27*m + 340611 - 3138. Does 15 divide m?
False
Let r(v) = -79*v + 34. Let l be r(-24). Suppose 12*q + 238 - l = 0. Suppose -3*y + q = d, -7*d + 4*y = -4*d - 384. Is d a multiple of 33?
True
Suppose 0 = -111*g + 90*g + 126. Is 30 a factor of ((-2)/g)/((-10 + 5)/13965)?
False
Is ((-20)/3)/10*14148/(-1 - 3) a multiple of 35?
False
Suppose 32*g + 27*g - 11145 - 8148 = 0. Is g a multiple of 5?
False
Suppose 5*g - 77 = -a, -5*g = -5*a + 8*a - 81. Suppose 21*p - g*p - 3684 = 0. Is 10 a factor of p?
False
Let r(f) = -f**3 + 8*f**2 - 17*f + 6. Let o be r(4). Suppose 5*l + o*x - 1485 = 0, 1485 = 6*l - l - 2*x. Is 15 a factor of l?
False
Let u be (-1 - -4)*20/15. Is 18 a factor of (-6618)/12*(2 - u)?
False
Let j = 5179 + 1355. Does 17 divide j?
False
Suppose 3*d = -d - 40. Let f(g) = -10 - 3*g - 4 + 19 + 10*g**2 - 469*g**3 - 3*g + 470*g**3. Is f(d) a multiple of 13?
True
Let d be (-259917)/(-231) - ((-12)/(-22))/3. Suppose 4*o + 3*f = d, 5*f = 3*o + f - 850. Is o a multiple of 51?
False
Let w = -70 + 72. Suppose 5*l + w*v = 5*v + 903, 4*v = l - 184. Does 9 divide l?
True
Let w = -146 + 1216. Is w/((-3)/(-1) - 2) a multiple of 83?
False
Let f(b) = b**3 - 7*b**2 + 3*b - 3. Let i be f(7). Suppose 4*z - 100 = -2*k - 2*k, -z - 71 = -3*k. Suppose -i = -r + k. Is r a multiple of 3?
True
Suppose -58*z + 57*z - 2128 = -4*j, -4*j + 3*z = -2128. Is 76 a factor of j?
True
Let v = -5218 + 5668. Does 12 divide v?
False
Suppose 2*i - 1 + 5 = 0, 6866 = 2*w - 4*i. Suppose -w + 8213 = 4*s. Is 26 a factor of s?
True
Let k be ((-4)/(-3) - -4)*3. Let f(d) = -86 + k*d + 112 - 65. Does 37 divide f(14)?
True
Let t(x) = 3*x**2 - 6*x + 47. Suppose 11*c - 9*c - 18 = 0. Does 8 divide t(c)?
False
Let g(i) = i**3 + 9*i**2 + 4*i + 4. Let m be g(-12). Let y = m + 666. Is 38 a factor of y?
True
Let b be ((-210)/(-7))/((-5)/5). Does 19 divide 1*1050 + 25 + b?
True
Suppose -2*h + 7487 = b, -3*b + 3736 = 5*h - 4*h. Is h a multiple of 2?
False
Let m(j) = 1062*j**3 - 12*j**2 + 33*j - 2. Is m(2) a multiple of 15?
False
Let h(a) = -a**3 + 14*a**2 + 21*a + 24. Let w be h(17). Let q = -332 - w. Is 12 a factor of q?
False
Is 13 a factor of 15/(-20) + -22886*(-3)/24?
True
Let p(c) = 4199*c**2 + 129*c + 130. Does 75 divide p(-1)?
True
Suppose 5*w + 20 = 0, 5*y + 2*w - 129 = 1893. Let s = 484 - y. Is s a multiple of 8?
False
Let d = -98 - -106. Let v be ((-259)/(-2))/(4/d). Suppose -m - v = -5*h + 3*m, -2*h - m + 101 = 0. Is h a multiple of 20?
False
Suppose -21*g + 42 = -7*g. Let q be 0/(3 - (-3 + 3)). Suppose 5*p + g*z - 186 - 214 = q, -5*z = 3*p - 256. Is 36 a factor of p?
False
Let z = 311 - 78. Let m = z - 218. Is m a multiple of 10?
False
Suppose 0 = 22*j + 70 - 114. Suppose -2*y + j*f - 3640 = -7*y, -3*f - 711 = -y. Does 22 divide y?
True
Let m(c) = 12*c**2 - 104*c + 204. Is 16 a factor of m(23)?
True
Let l(w) = -w**2 - 33*w + 7. Let n be l(-40). Is 9 a factor of (-3354)/n*(8 + -1)?
False
Suppose 71*r = 173669 + 208453. Does 39 divide r?
True
Does 25 divide (-690)/4*(-598)/(-117)*-15?
True
Let c(o) = 484*o**2 - 29*o + 3. Is c(2) a multiple of 57?
True
Suppose 0 = 104*c - 99*c + 375. Is 10 a factor of ((-1)/6)/((-10)/(-100))*c?
False
Let q(r) = 357*r - 365*r + 27 + 6. Does 43 divide q(-17)?
False
Suppose 44 = -17*h + 39*h. Suppose 0*s + s + 3*i - 42 = 0, -h*s = i - 74. Is s a multiple of 6?
True
Suppose -4*g - 13*g + 4*g = 0. Suppose -9*b - 345 + 2433 = g. Is b a multiple of 20?
False
Let v(o) = 2*o**2 + 106*o - 33. Is 141 a factor of v(-56)?
False
Suppose -8*q = -24*q + 64. Suppose -q*a + 0*a = 796. Let u = a + 331. Is 12 a factor of u?
True
Let d(s) = s**3 + 4*s**2 + 3*s + 2. Let v be d(-3). Suppose 6*q - v*q = -28. Is -2*2/28 + (-211)/q a multiple of 10?
True
Let d(l) = l**2 + 13*l + 33. Let v be d(-10). Does 13 divide 2/(36/390)*v?
True
Let u(d) = -d**3 + 11*d**2 - 14*d + 40. Let t be u(10). Suppose 24*m - 28*m + 1012 = t. Is 23 a factor of m?
True
Is 14 a factor of 3/(-9)*(-35014 + -8)?
False
Let n = 3200 - 1584. Is 12 a factor of n?
False
Let o(j) = -j**3 + 3078*j - 1 - 3073*j + j**2 + 9. Is 6 a factor of o(-4)?
False
Let k(y) = 11*y**3 - 41*y**2 + 49*y - 17. Let o(u) = -5*u**3 + 20*u**2 - 24*u + 9. Let d(c) = 4*k(c) + 9*o(c). Is d(14) a multiple of 18?
False
Let u(z) = z**2 + 4*z - 8. Let x be 1/2*-4*5/10. Let s be ((-2)/1)/(5/(-3) - x). Is u(s) a multiple of 3?
False
Let c = 7573 + -6113. Is c a multiple of 146?
True
Suppose 229 = -h + 249. Suppose -s - h*s = -5523. Is 13 a factor of s?
False
Suppose 3*y - 905 + 355 = 899. Is 14 a factor of y?
False
Let l(j) = -j**3 - 2*j + 73. Let z be l(0). Suppose -z = 6*x - 919. Is x a multiple of 47?
True
Suppose -h - 3*y + 258 = 0, -11*h + y = -6*h - 1194. Is 3 a factor of h?
True
Suppose 20*u + 84 = 3*g + 18*u, 3*u = 9. Is 46 a factor of (1060/g)/((-105)/(-99) + -1)?
False
Let u = 28132 + -16648. Does 36 divide u?
True
Let n = 11328 + -7584. Is 24 a factor of n?
True
Does 102 divide (-6 - -4) + (27164/4 - (1 - 0))?
False
Suppose -3300*u = -3306*u - 4848. Let b(g) = -2*g - 1. Let r be b(-2). Is 21 a factor of ((-13)/4 + r)/(2/u)?
False
Suppose 2*x + 54 = -4*x. Does 69 divide (1 + x)*(-94 - -24)?
False
Let l be -3 - -69*4/(-6). Let v = 72 + l. Suppose c - 248 + v = 0. Does 45 divide c?
True
Let z(s) = 56*s - 6. Let q be z(2). Suppose -n + 68 = -q. Is n a multiple of 29?
True
Let t(u) = -u**3 + 62*u**2 - 19*u - 116. Is t(61) a multiple of 9?
False
Let x = -37 - -39. Does 4 divide (-1)/2 + ((-1116)/(-8) - x)?
False
Is 12 a factor of 123018/9 - (44/(-858))/((-2)/26)?
True
Let g(a) = 7*a - 424. Let s be g(61). Suppose -8*t - 3*w = -3*t - 170, -7*w = s*t - 102. Does 24 divide t?
False
Does 29 div