of n(a)?
False
Suppose 5*d = -5*m + 15, 3*d = 5*d + 4. Suppose 5*f = -10, 3*f + 14 = a + m*f. Does 3 divide a?
True
Let o be (-2 + 2)*(-5 + 4). Does 24 divide 48/(4 + (-3 - o))?
True
Let g(x) = -4*x + x**2 - 6*x**3 + 4*x + 7*x**3 - x + 99. Is g(0) a multiple of 11?
True
Let t(g) = g**3 + 8*g**2 - 5*g - 11. Let q be t(-8). Let a = 54 - q. Is -1*(4 - 0 - a) a multiple of 14?
False
Let f = 316 - 136. Is f a multiple of 60?
True
Let j = 2273 + 634. Does 19 divide j?
True
Suppose 335*v - 32664 = 311*v. Is v a multiple of 58?
False
Let n(y) = 5*y**2 - 29*y + 125. Is n(5) a multiple of 5?
True
Is 330 - (12/2)/(8 + -10) a multiple of 27?
False
Suppose 2*d = -2*k + 16, 54*d - 56*d = k - 12. Suppose -3*p + 237 = -3*h, h + 403 = 4*p + p. Suppose k*r = -r - v + 357, 5*v = -r + p. Is 9 a factor of r?
False
Let g(l) = -3*l - 12. Suppose -5*f - 2*r - 6 = 24, 0 = -5*f + 4*r - 60. Is g(f) a multiple of 6?
True
Let a(j) = -2*j**3 - j**2 - 3*j - 4. Is 14 a factor of a(-2)?
True
Suppose 0 = -5*k + 2*p - 270, 0*k + 5*p = 2*k + 87. Is 24/k + (-164)/(-7) a multiple of 5?
False
Let b = 1276 - 1233. Is 7 a factor of b?
False
Let n = 240 + 125. Does 46 divide n?
False
Let r = 343 - 153. Is 3 a factor of r?
False
Let w(b) = -b**2 + 9*b + 27. Let n be w(10). Let f(s) = -5*s. Let u be f(-1). Let j = n - u. Is j a multiple of 2?
True
Suppose 2 = 4*w - 10. Let z be (-8 + 4)*(w + 2). Is 16 a factor of (z/(-25))/((-4)/(-110))?
False
Let g(k) be the first derivative of k**4/4 + 8*k**3/3 - 3*k**2/2 - 13*k - 10. Does 13 divide g(-7)?
False
Let u = 1947 - -1096. Is 7 a factor of u?
False
Let c(q) = -q**3 - 6*q**2 - 2*q - 1. Let m be c(-6). Let g(i) be the second derivative of -i**4/12 + 19*i**3/6 + 4*i**2 - 20*i. Is g(m) a multiple of 26?
False
Let y(f) = 3*f**2 - 4*f - 5. Suppose 2*r + 48 = 4*q, 2*r + 5 = 1. Suppose -3*d - 4 - q = 0. Does 30 divide y(d)?
True
Let w(b) be the second derivative of b**5/20 + 7*b**4/12 - 5*b**3/6 + b**2/2 - 13*b. Is 12 a factor of w(-7)?
True
Let m = 28 - 24. Suppose 5*h - 16 = h + m*p, -10 = -2*p. Is 8 a factor of h?
False
Suppose 0*p - 32 = -4*p. Let l(v) = v**2 - 7*v + 14. Is l(p) a multiple of 11?
True
Suppose -4*m - b = -2994, 26*m - 29*m + 2240 = -2*b. Is 34 a factor of m?
True
Let f(v) = 48*v - 9. Let u be -4*1 + 55/11. Does 7 divide f(u)?
False
Suppose 5*h = -z + 25, 6*h + 5*z = 3*h + 37. Suppose -h*w = -5*o + 10, 4*w = 3*w + 5*o - 10. Is (w/(-2) - 1) + 7 a multiple of 6?
True
Let f be 226/(-1)*1/(-2). Let x = f - 81. Is 4 a factor of x?
True
Suppose 0 = 3*w + 995 + 151. Let d be (-6)/(-1)*w/(-6). Is (-2)/(-8) + d/8 a multiple of 17?
False
Let d be (50/8)/(-5)*4. Let w(z) = 3*z**2 + 10*z + 3. Is 15 a factor of w(d)?
False
Let q be 0 + (-2)/((-78)/(-30) + -3). Let f(h) = 2*h**2 - 2*h - 2. Let k be f(2). Suppose 46 = k*v - a + 7, -q*a + 25 = v. Does 19 divide v?
False
Let n(s) = -s**3 - 2*s**2 - 17*s + 497. Is 6 a factor of n(0)?
False
Is 25 a factor of (-14003)/(-335) + 8/(-10)?
False
Suppose -3*y - 10 = -o, 0*o - o = 4*y + 4. Let w be ((-1)/2)/(y/(-356)). Let j = w - -144. Does 16 divide j?
False
Let l(f) = 13*f**2 - f - 11. Let r be l(-4). Let g = r - 93. Is g a multiple of 12?
True
Let u = -1 + 1. Let w be (u/(0 + -2))/(-1). Suppose b = -b, -4*x + 5*b + 16 = w. Is x a multiple of 3?
False
Let g = 271 - 105. Does 2 divide g?
True
Let y(u) be the first derivative of -2*u**3/3 - 5*u**2/2 + 3*u + 1. Let x(t) be the first derivative of y(t). Is x(-6) a multiple of 7?
False
Let j(i) = -4*i + 24*i - 21*i - 21*i + 7. Does 32 divide j(-4)?
False
Let b(v) = 2*v**2 - 4*v - 5. Let a be 4 - (3 + (6 - 3)). Is 3 a factor of b(a)?
False
Suppose -2*h + 2*i = -0*i + 16, 2*h = -i - 7. Let q = 163 - h. Does 8 divide q?
True
Suppose -13*h - 60 = -9*h. Let s = -13 - h. Is s/((-8)/(-12)) + 6 a multiple of 2?
False
Suppose 0 = -v - 4*s + 11, -3*s = v - 2 - 7. Suppose 3*i + 0*o = -v*o + 27, 0 = -5*i - 2*o + 48. Let t(k) = -k**2 + 14*k + 8. Is 16 a factor of t(i)?
True
Let n(m) = m**3 - 10*m**2 - 14*m + 12. Let w be n(11). Let k be 2*(-1)/(-3)*w. Let a(f) = f**3 + 13*f**2 - 17*f - 28. Is 8 a factor of a(k)?
False
Let y(j) = -52 - 19 - 3 + 6*j. Is 8 a factor of y(23)?
True
Let y(l) = 9*l - 5. Let g be y(4). Suppose 4*i = 103 - g. Is i a multiple of 3?
True
Suppose -2*b + 152 - 1372 = -5*i, 0 = -2*i - 3*b + 469. Does 22 divide i?
True
Suppose 4*b = 3*b + 5*l + 304, -l = -b + 288. Is b a multiple of 25?
False
Let t be -2*6/8*-2. Suppose 4*n - 2*s + 6*s + 32 = 0, -4*s - 26 = t*n. Is 22 a factor of 83/3 + 4/n?
False
Is (-4944)/(-30) - 8/10 a multiple of 11?
False
Suppose -233*s - 1596 = -240*s. Does 2 divide s?
True
Let g(k) = -k**3 + 8*k + 5 - 6*k**2 + 0 + 5. Let u be g(-7). Suppose 0 = -3*p + 2*t + 69, 4*p - 116 = -p + u*t. Does 7 divide p?
False
Let b = -689 + 907. Is b a multiple of 101?
False
Let k(b) = 15*b - 30. Is k(20) a multiple of 5?
True
Let t(c) = -2*c**2 - 47*c - 26. Let x be t(-20). Let r = -50 + x. Is 19 a factor of r?
False
Let o(g) = 34*g - 105. Does 28 divide o(21)?
False
Let a = 1052 + -562. Does 28 divide (0 + -4)/(-8)*a?
False
Let t(l) = -l**2 + 7*l - 4. Let h be t(6). Suppose -h*g - 138 = 2*b, 2*g - b = 57 - 198. Let k = g - -115. Is 15 a factor of k?
True
Let x(d) = 10*d**2 - 8*d - 26. Let y be x(-5). Let q be (8/(-2))/(4/(-2)). Suppose 4*o = q*o + y. Is o a multiple of 44?
True
Does 55 divide (44*1)/(22/55)?
True
Suppose -16*g + 23*g - 105 = 0. Does 2 divide g?
False
Let q = 418 - 9. Is 37 a factor of q?
False
Suppose 6650 + 6750 = 10*m. Does 25 divide m?
False
Let v(h) = 78*h**2 - 2*h - 2. Let a be v(-1). Suppose -4*d = 12, -2*j - a = j + 4*d. Let f = 40 + j. Is f a multiple of 18?
True
Let u = 181 + -68. Is u a multiple of 6?
False
Suppose -25*v + 24*v = -4. Suppose 5*k = m + 249, k - 45 = m + v*m. Is k a multiple of 25?
True
Let y = 52 - 22. Let m = y + 6. Is 0 + (3 - 1) + m a multiple of 25?
False
Suppose 47 = 3*h - o - 52, -2*h = 2*o - 58. Suppose -b + h = b. Let s = b + -7. Is s a multiple of 3?
True
Let t be (3/(-2 + 5))/(5/3550). Suppose 0 = -5*x + 3*p + 889, p + p = 4*x - t. Is 16 a factor of x?
True
Let q(k) = 46*k**2 - 27*k - 8. Does 11 divide q(7)?
True
Is 5 a factor of 102 + 8/(-32)*4?
False
Let z(m) = m**2 - 10*m - 5. Is z(16) a multiple of 8?
False
Suppose c + k - 56 = 382, c + 4*k = 450. Does 7 divide c?
True
Let m(g) = -3*g**2 - 246*g + 36. Is m(-67) a multiple of 89?
False
Let o be (12/10)/(4/10). Let r(x) = -15*x**2 - 19*x + 24. Let j(m) = 3*m**2 + 4*m - 5. Let q(y) = 11*j(y) + 2*r(y). Does 19 divide q(o)?
True
Let r be 2/(-11) - (-1326)/33. Let m(j) = 5*j - 2. Let f be m(3). Let p = r - f. Does 17 divide p?
False
Suppose 5*u = 43 + 302. Suppose -2*b - 94 = l, -2*b + 2*l = 5*l + 90. Let n = b + u. Is n a multiple of 7?
True
Suppose -y - 4*y = -2*i + 457, 5*i - 4*y - 1168 = 0. Suppose -q + 89 = -3*r, 54 = -2*q + 4*r + i. Is q a multiple of 19?
True
Suppose 20*o = 8572 + 10508. Is 15 a factor of o?
False
Let v(z) = 11 + z**2 - 2 + 3 - 14*z. Let l be v(9). Is (0 + 0 - 1)*l a multiple of 11?
True
Let o(w) = -w**2 - 7*w + 1. Let l be o(-7). Suppose -l = -0*q - q. Is ((-15)/12)/(q/(-4)) even?
False
Is (-6)/(-30) - 2638/(-10) a multiple of 62?
False
Suppose 4*c - 5*l + 37 = 0, -5*l - 8 = 2*c + 3. Let n(u) = -31*u - 11. Let k be n(c). Suppose -7*i + k = -4*i. Does 20 divide i?
False
Suppose 5*f - 104 = -2*x + 12, 3*x = 4*f - 79. Is 2 a factor of f?
True
Suppose 2*b = b - t + 13, b - 1 = -5*t. Is b/(-12)*3 + 2 + 326 a multiple of 55?
False
Let a be (1372/7)/(2 - 0). Suppose 3*x = -l + a, -x + 356 = 5*l - 176. Does 18 divide l?
False
Suppose 3 = -m + 4. Let a(j) = 10*j**3 + j**2 - j. Let q be a(m). Suppose 4*x - 4*v = 203 + 129, 0 = -5*v + q. Is 17 a factor of x?
True
Suppose -466 = -12*l + 16442. Suppose 0 = 5*t - 5*k - 2000, 3*k + l + 601 = 5*t. Is 15 a factor of t?
True
Let j be (-691)/(-13) - 12/78. Let u = j + -32. Is u a multiple of 16?
False
Let h = -492 - -525. Does 11 divide h?
True
Let d(s) = 5*s**2 + s + 284. Does 57 divide d(0)?
False
Let a = -3 + 9. Let l(z) = -9*z**2 + 6*z - 1. Let y(h) = -3*h**2 + 2*h. Let p(t) = -4*l(t) + 11*y(t). Is p(a) a multiple of 29?
False
Suppose 0 = -3*n - 3. Let a be (-14)/(-4) + n/(-2). Suppose a*s - 3*s = 18. Does 18 divide s?
True
Let a(b) = 15*b + 44. Is 6 a factor of a(6)?
False
Let t 