309. Let d be b(-6). Is 8 a factor of 57/(-5)*(-40)/d?
True
Suppose -5*a + 338313 = -0*a + c, 4*c = 4*a - 270660. Is 20 a factor of a?
False
Let f be (-2035)/(-385) + ((-4)/14)/1. Suppose f*c - 2805 = -0*c. Is 17 a factor of c?
True
Let c = 368 - 299. Suppose -13 = -f + c. Does 14 divide f?
False
Let x(z) = -73*z**2 + z + 64. Let h(n) = 25*n**2 - 21. Let r(a) = -17*h(a) - 6*x(a). Does 12 divide r(-3)?
True
Let c = 82037 + -34810. Is 83 a factor of c?
True
Let s(r) = -181*r + 1291. Is 8 a factor of s(7)?
True
Let t = -1984 + 9094. Does 15 divide t?
True
Suppose 122 = -10*s - 28. Let t = s + -36. Is 2 + -1 - t - 0 a multiple of 13?
True
Let i(o) = 31*o**3 + 10*o**2 - 8*o. Does 15 divide i(7)?
False
Suppose 0 = -2*f - 10, -163*f - 6591 = -2*t - 162*f. Is t a multiple of 89?
True
Let f(g) = -3*g**2 - 4*g + 3. Let t be f(1). Let n(i) = -4*i - 4. Let z be n(t). Is 2 + z/(-9) + (-2200)/(-12) a multiple of 38?
False
Let k(p) = -p**3 + 20*p**2 - 74*p - 25. Let w be k(14). Suppose -2*m - w = 8*i - 9*i, -5*m = -4*i + 445. Is i a multiple of 15?
True
Suppose -2*z = -369*j + 366*j - 28803, -57601 = -4*z + j. Is 80 a factor of z?
True
Suppose 8*p - 91310 + 7374 = 0. Is 3 a factor of (-186)/2139 + p/46?
True
Let d = 92 - 89. Suppose -4*v - q = 4*q - 21, -d*v + 2*q = -10. Is 16/4 + v + 24 a multiple of 8?
True
Let p = 71 + 6209. Suppose -p = -5*m - 2*x, m - 8*x = -7*x + 1249. Is m a multiple of 19?
True
Let o(x) = -5 - 9*x**3 + 6*x + 8*x**3 + x**2 + x**2. Let u be o(3). Suppose c - 2*l = 94, -l - 5 = u*l. Is c a multiple of 23?
True
Let q(m) = -m**3 + 45*m**2 - 19*m - 1009. Does 12 divide q(43)?
True
Let b(w) = 13*w**2 + 4. Suppose -64 = -13*a + 14. Does 18 divide b(a)?
False
Let l be (35 - 38)/(-2 + 1). Let d(b) = 61*b - 103. Is 4 a factor of d(l)?
True
Is 23 a factor of (2/(-3))/(14 - 2000/144) + 10614?
False
Let t = -51 + 88. Let l = -34 + t. Is l/9 + ((-1878)/(-9) - -1) a multiple of 35?
True
Suppose 20 = 5*i, -4*v - 8*i + 0*i + 61856 = 0. Does 28 divide v?
True
Let b(t) = -t**3 - 19*t**2 + t + 19. Let c be b(-19). Suppose -9*u = -2*i - 8*u + 8, -4*u - 16 = c. Suppose -i*q + 159 - 47 = 0. Does 8 divide q?
True
Suppose 0 = -4*d + 4*q + 128, -q + 52 = -0*d + 2*d. Let p(y) = 7*y + 4. Is p(d) a multiple of 13?
False
Let h be (8/(-3))/((-4)/12). Let q(c) = -5*c + 9*c**2 - 7*c**2 - 3*c + 4 + 23. Is q(h) a multiple of 13?
True
Suppose -4*r + 3*g - g = 1064, -3*g + 6 = 0. Let n = -83 - r. Is n a multiple of 13?
True
Suppose 33*h = 30*h - 3. Suppose 6 = 2*w, -x + 3*w + 2*w - 11 = 0. Is -1*x*2/h even?
True
Suppose -2*v - 304 = -5*x, 2*v + 248 = 4*x - 2*v. Let b = 74 - x. Suppose b*q - 70 = 9*q. Is 14 a factor of q?
True
Suppose -4*w - 284 = 5*m - 9504, 5*m = 3*w + 9255. Is 77 a factor of m?
True
Let c = -31 - -51. Let y = c + -133. Let x = y + 173. Is 8 a factor of x?
False
Let a(u) be the first derivative of -3*u**5/10 - 5*u**3/6 - u**2 - 27*u + 24. Let n(i) be the first derivative of a(i). Is 7 a factor of n(-2)?
True
Let d be 84/(-3) + 0 + -2 + 5. Let y = -22 - d. Suppose 4*m - 3*h = 84, -3*h - 4 = y*m - 46. Is m even?
True
Let c(l) = 2*l + 2. Let a be c(2). Suppose 80 = 4*w - a*t + 2*t, t - 4 = 0. Is 386/4 - (-36)/w a multiple of 14?
True
Let x(q) be the first derivative of -q**4/4 - 8*q**3 + 9*q**2 - 13*q + 145. Let f(s) = -6*s**2 - 2*s + 3. Let c be f(2). Is x(c) a multiple of 27?
True
Let b = -1767 + 3479. Is 4 a factor of b?
True
Suppose 0 = -i - 3*i + 2*z + 196, -i - 5*z + 71 = 0. Let v be 3/6 + i/6. Let g(c) = -7*c + 72. Is 3 a factor of g(v)?
True
Let s be ((-110)/100 - (-4)/(-10))*12. Let x(m) be the third derivative of -m**6/120 - 17*m**5/60 + 5*m**4/8 - 2*m**3 + 5*m**2. Is 7 a factor of x(s)?
True
Let o be (-1)/6 - 1/12*-62. Suppose 342 = o*g - w, -g + 2*w + 93 = 30. Suppose j = -2*l + 27, -2*j - 2*j + g = 5*l. Does 6 divide l?
False
Suppose 5*d = -15, -2*m - d = -749 - 1676. Suppose 58*q + m = 60*q. Is 61 a factor of q?
False
Let q be ((-172)/28 + 1)/(21/98). Let c = 1707 + q. Does 39 divide c?
False
Let s(y) = -27*y - 3. Let t(p) be the first derivative of -p**3 + 3*p**2 + 4*p + 10. Let z be t(3). Does 11 divide s(z)?
True
Suppose -16 = 66*q - 148. Is 46 - 0/(-4)*q/8 even?
True
Does 3 divide (2399/(-1))/((-34)/(18 - -16))?
False
Let g(t) = 16*t - 14. Let k be -4*-2*2/(-24)*-9. Let q be g(k). Suppose -b = o - q, 3*b - 170 = 4*o + 76. Is 22 a factor of b?
False
Let f = 2676 + -116. Is 10 a factor of f?
True
Suppose -7*p - 135 = -1549. Let y be 1*2/(-3)*-3. Suppose y*o = -4*f + p, -o + 2*o = 2*f - 99. Is 4 a factor of f?
False
Suppose 2*u + 14 = 5*y, -4*y + u + 19 = 2*u. Suppose -y*g + 5*m + 785 = 0, 3*g - 490 = m + 107. Suppose 0 = 128*w - 132*w + g. Is 25 a factor of w?
True
Suppose -4*a + 6657 = x, -a + x + 1671 = -x. Is 41 a factor of a?
False
Let y be 0 + -1 + 4 + 0/(-3). Suppose -884 = -2*j - 3*z, -y*z - 451 = -j - 0*z. Suppose -3*a + 68 = -j. Does 9 divide a?
True
Suppose i = -4*z + 796, 4*i + 363 = 2*z - 53. Suppose 211*h - 12320 = z*h. Is h a multiple of 35?
True
Suppose -4*r + 2*v + 342 = -612, 3*r = -2*v + 698. Suppose 0 = r*x - 231*x - 3275. Is x a multiple of 7?
False
Is 275 a factor of 530266/(-10 + 21) + -5?
False
Let m(z) = 4*z**2 + 3*z - 19. Let g be m(4). Does 28 divide 581 + (g + -8)/7?
True
Let g be -1 + -1*(-1 - (-5 + -1)). Let n(w) = 2*w**2 + 3*w + 19. Is n(g) a multiple of 73?
True
Let i(z) = 2*z**2 + 24*z - 6. Let f = -100 - -85. Does 7 divide i(f)?
True
Suppose 2*x + 11 = 5*x - 5*w, -4*w + 2 = 3*x. Let c(g) = -4*g**3 - 3*g. Let k(m) = 7*m**3 - m**2 + 7*m. Let t(u) = x*k(u) + 5*c(u). Does 2 divide t(-1)?
False
Let c(f) be the third derivative of 5*f**4/24 + 29*f**3/3 + 28*f**2. Let x be c(-13). Let y(q) = -12*q + 4. Is 8 a factor of y(x)?
True
Let z(q) = 12*q**2 - 32*q - 280. Does 30 divide z(-55)?
False
Suppose -3*i = 2*h - 6, 3*i + 5*h + 35 = 8*i. Let g(z) = 14*z. Let j be g(i). Is ((-44)/7)/((-16)/j) a multiple of 11?
True
Suppose 2*l = -3*l - 4*l. Suppose l*x - 3*x + 592 = n, 2*n + 776 = 4*x. Does 47 divide x?
False
Suppose 0 = 2*z + 8, -3*c + 2*z = c - 52. Suppose -c*r = -15*r + 1508. Does 14 divide r?
False
Let w = 276 - -1648. Does 4 divide w?
True
Is 393/(-1965) + 2936/5 + 2/(-1) a multiple of 5?
True
Let z be 0 + (-2 - -13*6). Suppose 13*u + 209 - 859 = 0. Suppose -u = -3*h + z. Does 38 divide h?
False
Let n = -197 - -451. Let w = n - 224. Is w a multiple of 5?
True
Suppose -6*d + d = 2195. Let y = d + 539. Is 3 a factor of y?
False
Let k(z) = z**3 + 5*z**2 + 2*z - 1. Let b be k(-4). Let w be -7 + 43/5 - 6/(-15). Is 1/b*w - 660/(-42) a multiple of 4?
True
Is 17484 + -2 + (36 - 18) a multiple of 10?
True
Suppose o + 5338 = 5*v, -8*o + 9*o - 1064 = -v. Suppose 0 = -8*j + 893 + v. Is 35 a factor of j?
True
Let m(g) = 5454*g**2 + 31*g + 30. Is m(-1) a multiple of 19?
True
Let k be (-4)/(-14) + 600/105. Does 12 divide k/(-8) + 4004/112?
False
Suppose 21*r + 90 = 6*r. Does 51 divide (210/5)/(r/(-51))?
True
Suppose -48*z = 28*z - 166852 - 68672. Does 4 divide z?
False
Suppose 10536 - 98 = 17*d. Let m = -386 + d. Does 10 divide m?
False
Suppose -d = 36*q - 40*q + 10882, 5*d + 10890 = 4*q. Is q a multiple of 16?
True
Let s = 3 + 7. Suppose -15*p = 5 - 80. Is 4/s - (-73)/p a multiple of 5?
True
Suppose 0 = -4*l + 2*l + 4*h, -l - 3*h = 15. Let d be l/12*(1 + 1). Let r(q) = -5*q**3 + 2*q**2 + 2*q + 1. Is r(d) a multiple of 3?
True
Let z be 20/(-25) + -12*(-4)/60. Suppose c + h - 284 = 0, z = 2*h - 2 - 6. Is c a multiple of 40?
True
Suppose -q - 4361 = -3*z, 25 = 6*q - 11*q. Is 44 a factor of z?
True
Let c = -106 + 103. Is 19 a factor of c/(581/(-289) + 2)?
False
Let w(g) = 398*g**2 - 207*g - 1067. Does 58 divide w(-5)?
True
Suppose 3366 = 2*z - 2*b, 5014 = 9*z - 6*z + 4*b. Is z a multiple of 12?
False
Suppose 5129*t + 49932 = 5133*t. Does 171 divide t?
True
Let t(g) = -9*g - 10. Let a = 45 - 44. Let z = a - 13. Does 14 divide t(z)?
True
Let o(c) = -12*c - 168. Let a be o(-15). Suppose 1260 = -5*j + a*j. Does 44 divide j?
False
Suppose -20*c + 65471 = -4*c - 20129. Does 10 divide c?
True
Suppose -2*l = 7*u - 3128, 0 = -4*l + 4*u + 4884 + 1372. Is 4 a factor of l?
True
Let g be ((-18)/(-27))/(1/(-168)). Let b = -112 - g. Suppose -s + 15 + 39 = b. Does 7 divide s?
False
Let s(g) = 20*g**3 - 27*g**2 - 7*g - 95. Is s(11) a multiple