f(b) - 11*t(b). Does 3 divide o(9)?
True
Let d = 206 + 34. Does 4 divide d?
True
Let g(i) be the second derivative of -31*i**5/10 - i**3/6 - i**2/2 + 7*i. Is 31 a factor of g(-1)?
True
Let f = 49 - 32. Let c = f - 12. Suppose -3*u + o = -13 - 14, c*o = 2*u - 18. Does 3 divide u?
True
Let w(x) be the second derivative of x**5/20 - x**4/24 + x**3/6 - 2*x**2 + 4*x. Let g(m) be the first derivative of w(m). Does 5 divide g(-2)?
True
Suppose 74 = -3*d + 5*d - 4*o, 3*o = -3*d + 120. Let a = -30 + d. Is a a multiple of 5?
False
Suppose -55 = 4*g - 3*r, 5*g + 52 + 8 = 2*r. Is 9 a factor of ((-12)/g)/(2/150)?
True
Suppose 4*c - 504 = -0*c. Let a = c - 70. Suppose -2*g - 2*g = -a. Is 14 a factor of g?
True
Let g(u) = -u**2 + 17*u + 20. Is 18 a factor of g(10)?
True
Let h(l) = -11*l - 5. Let d be h(-3). Let f = 7 + d. Does 5 divide f?
True
Let c be 61/1 - 2/2. Let l be c - (4 + 2)/3. Suppose 0 = p + p - l. Is 19 a factor of p?
False
Let h = 308 - -360. Is h a multiple of 9?
False
Let x = 9 - -1. Does 10 divide (-75)/x*20/(-3)?
True
Let k(n) be the second derivative of -n**4/12 + 3*n**3 + 14*n**2 + 37*n. Is k(17) a multiple of 14?
False
Let b = -243 + 422. Let d = b + -82. Is d a multiple of 10?
False
Suppose 12 = 5*v + 2*j, -2*v + 0*j - j + 5 = 0. Let p = 905 + -905. Suppose p = -2*b + 3*d + 42, d = 5*b + v*d - 122. Is b a multiple of 8?
True
Let o be 0 + (0 - (-1 + -18)). Suppose -a + 2*a = 3*z + o, -4*a + 28 = 4*z. Is (a/(-6) + 1)*-3 even?
True
Suppose 870 = -0*r + r - i, 2 = 2*i. Is (-2)/4 - r/(-26) a multiple of 33?
True
Let j = 260 - 97. Suppose 6*t = j + 35. Suppose n = t + 24. Is n a multiple of 19?
True
Suppose -h + 0 + 3 = 0. Let u(i) = i**2 - 2*i - 1. Let p be u(h). Suppose 0 = 5*d + 15, -p*d - 53 = -f + 3*d. Does 10 divide f?
False
Let c(u) = u**2 + 8*u + 14. Let w be c(-2). Suppose -2*q - w = 0, x + 8*q = 7*q + 48. Is 15 a factor of x?
False
Suppose 5*d + u = 8430, -u + 0*u + 3369 = 2*d. Is d a multiple of 7?
True
Suppose 19*n = 23*n - 376. Is 14 a factor of n?
False
Let w(s) = -s**2 - 9*s - 17. Let k be w(-5). Let u = k + 36. Is u a multiple of 13?
True
Let w be (-530)/(-45) + 2/9. Let j = w + -5. Does 5 divide j?
False
Suppose 5 = 3*j + 5*a, -j + 3*a - 27 = 2*j. Let z(m) = -m**3 + 2*m**2 - m - 6. Let r be z(j). Suppose 3*f + r = 9*f. Does 6 divide f?
False
Suppose 3*r - 4000 = g, r - 2675 = -r - g. Is 50 a factor of r?
False
Let x = 13 - -18. Let q = x + -19. Is q/(1 - (-3)/(-12)) a multiple of 10?
False
Let f = -20 + 22. Let w(s) = 121*s + 1. Let q be w(f). Suppose r + q = 4*r. Is r a multiple of 27?
True
Let p = -34 - -47. Suppose -542 = -p*v - 74. Is v a multiple of 9?
True
Let t(q) = 16*q**2 + 19*q. Does 21 divide t(-2)?
False
Suppose 0 = 4*n - 113 - 247. Is 10 a factor of n?
True
Let u(l) be the second derivative of -l**5/20 - l**4/12 - l**3/6 - l**2/2 - l. Let a be (4/10)/(18/10 - 2). Is u(a) a multiple of 3?
False
Let k(q) = -7*q + 270. Is 63 a factor of k(28)?
False
Let n(s) = 2*s**3 - 11*s**2 - 5*s - 14. Does 27 divide n(7)?
False
Let k be (-3 - (2 + 1))*-37. Let r be -1 + (k/3 - -2). Let h = r - 45. Is h a multiple of 15?
True
Suppose 66*t - 53*t = 871. Is t a multiple of 44?
False
Let y(g) = g**3 + 8*g**2 + 7*g. Let p be y(-6). Let x be ((-2)/10)/((-6)/p). Does 27 divide (0 - -9*8) + x?
False
Suppose 0*w - 3*w - m = -218, -3*m - 12 = 0. Is 37 a factor of w?
True
Let w(o) = -2*o**2 + 32*o + 22. Does 3 divide w(11)?
True
Let p be 115/(-13) + 4/(-26). Let l(s) be the first derivative of 2*s**3/3 + 11*s**2/2 - 12*s - 12. Is 25 a factor of l(p)?
False
Let d(m) = -m**3 + 3*m**2 + 4*m. Let z be d(4). Let q be (1 - 5)*(-1)/2. Suppose q*j + j - 57 = z. Is j a multiple of 18?
False
Suppose 2*v - 25 = 3*r, v = -5*r - v - 15. Suppose 3*s - q = -0*q - 326, -16 = 4*q. Is 20 a factor of (1 - 0) + s/r?
False
Suppose 32*p - 4*p - 18004 = 0. Is 5 a factor of p?
False
Suppose -3*t = -g + 25, 2*g - 3*t - 50 = -t. Is 5 a factor of g?
True
Let q be (-1)/3*(5 - -4). Let k be 8*(q/(-2))/3. Suppose 4*n + k*a = -a + 81, -5*n - a + 117 = 0. Is n a multiple of 12?
True
Suppose -9 = -2*z - 1. Let i(y) = z + 2*y - 3 + 3. Is i(4) a multiple of 7?
False
Let n(w) be the second derivative of 0 - 5/2*w**3 + 7/2*w**2 + 7*w. Does 28 divide n(-7)?
True
Suppose -3*y = -60 - 126. Is (-16)/4 + y + -4 a multiple of 18?
True
Suppose -8 - 12 = -5*j + 3*s, 8 = 2*j + 3*s. Suppose -8*w + 400 = -j*w. Is w a multiple of 20?
True
Let i = -6 - -7. Suppose 15 = h + i. Suppose 5*y = h + 16. Is y a multiple of 4?
False
Let c(s) = s**2 - 3*s - 2. Let n be c(4). Is 7 a factor of n + (-4 - 185/(-5))?
True
Suppose a - 1385 = -15*p + 11*p, -4*a + 682 = 2*p. Does 8 divide p?
False
Suppose -2*z + 1172 = 4*g, 955 - 67 = 3*g - 3*z. Is g a multiple of 3?
True
Let k be (-4 - -4)*(1 + 0). Suppose -v + k*v = -15. Is v a multiple of 5?
True
Let p(q) = -q + 4. Let y be p(-8). Suppose -4*c + c + y = 0. Suppose -2*d + c*d = -3*x + 163, 5*x = -d + 71. Is d a multiple of 18?
False
Let b(r) = -4*r - 8. Let n be b(-3). Suppose n*a + 8 = 68. Let j = a + -6. Does 2 divide j?
False
Let g(i) be the second derivative of 5*i**7/504 - i**6/360 + i**5/120 + i**4/4 - 7*i. Let z(a) be the third derivative of g(a). Is 7 a factor of z(1)?
False
Let t = -3418 - -5518. Does 12 divide t?
True
Suppose 4*b + w = 60, b + 4*w = -0*w + 15. Let v be 1 + 3 + (4 - b). Is 29 a factor of -2*(1540/8)/v?
False
Suppose 42 = 4*g - 2*g + 3*v, -4*g = 5*v - 86. Let j = -22 + g. Suppose 0*w = 4*w + 3*t - 467, 3*t - 235 = -j*w. Is w a multiple of 29?
True
Let o(c) = 4*c**2 - 5 - 4*c**2 - 3*c**2 - c**3 + 0*c**2 - 4*c. Let s be o(-2). Does 9 divide s - -50 - (4 + 0)?
True
Let k be 3/(3 - (3 + -1)). Suppose 3*d - 5 - 4 = -k*l, 10 = -2*d. Suppose 12*r = l*r + 192. Is r a multiple of 12?
True
Let n(a) = -a**2 + 31*a - 24. Is n(13) a multiple of 21?
True
Suppose 4*t + 44 + 32 = 0. Let m = 52 + t. Is m a multiple of 6?
False
Let z be (-15)/(-3)*(3 + -2). Suppose z*y - 30 = h, -y + 5*h + 6 = -24. Does 18 divide y*6/75*60?
False
Suppose -69*x + 74*x - 11000 = 0. Is x a multiple of 50?
True
Suppose n = 6*n - 145. Let f be (-7 + 0/2)*3. Let t = n - f. Is t a multiple of 21?
False
Let l(b) = -255*b - 9. Does 7 divide l(-2)?
False
Let n(y) = -4*y**3 + 4*y**2 + 5*y + 7. Is 34 a factor of n(-3)?
True
Suppose -q = 2*h - 278, -q = 3*q - 2*h - 1162. Is q a multiple of 16?
True
Let o = -22 - -25. Suppose -x - o*j + 0 = -2, 2*j - 23 = -5*x. Suppose -x*i + 96 = -124. Does 14 divide i?
False
Let d be (1 + -1)/(-4 + 2). Suppose -3*i - 9 = d, 0*i = 3*b + 5*i - 225. Is b a multiple of 15?
False
Suppose -7*i + 12*i - 1050 = 0. Is 13 a factor of i?
False
Let b be (4 - 0 - -4) + -2. Is 15 a factor of b/(-14) + 213/7?
True
Let r be (4 - 0)/(2/1). Suppose 174 = r*p + 5*o, 4*p - 2*o = -o + 304. Does 33 divide p?
False
Suppose 36*p - 26*p = 11680. Is 17 a factor of p?
False
Does 8 divide 1/7 + 14203/49 + 8?
False
Is 66 a factor of (-387)/(-516) - ((-3150)/(-8))/(-3)?
True
Let b(d) = -d**3 + 2*d**2 + 5*d. Let m be b(-6). Suppose 3*p + m = 6*p. Does 15 divide p?
False
Let f = -12 + 14. Let k = 2 - f. Suppose 14 + k = 2*z. Is 4 a factor of z?
False
Let v be -9 + (0 + -3 - -3). Let r(b) = -b**2 - 8*b + 1. Let u be r(v). Is 4*(4/u - -3) a multiple of 2?
True
Let r be (0 + 3)*(-7)/3. Let y be -1*4 + 2 + 60/4. Let h = y + r. Does 2 divide h?
True
Let l(v) = v**3 - 3*v**2 + 3*v. Let f be l(2). Suppose f*y = -2*y + 76. Suppose 16*b = y*b - 105. Is 17 a factor of b?
False
Let n(x) = x + 41. Let k be (-12)/((-15)/(-9) + -1). Is n(k) a multiple of 8?
False
Let x(h) = h - 5. Let y(j) = 2*j - 10. Let m(r) = -r**3 + 4*r - 4. Let g be m(2). Let n(z) = g*y(z) + 9*x(z). Is 3 a factor of n(14)?
True
Suppose 4*d + 1070 = 2*n, -n = -10*d + 7*d - 533. Is n a multiple of 25?
False
Let q(s) = -18*s**2 + 20*s - 10*s + 11*s + 17*s**2 - 15. Is 26 a factor of q(8)?
False
Let d = 3 + 1. Let v(y) = -10*y**2 + 2*y + 2. Let w be v(2). Is 8 a factor of ((-4)/2)/(d/w)?
False
Suppose -8*g + 0*g + 984 = 0. Is 0 + 4 + g + 1 a multiple of 32?
True
Let u = 278 - -2. Is u a multiple of 20?
True
Suppose 4*q - 22 = -2*a, -2*q - 5*a = -8 - 7. Suppose q*k - 656 = -4*v, -492 = -5*v + 2*v - 4*k. Is v a multiple of 28?
False
Suppose 9*m - 17*m + 14*m = 0. Let j(s) = -2*s**3 + 3*s - 3. Let a be j(3). Is 20 a f