 16 a factor of w(5)?
True
Let j = -12 + 9. Let x be (-3)/j - 49 - 3. Does 11 divide (-184)/(-6) + (-17)/x?
False
Suppose -15*w + 468 = -12*w. Does 52 divide w?
True
Suppose -5 + 9 = o. Suppose -54 = 2*d - o*d. Let y = d - 17. Is 3 a factor of y?
False
Suppose -329 = -7*j - 0*j. Suppose 7*m - 320 = -j. Is m a multiple of 24?
False
Suppose -5*x = -59 - 541. Does 60 divide x?
True
Let g = 4 + -10. Let i = g - -1. Let d(t) = -t**2 - 6*t + 1. Is 2 a factor of d(i)?
True
Let m(q) = q - 14. Let u be m(16). Is 59 - 10 - (-1 - u) a multiple of 13?
True
Let w = 10 - 8. Let d(s) = 26*s - 1. Is d(w) a multiple of 17?
True
Let s(b) be the first derivative of -b**4/4 - 8*b**3/3 + 7*b**2/2 - 12*b - 2. Let d be s(-9). Is 8 a factor of (1 + -20)*d/(-6)?
False
Let s(h) = -h**2 - 10*h + 11. Let d be s(-10). Let u = 15 - d. Suppose u*m - 88 = -0. Does 6 divide m?
False
Suppose 338 = 7*k + 366. Let j(p) = 26*p - 14. Let a(h) = -9*h + 5. Let l(d) = 10*a(d) + 3*j(d). Is l(k) a multiple of 12?
False
Let h(k) = 2*k**2 - 15*k - 29. Is 21 a factor of h(10)?
True
Suppose -9*u + 652 = 58. Does 22 divide u?
True
Let w = 433 - 293. Is 35 a factor of w?
True
Is 88 a factor of (-605)/((-6)/192*4)?
True
Is ((-6)/(-48)*184)/((-1)/(-19)) even?
False
Let s = -523 + 647. Does 73 divide s?
False
Let h(c) = 35*c**2 - 8*c + 12. Does 13 divide h(3)?
False
Let f be 2 + -3 - (1 - 5). Suppose 0 = f*i + 7 - 4. Is 15 a factor of (-30)/(1 - (-3)/i)?
True
Is 7 a factor of 40/(-7) + 6 - (-1214)/14?
False
Suppose 0 = -3*n - 3*p - 2*p + 487, -n + 4*p + 168 = 0. Suppose -139 - 27 = -4*w + y, -2*y - n = -4*w. Does 7 divide w?
True
Let k = -180 + 182. Let c(j) = j**2 - 1. Let v be c(-3). Suppose -2*p + 12 = -n, 2*n - v = -k*p + 5*n. Is p a multiple of 7?
True
Suppose 0 = q + f - 414, 3*f - 830 = q - 3*q. Let j = q - 265. Is j a multiple of 21?
True
Suppose 4*b - 319 - 253 = 0. Let d(c) = 33*c + 5. Let h be d(6). Let f = h - b. Does 20 divide f?
True
Let r be 16/10 - (-2)/5. Suppose 0*a = a, -t - a + r = 0. Suppose -m = -3*l - l + 74, 0 = -t*l + m + 38. Is l a multiple of 4?
False
Let t = -91 - -148. Suppose -5*p = -33 - t. Is p a multiple of 18?
True
Let k(a) = a**3 + 35*a**2 - 6*a - 65. Is 29 a factor of k(-35)?
True
Let l = -222 - -335. Is l a multiple of 4?
False
Let u = -28 - -50. Let k = u - -16. Does 25 divide k?
False
Let v(z) = 69*z**2 - 13*z - 13. Is v(-1) a multiple of 3?
True
Suppose 4*b - 4*f + 1586 = 5650, -3*b + 4*f + 3045 = 0. Is b a multiple of 65?
False
Suppose -293*w + 284*w + 11547 = 0. Is w a multiple of 95?
False
Let g(z) = -45*z - 9. Is 18 a factor of g(-39)?
True
Let w = 94 + -59. Is 29 a factor of w?
False
Suppose -2*h + 6*h = p - 48, 5*p - 291 = 3*h. Is p a multiple of 4?
True
Suppose -4*f - 288 = -3*n, -2*n + 3*f - 77 + 268 = 0. Is 40 a factor of n?
False
Suppose -6*d - 60 = -3*d. Let z = d + 14. Let n(b) = b**3 + 6*b**2 - 9*b - 5. Is 15 a factor of n(z)?
False
Let o(f) = f**3 + 24*f**2 + 17*f - 7. Let j = -12 - 11. Is 16 a factor of o(j)?
False
Let z(g) = -3*g**2 + 9*g - 1. Let o(m) = -10*m**2 + 28*m - 4. Let a(x) = 2*o(x) - 7*z(x). Let k be (-4)/22 - 707/(-77). Does 9 divide a(k)?
False
Does 16 divide 852 - ((-5)/(-5) + -5)?
False
Suppose -u - 3*u - 16 = 0, -3*m = -u + 20. Does 12 divide (-90)/m + 36/48?
True
Let b = -176 - -70. Let v = 0 - b. Does 14 divide v?
False
Let u(j) = j**2 + 6*j - 1. Suppose -4*z - 10 = 2*g, 2*z = 3*g - 2*z - 35. Is u(g) a multiple of 9?
True
Suppose -2*i - 3*i + 2*m = 0, 0 = -2*i - 2*m. Let t be ((-6)/(-24)*-6)/((-3)/10). Let h = i + t. Is h a multiple of 5?
True
Let a be 3/(1*-3)*-82. Suppose 82 = 2*w - 12. Let b = a - w. Does 12 divide b?
False
Let m be (-5)/((-15)/(-27)) - -3. Let x(w) = 0*w + 6*w**2 + 2 + 3*w**3 - 3*w - 4*w - 2*w**3. Does 11 divide x(m)?
True
Suppose 2684 = u + x, x = 5*u - x - 13448. Does 28 divide u?
True
Suppose -x + 5*t = -98, x + 0*x - 98 = 2*t. Let u be (6/7)/(14/x). Suppose -3*h + u*h - 63 = 0. Is h a multiple of 11?
False
Let d(i) = 1034*i**2 - 11*i - 10. Does 15 divide d(-1)?
True
Suppose -61257 + 24582 = -25*n. Is 35 a factor of n?
False
Suppose 957 = -3*k - 699. Suppose -s - 5*z + 16 = -13, -4*z = -2*s - 12. Is (k/(-60))/(s/10) a multiple of 23?
True
Let s(z) = 4*z**2 + 9*z - 12. Is s(-9) a multiple of 7?
True
Let p(t) = -11*t - 1. Let v be p(2). Let u = -32 - v. Let z(k) = 2*k**2 + 11*k - 13. Is 10 a factor of z(u)?
True
Let w be 16/(2/10 - 45/475). Suppose -56 = 6*l - w. Is l a multiple of 8?
True
Let f(s) = -6*s - 21. Let k be f(-4). Let m(t) = 2*t**3 + t**2 + 4*t - 3. Is m(k) a multiple of 8?
True
Suppose 0 = -3*h + f + 182, 0*h + 4*h + f = 252. Suppose 0 = 2*y - 4, -5*y - h = -4*l - 0*y. Is 4 a factor of l?
False
Let a(w) = 3*w**2 - 12*w - 16. Let k be a(8). Let h = 95 - k. Does 15 divide h?
True
Let t(r) = 2*r**2 - 60*r + 43. Is 19 a factor of t(36)?
True
Let o = 38 - 35. Suppose -i + o*r = -5*i + 264, -3*i = -3*r - 177. Does 21 divide i?
True
Let i(d) = -5*d**3 + 4*d**2 - 3*d + 2. Let x(b) = b**3 + b**2 - b. Let h(f) = i(f) + 4*x(f). Does 13 divide h(5)?
False
Let x(s) = -4*s + 32. Let j be x(8). Let l(n) = n**3 - 2*n + 46. Does 6 divide l(j)?
False
Let k be 5 + (-12)/(-8) - (-6)/(-4). Suppose -k*s + 2*c + 1199 = c, -5 = -5*c. Is 12 a factor of s?
True
Let d(u) = 573*u**2 + 67*u - 66. Is 8 a factor of d(1)?
False
Suppose 6 = 3*m - 0*m. Let l be -3 + -30 - (-3 + m). Let j = -18 - l. Is 14 a factor of j?
True
Let b(u) = 30*u - 8 + 45*u + 2*u + 5. Is b(1) a multiple of 37?
True
Is -2*(-12)/56 + 2804/7 a multiple of 13?
False
Let f(w) = -168*w + 51. Does 13 divide f(-4)?
False
Suppose 36*y = 37*y + 5*w - 316, w - 332 = -y. Is 2 a factor of y?
True
Let g(x) = 2*x**2 + 10*x - 24. Let k = -5 + 14. Is 22 a factor of g(k)?
False
Let p(i) = 7*i + 17. Let w be p(6). Let z = w - 3. Does 7 divide z?
True
Let d(s) be the third derivative of s**6/120 + 7*s**5/60 - 11*s**4/24 - 2*s**3/3 - 16*s**2. Is 8 a factor of d(-8)?
False
Suppose -2*s + 20 - 10 = 0. Suppose 0 = -s*p + 4*k + 79 + 41, k = 3*p - 79. Suppose 3*t - p = 14. Is 7 a factor of t?
True
Let m(g) = 4 + 1 - 2*g**3 + 3*g**3 - 3. Let p be (13 - 1)/4 - 3. Is m(p) even?
True
Let p(f) = -f**2 - 47*f - 97. Is 31 a factor of p(-31)?
False
Suppose 13 - 37 = -3*c. Let q(k) = k**3 - 7*k**2 - k - 32. Is q(c) even?
True
Suppose -7 = -4*f + 1. Let s(x) = 2*x**3 - 3*x**2 + x - 2. Let c be s(f). Suppose c*d - 49 = 3*b, -2*d + 29 = -5*b + 2*b. Is d a multiple of 5?
True
Let x be (-4)/18 + (-346)/(-18). Let w be 11/2 - x/38. Suppose 5*v + 2*d = -4 + 37, 40 = w*v - 5*d. Does 2 divide v?
False
Let u(b) = -2*b**3 - 3*b**2 - 12*b - 60. Is u(-6) a multiple of 12?
True
Let c = -116 - -300. Is 46 a factor of c?
True
Let a = -670 - -730. Is 5 a factor of a?
True
Let d = -17 - -21. Let h = 74 - d. Is h a multiple of 5?
True
Let a be (10/5)/((-2)/2). Is ((-4)/14)/(a/266) a multiple of 19?
True
Suppose -559 = -l - 2*s, 5*s = -0*l + 3*l - 1721. Does 27 divide l?
True
Let n(f) be the second derivative of 2*f**3/3 + 5*f**2/2 + 10*f. Suppose -v + 3*z = -7, -2*z + 10 = 2*v - 4*z. Is 9 a factor of n(v)?
False
Suppose 8 = -5*n + n. Is 2/n + 2 - -68 a multiple of 7?
False
Let z = 4 + -19. Let k = z + 11. Is 19 a factor of (-94)/k*4/2?
False
Does 87 divide (572/14 - -1)/((-15)/(-105))?
False
Let k = 849 - 134. Is 49 a factor of k?
False
Is -376*3*84/(-144) a multiple of 15?
False
Suppose -3*d - 6 = 0, 2*o - 4*d = o - 3. Let q(g) = 2*g**2 + 9*g + 7*g - 11 - g. Does 22 divide q(o)?
True
Let i = -216 + 140. Let y = 135 + i. Is y a multiple of 10?
False
Let r = 255 - 243. Is 12 a factor of r?
True
Let r(x) = -x**3 - 1. Let j(k) = 6*k**3 + 3*k**2 - 6*k - 6. Let u(f) = -j(f) - 4*r(f). Is u(-4) a multiple of 11?
True
Suppose -7*k - 2722 = -4*j - 9*k, -3*k = -3. Does 34 divide j?
True
Suppose 1118 = f + 3*f - r, 550 = 2*f - 5*r. Is f a multiple of 16?
False
Suppose 5*n + r - 2*r - 221 = 0, n + 5*r - 65 = 0. Suppose 0 = -i + n - 9. Does 9 divide i?
True
Suppose 4833 = -52*y + 55*y. Suppose 2*n = 11*n - y. Does 14 divide n?
False
Suppose -5*r + 2*r = -2*j + 7, 4*j - 7 = -r. Let h = j + 320. Suppose -2*b + h = 5*b. Is 24 a factor of b?
False
Suppose 43 = -4*r - 5*k - 280, 0 = r + 2*k + 80. Let g = -42 - r. Suppose -3*c = -4*c + g. Is 10 a factor of c?
True
Let s(z) = -3*z - 4. Let c be s(-5). Suppose 4