*w - h*w - 60 = 0, -4*q - 3*w = -91. Is 25 a factor of q?
True
Suppose -j + 2324 = 4*h, -83*h + 1736 = -80*h - j. Does 20 divide h?
True
Suppose 2*l - 46 = -3*a + l, -2*a - 3*l + 40 = 0. Let f be 60/(-14)*a/(-3). Suppose f - 56 = -2*h. Is 9 a factor of h?
True
Suppose -2*h + 310 = 4*m, 3*h + 2*h + m - 793 = 0. Let f = h - 78. Does 27 divide f?
True
Let m(y) = -y**3 - 2*y**2 + y - 3. Let r be m(-3). Suppose 7*l - 40 = r*l. Suppose -2*f + l + 5 = 5*n, -2*n = -5*f - 35. Is 5 a factor of n?
True
Suppose -26*x = -16*x - 870. Is 6 a factor of x?
False
Suppose -3*w - 5*p + 146 = -70, -5*p = 2*w - 144. Does 6 divide w?
True
Suppose -3*t - 2*h = -7, 9 = t + 3*h + h. Let m = t + 2. Let v(u) = u**2 + 4. Does 13 divide v(m)?
True
Suppose 0 = 3*z - 140 - 109. Is z a multiple of 2?
False
Let l(o) = -3*o - 4. Let a be ((-32)/3)/(-4)*-3. Is 9 a factor of l(a)?
False
Let u(x) = 2*x**2 + 3*x - 10. Let d be u(-7). Suppose 4*i + g + 50 = 0, g + d = -5*i + 5. Let s = i - -34. Is 14 a factor of s?
False
Let y(k) = -2*k + 3*k - 2*k - 2*k. Let d be y(5). Let f = d + 33. Does 18 divide f?
True
Let a(l) = l**3 + 12*l**2 + 9*l - 16. Suppose 2*d = 8, q + 18 = -q - d. Is 6 a factor of a(q)?
True
Let u(h) = -2*h - 4. Let m(q) = -5*q + 7. Let b(f) = f - 2. Let g(r) = -9*b(r) - 2*m(r). Let z(w) = 3*g(w) + 2*u(w). Is 3 a factor of z(-11)?
True
Suppose 5*k - 3*b = -7*b + 8, -k + 2*b - 4 = 0. Suppose 2*v - 3*a = 391, -2*v = -k*v - 5*a - 381. Is v a multiple of 29?
True
Suppose -11 + 15 = 4*n. Is (-1 - n) + -5 + 107 a multiple of 17?
False
Suppose -611 + 17 = -2*c. Is c a multiple of 11?
True
Is ((-176)/(-33))/(12/630) a multiple of 35?
True
Suppose -t + 142 = h, 3*t + 8*h - 425 = 4*h. Is t a multiple of 12?
False
Let t = 377 + 355. Is t/26 + 6/(-39) a multiple of 26?
False
Suppose 10 = -4*r + 18. Suppose -r*x - 144 = -5*x. Is x a multiple of 8?
True
Let j(b) = 25*b + 4. Let w(l) = -l**2 - 9*l + 16. Let k be w(-10). Let t be j(k). Does 12 divide 4/26 + t/13?
True
Let l(j) = -j - 8. Let c be l(-8). Suppose -2*d + 136 = -c*d. Is d a multiple of 17?
True
Suppose 5*u = -4*n + 3, 0 = 2*u - 6*u + 5*n + 27. Let k(b) = 2*b - 2. Let i be k(u). Suppose 0 = -5*h + h + 4*a + 48, -i*a - 60 = -5*h. Is 12 a factor of h?
True
Let k(d) be the second derivative of d**3/6 - 3*d. Let j(q) = -3*q - 2. Let y(r) = j(r) + 4*k(r). Does 5 divide y(12)?
True
Let k(a) = 5*a - 10. Let m(p) be the first derivative of p**3 - p**2 + 3*p + 6. Let s be m(2). Is k(s) a multiple of 15?
True
Suppose -5*m + 55 = n, -2*m + 3*m - 11 = 3*n. Let c be (1/(-2))/(m/(-132)). Suppose a = c + 5. Is a a multiple of 11?
True
Suppose -288 = -x + 4*y + 626, -4*y + 1768 = 2*x. Is 41 a factor of x?
False
Is (-72588)/(-84) - (-1)/((-21)/3) a multiple of 48?
True
Let p(d) = d**3 - 2*d**2 + 14*d - 34. Is 21 a factor of p(8)?
True
Suppose -18*f = 3*f - 23541. Is f a multiple of 59?
True
Suppose 3*o = 5*o + 52. Let i be o/(-65) + 703/5. Suppose -6*u - i = -9*u. Does 12 divide u?
False
Let r be (-1650)/(-8) - 2 - (-12)/16. Does 33 divide (-1 - r/(-2))/(32/64)?
False
Let s be 192/14 - (-30)/105. Suppose 2*m + 2*j + 4 = 0, 5*m - 4*j = -3*j + s. Suppose m*g + 5*d = 47, -d - 170 = -5*g - 3*d. Is g a multiple of 18?
True
Suppose v + 0*v = 10. Suppose -p + v = 4*p. Suppose 4*q = -4*c + 100, -p*q - 35 = -c - 5*q. Does 7 divide c?
False
Let y(k) = k**3 - 4*k**2 + 3. Let w be y(3). Let j = 65 + w. Is j a multiple of 15?
False
Suppose -c - 130 = 2*s - 4*c, -c = -4. Suppose 2*g - x - 59 = 0, -g + 6*x = x - 43. Let w = g - s. Is 16 a factor of w?
False
Suppose -11*q + 12103 = 2181. Is q a multiple of 15?
False
Let i(l) = 2. Let c(h) = -9*h + 9. Let f(d) = -2*c(d) + 6*i(d). Is 32 a factor of f(11)?
True
Let g(p) = -4 + p**3 - 3*p**2 - 1 + 4*p - 3*p**2. Suppose -2*k = -3*x + 11, -2*x - 5*k - 25 = -64. Does 24 divide g(x)?
True
Suppose -5*y + 656 = 2*i, 8*i = 3*y + 5*i - 402. Is y a multiple of 22?
True
Suppose -2*a + 1400 = 23*a. Is a a multiple of 3?
False
Suppose 2*m - 5*j = 319, 0 = 5*m - m - 5*j - 653. Suppose 0 = 4*x - m - 29. Is x a multiple of 7?
True
Suppose -9*u + 8*u = -1. Is 28 a factor of 71/(4 + 21/(-6)) + u?
False
Let s(t) = t**2 + 6*t + 8. Let c be s(-6). Let b(p) = -p**2 + 10*p - 6. Let q be b(c). Suppose 0 = -4*g + 3*g + q. Is g a multiple of 4?
False
Suppose 4*z + a = 27, 2*z + 3*a = 6*z - 47. Suppose 0*q = 2*q + z. Let v = q - -25. Is v a multiple of 4?
False
Suppose 4*g + 8*c - 2260 = 4*c, -c + 5 = 0. Is g a multiple of 56?
True
Let m be (-25)/(-4) - (-7)/(-28). Let r = 6 - m. Suppose 0 = -3*g + 4*b - 11, 2*b + r = 4*g - 2. Is g a multiple of 2?
False
Let b be -2*((-5)/2 - -1). Suppose b = 3*a - 36. Does 13 divide a?
True
Suppose -3*u - r = -1053, -63*u + 68*u = -4*r + 1748. Does 38 divide u?
False
Suppose -19*z + 1134 = -5*z. Is z a multiple of 5?
False
Let z = -27 - -37. Suppose 0 = 3*f + z + 11. Does 5 divide (-7)/(f/(-30))*-1?
True
Let f(j) = -j**3 + 7*j**2 + 12*j - 8. Is 8 a factor of f(8)?
True
Let v(o) = 5*o**2 - 8*o + 4. Let t be v(6). Suppose t + 50 = 2*j + 3*g, -99 = -j - 3*g. Is 15 a factor of j + (-2)/(-4)*-2?
False
Suppose 25 = 5*w, -4*m - w + 832 = 287. Let f = m - 65. Is f a multiple of 10?
True
Let w = -3933 + 5813. Does 4 divide w?
True
Let k(t) = 3*t**2 + t. Does 4 divide k(-5)?
False
Suppose -29*v + 1116 = 2*v. Is v a multiple of 6?
True
Let s be 228/54 + (-4)/18. Let y = s - 0. Suppose -4*b - 5*c = -149 - 224, 0 = y*b - 5*c - 323. Does 17 divide b?
False
Suppose 0 = 140*s - 144*s + 840. Is 21 a factor of s?
True
Suppose 953 = s + 4*m, -34*s + 36*s + 5*m - 1903 = 0. Is s a multiple of 6?
False
Suppose 0 = 14*c - 11*c + 186. Let j be ((-3)/(-6))/((-1)/c). Let n = j - 19. Is 5 a factor of n?
False
Let c = -24 - -26. Suppose 7 = c*d - 3. Suppose -j = -7 - d. Does 12 divide j?
True
Let x = 20 - -6. Let j = 6 + x. Is j a multiple of 16?
True
Let y(d) = 3*d + d**3 + 9*d**2 + 0*d**3 + 13 - 10*d - 5*d. Is 11 a factor of y(-10)?
True
Is (-44517)/(-71) + -1 + 11 a multiple of 3?
False
Suppose -80*y + 1824 = -72*y. Does 7 divide y?
False
Let k(q) = q**3 - 9*q**2 - 4*q + 2. Let f(v) = v**2 - 1. Let n(l) = 4*f(l) + k(l). Let o be n(6). Is (-13 - -10)/((-3)/o) a multiple of 5?
True
Suppose 0 = -5*o - 63 + 303. Suppose -5*b - 3*t + 7*t + 80 = 0, 3*b = t + o. Suppose -2*j + 12 = -b. Is j a multiple of 7?
True
Is (-736)/115*(-211 + 1) a multiple of 14?
True
Suppose 0 = -4*u - 5*c + 7115, -5*c = 7*u - 4*u - 5340. Is u a multiple of 17?
False
Suppose 3*j = -2*d + 203, -3*d - d = -2*j + 114. Let r = j - 34. Is 31 a factor of r?
True
Suppose -5*f - 4*r = 20, -r + 0 = 5*f + 35. Is 12 a factor of (34/3)/(f/(-36))?
False
Let p = 79 + -79. Does 13 divide p + 363/7 - 2/(-14)?
True
Let x = -101 + 105. Suppose -2*v + 5*m + 65 = -79, x*v = -2*m + 312. Does 11 divide v?
True
Let f(h) = h**3 - h**2 + h + 319. Let m = -11 - -11. Let z be f(m). Suppose -3*r + 274 = -4*l, -3*r - l + z = 4*l. Is r a multiple of 25?
False
Suppose -31*v = -38*v + 4536. Does 24 divide v?
True
Let i(m) = m**3 - 10*m**2 - 2*m - 3. Let x be i(8). Let k = -96 - x. Let t = k - 36. Does 5 divide t?
True
Suppose -n + 1 = 11. Let u = -9 - n. Does 2 divide u/(-5) - (-230)/25?
False
Suppose -3*m + 3*k + 7 = -11, -2*k - 2 = 3*m. Suppose -m*z - 2*g - 10 = 0, 2*z + 2*z = 5*g + 25. Is (z + -1)*-2 - -19 a multiple of 8?
False
Suppose -4*f - 3*v = -4, 0 = -f + 4*v + 19 + 1. Let h = -218 - -218. Suppose 20 = -h*q + f*q. Is 2 a factor of q?
False
Let q(j) = -j**3 - 14*j**2 + 7*j - 27. Does 5 divide q(-15)?
False
Suppose 4*l = 3*b + 580, -91 + 407 = 2*l + 5*b. Let z = l - 79. Is z a multiple of 6?
False
Is (400 - 3) + -11 + 6 a multiple of 14?
True
Suppose 249 = n + l, -n - 2*l - 1217 = -6*n. Is 7 a factor of n?
True
Let c(o) = -122*o + 112. Is c(-14) a multiple of 13?
True
Let c be (50/30)/(1/(-18) - 0). Is 15 a factor of (30/(-4))/(5/c)?
True
Suppose 5*w - 3*b + b = 43, 23 = 5*w + 3*b. Suppose 0 = 4*y - w*y + 54. Is y a multiple of 3?
True
Let j(d) = -d + 7. Let u be j(5). Suppose -u*z + 10 = 0, o + 5 - 25 = -3*z. Suppose -o*t - 2*w + 211 = 0, 5*t - 2*w + 6*w - 217 = 0. Is t a multiple of 14?
False
Suppose -85 = -3*r - 2*r. Let n = 37 - r. Let t = n - 2. Is 6 a factor of t?
True
Suppose x = 10 - 8. Suppose x*f + 0*v = -3*v - 3, 4*v = -4*f - 8. Let h(i) = -2*i**3 - 2*i**2 + 3*i +