(b) = 4*p(b) + 7*x(b). Let u be w(-9). Suppose u*j = j - 63. Is 20 a factor of j?
False
Let m = -527 + 1311. Is 49 a factor of m?
True
Suppose 9*x + 0*x = -225. Is 7 a factor of (-2)/(6/(-15) - 8/x)?
False
Let q(y) = y**3 + 14*y**2 + 3*y + 78. Is q(0) a multiple of 4?
False
Let t(v) = 5*v**2 - 4*v - 5. Let n be t(5). Suppose 4*z + n = -0*z. Let k = 34 - z. Is k a multiple of 15?
False
Let y be (20/16*-2)/((-2)/4). Suppose -y*h = -2*f + 169, 3*h - 335 = -5*f - 2*h. Is f a multiple of 9?
True
Suppose 2*t + 5*w - 4*w - 9 = 0, -5*t = -5*w + 15. Suppose -f + t*f - 9 = 0. Let g(b) = b**2 - 6*b - 2. Is g(f) a multiple of 8?
False
Suppose -731 = -x - 5*y, 0*x - 3*y - 3767 = -5*x. Is 38 a factor of x?
False
Let h = 1442 - 818. Is h a multiple of 26?
True
Let j(q) = -70*q**3 - 3*q**2 + 5*q**2 + 1 + 0*q**2 - 3*q**2. Is j(-1) a multiple of 18?
False
Let n(c) = -9*c**2 - 3*c + 1. Let k be n(1). Let q(r) = 2*r**2 + 15*r - 1. Is q(k) a multiple of 24?
False
Suppose 0 = -h - h + 300. Suppose 11*d = 8*d + h. Is 240/d*(-20)/(-3) a multiple of 11?
False
Let n be 36/(-30)*5/2. Let z = 7 + n. Suppose 3*y + 0*u - 3*u - 144 = 0, 2*y - 108 = -z*u. Is 26 a factor of y?
False
Let i be 3/3 + 1 - -3. Let h(u) = -u**2 - 25*u - 12. Let b be h(-19). Does 13 divide b/i*(-10)/(-4)?
False
Let q be (4 + 4 + -9)*27. Let p = 24 + q. Let b = 15 - p. Is b a multiple of 18?
True
Suppose -m + 20 = 4*m. Suppose -j + 148 = 5*l + 17, -m*j + 5*l + 624 = 0. Let y = j - 77. Is 14 a factor of y?
False
Let y(r) = -3*r**3 - r**2 + 2*r - 9. Is 6 a factor of y(-4)?
False
Let h(c) = c**2 + 7*c + 4. Let f be h(-6). Let y be (-4)/4*f - -3. Suppose 4*b - 2*j = -0*j + 82, -5*b - y*j + 80 = 0. Is 2 a factor of b?
False
Let v = -73 + 40. Let r = v - -69. Is r a multiple of 9?
True
Let y be 0/4*2/(-4). Let i(a) = y + 3*a + 1 - 1 + 1. Does 6 divide i(3)?
False
Let s(g) = 55*g - 203. Does 6 divide s(27)?
False
Let u be (1 - (-3)/(-4))/(8/32). Does 25 divide ((-7)/u - -4) + 162?
False
Suppose 0 = 4*p + 2*h - 946, -3*h - 687 = -3*p - 0*h. Is p a multiple of 39?
True
Suppose 9*l = 225 + 8424. Is l a multiple of 19?
False
Suppose 0 = 3*g - 206 + 80. Let y = g + -26. Let w = y + -9. Is w a multiple of 2?
False
Suppose -70*u = 60474 - 260814. Is u a multiple of 9?
True
Let u(h) = 18*h**2 - h. Suppose -3*q + 4*q - t = 1, 5*t = -10. Is 19 a factor of u(q)?
True
Let q(v) = v**3 - 13*v**2 - 30*v + 2. Let c be q(15). Suppose -2*r - 3*d - 1 = -77, c*d + 66 = 2*r. Does 7 divide r?
True
Suppose 22 = 2*l - 386. Is 34 a factor of l?
True
Suppose -r + 4*r + 18 = g, -2*r = -g + 12. Let p(y) = y**2 + 3*y - 2. Is p(r) a multiple of 10?
False
Suppose h - 239 = -48. Does 3 divide h?
False
Does 18 divide (19 - 18)/((-1)/5612*-1)?
False
Suppose 3*p + 4841 = 2*d, 6195 = 3*d - 2*p - 1079. Is 7 a factor of d?
False
Suppose 37 = -10*h + 4677. Is 116 a factor of h?
True
Let i(j) = 161*j**2 - 7*j. Is 20 a factor of i(2)?
False
Let r be 84/(-28)*2*(-1)/(-6). Let s(v) = 22*v**2 + 2*v. Does 6 divide s(r)?
False
Let k be 1*-2*(-285)/6. Suppose 8*b + 7*b = 2175. Suppose 0 = -4*l + b + k. Does 24 divide l?
False
Suppose 10*n + 3*n = 57122. Is 97 a factor of n?
False
Let f(l) = -7*l - 52. Does 7 divide f(-9)?
False
Suppose -41 = 6*o - 5. Is 42 a factor of ((-7)/2)/(o/288)?
True
Suppose 14*j - 249 - 2453 = 0. Does 16 divide j?
False
Let d(u) = u**2 - 2*u + 4. Let w be d(0). Suppose 0 = w*m + 12 - 260. Does 13 divide m?
False
Let y(m) be the second derivative of m**3 + m**2 - 2*m. Let i be y(-2). Let u(w) = -w**3 - 9*w**2 + 8*w - 12. Does 3 divide u(i)?
False
Suppose -7 - 14 = -3*x. Let p = -5 - 8. Let y = x - p. Is 10 a factor of y?
True
Let w be (40/16)/((-1)/(-28)). Let r = w + 53. Is 19 a factor of r?
False
Let h(m) = 11*m + 2. Let y be h(-7). Let o be (y/(-15))/(1*-1). Let a = o + 13. Is 4 a factor of a?
True
Let n(s) be the second derivative of -43*s**3/3 - 10*s**2 + 3*s. Let w(v) = 29*v + 7. Let h(l) = -6*n(l) - 17*w(l). Is 12 a factor of h(1)?
True
Let l(g) = g**3 - 26*g**2 - 38*g + 26. Is l(28) a multiple of 21?
False
Suppose 10*y - 3 = 9*y. Suppose 3*b - 464 = x, -y*x - 245 = -5*b + 523. Suppose -j - b = -3*j. Is 13 a factor of j?
True
Let u(z) = -z**3 + 3*z**2 - z - 4. Let g be u(4). Let l = g - -88. Suppose -l + 16 = -4*b. Is 6 a factor of b?
True
Let c = -93 + 89. Is c + (-1 - 0) - -122 a multiple of 9?
True
Let s(z) = -z**3 + 16*z**2 + 17. Let d be s(16). Let l = -10 + d. Is l a multiple of 3?
False
Suppose -3 = k - 14. Suppose -914 = -k*p + 956. Is p a multiple of 17?
True
Suppose -43 - 257 = -5*h. Suppose -2*s - h + 338 = 0. Let i = -72 + s. Does 19 divide i?
False
Suppose 0 = -4*a - p + 5591, 4*a - 7*p - 3474 = 2157. Is a a multiple of 6?
False
Let u be 2/(-11) - 1080/(-11). Suppose 0 = -6*t - u + 686. Is 21 a factor of t?
False
Let m = 1 - -4. Let i be 66/10 + 2/m. Suppose -6*a + i*a = 56. Is a a multiple of 14?
True
Let l(z) = 1878*z + 79. Is 50 a factor of l(1)?
False
Let g be -2*9/(-6) + 0. Suppose -2*f + 2*b = -46, -4*f + f = 3*b - 69. Suppose f = 4*c - g*c. Does 23 divide c?
True
Let i(z) = -z**3 + 5*z**2 - 3*z + 3. Suppose -2*w + 2*c = -2, -4*w + 0*w + 5*c = -1. Is i(w) a multiple of 7?
True
Let v(r) = r - 9. Let s be v(4). Let l(o) = -o**3 - 7*o**2 - 21*o. Let k(d) = -3*d - 1. Let q(i) = 5*k(i) - l(i). Is q(s) a multiple of 5?
True
Suppose 0 = y - 3*c - 9, y + 11 = 4*y - c. Is (71/y)/(2/6) a multiple of 18?
False
Let v(d) = -123*d - 291. Is v(-13) a multiple of 12?
True
Let z(y) = -y**3 - 11*y**2 - 3*y - 1. Suppose 5*q + 58 = -o, -4*q - 59 = -2*o + 7*o. Let s be z(q). Let c = 20 + s. Is c a multiple of 13?
True
Let p(t) = t**2 - t - 15. Let g be p(-4). Suppose 2*k - 36 = 2*x, g*k - 3*x + 0*x = 86. Is k a multiple of 3?
False
Let o(i) be the first derivative of 1/3*i**3 - 5 - 5/2*i**2 + 11*i. Is o(5) a multiple of 11?
True
Let u be 2 - ((-6)/3 - 1). Let g(i) = i**3 - 3*i**2 - 5*i - 4. Let h be g(u). Does 10 divide ((-30)/(-2))/(h/56)?
True
Let p(g) = -3*g - 22*g**3 - 11*g + 5 + 6*g**2 - 16*g**3 + 39*g**3. Is p(-6) a multiple of 38?
False
Let a(d) = d**2 - 15*d - 6. Let g(t) be the third derivative of -7*t**4/12 - t**3 - 11*t**2. Let v(r) = 4*a(r) - 5*g(r). Does 14 divide v(-5)?
True
Let j = 87 - -44. Let l = j + -29. Does 12 divide l?
False
Suppose -5*l + 60 = l. Let y(v) = 2*v + 3. Is 2 a factor of y(l)?
False
Suppose -5*t + 340 = -2*m, 2*t - 492 = 3*m - t. Let q = 290 + m. Is 26 a factor of q?
True
Suppose -83*q + 4576 = -57*q. Does 88 divide q?
True
Let w(u) = -3*u**2 + 14*u + 4. Let o be w(4). Does 2 divide ((-380)/120)/((-2)/o)?
False
Suppose p - f + 4 = 3, p + 2*f - 11 = 0. Suppose 0 = -p*m - m + 256. Suppose 3*v - m = v. Is 16 a factor of v?
True
Suppose -14 = 4*o - 2*m, 3*o + o + 34 = -2*m. Let d(i) = 4*i**2 + 5*i. Let z(j) = -5*j**2 - 5*j. Let r(v) = o*d(v) - 5*z(v). Is 14 a factor of r(7)?
True
Suppose 2*o - 8 = -4*g, 3*o + 5*g - g = 10. Suppose -2*q = -o, 3*q + q = v - 157. Does 23 divide v?
True
Suppose 4*d - 5*d = 5*y - 34, 4*d = -4*y + 72. Let i(m) = 16*m - 53. Is 21 a factor of i(d)?
False
Let z(m) = 21*m - 42. Does 9 divide z(14)?
True
Suppose 4313 = -30*y + 30053. Is y a multiple of 18?
False
Let q = -2 - -4. Does 13 divide 460/12 - q/(-3)?
True
Let a(i) = -i**2 - 3*i. Let f be a(-4). Is (-14)/(1*f/34) a multiple of 24?
False
Let n = -35 - -62. Suppose b + l = -4*l + 25, -4*b + 4*l - 20 = 0. Suppose b = 2*w - 35 + n. Does 4 divide w?
True
Suppose 0 = 26*q - 27*q + 43. Let r = 2 - -3. Let o = r + q. Does 12 divide o?
True
Suppose 4*c + 0 = 40. Suppose 0 = 4*x - 6*x + c, 4*v + 5*x = 1161. Does 23 divide v?
False
Let k(p) = p**3 + 10*p**2 - 4*p - 19. Let i be k(-10). Suppose -24*c + 345 = -i*c. Is c a multiple of 5?
True
Let q(l) = -l**3 - 18*l**2 + l + 20. Let w be q(-18). Suppose w*i = j - 46, i = -5*j - 0*i + 274. Is 18 a factor of j?
True
Suppose -2*l = -5*l + 519. Suppose 0*a - 5*g = a - 62, -5*g = -4*a + l. Let p = -18 + a. Does 24 divide p?
False
Suppose 7*k - 7169 = -2402. Does 93 divide k?
False
Let q = 21 + -89. Let y = q + 141. Is y a multiple of 17?
False
Let b(n) = -n**3 - 9*n**2 - 9*n + 3. Suppose -w - w + 18 = 0. Suppose 4*z = -4*h - 23 - w, 0 = -2*z + 5*h - 23. Is 28 a factor of b(z)?
True
Let g = 123 + -167. Is 3 - 3 - (g + 1) a multiple of 4?
False
Let t = 33 + 1905. Is 34 a factor 