s 4 a factor of (18/j)/((-6)/(-4))?
True
Suppose -424 = -q + 5*w, 4*q + 3*w - 1650 = -0*q. Is 46 a factor of q?
True
Is 7 a factor of 8*(609/12 + 0/13)?
True
Suppose -2 = a + 11. Let p = -19 + 0. Let g = a - p. Is g a multiple of 3?
True
Let l be 39 + (4/1)/1. Let j = l - 3. Does 10 divide j?
True
Suppose 29*v - 6*v = 13248. Is 18 a factor of v?
True
Suppose -2*t + 4 + 2 = 0. Suppose 33 = c - t*d, -2*d + 4*d = 3*c - 106. Does 12 divide c?
True
Let h(a) = -33*a + 62. Let l be h(6). Let t = l - -203. Is t a multiple of 13?
False
Suppose 0*d - 3096 = -4*d. Suppose 4*f - d = a, -2 = -4*a + 3*a. Let h = -126 + f. Is h a multiple of 17?
True
Let u be (-2)/1 + (0 - -3). Let f(g) = 5*g**3 + 2*g**2 - 1. Let z be f(u). Suppose 0 = -3*o + z + 3, 5*n = -o + 378. Is n a multiple of 25?
True
Let r(n) = -n + 5. Let b be r(5). Suppose -3*t - 142 + 406 = b. Is t a multiple of 11?
True
Let o(k) = k**3 + 5*k**2 - 14*k + 2. Let c be o(-7). Is c/5 + 18962/95 a multiple of 40?
True
Suppose 0 = 12*y - 15*y + 9. Let l = 14 - y. Is 3 a factor of l?
False
Let m(q) = -30*q + 14. Is m(-7) a multiple of 8?
True
Let r = 31 + -27. Suppose -3*z = -r*z + 58. Is z a multiple of 14?
False
Let t(h) = -h + 5. Let r be t(-5). Suppose 2*m - 40 = r. Does 25 divide m?
True
Suppose -3*m + 6*m = 315. Suppose -2*z + m = 3*z - d, 4*z - 84 = 4*d. Is 7 a factor of z?
True
Suppose k + 921 = 5*s, -5*s = -8*s + k + 553. Is s a multiple of 23?
True
Let j = 2043 + -414. Is j a multiple of 95?
False
Let l = -809 + 1439. Does 10 divide l?
True
Suppose u - 10 - 1 = 0. Let v(p) = -p + 11. Let d be v(u). Suppose d = 2*f + 4*b - 34, -15 - 2 = -f - b. Does 9 divide f?
False
Suppose 5*k = -2*h + 1359, 31*h + 3411 = 36*h - k. Is h a multiple of 5?
False
Let a = -70 + 77. Let g(n) = -n**3 + 9*n**2 + 7*n + 3. Is g(a) a multiple of 25?
True
Let r be (-5)/3*(45 + -24). Let y = r - -54. Is 9 a factor of y?
False
Suppose -3*q = 3*c - 9996, 3*c + 2540 = 3*q - 7438. Does 65 divide q?
False
Let f(j) = -2*j**3 - 5*j**2 + 3*j + 15. Let c be f(-7). Is 1*c/10*2 a multiple of 29?
True
Suppose -2*u - 4 = 6, -q = -u - 111. Let o(f) = 6*f**2 - 3*f + 2. Let b be o(2). Let y = q + b. Is y a multiple of 42?
True
Let c(g) = 88*g**2 - 7. Is c(-3) a multiple of 9?
False
Let u(x) = x**2 + x + 10. Let g be u(-5). Suppose -q + g + 2 = 0. Is 8 a factor of q?
True
Suppose 5*f = 5, -2*f - 10 = 5*t - 87. Suppose 0*p - t = -3*p. Suppose 189 + 51 = p*x. Does 16 divide x?
True
Suppose -3*n + 14 + 7 = 0. Suppose 467 + 93 = n*y. Is 16 a factor of y?
True
Let u(d) = 3*d**3 + 2*d**2 - 2*d + 1. Let r be u(1). Suppose -h + 117 = -r*h. Let l = h - -77. Does 9 divide l?
False
Suppose 5*y - 11 = -p, -7*y + 3*y = 3*p. Suppose -y*i = -i - 162. Suppose -3*x + i = 12. Is x a multiple of 11?
False
Suppose 0 = 3*b + 4 - 31. Let d(m) = b - 24 + 3*m - m. Is 4 a factor of d(12)?
False
Let n = 6807 + -4287. Does 63 divide n?
True
Suppose -230 = -6*n - 116. Is 2 a factor of n?
False
Let b = -399 + 2545. Suppose -296 - 130 = -q + 4*h, -4*h - b = -5*q. Suppose -10*s - q = -15*s. Is 23 a factor of s?
False
Let r(x) = 4*x**3 + 7*x**2 - 13*x + 23. Let i(g) = -9*g**3 - 13*g**2 + 25*g - 48. Let s(p) = 3*i(p) + 7*r(p). Is s(-11) a multiple of 24?
True
Suppose -21*v = -3*v - 5130. Is 23 a factor of v?
False
Suppose -q + 5*q - 14 = -2*y, -3*q = 3*y - 3. Does 21 divide 256/q - (-16)/(-24)?
True
Suppose 1 = -d + 3*j + 2, -d + j + 1 = 0. Let l be -3 + d/((-5)/(-40)). Suppose 0*a + l*x + 32 = a, x - 160 = -3*a. Does 24 divide a?
False
Suppose 0 = 3*n + 5*k - 15, -4*n - n = -3*k + 9. Suppose -3*t - 2*t + 495 = n. Is t a multiple of 22?
False
Let f(t) = -t**3 + 11*t**2 - 6*t - 8. Let i be 52*5/30 - (-1)/3. Is 25 a factor of f(i)?
True
Suppose -3*m = -6, -4*d - 26*m + 22*m + 24376 = 0. Is d a multiple of 14?
False
Let u(g) = -g**2 - 32*g - 44. Let j be u(-22). Is 23 a factor of j/4 - 0/1?
False
Let x(z) = -z**3 + 3*z**2 - 11*z + 21. Is x(-7) a multiple of 7?
True
Let j(h) = -h + 2. Let a be j(2). Suppose 10 = -a*p + 5*p. Suppose 0 = p*q + l + 2*l - 89, 0 = -4*q + 2*l + 202. Is 25 a factor of q?
False
Let q(j) = -j**3 + 13*j**2 + 5*j + 13. Is q(9) a multiple of 14?
False
Let b = -20 + 5. Let h be ((-4)/(-12))/((-3)/(-1206) - 0). Is 11 a factor of h/6 - (-5)/b?
True
Let l = 341 + -151. Is 19 a factor of l?
True
Suppose -y = 48 - 54. Is (177/(-9))/((-2)/y) a multiple of 7?
False
Let j(n) = 4*n**2 - 98*n + 59. Is 5 a factor of j(25)?
False
Let d be -2 - 66/9*-9. Suppose -b + 35 = -3*y, 6*y + d = 2*b + 2*y. Is b a multiple of 12?
False
Suppose -3*c + 3*i = -168, 3*c + 0*i - 164 = -i. Let g = -37 + c. Does 4 divide g?
False
Let h(n) = -n**2 - 2*n - 3. Let p(m) = -m**2 - 2*m - 3. Let f(u) = -5*h(u) + 4*p(u). Suppose 5 = 5*a - 3*w, 20 = -5*a - 2*w - 0*w. Does 3 divide f(a)?
True
Suppose -2*a = -s + 498, 0 = -4*s + 4*a + 1958 + 50. Is 46 a factor of s?
True
Let f = -264 - -615. Is f a multiple of 17?
False
Suppose -365*v + 349*v = -4704. Is 50 a factor of v?
False
Is 3 + 1392/(-4 - -7) - -1 a multiple of 39?
True
Let v(z) = z**3 - 2*z**2 - 5*z + 1. Let d be v(4). Let t = 25 + d. Suppose -18 = -4*m + t. Is m a multiple of 8?
False
Let i(o) = o**3 + 3*o**2 - 3*o. Let u be i(-3). Let f = u + -7. Is (29 - 5)*f/4 a multiple of 3?
True
Let y(l) = -30*l**2 + 6*l + 3. Let r(w) = -59*w**2 + 12*w + 6. Let f(u) = -4*r(u) + 7*y(u). Let m be f(3). Suppose -4*i = 37 - m. Is 15 a factor of i?
False
Let z = 8 - 14. Is 15 a factor of (88/z)/(-1)*27/6?
False
Suppose 0 = 6*x - x + 105. Let s be 227/(-4) + (-1)/4. Let i = x - s. Is i a multiple of 12?
True
Suppose k - 3*t = 86, 2*t + 4 = -0*t. Is 20 a factor of k?
True
Suppose 0 = -4*m - 4*w + 376, 2*m - 162 = -3*w + 31. Let d = m - 62. Does 9 divide d?
True
Suppose i + 5*s - 625 = 0, i - 27*s = -25*s + 604. Is i a multiple of 36?
False
Let c be (24 + -30)*1/(2/157). Let b = -218 - c. Is b a multiple of 13?
False
Suppose -5*h + 8*h - 3*c = 762, -5*h + 1250 = -c. Does 7 divide h?
False
Suppose 126 = -10*q + q. Let f = q + 78. Is 16 a factor of f?
True
Suppose 0 = -z - 3*k + 6 + 23, -4*z = k - 94. Is z even?
False
Let j(x) = -x**3 - 5*x**2 - 2*x + 6. Let g be j(-4). Is 41 a factor of (-5 - -2 - g)*-55?
False
Let i be 6 + -2 - 320/(-4). Let l = -51 + i. Is l a multiple of 22?
False
Suppose 0 = -m + 5, -444 = -b + 3*m + 581. Suppose -3*a = 2*a - b. Let l = -146 + a. Is l a multiple of 31?
True
Suppose 244 = 4*r - 20. Suppose 10*y + 12 = 16*y. Is 16/4 + r + y a multiple of 12?
True
Suppose -3*r - 17 = -119. Let c = 36 + r. Does 10 divide c?
True
Let n = 387 - 200. Is n a multiple of 6?
False
Let r be ((-108)/(-45))/(2/25). Suppose -l + 42 + r = 0. Is l a multiple of 12?
True
Let o(g) = -g**2 - 6*g - 5. Let d be o(-4). Suppose -d*r - 173 = -2*p, -338 = -7*p + 3*p - 2*r. Does 17 divide p?
True
Let v be -3 - (4 - (-9 + 4)). Let d = -10 - v. Suppose 0*l - 48 = -d*l. Is l a multiple of 13?
False
Suppose 4*p - 3*p - 234 = 0. Is p a multiple of 7?
False
Suppose -313 + 117 = -7*m. Is m a multiple of 14?
True
Let v(q) = -q**3 - 5*q**2 + 7*q - 4. Let u be v(-6). Let k = -7 - u. Suppose -3*z + 86 = -3*p - 61, k*p - 15 = 0. Does 27 divide z?
True
Let g be 6/9 - 4/6. Let r be g - (-5)/1 - 3. Suppose -103 - 15 = -3*x - r*d, -2*x - d = -80. Does 6 divide x?
True
Let z(y) be the second derivative of 81*y**5/20 - y**2/2 - 2*y. Is z(1) a multiple of 20?
True
Let l = 10 - -5. Suppose 29 = x - l. Suppose i - x + 2 = 0. Does 14 divide i?
True
Suppose -5*b + 9*b = 8. Suppose -b*w + w + 2 = 0. Is 6 a factor of ((-14)/4)/(-1)*w?
False
Let c(s) = s**3 + 10*s**2 + 3. Let b be c(-10). Let v = b + -1. Suppose -5*p + 60 = -5*u, 7*u - v = -p + 3*u. Is p a multiple of 9?
False
Let f(m) = m**3 - 17*m**2 + 8*m - 16. Is 20 a factor of f(17)?
True
Suppose -4*m + 3*y = 100, -5*y = -3*m + 6*m + 104. Let a = m - -20. Let q = a - -51. Does 7 divide q?
False
Let v = -510 + 747. Is 18 a factor of v?
False
Let f(w) = -12*w - 286. Is 19 a factor of f(-48)?
False
Let y = 11 - 6. Suppose 3*x - 4*j = 23, y*j + 34 = 3*x + 9. Suppose 6 + 9 = x*l. Is l a multiple of 3?
True
Suppose -3*c + 4*g + 2060 = c, 3*c = -3*g + 1545. Suppose 2*s + 4*p - 155 = 101, 4*s - c = -5*p. Is s a multiple of 26?
True
Suppose -5 = -z + 23. Let j = z - 8. Is j a multiple of 5?
True
Let m(c) = c + 1. Let w be m(2). Suppos