11?
False
Let m be -2 - -1 - -13 - -1. Suppose g + 5 = 3*g + u, 0 = -4*g - u + m. Suppose g*j = j + 24. Is 6 a factor of j?
False
Let c be ((-4390)/(-4))/(3/6). Suppose 669 = -14*u + c. Is 15 a factor of u?
False
Suppose -o - 13 = 4*y, 3*y - 5*y - 14 = -2*o. Let j(z) = 5*z - 2. Is 8 a factor of j(o)?
False
Let j(y) = 3*y**2 + 86*y - 273. Does 24 divide j(-51)?
True
Let d(i) = -16*i - 6. Let l be d(-3). Let h be (-2)/(-12) - (-329)/l. Suppose 0 = 3*s - h*s + 70. Is 8 a factor of s?
False
Let u be (4 - 22/4)*4. Let c(r) = -6*r - 6. Does 7 divide c(u)?
False
Let f(z) = 35*z**2 + 20*z - 44. Is 8 a factor of f(2)?
True
Suppose 0 = -4*c + 17*j - 14*j + 4775, -3*j - 15 = 0. Does 170 divide c?
True
Let b = -22 - -273. Let f = -174 + b. Is f a multiple of 7?
True
Suppose 3*a - 3 = 3. Suppose a*d = d + 16. Is 8 a factor of d?
True
Suppose -6*u + 92 - 428 = 0. Is 8 a factor of 21/7*u/(-3)?
True
Suppose -2*i - 3234 = -4*c, -2*c + 0*c + 4*i = -1608. Is c a multiple of 30?
True
Suppose 3*v + 2 = -3*y + y, 0 = -2*y + v + 14. Suppose -y*m + 124 + 36 = 0. Is m a multiple of 8?
True
Let k(r) be the second derivative of r**5/20 + 3*r**4/4 + 2*r**3/3 + 11*r**2/2 - 6*r. Let h be k(-10). Let u = -60 - h. Is 27 a factor of u?
False
Let a be 3*(-10)/(-6)*(-94)/(-5). Suppose j = a + 42. Is 17 a factor of j?
True
Suppose -200 = -7*g + 3*g. Let b = g - -2. Let u = b - 34. Is 6 a factor of u?
True
Suppose 318*w = 346*w - 25284. Does 9 divide w?
False
Let l = -3 + 4. Let f be l/(-2)*(2 + -2). Suppose -d + 0*d + 37 = f. Is 13 a factor of d?
False
Let r(d) = 327*d - 9. Let z(i) = -41*i + 1. Let v(h) = 4*r(h) + 33*z(h). Is v(-1) a multiple of 6?
True
Let w(c) = 9*c - 5. Let y be w(1). Let i(o) = -2*o**3 + 4*o**2 + 3*o + o**3 + o**2 - 6. Does 17 divide i(y)?
False
Let z = 624 - 235. Is z a multiple of 39?
False
Let z = 498 - 413. Is z a multiple of 9?
False
Let i be 31*2/(4/22). Suppose 0 = 4*h - i - 363. Is h a multiple of 22?
True
Let o(v) = -2*v - 34. Let p be o(-20). Let r(i) = 4*i - 9. Does 11 divide r(p)?
False
Let v(m) = -42*m**3 + 3*m**2 - 2*m + 9. Is v(-3) a multiple of 21?
True
Let r = 3969 + -1977. Does 166 divide r?
True
Let q = 113 + -112. Let v(r) = 4*r**3 + r**2 - r - 1. Let l be v(-2). Does 5 divide 0 - l - (q + -2)?
False
Let c(d) = -189*d - 240. Is 34 a factor of c(-12)?
False
Let z(j) = -j**3 + 6*j**2 + 8*j + 3. Let y be z(7). Let t be (y/4)/((-5)/(-10)). Suppose 113 = t*k - 2. Is k a multiple of 10?
False
Is (-7)/(-21)*-9 - -972 a multiple of 19?
True
Let o = 7 - 5. Let u = 8 - o. Is 245/9 + u/(-27) a multiple of 20?
False
Let w(u) = 30*u**2 + 10*u + 33. Is w(-4) a multiple of 43?
True
Suppose -3091 = -4*n - t, t + 12 = 7. Is n a multiple of 86?
True
Suppose 3*j - 5*j = -4. Suppose -5*a - 4*q = -9, -2*a = -j*q + q - 14. Suppose -h + a*v + 92 = 0, -1 - 3 = -2*v. Is 13 a factor of h?
False
Let r(k) = 3*k + 13. Let a(b) = b + 3. Let j(v) = 18*a(v) - 4*r(v). Let f be j(-1). Does 8 divide 687/21 - f/14?
False
Suppose -2*r - 44 = -3*y - 2*y, r - 30 = -4*y. Suppose 104 = y*z - 112. Does 9 divide z?
True
Suppose 12*a + 10640 = 47*a. Is 19 a factor of a?
True
Suppose 0 = -6*u + 1217 + 1591. Is u a multiple of 36?
True
Let r(o) = 195*o - 132. Is r(8) a multiple of 42?
True
Suppose 167*j = 168*j - 143. Is j a multiple of 34?
False
Let o(x) = -53*x + 96. Is 58 a factor of o(-3)?
False
Suppose 2*p = 56 - 2. Let f = -3 + p. Suppose -2*h - 3*t = -f - 16, -5*t = -2*h + 8. Does 13 divide h?
False
Suppose -2*q - m - 54 = -2*m, m - 28 = q. Let d = q + 40. Does 5 divide d?
False
Let d(r) = r**3 + 9*r**2 + 10*r + 2. Let a be ((-2)/(-4))/(3/(-48)). Let g be d(a). Let c = 26 - g. Is 10 a factor of c?
True
Let m(h) be the third derivative of -5*h**4/8 - 5*h**3/2 + 5*h**2. Does 9 divide m(-3)?
False
Is (7 + -115)*-2 + -1 + 2 a multiple of 31?
True
Suppose q + 3*r = 15, -4*q + 0*r - 2*r = -50. Suppose o - 2*f = -3*o + q, -4*o + 12 = 2*f. Suppose -2*j + 112 = o*k, -5*k + 3*j = -0*j - 155. Does 9 divide k?
False
Let f(r) = -r**3 - 2*r**2 - 10*r + 4. Let g be f(-5). Let i = g - 15. Is 13 a factor of i?
False
Let o(t) = -t**2 - 5*t + 28. Let a be o(-9). Is 20 a factor of 2/(a/(-2))*46 + -3?
True
Does 33 divide 18531/75 + 10/(-125)?
False
Suppose -2*j + 5 + 17 = 0. Let w(o) = o**2 - 11*o + 16. Let i be w(j). Suppose -x = 5*f - 16, 3*f - i = -x - 0*x. Is x a multiple of 6?
False
Suppose 12*z = 4*z + 4432. Does 20 divide z?
False
Suppose 0 = 5*b - 2*z - 133, 3*z - 85 = -3*b - z. Let m = b + -24. Suppose -m*r - 5*d + 146 = 0, -4*r + d + 212 = -d. Is r a multiple of 13?
True
Let g be -2*((-8)/4)/(-4). Let s be 7*(-2 - 1)*g. Suppose -r + 2*r = -j + 15, -3*j + 5*r = -s. Does 6 divide j?
True
Let f(k) = -3*k**3 + 3*k**2 + 3*k + 1. Let h(j) = -j**3 - 6*j**2 + 7*j - 3. Let l be h(-7). Does 25 divide f(l)?
True
Let h be (-1)/(-3) + 88/(-12). Let s(l) = l**3 + 9*l**2 + 10*l + 6. Let c be s(h). Let j = 78 - c. Is j a multiple of 12?
False
Let k = -1 - 5. Does 6 divide 1/((-3)/k) + 22?
True
Let w(s) = -s**2 + 12*s - 15. Let x be w(10). Suppose -4*f + x*q - 4 = 0, -2*f - 3*f + 4*q = 5. Is 9 a factor of f/((-78)/76 + 1)?
False
Does 16 divide -3 - (-5 + (-1279 - -5) + 1)?
False
Let u(t) be the second derivative of t**3/6 + 5*t**2/2 - 3*t. Let l be u(0). Let j(b) = b**3 - 3*b**2 - 6*b + 7. Is j(l) a multiple of 11?
False
Suppose -15*d + 30300 = -0*d. Is 101 a factor of d?
True
Suppose 0 = 4*l - s - 29, 2*s - 6 + 16 = 0. Suppose z + 14 = -l. Let r = 40 + z. Is 20 a factor of r?
True
Let a(x) = 13 + 3 - 17*x - 6 - 5. Is a(-9) a multiple of 11?
False
Suppose -2*z + 372 = 2*w, -w + 3*z + 198 = -0*z. Is 9 a factor of w?
True
Let s be (1 - 8/4)*-2. Let i = s - 4. Let a(m) = -22*m. Is a(i) a multiple of 22?
True
Let a(c) = -2*c**2 - 9*c + 11. Let d be a(5). Let n be ((-22)/8)/(21/d). Let s(u) = -u**3 + 12*u**2 - 11*u + 16. Is s(n) a multiple of 16?
True
Let i = 92 + -76. Does 2 divide ((-27)/36)/((-6)/i)?
True
Let y be (-1)/(63/(-49)) + 2/9. Let s = y + 9. Is s a multiple of 10?
True
Suppose 299 = v - 3*s, v - 287 = -2*s - s. Let d = -188 + v. Does 15 divide d?
True
Suppose 0 = 25*o - 49470 + 4020. Does 101 divide o?
True
Let y be (114 + -3)/(3/2). Let c(b) = -b**2 + 7*b - 1. Let p be c(4). Suppose -y = -3*x - p. Is 6 a factor of x?
False
Let n(t) = 3*t**2 - 2*t - 28. Is n(12) a multiple of 38?
True
Let t = 10 - 10. Let y = 9 + -6. Suppose -3*j + 69 = -0*j - y*i, -i - 2 = t. Is 21 a factor of j?
True
Let q(o) = 15*o + 31*o**2 - 22*o**2 - o**3 + 9 - 6. Is q(8) a multiple of 26?
False
Let i be (129/2)/((-15)/20). Let f be (-1)/2 - i/4. Does 5 divide f/(-7) + 29*1?
False
Let g = 10 - 14. Let o be (1 + g/4)/(-1). Suppose 15*y - 13*y - 18 = o. Does 2 divide y?
False
Does 66 divide -300*(-4 + 12/(-30))?
True
Let c = -11 + -14. Let o be (c/2)/((-1)/6). Is (o + 3)/((-9)/(-12)) a multiple of 21?
False
Let k(f) = 3*f**2 - 51*f + 61. Is 3 a factor of k(21)?
False
Let q = -9 + 13. Suppose -2*n + n + q = 0. Suppose n*x - 49 = -3*l, -x - 4*x - 4*l = -62. Does 7 divide x?
False
Suppose 8*p = 9*p + 2. Let c = p - -4. Does 5 divide c/1 - (-16 + 0)?
False
Let z be 0 + 3 - (-4 + 4). Suppose -3*g = -6*g + 2*x + z, -4*g - 5*x + 27 = 0. Suppose 0 = 4*t - g*y - 12, 0*y - 12 = -4*t + y. Is t a multiple of 3?
True
Suppose -2*s - 23 + 55 = 5*r, -5*s + 23 = 3*r. Let g(v) = -4*v + 1. Let i(c) = -11*c + 2. Let l(a) = r*i(a) - 17*g(a). Is l(7) even?
False
Let b(q) = -q**3 - 4*q**2 - 5*q - 1. Let o be b(-3). Suppose -o*u = 2*n - 177, 4*u - 248 = 3*n - 6*n. Is 13 a factor of n?
False
Let x(k) = 7*k + 1. Let t = -25 - -36. Is 14 a factor of x(t)?
False
Let k be (-5 - -2 - -5)*2. Suppose -2*v = -5*w - 5, 5*v + k*w + 95 - 25 = 0. Is 5 a factor of 100/6*(-15)/v?
True
Suppose 8*n = 10*n + 12. Let u(t) = -t**3 - 5*t**2 + 9*t + 15. Let o be u(n). Let y(m) = -11*m + 6. Is y(o) a multiple of 18?
False
Let w = -2141 - -3861. Is w a multiple of 43?
True
Let u be (-4)/(-6) + 3/9. Is 1/(u/84) + 1 a multiple of 14?
False
Suppose -2*o - q + 23 = 2*o, -3*o + 18 = q. Suppose -2*b + u = -7, -2*u + 0 = o*b - 22. Suppose -b*y = -0*y - 60. Is 4 a factor of y?
False
Let d(o) = 27*o + 8. Is 8 a factor of d(5)?
False
Let u(i) = -2*i - 3. Let d(l) = -1. Let f(h) = 2*d(h) - u(h). Let x be f(-5). Is ((-51)/x + 0)*3 a multiple of 11?
False
Suppose -w + 3 = 0, -5*a