e t(-4). Is 14/b - 274/(-6) a multiple of 3?
False
Suppose -3*v = 3*p - 14994, 2*p + 2761 = 4*v + 12811. Is p a multiple of 19?
False
Let r be (538/6)/(26/78). Let g = r + -59. Does 35 divide g?
True
Does 4 divide ((-10833)/253)/(1/(-11))?
False
Suppose 4*y + 5*l - 9887 = 0, 56*y + 12395 = 61*y - l. Is y a multiple of 7?
True
Let u(k) = -132*k - 19. Let b be u(-6). Suppose -4*i + 669 = -2*n + 51, -2*n - b = -5*i. Let j = i + -76. Is j a multiple of 14?
False
Does 34 divide 36 + 843 - 15/(-3)?
True
Suppose 8*s + 4*u + 18 = 10*s, -4*s + 24 = -4*u. Suppose 4*p = -p + s*x + 2895, -2*p + 1132 = 4*x. Is p a multiple of 16?
True
Suppose -3*d - 6 = -3, -5*d = 3*h - 121. Does 55 divide -14*h/24*-14?
False
Suppose -36 = 2*v + d + d, 0 = 4*v - d + 57. Let i = v - -15. Does 8 divide 1 + i - 5 - -12?
True
Let y be 0*(0 + (-4)/8). Suppose y = -2*v + 5*f + 35, 4 - 14 = 3*v + 5*f. Is 6295/25 - 4/v a multiple of 25?
False
Let g(u) = -12*u + 100. Let a be g(8). Suppose r - 280 = -4*t, -a*r + 4*t = 3*t - 1137. Is 28 a factor of r?
False
Let f(k) = 39*k**3 - k**2 + k + 2. Let q be f(-1). Let h = q - -42. Suppose h*o - 194 = -2*n - 30, 0 = n - o - 87. Is 29 a factor of n?
False
Let w(h) = -h**2 + 9*h + 26. Let m be w(11). Suppose -2*y = z - 3*z - 374, 3*y - 2*z = 566. Suppose -3*x + 108 = -2*l, -y + 52 = -4*x + m*l. Does 8 divide x?
False
Suppose 281*b + 609*b = 292*b + 16167528. Does 35 divide b?
False
Let k = -3990 + 3989. Suppose 3*b = 4 + 17. Is 4 a factor of 3/k + b - -20?
True
Suppose -5*n - 186 + 3031 = 0. Let v = 337 - n. Let k = v + 340. Is k a multiple of 12?
True
Let n = 395 + -413. Does 34 divide (n/(-8))/(33/11968)?
True
Let c be 8/10 - (-5 - 96/(-20)). Is 38 a factor of (35/(-2))/(c/(-6))?
False
Let u(q) = 6*q**2 - 4*q - 5. Let m be u(-1). Suppose 3*r = 2*r - 2*t + 56, -3*t + 287 = m*r. Suppose 5*g - 2*k = k + 145, -2*g + r = -3*k. Is 11 a factor of g?
False
Suppose 17 = -3*t + 8. Let r(d) = -27*d - 31. Is r(t) a multiple of 7?
False
Suppose -63*x + 1747 = -42*x - 5708. Is x a multiple of 2?
False
Let u(q) = 16*q - 12. Let s be u(3). Is (0 - s/(-2))*6 a multiple of 9?
True
Let a be (-3)/6 - (1 + 15/(-2)). Suppose 2*c - 3*m - 1 = -a*m, 5*c - m = 11. Suppose c*q + q = 210. Is 35 a factor of q?
True
Suppose 0*k = -10*k + 84031 + 25619. Is k a multiple of 4?
False
Suppose 15*b - 37 = 23. Suppose 172 + 12 = -b*d. Is 8 a factor of d/(-4) - (5/(-2))/5?
False
Let i = 381 + 2499. Is 4 a factor of i?
True
Let l = 5 - -3. Let c(i) be the third derivative of 3*i**4/8 - i**3/3 - 35*i**2 + i. Is c(l) a multiple of 5?
True
Suppose 0 = 837*f - 661*f - 2852080. Is f a multiple of 40?
False
Suppose -2*r = h + 3*r - 7795, h + 3*r = 7789. Is 25 a factor of h?
False
Let d be 6/2 - 0/23. Suppose -52*w - d = -49*w. Is 166 - w - (-1 - -5 - 5) a multiple of 14?
True
Suppose -5*x - 112 = -19*x. Is 82 a factor of ((-4)/x + 8)/((-3)/(-164))?
True
Let n(p) = p**2 - 20*p + 5. Let h be n(20). Suppose b - 84 = -2*b - 4*u, h*b - u = 140. Suppose 0 = 3*x - 337 + b. Does 7 divide x?
False
Let s = -8 - -1. Let l(y) = 13*y**2 + 22*y. Let q(g) = -4*g**2 - 7*g. Let i(c) = -4*l(c) - 14*q(c). Is i(s) a multiple of 17?
False
Suppose 4*s + 3*j - 9173 = 0, -10*j - 4583 = -2*s - 15*j. Does 13 divide ((-18)/(-6))/(6/s)?
False
Let b be (2 - 1)*7/1. Let z(w) = 65*w - 7. Does 16 divide z(b)?
True
Suppose 985*d - 997*d = -70320. Is d a multiple of 16?
False
Suppose 0 = p + 7*m - 9*m - 2156, 2*p + 3*m - 4312 = 0. Is p a multiple of 77?
True
Let v be (1 + 2)/(-13 + 14). Suppose -3*b + v = 3*n, -2 = -3*b + 4*b - 2*n. Suppose b*y - 5*y = -775. Does 38 divide y?
False
Let n(k) = -8*k**3 - 8*k**2 - 13*k + 2. Let r be n(-2). Let h = r + 3. Does 4 divide h?
False
Let p = 213 - 227. Let v(s) = -s**2 + 11*s - 2. Let z be v(6). Let i = p + z. Is 4 a factor of i?
False
Suppose 0 = u + 2*u - 0*u. Let m(d) = -5*d + 74. Is 10 a factor of m(u)?
False
Let t(c) = 2*c**2 + 12*c + 7. Let r be t(-6). Let p(a) = a**2 - 8*a + 8. Let l be p(r). Is 30 + -1 + (l + 3)/4 a multiple of 6?
True
Let s = 97 + -82. Let u be 18/5*25/s. Suppose 0 = 2*y + 4*h - 276, y - 2*h = -u*h + 148. Is y a multiple of 24?
False
Let d = 282 - -845. Does 4 divide d?
False
Suppose 123 = s + 128. Does 2 divide (-3)/(-3 - (-7 - s))?
False
Suppose -35*p - 8302 = -53102. Does 20 divide p?
True
Let g = 107 + -209. Let n = -48 - g. Is 3 a factor of n?
True
Suppose b + 189 = 5*c + 33, c - 3*b - 34 = 0. Let v = 47 - c. Is 19 a factor of (-1)/(-4) - (-908)/v?
True
Suppose -4*z - c = -7839, -4*z - 2*c + 2067 = -5771. Suppose 3*r - z = -r. Does 14 divide r?
True
Let q(i) = -6*i + 60 + 22*i + 13*i - 8*i + 122. Is q(16) a multiple of 27?
False
Let i be ((-4)/2)/((-2)/(-17)). Let x be (1/((-5)/(-3)))/((-204)/(-18700)). Let t = x + i. Does 18 divide t?
False
Let t = -4943 + 5521. Does 17 divide t?
True
Suppose t + 3*k = 282, -1096 = -t - 3*t - 4*k. Let d be ((-12)/(-10))/(6/20). Suppose 2*y = -d*y + t. Is y a multiple of 15?
True
Let o be (-6 - -5 - 1)/(-1). Suppose -3*w + 1497 = 3*h, -2*w - 1003 = -o*h - 5*w. Is h a multiple of 13?
True
Suppose 4*z = -10*h + 11*h + 164084, 41031 = z + h. Is z a multiple of 29?
False
Let z = -61 + 40. Is 33 a factor of z/(-3) + -3 - (-2457)/9?
False
Suppose 0 = -60*w + 586016 - 196796. Is 13 a factor of w?
True
Let j = 615 + -423. Does 32 divide j?
True
Let z(i) be the third derivative of -1/12*i**4 + 0*i + 29/20*i**5 - 1/3*i**3 + 15*i**2 + 0. Does 19 divide z(-1)?
False
Let g(k) = k**3 - 21*k**2 + 35*k - 22. Let w be g(20). Suppose 269*y = w*y - 3744. Is 8 a factor of y?
True
Let q = -97 - -239. Suppose -q = -x - 140. Let o(f) = 21*f - 3. Is 13 a factor of o(x)?
True
Let c = 7224 - 602. Is c a multiple of 7?
True
Let u be 10/(-6) - 493/(-87). Suppose 7*v - 3*s - 3705 = u*v, -1220 = -v + 4*s. Is 40 a factor of v?
True
Let l(u) = u**3 - u**2 + 2*u + 6. Let t be l(0). Let j(p) = 33*p - 53. Let s be j(t). Let o = s - 55. Does 15 divide o?
True
Suppose 3*c = -4*w + 754, -c + 305 - 47 = 3*w. Suppose c = 34*p - 774. Is 5 a factor of p?
True
Suppose 5*p + 2*q - 33501 = -7925, -3*q = -4*p + 20447. Does 30 divide p?
False
Let g = 4881 - 1691. Is g a multiple of 22?
True
Let k(l) = -3*l + 38. Let z be k(-6). Is (-2)/(-16) - (-6713)/z a multiple of 12?
True
Let s(o) be the third derivative of -5*o**4/8 - 16*o**3/3 - 19*o**2 - 1. Does 2 divide s(-5)?
False
Suppose 15*w = 17*w - i - 466, 0 = 4*i + 16. Is (6 - 1) + w + -14 a multiple of 37?
True
Let r(c) = 64*c**3 + 30*c**2 - 252*c - 32. Does 192 divide r(8)?
True
Suppose -g + 34384 = -3*o, 9*g = 6*g + 4*o + 103112. Is g a multiple of 20?
True
Let l = 20 - 18. Suppose -4*m - 906 = -l. Let c = m + 423. Is 21 a factor of c?
False
Suppose -66*q = 218*q - 767936. Is q a multiple of 8?
True
Let x(w) = w**2 + w - 18. Let o be x(8). Let l be ((-3)/9)/(6/o). Does 11 divide l + (0/1 - -3) + 55?
True
Let g(p) = 5*p + 47. Let q be g(-7). Does 20 divide -2 + 18/q*88/6?
True
Suppose -8*z + 931 = -1229. Let i = z - 234. Does 9 divide i?
True
Let r be 12/((-12)/(-4)) - 0. Suppose -h = -r*u + 1526, 3 + 1 = 2*h. Suppose -5*f - 4*l = -u, 6*f = 3*f + 2*l + 216. Is f a multiple of 8?
False
Let l(p) = 116*p**2 - 85*p - 3. Is l(-11) a multiple of 204?
False
Suppose 0 = -c + 8*m + 2562, 2*c - 3*m - 5786 = -675. Is c a multiple of 22?
False
Is -7 + 631 + 6 + 18 a multiple of 27?
True
Let b be 5 + 69*(-3)/(-9). Suppose -b*a + 8*a = -900. Does 9 divide a?
True
Is (-834792)/(-2268) - (25/(-27) + 1) a multiple of 4?
True
Let b(c) = 5*c**2 - 2*c - 7. Let w be 2/(4/12*6). Let j(q) = q**2 + 1. Let r(f) = w*b(f) + 6*j(f). Is r(2) a multiple of 3?
True
Let f(d) = 13*d + 4. Let w = -53 - -41. Let l = 19 + w. Is 19 a factor of f(l)?
True
Let t(v) be the third derivative of v**5/60 + 3*v**4/2 + v**3 + 28*v**2. Let h be t(-15). Does 7 divide 2*h/(-18)*3?
False
Suppose 3*l = 7*l + 3*j + 24, 3*j = -5*l - 30. Let y(x) = -2*x**3 - 11*x**2 + 5*x + 18. Is y(l) a multiple of 8?
True
Let c(f) = -3*f + 26. Let b(m) = 3*m - 25. Let s(u) = 7*b(u) + 6*c(u). Is 26 a factor of s(15)?
True
Let n(j) = -6*j - 38. Let v be n(-12). Suppose 0*r - 2*r = -v. Let l(x) = x**2 - 14*x + 9. Is 14 a factor of l(r)?
False
Let n be (-2 - 0) + -6 + 9. Let p(r) = 25*r**2 - r + 2. Let y be p(n). Does 11 divide 3/(234/10284) + 4/y?
True
Let c(o) = -8*o**2 + 2