Let w(k) = 12*k - 4. Suppose 18 = -4*j + 30. Does 15 divide w(j)?
False
Does 21 divide (-8)/(-28) + (-4404)/(-21)?
True
Let u be (0 + 2/(-4))*-8. Suppose -u*s + b = -11, 3 = 2*s + s + b. Suppose 0 = -s*z + 4*z - 14. Is z a multiple of 2?
False
Suppose -9*w = -3*w. Suppose 2*o - o + 3*j - 27 = 0, w = -3*o - 2*j + 109. Is o a multiple of 10?
False
Suppose -6*f = -2049 - 4287. Does 53 divide f?
False
Let o(x) = x**3 - 17*x**2 - 14*x - 38. Let j be o(18). Suppose j + 22 = z. Is z a multiple of 15?
False
Let v(l) = 32*l**2 - 2*l - 3. Let k = 63 + -64. Is 6 a factor of v(k)?
False
Suppose 3*r - 3*w = -231, 377 = -2*r - 3*r + w. Is 7 a factor of 780/r*(-5)/1?
False
Let s be 1/2 + 33/6. Does 6 divide ((s/4)/3)/((-2)/(-180))?
False
Let a(g) = -g**3 - 34*g**2 - 73*g + 42. Is a(-32) a multiple of 9?
False
Suppose -4*p + 123 = -229. Let s = 180 - p. Suppose 3*k = s + 124. Is 27 a factor of k?
False
Let p = -387 + 852. Does 27 divide p?
False
Let c(i) = i + 7. Let q be c(-7). Suppose 4*r - 21 + 5 = q. Suppose -2*s = s - 2*z - 102, -s + r*z + 34 = 0. Is s a multiple of 13?
False
Let a(y) = 71 - y**2 - 2*y**2 + 2*y**2 - 2*y + y**3. Let g(t) = t**3 + 16*t**2 - t - 16. Let i be g(-16). Is 21 a factor of a(i)?
False
Let p be (9/(-6))/(27/720). Let f = 78 + p. Suppose -34 = -2*n + f. Is n a multiple of 12?
True
Let k(x) = 2*x**2 + 10*x - 26. Let b be k(13). Suppose 3*g - 2*f - 382 = 0, -2*g + 4*f = -b + 182. Is 14 a factor of g?
True
Suppose 0 = -3*c - 5*c - 48. Does 2 divide (6 - (1 + c))/(1/2)?
True
Let b(l) = -2*l**3 - 4*l**2 - 7*l - 12. Does 3 divide b(-4)?
False
Does 8 divide ((-2)/24 - 29/4)*-24?
True
Is ((-1)/2)/(-4 + 14023/3506) a multiple of 60?
False
Suppose w = 4*k + 2*w - 680, 2*k + 4*w = 340. Suppose 0*l - k = -2*l. Suppose -2*d + 46 = 3*x - l, -223 = -5*x - d. Is 15 a factor of x?
True
Let z(h) = 6*h**2 - 3. Let j be z(-2). Let x = j - 34. Let q = 45 + x. Is 16 a factor of q?
True
Suppose 8*v = 11*v - 6. Let s = 32 - v. Is s a multiple of 5?
True
Suppose -v = -3*v + 16. Suppose 2*r + 3*j - v = 52, 4*r + j - 140 = 0. Is r a multiple of 12?
True
Suppose -3*k - 2 = -4*k. Let h(c) = 44*c**2 + 1. Let l be h(k). Suppose 2*j = -2*w + 60, 5*w - l = -3*j - 21. Is 24 a factor of w?
False
Let p be 62/(48/9 + -5). Suppose -k - 71 = -p. Is 15 a factor of k?
False
Suppose 24*p - 110170 = -22*p. Is p a multiple of 29?
False
Let p = 12 + -2. Let f be 4/p + (-328)/20. Let d = 26 - f. Does 14 divide d?
True
Let y = 104 + -150. Let j = 86 + y. Is 8 a factor of j?
True
Suppose -5*k - 606 = -2*q, 0*q - 2*k = 4*q - 1260. Does 20 divide q?
False
Let r(h) = 15*h - 2. Let o be r(-14). Let g = 368 + o. Is 39 a factor of g?
True
Let i(a) = -a**2 + 2*a + 2. Let y be i(2). Does 21 divide 3 + 156/8*y?
True
Let v = 162 + -134. Is v a multiple of 14?
True
Let a = 4 - -1. Suppose 216 = 5*v + 3*n, -v + n + 57 = -3*n. Suppose -a*i = -v + 5. Is i a multiple of 4?
True
Does 27 divide -385*(-6 - 33/(-15))?
False
Suppose -2*x + 4*n - 88 = 0, 7*x = 3*x + 2*n - 200. Let v = -2 - x. Let l = v - 26. Does 4 divide l?
True
Let f(t) = -4 + 4 - 8 - 78*t. Is 35 a factor of f(-1)?
True
Let w(p) = -4*p**2 - 11*p - 9. Let z be w(-5). Let q = -25 - z. Is q a multiple of 15?
False
Suppose 0 = -63*z + 69*z - 2322. Is 9 a factor of z?
True
Is 24/40 + ((-15568)/(-20) - -1) a multiple of 65?
True
Suppose -12*h + 15*h + 6 = 0. Does 13 divide (-195)/h*(-12)/(-15)?
True
Suppose -8*k = -893 - 2419. Does 18 divide k?
True
Suppose 5*k = 3*d - 15, -2*d + 3*d + 2*k + 6 = 0. Suppose -2*c - 2*l = -d*c + 30, -l + 3 = 0. Let o = 10 - c. Does 7 divide o?
True
Suppose 3*q - 4*m = 291, -8*m - 9 = -11*m. Is 36 a factor of q?
False
Let c(y) = -y**3 + 5*y**2 + 7*y - 3. Let o be c(6). Let w = 129 + -53. Suppose w = o*l - 2*l. Does 22 divide l?
False
Let l(t) = -t**3 + 6*t**2 + 8*t + 4. Let q be l(7). Suppose -q*x + 24 = -7*x. Is x a multiple of 3?
True
Let o = 108 + -60. Suppose 0 = -3*n - 0*n + o. Let q = n + -8. Is q a multiple of 3?
False
Let n = 959 + -735. Is n a multiple of 29?
False
Let o(w) = -w - 3. Let l be o(-8). Suppose -33 + 3 = -l*x. Is x a multiple of 2?
True
Suppose -812 = 33*a - 7709. Is 4 a factor of a?
False
Let x(w) = -2*w**3 - 2*w**2 - 4*w + 11. Is x(-5) a multiple of 8?
False
Let u be ((-6)/(96/(-40)))/((-1)/(-2)). Suppose 4*d - 599 = y, -u*y + 59 = d - 75. Does 29 divide d?
False
Suppose 0 = 7*q - 3*q - 16. Suppose q*g - 144 = -0*g. Is 30 a factor of g?
False
Let p(d) = -d**3 + 32*d**2 + 144*d + 14. Is 14 a factor of p(-6)?
True
Suppose 4*d = 5*y - 851, -2*d + 114 = y - 59. Does 31 divide y?
False
Suppose -3*f + 2*f - 20 = -5*i, i - 2*f - 13 = 0. Let m = 117 - i. Is m a multiple of 7?
False
Suppose 2*c + 68 = 214. Let w = -67 + c. Is 3 a factor of w?
True
Suppose -5*d - 2 + 22 = 0. Suppose 3*h - b = 263, 5*h + b - 202 = 231. Suppose -h = -d*i + 45. Does 33 divide i?
True
Let z = -187 + 198. Is z a multiple of 6?
False
Does 24 divide 81/(-72)*-4*702?
False
Suppose 38610 = 62*u - 23*u. Does 34 divide u?
False
Let p = 715 + 169. Is p a multiple of 13?
True
Let i(b) be the third derivative of -b**6/120 - 3*b**5/10 + 2*b**4/3 - 11*b**3/2 + 10*b**2. Is i(-19) a multiple of 6?
True
Suppose u - 3*z = 343, 3*u - 4*z - 1332 = -u. Suppose -u = -3*o + 4*v, 4*o - 6*v - 438 = -v. Does 28 divide o?
True
Let s be -2*13/2 + 1. Suppose 8*i = 3*l + 3*i - 164, -5*l + 4*i + 256 = 0. Let o = l + s. Is o a multiple of 12?
True
Suppose b - 44*f = -43*f + 4, -8 = 2*f. Let o be (6/4)/((-3)/(-8)). Suppose -o*u + 277 = l, 4*u - 5*l + b*l = 271. Does 23 divide u?
True
Suppose 27*b + 26*b - 60420 = 0. Is b a multiple of 19?
True
Let k(y) = 727*y**3 - y**2 - 8*y + 8. Is k(1) a multiple of 5?
False
Let b(m) = -145*m + 661. Does 93 divide b(-13)?
False
Suppose 2*s + 4*n = -12, 5*n = -3*s + n - 8. Suppose 10 + 14 = -s*c. Let x = c + 27. Does 7 divide x?
True
Let l(v) = -v**3 - 13*v**2 - 13*v + 1. Suppose 53 = -5*u - 7. Is 3 a factor of l(u)?
False
Let b be 1 + -3 - 0 - -4. Suppose b*g + 7 = 31. Does 14 divide 453/g - 1/(-4)?
False
Suppose 3*a + g - 8 = 0, 0 = -4*a + a - 4*g - 4. Does 23 divide 15/60 + 275/a?
True
Let j be ((-2)/6)/((-12)/252). Let n be (260/(-14))/((-1)/j). Suppose -f = -n + 28. Is 34 a factor of f?
True
Let l(j) = 311*j + 13. Is l(2) a multiple of 24?
False
Let w(t) = -t + 5. Let z be w(3). Let v be (-68)/(-3) - z/(-6). Suppose -5*o + 5*k + 161 = 66, -2*o = k - v. Is 7 a factor of o?
True
Suppose 2*h + 4*a = 464, h + 496 = 3*h - 4*a. Is h a multiple of 8?
True
Let v(s) = s**3 + 9*s**2 - s - 42. Does 12 divide v(-8)?
False
Let s = 143 - 60. Does 26 divide s?
False
Let z = 1569 - 811. Is 16 a factor of z?
False
Let c(v) = -116*v + 3. Let u be c(1). Let d = -48 - u. Is 14 a factor of d?
False
Suppose 0 = 2*k + 3*f + 13, 5*f + 8 = 4*k + 1. Is -1 + (-1372)/(-16) - k/8 a multiple of 17?
True
Is 9*((-4)/3 - -1) - -225 a multiple of 6?
True
Suppose 0*z - 4*z + 3*y + 39 = 0, z = 3*y + 21. Suppose 0 = -2*c + z*c - 136. Let m = c - 24. Does 3 divide m?
False
Suppose -5*i - 5*n + 50 = 0, 2*i + 2*i + 5*n = 37. Suppose -i + 64 = 3*c. Is 10 a factor of c?
False
Let z(m) = m**2 + 5*m + 9. Let x = -4 - -6. Let r be -7 + -1 + x + 0. Does 15 divide z(r)?
True
Suppose -3*w = -4*d - 6 - 6, 8 = 2*w + 2*d. Let x = w + -4. Suppose -132 = -4*h + q + 54, 4*q - 8 = x. Is h a multiple of 22?
False
Let f(u) = -u - 3 + 4 - 4*u + u**2. Suppose -3*w + 5*z = -13, 14 = 3*w - 4*z - 0. Is f(w) even?
False
Is 23 a factor of (-78)/(((-45)/(-84))/(-5))?
False
Is 5 a factor of (165/(-22))/((-4)/56)?
True
Let q(t) = t**3 - 5*t**2 + 4*t. Let o be q(3). Let u = -6 - o. Suppose 0 = -3*l + b + 179, -3*l + u*l - 2*b + 191 = 0. Does 19 divide l?
False
Suppose 3*o + 4 = -3*b + 1, -2*o + b + 7 = 0. Suppose 2*a = -o*a + 336. Is 21 a factor of a?
True
Suppose -8*h - 1896 = -12*h + 4*k, -494 = -h + 5*k. Does 67 divide h?
True
Suppose w = 3*w. Let c(b) = -b - b**3 + 11 - 4*b**2 - 5 + w*b. Is c(-5) a multiple of 18?
True
Let f = 427 + -143. Suppose f = 9*u - 5*u. Is u a multiple of 11?
False
Let g(u) = -10*u + 4 + 6*u + 5*u. Let r be g(-15). Does 7 divide 49/3 + r/33?
False
Let t = -379 + 637. Suppose 372 = 5*s - 63. Is 1/(3 - t/s) a multiple of 8?
False
Suppose 0 = 2*u + 3*v - 5368, -14*v + 13*v = -4*u + 10722. Is u a multiple of 49?
False
Suppose -18*a - 1401 + 