ose -271 = 4*b + 93. Let t = -61 - b. Is 10 a factor of t?
True
Let f be 1/(-7) - 23/(-161). Suppose f*p - 12 = -2*p. Is p a multiple of 6?
True
Suppose 0 = -3*p - 3 - 0. Is (-3 - p)*(-1)/((-6)/(-45)) a multiple of 2?
False
Suppose 4*s - 3*b + 9 = 0, 12 = -3*s + 4*b - 0*b. Suppose 36 = -2*q - s*q - 5*u, -5*q - 52 = 3*u. Let m(v) = v**3 + 9*v**2 + 7*v + 4. Does 12 divide m(q)?
True
Let m(k) = k**2 + 2*k + 4. Let b be m(-3). Suppose -16 = -3*l - b. Suppose 3*o = -f + 3*f - 12, -4*f = -l*o - 24. Is 6 a factor of f?
True
Does 5 divide (97 - -534) + 11/(-1)?
True
Let u = 564 - 444. Does 2 divide u?
True
Let k(p) = 30*p**2 + 18*p + 69. Does 53 divide k(-4)?
True
Let c(w) = 8*w**3 - 2*w**2 - 15*w. Is c(4) a multiple of 30?
True
Let x = 17 - 17. Suppose x = -3*q + 71 - 2. Is q a multiple of 11?
False
Suppose 0 = -50*u + 57*u - 3899. Is 8 a factor of u?
False
Let t be 1/4 - 63/(-4). Let d = 14 - t. Is 6 a factor of 9/(2/2) + d?
False
Let x(v) be the first derivative of -v**3 + 3/2*v**2 - 10 - 1/4*v**4 + 10*v. Is x(-6) a multiple of 20?
True
Is 15 a factor of (3 - (1 - -3)) + 1 + 135?
True
Suppose -4*i = -2*z + 22 - 104, -2*i + 2*z + 46 = 0. Let h = i - 15. Suppose -u - 124 = -h*u. Does 13 divide u?
False
Is 4 + 1 + -3 + 105 - -1 a multiple of 54?
True
Let w = -390 - -443. Is w a multiple of 53?
True
Let c(t) = 2135*t - 206. Is c(2) a multiple of 32?
True
Suppose 7475 + 8420 = -5*u. Let x be 2/(-6) + u/(-33). Suppose x + 0 = 4*f. Is 7 a factor of f?
False
Let v = -31 + 11. Let u(z) = -z**3 + 27*z**2 - 2*z + 39. Let p be u(27). Does 25 divide (v/(-6))/((-2)/p)?
True
Suppose x - 51 = -0*x. Let o = x - 25. Suppose 5*b - o = -2*q, -3*q = -4*b + 7 - 0. Is b a multiple of 4?
True
Let j(g) = g**3 + 17*g**2 + 10*g - 11. Let w be j(-15). Let n = -134 + w. Does 21 divide n?
False
Let d = -14 - -14. Suppose d = 2*x + 5*u - u - 518, 5*x - 1263 = -2*u. Suppose -5*b - 31 + x = 0. Is b a multiple of 22?
True
Suppose 0 = -17*m + 951 + 3384. Is m a multiple of 51?
True
Let r(f) = -2 + 2 + 1 + f**2. Is 4 a factor of r(4)?
False
Suppose 11*g - 3315 - 2317 = 0. Is 29 a factor of g?
False
Suppose 0*y = -y - 2, -5*c + 5*y + 35 = 0. Suppose 5*k + c*n - 19 = 1, -2*k + 13 = -3*n. Let u = 37 - k. Is u a multiple of 7?
False
Let v(g) = g**3 + 18*g**2 + 21*g + 5. Let c be v(-8). Let w = c - 316. Does 19 divide w?
False
Let h(i) = -113*i. Does 35 divide h(-2)?
False
Suppose 33860 + 52324 = 133*c. Is c a multiple of 27?
True
Let w(a) = -24*a + 3 + 20*a - 1. Let s be w(1). Is 3/s - (-46)/4 a multiple of 5?
True
Suppose 0 = 3*p - 4*s - 78, 0 = -3*p + 7*p + 2*s - 104. Is 26 a factor of p?
True
Suppose -5*n - 3437 = 3*g - 10058, 3*g = -2*n + 2652. Suppose -1162 = -7*s + n. Is 11 a factor of 1 + 2 - s/(-5)?
False
Let a(u) = 58*u**2 - 2*u + 4. Let t be a(-3). Is 9 a factor of t/12 + (-6)/(-9)?
True
Let h(o) = -o**2 - 341. Let k(y) = y. Let s(l) = -h(l) - 3*k(l). Does 55 divide s(0)?
False
Is 36 a factor of -2*69*21/(-14)?
False
Suppose -36*c + 452 = -32*c - 4*n, n - 571 = -5*c. Is c a multiple of 19?
True
Let m(d) = d**3 - 8*d**2 + 8*d + 11. Is 25 a factor of m(8)?
True
Let p(q) be the second derivative of 14*q**3/3 + 7*q**2 + 4*q. Let y be p(7). Suppose 0 = 5*r - 0 - y. Is r a multiple of 21?
True
Suppose 0 = -33*m + 35*m - 360. Let i = m + -99. Is i a multiple of 22?
False
Suppose 12*l = 12072 + 7248. Is l a multiple of 10?
True
Let z be (-5 - -4)*-1*1. Suppose 4*g + 3 = i - z, 2*i + 2 = -2*g. Suppose -w + i*w = -51. Does 12 divide w?
False
Let v(h) = -h**3 - 4*h**2 + 10*h + 2. Let l be v(-5). Let o = l + 131. Is 12 a factor of o?
True
Let c(n) = 5*n - 7. Let v be c(-10). Let j = 106 + v. Does 9 divide j?
False
Let n = 1605 + -616. Is n a multiple of 56?
False
Let k be 3/(2/(-80) + (-12)/(-30)). Suppose -11*w = -12*w + k. Is 8 a factor of w?
True
Let l(s) = -s**3 + 8*s**2 - 7*s. Let u be l(7). Suppose u = 35*d - 33*d - 14. Is 6 a factor of d?
False
Let b(h) be the third derivative of -h**6/40 - h**5/20 + 5*h**4/24 + 5*h**3/6 + 15*h**2. Does 11 divide b(-3)?
True
Let s be 4/(((-8)/4)/(-2)). Suppose 69 = -s*d + d. Let z = -13 - d. Is 5 a factor of z?
True
Suppose -3*c - 6 = -3*b, 0 = -3*c - c + 2*b. Suppose c*w - 6*w = -364. Does 13 divide w?
True
Suppose 24 = 13*h - 7*h. Suppose 0 = -h*p + 8, -q - p + 3*p = -60. Is 40 a factor of q?
False
Is (-11994)/(-30) - (-4)/(-5) a multiple of 34?
False
Suppose 0 = -4*o + 5*k + 211, 9*o - 4*o - 5*k - 265 = 0. Is 6 a factor of o?
True
Suppose -4*r - 2*n = -276 + 76, -n = 3*r - 150. Does 5 divide r?
True
Let l be 22/6 - 8/(-24). Suppose 2*t - l = t. Suppose 3*x + 145 = 4*b - 2*x, -t*b = -4*x - 148. Is b a multiple of 9?
False
Let r(x) = -2*x**2 - 5*x - 3. Let q(j) = -2*j**2 - 5*j - 2. Let a(c) = -2*q(c) + 3*r(c). Let g be a(-5). Let y = g - -50. Does 5 divide y?
True
Let z(b) be the first derivative of -2*b**2 - 2. Let n be z(-1). Suppose -n*a + a + 72 = 0. Is a a multiple of 8?
True
Suppose -h - 1772 = -4*i - 664, -2*i + h + 552 = 0. Does 22 divide i?
False
Let l be (-8)/(-3) - 46/69. Suppose -l*h + 4*h - 136 = 0. Does 27 divide h?
False
Let o = 3 - 1. Suppose 122 = o*z - 0*z. Is z/3 + 6/9 a multiple of 7?
True
Let y(t) = 12*t + 73. Is y(-5) a multiple of 13?
True
Let d be 64/(1 + -2 + 2). Let n = -46 - -81. Let b = d - n. Does 8 divide b?
False
Suppose 2*j + 2*z - 164 = -412, 5*z - 478 = 4*j. Is 16 a factor of (-4 - -7) + 2/((-4)/j)?
True
Let k(c) = c + 2. Let b be k(-3). Let y = 20 - 30. Does 2 divide -3 - b - (y + 6)?
True
Let v = 325 - -243. Is v a multiple of 8?
True
Let j = -249 + 474. Does 25 divide j?
True
Suppose 2*b - 101 = -3. Let y(a) = 7*a + 63. Let s be y(8). Suppose -b = 2*n - s. Is n a multiple of 22?
False
Let l be (0/(-1))/(11 + -10). Suppose l = 4*i - 180 + 20. Is 8 a factor of i?
True
Suppose 4*n = -3*b + 58, 3*b = 6*b - 2*n - 34. Suppose -2*o + b*o = 2016. Is o a multiple of 21?
True
Suppose w = 4*v + 355 - 1719, -3*v = -2*w - 1018. Suppose 3*d - v = -117. Does 25 divide d?
True
Let m(b) be the third derivative of -b**5/60 + b**4/8 + b**3 - 3*b**2. Let y be m(5). Let v = y + 89. Is 23 a factor of v?
False
Let y(g) = g**3 + 16*g**2 - 7*g - 37. Is 16 a factor of y(-14)?
False
Suppose 14*k + 4 = 15*k. Does 31 divide ((-2)/4 - (-950)/20) + k?
False
Let s = 114 - -26. Suppose s = n - 0*n. Does 16 divide n/6*(-24)/(-20)?
False
Let p(o) = 49*o**2 + 2*o - 26. Is p(-4) a multiple of 6?
True
Let c = -229 + 346. Does 3 divide c?
True
Is (8 - 14)/((-1)/10) a multiple of 12?
True
Suppose -288 = -y + 3*c, -c - 1466 = -5*y + c. Suppose x + y = 4*x. Is 9 a factor of x?
False
Let u = -4 + 25. Let d = -9 + u. Suppose -d = -3*c, 96 = 2*b + b + 3*c. Is b a multiple of 14?
True
Let r(o) = -96 + 97 + 12*o**2 - 2*o - 12*o**2 + 53*o**2. Does 13 divide r(1)?
True
Let m(k) = 4*k + 6. Let x be m(3). Suppose -x = -3*i - 0*i. Suppose 0 = 5*p + 2*y - 219, -i = 2*y - 0. Is p a multiple of 24?
False
Suppose 4*w + 0*w = 20. Suppose 3*d = 3*q + 57, 0 = 2*d + q + q - 18. Suppose l - d = -w. Is l a multiple of 9?
True
Let m = 46 - -26. Does 24 divide m?
True
Let r(t) = 15*t**2 + 14*t - 24. Does 8 divide r(-6)?
True
Let i(w) = w. Suppose 2*b - 6*b = 60. Let s be (-9)/15*50/b. Is i(s) even?
True
Let f = 94 + 11. Suppose 3*b + 3*m + f = 546, -5*b + 4*m + 771 = 0. Is 27 a factor of b?
False
Let j(b) be the second derivative of -b**4/12 + 18*b**2 + 19*b. Is 4 a factor of j(0)?
True
Let v = -104 + 364. Let t = v - 118. Is 20 a factor of t?
False
Is (2 - 28)/((-6)/474) a multiple of 13?
True
Let g be (-9)/(-18) + 14/4. Suppose 2*o + 2 = -g*f + 202, -165 = -2*o + 3*f. Suppose 2*v + 14 = 4*j + 44, -o = -3*v - 3*j. Is v a multiple of 25?
True
Let f be 3/(-6)*(-8)/2. Let c be 2 - (0 - f)/2. Is 16 a factor of 50 + -3 + 4 - c?
True
Let r(i) = 4*i**3 - 22*i**2 + i - 8. Does 12 divide r(6)?
False
Let v be 3 - (1188/(-15) + (-3)/(-15)). Is 29 a factor of v + (0/(4 + -3))/2?
False
Suppose 5*k + 279 = 14*k. Is 11 a factor of k?
False
Let o = -1467 + 1626. Does 7 divide o?
False
Let o = 1526 - -1316. Is o a multiple of 14?
True
Suppose -14*n + 1215 + 633 = 0. Does 44 divide n?
True
Suppose -52*o - 20 = -57*o. Suppose o*d - 332 = 240. Does 13 divide d?
True
Suppose 4*k = -m + 783, 0 = -5*k + m + m + 969. Let a = -100 + 175. Suppose -5*v + a = -k. Is v a multiple of 16?
False
Supp