 4 a factor of j?
True
Let x be -4*4/((-64)/(-116)). Let i = x + 29. Let d(t) = -2*t + 21. Is 3 a factor of d(i)?
True
Suppose -15 = -5*w - 0*w. Suppose 0 = -5*n - m - 271, -2*n + w*m = -0*n + 122. Let i = n - -80. Is i a multiple of 20?
False
Is (1*2)/2 + 1144 + -220 a multiple of 66?
False
Suppose -6*q + 13*q = 14. Suppose q*l = 3 + 97. Does 8 divide l?
False
Suppose 5*s - 69 = 61. Let i = s - -8. Does 10 divide i?
False
Let f be 2*-2 - (-5 - -3). Let p be (24/(-4))/f - 4. Is 9 a factor of -4 - 0 - (p - 22)?
False
Let c(t) = -2*t - 3 + 0*t + t - 11. Let m be c(-16). Suppose 4*i = -4*p + 176, 5*p - i - 188 = m*i. Is p a multiple of 10?
True
Let t be 8/(-3)*(-3)/4. Let b(g) = -1 + 6 - t*g + 6*g**2 - 3*g**2. Is b(3) a multiple of 26?
True
Suppose 22 + 32 = 6*u. Does 8 divide 3/((-9)/(-2))*432/u?
True
Suppose -q + 103 = 5*n - 21, -5*n = 15. Does 31 divide q?
False
Let z = 311 - 206. Suppose 0 = -5*v + 2*p - p + z, 3*v - 4*p = 80. Is 5 a factor of v?
True
Let o(d) = -1016*d - 3. Let a be o(2). Let r be (2/(-5))/(11/a). Suppose -14 = 6*f - r. Is f a multiple of 5?
True
Suppose -5*c + 5 - 15 = 0. Let m be (-10 - 6)*(-34 - c). Suppose 0*g + 4*g = m. Is 32 a factor of g?
True
Let s be (-59)/(-2) - (-1)/(-2). Suppose -5*w + z = -19, z + 10 = 3*w - z. Suppose -11 = -w*g + s. Is 5 a factor of g?
True
Let u(z) = 160*z**2 + 1. Let p be u(-1). Suppose -3*x + p = 5. Is x a multiple of 14?
False
Suppose 0 = -4*t + 3*y - 0*y + 10, -2*y - 4 = 0. Let m be -4 + (4 - t) + -5. Let q(x) = 2*x**2 - 3*x + 11. Is 19 a factor of q(m)?
False
Suppose 0 = 10*s + 6*s - 96. Suppose -s*v - 2*v = -1832. Is 20 a factor of v?
False
Let q(w) = w**3 - 7*w**2 - 9*w + 11. Let c be q(8). Suppose -3*v + 54 = c*k, k - 2*v + 3 - 12 = 0. Is k/((1 - 2) + 2) a multiple of 5?
True
Suppose 4*o - 1022 = 2*x + 878, 0 = 4*o + 3*x - 1910. Is 6 a factor of o?
False
Let f = 54 + -51. Suppose -3*i = -2*z + 113, 0 = -i + f. Does 10 divide z?
False
Let m(l) = -3*l**3 + 2*l**2 - 6. Let d be m(-3). Let n = d - 46. Is 13 a factor of n?
False
Let y be (-44)/(-10) + (68/(-20) - -4). Suppose 3*w - 59 = -l + 4*w, -y*l + 305 = -3*w. Is l a multiple of 11?
False
Let m(y) = 5*y + 108. Let i be m(-17). Suppose -l - 3*l - 20 = 0. Does 6 divide (i/l)/(1/(-5))?
False
Let g = -556 + 1677. Is g a multiple of 31?
False
Let f(l) = l**3 - l**2 - l. Let q be f(2). Suppose -h + 5 = m, 0 = -q*m + 6*h - h + 10. Is 24 a factor of (-1)/m - 1083/(-15)?
True
Suppose 91 = -22*j + 3. Let l = 39 - -13. Let f = l - j. Does 28 divide f?
True
Suppose 3*k - 64 = 2*a, 5*a = 2*k + a - 48. Let w be 10/(-1 + 8/4). Is ((-5)/w)/((-2)/k) a multiple of 5?
True
Suppose 0 = 5*l - 2*h - 2775, -2*l + 0*l - 2*h + 1096 = 0. Does 5 divide l?
False
Is 31 a factor of (3 + (-45)/12)/((-5)/4960)?
True
Let j = 12 + -8. Suppose 2*x - 482 = -3*i - 0*x, 0 = j*x - 16. Suppose -3*m + i = -2*p, 3*m + 3*p - 168 = -0*p. Is 29 a factor of m?
False
Let s = 322 - 277. Let p be (-2)/(-2)*1 - 1. Suppose 2*t - 3*c - 5 = p, -3*t - 2*c = c - s. Does 5 divide t?
True
Suppose m + 50 = -m + 2*t, m - 3*t = -33. Is 4 a factor of 510/35 - 9/m?
False
Suppose 6 = 2*k - 4*y, -2*k = 2*k + 4*y - 48. Let d(p) = -1 + p - 8 + k*p - 3*p. Does 11 divide d(7)?
False
Suppose 5*v - 2*o = 348, -o - o = v - 60. Suppose -v*p - 30 = -71*p. Is p a multiple of 10?
True
Suppose -770*u = -780*u + 4640. Is u a multiple of 58?
True
Let h be (12/(-70)*-7)/((-1)/(-5)). Let v(a) = -a**3 + 10*a**2 - 4*a - 2. Does 17 divide v(h)?
False
Let h = 7 - 4. Let c(q) = 4*q**3 + 2*q**2 - q. Let o be c(1). Suppose -62 = h*j - o*j. Is j a multiple of 18?
False
Suppose 8*o + 9 = 11*o. Suppose o*u - 10 + 1 = 0. Suppose 5*g = -0*g - 2*y + 120, 81 = u*g + 3*y. Does 11 divide g?
True
Let z = 17 + -15. Is (z/4)/((-8)/(-96)) a multiple of 6?
True
Suppose 2*w - 2*z - 66 = -2*w, 5*w - 5*z = 75. Suppose -2*i + w = -22. Is 4 a factor of i?
True
Let o(p) = p**2 + 2. Let l be o(-2). Suppose l*g + 121 = 427. Suppose -5*x - 2*b + 162 = -3*b, -2*x + g = -5*b. Is x a multiple of 11?
True
Let d(s) = -s + 10. Let y be 12/18 - 8/12. Is d(y) a multiple of 2?
True
Let j(p) = -p**2 - 13*p + 20. Let z be j(-15). Let h = z - -15. Suppose 0 = -2*n + 4, 2*r + 13 = h*r - 4*n. Is 3 a factor of r?
False
Let f = -52 + 118. Does 9 divide (1 - 6) + (f - 16)?
True
Suppose 20 - 6 = 4*n + 2*j, -3*n + 3*j = -6. Suppose -n = 2*p - 5. Is -6*((-9)/6)/p a multiple of 9?
True
Let n(x) = x**3 - 14*x**2 - x - 9. Let a be n(15). Is (1 + -4)*a/(-9) a multiple of 19?
False
Let z(t) = t. Let f(a) be the third derivative of a**5/60 - a**4/12 - 8*a**2. Let m(c) = f(c) + 2*z(c). Does 4 divide m(2)?
True
Let z(m) = -2*m**3 + 7*m**2 + 5*m + 2. Is z(4) a multiple of 4?
False
Suppose k - 4 + 2 = n, 0 = 5*n + k - 8. Does 8 divide (53 - -5) + ((-2)/(-1) - n)?
False
Suppose j - 407 = -j + 5*s, j + 3*s = 231. Does 36 divide j?
True
Does 6 divide 61 - ((2 - -2) + -1 + -2)?
True
Let w(y) = y**3 + 2*y**2 - y. Let i be w(-2). Suppose i*a - 3*a - 30 = 0. Let h = 11 - a. Is h a multiple of 15?
False
Does 13 divide (-18000)/2100*(1 + (-8)/1)?
False
Let p(y) = 106*y - 23. Does 4 divide p(1)?
False
Let s(w) = -9*w + 72. Let p be s(21). Let o = p + 271. Does 12 divide o?
False
Is -2 + -2 + 2/4*2762 a multiple of 89?
False
Let a be 50/(-15)*54/(-15). Suppose -a - 20 = -2*s. Suppose -s = 23*i - 24*i. Is 2 a factor of i?
True
Let n(x) = 9*x**2 - 2*x. Suppose 5*t + 20 = -0. Let d be t + 4 + (-4 - -2). Does 10 divide n(d)?
True
Let w be (-15)/(-6)*8/10. Suppose 0 = -z - w*z + 9. Suppose -2*l + 38 = p - 43, -z*p = -9. Is l a multiple of 13?
True
Let y(d) = -44*d + 49. Let o be y(8). Let c = -44 - o. Is c a multiple of 37?
True
Let y(g) = 9*g**2 + 24*g + 111. Does 128 divide y(-17)?
True
Let a(g) = -g**2 + 5*g - 4. Let r be a(3). Suppose -r*u - u = -15. Suppose 0 = -4*k - u*z + 52 + 33, -81 = -3*k + 2*z. Is 11 a factor of k?
False
Suppose u = -u + 300. Suppose -3*d = -2*p + u, 187 = 5*p - 5*d - 193. Does 13 divide p?
True
Let s = 270 + -482. Is 8 a factor of ((-6)/15)/1*(7 + s)?
False
Suppose 2*t + 7 = 11. Does 15 divide (735/30)/(1/t)?
False
Let j(k) = -k**2 + 2*k - 35. Let y = 5 + -5. Let r be j(y). Let d = r + 60. Is 18 a factor of d?
False
Suppose -2 = -3*r + 7. Suppose -r = p - 6. Suppose p*k + 14 - 38 = 0. Does 4 divide k?
True
Suppose 23*t = -2*t + 9675. Is t a multiple of 9?
True
Let r(n) = -n**3 + 13*n**2 + 16*n - 5. Let c be r(11). Suppose -c = -5*m + 857. Suppose m = k + k. Is k a multiple of 31?
False
Is 70 a factor of -4 - (4 - 1 - 1827)?
True
Let q(m) = -m**3 - 15*m**2 - 15*m - 12. Let i be q(-14). Suppose -1 + 11 = 2*o. Suppose o*z - 36 = i*z. Is 4 a factor of z?
True
Let a(r) = r**3 - 7*r**2 + 8*r - 5. Let h be a(11). Suppose 5*y + 117 = h. Does 30 divide y?
True
Suppose 266 = 10*b - 634. Does 18 divide b?
True
Let b be (-6 - -7)/(1/43). Suppose 0 = 11*q - 318 + b. Does 8 divide q?
False
Let v(h) = -43*h + 9. Let g(o) = -108*o + 22. Let b(y) = -5*g(y) + 12*v(y). Let x be b(1). Let p = 34 - x. Does 4 divide p?
True
Let u(d) = -d + 7. Let q be u(3). Let j be 5/(q + -1 + -2). Let w = j - -7. Is 3 a factor of w?
True
Suppose 1676 = 5*o + 5*q - 919, -6*o = q - 3114. Is o a multiple of 44?
False
Suppose 2*i + 4*a + 180 = 0, 65 + 265 = -4*i - 2*a. Let o = 161 + i. Is 9 a factor of o?
True
Suppose 2*x - 7 = -101. Suppose -5 = -2*d - 73. Let f = d - x. Is 10 a factor of f?
False
Suppose -5*z + 21 = -2*y, -5 - 21 = -3*y - 4*z. Is (-6)/(-4) - (-97)/y a multiple of 10?
True
Is 24 a factor of (-3)/2*-674 + 30/(-10)?
True
Let h(u) = u**2 + 12*u + 31. Is h(-10) even?
False
Let a = 22 - 25. Let f(y) = -50*y + 6. Is 24 a factor of f(a)?
False
Suppose 0*n - x = -3*n + 199, 0 = -4*n + 3*x + 257. Is 4 a factor of n?
True
Let i = 5 + -2. Let g = -26 + 28. Suppose 0 = 2*x + x - v - 119, -g*v - 118 = -i*x. Is 19 a factor of x?
False
Let o be (-9)/(-45) + (-89)/(-5). Suppose -s + 28 = o. Is 2 a factor of s?
True
Let k be -2 + (28 - (-5)/(-5)). Suppose a - 4*a + 40 = 5*t, -2*t - 3*a + k = 0. Suppose -t*w + 62 = -73. Is w a multiple of 19?
False
Let m(a) = 243*a**2 + 5*a + 22. Is m(-2) a multiple of 41?
True
Let c(v) = v**3 - 32*v**2 + 0*v + v + 27*v**2 + 6. Suppose 4*r + 4*g = 5*r - 2, 2*g + 10 = 2*r. Is 16 a factor of c(r)?
True
Let x be -4 - (-192 + 10/(-5)) - 4. Let f(q) = 9*q**2 - 5*q -