 - 4*a**3/3 + 5*a**2 + 9*a + 61. Is r(-5) a multiple of 8?
False
Suppose 4*q + 15 - 33 = p, 4*q = -3*p + 10. Is (-4293)/324*-1*q a multiple of 18?
False
Let x(d) = 202*d + 3*d**2 + 64 + 131 - 200*d + 130. Is 16 a factor of x(-21)?
False
Let h(m) = -m**3 + 7*m**2 - 9*m + 6. Let l be h(7). Let f be (-937)/3 + (-19)/l. Let y = f - -515. Is 36 a factor of y?
False
Suppose 3*i = 12, 3*i + 128 = -4*m + 6*i. Let v = -5 - m. Is v a multiple of 8?
True
Suppose -118 - 115 = -3*z + 5*l, 3*z = 2*l + 239. Is 1 + z/((-54)/(-6)) a multiple of 2?
True
Suppose -165*v + 55147 = -156*v - 107015. Is v a multiple of 63?
True
Let z = 92 + -87. Suppose 0 = -z*i + 2*w + 245, -i + 0*w = 4*w - 49. Is (i/21)/((-1)/(-30)) a multiple of 14?
True
Let s(p) = -4*p - 1. Let f(x) = -12*x - 3. Let u(a) = 6*f(a) - 21*s(a). Is 2 a factor of u(3)?
False
Let b(s) = 6*s - 13. Let j be b(3). Suppose -v - f + 582 = 0, 3*v = j*f + 686 + 1100. Does 14 divide v?
False
Suppose 3*d - 3352 = 2948. Suppose -8*y + 164 = -d. Does 5 divide y?
False
Let i = 5124 - -1220. Does 61 divide i?
True
Suppose 18*d - 21*d + 2*n - 15 = 0, 0 = 2*d - 2*n + 12. Is 5 a factor of d*14*(976/(-56) + 14)?
False
Let h be (-22496)/(-112) + 8/7. Suppose -134 = k - h. Is 17 a factor of k?
True
Let z be 2/14 + 1452/77. Let p = 219 - z. Is p a multiple of 5?
True
Suppose -29*s = -208*s + 1665953. Does 9 divide s?
False
Suppose 0 = -c - 4*k + 43, 0 = -2*c + 3*k - 2*k + 41. Let v(d) = d**2 - 4*d - 76. Is v(c) a multiple of 17?
False
Suppose 6*v + 11336 = 16672 + 20542. Does 15 divide v?
False
Let y(q) = 2*q + 1. Let r(l) = 15*l + 60. Let g(x) = r(x) - 6*y(x). Is 8 a factor of g(9)?
False
Suppose 36*a = 40*a - 284. Let m(b) = b**3 + 8*b**2 + 5. Let y be m(-8). Suppose -a = -u - y. Is 6 a factor of u?
True
Let v be 162/(-4)*(-6)/9. Suppose 13*z = v*z - 9226. Is 48 a factor of z?
False
Let z be (87/2)/(-3 - 45/(-10)). Suppose z*h = 9260 + 11040. Is 64 a factor of h?
False
Suppose 2*a - 4*b + 16 = 6*a, -3*b = -5*a + 4. Suppose 141 = 5*l + 4*g, -2*l + a*g + 56 = 4*g. Suppose -2*r + 2*w = -l - 5, 2*w = -2. Is 3 a factor of r?
False
Let c(g) be the first derivative of 5*g**4/4 - 4*g**3/3 - 5*g**2/2 + 9*g + 16. Let l be c(4). Suppose -3*x + 79 = -l. Is x a multiple of 9?
True
Does 43 divide -3 + 3 + 10350/(4/2)?
False
Suppose -5264 = -8*g - 392. Suppose -5*o + y - 231 = g, -2*o - 5*y = 336. Let a = o + 260. Does 11 divide a?
False
Let x = 3041 + -1581. Suppose -2*t - 922 + x = 0. Is 8 a factor of t?
False
Suppose -30*y = -12*y + 6552. Let m = 655 + y. Does 7 divide m?
False
Does 146 divide ((-5)/((-240)/32))/((-4)/(-72606))?
False
Let s(k) = -2*k + 29. Let x be s(22). Is -1 - ((-12)/x)/((-4)/530) a multiple of 21?
True
Let z = 934 + 10462. Is z a multiple of 148?
True
Suppose -27066 = 5*j + 61329. Let k be (-6)/(-27) + j/(-27). Suppose 4*c = k + 45. Is c a multiple of 39?
False
Let o(z) = z + 1. Let p(f) = -26*f - 10. Let v(h) = h. Let n(g) = 2*p(g) + 44*v(g). Let m(q) = -n(q) - 20*o(q). Is m(-8) a multiple of 8?
True
Let y(q) = -8*q**3 - 86*q**2 + 21*q - 136. Is y(-16) a multiple of 10?
True
Suppose -f - p = -48, 2*p = 4*f - 0*f - 216. Let d = -644 + 597. Let l = d + f. Is l a multiple of 5?
True
Does 44 divide (-2 - 1604)/(6/(-27) + 28/(-1008))?
True
Let v(k) = -2*k**3 + k**2 - 7*k + 683. Let q be v(0). Let y = 1097 - q. Does 18 divide y?
True
Suppose 28 = -3*p + 34. Suppose 0 = -3*k + p*k + x + 118, 3*x - 566 = -5*k. Let d = k - 45. Is d a multiple of 7?
True
Let v = -69317 - -117189. Is 188 a factor of v?
False
Let c(z) be the second derivative of z**3/6 + 5*z**2 - 8*z. Let r be c(9). Suppose -20*m + 126 = -r*m. Is 21 a factor of m?
True
Suppose -104*i + 2293200 = -34*i. Does 130 divide i?
True
Suppose 0*n + 11*n = 33. Let i(u) = n + 3 - 6*u**2 - 2*u**2 - 15*u + 7*u**2. Does 16 divide i(-13)?
True
Suppose -3*y - 3*n + 8553 = -0*n, -5*y + 2*n = -14269. Suppose -v + 191 + 764 = -3*p, 3*p + y = 3*v. Is 13 a factor of v?
True
Let h(f) be the second derivative of -2*f**3/3 - 18*f**2 - 24*f. Let t be h(-9). Suppose t*u - 3*u = 4*a - 327, 3*a + 9 = 0. Does 45 divide u?
False
Let o = 306 - -462. Does 16 divide o?
True
Is 656712/288 + 3/(-12) a multiple of 24?
True
Let i(v) = 1460*v + 8. Is i(1) a multiple of 14?
False
Does 15 divide ((-267)/(-178))/((-1 - (-366)/365)/10)?
True
Let a = 102 - 62. Let o = a + -42. Is 12 a factor of (56/(-70))/(o/50)?
False
Let k = -627 + 5907. Does 176 divide k?
True
Suppose 0*l + 15 = 3*l. Suppose -k - 4*k + l*y = 0, 4*k + 4*y = -8. Is 13 a factor of 0 + (3 - k) + 44?
False
Suppose 2*z - 4*z - 2*g - 52 = 0, 4*g = 4. Let a be (4 - (-102)/z) + (-14)/(-18). Does 4 divide ((a - -4) + -2)/((-6)/(-56))?
True
Suppose -5763 - 7380 = -3*z. Does 16 divide z/(-39)*3/(-1)?
False
Let v(h) = -h**2 - 40*h - 86. Let o(f) = -f**3 - 8*f**2 + 2*f - 19. Let c be o(-8). Does 18 divide v(c)?
False
Let u(i) = 13*i**2 + 98*i + 461. Is 11 a factor of u(-40)?
False
Let m(y) = y**3 - 16*y**2 - 13*y + 8. Let o be m(17). Let p = 76 - o. Let l = p + 56. Is 3 a factor of l?
False
Let k = -19999 + 20226. Is k a multiple of 7?
False
Let p be ((-3)/(-4) - 0/7)*4. Suppose p*i - 2*w - 586 = -30, -2*i + 339 = 5*w. Is 28 a factor of i?
False
Let r = 2331 + 7556. Is r a multiple of 99?
False
Suppose -9*q + 90385 = -162200. Is q a multiple of 279?
False
Let x(v) = 3*v**2 + 201*v + 12301. Is x(-74) a multiple of 17?
True
Suppose 235907 + 75682 = 199*c - 849974. Is 106 a factor of c?
False
Suppose -9*q - 29920 + 123101 = -178646. Does 126 divide q?
False
Suppose -3*n = 3*y + 3, -10*y + 2*n + 23 = -5*y. Suppose 15*s + 37 = y*m + 20*s, -4*s = 5*m - 66. Does 2 divide m?
True
Is 5 + 19455/5 + 9 a multiple of 96?
False
Let r(i) = -i - 3. Let w be r(7). Let v be (w/(-6))/(25/90). Does 29 divide ((-9)/v)/(2/(-116))?
True
Let k(f) = 4*f + 58. Let w be k(-12). Suppose 4*c - 5*n = 1154, -284 = -c + 4*n + w. Does 11 divide c?
True
Let q(p) = 2*p + 172. Let r be q(-35). Suppose -3126 = -27*j - r. Does 16 divide j?
True
Let u = 280 - 196. Suppose -2*n + 19 = 13. Suppose 3*a - 3*p - u = 0, -a = -n*a - 3*p + 81. Does 11 divide a?
True
Let h(l) = -15*l - 1. Let a be (-1 + -4)*(-132)/(-20). Let k = a + 26. Does 20 divide h(k)?
False
Let z = 72 - 54. Let n be z/5*(3 - 23). Let m = 120 + n. Is 6 a factor of m?
True
Let r be 7035/(-10)*2/(-3) + -1. Suppose 454 = 5*b - b + 5*h, 0 = 4*b - 2*h - r. Does 29 divide b?
True
Suppose 5*f + 3*g = 58175, 2*f - 24418 = 3*g - 1148. Does 118 divide f?
False
Let h = -6211 - -10395. Does 57 divide h?
False
Let m(o) = -o**2 - 2*o + 2. Let r be m(0). Suppose 3*k = 2*l - 16, 2 = -k - r*l + 10. Is 9 a factor of k + 1 - 1/((-6)/798)?
False
Suppose -2*d = -1011 - 965. Is 6 a factor of d?
False
Suppose 5*r = 4*b + 1, 0 = 3*b + 4*r - 19 - 19. Is 16 a factor of (-195)/b*-2 + (11 - 12)?
True
Let o = -16472 + 23388. Does 26 divide o?
True
Suppose 4*v - g - 6863 = 0, 10*v - 8*v + 3*g - 3435 = 0. Is v a multiple of 39?
True
Suppose -377*w = -348*w - 30189. Is w a multiple of 3?
True
Suppose -5*j = 5*a - j - 34596, 0 = -a + 3*j + 6923. Does 19 divide a?
False
Suppose 4*v - 16 = 0, 0 = 8*g + 3*g - v - 47846. Is g a multiple of 15?
True
Let w = 1023 + -671. Suppose -4*g + 3*u - 7*u = -296, -4*u - w = -5*g. Does 12 divide g?
True
Suppose -5*h = -8*d - 36115, 4*h - 8*h = 3*d - 28845. Is h a multiple of 39?
True
Let o(l) = 34*l**2 + 5*l - 3. Let c(r) = r**3 + 20*r**2 + 19*r + 4. Let i be c(-19). Does 33 divide o(i)?
True
Let h(y) = -3*y + 3. Suppose -2*p - p = 2*c - 9, -9 = -c - 3*p. Let u be h(c). Suppose 51 = 4*w + 3*n, u*w - n = -4*n + 42. Is 5 a factor of w?
False
Does 35 divide 5/15 + 237822/9?
True
Suppose 5*f = -w + 1508, -13*w + 9*w = -4*f - 6032. Is 13 a factor of w?
True
Suppose 5*k = 386 + 589. Let p = k - 98. Does 6 divide p?
False
Let b = 253 + -250. Is 16 a factor of b + 561/4 - (-6)/8?
True
Let u(s) = 8*s + 76. Let z be u(-25). Let g = 105 - z. Is g a multiple of 7?
False
Let n(u) = u**3 - 18*u**2 - 105*u + 155. Does 77 divide n(23)?
True
Let v(c) = 85*c + 27. Let l be v(3). Is 48 a factor of l + (-3 + 6 - -3)?
True
Let t(r) = 284*r**3 - 56*r**3 + 1 + 0 + 28*r**3. Does 60 divide t(1)?
False
Suppose 3200 = 5*s - y, 0 = 4*s - 3*y - 616 - 1944. Is 55 a factor of s?
False
Let h(z) = -23*z**3 - 4*z - 22*z**3 + 1 - 6*z**2 + 46*z**3