. Let a be v(3). Let x be p(a). Let d = 19 - x. Is d even?
True
Suppose 15*c = 13 + 32. Suppose c*s + 3*q = 636, 6*s = s + 3*q + 1020. Is 60 a factor of s?
False
Let m = 73 - 62. Suppose m - 56 = -5*j. Does 20 divide ((-240)/j)/((-2)/6)?
True
Suppose -25*q - 1416 = 409. Let k = q - -157. Is k a multiple of 25?
False
Let a be 1/2 - (6 - (-52855)/(-10)). Suppose -39*f = -50*f + a. Is 80 a factor of f?
True
Let z(p) = 51*p - 3*p - 35 - 8*p + 85*p. Is z(2) a multiple of 26?
False
Let j = -39 + 42. Suppose -5*f - 10 = 0, -j*f - f - 296 = -4*c. Is c a multiple of 37?
False
Is 11 a factor of -1 - (-72)/90 - (-62712)/10?
False
Let m(l) = -38*l**3 + 4*l**2 - 9*l - 65. Is 16 a factor of m(-3)?
True
Let u = -54 - -58. Suppose 1824 = 3*m - 3*x + 306, -u*x + 2008 = 4*m. Is m a multiple of 72?
True
Let n(a) = 2*a + 4. Let j be n(-1). Suppose 5*i + 5*t = -16 + 1, 0 = -j*i + 4*t + 24. Let d = i + 28. Is 15 a factor of d?
True
Let t = -4284 - -7038. Is 32 a factor of t?
False
Suppose 375452 = -1007*z + 1113*z. Is z a multiple of 46?
True
Let a be (2860/91)/(1/21). Suppose 5*u = -5*j + a, 3*u + 666 - 131 = 4*j. Is j a multiple of 25?
False
Let f = -13382 - -31497. Is f a multiple of 81?
False
Let a = 233 - 131. Suppose 5*s + 2*h - a = 0, -5*s + 5*h - 5 = -100. Does 20 divide ((-60)/(-25) - 6/15)*s?
True
Suppose 0 = -4*i - 7*d + 715 + 659, 0 = 5*i - 5*d - 1800. Is i a multiple of 96?
False
Let a(k) = -7*k + 21. Let u be a(1). Is 47 a factor of (-7)/(u/10) + 475?
True
Suppose 0 = -809*b + 831*b - 1266496. Is b a multiple of 14?
True
Let m be ((-5)/(25/6))/((-147)/90160). Let d = m + -459. Is d a multiple of 9?
False
Let d = 15922 - 5695. Is d a multiple of 68?
False
Let p be ((-10)/(-30))/(1/(-54)). Is (p/10)/(4/(-160)) a multiple of 12?
True
Let z(j) = -4*j - 2*j - 78 + 7*j + j**2. Let m be z(0). Let t = m - -130. Is t a multiple of 13?
True
Let k(v) = 27*v + 19. Let g be k(8). Suppose 0 = 4*l + d + 325, 3*l + d - g = 6*l. Is (l/(-15) + -6)/((-2)/519) a multiple of 16?
False
Let j(h) = 3676*h - 720. Is 170 a factor of j(9)?
False
Let j = 24050 - 15818. Is j a multiple of 147?
True
Let m(j) = -4*j - 3. Let y be m(14). Let w = y - -54. Let s = 25 + w. Does 3 divide s?
False
Does 46 divide (-65457)/(-24) + (-18)/48?
False
Let l = 15421 + -2029. Does 48 divide l?
True
Let d = 12 + -10. Suppose -1 = -d*q + q. Let m = q - -39. Is m a multiple of 37?
False
Suppose 4*n = -u - 1, 0*u = -3*n + 4*u + 4. Suppose -594*l + 601*l - 1218 = n. Is l a multiple of 5?
False
Let v(x) = x**2 + 14*x + 11. Let b be v(-14). Suppose -962 = -2*c - b*c. Let z = 35 + c. Is 36 a factor of z?
False
Let j(b) = b + 11. Suppose 7*g + 25 = -52. Let p be j(g). Let y(a) = -6*a + 12. Is 12 a factor of y(p)?
True
Let o(p) = 47*p**3 - 2*p**2 + 4*p + 17. Let i be o(7). Suppose 0 = -29*n + i - 2032. Is 9 a factor of n?
False
Let b(n) = 7*n + 11*n + 10 - 20 - 7*n. Let x be b(4). Does 10 divide 3/(-1) - (1 - x)?
True
Let a = 50 + -48. Suppose 0 = -a*x + 6 - 2. Suppose -127 = -3*b + x*k, -b + 4*k - 3*k = -44. Is b a multiple of 6?
False
Let m(v) = -5399*v + 545. Is m(-5) a multiple of 36?
True
Does 19 divide 7070 + (14 + 594/(-44))*2*-1?
False
Let r = -212 + 540. Suppose -f - 110 = -z, -4*z - f + 117 = -r. Is 51 a factor of z?
False
Let w be (41/4 - 1)*(178 - -34). Let i = -1251 + w. Does 81 divide i?
False
Let y = -6300 + 12912. Is y a multiple of 19?
True
Let a be ((-6)/(-4) + -3)*(372 + -2). Let u = 331 + a. Does 22 divide 2/(-5) + u/(-10)?
True
Suppose 23*h + i + 19472 = 26*h, -h - i + 6484 = 0. Is h a multiple of 46?
False
Let l(y) = 354*y**3 + 4*y**2 - 12*y + 10. Is l(2) a multiple of 74?
False
Suppose 336*k = 337*k - 2*r - 2018, 0 = 5*k + 4*r - 10034. Is 134 a factor of k?
True
Suppose 2*h + 935 = 947. Suppose 0 = 3*m + h, -w + m = 3*m - 588. Does 15 divide w?
False
Let g(h) = h**3 - 3*h**2 - 12*h - 11. Let c be (-8)/16*1*-12. Is 2 a factor of g(c)?
False
Let t be 0 - -1 - 1 - -2. Let r be ((-25)/(-10))/(t/4). Suppose 920 = 5*i + r*x, -4*x + 405 = 2*i + 27. Is 16 a factor of i?
False
Suppose -3866 + 7394 = 6*u - 17184. Is u a multiple of 13?
False
Let t(m) = m**3 + 7*m**2 + 7*m - 12. Let p be t(-6). Let f be 202/2 + p/9. Let l = f - 86. Does 2 divide l?
False
Suppose -3*o + 0*t = 5*t + 29, 74 = -3*o + 4*t. Let n be 30/(-6)*(o/5 + 0). Suppose -n - 4 = -r. Does 7 divide r?
False
Suppose -j = -2*v, 4*j + 6*v = 4*v + 10. Suppose -4*b = -j*h + 358, -4*h = 5*b - b - 776. Is 10 a factor of h?
False
Let j(d) be the third derivative of -1/4*d**4 + 0*d + 34/3*d**3 + 21*d**2 + 1/60*d**5 + 0. Is j(0) a multiple of 6?
False
Let s(r) = -r**3 + 6*r**2 - 4*r - 4. Let o be s(5). Let g = -1 + 24. Suppose -c + o = -g. Is c a multiple of 12?
True
Suppose 67*f = 124*f + 1360 - 14869. Is f a multiple of 21?
False
Suppose -325*v = -2970741 - 231129 - 6959580. Does 162 divide v?
True
Let a(q) = -6*q**3 - 11*q**2 + 6*q + 5. Let l be a(-5). Suppose 4*z + n = 1164, n - l - 422 = -3*z. Is z a multiple of 19?
False
Does 86 divide (1/(-5)*24)/((-72)/92880)?
True
Let n(h) = -3*h**3 - 32*h**2 - 40*h - 45. Is n(-22) a multiple of 35?
False
Is 18 a factor of (-180)/(-42) + -4 - (-376518)/42?
False
Let d(n) be the first derivative of -n**4/4 - 7*n**3/3 + 5*n**2 + 13*n - 3. Suppose 0 = -67*s + 61*s - 54. Is d(s) a multiple of 19?
False
Let o be 3/(-7) + 306/126. Suppose -9 - 29 = -3*p - o*c, -3*p + 2*c = -22. Is 5 a factor of p?
True
Let b = 51 - 49. Suppose -5*s + 5*a = -606 + 26, -b*a - 119 = -s. Let o = s + 11. Is o a multiple of 31?
True
Let h(k) = k**3 + 18*k**2 - 6. Is 4 a factor of h(6)?
False
Suppose -429626 = -32*g - 144698. Does 2 divide g?
True
Suppose n - 2*h + 8 = -0*n, -2*n - 3*h = -5. Let b be (n + -1)/(21/(-434)). Suppose 3*q = -4*x + 172, -x = 3*q - 4*q + b. Does 20 divide q?
True
Let h = -24 + 28. Suppose -h*w = -w + 87. Let r = 111 - w. Is 18 a factor of r?
False
Suppose -c - 10 = -p, -5*c - 24 = -3*p + 16. Is (c + 23)*(-46)/(-6) a multiple of 14?
False
Suppose -6*r - 2 + 38 = 0. Suppose r*n - 9*n + 1564 = -5*f, -f + 2116 = 4*n. Is n a multiple of 66?
True
Let t(v) = -143*v**3 + 3*v**2 - 2. Let z be t(-1). Suppose -5*q + 808 = 2*h, z = q - 3*h - h. Suppose 4*s - q = 2*g, s - 34 = -g + 3*g. Does 17 divide s?
False
Suppose 0 = 30*z + 5*z - 770. Suppose 5*b - 49 = 23*x - z*x, 0 = 2*b - 3*x - 30. Does 2 divide b?
False
Let q be -3 - (-1 - -3 - 2). Let l(p) = 6*p**2 + 5*p + 11. Let g(k) = -18*k**2 - 14*k - 33. Let o(h) = 2*g(h) + 7*l(h). Is 5 a factor of o(q)?
False
Let s(r) = r**2 + 7*r - 9. Let q be s(-11). Let o = 37 - q. Suppose -334 = -2*t - 4*g, -o*g = 2*t + 3*t - 811. Is 16 a factor of t?
False
Is 9 a factor of 12*(-506)/207*-9?
False
Let k(d) = 24*d**3 - 2*d**2 + d. Let c be k(1). Suppose -15*l - 64 = -c*l. Is 2 a factor of l?
True
Let l = -324 - -326. Suppose 0 = -4*i + 3*j + 2086, 948 + 88 = l*i - 5*j. Is i a multiple of 16?
False
Let r(t) be the second derivative of t**3/6 + t**2/2 - 3*t. Let q be r(2). Suppose 72 = k + q*k. Is k a multiple of 7?
False
Suppose 8*o + 2*o + 20 = 0. Let s be 3 + ((-1)/(-4))/(o/8). Suppose -s*c = -8, 4*c - 367 = -5*a - 61. Is a a multiple of 8?
False
Suppose 10*g - 120 = 15*g. Let y = g + 102. Is y a multiple of 13?
True
Suppose 315*x = 4*n + 312*x - 149829, 5*x = n - 37470. Is 44 a factor of n?
False
Let p(s) = -3252*s + 17539. Is p(-18) a multiple of 85?
True
Suppose -59*j + 100441 = 100*j + 14581. Does 45 divide j?
True
Let z(o) = o**3 - 6*o**2 + 7*o - 10. Let q = 29 - 23. Suppose 6*n - 72 = -q*n. Is 16 a factor of z(n)?
True
Let u(n) = -583*n + 2010. Is u(-8) a multiple of 142?
True
Let k be 5 - (36/(-60) + (-9)/(-15)). Let u(l) = 61*l + 165. Is 10 a factor of u(k)?
True
Suppose 0 = 3*m + 5*s - 479 - 106, -2*s + 390 = 2*m. Suppose -3*n + m = 3*t, 0 = n - 2*n + 3*t + 57. Does 6 divide n?
False
Suppose 4*a - 18 = 2*w, -3*a - w = 3*w + 14. Let d be ((-4)/3*-1)/(a/3). Let y(g) = 14*g**3 - 2*g**2 - 5*g + 6. Is 12 a factor of y(d)?
False
Suppose -5*q = -u - 172385 + 68432, 20784 = q + 2*u. Is q a multiple of 165?
True
Let w(r) = 6*r**2 + 58*r + 16. Let f be w(-8). Let t = -24 - f. Is t a multiple of 3?
False
Let j(g) = 12 + 11*g**2 + 9*g + 0*g**2 + g**3 - g**2. Let l be j(-9). Suppose -l*h + 375 = -1005. Does 29 divide h?
False
Suppose 24*k + 35087 = 37*k. Suppose -k = -12*j + 