
Suppose 9*b = 7*b - 8. Let s be ((-10)/b - 4)/((-3)/72). Suppose -18*c + 15*c = -s. Does 6 divide c?
True
Let f(b) = -4*b + 3 + 4*b + 17*b - b**2. Suppose 7*q = 2*q + 80. Is 3 a factor of f(q)?
False
Let q be 54/4*(-3876)/153. Let l = q - -390. Does 5 divide l?
False
Let b = -7122 - -7349. Does 15 divide b?
False
Let y be 9/6*(5 + -3 + -12). Suppose 0*h + 2*h = 30. Let d = h - y. Is 23 a factor of d?
False
Let l = -242 - -244. Let k(z) = 163*z**2 - 15*z + 7. Is k(l) a multiple of 8?
False
Suppose -p - 3*c - 2*c + 68 = 0, 2*p + 3*c = 129. Let a(q) = -16 - q**3 + 54*q**2 - 10*q - p*q**2 + 2*q - 6*q. Is a(-10) a multiple of 16?
True
Let j be (-6)/15 + (-1315)/25. Let b = 80 + j. Suppose 5*l + b = 197. Does 12 divide l?
False
Let f(d) = 303*d**3 - 4*d**2 - 6*d + 24. Does 8 divide f(3)?
False
Let a = 324 + 294. Is 6 a factor of a?
True
Let p(m) = m**2 - 11*m - 32. Let l be p(12). Is ((-6)/(-15)*2)/((-4)/l) even?
True
Let i(h) = 42*h**2 + 650*h + 8. Is 12 a factor of i(-19)?
True
Let z(y) = 4*y**2 + 23*y - 42. Let s = -150 + 132. Is z(s) a multiple of 53?
False
Let r = -618 - -618. Is 108 a factor of (r + 135)*128/80?
True
Suppose -30*r + 58943 = -4*r - 163487. Is r a multiple of 295?
True
Suppose 2*w + 4*n - 17118 = 0, 22*w - 20*w + 2*n - 17116 = 0. Does 26 divide w?
False
Let r = -27 - -26. Let p be 1 - 1*(r - 2). Suppose 176 = 4*v + 3*o, -231 = -p*v - v - o. Is v a multiple of 22?
False
Let r(v) = -v**2 + 89*v + 182. Does 6 divide r(60)?
False
Suppose 1708*y - 28431 = 1669*y. Is y a multiple of 27?
True
Let r(v) = -25*v**2 + 18*v + 36. Let a(x) = -26*x**2 + 17*x + 37. Let h(p) = 7*a(p) - 6*r(p). Let q be h(-5). Does 5 divide (-24)/108 - q/9?
True
Suppose 31*j - 75059 = 165935. Does 9 divide j?
False
Let m(a) = 9*a**2 + 20*a - 20. Let g be m(6). Let d = g - 88. Is 4 a factor of d?
True
Suppose 25888 = 4*t - 4*p, -23395 = -5*t - 5*p + 8935. Does 54 divide t?
False
Suppose 3*a + 2 = 4*q + 6, 0 = -q - 2*a + 10. Suppose -2*n + 56 = 4*f, q*f - n - 84 = -3*f. Does 16 divide f?
True
Suppose 2*v + 2 + 0 = 3*l, 0 = -3*l + v + 7. Suppose -d - 5*t = 3*d + 1025, l*d + 1022 = -2*t. Let p = -156 - d. Is p a multiple of 11?
True
Suppose 0 = 3*o - 4*i - 174 + 1118, 0 = -o - 4*i - 288. Is 297/66*(o/(-6) + -2) a multiple of 20?
False
Suppose 56*b + 47402 = 59*b + 4*h, -5*h + 25 = 0. Does 28 divide b?
False
Let t(d) = 21*d + 3586. Is t(-89) a multiple of 37?
False
Let q = -75 - -135. Suppose j + 2*k + 9 = 27, -4*j + q = 5*k. Suppose 0 = -n - n + j. Is 3 a factor of n?
False
Let y = 199 + -188. Let l = y - -19. Is l a multiple of 15?
True
Is (-525)/(-3)*(4485/25)/13 a multiple of 69?
True
Let v(y) = 239*y - 3. Let b = 99 - 98. Let l be v(b). Suppose -3*n + 44 = x + n, 5*x = -4*n + l. Is x a multiple of 24?
True
Suppose 113*n - 13828 - 18490 = 0. Is 4 a factor of n?
False
Suppose 0 = -2*n - 10, 2*o + 10*n = 13*n + 1935. Does 15 divide o?
True
Let q be (-42680)/(-50) + (-6)/10. Let l = 1360 - q. Is l a multiple of 39?
True
Suppose -4*w + 3*z + 62 = 0, 9*w - z = 8*w + 17. Does 2 divide w?
False
Let v = 8 - 5. Suppose -v*p - 40 = -226. Let j = 70 + p. Is j a multiple of 12?
True
Suppose -216 = -14*s + 8*s. Suppose 0 = -16*k + 18*k - s. Is k even?
True
Let p(y) = -25*y**3 - 24*y**2 - 95*y + 3. Is p(-6) a multiple of 39?
True
Suppose -5*f + 3*f + 31 = a, -85 = -4*a + 5*f. Does 41 divide (-13 + a/5)*-7?
False
Let p(s) = 10*s + 14. Let v(j) = -9*j - 15. Let l(b) = 4*p(b) + 3*v(b). Suppose 26*n - 29*n = -39. Is 30 a factor of l(n)?
True
Let z be ((-14)/35)/(2/(-10) - 0). Let b = 3 - z. Suppose 0 = -f + 17 + b. Is f a multiple of 9?
True
Suppose 0 = 4*y - 4*r + 84, y + 4*y - 4*r + 108 = 0. Let s = y - -768. Suppose 2*x - 8*x + s = 0. Is 14 a factor of x?
False
Let a(b) = 42*b**2 + 227*b - 150. Is 215 a factor of a(-25)?
True
Let f(s) = -3*s - 12. Let a be f(-5). Let y be (4/(-8) + a)*(2 + 0). Suppose 119 = y*b + 2*b. Is 4 a factor of b?
False
Let z(d) = 400*d**2 + 4*d. Let t be z(2). Suppose 6*c - 342 = t. Is c a multiple of 25?
True
Let h(x) = x**3 + 15*x**2 + x + 20. Let m be h(-15). Let t(a) = -a**3 + 11*a**2 + 10*a + 6. Does 28 divide t(m)?
False
Suppose 3*q = 177*y - 175*y - 3789, -1884 = -y - 2*q. Is y a multiple of 45?
True
Let n = -242 - -251. Suppose -48*f + n*f + 20436 = 0. Does 53 divide f?
False
Suppose 0 = 3*g + 3*b, 3*g - 2*b - 8 - 2 = 0. Let j be ((-1)/g)/(10/280). Is 2 a factor of 14/j*(-2)/1?
True
Suppose -204*z + 60183 = 2*o - 201*z, -2*o + 4*z = -60176. Is 10 a factor of o?
True
Suppose -2*f - f + 9 = 0. Suppose -d - 16 = -f*d. Suppose 7*b + 40 = d*b. Is b a multiple of 6?
False
Suppose 4*v + u + 323 = 0, 3*u = -5*v - 2*u - 385. Let n be v/(6/(-3)) + -4. Let k = 81 - n. Is k a multiple of 44?
True
Suppose 5*c - 27 = -4*c. Is 46 a factor of -21*11*(-1)/c?
False
Suppose -67*g = -69*g + 662. Let o = -235 + g. Does 32 divide o?
True
Let p(d) = d**2 - 6*d + 10. Let v be p(5). Let s = v - 5. Is 5*(s + -2)*-8 a multiple of 40?
True
Let r(w) = w**3 + w**2 + w + 97. Suppose -3*a + 5*z + 7 = 0, -a - 4 = -5*z - 3. Let b be (-2)/a*(8 + -8). Is 22 a factor of r(b)?
False
Let i(w) = -w**3 + 9*w**2 + 3*w + 16. Let n be i(5). Suppose -n*f - 7920 = -135*f. Is f a multiple of 99?
True
Let b(c) = 112*c**2 + 7*c - 5*c + 529*c**2 + 162 - 163. Is b(1) a multiple of 12?
False
Let k(i) = 0*i**3 - i**3 + 29*i + 6*i**2 - 15*i - 9*i - 5. Is k(6) a multiple of 4?
False
Let v(z) be the third derivative of -z**8/6720 - z**7/2520 + z**6/90 - 11*z**4/24 + 13*z**2. Let w(a) be the second derivative of v(a). Is 13 a factor of w(-6)?
False
Let f = 459 + -130. Let a = f - 277. Is a a multiple of 26?
True
Let g(y) = 21*y - 106. Is g(58) a multiple of 43?
False
Suppose -344*s + 299*s + 79380 = 0. Is s a multiple of 14?
True
Let c(n) = -n**3 - 50*n**2 - 47*n - 334. Is 11 a factor of c(-51)?
True
Let f(v) = 2*v**3 - 2*v**2 + 43*v - 42. Is f(5) a multiple of 44?
False
Let k = 517 - 513. Let i(g) = 51*g + 25. Is i(k) a multiple of 5?
False
Let v(n) = 32*n - 32*n**2 + 55*n**3 + 0 - 7 - 54*n**3. Does 10 divide v(31)?
False
Let t(z) = -33*z - 23. Let h be t(-14). Let v = -175 + h. Suppose -380 = -5*r + w, -4*w - v + 19 = -3*r. Is 11 a factor of r?
False
Let y(c) = -c**3 + 11*c**2 + 236*c + 51. Is y(-12) a multiple of 8?
False
Suppose -14*s + 4*s + 13420 = 0. Suppose -z + 0*w + w = -268, -5*z + 4*w = -s. Is z a multiple of 27?
True
Suppose 0 = -4*a + 810 + 5726. Suppose 8*s + 186 = a. Is s a multiple of 37?
False
Suppose -186*y + 9381594 = -4849720 + 2667136. Does 18 divide y?
False
Let f = 598 - 349. Suppose f*u = 250*u - 416. Is u a multiple of 32?
True
Suppose 0 = -5127*k + 5098*k + 2308806. Does 18 divide k?
True
Let q = 26848 + -10504. Is q a multiple of 24?
True
Let c be 98/7 - (-2)/(-2). Let d(f) = -f - 11 - f**3 + 38 - 3 - c - 2*f**2. Is d(-4) a multiple of 8?
False
Let o = -6406 - -11774. Is o a multiple of 44?
True
Suppose 0 = 9*b - 2*f - 77228, 4*b + 16*f - 21*f - 34340 = 0. Does 43 divide b?
False
Let m = -227 + 462. Let t = m - 166. Suppose -2*p - 13 = -t. Is p a multiple of 23?
False
Suppose b = -3*c + 19904, -13*b - 4*c = -12*b - 19898. Does 23 divide b?
False
Suppose 96 = -n + 3*a, 3*n - 5*a + 384 = 96. Is 42 a factor of (2/(-8))/(6/n) + 164?
True
Let g(m) = 1745*m**3 - 8*m**2 + 16*m + 5. Is 49 a factor of g(2)?
True
Is (-1568800)/(-250) + 64/(-20) + 2 a multiple of 7?
False
Let b be (6/(-5))/(18/(-600)). Suppose -3*l + 832 = b. Let w = -145 + l. Does 17 divide w?
True
Let t be (-36)/48 - 9/4 - -6. Suppose -348 = -t*u - 27. Let s = u - 72. Does 7 divide s?
True
Does 13 divide (0 - 5134/(-51))/(2/156)?
True
Let l(y) = 204*y**2 + 121*y - 10. Is l(4) a multiple of 6?
True
Suppose -37*k + 47*k - 1184630 + 181100 = 0. Does 12 divide k?
False
Is 102 a factor of (34*120/36)/(2/1053*3)?
True
Let r(q) be the first derivative of 53*q**3 - q**2 + 2*q + 21. Let x be -1 - 10/(-3) - 4/3. Is 12 a factor of r(x)?
False
Let a be -4 - 1 - -3*(7 - 6). Let b be (a - -1 - -2)*0. Suppose 2*r + b = 26. Is r a multiple of 7?
False
Let p(j) = -2*j - 1. Let h be p(-9). Suppose -3*w - 2*o = 11, -5*w + 3*o = -10*w - h. Is 44 + w + (0 + -2 - -3) a multiple of 11?
True
Suppose 12*k + 45*k - 228 = 0. Suppose 6*z = 4*q + z - 410, 108 = q - k*z. Is q a multiple of 2?
True
Suppose -18*o + 2249 - 575 = 0. Suppose -o