 5 = -t + 7. Is 13 a factor of d(r)?
True
Let a(p) = p**2 - 7*p + 5. Let r be a(6). Let h(w) = -13*w. Let o(b) = 13*b. Let f(u) = 4*h(u) + 3*o(u). Is f(r) a multiple of 4?
False
Suppose -45*i - 8592 = -61*i. Is i a multiple of 8?
False
Let q(k) = k**3 + 6*k**2 - 3*k. Let j be q(-5). Suppose 2*m + 4 = j. Suppose -4*t + 53 = n, 5*t - 58 = 4*n - m. Is 12 a factor of t?
True
Let c(j) = j**3 - 11*j**2 - 8*j + 8. Let s be (-24)/(-9)*(-36)/(-8). Is 8 a factor of c(s)?
True
Let p(m) = 3*m + 8. Let o be p(-4). Let h be -1*(104/o - -1). Let a = 2 + h. Is a a multiple of 27?
True
Suppose -4*g - 11 = 1, -2*p + 2*g = -804. Does 19 divide p?
True
Let q(m) = 2*m**2 + 6*m. Let i be q(-4). Suppose 2*s + j - i = -j, -j + 8 = 3*s. Suppose -99 + 7 = -s*g + 3*k, 0 = -4*g - k + 156. Is g a multiple of 20?
True
Suppose 8 = 5*h - 7. Is -13*(-3)/(6 - h) a multiple of 13?
True
Let n(z) = 20*z**3 - z**2 - 1. Let u be (28/(-12) - -3)*1*3. Is n(u) a multiple of 31?
True
Let i be 110/33 + (-4)/(-6). Suppose 0 = 3*d + i*d - 336. Is 24 a factor of d?
True
Suppose -63 = 12*g - 9*g. Let y = g - -23. Suppose 0 = -5*q - y*x + x + 175, 3*q - 97 = x. Is 19 a factor of q?
False
Suppose 0*u - 2*u = -112. Let h = u + -42. Is 11 a factor of h?
False
Suppose 2*h = -2*l - 3*h - 14, 5*h + 20 = 0. Suppose l*s + 12 = 0, -4*z = z + 4*s - 279. Is 21 a factor of z?
False
Let p be -36*-4*2/12. Let b be (p/6)/(3 - 1). Does 14 divide 848/20 - b/5?
True
Let h be ((-72)/14)/(3/(-140)). Let o = h + -144. Suppose -5*c + 8*c - o = 0. Is c a multiple of 12?
False
Let j(k) = k + 3. Let n be j(-5). Let b be n*((-332)/8 - -2). Let q = b + -35. Is q a multiple of 10?
False
Let b(u) = 7*u**2 + 5*u + 3. Let k be b(-1). Suppose 3 = -3*x, q - k*x + 173 = 3*q. Does 13 divide q?
False
Suppose 5*h + 2*f - 33 = -0*f, 0 = h - 5*f + 15. Suppose 1 = -y - h. Does 16 divide ((-32)/(-6))/(y/(-36))?
True
Let h = 2771 - 1637. Is 42 a factor of h?
True
Let t(g) = g**2 - 2. Let o(x) = 3*x**2 + x - 6. Let b(y) = 4*o(y) - 11*t(y). Let v be b(-4). Let k = 28 + v. Is 12 a factor of k?
False
Suppose 690*q = 660*q + 73500. Is q a multiple of 49?
True
Let q(l) = 2*l**2 - 5*l + 5. Let c be ((-35)/10)/((-1)/(-2)). Let p be 8/14 - (-39)/c. Is q(p) a multiple of 16?
True
Let l(k) be the third derivative of k**6/120 + 13*k**5/60 - 7*k**4/24 - 5*k**3/3 - 2*k**2. Let f(n) = -14*n**3 + 2*n - 1. Let u be f(1). Does 27 divide l(u)?
True
Let w(t) = t**3 + 2*t**2 + t + 4. Does 18 divide w(3)?
False
Suppose 14*b - 9*b = 4500. Is 25 a factor of b?
True
Is ((-835)/35 - 7)/(15/(-140)) a multiple of 18?
True
Let j be 12*(-4)/(-16)*-6. Let y be 6/9*j/(-4). Suppose 43 = -y*n - h + 132, -4*h = -2*n + 64. Is 15 a factor of n?
True
Let x(z) = 6*z**2 - 5*z - 16. Is x(-6) a multiple of 3?
False
Suppose 0 = -30*y - 39*y + 226872. Is y a multiple of 107?
False
Suppose 212 + 1348 = 15*u. Does 7 divide u?
False
Let x = 306 + -161. Does 28 divide x?
False
Suppose -4*x = 32 - 440. Let k be ((-15)/10)/(3/x). Let g = k + 101. Does 14 divide g?
False
Let w(x) = 3*x**2 + 2*x + 331. Is w(0) a multiple of 18?
False
Suppose -215*z = -211*z + 2*x - 3168, 1584 = 2*z + 5*x. Is 22 a factor of z?
True
Suppose 16 = -5*c + 4*b, -4*b = 4*c - b - 12. Suppose -10*m + 5*m - 90 = c. Does 8 divide m/(-8)*128/6?
True
Let l(w) = w**2 - 4*w. Let j be l(4). Let c = j - -1. Does 9 divide ((-1)/c)/((-3)/27)?
True
Suppose 5*l = 30 + 50. Let h be l/(-4) + -1 + 15. Suppose -4 = r + 3*g + 7, -2*g - h = 0. Is r a multiple of 4?
True
Is (-5 + 22 + -15)/((-2)/(-76)) a multiple of 2?
True
Let r(p) = 7*p**2 - 6*p - 1. Let v be r(8). Suppose 55*f - 58*f = -v. Is f a multiple of 41?
False
Let d(o) = -14*o - 81. Does 16 divide d(-21)?
False
Suppose 0 = -2*y + 6, -9 = -j + 3*y - 0*y. Let z be j + 4/(-6)*3. Suppose -2*c = 8, 9*c = -3*m + 4*c + z. Does 4 divide m?
True
Let c(b) = 12*b**2 - 3*b + 6. Does 18 divide c(2)?
False
Suppose 2*w + 396 = -0*w - 2*i, -i + 200 = -w. Is 62 a factor of -8*3/6 - w?
False
Let h(d) = d**3 + 6*d**2 - d + 17. Let p be h(-8). Let u = -74 - p. Is 29 a factor of u?
True
Suppose -5*d + 1012 = 202. Is d a multiple of 18?
True
Suppose -10*n - 57 = -11*n. Is n a multiple of 4?
False
Let h = 279 + 1696. Does 79 divide h?
True
Suppose 15*j - 3*j = 10560. Is j a multiple of 40?
True
Let v(f) = -2*f - 5. Suppose 5*s - 12 - 8 = 0. Suppose -n - s*n = 30. Is 3 a factor of v(n)?
False
Let j(d) = 386*d + 372. Is 9 a factor of j(4)?
False
Let q = 325 - 360. Let o be (-2 - (22 - -2))*1. Let m = o - q. Is m a multiple of 4?
False
Let i(k) = 3 - 16 - 3*k + 0*k - 8*k. Is 12 a factor of i(-3)?
False
Let a(v) be the second derivative of 1/12*v**4 - 3*v + 0 - 1/3*v**3 + 3/4*v**5 + 1/2*v**2. Is a(1) a multiple of 5?
True
Is 5 a factor of (-923)/(-39)*(3 + -1 + 1)?
False
Let q(x) = 30*x**3 + x**2 - x. Let k be q(1). Let i = k + 2. Is i a multiple of 8?
True
Let u be 0 - -3 - 16/1*1. Is (1*-1)/(u/65) a multiple of 2?
False
Suppose -39*b + 48580 = -11*b. Is 9 a factor of b?
False
Let f(s) = -s + 14. Let q be f(6). Suppose 4*g - 3*l - 49 = -q*l, 2*l + 31 = 3*g. Is 11 a factor of g?
True
Let b = -211 + 289. Is 13 a factor of b?
True
Let q(v) = v**3 - 20*v**2 - 26*v - 27. Is 20 a factor of q(22)?
False
Suppose 2*b - b = 4. Suppose 6*k - 2*t = k + 3, -t + b = 3*k. Is 18 a factor of (k/(-2))/((-1)/94)?
False
Suppose 2*n = 5*z + 167, -3*n + 2*z - 3*z + 293 = 0. Let o = n - 1. Is o a multiple of 19?
True
Suppose -k + 112 = -17. Is 12 a factor of k?
False
Let r be 12*(-3)/27*-3. Suppose r*c = o - 15, -2*o - c = 2*c + 3. Is 9 a factor of -3 - -6*4 - o?
True
Suppose 2*t = 4*v, 2*t = -2*v + 8 + 4. Suppose 0 = -4*r - d - 35, -t*d = 4*r + 10 + 34. Let u = r + 30. Does 11 divide u?
True
Let w = -31 - -42. Suppose w*j - 75 - 321 = 0. Is j a multiple of 9?
True
Does 91 divide ((154*169)/11)/2?
True
Suppose -100 = 4*x - 8*x. Let c be (4/10)/((-5)/x). Does 15 divide ((-5)/(-5) + c)*-45?
True
Let t(i) = 6*i**2 - 37*i + 3. Is 66 a factor of t(15)?
False
Suppose 4*z + k = 1196, -4*k + 2038 - 554 = 5*z. Does 5 divide z?
True
Suppose -4*v - 38 - 170 = 3*j, 2*j + 4*v + 136 = 0. Let s = -68 - j. Is s a multiple of 2?
True
Suppose 68 = 2*s - s + p, p + 310 = 5*s. Is 3 a factor of s?
True
Let t(d) = 34*d + 102. Does 14 divide t(8)?
False
Suppose 12*c + 6*c = 56628. Does 12 divide c?
False
Let f = 13 + -14. Let z(w) = -6*w**3 + w. Let r be z(f). Suppose -r*m = -3*i + 51, -51 = -3*i - m - 0*m. Is i a multiple of 12?
False
Suppose 2*m + 2*m = 2*a + 94, 2*m - 2*a = 50. Let x = 98 + m. Is x a multiple of 24?
True
Let m(n) = -7*n + 65. Is m(-21) a multiple of 53?
True
Suppose 14 = -c - 5*x + 2*x, -2 = 3*c + x. Suppose -4 = -3*m - 5*y, -y = -m + 5 - c. Suppose m - 25 = -2*h. Does 2 divide h?
False
Let y = 813 - 628. Does 37 divide y?
True
Let d = 71 - 21. Let p = d - 4. Is p a multiple of 17?
False
Let b(a) = 3*a**3 - 6*a**2 + 7*a - 40. Is b(6) a multiple of 31?
True
Suppose b - 110 = -20. Is 5 a factor of b?
True
Let m be ((-10)/4)/((-3)/6). Suppose 2*c + 7 = 2*n - 3, n + 19 = -m*c. Is 3 a factor of 24/(-16)*(c - 0)?
True
Suppose 0 = -77*i + 68*i + 41013. Does 18 divide i?
False
Let l(b) = -b**3 - 34*b**2 - 4*b + 32. Is 24 a factor of l(-34)?
True
Let g be (-2)/3 + 144/54. Suppose 3*u - 695 = -g*u. Does 18 divide u?
False
Let d = -35 - -46. Does 29 divide (-178)/(-2) - (-15 + d)?
False
Let c(u) = 2*u**3 - 17*u**2 - 9*u + 4. Let j be c(9). Suppose 434 = j*q - 0*y + 2*y, 0 = 5*q + 3*y - 543. Is 18 a factor of q?
True
Suppose 17 - 129 = -5*u - 2*k, u + k = 23. Let s = 0 + 46. Let y = s - u. Is y a multiple of 7?
False
Suppose 5*t - 25 = -i + 4*i, i = t - 5. Suppose 3*k + b - 128 = i, k = b + 18 + 30. Does 8 divide k?
False
Suppose -7*x + 24 = x. Suppose -q - 2*j + 200 = q, -x*q + 3*j = -312. Does 18 divide q?
False
Let l = -212 + 440. Is l a multiple of 55?
False
Let m = 30 + -25. Suppose -2*r + 160 = r + 4*t, -r + 68 = m*t. Is r a multiple of 16?
True
Suppose -306 = -5*x + 2*x. Suppose -s - s = -x. Suppose -5 - s = -2*h. Is 7 a factor of h?
True
Let h(r) = 8*r**3 - 3*r**2 + 10*r - 3. Does 23 divide h(2)?
True
Let t(f) = -6*f**3 - f + 1. Let s be t(-2). Suppose s = -3*z + 177. Is z a multiple of 6?
True
Suppose 86 = 2*t + 4*o, -t - t + 5*o = -95. Does 29 divide t?
False
Let g(x) be the second derivative of -x**3/6 - x**2 + 12