 + 3*x - 18. Does 8 divide f(6)?
False
Let b(t) be the second derivative of -1/6*t**3 - t + 0 + t**2 + 1/12*t**4. Does 17 divide b(-7)?
False
Let x = 2 - 15. Let o = 22 + x. Suppose -p + 213 = 5*t, 3*p = -0*p + o. Is 14 a factor of t?
True
Suppose 3*d - 2*i = 14, -20 = -5*d - 2*i + 7*i. Does 12 divide (-24)/(d/(-15)*(-20)/(-12))?
True
Let l = -126 - -122. Let q(b) = 6*b**2 + 13*b + 33. Is 17 a factor of q(l)?
False
Suppose 2*k - 650 = -0*k. Is k a multiple of 27?
False
Let l(s) be the first derivative of 76*s - 9 + 0*s**2 + 0*s**3 + 1/4*s**4. Is 14 a factor of l(0)?
False
Suppose b = 15*b - 9100. Is b a multiple of 25?
True
Let x be (-12)/(-8)*(3 + 9/3). Suppose -x*v + 190 = -4*v. Is v a multiple of 30?
False
Does 15 divide (-90)/21*(-105)/6?
True
Is 16 a factor of ((-5120)/(-120))/(4/6 + 0)?
True
Suppose 0*y = -5*y + 10. Suppose y*v - 3*p - 8 = v, -2*p + 23 = 5*v. Does 4 divide v?
False
Let a(k) = 88*k - 962. Is 90 a factor of a(68)?
False
Let m(d) = 3*d**3 - 15 - 20*d**2 + 23*d - 8 + 1 - 2*d**3. Is m(19) a multiple of 27?
True
Let g(l) = -3*l**3 - 2*l**2 + 2*l + 2. Let n be g(-3). Suppose 4*r - 5*r = 16. Let t = n + r. Is t a multiple of 13?
False
Let r(g) = -g**3 + 7*g**2 - 7*g + 9. Let s(h) = h**3 - 6*h**2 + 7*h - 9. Let l(p) = 4*r(p) + 3*s(p). Does 9 divide l(9)?
True
Let i(t) = -40*t + 9. Let j = -125 - -122. Does 47 divide i(j)?
False
Suppose -290 = 3*o + 2*o. Let t = o - -126. Is 5 a factor of t?
False
Suppose -2*w + 332 = -2*f - 2468, 5 = f. Does 29 divide w?
False
Let k(c) = 23*c + 4. Let y be k(6). Suppose 0 = -10*q + 33 - 1043. Let o = y + q. Is 26 a factor of o?
False
Let t be 4 - 4 - (2 + -2). Let y = 2 + t. Suppose 3*m - 2*x = 165, -x + 275 = 3*m + y*m. Does 15 divide m?
False
Let q = -375 + 3983. Is q a multiple of 49?
False
Let o = -401 + 911. Does 14 divide o?
False
Let i = 42 + 41. Does 2 divide i?
False
Let x = 1761 - 1036. Is 29 a factor of x?
True
Suppose -14*y + 26 + 2 = 0. Let c(u) = 11*u**3 + u**2 + 3*u - 8. Does 18 divide c(y)?
True
Let h be ((-44)/(-20) - 2)/((-1)/(-15)). Suppose 4 + 30 = 2*s. Suppose 0*z = h*z - 6, -5*z = -y + s. Does 9 divide y?
True
Let t(o) = -119*o**3 - 8*o**2 - 8*o - 5. Is t(-2) a multiple of 49?
True
Let z(x) = x. Let b be z(13). Suppose -3*c + 107 = -b. Is 12 a factor of c?
False
Let s = 22 - 22. Suppose -2*p - 5*a + 6 = -3, s = -2*a - 6. Does 8 divide p?
False
Let i = 480 - 113. Suppose 97 = -10*t + i. Does 4 divide t?
False
Suppose 0 = 3*p - 2*h - 24, 4*p + 2*h - 32 = 3*h. Let z = p + -6. Suppose 4*k - 124 = z*y - 4, -3*k + 112 = 4*y. Does 8 divide k?
True
Let s = -1443 + 1899. Does 7 divide s?
False
Does 24 divide 5 + ((-99)/11 - -2884)?
True
Let j(b) = -b**2 + 7*b. Let s be j(5). Let w be (-2636)/(-30) + s/75. Suppose 7*o - w = 3*o. Is 14 a factor of o?
False
Let x(g) = -98*g + 226. Does 86 divide x(-17)?
True
Let n(y) = 150*y**2 + 36*y + 152. Does 29 divide n(-6)?
True
Let d be (-141)/(-21) - (-4)/14. Suppose -d*k - 921 = -2398. Does 19 divide k?
False
Let r be (-2)/1*(2 - 8). Let u(h) = r + 10*h - 2*h - 5*h - 2. Does 18 divide u(6)?
False
Let s be 24*(-2 + -2 + 2). Suppose -10*y = -427 + 1217. Let t = s - y. Is 31 a factor of t?
True
Suppose 8*r + 624 - 2784 = 0. Does 9 divide r?
True
Let c(y) = 7*y**2 + 3*y - 3. Let o(r) = 2*r**2 + 5*r + 4. Let n be o(-2). Suppose n*b = -3*b - 15. Does 17 divide c(b)?
True
Let j(l) = -4*l**2 - 3*l + 19. Let m(r) = -9*r**2 - 5*r + 39. Let a(s) = 13*j(s) - 6*m(s). Is a(7) a multiple of 12?
True
Suppose 5*b - 15 - 5 = 0. Suppose -2*p - f - 9 = -41, 2*p - b*f = 32. Is (p/(-10))/((-18)/405) a multiple of 8?
False
Let m be (1/3)/(5/60). Suppose 3*d - 448 = -4*r, m*d - 2*r = -r + 610. Suppose 3*u = -0*n - 5*n + 107, 0 = -3*u + 4*n + d. Does 22 divide u?
True
Suppose -4*b + 2*s + 910 = 0, -3*b - 14*s + 684 = -15*s. Is b even?
False
Let x(z) = 24*z + 8. Let s be x(-7). Let a be s/(-24)*15/(-2). Let v = -31 - a. Is 14 a factor of v?
False
Let q = 8 - 5. Let v = 37 - 34. Is 6 a factor of 6 - v/q*0?
True
Is 7 a factor of 7580/32 - (-12)/96?
False
Let p(m) = m**3 - 17*m**2 - 17*m - 12. Let f be p(18). Let b(g) = g**3 - g**2 + 13*g - 10. Is 31 a factor of b(f)?
True
Let w = -4 + 3. Let r be (22/w)/(-2*1). Suppose t = -5*v - r - 9, t - 5*v - 30 = 0. Is 2 a factor of t?
False
Let z(y) = 15*y. Does 21 divide z(12)?
False
Suppose -2*h - 15*t + 10*t + 707 = 0, h - 3*t = 381. Is h a multiple of 33?
False
Suppose -4*v = 2*y + 2, 2*v + 5*y = -2*v - 17. Suppose -v*z = 5*l - l - 86, -5*z = -5. Is 19 a factor of l?
False
Suppose 5*w = 0, j + 7*w = 3*w - 234. Let r = j - -330. Is 32 a factor of r?
True
Let f = -502 - -1191. Is 16 a factor of f?
False
Let y be (96/(-30))/(4/(-100)). Let t(f) = f**2 - 2*f - 3. Let n be t(3). Suppose n = 4*s - 9*s + y. Is 9 a factor of s?
False
Suppose 776 = 5*v - 449. Suppose -v = -3*b + 5*n, 2*b - 96 - 84 = -5*n. Does 32 divide b?
False
Suppose -17 = -3*a - 2. Suppose -a = -5*t - 5*u, 4*u = -0*u - 4. Is 17 a factor of (153/3)/(t/2)?
True
Let h(d) = -27*d - 88. Does 4 divide h(-8)?
True
Suppose 8 = -k + 5*k. Suppose -k*y = y. Is y - (-2 - (-3 - -3)) a multiple of 2?
True
Suppose 0 = -2*v - 3*v + 1360. Suppose 4*j + 3*u = v + 235, -3*u - 249 = -2*j. Let z = 204 - j. Is z a multiple of 16?
False
Let d(v) = v**2 + 10*v - 22. Let r be d(-12). Let x(k) = 39*k**2 + 6*k - 3. Does 15 divide x(r)?
True
Suppose -3*u - 47 = -5*a - u, -4*u + 5 = a. Suppose 0 = a*p - 4*p - 450. Is p a multiple of 43?
False
Suppose 60*h - 67*h = -630. Is h a multiple of 9?
True
Let w = 1354 + -899. Is w a multiple of 19?
False
Suppose -4*j - 2*n = -12, -3*j - n + 0 + 7 = 0. Let o be 0*(12/8 - j). Suppose -s = 4*d - 81, o*d + 2*d = -4*s + 58. Is 19 a factor of d?
True
Let m(d) = 8*d - 8. Let v be 1/2 + 44/8. Let t be m(v). Suppose -l + t = 2*q, l + 0*q - 43 = q. Does 14 divide l?
True
Let t = -13 - -21. Suppose -t = -4*k - 0. Suppose -r = -4*v + v + 4, k*v = 8. Does 3 divide r?
False
Suppose -400 = -5*h + 5*u - 20, -5*h = -2*u - 368. Suppose -6*m + h = -2*m. Is (1 + -5)*m/(-12) a multiple of 6?
True
Let n = -26 - -27. Let b(y) = 84*y + 5. Does 10 divide b(n)?
False
Let o(t) = -15*t - 9. Is 16 a factor of o(-3)?
False
Let f = -11 + 21. Let p(n) = n**3 - 11*n**2 + 9*n + 14. Let w be p(f). Suppose -w*s + 87 = -5*b, -2*b - 117 = -4*s - 3*b. Does 7 divide s?
True
Suppose 0 = -2*w - 2*z + 262, 5*z + 11 = -9. Does 6 divide w?
False
Suppose 1697 = 4*c + 5*w, 2*w + 3303 = 5*c + 1157. Is 9 a factor of c?
False
Suppose -25*l + 24*l = -44. Let x = 84 - l. Is 17 a factor of x?
False
Let a(w) = 224*w + 17. Is a(5) a multiple of 20?
False
Suppose 3*t + 40 = -4*q, 0*t - t = -5*q - 31. Let d be ((-2)/q)/(9/63). Suppose -3*a - d = -92. Is 12 a factor of a?
False
Suppose 2*i = o + 11, -i = -o + 2*o - 13. Let w be 3*i/(-12) - -5. Suppose -w*d + 43 = -56. Is d a multiple of 11?
True
Let i = 9 - -23. Suppose 3*x - 5*x = i. Let j(w) = -w**3 - 16*w**2 - 3*w - 24. Is j(x) a multiple of 5?
False
Suppose -6*u = -u + a + 389, 0 = u + a + 77. Let o = 175 + -59. Let j = o + u. Does 11 divide j?
False
Let q(d) = -3*d - 14. Let n be q(-6). Suppose n*h - 8 = -0. Let b = h - -2. Is 3 a factor of b?
False
Is (-23331)/(-132) - (-4)/16 a multiple of 15?
False
Let x = 526 - 400. Is x a multiple of 6?
True
Let y(t) = t - 4. Let n be y(1). Let b be ((-8)/n)/((-6)/(-9)). Suppose 2*d = 3*a - 71, b*a - 2*d - 102 = -3*d. Is 6 a factor of a?
False
Suppose -3 = 2*h + n - 726, 2*h - 4*n = 708. Let k = h + -255. Is k a multiple of 15?
True
Let p = -34 + 34. Suppose 2*w - 1 - 53 = p. Suppose -v + w = -44. Does 15 divide v?
False
Let b be 4/12 - (-164)/12. Let u be (-24*6)/(-3)*1. Let w = b + u. Is 9 a factor of w?
False
Let t be 2/(-11) + 1605/55. Suppose -3*c - 202 = -4*h + 142, -h - 3*c + 71 = 0. Let i = h - t. Does 33 divide i?
False
Let g be 117/(-18) + 3/(-2). Let f be (-580)/g*16/(-10). Is 4/12 - f/3 a multiple of 13?
True
Suppose 0 = s - 3*s + 3*v + 16, 5*s + 4*v = 17. Let a(j) = 5*j + 5. Let b be a(s). Suppose -3*q - 2*c + 45 = 0, -6*q + b = -4*q - 2*c. Is 5 a factor of q?
True
Let o(a) = -a**2 + 2*a + 15. Let x(q) = 2*q**2 - 3*q - 31. Let y(h) = -13*o(h) - 6*x(h). Let r be 6/(-15) + (-28)/5. Does 21 divide y(r)?
False
Let y = 12882 + -9151. Is y a multiple of 91?
True
Let k(f) = 11*f**2 + 3*f. Let w be k(3). Sup