factor of f?
True
Let x(j) be the first derivative of -6 - 1/3*j**3 - 11/2*j**2 - j. Is x(-7) a multiple of 9?
True
Let m(u) = -4*u - 5. Let h be m(2). Let j = 16 + h. Suppose -q - 2*f = -j*f - 46, 0 = 2*q - 3*f - 97. Is 9 a factor of q?
False
Is (2/(-3))/(2 - 3880/1938) a multiple of 20?
False
Suppose 12*s = -6181 + 19429. Suppose -18*n = -12*n - s. Is 23 a factor of n?
True
Let t = -14 - -17. Suppose 0 = -t*h + 9*h - 78. Is h a multiple of 11?
False
Suppose -8*r + 193 = -4175. Is r a multiple of 14?
True
Suppose 2*j - 68 = -50. Suppose -v + 3*i + j = 1, -4*i = -v + 9. Is 5 a factor of v?
True
Let v(h) = 3*h**3 - 71*h**2 + 15*h - 13. Is 24 a factor of v(24)?
False
Let o = 0 - 0. Let t be 6/33 - 45/(-55). Is 4 a factor of (o - t)/((-16)/304)?
False
Suppose -2*i - 4*y + 8 = 0, 3*i = 2*i + 2*y. Is ((25/(-15))/5)/(i/(-126)) a multiple of 4?
False
Suppose 4*k - 30564 = -k + d, 3*k + 2*d - 18328 = 0. Is 16 a factor of k?
True
Is (-51)/6*1456/(-14) a multiple of 16?
False
Suppose 0*j - 4*j = 16. Is 10 a factor of j/20 - (3 + (-291)/5)?
False
Suppose 2*x + 4*y + 5 = 5*y, -y + 5 = -5*x. Suppose 0 = 5*m - x*m - 45. Suppose -m*z = -7*z - 78. Is 10 a factor of z?
False
Suppose 7*v - 2*v = -5*b + 50, 4*v = 8. Does 3 divide 5/(-5) + b + (-4)/(-2)?
True
Let p = 869 - 449. Does 42 divide p?
True
Suppose -10*d = 3*l - 8*d - 1493, 4*l = -4*d + 1996. Is l a multiple of 11?
True
Let m = 1429 + -538. Is m a multiple of 12?
False
Let y(l) = 84*l - 2. Let w(o) = -o**3 - 8*o**2 - 8*o - 4. Let q be w(-7). Is 25 a factor of y(q)?
True
Suppose 2*u = -3*l + 7, 36 = 5*u + 3*l + 14. Suppose b + 600 = u*b. Suppose 148 = 2*z + 5*r, -3*z + 72 = 4*r - b. Does 14 divide z?
False
Suppose 0 = -3*t - 29*t + 109760. Is t a multiple of 98?
True
Suppose -2*r = 3*r. Suppose -129 = -5*k - 3*q, -5*k + k - 2*q + 102 = r. Suppose u - k = -v, 5*u + 10 = v - 2. Does 11 divide v?
True
Suppose 12 + 9 = 7*a. Suppose -4*l = -a*u - 77 - 551, 0 = -2*u. Does 25 divide l?
False
Suppose 2329*n - 4263 = 2322*n. Is n a multiple of 45?
False
Let p(w) = 30*w**2 - 2*w + 3. Let q be p(2). Does 10 divide (-4)/16*-4 + q?
True
Let l(i) = i**3 + i**2 - i + 53. Let t be l(0). Suppose -3*j - 5*n = 244, 2*n + t = -j + 6*n. Let c = j - -148. Is c a multiple of 17?
False
Suppose -l - 3 = -j + 10, 2*l = -4*j + 34. Let f = 18 - j. Does 4 divide f?
True
Let w = -566 - -1275. Is w a multiple of 20?
False
Suppose 3*y + y + 8 = 0. Let s(d) be the second derivative of d**4/3 + d**3/3 + 3*d**2/2 + 167*d. Does 8 divide s(y)?
False
Let k(i) = i + 18. Let u be k(-8). Let l = u - -10. Does 10 divide l?
True
Suppose -4*v - l + 636 = 0, -7*v + 8*v + 3*l - 159 = 0. Does 4 divide v?
False
Let m = 82 - 72. Suppose 310 = -0*d + m*d. Is d a multiple of 31?
True
Suppose -4*y = 2501 - 8381. Does 70 divide y?
True
Suppose 1066 = 26*t - 25*t. Is t a multiple of 68?
False
Suppose 2*q - 5*q + 618 = 0. Let f = -116 + q. Suppose 2*x + f = -0*p + 5*p, 3*x = -2*p + 36. Does 14 divide p?
False
Let y(a) = 4*a**3 + 29*a**2 - 13*a - 47. Is 2 a factor of y(-7)?
False
Suppose x + 4*a = -108, -3*a + 0*a = 2*x + 201. Let o = 186 + x. Does 9 divide o?
True
Let v(l) = 2*l**2 - 12*l + 15. Let r be v(5). Is (6/(-8))/(r/(-1580)) a multiple of 23?
False
Let o = 6 - 1. Suppose 15 = z + 3*x, -59 - 36 = -5*z - o*x. Is 7 a factor of z?
True
Let d(s) = -3*s - 26. Let y(h) = -h**2 - 23*h - 43. Let m be y(-22). Does 21 divide d(m)?
False
Let j = 74 + -7. Suppose i - j = -0*i. Does 11 divide i?
False
Let y = 2362 - 1192. Does 45 divide y?
True
Let j = -45 + 111. Suppose 41*a = 40*a + j. Is 11 a factor of a?
True
Suppose 0 = -c + 2*z + 1, 3*z - 2*z = 4*c - 4. Let n be c/(-3) + (-736)/(-48). Suppose 2*r - 65 = n. Is r a multiple of 9?
False
Suppose 0 = -2*u - 1 + 11. Suppose n + u*p = 6*n - 55, 4*p - 28 = -4*n. Is 2 a factor of n?
False
Let q be (9/12)/((-2)/(-8)). Let i(v) = 3*v - 5. Let u be i(q). Suppose 0 = -u*g - 76 + 360. Does 19 divide g?
False
Let f(g) = 7*g - 163. Is 4 a factor of f(29)?
True
Is 13 a factor of (-308)/(-8)*(-1920)/(-56)?
False
Let l be (-64)/(-6) - 7/(-21). Let t(o) = o**2 + 7 + 7 - 8*o - 8 + 0*o**2. Is t(l) a multiple of 12?
False
Suppose -120 = 3*f - 8*f. Let k = f - 48. Let z = 115 + k. Does 11 divide z?
False
Suppose 0 = -5*x - 10, 2*z + 3*z - 5*x = 10. Suppose -3*k + 240 = -z*k + 3*g, 0 = -5*g + 25. Suppose d - k = -6. Is 23 a factor of d?
True
Suppose 3*l = b - 0*l + 13, 11 = -2*b + 3*l. Suppose -b*z + 332 = 2*z. Suppose n + z = 2*x + 4*n, 5*x = -2*n + 191. Is x a multiple of 16?
False
Does 32 divide 7/(-14)*(-6 + -616)?
False
Suppose -2*d + 0*d = v - 1329, -d + 2*v + 672 = 0. Suppose 5*z - d = 69. Is z a multiple of 21?
True
Let c = 1342 + -732. Does 15 divide c?
False
Let x = -76 - -80. Suppose -3*b = -4*b + 1. Suppose 3*i - 5*n = 63, -3 = -i - x*n + b. Is i a multiple of 16?
True
Let f = 5 - 15. Let k be 2/f + (-351)/(-5). Let u = -36 + k. Is 13 a factor of u?
False
Let s = -5 + 56. Suppose s = 17*f - 14*f. Suppose 44 = 3*n - 4*g, -5*g + f = n - 23. Is n a multiple of 12?
False
Let n be 14 - (-2 + 3 - -3). Suppose m - 4*o + 3 = 0, 4*o + o = 4*m - n. Suppose 4*x - 3*k = -m*k + 82, 2*x - 4*k = 46. Is x a multiple of 7?
True
Let u(l) = 2*l**2 - 4*l + 4. Let d be u(2). Suppose d*i - 2*i - 34 = -h, h - i = 28. Is 10 a factor of h?
True
Let n(l) = 60*l - 55. Does 28 divide n(12)?
False
Suppose -2*b + 12 = 3*i + 2*b, -12 = 4*i - 4*b. Suppose -k = 4, -5*a - 5*k + 9 + 16 = i. Let f(p) = p**3 - 10*p**2 + 12*p - 5. Is 8 a factor of f(a)?
False
Suppose 10*x - 120 = 6*x. Suppose -x = -i - 4*d, -2*d + d = -3*i + 64. Is 11 a factor of i?
True
Let f(a) = 2*a**2 + 3*a - 9. Let v be f(-9). Let t = -21 + v. Is 21 a factor of t?
True
Let n be (-2020)/(-20) + -1 + -1 + 1. Suppose -8 = -4*z + n. Is 9 a factor of z?
True
Let c(p) = 3*p**2 - 17*p + 39. Let q(d) = -d**2 - d - 1. Let w(y) = c(y) + 4*q(y). Is w(-22) a multiple of 4?
False
Suppose -4*k + 762 = -2*r, -4*k - 2*r + 0*r = -742. Is 39 a factor of k?
False
Suppose -19 = -5*x - 4*f, 4*x - 3*f = -8*f + 17. Suppose -7 + 1 = -2*a, -x*o = -5*a + 99. Does 26 divide 1 + 2 - 1 - o?
False
Suppose 0 = u + 4 - 12. Let q be (u/(-24))/((-2)/(-474)). Let g = q + 120. Is 14 a factor of g?
False
Let x = -66 - -289. Is x a multiple of 13?
False
Suppose x - 5*r - 3983 = 0, -4*x - 7*r + 15917 = -12*r. Is x a multiple of 51?
True
Is 12/8*-12*(-460)/15 a multiple of 69?
True
Suppose 0*u - 108 = -3*u. Suppose 4*n - 2*y - 26 = u, 4*n + 3*y - 37 = 0. Is 9 a factor of n?
False
Is (1290/(5 + -3 + -1))/2 a multiple of 35?
False
Suppose -4*n = 4*b - 1020, -3*n - 2*b + 765 = 2*b. Does 15 divide n?
True
Suppose 27*d - 12078 = 16*d. Does 61 divide d?
True
Let l be (-15)/(-40) + (-19)/8. Does 22 divide (11/l)/((-1)/16)?
True
Let d = -27 + 30. Is 58 + (-1)/3*d a multiple of 19?
True
Suppose 4*n + 827 = 5*t, -t + 65 = n - 95. Is t a multiple of 6?
False
Let b = -17 - -352. Does 30 divide b?
False
Let y = -161 + 291. Is 5 a factor of y?
True
Suppose 0 = 5*k + o + 115, -k + o = -2*k - 19. Let u = 40 + k. Does 3 divide u?
False
Suppose 0 = 16*g - 7*g + 72. Let y(f) = -31*f + 57. Does 58 divide y(g)?
False
Suppose -4464 = -11*n + 2*n. Let x = n + -272. Is 28 a factor of x?
True
Let g(s) = 2*s + 2. Let x be g(0). Let j be (254*1 - 1) + 2. Suppose -x*c + 107 = z, c + 4*c = -5*z + j. Does 14 divide c?
True
Let a = -280 + 384. Does 12 divide a?
False
Suppose -d - 4*d - 735 = 0. Let w = d - -55. Let n = -65 - w. Does 9 divide n?
True
Let f(u) = 6. Let i(l) = -l. Let r(z) = f(z) - 2*i(z). Does 10 divide r(12)?
True
Suppose -5 = -2*s + 5. Suppose 21 - 6 = s*g. Suppose 5*p + g*k = 155, -7*p + 41 = -5*p - 3*k. Is 7 a factor of p?
True
Let k be 2/5 + (4772/(-5))/(-4). Let l = k + -142. Is l a multiple of 11?
False
Let t be 16/(-10)*20/(-8). Let u be 10 - t - (-3 - 1). Suppose 9*q + 42 = u*q. Is q a multiple of 7?
True
Let c = 393 + -384. Let n(h) = 6*h - 16. Let q(a) = 12*a - 32. Let b(d) = 13*n(d) - 6*q(d). Is 14 a factor of b(c)?
False
Let i(y) = 3*y**2 - 35*y - 11. Is i(-6) a multiple of 8?
False
Let h(d) be the third derivative of -d**6/120 - 2*d**5/15 - 7*d**4/24 + d**3 + 5*d**2. Let z(f) = 5*f + 2. Let k be z(-2). Is 16 a factor of h(k)?
False
Suppose -35 = -4*g + 5*c + 33, -44 = -5*g - 4*c. Let r be (0 - -9)*52/g. Suppose 0 = -2*v + 