iple of 23?
True
Suppose 2*g + 0 = 2. Does 11 divide 4 - -61 - (2 - g)?
False
Suppose -m - m - 4 = -2*z, -4 = -3*m + z. Suppose m*f = -0*f + 198. Is f a multiple of 15?
False
Suppose -5*b = -3*b - 4. Let n be 18/(b/(3 + 1)). Let g = n + -11. Is 5 a factor of g?
True
Let s(g) = g**2 - g + 2. Let l be s(2). Suppose l*b - 5 = 11. Suppose -4*h - n - 4*n + 27 = 0, -4*n = b*h - 24. Is h a multiple of 2?
False
Does 62 divide 21*(1455/36 - (-1)/4)?
False
Let r = 32 + -27. Suppose p + r*p = 0. Suppose 5*i - 2*o = -p*o + 139, 119 = 4*i + o. Is i a multiple of 29?
True
Let f(j) = 4*j**2 - 13*j + 1. Let t be f(11). Suppose 14*l - t = 13*l. Suppose 0 + 5 = q, 4*g - 2*q = l. Does 22 divide g?
True
Suppose 0 = 3*x + 9 - 6. Let y be (12/30)/(x/20). Let f = 12 + y. Does 3 divide f?
False
Let o be (-101)/9 - 1 - (-20)/90. Let n = 102 + o. Is n a multiple of 37?
False
Is 22 a factor of (1*1/(-2))/(104/(-125008))?
False
Let w be ((-35)/(-28))/(3/12). Suppose -2*p - b + 0*b = -47, 2*b + 113 = w*p. Does 4 divide p?
False
Let t(r) be the first derivative of r**4 - r**2/2 + 2*r + 5. Let d be t(2). Let o = d + -6. Is 14 a factor of o?
False
Suppose -4*a - 7*i + 116 = -11*i, i = -4*a + 96. Is a a multiple of 25?
True
Let y(x) = -x**3 + 5*x**2 + 4*x + 3. Let k be (-23 + 1)*(-2)/4. Let h(p) = -5*p**3 + 26*p**2 + 21*p + 16. Let l(t) = k*y(t) - 2*h(t). Is 6 a factor of l(3)?
False
Suppose -7*j = -4*j - 3, -5*z + 4*j + 3666 = 0. Is z a multiple of 44?
False
Let c(s) = -s + 1. Let y(f) = f**2 - 1. Let x(g) = -3*c(g) - y(g). Let o be x(2). Suppose 0*v - 3*l + 32 = v, o = 3*v + 2*l - 124. Is v a multiple of 21?
False
Let i = -185 + 384. Is i a multiple of 11?
False
Let j(w) = w**2 - 3*w - 4. Let u(i) = 2*i**2 - 5*i + 5. Let k = 16 + -13. Let b be u(k). Does 9 divide j(b)?
True
Let g(l) = -16*l + 69. Let c(q) = -5*q + 23. Let o(x) = 11*c(x) - 4*g(x). Is o(7) a multiple of 6?
False
Suppose x = 3, 2*g + 5*x = 166 + 33. Is 46 a factor of g?
True
Let q(m) = 12*m - 7. Let t be q(1). Suppose 6*j - 30 = 3*j. Suppose -t*v = -b - j*v - 15, 0 = b - v - 15. Is 10 a factor of b?
True
Let m = -134 + 509. Is 25 a factor of m?
True
Let l(z) = -2*z**3 - 8*z**2 - 12. Does 15 divide l(-6)?
False
Let h(l) = -3*l**3 - 11*l**2 - 21*l + 29. Let j(y) = -7*y**3 - 22*y**2 - 43*y + 58. Let v(p) = -9*h(p) + 4*j(p). Does 9 divide v(12)?
False
Suppose -5*s = 5*r - 7720, 5*s - 11*s = -5*r + 7676. Is r a multiple of 44?
True
Let c = 19 + -10. Suppose 628 = -5*x + c*x. Does 45 divide x?
False
Let o = -10 + 19. Let a(m) = -m + 33. Is a(o) a multiple of 8?
True
Suppose -5*u - j - 5 = 0, -4 = 3*u + j + 1. Suppose 2*q = 3*v - 4*v + 40, v + 4*q - 48 = u. Does 16 divide v?
True
Suppose 0 = -5*d - 3*i + 4*i + 3961, -2*d - i = -1583. Is d a multiple of 24?
True
Let t(k) be the first derivative of -k**3/3 - 2*k**2 + 3*k - 5. Let l be t(-4). Suppose -58 = -l*z + 41. Is z a multiple of 16?
False
Let s be (-966)/27 + (-2 - 16/(-9)). Is (1 + 21 + 2)*(-27)/s a multiple of 8?
False
Let n(g) = g**2 - 15*g + 8. Let f be n(12). Let i = 48 + f. Suppose -4 = -3*q + i. Is q even?
True
Let g(a) = -a**3 - 7*a**2 - 11*a - 1. Let l = -51 + 44. Is g(l) a multiple of 4?
True
Let w = 72 - 68. Suppose 3*c - 68 = c - w*f, -2*f = -3*c + 110. Does 12 divide c?
True
Let i(l) = 1 - 14*l**2 + 0 - 5*l - 10 + 76*l**2. Is 16 a factor of i(-2)?
False
Let a(n) = -n**2 + 7*n - 6. Let w be a(6). Suppose 3*o - o - 240 = w. Suppose 4*l - 4*x - o = 0, 2*x - 3*x + 132 = 5*l. Is l a multiple of 6?
False
Let v = 11 - 8. Suppose 0*h = v*h - 75. Suppose -5*s + 30 = -h. Does 4 divide s?
False
Let x(v) be the first derivative of 3*v**2 + 15*v + 5. Let n be x(8). Suppose 3*d = n + 69. Is d a multiple of 22?
True
Let f = -9 - -8. Let y(i) = -2*i + 1. Let h be y(f). Suppose h*a = 116 - 5. Is 18 a factor of a?
False
Let d = 1874 + -1814. Does 12 divide d?
True
Suppose 5*y - 18 - 48 = -4*l, 46 = 3*y + 4*l. Is 2040/100 + (-4)/y a multiple of 5?
True
Let r(d) be the first derivative of -d**2/2 + 4*d - 2. Let s be r(-9). Let i = -6 + s. Is i a multiple of 4?
False
Let u be -1*(4 + (-3 - 0)). Let x(f) = -492*f**2 - f - 1. Let v be x(u). Is 6 a factor of v/(-42) - (-4)/14?
True
Suppose -4*v + 6*v = 4. Suppose 0 = 5*j + 5*p - 210, -4*j - v*p = -4*p - 156. Does 8 divide j?
True
Let i = 51 + -45. Suppose -4*l = 2*q + 38, 1 = 2*l - 5*q + 2. Is 4 a factor of (l/(-4))/(1/i)?
True
Let u(f) = f**3 + 4*f**2 + 2*f + 4. Let v be u(-4). Let j = v + 54. Is j a multiple of 11?
False
Let z = -3 - -6. Suppose 5*l - 3*l = -w + 35, z*l - 51 = -w. Is 20 a factor of (-1)/(l/116)*-4?
False
Let z be 1 + 9025/7 + (-90)/315. Suppose 8*c = -7*c + z. Does 16 divide c?
False
Let s(v) = -37*v - 3. Let y be s(-4). Let m = -75 + y. Does 5 divide m?
True
Is (16/(-8) - 0) + 258 a multiple of 17?
False
Suppose 122 = 4*f - 18. Is f even?
False
Let i = 22 - 21. Does 6 divide (-40)/10 - (-27 - i)?
True
Let x(c) = -c**2 + 3*c + 10. Let b be x(6). Does 17 divide (-314)/b + 2/(-8)?
False
Let o be ((-17)/34)/(1/(-10)). Suppose -z + o*r + 36 = -16, -2*r + 38 = z. Is z a multiple of 21?
True
Let l = -311 - -718. Does 37 divide l?
True
Let d = -87 - -42. Let b = 90 + d. Is b a multiple of 12?
False
Suppose -4*x + 2*x + 12 = 0. Suppose x*u - 30 = 9*u. Let t(s) = -s**3 - 11*s**2 - 16*s - 12. Is 16 a factor of t(u)?
True
Let m = 9 - 14. Let l(n) = -38*n + 2. Let r be l(m). Suppose -5*w + r + 198 = 0. Does 26 divide w?
True
Let o(v) = -v**2 + 14*v + 12. Let z be o(13). Suppose -3*t = -z - 11. Is 4 a factor of t?
True
Let y be (-5)/(-2) - 3/6. Suppose -5*m + 3*m + a + 6 = 0, 0 = a. Suppose m*v + 5*h + 1 = 8, 0 = 2*h + y. Is 2 a factor of v?
True
Suppose 5*a - 4*y + 7 = 0, 9 = -a - 4*y - 2. Is a*(37 + -9)*2/(-3) a multiple of 8?
True
Let d(q) = -9*q**3 + 5*q + 4*q + q**2 - q - 5*q + 2. Does 24 divide d(-2)?
True
Let q(v) = 2*v**2 - 8*v + 2. Let t be q(4). Let j be 97/(-2)*(t + 0). Let y = j + 151. Does 24 divide y?
False
Let i = -1104 + 1223. Does 80 divide i?
False
Suppose 2*x = -0*n - 4*n + 1212, 0 = -3*n - 5*x + 902. Is n a multiple of 15?
False
Is (427/(-21))/((-4)/12) a multiple of 31?
False
Suppose b - 565 = -5*i, 3*b - 44*i - 1659 = -47*i. Is 25 a factor of b?
True
Let b = -9 + 12. Suppose b*m + 25 = -11. Let x = m + 24. Does 3 divide x?
True
Let k = 642 + 1353. Is k a multiple of 19?
True
Is ((-912)/(-168) - 3/7) + 670 a multiple of 25?
True
Let i(f) = 2*f**2 + 8. Suppose -3*s + 6 = 0, -2*t + 16 = -5*t + 2*s. Does 10 divide i(t)?
True
Let s(p) = p**3 - 2*p**2 + 4*p - 3. Let c be s(3). Let b(y) = -y**2 + 21*y + 24. Let n be b(c). Let r = -46 + n. Is 16 a factor of r?
True
Let k(h) = 946*h + 142. Is k(4) a multiple of 20?
False
Let l(s) = 3*s**3 - 4*s**2 + 4*s - 2. Let a be l(2). Let c be a/4*12/21. Suppose -c*p = -p - 6. Is p a multiple of 6?
True
Let s(a) = 25*a + 9. Let p(m) = 26*m + 9. Let x(l) = 4*p(l) - 5*s(l). Does 8 divide x(-4)?
False
Suppose -5*p = -3*s - 3764, -31*p + 2*s + 750 = -30*p. Is 58 a factor of p?
True
Let h be (-2)/4*(-351 - 3). Let a = h - 82. Let m = -43 + a. Is 14 a factor of m?
False
Let q = -1351 + 1996. Does 16 divide q?
False
Let h(p) = 0*p**3 + p**3 + 22*p**2 - 4*p - 5*p**2 - 7*p**2 - 9. Does 27 divide h(-9)?
True
Suppose -4*l = s - 31, -3*l + 8*s + 18 = 7*s. Suppose l*m = -2*m + 693. Does 7 divide m?
True
Let k(c) = c**2 - 6. Let b be k(-3). Let o(l) = l - 11. Let t be o(5). Does 12 divide 5 + t - -8*b?
False
Let q(g) = -g**2 + 11*g + 4. Let i be q(11). Suppose i*k - 22 = -2*u, 0 = 3*u + 5*k - 35 + 5. Suppose -u*h = -5*j + 50, 4*j - h = -2*h + 45. Is 9 a factor of j?
False
Does 70 divide (-22)/77 - 3966/(-14)?
False
Let a be ((-18)/(-24))/(0 - (-2)/(-48)). Is 12 a factor of a/(-7)*(-238)/(-3)?
True
Let t(s) = -s**2 + 1. Let n be t(-2). Is 4 a factor of -4*(9/n - -2)?
True
Let u(i) = -7*i + 39. Let o be u(5). Does 28 divide (51/o)/((-32)/(-256))?
False
Let h(n) = -11*n - 1. Let q be h(10). Let u = q + 51. Is u/1*(-4)/10 a multiple of 24?
True
Let l(u) = u - 2. Let y be l(-6). Let n = 1786 + -1771. Is 4 a factor of y/(-12) - (-245)/n?
False
Let i(b) = -96*b + 111. Is i(-5) a multiple of 8?
False
Is 20/175*5 + (-157)/(-7) a multiple of 6?
False
Let z = 2216 - 1670. Is z a multiple of 42?
True
Suppose -f - 245 = -3*z - 760, z = 5*f - 2561. Does 64 divide f?
True
Suppose -22 = -4*r