11?
True
Let v = 8753 - 7796. Is 32 a factor of v?
False
Let z be 2*(-4904)/16*-1. Let p = -397 + z. Is 18 a factor of p?
True
Suppose 8 = 3*f - 7. Suppose -127*x + 72 = -103*x. Suppose f*k - 136 = x*k. Is 21 a factor of k?
False
Suppose -u + 3*k + 241 = -1872, 5*u + 4*k = 10470. Does 27 divide u?
False
Let l = 15787 + -8791. Is l a multiple of 53?
True
Let i be ((-64)/(-60)*6)/(1/5). Let x = i + -32. Suppose -s - 4 = x, -4*c + 0*s + 380 = 5*s. Does 20 divide c?
True
Suppose 9*r + 4*m = 8*r + 9066, -5*r + 45396 = -2*m. Is r a multiple of 178?
True
Suppose x = -39 - 3. Is 17 a factor of (-6)/x - (-2316)/7?
False
Is (-2)/(-1) + -5 - -13 - -5276 a multiple of 12?
False
Suppose -4*q - 22220 = -m, 3*q - 12283 = 4*m - 101098. Is m a multiple of 15?
True
Suppose 8*f + 4*a = 25212, 3*a + 37 = 46. Does 75 divide f?
True
Suppose 9 = -3*c + 2*g, 0 = 3*c - 6*c - 5*g + 12. Let h = c + 182. Does 6 divide h?
False
Let l(v) = -53*v**3 - 72*v**2 + 7*v - 22. Does 78 divide l(-7)?
False
Let j = 397 - -1403. Suppose 4*f + j = 8*f. Does 15 divide f?
True
Let u = -4 - -20. Let v(c) = c - 13. Let r be v(u). Suppose -d = -r*b - 55 - 32, 5*d - b - 421 = 0. Does 6 divide d?
True
Let x(o) = -o**2 - 17*o - 17. Let n be x(-16). Let f be n/(4 - (-138)/(-34)). Suppose 0 = -4*y + 3*a + f, 4*y - 23 = -2*a - a. Is y a multiple of 5?
True
Let w(h) = 10*h - 48. Let z(k) = -k + 1. Let f(n) = -6*w(n) - 78*z(n). Does 33 divide f(14)?
True
Let u = 60 + -77. Let j = 63 - u. Suppose -j*h = -81*h + 252. Is h a multiple of 21?
True
Let o(s) = 530*s**2 - 36*s + 17. Is 40 a factor of o(-3)?
False
Let a(x) = x**3 + 2*x**2 - 6*x + 5. Let d be 10/4 - (-9)/(-18). Let y be a(d). Suppose 39 - y = 5*h. Does 2 divide h?
True
Suppose 0 = a - 3*n + 4, -2*n + 20 = a - 6*a. Let c be -402*5/(-11 + a). Suppose -c - 56 = -5*x. Is x a multiple of 19?
True
Let s(w) = w + 4. Let q(u) = u + 5. Let c(a) = -6*q(a) + 5*s(a). Let y be c(-10). Suppose n + 0*r - 115 = 2*r, 5*r - 10 = y. Is 13 a factor of n?
False
Suppose 37*h = 40*h - 48. Suppose -17*p - h = -21*p. Suppose -p*o = -5*u + 1167, o + 2*o = 6. Does 47 divide u?
True
Suppose -21*n - 403 = 1382. Let h be 4 - 2 - -31*5. Let c = h + n. Is 12 a factor of c?
True
Suppose 3*r - 4*m + 1008 = -390, 4*r + 5*m = -1864. Let i = -213 - -219. Is 2/6 - r/i a multiple of 13?
True
Let l be 6/(-21) + (-44)/(-7). Suppose -2*s + 4 = -l. Let z(g) = 6*g**2 + 4*g - 10. Is 30 a factor of z(s)?
False
Is 2484 - (17 + (-210)/15) a multiple of 5?
False
Suppose 54*o + 3 = 3. Suppose -b + 1636 = -0*b + u, -u + 4 = o. Is b a multiple of 48?
True
Suppose -5*v = 2*s - 19362, 7*s + 4 = 6*s. Is v a multiple of 13?
True
Let h = 14 - 10. Suppose 309 = 145*u - 271. Suppose u*f - 141 = f - h*z, z = -4*f + 201. Does 7 divide f?
False
Let v = 3702 - 3227. Is 5 a factor of v?
True
Suppose 0 = 17*o - 440 - 1005. Suppose 78*n - o*n = -3395. Is n a multiple of 9?
False
Let g = 541 - 548. Let t(w) = 2*w**3 + 4*w**2 - w**3 + 6 - w + 3*w**2. Is t(g) a multiple of 13?
True
Is 10 a factor of (-9250)/(-148)*6*(-48)/(-45)?
True
Let b be 74/3*621/138. Is 35 a factor of 6/5*27380/b?
False
Suppose -16 = -5*r - 3*r. Let w(x) = -12 + 9*x - 7*x + r. Is w(17) a multiple of 8?
True
Let u(z) = 2*z**2 - 5*z + 5. Let g(m) = 2*m + 12. Let b be g(-5). Let f be u(b). Suppose f*n - 11 = -5. Does 2 divide n?
True
Let g(m) = -8*m + 141. Let z be g(-21). Let v = z + -115. Is 38 a factor of v?
False
Does 14 divide (-9936384)/(-184) - (-4 + 7 - 67/23)?
False
Let q(r) = -469*r**3 + 8*r**2 + r - 7. Is q(-2) a multiple of 6?
False
Let h(k) = 0*k - 4*k + 7*k + 15 + 0*k. Let u be h(6). Let g = 57 - u. Does 4 divide g?
True
Let f = -16826 + 22903. Is 82 a factor of f?
False
Let t = 13049 - 2438. Is t a multiple of 9?
True
Let d(j) = 49*j + 3565. Does 250 divide d(65)?
True
Let t(q) = q**3 + 6*q**2 - 8*q - 3. Let m be t(-7). Suppose 3*o = 2*o - 4, o + 20 = m*g. Suppose 0 = -g*d - 5*k + 955, -3*k + 2 + 7 = 0. Is d a multiple of 47?
True
Suppose 17 - 23 = -2*u, 0 = 5*b + 5*u - 25. Does 36 divide (-2736)/27*(57/(-12) - b)?
True
Suppose -2*s = -5*w - 0*s + 2948, -4*w = s - 2348. Does 7 divide (w/35)/((-6)/(-15))?
True
Suppose -3*w - 4*u = -13273, -2*w = 308*u - 306*u - 8852. Is 90 a factor of w?
False
Suppose -778757 - 301525 = -119*x. Is 13 a factor of x?
False
Suppose 28*p = -2*b + 31*p + 408, -2*p = 5*b - 982. Let n = -74 + b. Is 44 a factor of n?
False
Let h(w) = w**3 + 2*w**2 - 22*w + 6. Let b be h(4). Suppose -2826 = -b*k + 6190. Is 14 a factor of k?
True
Let c = 255 + -252. Suppose -4*h + 20 = -0, h + 274 = c*t. Does 31 divide t?
True
Is 4642 - -1 - ((-432)/96)/(3/(-2)) a multiple of 32?
True
Let y(r) = -7075*r - 961. Is 13 a factor of y(-2)?
False
Suppose 5*a - 4*y = 12 + 6, 2*a + 4*y = 24. Does 5 divide 10/2 - (-552)/a?
False
Suppose -25*l = 226859 - 310801 - 317858. Is l a multiple of 28?
True
Let o(r) = -r**3 + 23*r**2 + 54*r - 12. Suppose 0 = -8*h + 1 - 1025. Let f = -103 - h. Is 11 a factor of o(f)?
True
Let m(u) = 3*u**3 + 4*u**2 + 4*u + 4. Let p be m(-3). Let q = -54 - p. Is (7/(-21))/(q/81) a multiple of 12?
False
Let u be -7 + -5 + 7 - -7. Suppose -3*o - 201 = -c, 3*o = -3*c - u*o + 561. Suppose 49*s + c = 53*s. Is s a multiple of 12?
True
Let w(l) = l**2 - 21*l + 59. Let n be w(18). Suppose 3*r - 4*r - n = 0, -4*o + 4*r + 524 = 0. Let v = 336 - o. Is 21 a factor of v?
True
Suppose 20819 = -4*i + 28819. Is i a multiple of 40?
True
Suppose -l - 8 = 3*k, 4*l + 2*k = -0*k + 8. Suppose -26*q + 5*g = -25*q - 4, 0 = -2*q + 5*g + 8. Suppose -q*d + 18 = 2, -2*d - 28 = -l*b. Is b a multiple of 9?
True
Let h be 50/10*(-94 + -1). Let y = h - -853. Is y a multiple of 18?
True
Suppose 3*h - 4*j + 247 = j, 212 = -3*h - 2*j. Let n(x) = 14*x + 13. Let u be n(9). Let t = h + u. Is t a multiple of 13?
True
Suppose -13*j + 16387 = -90993. Is 10 a factor of j?
True
Suppose -17*n + 13*n = 5*l + 1391, 2*l + 555 = -3*n. Let b = l - -1418. Is 67 a factor of b?
True
Let w(b) = 3*b + 52. Let p be w(-17). Suppose -96 = -j + p. Let z = j + -40. Is 22 a factor of z?
False
Let r be (-1)/((-116)/28 - -4). Suppose 3*p + r*p = 50. Suppose p*f - 330 = 3*j + j, 4*f - 5*j - 255 = 0. Is 10 a factor of f?
True
Let n(i) = -i**3 + 18*i**2 - 14*i - 50. Let c be n(17). Does 14 divide c - (-1*2946)/6?
False
Let l(s) = -7*s + 15*s**2 + 8*s - 7*s**2. Let u be l(2). Let n = u + -3. Does 6 divide n?
False
Let j = -171 - -118. Let x = j + 56. Suppose 109 = 3*q + r + 8, 0 = -3*r - x. Is q a multiple of 6?
False
Let n(v) = -v**3 - 7*v**2 + 6*v - 16. Let l be n(-8). Suppose d + x - 57 = 52, l = -3*d - 4*x + 332. Is 26 a factor of d?
True
Suppose 7*t - 307543 = 73391 + 93855. Is 126 a factor of t?
False
Let m = 41246 + -24074. Is m a multiple of 36?
True
Let c(g) = g**2 - 2*g + 4. Let v be c(2). Let d be 2/6*(-4)/v*9. Is (1/d)/(3/9) + 8 a multiple of 2?
False
Suppose 2*w = -2*i + 16, 4*i - w = -i + 22. Suppose 6*t = 4*m + 2*t - 576, t = -i*m + 738. Does 29 divide m?
False
Let r be 5/30 - (-16012)/(-24). Let d = r + 1305. Is 58 a factor of d?
True
Let q(v) = 7486*v**2 - 725*v + 725. Does 31 divide q(1)?
False
Suppose 4*n - 832 = -2*c, 4*n + c = n + 625. Suppose 0 = 2*o - 5*u - 1292, -o - 5*u + 407 = -n. Does 18 divide o?
False
Suppose 31*v + 94*v + 9*v = 1680360. Does 6 divide v?
True
Let b = -13891 + 17699. Is b a multiple of 28?
True
Suppose 3*v = -v + 2*m - 20, 3*m = -4*v. Let g(o) = -o**2 - 5*o - 1. Let b be g(v). Suppose b*z = 177 + 38. Is 35 a factor of z?
False
Let c = -2202 + 2326. Does 4 divide c?
True
Let q = 99 + -93. Let z be (-4)/q - (-2054)/39. Suppose -v - 2*x = -4*x - z, -2*v = 4*x - 80. Is v a multiple of 12?
False
Let v be 1/(2/10*(-1)/(-7)). Let h = v + 469. Let i = h + -303. Is i a multiple of 23?
False
Let o = 516 + -526. Let x(b) = 2*b**3 + 24*b**2 - 15*b + 1. Is 29 a factor of x(o)?
True
Let c(x) = 3*x**3 - 125*x**2 - 115*x - 97. Is 8 a factor of c(43)?
False
Let j(c) = -57*c + 458. Let g be j(8). Is 10 a factor of g + (-7 - -924) + -9?
True
Let k = -1028 + 1748. Is k a multiple of 60?
True
Let k(c) = -c**2 - 30*c + 34. Let w be k(-17). Let t = 578 - w. Is 5 a factor of t?
False
Suppose -135*n + 5950 = -130*n. Let w = -196 + n. Does 37 divide w?
False
Let s be (-12)/((2/18)/1). Is 37 a factor of s/10*280/(-12)?
False
Let c = -103 - -53. Let