iple of 27?
True
Let a = 111 + -105. Let k(o) = -o**3 + 11*o**2 - 11*o - 14. Does 25 divide k(a)?
True
Suppose 644 = -x + 2*x - 4*i, -3*x + 2007 = 3*i. Is 36 a factor of x?
False
Suppose -5*n + 3*n + 62 = 0. Let x = n + -29. Suppose g + 273 = 3*f, -x*f - 4*g + 182 = -2*g. Is f a multiple of 13?
True
Let n = -23 + -173. Let a = n - -321. Let x = -13 + a. Is x a multiple of 23?
False
Let j(a) = -a + 23. Let q be j(-16). Suppose 36*c - 33*c = q. Is 5 a factor of c?
False
Let v be 200/(-30) + (-2)/(-3). Let w be ((-6)/(-3))/(v/(-231)). Suppose -7*c - 92 = -5*x - 3*c, -c = 5*x - w. Is 16 a factor of x?
True
Let a be -18 - (-14 + -2)/4. Does 5 divide (-4)/a - 66/(-14)?
True
Suppose 4*l = -0*l - c + 732, 366 = 2*l - 2*c. Is l a multiple of 8?
False
Suppose s + 2610 = 3*g, 0 = -9*g + 4*g - 3*s + 4336. Is 9 a factor of g?
False
Let v(l) = -13*l + 36. Does 15 divide v(-3)?
True
Suppose c + 36 = -5*v - 6, 2*c = -5*v - 39. Let u = -20 + -43. Let h = v - u. Does 11 divide h?
False
Suppose c - 156 = -2*c. Suppose -18*y + c = -16*y. Is y a multiple of 13?
True
Let j be (-13)/((-8)/2 - -3). Suppose y - 3*p - j = 0, 4*p - 17 + 5 = 0. Suppose -y = -3*k - 4. Is 6 a factor of k?
True
Suppose -m + 94 = -3*s, -3*s + 6*s + 376 = 4*m. Let d be 0 + (3 - (-4 + 2)). Suppose -d*l + 5*y = y - 134, 3*l + y = m. Is 15 a factor of l?
True
Suppose -1754 = -5*o - 354. Let d = o + -40. Is 20 a factor of d?
True
Suppose h - 77 = -5*y, -154 - 291 = -5*h + 5*y. Let c = h - 61. Is 9 a factor of (3 + -6)/(-3) + c?
True
Let x(h) = -2*h + 12. Let l be x(5). Suppose -5*u = -l*m + 150, -2*u + 0*u = -5*m + 354. Does 14 divide m?
True
Let f = 3 + 3. Suppose b = 4*i - 8, 0 = -2*b + f*i - 2*i - 4. Does 22 divide 2394/56 + (-3)/b?
False
Suppose 10*y + 7*y = 28560. Is 80 a factor of y?
True
Let p(r) = r**2 + 4*r + 15. Is 30 a factor of p(-9)?
True
Suppose -2 = 4*y + 5*v, -2*v - 14 = -4*y + v. Suppose -2*d - y*f + 15 = f, 10 = 5*d + 2*f. Suppose d = 3*o - 179 + 14. Is 15 a factor of o?
False
Does 6 divide (-19)/(-19) + (-1 - -24)?
True
Let g(s) = s**3 + s**2 - s + 2. Let b be g(0). Let d be (b - (1 + -3)) + 84. Suppose -7*w + d = -164. Does 9 divide w?
True
Suppose -q + 6*q = 15. Suppose -2*d + 3*h = -143, -5*h + 4*h = q*d - 220. Is d a multiple of 11?
False
Let v(m) = m + 17. Let u = -10 - -15. Suppose -u*y = -6*y. Is v(y) a multiple of 9?
False
Let n = 1813 + -73. Is n a multiple of 12?
True
Let q be (-281)/(2 - (-5)/(-2)). Suppose 98 + 360 = 4*p + d, 0 = 5*p - 4*d - q. Suppose 114 = 2*k - y, -2*k + 0*y + p = 4*y. Is k a multiple of 19?
True
Suppose 0 = -4*s + 2*s + 88. Let m(n) = -n**3 + 4*n**2 - n + 4. Let o be m(4). Suppose o*z = -z + s. Is z a multiple of 11?
True
Let h(w) be the first derivative of w**6/120 + 2*w**5/15 - 5*w**4/12 + 4*w**3/3 - 3*w**2/2 + 4. Let q(y) be the second derivative of h(y). Does 17 divide q(-9)?
True
Let x = 25 + 41. Let k = -18 + x. Is 12 a factor of k?
True
Suppose -9420 = -6*a - 9*a. Is 41 a factor of a?
False
Let p(b) = b - 2. Suppose -6*r + 9*r - 24 = 0. Is p(r) a multiple of 5?
False
Let y(n) be the first derivative of -n**2 - 5*n + 9. Let w be y(-4). Suppose 2*z - 13 = -h, 0 = -w*h + 2*h - 3*z + 18. Is h even?
False
Let p(l) = l**2 + 2*l - 8. Let t be p(-4). Let j(k) = -k**2 + 3*k + 151. Is j(t) a multiple of 9?
False
Suppose 1248 = n - y + 5*y, -2*y = -n + 1272. Is n a multiple of 74?
False
Let n = 1808 - 934. Is n a multiple of 46?
True
Let l = -130 - -201. Let a = l - 40. Is 5 a factor of a?
False
Suppose 7*a - 3*a - 96 = 0. Suppose 0*m - 2*m + a = 0. Is 12 a factor of m?
True
Let c(g) = 3*g**2 - 7*g - 63. Does 14 divide c(-26)?
False
Suppose 25*h + 8587 = 107862. Does 19 divide h?
True
Let d be 372*((-20)/3)/(-5). Suppose -4*o + 659 = -n, 2*n - 3*n = 3*o - d. Does 33 divide o?
True
Let c(t) = t**3 - 5*t**2 - 4*t - 7. Let m be c(8). Suppose -3*j + m = 33. Is j a multiple of 8?
True
Let l(j) = -j**3 - 5*j**2 + 4*j + 3. Let d be l(-6). Suppose -d = 2*n - 5*n. Suppose -5*r = n*o - 65, -5 + 17 = 4*r. Is o a multiple of 2?
True
Suppose 11*j - 13*j = -40. Does 4 divide j?
True
Suppose 2*s = 2*q - 3*s - 19, 0 = 5*q - s - 36. Let z be (-4)/(-6) + (-26)/(-6). Suppose q = k - t - 9, -k + z*t = -32. Is 12 a factor of k?
True
Suppose 2*k - 88 = -3*g - g, 5*k - g - 253 = 0. Let u = k - 98. Let b = u + 69. Is 7 a factor of b?
True
Let w = 26 + -12. Let r be (-49)/w - 3/(-2). Does 18 divide (r - (4 + -6)) + 36?
True
Let j be 2*-23*7/14. Let n = j + 47. Does 6 divide n?
True
Let k = 59 + -49. Let b = k - -45. Is 23 a factor of b?
False
Suppose 231 = 3*w - 336. Is 21 a factor of w?
True
Suppose l = -4*l - 7070. Let h be 18/(-45) - l/10. Suppose 0 = -3*u - 39 + h. Does 8 divide u?
False
Suppose 0 = -3*o - 37*z + 41*z + 1689, 4*z - 547 = -o. Is o a multiple of 13?
True
Suppose 58*f = 60*f + 16. Does 17 divide ((-860)/f - -3)*(5 + -3)?
True
Let s = -32 + 64. Suppose 64 = 34*x - s*x. Is 3 a factor of x?
False
Let k(r) = r**2 - 9*r + 1. Let p be k(8). Does 12 divide (40/(14/p))/(1/(-3))?
True
Suppose 0 = -2*x + 3*g + 16 + 57, 3*x - 5*g = 109. Let t = 194 - x. Is t a multiple of 13?
True
Let b = 1001 - 527. Suppose h = 3*a + 105, -b = -5*h - 0*a - 2*a. Does 8 divide h?
True
Let c = 120 - -64. Is c a multiple of 46?
True
Let l(d) = 16*d - 45. Let q be l(-13). Does 17 divide q/(-3) + ((-14)/(-21))/1?
True
Let k(r) = r + 818. Let a be k(0). Is 15 a factor of (-12)/96 - a/(-16)?
False
Suppose -9*d - 2709 = -12*d. Suppose -d = -7*b + 245. Does 41 divide b?
True
Let s be (-4)/(-10) + 17*3/(-15). Let o(m) be the third derivative of -11*m**4/24 + m**3/2 - 2*m**2. Is o(s) a multiple of 5?
False
Suppose -1 = -4*w + 7. Suppose -w*s + 3 = s. Is -3*s - (-29 - -3) a multiple of 23?
True
Let y = 1 - -2. Let t be (0 - (-1 - -3))*(1 + -5). Suppose y*o + 105 = t*o. Is 7 a factor of o?
True
Let f(a) be the second derivative of 2*a + 1/2*a**3 + 0 + 4*a**2. Is f(6) a multiple of 13?
True
Let k = -33 + 26. Is (-2016)/(-49) + 1/k a multiple of 19?
False
Let q(a) = -a**2 - 26*a - 46. Let g be q(-24). Let r(j) be the first derivative of j**4/2 - j**3/3 + j**2 - j - 1. Is r(g) a multiple of 5?
True
Suppose 5*p + i = 5360, -4304 = 5*p - 9*p - 4*i. Is p a multiple of 21?
True
Suppose -690 = -5*n + 5*w, 3*w - 650 = -10*n + 5*n. Suppose -8*d = -7*d - n. Does 26 divide d?
False
Let c = -6 + -8. Let j(g) = g**2 + 2*g - g - 4 + 11*g. Is 16 a factor of j(c)?
False
Let o = -6 + -6. Suppose -3*d + 7*z + 842 = 3*z, 2*d = -3*z + 550. Is d/7 - o/42 a multiple of 21?
False
Let t(u) = -4*u**2 - 6*u - 5. Let o be t(-4). Suppose -270 = -4*j + 3*p - p, -4*p = -5*j + 333. Let w = j + o. Is 6 a factor of w?
True
Suppose -2*t + b = -80, -28*t - 72 = -30*t - 3*b. Does 2 divide t?
False
Let f be 2 - 42/1 - -1. Let s = f - -57. Let i = s + -10. Is i a multiple of 6?
False
Let p = 72 + -10. Suppose 4*o = -4*k + 520, 2*k - 208 = -4*o + p. Is k a multiple of 25?
True
Let r = -27 - -18. Let w = r - 36. Let m = -25 - w. Is 20 a factor of m?
True
Let n = 569 + -354. Suppose 0 = -s - 5*j + n, 3*j + 963 = 4*s + s. Is s a multiple of 39?
True
Let s(m) = 16*m**3 + m**2 - m + 1. Let g be s(1). Suppose 0 = 5*l - 7 + 2, -4*n = 5*l - g. Does 16 divide 504/(-35)*(-10)/n?
True
Let l be (-16)/(-10)*(-2975)/(-2). Suppose -12*w = -2*w - l. Does 22 divide w?
False
Let p(c) = c**3 - 71*c**2 + 165*c + 211. Does 8 divide p(69)?
False
Let r(a) = 4*a - 17. Let k be r(6). Is 11 a factor of (k/1 - -2)*5?
False
Suppose 2*d - 8 = -0*d. Suppose -3*v = o - 7, -d*o - o - v = -49. Does 3 divide o?
False
Let k(w) = 15. Let v(x) = -x + 1. Let o(n) = k(n) - 2*v(n). Is 10 a factor of o(12)?
False
Is 16 a factor of (1880/50 + 4)*70?
True
Suppose -o + 286 = 4*t, 11*o - 3*t - 265 = 10*o. Is o a multiple of 20?
False
Let u(x) = 27*x**3 - 6*x**2 + 11*x - 12. Does 104 divide u(4)?
True
Suppose 4*y = 9*y + 15. Let x be 27/(-6)*(-4)/y. Is ((-2)/x)/((-3)/(-54)) a multiple of 3?
True
Let j(o) = 4*o**2 + 49*o - 64. Does 15 divide j(-22)?
False
Suppose -2*z + 493 = -5*u - 2418, u = -5. Suppose -z + 415 = -4*r. Does 21 divide r?
False
Suppose 0 = -3*m + z + 1171 + 925, 0 = -2*m - 5*z + 1420. Is 35 a factor of m?
True
Let w(q) = -2*q + 8. Let m be w(7). Is 35 a factor of (-1015)/(-14) - -1*m/4?
False
Let y = 0 + -1. Let k be (y/3 - -1)*6. Suppose -6*b + 28 = -k*b. Is 