11. Is t a multiple of 12?
True
Let m be (-1 - -3) + -6 + 56. Is 8/m - 1194/(-13) a multiple of 11?
False
Let r be 3/(((-10)/6)/5). Let w(v) = -v**2 - 9*v + 7. Let g(s) = s**2 + 8*s - 6. Let j(y) = 2*g(y) + 3*w(y). Is 11 a factor of j(r)?
False
Let n be (5/(-4))/(13/(-52)). Suppose n*t + 4*w - 536 = 0, 5*t - 3*w - 2*w - 545 = 0. Is t a multiple of 14?
False
Suppose 0*v - 4*l = -5*v + 4, -3*l + 32 = 5*v. Suppose 2*h = x + 3*x - 334, v*x - 309 = -3*h. Does 19 divide x?
False
Suppose 3*x - f - 41 = 0, -5*x + 13 + 46 = 3*f. Let n(v) = -1 + 4*v - 3*v - 7*v**2 + x*v**2 - 1. Is n(2) a multiple of 6?
True
Let r(q) = q - 1. Let j(k) = 3*k**2 - 7*k - 6. Let o(f) = j(f) + 6*r(f). Does 16 divide o(-8)?
False
Suppose -349*g + 358*g = 15876. Is g a multiple of 21?
True
Let g be (-29)/3 + (-10)/(-15). Let w = 14 + g. Suppose w*c - 2*c = 42. Does 11 divide c?
False
Let i(t) = t**3 + 6*t**2 - 10*t - 13. Let a be i(-7). Let h(z) = 2*z - 12. Let k be h(a). Suppose -17 - 103 = -k*b. Is 10 a factor of b?
True
Is 21 a factor of 7/(8*(-2)/(-624))?
True
Is -4 - (396/(-15))/(4/60) a multiple of 16?
False
Does 8 divide (-3)/5 + ((-144)/(-15) - -3)?
False
Suppose -14*p = p - 15975. Is p a multiple of 35?
False
Suppose -6*m = 2*h - 4*m - 24, m = -5*h + 72. Let o(j) = -j**2 + 20*j - 2. Is o(h) a multiple of 15?
False
Let o(g) = 27*g**3 - 6*g**2 + 21*g - 7. Does 17 divide o(3)?
True
Let t = -1 - -1. Let r be (-2 - (0 - -2)) + t. Is (39/(-6))/(2/r) a multiple of 10?
False
Let c(u) = -u**2 - 23*u - 5. Suppose 1 = 3*j + 4*h + 57, -2*h = j + 18. Is c(j) a multiple of 11?
True
Let i(q) be the second derivative of q**5/20 + 7*q**4/12 - 5*q**3/3 - 2*q**2 + q. Let b be -5*(-66)/55 - 13. Is i(b) a multiple of 33?
True
Suppose n = -r - 4, 0 = 3*n + n + 16. Suppose -t + 69 + 37 = r. Is 20 a factor of t?
False
Let r = -18 + -65. Let u = -27 - r. Does 14 divide u?
True
Is (-10072)/(-48) + -2*(-2)/24 a multiple of 15?
True
Let r = -20 - -24. Suppose -r = 4*g, -137 = -2*x - x + 2*g. Is x a multiple of 9?
True
Let i = 14 + -49. Let d = 5 - i. Suppose 9*f - d = 5*f. Does 8 divide f?
False
Let x(v) = -v**3 - 5*v**2 + 3*v + 9. Let g be x(-5). Let r(b) = -b - 6. Let w be r(g). Suppose -35 = -n - 2*u - w*u, -4*n + 119 = u. Is n a multiple of 15?
False
Suppose -b + 6 = z, 2*b - 2*z - 16 = -5*z. Let t(u) = -6*u + 4*u**b + 6 + 4*u + 9 - 8. Is 21 a factor of t(4)?
True
Let i = 39 + 50. Is 11 a factor of i?
False
Let g = 2740 + -1077. Is 14 a factor of g?
False
Let n(l) = 2*l**2 - 14*l + 37. Is n(6) a multiple of 5?
True
Let c = -8 + 10. Suppose -54 = -2*g - 14. Suppose b + 16 = -5*y + 74, -g = -c*y - 2*b. Does 9 divide y?
False
Let p(m) = 25*m**2 + 6*m - 20. Is 54 a factor of p(-6)?
False
Let g(k) = -5*k**2 - 7*k - 10. Let i be g(-5). Let l = i + 140. Is l a multiple of 10?
True
Let h be (-36)/(-15)*(-7 + 2). Let d = 72 - h. Suppose 2*n + n - d = 0. Does 28 divide n?
True
Suppose 0 = -2*n + n. Let h be ((n - 3) + 1)/2. Does 10 divide 43 + (h - -1)/(-2)?
False
Suppose 0 = -3*m - p + 109, -m + 4*p + 19 = -0*m. Let i(t) = t + 18. Let u be i(0). Let z = m - u. Is 17 a factor of z?
True
Let i(h) = -h**3 + 7*h**2 + 2*h - 10. Let z be i(7). Suppose -z = -g - 2. Suppose 5*l - g*l = 21. Does 7 divide l?
True
Let y = -1665 - -6656. Is 23 a factor of y?
True
Let p(s) = 107*s + 8. Let q(b) = 27*b + 2. Let f(a) = a**3 - 8*a**2 - 10*a. Let n be f(9). Let r(c) = n*q(c) + 2*p(c). Is r(-1) a multiple of 9?
True
Suppose 4*t - 4 = 0, 4*q - 1394 = 3*q + 3*t. Is q a multiple of 60?
False
Let q(p) = -p**2 + 13. Let y be q(0). Suppose 2*z - 1 = 7, -z + y = -3*f. Does 23 divide 79 + (-3 - (-5 - f))?
False
Suppose -8*v + 1323 = v. Is 26 a factor of v?
False
Let b be 11/(462/36)*-21. Is 4/(-2) + 174*(-12)/b a multiple of 6?
True
Let b = 71 + 58. Does 6 divide b?
False
Let c(b) = b**2 - 2*b - 7. Let p be c(9). Let i = 39 - p. Is 8 a factor of (-11)/(-11)*(0 - i)?
False
Suppose -4*u - 5*j + 5 = 0, u - 32 = -3*u + 4*j. Suppose 4*q - 186 = 2*y - 4*y, -4*q + u*y = -165. Is 5 a factor of q?
True
Let q be 1/6*3*-26. Let b(h) = -h**3 - 12*h**2 + 12*h + 14. Is b(q) a multiple of 10?
False
Suppose -36*z + 60 = -39*z. Let t be (47 + 1)*(-2)/4. Does 21 divide (35/z)/(2/t)?
True
Let w = 29 - 59. Does 6 divide ((-1)/(-1))/(-2 + w/(-14))?
False
Let v(k) = k**2 + 3*k - 6. Let m be v(-7). Let r(t) = -2*t**2 - 6*t + 6. Let w be r(-5). Let f = w + m. Does 4 divide f?
True
Let o = 396 - 55. Suppose -l + 88 - 11 = 0. Suppose -o + l = -4*u. Is u a multiple of 23?
False
Let a(j) = j**2 + 3*j + 14. Let y be a(-10). Suppose -c = 5*s - 23, -2 = c - 5*s + 15. Suppose -8 - 1 = c*u, y = 3*x - 4*u. Does 6 divide x?
True
Suppose 0 = -4*o - 4*o - 584. Let g = -61 - o. Is g a multiple of 6?
True
Let i be 72/4 + (-4 - -1). Suppose i*l - 1837 = 4*l. Does 27 divide l?
False
Suppose -2*x = -2*c + 340, x - 2*c - 356 = 3*x. Let o be 0 + -63*1 - (20 - 18). Let d = o - x. Is d a multiple of 28?
False
Is (-7 + (-810)/70)/(1/(-7)) a multiple of 6?
False
Let a = 140 - -1450. Is 14 a factor of a/4*(-38)/(-57)?
False
Let d be -6 + 7 - (-2 + 4)/(-2). Suppose d*l + 19 = 63. Is l a multiple of 3?
False
Let c = 2640 + -1386. Suppose 10*d - c = 686. Is 13 a factor of d?
False
Suppose 0*s - s + 12 = -v, -5*s = 3*v + 4. Does 14 divide -1 + 2 - -2*(-52)/v?
True
Suppose -14 = -6*y + 4*y. Does 2 divide y?
False
Suppose 0*i = -4*i + 8. Suppose i*q = -2*q + 580. Does 45 divide q?
False
Suppose 2*b + m + 43 = 0, -4*b - 5*m + 0*m = 95. Is 4/(-10) + ((-1808)/b)/1 a multiple of 13?
False
Let m(x) = -x**3 + 10*x**2 + 5*x - 2. Is 16 a factor of m(10)?
True
Let a = -54 + 120. Let u = 102 - a. Is 5 a factor of u?
False
Let r be (-3)/(-2)*160/6. Suppose 2*j - r = -0*j. Let m = 35 - j. Does 15 divide m?
True
Let u(p) = -p**2 + 3*p + 21. Let b be u(7). Let k = 11 - b. Does 4 divide k?
False
Suppose -18 = -2*f + 3*v + 8, 8 = 4*f + 5*v. Suppose 0*k - 378 = -f*k. Let x = k - -24. Is x a multiple of 13?
True
Let d(c) = -c**3 + 2*c**2 + 12*c + 4. Let l = 18 + -13. Let n(t) = -t**3 + t**2 + 11*t + 3. Let x(b) = l*n(b) - 4*d(b). Is 3 a factor of x(-5)?
False
Let p = 6701 - 4379. Is p a multiple of 18?
True
Suppose -p = 3*w - 17, -3*p - 6*w + 35 = -w. Suppose 5*u + m - 393 = 5*m, -395 = -5*u + p*m. Does 27 divide u?
False
Suppose -28*j + 1267 = -301. Is j a multiple of 5?
False
Suppose -8*g - 5*g + 936 = 0. Suppose -d - 1 = 4*w, -d + 3*w = 2*d - g. Is d a multiple of 15?
False
Let o(g) be the second derivative of -g**5/20 + g**4/4 - g**3/6 + g**2/2 + 6*g. Is o(2) even?
False
Suppose -s = -l + 660, -2*l - s + 973 + 353 = 0. Is l a multiple of 38?
False
Let u = 265 + -181. Is u a multiple of 6?
True
Let k(l) = -16*l - 17. Let a be k(-2). Suppose -5*z + 15 = 2*s, 15 = s - 2*z - a. Is s a multiple of 2?
True
Let i be ((-2134)/10 - -3)/((-6)/15). Let z = -303 + i. Is z a multiple of 38?
False
Suppose h = 2*m - 17, 2*m - 3*h - 24 = -m. Suppose m*l - 4*l - 424 = 2*f, -3*l - 5*f = -242. Is l a multiple of 19?
False
Let c = 8 - 4. Suppose -9*s + 605 = -c*s. Suppose -3*w + 58 = -w - 4*u, 5*w - s = -2*u. Is 14 a factor of w?
False
Suppose 26*j = 28*j - 10, 5*j + 263 = 4*x. Is x a multiple of 3?
True
Let g(t) = -30*t**3 + t**2 + t + 5. Does 12 divide g(-2)?
False
Let b = 16 + 158. Let x = 296 - b. Is 22 a factor of x?
False
Let g be (-2)/(((-2)/(-3))/(-1)). Let h be g/3 + 2 + -3. Suppose h*m = 4*m - 68. Does 9 divide m?
False
Is 3/9 - (-15617)/21 a multiple of 12?
True
Suppose 9*w + 20*w = 140592. Is w a multiple of 32?
False
Let q be 17/5 - 4/10. Suppose -2*s - q = 1. Let j(f) = 9*f**2 - 2*f + 2. Is j(s) a multiple of 9?
False
Let l = -99 + 88. Let t = l - -291. Does 22 divide t?
False
Suppose 0*x + 52 = -2*x. Let q = 40 + x. Does 11 divide 68/(-3)*(-21)/q?
False
Suppose -15 - 5 = -4*r. Suppose -4*p - 5*b = -263, r*p = -5*b + 108 + 227. Suppose -p = -4*f + f. Does 8 divide f?
True
Suppose 13 = -3*j + 46. Suppose 0 = 5*c - j*c. Suppose 0*o + 4*v = 3*o - 68, -v + 1 = c. Is 8 a factor of o?
True
Suppose 14*x + 117 = 187. Is 3 a factor of x?
False
Does 9 divide 162/(-15)*(-1265)/22?
True
Is 8 + 4 + -2 + 95 even?
False
Let w(o) = 43*o + 1. Suppose -m + 1 = v - 0*v, -4*v = 8. Suppose -2*s - m + 5 = 0. Does 11 divide w(s)?
True
Let x = 33 + -29. Suppose -w - 5*d = -50, -x*d + 79 = 2*w - 3. Does 5 divide w?
True