se -2*d - 194 = -3*d + j, -965 = -n*d + v*j. Is d a multiple of 39?
False
Suppose -5*y + 2055 + 12155 = 2*y. Is 14 a factor of y?
True
Let q(c) = 2*c + 5. Let l be q(3). Let z = -7 + l. Is 7 a factor of -6*21*z/(-6)?
True
Suppose 0 = 144*s - 166*s + 1264 + 81236. Is s a multiple of 84?
False
Suppose -f - 6 = -4*t + 60, -2*f - 81 = -5*t. Suppose -x + t = 16. Let r(h) = 40*h**2 - 7*h + 7. Is 10 a factor of r(x)?
True
Let f be (-6)/1*(-8)/24. Suppose -3*p + z + 415 = 0, -f*p + 337 = -4*z + 77. Is 28 a factor of p?
True
Suppose 4*b + 8 = -3*i + 3, 2*b + 3*i = -1. Is (3/b)/(1 - 86/80) a multiple of 7?
False
Let w = 860 + -1224. Let x = w + 611. Does 19 divide x?
True
Let v(q) = -3*q**2 - 12*q - 5. Let p be v(-3). Suppose 97 = p*f + 13. Is 2 a factor of f?
False
Let x = -1082 - -1666. Let r = x + -500. Is r a multiple of 19?
False
Let a = 301 + 133. Does 11 divide a?
False
Suppose -6 = 4*u - g - 20, 0 = 2*u - 2*g - 10. Suppose u*v + 810 = 3*z, -3*z + 806 = -0*z - 2*v. Is 38 a factor of z?
True
Is -1 + (((-17141)/2)/(-1) - (-1)/(-2)) a multiple of 8?
False
Let a = 1756 + -13. Suppose -6643 = -10*q - a. Does 7 divide q?
True
Let v(n) be the second derivative of -5*n**5/2 + n**4/12 - n**3/2 - 3*n**2/2 - 20*n. Is v(-2) a multiple of 11?
True
Suppose 0 = -46*l + 55 + 175. Suppose 3068 = -l*t + 7648. Is t a multiple of 24?
False
Let f(d) = -d**2 + 6*d + 42. Let z(i) = -i**3 + 6*i**2 + 11*i - 58. Let q be z(6). Is 2 a factor of f(q)?
True
Suppose -4*j + 2*g = -12, -j - 3*g = g + 6. Let h be (1 + 2)*(j + -1). Suppose 5*z = -15, 2*d + h*z + 2 = -z. Does 2 divide d?
False
Suppose 20941 + 4265 = 6*f + 2214. Is f a multiple of 7?
False
Suppose -5 = -2*d - 2*f + 3, 2*f + 4 = d. Suppose 3*y - 5*r = 659, -d*y - 2*r = -3*r - 907. Is 12 a factor of y?
True
Suppose 0*m = 11*m - 2*m. Suppose -3*h - 4*h + 259 = m. Does 3 divide h?
False
Suppose 5*x = -2*t + 2937, -6 = -3*t - 3. Suppose 0 = 3*c - 2*c - x. Is 22 a factor of c?
False
Let h(w) be the third derivative of w**5/30 + 5*w**4/8 - 4*w**3 - 2*w**2. Suppose 429 = -16*f - 17*f. Does 10 divide h(f)?
False
Suppose 0 = -30*y + 2202 + 1908. Let d = 150 + y. Is d a multiple of 16?
False
Let q(l) = 2*l**2 + 11*l + 34. Let b be q(-12). Suppose 0*c + 5*a = 3*c + 344, -4*a - 8 = 0. Let j = b + c. Is j a multiple of 24?
True
Let g = 227 + -216. Suppose -g*c = -565 - 1492. Does 11 divide c?
True
Suppose 5*l - 3*d = 35, -5*l + 5*d = -16 - 29. Suppose -29*g = -31*g - l. Is 21 a factor of ((-38)/(-4))/(g/(-12))?
False
Suppose 4*c - 2*c - 918 = 4*p, -2*c + 3*p = -914. Is c a multiple of 2?
False
Suppose 9*c - 98 = -5*c. Suppose n - 224 = -c*n. Does 7 divide n?
True
Suppose 0*o = -5*o - 20. Let z be 1 + 3 + o/1. Suppose 3*v = -3*x - v + 686, z = 5*x + v - 1115. Is x a multiple of 22?
False
Suppose 75*a + 43*a = 156*a - 1258180. Does 14 divide a?
True
Let o = -440 - -729. Suppose 4*x = o + 287. Does 9 divide x?
True
Suppose -n = 4*n - 225. Let r be ((-1)/(-5))/1 - (-3906)/n. Suppose 238 = 3*c + 2*l, 2*l = -c + r - 5. Does 26 divide c?
True
Let d(f) = -5*f - 103. Let n be d(-21). Suppose -411 = -4*w + c, -w + 2*w = n*c + 108. Is w a multiple of 15?
False
Let i(y) = -4*y - 90. Let h be i(-22). Is 8 a factor of ((-4)/h + -5)*148/(-6)?
False
Suppose -2*b + 25351 = -5*u, -5*u - 50727 = -183*b + 179*b. Is b a multiple of 13?
True
Let o(q) = -133*q - 4255. Does 60 divide o(-35)?
False
Suppose -9*x - 742 = 5*x. Let l = -54 - x. Is (-2*l/2)/(11/220) a multiple of 13?
False
Suppose 390 = l - 604. Suppose 1105 = 3*i - 4*c - l, -i = 4*c - 721. Suppose 10*p - 1995 = i. Does 54 divide p?
True
Let n(m) = -33*m**3 - 29*m**2 - 14*m + 3. Is n(-8) a multiple of 7?
True
Suppose 0 = -2*o - 44*o - 10396. Does 43 divide (o - -12)*(-1 + 0)?
False
Let t = -581 + 581. Suppose t*v = -v + z + 40, 5*v - 180 = z. Does 7 divide v?
True
Suppose 346*b + 241450 = 396*b. Is 95 a factor of b?
False
Suppose 0*n = -2*n + b + 166, 4*b + 160 = 2*n. Suppose 2*x + n = 2*k, -3*x = -4*k + 126 + 44. Does 9 divide k?
False
Is 25674/(-12)*(62 + -84) a multiple of 23?
False
Suppose j + 467 = 4*n, -n - 1326 = 5*j + 1093. Let v = 37 - j. Is v a multiple of 20?
True
Suppose -49230*u - 57000 = -49238*u. Does 24 divide u?
False
Let m(w) = -2*w**3 - 14*w**2 - 15*w - 29. Suppose 10 + 7 = -z - 3*n, 0 = 2*z + 3*n + 28. Does 48 divide m(z)?
True
Suppose 5*a - 1 = 2*j + 13, -4 = -2*j - 4*a. Let o(f) = -565*f + 2. Is 9 a factor of o(j)?
False
Let t(q) = 4*q**2 - 13*q + 7. Let k be t(-9). Is (-56)/70 - k/(-10) a multiple of 11?
True
Suppose 432*o = 186150 + 1344858. Is 42 a factor of o?
False
Is (4 + 6664/3)*2/(16/66) a multiple of 171?
False
Let n = -65 - -69. Let r(z) = -68*z - 9. Let p be r(n). Let g = 425 + p. Does 36 divide g?
True
Suppose 7*p = 9*p - 20. Let y be (-5)/(p + -5)*0/1. Suppose y = 3*i + 44 - 188. Does 8 divide i?
True
Suppose -21*z + 17901 + 124792 = -11594. Is z a multiple of 42?
False
Is (-48)/36 + (-10630)/(-3) a multiple of 23?
True
Let a(o) = 6 + 133*o**3 - 55*o**3 - 8 + 5*o - 2*o**2. Is a(1) a multiple of 12?
False
Does 7 divide (-6)/7 + 1 + (-2586068)/(-5866)?
True
Suppose 10 = -2*x + 4*h, 5*x + 3*h - 17 - 10 = 0. Suppose -2*m = x*j - 0*j + 5, 2*m - 5*j = 3. Is 22 a factor of m*2 + 20*(-6)/(-5)?
True
Let u be (-1 - -72) + (0 - -3). Let g = u - 67. Is g/((-21)/(-6)) + 400/4 a multiple of 36?
False
Suppose 389*y = 405*y - 148240. Is y a multiple of 167?
False
Let k = -3845 + 6964. Is k a multiple of 19?
False
Let b = -57 + 62. Let z(w) = w**2 - 8*w + 16. Let u be z(b). Does 8 divide 0 - (1026/(-12) - u/2)?
False
Let h(u) = -75*u**3 + 5*u**2 - 3*u + 12. Is h(-3) a multiple of 112?
False
Let w be ((-1)/6)/((-16)/192). Suppose 3*s - 388 = w*n, -5*s + 22*n + 644 = 20*n. Does 8 divide s?
True
Let q = 8186 - 1838. Is q a multiple of 23?
True
Let q = 182 - 267. Let o = 46 - q. Does 3 divide o?
False
Suppose -22*p - 3534 = -24*p - x, -3*x = -3*p + 5319. Is p a multiple of 6?
False
Let o(x) = -200*x**3 + 74*x + 205. Is 7 a factor of o(-3)?
True
Let x(q) = 413*q**2 - 46*q + 117. Is 11 a factor of x(3)?
True
Let l(c) = 2*c**3 - 7*c**2 - 2*c + 57. Let d(z) = -2*z**2 + 2*z + 60. Let k be d(6). Is l(k) a multiple of 9?
False
Let c(n) = -3*n + 54. Let v be -22 + (5 - (-20)/(-4)). Let m be c(v). Let w = -79 + m. Does 6 divide w?
False
Suppose 0 = -8*w - 5672 - 33976. Let x be (w/(-15) - -2)/(2/10). Suppose 0 = -5*o + 11*o - x. Is 43 a factor of o?
False
Does 17 divide (33 - 13 - 23)*(0 - (-10501)/(-3))?
False
Let c(b) = -19*b**2 - 1674*b - 126. Is c(-87) a multiple of 27?
True
Suppose 3*a - 24 = 4*y - 7*y, -2*y + 2*a + 4 = 0. Suppose -4*o + 9 = -o, -y*o - 585 = -4*t. Is 15 a factor of t?
True
Let p(c) = 16*c + 67. Let w be p(-4). Is 31 a factor of -5 + (5 - w/1*-372)?
True
Let q = -5793 + 9284. Is 5 a factor of q?
False
Suppose 2*y + 2 = 0, 2*j + 3*y + 0*y = 4799. Is j a multiple of 45?
False
Is 128 a factor of (10 - (-344547)/35) + 1/(-5) + 2?
True
Suppose -308*p + 170*p - 182528 = -169*p. Does 2 divide p?
True
Let x(n) = -n - 13. Let q be x(-12). Let s(g) = -88*g**3 - 2*g**2 - 3*g - 2. Let p be s(q). Suppose -2*w = -5*r + 467, p = 2*r + 3*w - 96. Does 31 divide r?
True
Suppose 0 = -k - 5*u - 15, -5*u + 3 = -6*u. Suppose k = 4*q - 839 + 91. Suppose 4*p = -w + q, p + 0*p - 5*w = 73. Is 17 a factor of p?
False
Suppose -5*f = -2*s + 48, 0*s - 72 = -3*s + 5*f. Let u = -2 - s. Let p = 5 - u. Does 13 divide p?
False
Suppose 4*j - 72 = 2*c, -4*c - 104 - 25 = -3*j. Let i(x) = 5*x - 44. Let q be i(25). Let a = c + q. Is 17 a factor of a?
True
Suppose -w + 0*w = 2*j - 6, -2*j = 2. Suppose 3*k - w = 7. Suppose -2*v + 386 = k*q, 34 - 356 = -4*q + 5*v. Does 17 divide q?
False
Let p = 26 - 24. Suppose u - 5*o = 21 - p, -4 = 4*o. Suppose -2*y + 34 + u = 0. Is 6 a factor of y?
True
Let m(f) = -f**3 - 13*f**2 + 7*f + 38. Let p(g) = -g**3 + 9*g**2 - g - 5. Let v be p(9). Is 11 a factor of m(v)?
False
Suppose 0 = -4*q - 0*q - 0*q + 28036. Is 64 a factor of q?
False
Let x(t) be the first derivative of 5*t**4/4 - 2*t**3/3 - 7*t**2 + 2. Let s(g) be the second derivative of x(g). Does 44 divide s(6)?
True
Let x(j) = -j**3 + 7*j**2 - 5*j - 2. Let o be x(6). Suppose -o = 6*l - 8*l. Suppose -114 - 64 = -l*d. Is 19 a factor of d?
False
Let l(b) = 2*b - 828. Let r be l(0). Let c = r - -1665. Does 31 divide