54. Is 8 a factor of n(4)?
False
Let p(y) = -14*y**2 - 2*y + 55. Let l(j) = -28*j**2 - 4*j + 110. Let s(a) = 3*l(a) - 7*p(a). Is 15 a factor of s(-8)?
True
Let b(p) = 4*p - 9. Let k be b(4). Suppose k*f - 1760 = -f. Suppose -f = 4*m - 544. Is 18 a factor of m?
False
Let c(h) = 4*h**3 + 5*h**2 + 2*h. Let r be c(5). Suppose l - o = 3*l - 252, -5*l - 5*o = -r. Suppose p + 4*p - l = 0. Is p a multiple of 13?
False
Let d(r) = 9*r**2 + r - 28. Let k be d(8). Suppose 0 = -4*w + 2*w + k. Is w a multiple of 24?
False
Let u = -65 - -68. Suppose 9*v - 6*v - 3*o - 516 = 0, -4*v + u*o + 684 = 0. Does 24 divide v?
True
Let j = -9 + 17. Suppose j*q - 2*q = 36. Suppose 2*b - 6 = 0, 2*b + 352 = 5*i + q*b. Is 15 a factor of i?
False
Suppose 119 + 151 = -5*x. Let f = x - -76. Is f a multiple of 3?
False
Let c = 31 + -37. Let l = -534 + c. Does 8 divide ((-8)/(-6))/((-9)/l)?
True
Let b(q) = -2*q**3 - 52*q**2 - q - 25. Let a be b(-26). Let w(n) = -2*n**3 - 8*n**2 - 5*n - 10. Let o be w(-7). Suppose -4*r + o + a = 0. Is 16 a factor of r?
True
Let b = -315 + 304. Does 5 divide (-108)/(-198) - 3756/b?
False
Let d = 9345 + -7505. Is d a multiple of 4?
True
Let b(x) = x**2 - 13*x + 29. Let r be b(16). Let c = r - -30. Does 14 divide c?
False
Suppose 101*o = -6558 + 276812 + 64258. Is 20 a factor of o?
False
Let b = 303 - 299. Suppose 0 = -b*j + 3*h + 2*h + 465, -j + 114 = -2*h. Does 5 divide j?
True
Let l(x) = -x**2 - 7*x + 42. Let m be l(-11). Let n(d) = -53*d - 20. Is n(m) a multiple of 4?
False
Let w(s) be the first derivative of 14*s**3/3 + 3*s**2/2 + 2*s - 1489. Let x be (-2)/(-1)*2/(-4). Is 13 a factor of w(x)?
True
Let c(u) = 65 + 49 - 161*u + 176*u + 149 + 130. Is c(14) a multiple of 49?
False
Let j(r) = -r**2 - 19*r - 38. Suppose -16*y - 208 = -3*y. Let b be j(y). Suppose -b*p + 22 = -88. Is 11 a factor of p?
True
Let h(k) = -6*k**3 + 31*k**2 + 580*k - 8. Is h(-13) a multiple of 70?
False
Let l(g) = g**3 + 54*g**2 - 82*g - 29. Is 112 a factor of l(-39)?
True
Let s(t) = t**3 + 28*t**2 + 7*t + 31. Let n be s(-26). Let g = -712 + n. Is 10 a factor of g?
False
Suppose 0 = 2*n + 2*j + 2, 0 = 5*n + 3*j - 2*j - 11. Suppose -5*q - l - n*l + 3468 = 0, -q = -4*l - 708. Is 29 a factor of q?
True
Let g(i) = -2*i**3 + 4*i**2 - 8*i - 14. Suppose -4*a - 16 + 4 = -3*t, 4*t = -16. Is 16 a factor of g(a)?
False
Suppose -3*n - 1 = 2*d, 2 + 1 = 4*d + 5*n. Let r(w) = -w**2 + 41*w - 4. Let a(j) = -3*j**2 + 119*j - 12. Let p(c) = 4*a(c) - 11*r(c). Does 18 divide p(d)?
False
Let g be -1*10/(-6)*3. Suppose 0 = -g*i + 25 + 120. Is 15 a factor of 3*(-5)/(-15) + i*1?
True
Let j be (-8)/(-64) + (-30)/(-16). Suppose -q - 3*m = -j*m - 3, 0 = 3*q - 2*m - 9. Let l(r) = 2*r**3 + 3*r + 1. Is 4 a factor of l(q)?
True
Let c be (-255)/(-20) - (1 + (-10)/8). Suppose -c = -b + 16. Suppose 247 + b = 3*y. Is y a multiple of 23?
True
Let v(l) = -5*l + 170. Suppose -7*p - 64 + 190 = 0. Is 20 a factor of v(p)?
True
Let a = -1459 + 982. Let q = a - -851. Is 34 a factor of q?
True
Suppose -10*q - 30114 = -214034. Is 88 a factor of q?
True
Suppose -2*u + 4158 = 4*t, -2*t = -4*u + 7*u - 6221. Suppose 3*h - 4*z = -0*z + u, -z + 2 = 0. Does 7 divide h?
True
Let d(g) = -g**3 - 10*g**2 + 17*g + 2. Let u be d(-12). Suppose 213*s + u = 214*s. Is s a multiple of 5?
False
Let y(a) = -1030*a + 1685. Does 37 divide y(-2)?
False
Suppose 9*j - 4060 = 1772. Is 15 a factor of j?
False
Let i(u) = -2*u + 3*u - 3 + 22 - 4*u. Let j be 0 - ((-4 - 6/(-2)) + 1). Does 19 divide i(j)?
True
Let p = -6991 - -8493. Does 152 divide p?
False
Let p = 39 + 66. Is 12 a factor of 18/(-7)*(-18620)/p?
True
Let u(i) = 25*i**2 + 42*i + 145. Does 24 divide u(-13)?
False
Let c = 7171 - 6497. Is 6 a factor of c?
False
Is 3 a factor of 296/259 + 2370/21?
True
Let v(q) = 72*q + 103. Let w be v(-6). Let p = w + 336. Is p a multiple of 7?
True
Suppose 53 + 29 = 2*n + 4*m, 0 = 4*n + 5*m - 161. Suppose 42*x - 2*c - 375 = n*x, 2*x - 2*c = 250. Is x even?
False
Let g(q) = -8*q + 60. Let h be -118*(-7 - -4)/(-6). Let t = -53 - h. Is g(t) a multiple of 6?
True
Let d(c) = c**2 - c. Let s be d(0). Suppose s = 7*t - 2*t - 200. Let h = t + -11. Is 5 a factor of h?
False
Let d = -190 - -193. Suppose 405 = d*l + 63. Is 38 a factor of l?
True
Let z(w) = w. Let h(g) be the first derivative of g**3 + 13*g**2/2 + 10*g + 3. Let r(n) = h(n) - 5*z(n). Is 14 a factor of r(-6)?
True
Suppose -4*k + 137*s + 42762 = 138*s, -5*s = -k + 10722. Does 36 divide k?
True
Suppose 0 = -0*b + b - 3*m - 33, 2*b + 3*m = 93. Is (108/b)/((-6)/(-630)) a multiple of 15?
True
Let o(i) = 12*i**2 - 4*i - 8. Suppose -2*x + 26 = -4*m, 5*x + 4*m + 2 = 25. Does 46 divide o(x)?
True
Suppose 85*y - 619089 = 2322336. Is y a multiple of 28?
False
Let k = -4831 - -9760. Is 60 a factor of k?
False
Let u(c) = c**2 - 17*c + 23. Let r be u(16). Suppose r*g = g - 942. Let q = -55 - g. Is q a multiple of 21?
False
Let c be ((-4)/6)/((-18)/(-135)). Let r be (c + (-60)/(-8))*-26. Let p = r - -349. Is p a multiple of 38?
False
Suppose 0 = 6*b + 490 + 188. Let a = b + 113. Suppose a*y + y = 15. Is y a multiple of 2?
False
Let k = -43 + 46. Suppose -g + 11 = 5*z, z = k*g + g - 44. Suppose g*n - 255 = 8*n. Is 17 a factor of n?
True
Let w = -70 + 400. Suppose 2*t = -4*m + 3*t + 257, 3*t + w = 5*m. Does 20 divide ((-301)/(-3))/1 - 21/m?
True
Let b = 32 - 32. Let c = b + 4. Suppose 0 = -i - c*i + 120. Is i a multiple of 8?
True
Suppose 13 = 3*o - 4*o - 2*m, 4*m + 8 = 0. Let z be (-94)/(-18) + -1 - (-2)/o. Suppose 44 = c - z. Does 16 divide c?
True
Let a = -109 - 221. Let x = a + 654. Does 16 divide x?
False
Let a(p) = 325*p - 42. Let z be a(2). Let j = 916 - z. Does 22 divide j?
True
Let l(g) = -16 + 63*g + 59*g - 121*g. Let n be l(18). Is 4 + (n - (2 - 30)) a multiple of 4?
False
Let q = 39457 - 12993. Is 32 a factor of q?
True
Let g = -49 - -54. Suppose -g*s - 1910 = 5*k, -k - 768 = 2*s - 0*k. Is s/(-26) + 26/169 a multiple of 4?
False
Let t(f) = -43*f**3 + 5*f**2 + 10*f - 3. Let q(x) = -3*x**2 - 2*x - 1. Let d be q(-1). Does 17 divide t(d)?
False
Let z(f) = -f**2 + 10*f. Let q be z(10). Let b(x) = 2*x**2 - 38*x - 38. Let p be b(20). Suppose q = -5*l - 2*r + 180, -l - 4*r + 44 = -p*r. Does 18 divide l?
False
Suppose 8*t - 60 = 14*t. Let q = 96 - t. Is 7 a factor of q?
False
Let v be (-12)/30 + 1182/5. Let j = v + -82. Let o = -62 + j. Does 46 divide o?
True
Let u = 49 - -3275. Is u a multiple of 4?
True
Let d be 18*((-28)/(-12) - 2). Suppose d*w = 5*w - 35. Is (-64)/(-10) + 14/w even?
True
Let i(u) = -3*u - 17. Let m be i(-7). Let j be (m/(-8))/(1/(-4)). Suppose j*a + a = 15. Is 3 a factor of a?
False
Is 18 a factor of (-12)/90 - (-755740)/300?
False
Let t be ((-64)/(-28) + -4)*(-9 - -2). Let f be ((-1)/3)/((-2)/t). Does 28 divide (-1 - 6/(-18))/(f/(-261))?
False
Let b = 84 + -82. Suppose b*m = m - 3*t + 60, 4*m + 2*t = 210. Suppose -m*z - 210 = -52*z. Does 30 divide z?
True
Let u be -70 - ((-2)/(-7) - 45/35). Let v = -51 - u. Does 4 divide 408/v*6/4?
False
Let w be (1/(-3))/(4/(-36)). Suppose -u - 2*s + 238 = 0, 0*u + s = w*u - 742. Does 19 divide u?
False
Suppose p = 5*p - 6601 - 1431. Is p a multiple of 11?
False
Let y(g) = 112*g + 5. Let z(v) = 56*v + 3. Let j(x) = 6*y(x) - 11*z(x). Is j(3) a multiple of 5?
True
Suppose 42*b - 16055 = -5712 + 13765. Is b a multiple of 17?
False
Suppose -3*s = s - 1072. Let q = -185 + 358. Let v = s - q. Is 11 a factor of v?
False
Is 66 a factor of (-8 - -1)/(1 + (-60204)/60192)?
True
Suppose -4745 = -2*r - q, -5*r + 5221 = -2*q - 6637. Is r a multiple of 42?
False
Suppose -14*m + 6*m = -0*m - 45240. Is 22 a factor of m?
False
Let k(y) = -5*y - 22. Let v(n) = -n. Let i(f) = -k(f) + 6*v(f). Suppose -12*o - 9 = -9*o. Is i(o) a multiple of 25?
True
Let y(u) = -u**3 + 4*u**2 + 5*u - 7. Let g be y(5). Let w(x) = -8*x**2 + 28*x**2 + 4 + 2*x**3 - x**3 + 2*x - 9*x**2. Is 38 a factor of w(g)?
False
Let j = -552 - -437. Let o(h) = -2*h**2 - 14*h + 1. Let i be o(-10). Let d = i - j. Does 8 divide d?
True
Let m = 66 + 40. Let y = 412 - m. Is 34 a factor of y?
True
Suppose 0*p + 1200 = -4*z + 3*p, z = -4*p - 300. Is ((-29)/(-2))/((-10)/z) a multiple of 21?
False
Let x(i) be the first derivative of -i**4/4 + 16*i**3/3 - 10*i**2 - 12*i + 4. Suppose -10*t + 215 - 75 = 0. Is x(t) a multipl