?
False
Let f(j) = 2*j - 5. Let t be f(6). Let o(n) = -7*n + 3. Let d(i) = 7*i - 4. Let a(q) = t*o(q) + 6*d(q). Is 3 a factor of a(-2)?
False
Suppose -3*q + 87 + 6 = -j, 2*q - 55 = 3*j. Let i = -30 + q. Suppose -p + 3*f = -17, -i*p - 2*f + f + 6 = 0. Is 2 a factor of p?
False
Let h(m) = -m**2 + 3*m - 5. Let f be h(4). Let g(n) = -10*n + n - n**2 - 1 + 2 + 9. Does 10 divide g(f)?
True
Suppose 2*h - 26 = -0*h. Suppose -j = -h - 18. Does 31 divide j?
True
Let l be 6/15*5/1. Suppose l*w - 222 = -4*w. Is 7 a factor of w?
False
Suppose 0 = -5*x + 10, -198 = -2*d + 2*x + 130. Does 7 divide d?
False
Let x(d) = 29*d - 152. Is x(20) a multiple of 4?
True
Let a(f) = -5*f**3 + 8*f + 505. Let q(d) = d**3 - 2*d - 126. Let t(o) = -2*a(o) - 9*q(o). Does 19 divide t(0)?
False
Let m = 27 + -25. Let o(f) = -113*f**m + 115*f**2 - 3*f + 7*f - 4. Does 12 divide o(2)?
True
Let y = -2 + -4. Let x = y - -17. Does 2 divide x?
False
Let f = -234 + 804. Does 10 divide f?
True
Suppose 3*t + 11*s - 220 = 12*s, -140 = -2*t + 4*s. Is 37 a factor of t?
True
Let c(t) be the second derivative of -t**4/12 + 5*t**3/2 + t**2 + 12*t. Does 13 divide c(9)?
False
Let g(r) = -7*r - 10 - 4*r**3 + 3*r**3 - 12*r + 30*r**2. Is 23 a factor of g(29)?
False
Let d(f) = 51*f**2 + 29*f + 20. Does 18 divide d(-4)?
True
Let a be ((-37)/1)/((-1)/(-5)). Let x = a + 265. Does 16 divide x?
True
Let a(k) = -2*k**2 + 6*k. Let f be a(3). Let x(t) = -2*t. Let m be x(f). Suppose 5*i - 5*v - 117 - 13 = m, -8 = -4*v. Is i a multiple of 14?
True
Suppose 27*r + 3*o - 339 = 24*r, 2*r + 5*o = 217. Is r a multiple of 22?
False
Let z = 168 + -255. Does 17 divide -20*z/24*2?
False
Let o(m) = -m**2 - 7*m - 6. Let v be o(-5). Suppose v*g - 5*f - 19 - 4 = 0, -22 = -5*g + 4*f. Suppose -c + 32 = g*n + 2*n, 3*c - 4*n = 48. Is c a multiple of 9?
False
Let s = -99 + 175. Does 19 divide s?
True
Suppose 20*r + 0 = -20. Let g be 139/3 + 2/3. Does 26 divide g + 2 + 4 + r?
True
Suppose 104 = z + 7*q - 5*q, 0 = 2*q - 6. Is z a multiple of 14?
True
Let a(s) be the first derivative of s**2/2 + 95*s - 6. Let w be a(0). Suppose -2*d = 10, w = b - 4*d - d. Does 32 divide b?
False
Suppose 5*w = -3*c + 2*w - 12, c + 5*w = -24. Let f be 6*(-2)/(-3) + c. Suppose 5*t + h = 196, f*h = 3*h - 8. Is 26 a factor of t?
False
Let d be (-7 + 7)/(4/(-2)). Let i(m) = d - m + 8 + 2 + 2*m**2 - 9. Is i(3) a multiple of 8?
True
Suppose -3*b = 7 - 4. Let h = b - -13. Is h a multiple of 12?
True
Let g(h) = 282*h**2 + 5*h + 2. Let f be g(2). Does 38 divide (-32)/10*f/(-24)?
True
Does 18 divide 9/6 - 4636/(-8)?
False
Does 23 divide 2798/4 + 35/70?
False
Does 15 divide (-47)/141 - (-1802)/6?
True
Suppose -3*o - 5*j = 16, -3*j - 1 = o + 7. Let n be 2/(o/(-3 - 3)). Suppose -2*g + 5*f = -41, n*f - 2*f = -3*g + 50. Is g a multiple of 17?
False
Let t = -28 + 30. Suppose -p - 3*p = n + 5, -n + t*p = -25. Suppose n + 37 = s. Does 15 divide s?
False
Does 63 divide (4350/12)/(3/6)?
False
Let t be (-13)/(-7) + 1/7. Suppose 3 = i - t, -5*h + 45 = 5*i. Suppose o + 1 = h, 0 = -5*n - 4*o + 42. Is 3 a factor of n?
True
Suppose 2*z - 1367 = -5*i, -5*z + 1563 = -5*i - 1767. Does 20 divide z?
False
Let o be 3/(1*4/4). Suppose o*u - 6*u = -186. Is u a multiple of 15?
False
Suppose 0 = 2*y + 4*x - 586, -2*y + 9*x - 4*x + 595 = 0. Does 9 divide y?
False
Let n(d) = -4*d - 7. Let m be n(-4). Suppose -3*f + 2520 = m*f. Is f a multiple of 35?
True
Suppose -3*y - 3*n + 314 = 2*n, 548 = 5*y - 4*n. Suppose -189 = -3*p + y. Is p a multiple of 14?
False
Let u = -201 + 387. Let k = u - 126. Does 15 divide k?
True
Let s(d) = 4*d**3 - 2*d**2 + 3*d - 2. Let k be s(2). Is ((-212)/1)/(-2) - k/(-14) a multiple of 9?
True
Suppose -i - 805 = 12*a - 13*a, -4*a - 2*i + 3190 = 0. Does 12 divide a?
False
Let n be (((-4)/3)/(-4))/((-2)/(-2178)). Suppose 0 = 9*a - n - 285. Is a a multiple of 31?
False
Let k(l) be the first derivative of 3*l**2/2 - 9*l + 1. Let f be 5/((-264)/(-32) + -7). Is 3 a factor of k(f)?
True
Does 8 divide (426/(-4))/(14/4 - 5)?
False
Suppose c + 1190 = 2*z + 381, 5*z - 2020 = 2*c. Is 67 a factor of z?
True
Let u(k) be the second derivative of -k**5/20 + 7*k**4/12 - 5*k**3/6 + 3*k**2/2 + k. Suppose 2*j + 16 = 3*l - 4, 0 = 5*j + 20. Is u(l) a multiple of 15?
False
Let q(b) = -b + 23. Let y be q(-7). Suppose -3*z = 3*z - y. Does 4 divide z?
False
Let n be -2 + 3 - 3/(-1). Suppose x = n*x - 99. Is x a multiple of 12?
False
Let n(g) = -g + 4. Let o be n(11). Let r = o + 12. Suppose -r*j + 2*h + 270 = -0*h, -3*j + 2*h + 166 = 0. Is 12 a factor of j?
False
Suppose -2*k + 6 = -2*m, 2*k - 9 = -0*k - m. Suppose -k*d + 520 = -4*p, 3*p + 2*p - 154 = -d. Is 17 a factor of d?
False
Suppose -11*x + 9*x + 10 = 0. Suppose x*o - 165 = 3*k - 5*k, 3*o - 3 = 0. Is 10 a factor of k?
True
Let b(o) = o - 1. Let i(p) = 47*p. Let j(h) = -h - 1. Let r(q) = -i(q) - 3*j(q). Let d(f) = 3*b(f) - r(f). Is 22 a factor of d(2)?
True
Suppose -3*c + t = 2*c - 905, -157 = -c + 5*t. Is c a multiple of 23?
False
Let y = 114 - 34. Does 5 divide y?
True
Suppose -3*u + 2*u + 6 = 0. Let i = -14 + u. Let h = i - -22. Is 14 a factor of h?
True
Is 25 a factor of (-70159)/(-85) - (-2)/(-5)?
True
Suppose 2*b + i + 2 = 4, i = -4. Suppose 4*x = -5*d + 199, b*d - 3 = 6. Is 46 a factor of x?
True
Let y = -81 - -111. Let h = y + -10. Is 5 a factor of h?
True
Suppose -5*z + 20 = -0*z. Is 3 a factor of z/(-3 + 7) - -4?
False
Let n = -11 + 8. Let w be 3 + 2*n/(-6). Suppose 0*m - w*r - 66 = -2*m, -165 = -5*m - r. Does 18 divide m?
False
Let z = 35 - 26. Let s = -1 + z. Is s a multiple of 6?
False
Let v = -312 + 576. Suppose -j - 1 = 0, 5*t + 0*j - 4*j = v. Is 13 a factor of t?
True
Let c = -941 - -1452. Does 73 divide c?
True
Let h = -1706 - -2828. Is h a multiple of 11?
True
Suppose -5*x + 3*x = -270. Is 9 a factor of x?
True
Let i = 15 - -143. Does 22 divide i?
False
Let l(o) = o**3 - o**2 + o + 42. Let d be ((-12)/10)/((-3)/(-10)). Let q = -4 - d. Is l(q) a multiple of 18?
False
Suppose 3*m = 4*o + 364 - 1352, -m = 4*o - 972. Is o a multiple of 42?
False
Let n be (-1)/4 - 21/(-4). Suppose n*w + 39 = -q + 1196, 5*w = q + 1163. Does 43 divide w?
False
Let q(f) = -17*f + 281. Does 21 divide q(-61)?
False
Let i = -7 + 59. Suppose r = -3*r + 3*w + 48, -4*w = -4*r + i. Let g = r + -4. Does 5 divide g?
True
Let j(b) = 2*b**2 + 2*b + 66. Is 15 a factor of j(11)?
True
Is 14 a factor of ((-159)/(-15) - 11)/(2/(-8540))?
True
Suppose -5*j - 73 = -4*o - 495, -2*o = 5*j - 434. Let u = j - 31. Is u a multiple of 11?
True
Let u(x) be the third derivative of 1/6*x**3 + x**2 + 0 + 5/24*x**4 + 0*x. Does 17 divide u(6)?
False
Let i be (-1)/(-3) - 24/(-9). Suppose 5*x + 2 = 2*u, i*x - 2*u + 1 + 1 = 0. Suppose -3*c + 67 + 53 = x. Does 18 divide c?
False
Let i be (8 + -7)/((-1)/(-4)). Suppose 3*d - 149 = -2*k + 2*d, -5*k + 392 = -i*d. Is 12 a factor of k?
False
Suppose -3*m + 3*y + 202 + 830 = 0, 5*m = -y + 1738. Suppose 3*j + 480 = 4*a, -3*a + 0*j - j = -m. Is 9 a factor of a?
True
Suppose 10*s = 8*s - 2. Let o be (-2 + s)*-1 - -58. Suppose 0 = 5*p + 6 - o. Is p a multiple of 7?
False
Let g = 255 + -138. Is 13 a factor of g?
True
Suppose 0 = -0*x - 4*x + 2*n + 26, 14 = x - 3*n. Suppose 2*c + 45 = x*c. Is 10 a factor of c?
False
Suppose 50*m - 3591 = 41*m. Is m a multiple of 18?
False
Suppose 0 = -5*v - w + 2, 4*v = -0*v - w + 2. Suppose -5*t + t + 36 = v. Suppose l + l + 48 = d, t = -3*l. Is d a multiple of 14?
True
Let j(t) = 2*t**3 + 7*t**2 - 9*t - 11. Let d(n) = n**3 + 4*n**2 - 5*n - 6. Let x(f) = 11*d(f) - 6*j(f). Is x(-3) a multiple of 8?
True
Suppose 0 = -10*m - 9*m + 912. Is m a multiple of 16?
True
Let t(h) = 44*h + 2. Let s(x) = -2*x - 12. Let g be s(-7). Does 15 divide t(g)?
True
Let r(t) = t + 10. Let j be r(6). Suppose -3*s + 29 = -j. Is 12 a factor of s?
False
Suppose 0 = 3*p - 1617 + 537. Is 60 a factor of p?
True
Let x = -2609 - -4699. Does 36 divide x?
False
Let o(u) be the third derivative of -u**6/720 - u**5/120 - u**4/8 + 6*u**2. Let z(p) be the second derivative of o(p). Is z(-11) a multiple of 10?
True
Let u(s) be the third derivative of -s**5/60 - 3*s**4/4 + s**3/6 + 2*s**2. Let h be u(-13). Suppose h = 5*l + 6. Does 6 divide l?
True
Suppose 9537 = 5*u - 2*s, u - 859 - 1044 = -4*s. Is u a multiple of 129?
False
Let a be ((-8)