= -k - 0*k, 0 = u*k - 5*j - 244. Is k a multiple of 22?
True
Let k(f) = f**2 - 15*f - 13. Let g be k(16). Suppose -3*c - 18 = 3*q - 333, -g*q + 340 = -2*c. Is 10 a factor of q?
True
Is 89 a factor of (-62)/403 + 1159/13?
True
Suppose 2*h + 28 = 4*x, 0*h + 3*h = 5*x - 33. Does 10 divide (-1 - 2)*(-33)/x - -2?
False
Let n be (-2)/(-11) + (-152)/(-11). Suppose 2*s - 14 - n = 0. Does 21 divide s/3*132/8?
False
Let y = -166 + 250. Is 6 a factor of y?
True
Let h be (3/((-12)/53))/(21/84). Let z = 27 - h. Does 5 divide z?
True
Let d be 40/(2*(-2)/(-16)). Suppose 5*u - d = -3*u. Is u a multiple of 3?
False
Let v be 6*8/12 + 64. Is v + -5 - (-1 - -1) a multiple of 21?
True
Let h(i) = -2 - 12*i + 0*i + i. Does 11 divide h(-2)?
False
Suppose 52 = -2*x + 518. Is x a multiple of 6?
False
Let d be (-3)/(-6) - -5*41/2. Does 14 divide ((-4)/1 - 0) + d?
False
Suppose -59*s = -54*s - k - 1147, -2*s + 3*k + 451 = 0. Is s a multiple of 24?
False
Let r = -16 + 3. Let o = 55 - r. Is 21 a factor of o?
False
Let p = 1681 + -833. Is 8 a factor of p?
True
Suppose 4*q + 2*g + 3*g = 874, -3*q = -5*g - 638. Does 9 divide q?
True
Suppose -3*g - 5*p + 42 = -p, -g - p + 13 = 0. Suppose -5*y + 0*y = -g. Suppose -114 = y*a - 5*a. Does 19 divide a?
True
Is 61 a factor of 17076/15 - (24/10 - 2)?
False
Suppose l = -3*k + 314, -2*k + 317 = -l + 2*l. Is l a multiple of 17?
True
Suppose 5*i = 13*i - 464. Suppose 50 = -53*b + i*b. Does 2 divide b?
True
Let w = -30 + 42. Suppose -t + 7*t - w = 0. Suppose 35 = t*f - f. Is f a multiple of 10?
False
Let o(h) = h**2 - 11. Let b be o(-6). Suppose 9*g = 4*g + b. Suppose -2*c = -5*r - 62, 134 = 6*c - 2*c - g*r. Does 12 divide c?
True
Suppose -a + 12 = 7. Suppose 0*i + 219 = 2*y + i, -a*i + 435 = 4*y. Suppose 4*s = -b + 204, 0 = -2*s + 2*b - 18 + y. Does 25 divide s?
True
Let m(j) = 11*j - 71. Is m(16) a multiple of 15?
True
Let l(v) = 5*v - 9. Suppose -76 = -4*w + 4*a, 2*w + 16 = 3*w + 2*a. Is l(w) a multiple of 27?
True
Let r = -19 - -21. Suppose 0*k + r*k = 0. Suppose -o = -k*o - 36. Does 17 divide o?
False
Let j(v) = -2*v - 6. Let x be j(-4). Suppose 3*n = w - 41 - 28, x*w - 159 = -n. Does 37 divide w?
False
Suppose -4*h = -8, 3*h - 6 = 5*j - j. Suppose j = -8*l + 3*l + 650. Is 10 a factor of l?
True
Let v(y) = -y**2 - y + 24. Let p = -8 + 8. Let n be v(p). Suppose n = 3*g + 6. Is 3 a factor of g?
True
Let c = -46 - 23. Let f = 91 - c. Does 16 divide f?
True
Is (273/(-14))/(-3 + 1485/496) a multiple of 52?
True
Suppose -2*l - 2 = 2*a, -2*l = -7*l + 2*a + 23. Let t(g) = -4*g**2 - 13*g + 21. Let o(z) = z**2 + 3*z - 5. Let j(b) = 9*o(b) + 2*t(b). Is j(l) even?
False
Let l = -760 - -1420. Is l a multiple of 12?
True
Suppose -4*d - 20 = 0, -35 = -7*l + 2*l + 2*d. Suppose 0 = v - 3*k - 95, 0*v - l*k - 105 = -v. Is v a multiple of 6?
False
Suppose 355 - 61 = 7*b. Is b a multiple of 11?
False
Let o be -2 + 666/(3 + -1). Suppose -o = -3*c - v, 2*v - 1 = -11. Is 28 a factor of c?
True
Let u(b) be the third derivative of -7*b**6/40 + b**5/60 + b**4/24 + b**3/6 + 3*b**2. Let s = -60 + 59. Is 19 a factor of u(s)?
False
Let u = -1056 + 1422. Does 61 divide u?
True
Let t(w) = -2*w - 6. Let j be t(7). Let p = j + 102. Does 5 divide p?
False
Let i(r) = -2*r**3 - 66*r**2 + 27*r - 45. Is 71 a factor of i(-34)?
True
Let u = -6 - -12. Suppose 0 = -2*j - u*v + 3*v + 6, 0 = -2*j - v + 6. Does 3 divide -4*j/(-6) + 6?
False
Let t be ((-8)/(-36))/2 + 348/27. Suppose t*s = 18*s - 300. Does 17 divide s?
False
Suppose 2532 = 38*a - 5144. Does 6 divide a?
False
Suppose -3*s - 4*w = -218, 0*s + 3*w = 4*s - 299. Let l = s + -67. Is l a multiple of 7?
True
Suppose 4*d + 24 = -0*d. Let c(y) = 13*y - 3. Let z(l) = 12*l - 2. Let j(w) = d*z(w) + 4*c(w). Is 12 a factor of j(-3)?
True
Suppose 0 = 4*l + 6 + 6. Let w(i) = i**2 + 2*i + 1. Let y be w(l). Suppose -3*n - 58 = -5*p, -y*p + 2*n + 48 = -0*n. Is p a multiple of 14?
True
Let a(j) = j**2 - 7*j - 4. Let b be a(-5). Suppose z = -w - w + b, 3*z = 2*w + 184. Is z a multiple of 30?
True
Suppose -16*u - 735 = -13*u. Let b = u - -350. Does 10 divide b?
False
Let b(u) = u**2 + 12*u - 1. Let d(j) = 11*j - 1. Let v(w) = 4*b(w) - 5*d(w). Is v(5) a multiple of 22?
True
Let b = -4 + -2. Let w(y) = -y**2 - 2*y + 5. Let f be w(b). Let o = f - -28. Is o a multiple of 3?
True
Is 179*((-18 - -11) + 8/1) a multiple of 4?
False
Let f(b) = b**2 - 8*b - 3. Let a(p) = -2*p**2 + 15*p + 7. Let m(j) = -4*a(j) - 7*f(j). Does 23 divide m(8)?
False
Let z(o) = o**2 - 4. Let n be ((-5)/(-2) - 2)*8. Let u = 7 - n. Is z(u) a multiple of 2?
False
Suppose 37*a = 35*a + 56. Let p be a/(-5)*15/(-2). Let t = -33 + p. Is t a multiple of 2?
False
Suppose 1 = -3*y + p, -5*y + 0*p = -2*p. Let l(g) = -2*g**2 - 10. Let r(n) = n**2 + 9. Let k(d) = y*l(d) - 3*r(d). Is 9 a factor of k(5)?
True
Suppose -5*d - 5*r - 42 = 28, 3*r + 62 = -5*d. Let o = 25 + d. Let a = 25 + o. Is 8 a factor of a?
True
Let l(p) = 3*p**2 + 26*p + 15. Let n be l(7). Let g = n - 99. Is g a multiple of 14?
False
Let y(o) be the first derivative of 38*o**3/3 + 4*o - 32. Is 26 a factor of y(-2)?
True
Suppose 0 = 5*d - 2*g - 668, 0*d + 531 = 4*d - 5*g. Is d a multiple of 3?
False
Let v(a) = a**2 - 13*a - 3. Let m be v(7). Is 4 a factor of (m/18)/(2/(-4))?
False
Let z be (6 - 0)/(2/8). Let a be ((-6)/(-4))/(4/z). Let n = 4 + a. Is n a multiple of 4?
False
Let v be ((-6513)/(-27) - (-4)/(-18))*1. Suppose -2*y + 59 = -v. Does 15 divide y?
True
Suppose -132 - 627 = -3*t - 3*l, 2*t = 3*l + 501. Is 4 a factor of t?
True
Let s(g) = 9*g**2 - 6*g - 88. Is s(11) a multiple of 11?
True
Let r(f) = -f**3 - 4*f**2 - 5*f + 4. Let w be r(-4). Suppose 4*c - 96 = 3*t, -3*t = -4*c + 3*c + w. Suppose -3*v + c = -9. Does 11 divide v?
True
Suppose 4*t = 3*s - 7744, -3*s + 7716 = 3*t - 0*t. Is s a multiple of 112?
True
Suppose -4*v = 3*c - 12, 5 = 2*v + 5*c - 15. Suppose 4*s - 823 + 127 = v. Is s a multiple of 28?
False
Let f(d) = 2 - 10*d**3 + d - d + 2*d + 12*d**3. Let x be f(-1). Is (-4 - 2)/(x/24) a multiple of 36?
True
Suppose -5*x = -6*x. Suppose x = -g + 4*g. Suppose g*h + 64 = 2*h. Is 8 a factor of h?
True
Let l(j) = 5*j**2 - 4*j + 2. Does 11 divide l(4)?
True
Let j(l) = -l**3 - 12*l**2 + 43*l - 15. Is 24 a factor of j(-19)?
False
Suppose 0 = -2*a - 3*o + 154 + 133, -5*a = 3*o - 704. Is 15 a factor of a?
False
Is -23 - -16 - (-1640 + 3) a multiple of 13?
False
Let g(d) = 46*d - 2. Let r be (3 - 2) + (-3 - -1*4). Does 15 divide g(r)?
True
Suppose -15 = -8*u + 5*u. Suppose -u*o = -o - 204. Is 9 a factor of o?
False
Suppose 0 = 4*x + 5*n - 4785, 2*x - 7*n + 9*n - 2394 = 0. Is x a multiple of 75?
True
Let y = 8 + 24. Let g = y + -37. Does 23 divide g*(109/(-5) - 4)?
False
Suppose 35 = -3*d - 67. Let n = d - -65. Is 9 a factor of n?
False
Let u = 932 + -748. Does 23 divide u?
True
Let q(t) = -t**3 + 7*t**2 - 2*t + 8. Let w be q(6). Suppose x + 2*a - w = -4, 0 = a + 2. Suppose 0 = 5*f - 328 - x. Is f a multiple of 23?
False
Let l(n) = -n**2 - 15*n - 8. Suppose 3*i - 5*p + 53 = 0, -3*p + 20 = -2*i - 17. Let q be (-3)/6 + i/4. Is l(q) a multiple of 15?
False
Suppose 6*t - t - 235 = 0. Suppose 2*v + 2*v = 2*m + 526, 522 = 4*v + 2*m. Suppose -4*w = -v + t. Is 21 a factor of w?
True
Suppose -4*q + 2*n = -4654, -6*q = -3*q + 4*n - 3518. Does 22 divide q?
True
Let z = 3149 + -1826. Does 21 divide z?
True
Let w(t) = t**2 + 32*t + 30. Is 29 a factor of w(13)?
False
Let t(m) be the third derivative of -7*m**5/60 - m**4/8 - m**3/6 - 8*m**2. Let s be t(-1). Does 24 divide s/(-10)*(129 - 3)?
False
Let z(v) = 13*v + v**3 + 11*v**2 + 1 - 27*v + 11. Is 6 a factor of z(-12)?
True
Let s be 54/4*(-320)/(-24). Suppose 4*z - s = -z. Suppose 2*u - z = -0*u. Is u a multiple of 3?
True
Let j(s) be the third derivative of s**6/120 + s**5/15 - s**4/6 + s**3/6 + 5*s**2. Let c = -8 - -5. Is j(c) a multiple of 12?
False
Let n be (-745)/30 + 2/(-12). Let w = n + 47. Is 10 a factor of w?
False
Suppose 0 = 4*j - 3*z - 172, -2*z = 2*j - 5*z - 86. Suppose o = -j + 139. Is o a multiple of 24?
True
Let k(f) be the second derivative of 4*f**3/3 - f**2 - 11*f. Let u(j) = j**2 - 2*j - 5. Let m be u(4). Is 22 a factor of k(m)?
True
Is 4 a factor of (7498/184)/(2/8)?
False
Suppose h + 5*n = 3, 5*h + 5*n = 2*n - 95. Let t = 157 + h. Suppose -w = 2*w - t. 