+ 7 + z. Is p a multiple of 9?
False
Suppose -3*a + 3*h = h - 1108, -742 = -2*a - 2*h. Is a a multiple of 16?
False
Suppose 0*f = 2*f - 4*l + 8, 3*f - 3*l = -3. Suppose -10 = -f*p + p. Is 2 a factor of p?
True
Let v = 15 - 15. Let l(y) = y**3 - y**2 - 45. Let u be l(v). Let w = u + 80. Is 31 a factor of w?
False
Let a be ((-18)/(-12))/(3/10). Suppose -a*f + 0 = -25. Suppose f*o - 2*o + 60 = w, -w = -o - 58. Does 12 divide w?
False
Let j be -1 - ((-4)/(-4) - 7). Suppose 4*q - 673 = -j*n + 205, n = -2. Is q a multiple of 36?
False
Let d be -1 - (0 + (-3 - 1)). Suppose -d*u + 5*k + 104 = u, -2*k + 55 = 3*u. Does 19 divide u?
False
Let w = -15 - -9. Let h = -2 - w. Suppose 2*j - 4 = -2*c, 3*c - 10 + 39 = h*j. Is 2 a factor of j?
False
Suppose -2*l + 0*l + 5*b = -6, -3*b = -3*l. Does 2 divide (-5)/4*(-2 + l)?
False
Suppose 0 = -3*m - 3, 6*l - 11*l + 1036 = -m. Does 3 divide l?
True
Let k = 5 + -3. Suppose -n = r + k + 2, r + 2*n = -4. Is 3/(-24)*r*6 a multiple of 3?
True
Suppose 7*w = 2*w + 210. Let s = w + 70. Does 16 divide s?
True
Suppose -w = h - 4, -4*h = -w - w - 4. Suppose a - g + 3*g - w = 0, 3*g = 0. Suppose a*u - 14 = 34. Is u a multiple of 6?
True
Is (336/(-60)*4)/(4/(-30)) a multiple of 14?
True
Let a(d) = -116*d + 136. Is 40 a factor of a(-24)?
True
Is (10 - 3) + -5 + 10544/4 a multiple of 34?
False
Let n(v) = 16*v**3 - v**2 - 2*v - 3. Does 21 divide n(2)?
False
Let k(b) = b**3 + 4*b**2 - 4*b + 7. Let x be k(-5). Suppose -561 = -5*q + 2*o, 0 = -0*q + x*q - 2*o - 222. Is q a multiple of 17?
False
Let q(n) = n**2 + 11*n + 10. Let x be q(-10). Suppose 4*u + 8*g - 3*g = 504, x = 4*u + 3*g - 504. Does 14 divide u?
True
Suppose r - 11 - 65 = 0. Suppose 4*c - 4 = -4*w + 128, -3*w = -2*c + r. Is c a multiple of 7?
True
Let j be (90/10)/((-2)/158). Let z = -478 - j. Does 21 divide z?
False
Let x(a) = a**2 - 7*a + 5. Let m be x(7). Suppose 4*o - m*o = -3. Suppose -c + 57 = o. Is 12 a factor of c?
False
Is 40 a factor of (38/(-76))/(1/(-392))?
False
Let n(h) = 34*h**2 - 2*h - 2. Let t be n(-2). Suppose 49*u = 46*u + t. Is u a multiple of 14?
False
Suppose -15*q - 60 = -14*q. Let s = q + -30. Does 15 divide (-5346)/s - 3/(-5)?
True
Let g = 23 + -22. Suppose -3*x - 86 = -s, -x + 2 = g. Suppose 4*l - s = -1. Does 11 divide l?
True
Let o(d) = 3*d + 6. Let a be o(-2). Suppose 3*y + j - 4*j - 333 = a, 2*y - 5*j = 219. Is y a multiple of 9?
False
Let o(p) = 2*p**3 + 4*p**2 - 16*p - 2. Let m be o(7). Does 32 divide (m/30)/(-2*(-1)/10)?
True
Suppose 6*y + 3432 = 10*y. Is 17 a factor of 2*y/(1 + 5)?
False
Suppose 4*s + 2 = 5*s. Let b be ((-40)/12 + s)*-3. Suppose y - 2*h - 44 = -y, 2*y = -b*h + 62. Does 25 divide y?
True
Let j(z) = -z**3 - 4*z**2 - 3*z - 9. Let v be j(-4). Suppose 475 + 5 = v*c. Is c a multiple of 15?
False
Let s(n) = n**3 + 10*n**2 + n + 2. Let r be s(-4). Let w = r - 28. Is 12 a factor of w?
False
Does 35 divide 6282/45 - ((-8)/10)/2?
True
Suppose 11*d = 18*d + 1365. Let i = -115 - d. Is 15 a factor of i?
False
Let p(x) = -26*x**3 - 70 + 131 - 62 + 87*x**3. Does 10 divide p(1)?
True
Let w be 2*404/8 - -3. Suppose -w = -0*y - y. Is y a multiple of 24?
False
Let p(w) = -3*w + 49. Is 5 a factor of p(-5)?
False
Let m be (-16)/(24/9 - 4). Let s(a) = 2*a**3 - a**2 + 4*a + 3. Let f be s(4). Suppose 5*w - 2*u - 344 = m, -2*w - 3*u = -f. Is 14 a factor of w?
True
Is 19 a factor of (-2)/21 - ((-26466)/(-126))/(-11)?
True
Let a = -103 - -91. Is 26 a factor of ((-256)/a + 0)*3?
False
Let x = 33 + -42. Let t be 250/x + 4/(-18). Is 4 a factor of (-9 - 1)*t/35?
True
Let m be ((-34)/5)/((-3)/(-45)). Let v be (-2)/3 + m/9. Let c = -5 - v. Does 3 divide c?
False
Suppose -2*l + l = 3*b - 91, -3*l = -3*b + 75. Suppose -5*g + 22 = -3. Suppose v - b = -g*n, 4*n + 1 = v + 2*n. Is 3 a factor of v?
True
Suppose 0 = 29*g - 700 - 141. Is g a multiple of 29?
True
Is 5 a factor of -5 - (0 - -36)*(32 - 36)?
False
Suppose -5*t - 5408 = -9*t. Does 8 divide t?
True
Suppose 5*p - 15 - 15 = 0. Suppose -6*n = -3*n - p. Suppose -n*m + 1 = -19. Is m a multiple of 2?
True
Let d(i) be the second derivative of i**4/6 + i**3/3 - 25*i**2/2 - 4*i. Is 7 a factor of d(-6)?
True
Let m(o) = o**2 + o + 11. Suppose t + 12 = 2*w - 13, -w + 2*t = -8. Suppose 2*u = 6 + w. Is 38 a factor of m(u)?
False
Let g(b) = -b**3 - 6*b**2 + 5. Let q be g(-6). Suppose -2*j + q*j - 15 = 0. Suppose -29 = -j*l + 21. Is l a multiple of 5?
True
Let u(n) = n**2 + 5*n - 4. Suppose c + 6 = -0*c. Let j be u(c). Suppose -o + 139 = j*o - q, 43 = o - q. Is o a multiple of 9?
False
Suppose 5*d = 2*u - 375, -5*u = -8*d + 3*d - 975. Is u a multiple of 25?
True
Let i be (-19)/7 + (-18)/63. Let o(h) = 10*h - 30. Let w(f) = 2*f - 6. Let p(s) = i*o(s) + 16*w(s). Does 5 divide p(8)?
True
Suppose -3*o - l = -8*o + 8999, 2 = 2*l. Does 50 divide o?
True
Let u(c) = c**2 - 17*c - 17. Is 82 a factor of u(-5)?
False
Suppose 53*x + 5760 = 68*x. Is x a multiple of 16?
True
Let y(u) be the first derivative of 4*u**3/3 + u**2/2 + u + 5. Let a be y(-1). Suppose -a*p + 87 = -p. Is 8 a factor of p?
False
Let z = 10 + -6. Let w(v) = -2*v**3 - v**2 - 1. Let h(c) = -3*c**3 - 5*c**2 - 5*c - 3. Let r(n) = -h(n) + 2*w(n). Is 5 a factor of r(z)?
True
Suppose -5*t = -372 - 578. Suppose -t = -3*b - 22. Is 14 a factor of b?
True
Let f = -2393 + 3645. Does 55 divide f?
False
Let a(b) = -b**2 - 4*b + 11. Let k be a(-5). Suppose -k*y + 1366 - 112 = 0. Is 31 a factor of y?
False
Let f be (-4551)/21 + (-2)/7. Let y = -147 - f. Is 10 a factor of y?
True
Let w(l) be the third derivative of -41*l**4/24 + 2*l**3/3 - 3*l**2. Let t be w(2). Let m = t - -120. Is m a multiple of 21?
True
Is (-21)/6 + (-110890)/(-52) a multiple of 28?
False
Suppose 0 = -5*c - r + 2236 - 667, -c = 3*r - 311. Let h = -118 + c. Is h a multiple of 14?
True
Let b be (-19)/(-4) + 6/(-8). Suppose -3*l = b - 1, -4*u - 1 = -3*l. Is u + 60 + 6/2 a multiple of 31?
True
Suppose 0 = -125*o + 132*o - 1463. Is 11 a factor of o?
True
Let q(w) = 35*w**3 - w**2 + 4*w - 16. Is q(2) a multiple of 4?
True
Let m = 201 - -68. Is m a multiple of 9?
False
Let h = 178 + -106. Suppose 10*o = 2*o + h. Is o a multiple of 3?
True
Let g = 108 - 114. Does 30 divide (270/(-7))/(301/(-49) - g)?
True
Does 33 divide 9/(360/161696) + (-6)/(-10)?
False
Suppose -4*v + 5*g = -13269, 2*g + 6634 = 75*v - 73*v. Does 23 divide v?
False
Let f(g) = g. Let v(o) = -2*o + 24. Let t(k) = 4*f(k) + v(k). Let m be t(-10). Suppose 3*s = -m*l + 99, 2*s = 2 - 0. Is 8 a factor of l?
True
Let u be (-132)/(-27) - (-2)/18. Is 13 a factor of (-120)/(-2) - (-20)/u?
False
Let k = -5 - -10. Suppose 0*s - 4*s - 17 = -v, k*s - 5 = -4*v. Does 11 divide 44/(0 - (s + 1))?
True
Let c be (-4)/(3 - (-14)/(-4)). Let q be (4/c)/((-1)/(-6)). Suppose q*j - 21 = -j + f, 0 = 4*j + 4*f + 4. Is j a multiple of 4?
True
Let y = 7 - 5. Suppose 2 = -y*h - 4. Does 24 divide h*4*74/(-12)?
False
Let i(c) = -3*c**2 + 8*c - 13. Let v be i(7). Does 4 divide 7/((-28)/v) - (5 - 2)?
False
Let n(t) = -24*t + 14*t - 12*t - 1 - 4. Is n(-3) a multiple of 3?
False
Suppose 0 = -10*l + 4674 + 576. Does 13 divide l?
False
Let z(a) = -136*a + 146. Is z(-6) a multiple of 26?
True
Let j be (-5 - -2) + 6 + 1. Let r = j - 0. Suppose -y - 84 = -2*i, 3*y + 159 = r*i - 13. Is 10 a factor of i?
True
Suppose 40*d - 43*d - 15 = 0. Is -6*-6*d/(-10) a multiple of 4?
False
Let p be ((-2)/(-3))/((-8)/(-264)). Let l = p + 39. Is 9 a factor of l?
False
Let h(v) = -2*v - 2. Let s be h(-1). Suppose -4*k = s, -2*d - 18 = 2*k - 2. Let a = d - -80. Is a a multiple of 24?
True
Let r = -8 - -21. Let a = r + -11. Suppose a*b + 0*b = -3*l + 112, 5*l - 4*b - 172 = 0. Does 12 divide l?
True
Let g = 275 - 67. Suppose -3*d + g + 56 = 0. Is 22 a factor of (d/(-6))/((-18)/27)?
True
Suppose -3*y - y + 16 = 0. Suppose 4*o = 2*q - y*q - 58, -q - 31 = 3*o. Let n = 7 - q. Does 9 divide n?
False
Let c(u) = 4*u**2 - 3. Let t(x) = x**2 - 1. Let m(s) = 2*c(s) - 6*t(s). Let h be m(1). Suppose 37 + 11 = h*d. Is 24 a factor of d?
True
Let u(r) = -r**2 - r + 6. Let g be u(-3). Suppose c + g*c = 0. Suppose 2*q + 16 = t, t + c*t = -q + 28. Is t a multiple of 6?
True
Let x be (-2 - -8)*2/6. Let f = x + 8. Does 7 divide f?
False
Let p = 602 + 64. Is 37 a factor of p?
True
Let f(o) = 2*o**2 - 5*o - 29. Let d be f(-9). 