) a multiple of 14?
True
Let l be (-2 + (-15)/(-9))/((-3)/108). Suppose -3*d = -l, 4*a + 2*d + 0*d + 1816 = 0. Let t = -318 - a. Does 10 divide t?
False
Let n(u) = -41*u + 7. Let z be n(0). Suppose 204 = z*p - 4668. Is 87 a factor of p?
True
Let b be (-130 + 4)/(-3) + 0. Let v be 4/(-3) + 140/b. Suppose -4*o - o + 3*y + 838 = 0, 5*o - 837 = v*y. Is 28 a factor of o?
False
Let v be (-5 - (-57)/12) + (-962)/(-8). Let k(a) = 5*a - 22. Let w be k(5). Suppose -5*i + 59 = r, -w*r + 5*i - i = -v. Is 7 a factor of r?
False
Let t = 330 + 14. Let p = -363 + 735. Suppose 4*g - 573 = l, -l - p = -5*g + t. Is g a multiple of 13?
True
Let r(v) = -v**3 - 19*v**2 - 3*v - 72. Let y(l) = -2*l**3 - 16*l**2 - 3*l - 72. Let c(h) = 3*r(h) - 2*y(h). Does 14 divide c(26)?
False
Let a = -5 - -6. Suppose -4*k = -8, 4*y - 6*k = -2*k - 444. Let l = a - y. Is 22 a factor of l?
True
Suppose -9*w = -4*w - 210. Let c(s) = -w*s**2 + 15*s**2 + 8*s + 19*s**2 + 15*s**2 - 1. Does 8 divide c(-4)?
False
Suppose -13 = 6*w - 19. Does 4 divide -2 + (-414)/(-3) + (-3 - w)?
True
Is -6 + (19 - 2) + 19 + 14964 a multiple of 49?
True
Suppose 38*n + 2*s + 5040 = 39*n, -5*n + 4*s = -25248. Does 64 divide n?
True
Let s = 22 - 13. Let r = 5 + s. Does 13 divide (r/3 - 52/(-13))*18?
True
Suppose -2*d = 3*l - 35407 - 5343, 2*l + 12 = 0. Is 140 a factor of d?
False
Suppose 10*j - 9*j + 7 = 0. Let m = j - -37. Suppose 3*n = -2*c + 12 + m, 3*n - 2*c = 42. Is 5 a factor of n?
False
Suppose -101*s + 116*s - 265320 = 0. Is s a multiple of 33?
True
Let t = 1604 - 2248. Is 46 a factor of 1/((-10)/t*(-6)/(-15))?
False
Suppose 20*l - 17*l - 2*p - 12310 = 0, 0 = 3*l - 5*p - 12307. Does 76 divide l?
True
Suppose -4*t + 2285 = y, 1138 = 2*y - 4*t - 3492. Does 12 divide y?
False
Suppose -111*l = 115*l + 60*l - 6183606. Is l a multiple of 81?
False
Is 43964280/2716 - 2/14 a multiple of 24?
False
Let o = -19847 + 29095. Is o a multiple of 32?
True
Let f = -208 - 12. Let d be ((-6)/4)/(66/f). Suppose 21 = -d*c + 261. Does 3 divide c?
True
Suppose 15*h - 179 = 1. Is 16 a factor of (h + -13)*16/(-1)?
True
Let t(q) = 38*q + 10 - 4*q**2 - 191*q**3 - q**2 + 375*q**3 - 185*q**3. Does 13 divide t(-10)?
True
Let n = 182 + -407. Let y = -205 - n. Is y a multiple of 2?
True
Suppose -5*l + 14*k + 53111 = 17*k, -4*k = -28. Does 42 divide l?
False
Suppose 151 = 2*d + 5*n, -5*d - 3*n + 73 = -333. Let r = d + -77. Suppose h - r*c + 4*c - 13 = 0, -5*h = -3*c - 79. Does 2 divide h?
False
Let g be (0 + 6 - 2) + -4. Suppose g = -w + 6*w - 480. Is w a multiple of 12?
True
Suppose 2*m - 4*m - 56 = 0. Let c be 0 - 65 - 77/(-88)*8. Let j = m - c. Is j a multiple of 15?
True
Suppose 14*v = 21*v - 35. Suppose -107 = -3*t - 2*q, 2*q - v*q - 172 = -5*t. Suppose t*s + 224 = 39*s. Is 14 a factor of s?
True
Let d = -4912 - -13182. Is 7 a factor of d?
False
Let i = 409 - 174. Let q = 739 - i. Does 28 divide q?
True
Let b = -64 - -66. Let x be (-3 + b + -3)*-2. Suppose 7*h = x*h - 44. Is 6 a factor of h?
False
Suppose 4*j - 30 = -j. Suppose 2*n - 3*k = -j, 4*k - 9 - 7 = 0. Suppose n*s - 10*s = -588. Is s a multiple of 28?
True
Let h = 7100 + -6176. Does 7 divide h?
True
Suppose -4*x - l + 27810 = 0, 5*x + 12*l - 7262 = 27522. Is x a multiple of 37?
False
Let w(i) = 49*i - 136. Let g be w(13). Suppose 5*l + 8*s - 845 = 13*s, -g = -3*l - 3*s. Does 8 divide l?
True
Let c = -32023 - -63769. Is 111 a factor of c?
True
Does 210 divide (126/(-10))/(858/(-57200))?
True
Suppose 4*u + 6035 = q, 3031 = -u - u + 5*q. Let s = -732 - u. Is s a multiple of 14?
False
Let h(r) = 96*r**2 - 3*r + 1. Let c be (-150)/(-60) - (-18)/(-4). Does 17 divide h(c)?
True
Let a be 4/4*4 + 1/1. Let q(x) = 48*x**2 - 30*x + 171. Is 76 a factor of q(a)?
False
Let k = -145 - -257. Suppose 88 = 3*d - 32. Does 21 divide (30/d)/(1/k)?
True
Suppose 108*x + 10 = 110*x. Suppose x*q + 1251 = -334. Let c = q - -469. Is c a multiple of 16?
False
Suppose -5*c - 5*i + 2202 = -3323, -4*c + 4417 = i. Is 7 a factor of c?
False
Let c = 8624 + -5552. Is c a multiple of 95?
False
Let d(g) = -g**3 - 13*g**2 + 39*g - 34. Suppose -7*s + 5*j = -2*s + 100, -20 = -5*j. Does 11 divide d(s)?
True
Suppose 402 = -2*n + h, -5*n + 4*h = -0*n + 1005. Let j = 310 + n. Does 8 divide j/((-1)/2*-2)?
False
Suppose 5*j - 25 = -b, b - 3 = -j + 2. Suppose b = 3*s + i - 25, -s = s + 4*i - 10. Is (-4190)/(-25) + s/(-15) a multiple of 25?
False
Let f = 3708 - -5066. Is f a multiple of 73?
False
Let k(j) = 12*j**3 - 4*j**2 - 11*j - 12. Let b be k(-2). Let f = b + 119. Is f a multiple of 17?
True
Let b = 2169 - 1885. Is b a multiple of 2?
True
Suppose 21 = 2*q + 17. Suppose -s = q*s - 846. Suppose -5*a - s = -3*h, 2*a - 501 = -7*h + 2*h. Is 22 a factor of h?
False
Let w = 33 + -33. Suppose -3*c + 13 + 5 = w. Suppose 2*l - c*l = -60. Does 3 divide l?
True
Let x(m) = -37*m + 34. Let u be x(-17). Let j = u + -239. Is 8 a factor of j?
True
Let x = 3447 - 3285. Is x a multiple of 2?
True
Let d(s) = -s**3 + 16*s**2 - 32*s + 10. Is 14 a factor of d(12)?
False
Is 3 a factor of (-2352)/(-1) - (7 + 15/(-3))?
False
Suppose -2*o = 2*f + 8, 5*f = 4*o + 23 - 7. Suppose 2*a + x - 8 = -f, -26 = -5*a - 4*x. Suppose a*m = s + 81 + 26, -4*m + s + 215 = 0. Is m a multiple of 18?
True
Let g(o) = -2*o. Let y be g(0). Let z = y - -41. Let s = z - 26. Is s a multiple of 15?
True
Suppose -4 = r - 3*c, 2*r + 0*r - c + 3 = 0. Let q be (-560)/(-30)*(31/(-4) - r). Is (0 + 2)/2 - (q + 9) a multiple of 18?
False
Is 16 a factor of (60/135 - (-192)/(-189))/(6/(-43323))?
False
Let n be (-2 + 395)/((-12)/8). Let h = 116 - n. Does 14 divide h?
True
Let u = 46061 - 23678. Is u a multiple of 66?
False
Let z(x) = -x**2 - 51*x - 41. Let c be z(-39). Let p = c - -41. Is 36 a factor of p?
True
Suppose 10 = -2*l + 14. Suppose -5*t + 2*t = -r - 634, 2*r + l = 0. Does 22 divide t?
False
Let j(c) = 2*c**2 + 5*c - 2. Let x be j(-4). Suppose -x*w + 5*w = 0. Suppose 5*a - 666 = -4*n, 4*a - 3*n = -w*n + 539. Does 14 divide a?
False
Suppose -50 = j + 3*f, -f + 117 = -2*j + 3. Let s = 41 - j. Is 7 a factor of s?
False
Suppose -4*z - 39*z - 95*z = -498732. Is 27 a factor of z?
False
Suppose 133*d - 55*d - 967944 = -46*d. Is d a multiple of 9?
False
Let a(c) = -c**3 - 7*c**2 + 10*c + 19. Let h be a(-8). Suppose 0 = -h*j - j + 1764. Suppose 3*o - j = -4*g, 0 = -3*o - 2 - 13. Is 17 a factor of g?
False
Suppose -27*x + 503695 = 432945 - 1725938. Is x a multiple of 16?
True
Is 8 a factor of -4 + (132/110 + 93/(-15) - -19659)?
False
Suppose 13 = 2*x + 7. Suppose -x*t = 5*o - 26, 3*o + 14 = 6*o + t. Suppose 3*s = o*s - 34. Is 10 a factor of s?
False
Suppose 5*d - 133 - 2 = 0. Let u = -3 + d. Is u even?
True
Suppose 0 = -10*m - 3 + 43. Suppose 5*x + m*n - 464 = 0, 5*n - 10*n - 87 = -x. Does 9 divide x?
False
Let m = -115 + 120. Does 32 divide 30/(m - 231/48)?
True
Suppose 0 = -8*p - 4717 + 29917. Suppose 210*i + p = 217*i. Is 18 a factor of i?
True
Suppose f - 2980 - 2818 = -2*d, 3*f + 2892 = d. Does 126 divide d?
True
Let f be 2 - 7 - (-14 - -12). Does 4 divide f/(-21)*-2 + (-2280)/(-42)?
False
Let r(l) = -408*l**3 - l**2 + 7*l + 18. Is 4 a factor of r(-2)?
True
Let c(z) = 2*z + 14*z - 34*z - 19*z - 87 - 32*z. Is c(-18) a multiple of 59?
False
Let w(s) = 19*s**3 - 11*s**2 + 52*s - 14. Does 7 divide w(4)?
False
Suppose -16929 = -29*u + 2*u. Suppose 0 = -0*j + 4*j - 196. Suppose -u = -52*o + j*o. Does 19 divide o?
True
Suppose -4*w = 3*q - 1574, 2612 = -q + 6*q + w. Suppose 122 = -5*p + q. Is 2 a factor of p?
True
Let s(z) be the third derivative of z**5/10 - 2*z**4/3 + 177*z**2. Let q(d) = d**3 - 4*d**2 + 2*d. Let f be q(3). Does 17 divide s(f)?
True
Let c = 196 + -256. Is 6/c + 31204/40 a multiple of 19?
False
Let g(s) be the second derivative of s**3/6 - 3*s**2/2 - 2*s + 11. Does 3 divide g(6)?
True
Let t = -59 + 77. Let k be (3 - 7 - 2)*(-12)/t. Suppose 2*h + 353 = k*i - 207, h - 140 = -i. Is 35 a factor of i?
True
Is 14 + -6 + 5523 + 3 + 4 a multiple of 71?
True
Suppose -71185 - 156700 = -85*a. Does 23 divide a?
False
Let o = 45010 - 21540. Is 18 a factor of o?
False
Suppose -63*g - 55*g + 1888 = 0. Is g a multiple of 3?
False
Suppose 87 = 34*v - 5*v. Let b be 65*(8/10 + 2). Suppose -v*x - 74 + b = 0. Is 9 a factor of x?
True
Let g(l) = 8*l + 1. Suppose -15 = -5*p, -3*p + 