?
False
Let a(y) = -2*y - 3. Let j be a(-2). Let b(g) = g**2 - 10*g + 10. Let p be b(10). Is 10 a factor of ((-468)/30)/(-3*j/p)?
False
Let s(v) = 2*v**3 - v**3 + 82 + 2*v**2 + 19. Let p be s(0). Suppose 0 = -5*z - p + 716. Is z a multiple of 28?
False
Is (8/(-6))/(-12 - (-6044)/504) a multiple of 3?
True
Let k(v) = -3*v**2 - 9*v - 136. Let j(l) = -9*l**2 - 26*l - 408. Let q(c) = -6*j(c) + 17*k(c). Does 8 divide q(0)?
True
Let a = 11238 + -6532. Is a a multiple of 166?
False
Let y = 63 - 70. Does 14 divide 7 - (-155 - (y + 13))?
True
Suppose 282471 = 5*n + 3*r, -3*n = 2*r + 76617 - 246101. Does 42 divide n?
True
Suppose -u = -6*q + 2*q + 2161, -3*u - 543 = -q. Suppose -9*y = -4*y - q. Is 54 a factor of y?
True
Let l = -240 + 294. Is 13 a factor of 3*6/(l/1599)?
True
Is 81 a factor of (-15)/7*(-927458)/62?
False
Let q = 1 - -1. Let h = 2726 - 2719. Suppose 3*r - d = 50, -2*r - q = 5*d - h. Is r a multiple of 5?
True
Let m(c) = -194 + 490*c + 257*c - 482*c. Is m(5) a multiple of 15?
False
Let w = -928 + 265. Let r be (-78)/w + (-42122)/(-34). Suppose r = -12*k + 3099. Does 31 divide k?
True
Let c(o) be the third derivative of -o**6/120 + o**5/5 + o**4/24 - 2*o**3 - 8*o**2. Let h be c(12). Is 56 a factor of 113 + 29 - 1*(h + -3)?
False
Let f be -10*16/(-6)*1344/140. Does 20 divide (f/(-10))/((-11)/1100*8)?
True
Suppose 2*u + 241 = 4*i - 209, i = 4*u + 102. Suppose 79*x - 76*x = -i. Let d = x + 100. Is d a multiple of 6?
False
Let l(f) = -2*f. Let b be l(-2). Suppose 5*w - 3*r + 0*r = -28, 0 = -r - b. Let h(y) = -y**3 - 5*y**2 + 9*y - 8. Is h(w) a multiple of 31?
False
Suppose 21*q + 69 = 237. Suppose -289 + 25 = 3*j. Is 7 a factor of (-11)/(j/630) + 2/q?
False
Suppose -7*q = -8*q + 3*k + 41, -3*q = 5*k - 193. Let j be (35/2)/(2/(-4)). Let h = j + q. Is 6 a factor of h?
False
Suppose -4*m - 913 = 847. Does 9 divide ((-156)/(-130))/((-6)/m)?
False
Suppose -48*q - 5*q = 80448 - 292236. Is 54 a factor of q?
True
Suppose 13 = 4*d + 1. Suppose 4*a + 7*b = 3*b + 3608, b = d*a - 2686. Is 23 a factor of a?
True
Let d(z) = 76*z**2 + 42*z - 86. Does 4 divide d(7)?
True
Let w(h) = -101*h**3 + 13*h**2 + h + 10. Let u(a) = -67*a**3 + 9*a**2 + a + 7. Let v(j) = 7*u(j) - 5*w(j). Suppose 0*r - 46 = -46*r. Is v(r) a multiple of 26?
False
Let r(y) = -91*y**2 + 4*y + 5. Let a be r(-1). Let d = 308 + a. Is d a multiple of 12?
False
Suppose -20 = -4*m, 0*m + 1 = 3*j - m. Suppose -j*f + 1108 = -2*s, 5*f + 8*s - 3*s = 2750. Is f a multiple of 24?
True
Let x(c) be the third derivative of c**5/30 + 7*c**4/24 + 11*c**3/6 - 9*c**2 - 4. Is x(6) a multiple of 17?
False
Suppose -4*j = -c + 37, 2*c - 11 - 33 = 2*j. Suppose -c*a + 15*a + 6 = 0. Suppose -a*b + 10*b = 1071. Is 17 a factor of b?
True
Suppose 158*j - 162*j + 358946 = -b, -3*j + b + 269209 = 0. Is 100 a factor of j?
False
Let y(f) = 52*f**2 - 48*f - 758. Does 19 divide y(-17)?
True
Suppose 0 = 2*b - 0*v + 5*v - 23, -b = -5*v - 4. Does 14 divide (b - 935/(-44))/(2/16)?
False
Let w(o) = -2*o**3 - 29*o**2 - 18*o - 20. Let i = 132 + -146. Is 4 a factor of w(i)?
True
Let x(d) = -34*d - 37*d + 76*d - 33. Is x(13) a multiple of 2?
True
Let w = -2397 + 2984. Does 4 divide w?
False
Suppose 0 = -s - 3*z + 6214, -116*z + 6210 = s - 117*z. Does 5 divide s?
False
Suppose m = 4*m + 11049. Does 77 divide (m + -2)/(-5) + 0 + 4?
False
Let o(i) = -33*i + 59. Suppose -3*s + 5*b - 106 = 0, b - 2 + 0 = 0. Does 10 divide o(s)?
False
Let a(b) = 7 - b**2 - 25 + 3*b**2 + 3*b. Let o be (-432)/(-36)*6/(-9)*1. Is 14 a factor of a(o)?
False
Suppose 20111*p - 20100*p = 137170. Does 5 divide p?
True
Let m(b) = 2*b + 9. Suppose -3 = -79*t + 80*t. Let o be m(t). Suppose 3*a - 5*n = 5*a - 52, -o*a + 96 = 3*n. Is a a multiple of 9?
True
Suppose s - 7114 + 65326 = 13*s. Does 33 divide s?
True
Let z(j) = j**2 + 9*j**2 + j**3 - 12*j**2 - 34*j**2 + 4*j**2 + 77*j + 5. Is z(30) a multiple of 15?
False
Suppose -5*r - 351 = -356. Suppose -q + 5*b + r = 7, 0 = 2*q - 5*b - 8. Is 6 a factor of q?
False
Let k(u) = -13613*u - 11643. Is k(-4) a multiple of 49?
False
Let j(v) = -v**3 + 11*v**2 + 7*v - 13. Let l be j(12). Suppose w + 1 = 0, 5*s - 3*w = -4*w + 534. Let q = l + s. Does 17 divide q?
True
Suppose -2*c + 0*t + 114 = 4*t, 113 = 2*c + 5*t. Let k = -968 - -974. Suppose c = 5*n - k. Is 7 a factor of n?
False
Suppose 73 = 5*m - 2. Suppose w = m + 11. Suppose 14 - w = -4*q. Does 2 divide q?
False
Let u = 336 + -336. Suppose u = 2*l + o - 623, 2*o + 1552 = 5*l - o. Does 15 divide l?
False
Let t(k) = k**3 + 90*k**2 - 97*k - 139. Is t(-91) a multiple of 14?
False
Let k(m) = -m**3 - 4*m**2 + 33*m + 6. Let q be k(-8). Is 0 - (q + -1) - (-335 + -5) a multiple of 5?
False
Let f(p) = -p**2 + 5*p + 12. Let g be f(7). Let h = g - 41. Is (-2)/(2 - h/(-21)) a multiple of 7?
True
Let p(l) = -5*l + 1. Let k be p(1). Let c be (315/(-36))/((-1)/k). Let y = c - -108. Is 17 a factor of y?
False
Suppose -3*s + 91 = -6*o + 4*o, 3*o + 2*s + 143 = 0. Let c = o + 21. Let a = 118 + c. Is a a multiple of 46?
True
Suppose 218 = b - 49. Suppose b*h = 274*h - 3038. Is h a multiple of 30?
False
Let f = 3688 + -491. Is (-7)/(f/644 - (1 + 4)) a multiple of 35?
False
Let n = -14964 + 22032. Is 114 a factor of n?
True
Suppose 0 = 13*b - 64 - 209. Let k be b/3 + (3 + -2)*-2. Suppose 0 = -k*l + 351 + 369. Is l a multiple of 11?
False
Let i(o) = 10*o**2 - 18*o - 274. Is 34 a factor of i(-14)?
True
Suppose q - 1 = 3. Suppose -15 = -q*o + 9*o, -4*k - 28 = 4*o. Let l = 64 - k. Does 11 divide l?
False
Let d = 65 - 63. Suppose 4*l - 728 = -d*h, 2*h + 2*l = 3*l + 713. Let c = h - 204. Is 32 a factor of c?
False
Let j(o) = 127*o. Let k be j(0). Let g be -2 + 1 - -39 - 1. Suppose -w + 109 - g = k. Does 12 divide w?
True
Let r(a) = 17*a**2 - 14*a + 164 - 317 + 167 + a. Is 34 a factor of r(5)?
True
Let w = 724 - 704. Does 7 divide ((-16)/w)/((-7)/840)?
False
Is 59 a factor of (-2)/(-36)*-2 - ((-145173)/189 - -1)?
True
Suppose w = 2*j - 690, 0 = -j - 2*w - w + 338. Suppose 0 = -d - j + 683. Is 34 a factor of d?
False
Let h be (-1 - 5) + -2 + 4. Suppose -19*z + 45 = 4*o - 20*z, -o + 5*z + 35 = 0. Is 11 a factor of 1 + o/(-4) - 314/h?
True
Let p(u) be the first derivative of u**5/60 + 19*u**4/24 + 17*u**3/3 + 15*u**2 + 28. Let a(c) be the second derivative of p(c). Is 35 a factor of a(-23)?
False
Let f be (3/(84/(-16)))/((-2)/7). Suppose g + m = 0, f*g - 5*m + 50 = -3*g. Is 366/(11 + g) + 1*4 a multiple of 13?
True
Suppose 10*a + 104 = 3134. Suppose 4*v + 4*z - 987 = -a, -3*z + 3 = 0. Is v a multiple of 17?
True
Let b be 8/(-8) - 1 - 4*-1. Does 7 divide 2365/33 + b/(-3)?
False
Let u(y) = y**3 - 2*y**2 - y + 4. Let h be u(3). Let x be (-36)/(-10) + h/25. Is 26 a factor of (x - (-1 + 2)) + 112?
False
Suppose y = -2*m + 22, 4*y - 2*m - 50 = y. Suppose -4*k + y = -54. Let p = k - -4. Is p a multiple of 4?
False
Let a = 145 + -137. Suppose 0 = r - 2*l - 1298, -6484 = -5*r - 4*l + a*l. Does 53 divide r?
False
Let q(b) = b**2 + 4*b + 14. Let s be q(-7). Is 42 a factor of (s/(-14))/(3/(-6)) - -1045?
True
Let l = 9111 - 839. Is l a multiple of 44?
True
Let v(q) = q**3 - 3*q**2 + 3*q + 1. Let t be v(2). Suppose -t = -4*u - 11. Is (-20)/(-8) + u + (-334)/(-4) a multiple of 24?
False
Does 19 divide 2070/(-120)*-1*684?
True
Let y(i) = 46*i + 24. Let s be y(7). Suppose -2*m = 5*t - 525, m = -3*t + 6*m + s. Is 21 a factor of t?
False
Let m(h) = 2*h**2 - 19*h - 43. Let k be m(16). Let b = k - 32. Does 8 divide b?
False
Let w(x) = 717*x**2 + 65*x - 9. Is w(-5) a multiple of 80?
False
Let h(i) = 4*i**3 - 35*i**2 + 15*i - 69. Let m(p) = -11*p**3 + 104*p**2 - 45*p + 210. Let k(v) = -8*h(v) - 3*m(v). Does 6 divide k(32)?
True
Let p = -88 - -94. Suppose 5*a - 5 = o + p, -4*o = -5*a + 14. Suppose 3*r = a*n - 3*n + 128, -5*r = 4*n - 512. Does 8 divide n?
True
Suppose -14*c = -0*c - 1274. Let f = -38 + c. Is 9 a factor of f?
False
Let r(l) = 3 - 4*l - 5 - 2. Suppose 0 = -33*i + 34*i + 15. Is 28 a factor of r(i)?
True
Is 47 a factor of ((2754/45)/(-17))/(24/(-115620))?
True
Suppose -266*v - 144 = -260*v. Let g = v - -72. Is 12 a factor of g?
True
Let g(c) be the first derivative of c**4/4 - 3*c**3 + 3*c**2 - 7*c + 19. Suppose 0 = 5*o - 28 - 22. Is 16 a factor of g(o)?
False
Let t(l) = l**2 - 16*l + 1. Let w be t(16). Let g(c) = 1