630 = -17510. Does 36 divide m?
False
Suppose 3*u + 9778 = 2*v + 2582, 3*u + 14374 = 4*v. Does 12 divide v?
False
Suppose -53*g = -54*g + 3*c + 3477, 5*g - 3*c = 17421. Is 21 a factor of g?
True
Let a = 12499 + -6717. Is 98 a factor of a?
True
Suppose 67*n - 69*n = 0. Suppose n = -b + 3*s + 80, -s + 1 = 2*b - 124. Is b a multiple of 15?
False
Suppose 6*t = 811 + 209. Let q = t + -81. Is 10 a factor of q?
False
Suppose 150*l = 51*l + 228096. Is l a multiple of 12?
True
Let m(q) = 228*q**2 - 25*q - 491. Does 43 divide m(10)?
True
Let q = -25 + 25. Let v(s) = s**2 + 2*s + 5. Let r be v(q). Suppose 7*u - r = 23. Does 2 divide u?
True
Let h(i) = -5*i + 70. Let k(x) = -35*x - 150. Let c be k(-4). Is 8 a factor of h(c)?
True
Suppose 5*u - 5 - 30 = 0. Let p be u/3 - -3*3/(-27). Suppose 2*b - 206 = -q, -p*q - q - b + 628 = 0. Is 14 a factor of q?
True
Let s(k) = 11 + 8*k**2 + 3 - 24. Let t(w) = -9*w**2 - w + 11. Let m(g) = 7*s(g) + 6*t(g). Is m(-4) a multiple of 8?
False
Suppose -2272 - 5240 = -12*p. Let r = p - 366. Does 17 divide r?
False
Let w = -1782 - -8713. Does 175 divide w?
False
Does 89 divide (3 + 1245/(-10))*(-6 - (-1606)/(-33))?
False
Let l = -690 - -699. Is 9 a factor of l?
True
Let h(p) = 3*p**3 - 5*p**2 + 4*p - 7. Let i be h(2). Suppose 12*f = i*f + 1337. Does 36 divide f?
False
Is 20 a factor of ((-537)/42 + 2/7)*-352?
True
Suppose -12*f + 121576 = 79*f. Does 8 divide f?
True
Does 10 divide (17 - 130/10)*269?
False
Suppose -2*l = 3*h - 2562, 64*l - 66*l + 846 = h. Does 22 divide h?
True
Suppose -12 = 4*s - 32, -3*x = 4*s - 2339. Suppose -x*y = -777*y + 1512. Is 47 a factor of y?
False
Let v = -16524 + 20373. Does 16 divide v?
False
Suppose 0 = 2*g + 4*z - 2, 0 = 3*g - 0*g - 2*z - 11. Let s(x) = 3 + 2 - 3 + g*x**2 + 1 + 2*x. Is s(-8) a multiple of 13?
False
Let v(j) = 3*j**3 - 10*j + 1. Let c be v(-3). Let i = 101 + c. Suppose n + 3*k - i = 0, 3*n - 4*k = 2*n + 23. Is 11 a factor of n?
False
Let z(t) be the third derivative of 109*t**4/24 + 81*t**3/2 - t**2 - 28*t. Is z(13) a multiple of 24?
False
Suppose -5*p + 36 = -2*p. Suppose p*u + 407 = 1139. Is 34 a factor of (30/5 - 5) + u?
False
Suppose -16*f - 14*f = -17*f - 115284. Is f a multiple of 20?
False
Let y = 146 + 8. Let n be (-1008)/(-462) + 2 + 24/(-11). Suppose -3*t - t = 16, -n*t + y = k. Does 9 divide k?
True
Let p(n) = n**3 - 3*n**2 + 37*n - 8. Let c be p(10). Is 30 a factor of (-40)/2*(-5 + c/(-24))?
False
Is (-3)/9 - (192030/(-45) + 8) a multiple of 12?
False
Let s be -6 - (-162)/30 - (-292)/20. Suppose 3*z - w = 2104, -z + 694 = s*w - 18*w. Is z a multiple of 30?
False
Let k(o) = o**2 - 4*o - 12. Let x be k(6). Suppose 3*h - 26 = -b, 3*h - 43 = -2*b - x*b. Is (b + 2)/(3/3) a multiple of 5?
False
Let u(p) = -p**3 - 4*p**2 - 8*p + 7. Let i(m) = -2*m**2 + 2*m - 1. Suppose 2*l + 4*w + 8 = -0*l, -3*l + 9 = -w. Let g be i(l). Does 8 divide u(g)?
True
Let y be 10/(-8) - (996/48 + -10). Let x(s) = -s**3 - 12*s**2 - 26*s - 42. Is x(y) a multiple of 32?
False
Let o(i) = i**2 - 12*i + 4. Let h be o(15). Is 66 a factor of ((-168)/h)/(8/(-308))?
True
Let w(d) = 11*d**2 - 541*d + 23. Does 5 divide w(52)?
True
Let b(h) be the second derivative of h**5/20 - 11*h**4/12 + h**3/6 + 13*h**2 + 59*h. Is 4 a factor of b(11)?
False
Let q(g) = -g**2 - 11*g + 14. Let m be q(-7). Suppose 2*v + 4*x = 450, -45*v + m*v = 4*x - 683. Does 50 divide v?
False
Let p be 10*((-9)/6 - -2). Suppose 2*m = p*m - 2*k - 1924, 5*m = k + 3195. Does 22 divide m?
True
Let n be 3396/(-16)*(-8)/18*21. Let z = n + -1197. Is 49 a factor of z?
True
Suppose -8 - 12 = -5*t. Suppose l + 17 = -5*r - 10, t*l = 4*r + 12. Let p = 14 + l. Is p a multiple of 4?
True
Let d(l) = -l**3 - 16*l**2 + 5*l - 37. Let x be d(-17). Let q = x - -309. Does 23 divide q?
False
Let s = -101452 - -168606. Does 77 divide s?
False
Let r be 26 + -25 - (-2)/(4/(-342)). Let j = 1 - r. Let f = j - 109. Is 12 a factor of f?
False
Suppose 3*i + 12 = -4*r, 3*r + 2*r + 15 = 4*i. Suppose i*a + 546 = 21*a. Is a a multiple of 7?
False
Let d(p) = -p**3 + 11*p**2 - 3*p + 24. Suppose -2*f + 3*f + 2*u + 2 = 0, 4*f - 22 = -2*u. Does 24 divide d(f)?
True
Let b be (-5)/((-2)/40*1). Let u(n) = 6*n**2 + 72*n + 109. Let k be u(-12). Let v = k - b. Is 3 a factor of v?
True
Let p = 58 + 365. Suppose p = 8*a - 897. Does 20 divide a?
False
Suppose -4*v + 38 = 54. Let j(n) = -13*n**2 - 4*n - 3. Let i(g) = -g**2 + g. Let z(b) = v*i(b) - j(b). Is 39 a factor of z(-3)?
True
Let p = 2406 + 2059. Suppose -4*o + p = -3*v, -5*o + 4911 = v - 675. Does 39 divide o?
False
Suppose 0 = 2*d - 16 + 94. Let b = -41 + 87. Let h = b + d. Is h even?
False
Suppose 5*b = -2*y + 6074 + 8788, -5*y + 5*b = -37085. Is y a multiple of 33?
False
Let l(c) be the second derivative of -39/2*c**2 + 0 - 1/2*c**3 + 1/6*c**4 + 21*c. Does 16 divide l(-7)?
True
Suppose 4*r + 12617 = -z + 47977, -26520 = -3*r - 4*z. Does 85 divide r?
True
Let s(g) = 2*g + g + 71 + 17*g + 110 + 179. Is 60 a factor of s(48)?
True
Let t(j) = j**3 + 4*j**2 - 8*j + 3. Let n be t(2). Suppose 2*g = 4*f - 3106, 2*g + 9 - n = 0. Is 81 a factor of f?
False
Suppose -2*o = -6*o + 48. Let j be 30/o*(-12)/(-5). Suppose -j*i - 14 = -182. Is 7 a factor of i?
True
Let w(l) be the second derivative of -l**3/6 + 4*l**2 - 38*l. Let s be w(8). Suppose s = -2*q + 72 + 104. Is q a multiple of 8?
True
Let i be -11 + 3 + -454 - -3. Let l = -235 - i. Does 34 divide l?
False
Let u(l) = 1327*l**2 + 28*l - 96. Is u(4) a multiple of 16?
True
Suppose -2*m - w + 6*w = -180, 5*m = -w + 477. Let p be m + (1 - -1 - (-3 + 4)). Suppose -49 = -2*r + o, -3*r = r - 4*o - p. Is r a multiple of 9?
False
Let b(q) be the third derivative of -q**6/120 - q**5/60 - q**4/24 - q**3/6 + 39*q**2. Let c be b(-2). Suppose -y = -c*y + 496. Is y a multiple of 31?
True
Let s = -9526 + 10171. Is s a multiple of 2?
False
Let c be ((-6 - -1)*3)/((-8)/48). Suppose -269*v - c = -270*v. Is v a multiple of 11?
False
Suppose 4*f = 3*f - 1. Let x(v) = -64*v + 318. Let r be x(9). Is 13 a factor of (1 - f)/(-3 - r/84)?
False
Suppose 0 = 8*v - 4*v. Suppose v = -6*u + 121 + 1691. Is 24 a factor of u?
False
Let s(x) be the third derivative of -x**4/6 + 59*x**3/3 - 28*x**2. Does 36 divide s(0)?
False
Let r(t) = -t**2 - 10*t + 31. Let g be r(-13). Let v be 4/g + 218/4. Suppose 3*l + v = 4*l + q, -159 = -3*l - 4*q. Does 13 divide l?
False
Let d = 2353 - -463. Does 32 divide d?
True
Let b(x) = -2*x**2 + 20*x - 38. Let c be b(3). Suppose -1090 = -a - 2*o, -c*a + 17*o = 12*o - 4399. Is a a multiple of 16?
False
Let b = 447 - 444. Suppose -5*p = -z + 375, 771 = 7*z - 5*z - b*p. Does 15 divide z?
True
Let z(r) = 120*r**2 + 24*r + 20. Let f(w) = -40*w**2 - 8*w - 7. Let m(i) = 11*f(i) + 4*z(i). Is 43 a factor of m(3)?
True
Let a(n) = -51*n - 2094. Does 14 divide a(-74)?
True
Let g be (-2954)/(-21) + 1/3. Suppose -31*q = -g - 758. Does 5 divide q?
False
Suppose 0 = -3*p - 5*c + 15369, -4*c - 20428 = 486*p - 490*p. Is p a multiple of 13?
False
Is (-7)/4 + 3533868/1296 a multiple of 10?
False
Suppose 5*m - 17 = -5*u + 38, 0 = u + 2*m - 14. Let r(j) = -j**3 + 10*j**2 - 9*j + 16. Does 24 divide r(u)?
True
Suppose 449441 = -18*q - 28*q + 4322365. Is 12 a factor of q?
False
Suppose -2*t - 138 - 296 = -2*m, 4*m - 908 = -4*t. Let z = 772 - 402. Suppose -4*f = -3*c + m, -5*c - 3*f - 2*f + z = 0. Is c a multiple of 13?
False
Let b(s) = s**3 - 4*s**2 - 36*s + 567. Does 72 divide b(13)?
False
Let l be 8 - (-1 - (1 - 2)). Suppose 3*a - l*a + 25 = 0. Suppose a*b = 20, 3*t - 3*b = t + 300. Is t a multiple of 12?
True
Let l(v) = 12*v**2 - v + 2. Let m be l(-2). Let x be (-54)/(-14)*-11 + (-6)/(-14). Let w = m + x. Is w a multiple of 10?
True
Let q(w) = -29*w + 641. Is 105 a factor of q(4)?
True
Let h(f) = -4*f**2 - 36*f + 7. Let z be h(-9). Suppose 3*o = z*o + 3*o. Suppose 3*w - 2*w - 24 = o. Is 24 a factor of w?
True
Suppose -2*q + n = -2, 4*q - n - 9 = -1. Suppose 5*x = 4*s - 632, 2*x + 194 = -q*s - 45. Is x*6/(-2)*2/12 a multiple of 9?
False
Suppose 0 = 354*o - 383*o + 107416. Is o a multiple of 4?
True
Suppose -5*z - 6 - 8 = -2*k, 0 = -2*z - 2*k. Let s be (0 + z/(-5))*(-1 - -26). Is 7 a factor of (2/(-3))/((s/(-99))/5)?
False
Suppose 5*c = 6*c - 1. Let v(x) = 47*x**3 - 2*x**2 + 3*x - 2. Let r be v(c). Let j = r - 41.