f 18?
False
Let q(c) = c**3 + 27*c**2 - 8*c - 47. Is q(-19) a multiple of 16?
False
Let m(f) = 891*f - 97. Does 5 divide m(2)?
True
Let b = 8 + 17. Let l = 11 + b. Is 9 a factor of l?
True
Let q be (-568)/(-6) + 5/15. Let b = -21 + 34. Suppose 6*n - 3*n = -i + b, -5*n = -3*i + q. Is i a multiple of 15?
False
Let p(f) = -f**2 - 3*f - 6. Let l(y) = 5*y**2 + 13*y + 25. Let a(w) = 2*l(w) + 9*p(w). Let o be a(-8). Let z = o - 38. Is 24 a factor of z?
False
Does 5 divide ((-107)/(-2))/(31/62)?
False
Let v(m) = -31*m - 150. Is 6 a factor of v(-18)?
True
Suppose 5*r - 20 - 50 = 0. Suppose 18*f - 512 = r*f. Is 32 a factor of f?
True
Let i be -6*(-819)/3 + (2 - 5). Suppose 0 = 3*n - 3, -i = l - 5*l - 3*n. Is l a multiple of 24?
True
Suppose 24 = 4*b - 2*b. Let l = b + 8. Is 5 a factor of l?
True
Let f(z) = z**2 + 5*z + 774. Is 13 a factor of f(-31)?
False
Let z(y) = -y**3 + 49*y**2 + 66*y + 379. Is 9 a factor of z(50)?
True
Let v(t) = 48*t - 4. Let k(s) be the third derivative of 2*s**4 - 2*s**3/3 + 9*s**2. Let h(j) = 6*k(j) - 5*v(j). Is 23 a factor of h(2)?
True
Let d = -13 + 1. Let u = d - -15. Suppose -u*r + 32 + 13 = 0. Is 11 a factor of r?
False
Let h be (-6)/18 + 4/3. Let k be (h - 11)/((-1)/8). Suppose -2*r = -0*r - k. Does 12 divide r?
False
Let m be ((-4)/12*0)/(-1). Let y(r) = -r + 8. Let g be y(m). Does 8 divide ((-12)/g)/((-6)/104)?
False
Let r(d) = 15 - 13*d + 25*d - 15*d. Let q be r(7). Is 10 a factor of (8/q)/((-2)/60)?
True
Let z = 780 + -457. Is 19 a factor of z?
True
Suppose -2*f = -49 + 17. Suppose -f*u + 14 = -15*u. Is u a multiple of 6?
False
Let q(j) = -j**2 + 7*j - 6. Let p be q(6). Suppose -8*w + 11*w - 243 = p. Does 24 divide w?
False
Let w(y) = -34*y**3 + 2*y**2 + y. Let d(x) = x**2 + 24*x**3 + x - 25*x**3 - 2*x. Let i be d(1). Is 13 a factor of w(i)?
False
Let g = 842 - 543. Is 16 a factor of g?
False
Let x(c) be the second derivative of c**4/12 - c**3/6 + c**2 - c. Let l be x(0). Suppose -l*d + 4*d = 6. Does 3 divide d?
True
Let p(n) be the second derivative of 17*n**4/12 + n**3/3 - 3*n**2/2 + 15*n. Is 8 a factor of p(2)?
False
Suppose -2*u + a - 4 = 0, 0 = -4*u - 0*u - a - 20. Let l be 7/(3/(2 - u)). Does 14 divide -40*2*l/(-35)?
False
Let d(p) = p**3 + 21*p**2 - 2*p + 64. Does 21 divide d(-20)?
True
Suppose -b = a - 3*b - 321, 2*a + 4*b - 674 = 0. Does 19 divide a?
False
Let z(u) be the first derivative of -47*u**2/2 - 8*u - 25. Is 6 a factor of z(-2)?
False
Let v(p) = 6*p**3 - 2*p**2 + 10*p - 30. Is v(3) a multiple of 3?
True
Let n(k) = 5*k + 8. Let d be n(11). Let j = d + -31. Does 5 divide j?
False
Suppose i - 2*i + 4*k - 2 = 0, 3*i + k - 7 = 0. Suppose -26 + i = -4*f. Is (-1)/(-3) - (-88)/f a multiple of 6?
False
Let k = -37 - -63. Suppose b = v - k, -4*v - 3*b + 89 = -4*b. Does 11 divide v?
False
Let k = 39 - 45. Let n(a) = -3*a + 20. Is n(k) a multiple of 27?
False
Suppose 2*m - 6*m + 3*y + 482 = 0, -4*y - 8 = 0. Does 12 divide m?
False
Suppose 85 + 239 = 9*z. Is z a multiple of 4?
True
Suppose -3*i + 3*q + 2925 = 0, -5*q - 529 = -2*i + 1409. Is i a multiple of 50?
False
Let b(p) = p + 1. Let a(f) = f**3 + f**2 - 10*f + 8. Let v(l) = -a(l) - 3*b(l). Is 9 a factor of v(-5)?
True
Let n = -318 - -368. Is 10 a factor of n?
True
Let d(m) = -4*m - 30. Let w be d(-8). Suppose 0 = -w*y + 9*y - 476. Does 17 divide y?
True
Let x be (22/(-3))/((-6)/9). Suppose -5*k = -24 - x. Suppose k*j - 4*j = 45. Is j a multiple of 6?
False
Let v(o) = 3*o**2 - 7 - 7*o + 15*o - 6*o. Is 29 a factor of v(-5)?
True
Suppose -3039 = -70*a + 67*a. Is 12 a factor of a?
False
Let n(f) = -f - 2. Let a be n(-4). Suppose -b = y - 4*b - 45, 5*y - 199 = a*b. Suppose -2*v - y = -183. Is 24 a factor of v?
True
Suppose -4*m + 18*y = 16*y - 1250, 3*m - 950 = -y. Is 3 a factor of m?
True
Let d = 7 - 7. Suppose d = -3*j - 2 + 8. Suppose 0*y - 72 = -j*y. Is 11 a factor of y?
False
Suppose -23232 = -343*k + 321*k. Does 12 divide k?
True
Is 17 a factor of (-1)/((-15)/10198) + (-30)/(-225)?
True
Let z = -3 - -4. Let g be 3/(9/6) + z. Suppose -77 = -4*c + g. Is 5 a factor of c?
True
Let t = -85 + 90. Suppose t*i - a - 457 = 0, -i - a + 101 = 2*a. Is 24 a factor of i?
False
Let y(d) = d**2 - 16*d. Let f be y(15). Is 11 a factor of (234/f)/1*(-6 + 1)?
False
Let k be 8/(-48) - (-14)/12. Suppose -3*g + 95 = 4*b, 4 + k = -5*b. Is 8 a factor of g?
False
Is (-24)/(132/(-11)) + (407 - -1) a multiple of 6?
False
Let u be (-4 - (-6)/3)*-14. Suppose 0 = -a + 51 + u. Does 28 divide a?
False
Does 20 divide 39291/63 - 6/45*5?
False
Suppose 44430 = -7*k + 22*k. Does 105 divide k?
False
Suppose 0 = -4*i + 84 - 4. Suppose 0 = t + 4*t + 5*j - 15, -3*t - 12 = -4*j. Suppose -x + 50 - i = t. Is 15 a factor of x?
True
Does 17 divide (-6)/(-45)*-5 - 2807/(-3)?
True
Let h = 70 + -37. Let q = 79 - h. Does 16 divide q?
False
Let j = 31 + -14. Let l = -2 + j. Does 5 divide l?
True
Let l(b) = -15*b - 1. Let u(t) = -7*t. Let r(p) = 4*l(p) - 9*u(p). Let v = 5 - -1. Does 7 divide r(v)?
True
Let i = -3654 + 6039. Is 45 a factor of i?
True
Let t(n) = 3*n**3 - 2*n + 2. Let s be t(2). Let f = s - 20. Suppose -2*g + 5*q = f*g + 9, 5*q - 17 = 2*g. Is g even?
True
Suppose -3*g = -2*o - 3392, 3*o - 3 = 6*o. Is 39 a factor of g?
False
Let b = 16 - 12. Let n be (b - 3)/((-3)/(-6)). Suppose -36 = -5*v - 3*a + 133, -v + n*a + 26 = 0. Does 16 divide v?
True
Let r(h) = -h**3 - 20*h**2 + 47*h + 76. Is r(-22) even?
True
Let x(z) = -5*z + 25. Let g be x(10). Let w be (-684)/(-10) - (-10)/g. Suppose w = 2*m - 26. Does 7 divide m?
False
Is (3 + 0)*-1 - -21 even?
True
Let t(u) be the third derivative of 19*u**5/15 + u**4/8 + u**3/2 - u**2. Suppose 2*l + 2*s = 4*s - 10, 3*l + 11 = 2*s. Is 19 a factor of t(l)?
True
Suppose 3*a + 4*f - 916 = a, 0 = 3*a + 5*f - 1373. Is 19 a factor of a?
True
Let d(k) = -k**3 + 2*k**2 - 2*k + 6. Let l be d(3). Let h = 3 - l. Is 4 a factor of h?
True
Let h be (-1052)/8 + 2/(-4). Let u = h + 50. Let c = -58 - u. Does 6 divide c?
True
Suppose -4*i + 13*i = 1863. Does 17 divide i?
False
Let p = 22 - -294. Is 15 a factor of p?
False
Let r = -56 + 3. Let y = -38 - r. Does 4 divide y?
False
Let s = 22 - 20. Suppose z - 21 = -s*z. Let y(v) = 2*v**2 - 5*v + 8. Is 18 a factor of y(z)?
False
Is 11535/12 - (45/12)/15 a multiple of 31?
True
Let t(k) = -k**3 + 3*k + 2. Let w be t(-2). Let d be ((-102)/8)/(1/w). Let q = d + 80. Is q a multiple of 15?
False
Let o = 133 + 137. Does 5 divide o?
True
Suppose 0 = 13*j - 121 - 61. Does 7 divide j?
True
Is (-92)/414 - 1030/(-18) a multiple of 36?
False
Suppose 2*n + m - 1211 = 0, 5*n + 5*m = -0*m + 3025. Let g = n + -354. Is 18 a factor of g?
True
Suppose -4*o + 5*n + 296 = n, -12 = 3*n. Is o a multiple of 70?
True
Let o(a) = -a + 2. Let k be o(-3). Suppose -2*t + 107 = -5*r, -5*t - k*r + 2 + 283 = 0. Is t a multiple of 8?
True
Suppose -8*j = -16673 - 927. Is 25 a factor of j?
True
Let d(b) be the second derivative of -5*b**3/6 + 5*b**2/2 + 3*b. Let q(a) = a**3 + a**2 - 8. Let j be q(0). Is 13 a factor of d(j)?
False
Let k be (((-615)/6)/5)/(4/(-24)). Does 10 divide 6/(-9) - k/(-9) - -1?
False
Is (496/186)/((-1)/(-45)*2) a multiple of 5?
True
Is (0/7 - -86) + -1 a multiple of 10?
False
Suppose 2*d - 4*t = -26, -5*d - 10 = 3*t + 16. Let c(j) = -j**3 - 5*j**2 + 6*j - 16. Is c(d) a multiple of 10?
True
Suppose 7*i - 12*i = 630. Let v = 210 + i. Let z = v - 20. Is z a multiple of 15?
False
Let z be ((-14)/(-4))/(-2*2/24). Let m = 81 + z. Is m a multiple of 12?
True
Suppose -5*h + 70 = -f, -3*f + 0*f - 5*h - 270 = 0. Let p = 275 + f. Is p a multiple of 18?
False
Is (-4)/(-6)*(0 - -9) + 554 a multiple of 7?
True
Let s = 66 - -402. Is 12 a factor of s?
True
Let n = -7927 - -11237. Is 79 a factor of n?
False
Let w = -62 - -112. Suppose -18 - w = -s. Does 21 divide s?
False
Suppose -12 = -2*i + 5*q, 0 = -2*i - 0*q + 2*q + 12. Suppose -i*u + 5*u + 59 = 0. Does 9 divide u?
False
Suppose -2450 + 4934 = 2*x. Does 54 divide x?
True
Let s(w) = 231*w - 15. Is 15 a factor of s(2)?
False
Let i = 122 - 172. Let u = i - -32. Let w = 29 + u. Is 4 a factor of w?
False
Suppose 0 = 2*r + 3*q - 794 - 93, -2*q - 912 = -2*r. Does 41 divide r?
True
Let p(m) = -m**3 + 6*m**2 + 6*m - 14. Let u be p(7). Does 4 divide (15 + u)/(6/(-8))?
True
Let a(n) = -21*n**2 + 9*n**2 - 2*n + 11*n**2