 Is 25 a factor of y?
True
Let p(x) = 20*x + 31. Let g(m) = 221*m + 340. Let c(i) = -16796*i - 25840. Let u(v) = 2*c(v) + 153*g(v). Let t(z) = -34*p(z) + 3*u(z). Is 34 a factor of t(-10)?
True
Let t(d) = d**3 + d**2 - 3*d - 529. Let h be t(0). Let p = 946 + h. Does 17 divide p?
False
Let i be (4/10*-2)/((-4)/1900). Let n = i - 0. Suppose q = 1, 3*u = -u + 4*q + n. Is u a multiple of 12?
True
Let s(c) = -70 - 9*c + 10*c**2 + 10*c**2 - 26*c**2 + 7*c**2. Does 12 divide s(26)?
True
Suppose -9*x + 10*x - 16 = 0. Let k = 19 - x. Suppose -k*a - 12 = 0, 0 = -w + 5*a + 145 + 40. Is w a multiple of 33?
True
Suppose -2*c + 88 = -0*c. Suppose 3*k + 18 = -18. Let a = c + k. Does 5 divide a?
False
Let b = -18 + 20. Let t(p) = 2*p**b + p**3 - 15*p**2 - 20 + 4*p**2 + 12*p. Does 7 divide t(8)?
False
Let q(n) = -17*n**2 - 3*n - 5 + 21 - n**3 + 21*n**2. Let v be q(4). Suppose 4*c - 1700 = -4*w, v*c + 1225 = 2*w + 387. Does 13 divide w?
False
Suppose 3*h - 118549 = -4*m, -h = 66*m - 69*m - 39512. Is h a multiple of 35?
True
Let n = -52 - -62. Suppose 15*f + 750 = n*f. Is 13 a factor of (12/5)/((-10)/f)?
False
Let u be 11/5 + (-11)/5 + 3. Suppose 3*a = 5*a - 3*z - 493, u*a + z - 734 = 0. Suppose -5*l - 3*t + 8*t = -a, -3*t + 73 = 2*l. Is 22 a factor of l?
True
Let v(j) = -13*j + 26. Let f be v(2). Suppose f = -5*l + 289 + 336. Does 5 divide l?
True
Suppose 2*z = -5*r + 32762, z + 11201 = 2*r - 1902. Is 72 a factor of r?
True
Let h(g) = 7*g + 8. Let x be h(3). Let w be 7*x - 0 - (29 + -26). Suppose 4*p + 2*j - 160 = -j, -w = -5*p + 4*j. Is 10 a factor of p?
True
Let m = 427 - 191. Suppose -11*c + m + 358 = 0. Does 4 divide c?
False
Suppose -64*j - 6534 = 43*j - 7. Suppose 0 = 3*y + 2*y - 515. Let r = j + y. Does 7 divide r?
True
Let j(r) = 42*r**2 - r + 1. Suppose 7*z = c + 2*z - 1, -5*c - z + 5 = 0. Let b be j(c). Suppose -b = -2*g - g. Is 14 a factor of g?
True
Let i(j) = 7*j**2 - 17*j - 734. Does 42 divide i(40)?
True
Suppose -46 = 5*b - 11, 0 = a + 4*b - 8652. Does 20 divide a?
True
Does 9 divide (-3)/10 - (-13)/10*10281?
True
Let y(m) = 11*m**2 - 3*m - 72. Is y(6) a multiple of 9?
True
Suppose -5*p + 163 = 4*q, q + 143 = -3*p + 7*p. Let j = p + -238. Let v = j - -450. Is 13 a factor of v?
True
Let n = 8336 - 7016. Let q be -1 + (-1)/1*-4. Suppose -q*v = v - n. Is 30 a factor of v?
True
Let j(h) = -19*h + 21*h**2 - h**3 + 6 - 18*h - 6*h + 2*h. Is j(18) a multiple of 5?
True
Let z be 21/(-6 - (-65)/10). Is 22866/z + 3/(-7) a multiple of 34?
True
Suppose -739*o = -736*o + 24. Is 9 a factor of o - (-8 - (3 + 34))?
False
Let w(y) = 15*y + 387. Let b be 30/45 + 4/(-6). Is w(b) a multiple of 43?
True
Suppose 418 = 3*c - 194. Suppose -3*z = -3*p - c, 6*z + p = z + 346. Let m = -19 + z. Does 12 divide m?
False
Suppose 49*d - 43*d - 2064 = 0. Suppose 0 = 32*i - 36*i + d. Is i a multiple of 14?
False
Let o = 509 - 498. Suppose 12*x - 2691 = -o*x. Is x a multiple of 3?
True
Let w = -12 + 56. Suppose 19 = 3*m - w. Suppose -t = 0, 0*t + 4*t + m = 3*f. Is f a multiple of 7?
True
Let f = 2380 - -2584. Is 4 a factor of f?
True
Let a(s) = 28*s**2 - 9*s**3 + 42 + 11 + 10*s**3 + s. Is 14 a factor of a(-28)?
False
Let i(y) be the first derivative of y**4/4 + 4*y**3/3 - 3*y**2 - 15*y - 282. Is i(5) a multiple of 12?
True
Suppose 0 = -4*a - 5*q + 4511, -q - 1189 = -2*a + 1056. Suppose 0 = 5*h - 851 - a. Is 13 a factor of h?
False
Let m(d) = 200*d - 1361. Is m(13) a multiple of 21?
True
Let m(o) = -214*o - 28. Let w(u) = 3*u. Let c(y) = -m(y) + 6*w(y). Is 20 a factor of c(1)?
True
Let t(f) = -f**3 - 10*f**2 + 22*f + 2. Let l be t(-11). Let i = 144 + l. Is 14 a factor of i?
False
Let k(f) = f**3 - 2*f**2 - 9*f + 5. Let d be k(4). Let z be -8*(1 + (-39)/12). Suppose -b + z = d. Does 11 divide b?
False
Suppose -2*p - 31 = -q, 5*p + 20*q = 21*q - 85. Does 8 divide 2399/3 + p/(-54)?
True
Let m(n) be the third derivative of -11*n**5/6 + 16*n**2. Let x be m(-1). Does 3 divide -3*12/(-54) + x/(-6)?
False
Let l(p) = -p**3 + 16*p**2 - 11*p - 58. Let j be l(15). Suppose 4*y + 353 + 69 = 2*f, -3*f - j*y + 657 = 0. Does 13 divide f?
False
Let n(r) = -7*r**2 + 62*r - 45. Let c(m) = -3*m**2. Let z(y) = -2*c(y) + n(y). Is 45 a factor of z(17)?
True
Let p(t) = -t**2 - 13*t - 33. Let c be p(-8). Suppose -2*x + r - 2520 = -c*x, 2*x - 2*r - 1008 = 0. Is 21 a factor of x?
True
Is (-101)/(4*1/(-4)*2/482) a multiple of 181?
False
Let j be -3 - -5 - 48/(-6). Suppose -2*q + 2*p = -4*q + 4, -5*q + j = p. Suppose -q*c + c = -20. Does 10 divide c?
True
Suppose -y + 15 = -2*y. Let x(t) = -t**3 - 15*t**2 - t - 22. Let m be x(y). Is 5 a factor of -5*75/(2 + m)?
True
Let r(n) = -18*n + 69. Let m be r(0). Suppose 2*x + 2*p = 46, p = 2*x - 5*x + 67. Let q = m + x. Does 13 divide q?
True
Suppose -51 - 105 = -6*u. Suppose u*l = 24*l + 430. Does 5 divide l?
True
Let q be 604*(3 + (6 - 5)). Suppose -11*m + 14395 - q = 0. Is m a multiple of 72?
False
Suppose 12*r - 88833 - 18073 = -15910. Is 195 a factor of r?
False
Let f(u) = 7*u**2 + u - 6. Let d(y) = -y**3 - 11*y**2 - 2*y - 28. Let p be d(-11). Is f(p) a multiple of 10?
True
Let g = 775 + 5122. Is 64 a factor of g?
False
Let l = -7175 + 7569. Does 53 divide l?
False
Let d = -100 - -100. Suppose d = 12*s - 14*s - 10, 3*s + 379 = 4*k. Does 13 divide k?
True
Suppose -3*a = -25*a + 38214. Suppose -3*z = -3*q - 8*z + a, -590 = -q + 2*z. Is q a multiple of 45?
False
Is (2142/147 - -14) + (-4)/7 a multiple of 4?
True
Let s = 10459 + -4431. Is s a multiple of 22?
True
Suppose -s = -2*n - 6, 4*n + 26 = 7*s - 12*s. Is n*(-4)/(-8)*-332 a multiple of 50?
False
Suppose 216 = -29*b + 33*b. Let p(m) = 7*m**2 - m. Let h be p(2). Let q = b - h. Is 4 a factor of q?
True
Let u be (-11)/((-77)/(-56)) - -542. Let s = u + -79. Does 13 divide s?
True
Let b be (3 + 1 + 63)/(-1). Let m = -12 - b. Suppose 1 - m = -2*a. Does 12 divide a?
False
Let v(l) be the third derivative of -9*l**6/40 + l**5/60 + l**4/6 + 2*l**3/3 - 30*l**2 + 2*l. Does 9 divide v(-3)?
False
Let h(z) = 445*z - 259. Is h(2) a multiple of 27?
False
Suppose k + 6*k = 5*k. Suppose k = 14*f - 3756 - 780. Does 54 divide f?
True
Let n(x) be the first derivative of x**2 + 13*x + 34. Let i be n(-4). Is (i/((-75)/12))/((-3)/120) a multiple of 32?
True
Let z be 0 - ((-5 - (-2 + 3)) + 1). Suppose v - f = -3*v + 1457, -1821 = -z*v + f. Suppose 268 = 3*m - j, 0*m = 4*m + 2*j - v. Is 18 a factor of m?
True
Let i(n) = -10*n**3 - 23*n**2 - 104*n + 5. Does 150 divide i(-5)?
True
Let d = -32771 - -36592. Is 3 a factor of d?
False
Suppose -11*r = -9*r + 418. Let o = r + 75. Let t = o + 189. Is 7 a factor of t?
False
Let l = -14 + 28. Suppose 2*c + 5*s = -3*c + 465, c + 3*s = 87. Suppose -l*i = -13*i - c. Does 12 divide i?
True
Suppose 5199 = 6*p - 1731. Suppose 7*c - 4214 = p. Does 13 divide c?
True
Let k be ((-2)/(-4))/(8/(-1264)). Let u = k - -84. Suppose 3*l - 104 + 20 = -2*c, -184 = -u*c - l. Is 4 a factor of c?
True
Is -3 + (4517 - 0) + (-47 - -41) a multiple of 14?
True
Let g be 1072/4 + 0 + 3. Let w = 143 + g. Suppose 10*r - 7*r - w = 0. Does 46 divide r?
True
Suppose -114158 = 129*y - 1219483 + 67649. Does 114 divide y?
False
Suppose -4*x - 9 = -3*f, 4*f = 17*x - 16*x + 12. Suppose f*v - 199 = -2*o - 0, 0 = 4*o + 4*v - 404. Is 37 a factor of o?
False
Does 24 divide (0 - -5)*((-24426)/(-23))/18?
False
Suppose 4*z + 3104 - 19878 = -5*b, -3*b + 20987 = 5*z. Is z a multiple of 51?
False
Suppose 83*z - 6761 = 76*z + 8107. Does 11 divide z?
False
Let r(k) = 3*k**2 + 20*k - 14. Let c(q) = q**2 + q + 1. Let o(h) = -6*c(h) - r(h). Let v be o(-8). Let s = 542 + v. Does 7 divide s?
True
Let y(a) = a**2 - 26*a + 143. Let n be y(7). Is 2/(-3)*(-1176)/(n + -2) a multiple of 14?
True
Suppose -3*w - 1061 = z + 3*z, -715 = 2*w - 5*z. Is -17*w/10*(0 - -2) a multiple of 17?
True
Suppose 0 = 8*q - 21333 - 107691. Is 72 a factor of q?
True
Suppose 0 = -4*p + 1 + 7. Let v be (-1153)/(-11) + ((-200)/110 - -2). Suppose 3*a - 51 = 4*s + v, 0 = p*a + 2*s - 104. Is 13 a factor of a?
True
Let p(m) = m**3 + 3*m**2 - 2*m. Let v be p(-3). Suppose -2*r + 380 = -5*b, -v*r - 5*b = -9*r + 560. Does 73 divide r?
False
Suppose 225*c = 1574527 + 1142348. Is 75 a factor of c?
True
Suppose 497*c - 535*c + 17176 = 0. Is 69 a factor of c?
False
Suppose 0 = d + 4*c - 5847, 