False
Let l be 4*(-4)/8 + 26. Let q = 41 - l. Is 4 a factor of q?
False
Suppose -21*x + 27608 = 13*x. Does 16 divide x?
False
Suppose 592 = f - 5*f + 5*r, -4*f - 628 = 4*r. Let u = -109 - f. Let b = 80 - u. Does 18 divide b?
True
Let z(l) = 4*l**2 + 19*l - 15. Let y be z(-11). Let d = y - 46. Is d a multiple of 13?
False
Suppose 4*x - 23 = 53. Suppose 2*c - x = 33. Is c a multiple of 12?
False
Let f(h) = h**3 + 33. Let m be f(0). Let w be 12/9 - m/(-9). Suppose -w*z + 2*u + 302 = 86, 2*z = -5*u + 69. Does 7 divide z?
True
Suppose -4*f = -12, -4*i + 5*f = -i + 24. Let t be 7*i*6/21. Let p(v) = v**3 + 7*v**2 - 10*v - 15. Is 27 a factor of p(t)?
True
Let g be (0 - 1)*1*-2. Suppose g*n + 42 = -0*n. Let d = 26 + n. Does 2 divide d?
False
Let r = 153 + 207. Is r a multiple of 12?
True
Let l = -785 + 374. Let k = 593 + l. Is k a multiple of 28?
False
Is ((-4)/(-8))/(7/10052) a multiple of 7?
False
Let l be (-2)/(-3) + 20/6. Suppose -l = -2*j + 2. Suppose -j*o = -15 - 66. Is o a multiple of 9?
True
Let r = 202 - 73. Suppose -x - 4*u + 70 = 0, -2*x + 3*u + r = -0*u. Is 11 a factor of x?
True
Let s = 26 + -16. Suppose -3*v + 38 = -8*h + 3*h, 5*h - s = -5*v. Suppose 0 = -a + v*a - 4*u - 23, -47 = -5*a - 4*u. Is a a multiple of 2?
False
Let a(h) = h**2 + 3*h + 110. Is a(-9) a multiple of 4?
True
Let i(m) = -10*m + 2. Let j be i(-1). Suppose 0 = o + 2*b - j, -4*o + 5*b - 15 = o. Suppose 2*n + o*n = 256. Does 20 divide n?
False
Let f(l) = -9*l - 9 - 2*l**2 + l**3 + 9*l**2 - 2*l**2. Is f(-5) a multiple of 9?
True
Let u(i) = 6*i**2 + 91*i - 21. Is u(-19) a multiple of 16?
True
Let y be (-4)/(-10) + (-5736)/40. Let m = -93 - y. Let o = -1 + m. Is 20 a factor of o?
False
Suppose 3*n - 127 = -4*f, -10 - 26 = -2*f + 4*n. Suppose f = -5*y + 128. Suppose j - 6*j = -y. Is j a multiple of 3?
False
Let u = 11 - 4. Let f be (-1)/u - (-282)/14. Let k = -8 + f. Does 6 divide k?
True
Suppose 3*w = -3*h + 34 - 7, 16 = -w + 4*h. Let d(y) = 11*y - 1 + y - 8. Is 13 a factor of d(w)?
True
Suppose -12*p + 33 = -3. Suppose 276 = 3*v - v. Suppose p*l = v + 66. Is l a multiple of 15?
False
Let d(a) = 7*a. Let i be 8/(-6)*-2 - 12/(-36). Is 3 a factor of d(i)?
True
Let p be ((-84)/(-16))/(3/4). Suppose -a = -p*a + 24. Suppose a*f - i - 37 = 0, -4*f + 23 = -3*i - 24. Does 8 divide f?
True
Suppose 5*t = 3*k - 4615, 299*k + 5*t = 296*k + 4655. Is k a multiple of 14?
False
Let s be (0 + 1 + -1)/(-2) - 4. Does 5 divide (25 + -4)/(0/s + 1)?
False
Is 18 a factor of 180044/115 - (-2)/5?
True
Let d = 144 + -264. Is 11 a factor of 70/(-4)*(4 - d/(-21))?
False
Let r be (4/(-12))/((-3)/54). Is r - 2 - (1 + -69) a multiple of 8?
True
Suppose -p - 8 = -5*b, p = 2*p + 5*b - 22. Suppose -o = -p*z + 4*z - 23, 2*o - 4*z - 36 = 0. Is o a multiple of 4?
True
Suppose -4*o = -7*o + 3. Let m(f) = 64*f**3 + 3*f**2 - 1. Does 11 divide m(o)?
True
Suppose -2*k - 20*d = -24*d - 264, k = 5*d + 120. Is k a multiple of 10?
True
Suppose 2*z - 40 = 5*s, -s + 58 = 5*z - 42. Suppose 4*v + 4*d = z, -4*v - 4*d + 8*d + 44 = 0. Is 2 a factor of v?
True
Suppose d = 2*y - 7*y - 34, -4*d = 5*y + 46. Let t(q) = q**3 + 7*q**2 + 6*q + 8. Let h be t(y). Is (189/12)/(2/h) a multiple of 24?
False
Let x = -775 + 877. Does 17 divide x?
True
Let g(l) = 39*l - 213. Does 44 divide g(19)?
True
Let c be (-3168)/63 - (-4)/14. Let f = 95 + c. Does 9 divide f?
True
Let v(m) = m**3 + 10*m**2 - 12*m + 5. Let p be -2*((-9)/6)/3. Let j be (-32 - p)*2/6. Is v(j) a multiple of 5?
False
Suppose -5*h - 3*a - 182 = 0, -5*h - 4*a - a - 190 = 0. Let q(w) = 13*w + 26. Let r be q(-7). Let o = h - r. Does 20 divide o?
False
Suppose 4*u = -0*u + 16. Let c be 2 + u/4 + 1. Suppose -135 = -c*k + k. Is 9 a factor of k?
True
Suppose -5*l - 3858 = -2*n, -2*n - 306*l + 309*l + 3858 = 0. Does 62 divide n?
False
Suppose 3*t - 5*t = -396. Suppose -6*l + 4*l + t = 0. Suppose -14*v + 17*v = l. Is 11 a factor of v?
True
Suppose -c + 24 = 3*c. Let p be 758/12 + (-1)/c. Suppose -p = -3*q + 6*r - 3*r, 3*r - 33 = -3*q. Does 4 divide q?
True
Let i be (-1)/(2*(-1)/4). Suppose -i*b - b + 9 = 0. Let v = 24 - b. Is 9 a factor of v?
False
Is (-965831)/(-2575) - 2/25 a multiple of 6?
False
Suppose m = -2*m + 4*y + 165, -3*m + 165 = -3*y. Suppose -265 - m = -5*v. Suppose -4*t + 95 = -5*x + 31, -v = -4*t + x. Is t a multiple of 6?
False
Suppose -103*k - 1212 = -109*k. Is 4 a factor of k?
False
Suppose -4*x = -8, -2*k - 31 = -5*k - 5*x. Suppose -q - 4 = -s, -s + k*q = 2*q - 12. Suppose -s*j = -6*j, u - 29 = -3*j. Is 18 a factor of u?
False
Let v(x) = -x**3 - 41*x**2 - 5*x + 109. Does 24 divide v(-41)?
False
Let g(m) be the first derivative of 11/2*m**2 + 12*m - 1/3*m**3 - 1. Is 12 a factor of g(11)?
True
Suppose -5*n + 2*l - 140 + 470 = 0, 15 = 3*l. Suppose -f + 2*w + 31 = 0, -n + 210 = 4*f + w. Let k = f - 25. Is 5 a factor of k?
True
Suppose -21*g = -32*g + 1980. Is g a multiple of 6?
True
Suppose 5*l = 6*l - 3. Suppose 2*p + 48 = 2*q, -l*p + 2 = -10. Does 7 divide q?
True
Let m be 4/(-3) - 2/(-6). Let u = m + 0. Is 9 a factor of u/(-7) - 522/(-21)?
False
Let n(s) = s**3 - 5*s**2 - 6*s - 8. Let y be n(6). Let v be y/16 - 5/(-2). Suppose -2*p = 2*l - 124, 2*p - v*l - 85 = 39. Does 9 divide p?
False
Let z be (-6)/(-33) + 525/77. Suppose 0 = -5*c - 5*r + 175, -c + r + 18 = -z. Is 6 a factor of c?
True
Is 10 a factor of 1310/35 + (-21)/49?
False
Let j = -59 - -63. Suppose 4*f + 2*a = j*a + 418, 4*a = 20. Is f a multiple of 30?
False
Let t = 286 + -222. Does 11 divide t?
False
Let u = 1374 + 333. Does 35 divide u?
False
Let z(f) = -f**3 - 5*f**2 - 5*f + 4. Let n be z(-3). Suppose -3*g = 0, 3*g = 4*p - 13 + n. Is 3 a factor of p?
True
Does 60 divide (-2)/(4/(-1398)) - -10?
False
Let w = 223 + -149. Let t be (-20)/50 - w/(-10). Is 9 a factor of ((-36)/t)/((-1)/7)?
True
Let i(h) = h**3 + h**2 - h + 12. Let s be i(0). Let o = s + 28. Is 20 a factor of o?
True
Suppose 2*t + 774 = 11*t. Suppose 0 = w - 4*n - 14, -w - 3*w = -n - t. Is w a multiple of 11?
True
Suppose 1 = -5*r + 16. Let p(z) = -1 + 3*z - 2*z**3 - z**2 + 0*z + 9*z**r - 2*z. Is p(1) even?
True
Suppose 0 = c - 7 - 231. Does 5 divide c?
False
Suppose -598 = -2*t + 3*b + 671, -t + 662 = 4*b. Is t a multiple of 55?
False
Let w = -4 - -5. Let z be (-1 + w)/(-4 - -3). Suppose -4*l + 89 - 13 = z. Is l a multiple of 19?
True
Let o be 2/(-6) + (-805)/(-3). Suppose -4*h + 283 - 20 = 5*y, o = 4*h + 4*y. Does 9 divide h?
True
Suppose -60*n = -26*n - 2346. Is n a multiple of 23?
True
Let i be 0/(((-1)/(-1))/1). Let k = i - -41. Suppose 4*n = w + k - 8, -n + 3*w = 0. Is 9 a factor of n?
True
Let t be 20/(-6)*(-39)/26. Suppose 0 = -p + t, -5*p + 8 + 7 = -5*x. Suppose -3*r - 497 = -4*z, 0*z = -4*z + x*r + 502. Does 28 divide z?
False
Let l(t) = -t**3 - 4*t**2 + 21*t. Let d be l(-7). Suppose -244 = -2*x + 4*b, x + 4*b = 6*x - 616. Suppose -i - i + x = d. Is i a multiple of 16?
False
Let x be (-1 + 1 - -5) + -3. Suppose -4*k - 32 = -3*q - x*k, 4*k - 68 = -5*q. Is (-220)/(-6) - 8/q a multiple of 12?
True
Suppose 5*p = 12 + 3. Suppose 7*o - 400 = -p*o. Is o a multiple of 7?
False
Suppose 64 = -7*z + 505. Is z a multiple of 21?
True
Let l(d) be the third derivative of d**5/4 - d**4/12 - d**3/6 - 9*d**2. Let t be l(-1). Let n = 61 - t. Does 15 divide n?
True
Let x(q) = -26*q**2 + 9*q**2 - 2*q**3 - 3*q + 7 + 11*q**2. Does 23 divide x(-6)?
False
Let k = -3141 - -5281. Is 107 a factor of k?
True
Suppose 8*p = 5*v + 6*p - 556, -101 = -v - 3*p. Is v a multiple of 6?
False
Suppose -301 = -0*o - 3*o - 5*y, 4*o + y = 390. Does 4 divide o?
False
Suppose -3 = 3*u - 0. Is 31 a factor of (-1*(0 - u))/((-2)/326)?
False
Let p = 10 + -52. Let w = -20 - p. Does 11 divide w?
True
Let a(o) = 100*o**2 - 6*o - 10. Is a(-2) a multiple of 21?
False
Suppose -5*i + 0*i + 2*h = -29, -2*i + 4*h = -18. Suppose -v - v + 129 = 3*a, 0 = 5*a + i*v - 210. Is a a multiple of 5?
True
Let m(c) = c + 3. Let v be m(-3). Let n(q) = -6*q - 3*q**2 - 2 + v*q + 5*q**2 + 1. Is n(4) even?
False
Let l = 27 + -45. Is (-45)/6*l/15 even?
False
Suppose -6*x = 26*x - 18496. Does 21 divide x?
False
Let b be (-5 + 4 + 3)*1. Suppose -c + b*c - 5*d = 671, 0 = -5*c - 5*d + 3235. Suppose -5*k + c = 146. Is 17 a factor of k?
False
Let q be (-11 + (-187)/(-22))/((-1)/2). Let t(x) = 3*x**2 - x. Let h 