(x) = x**2 + 2*x + 1. Let q(n) = 5*n**2 - 3*n + 3. Let p be q(1). Does 18 divide m(p)?
True
Suppose b = 5*j + 1574, 701 + 3988 = 3*b - 4*j. Is b a multiple of 45?
False
Let j(u) be the second derivative of u**3/6 - u**2/2 - 2*u. Let i be j(-7). Is 16 a factor of (-4)/i - (-262)/4?
False
Suppose 3*q - 5968 = 4*t, -5*q = 3*t - 8402 - 1506. Is 34 a factor of q?
False
Let c(x) = -336*x - 93. Is c(-2) a multiple of 36?
False
Let f(z) = 6*z + 2*z - 5*z + 17. Is 24 a factor of f(9)?
False
Suppose 20512 = 19*g - 7399. Does 35 divide g?
False
Let c(s) = 11 + 3 - 5 - s**2 + 10*s. Does 3 divide c(10)?
True
Let x(v) = v**3 - 10*v**2 + v - 19. Let m be x(8). Let q = m + 195. Does 8 divide q?
True
Let d be ((-28)/8)/(2/(-4)). Let j be 331/d - 2/7. Suppose 4*h = -5*o + h + j, -2*o - 5*h + 34 = 0. Is o a multiple of 3?
False
Let m = -1985 - -3521. Does 16 divide m?
True
Suppose -5*n + w + 564 = 0, 62 + 46 = n + w. Is 16 a factor of n?
True
Suppose -24*i + 19*i + 1260 = 0. Is 21 a factor of i?
True
Suppose -3*w - 3*m = -0*w + 147, -w = -m + 57. Let j = w + 71. Does 2 divide j?
True
Suppose -261 = -4*y + 1451. Does 7 divide y?
False
Suppose -18*h + 14*h = -16. Suppose 5*t - 3*p = 405, -2*t = -h*p + 58 - 234. Is 26 a factor of t?
True
Let v = -182 - -202. Does 15 divide v?
False
Let c(r) = 2*r + 4. Let h = 42 + -34. Is 13 a factor of c(h)?
False
Suppose -2*k = -2*h - 14, 4 - 3 = k. Let o = h + 1. Let l(v) = -3*v - 4. Is 7 a factor of l(o)?
False
Suppose 26775 = 24*y + 7815. Is y a multiple of 10?
True
Suppose -i + 234 = 2*s, -5*i - 117 = -s - i. Is s a multiple of 39?
True
Let f be 3 - 0 - 174/(-6). Suppose -7*v - f = -3*v + 2*q, 24 = -3*v - 4*q. Is (108/v)/((-3)/18) a multiple of 27?
True
Let h = 246 - 204. Is h a multiple of 2?
True
Let c be 15 + (-4)/(-8)*4. Let p = c - 1. Is p even?
True
Let t(r) = -r**3 - r + 161. Let x be t(0). Suppose c - 122 = -3*v + 71, -c + x = -5*v. Is c a multiple of 11?
False
Suppose z - 6*b = -7*b + 121, z = 5*b + 115. Is 10 a factor of z?
True
Let x = 129 - 24. Does 7 divide x?
True
Let y(l) = -2*l - 3. Let b be y(-4). Suppose 0 = -b*x + 2*a + 8, 4*a = -3*x + a + 9. Suppose -4*f = -x*n + n + 14, 2*f = -2. Does 4 divide n?
False
Does 32 divide 126/7*(-4)/16*-398?
False
Let t = 7 - 4. Suppose -5*y - j + 2*j = -9, 3 = 3*y - t*j. Suppose -3*u - 65 = -2*b - 0*b, -y*b + 35 = 3*u. Is b a multiple of 15?
False
Let q(g) = -5*g**3 - 3*g**2 - 3*g - 5. Is q(-3) a multiple of 16?
True
Let p = 469 + -427. Is p a multiple of 5?
False
Suppose 2*h - 67 = i, -h - 3*i = h - 71. Is 10 a factor of (-2)/((-6)/3) + h?
False
Let w(y) = -y**3 + 13*y**2 + 13*y + 24. Let g be w(14). Suppose -h + g = -152. Is 12 a factor of h?
False
Suppose 3*t - b = 1529, 18*t = 17*t - 4*b + 514. Is 33 a factor of t?
False
Suppose 1728 = 4*n - 5*b, -3*n + 4*b = -818 - 478. Is n a multiple of 36?
True
Suppose 4*d - 1 = 2*g - d, g + 4*d = 32. Let z = 15 - g. Does 2 divide z?
False
Let p be -31*1*((-2)/(-1) + 0). Let h = p + 122. Is h a multiple of 12?
True
Suppose -33*u - 528 = -41*u. Is 32 a factor of u?
False
Let l(b) be the second derivative of 23*b**4/4 + b**3/3 + b**2/2 - 20*b. Is 12 a factor of l(2)?
False
Let g be (10/15)/((-3)/(-9)). Suppose g*n = -d - 3*d + 162, -4*d + 5*n = -141. Is d a multiple of 13?
True
Let d = 240 + -159. Is 12 a factor of d?
False
Let s(a) = a**2 + a - 4. Let z be s(2). Suppose -4*u + 2*y = -16, -4*y + z*y = u - 4. Suppose -3*m = -2*t + u, t - 3*t + 4*m = -2. Is 5 a factor of t?
True
Let k = -1994 - -3722. Is k a multiple of 27?
True
Suppose -4*t + 693 = -0*i + 3*i, 4*t - 699 = -5*i. Let k = -287 + t. Let n = -77 - k. Is n a multiple of 13?
True
Let m(v) = 17*v**2 + 1. Let r be m(-1). Let b = 1 + r. Does 7 divide b?
False
Suppose -f + 8 = 4*z, z - 2*f + 5 = -2*z. Let t be -43*z - (3 - 3). Let d = -18 - t. Does 15 divide d?
False
Let w(t) be the second derivative of -t**5/60 + 11*t**4/24 - t**3 + 8*t. Let o(h) be the second derivative of w(h). Does 11 divide o(-9)?
False
Suppose 0 = -6*r + 2*r + 764. Suppose k = -2*g - 91, 2*k + g + r = 6*g. Is 17 a factor of (40/(-30))/(2/k)?
False
Suppose 0 = q - 85 + 1. Suppose 4*b - 11*b = -q. Is b a multiple of 3?
True
Let h(y) be the first derivative of 10*y**2 - 2*y - 1. Let u be h(1). Does 12 divide (-52 - 0)*u/(-36)?
False
Is 17 a factor of -5*221*(234/45 + -6)?
True
Let d be (-20)/(-8) + 3/(-6). Suppose -3*p + j + 401 = 0, d*j - 683 = -4*p - p. Is p a multiple of 27?
True
Let l(x) = -x**3 + 8*x**2 - 4*x + 2. Let t be l(4). Let u = t - 33. Is 17 a factor of u?
True
Let p(h) = -6*h**2 - 3*h + 7. Let l be p(-11). Let c = -401 - l. Suppose -4*j + c = j. Is 13 a factor of j?
False
Suppose -4*m + 12 = 4*p, -p - 2*m - 3 = -2*p. Does 13 divide (18/8)/(p/156)?
True
Suppose -3*u + 12 = 0, 0*u = -5*o + 2*u + 2832. Is o a multiple of 16?
False
Let v(u) = 5*u**2 + 14*u - 22. Let h(r) = -14*r**2 - 42*r + 67. Let w(o) = 6*h(o) + 17*v(o). Does 43 divide w(15)?
True
Suppose -2*f + 5276 = 4*z, -541*f = -5*z - 538*f + 6606. Is 22 a factor of z?
True
Let c = 4 + -14. Let x(l) = -2*l - 2. Let s(m) = 5*m + 4. Let z(w) = 2*s(w) + 7*x(w). Is z(c) a multiple of 20?
False
Suppose -5*i + 40 = -4*t, -5*i = 3*t - 0*t + 30. Let v be (t/15)/((-2)/(-6)). Does 16 divide (-2)/(v - 171/(-87))?
False
Suppose 1176 = 4*m + 2*r, 3*m - 23*r = -27*r + 872. Does 26 divide m?
False
Is 29 a factor of 128/(-20) + 6 - 4568/(-20)?
False
Suppose -23*f = -1062 - 4941. Is 11 a factor of f?
False
Let o be (3 + 1)*-1 + -16. Let f = 2 - o. Does 11 divide f?
True
Does 25 divide 3*169 - (16 + -16)?
False
Let s = 122 - 26. Let o = s + -63. Does 3 divide o?
True
Suppose 3*m - 4*s = -5, -m + 0*s = -4*s + 15. Let z(f) = 4*f + 8. Let v be z(m). Does 13 divide v + -4 + 2 + 1?
False
Suppose -4*t + 55 = 5*r, r - 4*r + 46 = 5*t. Suppose 4*u + 420 = r*u. Does 22 divide u?
False
Let s = -27 - -36. Suppose -166 = -s*k + 8*k. Is k a multiple of 24?
False
Let r(k) = k**3 + 6*k**2 - 3*k + 5. Suppose -2*d - 11 = 3. Let q be r(d). Is q/(-2) - 3/(-6) a multiple of 9?
False
Suppose 12*o = -4*o + 2864. Suppose -o*x + 72 = -176*x. Is x a multiple of 3?
True
Suppose -2 = -7*t + 33. Suppose -w - 4*i = -110, 0*w - t*w + 475 = 5*i. Is w a multiple of 15?
True
Suppose -3*z + 4*z = 53. Let j = z + -50. Does 3 divide j?
True
Let i be 3/((-6)/4) + (-2 - -6). Suppose 563 = i*n - 4*r - 243, 0 = 2*r + 6. Is 63 a factor of n?
False
Does 17 divide ((-48)/(-36))/(4/18) - -939?
False
Suppose 1 = 4*i + 4*d - 3, 5*i = -d + 17. Suppose 4*r - 3*r = 4*z - 147, -5*z = i*r - 168. Is 14 a factor of z?
False
Suppose -2*p + 1391 = -1633. Is p a multiple of 18?
True
Suppose -2*s = -6*s + 8. Let z(f) = -114*f + 4. Let t be z(-1). Suppose -3*n - n = -s*g - t, -3*g - 57 = -2*n. Is 6 a factor of n?
True
Is (-165)/220*868/(-3) a multiple of 25?
False
Let h(l) = 96*l**2 - 1. Let u be h(2). Suppose -4*w + 809 = -u. Is 44 a factor of w?
False
Suppose -9*p + 60 = -4*p. Suppose -2*o + p = -5*l, -12 = -l + o + 3*o. Let v(k) = -12*k - 2. Is v(l) a multiple of 21?
False
Let i be ((-2)/5)/((-21)/210). Suppose -x = -i*z - 4, -z = 2*z + 2*x - 8. Suppose 3*p + z*p - 48 = 0. Does 8 divide p?
True
Let w(a) = 3*a**2 + 28*a - 10. Let b be w(-10). Let h(m) = -m**3 + 7*m**2 + 5*m - 6. Let q be h(7). Let l = q + b. Is l a multiple of 13?
True
Suppose 918 = 11*p + 6*p. Does 6 divide p?
True
Suppose 0 = -18*x - 59*x + 42350. Is 10 a factor of x?
True
Is 8 a factor of (-1 + 144)/(-14 + 15)?
False
Suppose 11 = -y - 74. Let l = y + 127. Does 21 divide l?
True
Let d be 5/(-1 - -2 - 0). Let q be (-184)/(-40) - (-4)/10. Suppose l + g + 127 = q*l, l = d*g + 8. Is 12 a factor of l?
False
Let j(m) = -m**3 + 5*m**2 + 6*m + 7. Let i be j(6). Let u = i - 10. Does 10 divide (-92)/(-8) + u/2?
True
Suppose -2*j - 100 = -7*j. Let v = j - 12. Suppose 4 = 3*c - v. Does 2 divide c?
True
Suppose -14 + 10 = g. Does 19 divide g/(4/3) + 79?
True
Suppose 0 = -5*c + 3*p + 1040, -3*p - 196 = -2*c + c. Is c a multiple of 17?
False
Let p = -86 - -94. Is p a multiple of 4?
True
Let s(o) = -o**3 + 15*o**2 - 3*o - 23. Does 34 divide s(6)?
False
Suppose -2504 = -3*w + 2*f, 6*w = 8*w + f - 1660. Does 9 divide w?
False
Let g = -1351 + 1657. Is 18 a factor of g?
True
Let x = -293 + 1363. Is x a multiple of 75?
False
Let x be (-2 + (-5)/(-3))/(9/(-4266)). S