 + 3*g + 78 = -88, 4*u - w = -g. Is u a multiple of 16?
True
Suppose -185 = 3*k - 4*k - 5*j, -3*k + 615 = 3*j. Let u = k - 132. Is 10 a factor of u?
False
Let g(t) be the second derivative of 0 + t**2 - 1/3*t**3 - 5*t + 2*t**4. Is 6 a factor of g(1)?
True
Is 15 a factor of 62*(87/6 - 7)?
True
Suppose 2*c = c + y + 565, -2*c + 1118 = y. Is c a multiple of 29?
False
Let g(n) = 2*n**2 + 3*n + 1. Let i be g(-2). Let t be (-6)/(-5)*80/24. Is 2 a factor of (i - (t + -3)) + 3?
False
Let v = 25 + -23. Suppose 3*t + 11 = -3*m + v, 2*m = -5*t - 15. Suppose 0 = -4*a + 2*c - c + 254, a - 2*c - 67 = m. Is a a multiple of 22?
False
Suppose 0 = 6*i - 3 - 27. Suppose l - 2*h = 13, 107 = i*l + 6*h - 2*h. Does 5 divide l?
False
Suppose 5*q + 44 + 81 = 0. Let t = -112 - q. Let x = t - -123. Is x a multiple of 9?
True
Suppose -3*v + 38 = -k - v, -3*v - 6 = 0. Does 13 divide (56/k)/((-2)/48)?
False
Let y(a) = 16*a**2 + 41*a + 2. Let j(p) = -10*p + 56. Let n be j(6). Is y(n) a multiple of 5?
False
Suppose -2*r = 4*q - 5*q + 109, -5*r = -2*q + 214. Is q a multiple of 9?
True
Let i(n) = n**3 + 7*n**2 + 2*n - 8. Let u be (5 - 1)*39/12. Suppose -u = 4*s + 7. Is 8 a factor of i(s)?
True
Suppose 114080 = 27*g + 4*g. Does 115 divide g?
True
Let u = 22 + -13. Let p = -10 + u. Is (1 - (p + 0)) + 5 a multiple of 7?
True
Is 13 a factor of (473 - (-30)/5) + 4?
False
Let r(d) = -d**2 - 54*d - 38. Does 5 divide r(-26)?
True
Suppose -5*c - 3*h = -5*h - 1572, -3*h + 939 = 3*c. Does 6 divide c?
False
Let z = 198 + -33. Suppose -10*r + z = -165. Is 13 a factor of r?
False
Let t(w) = -w**2 + 8*w - 1. Let n be t(8). Let k(p) = 37*p**2 - 5*p - 4. Does 14 divide k(n)?
False
Let x = 314 + -218. Does 8 divide x?
True
Let w = 76 + -50. Let z = w - 2. Is 4 a factor of z?
True
Suppose -y + 353 = 5*t, -4*y + 730 = -2*y + 4*t. Suppose -3*c = -y - 26. Suppose 4*i - 4*z = 268, 2*z = -2*i + 3*z + c. Is 22 a factor of i?
True
Let o be 12/6*(-6)/(-4). Suppose -5*a - o*t = -179, -5*a + 5*t + 92 = -63. Is 3 a factor of a?
False
Let b(j) = -j**2 - 14*j + 14. Let t be b(-15). Does 9 divide t*(-66 - 12/4)?
False
Let k(i) = -i**2 - 34*i - 53. Is 9 a factor of k(-28)?
False
Let s(o) = 17 - 15 - 12*o**2 - 11*o**2 + 2*o. Let j be s(-1). Let n = -7 - j. Is 5 a factor of n?
False
Does 24 divide 5/(30/792) - -4?
False
Is -1 - ((-2019)/7 + (-4)/7) a multiple of 3?
True
Let k = 24 + -41. Let n = 40 + k. Let x = 96 - n. Is 27 a factor of x?
False
Suppose -17 = 4*t - 69. Let b(q) = 9*q**2 + 7*q**2 - q**3 - q + 18 - 3*q**2 + 0*q**2. Is b(t) a multiple of 3?
False
Let v(b) = 9*b + 29. Is 24 a factor of v(8)?
False
Let t be 143/11*(1 - 0). Let u = t - 2. Does 3 divide u?
False
Let y(b) = -50*b - 538. Is 104 a factor of y(-17)?
True
Suppose -5*a + 1875 = 5*w, -3*w - 8*a = -3*a - 1127. Is w a multiple of 17?
True
Let o(k) = k**3 - 12*k**2 + 11*k + 4. Let y be o(11). Suppose -4*g = y*t - 156, 177 = 7*g - 2*g - t. Does 10 divide g?
False
Let w be 4/(-18) - (-29)/9. Let c(v) = v + 52. Let q be c(12). Suppose q = w*l + l. Is l a multiple of 16?
True
Suppose 2*a = 3*a - 5*u + 189, -217 = a + 2*u. Let y(z) = 12*z**2 + z - 6. Let b be y(5). Let v = b + a. Is v a multiple of 27?
False
Suppose 4*r + 30 = -5*z, r = 5*z + 6*r + 30. Does 14 divide ((-1065)/z)/5*(5 + -3)?
False
Let h = -10 + 5. Let r be (-125)/h - 2 - 0. Let k = r + -10. Is 8 a factor of k?
False
Let q(j) = j**3 + 37*j**2 + 16*j + 8. Is 68 a factor of q(-36)?
False
Let h(i) = -i**2 - 8*i - 5. Let n be h(-7). Suppose n*q = 9 + 1. Suppose -46 - 29 = -q*a. Is a a multiple of 7?
False
Suppose 5*b - a = -74, 2 = -a + 1. Is (-44*(-3)/b)/((-2)/20) a multiple of 8?
True
Let l(y) = -280*y**3 + 3*y**2 + 5*y + 4. Let s be l(-2). Is s/12 - (-7)/(-42) a multiple of 28?
False
Let j = -432 - -298. Let w = j + 152. Does 4 divide w?
False
Let g = -660 - -844. Does 8 divide g?
True
Let h(k) = -k**3 + 9*k + 918 - 918 - 6*k**2. Let o(s) = -7*s - 1. Let t be o(1). Is h(t) a multiple of 14?
True
Let o(c) = 8*c - 41. Let n = 57 + -40. Is o(n) a multiple of 19?
True
Does 30 divide 4/(-1) + -2 - -1305?
False
Suppose -15 = -5*f + 5*x, -f + x - 6*x + 15 = 0. Suppose -f*h - 4 - 1 = 0, 0 = 3*u + 2*h - 40. Is u a multiple of 12?
False
Let a(w) = -w**3 - 8*w**2 + 7*w - 13. Let f be a(-9). Is f + -9 - (-1 - 24) a multiple of 3?
True
Suppose -3*n = -5*d - 212, -6*n = -n - 4*d - 362. Let p = n - 17. Suppose -11 - p = -2*w. Is 9 a factor of w?
False
Suppose 6*l + 376 = 10*l. Suppose -4*r - 5*b + 2*b + l = 0, -3*b + 119 = 5*r. Does 5 divide r?
True
Suppose 0 = -3*f + 284 - 38. Is 21 a factor of f?
False
Suppose -5*f + 1296 = 2*c, -5*c - 1828 + 553 = -5*f. Suppose 6*n - f = 162. Does 35 divide n?
True
Is (-51)/(-4)*(116 - -4) a multiple of 30?
True
Let o = -84 + 62. Let p(g) = -4*g - 73. Does 6 divide p(o)?
False
Let q = 3 - 1. Suppose 0*u + 24 = -4*u - q*f, 5*u - f = -23. Let p = u + 41. Does 18 divide p?
True
Is (-400)/(-5)*1 + -1 + 5 a multiple of 5?
False
Let n(z) = -33*z + 1. Let g be n(-1). Suppose 3*s = -4 + g. Suppose -s - 95 = -5*y. Is y a multiple of 14?
False
Suppose -2*v - 4 = 2*v. Let i(u) be the second derivative of -9*u**5/20 - u**4/12 - u**3/3 - u**2/2 + 15*u + 1. Does 3 divide i(v)?
True
Let w = 108 + -55. Suppose -86 = -5*l - 4*z - 9, -4*z = -5*l + w. Let k = 39 + l. Is 10 a factor of k?
False
Suppose -5*u + 2*g + 1575 = 0, u - 315 = 2*g + 3*g. Is 21 a factor of u?
True
Let x(a) = a**3 + 6*a**2 + 2*a + 6. Let j be x(-5). Suppose 4*g = -1 + 17, -j = -3*b + 3*g. Suppose -b = -2*z + 21. Is z a multiple of 8?
True
Let z = -67 - -379. Suppose 0 = 27*x - 31*x + z. Is 25 a factor of x?
False
Let j = 10 + 0. Suppose 0 = -5*v + j - 0. Suppose 0 = -5*a + 5*d + 165, 3*a + v*a + d - 147 = 0. Is 10 a factor of a?
True
Suppose 10 = 4*n - 3*o + 2, 2*o + 2 = 2*n. Suppose -n*c + 195 = -65. Is c a multiple of 13?
True
Suppose 18*y - 27*y + 1917 = 0. Is 3 a factor of y?
True
Let s be (-3 + (-4)/(-4))*-1. Suppose 2*x = -4*w + 34, -x + s*x - 38 = -5*w. Suppose -w*c + 36 = 4*y - 2*c, -c = 4*y - 36. Is 2 a factor of y?
False
Is (-9)/18*-1450 - 20/4 a multiple of 5?
True
Let f(i) be the first derivative of 23*i**3/3 + 3*i**2 + 7*i + 54. Does 29 divide f(-2)?
True
Let r(d) = -5*d**3 - d**2 - d - 3. Let l(y) = 14*y**3 + 3*y**2 + 2*y + 9. Let c(z) = 4*l(z) + 11*r(z). Let j be c(-3). Is (-28)/j + (-5)/(-15) even?
False
Suppose 3*a - 5*q - 539 = 0, -4*q + 122 = 3*a - 408. Is 89 a factor of a?
True
Suppose -2*s - 1 - 467 = 0. Is ((-2)/(-3))/((-13)/s) a multiple of 6?
True
Is 21/(-10 - (-726)/72) a multiple of 6?
True
Suppose 5*t - 1545 = -5*a + a, a - 615 = -2*t. Suppose t = 5*c - 100. Is 19 a factor of c?
False
Let f(v) = v**3 + 8*v**2 + 4*v - 3. Let z be f(-6). Let q = 97 - z. Does 11 divide 0 + 6/(-3) + q?
False
Let c(w) = -w**2 + 2*w + 650. Let f be c(0). Let g = 449 - f. Is (-5)/(-20) - g/12 a multiple of 10?
False
Let a(t) = -t**3 - 9*t**2 + 9*t - 8. Let u be a(-10). Suppose -u*l + 207 = l. Is 23 a factor of l?
True
Let i(k) = 29*k**2 + 76*k + 120. Does 21 divide i(-12)?
False
Let x be (-8)/20 + 4088/20. Let m = x + -138. Is 33 a factor of m?
True
Let o = 28 - 13. Suppose 3*p - o = -0*p. Suppose -p*j - 161 = -491. Is 22 a factor of j?
True
Let b(k) = 31*k**3 - 2*k**2 + k - 4. Let u be b(4). Does 33 divide 2/(-3) + u/12 + 3?
True
Let u(n) = 9*n**2 - 2 - n**2 - n + n**2. Suppose 5*l - 3*l + 4 = 0. Does 12 divide u(l)?
True
Is 78 a factor of 545 - (-11 + (-6 - -16))?
True
Suppose 52245 = 23*s + 20*s. Is s a multiple of 45?
True
Suppose 6*w - 145 = -85. Suppose -t = 2*p - 1, 5*t + p = -6 + 2. Is 28 a factor of t/(-5) - (-278)/w?
True
Let j(g) be the first derivative of -g**4/4 + 14*g**3/3 + 9*g**2 + 7*g - 12. Is j(15) a multiple of 13?
True
Let o = -254 - -318. Does 11 divide o?
False
Suppose 6*a = a + 2*i + 215, 5*a - 3*i = 210. Let k = a + -33. Is k a multiple of 12?
True
Suppose -r + 1107 = -5*c - 329, 0 = c + 2. Does 11 divide r?
False
Let l(c) = -4*c**2 - 6*c - 5. Let i be l(-1). Is (-6 - i - -1)*-17 - 1 a multiple of 33?
True
Let i(o) = -2*o**2 + 7*o + 87. Let q be i(-6). Suppose 0 = -5*z + 172 + 83. Let j = z + q. Does 6 divide j?
True
Let j(m) = 7*m**3 - 4*m**2 + 13*m - 2. Is j(4) a multiple of 20?
False
Let f(t) = 3*t**2 + t. Suppose -9 = k - q - q, k - q + 6 = 0. Let p be f(k). Let d = p + 32. Is