
False
Let f be 5/10*(18 - 0). Let g(m) = 10*m + 7. Is g(f) a multiple of 11?
False
Is 14 a factor of (-171074)/(-322) + ((-4)/7)/2?
False
Let r = -5 + -143. Let a = -93 - r. Does 22 divide a?
False
Suppose 0 = j + 2*t + 2, -5*j - t = -2*t - 23. Suppose d + 0 = 5, 5*d - 601 = -j*b. Is 23 a factor of b?
False
Let k(g) = g**3 - 11*g**2 + 10*g + 7. Let h be k(10). Suppose 3*l = -h*l + 770. Is l a multiple of 11?
True
Let s(p) be the second derivative of -p**5/20 - p**4/12 + p**3/2 + 3*p**2/2 + 32*p. Is s(-4) a multiple of 3?
True
Suppose 11*d - 4966 = -1248. Is 13 a factor of d?
True
Let m(o) = o**3 - 12*o**2 - 14*o + 16. Let d be m(13). Let c be 0/((1 + -2)*2). Suppose 0 = d*b - c*b - 45. Is 5 a factor of b?
True
Let j = -87 + 177. Does 90 divide j?
True
Let w be (-3 - 0) + 4 + (2 - 3). Suppose -5*p + 2*h + 322 = w, 4*h - 7 - 9 = 0. Is 22 a factor of p?
True
Suppose -302*g + 296*g + 3384 = 0. Is 6 a factor of g?
True
Let h(z) = 3*z**2 + 10*z + 5. Let i be h(-5). Does 11 divide 2364/i + 2/10?
False
Let w = 610 - -80. Is 16 a factor of w?
False
Let w = 39 - 145. Let u be (w/6)/((-2)/6). Suppose 2*l + u = 141. Is 17 a factor of l?
False
Let v(k) = 2*k**2 + 2. Let p be v(-3). Suppose 0*x = 5*x - p. Suppose 0*r = x*r - 224. Is r a multiple of 14?
True
Let r = 109 + -78. Does 4 divide r?
False
Let y(w) = -w - 7. Let c be y(-10). Suppose n = -c*n + 400. Suppose 5*h - n = -3*o, 0 = h - 2. Is 15 a factor of o?
True
Suppose -2*y = 2*b - 212, -5*y + 9 + 493 = -2*b. Does 6 divide y?
True
Let a(d) = d**3 - 5*d**2 - 2*d + 6. Let s be a(5). Let c be 3/(-9) + s/6. Is 19 a factor of (105/(-14))/(c/10)?
False
Let f be (-6)/33 - (-2910)/33. Is f - (-1 - (-5 - -4)) a multiple of 22?
True
Let w = 122 + -79. Suppose -755 = -w*b + 38*b. Is b a multiple of 43?
False
Let x(t) = t**2 + 4*t - 2. Let a be x(-4). Let y = 8 + a. Is 6 a factor of y?
True
Let y be (1 - 0 - -3)*(16 - -4). Suppose 7*v + y = 451. Does 5 divide v?
False
Suppose -22*h - 5*r + 1884 = -21*h, -h + 4*r = -1902. Does 13 divide h?
False
Suppose 3*f = 48 - 0. Suppose 1 = -x - i, 0*i = -x - 4*i - f. Does 6 divide (x + -2)*(-15)/(-2)?
False
Let l(g) = -233*g - 117. Does 5 divide l(-3)?
False
Suppose 0 = -49*p + 48*p + 155. Is 71 a factor of p?
False
Let y = 15 + -17. Let x(n) = 43*n**2 - 3*n - 2. Is 44 a factor of x(y)?
True
Suppose 19600 = 31*p + 5526. Is p a multiple of 21?
False
Let u = -516 + 760. Is u a multiple of 18?
False
Let b be (-101)/(-9) - 6/27. Let f be 33/b + (0 - 1). Suppose f*n - 130 = -3*n. Is 9 a factor of n?
False
Suppose 4*x - 126 = 3*s, 9*x - 3*s = 6*x + 93. Is 6 a factor of x?
False
Suppose -14747 + 3867 = -17*g. Does 11 divide g?
False
Let u = 822 + 1800. Is u a multiple of 11?
False
Suppose 0 = -o + 3*o - 6. Suppose 5*w = 12 + o. Suppose v + n = 13, -w*n - 50 = -5*v + 39. Is 8 a factor of v?
True
Let o(r) = r**2 - 6*r + 57. Let g be o(0). Let n = 176 - g. Does 17 divide n?
True
Let h = 48 + -45. Suppose -x + 56 = 5*y, 6*x = 5*x - h*y + 52. Does 7 divide x?
False
Suppose -11*h + 12*h - 2220 = -4*f, 2*h + f - 4426 = 0. Is h a multiple of 7?
True
Let u(g) = 13*g - 57. Does 6 divide u(20)?
False
Does 15 divide ((-1 + 8)*-2)/(6/(-147))?
False
Let i(d) = 3*d - 22. Let y be i(-11). Let l = 127 + y. Is 24 a factor of l?
True
Let u(v) be the third derivative of v**4/24 + 7*v**3/2 - 8*v**2. Let z be u(-5). Is (-440)/z*(-4)/2 a multiple of 11?
True
Let b(w) = 10 + w + 5 + w**2 + 59. Does 14 divide b(0)?
False
Let f(d) = 3*d**2 - 5*d + 4. Let n be f(1). Suppose 6 = 2*x - n, -2*y + 228 = -5*x. Is 13 a factor of y?
False
Is 12*(-150)/(-8) + 2/(-2) a multiple of 16?
True
Let f(t) be the first derivative of t**3/3 + 3*t**2/2 - 3*t - 1. Suppose 0*x = x + 5. Is 4 a factor of f(x)?
False
Let l = -117 - -117. Suppose 11*x + l*x = 462. Does 42 divide x?
True
Let g(f) = 77*f**3 + 16*f + 9 - 10 + 2*f**2 - 16*f. Does 9 divide g(1)?
False
Suppose 7 = p + 4. Suppose 4*k + 3*b + 0*b - p = 0, 2*k + 6 = -4*b. Suppose -n + k*n - 120 = 0. Is n a multiple of 12?
True
Let u(w) = w**2 - 4*w - 5. Suppose -5*r = v - 18, -4*v + 0*r - 3 = 5*r. Does 6 divide u(v)?
True
Suppose 5*f + 1 = 3*s + 8, 0 = -2*s + 2. Let z(g) = g**3 + 28*g**3 + g + g**3 - 2*g + g**f + 1. Does 26 divide z(1)?
False
Let k = -15 + 29. Suppose -r + 2 = -k. Is 4 a factor of r?
True
Suppose 2*r - 5170 = -3*r - l, 2*l + 3102 = 3*r. Does 66 divide r?
False
Let t(z) = -z**3 - z**2 + 2*z - 9. Suppose 2*i = -2 - 6. Does 5 divide t(i)?
False
Let z = 12 - 12. Suppose -2*l + 63 + 59 = z. Let k = l + -20. Is k a multiple of 9?
False
Let h(c) = 244*c**2 - 41*c - 113. Is h(-5) a multiple of 12?
True
Suppose -5*n - 12*s + 7*s = -8180, 3*n = 2*s + 4918. Does 26 divide n?
True
Let a(q) = -8*q - 8. Suppose 5*p + 13 = -12. Let s be a(p). Let l = s + -12. Is 4 a factor of l?
True
Let f be (-9)/(-12) + 66/8. Let j = f + 0. Does 2 divide j?
False
Let n be ((-18)/15)/(12/(-30)). Suppose -n = 4*i - 51. Is i a multiple of 11?
False
Let c(v) = v - 2. Suppose -4*n + 1 + 11 = 0. Suppose 12 = -n*k + 27. Does 2 divide c(k)?
False
Suppose 0 = 2*q - 8. Let f = 313 + -229. Suppose q*s = s + f. Is s a multiple of 7?
True
Let m(q) = -q**3 - q**2 + q + 12. Let n(p) = p**2 - 5*p + 6. Let c be ((-10)/7 - -1)*-7. Let l be n(c). Does 3 divide m(l)?
True
Let v(p) = -p**3 - 5*p**2 - 4*p - 2. Let i be v(-11). Suppose 25*b = 28*b - i. Is 52 a factor of b?
False
Suppose -3*w - 4*v - 6 = 0, -w - 3*v - 4 = -v. Let r be 55/(-22)*2*w. Is 13 a factor of 126/5 + r/50?
False
Is 15 a factor of ((-1)/1 + -65)*25/(-5)?
True
Suppose -2*u - i + 182 = 3*u, 4*u - 142 = i. Suppose -x - u = -100. Is 16 a factor of x?
True
Suppose 0 = -5*x + 4*q + 239, -q - 39 = -x + 2*q. Does 17 divide x?
True
Suppose 4*k + 5*k - 2835 = 0. Let l = k - 161. Does 14 divide l?
True
Suppose i + 22 = 6. Suppose -79 = -3*q + w, q - 5*q + 4*w = -100. Let h = i + q. Is 5 a factor of h?
False
Let s(x) = -120*x - 441. Is 6 a factor of s(-5)?
False
Let c = 40 + -14. Is 2 a factor of (-34)/(-221) + 100/c?
True
Suppose -5*m + 3*j - 141 = 2*j, 3*m - 2*j + 79 = 0. Let h = m - -166. Is h a multiple of 20?
False
Let t(j) = 5*j + 1. Let r(h) = -29*h - 6. Let d(p) = -6*r(p) - 39*t(p). Suppose 1 = 4*n + 2*o - 1, 2*n + 4*o = 16. Is d(n) a multiple of 13?
True
Let n(d) = -47*d + 18. Is 3 a factor of n(-10)?
False
Suppose -3*p - 2*p = -5. Let v be (117 - p)/4 - -1. Let o = 98 - v. Is o a multiple of 17?
True
Let h = 118 - -31. Is h a multiple of 28?
False
Let i(b) = -b**3 + 18*b**2 - 33*b - 4. Let f be i(16). Is 7 a factor of (-975)/f + -2 + (-18)/(-8)?
True
Let a = 1 + 3. Suppose -h - 7 = -13. Does 8 divide 63/h - 6/a?
False
Let z = -519 - -2235. Is z a multiple of 39?
True
Let i(q) = -102*q + 2. Let p be i(-7). Suppose -5*v = -v - p. Is 35 a factor of v?
False
Suppose -4*j + i = 10 - 3, -4*i - 12 = 4*j. Does 7 divide (-4)/(-6) + j*160/(-24)?
True
Let c be (-4)/18 - 136/36. Let i(v) = 2*v**2 + 7*v - 2. Let x be i(c). Does 12 divide x - (0 + -22 + 0)?
True
Is 4 a factor of 98 - ((-44)/8 + (-6)/(-4))?
False
Suppose 29*y = -27*y + 86968. Is 21 a factor of y?
False
Let v(f) = 18*f + 36. Let j(y) = -27*y - 52. Let p(d) = -5*j(d) - 7*v(d). Let z be 4/(-3)*1*-3. Does 11 divide p(z)?
True
Let z(k) = -10*k**3 + 2*k**2 - 2*k + 1. Let x be z(1). Let y be ((-2)/(-3))/((-3)/x). Suppose 166 + 14 = y*m. Is 30 a factor of m?
True
Let n(l) = 2827*l - 97. Does 30 divide n(1)?
True
Suppose -1822 = -13*o + 1064. Suppose -2*n + o = n - 3*r, -n = 2*r - 62. Is n a multiple of 10?
True
Suppose -235*y - 1790 = -240*y. Is y a multiple of 27?
False
Let x(s) = -s**2 + 19*s + 47. Let l be x(20). Let f = l + 30. Does 19 divide f?
True
Let m(o) be the third derivative of o**6/120 - o**5/12 - o**4/6 + 55*o**3/6 - 13*o**2. Is m(7) a multiple of 25?
True
Let j be (4 - 0) + (-4)/1. Suppose 5*o = 2*o - 2*m + 323, j = -4*o - 2*m + 428. Let c = -61 + o. Is 17 a factor of c?
False
Suppose 11*o = 5*o + 36. Let l be 0/3 + (30 - 0). Let n = l + o. Does 9 divide n?
True
Let w(d) = -d**3 + d**2 + d. Let c be w(2). Let u(n) = -n**2 + n + 1. Let r(l) = 2*l**2 + l + 2. Let g(b) = c*u(b) + r(b). Is 5 a factor of g(2)?
False
Suppose 280*g - 284*g = -504. Does 13 divide g?
False
Let c(b) = -82*b**3 + 5*b**2 + 4*b + 1. Let o(f) = 82*f**3 - 4*f**2 - 3*f - 1. Let l(z) = 4*c(z) + 5*o(z). Is l(1