)?
False
Let n(d) = d**3 - 7*d**2 - 26*d + 212. Does 10 divide n(16)?
True
Let j(u) = -u**3 - 2*u**2 + u + 1. Let p be j(-3). Let i be ((-3 - -76) + 2)*6. Is 16 a factor of i/p + 8/(-28)?
True
Let q be (117 - 4) + -6*(-3)/(-6). Suppose 4*x - i - q - 211 = 0, i = -x + 79. Is x a multiple of 10?
True
Let t be -1 + 12/10 - 27/(-15). Is (-1 - t*-1)/((-6)/(-846)) a multiple of 47?
True
Let s(a) = 7*a + 7. Let w(m) = -m. Let q(r) = -s(r) - 2*w(r). Let z be q(-2). Suppose 4*o + 7*g - z*g = 332, o - 93 = 4*g. Does 18 divide o?
False
Does 69 divide 4413/8 - ((-236)/32 - -7)?
True
Let m = 3113 + -2006. Is m a multiple of 41?
True
Suppose 5*o - 48 = 47. Suppose -v + 2*f - o = -6, -v + 3*f - 12 = 0. Does 5 divide -1*2/(2/v)?
True
Let j(o) = 2*o**2 + 14*o + 3. Let w be j(-7). Suppose w*d + 2*c + 0*c = -33, -60 = 5*d + 5*c. Is ((-4)/14)/(d/126) a multiple of 4?
True
Let d(l) = 175*l**2 + 4*l - 3. Is 22 a factor of d(1)?
True
Let p be ((-12)/24)/(1/12). Does 25 divide 1/(-3) + (-452)/p?
True
Suppose -2*b = -4*i + 1232, 2*b = -2*i + 5*i - 926. Does 6 divide i?
True
Suppose -38*p = -34*p - 744. Is p a multiple of 31?
True
Is 26 a factor of (-3 - 95/(-25))/((-4)/(-2470))?
True
Let i = 455 - 321. Is i even?
True
Suppose 3*j + 5 + 1 = 0. Let b(x) = 8*x**2 - x - 1. Let n be b(j). Let r = 59 - n. Does 13 divide r?
True
Suppose 0 = -3*v + 1400 - 23. Does 27 divide v?
True
Suppose 5*t + 8*t - 5603 = 0. Is t a multiple of 25?
False
Let g(j) = 8*j**2 - 11*j - 24. Let v be g(-8). Suppose 0 = -16*q - 0*q + v. Is q a multiple of 6?
True
Suppose -3*x - u + 6 = 0, -3*u + 3 = 12. Suppose x*n + 2*n + 4*y = -74, 5*n + 5*y + 75 = 0. Is 32 a factor of -192*(n/(-4) - 4)?
True
Let x = -20 - -18. Let l be 3*(x - -1) - -10. Let c = 12 - l. Is 5 a factor of c?
True
Does 4 divide 25/(-5) - (-776)/8?
True
Let o = -16 - -25. Let t(p) = p - 8. Let z be t(o). Suppose -z = -2*n + 23. Is n a multiple of 5?
False
Let y be (-39)/(-12) + (-5)/4. Is 9 a factor of 51*y + 18/(-6)?
True
Let u(p) = p**2 + 6*p. Let w be u(-6). Let l(z) be the third derivative of -z**5/60 + 38*z**3/3 - z**2. Does 27 divide l(w)?
False
Let v be 8/52 + 141/13. Let b be (3 - 1) + -8 + v. Suppose 0 = 6*q - b*q - 12. Is 12 a factor of q?
True
Let b = -11 - -22. Suppose 7*g + 20 = b*g. Suppose -3*l + 59 = g*i, 22 + 51 = 5*i - 4*l. Is 13 a factor of i?
True
Is 30 a factor of 2/19 - 207466/(-133)?
True
Is (-28)/42 - (-4216)/6 a multiple of 78?
True
Let g(b) = b**3 - 4*b**2 + 2*b + 6. Let t be g(3). Suppose 5*f - 2*v = 357, -t*v = -4*f + 2*v + 289. Let s = f + -41. Does 15 divide s?
True
Suppose -3*b + 3 = -0. Let a be b*-6*142/(-4). Let w = a + -149. Is 22 a factor of w?
False
Let r(j) = -j**2 - 4*j + 4. Let g be r(-4). Let b be 1/g - (-462)/(-24). Let u = 22 - b. Does 11 divide u?
False
Let d = 9 + -11. Let h be (d + 0 - 303)*-1. Suppose -5*j + 10 + h = 0. Is j a multiple of 17?
False
Let c(o) = 3*o**2 - 3*o - 13. Let p(l) = 5*l**2 - 7*l - 25. Let g(w) = 7*c(w) - 4*p(w). Let r be g(-6). Let z = r + 7. Is 10 a factor of z?
True
Suppose -5*a = -9 - 11. Suppose a*m - 35 - 13 = 0. Is 6 a factor of m?
True
Let k be (-4)/(-14) + (-4)/14 - -125. Let l = -52 + k. Is 11 a factor of l?
False
Let r(d) = d + 546. Is r(0) a multiple of 26?
True
Suppose -34*n + 33*n - 73 = 0. Let r = 83 - n. Is 6 a factor of r?
True
Let p(d) = d**2 - 21*d - 37. Is p(52) a multiple of 34?
False
Let w(f) be the first derivative of f**4/2 - f**3 + f**2 + f + 120. Let d be 10/3 + (-1)/3. Is w(d) a multiple of 17?
True
Let z(y) = -5*y**3 - 15*y**2 + 3*y + 31. Is 33 a factor of z(-4)?
True
Let x(b) = 83*b - 5. Does 13 divide x(1)?
True
Let q(b) = -b + 14*b + 2*b + 0*b - 12. Is 12 a factor of q(4)?
True
Suppose -26*g + 6261 = -25459. Is g a multiple of 61?
True
Suppose 6*m = 49 + 47. Suppose m + 134 = 5*c. Is c a multiple of 15?
True
Suppose -5*p = -p - 724. Let z = -160 + p. Is 3 a factor of z?
True
Let z(v) be the third derivative of v**5/60 + 5*v**4/12 - 2*v**3 - v**2. Let j = 1297 - 1309. Does 4 divide z(j)?
True
Let n = 1187 + -1115. Is 12 a factor of n?
True
Let b(w) = 8*w**2 - 22*w - 2. Let f be b(9). Suppose -f = -4*n + 36. Is n a multiple of 8?
False
Let w = -18 - 6. Let k be (-3 - -2) + (w - 0). Let d = k - -65. Is d a multiple of 8?
True
Let f = -33 - -18. Let v be -597 + (-10)/(10/(-3)). Is 28 a factor of v/f - (-2)/5?
False
Let z(r) = -r**3 - 3*r**2 + 3*r + 6. Let u = -5 - -1. Let d be z(u). Is 7 a factor of d/40 - (-55)/4?
True
Suppose -4*m - 5*z = -120, -3*m + 0*m - 4*z = -89. Let d = 3 + m. Is d a multiple of 19?
True
Let a(j) = 7*j + 16. Let i be a(7). Let h = -42 + i. Is h a multiple of 4?
False
Let x(m) = -m**2 + 3. Let f be x(0). Let u(s) = -s + 9*s**2 + 4 + 5 - 4*s + f*s - s**3. Does 14 divide u(8)?
False
Suppose m = -m - 2. Let v be (-3)/(-6)*4/m. Let l = 11 + v. Does 4 divide l?
False
Let w = -52 - -46. Is 12 a factor of 2/w - 145/(-3)?
True
Let a(w) = -51*w + 3. Let z be (2/(-4))/((-1)/(-4)). Is 35 a factor of a(z)?
True
Suppose s - 490 = 6*s. Let b = -144 - s. Let n = 64 + b. Does 6 divide n?
True
Let p(q) = -q**3 - 2*q**2 + 2*q + 1. Let k be p(-4). Let f be (-8)/(-5)*k/(-10). Is f/22 + 2650/55 a multiple of 16?
True
Let j(v) = 17*v**3 - 11*v**2 + v. Is j(5) a multiple of 5?
True
Let v = -657 + 1064. Let o = 743 - v. Does 35 divide o?
False
Suppose 2*t - 102 = -24. Let o = 27 - t. Let w = o - -16. Does 4 divide w?
True
Let g(p) = -p**2 - 7*p - 7. Let z be g(-2). Suppose -3*y - 1 = z*u - 13, 5*y = -2*u + 23. Is 5 a factor of y?
True
Let p = -87 + 89. Is 4 - (0 - p*(-43)/(-1)) a multiple of 18?
True
Let n = -95 - -144. Let m = n + -14. Does 15 divide m?
False
Let f = -18 + 30. Let g(l) = -l**2 + 20*l + 9. Let q be g(f). Suppose q = 5*u - 30. Does 14 divide u?
False
Let s = 156 - 60. Is s a multiple of 12?
True
Let t be (125/100)/(1/8). Suppose 438 = t*a - 1012. Is 18 a factor of a?
False
Suppose -2*w = -2*v + 10, -6*v - 4*w + 36 = -2*v. Suppose -6*m = -v*m + 160. Is 26 a factor of ((-90)/25)/((-6)/m)?
False
Suppose -4*r + 5*r + 181 = c, 2*c = 3*r + 362. Let z = 331 - c. Does 25 divide z?
True
Let k(p) = 2*p**3 - 9*p**2 - p - 9. Let v(c) = -10*c**3 + 45*c**2 + 4*c + 45. Let t(z) = 11*k(z) + 2*v(z). Is 29 a factor of t(7)?
False
Let g be -1 + (-3)/((-6)/22). Let f = g - -7. Let k = 2 + f. Is k a multiple of 19?
True
Let o = -41 + 54. Suppose -9*g + o*g = 324. Does 28 divide g?
False
Let n = 907 - 390. Is n a multiple of 9?
False
Suppose 5*y + 2*j = -0 + 32, -5*j + 17 = 2*y. Let m = -32 - -28. Let i = y + m. Does 2 divide i?
True
Let c(d) = -15*d + 16. Suppose -x - 3*k = 4*x - 31, 28 = 2*x - 4*k. Let o be c(x). Let v = o - -146. Is v a multiple of 9?
False
Is 19 a factor of ((-66)/(-18) - 4) + 3155/15?
False
Let r be 1/(-2)*(-16)/8. Let a be r/2*(0 + 6). Suppose -n + 24 - a = 0. Is 11 a factor of n?
False
Does 27 divide ((-12532)/(-39))/(((-24)/(-9))/4)?
False
Let v(j) = -j**3 - 14*j**2 - 13*j + 3. Let m be v(-13). Suppose -6*c = -m*c - 132. Suppose -5*x + 3*g = -c, 4*g + 6 = x + 2*g. Does 6 divide x?
False
Let x(c) = c**2 + 2*c - 2. Let j = -13 - -16. Suppose -j*l - l = 4*d + 28, -2*l - 14 = d. Is x(l) a multiple of 9?
False
Suppose -13530 = -1099*z + 1093*z. Is z a multiple of 63?
False
Suppose -p - 4*w + 2*w = 8, 0 = -3*p - 4*w - 16. Suppose -2*q + 3*o = -p*q + 223, -5 = o. Let a = q - -196. Is 21 a factor of a?
False
Suppose q - 1497 = -3*p, -q = -3*p - 5*q + 1506. Let n = p + -238. Does 26 divide n?
True
Suppose 827 + 407 = z - 4*s, 4*z = 2*s + 5006. Is z a multiple of 33?
True
Suppose 2*j + 2*z = -2*j + 1186, -1495 = -5*j - 5*z. Let b = -178 + j. Does 24 divide b?
False
Let m be (287/(-28) - -5)/((-1)/(-4)). Let x = 284 - m. Is 61 a factor of x?
True
Let f(j) = j**3 + 6*j**2 + 6*j + 3. Let k be f(-5). Let o be (32 - (5 + k)) + -1. Suppose l = 60 + o. Does 22 divide l?
True
Suppose 2*y - y - 5 = 0. Let a = 10 - y. Suppose -4*t - 195 = -0*v - a*v, -39 = -v - 3*t. Is v a multiple of 13?
True
Suppose -4*g = -240 - 480. Is g a multiple of 12?
True
Suppose 5*z + 5*s = 30 - 10, -3*z + 20 = -s. Suppose -3*r + 142 = -5*j, -54 = -r - j + z*j. Is r a multiple of 12?
False
Let y = -210 + 247. Is 4 a factor of y?
False
Let v be (-22)/(-10) + (-28)/140. Does 21 divide -43*(-4)/(-5)*(-5)/v?
False
Let o = 295 + -199. Let b = o + 6. Is b a multipl