= -51 + j. Does 8 divide z?
False
Let w(a) be the second derivative of -a**4/12 + 12*a**2 - 3*a. Is 11 a factor of w(0)?
False
Suppose p - 12 = -2*p. Suppose -12 = -p*c + c, 3*w + c - 34 = 0. Is 10 a factor of (-232)/(-9) - w/(-45)?
False
Let y be 0/(-6) - (0 - -113). Let x = -57 - y. Is 15 a factor of x?
False
Let j(d) = d**2 + d - 18. Let c = -2 + 2. Let y be j(c). Does 16 divide (-4)/y + (-885)/(-27)?
False
Let a = 0 - 0. Suppose -h = -15 - a. Does 5 divide h?
True
Let r = 0 - -3. Suppose 2*d + 249 + 81 = 4*n, r*n - 2*d - 247 = 0. Suppose 4*l - v - 89 = 0, 5*v = l - 5*l + n. Is l a multiple of 11?
True
Suppose -j - 7*j = -704. Is 19 a factor of j?
False
Let s(a) = a**3 + 2*a**2 + 2*a + 2. Let k(j) = j**2 + 1. Let h(l) = 4*k(l) + s(l). Let q be h(-6). Does 4 divide q/12 - (-15)/2?
False
Is 18 a factor of ((-27)/12)/(1/(-40))?
True
Suppose -32 = -2*s + 310. Is 15 a factor of s?
False
Let v be 28/(-6) + 8/12. Let a be (6/4)/(2/v). Let u(r) = -r**3 + 4*r + 1. Is u(a) a multiple of 7?
False
Let h be (-6)/(-2)*8/(-6). Let f be ((-8)/10)/(h/30). Let d = f - -7. Is 9 a factor of d?
False
Suppose -4*m + 12 = 4. Suppose 0 = 2*h - l - 83, m*h - 68 = 4*l - 6*l. Is 13 a factor of h?
True
Suppose -5*a + 2 = -303. Does 12 divide a?
False
Suppose 2*h = -h - 12. Is 6/(-4)*h/2 even?
False
Let m(o) = -o**3 - 7*o**2 + 10*o + 4. Let x be m(-8). Is 10 a factor of (x/(-10))/((-2)/(-50))?
True
Let h(a) = a**2 + 8*a + 5. Let r be h(-9). Let z = 21 - r. Does 7 divide z?
True
Let r be ((-3)/(-1))/((-2)/(-2)). Let y(o) = -2*o**3 - o**2 - o. Let m be y(-1). Suppose -u - 4*l + 16 = l, m*u - 25 = -r*l. Is 10 a factor of u?
False
Suppose -2*b - b = 0. Suppose 4*w - 2 - 6 = b. Is 79/9 - w/(-9) a multiple of 3?
True
Suppose -5*g + 6*g + 81 = 0. Let m = g + 129. Does 24 divide m?
True
Suppose 0 = -0*q + 2*q - 164. Suppose -5*r = -q - 183. Is 15 a factor of r?
False
Suppose -5*p + 12 = 92. Does 24 divide (-3)/(-4) + (-756)/p?
True
Is (-64578)/(-329) - (-4)/(-14) a multiple of 14?
True
Let d(q) = 46*q**2 + 4*q - 2. Is 19 a factor of d(1)?
False
Let d(n) = -n**2 + 2*n - 5. Let h be d(6). Let j = h - -47. Does 18 divide j?
True
Let s = -13 - -18. Let q be (-1)/(-2) - s/2. Let p(g) = 3*g**2 + g - 2. Does 4 divide p(q)?
True
Suppose 3*m - 1 = 65. Let n = m + -13. Is 9 a factor of n?
True
Let s(m) = 3*m**2 + 4*m - 2. Does 19 divide s(3)?
False
Let r be (34 - 1) + -4 + 4. Let t = r - 21. Let y = t + 3. Is y a multiple of 6?
False
Let w = -3 - -6. Let m(s) = -5*s**3 + 2*s**2 + 5*s - 4. Let f(t) = -5*t**3 + t**2 + 4*t - 3. Let g(i) = w*m(i) - 4*f(i). Is 6 a factor of g(1)?
True
Let m(h) = -2*h - 3. Let a be m(-2). Let d be a + 3/3 + -9. Let z(i) = i**3 + 7*i**2 - 6*i + 4. Is z(d) a multiple of 16?
False
Let c(f) = 9*f + 46. Is c(-4) a multiple of 10?
True
Let f(o) = -o + 7. Let k be f(3). Suppose k*t + 4*l + 9 = 105, -12 = -t - 5*l. Is 9 a factor of t?
True
Let o = -31 + 64. Does 11 divide o?
True
Let w = -11 - -88. Does 16 divide w?
False
Suppose -36*h = -35*h - 45. Is h a multiple of 15?
True
Let i(x) = -x**3 + 8*x**2 - 6*x - 2. Suppose 0 = -3*j + 5 + 10. Let s be i(j). Let k = -29 + s. Is 14 a factor of k?
True
Let n = -8 - -11. Let o(t) = t + 3. Does 6 divide o(n)?
True
Suppose 2*w = -5*o + 7, 3*o - 2*o = 1. Is 18 a factor of ((-9)/12)/(w/(-44))?
False
Let s be -5*((-12)/10 + 2). Let v be 474/8 + 1/s. Suppose 4*w + 3 = v. Is w a multiple of 7?
True
Let j = 80 + -44. Suppose 5*o - 3*o - j = 2*q, -o = 5*q. Is 5 a factor of o?
True
Suppose -3*v + v + 68 = 4*u, -3*u = -9. Does 8 divide v?
False
Suppose 0*n - 2*g = -4*n + 2, 0 = -2*g + 10. Let j be 35*n/(-2 + -1). Let h = -10 - j. Is h a multiple of 7?
False
Let x = -18 - -56. Let o = x - 19. Does 15 divide o?
False
Suppose -2*q + 0 = -2. Let c(f) = 56*f. Does 15 divide c(q)?
False
Let z = 17 - -173. Is 19 a factor of z?
True
Let m(q) = 12*q. Let o(s) = -2*s. Let z be o(-1). Is 12 a factor of m(z)?
True
Suppose 1 = v - 2. Suppose 0 = -n + v*n - 118. Does 27 divide n?
False
Suppose 0 = 2*b - 22 - 46. Let z = b - 18. Is 16 a factor of z?
True
Suppose -a - 10 = -37. Does 16 divide a?
False
Suppose -2*m - 2*m - 16 = 0. Let v be 2/m*0/1. Is 39 - (0 - (-1 + v)) a multiple of 19?
True
Let v be (-2)/6 + (-11)/3. Let j(m) = 4*m - 7*m + m**3 + 0*m + 4*m**2 - 2. Does 8 divide j(v)?
False
Let q = -30 - -55. Is 25 a factor of q?
True
Let a = 4 + 2. Is 10 a factor of (-13 + -2)*(-8)/a?
True
Let q = -42 + 110. Let i be (q/(-8))/(2/(-4)). Suppose a - 14 = i. Is a a multiple of 8?
False
Let k = 16 + -25. Let h = 25 + k. Does 8 divide h?
True
Let y(z) = z - 2. Let b be y(4). Suppose b*p - 8 = -0*p, -18 = -2*t + p. Does 11 divide t?
True
Let c = 1 + -1. Let w = 12 - -39. Suppose 2*i = 5*h + w, h + 75 = 4*i - c*i. Does 18 divide i?
True
Suppose -2*k = -0*k - 88. Is k a multiple of 16?
False
Let w = -24 - -36. Let k be -2 - 4/(w/(-9)). Let m = k - -14. Is 9 a factor of m?
False
Let n(b) = b**3 + 2*b + 19. Is n(0) a multiple of 19?
True
Let s = 3 + 23. Is s a multiple of 4?
False
Suppose 14 = 4*q - 2*c - 8, 2*c - 2 = -2*q. Is q a multiple of 2?
True
Suppose 5*r = 5*n + 125, 0 = -2*r - 2*r - 3*n + 121. Is r a multiple of 10?
False
Let k(h) = h**2 - h + 4. Let w be k(0). Suppose -w*s = 2*x - 6*s, 0 = 3*x + 4*s. Let n(b) = b + 7. Does 7 divide n(x)?
True
Let y(i) = -i**3 + 5*i**2 - 3*i + 3. Is y(3) a multiple of 12?
True
Does 33 divide 3/6 + 131/2?
True
Let c be (-2)/(-2)*-1*4. Let r be 2 - (18 + 2 + c). Is 121/7 - (-4)/r a multiple of 9?
False
Let g = 8 - 13. Let w(p) = -2*p - 6. Let q be w(g). Is 5 a factor of 2/q + (-23)/(-2)?
False
Suppose 5*x = t + 3*t - 159, 0 = -4*x + 4. Suppose 3*h - 46 = o + t, -5*h = 5*o - 165. Does 10 divide h?
True
Let z(q) = 2*q + 1. Let p be z(-3). Let h(f) = f**2 + 2*f - 6. Is 9 a factor of h(p)?
True
Let p(x) = x - 5. Let o be (4 + -1)/(-3) - -22. Let z be (o/6)/(2/4). Does 2 divide p(z)?
True
Let o be (-18)/(-4)*(-4)/(-6). Suppose -72 = -6*l + o*l. Does 12 divide l?
True
Let a = 20 - -6. Is 13 a factor of a?
True
Suppose 4*x - 156 = 64. Suppose -x = -2*h + 17. Is h a multiple of 18?
True
Suppose 21 = 5*c - 4. Let j(w) = -4 - 1 + 2*w + 0 + 1. Does 3 divide j(c)?
True
Let w(f) = f**3 - 10*f**2 + 8*f + 9. Let j be w(9). Suppose j*c - c = -18. Is c a multiple of 8?
False
Suppose -4*l = 4*b - 440, 5*b + 2*l + 16 - 551 = 0. Does 15 divide b?
True
Is (5 + 7/(-3))*18 a multiple of 4?
True
Suppose 0*q - 3*q - 12 = 0. Let y = -17 + q. Let a = -13 - y. Is a a multiple of 4?
True
Let r = -20 - -20. Suppose 24 = 2*d - r*d. Is d a multiple of 4?
True
Suppose 6*l - 2*l = 0. Suppose -y - 4*d = -l*d + 8, -2*y = -4*d - 8. Suppose -5*a + 0*a + 40 = y. Is 7 a factor of a?
False
Let a = -16 - -10. Let g be 158/6 + a/(-9). Is 13 a factor of (-1 + 0)*(-2 - g)?
False
Let d be 4/5 - 224/(-70). Suppose -138 = -d*k - k - 4*c, 0 = 3*k - 2*c - 96. Is k a multiple of 15?
True
Suppose 48 = 7*s - 4*s. Is 3 a factor of s?
False
Is 104 + ((-3)/3)/1 a multiple of 32?
False
Suppose 3*q = -5*g + 82, -31 - 2 = -2*q + g. Suppose 2*d - q = 143. Does 29 divide d?
False
Let n = 103 - 58. Does 15 divide n?
True
Suppose 5*z = 5*a - 204 - 46, -2*a - 4*z + 70 = 0. Is 15 a factor of a?
True
Suppose 2*x - 196 = -2*b, -3*x = -0*x + 12. Is b a multiple of 17?
True
Suppose -n + 2*n - 159 = 0. Suppose a - n = 4*a. Let u = a - -86. Is u a multiple of 18?
False
Suppose -368 = -4*p - 4*k, k + 446 = 5*p - k. Is (-13)/(273/p)*-7 a multiple of 5?
True
Let g(c) = -2*c + 1. Suppose -5 = 5*s - 0*s. Let w be g(s). Suppose 4*z - 6*a + 4*a - 82 = 0, 4*z = -w*a + 87. Is 11 a factor of z?
False
Let v(n) = 9*n**2 - n + 1. Let k = 6 + -10. Let l = k + 5. Is 4 a factor of v(l)?
False
Is 8 a factor of 2 - 4*5/(10/(-56))?
False
Let p(v) be the third derivative of v**5/60 - 7*v**4/24 - v**3/3 - v**2. Let g be p(8). Suppose -96 = -4*w + q, 3*q = 3*w + g*q - 72. Is w a multiple of 8?
True
Let p be (-49 + 2)*2/(-2). Suppose -2*x = -25 - p. Let r = -26 + x. Is r a multiple of 8?
False
Let d be 6/9 + (-8)/12. Suppose -g = -d*g - 44. Does 22 divide g?
True
Let d(x) be the third derivative of -7*x**4/12 - 5*x**3/6 - 2*x**2. Let t be d(-5). Suppose -4*h - 49 = -5*j + 21, t = 5*j - 5*h. Is j a multiple of 9?
True
Suppose 3*k + 18 = 2*t + 100, 3*k + 3*t = 57. Is k a multiple of 16?
False
Let n be (-18)