*r + 528. Does 30 divide w?
False
Suppose 401*a - 20999 = 378*a. Is 11 a factor of a?
True
Suppose 5952 = 11*p + 5*p. Does 62 divide p?
True
Let q = 61 + -65. Is q/16 + (-777)/(-4) a multiple of 48?
False
Suppose -3*m + 198 + 312 = 0. Is m a multiple of 34?
True
Let d(v) = -4*v - 18. Let r(w) = 4*w + 20. Let x(k) = 4*d(k) + 5*r(k). Does 19 divide x(15)?
False
Suppose -3*n = -4*t - 178, 4*n - 2*n = 2*t + 90. Let q = 93 - 32. Let z = q + t. Is z a multiple of 6?
True
Let m(f) = -f**2 + 27*f - 27. Let v be m(26). Is (v - -93) + (-7 - -5) a multiple of 9?
True
Suppose -21*m - 1624 = -25*m. Is 14 a factor of m?
True
Let j(q) = -16*q - 2. Let b be j(-6). Let v = b - 43. Suppose 0 = 2*a - 59 - v. Does 19 divide a?
False
Let x be (-5)/(-2)*(-4)/5. Let v = x + -2. Is 15 a factor of -3 + (-120)/v + 3?
True
Let w(p) = -p**3 - p**2 - p + 7. Let m be w(2). Let h(b) = -5*b + 9. Does 8 divide h(m)?
False
Let k(q) = -q**3 - 13*q**2 + 39*q - 14. Let t(g) = 2*g**3 + 4*g + 8. Let a be t(-2). Is k(a) a multiple of 21?
False
Suppose -3*l + 324 = 4*b, 0 = -5*l - 2*b + 150 + 390. Does 5 divide l?
False
Suppose 6*h - 12*h = -474. Is 20 a factor of h?
False
Is 201 - -8 - 4/(-1) a multiple of 4?
False
Suppose -5*j + 317 = 2*u, -5*u = -4*j + 350 - 70. Is j a multiple of 12?
False
Suppose -2*o = -38 - 32. Suppose -10*k = -17*k + o. Does 2 divide k?
False
Let k = 137 - 47. Let i = 46 - k. Does 15 divide ((-99)/i)/((-3)/(-20))?
True
Let w be (1 - (-9)/(-2))*-2. Let k(n) = -5*n**3 - 14*n**2 + 4*n. Let i(v) = -v**3 - v**2 - 1. Let l(q) = 6*i(q) - k(q). Is l(w) a multiple of 8?
False
Let c = -202 + 233. Does 2 divide c?
False
Suppose 3*z + 15 = -3*b - 0*b, 3*z = -4*b - 17. Let a be -2 - ((-2 - 0) + b). Suppose -3*x = a*l - 88, 0 = 2*x + 4*l - 8*l - 32. Does 13 divide x?
True
Let j(y) be the second derivative of 2*y + 0 - 7/6*y**3 + 1/2*y**2. Is 5 a factor of j(-1)?
False
Suppose -21*a + 27814 + 5135 = 0. Is a a multiple of 6?
False
Suppose 3*s = -h + 7307, -38*s + 3*h - 7305 = -41*s. Is s a multiple of 14?
True
Suppose 9*k - 7*k - 32 = 0. Let i = k + -12. Let b = i + 7. Is 11 a factor of b?
True
Let n = 18 + 6. Let l = n + -3. Suppose -16*s - 240 = -l*s. Does 11 divide s?
False
Suppose -8272 = -3*g - 13*g. Is 47 a factor of g?
True
Let n(x) = 2*x - 12. Suppose 0 = -3*q + 4*g + 19 + 17, 0 = -4*q - g + 29. Let v be n(q). Suppose 3*f = -4*w + 74, -v*f - 17 = -5*w + 60. Does 17 divide w?
True
Suppose 3*h - 6 = -0. Suppose -h*f = -0*f. Suppose -42 = -f*l - l. Does 21 divide l?
True
Suppose 5*k = 2*l + 88, 4*l + 12 + 192 = 3*k. Let m be l*(1/3 + -1). Suppose -84 - m = -2*z. Does 15 divide z?
True
Suppose 2*q + 8 = -i, 5*q = 2*i - 6 - 23. Suppose 0 = -6*z + 3*z. Suppose 4*f = i*t - 22, 14 = -2*t - 5*f - z. Does 2 divide t?
False
Let f = -860 + 610. Is 52/182 + f/(-7) a multiple of 36?
True
Suppose -985 = -12*k + 7*k. Is k a multiple of 14?
False
Let s(k) = k**3 + 17*k**2 + k + 19. Let j be s(-17). Suppose i = -6*q + j*q + 574, -4*q + 580 = -2*i. Is q a multiple of 12?
True
Let m = 36 - 28. Suppose 5*x = m*x - 126. Suppose 5*p - 5*n - 470 = 0, -4*p + 2*n + 416 = x. Does 26 divide p?
False
Let a = 1 - 0. Suppose -r + 2*r = l - a, 2*r = 10. Does 2 divide l?
True
Suppose a - 4*n = 94, -2*a + 3*n = -2*n - 182. Let o = a + -1. Does 17 divide o?
True
Let n = 238 + -139. Suppose 15*s = n + 651. Does 11 divide s?
False
Let f(k) = -3*k + 168. Let t be f(0). Suppose 4*s = -3*s + t. Does 12 divide s?
True
Is 256 - (-6 - 18)/6 a multiple of 20?
True
Let a(b) = -b**2 - 5*b - 1. Let d be a(-4). Does 13 divide d - (-2)/(6/69)?
True
Is -285*((-213)/9 + 11) a multiple of 20?
False
Let o(k) = -127*k**3 - 2*k**2 + 4*k + 8. Let f be o(-2). Suppose -b - f = -5*b. Is b a multiple of 18?
True
Let x = -960 - -1268. Does 44 divide x?
True
Let p(j) = 240*j - 16. Let o be p(-6). Does 13 divide 1*-3*o/42?
True
Let o = 329 + -327. Let l(r) = r**3 - r**2 + 5*r + 3*r**2 - 5 - 4*r**2. Is l(o) a multiple of 2?
False
Suppose 11767 = 15*j + 217. Does 55 divide j?
True
Let y = 171 + 206. Suppose -4*j - 4*h = -368, 3*h = -4*j + 2*h + y. Is 14 a factor of j?
False
Is 28 a factor of (-916)/(-6) - 3/((-9)/(-2))?
False
Suppose -2*m + 13 = 3. Suppose 2*f + 90 = 5*z, -90 = -m*z + z - 2*f. Is 5 a factor of z?
True
Let u = -53 + 33. Suppose 1520 = -2*w + 42*w. Let g = u + w. Does 6 divide g?
True
Suppose 246 = 18*x - 17*x. Let w = x - 134. Does 23 divide w?
False
Let q(j) = j**2 - 7*j + 13. Does 39 divide q(-13)?
True
Let l(b) = -b**3 + 20*b**2 + 66. Does 6 divide l(20)?
True
Let h(j) = -9*j + 14 - 3*j**3 + 9*j**2 + 6*j**3 - 2*j**3. Let y be h(-10). Is (-4016)/(-56) + y/14 a multiple of 24?
True
Let k = 30 - 28. Suppose -4*d + 9*d = -s + 80, -s + 68 = k*d. Is 15 a factor of s?
True
Suppose -2*x = 2*s - 16 - 12, -s + 2*x = -23. Let c = -11 + s. Suppose c*w - 180 = 2*w. Is w a multiple of 15?
True
Let c = -25 - -27. Suppose 6*j + c*l = 2*j + 74, 2*l - 6 = 0. Is 3 a factor of j?
False
Let q(u) = 4*u**2 - 68*u - 39. Is 75 a factor of q(-13)?
False
Suppose 149*a + 1974 = 155*a. Is a a multiple of 19?
False
Let g(z) = -z**3 + 18*z**2 + 21*z - 2. Let n be ((-3)/(-9)*(0 - 57))/(-1). Is g(n) a multiple of 12?
True
Is (-2 - (-2)/5)/(5/(-2775)) a multiple of 8?
True
Let y be 150/8 + 1 + 2/8. Is -25*(2 - 56/y) a multiple of 10?
True
Let l(c) be the second derivative of c**5/20 + 11*c**4/12 + 5*c**3/2 - c**2 + 2*c. Does 10 divide l(-8)?
True
Let k = 149 + -29. Let s = k + 330. Does 13 divide (4/(-6))/((-12)/s)?
False
Suppose 2*q - 22 = -3*b, -15 - 12 = -3*b - 3*q. Suppose -b*z - 118 = -6*z. Is 10 a factor of z?
False
Suppose 0 = 8*i - 3*i - 15. Is (-1 - 8/(-6))*(24 - i) a multiple of 2?
False
Let m be 5*(6/(-3) - -3). Suppose -m*k + 6 = -9. Suppose -1 = -s + k. Does 2 divide s?
True
Does 12 divide 2541 + (23 + -10 - 10)?
True
Let m = 74 + 28. Does 6 divide m?
True
Let m be 14/18 + -1 + (-14)/(-63). Let g(o) = -o**2 - 5*o + 16. Does 5 divide g(m)?
False
Suppose 0 = -3*y - j + 4185 + 432, 5*y = 2*j + 7684. Is 28 a factor of y?
False
Let a(c) = -4*c + 189. Does 21 divide a(0)?
True
Suppose -3*i + 6 = -9. Suppose -t + i*l = 96, -2*l = t - l + 78. Let b = 123 + t. Is 14 a factor of b?
True
Suppose -5*a + 141 = 2*c - 17, 46 = a + 4*c. Let s be (-2)/(-8) + (-559)/(-4). Suppose -5*d + s + a = 0. Is d a multiple of 11?
False
Let n(b) be the first derivative of 41*b**4 + b**3/3 - b**2/2 + b - 9. Let w be n(1). Suppose -5*m - w = -10*m. Is m a multiple of 12?
False
Let l = -164 + 313. Is l a multiple of 32?
False
Suppose -w = 3*j + 1, -3*j = w + j + 3. Suppose 0 = 4*b - 21 + w. Suppose 5*n = 2*d + 189, -2*n - b*d = -0*n - 66. Is 8 a factor of n?
False
Let j(r) = r**3 - 11*r**2 - 18*r + 14. Let y be j(12). Does 15 divide 3/((-22)/(-132) - y/(-420))?
True
Let w(b) = 27*b**2 - 42*b**2 - 8*b + 22*b**2 + 21. Is w(5) a multiple of 12?
True
Let j(k) be the second derivative of k**5/20 - k**4 - 29*k**3/6 + 16*k**2 - 20*k. Does 2 divide j(14)?
True
Let k = -824 - -2287. Is k a multiple of 84?
False
Suppose 0 = -10*y + 486 - 156. Let u = y - -47. Does 4 divide u?
True
Suppose 21 = -5*i - 4, -6660 = -5*x - 5*i. Does 16 divide x?
False
Let k = -20 - -22. Suppose s + k*n + 6 = 0, s - 19 = 4*n - 7. Is 26 a factor of 23 + -1 + (4 - s)?
True
Let b(g) = 3*g**2 - 13*g + 6. Let j be b(4). Suppose j*u - 135 = 3*y, -3*u = u - 5*y - 275. Is 23 a factor of u?
False
Let w = 29 - 23. Suppose 2 = 2*j - w. Suppose -5*i = -j*i - 3. Does 2 divide i?
False
Let w = 2 - 25. Let d = 26 + w. Suppose -2*b = 2*g - 118, -2*g - d*b + 65 = -g. Is g a multiple of 13?
False
Let n(u) = -u**2 + u - 1. Let v(a) = 5*a**2 - a + 3. Let z(q) = -6*n(q) - 3*v(q). Let m(j) be the first derivative of z(j). Is 11 a factor of m(-2)?
True
Let f = 86 - -150. Let u = f + -130. Does 20 divide u?
False
Suppose 0 = -7*k + 2*k. Suppose -4*c + 3*j + j + 244 = 0, c + j - 71 = k. Does 27 divide c?
False
Does 19 divide 3147 - -2*84/(-24)?
False
Let d be 116/24 - 3/(-18). Suppose 2*l = -3*f + 2*f + 34, -d*l - 110 = -5*f. Is f a multiple of 9?
False
Let f = 11 + -7. Let k = f - 4. Suppose k = -c + 3*q + 12, 5*q = 5. Is 15 a factor of c?
True
Is 5676/36 + 21/9 a multiple of 10?
True
Let k(s) = -s**3 - 2*s**2 + 11*s + 12. Does 15 divide k(-6)?
True
Is (-854)/(-3) + (-64)/(-48) a multiple of 13?
True
Let z(n) = n**