 1. Is p(j) a multiple of 2?
True
Suppose -2*z = -6 - 20. Is 7 a factor of z?
False
Let u = 13 - 17. Is (-173)/u - 3/12 a multiple of 16?
False
Let x = -8 + 12. Suppose 0 = -d + x. Suppose d*l = -8, 3*l = -2*s - l + 44. Is s a multiple of 13?
True
Suppose 0 = -5*n - 0*n - 3*v + 10, -n - 3*v = -2. Is 45/6*20/n a multiple of 25?
True
Suppose 3*c = 6 - 15. Let t = -2 - c. Let z = t - -17. Does 9 divide z?
True
Let p(z) = -z**2 - 4*z + 9. Let n be p(-7). Is (2/(-4))/(1/n) a multiple of 6?
True
Let d = 21 + -7. Suppose -5*f + 5*w + d + 31 = 0, 3*w = 2*f - 13. Is 14 a factor of f?
True
Let l(x) = x + 49. Does 11 divide l(28)?
True
Let q = 36 - 78. Let b = q - -96. Is b a multiple of 22?
False
Suppose 2*y - 4*u - 180 = 0, -4*u = -3*y + 5*y - 148. Is 9 a factor of y?
False
Is 10 a factor of (-10*(-9 - -1) - 0)*1?
True
Let i = 3 - 9. Let g(k) = -4*k**2 + 3 - 1 - 8*k + 1 + 3*k**2. Is g(i) a multiple of 6?
False
Let n(z) = z**3 + 7*z**2 - 4*z - 10. Does 25 divide n(-6)?
True
Let l be -12*((-10)/4)/5. Suppose -4*q + l*q - 44 = 0. Does 6 divide q?
False
Suppose -17 = -k - 5. Suppose 0 = -p + 4*h + k, -3*p - 3*h + 130 - 19 = 0. Is 13 a factor of p?
False
Let j(v) = v**3 - v**2 - v - 1. Let q(g) = 7*g**3 - 15*g**2 + 4*g. Let m(y) = -6*j(y) + q(y). Is m(8) a multiple of 11?
True
Let r = 6 + -6. Suppose -4*z - 296 = -r*z. Let q = z - -106. Does 16 divide q?
True
Let g be (-3 + 4)/((-2)/(-4)). Is 9 a factor of ((-8)/g)/((-1)/5)?
False
Let p = -16 + 22. Let k be (-1)/(p/15)*-2. Suppose -5*c + k*l + 45 = 0, 0 = -0*l + 2*l - 2. Is c a multiple of 5?
True
Let q = 106 - 65. Is q even?
False
Let y = -168 - -402. Let j be 8/20 - y/10. Let s = -13 - j. Is 10 a factor of s?
True
Let u = -5 + 11. Suppose 4 = 2*a - a - 2*w, u = -3*a - 3*w. Suppose -81 = -3*l - a. Is 12 a factor of l?
False
Let x(r) = -3*r - 7. Let z be x(-3). Suppose -6*w = -z*w + f - 126, -5*f - 42 = -w. Is w a multiple of 8?
True
Let q(k) = k**3 + 10*k**2 - 11*k - 15. Let a be q(-11). Is 11 a factor of a/(-3)*(-22)/(-5)?
True
Suppose 4*t + 0*h - 4*h - 260 = 0, h = 4*t - 245. Let c = -42 + t. Is c a multiple of 11?
False
Suppose -12*f + 4*f + 1216 = 0. Does 19 divide f?
True
Let n(p) = -5*p**2 - 10*p - 6. Let s(r) = 6*r**2 + 11*r + 7. Let w(d) = -4*n(d) - 3*s(d). Does 11 divide w(-6)?
True
Suppose 0 = 5*q - 2*p - 573, 101 = 3*q - 3*p - 241. Is 29 a factor of q?
False
Suppose -2*p - 238 = -0*p. Let h = 177 + p. Is h a multiple of 23?
False
Suppose -5*u - 5*r - 485 = 0, -2*u = 3*r + 15 + 180. Let n = 25 - 73. Let d = n - u. Is 14 a factor of d?
False
Suppose 2*p + v - 35 = 0, 5*p - 58 - 10 = 4*v. Is p a multiple of 14?
False
Let g = -134 - -196. Does 10 divide g?
False
Does 12 divide (-20)/170 - (-2348)/17?
False
Suppose -515 = -4*d + 289. Let v = -129 + d. Does 24 divide v?
True
Let c(r) = 25*r**2 - r - 1. Let g be c(-1). Suppose -f = -4*x + 4*f + 25, 0 = 5*f + g. Suppose x = s + 2*y - 11, y + 30 = 3*s + 4*y. Is 5 a factor of s?
False
Let r(a) = -4*a - 10. Let c be r(-8). Let p(q) = 2*q - 7. Let u be p(5). Is c + u + 0 + -1 a multiple of 12?
True
Let v be (-1476)/(-30) - 2/10. Let g = v - 35. Is 7 a factor of g?
True
Let h(m) = 6*m**2 - m. Let r be h(1). Suppose r + 205 = 5*u. Does 21 divide u?
True
Let a = 197 - 65. Does 22 divide a?
True
Suppose 0 = 3*j - j - 40. Suppose -5*c = -10 - j. Does 5 divide c?
False
Let h(w) = 2*w + 2 - 3*w - w. Let r be h(2). Does 4 divide -10*r*(-3)/(-12)?
False
Let f(y) = -4*y - 8. Let s be f(-6). Suppose -4*g + 28 + s = 0. Let l = 21 - g. Is l a multiple of 5?
True
Let w be (0 + (-6)/(-9))*3. Is ((-23)/(-3) - w)*6 a multiple of 14?
False
Suppose -v + 4 = -2*v, -3*d + 19 = -v. Suppose 0 = d*x - 83 - 137. Does 15 divide x?
False
Let l(r) = -r**2 + r + 1. Let j(s) = s**3 - 13*s**2 + 10*s + 13. Let b(p) = j(p) - 6*l(p). Is b(7) a multiple of 6?
False
Suppose 0 = 4*g - 332 - 92. Is g a multiple of 19?
False
Suppose -2*z + 589 + 27 = 0. Does 18 divide z?
False
Let m be 3/(-2)*64/(-48). Suppose -8 - 2 = -m*g. Does 2 divide g?
False
Let b(t) = t - 4. Let c be b(8). Suppose -c*k + 100 = -60. Does 11 divide k?
False
Let a = -124 - -196. Is 9 a factor of a?
True
Let r(w) = -w**2 - 6*w - 4. Let u be r(-4). Let n(d) = -d + 2*d - d**3 + u*d**2 - 2 - 7*d**2. Is 8 a factor of n(-4)?
False
Let x be -2 + 4 - -4 - 2. Suppose 0 = -5*k + g + 94 + 91, 128 = 3*k - x*g. Is k a multiple of 18?
True
Suppose 279 + 381 = 4*w. Does 55 divide w?
True
Let u be (-2)/1*(-30)/(-4). Let x = 75 + u. Is x a multiple of 22?
False
Let k(j) be the second derivative of j**6/180 - j**5/40 + j**4/12 - j**3/6 + j. Let s(a) be the second derivative of k(a). Is 2 a factor of s(2)?
True
Let t be ((-24)/20)/(3/(-20)). Let w be (9/6)/(3/t). Suppose m + w*m - 65 = 0. Is m a multiple of 11?
False
Let t(o) = -3*o**2 - 10*o + 3. Let r be t(-7). Let v = -120 - -78. Let w = v - r. Is w a multiple of 16?
True
Suppose -13*v = -12*v - 202. Does 47 divide v?
False
Let s(h) = -h - 4. Let c = 0 - 5. Let f be s(c). Suppose 77 = 3*p - f. Is 13 a factor of p?
True
Let i = -49 + 83. Is i a multiple of 8?
False
Let m(y) = -12*y + 14. Does 8 divide m(-2)?
False
Suppose -5*s + 73 = 3*r - r, -32 = -2*s + 2*r. Suppose 5*u - 2*m - 41 = 0, m + s = -4*m. Is 5 a factor of u?
False
Let v(b) = -b + 4. Let l = -3 - -3. Let h be v(l). Suppose -h*k + 0*k + 2*d = -30, -k + 35 = 5*d. Does 5 divide k?
True
Let p(u) = 0*u**3 + u**3 - 4*u + 5 + 7*u**2 - 2*u**3. Let o be p(6). Let q = -8 + o. Does 9 divide q?
True
Suppose 6*m - 480 = 2*m. Suppose -2*y = y - 2*c - 67, 5*y - 5*c - m = 0. Does 19 divide y?
True
Suppose 4*x + 2*i = 0, -10 = -2*x - 3*i - 2. Is 4 a factor of (-2)/6*(-10 + x)?
True
Does 11 divide (-1 + -5)/(4/(-22))?
True
Let s(b) = -9*b**2 + 3. Let w be s(-5). Suppose 2*i + 3 + 7 = 0. Does 22 divide w/i + (-2)/5?
True
Suppose 3*c - 14 - 1 = 0. Suppose 2*m - 3*m = -5*v + 64, 3*v + c*m = 16. Does 12 divide v?
True
Suppose 3*f + 2*c - 6 = 0, c - 3 = -2*f + 1. Suppose -1 = -p + f. Suppose p*g + 0*g - 9 = 0. Is g a multiple of 3?
True
Suppose -u = -4*w + 48, 4*u - 6 + 0 = -2*w. Is w a multiple of 2?
False
Let u(j) = -j**2 + 9*j - 6. Let v be u(8). Does 9 divide (14 - v)/(16/24)?
True
Let c = 11 + 160. Suppose 3*z + c = 5*s + 2*z, 5*z + 15 = s. Does 14 divide s?
False
Let w = -1 - -5. Does 2 divide w?
True
Let a(h) = 2*h + 6. Let d be a(-4). Does 11 divide (d + -16)/(2 - 3)?
False
Suppose 3*i - 2*u + 7*u - 65 = 0, -36 = -2*i + 4*u. Is 5 a factor of i?
True
Let w(b) = 6*b - 4. Is w(3) a multiple of 7?
True
Suppose 5*f - 3*i - 37 = -6*i, 4*f - 24 = -i. Suppose f*r - 61 = -16. Let z = r - -8. Is 6 a factor of z?
False
Suppose -4*h - 4*t = -6*h + 8, 3 = 3*h + 3*t. Suppose -h*v + 0*v = -46. Is v a multiple of 10?
False
Let h(i) = -i**2 - 4*i + 5. Let c be h(-5). Suppose c = -0*m - 2*m + 10. Suppose 0*z + m*z = 305. Is 22 a factor of z?
False
Let v = -16 - -10. Let q be (-3)/v*-6 + -3. Let j(g) = -g**3 - 5*g**2 + 4*g + 4. Does 8 divide j(q)?
True
Let t = 61 - 41. Is t a multiple of 5?
True
Let s = 13 - 15. Is (-7)/((-28)/24) + s even?
True
Suppose 0 = 4*j - 3*k - 35, 4*j = -0*j + k + 25. Suppose -b + 4 = -j*q, 5*b - 26 = 2*b + q. Is 9 a factor of b?
True
Let o(k) = k + 10. Let g be o(-10). Suppose g = 3*l + l - 64. Does 6 divide l?
False
Suppose 248 = 4*h - 3*h. Does 39 divide h?
False
Let p(s) be the third derivative of s**6/120 + 3*s**5/20 - s**4/2 - 7*s**3/6 - 4*s**2. Does 13 divide p(-10)?
True
Suppose -y + 39 = -5. Suppose 140 = 5*f - i, 0 = -3*f + 2*f - 3*i + y. Is f a multiple of 24?
False
Let i(z) = -z - 7. Let j be i(-9). Let y be j*4 - (-4)/(-2). Suppose -4*o = -94 + y. Is 9 a factor of o?
False
Suppose -4*f - 3 - 1 = 0. Is 15 a factor of 1*f - 155/(-5)?
True
Let m(z) be the first derivative of -z**2/2 + 4*z + 1. Suppose 0*j = -5*j. Is m(j) a multiple of 3?
False
Suppose -4*k = -14 - 6. Let v(o) = -o**3 + 6*o**2 - o - 6. Let j be v(k). Does 3 divide ((-12)/7)/((-4)/j)?
True
Is 5 a factor of -2 + 2 + (10 - -18)?
False
Suppose -64 = 4*j - 636. Is j a multiple of 11?
True
Let b(c) = c**3 + 7*c**2 + 4*c - 8. Let v be b(-6). Let d be v/6*(3 - 15). Is 2/d - (-99)/12 a multiple of 8?
True
Suppose 13 - 139 = -3*m. Suppose 4*u + 4*j + 8 = 164, 0 = -u - 2*j + m. Is 18 a factor of u?
True
Let x(n) = -n**3 - 13*n**2 + 15*n + 15. Let d be x(-14). Is 15 a 