296. Does 15 divide u?
False
Suppose -2*j + j = -3. Let r(c) = -5*c - 3. Let g(n) = n + 1. Let b(w) = 6*g(w) + r(w). Is b(j) even?
True
Let n(r) = -r**3 + 2*r**2 + 11*r - 7. Let v be n(4). Let x be (-16 + v + -2)*2. Let i = x + 92. Is 27 a factor of i?
False
Let t(f) = -2*f**3 + 26*f**2 - 15*f - 14. Is t(12) a multiple of 5?
False
Suppose -18*g = 5328 - 46638. Is 39 a factor of g?
False
Suppose 0 = -0*c - 4*c + 80. Suppose 5*s = c - 5. Suppose -2*l + 65 = o, -52 - s = -l - 5*o. Does 15 divide l?
True
Suppose -10 = -9*h + 53. Suppose -h*z + 68 = -359. Is 13 a factor of z?
False
Let f = -132 - -75. Let n = 2 - f. Is n a multiple of 11?
False
Let p(s) = 3*s**2 - 3*s + 6. Suppose 5*o - 11 = 2*l - 1, -o = -4*l + 16. Is p(o) a multiple of 6?
True
Suppose 3*j + 6 = 5*d, j - 2*d + 2 = d. Does 8 divide (3/(-9))/(j/96)?
True
Suppose 4*v = 23*v - 3952. Is 4 a factor of v?
True
Suppose 5*o = -12 - 23. Let b = o + 109. Does 17 divide b?
True
Let t(i) be the first derivative of i**4/24 + 7*i**3/6 - 7*i**2/2 + 6. Let q(k) be the second derivative of t(k). Is q(5) a multiple of 6?
True
Suppose 18*p - 16*p + 4*n = 1320, -4*p + 5*n = -2640. Does 60 divide p?
True
Let o(q) = q - 3. Let p be o(7). Let x be p - -2*5/10. Suppose 10*n - x*n - 85 = 0. Does 17 divide n?
True
Let s be 8/3 - (57/(-9) - -7). Suppose 5*v = -0*v - 3*y + 153, v = -s*y + 25. Does 33 divide v?
True
Is 11 a factor of 5/(-10) - 604/(-8)?
False
Let y(z) = -32*z + 7. Is 14 a factor of y(-8)?
False
Let b(r) = 41*r - 230. Is 14 a factor of b(14)?
False
Let b(z) = -z**3 - 5*z**2 + 2*z. Let k be b(-9). Suppose 3*h = 4*t + 202, 8*h + 2*t - k = 4*h. Does 37 divide h?
True
Let i = -45 - -84. Suppose -19 = 5*k - 2*c + 18, 0 = -3*k - 3*c - i. Is 4 a factor of (-2 + -12)/(8 + k)?
False
Suppose -4*q = 2*p - 7*q - 497, -5*p - 4*q + 1231 = 0. Let j = p + -8. Is 30 a factor of j?
False
Let m(r) = -2*r**2 - 57*r + 112. Does 4 divide m(-28)?
True
Let q(r) = r**2 - 11*r - 2. Let u(t) = 4*t**2 + 2*t + 2. Suppose 0 = -0*c - 8*c - 16. Let d be u(c). Is q(d) a multiple of 20?
True
Let f(l) = -l**3 + 4*l**2 + 3*l - 6. Suppose -s + 1 = -3*k, -4*s - k + 5*k = 20. Let h(b) = -2*b - 13. Let r be h(s). Is 6 a factor of f(r)?
True
Suppose 25 = 5*f - 0*f. Suppose -4*w + 8 = -0*w, w + 13 = f*x. Suppose -84 = -2*y + x*p, -2*p - 134 = -4*y + 18. Is 12 a factor of y?
True
Let w(g) be the third derivative of -1/12*g**4 - 3*g**2 - 1/3*g**3 + 0*g + 0. Does 3 divide w(-7)?
True
Let c be 33 - ((-20)/4 + 6). Is 11 a factor of (53/14 + c/(-112))*22?
True
Let o(q) = -q**3 + 29*q**2 - 19*q - 11. Is o(23) a multiple of 6?
False
Suppose -5*w + 8 = 2*h, 0 = -4*w - w. Suppose 4*f - 35 = 45. Suppose f = s - h. Is s a multiple of 20?
False
Suppose -a - 32 = 4*b + 2*a, 0 = -5*b - 3*a - 37. Let j(q) = -4*q**2 + 4*q**2 - q**3 - 4*q**2 + 3 - 9. Is j(b) a multiple of 19?
True
Does 6 divide 1 + 1*(-3 - -1) + 79?
True
Is (4 + -14*51)/(-1) a multiple of 27?
False
Let m(q) = -q**3 + 6*q**2 + 5*q + 1. Let l(g) = g**2 + 11*g + 6. Let x be l(-9). Let c be ((-5)/(-2))/((-6)/x). Is m(c) a multiple of 17?
True
Let v(i) = -2*i**2 - 116*i - 303. Is v(-50) a multiple of 15?
False
Let r = 32 + -31. Does 25 divide 1 - -1*(r - 2 - -25)?
True
Suppose 6*w = 2*w + 8. Suppose w*y = 3*y + 3*h - 72, 324 = 4*y + 3*h. Does 21 divide y?
True
Suppose 153*m = 127*m + 14300. Is m a multiple of 5?
True
Let x(k) = 109*k + 64. Is x(19) a multiple of 61?
True
Suppose -4*s + 74 = -2*h, 0 = 3*s - s - 4. Is 4 a factor of (-1)/(h/6) - 84/(-22)?
True
Let i(j) = j**2 - 2*j - 3. Let o be i(5). Suppose n - 5*n + o = 0. Suppose n*t + 60 = 225. Is 19 a factor of t?
False
Suppose -2*a = -5*w + 5, 2*w + 2*a - 16 = -0*w. Let q(l) = -4*l**2 - 4*l + 37. Let f(c) = 9*c**2 + 9*c - 73. Let t(d) = w*f(d) + 7*q(d). Is 13 a factor of t(0)?
False
Suppose -3*c - 3 + 15 = 0. Let o = 294 - 285. Let q = o - c. Is q a multiple of 2?
False
Suppose 2*b - b = 29. Let x = b + 59. Is 36 a factor of x?
False
Suppose 108*f = 112*f + 120. Let t = f + 69. Does 22 divide t?
False
Suppose 7*m + 103 = a + 4*m, 3*a + 3*m - 321 = 0. Is a a multiple of 2?
True
Let w = -858 + 1089. Is 3 a factor of w?
True
Let p(l) = -387*l + 4 + 377*l - l**2 + 4. Is 4 a factor of p(-8)?
True
Let r be 3*-1*(-28)/(-6). Let v = r + 8. Is v/(-27) + 480/27 a multiple of 5?
False
Suppose 0 = -9*c + 4*c + 275. Let r = -25 + c. Is 15 a factor of r?
True
Suppose 5*o - 3*a + 6*a - 38 = 0, 36 = 2*o - 4*a. Let f = o - -8. Does 3 divide f?
True
Let j be 4*(20/8 + -2). Suppose 3*a + j*g = 5*g + 129, -3*g + 165 = 4*a. Suppose 3*z = 2*y - 54 + 12, 2*z - a = -2*y. Is 17 a factor of y?
False
Let c(p) be the third derivative of -p**4/6 + 12*p**2. Does 10 divide c(-11)?
False
Let n(s) = -3*s**2 + 26*s + 34. Let d(f) = f**2 - 13*f - 17. Let q(t) = 5*d(t) + 2*n(t). Is q(-11) a multiple of 2?
False
Let m(i) = -i**3 + 11*i**2 + 5*i + 2. Let o(p) = p**3 - p**2 - p. Let f be ((-8)/16)/(2/(-4)). Let k(u) = f*m(u) + 2*o(u). Is 29 a factor of k(-5)?
True
Suppose -5*w - 3*j + 851 = -618, 0 = 3*j + 6. Is w a multiple of 36?
False
Let q be -1*2/4*-4. Suppose 5*r - 5 = 5. Suppose 0 = t - q*i - 43, -r*t - 17 = -5*i - 102. Is t a multiple of 15?
True
Let x(v) = v**3 + 5*v**2 - 2. Let a be x(-5). Is 525/18 - a/(-12) a multiple of 11?
False
Suppose -3*t = -2*t - 30. Let r be (80/6)/(4/t). Suppose -4*l + h + r = -3*h, -44 = -2*l - 4*h. Is l a multiple of 10?
False
Let g = 1672 + -880. Is 24 a factor of g?
True
Let h(i) = i**2 + 5*i - 2. Let z be h(-5). Let g be (-1179)/(-15) - z/5. Let q = g + -18. Is 22 a factor of q?
False
Let y(r) = -17*r**3 + r**2 - 9*r + 12. Does 55 divide y(-6)?
False
Let p(j) = 48*j**2 + 4*j - 2. Let m(o) = -47*o**2 - 5*o + 3. Let b(v) = 3*m(v) + 4*p(v). Is b(-1) a multiple of 21?
False
Let i = -11 + 14. Suppose 0 = -i*h - 2*h. Suppose h = -f + 3*m + 25 - 3, -3*m - 70 = -4*f. Is 8 a factor of f?
True
Suppose f = -2*h + 717, -6*f + 4*f - 1446 = -4*h. Is 45 a factor of h?
True
Suppose 0*w + w + 4*v = 162, 2*v - 354 = -2*w. Is 2 a factor of w?
True
Let t(u) = 2*u**2 - 14*u + 8. Let f be (-9)/6 + (-3)/6. Let o be f - (-1 - 11/1). Does 17 divide t(o)?
True
Suppose -54 = -3*b - 3. Suppose b*x = 21*x - 592. Is x a multiple of 37?
True
Suppose 12*s - 4566 = -30. Does 42 divide s?
True
Let i = 2 + 0. Suppose 0 = -8*d + i*d + 120. Does 10 divide d?
True
Suppose 0 = 2*t - 4*u + 2*u - 578, -2*t + 3*u + 583 = 0. Is 11 a factor of t?
False
Let w = -1 + -3. Let p be (20/(-6))/(w/6). Suppose -p*i = -10*i + 75. Is i a multiple of 11?
False
Let s(t) = 5*t**2 + 10*t + 26. Let f be s(-4). Suppose -344 = -2*y + f. Does 41 divide y?
True
Does 31 divide -111*(-120)/54 + (-5)/(-15)?
False
Suppose 47*w - 3*w = 7392. Is w a multiple of 28?
True
Suppose -4*d + 681 = -d + 3*z, -z + 458 = 2*d. Does 11 divide d?
True
Suppose -3*z + 171 - 21 = 0. Is z a multiple of 8?
False
Suppose -h - 172 = -v, 4*h = 5*v + 2*h - 866. Is 11 a factor of v?
False
Let k(m) = m**3 - 9*m**2 + 6*m. Let v be k(6). Let z = 82 + v. Is z a multiple of 10?
True
Let i = 185 + -158. Is 19 a factor of i?
False
Suppose -2*b + 16 = 5*f, 0*f = b + 5*f - 13. Suppose -x + 0*x + 3*l = -b, -4*x - l = -25. Suppose -q + 469 = x*q. Is 18 a factor of q?
False
Let o(s) = -s**3 - 2*s**2 + 3*s - 1. Let y be o(-3). Is (y + -5)/(3/(-38)) a multiple of 19?
True
Suppose m + 4*m + 5 = 0, i + 5*m - 18 = 0. Let x = i - -49. Suppose 27*j = 31*j - x. Does 6 divide j?
True
Let q(o) = -o**2 + 2*o + 3. Let i be q(0). Suppose 4*f = 4*h - 156, h - i*f - 55 = -14. Is 9 a factor of h?
False
Let v = 4896 + -1963. Does 34 divide v?
False
Suppose -11*y = -16*y + 25. Is 17 a factor of (-32 + -2)*(3 - y)?
True
Suppose a - 2*g - 20 = g, 0 = -a - g + 28. Is a a multiple of 2?
True
Let c(h) = h**2 + 8*h - 2. Is c(8) a multiple of 18?
True
Let k(d) = 11*d**2 + 3*d**2 + 11*d + 6 + d**3 - 1. Let z be k(-13). Suppose 3*y - 5 = z. Is 5 a factor of y?
False
Let z(o) = -o**2 + 10*o + 6. Suppose 0 = 4*d - d - 27. Does 3 divide z(d)?
True
Let q(k) = k**3 + 20*k**2 - 25*k + 6. Let t be q(-21). Suppose 2*h + 20 = -4*u + t, 5*h - 5*u - 190 = 0. Is 5 a factor of h?
False
Let t be (16/4)/(-8)*0/1. Suppose t = -60*y + 56*y + 960. Is y a multiple of 12?
True
Let m = -1 - -1. Let f(k) = -k**2 - k + 135. Let b be f(m). Suppose 3*s = b + 45. Does 11 divide s?
Fa