 -3*r = -0*r - 9. Suppose -u + 118 = 5*c + r, 4*c - 3*u = 73. Does 13 divide c?
False
Let h be (-116)/10*(-110)/11. Let o = -79 + h. Is 15 a factor of o?
False
Let f be 1028/(-12) - 4/(-6). Is f/10*1*-2 a multiple of 16?
False
Suppose 1998 = -3*n + 12*n. Is n a multiple of 28?
False
Is 10 a factor of 2/(-5) - (-5)/((-125)/(-2510))?
True
Suppose 7*b = -236 + 831. Is 35 a factor of b?
False
Let n(f) = f**2 - 8*f - 9. Let h be n(11). Let q = -12 + h. Suppose -t - k + q = -2*k, -5*t + 3*k + 52 = 0. Does 8 divide t?
True
Suppose 5*j + 51 + 4 = 2*b, 10 = -2*j. Suppose 32*d = 31*d. Let p = b + d. Is p a multiple of 4?
False
Suppose 1128 = 14*t - 2*t. Does 32 divide t?
False
Let r be -8 - 1 - (3 + -1). Let y be (-4)/(-6) + (-399)/(-9). Let x = r + y. Does 17 divide x?
True
Let p = -22 - -80. Does 35 divide p?
False
Let i(f) = 10*f - f**2 - 4 - 2*f + 0. Is i(5) a multiple of 11?
True
Let o(k) = -k**3 - 10*k**2 - 11*k - 13. Suppose 4 = n - 3*n. Let f be -9*(-2)/4*n. Is o(f) a multiple of 4?
False
Let d be ((-3)/9)/(1/(-15)). Suppose -n - n + 5*p = -30, -5*p + 5 = d*n. Suppose 2 - 22 = -n*u. Is 3 a factor of u?
False
Let k(f) be the second derivative of -f**5/20 - 3*f**4/4 + 11*f**3/6 + 7*f**2 + f. Is k(-10) a multiple of 4?
True
Let v be 3/(-12) - 36/(-16). Let f(z) = 9*z**2 - z - 3. Does 9 divide f(v)?
False
Let s(u) = -8*u**2. Let p(t) = 8*t**2 - t - 1. Let g(x) = -2*p(x) - 3*s(x). Is g(-2) a multiple of 15?
True
Let h(v) = v**3 - 9*v**2 - 4*v - 8. Is h(10) a multiple of 26?
True
Let u(j) = -3*j - 16*j + 2 + j. Let k be u(-2). Let q = k + -18. Is q a multiple of 8?
False
Suppose -d - d = w - 160, 4*d + 5*w - 326 = 0. Let k = d - 31. Is k a multiple of 12?
True
Is 2 a factor of 9/2*(-112)/(-42)?
True
Let v(o) = 76*o + 5. Is 13 a factor of v(2)?
False
Let k be ((-9)/(-12))/((-3)/(-12)). Suppose 5*g - 4*q = g + 24, -k*g + 5*q + 20 = 0. Suppose 0 = 2*o + v - 10, o + 17 = -0*o + g*v. Does 2 divide o?
False
Let b = -6 - -6. Let t = b - -6. Is 10 a factor of 19/1 + (t - 6)?
False
Let s(y) = -94*y - 2. Let o be s(-3). Let b be (-3)/9 + o/3. Suppose -4*u + b = 21. Does 9 divide u?
True
Let v = 17 - 6. Is 4 a factor of v?
False
Does 9 divide -3 + 4 + 30/1?
False
Let l(a) be the second derivative of -a**5/20 + a**4/2 + 3*a**3/2 - 7*a**2/2 - 3*a. Is 2 a factor of l(7)?
False
Let g be (0 - 0/(-1))/2. Suppose g = c - 2 - 4. Does 3 divide c?
True
Let x = -11 - 2. Let p = 29 + x. Does 5 divide p?
False
Let g(s) = 65*s**3 - 3*s**2 + 2*s. Is g(1) a multiple of 6?
False
Let c = 96 + -78. Is c a multiple of 3?
True
Let l = 203 - 162. Does 3 divide l?
False
Suppose 4*z = -3*c + 336, 2*z = 4*z - 4*c - 146. Is 35 a factor of z?
False
Let w(v) = -2*v - 5. Let i be w(-4). Suppose -3*g - 5*y = -63, i*g - g - 43 = -3*y. Is 7 a factor of g?
False
Suppose 2*l = 3*j + 25, -j = 2*l + 2*j - 43. Does 3 divide l?
False
Let u(v) = v**2 + 10*v - 9. Let i be u(-11). Is -3 - (i - (-2 + 45)) a multiple of 23?
False
Let w(l) = -l**2 - 11*l - 2. Let j be w(-5). Let g = 44 - j. Is 15 a factor of g?
False
Suppose 3*j + 3*o + 57 = 0, 0 = j + 2*o + 12 + 8. Let w be (-13)/3 - 6/j. Let p(g) = -g**2 - 6*g - 1. Is 5 a factor of p(w)?
False
Suppose -4*o + 6 = 4*j + 2, -5*o = -2*j - 12. Does 5 divide (-7)/(o - (-5)/(-2))?
False
Suppose 3*i - i = 38. Let b = -11 + i. Does 8 divide b?
True
Suppose 2*n + 3*n = -150. Let q = n + 64. Is q a multiple of 7?
False
Let f(z) = -3*z - 2*z**2 + 3*z**2 - 3*z + 43 + 5*z. Does 21 divide f(0)?
False
Suppose 0 = 5*d + 1 - 41. Suppose x + d = t, -3*t + 3*x - 4*x + 12 = 0. Suppose -v = r - 9, -t*v = -r + 1 + 2. Is r a multiple of 8?
True
Suppose -2*s + s = -18. Let f = s + 5. Is 11 a factor of (-3)/(-9)*3 + f?
False
Let h = -11 - -2. Let m be (-26)/(-5)*15/6. Let p = m + h. Is 4 a factor of p?
True
Let p(b) = b**2 - b + 1. Let c be p(2). Suppose -24 = c*j - d, j + 0*d + 4 = -d. Let k(w) = w**2 + 7*w + 3. Is 2 a factor of k(j)?
False
Let f = 13 - -10. Is 16 a factor of f?
False
Does 43 divide -1 + 144 + (-9 - -5)?
False
Suppose 0*t = 5*t - 405. Is 27 a factor of t?
True
Let v = 6 + -1. Let n = 8 - v. Is n a multiple of 3?
True
Let f(u) = 164*u**2 - 2*u - 2. Is f(-1) a multiple of 41?
True
Let p(v) = v**3 + 20*v**2 + 20*v + 15. Let a be p(-19). Let x(z) = -3*z**2 + 3*z**2 + z**2. Is 16 a factor of x(a)?
True
Does 10 divide ((-15)/12)/(3/(-48))?
True
Is 5/2*(3 - -19) a multiple of 11?
True
Suppose 64 = 8*v - 4*v. Does 15 divide v?
False
Let n = -7 - -9. Suppose 0 = -n*y + 7 + 11. Does 8 divide y?
False
Suppose 0 = 3*d - y + 1, -3 = -d + y - 4. Suppose -s + 33 = -d. Is 11 a factor of s?
True
Let d be 1/2*72/4. Suppose -2*y + 17 = -d. Is 13 a factor of y?
True
Suppose 3 + 5 = 4*w. Suppose s = 5*s + 2*v - 214, 2*v = w. Does 19 divide s?
False
Suppose 9 = -3*a - 9. Let g be 2/6 + (-50)/6. Does 14 divide g/a*24 - 2?
False
Let o(h) = -h**2 + 11*h + 14. Does 10 divide o(10)?
False
Let g = -54 + 123. Suppose -2*j - 9 = -g. Is j a multiple of 15?
True
Suppose -8 = -0*c - 4*c, -5*q - 2*c + 199 = 0. Suppose 0*o - 3*o = -6. Suppose -q = -o*z - z. Is z a multiple of 13?
True
Let o be 8/(-20) - (-16)/(-10). Let g = 6 - 8. Does 17 divide g - -3 - (o + -14)?
True
Let y = -3 + 6. Let k be 6/(-5)*(-10)/y. Suppose k*f = -9 + 81. Does 9 divide f?
True
Let z be ((-25)/(-2))/(2/4). Suppose a - 70 = -z. Is a a multiple of 15?
True
Let a(n) = -n**3 - 6*n**2 - 4*n - 3. Does 7 divide a(-6)?
True
Let q(n) = -n**2 + 3*n + 4. Let u be q(5). Let g(o) = -7*o - 5. Does 12 divide g(u)?
False
Let p(q) = -q**2 + 11*q + 16. Let v be p(12). Let n(i) = 9*i + 2. Let t(r) = -8*r - 2. Let a(f) = -6*n(f) - 7*t(f). Is a(v) a multiple of 5?
True
Suppose -3*h = 5*s - 369, 3*h = -2*h - 3*s + 631. Is h a multiple of 16?
True
Suppose 505 + 695 = 8*f. Is 25 a factor of f?
True
Let t(m) be the third derivative of -m**6/10 - m**4/24 - m**3/3 + 11*m**2. Is 24 a factor of t(-2)?
True
Suppose 8 = -4*b, 5*b = -5*d + 6 + 9. Suppose -d*h - 6 + 71 = 0. Is 8 a factor of h?
False
Let l(u) be the second derivative of u**5/20 + u**3/6 - u**2/2 - u. Let m be l(0). Is 2 a factor of (4/(-3))/(m/3)?
True
Let y(g) = -g**2 + 6*g - 4. Let f be y(3). Let q(j) = -j + 8. Let w be q(6). Suppose -f*l + 65 = w*u, -3*l + 2*u + 2*u + 65 = 0. Is 6 a factor of l?
False
Suppose -6*v - 2*w = -3*v + 20, -8 = 2*v - 4*w. Let i = 0 - v. Is 8 a factor of (8/(-6))/(-1)*i?
True
Suppose 2*f + 2*g - 120 = 0, -g + 4*g = -5*f + 290. Let p = -27 + f. Is (-6)/(-15) + p/5 a multiple of 3?
True
Let x = -1 - -1. Let r = 1 + x. Let c = 9 + r. Is c a multiple of 5?
True
Suppose r + 11 = 5*s, -s - 4 + 26 = 2*r. Does 19 divide (-456)/18*r/(-6)?
True
Let b(f) = -f**3 + 2*f + 65. Is b(0) a multiple of 13?
True
Suppose 0*k = -k + 4*l - 51, -2*l - 114 = 4*k. Let a = 45 + k. Is a a multiple of 8?
False
Is 2 a factor of (-143)/(-6) + 3/18?
True
Let k = 0 - 4. Does 19 divide 9/(-6) - 158/k?
True
Let z(n) = -3*n**3 + 3*n**2 + n - 2. Let q be z(2). Suppose 0 = -7*x + 3*x + 64. Is (x/3)/((-4)/q) a multiple of 7?
False
Suppose 3*k - 79 = 257. Suppose 0 = -5*g + g + k. Does 13 divide g?
False
Suppose -3*c + 67 = -2*c. Is 16 a factor of c/2 + (-6)/4?
True
Let k(o) be the second derivative of o**4/12 + 2*o**3 + 8*o**2 - 4*o. Is 4 a factor of k(-12)?
True
Let t(s) be the first derivative of s**4/4 + 5*s**3/3 - 7*s**2/2 + 8*s + 8. Is 14 a factor of t(-6)?
True
Is (-2)/9 - 715/(-99) a multiple of 5?
False
Let b be 52/(-3) + 4/(-6). Let k = 10 - b. Is k a multiple of 18?
False
Let q = -99 - -143. Is q a multiple of 8?
False
Let g be (-2)/1*(-412)/(-8). Let n = 17 + g. Let p = 132 + n. Is 22 a factor of p?
False
Suppose -4*s = g - 318, -2*s - g + 154 = 2*g. Does 30 divide s?
False
Let g = 3 + -3. Suppose 5*f - v = 7, g*f - 2*v = 4*f - 14. Is 4/(8/18) + f a multiple of 8?
False
Let f(y) = -y**2 - 22*y + 17. Does 17 divide f(-22)?
True
Suppose -6*b = -2*b - 4. Let a(h) = 44*h**2 + h. Let x be a(b). Does 11 divide x/2 - (-5)/(-10)?
True
Let t(l) = -l**2 + 6*l + 10. Let z be t(7). Let i = z + -5. Let n = i + 21. Is 7 a factor of n?
False
Let m(v) = -2*v + 17. Let r be m(25). Let y be -24 - -2 - (-1 - -2). Let z = y - r. Is z a multiple of 10?
True
Suppose 0 = -5*s - 4 + 14. Let v(x) = 5*x**3 - 3*x**2 + 2. Is v(s) a multiple of 11?
False
Let u(m) = -9*m - 4. Let s be u(-6). Suppose -c - 6 =