a?
False
Let c = 27 - 14. Let r be (0 - 5/25) + 55/25. Suppose -2*j + 23 = -3*k, -j - r*k - 5 + c = 0. Is 5 a factor of j?
True
Let l be (-8 + 5)*-33*(-3)/27. Let x(i) = -i**3 - 11*i**2 - 7*i + 22. Is x(l) a multiple of 3?
True
Let n = 340 + -298. Let p = -95 + 68. Let k = n - p. Is k a multiple of 27?
False
Let u be (-1)/(-3) + 13/(-39). Suppose 4*c = a + a + 384, u = a. Does 32 divide c?
True
Let o(j) = 10*j**2 - 10*j + 12. Is o(-9) a multiple of 16?
True
Let o be -4 + 0 - (-372)/12. Let s(p) = p**3 + 9*p**2 - p - 11. Let y be s(-9). Let k = o - y. Is 22 a factor of k?
False
Let a(k) = k**2 - 40. Let h be a(-6). Is 16 a factor of (h/2)/((-10)/80)?
True
Let w(b) be the second derivative of -2*b**4/3 - 3*b**3/2 + 13*b**2/2 - 2*b. Let n(m) = 7*m**2 + 8*m - 12. Let r(j) = -7*n(j) - 6*w(j). Is r(0) even?
True
Suppose -2*a = -5*y + 4625, 3*y - y - 1879 = -5*a. Does 9 divide y?
True
Suppose 0 = 53*h - 51*h + l - 4264, 4*h + 3*l - 8528 = 0. Is h a multiple of 82?
True
Suppose 0*y - 4*y + 144 = 4*f, -84 = -3*y + 3*f. Suppose -9 = -a + y. Is a a multiple of 30?
False
Let l(t) = 116*t + 91. Is l(7) a multiple of 43?
True
Suppose f + 2 = 0, -3*d - 1924 = -5*d + 4*f. Is d a multiple of 12?
False
Let z be 3 - 0 - (-547 - 10). Suppose -c = 4*c - z. Does 14 divide c?
True
Let m = 985 + -505. Is m a multiple of 6?
True
Suppose -3*n + 0*d + 70 = -4*d, -n + 20 = -2*d. Suppose 4*r + 76 = v, -15*r + 18*r = 5*v - 74. Let i = r + n. Is 4 a factor of i?
True
Suppose -4 = -0*a - a. Suppose -a*g + 117 = -3*g. Suppose 3*n - g = -0*n - 3*j, -3*j + 75 = 2*n. Is n a multiple of 14?
True
Suppose 4*y - 7*y = -9. Let a be (y*8)/(-9 + 10). Is 4 a factor of (-2)/(-6)*(3 + a)?
False
Let k(w) = -w**2 - 6*w + 2. Let q be k(-6). Let r(a) = -q + 9*a + 3*a + 7*a. Is 23 a factor of r(5)?
False
Let z(l) = -l**3 + l**2 + 15*l + 3. Is z(4) a multiple of 6?
False
Let z = 163 + -149. Does 28 divide (11 - (4 - 1))*z?
True
Suppose 3*t = 11 + 1. Suppose -3*u - 5*x + 3 - 1 = 0, -2*u + t*x = -38. Is 27 a factor of (-204)/9*u/(-6)?
False
Suppose 2*r - 10 = -3*u, 2*r = -3*u + 8*u - 6. Suppose 5*t = 3*a + 644, 8*t - u*a - 646 = 3*t. Does 19 divide t?
False
Suppose 0 = -4*c - 9 - 3. Let s(p) = 9*p**2 + 2*p. Does 15 divide s(c)?
True
Suppose 0 = -z - x + 81, -4*z - x = -6*x - 306. Let s = z + 25. Does 25 divide s?
False
Suppose 0 = 4*y - 20, -y - 810 = -d + 4*y. Suppose -2*z - 3*z = -d. Is 17 a factor of z?
False
Let d(h) = -4*h + 234. Is 15 a factor of d(-9)?
True
Suppose -4*u = 0, 4*u - 504 = -4*r - u. Is r a multiple of 18?
True
Suppose t - 8 = -77. Let s = t - -154. Suppose 6*c - s - 95 = 0. Is c a multiple of 5?
True
Let l be (-240)/(-18) - (-2)/(-6). Let k = l + -9. Does 4 divide k?
True
Does 7 divide 273*(9 + -4 - 26/6)?
True
Let h be -5*1*(2 - 12). Suppose h*b - 53*b = -126. Does 6 divide b?
True
Let o = 288 + -190. Does 7 divide o?
True
Let o = 74 + -71. Suppose 49 = -o*w + 268. Is 28 a factor of w?
False
Suppose -5*d - 163 - 37 = 0. Is 4 a factor of 24/d - (-63)/5?
True
Suppose -560 = -2*a - 2*i, 5*a - 4*a + 5*i - 280 = 0. Is a a multiple of 28?
True
Suppose -z + 16 = z - 4*r, -3*z + 16 = -4*r. Is 15 a factor of 5 + -7 + z + 2 - -30?
True
Is 433 + (-2)/11 + (-90)/110 a multiple of 9?
True
Let a = -82 + 41. Let n = 54 + a. Does 3 divide n?
False
Suppose -4*a = -0*a - 24. Let k(j) = 0*j - j**2 - 3*j - a + 5*j**2 + 2. Does 23 divide k(4)?
False
Let z = 71 + -70. Is z + -3 + 31*4 a multiple of 22?
False
Let m(r) = 3*r - 14. Let v be m(6). Is 3*v/(-66) + 1740/132 a multiple of 4?
False
Let l(v) = 9*v - 7. Suppose 4*j + x + 4 = 27, x + 19 = 2*j. Does 10 divide l(j)?
False
Suppose 2*k + 85 = 77. Let m(l) = -2*l + 13. Is m(k) a multiple of 21?
True
Let j be (6/(-12))/((-1)/24). Suppose j = 4*s, 4*p - 5*s - 74 = 343. Is p a multiple of 18?
True
Suppose l + 3*r = 1591, -3*l + 640 = 3*r - 4103. Does 19 divide l?
False
Let g = -11 - -8. Let y = g + 5. Suppose -y*j + i + 11 = -7, 5*i = 2*j - 10. Is j a multiple of 8?
False
Let k(h) = -h**3 - 11*h**2 + 11*h - 15. Let y be k(-12). Is 6 a factor of (-78)/(-1) - (-2 - y - -3)?
False
Let g(v) = -v**2 + 6*v - 5. Let l be g(6). Let w be 3210/21 - l/35. Suppose -p = -3*b - 26 - 22, -b + w = 4*p. Does 13 divide p?
True
Let y = -13 + 16. Suppose -z - y*f + 69 = z, 0 = 3*z - 3*f - 126. Is 11 a factor of z?
False
Suppose 11*a + 434 = 4207. Is 15 a factor of a?
False
Suppose 291 = 6*s - 75. Let y = -25 + s. Is 9 a factor of y?
True
Let z(p) = -p**2 + 2*p + 3. Let i(s) = s + 1. Let n(f) = -i(f) - z(f). Let k be n(-8). Is 14 a factor of (k/(-16))/(6/(-16))?
True
Is 13 a factor of (-30)/(-4)*(450 - -44)?
True
Suppose 0 = 2*r + 6*u - 2*u - 768, 0 = -r - 3*u + 389. Is r a multiple of 11?
True
Suppose 5*y + 105 + 5 = 0. Let j = -20 - y. Suppose -106 = -x + 2*d, j*x - 4*d = x + 108. Is 26 a factor of x?
True
Is 27 a factor of 325 - ((-48)/6)/1?
False
Suppose 4*r + 424 = 3*m, -194 - 198 = -3*m - 4*r. Is 35 a factor of 1 + m + -1 + 3?
False
Suppose j = -11 + 1. Is 6 a factor of (18/(-10))/(-3*(-1)/j)?
True
Suppose -26*u + 360 + 7700 = 0. Is u a multiple of 62?
True
Let b(x) = x**2 - 6*x + 7. Let k be b(7). Let f = k - -2. Is 4/f*5*16 a multiple of 9?
False
Let j = -659 - -744. Does 71 divide j?
False
Let u(j) = 21*j + 10. Let t(n) = 22*n + 10. Let k(p) = 2*t(p) - 3*u(p). Does 6 divide k(-4)?
True
Let u = -36 + 37. Is 20 a factor of (-9)/(-18) + (u - (-122)/4)?
False
Suppose j - 273 = -6*j. Let m = -20 + j. Does 3 divide m?
False
Let l(q) = q**2 + q - 2. Let t be l(2). Suppose 0 = t*m - 4*i + 22 + 218, m - 3*i + 64 = 0. Let z = m + 133. Does 22 divide z?
False
Suppose 13*w = 15*w - 66. Let p = -32 + w. Is 18 a factor of p/(4 - 246/62)?
False
Let o(i) = -i**3 + i**2 + 12*i + 192. Is 8 a factor of o(0)?
True
Let c(d) = d**2 - 9*d - 42. Is 6 a factor of c(-6)?
True
Does 37 divide 1232444/793 + 2*(-2)/26?
True
Suppose 5*b + 1078 = j, -j = -7*b + 12*b - 1068. Is j a multiple of 37?
True
Let m = 165 - 47. Let g be (9/12 - 0)*68. Let x = m - g. Does 20 divide x?
False
Let z(k) = k**2 - 2*k + 3. Let u be (6 - 4)*(-6)/4. Does 18 divide z(u)?
True
Let o = -2511 - -6826. Is o a multiple of 24?
False
Suppose -3*b = -5*b + 454. Suppose -5*o = z - 268, 4*o + 21 = -5*z + b. Is o a multiple of 22?
False
Suppose 3*u = 5*u - 1924. Is u a multiple of 10?
False
Suppose 35 = 3*g + v, -g - 5*v + 24 + 11 = 0. Suppose 2*y + g = 118. Does 14 divide y?
False
Does 15 divide (-2499)/42*(0 - 6)?
False
Suppose -3*z = -121 + 115. Suppose 5*o - n = 234, -z*o + n - 6*n + 99 = 0. Does 17 divide o?
False
Suppose -26 = 2*s + t + 17, 0 = -4*s + 4*t - 116. Let j = s - -38. Is 10 a factor of j?
False
Let w(q) be the third derivative of q**6/120 + 7*q**5/60 + q**4/24 + q**3/2 + 27*q**2. Is 4 a factor of w(-5)?
True
Suppose 3*k + 3*d = 1554, 2*k - k = -2*d + 515. Is 19 a factor of k?
False
Is 2 a factor of 4/(-2 + (-150)/(-69))?
False
Suppose -192 = -8*t + 8. Suppose 13*z - t = 8*z. Does 5 divide z?
True
Let d(i) be the second derivative of 0 + 5*i - 17/6*i**3 - 7/2*i**2. Is d(-5) a multiple of 19?
False
Let t be 0/3 + (5 - 3). Does 18 divide 60 + -2*t/(-4)?
False
Suppose -5*z + 6 = -4. Suppose 0 = 8*a + 10 - z. Is (45/(-36))/(a/8) a multiple of 6?
False
Let h = 28 - 28. Suppose 5*g + 198 - 1038 = h. Suppose -5*l = 2*s - 100, -4*s + 2*l - 4*l = -g. Is s a multiple of 9?
False
Let g(f) = 7*f - 4. Suppose -14 = -4*k - 2*j, 6*j - 3 = 5*j. Does 5 divide g(k)?
True
Let n(c) be the second derivative of c**5/20 - c**4/3 - 7*c**3/6 + 3*c**2/2 - 6*c. Let r be n(6). Does 8 divide 21/1 + r/11?
True
Let t(f) = -9*f - 39. Let k be t(-4). Let p(l) = -l**2 + 3. Let z be p(-4). Is 3*(-1 + z/k) a multiple of 5?
True
Let p(h) = -5*h + 20. Let n be p(-21). Suppose 73 = 2*y + f, 3*f + n = 4*y - 6. Is y a multiple of 5?
True
Let u be -3 - (-1 + -1 + 37). Let c(i) = 4*i - 16. Let w be c(-4). Let g = w - u. Is g a multiple of 2?
True
Suppose 217 = 5*v - 3*d - 698, -2*v = -3*d - 366. Let i = v - 93. Is 10 a factor of i?
True
Let y be 6/(-12) - (-71)/2. Suppose -5*n + y = -170. Is n a multiple of 17?
False
Let p = 72 + -69. Let f(l) = 26*l - 1. Is 6 a factor of f(p)?
False
Suppose -30*m = -25*m. Is -3 - m - (-12)/2 a multiple of 3?
True
Does 7 divide 0 + ((-5)/3)/(4/(-1836))?
False
Suppose 2*x = 3*x - 4*w - 13, 2*x + 3*w = -7. Let a