
Suppose 0 = -4*b - 2*y + 14, -4*y + y = -4*b - 1. Suppose 0 = -b*s + 3*s - 104. Let u = s - 68. Does 12 divide u?
True
Let t(o) = -o**3 - 10*o**2 - 11*o + 2. Let i be (-166)/18 - 4/(-18). Does 3 divide t(i)?
False
Let l = -696 - -1126. Is l a multiple of 30?
False
Does 95 divide (4 + -2)*(-4 + 7626/12)?
False
Let m = 5021 - 1188. Is 71 a factor of m?
False
Let i be (-4)/2 + (-20)/(-5). Let n(u) = 2*u**3 - 2*u**2 + 4*u - 3. Does 6 divide n(i)?
False
Does 7 divide -37*(-6 + 2 + -6) + 0?
False
Suppose -5*s + s = -248. Let p = s - 6. Is p a multiple of 14?
True
Let o be 2/7 - 4770/(-14). Suppose 0 = -0*d + 2*d - 10. Suppose 5*q - 353 = -0*q + 4*j, 2*j - o = -d*q. Is 23 a factor of q?
True
Suppose 0 = -4*f - 34*b + 30*b + 3300, 4*f = -b + 3309. Is 23 a factor of f?
True
Suppose -3*m - 3*d = -12, -2*m + 4*d = -0*m + 22. Let y(c) = -14*c**3 + 2*c + 1. Is 2 a factor of y(m)?
False
Let r(l) = -l**3 + 6*l**2 - 6*l - 7. Let h be r(5). Let v = 11 + h. Let i(q) = -16*q. Is i(v) a multiple of 8?
True
Let h be ((-1)/1)/((-2)/18). Suppose 4*m + 0*m = 0. Does 12 divide 16 - m*3/h?
False
Let l(g) = g**3 + 8*g**2 + 13*g - 6. Let z be l(-6). Let f = 86 + z. Suppose -2*h - o = -112, -f = -h - 3*o - 2*o. Is 27 a factor of h?
True
Let t = 321 + -191. Is 13 a factor of t?
True
Let o(q) = q**2 - 8*q + 3. Let r be o(8). Suppose 0*f - 117 = -r*f. Does 13 divide f?
True
Is -3 + (-6)/((-30)/425) a multiple of 4?
False
Suppose 4*i + 3*m + 431 = 1467, 0 = -5*m. Does 11 divide i?
False
Does 67 divide (-13 - 1)*27288/(-252)?
False
Suppose 5*z - 39 = -4*m, -m - 3*z + 5 = -3. Does 21 divide (m + -13)*462/(-4)?
True
Let q(i) be the first derivative of i**4/2 - 5*i**3/3 + 9*i**2/2 - 5*i + 7. Is 11 a factor of q(3)?
False
Let h(k) = -k**3 + 8*k**2 - 8*k - 10. Let n be h(7). Let i(d) = -d**3 - 16*d**2 + 11*d + 15. Is i(n) a multiple of 19?
False
Suppose 4*w + w + 270 = 0. Let a(l) = l**3 - 4*l**2 - l + 10. Let o be a(-4). Let d = w - o. Does 20 divide d?
True
Let c(x) = 95*x - 67. Is c(2) a multiple of 20?
False
Let l(i) = -21*i - 11. Let v be l(-5). Let k = v - 1. Is k a multiple of 16?
False
Suppose 2 + 3 = y. Suppose -y*c + 8 = -c. Suppose q + c*p = -q + 40, -5*q - 3*p + 106 = 0. Is q a multiple of 14?
False
Suppose -6*i + i - 3*m + 795 = 0, -3*m = 3*i - 483. Is i a multiple of 29?
False
Let b = 5 - 39. Let g = 89 + b. Does 11 divide g?
True
Suppose -12 = 2*q + 4*l, 2*q - l + 4 = -3*l. Suppose -6 + q = 4*c. Is c/(-8) - (-760)/64 a multiple of 4?
True
Let i(x) = -6*x**3 + 3*x**2 + 2*x - 1. Let l(c) = -5*c**2 + 11*c**3 + 10 + 0 - 4*c - 8. Let q(o) = 5*i(o) + 3*l(o). Is 7 a factor of q(2)?
True
Let n(b) = -b**3 - 7*b**2 - 10*b - 7. Let k be n(-5). Is k/2*-1*(-208)/(-13) a multiple of 9?
False
Let b(i) = 36*i**2 - 26*i + 3. Is b(4) a multiple of 19?
True
Suppose 6 - 24 = 2*b. Is 438/b*(1 + (-3 - 1)) a multiple of 20?
False
Let f = -61 + 85. Is 4 a factor of (7 - 10)/((-9)/f)?
True
Let t be -1 + 5 + (-6)/2. Suppose -v - t + 21 = 0. Suppose -v*s + 18*s + 60 = 0. Is s a multiple of 15?
True
Let l = 179 - 121. Let x(k) = -k**3 - 6*k**2 - 6*k - 1. Let p be x(-7). Suppose -4*s + p = -l. Is 23 a factor of s?
False
Suppose -3*w + 5*z = -341, 0 = 119*z - 117*z - 10. Is 2 a factor of w?
True
Let f(g) = -15*g + 197. Is f(0) a multiple of 23?
False
Let u(q) be the third derivative of 5*q**4/12 + q**3/3 - 5*q**2. Let i be u(3). Let j = i - 23. Is j a multiple of 3?
True
Let l = 81 - -30. Let t = -61 + l. Does 39 divide t?
False
Let p(h) = 25*h - 1. Let z be 9*(2 + (-33)/9). Let b = z + 16. Is p(b) a multiple of 24?
True
Let w(s) be the second derivative of 14*s**3/3 + 3*s**2/2 - 17*s. Is 31 a factor of w(1)?
True
Suppose 45*b - 2188 - 34802 = 0. Does 22 divide b?
False
Suppose z + 2*x - 6 = 0, z + x + 0*x - 4 = 0. Let f be 1 + z/((-8)/(-188)). Suppose j - 5*j - f = -b, 3*b - 118 = -j. Does 10 divide b?
True
Is 15/(-6)*(-144)/10 a multiple of 3?
True
Let c = 815 - 475. Does 68 divide c?
True
Let k(z) = -z + 2. Let m be k(-6). Let u = m + -6. Is (17 - 1/(-1)) + u a multiple of 20?
True
Suppose -2*g + 32 = -4*v - 2, 4*v + 4*g = -28. Let u(q) = q**2 - 3*q + 2. Is 5 a factor of u(v)?
True
Let a(o) = o**3 + 15*o**2 + 10*o + 14. Let p be a(-14). Suppose -d - 41 = 5*s, 5*s = d + 6*s + 29. Is 20/p + d/(-7) a multiple of 4?
True
Suppose -11*n - 196 = -25*n. Is 11 a factor of (-136)/(-6)*n + (-5)/15?
False
Let z = -8 - -6. Let a be (2 - (z + 3)) + 5. Suppose 0*n - n + a = 0. Does 5 divide n?
False
Let x be (64/2)/(-1 - 0). Let j be 21/35 - (-3)/(-5). Let o = j - x. Does 32 divide o?
True
Suppose 0 = -58*n + 92128 + 67604. Is n a multiple of 54?
True
Is 25 a factor of 3/((-18)/(-740))*(-105)/(-14)?
True
Let q(y) = y**2 + y - 10. Let v be q(4). Is 136*(-3 - (-35)/v) a multiple of 17?
True
Let m be (-2 - -93) + 4*1. Is m/2*(-52)/(-65) a multiple of 25?
False
Suppose 2*v = 3*x - 3, -x + 46 = -4*v - 3*x. Let o = 124 + v. Does 33 divide o?
False
Let v(r) = -2 - 2 - 53*r**2 + 3 + 60*r**2. Is v(-2) a multiple of 13?
False
Suppose -4*d = -0*d - 20. Suppose 13 + 2 = d*w. Suppose 8*x = w*x + p + 67, 0 = -4*p + 12. Is 8 a factor of x?
False
Let g be (6 - 7)/(1/1). Let w be ((5 - g) + -2)/2. Does 10 divide ((-13)/w)/(6/(-24))?
False
Let m be ((-174)/18)/((-2)/18) + 3. Is m + -1 - 12/6 a multiple of 29?
True
Is 18 a factor of 4/4*(-25 + 1555)?
True
Let k(d) = 458*d + 37. Is 141 a factor of k(7)?
True
Let p(z) = z**3 + 17*z**2 + 15*z. Is 6 a factor of p(-6)?
True
Suppose 21*q + 1615 = 12493. Is q a multiple of 7?
True
Suppose 7*m - 20 = 3*m. Let q(j) = -2 + 69*j - m*j + 16*j. Is 39 a factor of q(1)?
True
Let y(c) = c**3 - 5*c**2 - 7*c + 9. Let g be (-3)/3 + (3 - -4). Let f be y(g). Let s = f - -2. Is s a multiple of 3?
False
Suppose -5*y = 3*z - y + 9, 5*y = 0. Let d be -2 + z + -16 + 0. Let x = d + 37. Does 15 divide x?
False
Does 10 divide 84/(-105) - 19272/(-15)?
False
Let u be (-370)/(-70) + 4/(-14) + -1. Let v(r) = 2*r + 4. Let o be v(-4). Does 8 divide (-138)/u*o/6?
False
Let t be (-1)/2*(-7 + 7). Suppose t = 3*d - 3, 4*p - 5*p + 32 = 5*d. Is p a multiple of 14?
False
Suppose 2*g = 4*g. Suppose 4*c + 44 = 2*z, g*z + 3*c + 46 = 2*z. Does 26 divide z?
True
Is 48 a factor of ((-280)/42)/((-1)/108)?
True
Let l = -1385 - -2009. Is l a multiple of 8?
True
Suppose -3*l - 252 = -3*v, 0 = 2*v + 5*l - 0*l - 175. Is 18 a factor of v - (6 + 0 - 2)?
False
Let g(r) = -69*r**3 + 2*r**2 + 1. Let p(d) = -70*d**3 + 3*d**2 + 2. Let t(m) = 3*g(m) - 2*p(m). Is t(-1) a multiple of 33?
True
Suppose -14 = -3*i + 2*i. Suppose 4 = -2*d + i. Suppose j - 2*p = 10, 4*j - d*p + p - 44 = 0. Is j a multiple of 12?
True
Let r = 35 + -35. Let i(q) = -q**2 + 2*q - 2. Let b be i(r). Is (b - -1) + 57*1 a multiple of 8?
True
Let w = 18 + -16. Suppose w*r + 5*g = -2, r = 3*r - 4*g - 16. Does 4 divide r?
True
Let j(a) = -2*a + 20. Let m be j(13). Let o(q) be the third derivative of -q**5/60 - 7*q**4/24 + 4*q**3/3 + 2*q**2. Is o(m) a multiple of 7?
True
Let p(q) = q - 2. Let s be p(12). Suppose -7*v - s = -9*v. Suppose -v*k = -105 - 130. Is 22 a factor of k?
False
Let p(u) = 3 + 6*u - 3*u - 2*u**2 - 13*u**3 + u**2 + 0*u**2. Let c be p(-2). Let n = 136 - c. Is 13 a factor of n?
True
Let x(h) = h**3 + 17*h**2 + h - 1. Let i be x(-17). Let u be (-2)/(i/327)*3. Let r = u - 43. Is r a multiple of 21?
False
Let u(y) = 861*y**2 + 26*y + 1. Is 13 a factor of u(-2)?
True
Suppose 0 = -5*d + 19 - 4. Suppose -120 = -d*y - 2*y. Is 2 a factor of y?
True
Suppose 5*p - 2*h = -h + 32, 5*p - 4*h - 23 = 0. Let u(q) = 3*q + 0*q + 22 - 7. Is u(p) a multiple of 8?
False
Suppose 0 = 3*n - 6*n - 6. Let l(v) = -2*v - 1. Let x be l(n). Suppose -5*t = 2*s - 27, 5*s + 5*t - 36 = x*t. Is s a multiple of 2?
True
Let k = -170 + 430. Is 10 a factor of k?
True
Let h be (6/(-3))/((-2)/4). Suppose 4*p - 104 = -p + 4*g, h*g - 40 = -p. Does 12 divide p?
True
Let c(q) = -q**3 - 16*q**2 - 31*q - 71. Is c(-15) a multiple of 5?
False
Let m(n) = n**2 - 6*n - 9. Let l(q) = 6*q**2 - 45*q - 51. Let r(s) = -s**2 + 9*s + 10. Let z(i) = -2*l(i) - 11*r(i). Let j be z(-6). Is m(j) a multiple of 11?
False
Let t = -965 - -1521. Is 6 a factor of t?
False
Let d(m) = m**2 - 34*m + 89. Is d(33) a multiple of 42?
False
Suppose 2*g = 6*g + 5*x, x = 0. Suppose -3*d + 69 + 267 = g. Does 28 divide d?
True
Let