 + 353 = 5*n - 241, -4*i = -4*n + 464. Is n a multiple of 3?
False
Let w(y) = -11*y - 35. Is 9 a factor of w(-4)?
True
Let b(f) = 3*f + 4. Let k be b(-3). Let r = -3 - k. Let d(h) = 6*h**2 - 2. Is 11 a factor of d(r)?
True
Suppose -5*q - 2*h = 39, 2*q = 8*h - 3*h - 33. Suppose g + 11 = -2*c, 5*g - c + 65 + 45 = 0. Let z = q - g. Does 5 divide z?
False
Let v(k) = -k**2 + 16*k + 1. Is v(11) a multiple of 14?
True
Suppose -5*m + 5*b = -930, 10*m = 5*m + b + 934. Is m a multiple of 25?
False
Let b = 115 + -52. Does 9 divide b?
True
Let h(m) = -14*m + 21. Does 63 divide h(-3)?
True
Let b be ((-15)/(-3))/1 + -1. Let m = 16 - b. Does 4 divide m?
True
Is 10 a factor of (123/(-1))/(9/(-6))?
False
Is (-56)/(-84) + 1 + (-1286)/(-6) a multiple of 27?
True
Suppose 0 = -3*w - 3*j + 6, -2*w + 4*j + 13 = w. Suppose -t + w*y = 3*t - 64, y = -5*t + 61. Suppose -c + t = -16. Is 14 a factor of c?
False
Suppose 14 = 5*t + 4*w, -w + 2 - 3 = -t. Let p(f) = 3*f**2 - 3*f**t - 9 + 3*f**2 - 10*f - 4*f**2. Is 15 a factor of p(-6)?
True
Let r be (-6)/(-21) - (-26)/7. Suppose 2*m = 5*j + 15, 0*m + 2*j = m - 7. Suppose -11 = -m*k + 2*d, -r*k + 5*d + 2 = -0*k. Is 3 a factor of k?
True
Let y(t) = -30*t - 95. Is 28 a factor of y(-9)?
False
Suppose 0 = 2*i - 3*i + 4*c + 24, 4*i = -2*c + 24. Let t be (-4)/2 - (3 - i). Suppose -t*r = -14 - 4. Is 4 a factor of r?
False
Let z be (27/(-12) + 3)*-24. Is 10 a factor of ((-12)/z)/(2/60)?
True
Let g = 19 - -15. Is g a multiple of 8?
False
Let u = -71 - -120. Let r be (-4)/6 - (-69)/9. Suppose g - 4*g + 2*k + u = 0, -g + r = 4*k. Is 14 a factor of g?
False
Let m = 53 - 90. Let g = -63 + 10. Let q = m - g. Is 10 a factor of q?
False
Let q(t) = 27*t + 1. Suppose 5*p + 6*d = 3*d + 2, -2*p + 7 = -5*d. Is q(p) a multiple of 18?
False
Is 10 a factor of (-28)/8*-2*3?
False
Let f = 189 + -106. Does 9 divide f?
False
Let x(f) = 2*f**2 + 4*f + 3. Is 17 a factor of x(4)?
True
Let a = -28 - -36. Does 4 divide a?
True
Suppose b = -3*p + 179, b - 285 = -5*p + 6*b. Is 10 a factor of p?
False
Let x(z) be the third derivative of -z**5/60 + 11*z**4/24 - 5*z**3/6 + 3*z**2. Let y be x(10). Suppose 6*m - 2*m + 18 = s, -y*s + 54 = -2*m. Is 5 a factor of s?
True
Let n = -13 + 10. Let c be (-2)/(-4)*(18 + 0). Let t = n + c. Is 6 a factor of t?
True
Does 3 divide (-4)/(-8)*(14 - 4)*2?
False
Let x be -3 + (-3 - -6) - -64. Let j = 112 - x. Is 18 a factor of j?
False
Let y(f) = 3*f - 3. Suppose 0 = 4*l - 17 - 3. Does 11 divide y(l)?
False
Suppose 5*a - 3 = 7. Suppose a*o - 38 - 18 = 2*x, -2*o + 60 = -x. Does 11 divide o?
False
Suppose -5*b = -3*b - 20. Is 3 a factor of b?
False
Does 23 divide ((-3045)/(-45) - (-2)/6) + 1?
True
Is 12 a factor of (8 - 6)*4*7?
False
Let b(z) = 4*z**2 + 8*z + 1. Let p(v) = -3*v**2 - 5*v - 1. Let n(u) = -u**2 - 10*u - 2. Let o be n(-9). Let f(w) = o*p(w) + 5*b(w). Is f(4) even?
True
Let u = 131 + -57. Is u a multiple of 21?
False
Let t(g) = -7*g + 6. Is 5 a factor of t(-2)?
True
Suppose 0 = -q + h + 7, 3*h + 11 = -2*q. Suppose -g - 16 = -q*g. Does 5 divide g?
False
Suppose v - 3 = 34. Is 10 a factor of v?
False
Let z(u) = 10*u - 11. Is z(6) a multiple of 7?
True
Suppose -6*p + 2*p + 48 = 0. Does 12 divide p?
True
Suppose -2 = -4*n - 4*h - 6, 0 = -4*n + 4*h + 36. Suppose n*b = -s + 13, 2*s - 10 = -4*b + 8. Does 15 divide (1*(-39 - b))/(-1)?
False
Suppose 7*g - 12*g = -20. Does 4 divide g?
True
Suppose 5*a - a = 1216. Let f = -23 + 9. Is 11 a factor of 2/7 - a/f?
True
Suppose -9 = -3*a, 0 = 5*h + 2*a - 0*a - 11. Let p(c) = 8*c**3 + 2*c**2 - c. Let v be p(h). Is 6/4*66/v a multiple of 11?
True
Let y(m) = -m**3 - 7*m**2 - m + 2. Let i(a) = -4 - a - 9 + 1. Let z be i(-5). Is y(z) a multiple of 4?
False
Let b(v) = -16*v**3 - v**2 - v - 1. Let y(o) = 2*o + 3. Let g be (-2)/8 + (-7)/4. Let t be y(g). Is b(t) a multiple of 15?
True
Is 27 a factor of 1 - (-6769)/21 - 4/(-6)?
True
Let s = -5 + 5. Let c be 36 - (2 - 2)/2. Suppose s*b = 4*b - c. Is 4 a factor of b?
False
Suppose 5*a - 89 - 21 = 0. Is 5 a factor of a?
False
Let q(x) = -17*x - 8. Let l be q(6). Let g = -49 - l. Does 13 divide g?
False
Let f = -2 - -4. Let z(g) = f*g - 4*g + 2*g**2 + 7*g. Is z(-5) a multiple of 25?
True
Let s = 9 - 6. Suppose s*f - j = 23, -2*f + 4*j - 6 = -4*f. Does 3 divide f?
False
Let a(u) = 7*u + 7. Does 8 divide a(7)?
True
Let o = 124 + -83. Is 2 a factor of o?
False
Let c(u) be the first derivative of -u**4/4 - u**3/3 + u**2/2 - 15*u - 3. Let a be c(0). Is 21 a factor of a/10 - (-119)/2?
False
Let j = 20 + -17. Suppose o - 3 = 3*h, -o + h = -j*h - 1. Is o a multiple of 9?
True
Let q = -8 + 11. Suppose 2*a + 5*r = -0*a + 13, -q*r = -3. Is ((-8)/10)/(a/(-70)) a multiple of 9?
False
Suppose 0 = -2*w + 7 - 3. Let x(a) = a + 3. Let u be x(-4). Is (10/(-4))/(u/w) a multiple of 3?
False
Let m = -14 + 5. Let a = m + 14. Suppose 3*w = -a*z + 4, 2*w = -3*w - 4*z + 24. Is 8 a factor of w?
True
Let a be (24 + 0)/(10/15). Suppose -2*c = -c - 2*m + a, 3*m = -2*c - 58. Let h = c - -47. Is 8 a factor of h?
False
Suppose -52 = 4*p + 4*x, 0 = -4*p - 2*x - 70 + 14. Let d = p + -3. Let b = 30 + d. Is 6 a factor of b?
True
Let b(i) = -6*i + 1. Does 15 divide b(-5)?
False
Let s(u) = -u**3 - 5*u**2 - 4*u + 7. Let n(l) = -2*l - 9. Let b be n(-6). Suppose -b*f + 3*z - 2*z = 12, 0 = -f + z - 2. Is s(f) a multiple of 14?
False
Let j(f) = f - 2. Let b be j(4). Let y(w) = w**2 + w + 17. Let t be y(0). Suppose -85 = -5*q - 4*h, t = q - b*h + 6*h. Does 17 divide q?
True
Let x = 10 + -1. Suppose 31 - x = 2*u. Does 4 divide u?
False
Let y = 101 - 65. Is y a multiple of 9?
True
Let c(z) = -z**3 - z**2 - z + 9. Let a be c(0). Is 18/(-4)*(-84)/a a multiple of 23?
False
Suppose -5*o = -9 - 16. Is o a multiple of 5?
True
Suppose -2*h + 7 + 11 = 0. Does 3 divide h?
True
Let d = -39 - -48. Does 3 divide d?
True
Suppose -5*p = -597 - 83. Suppose f + 3*f - p = 0. Is f a multiple of 17?
True
Suppose -m = -3, -7*q + 4*q = -m - 24. Does 3 divide q?
True
Let d(m) = 175*m**2 - m + 2. Is d(1) a multiple of 18?
False
Let k(u) = -u**3 - u**2 - u + 10. Let r be (-2)/(-3) - 2/3. Is k(r) a multiple of 5?
True
Suppose i = -b, 4*i + 1 = -3*b - 4. Let f(d) = 5*d + 24. Let g(p) = -6*p - 24. Let c(r) = b*f(r) + 4*g(r). Is 12 a factor of c(0)?
True
Let a(z) = 50*z - 1. Let d be a(2). Let i = d + -69. Does 9 divide i?
False
Suppose -5*s = 5*m - 101 - 4, -5*m + 2*s = -84. Is 9 a factor of m?
True
Let x = -1 + 4. Let h be 205/20 - (-1)/(-4). Suppose x*b - h = 2*b. Is b a multiple of 4?
False
Let u be (0 + (-1)/(-1))*35. Suppose 5*c = 55 + u. Is 9 a factor of c?
True
Suppose 2*t = -3*t - 5*j + 180, 0 = -4*j + 8. Does 6 divide t?
False
Suppose 12 + 36 = 3*a. Is 16 a factor of a?
True
Suppose c + 2*r = 30, -4*c + 156 = -3*r - r. Is 12 a factor of c?
True
Suppose -5*z + 186 = -2*d, -3*d - 39 = -z - 2*d. Does 13 divide z?
False
Suppose 41 = -2*t - 3*c + 381, -4*t = 4*c - 676. Is 20 a factor of t?
False
Suppose 4*o - 250 = 2*d, o - 2*o = 2*d - 65. Is o a multiple of 12?
False
Let q = -21 - -33. Suppose -2*n + 0 + q = 0. Does 3 divide n?
True
Suppose -2*w + 7 - 1 = 0. Does 3 divide w?
True
Let g be (1 - -1) + 3 + -2. Let h = g + -3. Suppose h = -3*m + 4*b + 56, -3*m + 61 = b + 15. Is m a multiple of 16?
True
Let x(d) = -3*d + 20. Is x(-7) a multiple of 22?
False
Suppose -216 = -4*d + 2*z - 6*z, 5*d - 246 = z. Let n = d + -31. Is n a multiple of 12?
False
Let a = 256 + -154. Suppose -3*u + 137 = 3*i - u, 4*u + a = 2*i. Let c = 77 - i. Does 15 divide c?
True
Let v = -3 + 13. Let c(n) = -10*n**2 + 9 + 4*n**3 - 3*n**3 + n**2 - 9*n. Is 5 a factor of c(v)?
False
Let b = 1114 + -749. Is 33 a factor of b?
False
Let g be 8/12 - (-110)/(-3). Let w = g - -85. Does 28 divide w?
False
Let d(p) = -p**3 - 11*p**2 + 10*p + 6. Let j be d(-12). Suppose -2*h - 4 = -j. Does 13 divide h?
True
Suppose -4*g - 4*s + 652 = -0*g, 2*g - 4*s - 296 = 0. Suppose -2*h = -0*h - g. Does 16 divide h?
False
Suppose -5*u + 113 = -37. Is u a multiple of 4?
False
Suppose 5*s = -3*z + 5*z + 302, -2*s - 3*z + 117 = 0. Let o be (-4)/(-6)*s/(-8). Is (o/3)/(5/(-105)) a multiple of 14?
False
Let y be ((-2)/3)/((-8)/12). Let x be (3/1)/y*8. Suppose x = -0*h + 4*h. Does 3 divide h?
True
Let a be 30/4*8/3. Let u(t) = -t**3 - t**2 - 1. Let y be u(0). Is (4/(-5))/(y/a) a m