6/(-14). Suppose s*v = -14 + 74. Is v a multiple of 4?
True
Let c(s) = 37*s - 9. Let m(k) = -6*k - 5*k + 2*k + 4 - 10*k. Let j(a) = -6*c(a) - 14*m(a). Is 28 a factor of j(2)?
False
Let y be 3 - 2 - 0/2. Let o(a) = 81*a + 9. Does 10 divide o(y)?
True
Suppose -5*b = -8*b - 12, -3*b = w + 2. Let u = -5 + w. Suppose -3*x - 144 = -5*g, -8 - 2 = -u*x. Is g a multiple of 6?
True
Suppose -11*h = -9*h - 10. Suppose -2*i - 12 = -5*v + 108, -v + h*i = -1. Is v a multiple of 10?
False
Suppose -2*y = -3*y + 2. Let q be 24/(-36) + 131/3. Suppose 17 = w - p, p + q - 6 = y*w. Is w a multiple of 6?
False
Let k = -133 - -93. Let c be (216/(-5))/(12/k). Suppose -2*l + c = 2*l. Is 12 a factor of l?
True
Is 80 + (1 + -4)*-2 a multiple of 3?
False
Let r(w) = -w**2 + 15*w + 19. Let j = -38 - -51. Does 7 divide r(j)?
False
Suppose -5*c = -2*b - 96 + 527, -c = -4*b + 853. Suppose 10*y - 237 = b. Is y a multiple of 27?
False
Let v be (-234)/14 + 30/(-105). Let h = 22 + v. Is 5 a factor of h?
True
Suppose -5*c = g - 87, 417 = 3*g + g - 3*c. Is 6 a factor of g?
True
Suppose 3*t - 19 = -d, -d + 9 + 6 = 2*t. Let k be 1/2*(-3 + d). Is 7 a factor of k/3 - (-95)/15?
True
Let j(z) = 6*z**2 + 9*z + 318. Is j(-16) a multiple of 68?
False
Let u be 1/((-30)/(-16) + -2). Let n = 26 + u. Is n a multiple of 4?
False
Is 31 a factor of (-8)/10 + 787974/330?
True
Let d(g) be the first derivative of -9*g**2/2 - 3. Suppose 4*h = 7*h + 9. Does 14 divide d(h)?
False
Let a = 71 - 67. Let c(z) = 3*z**3 - 5*z**2 - z - 7. Does 22 divide c(a)?
False
Let q(n) = -n**3 - 53*n**2 - 79*n - 498. Does 69 divide q(-52)?
False
Is 12*10/45*5*9 a multiple of 5?
True
Let t(l) = 3*l**3 + 5*l**2 - 4*l + 3. Suppose -3*m - 5*x - 1 = -3*x, -3*m + 24 = -3*x. Let b be t(m). Suppose 183 = 5*h - b. Does 15 divide h?
True
Suppose -l + 626 = 5*w, 0*l = 4*w + 2*l - 502. Let r = -232 + w. Let o = -7 - r. Is 25 a factor of o?
True
Suppose c = -c - 5*d + 214, -d - 304 = -3*c. Suppose 2*p = -2*v + 6*p - 64, 4*v = -5*p - c. Is (-12)/v + 876/14 a multiple of 21?
True
Let i be -3 + (-3)/((-6)/(-190)). Let c = -33 - i. Does 13 divide c?
True
Let r be (1 + 0)/((-1)/(-4)). Suppose -112 = r*m - 6*m. Is m a multiple of 28?
True
Let r(d) = -d**3 + 11*d**2 - 18*d + 3. Let w be r(9). Suppose 0 = -2*z - w*v + 58 + 42, -v = -5*z + 216. Does 22 divide z?
True
Let m be (-2299)/(-95) - (2/5)/2. Suppose 2*j - 148 = m. Is j a multiple of 14?
False
Suppose 3*j - 3*m = 714, -14*m = 4*j - 9*m - 916. Is j a multiple of 26?
True
Let f = -60 + 113. Is f a multiple of 30?
False
Let l(q) = q**2 - 8*q - 6. Let t be 94/10 + (-2)/5. Let v be l(t). Suppose -v*a + 2*g + 95 = -2*g, -3*g = 15. Does 8 divide a?
False
Suppose 5*a + 0*a = 30. Let s(w) be the first derivative of 5*w**2/2 - 10*w + 2. Does 9 divide s(a)?
False
Let s = 213 + -399. Let j = s + 464. Is j/7 - 4/(-14) a multiple of 32?
False
Let k = 8217 + -5467. Does 11 divide k?
True
Suppose -2*t - 52 = 4*l - 0*t, 4*l + t = -56. Let y = l - 11. Let p = y - -122. Does 24 divide p?
True
Suppose 0 = 2*w - 3*w + 438. Suppose 5*y + 647 = 3*v, 2*v - 3*y = 2*y + w. Let d = -134 + v. Is 15 a factor of d?
True
Suppose -3*i + 3692 = 6*j - 5*j, 0 = -j + 5. Does 89 divide i?
False
Suppose -5*m = -3*o + 566, -m - 906 = -5*o - 2*m. Does 14 divide o?
True
Let g = -9 + 15. Suppose 2*x - 3*b = g, 2*x + 0*x + 5*b - 38 = 0. Does 19 divide -116*(x/(-6) - -1)?
False
Let i be 132/36 + (-4)/6. Suppose 10*o - 78 = 7*o + i*j, o - 17 = 4*j. Does 5 divide o?
False
Is (96/(-5))/((-45)/7875) a multiple of 20?
True
Let t(y) be the second derivative of y**4/12 - 5*y**3/6 - 7*y**2/2 - 2*y + 9. Let k be (-1 - (-3 - 1))*-2. Is t(k) a multiple of 25?
False
Suppose -s = 2*s - 867. Let q = s + -205. Does 14 divide q?
True
Let o = 438 - -1497. Does 43 divide o?
True
Let u = 54 + 79. Does 32 divide u?
False
Let y = -133 - -212. Let m = y - 25. Is m a multiple of 27?
True
Suppose 9*q + 1494 = 7038. Is q a multiple of 56?
True
Suppose -2*p + 2*q = -4*p + 32, 0 = 3*q + 6. Is 18 a factor of p?
True
Suppose 2 = -0*f + f. Suppose -6*q = -f*q - 12. Suppose 0 = -q*s + 6 + 81. Is s a multiple of 7?
False
Let m(c) = c**2 - 3*c - 4. Let q be m(4). Suppose -3*b = 2*z - 93, -5*b + 91 = 2*z - q*b. Let u = z + -33. Does 9 divide u?
False
Let n(q) = 4*q**2 + 3*q - 5. Let l be n(5). Let z = -26 + l. Is 21 a factor of z?
True
Let v = 1326 - 1119. Is v even?
False
Let t be (-18)/(-9)*14*6. Let m = t - -79. Does 12 divide m?
False
Suppose 3*p - 5*f = 1972 + 2070, -4*p - 2*f = -5346. Does 75 divide p?
False
Let f(s) = s**2 + 2*s + 7. Is f(-6) a multiple of 4?
False
Let g be -1 + -48 - (2 + -5). Let j = g + 103. Is j a multiple of 14?
False
Suppose -3*l - 15 + 57 = 0. Suppose 0 = -18*h + l*h + 36. Does 4 divide h?
False
Does 12 divide (((-1335)/12)/(-5))/(37/4292)?
False
Let p = -976 - -1401. Is 25 a factor of p?
True
Let g(f) = -2*f + 30. Is g(-3) a multiple of 12?
True
Let f(m) = m**2 - 19*m - 6. Does 14 divide f(39)?
False
Suppose -2 = -2*c + 6. Suppose 0 = g + c*f - 15 - 142, f - 690 = -5*g. Does 14 divide g?
False
Suppose j = 2*j - 86. Suppose 9*d - j = 7*d. Does 42 divide d?
False
Let b = -24 + 27. Suppose -213 = -b*a - o - 60, 2*a - 95 = -3*o. Does 16 divide a?
False
Let y be (1/(-3))/((-3380)/(-1128) + -3). Suppose i - y = -2*h, -48 = -h - 3*i + 2*i. Is h a multiple of 22?
False
Let l be -6*4*(-2)/(-4) + 3. Let u = 22 + l. Is 4 a factor of u?
False
Let d be (-1 + 4)*16/12. Suppose 4*h + 0*h - 540 = d*u, -8 = 2*u. Let g = -71 + h. Is 9 a factor of g?
False
Let b = -185 - -337. Suppose u + 80 = 2*x, -3*x = 4*u - b + 10. Suppose 30 = 4*m - x. Is m a multiple of 6?
True
Suppose 0*o + 4*o - 16 = 0. Suppose 175 = -8*t + 1743. Suppose 6*k - k + t = o*w, 0 = -4*w + k + 212. Does 27 divide w?
True
Let f(k) = 5*k - 6. Let b be f(5). Let q = 35 - b. Is q a multiple of 16?
True
Let u(h) = -64*h - 1. Suppose -4 = -4*z - 4*o, 2*z + 5*o + 0 = 5. Let a = z - 1. Is u(a) a multiple of 12?
False
Suppose 14 = 4*p + 2. Suppose -p*n = -52 + 13. Is 2 a factor of n?
False
Is (-4)/12 - 14403/(-9) a multiple of 80?
True
Let v(h) = -h**3 + 6*h**2 + 2*h + 1. Let a be v(3). Suppose 4*f - 1 = -u, 3*f = 5*u - a + 6. Let y = 25 + u. Does 10 divide y?
True
Suppose 0 = 2*f - 13 + 7. Suppose 4*n = -n + f*r + 211, r = 4*n - 173. Is n a multiple of 26?
False
Let t be ((-21)/(-6))/(-7)*-8. Suppose -16 = 2*s - 4*z, 0 = -7*s + t*s - 2*z + 8. Suppose -480 = -5*v + 2*c + 2*c, s = -2*v + 5*c + 175. Is 16 a factor of v?
False
Suppose 6500 = 11*m + 14*m. Is m a multiple of 52?
True
Let k be -2 - -1 - (-50 - 6). Let r = -27 + k. Does 5 divide r?
False
Let z(u) = -5*u - 4. Let a(r) = 20*r + 16. Let l(f) = 4*a(f) + 18*z(f). Let v be l(-12). Suppose -4*c + 34 = -2*o - v, -5*c + 5*o + 195 = 0. Is 8 a factor of c?
False
Suppose -219390 = -47*y - 95*y. Is 33 a factor of y?
False
Suppose 19*d + 108 = 23*d. Let g = 107 - d. Does 6 divide g?
False
Let n(g) = g**2 + 6*g + 18. Suppose -i - 2*i = 2*o + 21, 4*i = -2*o - 20. Is n(o) a multiple of 16?
False
Suppose -3*d = 4*c + 41 + 8, -4 = -4*d. Let t be (-1 - 0) + c/1. Let m = t + 42. Is 14 a factor of m?
True
Let h be (9/9 + -2)*(-12 + 0). Suppose -h*f = -3*f - 2592. Is f a multiple of 36?
True
Let k(r) = r - r + 4*r - 45. Is 3 a factor of k(19)?
False
Let m(z) = -7*z**3 + 3*z**2 + 2*z - 5. Suppose 0 = -w - w - 4. Is m(w) a multiple of 4?
False
Let m(n) = n**2 - n - 1. Let t be m(-2). Suppose 4*l - 596 = t*w, 2*l + 0*w - 298 = -3*w. Is l a multiple of 14?
False
Let s = 82 + -78. Does 13 divide 1 - (8/(-4) + s) - -148?
False
Let l be (-4)/4 - (-140)/2. Suppose -2*p = -3*p + l. Suppose 2*v = -o + 12, p = 4*o - 0*v + v. Does 6 divide o?
True
Let g be -108 + (3 - 2)*3. Let l = g - -147. Suppose 0 = 2*p - l - 54. Is p a multiple of 12?
True
Suppose 3*h - o - 20 = 192, 0 = -h + 2*o + 64. Is 8 a factor of h?
True
Does 3 divide (-2904)/(-165) + (0 - 3/5)?
False
Let k(s) = s**2 - 7*s + 13. Let d be k(5). Suppose -d*q + 64 + 26 = 0. Is q a multiple of 10?
True
Is 3 - ((-8)/32 - (-1214)/(-8)) a multiple of 7?
False
Suppose 0 = -z + 7*z + 918. Let d = -46 - z. Is 17 a factor of d?
False
Suppose -18 = 5*u + u. Does 5 divide u/1 + 200/25?
True
Suppose 0 = 10*q + 110 - 430. Is 14 a factor of q?
False
Let g = 28 - 34. Does 13 divide (g/3)/(1/(-39))?
True
Let l(g) = 2