 = 2*g - 10. Does 15 divide r(g)?
True
Let m(d) = -3*d + 11. Let g(p) = -p + 7. Let i be g(11). Does 2 divide m(i)?
False
Suppose 2*i - 649 = -m, 0*m + 2 = 2*m. Suppose -t = -r + i - 75, r + 735 = -3*t. Let p = -162 - t. Is 28 a factor of p?
True
Suppose -5*l - 4*s + 941 = 0, 5*l - 564 = 4*s + 385. Is 2 a factor of l?
False
Let a be (-1)/((-78)/(-27) + -3). Let b(c) = -4*c + a*c - 2*c. Is 5 a factor of b(6)?
False
Let p = -954 + 1854. Is p a multiple of 20?
True
Suppose 0 = -f + 41 + 13. Suppose k - f = 18. Suppose 2*c - 4*c = -k. Is 6 a factor of c?
True
Suppose -6*p - 5*v = -p - 5415, 2*p + 4*v - 2156 = 0. Is 64 a factor of p?
True
Let f = -118 + 4. Is 5 a factor of 3/4 + f/(-8)?
True
Let v be -9*3/6*-10. Is 326/9 + -5 + 215/v a multiple of 7?
False
Does 19 divide (-21 + 8)*(-12 - 1)?
False
Let n = -395 + 660. Suppose 4*d - 110 = -2*f, -4*f + 4*d - 3*d + n = 0. Is 13 a factor of f?
True
Let y(u) = 2*u**3 - 2*u**2 + 5*u - 2*u + 5*u**3 + 5*u**3 - 1. Is y(2) a multiple of 11?
False
Suppose -21*b = 12*b - 21780. Is 66 a factor of b?
True
Suppose 2 = g, 2*z - 10 = 3*z - 5*g. Let r be z*(0 + (-2)/(-4)). Suppose r*t - 4*t + 38 = -5*h, 0 = -t - h + 5. Is t even?
False
Is 9 a factor of (-6)/(-4) - (-79170)/116?
True
Suppose -110 = -2*o + 18. Suppose 3*q - 7*q = -o. Does 4 divide q?
True
Let r = 245 + -238. Suppose -5*g - 25 = 0, 4*j + g = 6*g - 71. Let k = r - j. Is 13 a factor of k?
False
Suppose -2*b = -2*z - 4, 3*z + 18 + 2 = 5*b. Suppose b*d - 3*d - 8 = 0. Suppose h + d*h - 24 = 0. Does 4 divide h?
True
Is (56/7*1)/(6/684) a multiple of 16?
True
Let f(r) be the second derivative of r**5/4 - r**4/12 - r**3/2 + r**2 - r. Let g be f(2). Suppose -4*s + 2*j = -2*j - 96, s - 3*j = g. Does 10 divide s?
True
Suppose -5*n - 26 = 74. Is (45/n - -2)/(1/(-316)) a multiple of 23?
False
Let v(i) = -i**2 + 8*i - 2. Let n = 5 - -2. Let l be v(n). Suppose -l*j + a = 6*a - 50, -3*j = 5*a - 28. Does 3 divide j?
False
Let a(g) = g**2 + g + 7. Suppose -2*h + 12 = -0. Let j(f) = f**3 - 5*f**2 - 5*f. Let i be j(h). Does 17 divide a(i)?
False
Let y be (201/(-9))/(3/(-27)) + 1. Suppose -4*f = 2*w - y, w = 6*f - f - 242. Is f a multiple of 8?
False
Suppose -2*l = l - 9. Suppose l*a = 5*a - t - 1, 0 = -2*a - 3*t + 5. Suppose -2*f - 4*s = -26, -2*s + a = 2*f - 33. Is 15 a factor of f?
False
Suppose 0 = -9*l + 7291 + 701. Is 14 a factor of l?
False
Suppose -2*x - 614 = -4*m, -8*m - 2*x + 316 = -6*m. Suppose -2*s - 45 = -f, 5*f + 3*s = -s + m. Is f a multiple of 5?
True
Suppose 101 = -4*b + 2*n - 5*n, -2*n + 54 = -2*b. Let f = b + 42. Is f a multiple of 5?
False
Suppose 20*s + 17442 = 54*s. Does 19 divide s?
True
Suppose -2686 = -a - 2*a - 4*f, -5*a = 5*f - 4470. Is a a multiple of 19?
False
Suppose -13 = 5*s + 2*d - 75, 64 = 4*s - 2*d. Let u be (-4)/(-1)*-1 + 89 + -75. Let i = u + s. Is i a multiple of 13?
False
Let n = 25 - -17. Let d = -15 + n. Let j = d - 23. Is j a multiple of 3?
False
Let z = 20 + -17. Suppose z*r + 75 = 8*r. Does 4 divide r?
False
Let k = -18 + 16. Let u be 0 + -2 + (1 - k). Is 6 a factor of 8*u/3*3?
False
Suppose -2 = -3*o + 4. Suppose 0*f + 114 = 2*r + f, -2*r + 118 = o*f. Does 11 divide r?
True
Let y(i) = i**3 - 6*i**2 - 6*i - 6. Let k be y(7). Let o(m) be the first derivative of m**2/2 + 4*m - 106. Does 2 divide o(k)?
False
Let i be ((-126)/(-8))/(1/8). Suppose -2*c + 3*s - 19 = -i, 207 = 4*c + s. Suppose 2*k = -2*k + c. Is k a multiple of 9?
False
Let s(b) = -2*b**2 + 45*b + 32. Let l be s(23). Does 14 divide l/((1/(-6))/((-196)/126))?
True
Let n(a) = a + 3. Let f be n(8). Let b = 20 - f. Suppose -b*q + 6*q + 18 = 0. Is 2 a factor of q?
True
Suppose -15*n + 5733 = -3237. Is n a multiple of 15?
False
Let x = 1217 + -251. Is 46 a factor of x?
True
Let r = -15 + 17. Does 21 divide r - 1 - 3 - -81?
False
Let j(x) = -x - 1. Let v(d) = d**2 + 8*d + 8. Let s be v(-6). Let w be j(s). Suppose -w*n - 160 = -7*n. Is 20 a factor of n?
True
Let p(c) be the second derivative of -c**4/12 + c**3 - 5*c. Let t be p(5). Suppose t = -4*o + 153. Does 11 divide o?
False
Let d(c) = 184*c**2 + 1. Does 23 divide d(-1)?
False
Let p(j) be the third derivative of 1/6*j**4 + 11*j**2 + 0*j + 0 + 13/6*j**3. Is p(8) a multiple of 27?
False
Suppose -17*f + 34*f - 18496 = 0. Does 16 divide f?
True
Suppose 77*t = 70*t + 910. Is t a multiple of 53?
False
Suppose -3*y - 515 = -y + 5*x, x + 495 = -2*y. Let z = -134 - y. Is 26 a factor of z?
False
Suppose 353 = -0*x + x. Suppose -5*j = 2*k - 373, -3*k - j = -k - x. Does 22 divide k?
False
Suppose -2*p - 4*g = 3*p + 8, -4*p - 5*g = 10. Suppose -2*q = -10, p*d - 401 = -4*d - 5*q. Is d a multiple of 12?
False
Let a be 60/(-7)*(-784)/(-14). Is (3 - 10)*11/(154/a) a multiple of 12?
True
Suppose -p + 4*h - 520 = 3*p, 3*p + 2*h + 380 = 0. Let s = p + 250. Does 7 divide s?
False
Let y(b) = b**3 - b**2 + 3. Let w be y(0). Let o be -1 + (4 - w - -31). Let c = o + -11. Does 5 divide c?
True
Does 14 divide (-11033)/(6 + -17) - (1 - -2)?
False
Suppose 4*c = -96 + 456. Suppose -70 = k + 4*b, -3*k + 5*k + 5*b + 125 = 0. Let p = k + c. Is 16 a factor of p?
False
Let p = 346 - 311. Is p a multiple of 2?
False
Suppose -123 = -5*f + 117. Suppose 10*i = 402 + f. Does 15 divide i?
True
Suppose 4*c - 3*c = 0. Suppose -3*f + 0 + 6 = c. Suppose -2*w = -f*u + 36, u + 5*w - 10 = 2. Is 5 a factor of u?
False
Suppose 0 = 5*l + 2*g - g + 14, -5*l = 2*g + 18. Let p = l - -11. Is 7 a factor of p?
False
Suppose 0 = 327*o - 319*o - 2400. Is o a multiple of 11?
False
Suppose 40 = 4*v - 2*j, -5*v + 50 = -0*v + j. Is 25 a factor of v/(-25) - (-2848)/20?
False
Let v(r) = r**3 + 15*r**2 + 3*r - 1. Let d be v(-13). Suppose 0 = 2*x + b - 184, 4*x - 3*b = d + 50. Is x a multiple of 15?
True
Let q = 238 - -81. Is 32 a factor of q?
False
Let h(o) = 5*o**2 - 1 + 7 + 282*o**3 - 6*o - 281*o**3. Is h(-5) a multiple of 9?
True
Suppose 317 + 24 = -11*b. Let s = b - -171. Does 14 divide s?
True
Suppose 0 = c - 5*y + 15, -44 = -3*c - 5*y + 11. Suppose 15*z - 110 = c*z. Is z a multiple of 11?
True
Suppose 4*u + 4*x - 42 + 282 = 0, 5*u - 2*x = -321. Is (-18)/u + 906/14 a multiple of 11?
False
Suppose 4*x = 5*j - 2538, 1774 = 5*j - x - 758. Does 11 divide j?
True
Suppose 0 = -0*a - 4*a + 100. Let h = a + -9. Is h a multiple of 3?
False
Does 15 divide (21/6)/((-3)/(-4140)*2)?
True
Let r(h) = -8*h**3. Let x be (-2 - -1) + (6 - 0). Suppose x*j - 4*j = -1. Is r(j) even?
True
Let m(i) = -2*i**2 + 8*i - 8. Let g be m(4). Does 14 divide (1 + -149)*10/g?
False
Let u(a) = -6*a - 6. Let m = -15 - -11. Let f be u(m). Suppose -4*c = 2*c - f. Is c even?
False
Let f be (-1)/(-2 + 1287/645). Suppose 7*j - 3*j = -5*y + 357, f = 3*y + 2*j. Let h = y - 28. Is 15 a factor of h?
True
Suppose 103 = 9*p - 401. Does 28 divide p?
True
Let z = 7 - 3. Suppose 64 = -z*w + 104. Is 4 a factor of w?
False
Is (3 - 152/(-16))*(-56)/(-5) a multiple of 35?
True
Let v(s) be the third derivative of 17*s**6/60 - s**5/30 + s**4/24 - 9*s**2. Is v(1) a multiple of 11?
True
Let j(x) = -3*x - 2. Let o be j(-5). Suppose -2*l = 5*w - 23, 4*l - 2*w + o = l. Does 5 divide 10*l*(-1)/2?
True
Let c = 2188 - 466. Does 42 divide c?
True
Suppose -9*s + 6758 + 1342 = 0. Does 30 divide s?
True
Is 77 a factor of (80/25)/(18/10395)?
True
Let z = -540 + 1101. Is 33 a factor of z?
True
Let v be 8/(-2)*1*3/(-6). Suppose 2*t = 3*i + 73, 3*t - v*i + 7*i = 81. Is t a multiple of 4?
True
Let n(z) be the second derivative of z**4/6 + z**3/3 + 2*z**2 - 4*z. Suppose -h - 2*h = l - 13, 3*h - 43 = 5*l. Is n(h) a multiple of 11?
True
Suppose 0 = -3*k + 4*k - 5*j + 17, 17 = -k - j. Let z(w) = -w**3 - 16*w**2 + 3*w + 105 - 6*w - 116 + 16*w. Is z(k) a multiple of 25?
False
Suppose 0 = -7*d + 8513 + 3079. Does 72 divide d?
True
Let d(g) be the first derivative of g**3/3 - g**2/2 + 92*g - 6. Let k(l) = l + 5. Let f be k(-5). Is 14 a factor of d(f)?
False
Let t(o) = -o + 42. Let s be t(0). Is 8 a factor of 292/7 - (-12)/s?
False
Suppose 160 = 3*u - 11*u. Let q = -10 - u. Is q a multiple of 8?
False
Let t(m) = -3*m - m + 2 + 6*m**2 + m - 3*m**2. Let k be t(4). Let g = -21 + k. Is g a multiple of 7?
False
Suppose -9948 = -7*n - 841. Is n a multiple of 8?
False
Does 37 divide (399 + 8 + 0)/(2/4)?
True
Let w(n) be the third derivative of n**8/2880 - n**7/5040 -