)) a multiple of 19?
True
Let u(k) = k**2 - 4*k + 17. Suppose -41 + 5 = -4*r. Is u(r) a multiple of 18?
False
Suppose 0*z + 11 = -z. Let a = 13 + z. Suppose -4*h + 2*p + 47 + 115 = 0, -p + 79 = a*h. Is 12 a factor of h?
False
Suppose 4*w - 3 = -15. Let f(k) be the first derivative of -5*k**2 + 4*k - 40. Is 18 a factor of f(w)?
False
Suppose 2*l - 62 = 17*k - 13*k, 3*l - 4*k = 101. Does 10 divide l?
False
Let s be (792/55)/(4/30). Suppose -x = -7*x + s. Is 6 a factor of x?
True
Suppose 2*l - 1889 = 5*h - 6739, 3*h = -5*l + 2910. Is h a multiple of 97?
True
Let f(m) = 2*m**3 - 17*m**2 - 16*m + 48. Is 85 a factor of f(16)?
False
Suppose -2*l + y + 5 = l, -5*l - 4*y = 20. Suppose -22 = -5*h - 7, 4*c - h - 277 = l. Is c a multiple of 15?
False
Let f = -20 - -17. Let o = f + 7. Suppose h + 2*h - 330 = -o*n, -n = -h - 86. Is 17 a factor of n?
False
Is 14 a factor of -6 - (-50)/(-4 + 5)?
False
Does 14 divide 2101/66*6 - 0?
False
Let c(f) = f**2 + 4*f - 5. Let l be c(-6). Suppose -5 = l*k - 19. Is 13 a factor of ((-4)/(-2) - -48)/k?
False
Does 45 divide ((-144)/(-15))/4*(-8800)/(-20)?
False
Let p = 2818 - 1633. Is p a multiple of 4?
False
Let y(i) = 536*i**2 - 8*i + 7. Is y(2) a multiple of 61?
True
Let x(t) = 3*t**3 + 5*t**2 - 7*t. Is 20 a factor of x(2)?
False
Suppose -29*y + 37985 - 14930 = 0. Is y a multiple of 63?
False
Suppose -2*q - 12*w + 16*w + 904 = 0, 5*q - 2269 = w. Is 109 a factor of q?
False
Let p(q) = -q**3 - 2*q**2 - q + 7. Let z be p(0). Suppose 3*t - z*t = 3*r - 63, 5*r - 61 = -3*t. Is t a multiple of 12?
True
Let u(h) = -h**2 - 5*h + 6. Let w be u(-6). Suppose 2*l = -w*l. Does 7 divide 0/(l + 2) + 7?
True
Is -512*39/(-30) + (-93)/155 a multiple of 35?
True
Let k = 8 + 46. Let y = k - 38. Does 10 divide y?
False
Let z = -106 - -197. Is 13 a factor of z?
True
Suppose 0 = 3*x - 691 - 1739. Suppose -7*b - x = -16*b. Does 45 divide b?
True
Is ((-6)/1)/(-15 + (-599)/(-40)) a multiple of 48?
True
Let q be 1/2 + 1425/30. Suppose 2*s = -2*z + 96, -z + 2*z - 3*s - q = 0. Is z a multiple of 8?
True
Let g(y) = 22*y**2 - 12*y - 24. Is 30 a factor of g(-3)?
True
Suppose -2*z - 662 = -4*m, 15*m - 17*m + 336 = 4*z. Is 18 a factor of m?
False
Let y be (-4)/1 + (-5 - -12). Suppose -20 = -3*b - b, -4*p - y*b = -19. Is (0 - 2) + p + 28 a multiple of 9?
True
Let w(f) = -f**3 - 11*f**2 - 15*f - 24. Is 2 a factor of w(-10)?
True
Suppose z - 140 - 90 = 3*p, 0 = -3*z + 4*p + 670. Does 5 divide z?
False
Suppose 0 = 12*m - 20*m + 40. Suppose 4*x - 366 = -2*k - 36, -4*k = -m*x - 608. Does 11 divide k?
False
Let d = -274 + 616. Is d a multiple of 28?
False
Let y be 164/6 + (-2)/6. Suppose 4*b + 1 = 2*j + 29, j + 10 = 4*b. Let n = j + y. Is 3 a factor of n?
True
Suppose 0 = -h + 522 + 1126. Does 103 divide h?
True
Let u(g) be the first derivative of -5*g**2 - 3. Is u(-3) a multiple of 6?
True
Suppose -3 - 5 = -p + a, 5*p - 2*a - 28 = 0. Let g(n) = -4*n**2 + 2*n + 2. Let i be g(p). Let x = i - -108. Is 14 a factor of x?
False
Let r = -656 - -1139. Is 15 a factor of r?
False
Let l(g) = 14*g**2 - g. Let k be l(1). Let b = -11 + k. Suppose b*v - 4*v = -126. Is 20 a factor of v?
False
Let x(n) = n**3 + 8*n**2 + 3. Let c(d) = d**2 - d + 1. Let v(z) = 3*c(z) - x(z). Let g be v(-4). Let i(s) = 2*s**2 - 5*s + 3. Does 26 divide i(g)?
False
Does 70 divide 1*(1708 + 1) + 4?
False
Let p be 45 + 2/(1 + -2). Let w be 26 + (-3 - -4) + 1. Let m = p - w. Is m a multiple of 14?
False
Suppose 4*a + 5632 = 15*a. Is 39 a factor of a?
False
Let f = 1314 - 473. Is f a multiple of 31?
False
Let o = -30 - -10. Let p = -17 - -25. Does 2 divide ((-14)/p)/(5/o)?
False
Let a be (0 - -977)*-1*(-9 - -8). Suppose 459 = 3*v - 2*m, -5*v - 193 = 3*m - a. Does 18 divide v?
False
Let a(l) = 11*l**2 + 54*l + 654. Is a(-19) a multiple of 15?
False
Suppose -40410 = 72*a - 87*a. Does 15 divide a?
False
Suppose 3*c = 194 + 187. Is 20 a factor of c?
False
Let c = 159 - 74. Let w = c + -61. Does 4 divide w?
True
Let z be (-6)/(-4) + 33/22. Suppose -z*p + 465 = 171. Does 15 divide p?
False
Does 12 divide 292*(2622/24)/19?
False
Let l = -78 - -121. Suppose 49 = c - l. Is 23 a factor of c?
True
Suppose -2*f = 0, -3*f + 88 = -4*l - f. Let i = 24 - l. Let q = i + -18. Does 14 divide q?
True
Let b = -6 + 9. Let j be (5 - 4/1) + b. Suppose j*z - 5*z = -56. Does 8 divide z?
True
Let y(i) = -i**2 - 4*i. Let g be y(-4). Suppose a = -4*w + 14, -3*w + g*a + 13 = 2*a. Suppose -t + w = -28. Is t a multiple of 10?
False
Does 59 divide 2884 + (7 - 4 - -4)/1?
True
Let a(p) = p**3 - 15*p**2 - 22*p + 3. Is a(17) a multiple of 10?
False
Suppose -g = -5 - 5. Let o(k) = k**2 - 13*k - 6. Let i(w) = w**2 - 12*w - 6. Let n(t) = 5*i(t) - 4*o(t). Is 5 a factor of n(g)?
False
Suppose 4*y + 4*y - 32 = 0. Suppose -2*f - 3*f = 5, -h + 34 = -y*f. Does 5 divide h?
True
Let y = 5540 - 2012. Is 98 a factor of y?
True
Let z(v) = -2*v**3 + 7*v + 2*v**3 - 4*v**3 - 5*v**2 + 5 + 3*v**3. Let h(m) = -m**2 - 16*m + 10. Let y be h(-17). Is 18 a factor of z(y)?
True
Is 77 a factor of 7/(-4 - -5) + 1118?
False
Let w = -13 + 15. Let k(q) = -10*q**3 - 2*q**2 + 3*q - 1. Let g be k(w). Let h = g + 156. Is h a multiple of 11?
False
Suppose -3*m - g - 140 = -8*m, -25 = -5*g. Let j = m + -7. Is 11 a factor of j?
True
Let a(m) = -26 - m**3 + 8*m**2 + 6*m + 23 + 4*m**3 - 2*m**3. Let d be a(-7). Does 3 divide (9 + 0)*(-3 + d)?
True
Let g = 245 - -335. Is 29 a factor of g?
True
Let u(i) = i**2 - i - 1. Let n be u(3). Suppose 140 = -3*j - n*y + 15, -3*j = y + 109. Let d = j + 53. Does 6 divide d?
True
Let s(p) = -81*p + 109. Is s(-6) a multiple of 5?
True
Suppose -3*q + 0 = 2*j - 6, 10 = 5*q. Suppose o - 33 - 25 = j. Is 14 a factor of o?
False
Let j = 388 - 242. Let c(m) = m**3 - 2*m**2 + 1. Let g be c(1). Is 31 a factor of (g + (-2)/(-4))*j?
False
Suppose z = -0*c + 3*c - 1944, -1291 = -2*c - z. Does 48 divide c?
False
Let o(u) = -150*u + 7. Let d be o(-1). Let z = d + -80. Is 11 a factor of z?
True
Suppose 65*x - 60*x = 250. Is 5 a factor of x?
True
Suppose 4*c - 3*f - 132 = 0, 0*c + 3*f = -4*c + 156. Is 10 a factor of 6*176/c - (-2)/3?
True
Suppose 4*m - 5808 - 3468 = 0. Does 54 divide m?
False
Let m be (-42)/(-4) - (-9)/6. Suppose -m = -2*x + 6*x. Is x/12 - 438/(-24) a multiple of 18?
True
Suppose -30*o + 3633 = -1017. Is o a multiple of 8?
False
Suppose 321*p - 3690 = 316*p. Is p a multiple of 41?
True
Let a be ((-1)/2)/((-1)/12). Suppose -g - a*i + 115 = -i, -i = -4*g + 523. Suppose 30 + g = 5*t. Is 8 a factor of t?
True
Let a = -2431 + 3706. Is 51 a factor of a?
True
Let p(h) = 7*h + 4. Let v(g) = -g + 2. Let f(t) = -t + 3. Let y(s) = 2*f(s) - 3*v(s). Let k be y(3). Is p(k) a multiple of 12?
False
Suppose 6*w = 2*w + 32. Is 26 a factor of 514/w - 3/12?
False
Let g be 4/12*(-1 + -11). Let y = -49 - g. Is 8 a factor of y/(-12)*(-100)/(-15)?
False
Let b = -50 + 76. Suppose -b - 76 = 2*o. Let q = -22 - o. Is q a multiple of 12?
False
Suppose 10*b = -0*b + 6600. Is 33 a factor of b?
True
Let p be (-81)/(-15) - (-4)/(-10). Suppose -8 = 4*l, 4*l = -p*b + 722 - 190. Is 14 a factor of b?
False
Is 9 a factor of ((-2459)/(-2))/((-14)/(-28))?
False
Let q be 1341/3*4/(-12). Let g = 210 + q. Does 10 divide g?
False
Let b = 2203 - 1515. Is 16 a factor of b?
True
Let p(k) = -k**3 + 8*k**2 - 3*k - 4. Let q be p(5). Suppose q*u = 53*u + 288. Is u a multiple of 24?
True
Let t = 899 + -451. Is 5 a factor of t?
False
Let p = -62 - -72. Let m = 44 - p. Is m a multiple of 6?
False
Let g be 1072/(-112) + (-4)/(-7). Let p(i) = i**3 - 4*i**2 + 4*i - 1. Let l be p(4). Let f = l + g. Is 2 a factor of f?
True
Let c(p) = 1. Let k(y) = -y + 8. Let q(z) = 5*c(z) - k(z). Let x be q(-7). Does 14 divide ((-16)/x)/(7/175)?
False
Let h(t) = -5*t + 9. Let x be (4 - 1) + -6 - 0. Let k(s) = 5*s - 9. Let y(g) = x*k(g) - 2*h(g). Does 18 divide y(-7)?
False
Let n = 61 - 52. Suppose c + 0*k = 3*k + n, -c + 13 = -k. Is c a multiple of 3?
True
Suppose 4*c - 128 - 32 = 0. Let f = -37 + c. Suppose 3 = -i - 4*j - f, 4*j - 22 = -3*i. Is i a multiple of 10?
False
Let x be (-8)/(-12) + 10/(-6). Does 15 divide (0 + x)/(5/(-535))?
False
Let l(o) = 1 + 14*o**2 + 0*o**2 - 1 - 16*o - o**3. Is 30 a factor of l(12)?
False
Suppose -148 = -11*y + 1172. Is y a multiple of 8?
True
Let q(w) = -w**2 - 3*w. Let z be 