 + 134. Does 9 divide c?
False
Suppose -1158 = -3*x - 3*j, 9*x - 4*j - 376 = 8*x. Does 12 divide x?
True
Let m(g) = g**2 - 3*g - 3. Let y be m(3). Does 11 divide (-3)/6*558/y?
False
Let l(r) = -r**2 - 7*r - 1. Let i be l(-6). Let n = 401 - 238. Suppose i*v = -48 + n. Is 8 a factor of v?
False
Let i = 90 - 61. Let v = i + 4. Does 12 divide v?
False
Let l = 87 - 82. Suppose 4*m + 76 = -x + 3*x, l*x = -2*m + 130. Does 7 divide x?
True
Let l be (2/3)/(22/(-33)). Is 8 a factor of 4/1 - (l - 39)?
False
Let l = -6555 - -4459. Is 3/(-4) - l/64 a multiple of 8?
True
Let d(y) = y**3 + 4*y**2 + 2*y + 1. Let u be d(-3). Let h(s) = 18*s + 3. Let m(b) = -126*b - 18. Let z(w) = -27*h(w) - 4*m(w). Is z(u) a multiple of 9?
True
Suppose -i = -6*i + 390. Suppose 5*k - i = 467. Suppose -3*m - 37 = -k. Does 14 divide m?
False
Suppose 8 = 5*f - 7. Let g be 1 + 26 - 3/f. Is 9 a factor of g + (2 - 1 - -2)?
False
Let b(l) = 2*l**3 - 8*l**2 - 2*l - 14. Let x be b(6). Let t = x - 85. Is t a multiple of 21?
False
Suppose l = 11*d - 6*d + 2702, -4*d - l - 2158 = 0. Let j = d - -756. Is j a multiple of 24?
True
Let j(a) = -2*a - 6. Let l(q) = -q**2 - 2*q + 2. Let c(n) = n**2 + n - 1. Let x(h) = -7*c(h) - 5*l(h). Let z be x(2). Is j(z) a multiple of 4?
True
Suppose -22*k + 25*k - 132 = 0. Let l = k - 28. Is 4 a factor of l?
True
Suppose 0 = -b + 2*j - 5*j + 3, -9 = -3*b + 5*j. Suppose -6*z + 115 = -2*z - s, 0 = b*z - 3*s - 75. Is z a multiple of 5?
True
Let a be 0 - -1 - -1 - (-58 + -167). Suppose -87 = 4*t - a. Is 27 a factor of t?
False
Let q be 1/2*-46*2. Let s = q - -64. Is 9 a factor of s?
True
Is 29 a factor of -1 + 446 + 11 + -18?
False
Let s be -2*(-2 - (-30)/(-4)). Let j be ((-48)/(-15))/(7/(-35)). Let d = j + s. Is d a multiple of 2?
False
Suppose 0*h - 3*h = -45. Suppose 0*d = -3*d + h. Suppose -i - 140 = -d*i. Is i a multiple of 11?
False
Suppose -10*x - 978 = -3838. Does 26 divide x?
True
Let c(z) = 3*z**2 - 12*z - 31. Is 29 a factor of c(-3)?
False
Let a(w) = -w**3 - 12*w**2 - 2*w - 18. Let t be (-13)/(0/3 + 1). Let b be (-4)/4 + 2 + t. Does 5 divide a(b)?
False
Let o(k) = -k**3 - 7*k**2 - k - 10. Let u be 3 + (-3 - -2) - 9. Let l be o(u). Is 4 a factor of l/(-3*2/18)?
False
Let o = -16 - -52. Is o a multiple of 18?
True
Let t(c) = c**2 - 4*c - 1. Let i be t(5). Let h(x) = -x + i + 0 - 5*x. Is 9 a factor of h(-5)?
False
Let w(n) = 3*n**2 + 7*n + 2. Let s(k) = -4*k**2 - 7*k - 1. Let o(m) = -6*s(m) - 7*w(m). Suppose x = -5, 6*y - 43 = 2*y + 3*x. Does 15 divide o(y)?
True
Let k(p) = p**3 + 20*p**2 + 33*p - 19. Does 7 divide k(-18)?
True
Let q = 12761 + -8800. Is 17 a factor of q?
True
Let h(d) = -313*d + 4. Is h(-2) a multiple of 42?
True
Suppose -10 = 2*y - 0. Let p(d) = -d**3 - 3*d**2 - 4*d + 2. Let m be p(y). Is 9 a factor of (-6)/(4*(-4)/m)?
True
Suppose -i - 25 = -28. Suppose i*r = 155 + 115. Is 5 a factor of r?
True
Suppose 6*j - j - 5*g - 230 = 0, -4*j = 3*g - 219. Let w = j - 37. Is 7 a factor of w?
True
Let n be (-1)/(-3) + (-390)/9. Suppose -4 = 3*h - 2*l + 13, l = 3*h + 19. Let b = h - n. Does 9 divide b?
True
Suppose 343*j - 341*j - 2800 = 0. Is 36 a factor of j?
False
Suppose 0 = -2*l - 3*k + 1033, 3*l + 5*k = 2*k + 1551. Is 32 a factor of l?
False
Suppose -2*a - 382 = -982. Suppose 23*q = 22*q + a. Suppose 0*k = -5*k + q. Does 10 divide k?
True
Let x = -49 + 28. Let z = 23 + -19. Let h = z - x. Is 13 a factor of h?
False
Suppose 65 + 88 = -k - 3*p, 5*k + 4*p = -809. Let z = -69 - k. Is z a multiple of 12?
True
Is ((-105)/(-25))/(-7) + 766/10 a multiple of 38?
True
Let g = 9 + -4. Suppose 3*a = g*h - 1, 3 + 1 = -4*h + 4*a. Suppose -153 + 17 = -h*i. Is i a multiple of 19?
False
Let n(r) = 2*r**3 + 2*r**2 + 13*r - 27. Let w be n(3). Suppose i + f - 61 = 0, 0*i - i + 5*f + 31 = 0. Let d = w - i. Is d a multiple of 7?
True
Let a(w) = -5*w - 2. Let k be a(-4). Let g = k + -11. Suppose -9*t + g*t + 24 = 0. Does 8 divide t?
False
Suppose 0 = -3*i - 0*i + 6. Suppose -i*m - 5 = -53. Does 8 divide m?
True
Let w = -293 + 680. Does 63 divide w?
False
Let d(a) = 5*a**2 - a + 1. Let q be d(1). Suppose -q*m + 9 = -2*m, -m = -4*x + 9. Suppose h + 17 = 2*h - 5*f, -23 = -x*h + f. Is h a multiple of 3?
False
Suppose -3*z = 12, 2*v + 4*z - 524 + 14 = 0. Is v a multiple of 33?
False
Suppose -497 = 3*i + 4*i. Is i*((-2)/((-6)/9) + -6) a multiple of 31?
False
Let g(h) = -h**3 + 27*h**2 - 3*h - 99. Is 80 a factor of g(26)?
False
Let a = 53 + -32. Suppose 56 = -3*p - i, 4*i - i + 60 = -3*p. Let q = a + p. Is q even?
False
Suppose 18*b = 9621 + 5391. Does 5 divide b?
False
Let i be 9/((-45)/(-20)) + 2. Let t be 4 - 7 - -1*i. Suppose 2*c - 41 = 4*w - 397, 0 = -5*w + t*c + 444. Is w a multiple of 18?
True
Is (-384)/(-576) - 7*(-164)/6 a multiple of 12?
True
Let u be (58/(-4))/(-1 - 20/(-24)). Suppose -5*f + 2*f = -u. Is 10 a factor of f?
False
Let f = 1201 + -779. Is f a multiple of 3?
False
Suppose -4*p + 5*p = -3*g - 2, -2*p - 4 = g. Suppose 0 = -3*f + 2*z + 427, -f + g*f + 3*z = -133. Suppose 9*d - 4*d - f = 0. Is 16 a factor of d?
False
Suppose 0 = -c - r - 2*r + 86, 0 = 5*c + 4*r - 397. Suppose -3*z + 206 = 3*d + c, -3*z + d + 137 = 0. Is 9 a factor of z?
True
Let w = 9 + -9. Is 2 a factor of -4 - 9*(w + -1)?
False
Let l = 748 + -184. Is l a multiple of 47?
True
Let g be (176/(-55))/((-4)/90). Suppose -a = 4*a - 3*d - g, 4*d + 52 = 3*a. Does 12 divide a?
True
Suppose -4 - 6 = -5*x. Suppose -4*t = 4*z - 76, x*t + z - 17 - 17 = 0. Is 5 a factor of t?
True
Let p be (-39 + 1)*(19 + -26). Suppose -p - 34 = -3*b. Is 20 a factor of b?
True
Let y = 112 + -109. Suppose -5*a - 41 = -2*p, y*p = -a - 2*a + 51. Is p a multiple of 9?
True
Let c(z) = -20*z - 32. Let m = 165 + -169. Does 4 divide c(m)?
True
Let i = 326 + -159. Is i a multiple of 3?
False
Let x(q) = -4*q**2 + 3*q + 2. Let k be (-1)/(1*(-1)/(-2)). Let s be x(k). Is 7 a factor of (-355)/s - (-3)/12?
False
Suppose -2*n + n - 4*c = 6, c = -2*n - 5. Suppose 0 = 3*z, -z = -3*b + 2*b - 4. Is 17 a factor of 1 + n + b + 22?
True
Let b(n) = -n**2 + 4*n. Let r be b(3). Suppose 0 = -2*i - r*i - 25. Let u = 11 + i. Is u a multiple of 2?
True
Suppose 0*n = 4*n - 40. Let w = -130 + 132. Let a = w + n. Is a a multiple of 6?
True
Suppose -849 = -o - 2*k + 734, -2*o + 3176 = 2*k. Does 97 divide o?
False
Suppose -9*p = -7*p - 10. Suppose 2*z - p*z = -96. Does 16 divide z?
True
Let m = -358 - -547. Is 3 a factor of m?
True
Let j(f) = f**2 - 6*f - 13. Let o be j(-6). Let p = o + -108. Is 4 a factor of ((-56)/p)/((-2)/(-7))?
True
Suppose 3*x - 2*w - 308 = 0, 2*x - 4 = -3*w + 197. Let p = -82 + x. Does 4 divide p?
True
Let n(k) = 2*k**2 + 13*k - 16*k - 2*k**2 + 28*k**2 - 4. Does 11 divide n(-1)?
False
Does 126 divide ((-786966)/248)/(3/(-4))?
False
Let u(k) = -38*k - 16. Let x be u(-6). Suppose -3*y + x = 5*f + 42, 3*f - 88 = y. Is 11 a factor of f?
False
Suppose 4*w - 1404 = -4*a, 9*w + 4 = 5*w. Is 11 a factor of a?
True
Let a(s) = 24*s + 6. Let t be 6 + 48/22 + 4/(-22). Is 22 a factor of a(t)?
True
Let o(f) = 8*f**3 - 2*f**2 + f - 2. Let j be o(-3). Let m = 427 + j. Is m a multiple of 47?
True
Let j(p) = 6*p + 168. Is j(9) a multiple of 7?
False
Suppose -4*y - 3 = 5. Is (177 - y)/1 + 1 a multiple of 30?
True
Let s(c) be the third derivative of c**5/60 - c**4/8 + c**3/2 + c**2. Let r be s(3). Suppose r*k = -0*k + 24. Does 3 divide k?
False
Let d(t) = -t**2 - 7*t + 4. Let r(x) = 5*x + 7. Let u be r(-4). Let s be d(u). Let j = s - -105. Does 9 divide j?
False
Let h(t) = -t**2 + 8*t + 48. Let n be h(12). Let z(v) = 4*v - 5*v + 33 + 6. Is z(n) a multiple of 13?
True
Suppose -c + 4*c + 2*c = 0. Suppose c = w + 5, -5*d + 190 = 4*w. Does 10 divide d?
False
Let r(l) be the first derivative of l**4/4 - 4*l**3 - 13*l**2/2 - 2. Let d be r(13). Suppose 2*o + n - 3*n - 40 = d, -62 = -4*o - 5*n. Is 6 a factor of o?
True
Suppose 3*c + 2*k - 283 = 0, -6*k + 2*k = -5*c + 501. Let j = -88 + c. Does 3 divide j?
True
Let h be 190/6 + (-10)/15. Suppose -2*a - m = -h, 0 = 4*a - 0*a - 4*m - 44. Let p = a - 7. Is 7 a factor of p?
True
Let r(j) = -j**3 + 3*j**2 - 2*j - 2. Let l be r(5). Let y = l - -122. Is 9 a factor of y?
False
Let c = 15 + -10. Is 12 a factor of (72/c)/((-30)/(-100))?
True
Let p be 27/(-3)*1/3. Let j = 41 + -18. Is j + (0/1)/p a multiple of 12?