010 = -81*t + 10559 + 46472. Is t even?
False
Let v(y) = -4*y - 21. Let k(w) = 4*w + 23. Let j(t) = 5*k(t) + 6*v(t). Let m be j(-5). Suppose m*f = 2*f + 1176. Is f a multiple of 15?
False
Suppose 63 = 8*p + p. Suppose 12*i = p*i, 4*h + 3*i = 40. Is 10 a factor of 2 - (-82)/h - 11/55?
True
Suppose -7 + 24 = 3*m + 5*j, -3*m + j + 11 = 0. Suppose -3*i = h - 44, 3*h = m*i + 87 - 7. Suppose -2*k + 28 = -h. Does 16 divide k?
False
Suppose 5*u - 10*b = -9*b - 4, -2*u - 2*b + 8 = 0. Is 5 + u - (-3 + -358) a multiple of 61?
True
Let d(i) = 103*i**3 + 3*i**2 + 4*i - 27. Is 49 a factor of d(3)?
True
Let h = -28006 + 86416. Is h a multiple of 21?
False
Suppose 5*d + 8014 = 3*s, -10726 = -5*s + 3*d + 2636. Does 4 divide s?
False
Let f be 2/(-6) - ((-2)/(-3))/(-2). Let m be 5663/(-42) - (2 - f)/12. Is 9 a factor of ((-372)/10)/(m/25 + 5)?
False
Suppose 0 = -4*x + 83*p - 84*p + 130195, -2*x = 3*p - 65085. Is 30 a factor of x?
True
Let t(y) = 13 - 6*y**2 - 4*y**3 - 4*y + 3*y**3 + 0*y + 2*y**3. Let u be (24/16)/((-3)/(-14)). Does 15 divide t(u)?
False
Let n(f) = 6*f**2 + 10*f + 5. Let i = 105 + -143. Let p = -42 - i. Is n(p) a multiple of 19?
False
Let q(c) = -97*c + 5. Let g(i) = -i**2 + 195*i - 9. Let m(s) = -3*g(s) - 5*q(s). Does 27 divide m(40)?
False
Suppose 2*a - 6 = -6*j + j, 0 = 5*j + 3*a - 4. Suppose l - 2*r = -j*l - 60, 9 = 3*r. Is 4/l*-3*2*72 a multiple of 12?
True
Let i(a) = -1263*a + 2507*a - 279 - 1273*a. Does 2 divide i(-10)?
False
Suppose 4*r = -h + 2*r - 6, -5*h + 25 = -r. Suppose 0 = -6*x + 2*x - h*a + 36, 4*x = -2*a + 28. Suppose -3*o + 223 = -x. Does 19 divide o?
True
Suppose 18*k - 302 + 50 = 0. Is 13 a factor of 3338/k - (-18)/(-42)?
False
Let r(m) = 2*m**3 - 39*m**2 - 18*m + 148. Let j be r(28). Suppose 21*u - j = -603. Is u a multiple of 63?
False
Let i(h) = -h**3 - 8*h**2 - 11*h - 5. Let d be i(-7). Let o(j) = -j**3 + 21*j**2 + 52*j + 60. Is 8 a factor of o(d)?
False
Suppose -28 = 53*z - 25*z. Is 22 a factor of (z/((-35)/(-990)))/(9/(-168))?
True
Let a be (7 + -12)/((-2)/54). Is 14 a factor of 54/a + 1678/5?
True
Does 199 divide 5 - (-46109)/14*52/13?
False
Let t be (-6)/20 + (-1924)/520. Suppose -4*w + 12 = 0, 4*b - 1 = 3*w + 2. Is t - (4 - b)*-12 a multiple of 3?
False
Suppose 14*d - 152*d + 998982 = 0. Is d a multiple of 19?
True
Let s be (2 + 8)*((-27)/(-6))/(-9). Let p be ((-6)/s)/((-24)/(-10740)). Does 5 divide 7/(-14) - p/(-6)?
False
Let a = -2024 - -2018. Let n(d) = 3*d**3 - 7*d**2 - d - 12. Let m(y) = 5*y**3 - 14*y**2 - 3*y - 24. Let l(h) = -4*m(h) + 7*n(h). Does 8 divide l(a)?
False
Let c(i) = -54*i - 84. Let j be c(-2). Suppose -588 = 21*z - j*z. Is z a multiple of 28?
True
Let f = 2066 - 1617. Is 13 a factor of f?
False
Let u = -49 - -41. Let k be 1 + 0 + 17 + -1. Let j = u + k. Is 9 a factor of j?
True
Suppose -4*l - d = -13342, 0*l + 4*d = -3*l + 10000. Does 139 divide l?
True
Let i(k) = k**2 + 13*k + 17. Suppose o + 8 = -4*d, -3*o - 14 - 10 = -3*d. Let p = o + -5. Is 17 a factor of i(p)?
True
Suppose v = -2*o - 0*o + 50, -3*o - 123 = -3*v. Let t be v/(-10)*(1 + -6). Suppose 26*l = t*l + 72. Is 9 a factor of l?
True
Suppose -107537 = -143*g + 14871. Does 30 divide g?
False
Suppose -99*v - 112*v = -1103319. Is v a multiple of 9?
True
Let z = -2734 - -3035. Is z a multiple of 43?
True
Let p be (-4 - -3 - -78) + -1. Suppose 2*g + 29 = o, 5*g + p + 6 = 3*o. Let t = 33 - o. Does 7 divide t?
True
Suppose 3*x = -4*f - 432, 0 = x - 5*f - 24 + 168. Does 5 divide 387/12 + (-9)/x*12?
False
Let x = -5396 + 6574. Is x a multiple of 38?
True
Let q be 3/(15/(-4))*(-70)/4. Suppose 3*x + 4 = -5*f, -2 = -f + 5*x + q. Is 18 a factor of 3*25 + (2 - 4 - f)?
True
Is 35 - (-6 + -6 + 2) a multiple of 3?
True
Does 33 divide (-18)/2 + -46 + 5010?
False
Let h(x) = 3*x**2 + 38*x - 56. Let c be h(-14). Suppose c = -5*p + 3*k + 233, -3*p + 98 = -k - 41. Does 2 divide p?
True
Suppose 2*a = -7 + 11. Suppose 2 = m - j, 13*m - 16*m + j = -12. Suppose a*d = 2*l - 160, -m*l + 4*d + 395 = -0*l. Does 25 divide l?
True
Let p be 7/(42/2944) - (-4)/3. Suppose -p = -8*t + 260. Is 3 a factor of t?
False
Is 15 a factor of (-2 - -20 - 15) + (-612)/(-1)?
True
Let z be (42/35 - 2)*-205. Let u = z - -46. Is u a multiple of 30?
True
Let b(u) = 2*u**2 - 17*u + 12. Let k be b(3). Let o(j) = 2*j**2 + 44*j + 56. Is 9 a factor of o(k)?
False
Let p = -546 - -551. Suppose p*m = -25, -2*t = 2*m - 411 + 31. Does 15 divide t?
True
Let f(i) = i**2 + 6*i - 84. Is 7 a factor of f(49)?
True
Let o be 10/(-4)*((-252)/(-30))/(-7). Suppose 588 = o*x + 3*x. Suppose -3*s + x + 205 = 0. Is s a multiple of 13?
False
Suppose -2*a - 4 = 0, 4*a - 36 + 20 = -n. Is (n/(-4) - -11) + 1113 a multiple of 86?
True
Let h be 2/4*(-90)/(-45). Is 17 a factor of (799/(-188))/(h/(-156))?
True
Suppose -2*j - 3*j - 341 = 2*l, 3*l + 9 = 0. Let z = 147 - 77. Let y = z + j. Is y even?
False
Let y(f) = -125*f - 468. Is 16 a factor of y(-33)?
False
Let m(k) be the third derivative of -k**4/24 + 7*k**3/6 + 12*k**2. Let z be m(-6). Suppose -853 = -z*f + 1825. Is f a multiple of 16?
False
Suppose 221 = 10*q - 149. Suppose -y - 23 = q. Let l = -43 - y. Is 3 a factor of l?
False
Suppose -109 + 94 = -3*i. Suppose i*x + 1696 + 3164 = 0. Is (x/24)/(2/(-4)) a multiple of 15?
False
Does 119 divide 24/(-3) - (-47)/(282/61452)?
True
Let g = 27830 - -648. Is g a multiple of 9?
False
Let q(d) be the second derivative of 7*d**5/5 + d**4/12 - d**3/3 - d**2/2 + 56*d - 2. Does 6 divide q(2)?
False
Let j(v) = -38 + v + v**3 - 5*v**2 + 22*v**2 + 2*v**2 + 11*v - 6*v. Is 9 a factor of j(-7)?
False
Let p = -573 + 717. Suppose 0 = -7*t + 10*t - 5*k - 440, t - k = p. Does 28 divide t?
True
Is 6 a factor of (-23)/((1/1011)/(18/(-54)))?
False
Suppose 0 = 18*u + 81*u + 84*u - 384300. Is u a multiple of 4?
True
Let s be (-6)/10*(-5)/(-1). Let r be -1 + 1*(-5 - s). Is 5 a factor of (-1)/2*(-30)/(r - -6)?
True
Let o(l) = 11*l - 11. Let i(b) = -b**2 + 19*b + 23. Let g be i(20). Let w be o(g). Suppose 0 = -f + 3*m + 26, 4*m - w = -2. Is f a multiple of 6?
False
Suppose 2014*l = 2026*l - 180192. Does 20 divide l?
False
Suppose -5*i = -3*h - 11, -17*i = -2*h - 22*i - 24. Let o(b) = -120*b + 179. Is 24 a factor of o(h)?
False
Let r(v) = -70*v - 48. Let d be r(9). Is (-12)/(-66) + d/(-22) a multiple of 7?
False
Let d be 2/4 - (-9 + (-778)/4). Let f = d + 148. Does 11 divide f?
True
Suppose 9*a - 9397 = 1214. Let q = a - 839. Is q a multiple of 17?
True
Let d(y) = -4*y + 17. Let n be d(7). Let q(r) = -6*r**2 - 9*r**2 - 4 - 15*r - 1 + 14*r**2. Does 13 divide q(n)?
True
Suppose -9*j - 77 - 13 = 0. Let g(r) = -23*r**2 + 15*r + 21. Let b be g(j). Is 23 a factor of 2/(-15) - b/105?
True
Suppose -5*t + 4*f - 2812 = 0, -62*f + 67*f + 2785 = -5*t. Let h = t - -812. Does 15 divide h?
False
Suppose -4*h = -2*w - 728, -5*w + 69 = 4*h - 645. Suppose 51 = -5*z + h. Does 26 divide z?
True
Is (((-387)/(-12))/((-10)/32))/(4/(-130)) a multiple of 129?
True
Let o = 312 + -151. Let k = o + -135. Does 9 divide k?
False
Suppose -4*v + 2456 = 7*a, v - a = -4*a + 619. Is 17 a factor of v?
False
Let m be (-3)/(-1) + (2 - 1) + 2. Let l be m*6/9 - -6. Suppose -l = a - 2*v - 40, a - v = 35. Does 40 divide a?
True
Let h(u) = 5*u**2 - 2*u - 7. Let o = -283 - -286. Is 2 a factor of h(o)?
True
Let v(u) = -3*u**3 + 9*u**2 - 50*u + 8. Does 14 divide v(-15)?
True
Let f(t) = t**3 + 74*t**2 + 59*t + 866. Is 59 a factor of f(-73)?
True
Let k(t) be the first derivative of -227*t**5/120 + t**4/24 + 31*t**3/3 + 23. Let g(o) be the third derivative of k(o). Is g(-1) a multiple of 19?
True
Suppose -32*n - 1574118 = -84*n - 65*n. Does 14 divide n?
True
Is (90597/(-92) - -14)/(2/(-8)) a multiple of 14?
False
Let u(b) = -125*b + 3560. Does 5 divide u(-23)?
True
Suppose -18*l = -9*l + 5625. Let y = l + 1196. Does 16 divide y?
False
Is 21 a factor of -98*(8447/(-18) + -5 + (-301)/(-63))?
True
Suppose 0 = -2*x + 30. Let i be (x + -12)/((-3)/(-8)). Suppose 2*q + i*u - 9*u = 313, -3*q + 457 = u. Is q a multiple of 11?
True
Let c = 150 - 145. Let g be (c/2)/(1 - (-55)/(-54)). Is 10 a factor of (-4)/12*-15 - g?
True
Suppose 0 = b + 3*a, b + 4*a + 3 = 1. Is 19 a factor of 1 + -477*b/(-18)?
False
Let f(k) be the second derivative of -137*k**3/6 + 12*k**2 + 132*k. Is 26 a factor of f(-4)?
True
Is 19 