 19 divide m?
True
Let k = 6968 - -1544. Is k a multiple of 14?
True
Let s(y) = 6*y**3 - 31*y + 122. Suppose c - 4*q = 6*c - 37, 14 = c + 3*q. Is s(c) a multiple of 17?
False
Is 11 a factor of 13/(13/(-6)) + (28039 - 4)/5?
False
Let w(t) = t**3 + 12*t**2 + 7*t + 12. Let n(m) = -2*m**3 - 11*m**2 - 8*m - 11. Let h(b) = 2*n(b) + 3*w(b). Let l be 372/27 - (-6)/27. Does 14 divide h(l)?
True
Suppose z = 4*m - 719 - 73, 594 = 3*m + 3*z. Let x be m/42 - 2/(-7). Suppose -x*q + 377 = -413. Is 13 a factor of q?
False
Let t be 52 + (0 - 2/8*4). Suppose 4*o + 27166 = t*o. Does 34 divide o?
True
Let t be (-192)/(-36) - 2/6. Let q be 25/10*(t + -19). Let v = 60 + q. Is 5 a factor of v?
True
Let s = -492 + 1426. Let l = s - 390. Is l a multiple of 32?
True
Let q(s) = -s**3 + 13*s**2 - 10*s + 4. Suppose 3*d = 45 - 9. Is 7 a factor of q(d)?
True
Let q = 25 + 68. Suppose -2*h - q = -97. Suppose h*a - a = 4*z + 33, -2*z - 25 = -a. Is 3 a factor of a?
False
Let w = 557 - 541. Is w a multiple of 8?
True
Is 7 a factor of (9760 + 2)*99/66 + (-36)/6?
True
Let r(z) = -35*z + 4. Let f(o) = -o - 2. Let w be f(5). Let n(l) = 105*l - 12. Let t(h) = w*r(h) - 2*n(h). Is t(2) a multiple of 25?
False
Is 19 a factor of 2673/1485 + 407808/15?
True
Let g = 155 + -38. Let v = -112 + g. Suppose -1119 + 184 = -5*p + v*l, 0 = -4*p - 3*l + 713. Is p a multiple of 24?
False
Let n be (9 - 2)*(-2)/(-10)*-5. Does 11 divide 93 + (1 - (n + 9))?
False
Let z(w) = 90*w**2 - 2*w - 18. Let r be z(8). Suppose 0 = -44*b + 37*b + r. Is b a multiple of 20?
False
Suppose 6994 - 107290 = -133*v + 121*v. Is 21 a factor of v?
True
Suppose 250 = -7*p + 2*p. Let a = -12 - p. Suppose 122 = 5*o - a. Does 5 divide o?
False
Let v = 5661 - -1369. Is 95 a factor of v?
True
Suppose 0*g - 6 = u - 4*g, -12 = -3*g. Suppose -u*j + 6*j = o - 636, 4*o - 2598 = 2*j. Is o a multiple of 24?
True
Let i(m) = m**3 - 6*m**2 + 5*m - 4. Suppose 9*j + 10 = 11*j. Let q be i(j). Does 7 divide (-16)/(q/4) + -2?
True
Is 16 a factor of 312*(-7 + 871/39)?
True
Let g be (-6)/(-8) - 58639/(-28). Is 2/8 - (-7)/(140/g) a multiple of 35?
True
Let k(v) = v**3 + 20*v**2 + 17*v - 32. Let j be k(-19). Suppose -y = 2*y - j. Suppose c + 3*i = 79, -y*c = 3*i - 10 - 151. Is c a multiple of 9?
False
Suppose -13*d + 8*d = 4*i - 40, 0 = 3*d - i - 7. Suppose 5*c + d*m = 2308, -2*m + 82 = -3*c + 1458. Is 92 a factor of c?
True
Let y be 0 - -163 - (5 + -2). Suppose t + 35 = -c, t + 148 = -3*t + 4*c. Is (t/(-15))/(6/y) a multiple of 8?
True
Let b(x) = 11*x - 33. Let a be b(4). Is 20 a factor of 155 + 25/(a + -6)?
True
Let h = 6786 + -4706. Suppose -6 = -2*w, 5*a = 4*w + 968 + h. Does 34 divide a?
True
Suppose 32111 + 7159 = -35*r. Let j = 2355 + r. Is j a multiple of 63?
False
Let a = 72 + -67. Suppose r - a*w = 299, -5*r + 2*r + 829 = 2*w. Does 25 divide r?
False
Let y = -40329 - -67573. Is 13 a factor of y?
False
Suppose 55*u - 23927 = -9792. Does 10 divide u?
False
Is 45 a factor of 12693 + -9 + 117/(-13)?
False
Suppose 258630 = -105*g + 142*g. Does 15 divide g?
True
Let i(c) = 5*c - 12. Let z be i(4). Let l(a) = 16*a**2 + 2*a**2 - z*a**2 + a + 2. Is l(-1) a multiple of 3?
False
Let x = -905 - -220. Let r = x + 905. Is 8 a factor of r?
False
Does 115 divide 148/(-222) + (-2)/(-3) + -3 + 35078?
True
Let o(l) = 2*l + 57*l**2 + 3*l + 4 - 58*l**2. Let p be o(5). Suppose 276 + 104 = p*z. Does 14 divide z?
False
Let x = 56 - 51. Suppose x*v = 4*v + 7. Let f(j) = 9*j + 4. Is 6 a factor of f(v)?
False
Suppose 2*x = -3*x + 200. Let w(m) = -5*m**2 + 105*m + 109. Let y be w(20). Let q = y - x. Does 31 divide q?
False
Suppose -56*c - 56*c = -117424 + 36784. Is c a multiple of 2?
True
Suppose 3*h + 0*t - 5943 = -3*t, 5*h - 5*t - 9945 = 0. Suppose -5*g = 15, -4*i + 4*g - 9*g + h = 0. Does 38 divide i?
False
Let b(m) = 2*m**3 - 3*m - 6. Let v be b(-5). Let f be (-85)/(-25) + -4 - 2112/5. Let d = v - f. Is d a multiple of 16?
False
Let k = 26617 + -23472. Does 2 divide k?
False
Let o(n) = -18*n + 105. Let f be o(-15). Suppose 615 = 10*c - f. Is 8 a factor of c?
False
Is 169 a factor of ((-20 - 136) + -13)/((-2)/246)?
True
Suppose 5*u + 4*m = 3191 + 2085, 2*u + 4*m = 2120. Suppose 4*z = l + 2*l - u, 0 = -5*z - 5*l - 1315. Let s = 406 + z. Is 15 a factor of s?
False
Let n(z) = 972*z**3 + z**2 + 2*z + 1. Suppose u + 5*r - 15 = 6*u, 8 = 4*r. Let f be n(u). Is (f/90)/((-4)/(-5) + -1) a multiple of 4?
False
Let m = -1465 + 4178. Is 2 a factor of m?
False
Let v = 69406 + -48302. Does 16 divide v?
True
Let j = 11160 + -6666. Is 42 a factor of j?
True
Suppose -3*f - 2*f - 2*o + 2760 = 0, -2*f = -2*o - 1104. Suppose 4*a = -3*t + f, 3*t = -2*t - 4*a + 912. Does 10 divide t?
True
Let p be 16/28 - 328/(-14). Suppose 2*i = 2*o - p, 35 = -3*i + o + o. Let l(a) = a**3 + 11*a**2 + 6. Is l(i) a multiple of 3?
True
Suppose 4*f = 4*l + 10 - 66, -5*l = -3*f - 60. Suppose -l*u + 803 = 110. Is 77 a factor of u?
True
Let n be 1044/26 + 2/(-13). Let b = n - -101. Is 6 a factor of b?
False
Let r(p) = 11*p**2 - 25*p + 21. Is r(-24) a multiple of 28?
False
Let r = -14337 - -27273. Does 7 divide r?
True
Let p(c) = -49*c + 11 + 19*c + 49*c. Is p(23) a multiple of 32?
True
Let c be 858/65 - 2/10. Let p be ((-21)/6)/((-4)/(-8)). Let m = p + c. Is m a multiple of 6?
True
Suppose 5*j - 2058 = -3*t, 0 = -2*j + 7*j. Suppose 41*l + t = 43*l. Is l a multiple of 49?
True
Let z = 31 + -37. Let d(y) = -y**3 - 4*y**2 - 2*y + 2. Let h be d(z). Let t = -40 + h. Is 23 a factor of t?
True
Does 6 divide (-957)/1595 - -6*13322/20?
True
Does 95 divide 10 - (-31)/(279/141066)?
False
Let a(g) = -g + 1. Let y be a(2). Let d be (-1)/(-2 - y) + -7 + 122. Let t = d + -82. Does 17 divide t?
True
Is (-2 - (-39008)/24)/(85/15 + -5) a multiple of 12?
False
Let z = 19 + -7. Let y(j) = -7 + 326*j - 159*j - 160*j. Is y(z) a multiple of 11?
True
Is 81 a factor of (-2 - 0)/((-28)/103190) + 230/805?
True
Suppose p + 36 = 4*z + 5*p, 2*z - 5*p = -17. Suppose -z*v - f + 215 = -3*v, f + 5 = 0. Is v a multiple of 22?
True
Let s = -5082 + 7335. Does 33 divide s?
False
Let j(a) = 404*a**2 + 6*a. Let r be (-3)/(-2) + (-10)/20. Is j(r) a multiple of 33?
False
Let q(f) = -253*f**3 + 2*f**2 - 16*f - 37. Is q(-4) a multiple of 15?
False
Let v = -43 - -44. Suppose -31*n = -32*n - v. Let g(s) = -119*s + 4. Does 14 divide g(n)?
False
Suppose 0 = 116*z - 582 - 2782. Is z a multiple of 13?
False
Let m = 9504 - 4880. Is 68 a factor of m?
True
Let x be 3/((-15)/25)*(-12)/(-10). Is 2*-9*(224/(-24) - x) a multiple of 22?
False
Let u(o) = 43*o**2 + 46*o**2 + 28*o - 184 - 88*o**2. Is u(-40) a multiple of 12?
False
Suppose 61*o - 18*o - 36540 = -41*o. Is 2 a factor of o?
False
Let c(d) = -9*d**2 + 33*d + 12. Let m be c(5). Is 10 a factor of ((-28284)/m - -10) + 3/4?
True
Does 16 divide (5*2)/(45008/2500 - 18)?
False
Let j(h) = h**3 + 2*h**2 - 15*h + 2. Let s be j(3). Is 20 a factor of (5 + 0 + 5)/(s/56)?
True
Let f(g) = 13*g - 39. Let r be f(3). Suppose 0 = 4*d + 5*v - 1250 - 935, r = 5*v - 5. Is d a multiple of 36?
False
Let m be 80/(-100)*(1 - 3/(-2)). Does 51 divide m/(-10) + 34286/70?
False
Let p(m) be the first derivative of -m**3/3 - 4*m**2 + 13*m - 6. Let i be p(-15). Let s = -52 - i. Is 8 a factor of s?
True
Suppose f = -11 + 14. Suppose 5*x + f*v + 14 = 0, 4*v = -4*x + 2*x - 14. Is 13 a factor of 992/16 - (-2 + x)?
True
Let p = -44 - -41. Let s(l) = l**3 + 2*l**2 + 4. Let w be s(p). Let y(b) = -b + 14. Is 6 a factor of y(w)?
False
Is (-2 + 1/1)/((-51)/340629) a multiple of 17?
False
Let h be -1 - (-2 + 5 - 7). Suppose -q = -h*q + 94. Let f = q - 32. Is f a multiple of 6?
False
Let j(y) = 3*y**3 - 4*y**2 + y + 20. Does 20 divide j(5)?
True
Suppose -h + 3*h = 10. Suppose 2*x = -2*x - 3*o + 52, x - 13 = h*o. Suppose -30 = -15*t + x*t. Is 15 a factor of t?
True
Let m(p) = -9544*p + 9638*p + 11 + 27. Is 4 a factor of m(2)?
False
Suppose 30*k = 109522 - 41302. Suppose 5*z = 0, 5*s - 2066 = -4*z + k. Is 26 a factor of s?
False
Let b = 1955 + -1970. Suppose 12 = -4*j, -4*z - 22 = -5*z - j. Let m = z + b. Is 5 a factor of m?
True
Suppose 0 = -b - 4*o - 7, 2*o - 12 = b + 1. Let h(a) = 9*a - 13*a - 9*a - 16 - 1. Is h(b) a multiple of 21?
True
Suppose -3*b + t + 43658 = 0, -4*b = -366*t + 370*t - 58168. Does 5 divide b?
True
Suppose 8*c - 3*g - 75 = 1