 factor of 1008/10 - 6/f?
False
Let x(o) = 2*o**3 + o**2 + 2*o - 3. Let b(n) = -n**3 - n**2 - 2*n + 2. Let g(f) = 3*b(f) + 2*x(f). Let t be g(9). Is 15 a factor of (t/4)/3*2?
True
Let b(m) = 181*m + 12150. Is 135 a factor of b(0)?
True
Suppose 4767 + 2712 = -27*q. Does 8 divide 6 - (q - (-30)/5)?
False
Suppose 5*j = 2*q - 11161, 3*q + 2261 - 19012 = -2*j. Suppose -13*n = -15385 + q. Is n a multiple of 30?
False
Let o = -61 + 75. Let v(n) = -12 - n**3 + o - 6*n**2 - 3*n - n**2 + 6. Does 16 divide v(-8)?
True
Suppose -2*c + 7*c + 5*f - 330 = 0, 5*c - 342 = f. Suppose -c = m - 232. Is 41 a factor of m?
True
Suppose 4*a = 2*g + 6230, -16 - 4 = 4*g. Suppose 8*i - a + 547 = 0. Suppose -4*f = 10 - i. Is 11 a factor of f?
False
Let s(x) = 11*x**3 - 6*x**2 - 20*x - 5. Is 37 a factor of s(6)?
True
Let x = 21971 + -6347. Does 31 divide x?
True
Suppose 1580 = 4*d - 4*w, -1587 = -4*d - 4*w + 25. Is d a multiple of 8?
False
Let s be 3/(-12)*2 - 351673/(-98). Suppose -44*n + 56*n = s. Is 3 a factor of n?
False
Is 14 a factor of ((-265)/159)/(10/(-12852))?
True
Let i(f) = 2*f**2 - 61*f + 353. Does 17 divide i(64)?
True
Let h(y) = 14*y**3 - 10*y**2 - 22*y + 89. Is h(8) a multiple of 16?
False
Let g(x) = 11*x**2 + 4*x + 3. Let b be g(-1). Suppose 369 = b*z + 89. Does 4 divide z?
True
Let c(i) = -i**2 + i + 11. Let d be c(-4). Does 3 divide -2 - (d/15 + (-164)/10)?
True
Let u be (-16)/(-6)*(-15)/(-20) - -2. Suppose -4*v + 742 = -u*t - 102, 5*t + 428 = 2*v. Is v a multiple of 19?
True
Suppose 9*q - 42 = 6*q. Suppose -2*v + q = -3*v + 5*s, -5*v + 8 = s. Let h(b) = 44*b - 1. Is 6 a factor of h(v)?
False
Suppose 5*i - 89925 = -3*m + 60025, -2 = -i. Does 30 divide m?
True
Let g(q) = 3*q**2 + 17*q - 42. Let x be g(19). Suppose -10*k = -14*k + x. Does 31 divide k?
True
Let d be (-1*(-12)/15)/((-38)/(-73055)). Suppose -1482 - d = -20*f. Is 17 a factor of f?
False
Let r(g) = -292*g + 1887. Is r(-49) a multiple of 274?
False
Suppose -28*c - 1491 = -6755. Let g = c + 220. Is g a multiple of 12?
True
Let k = 215 + -213. Suppose -5*m = -3*z - 0*m + 263, -2*z - k*m = -170. Is 5 a factor of z?
False
Let j(k) = -9784 - 30*k + 8*k + 9771. Suppose 2*d - 3*d = -5*g + 29, -5*g + 17 = 2*d. Is 15 a factor of j(d)?
True
Let o(f) = f**2 - 7*f - 2. Let g be o(6). Let r be -312 + (-1 - -1)/(g - -5). Let z = 460 + r. Is z a multiple of 14?
False
Let x(a) = a**3 - 9*a**2 + 7*a - 21. Let d be x(9). Suppose 34*o + 4720 = d*o. Is o a multiple of 10?
True
Let s = 254 - 143. Suppose -3*w - 35 = -h - s, -4*h = -2*w + 54. Suppose -w = -3*j + 47. Is j a multiple of 8?
True
Let w(g) be the first derivative of -g**4/4 + 10*g**3/3 - 3*g**2/2 + 10*g - 38. Is w(5) a multiple of 30?
True
Let z(n) be the third derivative of n**6/120 + 7*n**5/60 + 3*n**4/8 + 4*n**3/3 + n**2. Let b(y) = -415*y - 2494. Let v be b(-6). Is 7 a factor of z(v)?
False
Let w(v) = -1187*v + 730. Is w(-10) a multiple of 14?
True
Let k = 19076 - 13727. Does 7 divide k?
False
Suppose -4*r = x - 31 + 104, 4*x + 292 = 2*r. Suppose -w - 34 = -2*i, -4*w - i - 67 = 24. Let p = w - x. Is 9 a factor of p?
False
Suppose -71 = -4*g - 3*d, -5*g + d = -7 - 96. Suppose 806 = g*n + 6. Is 8 a factor of n?
True
Suppose -4*n + 790 = -1134. Suppose -2*b + 5*t + n = 2*b, 471 = 4*b + 5*t. Is 4 a factor of b?
False
Does 134 divide (670/4 - 0)*((-120384)/120)/(-22)?
True
Suppose 2*s = -a + 252 + 2752, 0 = -a + 2. Is s a multiple of 19?
True
Let x(j) be the first derivative of j**2/2 - 28*j + 135. Is 12 a factor of x(51)?
False
Suppose 2*x = 4*w + 170, 13*x = 9*x - 4*w + 328. Does 83 divide x?
True
Let a = -13511 + 16869. Is a a multiple of 5?
False
Let f = -1341 + 2613. Is f a multiple of 19?
False
Let k be 112/60 + 2 + (-56)/30. Let z(w) = 64 - 144 - 14*w + 67 - w**k. Is z(-11) a multiple of 4?
True
Suppose -4*z + 15226 = -5*s - 4824, 5008 = z + s. Is 30 a factor of z?
True
Suppose 2*w = -w + 444. Suppose 10 = -0*b + 2*b, -p + 4*b = -28. Suppose w = 2*r + p. Does 10 divide r?
True
Let w(y) = -y**2 - 5*y - 1. Let l be w(-4). Suppose -3*m + 2*h + h = 45, h = l*m + 41. Let c(d) = -7*d - 29. Is c(m) a multiple of 8?
False
Let t(z) = 5*z**2 - 87*z - 107. Is 16 a factor of t(29)?
False
Suppose 2*k = -5*c + 49, -5*k = 12*c - 11*c - 19. Does 21 divide (10/2 + c)*2?
False
Suppose -3*g - 16 = -7*g + 2*n, 0 = 3*g + 4*n + 10. Let l(r) = 5 - 2*r**g - 6 + 2*r + 5*r**3 + 4*r**3. Is 21 a factor of l(2)?
False
Suppose -48*u + 207987 = -535053. Does 18 divide u?
True
Let p be (-4)/(-18) + (-2)/((-18)/241). Suppose 207 = -4*n + p. Let w = 111 + n. Is w a multiple of 34?
False
Suppose -a - 4 = -x - 3*x, 4*a + 1 = x. Suppose 4*z - 2*h - 3*h - 260 = 0, a = -3*z - 3*h + 222. Does 9 divide z?
False
Let q(v) = 70*v**2 + 86*v + 175. Is q(-2) a multiple of 6?
False
Suppose 18 = -5*y + 4*b - 2*b, 2 = y + b. Let i be (2416/48)/(y/(-6)). Suppose 0 = 8*x + i - 791. Is 6 a factor of x?
False
Suppose 59*v - 179656 = 25*v. Does 77 divide v?
False
Let t(n) = -n**2 - 29*n - 287. Let d be t(-8). Suppose 4*j = 3*j + 365. Let f = d + j. Is f a multiple of 22?
False
Let i(q) = -5*q**2 + 7*q - 15. Let j(u) = -5*u**2 + 9*u - 15. Let p(a) = 2*i(a) - 3*j(a). Does 11 divide p(7)?
False
Let s be 918 - (-3 + 36/6). Suppose 0 = -10*f + 1015 + s. Is 11 a factor of f?
False
Let b = 7771 - 4607. Is b a multiple of 28?
True
Let a(s) = 2276*s**2 + 33*s - 7. Is 10 a factor of a(2)?
False
Let t = 938 - -1494. Is 76 a factor of t?
True
Let u(r) = 1484*r**2 + 176*r + 356. Is 135 a factor of u(-2)?
True
Let k(z) = -z**2 - 22*z + 551. Let j be k(-37). Let d(a) be the first derivative of -3*a**4/4 - a**3 + 3*a**2 + 5*a + 1. Is 25 a factor of d(j)?
True
Let s(c) = 33*c**2 + 2*c + 3. Suppose -3*k - g = -8*k + 16, -g = 2*k - 5. Suppose 4*i - 1 - 21 = k*x, -4*x = 2*i. Does 12 divide s(x)?
False
Let a = -226 - -14. Let x = a - -286. Is x a multiple of 5?
False
Let t(d) = -6*d**2 - 49*d + 13. Let j be t(-8). Let v(z) = 25*z + 141. Does 39 divide v(j)?
False
Let a = -52 - -13. Let g = a + 54. Suppose -5*b = -b + y - 175, -g = -5*y. Is 7 a factor of b?
False
Suppose -3*i - 5*s = -15380, 0*i + 2*i + 3*s = 10253. Does 62 divide i?
False
Let p = 3901 - 2100. Suppose -137 - p = 17*g. Is 13 a factor of (-15)/(-5) - (-1 + g + 2)?
False
Suppose 0*x + 3*n - 6 = -3*x, -x + 26 = -5*n. Let u be 3/x + 33/(-6). Is u/(-20) - (-254)/8 a multiple of 4?
True
Let f(w) be the second derivative of 3*w**4/4 + 7*w**3/2 + 9*w**2/2 + 272*w. Is 51 a factor of f(-11)?
True
Let i be (2 - -8)/(15/6). Suppose 0 = -3*m - 3*z + 1323, z + 1770 = i*m - z. Is 17 a factor of m?
True
Let q(x) = -x**3 - 5*x**2 + 3*x - 12. Let u be q(-6). Is (-9)/(-4 - 23) + 2638/u a multiple of 20?
True
Let k = -3221 - -3861. Does 2 divide k?
True
Is ((-2508)/(-3))/(10/155) a multiple of 31?
True
Let m(c) = c**2 + 94*c + 659. Does 5 divide m(-89)?
False
Is 28 a factor of 40*(13 - 1897/(-35))?
True
Suppose o = q - 2*q - 66, -q = -2*o + 51. Let g = -58 - q. Suppose -3*k = -483 - g. Is k a multiple of 18?
True
Let m be ((-3)/2)/(66/1848). Let d = m + 350. Does 7 divide d?
True
Suppose -q = -y + 1, 0*q - 2*y = 3*q - 2. Suppose 10*n = -q*n + 330. Is n even?
False
Does 6 divide (-312)/(-4)*(126 + (-4 - 9))?
True
Let s = 36 + -33. Let l(w) = w + 4. Let c be l(-4). Suppose c = 4*q + 14 - 6, -s*o = q - 94. Does 16 divide o?
True
Suppose -192 = -2*v + 34. Suppose v = 14*n - 447. Does 4 divide n?
True
Let n(d) be the third derivative of d**4/24 + d**3/2 + 14*d**2. Let b be n(-1). Suppose -10 = -b*a + 26. Does 18 divide a?
True
Let w(r) = -r**2 - 13*r + 32. Let p be w(17). Let q = 517 + p. Is q a multiple of 2?
False
Suppose -10*l - 336*l + 42*l = -2000624. Does 30 divide l?
False
Suppose -3*n - 2*n = -b - 23, -n + 15 = 5*b. Suppose n*a = 9 + 1. Suppose 6*o - 346 = -2*i + a*o, -2*o + 897 = 5*i. Is 13 a factor of i?
False
Suppose -3*t - 8*p + 434 = -4*p, 4*t - 586 = 2*p. Suppose 144*n - t*n = -952. Does 14 divide n?
True
Let t(b) = 3*b**3 + 138*b**2 + 135*b - 3. Let h be t(-45). Let f be 216/4 - (0 - 0). Let i = f + h. Does 15 divide i?
False
Suppose -55*p = -60*p - 1985. Let a = 762 + p. Is a a multiple of 9?
False
Let m be ((-2)/(-4))/(2/(-36)). Is 6 a factor of m/45 + 813/15?
True
Is 16 a factor of 14938 + ((7 - 1) + -1)*-2?
True
Suppose 506094 - 1031069 = -222*p + 775057. Is p