81 = -u. Let o = 100 - k. Is o a multiple of 13?
False
Let g = 415 + -413. Suppose -4*c = 4, g*p + 7*c - 2603 = 6*c. Is 14 a factor of p?
True
Let k = 1262 + 3841. Is 63 a factor of k?
True
Let r be ((-1008)/(-6))/2 + -7. Suppose -r*z + 4728 = -65*z. Is z a multiple of 24?
False
Let d(j) = 3*j - 27. Let v be d(14). Suppose -3*g + 12 = -v. Is 533/g + (-8)/36 + 0 a multiple of 12?
False
Let l(a) = -a**3 + 21*a**2 + 4*a - 33. Is l(14) a multiple of 58?
False
Let h(n) be the second derivative of -n**5/20 + n**4/3 - 5*n**3/3 - n**2 + 35*n. Let b be h(-6). Suppose -5*t + s = 3*s - 1044, -s = 2*t - b. Does 26 divide t?
True
Let a(t) = t**3 + 9*t**2 - 3*t + 8. Suppose -29 = -6*i - 65. Is a(i) a multiple of 39?
False
Let c = -9172 - -15359. Is c a multiple of 11?
False
Let v(c) = 1990*c**2 - 7*c - 4. Does 60 divide v(1)?
False
Suppose 0 = -c - 272*r + 277*r + 10212, -40816 = -4*c + 4*r. Does 38 divide c?
False
Let t(g) be the second derivative of g**4/12 + 29*g**3/6 + 143*g**2/2 + 6*g - 8. Is t(-24) even?
False
Let v = 1585 + 499. Is v a multiple of 12?
False
Let a = 54 + 1740. Does 32 divide a?
False
Suppose -486*m + 488*m - 2*a - 12390 = 0, -4*m - a + 24805 = 0. Does 20 divide m?
True
Let w be (0 + (-1)/(-2))/(3/102). Let o(b) = w + 2*b + 36 - 26. Does 11 divide o(14)?
True
Suppose 8*t - k - 267485 = -45873, -83111 = -3*t + 2*k. Is t a multiple of 36?
False
Let h = 9 - 21. Let g be h*2/(-10) - 18/45. Is g/(-9) - (0 + (-182)/9) a multiple of 9?
False
Is (-2 + -22*213/6)*(-157)/3 a multiple of 163?
False
Suppose -54 = -10*p - 4. Let g(s) = 11 + 10*s - 4*s - p*s. Is g(13) a multiple of 12?
True
Let f be 879/7 + 4 + (-192)/42. Let l = -72 + f. Is l a multiple of 7?
False
Suppose 3*i = -4*b + i + 34, -2*b + 2*i + 14 = 0. Let a be 28/b*(-1 + 63). Let f = 308 - a. Is 13 a factor of f?
True
Let q(j) = j**2 - 11*j + 28. Let z be q(6). Does 14 divide 1/z - (-26904)/48?
True
Suppose -55*n = -52*n - 3. Let c = 60 - n. Suppose -3*h + c = 3*k - 58, -4*h + 177 = -3*k. Does 7 divide h?
True
Suppose -9 = -11*k + 12*k. Let d be -1*-1*(-38)/(-2). Is (d + -40)/(1/k) a multiple of 21?
True
Suppose -t + 17317 = 5*o, -44*o - 6938 = -46*o - 2*t. Is o a multiple of 32?
False
Let g = -316 + 166. Let z = g + 219. Let h = z + -27. Is 15 a factor of h?
False
Let p(j) = 33*j - 232. Is 11 a factor of p(9)?
False
Suppose -137 + 37 = 4*s. Is 17 a factor of (s/(-100))/((-1)/(-708))?
False
Let a(u) = u**2 + 23*u + 174. Suppose 0 = -17*x + 33*x + 624. Is a(x) a multiple of 53?
False
Let m(l) = 4658*l + 2136. Is m(5) a multiple of 33?
False
Let t(i) = 20*i**2 + 18*i + 8. Is 13 a factor of t(-21)?
True
Suppose -33*u - 154 = -22*u. Is (12/21 - (-260)/u)*-30 a multiple of 54?
True
Let i = -4000 - -11165. Does 25 divide i?
False
Let a be (35/(-70))/(1/18). Is 13 a factor of a/((-5)/(1950/9))?
True
Suppose 15*c + 8733 = c + 256855. Does 106 divide c?
False
Suppose 32375 = 22*b + 1135. Let h = b + -749. Is h a multiple of 18?
False
Let l(h) = -221*h + 12170. Is 26 a factor of l(-123)?
False
Let v be (-109040)/(-128) + (-1)/(-8). Is 4 a factor of (v/(-18))/((-2)/6)?
False
Suppose 0 = 4*l - 98 - 158. Suppose 3*s + 12 = 0, -6*b - 4*s = -b + 51. Let j = b + l. Is 31 a factor of j?
False
Let q(v) = -7*v + 17. Let a be q(-25). Let t = a + -54. Is 46 a factor of t?
True
Suppose 31*r - 39*r = -18*r + 1840. Is r a multiple of 4?
True
Is (-882)/(-12)*(-8)/(-12)*11 a multiple of 7?
True
Let b = 26449 - 209. Is b a multiple of 40?
True
Suppose 26*y - 75954 = -y + 122064. Is 6 a factor of y?
False
Let j(k) = -k**3 - 41*k**2 - 47*k + 4. Let h be j(-40). Let r = 796 - h. Does 16 divide r?
True
Let p(w) = w**3 + 47*w**2 - 265*w - 137. Is p(-49) a multiple of 18?
True
Let q(r) = -r**2 - 8*r + 5. Let b be q(-9). Let m be -3*-3*b/24*-2. Suppose 2*n - 132 = -2*n - m*f, -2*n - 3*f + 60 = 0. Is n a multiple of 6?
True
Suppose -458707 = 5*n + 15*n - 51*n. Does 36 divide n?
False
Let q(x) = 1211*x + 902. Does 129 divide q(9)?
False
Suppose -3*v + 5*s = -40, 63 = -v - 4*s + 48. Suppose 3*g - 430 = -v*t - 2*g, 4*t - 3*g = 330. Is 7 a factor of t?
True
Let z be (-105)/6*3/(45/708). Let c be (-7)/35 - z/5. Let h = -67 + c. Does 18 divide h?
False
Let c = 5439 + -2980. Suppose 5*b - 2*t + 3*t = c, -b + 4*t = -496. Is b a multiple of 12?
True
Let o(v) = v**3 + 15*v**2 + 7*v + 3. Let z be (105/14 + -1)*-2. Is 31 a factor of o(z)?
False
Let h = -5359 - -8924. Is h a multiple of 31?
True
Suppose -3 = -5*x + 12. Suppose -2*z = -x*k - 4*z + 667, -888 = -4*k - 4*z. Suppose 0*v = 5*r - v - 515, -k = -2*r - 3*v. Does 13 divide r?
True
Suppose -2*w + 305 + 7889 = 0. Suppose -2611 = -13*b + w. Is 43 a factor of b?
True
Suppose -r + 2*j - j = -1130, -3*r - 3*j + 3360 = 0. Let x = r - 351. Is 11 a factor of x?
False
Let w(u) = 4*u**3 + 202*u**2 + 7*u - 224. Does 11 divide w(-50)?
False
Is (-1 + (-2 - -9))*216010/60 a multiple of 53?
False
Suppose q + 5*y - 23464 = -2*q, -3*y = 2*q - 15644. Is 21/(1764/(-24)) + q/7 a multiple of 43?
True
Let d(q) = q**3 + 14*q**2 - 4*q - 10. Let i = -29 - -23. Let o be (8/i)/((-10)/(-105)). Is d(o) a multiple of 20?
False
Does 82 divide 72164/24 - (-22)/132?
False
Is 130 a factor of 14408186/2639 + (-3)/((-42)/4)?
True
Suppose -4*f - 367 = -3*u - 18, 0 = -3*u - 5*f + 340. Let m = -113 + u. Suppose -q + m*r = -150, r = -2*q + 3*q - 145. Is q a multiple of 35?
True
Let o(a) = 7*a + 1 + 3*a + 9*a**2 + 5 + 4*a. Suppose 60*l + 234 = 21*l. Is o(l) a multiple of 38?
False
Let d be 4*(-2)/(8/3) + 30. Suppose 33 = 5*b - d. Is 6 a factor of b/(-20) - 459/(-15)?
True
Suppose -18 = -0*d - 3*d. Let w(t) = 24 - 24 - d*t. Is w(-8) a multiple of 12?
True
Let c(o) = -o - 41. Let l be c(-22). Let b = -5 - l. Let v = 14 + b. Is 4 a factor of v?
True
Let o = 432 + -306. Let g = 130 - o. Suppose 0*h + 428 = 3*b - 2*h, -g*h = -4*b + 576. Is 20 a factor of b?
True
Let o(i) be the third derivative of -5*i**4/12 + i**3/6 + 41*i**2. Let v be o(-5). Suppose -61 = -2*l + v. Does 6 divide l?
False
Suppose 3*t + 0 - 3 = -4*b, -3*b + 18 = -3*t. Suppose 0 = -2*q - b*q. Suppose 9*c - 14 - 13 = q. Does 3 divide c?
True
Let f(j) = j**3 + 42*j**2 - 40*j - 183. Does 7 divide f(-42)?
False
Let j(u) be the third derivative of 1/120*u**6 + 12*u**2 - 7/24*u**4 - 2/15*u**5 + 0 + 0*u - 1/6*u**3. Does 6 divide j(9)?
False
Let y(v) be the third derivative of -v**5/60 + 3*v**4/8 - 13*v**3/6 + 18*v**2. Let o be y(5). Suppose o*m + 1632 = 23*m. Does 6 divide m?
True
Is (-18*(4 + (-6)/(-12)))/(2/(-490)) a multiple of 14?
False
Let j(o) = 31*o**2 - 4*o - 2. Let a be j(-1). Let g(w) = w**2 - 10*w - 273. Does 81 divide g(a)?
True
Suppose -3*s - 24 = -2*c - 8*s, -18 = -5*c - 2*s. Does 38 divide (c/4)/(9/5760)?
False
Suppose 66700 = 2*a + 4*w, 6917*a + 5*w = 6920*a - 99995. Does 73 divide a?
False
Let p(j) = 17*j + 103. Let c be p(-10). Is (-34)/4*(1 + c) a multiple of 11?
True
Let y be -2 + (-21)/(-18) + 119/42. Suppose -4*p = -y*l + 1520, 769 = l - 0*l - 5*p. Does 15 divide l?
False
Let w(j) = -2*j**2 + 47*j - 28. Suppose 2*l - 21 = -5*r, -l = -3*r + 6 - 22. Does 47 divide w(l)?
False
Let x(s) = 4*s + 22. Let a be x(-3). Suppose 5*w = 2*h + 1771, a*w - 1065 = 7*w + 2*h. Does 26 divide w?
False
Let g(i) = -i**3 - 9*i**2 + 14*i. Let m(k) = k**3 + 8*k**2 - 13*k + 2. Let h(t) = 5*g(t) + 6*m(t). Is h(6) a multiple of 48?
True
Suppose 52*g - 53*g = 5*o - 37690, -4*o + 4*g + 30176 = 0. Is 31 a factor of o?
False
Let v = -130 + 274. Let u = v + 83. Is 12 a factor of u?
False
Let j(h) = 20*h**2 + 37*h + 144. Let y be j(-5). Let i be (6/(-8))/(1/(-4)). Suppose -y = -3*b - i*u, -5*b + 299 = u - 454. Is b a multiple of 30?
True
Let u = -4688 + 5278. Does 25 divide u?
False
Let u be (1 - -190) + 32/(-32). Let o = -161 + u. Is 3 a factor of o?
False
Suppose -36*s - 11*s - 2992 = -44070. Is s a multiple of 19?
True
Is 30 a factor of (-2394)/(-36)*11/((-154)/(-480))?
True
Suppose -4*y = -3*z - 174903, 3*z - 381075 = -6*y - 118728. Is y a multiple of 165?
True
Let r(q) = 167*q + 13. Let c be r(-3). Let i = c - -1008. Is i a multiple of 13?
True
Let l = -243 + 554. Let n = l - 280. Does 31 divide n?
True
Suppose -3*g + 5830 = f, 4*g - 4314 = -4*f + 3462. Is 14 a factor of g?
False
Let j = -52 + 54. Suppose 0 = j*h - 4*y - y + 31, -2*h - 4 = 4*y. Let w(d) = -18*d - 