798. Does 34 divide x(-29)?
False
Let p(y) = -14*y**2 - 2*y + 12. Let k be p(4). Does 11 divide (10 + -12)*k/8?
True
Suppose -3*d + 23982 = 3*k, 0 = -3*d + 5*d + 4*k - 15976. Is d a multiple of 80?
True
Let k(y) = -11*y**2 - 40 - 125*y + 13*y**2 + 139*y. Is k(-12) a multiple of 15?
False
Suppose 0 = h + 9*u - 11*u - 9, -4*u = -3*h + 21. Suppose -h*d - b = -0*d - 682, 0 = 3*d - b - 680. Is 67 a factor of d?
False
Let z be (1 - 1) + -1 - -11. Let l = -7 - z. Let i = -7 - l. Is 10 a factor of i?
True
Is -4029*(-8)/72 - (-4)/12 a multiple of 56?
True
Let p be 1936 - (-7 + 24/3). Suppose -4*h + 3*y = -h - p, -4*h + 2580 = -3*y. Is 65 a factor of h?
False
Suppose -398 = -3*r - 2*b, -5*r - 4*b + 837 - 171 = 0. Let o = r + 318. Does 28 divide o?
True
Let s be 4 - 740/(-2 - -4). Let y = 771 + s. Is y a multiple of 36?
False
Let r(p) = -14*p - 25. Let i be r(8). Let d = i - -272. Is d a multiple of 9?
True
Let h(a) = 2*a**2 - 30*a + 27. Let l be h(15). Let v = l + 60. Is v a multiple of 46?
False
Let k(c) be the second derivative of 13*c**3 + 18*c**2 - 4*c + 5. Does 12 divide k(6)?
True
Let h = -83 - -168. Suppose -h = -a + 355. Is 50 a factor of a?
False
Let k = -95 - -105. Suppose 4 = -4*a, -c = -3*a - 66 - k. Does 4 divide c?
False
Suppose -39 - 30 = 23*l. Is (423/(-5))/(l/15) a multiple of 47?
True
Let q(g) = 2*g. Let h be q(1). Suppose 6*z - 1020 = h*z. Suppose -z = -4*y + 85. Does 13 divide y?
False
Let x = -17 - -19. Let k(r) = -71 + 2*r + 67 + r**x + 3*r. Is 3 a factor of k(-7)?
False
Let h be (110 + -112)*3/(6/(-790)). Suppose 2*s + 2 = 0, -h = -w + 3*s - 5*s. Does 66 divide w?
True
Suppose 5*x - 70 = 180. Let s be (20/(-3)*129/(-2))/2. Suppose s = 4*m - 3*c, x = -5*m + 4*c + 318. Is m a multiple of 16?
False
Suppose 133 = -4*z - 3*t, 5*t + 124 - 16 = -3*z. Let p = z - -36. Does 3 divide p?
False
Suppose 0 = 2*q + 14, 325*u - 40981 = 323*u + 5*q. Does 3 divide u?
False
Let j(t) = -13*t - 15*t**2 - 12 + 2*t**2 + t**3 + 0. Let c be j(14). Suppose a - 3*r = -2*r + 12, c*a - 49 = -3*r. Is a a multiple of 5?
False
Let p(u) = u**2 - 144*u + 1183. Is p(-94) a multiple of 35?
True
Suppose 3*f = -4*p + 3580, -2*p + f = 2*f - 1792. Suppose -5*g - 3*i + 2*i + p = 0, -3*i = 3*g - 534. Is g a multiple of 18?
True
Is (71/((-852)/7288))/(2/(-69)) a multiple of 23?
True
Suppose -5*j - 3*m = -9, -5*j + 0 = 4*m - 12. Suppose -5*y + 1820 = -j*y. Suppose -g = 2*s - 3*s + 91, 4*s + 3*g = y. Is 13 a factor of s?
True
Suppose -5*t + 4*r = -39, 2*r + 3*r - 30 = -5*t. Let a(y) = 5*y - 1. Does 12 divide a(t)?
False
Suppose -28 = -2*c + 2*s, 3*c - 1 = -2*s + 21. Suppose -c*k = 5377 - 1847. Let h = -193 - k. Is h a multiple of 16?
True
Suppose 4*y - 12 = -5*r, 0*y - 3*y + 9 = 4*r. Let m(a) = a**2 + 6*a + 2. Let f be m(r). Suppose 4*q - 2*n - 74 = f*q, -209 = -5*q - 3*n. Is q a multiple of 5?
True
Let l(h) = 214*h - 26. Let t be l(7). Suppose t = 14*v + 2*v. Is 4 a factor of v?
True
Let j(v) = 3*v + 27. Let m = 38 - 46. Let r be j(m). Suppose -5*d + 1014 = 4*f + 152, 689 = 4*d + r*f. Is 27 a factor of d?
False
Suppose 2*d - 5*d = 0. Let w be ((-4)/7)/((-6)/21). Suppose d*q = -w*q + 28. Is q a multiple of 2?
True
Let r be 3/(-9) + 1*(-538)/6. Let q = r - -120. Suppose -s - 3*a = -q, 4*a - 5*a = 4. Is s a multiple of 14?
True
Let q = -13 - -17. Let i(g) = -12*g**2 + 4*g + 6*g**2 + 4 + 4*g**2 + q*g. Is i(4) a multiple of 2?
True
Let c(d) = d**2 - 14*d + 18. Suppose l - 4 = 5*b + 19, 0 = -2*l + 2*b + 14. Let y = 18 - l. Does 11 divide c(y)?
True
Suppose -3*o + 665 = -5*w, 4*o - 4*w - 586 - 298 = 0. Suppose 4*z - o = 340. Is z a multiple of 5?
True
Let s(f) = -4 + 2*f + f**2 + 0*f**2 + 2. Suppose -z - 7 = x, -2*x + 10 = 5*z + 48. Does 5 divide s(z)?
False
Suppose k - 5*q = -2*k, k - 2*q = 0. Let r be ((-24)/(-18) + -4)*(k + -78). Suppose 4*y - r = -2*h, 5*h + 5*y - 7*y = 556. Does 22 divide h?
True
Suppose -5*d + 36 = 4*l, -14 = -l + 4*d - 5. Suppose -l*g = -6*g + 279. Let x = g - -158. Does 13 divide x?
True
Suppose -23*x + 27*x = 72. Let m(s) = -x + 8*s + 10 - 7. Is 13 a factor of m(10)?
True
Suppose -5*y + 17 = -4*o - 8, 17 = -3*y - 4*o. Let z = -8 - 10. Is 5 a factor of 46/(((-12)/z)/y)?
False
Let w be (12 + 3)*(2 + 12/(-10)). Suppose -w*u + 4*u = -1144. Does 11 divide u?
True
Let w be 4/16 + (-2 - (-156700)/16). Suppose 0 = 13*i + 38*i - w. Is i a multiple of 24?
True
Let t(s) = -145*s - 523. Is t(-14) a multiple of 11?
True
Suppose -208*g = 37985 - 172353. Is g a multiple of 34?
True
Let b = 492 - -159. Let r = -217 + b. Is r a multiple of 31?
True
Let y(h) = 90*h**2 - 50*h**2 + 4*h + 16*h**3 - 2 - 45*h**2. Does 55 divide y(2)?
False
Let s(f) = 33*f + 45. Let d(o) = 130*o + 178. Let m(r) = 2*d(r) - 9*s(r). Does 6 divide m(-7)?
True
Let q = 6432 - -1560. Does 64 divide q?
False
Let q(z) = -11*z**3 - 9*z**2 - 5*z + 144. Does 83 divide q(-12)?
False
Let s(m) = -3*m - 6. Let o be s(-6). Let a = -6 + o. Is (2/a)/((-2)/(-150)) a multiple of 3?
False
Let q be 236/6*6/(-4). Let g = -77 - q. Does 15 divide 222 - (6/(-4))/((-9)/g)?
True
Suppose 0 = 8*c - 2*c + 21810. Let j = c + 5310. Suppose 271 - j = -13*w. Is 28 a factor of w?
False
Suppose 0 = 5*g - 5*m - 13 + 33, 3*g - 20 = -5*m. Suppose 5*n - 39 - 271 = g. Does 31 divide n?
True
Suppose 9 = m - c, 2*m - 6 = 5*c + 18. Is 13 a factor of 545/m + 6*3/126?
True
Let h(y) = 2*y - 10. Let c be h(5). Suppose 3*v + c = 66. Does 8 divide 4*1 + 484/v?
False
Suppose 3*i - 392 = i. Let t = -937 - -825. Let p = i + t. Is 14 a factor of p?
True
Let k(a) = -18*a + 8*a + 5*a**2 - a**3 - 1 - 13*a**2 + 0*a**3. Let d be k(-5). Does 13 divide (d/(-39))/(1/117)?
True
Let d(j) = 2*j**2 - 7*j + 13. Suppose -3*s = 2*s - 30. Suppose -5*g + 5*f + 20 = 0, 4*f = s*g - 4*g. Does 17 divide d(g)?
True
Let g = 55 - 43. Suppose -3*s + 0 = g. Let w(f) = -f**3 - 2*f**2 - 4*f + 4. Is w(s) a multiple of 13?
True
Suppose 116 = -3*l - 31. Let b = 306 + l. Is 33 a factor of b?
False
Let d(k) = k**3 - 8*k**2 + 12*k - 29. Let c be d(7). Suppose -z + r + 65 = 0, -c*r + 2*r = -2*z + 138. Does 7 divide z?
False
Let g(y) = -18*y - 432. Let h be g(-24). Let i(l) = l + 68 - 6 + 67. Is 43 a factor of i(h)?
True
Let b(o) = -2*o**2 + 11*o + 118. Let x(i) = i**2 - 6*i - 60. Let c(w) = 3*b(w) + 7*x(w). Is 7 a factor of c(17)?
True
Let x be (-23708)/(-24) + 1/6. Suppose 11*i - 13*i - x = -3*y, -5*i + 5 = 0. Does 74 divide y?
False
Let n(p) = 481*p - 517. Is n(7) a multiple of 3?
True
Is ((-311675)/130)/((-1)/2) a multiple of 45?
False
Let h = 11 + -8. Suppose -h*q + 50 = 5*u, 3*q - u = q + 42. Let p(b) = -b**3 + 20*b**2 + b - 15. Does 3 divide p(q)?
False
Let l(q) be the third derivative of -7*q**6/120 - 2*q**5/15 + q**4/12 - q**3 - 77*q**2. Does 51 divide l(-4)?
True
Suppose -3 = -3*t + 6, 2*b + 4*t - 84 = 0. Let j = 118 - b. Let z = j + 22. Is 13 a factor of z?
True
Suppose 421393 + 1018913 = 142*v. Does 7 divide v?
True
Let d = 375 - 435. Suppose -2*n + 500 = 2*n. Let a = d + n. Is 9 a factor of a?
False
Let n(z) = 22*z**2 + 100*z + 79. Is 112 a factor of n(16)?
False
Let g be (-3)/(-18)*(-7 - -37). Suppose -3*l = -g*c + 2034, 3*c = -0*c - 5*l + 1234. Is c a multiple of 34?
True
Let b = -39 - -42. Let m(o) = o**3 + 10*o**2 + 12*o - 27. Let g be m(-8). Suppose -g*i = -5*u + 1315, -5*u = -10*u - b*i + 1291. Is 19 a factor of u?
False
Let s(p) = -13*p + 127. Let t be s(-36). Suppose -1715 + t = -8*n. Is n a multiple of 22?
False
Suppose 549051 + 14697 = 117*g - 8*g. Is g a multiple of 6?
True
Suppose 6 = -3*l - 4*c, -l + 3*c - 5 + 3 = 0. Let b(i) = 117*i**2 + 3*i + 11. Let w be b(l). Suppose 4*r - w = 327. Is 25 a factor of r?
True
Let j(p) = 11*p**2 + 4*p - 199. Is j(-27) a multiple of 8?
True
Suppose 2*d - i = -3*i + 2, -d - 5*i + 9 = 0. Does 14 divide (-8)/5*(280/16)/d?
True
Let w = -695 - -710. Let q(v) = 5*v**2 - 20*v + 79. Is 16 a factor of q(w)?
False
Suppose -n + 3*z = -7139, -735*n + 21399 = -732*n - 3*z. Is 10 a factor of n?
True
Let h = -10 - -36. Let d be 7/21 + 6/9 + 4. Suppose -h - 39 = -d*l. Does 4 divide l?
False
Let o(y) = -y**3 - 2*y**2 + 15*y + 26. Suppose 2*h - q + 14 = 0, 3*h + 4 + 4 = -5*q. Is 29 a factor of o(h)?
False
Does 5 divide (13 - 81900/(-54))/((-1)/(-3))?
False
Let v(c) = 26*c**3 - c**2 - 5*c + 4. Suppose -2*y = g - 5, -2*y = y - 2*g - 4. Is 11