Suppose 3*o = -0*a + 4*a - 23, d = a + 3*o + 13. Suppose 0 = 3*g - 2*k - 165, 3*g - k - 54 = a*g. Is 10 a factor of g?
False
Let g(c) = -38*c + 2. Let x = -15 + 14. Is g(x) a multiple of 10?
True
Suppose -j + 929 = u, 38*j + 3*u = 39*j - 925. Is 58 a factor of j?
True
Let j(n) = 233*n + 1575. Is 19 a factor of j(8)?
True
Let t(c) = -c**2 + 3. Let g(q) = 5*q**2 + 13*q - 36. Let x(l) = -g(l) - 6*t(l). Is 6 a factor of x(12)?
True
Let l(g) = -247*g - 497. Is l(-13) a multiple of 127?
False
Suppose 44 = 3*i + 2*j + 14, -3*j = -2*i + 20. Let c(q) = 2*q - 20. Let m be c(i). Suppose -g - 5*p + 69 = m, 3*g = -0*p - p + 235. Does 22 divide g?
False
Suppose 10 = 67*s - 66*s. Suppose -k + 14 = s, 5*k + 340 = 2*a. Is 45 a factor of a?
True
Suppose 2*o = 3*d + 15, 5*d + 17 = o + 6. Does 16 divide (-17917)/57*o/(-2)?
False
Let y(n) = -7*n**2 + 1. Let u be y(-1). Let a(v) = -v**2 - 5*v + 9. Let j be a(u). Is 73/j + 4/(-12) a multiple of 13?
False
Suppose 2*j + 50*j = -57304. Let n = j - -1568. Does 20 divide n?
False
Suppose -25278 = -2*y - 2*h, 89*y = 90*y + 2*h - 12637. Is 75 a factor of y?
False
Suppose 0 = 1962*l - 1954*l - 45792. Is l a multiple of 27?
True
Suppose -9*i + 11*i - 54344 = -4*r, -r = 2*i - 13583. Is 21 a factor of r?
True
Let s = 241 - -2858. Does 5 divide s?
False
Is (-10)/6 + 1 + (-4 - (-696696)/117) a multiple of 119?
True
Suppose -83*g + 4328226 = 288*g - 4691897. Does 26 divide g?
False
Let j = -19 - 23. Let f = 24 + j. Let w = 44 + f. Does 10 divide w?
False
Suppose 74*l - 36 = 70*l. Let a = 68 - 66. Suppose l = -a*n + 55. Does 19 divide n?
False
Let u(n) = -33*n + 5. Let j be u(-1). Suppose -4*i - 2 = -j. Suppose -i*o + 8*o = -36. Is 36 a factor of o?
True
Let z(y) = 4*y + 28. Let p(t) = t**3 + 4*t**2 - t + 15. Let f be p(-5). Let i be z(f). Is (-18 + i)/((-2)/33) a multiple of 21?
False
Let j be -10 - -18 - 1 - (3 + -1). Suppose -z = 3*o - 4*z - 42, j*o - 74 = z. Is 4 a factor of o?
False
Suppose 0 = 15*r - 4*r + 22. Is ((-43)/r)/(50/24 - 2) a multiple of 18?
False
Let o(x) = x**2 + 9*x + 18. Let f be o(-2). Let j(g) = 3*g**2 - 17*g + 38. Is 2 a factor of j(f)?
True
Suppose 3*a - 20*r = -16*r - 24, -3*a - 2*r - 6 = 0. Suppose -42 = 2*w - 4*w + f, 3*f - 74 = -4*w. Is 7 a factor of w + 1/(a/(-12)) + -1?
False
Let v(m) = 2*m**2 + 152*m + 163. Does 3 divide v(-87)?
False
Let m(h) = 13*h**2 - 29*h - 5. Let t be m(8). Suppose b + 5*n = 340, -2*b + 103 = 4*n - t. Is b a multiple of 71?
True
Let g(x) = x**3 - 11*x**2 + 8*x - 7. Let t be g(9). Let z = -97 - t. Suppose z = 3*c - 3, -6*y + c = -5*y - 47. Is y a multiple of 3?
True
Suppose -1339*b + 1344*b = 79200. Is 14 a factor of b?
False
Suppose 7464 = -2*x + 5*t + 52648, -5*x + 112925 = 5*t. Does 15 divide x?
False
Let u(k) = 2*k**3 + 4*k**2 - k - 18. Let t be u(-5). Let z = -96 - t. Suppose 4*y - 663 = -z. Is y a multiple of 12?
False
Suppose 10*d - 25*d = -3*d. Suppose 4*j + 3*v - 3667 = d, j - 2*v = 1359 - 456. Does 83 divide j?
True
Let o(l) = 31*l**3 + 3*l**2 + 28*l - 10. Is 5 a factor of o(5)?
True
Let z(w) = -w**3 - 20*w**2 + 84*w + 956. Is 4 a factor of z(-30)?
True
Let x(l) = -8*l**3. Let k be x(1). Let d(w) = -13*w + 0*w + 12 - 7*w + 4. Is d(k) a multiple of 32?
False
Let f(w) = 2*w**2 + 13*w + 15. Let g be f(-5). Suppose -2*a + 288 = -4*n, g = a - 6*a - 5*n + 645. Let s = a + -94. Is s a multiple of 10?
True
Let x be (-2480)/16 + (0 - 0). Let j = x + 195. Does 3 divide j?
False
Suppose 0 = -6*m + 5*m + 9135. Does 35 divide m?
True
Suppose 0 = -5*o + 3*o, r + 2 = 2*o. Let v be (-2 - (-3 + -2 - r))*-60. Is (2/(-4))/(1/v) a multiple of 5?
True
Let n be (8/(-20))/((-6)/(-30)). Does 20 divide n/(-1*5/465)?
False
Let u = -56 + 57. Let z be (-1)/2*(3 - u) - -59. Suppose 3*y = -3*h - 19 + z, -3*y - 21 = -h. Is 4 a factor of h?
False
Suppose -5*l = 31*b - 36*b + 12270, -5*b + 12246 = -l. Is b a multiple of 8?
True
Suppose -2447 = 16*i - 20671. Suppose 0 = -4*z + 5*t + i, 5*z + 901 = -2*t + 2333. Does 26 divide z?
True
Let s(b) = 35*b**2 - 4*b - 71. Is 8 a factor of s(-9)?
True
Let u = 82 - 78. Suppose -387 = -a + w, -2*w - w - 1545 = -u*a. Is 28 a factor of a?
False
Let q = -545 + 808. Let a = q + -181. Does 9 divide a?
False
Does 28 divide ((-1)/15*-3)/(49/16415)?
False
Suppose -28*h - 1212 = -31*h + 3*d, h - 408 = 2*d. Does 8 divide h?
True
Let g = 229 - 118. Suppose 0 = 8*c - 7*c + g. Let q = c + 217. Is 17 a factor of q?
False
Suppose -u - 5*g + 10547 = 0, -441*g = -440*g. Does 11 divide u?
False
Let u = 2474 + 145. Does 97 divide u?
True
Is 38 a factor of 2117 + (1 - -1) + -21 + 18?
False
Let z(i) = 7*i - 106. Let b be z(-19). Let v = 395 + b. Is 50 a factor of v?
False
Let g be 23/((-23)/(-190)) - (-2 - 1). Suppose 3*r + 37 = g. Does 13 divide r?
True
Let w(z) be the third derivative of -1/24*z**4 + 0*z + 6*z**2 - 4*z**3 + 1/60*z**5 + 0. Is w(7) a multiple of 18?
True
Suppose -4*j = 7*u - 9*u + 20, 2*j + 2 = 0. Does 41 divide 6*(-4)/u + 182?
False
Let k(w) = 8279*w - 601. Does 27 divide k(2)?
True
Let b = 282 - -54. Let r = 31 - 22. Suppose -r*u + b = -2*u. Does 28 divide u?
False
Let b = 2151 + -927. Suppose 2*r = -4*h + b, -372 + 2229 = 3*r - h. Is 10 a factor of r?
False
Does 22 divide 14/91 + 53/318 + (-7120882)/(-156)?
False
Let s(g) = g**2 - 15*g + 37. Let k be s(15). Let b = -65 + k. Is 14 a factor of b*(-4 - -7)/(-6)?
True
Suppose 5*h + 2*r = 72, 2*h = -2*r + 9 + 15. Does 2 divide h + 3 + -7 - 2*-1?
True
Suppose 4*p + 133 = 2533. Suppose -4*g = g - p. Does 6 divide g?
True
Let j(q) = -38*q + 50. Let u be j(-4). Suppose -r = -u - 662. Is r a multiple of 17?
False
Suppose 196 = 2*m + 4. Let c be -4 - (-7)/(28/m). Suppose -7*z + c + 36 = 0. Is z a multiple of 7?
False
Suppose -287*w + 2938981 = -5667575. Is w a multiple of 147?
True
Let v = -202 + 218. Let z(s) = 3*s**2 - 15*s + 21. Is z(v) a multiple of 33?
False
Let a(v) = 2*v - 95. Let t(n) = n - 95. Let y(d) = 4*a(d) - 5*t(d). Is 4 a factor of y(-25)?
True
Let y = -14 + 16. Suppose 4*h = 2*z - 0*z - 8, y*h = 2*z - 6. Is 9 a factor of 2/7*h + (-200)/(-14)?
False
Suppose -54 = -2*g - 2*u, -4*u = -5*g + u + 95. Suppose -5*y + 4 + 3 = -4*o, 0 = -4*o - 5*y + g. Does 15 divide (-29)/o*-2 - -2?
False
Suppose 2*j + j - 1002 = 0. Let v(w) = 644*w - 29. Let u be v(1). Let q = u - j. Does 52 divide q?
False
Let i be 2*4*(-5)/(-40). Suppose 5*s + 17 = 4*h, -3*h - s + i = -26. Let b = h - -6. Is b a multiple of 5?
False
Suppose 3*h = -4*j - 69, -5*j - h - 2*h - 84 = 0. Let b(i) = i**3 + 20*i**2 + 54*i - 63. Is b(j) a multiple of 12?
True
Suppose -y = 3*y + 24. Let x be (1085/(-15))/(-7) - y/9. Suppose -25 = -5*c, 0 = -3*k - 5*c + 297 - x. Is 29 a factor of k?
True
Let t(o) = 1036*o**3 + 113*o**2 - 353*o + 3. Is 13 a factor of t(3)?
False
Is (-78)/13 - ((-46773)/18 - (-2)/4) a multiple of 24?
True
Let k(u) = -3*u**2 - 13*u + 48. Let m(y) = -y**2 + y + 1. Let x(a) = k(a) - 6*m(a). Is x(11) a multiple of 13?
False
Let g(f) = f - 2. Let i(v) = 8*v - 10. Let a be (-3)/(-5) + 8/20. Let d(z) = a*i(z) - 5*g(z). Does 7 divide d(8)?
False
Is 62 a factor of -390*(2 - -5 - (-418)/(-11))?
True
Let x be (-16)/(-56) - (-102)/(-14). Let p = 9 + x. Suppose 0 = -u + 2*a + 3*a + 15, -5*a = p*u. Does 2 divide u?
False
Suppose -w = -0*w - 2. Suppose -w*p = -p - 21. Suppose -b + 52 = -x, 3*b = 4*x + 139 + p. Does 20 divide b?
False
Suppose 38*k + 12655 = 2*w + 41*k, w - 3*k - 6323 = 0. Is 114 a factor of w?
False
Let m = -16 + 20. Suppose 2*h = m, 2*h - 4*h + 26 = 2*g. Let p = 55 - g. Does 4 divide p?
True
Suppose 9 = 271*r - 268*r. Suppose 4*s = r*w - 2*w + 132, -5*s = -4*w - 154. Does 10 divide s?
False
Let v = -174 - -163. Is (-1714)/(-11) + (-2)/v a multiple of 39?
True
Let f(x) = x**3 + 6*x**2 + 5*x - 12. Let y be f(-4). Suppose t + y*t + 2*i = 92, -4 = -2*i. Is t a multiple of 22?
True
Suppose 177 = 4*y - 4*i - 311, -5*i - 20 = 0. Suppose -a - 213 = 3*z, -5*z - y = -4*a + 237. Let p = z + 91. Is p a multiple of 10?
True
Let b be ((-1350)/3)/(1*9/(-12)). Suppose 0*g - 4*g = -b. Suppose -1005 = -5*w - 4*z - g, w - 160 = -3*z. Is 25 a factor of w?
True
Suppose 4*y = 4*f - 24, -23 = -6*y + 11*y + 2*f. Let m(z) = -3*z**3 + 2*z**2 + 4*z - 15. Does 58 divide m(y)?
False
Let i(a) be the second derivative of -5/12*a**4 + 1/10*a**5 + 8/3*a**3 - 5 + 7*a - 