t(n) = n**3 - 6*n**2 - 8*n + 6. Let h be t(5). Let y = h - -156. Is y a multiple of 30?
False
Let r(c) = 3*c + 5. Let h be r(-3). Let b be (-1)/h + 3354/24. Suppose 8*x - b = 4*x. Does 19 divide x?
False
Let j(s) = -36*s + 41. Does 23 divide j(-5)?
False
Let o be (1 - 0)/((-9)/45). Is 2 a factor of o/(-15) - (-23)/3?
True
Is 41 a factor of ((-2)/4)/((-18)/24264)?
False
Suppose -46 = 4*f - 58. Suppose -3*y = 5*b - 54, 27 = b + 3*b - f*y. Is b even?
False
Let m = 48 - 216. Is 7 a factor of 4 - m/(20/5)?
False
Suppose 5*k + 543 + 147 = -3*j, -3*k = -4*j - 891. Let s = j - -338. Does 14 divide s?
False
Let y(s) = -4*s + 109. Is y(4) a multiple of 2?
False
Suppose -4*y - 4*z = -4520, -3*y + 5*z = -y - 2288. Let m = -714 + y. Suppose -7*q = -4*f - 3*q + m, 3*f = q + 317. Is f a multiple of 36?
False
Let y(p) = 2*p - 14. Let a be y(4). Is (5/((-75)/(-72)))/(a/(-20)) a multiple of 16?
True
Let v = -2 - -4. Suppose 4*t + b - 193 = -0*t, -t - v*b = -50. Is t a multiple of 16?
True
Let j be (77/28)/(2/8). Suppose j*b = 3*b + 1040. Is 26 a factor of b?
True
Let n(o) = 4 + 0 + 2 + o**2 - 5*o + 0. Let b be n(3). Suppose -p = -b*p - 46. Does 23 divide p?
True
Suppose 0 = -43*l + 46*l - 528. Is l a multiple of 5?
False
Let d = -11 + 18. Suppose -2*k + c + 15 = 0, -d - 8 = -3*k - c. Does 2 divide k?
True
Suppose -363 = 5*m - 8*m. Is 11 a factor of m?
True
Let z(f) = 12*f**3 + 2*f**2 - f. Let g be z(1). Suppose g*s = 15*s + 6. Let b(q) = -3*q**3 - q**2 - q + 2. Is b(s) a multiple of 18?
False
Suppose 2*b - 6*b = -5*l + 2070, -4*b - 5*l - 2050 = 0. Let g = -359 - b. Is 26 a factor of g?
True
Let c(q) be the third derivative of -q**7/840 - q**6/180 + q**5/15 + 5*q**4/24 + q**3 - 3*q**2. Let z(g) be the first derivative of c(g). Does 20 divide z(-5)?
True
Suppose 4*q = q + 2*o + 121, 2*q - 2*o = 78. Let m = q + 28. Is 16 a factor of m?
False
Suppose 5*g - 200 = -t, t - 4*t = -3*g - 546. Suppose -u = -t + 31. Is 11 a factor of u?
True
Does 2 divide 2/((-4)/(-14)) + (-65 - -68)?
True
Suppose 2*s + 4 = o, -5*s = -s + 4. Suppose -h - o*p + 37 = 0, -p - 98 = -2*h + p. Is 20 a factor of h?
False
Is 5 a factor of 1*328 + (-6 - (12 - 14))?
False
Let y = 23 + -13. Suppose -y = -v - 13. Does 21 divide v/(-6)*(166 - 0)?
False
Let c be ((-764)/3)/(2/((-36)/6)). Suppose 3*p = -5*l + 971, 3*p - c = -4*l + 7*p. Is l a multiple of 29?
False
Let c = -105 - 40. Is 32 a factor of (-17 - -1)/(c/(-30) - 5)?
True
Let b = 98 + 106. Does 12 divide b?
True
Let h = -167 + 481. Suppose -6*d + h + 52 = 0. Does 40 divide d?
False
Let t be ((-4)/5)/(19/(-95)). Suppose -576 = -t*s - 0*s. Is s a multiple of 16?
True
Suppose -6 - 402 = -8*p. Does 3 divide p?
True
Suppose -22 + 21 = a. Let p(q) = 35*q**2 + q + 2. Is 33 a factor of p(a)?
False
Let j(x) = -x**2 + 14*x - 4. Let c be j(-12). Let r be 1 - (c/4)/1. Suppose -r = -5*o - 25. Is 3 a factor of o?
False
Suppose -x = 0, 0*d - 3*x + 5 = 5*d. Let i be 6/(-6) + (8 - d). Suppose 0 = 4*z + 3*f - 48, -z + 5*f = i + 5. Is 9 a factor of z?
True
Let w be (-3 + (-10)/(-4))*8. Let n(m) = m**2 + m + 6. Does 8 divide n(w)?
False
Let k be (-7)/14*(-1 - -1). Let y(c) = -c**2 - c + 3. Let r be y(k). Suppose -t + 4*t - 4*b = 53, -r*t - 4*b = -37. Does 5 divide t?
True
Let q(k) = k**2 + 10*k + 13. Let w be q(-9). Suppose 96 = -0*c + w*c. Suppose f + c = 5*f. Is f a multiple of 4?
False
Suppose 6 = 5*r - 3*r - 2*t, -4*t + 12 = 4*r. Suppose -2*m = 3*u - 280, -r*m + 450 = -6*u + 3*u. Does 34 divide m?
False
Let u(b) = 2*b**3 + 9*b**2 - 2*b - 27. Let c(z) = -z**3 - 5*z**2 + z + 14. Let d(s) = 11*c(s) + 6*u(s). Does 5 divide d(4)?
False
Suppose -n - 4*u = -653, 4*n + 4*u - 2*u = 2654. Does 62 divide n?
False
Let n be (11 - 7) + (-1 - 1). Suppose -135 = -5*u - n*p + 95, u - 3*p = 29. Does 8 divide u?
False
Suppose -106 = -17*d + 1050. Is 20 a factor of d?
False
Suppose 0 = 5*a + 4*y - 1645, 3*a - 2*y = 5*a - 656. Let t = a - -21. Is 59 a factor of t?
True
Let s = -403 - -448. Does 9 divide s?
True
Let k(u) = u**3 + 9*u**2 + 11*u - 2. Let t be 0 + 30/(-3) + 3. Is k(t) a multiple of 6?
False
Let c = -9 + 19. Let y be ((-8)/3)/(c/(-75)). Let s = y + 1. Is 7 a factor of s?
True
Is (-10101)/(-455)*(30 + 0) a multiple of 37?
True
Suppose -2*h + 12 = 5*f + 2, -2*h - 4*f + 10 = 0. Suppose -2*y + 3*y = -4*w - 13, -5*y = h*w + 20. Is y*4*30/(-10) a multiple of 5?
False
Let x(w) = -11 - 2*w - w + w**2 + 2*w. Let v be x(5). Let a = -4 + v. Is 3 a factor of a?
False
Let j(v) = 2*v**3 + 2*v**2 - v - 1. Let t be j(1). Let y be (11 + -114)/(t/(-4)). Is 10 a factor of 18/72 + y/8?
False
Suppose 4*s - 5*g = 1476, 5*g - 369 = -s + 8*g. Does 41 divide s?
True
Let h(c) = -c**3 + 21*c**2 - 17*c - 109. Is 23 a factor of h(19)?
False
Suppose 0 = 5*l - 3*l + 26. Let w = -3 - l. Let t = -6 + w. Does 2 divide t?
True
Suppose 2 = -4*i - 0*p + 5*p, 0 = -i + 2*p - 2. Suppose i*f + 3*f + 2*t = 653, 0 = 3*f + 5*t - 388. Is f a multiple of 25?
False
Let g(i) = -2*i**2 + 25*i + 13. Let d be g(13). Suppose d = 6*t - t - 95. Is t a multiple of 19?
True
Let n = 64 + -61. Suppose -5*r - n*a + 427 = 0, -2*r + 4*a = 2*r - 316. Is 8 a factor of r?
False
Suppose -2*g + 408 = 3*c + 33, 15 = -5*g. Suppose -t - 343 = -5*b, 0 = -3*b + b - 3*t + c. Suppose -b = -3*q + 4. Is q a multiple of 7?
False
Let i(b) = -b - 7. Let h be i(-4). Let u be h/(-15) - (-582)/15. Let q = -8 + u. Does 10 divide q?
False
Suppose -3*w = -2*a + 3423, 2*w - 4 = -6. Is 45 a factor of a?
True
Suppose 4*r + 0*h - 3*h + 15 = 0, 2*h - 10 = 5*r. Suppose r = 3*y + 5*g + 32, 4*g + 28 = -y - 2*y. Let a = y - -67. Does 21 divide a?
True
Does 11 divide (1 - -1)/((-2234)/746 + 3)?
False
Suppose 5*t = -5*r + 940, -4*r + 7*r - 540 = 5*t. Is 29 a factor of r?
False
Does 37 divide (8/5)/(4*5/10450)?
False
Let u(r) = r**2 - 7. Let n be u(5). Let h(s) = -2 + s**3 + n + 3*s - 10*s + 1 + 6*s**2. Is 17 a factor of h(-7)?
True
Let k be 8 + (3 - (-1 - -3)). Let w = -47 - -51. Let i = k - w. Does 5 divide i?
True
Let v = 144 - 0. Suppose 3*p + p - v = 0. Is p a multiple of 6?
True
Let g = -72 - -74. Suppose 0 = g*l - 3*l + 40. Does 5 divide l?
True
Let u(z) = 6*z + 1. Let y be u(-1). Let r be (-6)/y*(9 - 14). Does 5 divide (52/r)/(4/(-6))?
False
Suppose 2*z = -2*z + 416. Suppose -z = -a + 29. Does 23 divide a?
False
Let i(z) = z**3 - 4*z**2 + 6*z - 6. Let j = 66 - 44. Let f = j - 18. Is i(f) a multiple of 6?
True
Let s be 2/(-8) - 198/(-24). Suppose 8 + s = -4*p. Does 18 divide 52 + 0 + p + 6?
True
Let c = 191 + 1099. Is 86 a factor of c?
True
Let j(z) = -33*z**3 - 13*z**2 + 15. Let c(l) = 17*l**3 + 6*l**2 - 7. Let i(p) = 13*c(p) + 6*j(p). Is 11 a factor of i(1)?
True
Let r = -241 + 164. Let i = 102 + r. Does 25 divide i?
True
Let z be 0 + 31*10 - 3. Suppose -s - 2*n + 16 = -55, -2*n - z = -5*s. Is 12 a factor of s?
False
Suppose -z + 4*z = 6. Let x be 112/24*3/z. Suppose -5*r + x = -8. Is 3 a factor of r?
True
Suppose -3*h = 5*h - 6848. Does 36 divide h?
False
Let w = 33 + -34. Let i(p) = -65*p - 5. Is i(w) a multiple of 30?
True
Let m(i) = i**3 - 34*i**2 - 22*i - 50. Is 45 a factor of m(35)?
True
Let h(y) = 4 + 3*y - y - 12*y**2 - 22*y**2 - y. Let z be h(-2). Let d = z - -249. Does 35 divide d?
False
Is 16 a factor of (-4)/38 + (-341040)/(-266)?
False
Suppose -b = -4*b - 3*x + 3561, x = 3*b - 3573. Suppose -j - j + b = 0. Suppose v = -3*z + 103, -j = -5*v - 0*z + 5*z. Is v a multiple of 34?
False
Let h(o) = -7 - 6 - o + 1. Let j be h(-9). Does 6 divide 23 - (j + 6 + -3)?
False
Does 13 divide 1*(-6 + 3) - (-953 - -8)?
False
Suppose 4*r - 56 = 3*p - 7*p, 4*r + p = 71. Let v = r - -13. Is v a multiple of 17?
False
Let f(x) = 8*x**2 + 9*x - 28. Is f(7) a multiple of 19?
False
Let x(o) be the second derivative of -3/2*o**2 + 0 + 1/2*o**3 + 1/3*o**4 - 4*o. Is 12 a factor of x(-3)?
True
Let c(d) = d**3 - 3*d**2 - 9*d + 1. Let h be (0 - 74/(-14)) + 16/(-56). Is 6 a factor of c(h)?
True
Let r(i) = 3*i**2 + 94*i + 56. Is 5 a factor of r(-46)?
True
Let s(k) = 40*k**2 + 132*k + 7. Is 17 a factor of s(-5)?
False
Suppose -h + 2*l + 28 = -0*l, 0 = 5*h + 3*l - 166. Suppose 7*d - 59 = h. Does 8 divide d?
False
Suppose -17 = f - 4*f + 5*t, -4*f + 14 = 2*t. Suppose f*d = 319 + 125. Suppose -k = 2*k - d. Does 27 divide k?
False
Let g be (78 - 0)/((-30)/(-195)). Is 15 a fa