f**4/2 - 7*f**3/6 - 3*f**2/2 + 7*f + 2. Let x(c) be the first derivative of i(c). Is 13 a factor of x(-6)?
True
Let p(q) = q**3 + 114*q**2 + 579*q + 911. Is 109 a factor of p(-104)?
False
Suppose 612*r - 133 = 605*r. Suppose -r*u = -3*u - 3696. Is 13 a factor of u?
False
Does 10 divide (-119)/6069 - 3145683/(-153)?
True
Let a(q) be the third derivative of q**6/120 + q**5/6 - 25*q**4/24 - q**3/3 - 9*q**2. Let u be a(-12). Is (3 - 1 - u)/(-1) a multiple of 6?
False
Suppose h = -n + 5*n - 1, 0 = -h + n + 2. Let y be (2 - 239)*h/(-9). Suppose 5*i = -4*q + 2 + y, 0 = -4*i + 3*q + 71. Is i a multiple of 3?
False
Suppose 0 = -5*r - 121 - 174. Let l = r - -9. Let h = l - -63. Does 2 divide h?
False
Let g = 5108 - 4364. Is 30 a factor of g?
False
Let x(z) = -27*z - z - 34*z - 55 + 15*z. Is x(-5) a multiple of 37?
False
Let y(x) = x**3 - 9*x**2 + 7*x + 7. Let j be y(8). Suppose 0 = 12*w - 16*w - 24. Is (w/(-5))/((j/30)/(-1)) a multiple of 4?
True
Suppose 11976 = 2*m + 5*v, 47*m + 4*v - 23988 = 43*m. Is m a multiple of 29?
True
Is 6 a factor of -57 - -871 - 22/2?
False
Suppose 15 = 3*s, -930 = -o - 5*s + 1055. Is 11 a factor of o?
False
Let i = 46819 - 9034. Is 53 a factor of i?
False
Let o = 760 - 734. Does 5 divide (-155 + o)*20/(-12)?
True
Suppose -3*j + 5*n + 1438 = 0, 2*n + 1894 = -23*j + 27*j. Is j even?
False
Let q be ((-12)/66 + 153/(-66))*-2. Suppose q*z - f - 315 = 0, -2*f = 3 + 7. Is z even?
True
Suppose 81 = 3*c + 495. Is 23/(c/1260)*-1 a multiple of 30?
True
Suppose -10*p = -15*p + 255. Suppose -4*h - 2*r + 5312 = 0, -p + 63 = 3*r. Does 15 divide h?
False
Let k = 11021 + -9931. Does 218 divide k?
True
Suppose -16 + 1 = -3*q. Suppose 5*h = q*l + 3290, 0 = 4*h + 6*l - 4*l - 2662. Does 51 divide h?
True
Let v = 70 - 65. Suppose -v*a - y + 214 = -3*y, 2*a - 2*y - 88 = 0. Let t = 104 + a. Is t a multiple of 16?
False
Suppose 7894 = 7*s - 64178. Suppose 8*x = -25*x + s. Is 6 a factor of x?
True
Let j(c) = 2*c**2 + 4*c + 8. Let h(u) = 6*u - 35. Let m be h(5). Does 19 divide j(m)?
True
Suppose u - 216 = z - 229, -3*z - 41 = 2*u. Let a(t) = -2*t**3 - 2*t. Let v be a(-3). Let g = v + u. Is g a multiple of 13?
False
Let d be (1 - 3)*124/(-8). Suppose -5*l + 60 = -155. Let a = l - d. Is a a multiple of 3?
True
Let u be ((-1113)/6*-2)/1. Suppose u = -o + 114. Let d = 94 - o. Is 57 a factor of d?
False
Let a = -516 - -646. Suppose 20*s = -a + 3030. Is s a multiple of 20?
False
Is 3 a factor of ((-64)/(-12))/((-72)/(-44442))?
False
Let u(t) = t**3 - 16*t**2 + 14*t + 15. Let i be u(15). Suppose 2*f = 4*l - 5896, f + 4423 = 3*l - i*f. Is 25 a factor of l?
True
Let v(k) = 294*k**2 + 10*k + 39. Let j be v(-4). Suppose -47*n = -j - 8645. Is 17 a factor of n?
False
Let n(m) = -m**3 + 4*m**2. Let t be 9/6 + 7/14. Let b be n(t). Suppose -1177 = -b*k - 121. Is 33 a factor of k?
True
Is 14 a factor of -5550*((-2)/((-1056)/(-1474)) + (-1)/(-8))?
False
Let s(c) = c**3 + 2*c**2 - c - 2. Let n be s(-1). Suppose h + 5*g - 200 = 0, n = h + 4*h - 2*g - 1135. Let p = -91 + h. Is p a multiple of 11?
False
Suppose 37*b + 97*b = 2151102. Does 14 divide b?
False
Suppose -3*l = -x + 37105 - 3637, 16 = -4*l. Is 136 a factor of x?
True
Suppose 9*s - 4*s = -5, -60 = -4*l - 4*s. Let a be 3/4 + 68/l. Suppose f + 174 = 4*o - 19, 3*f - 254 = -a*o. Is o a multiple of 7?
True
Suppose -4*o + 116 = -4*p, 2*o - 3*p = -5*p + 38. Let k = o + -23. Does 43 divide k + (-28)/36 - (-1546)/9?
True
Let l = 5969 + -2017. Suppose -41353 = -39*j - l. Is 81 a factor of j?
False
Is 11 a factor of 1788 - ((-2)/11 - 159/33)?
True
Let v be (4 - 3 - -10) + 1*-1. Suppose -8*c + v*c - 72 = 0. Is 8 a factor of (-1 + 6 - 4) + c?
False
Let q(x) be the first derivative of 4*x**3/3 + 15*x**2/2 - 9*x + 74. Let z be 1 + -3 - (8 - (0 - -1)). Does 18 divide q(z)?
True
Let t(k) = k**2 + k - 1. Let g be t(0). Is 29 a factor of -5 + 228 - 10 - (-3 + g)?
False
Let c(g) = 61*g**2 + 3*g + 8. Let n be c(4). Let i = n - 319. Suppose -4*b = b + 2*s - i, s = -3*b + 406. Does 27 divide b?
True
Is 954/96 + 5/80 + 834 a multiple of 2?
True
Let k = 17697 + -17697. Suppose -3*m + 25 = 2*u - 0*u, 2*m - 18 = -2*u. Suppose k = -m*a + 4*a + 36. Does 9 divide a?
False
Suppose -33*b = -35*b + 16. Suppose -b*k = -12*k. Suppose 0*p = 4*d - 5*p - 165, k = d - 4*p - 55. Is d a multiple of 9?
False
Let h(n) = n**3 + 26*n**2 + 95*n + 6. Is h(-16) a multiple of 33?
False
Suppose 14*a = -40*a + 16*a + 373730. Is 5 a factor of a?
True
Let k = 2465 - 1564. Is 63 a factor of k?
False
Suppose -s + 4*v + 53 = 0, 4*v = -2*s + 6*s - 248. Let a = s - 63. Suppose 0*n - 4*n = -3*j + 424, 5*j - a*n = 688. Is 34 a factor of j?
True
Let y(t) be the second derivative of 5*t**3 + 9*t**2 - 123*t. Does 12 divide y(9)?
True
Suppose 4*g + 18733 = 3*v, 0 = 3*g - 9 + 30. Does 10 divide v?
False
Let j(s) = 3*s**2 + 22*s + 20. Let f(a) = a**2 - a. Let t(q) = f(q) - j(q). Let g be t(-10). Is 14 a factor of (g/(-6))/(90/(-756))?
True
Suppose -9118 - 6102 = -4*y - 5*w, 2*y = -w + 7604. Does 22 divide y?
False
Suppose -39 = -2*r + 18*y - 19*y, 0 = -5*y + 5. Let n(q) = q**3 + 9*q**2 - 1. Let u be n(-8). Suppose -4*v - r = -u. Does 7 divide v?
False
Let r be 0*2*2*10/80. Suppose 3*z - z - 65 = -c, r = 2*z. Let m = c - -4. Is m a multiple of 6?
False
Let g = 634 - 297. Suppose g = 6*x - 383. Does 12 divide x?
True
Does 34 divide ((-346)/(-692))/(2*1/89080)?
True
Let f(j) = 229*j**2 + 21*j + 44. Is 41 a factor of f(-4)?
False
Suppose 574 = 4*w + 4*o - 346, 2*w = o + 448. Let q = 550 - w. Suppose 83*u = 77*u + q. Is u a multiple of 6?
True
Does 18 divide 8 - (-16)/(-6)*44898/(-56)?
False
Suppose -2*p = 7*h - 8*h - 1569, 5*h = -p + 790. Let k = -609 + p. Is 8 a factor of k?
True
Is (-28)/(-16) + (-1306450)/(-200) a multiple of 27?
True
Suppose 238252 = 4*x + 4*u + 96832, u = -2*x + 70708. Is 25 a factor of x?
False
Suppose 0 = -21*f + 16*f - 3*d + 25, 4*d = 0. Does 16 divide (f - -27)*(1 + 5)?
True
Let y = 74 - -28. Suppose y*r - 28 = 98*r. Suppose r*w - 10*w + 441 = 0. Is 7 a factor of w?
True
Suppose -z - 4942 = -4*r - 4*z, 5*z = -r + 1227. Let t = 2407 - r. Suppose -10*m + 0*m = -t. Is m a multiple of 46?
False
Suppose -h + 2 = -2. Suppose -2*y + b = y - 14, 3*y = -4*b + h. Suppose -57 = -k - y*k + 2*r, 4*r = -4*k + 68. Is k a multiple of 13?
True
Is 4/(-2)*469/168*6*-156 a multiple of 201?
True
Suppose -19*b + 4906 = -371 - 6465. Is b a multiple of 6?
True
Let x(n) = n**2 - 22*n + 116. Let h be x(8). Suppose -21 = 5*p - 96. Suppose -5*s - 2*c + h*c = -615, -p = -3*c. Is 5 a factor of s?
True
Is 262 a factor of 3537/6*10664/387?
True
Let c = -35 - -39. Suppose -4 = c*q - 12. Suppose -264 = -5*y + q*y. Is y a multiple of 11?
True
Suppose 0 = d + 2*d + 3*v, -2 = -2*v. Let x be 2 + 0/d - -13. Does 7 divide x - 4/(-1 - -3)?
False
Suppose -454 = 3*q + 4*p, -2*p = -7*p - 5. Does 16 divide (0/2 - -382) + q/30?
False
Let s(o) = -9*o + 6081. Let d be s(0). Suppose d = 10*g - 10039. Is 13 a factor of g?
True
Suppose 32*j - 20 = 27*j. Suppose 16 = -j*r, b + 3*b + 2*r = 184. Does 24 divide b?
True
Let f(p) = 23*p + 20*p + 23*p - 71*p + 378. Does 27 divide f(0)?
True
Let a = -31 - -29. Let t = 21 + a. Is 2 a factor of t?
False
Let y = 94 + 160. Suppose y*h - 252*h - 1430 = 0. Does 13 divide h?
True
Suppose 2*y - 26492 = -2*g, 4*g + 2504*y - 2502*y = 52986. Does 7 divide g?
False
Let i = -181 - -182. Is 1548/6*i/1 a multiple of 43?
True
Let q = -97 + 109. Suppose 102*c + q = 98*c. Does 15 divide 3 - 1 - 201/c?
False
Let z be 3075/(-35) + -10 + 1/(-7). Is ((-2008)/(-7))/4 + (-28)/z a multiple of 2?
True
Suppose 16*k = -126 + 510. Is (-78)/k*(-1 + 156/(-4)) a multiple of 26?
True
Let t = -17 - -16. Is ((-133)/(-19))/(t/(-5)) a multiple of 5?
True
Let m be 70*(-5)/((-10)/3). Suppose -3*v = -5*p + 225, 0 = 5*p + 5*v - 80 - m. Suppose -2*s + 2 + p = 0. Does 4 divide s?
False
Let q = 41 + 17. Suppose 518 = u + q. Suppose 0 = -4*j - 8, 0 = -4*s - 2*j - 16 + u. Does 14 divide s?
True
Let i(f) be the second derivative of -f**4/12 - 7*f**3/6 + f**2/2 + 3*f. Let r = 43 - 49. Is i(r) a multiple of 3?
False
Is 5 a factor of 973 + 0/(-1) + (-1 - 7 - 0)?
True
Suppose -75 = -367*m + 366*m - 5*z, 4*m + z = 243. Is 15 a factor of m?
True
Suppose -5*n + 0*g = -5*g + 825, 4*g - 324 = 2*n. Is 15 a factor o