
Suppose -2*u - 2 = -2*o - 0*o, 5*o - 8 = 4*u. Let g be (-715)/(-78) + 10/12. Is 16 a factor of 15/g + 226/o?
False
Let f(v) = 34*v**3 + v**2 - v + 1. Is f(1) a multiple of 35?
True
Let i be 51/15 + 2/(-5). Suppose -3*l - 3*o + 241 = o, -i*o = 15. Let w = l + -60. Does 26 divide w?
False
Let b = 609 + -369. Is 15 a factor of b?
True
Let w(a) = -a + 3. Let q be w(0). Suppose k + 2*p = 0, -5*p + 7 + q = 5*k. Is 10 a factor of 0*k/8 + 31?
False
Let o(x) = 79*x**2 - 10*x - 9. Is 12 a factor of o(-3)?
True
Let z be 18/4 + 2/4. Suppose q + z*w - 90 + 25 = 0, -q - w + 49 = 0. Does 25 divide q?
False
Suppose -3*m = -16 - 2. Let b(g) = 7*g**3 + 18*g**2 + 1. Let r(s) = 8*s**3 + 19*s**2 + 2. Let l(w) = m*r(w) - 7*b(w). Is 5 a factor of l(-12)?
True
Let o(c) = 2*c**2 - 8*c + 2. Let p be o(7). Let t = -30 + p. Does 14 divide t?
True
Suppose 0 = 1570*p - 1573*p + 174. Is 18 a factor of p?
False
Let l(t) = -t**2 - 13*t - 17. Let i be l(-8). Let m = i + 10. Suppose 2*n + m = 3*n. Is 25 a factor of n?
False
Let u(a) = -41*a + 4141. Does 74 divide u(0)?
False
Let l(z) = 15*z - 9. Suppose -3*w = w + 16. Let h be l(w). Let k = -31 - h. Is 10 a factor of k?
False
Suppose -787 = -4*g + m, g - 381 = -g + 3*m. Is g even?
True
Suppose -3*x + 5*q = -35, -10 = x + 4*q - 33. Let i be -2 + x*(-1)/(-3). Suppose -5*s + 20 = m + m, -i*m + 76 = -4*s. Is 10 a factor of m?
True
Let c(t) = t**3 - 10*t**2 + 11*t - 13. Let d be c(9). Suppose 3*r - 23 = -0*a - d*a, 0 = 2*a - 2*r - 22. Is 5 a factor of a?
False
Let b(n) = -4*n**2 - 8*n + 2. Let p be b(-6). Let i = 26 + p. Is 3 + 0 - i/4 a multiple of 16?
False
Let b(i) = i**2 + 28*i + 57. Let t be b(-26). Suppose -t*f = 3*m - 39 - 280, 2*m + f - 215 = 0. Is m a multiple of 12?
True
Suppose 0 = 3*c + 2*c - 20, -2*u - 3*c = -44. Let g = 14 - u. Is 11 a factor of g/(-6 - -2)*62?
False
Is 6 + 660 + (9 - 3) a multiple of 28?
True
Let v(m) = -m - 28. Let p be v(-19). Let j(b) = -b**2 - 16*b - 3. Does 12 divide j(p)?
True
Let p be 0/(-1) + (5 - -738). Suppose -15 = 5*f, -4*j - 5*f - 54 = -p. Is j a multiple of 8?
True
Suppose 0 = 4*r - 3*z - 28, -3*z = 2*r - z - 14. Suppose -83 = -i + r. Is i a multiple of 10?
True
Let y = -414 + 796. Does 5 divide y?
False
Suppose j - 15 = -2*j. Suppose -j*q - 20 = 0, -2*g - 2*g - 5*q = -192. Is g a multiple of 24?
False
Let y(c) = -377*c + 161. Is y(-3) a multiple of 19?
True
Let a(r) = -r + 1. Let w(b) = -7*b + 9. Let i(k) = -4*a(k) + w(k). Let j be i(-8). Suppose -s + j = -0. Is 8 a factor of s?
False
Let u(g) = g**3 - 9*g**2 - 12*g + 25. Does 3 divide u(11)?
True
Let u(k) = 16*k**3 + 1. Let h = 11 - 19. Let r = h - -9. Does 17 divide u(r)?
True
Does 2 divide 3*28*6/72?
False
Suppose 19 = 5*h - 11. Let n = -1 + h. Suppose 194 = n*m - 4*g, -m = -0*g + g - 46. Is m a multiple of 11?
False
Let d(t) = -t**3 + 10*t**2 - 7*t + 8. Let p be d(8). Suppose r + 2*r = -5*j + 40, 4*j - 18 = -r. Suppose r*q - 8*q = p. Does 10 divide q?
True
Suppose -2*c - 20 = 2*c. Let v(d) = -d**3 - 4*d**2 + 6*d - 3. Let y be v(c). Is 9 a factor of (-186)/(-8) - 6/y?
False
Let f = 14 - -207. Is f a multiple of 13?
True
Let t be 31 - (-3 - (-1 + -1)). Suppose -4*y + r + 4*r = -44, 2*r = 4*y - t. Suppose -b - 161 = -y*b - 2*v, 0 = -4*b - v + 127. Is 16 a factor of b?
False
Let s = 1925 + -1165. Is s a multiple of 67?
False
Let l(n) = n**2 + 3*n - 211. Let d(m) = -m**2 - 4*m + 210. Let x(p) = -2*d(p) - 3*l(p). Is 20 a factor of x(0)?
False
Suppose 4*z - 3*b + 9 = 0, -3*z + z + 3*b = 3. Let w(m) be the first derivative of -19*m**2/2 + 5*m + 1. Is 14 a factor of w(z)?
False
Suppose 3*t = f + 556, -4*f + 6*f - 10 = 0. Does 11 divide t?
True
Suppose 16*q = 15*q + i + 1579, q - 5*i = 1575. Is 16 a factor of q?
False
Suppose -5*b = -15 - 0. Suppose i - b*c = 5, -3*i - 5*c + 4*c - 15 = 0. Is (i - -2)/4*-126 a multiple of 10?
False
Let z(v) be the second derivative of -5*v**3/2 - 17*v**2/2 + 4*v. Is 18 a factor of z(-9)?
False
Let w(l) = -2*l**2 - 9*l + 1. Let q be w(-3). Suppose q*b - 267 = 183. Is 15 a factor of b?
True
Let c(k) = k**3 + k - 1. Let u(n) = 5*n**2 + 3*n**2 - 3*n**3 - 4 - 11*n - n**2. Let q(z) = -4*c(z) - u(z). Does 16 divide q(-8)?
True
Suppose -2*u = 6, 4*r + 2*u = -0*r + 74. Is 10 a factor of r?
True
Let w(v) = v**3 - 1. Let x(o) = 4*o**3 - 6*o**2 + 6*o - 8. Let t(l) = 5*w(l) - x(l). Does 29 divide t(-5)?
True
Let w(k) = k**3 - 14*k**2 - 2*k + 32. Let v be w(14). Suppose -m - 2*p = 2*p - 84, -m + v*p = -108. Is 16 a factor of m?
True
Let j be 1 - -2 - (-3 - 0). Let l = j + 1. Let s = 22 - l. Is 5 a factor of s?
True
Suppose -6*y + 11*y = 290. Let h = y + -43. Does 5 divide h?
True
Suppose -11*t + 10*t = -14. Suppose 2*d + t - 28 = 0. Is d even?
False
Let b = 524 - -158. Is b a multiple of 69?
False
Let p be 1/2 + 7/2. Suppose w + 2*w = 4*x - 11, -3*w + p = -x. Suppose 2*m + 5*c + 35 = 5*m, w*m + c - 11 = 0. Is 2 a factor of m?
False
Suppose -c + 8 = -5*q - 2, 4*c + q = -2. Suppose c = -z + b + 2*b + 27, 5*z - b = 121. Is z even?
True
Let x(n) = -5*n**3 + 4*n**2 + 7*n + 25. Is x(-3) a multiple of 35?
True
Suppose 6*y = -22*y + 2688. Is y a multiple of 32?
True
Let k = 133 - 40. Is k a multiple of 3?
True
Let k(w) be the first derivative of -w**3/3 - w**2/2 - 276*w + 5. Let h be k(0). Does 5 divide h/(-27) - (-2)/(-9)?
True
Suppose -5*q - 5*c + 2*c = -557, 5*q - 5*c = 565. Is 56 a factor of q?
True
Let z(r) = -3*r + 21. Let v be z(6). Suppose -35 = -v*i - p + 5*p, -i = 4*p + 15. Suppose 0 = 2*h - i*n - 232, 5*h = 4*h + n + 113. Is h a multiple of 15?
False
Let z be (-4 - 54)*1 - -2. Is 48/((z/12)/(-7)) a multiple of 18?
True
Let r be 132/16 - 2/8. Let x(p) = -p**3 + 11*p**2 - 18*p + 6. Is x(r) a multiple of 39?
False
Let z = -21 + 35. Suppose -16 = -6*u + z. Let v(k) = 3*k**2 - 6*k - 6. Is v(u) a multiple of 10?
False
Let q(m) = m**2 - 6*m + 7. Let j be q(8). Let t = 108 - j. Is 38 a factor of t?
False
Let o = -24 + 26. Suppose -r + 2*h = -35 - 60, 3*h = -o*r + 190. Is 26 a factor of r?
False
Suppose 6*i + t - 771 = 4*i, -2*i + 5*t = -789. Let u = -196 + i. Is u a multiple of 12?
False
Suppose 225 = 2*z + o, -z + 81*o + 99 = 77*o. Is z a multiple of 3?
True
Suppose 2*p = 46 + 170. Suppose 4 = -2*k, p = y + y + 2*k. Is y a multiple of 28?
True
Let p = -545 - -1130. Is 31 a factor of p?
False
Let s be 1*((-3944)/(-72) - (-4)/18). Let t = s - 34. Is t a multiple of 7?
True
Let h = -496 + 743. Is 18 a factor of h?
False
Suppose i + 6 = -i, -4*i = -5*p - 533. Let n = p - -241. Does 22 divide n?
True
Suppose -4*f = -2*f + 2*m + 12, 0 = -2*f + 2*m + 4. Let v(i) = 11*i**2 + i - 1. Does 10 divide v(f)?
False
Let s be 6/(-8)*112/(-42). Suppose -5*k + 17 = -m - 4, -3*k = -s*m - 14. Suppose k*u - 416 = -4*u. Does 26 divide u?
True
Let u(m) = 7*m**3 - 14*m**2 - 9*m. Let q(w) = -20*w**3 + 42*w**2 + 26*w + 1. Let j(z) = 6*q(z) + 17*u(z). Is 16 a factor of j(14)?
True
Let d be (-1 - 12*-1) + 1. Let a be (-1 - 0)*(-12 + d). Suppose 0 = -4*c - a*c + 104. Does 13 divide c?
True
Suppose -5*g + 3*d - 7 = 0, g = 2*g - 2*d + 7. Is (-335)/(-5)*g - -1 a multiple of 13?
False
Let b = -284 + 629. Does 14 divide b?
False
Suppose -4*w - 20520 = -34*w. Does 12 divide w?
True
Suppose -3*l + 3 = j, 3*j + 5*l = 2*j + 3. Suppose j*i - 180 = i. Is 45 a factor of i?
True
Let b = 32 - -386. Does 22 divide b?
True
Suppose 30 = 7*k - 2*k. Let p be (-12)/(-9) + 4/k. Suppose -p*n - 2*o + 68 = 0, -2*n + 5*o + 6 = -76. Is n a multiple of 9?
True
Suppose 17*l - 6263 = -2149. Is l a multiple of 11?
True
Let w(a) = 59*a**3 + 9*a - 10. Is 32 a factor of w(2)?
True
Suppose 2*q + 3*m = 130, -1 = 5*m + 9. Does 17 divide q?
True
Let r(l) = -16*l + 32. Let k be r(-10). Suppose 11*n - k = 105. Does 3 divide n?
True
Is (-15060)/(-60) + (-14)/(-2) a multiple of 4?
False
Let i = -43 - -25. Let n = 24 + i. Suppose -5*z + 146 = 3*u, 231 = n*u - u - 4*z. Is u a multiple of 24?
False
Let j = -29 - -66. Let l = 71 - j. Is 34 a factor of l?
True
Let l be 8/28 + (-19)/(-7). Let o(s) = s + 3*s**3 + s + l - 4*s**2 + 0. Is 18 a factor of o(3)?
True
Is 10 - (-73 - 14/(-2)) a multiple of 19?
True
Suppose -8*i + 8502 = -17522. Is 117 a factor of i?
False
Suppose 0*o + 768 = 4*o. Suppose 4*c + 52 = o. Is 6 a factor of c?
False
Suppose -4*l = d - 18 + 1, 5*l + 2*d = 25. Suppose 0 = -4*g + 3