0 = -51*u + 50*u - 5*f + 6112. Is u a multiple of 22?
False
Suppose 0 = -3*o + 4*j + 29, 4*j = -0 - 20. Suppose -2*c + o*r = -4*c + 332, 0 = -2*r - 4. Does 42 divide c?
False
Suppose 8*o + 41*o = 33067 + 282493. Is 46 a factor of o?
True
Let g(p) = -87*p + 15. Let d(t) = 164*t - 23. Let r(s) = 83*s - 12. Let z(x) = -2*d(x) + 5*r(x). Let k(h) = -6*g(h) - 7*z(h). Does 14 divide k(-2)?
True
Let b = 62 - 53. Let c(d) = 384 - 384 - b*d + 19*d**2 - 2*d**3. Does 30 divide c(6)?
False
Let z = 69 - 69. Suppose z = -3*h - 3*q - 1208 + 9695, 4*q = 5*h - 14181. Suppose 0 = 14*b - 947 - h. Is b a multiple of 45?
True
Let o(b) = 3*b - 154 + 284 - 147. Suppose 5 = t - 6. Does 16 divide o(t)?
True
Let k = 30 - 38. Let q be -3 + -50*28/k. Suppose 5*c - c - q = 0. Does 43 divide c?
True
Let r be (-144)/(-504) + 446/7 + 0. Suppose 0*u - 3*n - 59 = -2*u, -119 = -5*u - 2*n. Let l = u + r. Is l a multiple of 45?
False
Suppose 0 = -3*q - 3*h + 8559, -3*q + 910*h - 907*h = -8577. Does 173 divide q?
False
Let s(d) = 20*d**2 + 3*d + 1. Let r be s(-5). Let g = r - 360. Is 9 a factor of g?
True
Suppose -10482 = -20*f + 3678. Let r = f - 328. Is r a multiple of 38?
True
Suppose 2*g = 36 + 34. Let h = 37 - g. Suppose -108 = -5*b + h. Does 5 divide b?
False
Suppose -d + 5 = 2. Suppose -d*m + 3*t + t + 48 = 0, -4*t - 60 = -4*m. Suppose -l + 533 = m*l. Is 24 a factor of l?
False
Suppose -8*u + 80 - 24 = 0. Suppose 0 = 2*h + 5*t - 206, -6*t + u*t = -2. Does 9 divide h?
True
Suppose 2*k - 37816 + 2098 = -2*n, 5*n = k + 89277. Does 93 divide n?
True
Let t(w) = -62*w**3 - w**2 - 2*w. Let d(x) = -x**3 + 3*x**2 + 4*x - 1. Let r be d(4). Does 21 divide t(r)?
True
Let b(s) = 12*s - 6*s + s**3 - 2*s**3 + 11*s**2 - 5 + 35. Does 8 divide b(11)?
True
Suppose 0 = -45*n + 44*n + 52. Suppose n*h - 579 = 409. Is h a multiple of 2?
False
Is 63 a factor of ((-5)/(50/(-488)))/((-1)/145*-1)?
False
Let m(c) = -c**3 - 36*c**2 - 35*c + 3. Let s be m(-35). Suppose -s*a = -26*u + 24*u - 2760, -3675 = -4*a + u. Does 18 divide a?
True
Let f(s) = -s + 15. Let z be f(10). Suppose d = -2, z*d = 7*j - 11*j + 606. Is j a multiple of 11?
True
Let g = -293 + 298. Suppose -4*a - 1373 = 4*c - 7*c, -4*c + g*a + 1829 = 0. Does 29 divide c?
False
Let a = -588 + 863. Let o(f) = f**2 + 2*f - 5. Let x be o(-4). Suppose 0 = x*q - 14*q + a. Is q a multiple of 7?
False
Is 8 a factor of 168/154 - (-22668)/33?
True
Let s(o) = -7*o**2 + 4*o - 5. Let j be s(1). Let w = 13 + j. Let f(u) = 4*u + 37. Is 9 a factor of f(w)?
False
Let z(l) = -l**2 - 11*l + 5. Let o = 72 + -58. Suppose 0 = 2*j - 2 + o. Is 35 a factor of z(j)?
True
Let h(p) = -7*p**3 - 86*p**2 - 41*p - 378. Does 8 divide h(-17)?
True
Let z = 141 + -142. Let u be (-8)/14 + -2 + (-40)/28. Is 6 a factor of (-2 + u)/(z/6)?
True
Let s(i) = -i**3 + i**2 + 28*i - 20. Let v be s(9). Let g = 934 + v. Is g a multiple of 32?
False
Suppose -55*j - 32337 = -64*j. Suppose -13*c - 5*a + j = -9*c, 2*a - 3590 = -4*c. Does 23 divide c?
True
Does 62 divide 24 - (-159900)/36 - (-10)/(-6)?
True
Let o be (-3 - -2)/(1*(-3)/12). Suppose -d = 2*h - 417, -9 = d - o. Is h a multiple of 47?
False
Suppose 3*m - 3*k = 6*m + 54, -3*k = -4*m - 72. Let c be 147/m - 8/(-48). Is 16 a factor of (-1 + (-2 - c))*(-480)/(-25)?
True
Let r = -631 + 468. Let w = -63 - r. Is 3 a factor of w?
False
Let u(c) = 5*c + 44. Let p be u(-4). Suppose -v + 52 = -b, -2*v + 122 = b + p. Is v a multiple of 2?
True
Let l be -4 - (-14 - (-2 + 0)). Let f(v) = -33*v**2 - 39*v**2 - 32 + 108*v**2 - 35*v**2. Is f(l) a multiple of 4?
True
Let s(c) = 2*c + 46. Let k be s(-24). Let t be (k + 1)*(2 + (-45)/9). Is 9 a factor of 3810/25 + t/5?
True
Suppose -5 = -h, -5*q - 4*h + 3419 = 939. Let l = q - 454. Does 2 divide l?
True
Does 20 divide (176/396 - (-152)/(-18)) + 2228?
True
Suppose j = 2*c - 25724, 0 = c + j - 16619 + 3763. Is c a multiple of 187?
False
Let l = -15 - -2292. Is l a multiple of 19?
False
Suppose -3*p - y + 32 = 3*y, p = -y + 9. Suppose 0*r + p*r + 64 = 0. Is 14 a factor of (-1704)/r + 5/2?
False
Let v(s) = -25*s - 9. Let t be v(7). Let l = -120 - t. Is l a multiple of 4?
True
Let s = 29273 - 15841. Is 46 a factor of s?
True
Let f = -5594 + 6957. Does 25 divide f?
False
Let k be (2717/(-76))/(1*(-5)/20). Let s(u) = -u**3 + 3*u**2 + 2*u + 3. Let i be s(4). Is k + i/(-3 - 2) a multiple of 16?
True
Suppose -4*a - 5*q + 3808 = 0, -3*a + q = 2*a - 4760. Suppose 4*j + a = 3748. Is j a multiple of 16?
False
Let k(v) be the second derivative of -13*v**3/2 + 3*v**2 - 12*v + 1. Is k(-10) a multiple of 33?
True
Let c(l) = -2*l - 5. Let u be c(-4). Suppose -u*j = -j + a - 40, 0 = 2*a - 8. Suppose 2*k - 15 = -d, 3*d - 5*d = -2*k + j. Does 2 divide k?
True
Let x = 605 - 609. Does 2 divide 7 + x + 180 - 8?
False
Let i = 134 + -189. Let g = i - -186. Let l = g + -77. Is 15 a factor of l?
False
Let w(d) = -64*d + 7. Let v be w(-3). Suppose v = -9*x - 566. Let r = x + 148. Is r a multiple of 7?
True
Suppose 5*h + 19*n = 17*n + 8243, -13*n - 8183 = -5*h. Does 49 divide h?
False
Suppose -51*h = -56*h - 105. Is 13 a factor of (-196)/h*(-78)/(-8)?
True
Let x be 6/(1977/492 + 12/(-3)). Suppose x = 4*w - 128. Does 20 divide w?
False
Let h(d) = 29*d**2 - 16*d**2 - 8*d - 7 - 12*d**2. Does 40 divide h(-10)?
False
Let v be (1 + -78)/((-8)/(-4) - 1). Let n = v + -3. Let u = n + 92. Does 3 divide u?
True
Let s(r) = -r**3 - 47*r**2 + 94*r - 67. Does 6 divide s(-49)?
False
Suppose d + 15*m - 13*m + 6 = 0, 0 = d - 4*m - 12. Suppose d = 4*o - 2*j - 438, 6*j = -3*o + 2*j + 334. Does 10 divide o?
True
Let u = -14661 + 15333. Does 6 divide u?
True
Suppose 20 = r - 4*k, -5*r - 3*k + 10 = 2. Suppose -9*d + 60 = -r*d. Does 22 divide (-4)/d - (-154)/3?
False
Let b = -130 + 132. Is 14 a factor of 643 + 5*b/10?
True
Let v(o) = -26*o - 71. Let h(w) = -25*w - 71. Let a(j) = 6*h(j) - 7*v(j). Does 12 divide a(12)?
False
Let o = 2 + -20. Let f be (-1202)/(-18) - 4/o. Suppose 0 = s - f - 8. Does 15 divide s?
True
Suppose -14*k + 12*k - 572 = 0. Let b = -243 - k. Is b a multiple of 3?
False
Suppose 24 = 4*f - 3*i - 28, 3*i - 12 = 0. Let k(w) = -2*w + 7 + 4*w - 12*w - f. Does 27 divide k(-4)?
False
Let y(q) = -q + 27 - 17 - 13 + 66*q**2. Does 55 divide y(-3)?
False
Let i(u) = -264*u**2 - 11*u - 9*u + 263*u**2 + 10. Let g be i(-11). Let d = -24 + g. Is d a multiple of 7?
False
Suppose 5 = 119*b - 120*b + h, b + 5*h = 1. Suppose -3*o - 8*w + 3*w + 174 = 0, -o - w + 56 = 0. Let l = o + b. Is 20 a factor of l?
False
Suppose z - 8806 = 4*y, -22*z - 4*y - 26378 = -25*z. Is z a multiple of 46?
True
Let d be 3*263/2*4/6. Let t = d + -168. Is t a multiple of 19?
True
Let j be (8 - 13)*(-5112)/20. Is j/71*(1 + (-1)/(-2)) a multiple of 9?
True
Suppose 17*l + 36420 = 160809. Is 14 a factor of l?
False
Let n be (-22)/55*2*-5. Suppose -n*y + 3690 = 5*g, -g = -3*y + 2122 + 655. Is 53 a factor of y?
False
Let p = 1506 + -258. Is p a multiple of 208?
True
Let v(y) = -78*y - 42. Suppose -r = 5*h - 8*h - 23, h = -4*r - 12. Does 21 divide v(h)?
False
Let v(u) = u + 6. Let g = 44 - 46. Let j be v(g). Suppose 668 = j*h + 2*o, -2*h - h + 515 = 5*o. Does 11 divide h?
True
Suppose -126*r + 118*r + 9392 = 0. Is 49 a factor of r?
False
Suppose -19*x - 5*j + 129075 = -14*x, 5*j - 25795 = -x. Is 144 a factor of x?
False
Let n = -1699 - -3831. Is n a multiple of 4?
True
Suppose 13*a = 18*a - y - 10759, -4*a + 8603 = -5*y. Suppose 7*l - 6254 = -a. Is l a multiple of 31?
False
Suppose a - 8493 = -2629. Is 31 a factor of a?
False
Let x(n) = 23*n**3 - n**2 - n + 72. Is 15 a factor of x(5)?
False
Is 6861 - (-4 - (6 - -4) - -8) a multiple of 74?
False
Let r = 30 - 30. Suppose -3*y - 1 = -2*o + 2*y, 5*y - 15 = r. Let v(k) = -k**3 + 8*k**2 + 3*k - 14. Is v(o) a multiple of 5?
True
Let b = 6 + -1. Let t(n) = 8 + 3 + 5*n + b + 5. Is 12 a factor of t(15)?
True
Suppose 30521 = 2*q + 5*x, 109*x - 15258 = -q + 107*x. Is 16 a factor of q?
True
Let h(f) = 213*f - 1290. Let k be h(6). Let v(m) = -m**3 + 3*m**2 - m - 4. Let b be v(3). Is 18 a factor of (-189)/(-6)*k/b?
True
Suppose 0 = 274*w + 304*w - 625*w + 755572. Is w a multiple of 62?
False
Does 13 divide 53 - 2/5*-30?
True
Suppose 0 = -2*r - 3*f + 59, 2*r - 154 = -3*r - f. Suppose 20*d - r*d + 3718 = 0. Is d a multiple of 26?
True
Let q = -122 + 19