 = 2*r**2 + 22*r + 45. Does 32 divide d(9)?
False
Let c(l) = l**3 - 3*l**2 + 4*l + 5. Let q be c(-3). Let s = 171 + q. Does 22 divide s?
True
Suppose -k + 3*j = -10 - 13, -5*k - 5*j = -35. Suppose f - 335 + k = 0. Is f a multiple of 41?
False
Let h = -95 - 31. Suppose -28 = -42*u + 49*u. Is 10 a factor of h/u + 18/(-12)?
True
Let t(m) = -m**3 + 8*m**2 + 11*m - 11. Let y be t(9). Let a(r) = 7 - y*r**2 - 8*r + 9 - 6 + r**3. Does 10 divide a(8)?
True
Let q be (-6)/(-2) - 0/(-6). Let m(p) = 4*p**2 + p - 2. Let n be m(q). Is 4 + -4 - -1*n a multiple of 15?
False
Let u(c) = -24*c - 11. Let x(w) = 24*w + 10. Let r(y) = 5*u(y) + 6*x(y). Suppose 5*a + 10 = 4*b, -5*b + 3*a + 2*a = -15. Is r(b) a multiple of 29?
False
Suppose -2 + 2544 = 5*o + 2*c, 5*c = -20. Is o a multiple of 10?
True
Let s = 271 - 136. Suppose 0 = 2*j - 153 - s. Is 16 a factor of j?
True
Suppose 5*v + 3*z = -2 - 6, 4*z = 16. Is 26 a factor of ((14 - 2) + v)*13?
True
Let c(i) = -2*i**3 - 2*i**2 - 2*i - 3. Let d be c(-3). Suppose w - 49 = 2*b, -4*w + 100 = -4*b - 80. Suppose -w = -5*j + d. Does 11 divide j?
False
Does 54 divide ((-162)/15)/(5/(-375))?
True
Is 92/(-3)*(-153)/12 a multiple of 17?
True
Suppose 5*b - 102 = -b. Suppose -b*j + 8 = -19*j. Let k(z) = -9*z + 8. Is k(j) a multiple of 7?
False
Suppose 16 - 25 = -3*u. Suppose w - q - 23 = 0, -4*q - q = -u*w + 59. Is 14 a factor of w?
True
Let w(n) = -3*n + 44. Let d be w(14). Is 7 a factor of -8*(-4)/d + (-9)/(-3)?
False
Suppose 46*r - 126900 = -48*r. Does 9 divide r?
True
Let r(t) = 17*t - 2. Let q be r(1). Let v = 15 - q. Suppose -b = 3, 4*n - 3*n - b - 39 = v. Is n a multiple of 19?
False
Let y(q) = 4*q + 3*q**2 - 12 + 10 + 4*q**2 + 3*q. Let u be y(-5). Suppose 0 = 3*h - u + 36. Does 23 divide h?
False
Let d be ((-198)/55)/(2/(-5)). Let a = 9 + d. Suppose g - 3 = a. Is g a multiple of 20?
False
Suppose -4*t - 25 = 31. Let w = -14 - t. Suppose -6*q + q - 2*l = -60, w = 4*q + 4*l - 48. Is q a multiple of 3?
True
Let v = -998 - -1708. Is 10 a factor of v?
True
Let p(c) = -89*c - 8. Let k(g) = g**2 + 8*g + 10. Let f be k(-6). Is 11 a factor of p(f)?
False
Suppose 133 = -3*k - 47. Is 4 a factor of k/(-8)*(-14)/(-3)?
False
Let y = -38 - -30. Let g = 84 + y. Does 21 divide g?
False
Suppose z - 3*i + 0*i = 11, -2*z - 5*i = 11. Is -1 + (z - 2) + 127 a multiple of 14?
True
Let y(x) = -x**2 + 3*x + 10. Let b be y(3). Is 9 a factor of ((-5)/b)/((-2)/396)?
True
Suppose 2*v = -2*q - 36, 3*q + 54 = -3*v - q. Let t = v + 59. Does 5 divide t?
False
Let u be 15/5 + (12 - 0). Let i be 10/(-4)*12/u. Is 39 - (2/i + -2) a multiple of 14?
True
Suppose 7*s - 50 = 2*s. Let x be (5 - (-6)/2)*s. Suppose 0 = q - 5*q + x. Does 19 divide q?
False
Suppose -g = -5*q + 146 + 99, g = q - 49. Let k(d) = -4*d**2 + 5*d - 6. Let w be k(3). Let z = w + q. Does 20 divide z?
False
Let h be (15/(-10))/(1/(-2)). Let d(w) be the third derivative of w**6/120 - w**4/8 + 2*w**3/3 + w**2. Is 22 a factor of d(h)?
True
Suppose 3*p - 2 = -0*p + 2*q, 2*q - 14 = -5*p. Suppose 0 = -p*j + 197 - 5. Is 24 a factor of j?
True
Suppose 6*h + 91 = 541. Does 12 divide h?
False
Let w(b) be the third derivative of b**4/12 + 5*b**3/6 + 15*b**2. Is w(3) a multiple of 11?
True
Let f(v) = -2*v**3 - 8*v**2 - 8*v + 1. Let x be (30/(-25))/((-3)/40). Suppose -n = 3*n + x. Does 11 divide f(n)?
True
Let g = 103 + -91. Suppose 0 = 4*p - g - 32. Is 2 a factor of p?
False
Suppose -4 + 16 = 4*t + 5*k, 2*k = 2*t + 12. Let h(d) = -16*d + 0 - 32*d + 12*d - 18*d - 3. Is h(t) a multiple of 35?
True
Suppose -5*q + 10 = 5*t, 2*q - 2 = 4*t + 2. Suppose 4*u - 1237 = -5*w, -2*w - q*u + 6*u + 478 = 0. Is w a multiple of 35?
True
Let d(u) = 82*u + 84. Is 48 a factor of d(10)?
False
Let x be 102*(4 - 44/(-8)). Suppose 2*c = z + 5*c - 191, -x = -5*z - c. Let g = z - 101. Is 25 a factor of g?
False
Let g = 1109 + -437. Is g a multiple of 2?
True
Let t be 1/((-6)/9 + 1). Suppose -t*d + 0*s + 114 = -3*s, d - 4*s = 23. Suppose 3*i - 223 + d = 0. Is i a multiple of 17?
False
Let d(t) = 4*t**2 - 6*t - 1. Let q(v) = v. Let f(j) = d(j) + 6*q(j). Let n(a) = a**3 + 6*a**2 - a - 7. Let s be n(-6). Is f(s) even?
False
Suppose -a = 74*v - 75*v - 2888, 4*v + 8 = 0. Does 39 divide a?
True
Suppose -4*i - 356 = -2*k, -154 = 2*i + 4*k + k. Let p = i - -113. Is 6 a factor of p?
False
Suppose -2*g - g = -5*v + 273, 55 = v - g. Is 17 a factor of v?
False
Let p(a) = 3*a**2 - a. Let u be p(-1). Suppose 3*n = 2*j + 100, -5*n + 170 = -u*j - j. Is 32 a factor of n?
True
Let x = 11 - 22. Let l = x - -14. Is (7 - l)/((-2)/(-40)) a multiple of 23?
False
Let x = 329 - -291. Is x a multiple of 18?
False
Let q(u) = 90*u - 219. Does 22 divide q(23)?
False
Suppose g - 427 = -2*t - 2*g, -5*t = -2*g - 1058. Suppose 4*h + 4*j = -t, -5*j + j - 110 = 2*h. Let s = -33 - h. Is s a multiple of 18?
True
Let o = 18 - 20. Let w be -1 + (o + 0 - -15). Suppose s - w = -s. Is s a multiple of 6?
True
Let m = 78 - 80. Is 18/6*m/3 + 17 a multiple of 15?
True
Let w = -14 + 6. Let n be (4/6)/(w/(-36)). Is ((-21)/6 + n)*-74 a multiple of 15?
False
Let z(y) = 5*y**2 + 2*y + 3. Let i = 44 - 27. Let o = i - 14. Is 18 a factor of z(o)?
True
Let g(b) = -2*b**3 - 4*b**2 - 4*b - 3. Let d(x) = -2*x + 4. Let f = 5 + -2. Let u be d(f). Does 5 divide g(u)?
True
Suppose 6*d - 33 = 3*d. Is 4 a factor of d?
False
Suppose -2*i - 3*i = 10, 3*x - 3*i = -3. Let d be x + 1/(4/(-36)). Is (-8)/d - 76/(-3) a multiple of 4?
False
Let o be -4*(-4 - 324/(-8)). Let b = 222 + o. Does 19 divide b?
True
Suppose -428 = -2*h - 3*r + 176, 0 = -2*r + 4. Does 13 divide h?
True
Let s(g) = -27*g - 12. Let l(j) = j + 1. Let h(k) = -45*l(k) - 3*s(k). Let v(m) = -9*m + 2. Let f(d) = 4*h(d) + 18*v(d). Is f(-2) a multiple of 12?
True
Let a(z) = z**3 - 4*z**2 + 2*z + 5. Let t be a(3). Does 16 divide 11*(7*t - 5/5)?
False
Let q = 25 - 15. Let w = 12 - q. Let m = 92 - w. Does 28 divide m?
False
Is 32/(-64)*(-333 - -1) a multiple of 5?
False
Suppose -90 = x - 3*a + 8*a, 5*a = 3*x + 170. Let z = -281 - -417. Let i = x + z. Is 24 a factor of i?
False
Let v(i) = i**2 - 5. Let y = -22 - -18. Let g be v(y). Suppose -13 - g = -x. Is x a multiple of 9?
False
Let c(w) = -w**2 - 22*w - 21. Let u be c(-13). Suppose -o = -5*o + 4*l + u, 4*l = 5*o - 124. Does 2 divide o?
True
Does 9 divide 54/(24/9 + -2)?
True
Let s be 175/2 - (-1)/2. Suppose -4*j = -4*g - 140, 3*g = 2*j + 7*g - s. Does 8 divide j?
False
Let u = -1627 + 2523. Is u a multiple of 28?
True
Let s(z) = z**2 + 10*z - 8. Let h be s(-12). Suppose 8*v = 4*v + h. Suppose a - 2*o = 86, 0 = 4*a + 2*o - v*o - 320. Is a a multiple of 26?
True
Let n be (-9)/(-4) - (-5)/(-20). Suppose -2*f = -4*f + n. Suppose -4*t - 34 = -14, f = -b - 5*t. Does 24 divide b?
True
Suppose s + 2 = 0, 527 = 8*y - 5*y - 4*s. Suppose -3*x + 497 - y = 0. Let c = 155 - x. Does 13 divide c?
False
Suppose 0 = 2*n - 0*n - 4. Let i be (1152/60)/(3/10). Suppose -6*z + i = -n*z. Is z a multiple of 16?
True
Let t = -2333 - -2461. Is t a multiple of 7?
False
Let q(b) = -6*b**2 + 5*b + 12. Let x be q(-4). Let g = 185 + x. Is 7 a factor of g?
False
Let s = 397 - 203. Is s a multiple of 3?
False
Let s = 177 - -1968. Is 16 a factor of s?
False
Suppose 480 + 200 = 17*x. Is x a multiple of 10?
True
Let v = 5 - 5. Let t be v*(2 + (-3)/2). Suppose -2*s + 127 - 31 = t. Does 17 divide s?
False
Let j = 310 + -44. Is 38 a factor of j?
True
Let j = 6 + -3. Suppose 0 = -3*n + 5*w + 218, 3*w = -0 - j. Let a = -32 + n. Is a a multiple of 13?
True
Let c(m) = 86*m - 14. Let t be c(6). Let g = t + -258. Suppose q + 229 = 3*u - q, -3*u + g = -5*q. Is u a multiple of 12?
False
Let j(u) = u**3 + 14*u**2 - 18*u + 7. Let t = 0 + -15. Is 26 a factor of j(t)?
True
Let t be 2/(-10) + (-19515)/(-75). Suppose -2*o = 5*g - 276, -3*g - t = -o - o. Does 19 divide o?
True
Suppose -4*j - 3*a + 1892 = 0, j - 2*a - 496 = 3*a. Is j a multiple of 10?
False
Suppose 2*k - 8 = y, -k - 5*y - 8 = -3*k. Does 2 divide (-402)/(-14) - k/(-14)?
False
Suppose 50*f - 46641 = -13641. Is 6 a factor of f?
True
Let p be 8/(-18)*(-9)/2. Suppose q = 5*z - p, -q + 2*z + 2 = z. Is 2 a factor of q?
False
Let t(m) = m**2 - 25*m + 126. Is 13 a factor of t(44)?
True
Let p(k) be the first derivative of -4*k**3/3 + k**2 + 4*k + 6. Let g be p(-2). Let n(c) = -c + 14. 