 Does 14 divide s?
False
Let o(j) = 2*j**2 - 2*j - 2. Let v be o(2). Suppose 3*h = -v*l + 583, 0*h + 579 = 3*h + 3*l. Is h a multiple of 15?
False
Let m be 27/(-9) - 166/(-2). Let a = -48 + m. Does 15 divide (-33)/(-2) - 48/a?
True
Let w be (-40)/(-30)*3*1. Is (-9)/(-2)*2 + w/(-1) a multiple of 2?
False
Let g be (-1 - 16)/((-7)/(-35)*-1). Let t = -63 + g. Is t a multiple of 22?
True
Let t(j) = 3*j**2 - 1. Let r(m) = -2*m - 1. Let l be r(0). Let z be t(l). Is 21 a factor of 66*(-5)/(-20)*z?
False
Is 625/1 + (-3 - -2)/(-1) a multiple of 3?
False
Suppose -2*j - 2*d + 4*d + 18 = 0, -j + 3*d = -13. Does 5 divide j?
False
Is 80 a factor of ((-11319)/(-44))/(-2*(-3)/16)?
False
Let t(p) = 2*p + 21. Let d be t(-8). Suppose d*w = j - 3, 2*j - 4*w = -2*j + 76. Does 9 divide j?
False
Let l = 19 + -31. Suppose -4*s - 115 = -9*s. Let n = s + l. Does 11 divide n?
True
Let f = -10 - 1. Let z = 14 + f. Suppose z*b + 3*a = -6 + 48, 2*a = 2*b - 44. Is 10 a factor of b?
False
Let z = -24 + -3. Let p = z + 27. Suppose p*x = 3*x - 24. Is 4 a factor of x?
True
Let j(a) = -2*a**3 + 3*a**2 + 3*a - 7. Let t be j(-5). Let d = 519 - t. Suppose -3*x + d = 4*p, 3*p = -5*x + 129 + 22. Is p a multiple of 16?
False
Suppose 0 = -h - 0*h + 3. Let a(m) = -m**3 + 4*m**2 - 3*m + 4. Let q be a(h). Suppose 0 = -i + v + 25, 2*v - q = -2*i + 50. Is i a multiple of 26?
True
Suppose 3*u = 26 + 4. Suppose -4*b + 10 = -u. Suppose b*l + 5*p = 170, -2*l + 4*p = p - 73. Is 12 a factor of l?
False
Suppose -1890 = -10*b + 1360. Does 13 divide b?
True
Let m = 203 + -119. Does 8 divide m + (0 + 1)/(4/(-16))?
True
Let l = -169 + 163. Is -1*-6*(-3)/l a multiple of 2?
False
Let l(s) = -s**3 - s**2 - 11*s - 8. Let a be l(-4). Suppose -5*h + 7*h = a. Is 8 a factor of h?
False
Let p(m) be the first derivative of 15*m**2/2 - 3*m - 1. Let z be (5 - 5)*2/4 + 2. Does 26 divide p(z)?
False
Suppose 3*s = s + 2*z - 10, s - 15 = -3*z. Suppose s = -0*t - 3*t + 60. Is 5 a factor of t?
True
Suppose 26591 = 38*z - 427. Does 7 divide z?
False
Suppose 0 = 4*l + 4*k + k - 44, -l - 2*k = -8. Let q = l - 14. Suppose 34 = q*o + g - 2*g, o = -g + 14. Is 4 a factor of o?
True
Suppose -744 = -4*h - 2*a, 5*h + a - 560 = 2*h. Is h a multiple of 33?
False
Let p(z) = -z**3 - 6*z**2 + 2*z + 18. Let w be p(-6). Let f(i) = 9*i + 24. Is f(w) a multiple of 13?
True
Let c(r) = r + 9. Let s be c(-5). Suppose g - 12 = -s*t - 38, -5*g = -4*t + 10. Is (-1015)/(-15) - 2/g a multiple of 30?
False
Let u = -1723 + 2311. Does 6 divide u?
True
Does 6 divide -2 + 9 - -25*11?
True
Let h(k) = -k**3 - 8*k**2 - 8*k - 9. Let g be h(-7). Let r(f) = 13*f**2 - 2. Is r(g) a multiple of 10?
True
Suppose 0 = 29*f - 29646 + 7403. Is 13 a factor of f?
True
Suppose 4*p - 202 = 2*p. Is 10 a factor of p?
False
Let k be 2/(36/15 + -2). Suppose -k*w = 4*c + 124 - 812, 5*c + 534 = 4*w. Let r = w + -38. Is 16 a factor of r?
False
Let m be 14/1*(-234)/91. Let o = 28 - m. Is 6 a factor of o?
False
Let z = -11 - -9. Let s = z + 7. Suppose s = n - 25. Is 6 a factor of n?
True
Suppose 83 = -410*n + 411*n. Does 3 divide n?
False
Suppose 0 = -7*f + 3*f + 3*w - 13, f - 5*w + 16 = 0. Let z(n) = -5*n + 1. Let o(l) = -1. Let i(y) = f*z(y) + 3*o(y). Is i(4) a multiple of 8?
True
Let r(m) = -10*m**2 + 6*m - 15. Let s be r(7). Let f = 769 + s. Is 34 a factor of f?
True
Suppose -4*t + 5*s + 2564 = -2395, -5*t + 6220 = -2*s. Is t a multiple of 8?
False
Let a = 728 - 242. Suppose -v + 3*v = a. Is 31 a factor of v?
False
Let h(y) = -y**2 + 13*y - 33. Let v be h(9). Suppose -5*r - 2*n + 908 = 0, -v*n - 880 = -5*r + 2*n. Is 20 a factor of r?
True
Suppose 0 = -2*v + 540 + 158. Is 13 a factor of v?
False
Let k be ((-6)/4)/(-3)*(-2 + -2). Let u(c) = -21*c - 12. Does 15 divide u(k)?
True
Is 9 a factor of (-6)/(-8) - ((-2980)/16 + -2)?
True
Suppose 0 = 4*s - 2*m - 302, 8 - 162 = -2*s - 2*m. Let k = s + -47. Does 7 divide k/4 + (-2)/8?
True
Let k(i) = 76*i - 71. Does 26 divide k(9)?
False
Is 26 a factor of (-7)/(196/(-8728)) + 10/35?
True
Suppose 0 = -9*a + 1878 + 1362. Does 24 divide a?
True
Let x(g) = -g**3 - 6*g**2 - 9*g - 10. Does 17 divide x(-7)?
True
Let i(o) = -o**3 + 6*o**2 + o - 2. Let q be i(6). Suppose 0*w + 452 = q*w. Suppose -2*n + 103 = -w. Is 27 a factor of n?
True
Let y(u) = -45*u**2 + 2. Suppose -3*g - 5 = 10. Let f(s) = -22*s**2 + 1. Let l(h) = g*f(h) + 2*y(h). Does 14 divide l(1)?
False
Let x be 184 + (-2 - (-4)/1). Suppose -5*t + x = -2*t. Let g = 104 - t. Is g a multiple of 21?
True
Let r(z) = -3*z**2 + 5*z - 4. Let h be r(2). Let d(b) = b**3 + 10*b**2 - 2*b - 4. Does 26 divide d(h)?
False
Suppose -138 = -3*x - 3*k, -3*x - 4*k = -5*x + 80. Suppose 4*n - 8*n = -x. Is 7 a factor of n?
False
Suppose 0 = 4*l + 4*n - 32, 3*l + 26 = 5*l + 4*n. Suppose -l*v - 1400 = -10*v. Is v a multiple of 54?
False
Let s(t) = 22*t - 4. Let l be (-6)/(1 + (-20)/8). Let r be s(l). Suppose -3*g + r = -g. Is g a multiple of 17?
False
Let f = -257 + 577. Is 80 a factor of f?
True
Suppose -181 = -2*f + 83. Suppose -f = -o - 2*o. Is 9 a factor of o?
False
Let a(l) = 4*l**3 - 3*l**2 - 4*l + 1. Let p be a(-2). Let g = p + 135. Is 6 a factor of g?
False
Let n(a) = 11*a**3 + 6*a**2 + 10*a - 13. Does 11 divide n(5)?
True
Let m be 14/4*(-40)/(-70). Let i be 63/12 - m/8. Suppose i*c - 154 + 1 = 3*z, -58 = -2*c - 2*z. Does 15 divide c?
True
Let i(b) = 6*b**2 - 9*b + 2. Let s(h) = -h - 13. Let c be s(-9). Let k(y) = 5*y**2 - 8*y + 2. Let n(l) = c*i(l) + 5*k(l). Is n(5) a multiple of 7?
True
Suppose -550 = -3*t + 5*j, 42*t = 43*t - 4*j - 195. Does 25 divide t?
True
Let m be ((-120)/(-70))/((-4)/(-574)). Let q = m - 142. Is q a multiple of 18?
False
Suppose -7*l + 17*l = 2260. Suppose 6*i - 710 = l. Is i a multiple of 26?
True
Let y(w) = 2*w**3 + 2*w**2 + 2*w + 1. Let f be y(-1). Suppose 0*p + 5*j = -3*p + 22, -5*j = -5*p + 10. Does 18 divide (f + 10/p)*46?
False
Let y = 1389 + 770. Is 17 a factor of y?
True
Let q(n) = -77*n - 1. Let y(r) be the first derivative of -39*r**2/2 - 9. Let u(j) = 3*q(j) - 7*y(j). Is 23 a factor of u(2)?
False
Is (3/4)/((-84)/(-140))*124 a multiple of 31?
True
Suppose -1442 - 1102 = -12*x. Does 4 divide x?
True
Let a = 12 - 10. Suppose -a*s - 5*v + 59 = 0, 2*s - 4*v = -3*s + 230. Is 7 a factor of s?
True
Let x = -15 + 18. Suppose -4*j + b + 138 = 0, -j + 36 = -x*b + 2*b. Is j a multiple of 17?
True
Let b = 7 - 1. Let t(i) = i**2 - 4*i - 13. Let k be t(b). Is ((-16)/20)/(k/85) a multiple of 12?
False
Let z be (-45 + (1 - 3))/(-1). Suppose 4*a + 55 = 9*a. Suppose -g + z = a. Does 12 divide g?
True
Let w = -10 - -7. Let d be (-12)/(-3) + (-195)/w. Suppose -p - 5*f = -d, 5*p + 0*p + 5*f - 365 = 0. Is p a multiple of 14?
False
Let s = 145 + -94. Suppose 3*g - a - 24 = 0, 4*g = 3*a - 4*a + 32. Let w = s + g. Is w a multiple of 17?
False
Let c(z) = 4*z**2 - 1. Let d be c(-1). Let k(y) = y**3 - y**2 - y - 1. Does 7 divide k(d)?
True
Let m = 530 - -126. Is m a multiple of 82?
True
Let p(g) = 2*g + 13. Let l be (-1206)/(-108) - (-2)/(-12). Is 10 a factor of p(l)?
False
Let w(y) be the second derivative of -28*y**3/3 - 8*y. Let p be w(-1). Suppose p = 3*h - h. Is 6 a factor of h?
False
Let x(q) = -q + 48. Let z be x(-8). Let r(a) = -11*a + 4. Let o be r(3). Let g = o + z. Is 9 a factor of g?
True
Suppose -2*a + 10 = -5*y - 0, -a + 5 = 2*y. Suppose -14*x + 1442 + 98 = y. Does 49 divide x?
False
Suppose 5*i + 3*o = 1679, 3*i + 1003 = 6*i + 4*o. Let f = i + -237. Is 17 a factor of f?
False
Let y(b) = -136*b + 21. Let c be y(-4). Suppose -107 = -7*w + c. Is 20 a factor of w?
False
Let c(r) = -r**3 - 2*r**2 + 7*r + 13. Let j be c(-4). Suppose i = j - 0. Is 17 a factor of i?
True
Let z(o) = o - 22. Let j be z(11). Suppose 7*b - 164 = 3*b. Let s = j + b. Is 6 a factor of s?
True
Let m(u) = -3*u. Let l be m(0). Suppose y - 2*q - 11 = -4*y, 0 = -2*y - 5*q + 16. Suppose 0 = 5*f - 5*v - 235, y*f - 151 = 5*v - l*v. Is f a multiple of 11?
False
Let p be 1*7 - (-18 - -22). Suppose -49 - 59 = -p*c. Is 12 a factor of c?
True
Suppose -9*a + 36*a = 18792. Is a a multiple of 29?
True
Let s(m) = m**3 + 14*m**2 + 18*m. Let i be (-1)/(1/8) - 4. Does 18 divide s(i)?
True
Let w = 9 + -11. Let z be 7 + (-2 - w) + -2. Let r(s) = 7*s + 4. Is r(z) a multiple of 13?
True
Let j = 232 - 170. Is 15 a factor of j?
F