21*t + 76. Does 23 divide k(-14)?
False
Let t = 113 - 113. Suppose 4*n - 5*y + 154 = 6*n, t = -n + y + 63. Is n a multiple of 7?
False
Let q = -2 - -211. Suppose 91 = y - 5*p - 17, 2*y = 3*p + q. Suppose 0 = -4*z + 2*u + 17 + y, -48 = -z + 5*u. Does 14 divide z?
True
Is (-7)/(105/185)*-3 a multiple of 4?
False
Let i(w) = -2*w**3 + 5*w**2 - w + 5. Let a be 68/(-51)*(-4 + 1). Let h be i(a). Let p = h + 84. Does 5 divide p?
False
Let f(x) = x**3 + 25*x**2 + 59*x + 96. Is f(-17) a multiple of 62?
False
Suppose 0*c - 4*c = 12. Let p be (-4851)/22*4/c. Suppose 3*w + p = 3*b, 2*b + w + 130 = 317. Is 23 a factor of b?
False
Is (28/(-3) - -5)*-3 a multiple of 13?
True
Let o = 6384 - 3934. Does 35 divide o?
True
Suppose 2*w + 4*x = 43 - 7, 3*w = 4*x + 94. Suppose -h + w = 10. Is 7 a factor of h?
False
Let p(d) be the third derivative of 23*d**4/24 + 25*d**3/6 + 10*d**2. Is p(4) a multiple of 17?
False
Let t(s) = 2*s + 6. Let i be t(-6). Let y = i - -7. Does 31 divide (2*(4 - -27))/y?
True
Let l(r) = -r**2 + 9*r - 6. Let g be l(11). Let v = g + 56. Suppose -5*t = x - v, 40 = 5*t - 3*x - 2*x. Does 3 divide t?
True
Let w(t) = -t**3 + 9*t**2 - 6*t + 6. Suppose p = 2*p - 3*b - 34, b = -3*p + 132. Let l = p - 36. Is w(l) a multiple of 7?
False
Let r = -473 + 1229. Does 21 divide r?
True
Let y be (2/4)/((-1)/(-40)). Let c be 3 + -2 + y/4. Is 78/c - (-2)/1 a multiple of 5?
True
Suppose -d = -26 - 450. Is d a multiple of 34?
True
Let l(j) = -225*j + 10. Let r be l(-5). Let z = r - 809. Is 3/(-4) + z/8 a multiple of 10?
True
Suppose -5*l = -2*p + 230, -2*l - l + 2*p = 142. Let s = l - -70. Is s a multiple of 3?
False
Suppose -1548*a = -1539*a - 4050. Does 9 divide a?
True
Let w be 6*-1*327/9. Let k be 1/(-3) - w/6. Suppose b + 4*r - k = -3*b, 29 = 3*b + 4*r. Does 3 divide b?
False
Suppose -x + 3*y = -95 + 10, 4*x - 2*y = 290. Let n = x - -1. Is n a multiple of 8?
False
Let t be 2*2 + (116 - -14). Let j = t - 65. Does 16 divide j?
False
Suppose -2*z + 8 = -3*d, -d - 20 = -5*z - 2*d. Is 3*-92*(-2)/z a multiple of 23?
True
Let u(f) = f**3 - f**2 + 735. Is 15 a factor of u(0)?
True
Let t(x) = 27*x**3 + 2*x - 1. Let i be t(1). Let w(u) = -i*u**2 + 28*u**2 + 14*u**3 + u. Does 8 divide w(1)?
False
Suppose 77 = 5*x + 67. Does 17 divide 6/4 - (-4 - 91/x)?
True
Let a = 118 + -54. Does 6 divide a?
False
Suppose -3*x = -62 + 2. Suppose 0 = -4*h - 2*b + 136 + 56, -2*h - 2*b + 100 = 0. Let o = h - x. Does 13 divide o?
True
Suppose -33*x + 34*x = 567. Is x a multiple of 2?
False
Suppose 3*z - 5*o - 14 = 0, 13 = 4*z - 3*o + 2*o. Suppose 0 = 2*q - z*q + 46. Is q a multiple of 7?
False
Suppose 33*t = 26*t + 2380. Suppose 5*x - 7*z + 2*z = t, -2*z = 2. Is 15 a factor of x?
False
Let m(q) = 35*q**2 - q - 3. Let n be m(2). Let b = n - 81. Does 18 divide b?
True
Is 8 a factor of 12/54 + (-3872)/(-72)?
False
Let b = -27 - -13. Let r = b - 4. Is 4 a factor of (16/(-6))/(3/r)?
True
Let o(x) = 15*x**3 + 2*x**2 + 2*x + 1. Let u be o(3). Suppose -7*m = -2*m - u. Suppose -5*k + m + 29 = 0. Does 11 divide k?
False
Suppose -j - 1 = 2. Let r(c) = -4*c**2 - 6*c - 6. Let p be r(-4). Is 14 a factor of j/3*1*p?
False
Suppose 2*k - 347 + 41 = 0. Let v = k - 51. Let w = 186 - v. Is w a multiple of 28?
True
Does 39 divide 190/3*897/(-65)*-2?
False
Is 13 a factor of (-2)/5 + 112/80 - -1273?
True
Let a = -52 - -87. Suppose -2*i - 3*n = -a - 161, -283 = -3*i + n. Is 23 a factor of i?
False
Let c = -6082 - -8518. Does 42 divide c?
True
Let y = -161 + 587. Does 71 divide y?
True
Let s(x) = x**2 + 34*x + 188. Is 66 a factor of s(-60)?
False
Let j = 4 + -1. Suppose -s + j*s = -2, -2*c + 3*s = -191. Suppose 101 = 5*l - c. Does 13 divide l?
True
Let y(n) = 4*n**2 + 8*n. Let g(q) = -2*q**3 + 3*q**2 - 2*q + 1. Let h be g(2). Does 14 divide y(h)?
True
Let v(i) = 3*i**2 + 7*i + 2. Let a be v(-5). Suppose 30 + a = q. Is q a multiple of 18?
True
Suppose 3 = c - 2. Suppose -6*r + 56 = -c*r. Is 22 a factor of r?
False
Let q(v) = v**3 + 12*v**2 - 5*v + 23. Is 3 a factor of q(-11)?
False
Let p(w) = w**3 - 18*w**2 + 19*w + 5. Let u(f) be the second derivative of -f**4/12 + f**3/6 + f**2/2 - f. Let d(r) = p(r) - 6*u(r). Is d(11) a multiple of 8?
False
Suppose 0 = t - 12 + 10. Suppose -t*q + c - 6*c = -171, q = 2*c + 63. Does 16 divide q?
False
Suppose 34 = 8*w + 10. Suppose w*t + o = 39 - 2, -3*t + 53 = 5*o. Does 10 divide t?
False
Let b(m) = 2*m + 19. Let p be b(-9). Is 21 a factor of 1 + 168 - 2/p?
False
Let g be (-2 - (-1 - -1)) + 147. Let i = g - 110. Is i a multiple of 7?
True
Suppose f - 5*o = 0, f = -4*f + 2*o + 23. Suppose f*q = 8*q - 180. Is 9 a factor of q?
False
Let a be (-2 - (-5 - -2)) + 10/2. Is 32 a factor of ((-64)/a)/(2/(-12))?
True
Let p = 49 + -49. Suppose 5*i - 4*l - 466 = 0, 3*i + p*i - 278 = 4*l. Does 30 divide i?
False
Let t = -63 - -224. Is t a multiple of 3?
False
Let g(a) = -25*a**2 - a. Let f be g(1). Is 26 a factor of ((-28)/(-7))/(22/f - -1)?
True
Let c(z) = 9*z + 11*z**2 - 24 + 0*z**2 + 0*z**2 - z**3 + 6*z**2. Is c(17) a multiple of 32?
False
Let w(z) = 2*z + 16*z - 9*z - 55. Is 35 a factor of w(10)?
True
Let k be (225 + 6 - -2) + 2/2. Suppose 11 = 5*m - 5*j - 14, 0 = -3*m - 2*j + 5. Suppose -5*z = -4*t + 48 - k, 56 = 2*z + m*t. Is z a multiple of 17?
True
Suppose 2*i - 4*i = -184. Suppose i = 4*p - 0*p. Is p a multiple of 4?
False
Let f be (6/4 + 0)*40. Suppose -x - 1 = -f. Is x a multiple of 15?
False
Suppose 2*d = 4*d + 8. Let t be (-4)/d + -8 + 1. Let f(w) = -w**3 - 4*w**2 + 7*w - 6. Is f(t) a multiple of 6?
True
Suppose s - 514 = -55. Suppose s = 6*w - 3*w. Is w a multiple of 17?
True
Let l(m) be the first derivative of 2*m**3/3 + 15*m**2/2 + 29*m + 26. Does 10 divide l(-11)?
False
Suppose 544 = 4*t - 416. Is t a multiple of 8?
True
Let f(h) = h**3 + 7*h**2 + 4*h + 8. Suppose -3*y = 5*z + 24, -3*z - 1 - 14 = 2*y. Let c be -4*((-9)/6 - y). Does 20 divide f(c)?
True
Let w(d) = -6*d - 6. Let o(z) = 11*z + 11. Let x(h) = -3*o(h) - 5*w(h). Let t be x(-2). Suppose -m - t*m + 64 = 0. Does 8 divide m?
True
Suppose 2*n = -b + 2210, -14*n + 17*n = -12. Does 17 divide b?
False
Let c be (-1)/(58/28 + -2). Does 23 divide (c/(-35))/(1/290)?
False
Let w(r) = r**3 - r**2 - 4*r + 3. Suppose -4*b - 15 = -2*b - 3*c, 5*c - 25 = 4*b. Suppose b = p - 3. Does 4 divide w(p)?
False
Suppose -51*r + 925 = -50*r. Does 25 divide r?
True
Let a(x) = x**3 - 10*x**2 + 15*x + 6. Let f be a(8). Does 4 divide 432/(-18)*f/4?
True
Let o(c) = -c**3 - 13*c**2 - 11*c + 111. Let a be o(-10). Let v(q) = 34*q + 5. Let u be v(-4). Let b = a - u. Is b a multiple of 13?
True
Let h = 190 - 12. Is h a multiple of 10?
False
Suppose 3*w - 26 = 3*k + 4, 3*w + 2*k = 25. Let h be (9/(-2))/((-3)/(-4)). Let m = w - h. Is 4 a factor of m?
False
Suppose 5*y + g + 11 = -2, -2*y + 2*g = -2. Suppose -5 = -2*i + c + 2*c, 5*i + 13 = -c. Is i/y + 2 + 39 a multiple of 14?
True
Is 14 a factor of (-84424)/(-366)*21/2?
True
Suppose -5*a + 2*h + 0*h = -3608, -a = 3*h - 725. Is a a multiple of 54?
False
Suppose -9*c + 13*c - 1748 = 0. Does 19 divide c?
True
Does 30 divide -12 - (-14 - -6) - (-1115 - -1)?
True
Let a(b) = -49*b. Let f be a(5). Let u = -165 - f. Is 20 a factor of u?
True
Suppose 4*j + 55 = 55. Suppose 25*g - 26*g + 86 = j. Does 13 divide g?
False
Let a(i) = -i**2 + 6*i + 3. Let x(j) = -3*j - 9. Let u be x(-6). Let w be a(u). Let c = w + 36. Does 12 divide c?
True
Suppose -244 = -2*m + 54. Does 7 divide m?
False
Suppose -4*j - 4 = 0, -2*j + 6 = z - 4. Let l be (z/16)/(2/(-16)). Let c = l + 42. Is 18 a factor of c?
True
Let f(p) = -p**3 - 2*p**2 - 2*p + 2. Suppose -2*x = 4 - 0. Let w(z) = -z**2 - 3*z - 4. Let c be w(x). Is 3 a factor of f(c)?
True
Suppose -101568 = -33*y - 13*y. Is y a multiple of 16?
True
Let i = -6 - -8. Suppose i*g = -3*g. Is (g - (-8)/4) + 13 a multiple of 9?
False
Let s(t) = -10*t + 13. Let k be s(4). Is 24 a factor of (-4)/6 + (-2124)/k?
False
Is (-7055)/(-51) + 4/(-3) a multiple of 20?
False
Suppose 15 = 5*g + 5*f, 4*g + 0*g = 4*f - 4. Let m be (0/g)/(-4) + 2. Suppose m*a - 333 = -a. Is a a multiple of 33?
False
Let i = -247 - -931. Is 6 a factor of i?
True
Let q(m) = -m**3 + 10*m**2 + 3*m + 13. Let x(p) = p**3 + 17*p**2 - 20*p - 26. Let b be x(-18). Is 22 a factor of q(b)?
False
Let b = 2857 + -1092. Is 29 a factor