/(-9)). Does 40 divide 356 - -6*(-4 - 56/g)?
True
Let z = 3268 + -3168. Is z a multiple of 20?
True
Let h = -4 - -6. Let s = -18 + 20. Suppose 4*f - 4 = 12, -s*v + h*f + 92 = 0. Does 11 divide v?
False
Let x(s) be the second derivative of s**5/20 + 11*s**4/12 - s**3/6 + 11*s**2/2 + 4*s. Is x(-11) a multiple of 11?
True
Let r = 138 - 150. Is (-1002)/r - 1/2 a multiple of 7?
False
Suppose 6*w + 1021 = -329. Is 43/5 + (-9)/(w/10) a multiple of 9?
True
Suppose -61*s + 5668 = -48*s. Does 53 divide s?
False
Is (-67)/(-2) + 5/10 + -1 a multiple of 11?
True
Let w = 14 - 11. Suppose 6 = 4*n + 2*i, 0 = 2*n + w*n - 4*i - 40. Suppose -h - n*h = -90. Is h a multiple of 9?
True
Let v(g) be the first derivative of g**4/4 + g**2/2 + 2*g - 11. Let u be v(-2). Is -10*(1 - (-52)/u) a multiple of 11?
True
Let v be (-18)/6 + 2022/2. Let g be (v/60)/(3/10). Let r = 104 - g. Is 24 a factor of r?
True
Does 52 divide -1 - (9/27)/((-1)/1095)?
True
Let a(n) = 0*n - n + 2 + 49*n**2 - 3. Suppose -10 = 6*p - 4. Is 15 a factor of a(p)?
False
Let a = 64 + -69. Let u(t) = -9*t - 9. Does 12 divide u(a)?
True
Suppose -3096 = -3*q - 3*x, 16*q + 5*x = 17*q - 1020. Does 103 divide q?
True
Let q = -33 - -34. Does 29 divide (-8)/(-4) + 55 + q?
True
Let v(l) = -96*l**3 - 2*l**2 + 2*l - 2. Let g be v(1). Let w = 103 + g. Does 3 divide w?
False
Let s(i) = -7*i**3 + i**2 + i + 1. Let c(m) = m**2 - 9*m - 11. Let w be c(10). Does 2 divide s(w)?
True
Let p be 1 - 2/1*-1. Let n(c) = -c**p + 4*c**3 + 5 + 9*c**2 + 9*c - c - 2*c**3. Does 5 divide n(-8)?
True
Suppose -3 = -i - 1. Suppose 3*z - 118 = z + i*t, z - 55 = 5*t. Suppose 120 = 5*n - z. Is n a multiple of 12?
True
Let g(q) = 5 - 2*q - 4*q + 3*q + 0*q + q**2. Let d be g(3). Suppose 0 = d*b - 36 - 174. Is b a multiple of 21?
True
Let l(p) = -3*p**2 - 14*p + 11. Let y(q) = q**2 + 5*q - 4. Let c(g) = -2*l(g) - 7*y(g). Does 3 divide c(-4)?
True
Let i be 10/4*8/4. Does 14 divide -14*((1 - i) + 0)?
True
Let y = -14 + 3. Let t be (y/3)/(3/(-27)). Is 12 a factor of -3 + t + (-1 - 0)?
False
Let u = 678 - -418. Is 3 a factor of u?
False
Let n(y) = y**3 - 8*y**2 + 6*y + 15. Let q be 183/21 + (-6)/(-21). Let l = q - 2. Is n(l) a multiple of 4?
True
Let x = 79 + 41. Suppose -5*s = -j - x, -s + 0*j + 30 = j. Suppose 5*t = -s, k - t - 3*t - 23 = 0. Does 2 divide k?
False
Let d = -42 - -54. Suppose 10*a = d*a - 194. Is a a multiple of 20?
False
Let b = 2433 - -1783. Is b a multiple of 31?
True
Is 29 a factor of (0 + -609)*(-238)/357?
True
Let j(h) be the second derivative of h**4/12 - 7*h**3/6 - 6*h**2 - 2*h. Let x be j(10). Is 6 a factor of (x - 0) + 1 + 1?
False
Let w(c) = c**3 - 3*c**2 + 2*c - 3. Let f be w(3). Suppose 4*s = -f*z + 2*s + 6, 0 = 3*s. Suppose -z*q + 17 + 3 = 0. Is 4 a factor of q?
False
Let w(u) be the third derivative of u**8/20160 - u**7/1260 + u**6/120 + u**5/60 + 4*u**2. Let i(g) be the third derivative of w(g). Is i(8) a multiple of 19?
True
Let n(h) be the first derivative of -3*h**4/4 - h**3/3 - 3*h**2/2 + 2*h - 9. Is n(-4) a multiple of 10?
True
Let x(i) = i**2 + 7*i + 3. Let d(u) = u + 3. Let w be d(-10). Let z be x(w). Suppose 0 = -2*j - z*j + 220. Is 22 a factor of j?
True
Suppose 15*p + 11284 = 28*p. Is p a multiple of 31?
True
Let h(q) = 5*q**2 + q. Let a be h(-1). Suppose a*b - 36 = b. Let j = b + 9. Is 7 a factor of j?
True
Suppose 0*f + 9 = 3*f. Let y = -123 - -168. Suppose -f*z + 5*s + 21 + y = 0, z = 4*s + 29. Is 17 a factor of z?
True
Suppose 4*o = -2*x - 3*x + 352, 4 = -2*o. Suppose 75*y = x*y + 81. Is 9 a factor of y?
True
Let m(p) = -p. Let g be m(-7). Let i(u) = u**3 - 7*u**2 - u + 10. Let s be i(g). Let q = 18 + s. Is 11 a factor of q?
False
Suppose 2*o - 5*f = 43, -f + 7 = 3*o + 3*f. Suppose 4*j = o*j + 30. Does 3 divide (-6)/(j/(1 + 2))?
True
Let c(z) = -10*z + 56. Is c(-14) even?
True
Suppose -17*o + 164220 = 52*o. Is 17 a factor of o?
True
Suppose -6*g - 7*g + 2470 = 0. Is g a multiple of 38?
True
Let h(z) = -5 + 9 + 3*z - 3 - z**3 - 5*z**2. Is 2 a factor of h(-6)?
False
Let r(k) = -9 - 13*k - 20*k**2 - 11 + 0*k**3 - k**3 + 13*k**2. Let u be r(-8). Suppose c + u = 5*c. Does 7 divide c?
False
Suppose -5*f = -4*g - 43, 63 = -5*g - 2*f - f. Is 27 a factor of 4/g*-3*191?
False
Let m(x) = -4*x + 4 + 9*x - 4 - x**3 - 5 + 5*x**2. Let k be m(5). Suppose 2*o - 4*o = -k. Is o a multiple of 10?
True
Suppose -x + 255 = -r, -3*r + 6 = -3. Does 9 divide x?
False
Suppose 0 = 3*t - 137 - 19. Does 23 divide t?
False
Let b(n) = 8*n + 9 + 6 - 11*n. Is 6 a factor of b(3)?
True
Let g(o) = 4*o + 167. Let r be g(0). Let z = r + -113. Is z a multiple of 18?
True
Let d = 312 - -111. Does 47 divide d?
True
Suppose -28 = -4*g - 3*g. Suppose 0 = g*c - c - 222. Does 17 divide c + -4*(-3)/4?
False
Let i(p) be the third derivative of -p**4/24 + 10*p**3/3 - 9*p**2. Does 10 divide i(0)?
True
Let n be 101 - 36/6 - 3*1. Let m = n + -41. Is 17 a factor of m?
True
Let l(n) = -n**2 + 13*n + 14. Let d be l(14). Suppose -3*q - 7*g + 108 = -4*g, q - 3*g - 56 = d. Is 18 a factor of q?
False
Suppose -3*h + 5*v + 1348 = 0, 2644 = 5*h + 3*v + 386. Is 11 a factor of h?
True
Let a(i) = -i**2 + 13*i - 3. Let w be (8/(-5))/4*-25. Let t be a(w). Let r = t + -17. Is 5 a factor of r?
True
Let q(g) = -g**3 + 6*g**2 + g. Let s be q(6). Is 9 a factor of s/(-14) + 27725/175?
False
Suppose 782 = 5*l - 4*l + g, -1552 = -2*l + 2*g. Does 13 divide l?
False
Let a(b) = 35*b**2 - 35*b + 4. Does 35 divide a(-5)?
False
Let u(n) = n**2 - 6*n - 10. Let m be u(7). Let b = -13 - -11. Does 20 divide m + 102 + (-2)/b?
True
Let q(y) = -11*y + 32. Let x(z) = -z - 58 + 69 - 3*z. Let a(c) = 3*q(c) - 8*x(c). Is 4 a factor of a(0)?
True
Let w be (1 - -6) + (-1 - -4). Let f be 636/w + 4/10. Suppose 3*g = 5*g - f. Does 16 divide g?
True
Let o = 10 + -14. Let n(t) be the third derivative of t**5/60 + t**4/24 - 3*t**2. Does 5 divide n(o)?
False
Suppose 3*x - 3*b - 6 = -0*b, -x = 3*b - 14. Suppose -x*q + 3*q - 4*n = -4, 4*q + 3*n - 18 = 0. Does 33 divide (-6 + 36)*27/q?
False
Suppose -15 + 3 = -2*g. Suppose g*f = f + 2865. Does 9 divide 2/(-7) - f/(-21)?
True
Let l(x) = 4*x**2 + 10*x - 182. Is l(10) a multiple of 3?
True
Suppose -4*o - 4700 = -4*q, 3*o = -21*q + 25*q - 4702. Is q a multiple of 31?
False
Let v(s) = -12*s + 6. Does 37 divide v(-9)?
False
Suppose 5*c + 4*g - 3180 = 0, -28*g = -4*c - 29*g + 2544. Is c a multiple of 12?
True
Suppose m + 92 = g, -4*m + 77 = -g + 2*g. Let x = g - 23. Let a = -41 + x. Does 14 divide a?
False
Let l = 11 - 9. Suppose -3*y + 27 = 3*p, -4*y - p = -l*p - 26. Does 7 divide y?
True
Does 3 divide (7 + -2 - 15)/((-1)/3)?
True
Let s = 522 - 351. Is s a multiple of 19?
True
Suppose -4*n = -26 + 10. Suppose 4*i - 168 = n*r, 0*i = -i - 3*r + 54. Is i a multiple of 9?
True
Suppose -4*q - 4*t = 0, 3*t - 1 + 7 = -5*q. Is (26/q)/((-3)/((-9)/(-2))) a multiple of 2?
False
Let f(s) = -3*s - 9. Let n be f(-4). Is 13 a factor of (-113)/((6 + -7)*(n - 2))?
False
Let u be 1/6*10*30. Suppose -95 = m - 4*m - 4*t, m = -5*t + u. Suppose -28*k + 27 = -m*k. Is k a multiple of 9?
True
Suppose -3*q - q + 4 = -2*x, -3*x - 4*q = -14. Suppose -2*a + 13 = 3*y, -4 = a + y - 10. Suppose x*u = 3*o + 6, a*o + 15 = 5*u + o. Is 2 a factor of u?
False
Suppose -3*h - 2*q + 950 = 0, h - 5*q - 52 = 276. Does 3 divide h?
True
Let o be (-2 - -2) + 236 - -1. Suppose -422 = -3*n + d, 0 = -4*n - 2*d + 371 + 205. Let t = o - n. Is t a multiple of 31?
False
Let g = -2926 + 4636. Is g a multiple of 15?
True
Let b be 6/(-15) + (-252)/(-5). Let d = b + -20. Is d a multiple of 10?
True
Let s = 8 + 45. Let o = s - -27. Is o a multiple of 37?
False
Let l be (-2)/(-8) + 46/8. Suppose i + l - 64 = 0. Does 6 divide i?
False
Let j(y) = -730*y**3 + 17*y + 18. Does 17 divide j(-1)?
True
Let o(g) = g**2 + 7*g + 2. Let b(x) = x**2 - 6*x - 4. Let y be b(5). Let k be (-30)/(-25)*60/y. Does 3 divide o(k)?
False
Let k(c) = -c**2 + 5*c + 6. Let v be k(6). Let i be (-14)/(-252)*261 - 2/4. Suppose i = 2*t - v*t. Is t a multiple of 2?
False
Suppose -5*x + 0*x + 10 = 0. Suppose -x*i = -3*i + 46. Suppose -110 = -4*p + i. Is p a multiple of 23?
False
Let z be 25/20 + (-6)/(-8). Suppose -2*k + z = 0, -6*o - 5*k = -o - 15. Suppose -31 = -o*f - 9. Is 3 a factor of f?
False
Suppose -3*z + 35 = -5*a, -2*z + 7*z + 3*a = 47.