**3 - 2*p**2 + p. Let b be f(1). Suppose 6*y - 2*y = b. Suppose 5*m - 5 = 0, -5*m = 3*w - y*w + 95. Is w a multiple of 7?
False
Let x = 26 - 11. Let p = 26 - x. Does 5 divide p?
False
Let f = 9 + -4. Suppose f*z - 6 = d - 2, 0 = 3*z + 4*d - 7. Let w = z - -21. Is w a multiple of 11?
True
Let u(t) = 5*t**3 + t**2 - 7*t + 5. Let c(o) = o**3 + o**2. Let f(n) = 4*c(n) - u(n). Is f(4) a multiple of 2?
False
Does 3 divide (96/6)/(6/9)?
True
Let j be ((-8)/(-10))/((-6)/(-15)). Suppose -85 = -x + j*p, -p - 95 = -x + 3*p. Suppose 4*y + y - x = 0. Is 13 a factor of y?
False
Is 4 a factor of ((-72)/14)/((-8)/28)?
False
Let b = -7 - -9. Suppose 12 = r + b*r. Is 4 a factor of r?
True
Let j(l) = 5 - 4 - 10*l - l. Suppose m + 5*y - y + 13 = 0, 2*y = -5*m - 11. Does 6 divide j(m)?
True
Suppose -3*d + 2*d = 2. Let w be 12/(-3)*d/4. Suppose 2 + 36 = w*z. Is 19 a factor of z?
True
Let w(i) = -3*i - 16. Is w(-8) a multiple of 3?
False
Let f(o) = -40*o**3 - o**2 - 2*o - 1. Is 10 a factor of f(-1)?
True
Let o(u) = -u - 5. Let g be o(-4). Let n be (g + 3)*(-93)/2. Let f = n + 130. Is 13 a factor of f?
False
Suppose 0 = k + k - 28. Suppose 6*g - 2*g - 94 = -5*p, 4*g - 2*p = 80. Does 19 divide 624/g + 4/k?
False
Let k(l) = 2*l - 4. Let z be k(3). Suppose b - z*b + 2*y = -9, 0 = -2*y - 6. Suppose 0 = b*q - 6*q + 63. Is 16 a factor of q?
False
Let b be (1 - 70)/(-3) - 3. Suppose -5*y = -25 - b. Does 4 divide (y/2)/(-3)*-4?
False
Suppose 10 = 5*v + x + 4*x, 0 = 3*x + 9. Let n = 3 + v. Is 3 a factor of n?
False
Suppose 65 = 2*r + 5*s, -2*r = 2*s - 43 - 37. Is 9 a factor of r?
True
Suppose 5*c = -15, 4*r - 21 = 2*c + 137. Does 4 divide r?
False
Suppose 3*d - 9 = 156. Does 16 divide 2/(-11) + 3090/d?
False
Suppose -3*l - 216 = -2*a - a, 3*l - 9 = 0. Is 15 a factor of a?
True
Let c = -33 + 92. Is c a multiple of 7?
False
Suppose h - 11 = -8. Is 2 a factor of h?
False
Let o = 0 - -10. Let y = o - 1. Does 8 divide y?
False
Let l be (-6)/2 - (1 + -10). Suppose -a = -l*a + 150. Is a a multiple of 7?
False
Suppose -3*k - 2*k + 3*p = -16, 4*k = -2*p + 4. Is 1 + k*-1 + 41 a multiple of 20?
True
Suppose 0 = -0*o + 3*o - 3*x + 66, 2*x = -o - 16. Let j be 3*(1 + 5/(-3)). Let v = j - o. Is 13 a factor of v?
False
Let z(r) = -8*r - 4. Let o be z(4). Let f = 54 + o. Is 17 a factor of f?
False
Suppose -5*w = -0*z + 2*z + 6, 0 = -w. Does 14 divide z - -4 - (-29 - -2)?
True
Let b(s) = 7*s + 4. Let d be b(8). Suppose 0 = -0*o + 2*o - d. Is o a multiple of 14?
False
Let h = -36 - -51. Let k = 30 - h. Is 7 a factor of k?
False
Let c be 1/((-8)/(-6) - 1). Suppose 5*v - 114 = c*v. Does 19 divide v?
True
Let k be (0 - 0)/(0 + 2). Suppose -2*t + t = k. Suppose -i + t*i + 18 = 0. Is i a multiple of 18?
True
Let q(h) = h - 5. Let g be q(25). Let l(n) = -n - 4. Let f be l(-5). Suppose -2*j - 3*z = -10 + f, 4*z + g = 0. Does 4 divide j?
True
Suppose -2*a + 5 = -7*a. Let u be (5/(-4))/(a/8). Suppose -h = 3*p - 45 - u, -4*p + 2*h = -80. Does 9 divide p?
False
Suppose 36 = 5*f - 3*y - 24, 24 = 2*f + 3*y. Does 4 divide f?
True
Let y(w) = -2*w + 54. Let p be y(0). Let o = -21 + p. Does 11 divide o?
True
Let g = -5 - -10. Suppose 0 = 5*t - 5*o + 25, 0 = -2*t + t + 4*o - g. Is 6 a factor of t/15 - 80/(-6)?
False
Suppose -2312 = -24*o + 16*o. Does 52 divide o?
False
Let z be 24/9*(7 + -1). Suppose 0 = 2*a - 4 - z. Does 4 divide a?
False
Suppose 59 = 5*v - 2*z - 25, 4*v - 66 = z. Does 5 divide v?
False
Let u(r) = 3*r**3 + 3*r**2 - 3*r + 3. Let a be u(2). Suppose -2*t + a = k, -2*t = 2*k - 4*k + 36. Does 14 divide k?
False
Let w = 18 + -8. Let s(k) = 8*k**2 + w*k**2 - 6*k**2. Is s(-1) a multiple of 12?
True
Let m(q) = 24*q - 2. Does 4 divide m(1)?
False
Suppose -17 = -8*l + 687. Is l a multiple of 11?
True
Let m = 15 + -13. Suppose 0 = 2*y + m - 16. Is 3 a factor of y?
False
Let w = -4 + 6. Suppose -3*l = -2*k + 7*k + 8, -l - 3*k = 8. Suppose 3*d = l*s + 15 - 3, -w*d + 8 = s. Is d a multiple of 2?
True
Let m = -12 - -17. Let p(n) = n**3 - 6*n**2 + 5*n + 4. Is p(m) even?
True
Let u(l) = 27*l**2 + 6*l - 16. Is 7 a factor of u(2)?
False
Let t = -117 - -181. Is 19 a factor of t?
False
Is (-2*1/4)/(10/(-4580)) a multiple of 22?
False
Let j(z) = z - 4. Let s be j(7). Is 8 a factor of -20*(-2)/15*s?
True
Let a(u) = -25*u - 1. Let j be a(-2). Let i(q) = 16*q - 2. Let r be i(6). Let c = r - j. Does 16 divide c?
False
Is 6 a factor of -1 - 2 - -6 - (-254)/1?
False
Let s = 3 + 0. Suppose 5*l - 57 = -s*c - 9, 0 = -5*c - 2*l + 99. Is c a multiple of 18?
False
Suppose 2*f + 74 = 268. Is 11 a factor of f?
False
Let s(o) = -32*o**3 - 2*o**2 + o + 2. Is 30 a factor of s(-1)?
False
Let f(k) = -15*k**3 + k**2 + 4*k - 3. Let d(x) = -x**3 + x - 1. Let b(c) = -3*d(c) + f(c). Does 3 divide b(-1)?
True
Let q = -11 - -21. Suppose 0*d = 5*d - q. Suppose 0 = -d*r + 3*n + 17, 3*r + 2*r - 53 = 4*n. Is 13 a factor of r?
True
Let v be 678/22 + 8/44. Suppose -4*a = v - 95. Is 6 a factor of a?
False
Let u be ((-36)/3)/(4/(-2)). Is 12 a factor of ((-136)/10)/(u/(-15))?
False
Let k(p) = -7*p. Let b be k(-1). Suppose -3*a - l + b = 0, -a - 5 = -6*a - 3*l. Suppose 0 = -2*s - a + 26. Is s a multiple of 3?
False
Let s(m) = -9*m + 6. Let q be s(3). Is 35/3*q/(-7) a multiple of 13?
False
Suppose -4*y + 281 = 3*z - 9*y, -2*y - 186 = -2*z. Does 15 divide z?
False
Let k be -1 - (-1 - (149 - 1)). Suppose 4*t - 4*b - k = 0, -2*b = -5*t + 238 - 47. Suppose -2*g + g = -3*w - t, -5*g = 3*w - 213. Does 21 divide g?
True
Suppose p = y - 94, -4*y - 2*p + p = -361. Is 7 a factor of y?
True
Suppose 5*n + 5 = 0, -3*n + 4 + 35 = -3*f. Suppose -80 = -0*u + 4*u. Let l = f - u. Is 5 a factor of l?
False
Let b(z) = z**3 + 3. Let r be b(0). Let d be (2 - r)*(-4 - -1). Suppose -4*m + 45 + 35 = y, d*y = 4*m - 64. Does 10 divide m?
False
Let y(m) be the third derivative of -m**4/24 - m**3/2 - 2*m**2. Is 2 a factor of y(-5)?
True
Suppose -5*g = -22 - 3. Suppose -4*h - 15 - 26 = -i, 70 = -5*h - g*i. Let x = h + 25. Is 14 a factor of x?
True
Let z(j) = j**2 - 11*j + 4. Is z(15) a multiple of 16?
True
Let y be 6/(-12) - 1/(-2). Suppose y*a = 2*a - 26. Is a a multiple of 7?
False
Is 1/(-2) + 61/2 a multiple of 15?
True
Suppose -w - 54 = -144. Suppose 2*o = -o + w. Does 15 divide o?
True
Suppose k + 4*j = 24, -k = -5*k + 4*j + 16. Let g(z) = 0*z - 12 - z**2 + 13*z + z**2 - z**2. Does 14 divide g(k)?
True
Let q(c) = -c**3 + 2*c**2. Let t be q(2). Let r(o) = 6*o - 4. Let l be r(6). Suppose -l = -2*z - 2*i + 24, t = -2*z + 5*i + 42. Is z a multiple of 13?
True
Let w(f) = f + 5. Let k = 16 - 10. Is w(k) a multiple of 4?
False
Suppose 0*p = -p + 66. Is p a multiple of 22?
True
Let v(h) = -8*h - 2. Let l be v(5). Let k = -30 - l. Is 6 a factor of k?
True
Suppose 2*o + r = 17, -2*o - 4*r + 23 = -9. Suppose o = f + f. Is f a multiple of 3?
True
Suppose 2*q = 6*q. Suppose -k + 50 + 43 = q. Suppose -74 = -3*t + 3*h - 5, 4*t - k = 5*h. Is 11 a factor of t?
True
Let y(x) = 34*x**2 - 2*x + 3. Let o be y(2). Suppose -l = 2*l - o. Does 15 divide l?
True
Suppose 5*y - 7 - 3 = 0. Does 17 divide -2*y*111/(-12)?
False
Let k be 738/15*20/8. Suppose -2*q = -4*t + 234, -2*t + k = q - 4*q. Is 19 a factor of t?
True
Let h = 566 + -394. Suppose -4*q - 3*x + 584 = 0, 2*q + 3*x - 458 = -h. Suppose -k + 3*g = -28, 9 = -5*k - 5*g + q. Is 14 a factor of k?
True
Is 6 a factor of (-8)/(-68) - 880/(-34)?
False
Let i = -4 - -18. Let l = 44 - i. Is 17 a factor of l?
False
Suppose 4*x + 3*i = 428, x - 30 = -5*i + 60. Suppose 0 = 4*m + 22 - x. Does 13 divide m?
False
Let a(u) = 2*u**3 + 3*u + 5. Let w be a(-5). Does 18 divide ((-8)/(-10))/((-4)/w)?
False
Let d(o) = -2*o**3 + 7*o**2 + 9*o - 139. Let n(r) = r**3 - 3*r**2 - 4*r + 69. Let k(x) = 3*d(x) + 7*n(x). Is k(0) a multiple of 12?
False
Let a(c) = -c**2 - 5*c + 3. Suppose o + 5 = -3*h - 2*h, -5*h = 0. Let q be a(o). Suppose w = -q*f + 11, -5*w + 0*w + 83 = f. Is w a multiple of 6?
False
Suppose -5*k + 27 = 3*r - 238, -5*r = 5*k - 445. Let v = 177 - r. Does 17 divide v?
False
Suppose 4*i = 8*i - 48. Does 4 divide i?
True
Suppose 6*o - o - 605 = -5*c, -4*c + o = -469. Is 8 a factor of c?
False
Suppose -23 = -5*s + 82. Suppose -f + s = 1. Is f a multiple of 10?
True
Let s(m) = -m - 1. Let v be s(-2). Does 12 divide (4/2)/v - -22?
True
Let v(o) = o**2 + 3*o - 9.