 30 divide (18/(-4))/(c/k)?
True
Suppose 0 = -8*z + 145 + 415. Let m = -68 + z. Let d(j) = 5*j**2 - j - 3. Does 2 divide d(m)?
False
Let s(k) = 4055*k - 69. Does 7 divide s(2)?
False
Suppose 4*i = -3*l + 203612, 7*i - 5*l = 11*i - 203604. Is 119 a factor of i?
False
Let p be (((-57)/(-4))/3)/(8/32). Let h(d) = -d**2 + 19*d. Let a be h(p). Suppose 2*m + 72 - 384 = a. Is m a multiple of 39?
True
Let n be 8739/6 + 1/2. Suppose 0 = 5*d + 467 - n. Is 18 a factor of d?
True
Let p(c) = c**3 + 36*c**2 + 98*c - 11. Is p(-28) a multiple of 3?
False
Let r = -165018 + 232703. Does 16 divide r?
False
Suppose -40 = 86*v - 88*v. Suppose 5*g - v = 5*r, 2 = r + r. Suppose w + g*o - 8 = 53, -4*w + 4*o + 196 = 0. Is w a multiple of 17?
True
Let q(r) = 6615*r + 993. Is 23 a factor of q(7)?
False
Is 14 a factor of (2384/3)/((-52)/(-156))?
False
Suppose -29*r = 182 - 4792 - 233. Let b(t) = t**3 + 3*t**2 - 6*t - 5. Let j be b(-4). Suppose j*m - r = -4*c - 41, 0 = -3*m - 6. Is 5 a factor of c?
False
Let o(s) = -1 - 301*s + 610*s - 295*s + 21*s**2. Does 11 divide o(-7)?
False
Let a(l) = -114*l + 417. Does 75 divide a(-15)?
False
Let r(m) = -2*m - 10. Suppose -k = -u + 3*k + 8, 5*k = -5*u - 85. Let t be r(u). Is 14 a factor of 23 - t/21*(-6)/(-4)?
False
Let z(p) = p**3 + 11*p**2 + 12*p - 11. Let m be z(-6). Let o = m + 11. Is o a multiple of 9?
True
Suppose 4*a - 2*a = -2*c + 10, -4*a - 5*c = -25. Suppose a = 5*y + i - 761, y + 2*i + 150 = 2*y. Suppose 5*z = -4*b + y, -4*z = 4*b + b - 181. Does 11 divide b?
True
Suppose 13*n - 40719 = 27739. Let s = 3064 - n. Is s/(-8) - 18/72 a multiple of 55?
True
Is 6 a factor of -98 - -93 - (1*-587 - 0)?
True
Suppose 0 = 31*p - 433521 + 33435. Is 11 a factor of p?
False
Let z be 8/((-160)/(-15)) - (-117)/(-12). Let h(k) = k**2 + 11*k - 21. Let b(p) = -5*p**2 - 43*p + 85. Let y(c) = z*h(c) - 2*b(c). Is y(13) a multiple of 19?
True
Suppose -49*b + 2*b + 12173 = 0. Suppose 356 = -2*i - 2*i. Let k = i + b. Is k a multiple of 34?
True
Is 296*(-1330)/21*60/(-25) a multiple of 19?
True
Suppose 5 = 5*w, -b - 5*w = -1083 - 262. Let t = b - 466. Is t a multiple of 11?
False
Suppose 112674 = 17*j - 20334. Is j a multiple of 16?
True
Suppose -3*b + 5*b = 256. Let l = 103 - b. Is 7 a factor of l/10*(0 - (-84)/(-10))?
True
Let i = 5 - -43. Let p(x) = -x**3 + 11*x**2 - 4*x + 54. Let c be p(11). Let y = c + i. Is 13 a factor of y?
False
Suppose -490*x - 49*x - 8455461 = -24901968. Is x a multiple of 49?
False
Let k(j) be the third derivative of -j**6/120 + j**5/30 + j**4/12 + 5*j**3/6 - j**2 - 14*j. Let h(p) = -p**2 + 6*p + 3. Let b be h(7). Does 52 divide k(b)?
False
Is 102 a factor of -25*32/(-2400) - 28424/(-3)?
False
Let s = 9011 - 7184. Is s a multiple of 63?
True
Let s = -3314 + 4405. Does 3 divide s?
False
Suppose 0 = 15*n - 5703 - 9252. Suppose -2*l + n = 391. Is l a multiple of 13?
False
Let f(t) = 3*t**3 + 20*t**2 + 13*t + 6. Let u be f(-6). Suppose -2*v + 2*w - 21 = -497, u = -5*w - 15. Is v a multiple of 47?
True
Suppose 207*k = 448339 + 603281 + 670206. Is k a multiple of 35?
False
Let b be -10*(36/(-12) + (-66)/(-10)). Let o(x) = 4*x + 28. Let l be o(-8). Is 14 a factor of 4*(l - b) + 1?
False
Let r be 3292 - (2/5 + 34/(-10)). Suppose r = -7*w + 1013. Is 6 a factor of (-10)/60 - (w/12 - 2)?
False
Let s = 1375 + 4615. Is s a multiple of 70?
False
Let q = -195 - -211. Is 13 a factor of 184 + 2 - (q/2 + -6)?
False
Does 116 divide (-7)/(-2)*-2*(-74)/259 + 16019?
False
Let u(b) = b + 1. Let o(a) = -28*a + 16. Let v(k) = 3*o(k) + 24*u(k). Is 21 a factor of v(-17)?
True
Suppose 36*m = 239469 - 43931 + 54014. Is 135 a factor of m?
False
Let t(v) = 5*v + 14. Let x be t(-5). Is 269 + x - (-1 + -1) a multiple of 8?
False
Let w = 86 - 435. Let r = w - -723. Is r a multiple of 34?
True
Let c = -538 - -745. Is (-7998)/(-4)*138/c a multiple of 43?
True
Let d(b) = -b**3 + 7*b**2 + 67*b + 96. Is d(-18) a multiple of 30?
True
Let n(i) = -i**3 + 5*i**2 - 1 - 7 + 12. Let d be n(5). Suppose 4*v - 741 = d*m - 185, -4*m + 159 = v. Does 8 divide v?
False
Let t(w) be the third derivative of w**4/6 + 8*w**3 - 11*w**2. Let i(u) = -2*u - 24. Let r(l) = -13*i(l) - 6*t(l). Is r(6) a multiple of 18?
True
Let r(b) = -79*b + 89. Let q be r(7). Let i = q - -621. Is 3 a factor of i?
False
Let x = -93955 + 135318. Is 133 a factor of x?
True
Suppose 172*c = -32*c + 794706 + 1137990. Is c a multiple of 170?
False
Suppose 2*c + 5*z - 111 = 0, 0 = -5*c + 3*z + 202 + 29. Let a(y) = -17*y - c*y + 5 - 28*y - 6*y. Is a(-2) a multiple of 29?
True
Does 11 divide 3661 + (-11 - -6) + 5/(-15)*-21?
True
Suppose -23*k + 28*k + 20 = 0, r + 5*k = -16. Suppose j + 55 = r*j - 5*s, -5*j = 2*s - 71. Is 5 a factor of j?
True
Does 2 divide ((1 - -6) + -4)/((-1040)/1055 + 1)?
False
Suppose 5251*r = 5218*r + 295152. Does 8 divide r?
True
Let w(v) = -11*v**2 - 9*v + 11. Let h be w(3). Let z = 143 + h. Does 2 divide z?
True
Let p(q) = q**2 - 12*q + 12. Let u be p(7). Let z(i) = -5*i - 91. Is z(u) a multiple of 15?
False
Let t = 1858 - 1901. Suppose 0*q = -q - 97. Let m = t - q. Does 9 divide m?
True
Is (-11)/((-154)/28) + (-2638)/(-2) + -1 a multiple of 22?
True
Suppose -5*s + 4*f = -55080, 0 = s + 24*f - 28*f - 11016. Is 72 a factor of s?
True
Let x(l) = 129*l**2 - 74*l - 6. Is 154 a factor of x(-6)?
True
Suppose 90452 + 85668 = 37*c. Is c a multiple of 43?
False
Let w = -1852 + 2641. Is w even?
False
Suppose -c - 14 = -17. Suppose 0 = 5*f - c*r - 1704, 4*f - 3*f + 2*r = 346. Is f a multiple of 19?
True
Suppose -590*h = -564*h - 84084. Does 33 divide h?
True
Let o = -338 - -323. Let m(n) = -3*n + 26. Is m(o) a multiple of 8?
False
Suppose -82*c = -90844 - 233220. Is 20 a factor of c?
False
Let o(i) = -i + 38. Suppose -2*g + 10 = -28. Let j be o(g). Suppose 8*v = 173 + j. Does 4 divide v?
True
Let q(x) = -x**2 - 24*x + 194. Let s be q(6). Suppose 0 = s*o - 2*o - 1092. Is o a multiple of 6?
False
Suppose 0 = -3*p + 55*k - 59*k + 8, -7 = -p + 3*k. Suppose -4*c = -3*c - p, -5*b - 5*c + 2540 = 0. Is b a multiple of 7?
True
Suppose 2*r + 3246 = 5*r. Does 13 divide r?
False
Suppose -2*i + 10 = 4*x + 4, 0 = 5*i + 5*x - 10. Let j = 5 - 5. Is 11 a factor of (j - -17 - 0)*i?
False
Let y = 73 + 715. Let k = 980 - 465. Let i = y - k. Does 13 divide i?
True
Let u = 370 - -1300. Is u a multiple of 16?
False
Let z(u) = 356*u**2 - 24*u + 74. Does 125 divide z(3)?
False
Let u(z) = -2*z - 11. Let b be u(-7). Suppose -3*k + k + b*n = -3, -k = -n - 4. Suppose -92 = -k*p + 5*p. Is p a multiple of 5?
False
Suppose -2*h + 3*h - 4769 = 5*n, -4*h - 4*n + 19052 = 0. Suppose 804 - h = -11*z. Is z a multiple of 20?
True
Suppose -526668 = -55*w + 257027. Is w a multiple of 102?
False
Let r(l) be the first derivative of l**2/2 + 22*l + 28. Let f be 36/3 - 1/(-1). Is 7 a factor of r(f)?
True
Let o = 1325 - -2803. Is 48 a factor of o?
True
Let f(m) = 2*m**2 - m. Let o(i) = 1348*i**2 + 22*i + 2. Let b(x) = 4*f(x) + o(x). Is 67 a factor of b(-1)?
True
Let a be (-9)/((-9)/2) + -1. Let y be (-10)/20 - a/(-2) - -6. Suppose y*x - 296 - 532 = 0. Is 23 a factor of x?
True
Is (-1)/((-3)/956*(140/15 - 9)) even?
True
Suppose -5*y + 119472 = 3*a, 4*a + 3*y + 96354 = 255661. Does 52 divide a?
False
Suppose -236 = -6*f + 4066. Suppose 0 = g - 74 - f. Suppose -n - 6*n = -g. Is 22 a factor of n?
False
Let s = 5832 - 4846. Is 58 a factor of s?
True
Let v be -1 - -1*((-25)/(-5) - 4). Suppose v = -10*u + 291 + 9. Does 10 divide u?
True
Suppose -13 + 21 = 4*r. Let j be r/(-5) - -6*55/75. Suppose -3*t + 0*c - j*c + 194 = 0, 5*c - 25 = 0. Does 29 divide t?
True
Suppose 296 = -3*z - z - 4*h, 4*z + 2*h + 286 = 0. Suppose 0 = -5*u - 2*g + 523 + 624, u = 4*g + 225. Let p = z + u. Is 40 a factor of p?
True
Let v = -67 - -69. Suppose -v*z + 5*z = 480. Suppose 12*x + z = 17*x. Is 8 a factor of x?
True
Is (-22380)/(-6) + 41 + -35 a multiple of 83?
False
Suppose -5*k + 146 = 3*s, -9 = 5*s - k - 215. Let z = -45 + s. Does 5 divide 57 + (-5 - (z + 0))?
True
Let k = -3871 + 3885. Let f(o) = 3*o - 17. Let l(t) = -1. Let j(y) = f(y) + l(y). Is 4 a factor of j(k)?
True
Is 5 a factor of 2994352/992 + 7/(-2)?
True
Let a(c) = -5*c**2 - 2*c + 72. Let p(x) = -28*x**2 - 10*x + 361. Let r(l) = 11*a(l) - 2*p(l). Suppose 0 = -0*q + 5*q. Does 35 divide r(q)?
True
Supp