 12*t**2 - 3*t - 34. Let f be u(-12). Suppose 2*w + 2*v = 712, -f*v - 47 = -3*w + 1041. Is 30 a factor of w?
True
Suppose -71*w = -5*w - 845460. Does 42 divide w?
True
Let h = 10870 + -9270. Does 3 divide h?
False
Let a(o) = 6*o + 46. Let h be a(-6). Is (-1 + -1 + 0)/(h/(-1735)) a multiple of 43?
False
Suppose -14*v = -17*v + 2700. Let f = -348 + v. Is 46 a factor of f?
True
Is 2604*(-110)/66*(-3)/15 a multiple of 62?
True
Suppose -3*d - b + 43 = 0, -4*d + 0*d + 54 = 3*b. Is ((-27)/d)/(-9) - 339/(-5) a multiple of 4?
True
Suppose 0 = -n - 5*t - 10, -188 = t - 186. Suppose n = 3*k - 3029 - 2449. Is 22 a factor of k?
True
Let r = -18713 - -23172. Does 2 divide r?
False
Suppose 36 = 2*f + 4*z, -6*f = -8*f - 5*z + 34. Suppose 0 = f*s - 9*s - 1456. Is s a multiple of 12?
False
Let b(w) = -32*w**3 - 7*w**2 - 77*w - 126. Does 33 divide b(-10)?
True
Let m be -213*(11/3 - 3). Let g = 457 + m. Is g a multiple of 15?
True
Let m = 421 - 258. Let k = -113 + m. Is k a multiple of 7?
False
Let n(o) = 356*o**2 + 5*o + 9. Let d(y) = 355*y**2 + 5*y + 10. Let z(b) = -5*d(b) + 6*n(b). Is z(-1) a multiple of 18?
True
Suppose 0 = -y + 20 - 70. Let i = -21 - y. Is 4 a factor of i?
False
Suppose -40378 = -6*j - 5332. Is j a multiple of 99?
True
Let k be (-1)/2*(-13)/(26/(-12)). Does 29 divide (-362)/k + 0 + 42/126?
False
Let z be -3*6/9 + (-54)/(-2). Let g be ((-1)/((-4)/5))/(z/(-100)). Is (-2)/g*(15/(-3) + 100) even?
True
Let h = 55 + -60. Let d be (1*-47)/((-24)/h + -5). Suppose 3*z + 2*k = 152 + d, -387 = -3*z + 5*k. Is z a multiple of 15?
False
Let q(m) = -52*m - 1454. Is q(-60) a multiple of 17?
True
Let q = 99131 + -66637. Is q a multiple of 11?
True
Suppose -2*x - 38 = -48. Does 21 divide (3570/(-12))/x*(-36)/21?
False
Let s = 1373 - -19491. Does 8 divide s?
True
Let w(t) = -3*t**3 + 64*t**2 + 41*t - 18. Is w(20) a multiple of 84?
False
Let d(h) = -h**2 + 23*h - 31. Let b be d(22). Let r be ((-4)/6)/((-2)/b). Is 26 a factor of -1*(r - 0)/(10/100)?
False
Let q be (0 + 4 - 7/2)*12. Let j be -3*2/q + 10. Does 2 divide (-6)/(-4) - j/(-6)?
False
Let f(g) = 2*g**2 - 23*g. Let a be 123/12 - 6/24. Let n be f(a). Is (-5)/(n/(-34))*-3 even?
False
Let l(y) = 24*y + 0 - 20 + 4. Is l(4) a multiple of 8?
True
Suppose -92*l + 2*d = -94*l + 23734, -47504 = -4*l + 5*d. Does 28 divide l?
False
Suppose 2*a + k - 14 = -0*a, -3*a + 14 = -2*k. Let v be 120/35*189/a. Does 12 divide (v/(-14))/((-3)/14)?
True
Suppose 5*o = 3*y + 30, 3*o - y = 18 - 4. Suppose -3*h - k + 9 = -o*k, 0 = 2*h + 4*k - 22. Let r(v) = 3*v**2 - 11*v + 4. Is r(h) a multiple of 23?
False
Suppose 3*n - 2*x + 5*x = -24189, 5*x = 25. Let i be 1/5 - n/10. Is 15 a factor of (-3)/(-18) + i/18?
True
Let b be 2*18/12 + 4 + 2683. Suppose -3*y + b = 3*r - 292, 0 = -y. Does 27 divide r?
False
Let u(p) = 33 - 8*p + 34 + 95 - 64. Is 16 a factor of u(-26)?
False
Suppose -4*p + 4*d - 2146 = 2*d, 5*p + d + 2700 = 0. Let l = 809 + p. Is 33 a factor of l?
False
Suppose -50 = -5*g - 3*w, 0*g - 2*g - 2*w + 24 = 0. Let b(q) = -q**3 + 9*q**2 + 4*q - 11. Let k be b(g). Is 12 a factor of 5/(-4)*-1*(k + 1)?
False
Suppose -4928 + 32874 = 480*t - 478*t. Is 174 a factor of t?
False
Suppose 7*i - 3*b = 3*i + 12, -3*b = 0. Suppose 0 = q - i + 1. Suppose 240 = q*d + 4*d. Is d a multiple of 20?
True
Let b(o) = -36*o + 74. Let c be b(-18). Let u = -394 + c. Suppose 2*q = u + 120. Is 32 a factor of q?
True
Let p(x) = 17*x**3 - 3*x**2 + 2*x. Suppose 4*a = 56 + 72. Suppose c = -30 + a. Is p(c) a multiple of 39?
False
Let x(t) = 66*t + 174. Suppose m + y + 1 = 2, -2*m = 4*y + 6. Does 21 divide x(m)?
True
Let k be (-56)/252 + (-47)/(-9). Suppose 0 = 3*m - 3, k*p - 5*m - 474 - 606 = 0. Does 3 divide p?
False
Let x = 62288 + -17204. Is 12 a factor of x?
True
Let a(v) be the second derivative of -v**5/20 - v**4/3 + 7*v**3/6 + 7*v**2/2 - 27*v. Let n be (-3)/(1 + 24/7 + -4). Does 15 divide a(n)?
True
Suppose 5*a = 2*q + 1 + 1, -4 = -q. Suppose -3*o + 4*l = -6, 2*o - 2*l = a - 0. Does 4 divide 7 - (-5 - -4 - o)?
False
Let p = -82 + 93. Suppose 5 = p*w - 61. Suppose -2 = w*b - 482. Is 8 a factor of b?
True
Suppose 119714 = 2*s - 4*i, -28*s + i = -32*s + 239365. Is s a multiple of 309?
False
Let p be (-66)/18 + 4 - (-7774)/6. Let s = -652 + p. Does 46 divide s?
True
Let t(u) = 30*u - 43. Let l be t(18). Let p = l + -182. Does 9 divide p?
True
Let p be ((-6)/4)/((-84)/(-112)). Let x be (p - 1) + (-46 + 4)/(-6). Suppose -20 - 288 = -5*a + x*b, 3*a + 3*b - 174 = 0. Is 20 a factor of a?
True
Let m(g) = -g**2 + 14*g - 12. Let n be m(11). Suppose -4*p + 0 + 3 = b, 3*b + 21 = 3*p. Suppose n = p*f + 3. Is f a multiple of 6?
False
Suppose 17*a = 13*a + 12. Does 8 divide (0 + a/2)/((-1)/(-46))?
False
Suppose -146*c - 33*c + 1329860 = 234*c. Is 7 a factor of c?
True
Suppose 7*o + 8864 = 3*o. Let j be o/(-3) - (-3)/9. Suppose 17 = 7*i - j. Is i a multiple of 54?
True
Let w(j) = -j**3 - 4*j**2 + 4*j - 2. Let z be w(-4). Suppose 0 = 5*a + 5*i - 305, -5*a = -2*i + 124 - 394. Let l = a + z. Is l a multiple of 7?
False
Suppose -210 = -11*d - 199. Let l = -81 - -36. Does 6 divide (-6)/3 + 4 + (d - l)?
True
Does 29 divide 12*(-808)/60*(4 - 19)?
False
Let k(i) = -i**3 - 14*i**2 - 11*i + 17. Let t be k(-13). Let x(h) = -17*h + 1. Let z(d) = 68*d - 5. Let b(c) = t*x(c) - 2*z(c). Is 8 a factor of b(3)?
False
Suppose 4*f - 3851 = 3*c, 0*f + 1915 = 2*f - 5*c. Suppose -2*x - 5*q + f = 138, 0 = x - q - 424. Does 7 divide x?
False
Let r(s) = 18*s**2 - 46*s + 352. Does 10 divide r(9)?
False
Let w(j) be the first derivative of -j**5/20 + j**4 + 2*j**3 + 9*j**2 - 10*j - 18. Let f(k) be the first derivative of w(k). Does 18 divide f(12)?
True
Let b(r) = -2*r**3 - 14*r**2 - 12*r - 6. Suppose 2*f + 28 = 4*z, -3*z - 6 = -3*f - 39. Let c be b(f). Let u = c - 94. Is 19 a factor of u?
False
Let r(d) = -d. Let z be r(-5). Suppose -5*q + 5 = -z. Suppose -2*f + 167 = 3*w, 4*w - 123 = q*w + f. Is w a multiple of 9?
False
Suppose -2*p - w = -17, 4*p - 2*p = 4*w + 42. Suppose -904 = -4*i - h, p*i - 8*i - 4*h = 659. Is i a multiple of 15?
True
Let n(a) = a - 3. Let x be n(2). Let u be (1 + x)/(7 + -4). Suppose -2*b + u*b = -8. Is b even?
True
Suppose 5*u - 19 = -109. Let l(f) = f**3 + 25*f**2 + 111*f - 18. Is 13 a factor of l(u)?
False
Let k(h) = -5*h - 52. Let m(n) = -n**2 + 9*n + 47. Let a be m(14). Does 9 divide k(a)?
True
Let y be 10/(-2) - 3*-7. Suppose 0 = 3*u - 3, 3*a + 2*u + y = 4*a. Suppose -4*m = a - 70. Is m a multiple of 3?
False
Let x(h) be the second derivative of h**6/45 + h**5/40 + 11*h**4/24 - 11*h**3/2 + 13*h. Let v(l) be the second derivative of x(l). Does 28 divide v(-5)?
True
Let d = -459 - -461. Suppose 348 = d*o + 6*c - 3*c, o + 2*c = 176. Is 4 a factor of o?
True
Suppose 381*s - 18 = 379*s, 0 = q + 3*s - 32027. Does 32 divide q?
True
Let i(w) = 179*w + 35. Suppose 0 = -n - 6*n + 28. Is 79 a factor of i(n)?
False
Let n = 134 + -83. Suppose -g + 1066 = -5*f, -55*g + n*g + 4264 = 4*f. Is 13 a factor of g?
True
Let t be (-3)/12*4 - (-25)/(-1). Let y = 31 + t. Suppose x = -4*u + 80, -y*u + 4*x = 8*x - 89. Is u a multiple of 3?
True
Suppose 4*g + 2775 = k, -k - 1080 = 2*g + 309. Let s = 862 + g. Is 42 a factor of s?
True
Let b(g) = 40*g**2 - 6*g - 39. Let s be b(-9). Suppose -28*d + s = -2653. Is d a multiple of 7?
False
Suppose 4*u - 21609 = -19*s + 22*s, -21594 = -4*u - 2*s. Is 9 a factor of u?
True
Is 12 a factor of (285 - (-20 - -21)) + 16/(-2)?
True
Suppose 12*o + 11 + 37 = 0. Let n(d) = -2*d**2 - 4*d + 8. Let h be n(o). Is 3 a factor of 4/(4/(-3)*6/h)?
False
Let n = 9752 + -1536. Is 52 a factor of n?
True
Is 38 a factor of 28/105*-3*(-4 - 81668/8)?
True
Let x = -262 - -268. Suppose -1540 = x*k - 13*k. Is k a multiple of 10?
True
Does 227 divide -1 + (-10)/((-420)/49) - 192039/(-18)?
True
Let i = 38433 + -24017. Does 17 divide i?
True
Let k be 50*1 - (-4 - -11)/7. Let r = k - 47. Is 26 a factor of 1780/40*(-2 + 3)*r?
False
Let s(h) = 3*h**2 + 14*h + 3. Let w = -17 + 7. Let l be (-7 - 1) + (-9 - w). Is s(l) a multiple of 13?
True
Suppose -4*l - 3*q + 68 = 0, -4*q - 72 = -3*l - q. Let v be (-2)/5 - (2 + (-48)/l). Suppose 6*i - 14*i + 176 = v. Is i a multiple of 3?
False
Let t = 7 - 52. Let b = -47 - t. Is b/(-3) - 6/(54/(-255)) a multiple of 11?
False
Is (-43908)/(-8) - (-5)/2