of f?
False
Let k(w) = 16*w**3 - 7*w**2 - w + 2. Let c be k(5). Does 52 divide c/5 + (-56)/140?
True
Let f(o) = 9*o**2 - 6*o + 2. Let x be f(3). Let a = x + 90. Is 32 a factor of a?
False
Let u(p) = p - 3. Let c = 13 - 8. Let q be u(c). Suppose q*w - 4 = 30. Does 17 divide w?
True
Let n(p) = -5*p**3 + 6*p**2 - 5*p - 24. Is 20 a factor of n(-4)?
False
Suppose 0 = -3*i - 2*a + 66, 0 = i - a - 23 - 4. Does 4 divide i?
True
Suppose 2*w = 16 + 4. Let j be 28/w - 12/(-60). Suppose j*d + d + 5*g - 49 = 0, 5*g + 5 = 5*d. Is 2 a factor of d?
True
Let w(n) be the second derivative of -17*n**3/6 + 10*n**2 + 2*n. Does 39 divide w(-8)?
True
Suppose -35 = q - 40. Suppose -5*u + 2*u = q*i - 100, 56 = u - 4*i. Does 3 divide u?
False
Suppose -2*k + 30 = -0. Let z = 10 + k. Does 15 divide z?
False
Let g = 1088 - -214. Is 2/4 - g/(-12) a multiple of 23?
False
Suppose 0 = 4*x + 22 - 2. Let p(r) = -7*r - r - 5 + 4*r - 7. Does 8 divide p(x)?
True
Suppose j = 10 - 48. Let s = 54 + j. Suppose t - 76 + s = 0. Does 15 divide t?
True
Let q(w) = -48*w**3 + 3*w - 3. Let v be q(-3). Let c be v/44 - 4/22. Suppose -2*k - c = -3*k. Is 11 a factor of k?
False
Let c(a) = -a**3 - 12*a**2 - 6*a - 2. Let d(r) = -r**3 - 11*r**2 - 5*r - 2. Let k(w) = -3*c(w) + 4*d(w). Let h be k(-9). Let q = 163 - h. Is 20 a factor of q?
False
Let v = -27 - -28. Is 3 a factor of -8*v/2 - -24?
False
Let i = 1016 + -531. Is 29 a factor of i?
False
Suppose -n - 47 + 56 = 0. Suppose -11*f = n*f - 400. Is f a multiple of 10?
True
Let t = -36 - -30. Let p = t - -9. Is (-19 - -13)*(-32)/p a multiple of 16?
True
Suppose -t - 1 = 0, m - 6*m = -5*t - 205. Suppose -2*a + 7*a - m = -5*u, 3*a = 4*u + 3. Suppose -2*g - a*n + 68 = 0, 3*g - 107 = -9*n + 4*n. Does 13 divide g?
True
Suppose 3*x + 2*m - 5 = 0, 0*x - m = 4*x - 10. Suppose x*r = 5*r - 150. Suppose 5*c + d - 255 = 0, -5*d + r = -c + 2*c. Does 19 divide c?
False
Suppose -43*a = a - 1056. Is 6 a factor of a?
True
Let p(i) = 7*i + 5*i**2 + 0 - 6*i**2 - 2. Let t be p(6). Suppose -l = -t - 14. Is l a multiple of 10?
False
Suppose -3*q + q + 440 = 0. Suppose -u - 108 = -5*p + q, -5*p + 331 = -2*u. Is p a multiple of 6?
False
Let f be 2*((-3)/(-3) + -5 - -10). Is 18/f*124/3 a multiple of 51?
False
Suppose -4323 = -4*v + 2973. Does 48 divide v?
True
Let q(a) = -6*a - 36. Let s be q(-7). Suppose 169 = s*z - 359. Is z a multiple of 22?
True
Let w(i) be the first derivative of 21*i**4 + i**3/3 + i**2/2 - 2*i - 22. Does 14 divide w(1)?
True
Suppose -5 = -t + 19. Suppose -b = 12 - t. Is 5 a factor of ((-12)/10)/(b/(-200))?
True
Suppose 3*w - m - 269 = 0, 0 = -4*w + 5*w + 2*m - 99. Is w a multiple of 21?
False
Let b = -19 + 36. Let a = 20 - b. Suppose z = 2*t - 2*z - 101, -z + a = 0. Is 26 a factor of t?
False
Suppose -c - 3479 = -5*c - 5*s, -3*s - 15 = 0. Is c a multiple of 6?
True
Suppose -a = -5*l + 2*a + 40, 40 = 5*l + a. Suppose -4*y + l = -12. Suppose -12 - 93 = -y*p. Is 11 a factor of p?
False
Suppose -g + 194 = 2*s + s, -5*g = -2*s + 152. Let y = 116 + s. Is y a multiple of 16?
False
Let y(t) = t**3 + t + 18. Let s be y(0). Let q be ((-9)/s)/(2/8). Is 37 + 3 + (-3 - q) a multiple of 13?
True
Suppose 0 = 2*j + 2, 2 - 9 = -3*b + j. Suppose 4*d - 3*d - 99 = -3*q, -4*d + 368 = -b*q. Is 31 a factor of d?
True
Let k(q) = -14 - 3 + 5 + 8 - 13*q. Is k(-8) a multiple of 19?
False
Suppose 37 = -2*b - 5*h + 253, 4*h - 105 = -b. Suppose 291 = 4*s - b. Is s a multiple of 15?
False
Let y be (3 + 3)/1 - -4. Let j = y - -8. Suppose -j - 26 = -2*v. Is 11 a factor of v?
True
Does 20 divide 334*((-63)/70)/(6/(-10))?
False
Let l be (-274)/(-18) + (-18)/81. Let s = l - 9. Let b(a) = a**3 - 6*a**2 + 3*a - 9. Is 5 a factor of b(s)?
False
Suppose -3*o + 470 = 2*o + 4*d, 2*o + 3*d = 195. Is 15 a factor of 76/(-57)*o/(-4)?
True
Suppose -3*b + w + 1718 + 3957 = 0, -3*w = -3*b + 5673. Is b a multiple of 57?
False
Is 5 a factor of (12 + 30)*((-13)/(-2) + -2)?
False
Suppose -2*n - c = -2460, 5*n - 3*c - 6160 = -8*c. Does 27 divide n?
False
Suppose 0 = -16*f + 27*f - 2541. Does 33 divide f?
True
Let v = 1667 - 946. Does 63 divide v?
False
Let m(g) = -6*g - 10. Let v(y) = -1. Let z(f) = m(f) + 6*v(f). Let d be z(-15). Let h = d + -40. Does 13 divide h?
False
Let r(l) = -5*l - 6. Let d be r(-3). Suppose -19 - d = -2*s. Is 14 a factor of s?
True
Suppose -4*u - z = -3*z + 68, 0 = -3*u + 2*z - 53. Let j(i) = -3*i + 7. Is j(u) a multiple of 39?
False
Is 6 a factor of 30280/65 - (-1 - 66/(-78))?
False
Let s = -4 + 10. Is 3 a factor of (s + 1 - -3) + -4?
True
Let m = 9 + -10. Let w = -3 + m. Is 4 a factor of 3/2 - 42/w?
True
Let z = -2355 + 5286. Is 11 a factor of z?
False
Let l(p) be the first derivative of p**4/4 + 4*p**3 + 2*p**2 - 10*p - 24. Is l(-5) a multiple of 19?
False
Let c(x) = -34*x + 7. Let a be c(-2). Let t = a + -39. Is t a multiple of 4?
True
Let c = 131 + -70. Let j = c + -22. Suppose d + j = 4*d. Is 3 a factor of d?
False
Suppose -21*z - 13*z = -3060. Is z a multiple of 10?
True
Is 41 a factor of (-11)/(-3) + 52780/30?
True
Suppose -4*m + 22295 = 5*c - 878, 0 = 3*m - 3*c - 17400. Does 17 divide m?
True
Suppose -4*n + 22 = 2*r, -5*n - 2*r + 15 = -11. Let t be n + -2 + -3 - 0. Is t + -3 + 2 - -18 a multiple of 9?
False
Let w(f) = -f**2 + 9*f + 14. Let s be w(10). Let v = -2 + 52. Suppose -3*c + 34 = 5*n - v, c = -s*n + 70. Is 18 a factor of n?
True
Let a = 29 + -35. Let k(j) = -2*j**3 - 9*j**2 - 10*j + 8. Is k(a) a multiple of 8?
True
Let p = -10 + 10. Suppose -3*h + 18 = -p*h. Suppose -h*b - 46 = -8*b. Does 6 divide b?
False
Let o(k) = 9*k + 259. Is 25 a factor of o(39)?
False
Suppose -g + 3*i = 8 - 1, -2*g = 5*i - 30. Suppose 2*h - 3*h + 48 = -2*n, 2*h + 120 = -g*n. Is (-27)/(-2)*(-16)/n a multiple of 3?
True
Let y = -9 - -19. Let m be (60/(-50))/(1/5). Let d = m + y. Does 3 divide d?
False
Let z(b) = b**3 + 4*b**2 - 3*b - 3. Is z(3) a multiple of 7?
False
Let a(k) = -2*k**2 + 31*k + 17. Let v be a(14). Let y = v - 29. Does 6 divide y?
True
Let b(c) = 4*c - 6. Let h = 9 - 7. Suppose 2*f - 4*g = 16, f - 3*g - 3 - h = 0. Does 10 divide b(f)?
True
Let z(b) = -b**3 + 6*b**2 - 4*b + 1. Let n be z(5). Let c be 2/n*(-459)/(-9). Let s = c + -14. Does 3 divide s?
True
Let i = -1348 + 1349. Let l(x) be the first derivative of 97*x**3/3 + x**2/2 - x - 1. Is 12 a factor of l(i)?
False
Let x = -207 - -220. Let r = -3 + -2. Let o = x - r. Is o a multiple of 14?
False
Let a(n) = n**2 - 20*n + 4. Is 8 a factor of a(-14)?
True
Let z(j) = 3*j - 7. Let s(a) = -a**3 - 8*a**2 - 13*a + 5. Let t be s(-6). Is 8 a factor of z(t)?
False
Let m be 1*-5*(-21)/35. Does 4 divide 16/(1/(4 - m))?
True
Let l(o) = o**3 + 8*o**2 - 3*o - 8. Let k(s) = 2*s**3 + 17*s**2 - 6*s - 17. Let t(c) = 2*k(c) - 5*l(c). Does 9 divide t(-7)?
False
Let q = 102 + 190. Let l be q*(-1 + (-22)/(-8)). Is 18 a factor of l/14*(4 + -2)?
False
Let a(h) = -h - 3. Let p(r) = -5*r + 2. Let y be p(1). Let d be a(y). Suppose 24 = -d*i + 3*i. Does 3 divide i?
False
Suppose 0 = -3*i + 4*i - 40. Let o(m) = m**2 - 21*m + 30. Let u be o(19). Let h = i + u. Is 15 a factor of h?
False
Let u(n) = 8*n**3 - n**2 - n. Let l be u(3). Suppose 129 = 9*s - l. Is s a multiple of 11?
False
Let t be (-3)/2*-12*(-7)/63. Let c(p) = 18*p**2 + p - 1. Is c(t) a multiple of 23?
True
Let n = 2199 - 1159. Does 16 divide n?
True
Suppose 0 = 3*p - 2*p - 28. Let o be p/6 + 9/27. Suppose o*y + 405 = 10*y. Is y a multiple of 27?
True
Suppose -303*c + 301*c = -6330. Does 15 divide c?
True
Let t be (0 - (2 + -3))*0. Suppose -3*l + 3 = t, 3*l - 109 = -3*k - l. Is k a multiple of 7?
True
Let q(t) = t**3 + t**2 + t - 1. Let g(k) = -k**3 + 10*k**2 + 9*k + 9. Let v(p) = g(p) + 2*q(p). Let s be (-22)/(-2)*(2 - 3). Does 2 divide v(s)?
False
Let n be 15/6 - (1 + (-9)/6). Is (-8 - (-1 - n)) + 7 a multiple of 3?
True
Let n be 29/2*12/2. Is 5/(-2 + 7)*n a multiple of 18?
False
Let z be 0 + -2 - (3 - 29). Let v = 263 + -217. Let s = v - z. Is s a multiple of 4?
False
Let l(k) = -k**2 - 42*k - 22. Does 9 divide l(-9)?
False
Let y(p) = 2*p + 14. Let a be y(-7). Suppose a*c - 7*c = -392. Is 7 a factor of c?
True
Suppose 2*n - 482 = -4*d, n = -2*n - 9. Is d a multiple of 11?
False
Let y = 1100 - 928. Does 2 divide y?
True
Does 12 divide (-4)/6 + 5/3 + 1086?
False
Let z = -37 - -73. Does 9