e
Let g(f) = 7*f**2 - 9*f + 9. Does 13 divide g(4)?
False
Let u = 25 + -63. Let m = -18 - u. Is m a multiple of 19?
False
Let f(s) = s**2 + 2. Let j be f(-2). Suppose 0 = -3*n + 18 - j. Is n a multiple of 4?
True
Suppose 4*m + 8 = 2*m. Let h be (-6)/m*(-78)/(-9). Is 9 a factor of h/(-2*(-1)/2)?
False
Let z(j) = -j - 1. Let w(k) = 2*k + 3. Let r(l) = -2*w(l) - 6*z(l). Let s be r(2). Suppose -s = -3*h + 26. Is h a multiple of 8?
False
Let f(w) = 5*w**3 - 6*w - 6. Let b(l) = -6*l**3 - l**2 + 6*l + 6. Let h(r) = 4*b(r) + 5*f(r). Let u be h(5). Is 119/11 - 2/u a multiple of 4?
False
Suppose -3*r + 3 = -2*m - 2, -20 = -5*r + m. Suppose 0*u - 2*u + 64 = 3*l, 0 = r*l - 4*u - 114. Does 16 divide l?
False
Suppose 4*p = -5 + 17. Let a = p - -3. Is 6 a factor of a?
True
Suppose -4 = v, 5*w + 3*v - 244 = -v. Does 16 divide w?
False
Let o(r) = 4*r**2 - r + 1. Let l be o(-9). Suppose -i + 174 - 7 = 4*g, -3*g = -2*i + l. Suppose -5*v + 48 = -i. Does 22 divide v?
False
Let u(y) = -y**3 - 5*y**2 - 7*y - 4. Is 7 a factor of u(-4)?
False
Let s(g) = -28*g**2 + 2*g - 2. Let y be s(1). Does 18 divide (-2024)/y + (-4)/14?
True
Let h = 1 + 1. Suppose m = n - 2*n + 9, m = -h. Is 3 a factor of n?
False
Let p(l) = -2*l**3 + 2*l**2 - 2*l + 9. Let j be p(9). Is 25 a factor of j/10*(-6)/9?
False
Suppose -757 = -3*g - 5*m, -817 + 287 = -2*g + 3*m. Does 37 divide g?
True
Let w(a) = -a**2 - 10*a - 8. Suppose -4*v + 18 = -f, 3*v + 3*f + 2 = 23. Suppose -8 = -4*t, v*m - 3*t + 2*t + 37 = 0. Does 11 divide w(m)?
False
Is (-3238)/(-12) - 26/(-156) a multiple of 9?
True
Let w(n) = -14*n + 9. Is w(-4) a multiple of 65?
True
Suppose 4*r - 18 = 2*q, -2*q + 7*q - 15 = 0. Let a = r - 5. Suppose 3*m + 2 = -2*z - a, 0 = -m - 5. Is z a multiple of 2?
True
Let p be -156*(-3 - 20/(-8)). Suppose 374 = 5*b + v, b - p = -3*v + 2*v. Is 23 a factor of b?
False
Let h = 15 - -18. Is h a multiple of 14?
False
Let s(r) = 4*r**2 + 15*r + 4. Is 9 a factor of s(-5)?
False
Suppose 59 = 3*w + 2*a, -4*w + 72 = a - 15. Does 2 divide w?
False
Let f(h) = h + 35. Is f(16) a multiple of 51?
True
Suppose -m = 4*m - 180. Is m a multiple of 9?
True
Suppose -2*q - 22 - 55 = -3*y, -4*q = 4*y - 76. Is 10 a factor of y?
False
Suppose 142 = 4*n - 50. Is 15 a factor of n?
False
Let q = 4 + 11. Suppose 6*x - x = q. Is x a multiple of 2?
False
Let s(c) = -13*c**3 + 7*c - 4. Let i(b) = 12*b**3 - 6*b + 3. Let m(w) = 5*i(w) + 4*s(w). Let a be m(-1). Is 7 a factor of (-82)/a - (-2)/7?
False
Let g be (-3*(-12)/9)/(-1). Let k = -4 - g. Is 0 - (k + -1) - -1 a multiple of 2?
True
Let h(p) = 4*p**2 + p + 4. Let i be h(4). Suppose 0 = -2*a - a + i. Is a a multiple of 12?
True
Does 5 divide -3 + 29 - (-5)/(-5)?
True
Let n = 54 + -32. Is 15 a factor of n?
False
Let f(i) = 4*i + 5 - 5 - 4. Does 10 divide f(6)?
True
Is 19 a factor of -4 + 0 + (-2085)/(-15)?
False
Let y be 42/(-18) - (-2)/6. Suppose 0 = 3*x + 6 + 3. Does 12 divide x + 34 + 0/y?
False
Suppose -3*v - 4*b = -18, v - 3*v = b - 7. Let z be -2 + (v - -1) + 36. Suppose -3*n - 9 = 0, -4*w + z = -2*n - 9. Is 10 a factor of w?
True
Suppose -h + 133 = -0*h + w, h - 4*w - 148 = 0. Suppose -4*x + h = -204. Is x a multiple of 29?
False
Let w be 1 + 10/(-2 - 0). Let d be (3/(-6))/1*w. Suppose -14 = -4*k + d*k. Is k a multiple of 6?
False
Suppose m + 179 = s, 0*s - 2*m + 547 = 3*s. Is 34 a factor of s?
False
Let b(t) = -t + 10. Let o be b(6). Suppose -4*n + 392 = -o*x, 6*n - 514 = n - x. Does 34 divide n?
True
Let d(a) be the third derivative of -a**4/12 + 4*a**3/3 - 2*a**2. Let s be d(-7). Suppose f - s = 11. Does 15 divide f?
False
Let b(w) = 3*w - 2*w + 0 + 2. Suppose -4*a = 4*o - 44, 2*a = 4*a + o - 18. Is b(a) a multiple of 4?
False
Let d be (-158)/(-4) + (-3)/(-6). Suppose -3*h + d = -26. Is 11 a factor of h?
True
Is 14 a factor of (-4)/4 + (-4 - -19)?
True
Let d be (-5)/20 + (-50)/(-8). Let r(x) = 4*x - 5. Let j be r(d). Let n = 27 - j. Does 4 divide n?
True
Let v be ((-14)/5)/(4/20). Suppose 0 = 3*m - 3*i + 24, 4 = 2*i - 0. Let t = m - v. Does 6 divide t?
False
Let v(z) = 8*z**2 + 4. Let s be v(-6). Is ((-8)/16)/((-2)/s) a multiple of 25?
False
Let u = -86 - -151. Is 5 a factor of u?
True
Let q(g) = 2*g**2 + 3*g + 2. Let t be q(-4). Let x = -10 + t. Is x a multiple of 12?
True
Let t(u) = -5*u + 2. Let x be t(4). Let k be (-34 - -1)/3 + 1. Is k*x/4*1 a multiple of 12?
False
Suppose 3*p + 3*r - 8*r - 2 = 0, -4*p - 2*r + 20 = 0. Suppose -p*y = y - 20. Let f(s) = s**2 + 2*s. Is f(y) a multiple of 9?
False
Suppose -3*f + 20 - 5 = 0. Suppose 0*m - m + 130 = f*r, 0 = -3*m + 3*r + 336. Suppose 0 = -3*p + u + m, 5*p - 6*u + 2*u - 194 = 0. Does 22 divide p?
False
Let g be 2/(1 + 1) - -5. Suppose -4*v + d + 144 = 0, -3*d = -g*d. Is 12 a factor of v?
True
Let k = -95 + 139. Is 19 a factor of k?
False
Let q(y) = 2*y**2 + 2*y - 1. Suppose 0 = 2*h - 0*h - 8, 5*h - 26 = 2*b. Let l be q(b). Suppose 4*d = 13 + l. Is d a multiple of 6?
True
Let o = -8 + 9. Suppose -41 = -2*s - 5*b, -s + b - o = -4. Does 8 divide s?
True
Does 12 divide ((-18)/10)/((-27)/180)?
True
Let u(o) = o**2 + 10*o + 13. Let x be u(-9). Suppose 5*f = -a + 2*a + 44, -x*f = -4*a - 32. Is 6 a factor of f?
False
Suppose -n - 6*n = -1029. Does 7 divide n?
True
Suppose 5*u = 3*q + 127 + 242, -373 = -5*u + q. Is 15 a factor of 2/4 - u/(-2)?
False
Is 6 a factor of (-3 + 91/14)/(1/24)?
True
Let s(d) = 18*d**2 + 4*d + 1. Is 24 a factor of s(-3)?
False
Let i = -1057 + 1536. Is i a multiple of 19?
False
Suppose -u - 2*b = 8, -4*b - 25 = -5*u - b. Let t = u - 0. Is 2 a factor of ((-4)/5)/(t/(-5))?
True
Suppose 0 = -3*y - 3, g - 5*y + 2 = -1. Is 0 + 4/(g/(-30)) a multiple of 15?
True
Suppose 3*i + 3*h - 3 = 0, -i + 3*h = 4*i - 45. Is 2 a factor of i?
True
Suppose -5*o + 90 = -255. Suppose -5*u = -4*y - 191, y + o = -0*y - 3*u. Let d = 76 + y. Is 22 a factor of d?
True
Let l(z) = z**3 + 3*z**2 - z + 3. Let u be l(-3). Suppose s = u*s - 390. Suppose j + 26 = i, 3*i + j - s = 3*j. Is i a multiple of 13?
True
Does 6 divide 54/3*5/3?
True
Suppose -5 = 3*t + 10. Is 2 a factor of ((-8)/1)/(3 + t)?
True
Let y be 3*(-6)/(-9) + 2. Suppose -y*j = -q - 78, -3*j - 2*j = -3*q - 94. Is (j/(-2))/(2/(-11)) a multiple of 22?
False
Let x = -88 - -148. Is x a multiple of 15?
True
Let o(b) = -b**3 - b**2 - b - 1. Let y(j) = -13*j**3 - 2*j**2 - 2*j - 3. Let r(q) = -4*o(q) + y(q). Does 10 divide r(-1)?
True
Is (-6)/24 - (-354)/8 a multiple of 22?
True
Let v = 6 - 0. Is 63/v - 3/2 a multiple of 9?
True
Suppose 3*z - 134 = -38. Does 16 divide z?
True
Let n be 68/(-5) + (-2)/5. Let i = n - -28. Is 5 a factor of i?
False
Suppose -2*o + 61 + 71 = 0. Does 33 divide o?
True
Let b(i) = -i**2. Let h(f) = 6*f**2 - f + 1. Let v(s) = 11*b(s) + 2*h(s). Let x be v(3). Suppose -90 = -3*j + x*n, 4*j - 120 = 4*n - n. Is j a multiple of 15?
True
Suppose s = h + 2*s - 8, 0 = -2*h + s + 4. Suppose h*z - 3*z = 11. Is 11 a factor of z?
True
Suppose 2*d + 2*g + 3*g = 176, -4*d = -3*g - 326. Let q = 173 - d. Suppose r + 35 - q = n, -n - 109 = -2*r. Does 18 divide r?
True
Suppose 8 = -3*x + 23. Suppose 0 = -x*h + 2*h + 96. Is 13 a factor of h?
False
Let x = -4 + -4. Let o = x + -13. Let j = o - -36. Does 15 divide j?
True
Let i(a) = a + 7. Let j be i(0). Let y = j + -4. Suppose 4*s - 2*s = y*o + 64, -3*o - 12 = 0. Is 14 a factor of s?
False
Let y(c) = -c + 5*c + c**2 + 0*c - c. Is 4 a factor of y(-5)?
False
Let v(c) = -c**3 - 5*c**2 + 4*c - 1. Is v(-6) a multiple of 4?
False
Suppose h - 3*h + 4 = 0. Let g(a) = -3*a**3 - 8*a**2 + a - 4. Let s(f) = f**2 + 1. Let l(v) = -g(v) - 6*s(v). Is l(h) a multiple of 16?
False
Let t(o) be the third derivative of -2*o**6/15 + o**5/30 - o**3/6 + 2*o**2. Is 6 a factor of t(-1)?
False
Suppose 5*n - 65 = -5*f, -2*f + 3*n = 7*n - 28. Is f a multiple of 6?
True
Suppose 3*i + 0*i - 22 = 4*g, 0 = 4*g + 16. Let h(u) = -4*u**2 + 0*u**2 + 1 - 5*u + 2*u**2 + u**i. Is h(-3) a multiple of 7?
True
Let a(m) = -m**3 - 5*m**2 + 4*m + 13. Is 5 a factor of a(-6)?
True
Suppose -15 - 5 = -s - 4*v, -5*v + 46 = 3*s. Is 10 a factor of s?
False
Let w(j) = -2*j**3 - 5*j**2 + 2*j + 5. Let r be w(-4). Is 6/r + (-476)/(-30) a multiple of 4?
True
Let q(n) = -n + 16. Is q(-11) a multiple of 9?
True
Suppose 9*q - 161 + 26 = 0. Is q even?
False
Let v(k) be the third derivative of