 p?
False
Let m = 245 + 6. Suppose -20 = -5*g, 3*g + 2*g = -3*t + m. Does 11 divide t?
True
Suppose -2*c = 4*j + 36 - 8, 4*j = 4*c - 4. Let t be c/(-10) - 2534/35. Let q = t + 126. Does 18 divide q?
True
Suppose -2*u = 2*u - 8. Suppose 4*k - u*k - 30 = -4*i, 0 = -4*k + 12. Suppose i*r - r = 270. Is r a multiple of 17?
False
Suppose -23*m = -27*m + 28. Suppose 25 = w + m. Is 2 a factor of w?
True
Let p(j) = -j - 7. Let h be p(-9). Suppose 5*y - 4*d - 175 = -5*d, -4*y + 140 = h*d. Is y even?
False
Let x be -1 - 7/(28/(-96)). Suppose 20*p + 9 = x*p. Suppose 4*l - 5*q + 117 - 423 = 0, p*q = 5*l - 389. Is 23 a factor of l?
False
Suppose -10 - 2 = -3*d. Suppose d = s - 2*s. Does 13 divide (-554)/(-14) + s/7?
True
Suppose y + 25 = 6*y. Let w(j) = -7 + 17*j + j + 1. Does 21 divide w(y)?
True
Let o(t) = 37*t - 50. Is 20 a factor of o(10)?
True
Suppose -2*y + 40 = -16. Suppose -3*k - 4 = 5*i - y, 0 = -3*i - 3*k + 18. Suppose -4*s + 25 = 5*q, q - i*s - 3 = 2. Is q a multiple of 2?
False
Let k = -69 + 177. Let f = 159 - k. Does 6 divide f?
False
Let m(s) = 251*s**3 + 2*s**2 + s - 3. Does 27 divide m(1)?
False
Let j(g) be the first derivative of -9*g**4/4 + 2*g**3/3 + g**2/2 + 10. Let x be j(-1). Suppose d = 2*d - l - x, -3*l - 40 = -4*d. Is 5 a factor of d?
True
Let f(i) = 13*i + 189. Is 9 a factor of f(0)?
True
Suppose -4*y + y = 2*y. Let l(q) be the first derivative of q**3/3 + q**2 + 6*q + 1. Is 2 a factor of l(y)?
True
Let w = 0 + 52. Suppose -5*l - 17 = y, -4*l = -y - 3*y + w. Is y a multiple of 4?
True
Let n(y) = 96*y**2 - 36*y + 12. Does 10 divide n(-4)?
False
Suppose -3 = -f + 1. Suppose -c - 6 = -f*c. Suppose 79 = c*b + b - 4*w, -b = -4*w - 13. Is b a multiple of 14?
False
Let s be (24/(-15))/(-4)*60. Suppose s = z - 68. Does 30 divide z?
False
Let a(x) = -2*x**2 - 3*x + 2. Let g be a(-6). Let s be 8/g - (-10)/65. Let t(m) = -m**2 + 7. Does 6 divide t(s)?
False
Let s = -393 + 441. Is 4 a factor of s?
True
Let b(l) = -40*l - 104. Is 28 a factor of b(-11)?
True
Let r(a) = 2*a - 45. Let h be r(4). Let g = h - -96. Is g a multiple of 8?
False
Let w be (-3 - (-13 + 4))/(-2). Let a(q) = -2*q**3 - 4*q**2 - q + 3. Is a(w) a multiple of 6?
True
Is 12 a factor of (-9)/((-270)/(-11020))*(-6)/4?
False
Suppose 5*h - 2*d = 74 + 316, -4*h + d + 312 = 0. Is 14 a factor of h + 1/2*-6?
False
Let d(m) = -m**3 - m**2 + 4. Let j be d(0). Suppose -j*o - 5*w - 135 = 0, 8*o - 4*o = 4*w - 108. Let l = -13 - o. Does 4 divide l?
False
Let d(w) = w**2 + 6*w + 35. Does 6 divide d(13)?
True
Suppose j - 14 = -5. Is 13 a factor of 2/j - (-232)/9?
True
Suppose w + 4*r - 8 = 3*r, -15 = 5*r. Suppose -396 + 0 = -w*j. Does 7 divide j?
False
Let l = -5 - -5. Let n(i) = i**2 - i + 29. Does 29 divide n(l)?
True
Let g(k) = -k**3 + 10*k**2 + 10*k - 12. Is g(10) a multiple of 3?
False
Let b(z) = -z + 5. Let k be b(-3). Is (k/(-24))/(1/(-156)) a multiple of 13?
True
Let x(d) = d**2 + 4*d - 4. Let n be 5/10 + (-34)/4. Is x(n) a multiple of 3?
False
Suppose 0 = f - 6*f - 4*s + 2900, 0 = -f + 3*s + 561. Is 24 a factor of f?
True
Let u(h) = -h**3 - 6*h**2 + 8*h + 20. Suppose 8*o + 59 = 3. Is u(o) a multiple of 12?
False
Let b(d) = d**3 + 6*d**2 + 5. Let n be b(-6). Suppose 0 = -n*p + 13 - 3. Suppose 4*g = p*g + 34. Does 17 divide g?
True
Let o = 48 - 34. Let t = -10 + o. Suppose t*v = 117 + 107. Does 14 divide v?
True
Suppose -12*w = 9*w - 1722. Does 5 divide w?
False
Let h = 15 - 13. Let c be ((-17 - h) + 4)/(-1). Suppose -5*v = c, z - 4*v = v + 41. Is 5 a factor of z?
False
Suppose 2*b - 5*w = 847, -3*w - 769 - 72 = -2*b. Is b a multiple of 13?
True
Suppose 0*h - 5*x + 240 = 5*h, 4*h - 4*x - 160 = 0. Is 5 a factor of h?
False
Suppose 71 = -4*z + r - 89, 3*r = -2*z - 66. Let m = -94 - z. Let w = m + 91. Does 18 divide w?
True
Suppose 3*y = -3*f - 79 - 158, 0 = 3*f - 5*y + 245. Let g = -63 - f. Does 17 divide g?
True
Let c = 11 - 3. Let x be 2 + -1 + -1 + c. Let i(q) = -q**2 + 10*q + 1. Is i(x) a multiple of 13?
False
Let n(i) = -i**3 - 4*i**2 - 3*i - 1. Let x be n(-3). Is x*(0/1 + -11) a multiple of 3?
False
Suppose 0*m + 5*m - 151 = -3*s, 0 = 5*m - 25. Suppose -2*d - d = -c - s, -2*d + 20 = 2*c. Is d a multiple of 13?
True
Let a(s) = s**3 + 6*s**2 - 16*s - 3. Let j be 5 - (21 + -4) - -5. Is a(j) a multiple of 15?
True
Let d = 450 + 738. Is 108 a factor of d?
True
Let s be 4 - (280/(-5))/(-4). Is -3 - (s*12 + -4) a multiple of 24?
False
Suppose 2*b - 33 - 47 = -3*c, -4*c = b - 100. Is 12 a factor of c?
True
Let j be -41 + -1 + (21 - 22). Let b = 139 + j. Does 12 divide b?
True
Let x(h) be the third derivative of h**4/12 + h**3/2 - 10*h**2. Is x(5) a multiple of 4?
False
Let a be (20/2)/(2 - 1). Let b = -8 + a. Let m(s) = 8*s**2 - 5*s + 5. Does 9 divide m(b)?
True
Let y = 712 + -649. Is 21 a factor of y?
True
Let j be 16/4 + (-8)/(-1). Let p = j + 6. Is 9 a factor of p?
True
Suppose -5*b + 25 = 2*t, -t - 3*b + 15 = 3*t. Is (t - -3)*(-5)/(-3) a multiple of 5?
True
Let t(l) = 3*l**2 - 72*l + 631. Is t(42) a multiple of 13?
True
Let s be 2 - (7 - (10 - 5)). Suppose s = 84*f - 81*f - 390. Is f a multiple of 13?
True
Let p = -4 - -6. Let k be (5 + (1 - 13))*(-22)/7. Suppose -p*g + 40 = -0*g + 4*h, g - k = -h. Is 8 a factor of g?
True
Let r(q) = -2*q**2 + 3*q + 8. Let f(n) = -n**2 + n - 1. Let a(z) = 2*f(z) - 2*r(z). Is 35 a factor of a(-8)?
False
Let w(j) be the second derivative of -2*j**3 + 3*j**2/2 + j. Is 14 a factor of w(-3)?
False
Let m(y) = 4*y - 5. Let g be m(2). Suppose g*z = -4*j + 62, -4*z + 2*z + 2*j + 32 = 0. Is z a multiple of 18?
True
Let w = -7118 + 12138. Is 24 a factor of 4/14 + w/70?
True
Suppose -3*v + 441 = 3*b, 2*b - 2 - 8 = 0. Let u = -84 + v. Does 10 divide u?
False
Let n = 17 - 5. Suppose -c - c = n. Let x(m) = m**3 + 9*m**2 + 6*m + 8. Is x(c) a multiple of 20?
True
Let r = 14 + -195. Let n = -66 - r. Is n a multiple of 23?
True
Suppose -562*x + 566*x - 4532 = 0. Is x a multiple of 37?
False
Is 10 a factor of (-22)/(-8)*(221 - 1)?
False
Let r(c) = -6*c**2 + 4*c - 8. Let w be r(3). Is 22 a factor of (5/(w/(-176)))/(13/65)?
True
Let j = 11 - -5. Suppose -j*g + 11*g = 15. Let y(r) = 3*r**2 + 3*r - 2. Is 4 a factor of y(g)?
True
Suppose n = -d + 7, 2*d + n - 6 = 3*n. Suppose -d*j = 4*k - 3 - 0, -4*j = 4*k. Suppose 4*i + 5*t - 66 = 232, -j*t = -2*i + 138. Does 24 divide i?
True
Suppose -5*y + 4*v = 7*v - 17, 18 = 5*y + 2*v. Does 4 divide y?
True
Suppose 0 = -4*i + 12 + 12. Let u(s) = 2*s**2 - 4*s + 1. Let o be u(i). Suppose o = 4*r - 15. Is 8 a factor of r?
True
Let b(i) = 2*i**3 + 27*i**2 - 13*i + 16. Let p be b(-14). Is 46 a factor of (4848/15 - p) + (-12)/(-15)?
True
Suppose -u = -4*s + 205, 0*s + 5*u = -4*s + 199. Does 4 divide s?
False
Suppose 0 = -2*a + 180 + 102. Let z = 556 + -651. Let p = a + z. Does 20 divide p?
False
Let i(b) = b**2 - 5*b + 2. Let o be i(5). Suppose 0 = o*u - m - 349, -5*u = -2*u - m - 521. Is u a multiple of 33?
False
Suppose -100*y + 404 + 296 = 0. Let a(z) = -2*z + 3. Let r(b) = b**2 - 3*b + 7. Let f(n) = -5*a(n) + 2*r(n). Is f(y) a multiple of 23?
False
Let h be (-52)/2*2/(-4). Let n(s) = 3 - 2 + h*s**2 - 4*s**2 - s. Does 6 divide n(1)?
False
Let w(t) = 5*t**3 + 21*t**2 + 15*t - 25. Let a(c) = -c**3 - 5*c**2 - 4*c + 6. Let s(z) = 9*a(z) + 2*w(z). Let j be s(4). Is 6 a factor of 11*j*4/(-16)?
False
Let b(c) = c**2 + 3*c - 5. Let v be b(-5). Suppose 5 + v = i. Suppose 10 = 2*t - i. Is 5 a factor of t?
True
Suppose 7 = 4*k - 0*g - 3*g, 8 = 5*k - 3*g. Let m(p) = 1 + 41*p**3 + 8*p**3 + 13*p**3. Does 35 divide m(k)?
False
Suppose 48*p = 46*p + 2242. Does 89 divide p?
False
Is 6 a factor of (-118)/(-3)*((-2)/4 + 2)?
False
Let w = 203 - 75. Suppose w = 5*m - m. Suppose 192 = 5*p + m. Is 9 a factor of p?
False
Let w be (-22)/5 - 2/(-5). Let l = w - -19. Suppose 3*o + 4*b + 1 - l = 0, -34 = -3*o + b. Is o a multiple of 5?
True
Let s(p) = p. Let q(l) = -15*l - 1. Suppose 0*z + 2 = 2*z. Let w(t) = z*q(t) + 4*s(t). Is w(-1) a multiple of 10?
True
Suppose -16*p + 13750 = 9*p. Does 25 divide p?
True
Does 10 divide 2/(-6) + (-39622)/(-66) + 6?
False
Suppose 0 = 3*f - 1835 + 122. Does 38 divide f?
False
Suppose 5*d - 4 = 486. Suppose 3*m = -2*n + d, -146 = -4*m - 4*n - 14. Does 23 divide m?
False
Does 36 divide (-17)/(-51) + 0 + (-4534)/(-6)?
True
Let o(t) = 