6, -3*m + 7*m - 4*q = 40. Suppose 5 = -2*r - 5*d - 1, -2*d - m = -2*r. Suppose -5*j + 4*p = -800, 4*j + 4*p - 320 = r*j. Is 14 a factor of j?
False
Let s(c) = 18*c**2 + 557*c + 150. Is 26 a factor of s(-31)?
False
Let p(b) = b**3 - 25*b**2 - 51*b + 346. Is 23 a factor of p(29)?
True
Let g be (-9)/(-6)*(-14)/3. Let x be (g/(-2))/((-1)/(-6)). Suppose 22*t - 11 = x*t. Is t a multiple of 11?
True
Is (-104)/(-12)*5328/32 a multiple of 37?
True
Let x = 39635 + -23234. Is x a multiple of 71?
True
Suppose -11*o + 13316 + 11181 = 0. Is 17 a factor of o?
True
Let w(p) = -3*p**2 + 10*p + 4. Let s be w(-2). Does 11 divide (-4)/5*41090/s + 3?
True
Suppose x = 3, 4*x + 2 = 3*u + 14. Is ((-3)/(-6) - u) + (-6712)/(-16) a multiple of 10?
True
Let f be (-1 + 5 - 2) + 5. Let j(w) = 3*w**2 - 20*w + 126. Is 7 a factor of j(f)?
True
Let i = 398 + -281. Let l = i - 119. Is 13818/70 - (14/10 + l) a multiple of 20?
False
Let j = -95 - -108. Let t(o) = 5*o - 36. Does 23 divide t(j)?
False
Let g(v) = 39*v**2 - 22*v - 12. Is 74 a factor of g(-14)?
False
Let r = -627 + 1902. Suppose 341 = 8*o - r. Is o a multiple of 26?
False
Let b(d) = -95*d - 12. Let o be b(-12). Suppose -160 = -h - 4*g, 5*h + 243 = -3*g + o. Does 9 divide h?
True
Suppose 325*j = 116363 + 191412. Is 4 a factor of j?
False
Suppose 10*c - 24400 - 423312 = -6*c. Is 31 a factor of c?
False
Let i = 426 - 419. Suppose -308 = -3*c - i*q + 2*q, -q - 403 = -4*c. Does 7 divide c?
False
Let s = 67 - 18. Let j = s + -121. Let b = 107 + j. Does 7 divide b?
True
Let h = 294 + -238. Suppose -h*g + 11*g + 42120 = 0. Is g a multiple of 18?
True
Let j = 40 + -36. Suppose -2*u + w + 659 = u, -892 = -j*u + 4*w. Is 16 a factor of u?
False
Let f(p) be the first derivative of -p**2 + 10*p - 19. Let i be f(5). Suppose s - 6*s + 250 = i. Does 9 divide s?
False
Let r(p) = p**2 + 6*p + 5. Let c be r(-8). Let s = c - 39. Let y = s + 48. Is y a multiple of 15?
True
Suppose -2*j = 4*s - 14, -11 = 4*s - 0*s - 3*j. Let c(p) = 191*p**3 - 4*p + 4. Is 27 a factor of c(s)?
False
Is 17 a factor of 14/2 - ((-5078 - -5) + -3)?
True
Suppose 4*r = 10 + 10. Suppose 2*b = -2*x + r*x + 390, -5*x = -20. Let o = -103 + b. Is 8 a factor of o?
False
Let t(m) = -304*m - 5166. Is 39 a factor of t(-27)?
True
Suppose -5179 + 18490 = 27*t. Suppose -t*i + 1520 = -483*i. Is 8 a factor of i?
True
Suppose 212*i = 21*i + 4*i + 1141074. Is 54 a factor of i?
True
Let f(j) = 2*j**2 - 42*j - 40. Let b be f(22). Suppose -180 = -i + b*y, -7*i - 5*y = -4*i - 557. Is i a multiple of 4?
True
Is ((-30163)/(-417))/((-5)/(-20) + 227/(-912)) a multiple of 112?
True
Let y = 1134 + -333. Does 27 divide y?
False
Let p(l) = 4*l + 38. Let i be 8/(2 - 1)*(5 + -4). Is 14 a factor of p(i)?
True
Suppose -5*c + 6*c = -5*l + 213, 0 = -3*c + l + 575. Let f = c + -38. Suppose -j - f = -3*t, j + 4*j + 33 = t. Is t a multiple of 20?
False
Let f(k) = -k. Let u(l) = -4*l - 16. Let h(b) = -2*f(b) + u(b). Let g be h(-16). Suppose -15*i - 105 = -g*i. Is i a multiple of 21?
True
Let j be 0 + -4 - (-51 + 0). Suppose 0 = 4*d + 2*q + 22, -4*d + 4*q - q - j = 0. Let l(f) = -2*f**3 - 14*f**2 + 9*f + 4. Is 10 a factor of l(d)?
True
Suppose -3*z + 5597 = 2*y - 5603, 3*y - 5*z = 16743. Does 53 divide y?
False
Suppose 4*h - 3*h + g - 20 = 0, -5*h = -5*g - 140. Let n(j) = 0 + h + 9*j + j**2 - 4 + 2*j. Is 10 a factor of n(-11)?
True
Let q(p) = -7*p**2 - 12*p - 98. Let g(d) = -9*d**2 - 11*d - 100. Let s(r) = 2*g(r) - 3*q(r). Does 2 divide s(-8)?
True
Let i(j) = 71*j**3 - j**2 - j + 4. Suppose -6*x - 8*x = -28. Is i(x) a multiple of 18?
False
Let v = -43 + 45. Let j be 330/75 + v/(-5). Is (-1720)/(-14) - j/(-28) a multiple of 11?
False
Let a(d) = -d**3 - 53*d**2 - 20*d - 356. Does 53 divide a(-57)?
True
Let l be 4/(-6)*(-7521)/46. Let v = l + 67. Is v a multiple of 22?
True
Let j(s) = -11*s - 128. Let w be j(-13). Is (-31356)/(-195)*w/6 a multiple of 31?
False
Let m(l) = 6*l**3 + l**2 - 2*l + 1. Let b be 2 + 2 + (-3 - -14). Let q be b/(-10) - -1*10/4. Is m(q) a multiple of 5?
False
Let f = 218 - 232. Is 16 a factor of -3 - (f + 13 + 324/(-2))?
True
Suppose 548 = -2*k - q, -5*q - 548 = 2*k - 8*q. Let m = k - -387. Is m a multiple of 18?
False
Let a(m) = 45*m**2 + 121*m + 2946. Does 36 divide a(-30)?
True
Let f(b) = b**3 + 19*b**2 + 36*b - 33. Let i be f(-15). Let r = 354 - i. Does 9 divide r?
True
Let p = 23099 - -13421. Is p a multiple of 47?
False
Let d(k) = 2*k**3 + 9*k**2 + 10*k + 43. Let h be d(-7). Let x = h - -333. Is 25 a factor of x?
False
Suppose -d + 1737 = -5*p, 4*p = 13*d - 16*d + 5135. Is d a multiple of 30?
False
Let s(b) = b**3 - 8*b**2 + 8*b - 4. Let m be s(7). Suppose 0 = l - 2*n + 4, 0*l - m*n - 39 = 3*l. Does 42 divide 558*((-18)/(-20) + 4/l)?
False
Let s be 6/(-24) - 30/8. Let b(d) = -10*d + 30. Is 4 a factor of b(s)?
False
Let a(g) = -5*g - 40. Let f be a(-8). Suppose j + f = -9. Does 6 divide (0 - 57/j - -2)*3?
False
Let p(y) = 5*y**2 - 19*y + 42. Is 9 a factor of p(-12)?
True
Let o = -1012 - -563. Let b = -152 - o. Is b a multiple of 27?
True
Let l(k) = -2*k**2 + 14*k - 13. Let o be l(5). Suppose -5*r + o + 3 = 0. Suppose 2*n = -5*z - 14 + 114, 0 = r*z + 5*n - 19. Does 5 divide z?
False
Let h(s) = -s**2 + 4*s + 80. Let t be h(-6). Suppose 2*k + 21 = -39. Does 18 divide (k/8)/((t/96)/(-5))?
True
Suppose -5*l - 3*d = -216500, -102*l + 3*d = -99*l - 129924. Is l a multiple of 16?
False
Let d = -34 - -38. Suppose 0 = d*k - 5*k + 5. Is 17 a factor of (-340)/(0 + k)*(-2)/4?
True
Let f(m) = -m**3 - 4*m**2 + 31*m - 3. Let p be f(-8). Suppose -5*q + 5*v = -60, p*q - 2*v - 65 = 7. Is q a multiple of 8?
True
Let o be (3 + (-84)/20)/(12/(-40)). Let l(q) = -q + 1. Let h be l(o). Is 10 a factor of h/18 - (-1621)/6?
True
Suppose 0*q - 271 + 6193 = 3*q - 5*t, -t = 0. Is 5 a factor of q?
False
Suppose 165 = -7*p + 18*p. Let q(h) = h**3 - 13*h**2 + 31*h - 20. Is q(p) a multiple of 16?
False
Let f = -67 - -75. Suppose 0 = f*y - 13*y + 10. Suppose -2*j = -y*z + 74, -2*z + 2*j - j = -70. Does 3 divide z?
True
Let n be (-180)/(-12) + 1 + -2*1. Let o = -5 + 1. Is 6 a factor of (0 + -16)/(o/n)?
False
Suppose 52 = -4*b - 88. Let i = b - -46. Let l(r) = 6*r + 18. Is l(i) a multiple of 12?
True
Let l = -28430 - -58138. Does 25 divide l?
False
Let b(x) = x**3 + 105*x**2 + 75*x - 190. Is b(-104) a multiple of 9?
True
Suppose 0 = -2*r - 3*v + 7 - 6, 4*r - 4*v + 48 = 0. Let p(t) = -5*t**2 + 19*t - 3. Let i(o) = -o**2 + o - 1. Let h(f) = 6*i(f) - p(f). Is h(r) a multiple of 14?
False
Let c(k) = -k**3 - 6*k**2 + 10*k + 74. Let u be c(-5). Let n(t) = 22*t - 4. Let w(s) = -221*s + 39. Let o(z) = 39*n(z) + 4*w(z). Is 10 a factor of o(u)?
False
Let q be (0 - 2/(-4)) + 2/(-4). Suppose 2*v - 79 - 5 = q. Is v a multiple of 14?
True
Let o(h) = -h**2 - h + 5. Let g be o(0). Let s(z) = 3 - 10 + 47*z + 1 + 17*z - 43*z. Is 11 a factor of s(g)?
True
Let j(c) = 595*c**2 + 49*c - 297. Does 27 divide j(5)?
True
Let j(d) = d**2 - 3*d - 50. Let v be j(9). Suppose v*c - 58 - 50 = 0. Is c even?
False
Let x(k) = 2130*k**2 - 54*k - 54. Is 6 a factor of x(-1)?
True
Suppose 0 = -2*x + 2688 + 5242. Is x a multiple of 20?
False
Let w(p) = p**3 + 35*p**2 + 37*p + 107. Let c be w(-34). Suppose 2*l - 383 = 3*n - 7, 0 = -l + n + 188. Suppose c*m - l = 172. Is 18 a factor of m?
True
Let x(i) = 183*i**3 - i**2 - i + 3. Suppose -3 = h - 4*t, -3*h = -h + 4*t - 6. Is 46 a factor of x(h)?
True
Suppose -3*u = -2*x - 2573 - 6553, u + 4*x - 3028 = 0. Suppose 0 = 4*t, t - 6*t = -5*i + u. Is i a multiple of 32?
True
Let y(h) = h. Let l(t) = t**2 - 10. Let a be l(3). Let p(m) = -3*m - 7. Let w(q) = a*p(q) + 3*y(q). Does 25 divide w(3)?
True
Let t = 897 + -610. Is t a multiple of 29?
False
Let f(w) = -2*w**3 - 8*w + 47659*w**2 - 47659*w**2 - 12. Does 52 divide f(-5)?
False
Suppose -30740 = -4*m + m + 35170. Is m a multiple of 115?
False
Let j = -3128 + 5273. Is j a multiple of 6?
False
Does 19 divide (115710/(-18) + (-3 - 0))/(130/(-195))?
False
Let z be (-3)/((-15)/(-25)) - -5. Suppose -28*u + 21*u + 112 = z. Suppose 957 + 1923 = u*y. Is 12 a factor of y?
True
Let j = -309 - -320. Let c(q) = 2*q**2 - 22*q + 18. Is 2 a factor of c(j)?
True
Let r(w) = 17*w**2 - 3*w - 2. Let c(m) = -10*m - 2. Let l be c(-1). Suppose 5*u - u = -l. Does 18 divide r(u)?
True