*p + 3826 = -d. Is p a multiple of 53?
True
Let r(m) = -2*m**2 + m + 11. Let y be r(0). Let i(h) = -10 - 16*h + h**2 - h**3 + 13*h**2 - h**2. Is 8 a factor of i(y)?
True
Suppose -4*u + 2*u = 5*b + 240, -u + 5*b - 90 = 0. Let s = -110 - u. Suppose s = -4*t - 3*m + 288, -3*t + 3*m + 2*m = -245. Is 13 a factor of t?
False
Let y(b) be the third derivative of b**5/20 + 37*b**4/24 + 4*b**3/3 + 2*b**2 + 4*b. Is y(-25) a multiple of 24?
False
Let a be 2/(-5) + 12/5. Let b be 0*(3 - 2) + 0 + a. Suppose f + b*f + 8 = y, -3*f - 76 = -5*y. Is y a multiple of 3?
False
Suppose -13*z - 2040 = -23*z. Suppose -39*h + 22*h + z = 0. Is 6 a factor of h?
True
Let x(w) = -2*w + 0*w**2 + 8 + 3*w + 2 + 98*w**2. Is 13 a factor of x(3)?
False
Let o be -1 - (-1)/(-2)*-2. Suppose 5*h + 3*h - 2120 = o. Suppose -2*c - 5*s - h = -7*c, 10 = -5*s. Is c a multiple of 17?
True
Let a(p) = 13*p + 16. Let b be a(-4). Let l = b - -171. Let v = -69 + l. Is v a multiple of 11?
True
Suppose 46 - 72 = 13*x. Is 52 a factor of x/5 + 393699/285?
False
Suppose -3*s = -5*x - 0*s + 621, -2*x + 3*s = -252. Let q = 590 + x. Does 17 divide q?
False
Let z be 10488/9 - 2/6. Suppose 25*i = 20*i + z. Suppose -h + 54 = -u + 4*u, 0 = -4*h + 5*u + i. Is h a multiple of 4?
False
Let i = -5315 - -8078. Suppose 11*d - i = 2*d. Does 19 divide d?
False
Let y = 71 + -69. Suppose 3*h - 264 = -q, y*q - 3*q - 264 = -3*h. Suppose -4*p = 2*w - h, 3*w - 3*p - 116 - 25 = 0. Does 7 divide w?
False
Let f(p) = -85*p**3 - 4*p**2 - 2*p + 25. Does 160 divide f(-5)?
True
Suppose -5*p + 121917 - 38847 = 0. Is 128 a factor of p?
False
Let g be (216/(-42))/((18/(-21))/3). Does 16 divide (-12)/g - (-772)/6?
True
Suppose 5*i = -4*w + 24146, 12082 = -0*w + 2*w + 4*i. Does 49 divide w?
False
Let z(t) = t**3 + 13*t**2 - 16*t - 75. Is z(-12) a multiple of 2?
False
Let y = 103 + -84. Suppose -3*c = 5*j - 51, j = -6*c + c + y. Let o = 45 + j. Does 9 divide o?
True
Does 7 divide 3 + 2 + 1*(4926 + -3)?
True
Suppose -5*c = 2*i - 70374, -36069 = -2*c - 4*i - 7929. Does 34 divide c?
True
Suppose 4*v = -5*s + 28728, 0 = 5*s - 2*v + 7360 - 36046. Does 35 divide s?
True
Let l be (-5)/(40/(-12))*(-1896)/9. Let b = l - -729. Is b a multiple of 10?
False
Let l be (-12)/(-10)*(-10)/(-4). Suppose -l*b = -12, -3*b + 2*b = s + 61. Is 2/(-15)*3*s*8 a multiple of 8?
True
Suppose 10*c = -33*c + 258. Is 61 a factor of 7904/c + (-28)/84?
False
Let g(s) = -28*s**3 + 212*s**2 - 10*s + 74*s**3 - 107*s**2 + 1 - 102*s**2. Let f be (4/(-8))/(2/(-8)). Does 19 divide g(f)?
True
Let g(y) = -y**2 + 24*y + 32. Let x be g(25). Let z(l) = l**3 - 7*l**2 + 10*l + 6. Does 17 divide z(x)?
False
Suppose 185*m = 182*m + 531. Let o = 228 - m. Is o a multiple of 2?
False
Let s be 2790/6*5/3. Suppose -3846 = -5*r - 4*c, r - 5*c - s = -0*r. Is 14 a factor of r?
True
Let p(u) = -2*u**2 + 24*u + 8. Let z = 24 - 24. Let a be 1/4 + (z - 39/(-4)). Is p(a) a multiple of 16?
True
Let u(o) = -20*o + 4. Let v be (1 - 13)/6 + -2. Does 6 divide u(v)?
True
Let h(f) = 5*f**2 + 2. Let d be h(-2). Suppose -d*j = -19*j. Suppose j = 7*a - 105 - 21. Does 2 divide a?
True
Suppose 6*z + 4*z - 96239 - 37921 = 0. Is 52 a factor of z?
True
Does 34 divide ((1802/85)/(1/(-680)))/(-1)?
True
Suppose 2*r = -55 - 47. Let v = r - -51. Suppose 0 = -v*z - z + 132. Is z a multiple of 29?
False
Is 31 a factor of (-57)/(-2)*(1121 - 6/(-6))?
False
Suppose 2*s - 3*p - 3047 = -3*s, 0 = -2*s - 4*p + 1198. Does 8 divide s?
False
Let c(f) be the first derivative of 89*f**2/2 - 101*f - 92. Is 74 a factor of c(2)?
False
Let r = -2098 - -3755. Is r a multiple of 31?
False
Let v(j) be the third derivative of -j**6/120 + j**5/30 + 7*j**4/24 + 13*j**3/6 - 38*j**2. Let q be v(8). Let y = 476 + q. Is 23 a factor of y?
True
Let v = 8417 + -1702. Is 17 a factor of v?
True
Suppose 3*b - 4*s - 186 = 0, 97*b = 98*b - 2*s - 62. Does 9 divide b?
False
Let h(q) = -179*q - 27. Let i(z) = 8*z - 131. Let m be i(16). Is h(m) a multiple of 51?
True
Let i(j) = 655*j**2 + 1156*j - 9. Does 89 divide i(-5)?
False
Let i(k) = -k**2 + k + 23. Let r be i(0). Let p = -4 + r. Suppose -57 = 18*b - p*b. Is b a multiple of 25?
False
Let c(r) = 37*r**2 + 4*r + 699. Let j(a) = -13*a**2 - a - 233. Let o(h) = 6*c(h) + 17*j(h). Does 55 divide o(-36)?
False
Let r(g) = -1960*g**3 + 62*g**2 + 137*g + 18. Is r(-2) a multiple of 157?
False
Suppose 19*q + 3*q = -48290. Let o = q + 3280. Is 43 a factor of o?
False
Suppose 0 = 3*v - v - 4*o + 280, 0 = -3*v + 5*o - 415. Let x = v + 382. Is x a multiple of 12?
True
Suppose 2*j + 2*j - 288 = 0. Let k = j - 41. Suppose z - k = 30. Does 11 divide z?
False
Suppose -8566 = -4*k - 3*c - 786, -k - 5*c + 1962 = 0. Is 27 a factor of k?
False
Let k(n) = -18 + 32 + n**2 - 20 + 4*n. Let j be k(0). Let d(u) = -3*u - 8. Is d(j) even?
True
Let a = 172 - 74. Let y = 56 + a. Is y a multiple of 14?
True
Suppose 259 = -6*u + 781. Suppose 5*v - l - 306 = u, -4*l + 66 = v. Is v a multiple of 2?
True
Suppose -3334 = 1771*b - 1773*b + t, -t = -5*b + 8332. Does 132 divide b?
False
Suppose 2*q - 89 - 693 = 0. Suppose 3*t + 5*i - 1449 = q, -5*t - 5*i = -3060. Let f = t - 316. Does 42 divide f?
True
Let q = 1724 + -3058. Let x = -398 - q. Does 13 divide x?
True
Let y = -90 + 92. Let g be (240/(-75))/(y/(-10)). Does 9 divide (-60)/(-2*6/g)?
False
Suppose -3618 = -3*b - 87*d + 84*d, -4824 = -4*b + d. Suppose -6302 + b = -8*a. Is a a multiple of 49?
True
Suppose -8 = 2*n - 4*i, 5*n = i + 5 - 7. Suppose n = 34*m - 29*m - 185. Is 8 a factor of m?
False
Suppose c - 4*t - 14 = 2*c, c = 5*t + 22. Suppose -c*j = -6*j + 136. Suppose 2*k - 70 - j = 0. Does 13 divide k?
True
Let n = -8 + 8. Suppose -25*c + 22*c = n. Suppose c = 4*x - 2*v - 268, -4*v - 320 = -5*x + 21. Is 16 a factor of x?
False
Let u(z) = -z**3 + 6*z**2 - 3*z + 17. Let c be u(5). Suppose -13 - 2 = -g. Suppose -3*r - c - g = -h, -h = -5*r - 32. Is 11 a factor of h?
False
Is 5 a factor of ((-83432)/24)/(1*(-4)/12)?
False
Suppose 4*n = -f + 23 - 4, 3*n - 5*f = 20. Suppose -n*t - 106 = -5*b - 501, 0 = 2*t + 3*b - 168. Does 3 divide t?
True
Let x = 3 + 40. Suppose 39*i - x*i + 860 = 0. Is i a multiple of 46?
False
Suppose 4*b - 33476 = -3*k, k + 4*b = -1812 + 12960. Does 18 divide k?
False
Let b = 394 - 259. Suppose -131*m - 480 = -b*m. Is 10 a factor of m?
True
Let k = 10 - 4. Let b be (-8)/k*(159/(-6) + 1). Suppose 39*u = b*u + 100. Is u a multiple of 12?
False
Suppose 4*s - 5*q = -6*q + 9997, -5*s = 4*q - 12499. Suppose -11*y - 805 = -s. Does 13 divide y?
False
Suppose 53*h - 9452 = 4540. Let k = 1186 - h. Does 13 divide k?
False
Does 14 divide 68328557/906 + (-1)/(-6)?
True
Suppose -3*f = i - 40, 2*i = f + f + 112. Let k = i + -108. Let r = 120 + k. Is 16 a factor of r?
True
Let q(g) = -g - 4. Let r be q(2). Let b(f) = f**3 + 5*f**2 - 6*f + 1. Let p be b(r). Does 22 divide (21 + p)/(1/8)?
True
Is (4/60*335 - 7)*39 a multiple of 2?
True
Let n(u) = -12*u**3 + 6*u**2 - 3*u - 8. Let l be n(5). Let g = -752 - l. Does 69 divide g?
True
Suppose 4*h - 8*q + 240 = -4*q, 5*q = 2*h + 132. Suppose -4*g = -2*t - g + 324, 0 = 3*t - g - 472. Let u = h + t. Is 20 a factor of u?
True
Suppose -71*d + 96395 = -80111. Is 25 a factor of d?
False
Does 234 divide 0 + -1 - -7 - (-15 - 24778)?
False
Let l(x) be the third derivative of x**6/120 - x**5/6 + 5*x**4/12 - 4*x**3/3 + 16*x**2. Let u be l(9). Let a = 31 + u. Is a a multiple of 16?
True
Let i(m) = 10 + m - 2*m + 17 - 8. Suppose -26 = -4*a - r, 4*r + 0 = -a - 1. Is i(a) a multiple of 8?
False
Let c = -12358 + 12639. Does 36 divide c?
False
Let d(c) = 173*c - 41. Let u be d(2). Suppose -3*p - u = -650. Does 7 divide p?
False
Let y(h) = 289*h + 2191. Is y(81) a multiple of 32?
True
Let q be (-122)/671 - 24/(-11). Suppose 5*y = 8 - 3, 0 = q*r + 2*y - 688. Does 14 divide r?
False
Is 44 a factor of 34/(-3)*6090/(-140)?
False
Let j(z) = -112*z - 4578. Is 7 a factor of j(-47)?
True
Let p be (-230)/(-5) - 2/(-6)*-6. Is 10 a factor of (1075 + p)*(-2 - -3)/3?
False
Let y(c) = -4*c**3 - 19*c**2 + 18*c - 20. Let t(m) = 20 - 4*m + 2*m + 3*m**3 + 107*m**2 - 17*m - 88*m**2. Let s(f) = -5*t(f) - 4*y(f). Is 35 a factor of s(18)?
True
Let x(a) = 7*a**2 + 72*a - 3. Let b be x(-11). Is 5 a factor of (b/(-2))/((-17)/34)?
False
Suppose i = 2*v, 0*i - 2*v + 18 = 2*i. Doe