e t(13). Let g be x(v). Suppose -a - 36 = -g*i + 46, 0 = 5*i + a - 78. Is 5 a factor of i?
False
Let q = -89 - -89. Suppose 4*l + q = -4, 4*l - 172 = -2*f. Is 22 a factor of f?
True
Let h(n) = 24*n**2 - 7*n - 36. Is 10 a factor of h(-6)?
True
Let t be 0 + -1 - (-11 - -7). Suppose 5*a - 127 = -t*j, -4*a - 2*j = 2*j - 100. Is a a multiple of 13?
True
Let v(w) = 2*w**2 + 5*w + 4. Let k(d) = 8*d**2 + 21*d + 17. Let u(n) = 2*k(n) - 9*v(n). Let i be u(4). Let j = i + 72. Is j a multiple of 26?
True
Suppose 9*j - 16*j = -15442. Is j a multiple of 16?
False
Let f be 304/4 - 0 - -2. Let r = f + -189. Let q = -63 - r. Does 24 divide q?
True
Suppose 2*b - 2*l = 66, 3*l + 129 = 4*b + 2. Let c = 33 - b. Does 2 divide c?
False
Let k(n) = -n**2 - 8*n + 4. Let y be k(-7). Suppose 21 + y = i. Let c = 28 + i. Does 16 divide c?
False
Suppose -49 = o - 4*d, 2*d = -4*o + 5*d - 261. Let k = -49 - o. Suppose 0 = -5*j - 4*g + 124 + k, 23 = j - 5*g. Does 17 divide j?
False
Is 12 a factor of 18/1*(-300)/(-45)?
True
Let w(f) = -60 + 51 + 5*f**2 - 4*f**2 + 3*f. Let d be (-10)/25*(-1 + -14). Does 31 divide w(d)?
False
Let m = -782 + 1087. Does 61 divide m?
True
Suppose 38*r - 240 = 36*r. Is r a multiple of 40?
True
Let w(a) = 22*a**2 - 2*a + 6. Let g be w(-3). Suppose -b = 4*b + g. Let c = b - -63. Is c a multiple of 7?
True
Suppose -9*c + 23 = -8*c. Is 7 a factor of 1 - (7*c)/(-11 - -10)?
False
Let k(j) = -j**3 - 2*j**2 + 6*j + 6. Suppose 5*o + 3*a + 8 = -29, -28 = 4*o + 2*a. Is k(o) a multiple of 51?
True
Suppose -1098 + 35 = -2*i - q, 536 = i - 4*q. Is i a multiple of 34?
False
Let j be (-5)/(-2)*8/5. Suppose g + 190 = 3*d, -3*g - 5 = -j*g. Is 13 a factor of d?
True
Let h be 4 + -2 - 5 - -27. Suppose -3*d - h = d. Let a = 19 + d. Is 6 a factor of a?
False
Let z(s) = -s**3 - 4*s**2 + 2*s + 3. Let c be z(-4). Let j(r) = 2*r**2 - 90*r - 27. Let d be j(46). Let h = c + d. Is h a multiple of 20?
True
Suppose -12*b + 33439 = 1231. Does 49 divide b?
False
Suppose 0 = 4*p - 3*p - 2. Let k(b) = -b**3 - 4*b**2 + 10*b + 5. Let l be k(-7). Suppose -5*u + 115 = v, u - 2*v - l = -p*u. Does 24 divide u?
True
Let q = 231 - 374. Let k = -84 - q. Is k a multiple of 12?
False
Suppose -70*j = -73*j + 1128. Is j a multiple of 12?
False
Let v(i) = 15*i**2 - 21*i - 42. Is 14 a factor of v(-7)?
True
Suppose 3582 = 2*i - 0*s + 4*s, 0 = 3*s + 6. Does 13 divide i?
False
Let y be 0 - 2/(-8)*0. Let s be 76 + 1 - (y + -2). Suppose 0 = d + t - 4*t - 39, 0 = -d - 5*t + s. Is d a multiple of 18?
True
Let l = 58 - 100. Suppose 0 = i + 4*i - 50. Let r = i - l. Is r a multiple of 11?
False
Suppose -4*u = 2*x - 30, 0*u + 3*x = u - 25. Let f(k) = -u + 5 + 6 + 55*k**3 - k**2. Is 11 a factor of f(1)?
True
Let y(n) = -n**3 + 2*n**2 + n + 2. Let l be -1*(-2)/2*2. Let t be y(l). Suppose -70 - 34 = -t*p. Does 12 divide p?
False
Let y(u) = -u**3 + 5*u**2 + 5*u - 3. Let v be y(5). Let f(o) = o + 22. Let n be f(-4). Let x = v - n. Is 2 a factor of x?
True
Suppose -20*i + 10544 - 824 = 0. Is 15 a factor of i?
False
Let o(r) = -761*r + 12. Does 16 divide o(-1)?
False
Let q = -82 - -106. Does 6 divide q?
True
Suppose 5*o + 5*t = -0*o + 1145, -3*o = t - 677. Suppose 2*c - 5*i - 64 = c, -5*c + i = -o. Is c a multiple of 11?
True
Let n = 1999 + -1419. Is n a multiple of 73?
False
Suppose 11*w - 12 = 8*w. Suppose -60 = -w*q + r + 511, -4*r = q - 164. Is q a multiple of 10?
False
Let d be 4/14 + (-152)/(-56). Suppose 386 = 2*b + 4*r, d*r + 66 = 4*b - 717. Is b a multiple of 18?
False
Suppose 4*c = s - 30, 0*s + 2*s - 5*c - 54 = 0. Suppose o = 2*o + s. Is 24 a factor of 2/11 - 590/o?
False
Suppose -1337*h + 1322*h = -2985. Does 31 divide h?
False
Let n(v) = -v**2 + 3*v + 6. Let o(m) = -m - 1. Let b(f) = -n(f) - 6*o(f). Let c be -2 + 7 + -4 + 3. Is 7 a factor of b(c)?
True
Let j = 2899 - 1398. Is j a multiple of 9?
False
Suppose 5*j - 145 = -2*z, -4*j = -6*j - z + 57. Is 5 a factor of j?
False
Suppose 1728 = 3*s - 3*r, 0*s + 5*s = -4*r + 2880. Does 24 divide s?
True
Let o(a) = 187 - 76 - 31*a - 90. Is o(-6) a multiple of 19?
False
Let s(w) = -2*w**2 + 4*w + 81. Is s(0) a multiple of 8?
False
Let j = 1702 + -1042. Is 12 a factor of j?
True
Let p = 8 + -28. Let j = 84 + p. Let i = -42 + j. Does 8 divide i?
False
Suppose 0 = 3*p + v - 6*v - 39, -p - v = -5. Suppose p*i + 78 = 10*i. Is i a multiple of 7?
False
Suppose 5 = 3*l - 7. Suppose l*j = w, -5*w + j - 118 = -42. Is 50/(-4)*w/10 a multiple of 20?
True
Suppose -3*d + 2 = -y - 0*d, -4*d = -4*y - 16. Let o(u) = 4 + u - 2 + 8. Is o(y) a multiple of 5?
True
Is 47 a factor of 1411/6 - 42/252?
True
Let v(k) = -k + 12. Let s be v(7). Let b = 7 - s. Suppose 7*w = b*w + 75. Is 3 a factor of w?
True
Let k(g) = -g**3 + g**2 - g + 8. Let v be k(0). Suppose -y + v = -1. Does 22 divide ((-74)/3)/((-6)/y)?
False
Suppose -8 = -4*c - 0. Let g = 45 + -39. Suppose -y + g = c. Is 3 a factor of y?
False
Suppose -17 = 2*f + 5. Let r be ((-4)/(-3) - 2)*(-2 - 1). Let q = r - f. Is 13 a factor of q?
True
Let p(w) = -20*w**3 + 12*w**2 + 27*w + 4. Is 33 a factor of p(-4)?
False
Let j(d) = d + 1. Suppose -5*z + 13 = -7, 3*z = -3*b + 18. Let o be j(b). Suppose o = 3*l + 6, 0 = 4*p - 3*l - 147. Is p a multiple of 14?
False
Suppose -566*a + 577*a = 50061. Is 97 a factor of a?
False
Suppose 12*h - 1314 + 5058 = 0. Let a = h + 553. Is 39 a factor of a?
False
Let z = -2 - -1. Is z/(1 - 3)*26 a multiple of 2?
False
Let o(n) = 21*n**3 - 3*n**2 + 3*n. Is 33 a factor of o(3)?
False
Suppose -3*a - 8 = -5*h - 32, -4*h + 32 = 4*a. Let z be (-476)/(-8) + (-12)/a. Suppose 182 = 5*o - z. Does 12 divide o?
True
Let j = 8 - 6. Let h be (1/(-10) + 4/(-10))*0. Suppose 2*x + j*b = 140, h*b - 296 = -4*x + 4*b. Is x a multiple of 24?
True
Let f = -113 - -175. Suppose -5*g + 3*w = -253, -3*g + f + 83 = 5*w. Is 25 a factor of g?
True
Let w(i) = -486*i + 4. Does 28 divide w(-4)?
False
Let n = 155 - 152. Suppose -2*g = -1 + 5, 0 = -n*j - g + 379. Is j a multiple of 31?
False
Suppose 0 = 5*f - 3*a - 708, a - 563 = f - 5*f. Let v = f + -83. Is 13 a factor of v?
False
Does 5 divide 27/(-45) + (-2576)/(-10) - -1?
False
Let y(c) = 41*c - 64. Does 47 divide y(5)?
True
Let j(u) = 9*u - 6. Let h be j(2). Let x(v) = 20*v - 16. Let d be x(h). Is 12 a factor of (d/20)/((-1)/(-5))?
False
Let p = -1503 - -1574. Does 36 divide p?
False
Let s be (-108)/(-30) - (4/(-10) + 0). Suppose 24 = 4*m + 3*i, m = -s*m - 3*i + 30. Is 3 a factor of m?
True
Is 20 a factor of 5*(-10 - (-12859)/35)?
False
Let j(h) be the third derivative of -h**6/24 - h**5/30 - h**4/12 - h**3/3 + 2*h**2. Let l(n) = -n**2 - 3*n + 2. Let d be l(-4). Is j(d) a multiple of 17?
True
Let a(j) = -j**3 + 10*j - 8. Is 4 a factor of a(-4)?
True
Let q(l) = 183*l - 82. Is q(5) a multiple of 27?
False
Let l(k) be the second derivative of -7*k**3/6 - 11*k**2/2 - 2*k. Does 24 divide l(-5)?
True
Let g(r) = -4 + 4094*r - 4094*r + 31*r**2. Is 24 a factor of g(-2)?
True
Let h(t) = -t**3 - 11*t**2 - 23*t - 13. Let f(s) = s**3 + s**2 + 3*s - 1. Let g be f(-2). Is h(g) a multiple of 29?
False
Suppose -4091 = -7*s + 389. Does 41 divide s?
False
Let g(r) = 13*r - 9. Let n(l) = l**2 - 7*l + 13. Let y be n(6). Let o be g(y). Suppose 0 = 4*d - 5*c - 328, 4*d + o = 5*d + 4*c. Does 23 divide d?
False
Let y = 90 + 149. Is y a multiple of 2?
False
Let s(a) = -6*a - 3. Suppose -14*z + 9*z - 25 = 0. Does 5 divide s(z)?
False
Let z = 809 - 666. Is 29 a factor of z?
False
Let r = -1312 - -1956. Does 28 divide r?
True
Let c(m) = -m**3 - 3*m**2 + 5*m - 2. Let t(q) be the second derivative of -q**3/3 + q**2/2 - 2*q. Let s be t(3). Does 14 divide c(s)?
False
Suppose 7295 = 5*l - 1840. Does 54 divide l?
False
Let q be (-4)/42 + (-14927)/483. Let n = -1 + 2. Is 11 - q - n*3 a multiple of 13?
True
Does 59 divide (12095/15)/(8/24)?
True
Let d = -38 + 34. Does 8 divide ((-6)/4)/(d/24)?
False
Let c(t) = t**2 + 3*t - 5. Let r be c(-6). Let h = r + -9. Suppose -2*i = -2*s - 40, 2*i - 3*i = -h*s - 29. Is i a multiple of 8?
False
Let w = -36 - -40. Suppose 16 = -w*o, 6*s - 4*s + 2*o - 24 = 0. Does 4 divide s?
True
Let h(q) = -q**3 - 2*q**2 + 2*q + 1. Let v be h(-2). Let x(l) = l + 4. Let d be x(v). Let y = 21 - d. Is 13 a factor of y?
False
Suppose 0*t - t = -2. Let h(w) = -4*w + 0*w**3 + 6*w**2 - 3*w**3 + 0*w**2 + t*