i) = 218*i + i**2 - 203*i + i**2 - 13 - 6*i**2 + 3*i**2. Is a(p) a multiple of 13?
True
Does 2 divide (0 - 764/10)/(-1*15/225)?
True
Let h = -1202 - -2054. Let l be h/9 + 3/(9/(-2)). Suppose 0 = 2*q + 4*k - 200, -q + 6*k = 11*k - l. Does 26 divide q?
True
Let v(p) = 6*p**2 + 6. Suppose 0 = -0*o + 13*o - 39. Is 17 a factor of v(o)?
False
Let p(r) = r**2 - 2*r - 26. Let m be p(-22). Suppose -3*o = -2*z + o + m, 2*z - 498 = 2*o. Does 38 divide z?
False
Let n be 5 - ((-33)/(-7) + (-18)/(-63)). Suppose -2*c + 8*c - 4050 = n. Is 25 a factor of c?
True
Suppose j - 5*g - 691 = 0, -3*j - 965 = g - 3022. Is j a multiple of 14?
True
Let c = -624 - -599. Let a(u) = 56*u**3 - 2*u**2 + 1. Let z be a(1). Let y = z + c. Does 15 divide y?
True
Let c(m) = -m**3 - 24*m**2 - 114*m - 18. Does 30 divide c(-18)?
True
Let w(b) = 73*b**2 - 8*b - 188. Is w(-8) a multiple of 7?
False
Let s be (-6)/(-3) + 2 - 2. Suppose 32 = -s*l - 5*d, -3*l - 3*d = -0*l + 39. Let z(c) = 2*c**2 + 17*c + 25. Is z(l) a multiple of 8?
True
Suppose -3*r - 2*r = -6*r. Suppose 4*x + 5*k - 5 = r, 0 = 2*x + 3*x - 5*k - 40. Suppose n = -x, -t = 2*n + 2*n + 7. Does 12 divide t?
False
Let n be 2*(-12)/8 + 8. Suppose 0 = -n*b + 25, -2*b + 45 = 4*r + 3*b. Suppose y + r*y = 1074. Is y a multiple of 24?
False
Suppose -7*w - 18 = 38. Is 2 - (2146/w + (-21)/(-84)) a multiple of 27?
True
Suppose -3*w - 5*s = 0, -10*w - 4*s + 13 = -5*w. Does 8 divide (-1)/w - (-8 - (-371)/(-5))?
False
Let w = -15259 - -15954. Does 22 divide w?
False
Let q = 231 + 16905. Is q a multiple of 16?
True
Does 6 divide (966/18 - 3)*(-38)/8*-6?
False
Suppose -v = 2 + 3. Let g(h) = -8*h**2 - 64*h - 7. Is 12 a factor of g(v)?
False
Let m = 184 - 242. Let k = m - -126. Is 7 a factor of k?
False
Suppose 0 = 45*h - 205306 + 43705 - 90714. Is h a multiple of 5?
False
Let o be ((-20)/4 - 21/(-7)) + 9. Suppose -545 = -o*w + 4621. Is 94 a factor of w?
False
Let u be 16/88 + ((-1360)/(-22) - -1). Suppose z - 5*t + t - 18 = 0, -2*z + u = t. Is (-4)/(-10) - (-1428)/z a multiple of 12?
True
Let f(u) = 3*u + 68. Let i be f(8). Is 14/161 - (-53444)/i a multiple of 34?
False
Let n = -243 + 123. Let b be (1/14)/((-5)/(-20))*14. Is (96/n)/((-3)/(1950/b)) a multiple of 26?
True
Suppose -8 = -2*c, 3*n - 5*c + 2 = -0*n. Let p(b) = b**3 + 3*b**2 - 15*b - 3. Does 13 divide p(n)?
False
Let o(l) = 31*l**2 - 11*l**2 + 9*l - 20 + l**3 - 8*l**2. Let g be o(-11). Let v = 101 + g. Is 13 a factor of v?
False
Suppose 2*i = 5*i + 624. Let t = 229 + i. Is t a multiple of 20?
False
Let u(t) be the first derivative of -2*t + 12 + t**3 - 5/2*t**2. Does 14 divide u(-5)?
True
Suppose -b + x = -30, 86 = 3*b - 2*x + x. Suppose 0 = -4*o - b*o + 18560. Is o a multiple of 29?
True
Is 22 a factor of (50/6)/(130/26910)?
False
Suppose -36*j - 9*j + 135 = 0. Let n(s) = -4*s**2 + 63*s - 7. Is 18 a factor of n(j)?
False
Let d = 2093 - -1302. Does 81 divide d?
False
Suppose 5*v - 5*l = 18440, -l + 12732 = 5*v - 5726. Is 12 a factor of v?
False
Let h(f) = -2*f - 1. Let t be h(-3). Suppose -j + 5*a = 8, -3*j - t = 5*a - a. Does 8 divide 78 - j/(12/(-16))?
False
Let u(c) = 139*c**2 + 8*c + 70. Is u(-6) a multiple of 2?
True
Let u be (66/12 + -5)/(1/6). Is 5 a factor of (-2)/3 + u*(-1293)/(-27)?
False
Let g(k) = -2*k**2 + k - 92. Let m be g(0). Let x = 97 + m. Suppose 70 = 2*z + z - i, x*z - 130 = 5*i. Is z a multiple of 2?
True
Suppose 4221 = 13*n - 12939. Is n a multiple of 44?
True
Let y be (-47)/(2/(-87)*6/4). Suppose -10*p + y = -1017. Is 24 a factor of p?
False
Suppose 36*h - 2002526 = -67*h. Is h a multiple of 9?
False
Let i be (3 - 1) + -8 - 5. Let o = i - -209. Is 11 a factor of o?
True
Suppose 0 = -4*u + 4*d - 120, -2*u = 3*u + 4*d + 159. Suppose 4*h - 210 = -h. Let c = h + u. Is c a multiple of 6?
False
Let b be -100*44/(-8)*(-39)/26. Let q = 1156 + b. Is 12 a factor of q?
False
Let n be (-4)/8*(5 + 2043). Let j = n - -1791. Is 48 a factor of j?
False
Let n(u) = -3*u**3 - 502*u**2 + 235*u - 93. Is n(-168) a multiple of 75?
True
Let d be (-805)/(-2)*(-2 - 138/(-15)). Suppose -7*w - d = -16*w. Is w a multiple of 14?
True
Let u(s) = 15*s**2 + 10*s - 89. Let c(q) = 7*q**2 + 5*q - 45. Let r(f) = 13*c(f) - 6*u(f). Is r(19) a multiple of 52?
False
Suppose -37*f = -3*i - 41*f + 194634, -4*i = -f - 259531. Is i a multiple of 34?
False
Let w(z) = 2*z. Let u(c) = -47*c**2 + 23*c + 32. Let o(h) = -u(h) + 5*w(h). Does 10 divide o(-3)?
True
Let p be (-2)/(-4) + (-205)/(-10). Suppose -4*d + 7*d - p = 0. Suppose 4*g = 1 + d. Is 2 a factor of g?
True
Does 83 divide ((-2 - -2) + 9)*11334/9?
False
Let c(a) = 3*a**2 - 12*a + 13. Let w be ((-1)/(-1))/(12/84). Let f be c(w). Suppose -18*y = -22*y + f. Is y a multiple of 2?
False
Let n = -58 - -61. Suppose 2*v = -n*q - 2*v + 1034, 0 = -4*q - 2*v + 1392. Suppose 2*s - q = -2*r, -s = -r + 3*r - 346. Does 9 divide r?
True
Let a = -17 - -17. Suppose -30 = 4*d + 2*z, a*d + z = d. Does 49 divide (53 + -4)*(-20)/d?
True
Suppose 2119 = 2*u + 186*y - 191*y, 3*y - 1021 = -u. Is 6 a factor of u?
False
Let n(d) = 3*d**3 + 29*d**2 - 4*d - 15. Let q be n(-9). Let g = -117 + q. Is 6 a factor of g?
True
Suppose 0 = -v - 17 + 19. Suppose 246 = v*j - 5*f, 4*j + f - 102 = 368. Is j a multiple of 9?
False
Suppose 0 = 2*h - 13*h + 5665. Let v = -107 + h. Does 29 divide v?
False
Let v = 16433 + -11051. Is 26 a factor of v?
True
Let t = -90 - -97. Suppose t*f + 6 = -134. Does 8 divide ((-144)/20)/(1/f)?
True
Let n be 161800/(-75)*(-6)/4. Suppose 21*j = 1993 + n. Does 38 divide j?
False
Let q = 1287 - -1327. Let j = q + -1853. Is j a multiple of 25?
False
Is (24/(-10))/(4/(-10)) - (-9011)/1 a multiple of 212?
False
Let v = 6780 - -7232. Is v a multiple of 113?
True
Suppose 329 = k + d, 4*d + 1605 = 5*k - d. Let c(j) = 245*j - 1619. Let w be c(6). Let q = k + w. Is 18 a factor of q?
False
Suppose -76*d = 67*d - 789360. Is d a multiple of 48?
True
Let d = 2749 - 86. Is 10 a factor of d?
False
Suppose -23449 = -121*r - 10*r. Let t be (2 + -5)*326/(-3). Let c = t - r. Is c a multiple of 17?
False
Let r(g) = 24*g + 859*g**2 + 17*g + 4 + 20*g - 57*g. Does 57 divide r(-1)?
False
Let g be 4*(4 + 45/(-12)). Let a(j) = 3*j**3 - j**2 + j. Let s be a(g). Suppose -7*r = -2*r + 4*u - 408, 234 = 3*r - s*u. Is 19 a factor of r?
False
Let g(u) = u**3 - 19*u**2 - 627*u - 28. Does 19 divide g(46)?
False
Let p(z) = 135*z**2 - 111*z + 229. Is p(2) a multiple of 3?
False
Let z = -27 + 324. Let f = z - -510. Is f a multiple of 53?
False
Suppose 3*a = -114 + 39. Let c = a + 243. Is 4 a factor of c?
False
Does 87 divide 2 + 15 + (39 - -12236)?
False
Let r(w) = 9*w**2 + 115*w + 1 - 223*w + 4*w**2 + 110*w. Does 5 divide r(1)?
False
Let w = -9 - -6. Let k(o) = -5*o - 5. Let b be k(w). Is 21 a factor of 4186/35 + 4/b?
False
Let x = -34 + 35. Let r(n) = 4*n + 1 - 21 + 2*n**2 + x - 7. Does 22 divide r(-6)?
True
Let n be 3*1 - (0 - (5 + -2)). Suppose n*t = 11*t + 5. Does 10 divide 18/36 + (171/2 - t)?
False
Let j(c) = 27*c**2 - 17*c + 16. Does 26 divide j(-10)?
True
Let y = 8779 - 12345. Is 21 a factor of 4/10 + 3/((-30)/y)?
True
Suppose 12*m + 2*m = -24*m + 416328. Does 22 divide m?
True
Suppose 4*n - 8494 = -2*l, 7*n = 5*n + 5*l + 4217. Suppose -44*o - n = -51*o. Is o a multiple of 15?
False
Is (-122 - (0 - 2))*5216/(-815) a multiple of 8?
True
Let q = 13104 - 13109. Suppose -213 - 442 = 5*a. Does 22 divide ((-10)/q)/2 - a?
True
Let r = 8 - 12. Let p(c) = -4*c + 3 + 2 - 6*c**2 + c**3 + 0*c - 3*c**3 + 0*c**3. Does 12 divide p(r)?
False
Suppose -41395 = -49*p + 44*p. Suppose -3*i = -20*i + p. Is 19 a factor of i?
False
Suppose 3*s + 2575 = 4*u, -2*u - 5*s = -0*s - 1255. Is u a multiple of 5?
True
Suppose i - 2*p = -15 + 13, -30 = -5*i + 2*p. Suppose -i*q = -57 - 839. Does 3 divide q?
False
Suppose -k + 16457 = -20*t + 3393, -3*t + 65732 = 5*k. Is 106 a factor of k?
True
Suppose 2*o = 5*t + 49 - 5, 0 = -4*t. Suppose -4*z = -n - 2*n + o, -5*z = 5*n - 95. Is n a multiple of 2?
True
Let o(l) = l**3 + l**2 - 6*l - 24. Let v be o(11). Suppose 5*f + v = 3*c - 1570, -4*c + 3919 = 3*f. Is 49 a factor of c?
False
Let l(h) be the third derivative of h**6/60 - 9*h**5/10 + 27*h**3/2 - 3*h**2 - 29*h. Is 28 a factor of l(27)?
False
Let r = 185 - -288. Is -2 + r - (-3 + 6) a multiple of 13?
True
Suppose -31*s = 1