2 + 14*q - 15. Let h be k(-8). Is (-23 + 124)*(h + 0) a multiple of 8?
False
Is 2 a factor of 4/(-2) + 80 - (-42)/7?
True
Let c(n) be the first derivative of -n**6/120 + 7*n**5/60 - n**4/4 + n**3/6 - n**2 - 1. Let i(x) be the second derivative of c(x). Is 10 a factor of i(5)?
False
Let g be 4 - 2 - 1 - -4. Suppose y + 3*t = 1 - 8, -g*t = -2*y + 19. Suppose -z = -2*q - 1, -4*q + q + y = -z. Is 3 a factor of z?
False
Let m be (15/2)/(-3)*-2. Let g(w) = -w**3 + 4*w**2 + 9*w - 13. Is 7 a factor of g(m)?
True
Does 38 divide 8/100 + 3774292/725?
True
Suppose -4*b - 5*s + 450 = 0, 8*b - 3*b - 4*s - 542 = 0. Does 22 divide b?
True
Let o = -19 - -19. Let f be (-1)/(3 + -4)*5. Suppose o = -f*v + 2*v + 66. Is 11 a factor of v?
True
Suppose -r + 908 - 257 = -m, -m = 2*r - 1299. Is 26 a factor of r?
True
Let m(x) = 237*x**2 + 13*x - 31. Is 12 a factor of m(3)?
False
Suppose 4*k + 20*a - 17*a = 1432, -3*k - a + 1079 = 0. Does 19 divide k?
True
Let r = 412 + -280. Is 12 a factor of r?
True
Suppose -7*s - 115 = -30*s. Suppose -5*c + 3*i + 19 = -304, 0 = -s*i - 5. Is 18 a factor of c?
False
Suppose 6*x + 4520 = 4*s + 5*x, 3*s + 2*x - 3401 = 0. Does 29 divide s?
True
Suppose 3*d - 6*d + 9 = 0. Let r be -2*(d/2)/(-1). Is 18 a factor of r/(0 + (-2)/(-14))?
False
Let z(h) = h**3 + 18*h**2 + 19*h - 9. Let s be z(-16). Let b = -107 + s. Let v = b - 53. Is 6 a factor of v?
False
Suppose -4*p - 1336 = -4*s, 1808 = 5*s - 2*p + 132. Is s a multiple of 14?
True
Suppose 3*n - 2*v - v = 0, -5*n + 12 = -v. Let f be 14 - (n + 1 + 0). Suppose 6*j = 86 + f. Is j a multiple of 15?
False
Suppose 5*x + 32 = f, -8*x + 3*x = 5*f + 50. Let z = x + 48. Is 12 a factor of z?
False
Let c be (6 - 7) + (383 - -1). Suppose 4*h = 417 + c. Suppose -h = -5*a - u + 96, -a - 4*u + 44 = 0. Is 23 a factor of a?
False
Let b = 788 - 353. Does 20 divide (b/10 + 0)*2?
False
Suppose -2364*h + 2357*h + 1904 = 0. Does 8 divide h?
True
Let l be (-1 + 4)*(-2)/(-3). Let u(x) = 3*x - 1 - l*x**2 + 4 + 4*x**2 + 0*x**2. Is u(3) a multiple of 19?
False
Let l(q) = 43*q - 88. Is 11 a factor of l(33)?
True
Let l(x) = -2*x**3 - 4*x**2 + x. Let p be l(-3). Suppose 0 = -0*d - 5*d - p. Let v(j) = -j + 3. Does 6 divide v(d)?
True
Suppose 3*p - 8 = -p. Suppose -2*t = 6 - p. Is 3/t*128/(-12) a multiple of 8?
True
Let a(s) = 16*s + 50. Does 3 divide a(-1)?
False
Is (-4768)/(-14) + (-36)/63 a multiple of 34?
True
Suppose -5*h = 2*k - 20, -4*k - 6 - 2 = -2*h. Suppose -7*f + 9*f - 122 = k. Does 10 divide f?
False
Let c(d) = -4*d + 239. Is 5 a factor of c(36)?
True
Suppose -2*x + 5424 = -352. Is 12 a factor of x?
False
Let a(o) be the first derivative of -7*o**4/24 + 7*o**3/3 - 11*o**2/2 + 12. Let f(v) be the second derivative of a(v). Is f(-6) a multiple of 7?
True
Let c be 3*(-4 + (-57)/(-9)). Suppose 0 = -2*t + c*t - 320. Does 16 divide t?
True
Suppose -5*t = -3*t - 2. Suppose -3*f + t + 26 = 0. Suppose -f*m + 0*m = -468. Is 13 a factor of m?
True
Let t(a) be the third derivative of -a**4 - a**3/2 - 5*a**2. Let n be t(-5). Let j = -59 + n. Is j a multiple of 14?
False
Let z(c) = -2*c**2 + 12*c - 13. Let s be z(4). Suppose 5*p = 4*o + 544, -s*o = -p - o + 110. Is 18 a factor of p?
True
Let k(j) = 2*j**2 - j + 45. Let m be k(0). Suppose 143 = 3*t - 4*q, m = 5*t + 2*q - 150. Is 41 a factor of t?
True
Suppose -5*i - 4*j = -19 - 19, 3*i - 14 = 2*j. Let t(r) = 8*r - 2. Let k be t(4). Let o = k + i. Does 11 divide o?
False
Let u(w) = w**3 - 8*w**2 - 9*w - 4. Let d be u(9). Let k(t) = 2*t**2 + 5*t + 2. Does 8 divide k(d)?
False
Let s(l) = -3*l - 12. Let o be s(-7). Let i be -2*(756/(-8))/o. Is 7 a factor of (-4)/(-14) - (-288)/i?
True
Let c = 506 - -313. Is 13 a factor of c?
True
Let m be 16/(-6) + 6/9. Does 9 divide (m/2)/((-4)/156)?
False
Suppose -t = -5*w + 4875, 2*w - 1950 = -0*t + 2*t. Is 25 a factor of w?
True
Suppose 5*j + 30 = -5*l, j = -0*l + 3*l + 10. Let a be 1/(-4*l/48). Suppose -2*s - 91 = -y, y + a*s + 61 - 152 = 0. Is y a multiple of 25?
False
Let s(h) = h**2 + 23*h - 24. Let y be s(-24). Suppose c = -b - 3*c + 4, 4*b - c - 101 = y. Is 14 a factor of b?
False
Suppose -4*q + 104 = 2*b, 2*b - 26 = 2*q + 60. Let k = -19 + b. Let a = k - 5. Does 11 divide a?
True
Is 14 a factor of (208/6)/(8180/(-1365) + 6)?
True
Let s(y) = y**2 - 2*y - 6. Let n be s(4). Suppose -n*p = -4, p + p = 4*u - 60. Suppose 9*z = 7*z + u. Does 8 divide z?
True
Suppose 3*g - 601 - 89 = 0. Let t = g + 64. Suppose 2*c - 6*c + t = 3*j, 370 = 5*c + 5*j. Is c a multiple of 24?
True
Let z(g) be the third derivative of g**6/120 - g**5/12 + g**4/6 + 4*g**2. Let m be z(4). Let v = 5 - m. Does 5 divide v?
True
Suppose -3*r - r + 818 = -2*x, -4*x = 4*r - 848. Is r a multiple of 9?
True
Let l = 29 + -26. Suppose 0 = g + q - 236, -g + l*q = 5*q - 240. Suppose -2*y + g = -2. Is y a multiple of 39?
True
Suppose 0 = -4*k - 3*r + 82, -4 + 12 = 4*r. Suppose -11*l + 11 - 77 = 0. Let o = k + l. Is 5 a factor of o?
False
Suppose 0*p = 2*b + 2*p - 124, -3*b = -4*p - 172. Suppose 3 = 4*w - 5. Suppose -w*k + b = k. Is 20 a factor of k?
True
Suppose -16 = -5*m + 4*b, 0 = -5*m - b - 0 - 4. Let n be (11 - -8)/(1 - m). Is 20 a factor of (-6)/(-3) - n*-2?
True
Let d = -149 + 315. Is (d/(-4) + -3)/(2/(-4)) a multiple of 34?
False
Suppose -150 = -2*m + 2*w, w = 2*m - 64 - 86. Suppose -s + 48 = 5*t - 15, 0 = -5*t + 5*s + m. Is 4 a factor of t?
False
Let d(b) = -5*b**3 + 2*b**2 + 7*b + 4. Let i(t) = 9*t**3 - 5*t**2 - 14*t - 8. Let a(m) = 11*d(m) + 6*i(m). Let p be a(-7). Is 2 a factor of (-2)/p - 34/(-4)?
False
Suppose -1213 = 2*v - 9985. Suppose 7*f - v = f. Suppose 0 = 5*o + a - f, -163 = o - 2*o + 4*a. Does 41 divide o?
False
Suppose 0 = -598*c + 604*c - 2808. Does 13 divide c?
True
Suppose 10 = 4*t - 30. Suppose -936 = -t*s - 216. Is s a multiple of 7?
False
Suppose 21 - 1 = -g. Let r = -17 - g. Suppose i - 7 - 4 = -3*t, 0 = i - 5*t - r. Is 6 a factor of i?
False
Suppose -5*o = 25, 3*o + 221 = 2*q - 2*o. Suppose 2*d - 3*m + 8*m - 210 = 0, m = d - q. Is 19 a factor of d?
False
Suppose 2*c + 1088 = -0*k + 5*k, -3*k = 2*c - 640. Suppose -4*b - k = -12*b. Is b a multiple of 10?
False
Suppose b - 72 = -8*b. Suppose b*z = 5*z + 402. Is z a multiple of 18?
False
Let d(o) = -2*o**3 + 83*o**2 + 50*o - 133. Is 4 a factor of d(42)?
False
Let p(u) = -2*u - 6. Let k be p(-5). Suppose -b + 37 = 4*b + 3*x, 0 = k*b - 5*x. Suppose 5*o + 10*q = b*q + 165, 5*q - 105 = -3*o. Is 6 a factor of o?
True
Suppose 5*b - 80 = -35. Is b/((-28)/8 - -4) a multiple of 9?
True
Let l = -80 - -105. Is l a multiple of 2?
False
Let t = 1832 + -1058. Is t even?
True
Suppose -6*u + 200 = -4*u - 5*a, -3*a + 500 = 5*u. Is u a multiple of 5?
True
Suppose 0 = -48*l + 2*l + 4140. Does 5 divide l?
True
Let g(s) be the first derivative of -s**5/40 + s**4/24 - s**3/3 - 11. Let c(k) be the third derivative of g(k). Is c(-3) a multiple of 10?
True
Let p = -196 - -117. Let g = -46 - p. Is g a multiple of 11?
True
Let l be -4 + (-5)/(-1) + (778 - -1). Let t = l + -552. Is 38 a factor of t?
True
Let t = 19 - 5. Suppose 6*v - 2*v + t = -z, -z + v - 9 = 0. Is (z/15*-60)/1 a multiple of 20?
True
Let w = 4 - 4. Suppose 9*s - 12*s + 162 = w. Is s a multiple of 6?
True
Suppose -5*x - 838 = -7*x. Suppose 0 = -g + 5*r + 219, 2*g - x = 4*r + 25. Is 9 a factor of g?
False
Suppose -2130 = -p - 75. Is 89 a factor of p?
False
Suppose -3*y + 10*x = 13*x - 1944, -y + 650 = -x. Does 11 divide y?
True
Suppose -a + 3 - 5 = 0. Is (50 - a)*(11/2 + 0) a multiple of 55?
False
Let j(u) = u**3 + u**2 - 2*u + 2. Let d be j(0). Suppose -12 = -2*r + 3*s + 11, d*s - 54 = -4*r. Does 3 divide r?
False
Suppose -2*n + 0*d = -5*d - 6397, -2*n + 6409 = -d. Is n a multiple of 43?
False
Suppose -8 = -4*g - 0. Suppose -s + l - g = -0*s, -2*s + 4*l = 14. Suppose -u + r + 3*r = -54, 57 = u - s*r. Does 33 divide u?
True
Let k be 2 - 7/((-21)/(-384)). Let i = -89 - k. Is i a multiple of 5?
False
Suppose -65*b + 6 = -64*b. Let u(q) = 2*q + 4. Does 6 divide u(b)?
False
Let s(x) = -4*x**3 + 5*x**2 - 3*x + 3. Let d = -6 - -10. Let w be s(d). Let r = -91 - w. Is r a multiple of 20?
False
Let u be 2*9/2*2. Suppose 34 = -7*l - 43. Let s = u + l. Is s a multiple of 6?
False
Suppose -2*v + 0*v = 6*v. Suppose 5*d = 4*k + 943, v = 2*d + 3*k - 168 - 200. Is 11 a factor of 