. Let q be f(1). Suppose 0 = -o + q + 5. Does 12 divide o?
True
Let n = -2267 - -2303. Is n a multiple of 4?
True
Let x(w) = w + 3. Let k be x(-3). Suppose -3*u + 16*u - 3705 = k. Suppose -n = -5*p - 84, 8*n + 2*p = 3*n + u. Does 5 divide n?
False
Let h be 1 + 1/1 - -500. Suppose 0 = q, 5*q + 278 = 3*o - h. Suppose t + t - o = 0. Is t a multiple of 24?
False
Let k(w) = -51*w**2 - 10*w + 59. Let j be k(6). Let u = j + 2598. Is u a multiple of 5?
False
Suppose 18*g + 2004 = 30*g. Let y = g + 112. Is y a multiple of 17?
False
Let j(a) = 3*a**3 - 120*a**2 + 77*a + 123. Is j(41) a multiple of 38?
False
Does 58 divide 1070*-9*(-16)/72?
False
Let f(k) = 2*k**2. Let u be f(1). Suppose v - 5*v + 104 = -u*n, -2*v + 4*n = -52. Suppose -22 - v = -3*o. Does 16 divide o?
True
Suppose 54343*q + 42405 = 54358*q. Does 5 divide q?
False
Suppose 2*f + 58*j - 13282 = 56*j, 10 = 2*j. Is f a multiple of 84?
True
Let z = -4720 + 4913. Is 21 a factor of z?
False
Let l(u) be the second derivative of -u**4/12 - u**3/2 + 3*u**2 + 22*u. Let k be l(-5). Is 14 a factor of (k/8)/((-4)/824)?
False
Suppose 0 = x - 7*x + 30. Suppose 4*j - x*v - 217 = 0, -j + 287 = 4*j - v. Is 13 a factor of j?
False
Suppose 52416 = 137*j - 187405 + 30211. Is j a multiple of 51?
True
Let b(v) = -25*v + 2. Let a be ((-612)/(-15))/6*5. Let t = 33 - a. Does 4 divide b(t)?
False
Is (2340/50)/(6/50) a multiple of 10?
True
Suppose -2*z = -2*d - 4060, -2*z = 4*d - 4004 - 32. Is 64 a factor of z?
False
Let z = -7754 - -10979. Is 23 a factor of z?
False
Suppose 2*j = 3*n + 1036, 4*n + 5*j = -0*n - 1389. Let r = 4 - n. Is r a multiple of 35?
True
Suppose -4*o = -20*f - 30748, 0 = -4*o - 2*f - 3*f + 30923. Is 12 a factor of o?
False
Let p be (-15)/(-25) - 23*(-2)/(-10). Is 62 a factor of (2236/(-2))/(p*(-4)/(-8))?
False
Let x be (-339108)/(-297) + 2/9. Suppose -11*z + 266 = -x. Is z a multiple of 32?
True
Let c(b) = 7*b - 37. Let k be c(6). Suppose 4*u - 5*z = 180, 5*u + k*z - 245 = -20. Suppose x - 2*p = 128, p = x - 82 - u. Does 21 divide x?
True
Is 453 + -455 - ((-4)/10)/((-1)/(-40285)) a multiple of 179?
False
Let l = -104 + 107. Suppose -c - 1 = 0, -a - l*c = -128 - 89. Does 20 divide a?
True
Suppose 106765 = 19*n + n - 5*g, -n - 2*g = -5345. Is n a multiple of 208?
False
Let t = 247 + -245. Suppose n - 37 = -3*h + 38, -t*h + 146 = 2*n. Does 18 divide n?
True
Let i = 809 - -87. Let f = 1316 - i. Is 10 a factor of f?
True
Let p(g) = g**3 + 77*g**2 + 305*g + 128. Is 8 a factor of p(-72)?
True
Let u = -867 + 2671. Suppose -d + g + u = 0, -5*g = -3*d + d + 3605. Is 19 a factor of d?
True
Let s be 0 + (-3 - -3) - 3 - -1. Let z = s + -2. Is 2*(z/(24/(-27)) - -1) a multiple of 2?
False
Let d = -31 - -21. Let c(u) = -57*u**2 + 12*u + 68*u**2 - 5 + 28 + u**3. Does 2 divide c(d)?
False
Suppose 5*o = 5, -p - 4*o = -11 + 2. Suppose 5*i + 17 - 162 = -5*t, -p*t + 20 = 0. Is 4 a factor of i?
False
Does 28 divide 232/(-4)*((-340)/8 + 3)?
False
Suppose -x + 1 = -4*n, -n - 3 = -x + 2*n. Let d(o) = -o**2 + 15*o - 2. Does 13 divide d(x)?
True
Suppose t - 4 = 58. Let k(i) = -2*i - t*i**3 - 214*i**2 + i + 213*i**2. Is k(-1) a multiple of 16?
False
Suppose 11*j - 7*j - 88 = 0. Suppose 5*p - 46 = -3*f, f - 4*p - j = -7*p. Suppose -f*q = 3*i - 5*q - 221, 3*q + 323 = 4*i. Does 15 divide i?
False
Let p be (57 + (-2 - -2))*(-30)/(-45). Suppose 5*r = -8 + p. Suppose 4*s - r*x - 600 = -x, -3*x + 568 = 4*s. Does 22 divide s?
False
Suppose -31*f + 22*f = -144. Let z(c) = c**3 - 15*c**2 - 18*c + 62. Does 5 divide z(f)?
True
Suppose 0 = -5*w + 5*b + 50, w + 2*w - 2*b = 28. Suppose -20 + w = -2*a. Suppose 6*t - a - 186 = 0. Does 24 divide t?
False
Is 47 a factor of (1410/12 - 10)*(-282)/(-5)?
True
Is 110 a factor of (-5275125)/(-4131) + 12/306?
False
Is 2 a factor of (-296)/5*(-450)/(-72)*-2?
True
Does 4 divide (6926/(-10))/((-56)/(-280)*(1 - 2))?
False
Let x(h) = 134*h - 57. Let s be x(11). Suppose 3*g - a = 3028, 405 - s = -g + a. Does 24 divide g?
True
Let s(x) be the first derivative of x**3/3 + 2*x**2 - 29*x - 9. Let h(q) = 8*q - 139. Let v be h(16). Is 9 a factor of s(v)?
False
Suppose -123437 = -55*h - 139470 + 298568. Does 6 divide h?
False
Let t be (5 - 16/4)*17. Let h = t - 9. Let q = h + 22. Is q a multiple of 6?
True
Let m(q) = 36*q - 90. Suppose -2*t + 10 = 0, -4*t = 2*l + t - 43. Is 26 a factor of m(l)?
True
Suppose p + 6 = 2*s - 4, -s - 5*p - 6 = 0. Suppose -16*w = -14*w - 506. Suppose -w = -s*b - 4*z - 21, 3 = 3*z. Does 11 divide b?
False
Is 298 a factor of 91911842/1490 + (-2)/7 + 17/35?
True
Let p = 16 - 8. Let b(l) = l**3 - 19*l**2 + 5*l - 33. Let h be b(19). Let k = h - p. Is 9 a factor of k?
True
Suppose 2*m - 669 = w, 13*w + 2655 = 9*w + m. Let l = w + 981. Does 58 divide l?
False
Suppose -13 = -2*c - 3. Suppose c*a + 2 + 8 = 0, -5*m = -4*a - 683. Let u = m - -45. Does 20 divide u?
True
Suppose 0 = n + 4, 4604 = -5*l + 5*n + 19729. Is 53 a factor of l?
True
Let r(b) = -b**2 - 3*b - 5. Let f be r(-4). Let c be (-5)/(-3) + -1*3/f. Suppose -4 = -i + c. Is 3 a factor of i?
True
Let y = -6396 + 6747. Is 21 a factor of y?
False
Suppose 5 = -9*i - 67. Is 3840/12 + i*1 a multiple of 12?
True
Suppose -5992 = -2*l - 4*t, -2367 - 653 = -l + 4*t. Is l a multiple of 10?
False
Suppose 2*s - 296 = -4*g, -27*g + 23*g + s + 308 = 0. Is g a multiple of 19?
True
Let d = -45 - -29. Let b(v) = v**3 + 16*v**2 - 12*v + 32. Let r be b(d). Let l = 369 - r. Does 14 divide l?
False
Let f(n) = -41*n**3 + 2*n**2 - 3. Let l be f(2). Let b = l - -755. Does 16 divide b?
True
Let d(r) = -r**2 - 10*r + 148. Let a be d(-18). Suppose 0*w + w + 5*n - 160 = 0, 5*w - 758 = -a*n. Does 30 divide w?
True
Does 13 divide ((-10)/((-10)/2))/(18/37287)?
False
Let t = 540 - 180. Let f = t + -320. Is 4 a factor of f?
True
Let d(s) = -2*s**2 - 10*s - 1. Let w = -9 + -6. Let j be (0 + 3)/(w/10) + -2. Does 5 divide d(j)?
False
Suppose -3*h + 7597 + 32243 = 4*a, -4*a = -2*h - 39860. Does 40 divide a?
False
Let f(g) be the third derivative of -g**6/60 - g**5/10 - 3*g**4/8 - 25*g**3/6 + 69*g**2. Is f(-5) a multiple of 33?
False
Let n(p) = p**2 + 121*p - 116. Is 58 a factor of n(58)?
True
Let j(q) = 2*q**2 + 3*q - 236. Is 28 a factor of j(-39)?
False
Let o = 873 + 2195. Is 52 a factor of o?
True
Suppose 68*a + 70177 = 4*r + 69*a, 4*a - 52649 = -3*r. Is 16 a factor of r?
False
Suppose 0 = 3*p - 9, -4*z + 2*p - 54 = -z. Is (8/z)/((-2)/124) a multiple of 6?
False
Let i(f) = -5*f**2 + 2*f - 6. Let j be i(3). Let y = j + 189. Does 30 divide 36/y - 959/(-4)?
True
Suppose -2*v = -4*v + 10, 5*x - 50 = -2*v. Let q = x - 23. Is (28/6)/(q/(-45)) a multiple of 10?
False
Suppose 0 = 196*i - 1225523 + 398991. Is 2 a factor of i?
False
Let w be 2*22/6*(-54)/(-6). Suppose -3*q - v + 188 = 0, q + 0*v - w = -2*v. Suppose -3*l + 320 = 5*m, 0 = -5*l - m + q + 442. Is l a multiple of 10?
True
Suppose -29 + 21 = -4*s. Suppose 2*b = -2*c - 26, -b = s*c + c + 13. Let a = 17 - b. Does 15 divide a?
True
Let d = 522 + 12006. Does 36 divide d?
True
Let m be 0*((-27)/(-6))/9. Let j be (m - 621/(-6))/((-8)/(-16)). Let k = j + -113. Is k a multiple of 17?
False
Let k(s) be the first derivative of 9*s**3 + 6*s**2 - 66*s - 46. Does 77 divide k(5)?
False
Let q = 35908 + -19486. Is 14 a factor of q?
True
Let q be (2 + -7)*(19/(-5) - -3). Suppose -30 = -5*p + q*d + d, p + 2*d + 9 = 0. Is ((-32)/5)/(p - 36/30) a multiple of 5?
False
Let z(r) = 2*r + 1. Let g(o) = o - 1. Let n(u) = -6*g(u) + 2*z(u). Let w(d) = -2*d**2 - 52*d - 59. Let v be w(-25). Does 20 divide n(v)?
False
Let c = 216 - 212. Is 2 - (1*-1040)/c a multiple of 21?
False
Suppose -343*g + 2489709 - 2176065 = -4087732. Does 9 divide g?
False
Let h(t) = 4*t + 23. Let q(y) = -19*y - 114. Let u(w) = -22*h(w) - 4*q(w). Let p be u(7). Let n = -14 - p. Is n a multiple of 10?
True
Suppose 21946 = 2*j - 2*w, 3*j - 2*w - 9760 - 23162 = 0. Is 28 a factor of j?
True
Let u(q) = 158*q + 2534. Does 64 divide u(25)?
False
Suppose -s = 2, -2*g + 2*s + 48 = -0*g. Suppose 3443 - 16907 = -g*c. Does 18 divide c?
True
Suppose n - 9 = -5. Suppose -n*g - 3*g = -266. Is 4 a factor of g?
False
Does 11 divide (8272/528)/(0 + 2/1062)?
False
Let a(r) = -196*r + 25. Let q be a(3). Let o = -395 - q. Is 56 a factor of o?
True
Suppose -163*r + 2725920 = 125*r. Is r a mu