t m = 163 - -80. Is 14 a factor of m?
False
Let z be -1*(-10)/((-2)/(-1)). Let i = z - 5. Is 17 a factor of i/4 - (-1 - 33)?
True
Let m = 677 - 318. Let c be 4/(-20) - m/5. Let l = -51 - c. Is l a multiple of 11?
False
Does 13 divide (-4)/14 + (-1035)/(-21)?
False
Is 6 a factor of (-3 + -4 + -2)*-1?
False
Let b be (34/(-6))/((-2)/(-12)). Suppose 4*t - t + u = -16, -t = 3*u + 16. Does 17 divide b/3*6/t?
True
Let k(v) = v**2 + 6*v + 4. Let i(h) = -h**2 - 4*h + 2. Let n be i(-4). Let m be (1 - 0 - n) + -6. Is 8 a factor of k(m)?
False
Suppose 67 + 11 = 2*b. Does 13 divide b?
True
Let x be (-447)/21 - (-6)/21. Does 2 divide (18/x)/((-1)/7)?
True
Suppose 0 = -4*y + 3*r - 7, 2*y - 19 - 10 = -5*r. Let i(j) = 2*j**3 - 2*j**2 - j. Let l be i(y). Let a = 8 - l. Is 2 a factor of a?
True
Suppose 5*y = -4*j + 84, 0*y - 4*y + 5*j + 59 = 0. Is 8 a factor of y?
True
Is 7 a factor of (29 + -6)/(2 + -1)?
False
Let c be 1 - ((-4)/(-2) - 46). Suppose 4*v = -v + c. Suppose -34 = -q + v. Is 13 a factor of q?
False
Let k(q) = -q**2 + 8*q - 14. Let j(s) = s + 2. Let v be j(8). Let p be k(v). Let i = p - -66. Is i a multiple of 19?
False
Let n = 16 + 2. Does 14 divide n?
False
Suppose 0 = q - 7 + 3. Suppose q = -5*b + 69. Is 4 a factor of b?
False
Let z(t) = t**2 - 12*t + 5. Let r be z(8). Let y be (-57)/(-2)*12/6. Let k = y + r. Is 10 a factor of k?
True
Suppose 5*j - 125 = 215. Is 17 a factor of j?
True
Suppose 26 = 2*g + 4*b, -3*b + b = -3*g + 71. Does 10 divide g?
False
Let i be 24/(1/3*3). Let n = -7 + i. Is n a multiple of 6?
False
Let c = 32 + -53. Let g be (-16)/(0 + 6/c). Suppose -m = 2*r - 4*m - g, r = -m + 38. Does 16 divide r?
False
Suppose -3*x - 5 = -38. Let l = 2 - x. Does 3 divide ((-3)/l)/((-2)/(-36))?
True
Let h(o) = 52*o + 7. Let g be h(14). Is 6 a factor of g/25 - (-4)/(-10)?
False
Let n(g) be the first derivative of -g**4/4 - g**2 + g + 1. Is n(-2) a multiple of 13?
True
Let q be (-1)/(-5) + 249/5. Let i = q - 17. Suppose 3*r - 9 = i. Is 12 a factor of r?
False
Let d(w) = w**2 + 12*w + 2. Let a be d(-12). Is (a - 9/2)*-8 a multiple of 10?
True
Let h be 2/(-8) - (-10)/8. Let f(a) = -9*a**3 - 2*a**2 - 3*a - 1. Let r(m) = 8*m**3 + 3*m**2 + 4*m + 1. Let b(x) = -4*f(x) - 3*r(x). Does 12 divide b(h)?
True
Suppose -3*a + 5*h + 43 = 0, 2*h = a - 3*h - 1. Is 9 a factor of a?
False
Suppose -5*m + 112 + 488 = 0. Is m a multiple of 20?
True
Let d(p) = -p**3 + 4*p**2 + 6*p - 3. Let s = 29 - 25. Is 19 a factor of d(s)?
False
Suppose 15 = 7*n - 2*n. Let w(z) = -3*z**3 + 3*z**3 - 4*z**2 - z**n + z. Is 7 a factor of w(-5)?
False
Suppose -4*s = -20, -p - 100 = 4*p - 5*s. Suppose -w + 117 = 4*v, 0 = 4*v - v + w - 89. Let l = v + p. Does 13 divide l?
True
Let n = 122 - 106. Is n a multiple of 9?
False
Let v(k) = -k**3 + 5*k**2 - 2*k + 5. Let i be v(5). Let y = 11 + i. Is 17 a factor of y + -9 + (39 - 1)?
False
Suppose -15*v + 1260 + 330 = 0. Is 5 a factor of v?
False
Suppose 0 = 3*w - 6. Suppose 0 = 2*c - i - 44, -5*i + 57 = 3*c - w*i. Does 7 divide c?
True
Let m = -4 - -6. Suppose m*h = h - 5. Let g = h + 13. Does 3 divide g?
False
Let h(b) = -b**2 - 7*b + 11. Let x be h(-8). Suppose a - x*a - 56 = -2*k, -a - 84 = -3*k. Is k a multiple of 20?
False
Let y = -22 - -47. Is 10 a factor of y?
False
Let w be 12 + 2 + 1*-3. Suppose -2*z = -3*a + w, 9 = 3*a - 6. Let d = 21 - z. Is 7 a factor of d?
False
Let f = 12 + 2. Suppose t + f = 4*x, 2*x - 2 = -4*t + 32. Does 3 divide t?
True
Suppose o + 2*o + 3*s = 186, 3*o - 3*s - 156 = 0. Is 4 a factor of o?
False
Let y(a) = a**3 - 4*a**2 + a - 4. Let b be y(4). Suppose b = 2*r - 11 - 1. Is (8/r)/((-1)/(-6)) a multiple of 4?
True
Let c = -138 - -207. Does 26 divide c?
False
Let n = 205 + -128. Is 19 a factor of n?
False
Let m be -3 + 2 + (-2 - -4). Let u be m/(((-4)/(-2))/(-2)). Is 4 a factor of -1 + 12 - (u - -1)?
False
Let q be (0/(-2))/((-1)/1). Let h be (-10)/(-4) + 1/(-2). Does 15 divide (h/(-2) - q)*-15?
True
Suppose -54 = -5*m + 2*h, -m + 4*h - 2*h + 14 = 0. Is 5 a factor of m?
True
Let f(v) = -16*v. Let b(u) be the second derivative of -u**5/10 + u**4/12 - u**3/6 + u**2/2 + u. Let r be b(1). Is 10 a factor of f(r)?
False
Let p be (-6)/10 + (-2)/5. Let f be 0*1/(1 - p). Suppose f = 3*c + d + 2*d - 84, 2*d = c - 34. Does 15 divide c?
True
Suppose -4*a - 2 = -3*a - 5*n, -2*n + 10 = -5*a. Let u = 1 - a. Suppose -4*o - j + 41 = -39, 0 = u*o + 5*j - 60. Is o a multiple of 20?
True
Let a(d) = 27*d - 4. Let k be a(2). Suppose 2*b = 164 - k. Does 19 divide b?
True
Let q be ((-8)/(-2))/(-1 + 0). Let n(h) = -3*h**2 + 6 - 2*h**3 - 2*h + 5*h - 2*h**3 + 3*h**3. Is n(q) a multiple of 5?
True
Let f be 1498/8 + (-1)/4. Let p = 344 - f. Suppose -2*q + q + 34 = -2*a, 5*q + 3*a - p = 0. Is q a multiple of 16?
True
Let g be (-1 - (2 + -3)) + 5. Suppose -g - 1 = -3*u. Suppose -3*j = -u*j - 16. Does 16 divide j?
True
Suppose -150 = -5*z + 115. Is z a multiple of 8?
False
Suppose 0 = 7*n - 2*n - 4*w - 181, 2*n - 2*w - 72 = 0. Suppose u - 59 = n. Is (-2)/(-7) + u/7 a multiple of 12?
False
Let s be (1/2)/((-4)/(-16)). Let g be -2 + (1 + s)*5. Let o = -8 + g. Is 3 a factor of o?
False
Let q(j) be the first derivative of j**4/2 - j**3 + j**2 - 1. Let i be (-15)/10*(-4)/3. Is q(i) a multiple of 4?
True
Let t(w) = -w**2 + 5*w + 4. Let u be t(5). Is (1*-1)/(u/(-44)) a multiple of 3?
False
Let r = -10 - -14. Suppose 0 = 2*n - r*n. Suppose n*w + 4*w - 32 = 0. Does 8 divide w?
True
Suppose 4*b = -b + 380. Suppose 68 = 4*y - b. Does 12 divide y?
True
Let t = 112 + -31. Is 25 a factor of t?
False
Let i(f) = 10*f. Let o be i(7). Suppose 0*c = -5*c + o. Is 8 a factor of c?
False
Let w be 32/20 - 4/(-10). Suppose p - 8 = w*d + 8, -5*d = -p + 10. Does 10 divide p?
True
Let c = 2 + -3. Is 2/(1 - c)*46 a multiple of 13?
False
Does 4 divide 2/(-1) - (-2 - 7)?
False
Let g(o) = o**2 - 4*o + 2. Let z be 1/2*4 - 5. Let y be 14/z - 4/(-6). Does 17 divide g(y)?
True
Let r = -7 + 14. Let a = 64 + r. Suppose g - 5*g - 5*z + a = 0, 2*g - 68 = 4*z. Is 12 a factor of g?
True
Let h(k) = k**3 + 9*k**2 + 9*k + 11. Let r be h(-8). Suppose a - 1 = -r. Is 18 a factor of a/(-8)*-10*-18?
False
Suppose 5*l = -0*o + 5*o - 155, 2*l + 4 = 0. Is o a multiple of 4?
False
Suppose -a - 2 = -23. Does 7 divide a?
True
Is 15 a factor of 298*-4*(-21)/84?
False
Suppose 26*j - 13*j = 312. Does 6 divide j?
True
Is 1/2*(-9 - -701) a multiple of 25?
False
Suppose 3*c + b - 1 = 3, -4*b = 4*c - 16. Let v = c - -2. Does 14 divide (1 + (-3 - v))*-7?
True
Let q = -19 - -21. Suppose -131 = -q*a + 17. Is a a multiple of 18?
False
Let v(m) = -3*m**2 + 5*m**2 + 8 - 3*m**2 + 3*m + 4*m. Is 3 a factor of v(7)?
False
Let o(f) = 10*f + 15. Let v be o(11). Suppose -7*a + v = -2*a. Does 25 divide a?
True
Let z(u) = 0*u**2 + 10*u - u**2 + 6 - 1. Is z(6) a multiple of 12?
False
Is (66/4 + 1)*102/85 a multiple of 11?
False
Let k = -118 - -170. Does 11 divide k?
False
Let a(t) = 11*t**3 - t**2 + t - 1. Suppose 0 = p - 1. Let u be a(p). Is 6 a factor of (-2)/(-4)*(u + 2)?
True
Let i(t) be the third derivative of 19*t**5/30 - t**4/24 - 4*t**2. Suppose -4*z = 4*n + z - 29, 22 = -3*n + 5*z. Does 13 divide i(n)?
False
Let s(l) = l**3 + 5*l**2 - 8*l + 9. Let k be s(-7). Is 17 a factor of (-2)/2*2*k?
False
Let j(l) = l - 3. Let p be j(3). Suppose p = -4*b + n + 115 - 31, -n + 36 = 2*b. Does 10 divide b?
True
Suppose 5*p + 13 - 188 = 0. Is p a multiple of 9?
False
Suppose 0*c + 2*c = 2*o - 608, -4*o = c - 1196. Does 10 divide o?
True
Let r be ((-12)/(-4))/(4/12). Is -9*(0 - 30/r) a multiple of 10?
True
Let s(t) be the first derivative of -4*t**2 - 15*t + 4. Is 8 a factor of s(-6)?
False
Let q(j) = -j**2 - 2*j - 2 + 5 - 6*j. Let r(h) = h**3 - 4*h**2 - 6*h - 3. Let t be r(5). Does 3 divide q(t)?
True
Let f(y) = y - 2. Let r be f(4). Suppose -r*m + 31 - 3 = 0. Does 14 divide m?
True
Let j(a) be the second derivative of -1/2*a**4 + 1/6*a**3 + 1/20*a**5 + 0 + 3/2*a**2 - 4*a. Is 3 a factor of j(6)?
True
Let h(f) = -4*f. Let a = 5 - 7. Let l be h(a). Is 9 a factor of 74/l + 4/(-16)?
True
Let k be -5 + 3/(1*-3). Let g(r) = -r**2 - 10*r - 5. Let c be g(k). Suppose 3*s - 41 = c. Does 13 divide s?
False
Suppose 15 = -2*k + 61. Is 6 a factor of k?
False
Suppose 0 = 4*s - 6*s + 14. Let j(b) = -b + 4. Let c be j(s). Is 13 a factor of 0 -