*2 + 12*d. Let t be w(6). Does 26 divide t/96 - 1434/(-16)?
False
Is (-5733)/(-18) - (-11)/22 a multiple of 11?
True
Suppose -5*r - 2*p = -1037, 0*p - 619 = -3*r + 2*p. Is 5 a factor of r?
False
Let m(x) = x**2 + 2*x + 10. Let c(l) = l**3 + 9*l**2 + 8*l. Let a be c(-8). Is m(a) a multiple of 2?
True
Let v(u) = -u**2 + 14*u - 16. Let n be v(13). Does 5 divide (4 - 14/6)*(-27)/n?
True
Let p(y) = -y**2 + 5*y + 3. Let m be p(5). Suppose r - 20 = -m*r. Suppose 2*u - 1 = -r*o, -40 = -4*u - u - 5*o. Is 4 a factor of u?
False
Suppose 38 + 42 = -5*b. Let i = b + 27. Is 11 a factor of i?
True
Suppose 5*m - 6*m + 232 = 0. Is m a multiple of 4?
True
Let o(a) = -19*a. Does 57 divide o(-3)?
True
Let p be 8/(-28) + 111/21. Suppose i - p*u - 212 = 0, 2*u - 656 = -3*i + 48. Suppose 2*n - 5*n + 4*c = -i, -n = -5*c - 81. Does 19 divide n?
True
Suppose 310 + 152 = 11*g. Is 6 a factor of g?
True
Let v(b) = -30*b**3 - 3*b - 2. Let c(g) = 7*g**3 - g + 1. Let z be c(1). Let y = -8 + z. Is 17 a factor of v(y)?
False
Suppose 5 = w + 2. Suppose 0 = -2*c - 3*x - 10, -w = -5*c - 3*x - 19. Does 5 divide c/(-6) - (-235)/15?
False
Let c = 65 + -10. Suppose -b + 6*b + c = 0. Let r(a) = a**3 + 11*a**2 - 5*a - 4. Does 13 divide r(b)?
False
Let t(y) = 6*y**2 - 2*y - 2. Suppose n - 6 = 3*h - 3*n, -5*n + 19 = 2*h. Suppose -5*i + 0 + 4 = h*g, 2*i + 3*g = -5. Is 9 a factor of t(i)?
True
Let l(n) = -n + 12. Let y be l(-5). Suppose 20*h - 15 = y*h. Suppose 0 = h*i - 9*i + 184. Is i a multiple of 14?
False
Suppose -5*l = 0, 2*r - l + 8 = l. Let a be (-25)/(-10) - 2/r. Suppose -n = -j + 18 + 8, -5*j = a*n - 130. Is j a multiple of 13?
True
Let n = -9 + 81. Suppose 0 = -16*q + 12*q + n. Is q a multiple of 18?
True
Let h(c) = -c**2 - 5*c - 2. Let u be h(-4). Let v = 63 - u. Is 6 a factor of v?
False
Is (-1)/6 - (-13467)/18 a multiple of 15?
False
Suppose 4*n + 0*r = 2*r - 72, 72 = -4*n - 5*r. Let a = 47 + n. Does 19 divide a?
False
Let d = -225 + 238. Suppose -4 = 3*h + 2*t - 0*t, 0 = 5*h - 4*t - 8. Suppose 4*g - d - 39 = h. Is 4 a factor of g?
False
Suppose -5*k = 10, j - 4*k - 20 = 384. Does 22 divide j?
True
Let y(z) = -35*z**3 - 2*z**2 + 7*z + 7. Let i be y(-1). Suppose l = 5*l + 12. Does 8 divide 770/i + (-2)/l?
True
Let w = -33 - -57. Is 13 a factor of (w/20)/(6/440)?
False
Let g(b) = 2*b**3 - 8*b**2 + 5*b + 2. Let u be g(5). Does 16 divide 11/u - 922/(-14)?
False
Let s = 106 - -245. Does 39 divide s?
True
Let v = 7 - 2. Suppose 2*d - 3*d - v*f + 22 = 0, -2*d - 5*f = -64. Suppose 5*u - d - 278 = 0. Is u a multiple of 15?
False
Let b = -341 + 629. Is b a multiple of 24?
True
Let c(v) = v**2 + 6*v + 5. Let f be c(-6). Suppose -3*r = -f*r + 14. Suppose r*l + w = 4*l + 78, 66 = 3*l - 3*w. Is l a multiple of 16?
False
Let d(f) = f**3 - 3*f**2 + 2*f + 6. Does 83 divide d(11)?
True
Let p(k) = 31*k + 289. Does 11 divide p(-4)?
True
Let v be -27 + (-2)/(4 + -2). Let k = 57 - v. Is k a multiple of 10?
False
Let a = 396 - -18. Is 5 a factor of a?
False
Does 11 divide (-2046)/(-9)*(-18)/(-15)*5?
True
Does 38 divide (-10 - -15)/((-2)/(-152))?
True
Let x = 232 - -142. Is x a multiple of 34?
True
Suppose -3*j - 5*r + 3603 = 0, 0 = -3*r + 7 + 2. Is 16 a factor of j?
False
Let u = 1710 - 710. Is u a multiple of 40?
True
Suppose o + 5*n - 72 = 0, -4*o + 8*n - 13*n = -243. Is 11 a factor of o?
False
Let k = -618 - -1176. Is k a multiple of 113?
False
Suppose 5*w + 36 = 3*j + 2*w, 5*j = 4*w + 56. Suppose 10*u = j*u + 22. Does 4 divide u?
False
Suppose 5472 = 17*n - 14*n. Is 38 a factor of n?
True
Suppose w = -18 + 36. Let t(r) = 14*r + 6. Does 14 divide t(w)?
False
Suppose 0 = -5*v - 81 + 581. Let q = 9 + v. Suppose 0 = -2*b + s + 4*s + 59, q = 2*b + 5*s. Is b a multiple of 15?
False
Is 43 a factor of 76/((288/1500)/12)?
False
Let w(b) = 147*b + 113. Does 21 divide w(2)?
False
Let y = -1 + 5. Let p = -90 + 142. Suppose -8 + p = y*t. Is t a multiple of 2?
False
Let d(t) = t**3 - 30*t**2 - 59*t - 22. Is 9 a factor of d(32)?
False
Let f = 31 + -31. Let m be 3/2*(2 - f). Suppose -2*q - m*n = -7*q + 209, -n = 3. Does 10 divide q?
True
Suppose -3*h + 4*l = -1447 + 563, 3*h - 869 = l. Does 12 divide h?
True
Let n(w) = -w**3 - w**2 + 1. Let t(s) = -2*s**3 + 9*s**2 - 11*s. Let q(o) = 3*n(o) - t(o). Is 29 a factor of q(-13)?
True
Let c(y) = -5*y**2 + 14*y + 38. Let p(l) = 4*l**2 - 15*l - 39. Let w(j) = 5*c(j) + 6*p(j). Is 20 a factor of w(-14)?
True
Suppose -44880 = -46*x + 6*x. Is 22 a factor of x?
True
Let k(d) = 4*d + 44. Let v be k(-12). Is ((-715)/(-26))/((-2)/v) a multiple of 23?
False
Suppose -8 = 2*l, -6*l = -3*c - 10*l + 2960. Does 31 divide c?
True
Suppose 0 = 4*i + 8, 5*m + 10*i = 15*i + 3850. Is m a multiple of 8?
True
Let f = -1 + 6. Suppose 4*v + 271 = 3*y, 0 = -5*y + f*v - v + 441. Suppose -3*a + y = -14. Is a a multiple of 11?
True
Let t = -2883 - -3630. Does 4 divide t?
False
Suppose 200 - 57 = 11*l. Is l a multiple of 13?
True
Suppose -4*d = -7*d + 126. Is d a multiple of 13?
False
Let h = -315 + 825. Is 17 a factor of h?
True
Let g be 12/(-6) - 8/(-1). Suppose -4 = -2*z + g. Suppose u - 92 = -u + z*a, 0 = 4*u + 5*a - 124. Is 14 a factor of u?
False
Let s = 2291 - 1283. Does 48 divide s?
True
Let s = 6 - -58. Suppose -h + a = -4*a - 111, 2*h = 3*a + 229. Let j = h - s. Does 13 divide j?
True
Is 11 a factor of 3/(-6) + 0 + (-1211)/(-2)?
True
Let x be (-4)/(-1) + -10 + 9. Suppose x*u - 9 = -72. Let c = u + 31. Does 5 divide c?
True
Let a(r) be the first derivative of -r**4/4 + 2*r**3 - r**2/2 - 5*r + 2. Let b be (-9 + 11)*((1 - -2) + -1). Is a(b) a multiple of 23?
True
Suppose -2 = -5*q - 7, -3*j + 1327 = -4*q. Suppose -h = -2*h + j. Is h/27 + 4/6 a multiple of 6?
False
Let r(f) = 60*f - 80. Is 32 a factor of r(12)?
True
Let z = -348 + 700. Is 32 a factor of z?
True
Let k be 2/(-3) - 21824/(-93). Suppose 0 = 2*v - 8*v + k. Is v a multiple of 39?
True
Let l be 14 - -2*(-2 - -4). Let b = l + -16. Suppose -2*h - 6 = h, 4*g = b*h + 448. Is 35 a factor of g?
False
Let h be 14/84 - (-529)/(-6). Let w = -42 - h. Is 23 a factor of w?
True
Suppose -3*u + 6 = 5*z, -4*u + 5*z + 8 = z. Suppose -113 = -w - l, -3*w - u*l + 5 = -337. Is 12 a factor of w?
False
Suppose 5*j - 1440 = 5*b, -3*j + b + 23 = -845. Is 10 a factor of j?
True
Let t(s) = s**3 - 20*s**2 - 20*s - 63. Is 13 a factor of t(24)?
False
Let d(y) = 12*y**2 - 7*y + 17 - 8*y + 13*y**2 - 23*y**2. Is d(9) a multiple of 4?
True
Let f(z) = 80*z + 8. Does 22 divide f(1)?
True
Let f(v) = v**3 + 5*v**2 + 3*v - 1. Let h be f(-4). Let c(j) = 4 - j**2 + h - 5 - 10*j + 5*j. Does 6 divide c(-4)?
True
Let d(a) = 4*a**2 + 4*a + 13. Let p(f) = -7*f**2 - 9*f - 27. Let r(v) = -5*d(v) - 3*p(v). Is r(-12) a multiple of 11?
False
Let y(f) = f**3 - 10*f**2 + 2*f - 15. Let v be y(10). Suppose -z = v*z - 192. Suppose 87 - z = 5*a + 5*o, -5*a + 91 = -4*o. Does 5 divide a?
True
Suppose 0*r = 2*r - 4. Does 23 divide (-55)/r*(2 + -6)?
False
Let w(r) = -r**3 - r**2 + 8*r + 44. Is w(-10) a multiple of 18?
True
Let a(y) = y**2 + 4*y - 5. Let m be a(6). Let d = 30 - m. Let v = 51 + d. Is 14 a factor of v?
False
Let k be (-577)/4 - 4/(-16). Let t be k/(-45) + (-2)/10. Suppose 2*y - t*p - 89 = 0, -y - 25 = -2*y - 5*p. Is y a multiple of 10?
True
Suppose -11328 = -8*b + 672. Is 30 a factor of b?
True
Let n = -13 + 15. Suppose n*m - 42 = -0*m. Let i = m - 2. Is 19 a factor of i?
True
Let c(h) be the first derivative of 20*h**3/3 - h**2/2 - h - 1. Let j(k) = -k**2 - 1. Let y(i) = c(i) - j(i). Is y(-1) a multiple of 19?
False
Suppose 0 = 3*b - 3*z - 2889, 7*b - 2899 = 4*b - 2*z. Is b a multiple of 13?
False
Is 14322/105 + 2/(-5) + 0 a multiple of 17?
True
Let b(d) = -2*d + 1. Let h be b(2). Is 61 - (1 - (h - -6 - 0)) a multiple of 21?
True
Is -4 + 2/1 - (-1896 - -1) a multiple of 21?
False
Let b = 24 - 20. Suppose 122 = b*d + 2*p, d - 2*p = 8 + 30. Is 15 a factor of d?
False
Let z(b) = -b**2 - 5*b + 14. Let f be z(-7). Does 4 divide (f + 1 - 1) + 45 + -9?
True
Let d(h) = 12*h**2 + 47*h - 7. Is d(-7) a multiple of 42?
True
Let n = -1 - -46. Let s = 140 - n. Does 19 divide s?
True
Let w(n) be the second derivative of -11/6*n**3 + 5*n**2 - 1/12*n**4 + 0 + 9*n. Is w(-10) a multiple of 20?
True
Let j be (1 + 0 - -15) + -2. Let d = j + -12. Suppose -5*t + 190 = d*g, 4*t + 3*g = 168 - 23