 12 divide y(3)?
True
Let i(o) = -o + 57. Is i(-11) a multiple of 4?
True
Let t(i) = 5*i - 4*i + i**3 - 7*i**2 + 4*i + 3. Let q be t(6). Let n = 4 - q. Is n a multiple of 2?
False
Suppose 6*h = -316 - 146. Let f = -58 - h. Is 8 a factor of f?
False
Suppose 5*d = 1619 + 946. Is 57 a factor of d?
True
Let f(i) = 3*i**2 + 20*i - 107. Does 66 divide f(6)?
False
Let t = -403 - -428. Does 8 divide t?
False
Let g = 1453 + -1119. Is 10 a factor of g?
False
Let f(m) be the first derivative of -17*m - 2*m**2 - 1/4*m**4 - 1 - 4*m**3. Is f(-12) a multiple of 12?
False
Let q(y) = -3*y - 3. Suppose 0 = h + 2*h + x - 40, 5*h + 3*x - 64 = 0. Suppose 0 = -4*p + 2*p - h. Does 9 divide q(p)?
True
Let n(f) = f + 13. Let y(g) = -g**2 - 3*g + 10. Let v be y(3). Does 2 divide n(v)?
False
Suppose 5*x - 1010 = 3*m - 7*m, 2*m - 2*x - 514 = 0. Does 44 divide m?
False
Suppose w - 4*k = 1, 6*k - 2*k + 29 = -3*w. Let p(r) = -r**2 - 8*r - 3. Let q be p(w). Suppose -q*c + 2*c + 76 = 0. Does 12 divide c?
False
Let w be ((-6)/27)/(3/(-27)). Suppose 3*g - 79 = w*h + 28, 4*h - 171 = -5*g. Is g a multiple of 35?
True
Let y be (-1)/(((-3)/15)/1). Suppose y*l + 73 = 233. Is 8 a factor of l?
True
Suppose 2*r = r. Suppose r*v + 3*v = 414. Does 69 divide v?
True
Let c = 268 + -195. Is c a multiple of 73?
True
Let f(a) = -38*a - 22. Is f(-14) a multiple of 10?
True
Is 54 a factor of 99*8*45/108?
False
Suppose 0*n + 2*n - 22 = 5*k, -n = -2*k - 10. Let y = n - 55. Let o = y + 82. Does 11 divide o?
True
Let d = 17 + 268. Suppose -24*h + d = -19*h. Is h a multiple of 22?
False
Let z be 4/(-10) + 4/10. Suppose -s + 9 - 6 = z. Suppose 5*d = -s*i + 23 + 496, 4*d - 422 = i. Does 28 divide d?
False
Suppose 2*g - 2*o = 194, -2*g = o - 0*o - 200. Suppose -13*l + g = -10*l. Is 6 a factor of l?
False
Suppose 6*x - 3*x - 1656 = 5*i, -2776 = -5*x + 3*i. Is x a multiple of 54?
False
Let x = -36 + 42. Suppose 0 = r - 7 - x. Is r a multiple of 11?
False
Suppose a - 4*a = 0. Suppose a = -2*l + 7*l - 255. Suppose -u + 4*g = -l, 3*u + g = 18 + 200. Is 20 a factor of u?
False
Suppose -5*y + k - 139 = -y, -3*y + 2*k = 108. Let p = y + 31. Does 4 divide -1*p/(3/17)?
False
Let x(s) = s**2 - 11*s - 3. Let l be x(-7). Let o = l - 60. Is o a multiple of 14?
False
Suppose 3*k - 5*q - 100 - 11 = 0, -174 = -4*k - 2*q. Let j = k + -20. Suppose 4 = -r + j. Is r a multiple of 9?
True
Let s(h) = -3*h - 4. Let y be s(-6). Let n = y - 2. Does 6 divide n?
True
Let l be ((-6)/4)/(1 + 1/(-2)). Let q(n) = 15*n**2 + 2*n + 7. Does 20 divide q(l)?
False
Suppose 3*n - 10 = i, 3*n - 6 + 0 = 0. Is (-1)/(-2)*(-272)/i a multiple of 34?
True
Let x be 2/(-8) - 14392/32. Is -24*(x/(-8))/(-9) a multiple of 27?
False
Let f(i) = i**3 - 4*i**2 - 8*i + 3. Let w be f(5). Let m = w - -23. Is m a multiple of 4?
False
Suppose -5*j + 5 = 0, j - 193 = 4*q + 4*j. Let h = 11 - -64. Let p = q + h. Does 13 divide p?
True
Suppose 11*q - 5*c = 7*q + 79, -q = -2*c - 16. Is 4 a factor of q?
False
Suppose -93 = -2*v - 5*o + 37, 2*v + o = 114. Is v a multiple of 7?
False
Suppose 4*l - j = 2438, -10*l = -8*l + 4*j - 1210. Is l a multiple of 37?
False
Suppose 180165 = 74*y + 20325. Is y a multiple of 12?
True
Let b = -23 + 20. Let t = b + 6. Suppose t*j - 32 = 2*j - 2*w, w - 5 = 0. Does 3 divide j?
False
Suppose 5*c + b = -0 + 15, 4*c + 5*b = 12. Suppose -4*s + 232 = 3*m, 4*s + 218 + 30 = c*m. Is m a multiple of 17?
False
Suppose -1512 = -14*c + 5*c. Is 4 a factor of c?
True
Let d = 35 + -32. Suppose -d = f - 21. Does 3 divide f?
True
Suppose -b = -2*a + 132, 4*b - 5*b - 264 = -4*a. Does 11 divide a?
True
Let u(a) = -147*a + 87. Does 11 divide u(-4)?
False
Let q = -34 + 17. Let u = 14 + q. Does 7 divide (70/3)/((-2)/u)?
True
Let z(i) = i**2 - 37*i - 78. Is z(43) a multiple of 45?
True
Let n = -400 - -238. Let r = n - -230. Is 12 a factor of r?
False
Suppose -5*i - 299 = 4*b, 2*b - 5*i + 130 = -57. Let m = 90 + b. Is m a multiple of 3?
True
Suppose -j = p - 72, -14 = j - 4*p - 86. Suppose 5*y - j = 413. Suppose y = 5*z - 38. Does 7 divide z?
False
Suppose 3 - 3 = 5*u. Is ((-29)/(-2))/((4 - u)/32) a multiple of 15?
False
Let k = -22 - -28. Suppose 0 = r - 54 - k. Is 12 a factor of r?
True
Let w be (6/(-10))/((-12)/180). Suppose -w = 6*y - 27. Suppose -y*q + q = -76. Is q a multiple of 19?
True
Let l(h) = -8*h**3 - 11*h**2 + 7*h + 10. Is l(-4) a multiple of 8?
False
Let a = -12 + 24. Suppose -o = 3*o - a. Suppose o*y - 2*t = -0*t + 32, 2*y - 32 = 4*t. Does 8 divide y?
True
Let a = 105 + -74. Let i = a - -43. Is i a multiple of 14?
False
Let u(m) = 215*m - 1600. Is u(8) a multiple of 14?
False
Let y = -1210 + 5494. Is y a multiple of 102?
True
Suppose -2*h + 3*h = 5*o + 5, -5*h + o - 23 = 0. Is 24 a factor of (0 + h)*(-48)/10?
True
Suppose -d = d. Let k be 16/2 - (-8 + 11). Suppose 4*w - k*n - 51 = d, -2*w + 8 + 7 = n. Does 5 divide w?
False
Is 18 a factor of 18505/35 + 1*(-8)/(-28)?
False
Suppose 5*n = 15, -4*n + 14175 = 3*o - 7*n. Is o a multiple of 24?
True
Does 2 divide 434478/1218 + (-9)/(-7) + -1?
False
Let m be -2 - ((-2)/5 - (-116)/(-10)). Does 3 divide 1/(-2) + 125/m?
True
Is 76 a factor of (-84)/(-12) - (-1054 + 0 + 1)?
False
Let d = 310 + 54. Does 9 divide d?
False
Let d = 460 - 267. Suppose 137 = -5*t - d. Let w = 93 + t. Is 11 a factor of w?
False
Let v = 531 - -927. Is 71 a factor of v?
False
Suppose 1180 + 2960 = 18*v. Does 10 divide v?
True
Let s be (-2)/(-4 + 21/6). Suppose -4*a + 0*k + 188 = -4*k, 148 = 4*a + s*k. Is 7 a factor of a?
True
Suppose 3*t + 5*k - 348 = t, 4*t = 5*k + 696. Let b = t - 12. Does 18 divide b?
True
Suppose 9*k + 1 = -26. Is (97/k + 0)*-3 a multiple of 17?
False
Suppose 84*k + 6 = 87*k. Is 18 a factor of (-1)/((k - 3)/118)?
False
Suppose -3*q - 4*p = -306, 4*q - p = 3*q + 102. Does 34 divide (-3 - 51/(-9))/(1/q)?
True
Suppose 0 = -c - 3, -3*t + 5*c - 5 = -29. Is 2 + 3/(-3) + t a multiple of 4?
True
Let j = 5 - -42. Suppose 31 = 10*a + 111. Let l = a + j. Is 13 a factor of l?
True
Let w(g) = 4*g**2 + 3*g - 1. Let d be w(2). Let t = -9 + d. Is 4 a factor of t?
True
Let l = -142 - -285. Let j = -124 + l. Does 15 divide j?
False
Let f(g) = -7*g**2 - 2 - 9*g**3 + g**2 - 2*g + g**2 + 4*g**2. Does 10 divide f(-2)?
True
Let u(f) = 13 + 7*f + 15 - 5. Does 20 divide u(11)?
True
Let o = 1773 - 1437. Is 6 a factor of o?
True
Suppose -2*w - 3*a + 66 = 0, w - 10 = 4*a + 23. Suppose -2*q + 4*x = -q - 18, -q + w = x. Is q a multiple of 15?
True
Let k(t) = 18*t - 20. Let r be k(8). Let o = r - 87. Does 13 divide o?
False
Suppose 5*m = -4*r + 197, r + 2*r + 2*m - 153 = 0. Suppose f - r + 7 = -p, -5*f + 3*p + 254 = 0. Does 8 divide f?
False
Is (-4)/(-14) - 999/(-7) a multiple of 13?
True
Suppose -4 = -4*d, 5*k + 2*d - 1039 = -2*d. Is k a multiple of 3?
True
Suppose -2*o = 3*o + 2850. Does 19 divide (2 + 24/(-10))*o?
True
Let v(i) = 6*i - 12. Let b be 30/(-3)*12/(-15). Is v(b) a multiple of 10?
False
Let i = 10 + -7. Suppose -c = 18 + i. Is (7 - c) + 0/(-1) a multiple of 27?
False
Suppose -4*h - 491 = 541. Let p = h - -396. Does 14 divide p?
False
Let h(d) = -6*d**2 + d + 2. Let r(m) = -17*m**2 + 2*m + 6. Let b(z) = -7*h(z) + 2*r(z). Let g be b(3). Let p = -37 + g. Does 12 divide p?
True
Let h(b) = b + 7. Let t be h(-5). Suppose 3*u + 5*a = t*a - 15, -3*a + 13 = -4*u. Is 2/u*6 + 13 a multiple of 7?
False
Let k = -610 - -859. Is 7 a factor of k?
False
Suppose 2*j = -n - 2*n - 158, -2*n = -2*j + 112. Let s be 3*9/(n/68). Let u = s + 61. Is u a multiple of 9?
True
Let w(h) = h**2 - 5*h - 3. Let y be w(-4). Let o be (3 + -3)/(2 + 0). Let p = y + o. Is p a multiple of 11?
True
Does 83 divide 4501/2*((-36)/9 + 6)?
False
Suppose 645*d - 1017 = 636*d. Is d a multiple of 2?
False
Let t = -171 + 331. Is t a multiple of 20?
True
Let o = 41 + -33. Suppose 0 = o*z - 11*z + 51. Is 17 a factor of z?
True
Let o(q) = q**3 - 5*q**2 + 5*q - 3. Let f be o(3). Let w(u) = -17*u - 6. Is 16 a factor of w(f)?
True
Let l(d) = 34 - 8 - 2*d - 17 - 10. Let r(w) = w**3 - 4*w**2 - 3. Let g be r(4). Is l(g) even?
False
Suppose -4*q = -3*t + 1251, 2*t - 2*q = -172 + 1004. Suppose 5*i - t = 62. Is i a multiple of 29?
False
Suppose 5*f - 15 = -5*c, 2*c - 25 = -3*c - 3*f. Suppose -c + 28 = 4*d. Is d a multiple of 5?
True
Suppose -s = -5*s - 40. Suppose 0 = -w - 59 + 44. Do