Let x be (-59)/4 + 2/(-8). Does 16 divide ((-110)/x)/(2/6)?
False
Suppose 4*x - 7*x = -480. Is x a multiple of 32?
True
Let w = -63 + 168. Is 7 a factor of w?
True
Suppose -4*z + 348 = -4*p, p + 0*p = 2*z - 172. Does 25 divide z?
False
Let w = 182 + -124. Suppose -2*d + w = -34. Is 23 a factor of d?
True
Let x(l) = 2*l**2 + 7*l - 10. Let b be x(-7). Let q = -1 - -4. Suppose q*s = 6*s - b. Is s a multiple of 13?
True
Suppose 9 = -4*a - 7. Let g = a - -5. Does 12 divide g*-46*(-3 + 2)?
False
Let x(c) = c**2 + 5*c - 4. Is 10 a factor of x(-7)?
True
Suppose 4*r - 170 + 45 = -5*u, u - 151 = -5*r. Is (r/45)/((-2)/(-42)) a multiple of 2?
True
Suppose o = 4*u - 181, 2*u - 3*u - 4*o = -58. Does 18 divide u?
False
Let q = 27 + -20. Is 7 a factor of q?
True
Let j(n) be the third derivative of n**7/2520 - n**5/20 - 3*n**2. Let d(c) be the third derivative of j(c). Does 6 divide d(6)?
True
Let q(f) = 16*f**2 + 4*f. Does 9 divide q(1)?
False
Suppose -56 - 29 = -2*b + 5*y, -2*b + 4*y + 88 = 0. Does 10 divide b?
True
Let d be ((-6)/7)/(11/(-924)). Suppose -6*l = -0*l - d. Is 6 a factor of l?
True
Suppose -3*y = -4 - 2. Does 3 divide (-14 - -2)*(-1)/y?
True
Suppose -5*c = 179 - 839. Is 4 a factor of c?
True
Let x(n) = 21*n**2 + 2*n + 1. Let c be x(2). Suppose 7*h - 10 = -45. Is 9 a factor of 2/10 - c/h?
True
Let j(f) = -f + 99. Does 11 divide j(-13)?
False
Let t = 23 - -7. Let m be t + 0/2 + 2. Suppose y - 3*y + m = 0. Is y a multiple of 8?
True
Is 36 a factor of 12/(-16) - ((-327)/4 - 2)?
False
Let d be (6/7)/((-14)/(-98)). Suppose 6*g + d = 7*g. Is g a multiple of 6?
True
Let d(x) = 2*x**2 + x. Let n be d(1). Suppose -2*o = -2*c - n*o + 15, 0 = 4*c - o - 39. Is c a multiple of 4?
False
Suppose 3*o + 5*q - 5 = 0, 2*o - q - 4 = -4*q. Let z(r) = 2*r**2 - 4*r + 6. Let a be z(o). Suppose s - 35 = -2*s + x, 4*x = -4*s + a. Is s a multiple of 11?
True
Let c = 6 + 4. Is 4 a factor of c?
False
Suppose m + 4*v = 64, -13 = -3*m - 3*v + 134. Is 22 a factor of m?
True
Let c(h) = h**2 + h. Let x(b) = 7*b**2 + 10*b + 4. Let v(n) = -6*c(n) + x(n). Is 10 a factor of v(-7)?
False
Suppose 3*i - 11 = 5*s, -4*s = s + 5. Suppose -u = -d + i, -d + 5*u + 2 + 0 = 0. Is 5 a factor of 5/(d/6 - 0)?
True
Suppose -4*h = r - 530, 3*h = -2*r + 70 + 325. Is h a multiple of 19?
True
Is 28 a factor of -16 + 49 + -2 + -3?
True
Let f(x) = 2*x - 8. Let w be f(7). Suppose -5*s + w = -5*b + 71, -2*s = -5*b + 71. Suppose -n - b = -4*n. Is n a multiple of 5?
True
Let h be 13*(2 + 2 + 0). Let l = h - 32. Does 14 divide l?
False
Let r be -2*((-4)/8 - 1). Suppose 5*a + 4*d - 49 - 5 = 0, 12 = -r*d. Does 7 divide a?
True
Let m be ((-17)/3 - 0)*-3. Let h be (-3 - -3) + -1 + 8. Let f = m - h. Does 5 divide f?
True
Suppose 2*y - 24 = -0*y - 5*l, 2*y - l = 0. Suppose -4*r + 124 = 2*q + 10, -y*r - 3*q = -59. Is 13 a factor of r?
False
Let a be 81*(-1 - 10/(-6)). Suppose 0 = 4*r - 6 - a. Is 5 a factor of r?
True
Let g = 2 + 2. Suppose -3*h + 3*n + 105 = 0, h - 184 = -4*h - g*n. Is 15 a factor of h?
False
Suppose -2*d + m = -112 - 9, -5*d + 301 = -m. Is 30 a factor of d?
True
Let g(n) = -3*n**2 + 5*n + 5*n**3 - 2*n**3 - 4*n**3 + 2. Let w be g(-4). Let y = 14 + w. Is 6 a factor of y?
True
Let q = 19 + -28. Let c(m) be the first derivative of -m**2/2 + 9*m + 3. Is c(q) a multiple of 8?
False
Let i = -34 - -44. Is 5 a factor of i?
True
Let i = -102 + 323. Is 17 a factor of i?
True
Suppose 0*z + 2 = z, 4*h + 2 = 5*z. Suppose h*q = q + 6. Is q a multiple of 4?
False
Let o = 60 - 51. Is o a multiple of 9?
True
Let h(g) be the second derivative of g**4/6 + 11*g**3/6 + 7*g**2/2 + 2*g. Let f be h(-7). Let y = 40 - f. Is y a multiple of 6?
True
Is 726/24 - (-4)/(-16) a multiple of 10?
True
Let x(a) = a + 13. Suppose 5*z = -0*z, -2*k - 3*z - 14 = 0. Let v be x(k). Suppose w + 17 - 5 = 2*g, g - v = -w. Is g a multiple of 6?
True
Let r(y) = -y + 3. Let q be r(0). Suppose -q + 13 = 5*o. Suppose -o*z - 72 = -5*z. Does 24 divide z?
True
Suppose 11 = 2*i + h, i = 2*h - 1 - 1. Let a be (0 - 12)*(-2)/i. Is (-376)/(-9) - a/(-27) a multiple of 19?
False
Suppose 3*v + 589 = -s - 234, -4*s = -4*v - 1092. Does 17 divide 1/(-8) - v/16?
True
Suppose 4*f - 4*u = -24, -4*f + 5*u + 5 - 28 = 0. Let c = 16 + 0. Let p = f + c. Is p a multiple of 9?
True
Let p be 7/((-14)/30) + 2. Let w = 20 + p. Is 2 a factor of w?
False
Let t(f) = -f**3 + 7*f**2 - 3*f + 1. Let a = -16 + 21. Is 12 a factor of t(a)?
True
Let g(v) = -11*v + 8. Is 29 a factor of g(-11)?
False
Let y(r) = -2*r**2 + 16. Let x(f) = -5*f**2 + 32. Let h(i) = -3*x(i) + 7*y(i). Is h(0) a multiple of 5?
False
Let m(k) = k**3 + 13*k**2 + k + 13. Let z be m(-13). Suppose b = -z*b + 5. Is b a multiple of 3?
False
Let o = -4 + 14. Suppose -3*w + 106 = o. Is w a multiple of 21?
False
Let p(u) = -u**2 + 15*u - 9. Is p(13) a multiple of 4?
False
Let l = -13 + 18. Suppose l*u = -c + 143, -2*u - 5*c + 1 = -47. Is 11 a factor of u?
False
Let x(u) be the second derivative of -u + 17/2*u**2 + 0 - 1/6*u**3. Is 17 a factor of x(-12)?
False
Let h(n) = 132*n**2 - n + 4. Let s be h(2). Is 31 a factor of s/8 - 1/4?
False
Suppose -m - 251 = -3*p, 0*m - 4*m - 239 = -3*p. Suppose -3*s = -8*s - p. Let n = s - -37. Does 15 divide n?
False
Let y(r) = r - 7. Is 4 a factor of y(11)?
True
Let f = -104 + 124. Does 5 divide f?
True
Suppose 0 = -2*b + 2 + 2. Suppose -8 = 4*g - 4*j, -j = -0*g + b*g - 2. Suppose -h = -g*h - 10. Is 5 a factor of h?
True
Suppose -5 = 2*g + 1. Let p(k) = k**2 + 1. Let x be p(g). Is 5 a factor of 2 + (x/1 - 2)?
True
Suppose 4*f + 477 = 13*f. Is f a multiple of 9?
False
Let s(z) = -z**2 - z + 1. Let q be s(-7). Let u = q - -66. Is u a multiple of 9?
False
Suppose 0 = -5*a + 5*z + 65, 5*a - 104 = 4*z - 34. Does 12 divide a?
False
Suppose 3*t = -2*q + 26, -2*t = -2*q - 14 - 0. Let p = t - -4. Is 12 a factor of p?
True
Suppose c - 7 = -5*o, -5*c + 52 + 52 = 2*o. Does 2 divide c?
True
Let i(z) = -z**2 + 13*z + 12. Is i(10) a multiple of 21?
True
Let y(t) = t**3 - 5*t**2 - 3*t + 9. Is y(6) a multiple of 17?
False
Let b be 0 + (-1 - -106) + 0. Suppose 4*s = b - 41. Is s a multiple of 8?
True
Let x be 22 - (1 - (-3 + 2)). Is (-2)/(-5) + 452/x a multiple of 8?
False
Let s(q) be the second derivative of q**6/360 - q**5/30 - q**4/12 + q**3/3 - q. Let y(u) be the second derivative of s(u). Is 3 a factor of y(5)?
True
Let z be 3/(-6) - (-13)/(-2). Let m(v) = 2*v + 9. Let c be m(z). Does 3 divide (-18)/c + 4/10?
False
Is 15 a factor of (0 - 4) + 83 + -4?
True
Let m be (-2 + -6)*108/(-16). Suppose -5*w + m = -26. Does 8 divide w?
True
Suppose k - 3*y - y = 6, 0 = 2*y. Suppose 5*d + 24 = k*d. Is d a multiple of 24?
True
Suppose -3*j + 4*o + 31 = 0, -22 = -0*j - 2*j + 3*o. Let y be (j/(-10))/(1/(-8)). Suppose 0 = -y*q - 8, -s - 3*q - 2 = -18. Is 11 a factor of s?
True
Let s be ((-9)/6)/((-15)/(-40)). Is 7 a factor of (s/(-10))/((-8)/(-280))?
True
Suppose 3*b + 48 = 222. Does 13 divide b?
False
Let z be 6/27 - 50/(-18). Suppose -2*d - d + 6 = 0. Suppose 0 = -d*r + 5 + z. Is r a multiple of 3?
False
Suppose 4*y + 53 = -7. Let j be (-26)/(-10) - 6/y. Suppose 36 = j*q - 3*k, 3*k - k = 8. Is 8 a factor of q?
True
Let n(y) be the first derivative of 7*y**2/2 - 12*y + 1. Is 10 a factor of n(11)?
False
Let t = 212 - 128. Does 14 divide t?
True
Let u(w) = -23*w - 1. Suppose -12 = 3*v, -4*g - 2 = -2*g - 4*v. Let s be (3/g)/((-1)/(-3)). Is u(s) a multiple of 11?
True
Suppose 2*z - y - 12 = 0, 2*z - 2*y + 3 = 17. Is z a multiple of 4?
False
Suppose 5*u + 56 = 6*u. Is 9 a factor of u?
False
Let o = -3 - -3. Suppose -2*s + 4*h - 18 = o, -5*s = -0*s + 4*h - 11. Let u(p) = -6*p + 1. Is u(s) a multiple of 7?
True
Let o(i) = 2*i**3 + 2*i**2. Let t = 10 + -8. Is 16 a factor of o(t)?
False
Let p be (-8)/52 - (-680)/26. Suppose p + 1 = i. Suppose 0 = 5*u + 2*j - 128, -2*u = -4*j - 29 - i. Is 10 a factor of u?
False
Let a be 25/10 + 1/2. Suppose -2*o - 10 = -5*x, 2*x = -o + a + 1. Suppose -7*t + 50 = -x*t. Is 5 a factor of t?
True
Let j(u) be the first derivative of u**2/2 + 54*u + 3. Let l be j(0). Does 9 divide ((-5)/(-15))/(2/l)?
True
Let m be -2 - (-27)/(2 - -1). Let s = m + 13. Let o = s + -3. Is o a multiple of 14?
False
Let m(u) = -3*u**2 + 4*u - 3. Let w be m(2). Let b(t) = -t**2 - 10*t. Is 10 a factor of b(w)?
Fal