*x**2 + 52*x + 1. Is 52 a factor of d(m)?
False
Let n(j) = 41*j**2 + j. Let a(t) = 40*t**2 + t. Let f(d) = 4*a(d) - 3*n(d). Let l be 84/(-48) - (-6)/8. Is 29 a factor of f(l)?
False
Suppose 0 = -2*f + 6*f - 204. Suppose -3*l = 4*w + f - 199, -208 = -5*w + 2*l. Is (w/16)/(1/10) a multiple of 12?
False
Let s be (6/(-8))/(9/(-24)). Let r be (1/(-1))/(s/(-8)*-2). Does 10 divide (-3)/(-12) - (r - (-333)/(-12))?
True
Let r be (-8262)/(-66) - (3 + 93/(-33)). Let s = r + 2. Is s a multiple of 16?
False
Let i = 327 + -325. Suppose 3*z + 6 = -0*z, a + i*z - 377 = 0. Does 13 divide a?
False
Let d(f) = -10*f**3 - f + 3. Let p(c) = c**3 - c**2 + c - 1. Let m(y) = -d(y) - p(y). Suppose 0 = -86*a + 60*a + 26. Is 3 a factor of m(a)?
False
Let o(s) = -13*s + 61. Let d be o(5). Does 21 divide 35/(d/(-4)) + (4 - 8)?
False
Suppose -10*d - d + 21473 + 9800 = 0. Does 25 divide d?
False
Suppose -25623 = -5*d - 60*a + 62*a, -20505 = -4*d - 5*a. Is 5 a factor of d?
True
Suppose -590*y = -580*y - 32940. Does 27 divide y?
True
Suppose 0 = 7*f + 25*f - 12474 - 41542. Does 5 divide f?
False
Does 10 divide 6*(-9 + 436) + -2?
True
Let v = 180 - 131. Suppose x = 3*u + 478, -x + u + 419 + v = 0. Is 17 a factor of x?
False
Let v(y) = -y**3 + 9*y**2 - y - 1. Let a be v(4). Suppose -a = 9*u - 4*u. Does 7 divide 6/15 - 489/u?
False
Let c = 9241 + -5276. Is 2 a factor of c?
False
Let u(d) be the first derivative of 2*d**3 - 13*d**2/2 - 17*d + 39. Does 14 divide u(-7)?
False
Let v = 68 + -61. Let l = 117 - v. Is 22 a factor of l?
True
Let x be 1/((-1)/(-592)) + 1. Suppose 10*f + 93 = x. Is 10 a factor of f?
True
Suppose -329 + 894 = k + 2*t, 3*t - 1135 = -2*k. Is 4 a factor of k?
False
Is 5 a factor of 16 - (-3 + -11 + -1265)?
True
Let h(y) = y + 4. Let i(a) = 3*a + 7. Let d(m) = 5*h(m) - 2*i(m). Let z be d(4). Does 12 divide (z/(2 - 8))/((-30)/1350)?
False
Let i = -79 + 84. Suppose 4*k = i*r + 2072, 0 = -2*r + 1 + 7. Is k a multiple of 12?
False
Is 30 a factor of -14 + (8 - -13) + 4343/1?
True
Does 62 divide 17 + (-2)/1 + -6 - -2347?
True
Suppose -p - 4 - 1 = 0. Let i(s) = -46 - 2*s + 13 + 19 + 19. Is i(p) a multiple of 3?
True
Does 8 divide (2009/(-35) + -2 + 1)/(1/(-180))?
True
Let r(x) = 34*x**2 + 54*x - 8. Does 47 divide r(4)?
True
Suppose 0 = 3*x - 1 - 14. Suppose 0 = x*m + 2*j - 351, 0 = 5*j + 19 - 9. Let o = 125 - m. Does 27 divide o?
True
Let h(k) = -k**3 + 29*k**2 + 56*k - 45. Let g be h(31). Let i = -183 - g. Is 6 a factor of i?
True
Let j = 83 - 92. Is 8 a factor of (5 + (-68)/(-12))*j/(-6)?
True
Suppose 2*l - 72 = 4*s, -81 = -2*l - s + 2*s. Let a be (-216)/l*14/(-3). Suppose 0 = -b - b + a. Does 2 divide b?
True
Suppose 5*z - o = 19, -3*z - 2*z - 3*o + 23 = 0. Suppose -2*n = 3*n - r - 7, r - 9 = -3*n. Suppose z*u - 268 = -v, 3*u - v - 344 = -n*u. Does 9 divide u?
False
Let b(q) = -682*q + 1987. Is b(-35) a multiple of 11?
False
Suppose 2*f = -0*f - 8, f - 2 = -q. Let y(b) = -2*b**2 + 12*b - 3. Let v be y(q). Let g(o) = -5*o**3 + o**2 + 11. Does 31 divide g(v)?
True
Let y(v) = -34*v + 1796. Is 10 a factor of y(-50)?
False
Suppose -m + k - 5 = 0, 0*k - 4*k - 7 = -m. Let p(l) = l - 2 - 6*l + 8 - 33 - 5*l. Does 9 divide p(m)?
True
Suppose 25*o - 24 = 28*o. Let f be ((-2)/(-4))/(o/(-384)). Does 10 divide -30*((-18)/f)/(9/40)?
True
Suppose 37816 = 30*d - 39179 + 10695. Does 81 divide d?
False
Suppose 9*h + 12*h = 8001. Let m = 801 - h. Does 45 divide m?
False
Let p(t) = 2*t**3 - 10*t**2 - 4*t + 27. Let w be p(10). Let o = w - 935. Is 13 a factor of o?
True
Let c = -1355 - -433. Let z = -782 - c. Is 4 a factor of z?
True
Is 3927 - (-442)/(-17) - (-1 - -2) a multiple of 21?
False
Suppose -2180*a + 8052 = -2177*a. Is a even?
True
Suppose 159*v = 232*v - 1141136. Is v a multiple of 11?
False
Let n be ((-5)/(-4))/((-2)/24)*-1. Suppose 0 = -n*r + 1188 + 507. Is r a multiple of 3?
False
Suppose -12074 = 5*x - 63784. Is (-4)/(-24) - x/(-12) a multiple of 9?
False
Suppose -4*s + 1 = 13. Let t(b) be the first derivative of -17*b**2 + 7*b + 12. Does 13 divide t(s)?
False
Let i = 133 + -131. Suppose 5*q - i*q = 6, 3*y - 5*q - 1571 = 0. Is y a multiple of 13?
False
Let u(j) = -j**3 + 12*j**2 + 18*j + 13. Let l = 44 - 31. Is 11 a factor of u(l)?
False
Is 54 a factor of 126/(((-6)/729)/(23/(828/(-24))))?
True
Let c(x) = -5*x + 5 + 247*x**3 - 3 + 530*x**3 + 3*x**2. Does 21 divide c(1)?
True
Let f(s) = 916*s**3 + 3*s**2 + 643*s - 1929. Does 189 divide f(3)?
True
Suppose -16*p = -52*p + 29412. Suppose -812*l - 315 = -p*l. Is 2 a factor of l?
False
Suppose 3*z = -5*v + 165, v = -z + 65 - 8. Suppose 0 = 7*l - 186 + z. Let n = 37 - l. Is n a multiple of 4?
False
Let z(l) be the first derivative of -6*l - 5*l**2 - 53 - 24*l + 15. Does 10 divide z(-23)?
True
Suppose -f = 11*v - 89587, -5*v - 7*f + 6*f + 40723 = 0. Is v a multiple of 16?
True
Let v(m) = -m + 6. Suppose -4*q + 42 = 5*y, -5*y - 2*q + 15 + 21 = 0. Let k be v(y). Suppose 4*s = 3*u - 258, k*s - 6 = -2*s. Is u a multiple of 9?
True
Suppose -11325 = -2*r + 4*z - 3*z, -3*z = 3*r - 17010. Is (-4)/6 + (r/(-3))/(-5) a multiple of 13?
True
Let r(p) = -32*p - 158. Let i be r(-5). Suppose 5*w - 3*m = 1060, -2*w - 3*w + i*m = -1055. Is 19 a factor of w?
True
Suppose -3*q + 193 = 181. Suppose -149 = m + 5*i - 710, q*m + 5*i = 2274. Is 29 a factor of m?
False
Let q(u) = 503*u**3 + 4*u**2 + u + 2. Let m(y) = 1006*y**3 + 9*y**2 + 2*y + 4. Let p(g) = 6*m(g) - 13*q(g). Is p(-1) a multiple of 28?
True
Is 109 a factor of (14 + (50 - 60))*((-8627)/(-4) - -1)?
False
Suppose 0 = u, 4*u + u - 6 = -3*x. Suppose 5*o = -5*h + 215, -o - 51 = -h + x. Is 43 a factor of (h - -4)*(-11)/(-4)?
False
Does 41 divide (3474/(-63))/(6/(-42))?
False
Suppose 9*r + 4 = 4. Suppose 1704 + r = 4*f. Is f a multiple of 27?
False
Does 19 divide (-2610)/27*342/(-12)?
True
Suppose -3*s = 3*r + 12 - 45, -5*r = 4*s - 50. Suppose -8*c = -r*c - 196. Is 13 a factor of c?
False
Let p(i) = i**3 + 5*i**2 - 7*i + 8. Let o be p(-6). Suppose 7*b - o = 0, 122 = n + 3*b - 218. Is 2 a factor of n?
True
Suppose 4*o + 29503 = 3*g + 5952, 4*g - 31397 = o. Is 17 a factor of g?
False
Let o(b) = -3*b**2 - 5*b**2 + b**2 + 6*b**2 + 30 - 9*b. Let g be o(-11). Is 1/((-4)/g) + 23 a multiple of 6?
False
Let v(r) = -459*r - 3659. Does 16 divide v(-9)?
False
Let s(w) = -103*w - 2510. Is 10 a factor of s(-50)?
True
Suppose -219 = -5*w - 3*x, 162 = 4*w + 3*x - 5*x. Let t = w + -51. Is 44 a factor of (0 + (-44)/6)/(t/378)?
True
Let k(v) be the third derivative of 15/4*v**4 + 0*v + 0 - 1/3*v**3 - 12*v**2. Is 22 a factor of k(1)?
True
Let t(f) = -52*f - 38 + 31 - 45. Is t(-12) a multiple of 44?
True
Let s = -16 - -23. Suppose -4*b + s*o = 2*o + 80, -4*b + 3*o = 80. Does 14 divide b/(-8)*(-56)/(-10)?
True
Suppose 6*q - 1390 = q - 2*o, -q + 300 = -4*o. Does 14 divide q?
True
Suppose 75585 = -101*g + 5208590 - 1094621. Does 51 divide g?
True
Let y(u) = -4*u**2 - 4*u. Let a be y(-1). Is (a + -1)*(0 + (-18 - 1)) even?
False
Let p(v) = -14*v + 63. Let s be p(-9). Suppose a - s - 25 = 0. Is 16 a factor of a?
False
Let u(s) = 2*s**2 + 19*s + 1441. Is u(-67) a multiple of 190?
False
Let f = 8792 - 8460. Is f even?
True
Let w(x) = -6*x**2 - x**2 - 5*x**3 - 6*x + x - 2 - 2*x. Suppose -18*u - 3*u = 42. Is w(u) a multiple of 6?
True
Let t = 172 + -170. Suppose 2*v - 72 = t*n + 4, -3*v + n = -114. Does 26 divide v?
False
Suppose -x = -5*x + 16. Suppose 5*o + 857 = -2*t, -t - 118 - 303 = x*o. Let n = -242 - t. Is 34 a factor of n?
False
Is ((-12)/8)/(-3) + 51192/16 a multiple of 64?
True
Let o = -35 + 112. Let t = 77 - o. Suppose t = q - 0*f + 4*f - 112, -5*f - 610 = -5*q. Is 40 a factor of q?
True
Does 5 divide (2 + (-4)/(56/35))*-452?
False
Let q(z) = z**2 - 10*z - 4. Let l be q(8). Let h = l - -351. Is 51 a factor of h?
False
Suppose 2*c - 62542 = 2*k, 2*c = -167*k + 172*k + 62563. Is c a multiple of 7?
False
Let t be (21/6 - 4)*0. Suppose t*q - 2*q + 230 = 2*z, 2*q = 5*z + 230. Suppose -q = -2*v - y, 3*v + 0*v - 155 = -5*y. Is 15 a factor of v?
True
Let x(a) = -5*a**3 - 16*a**2 + 2*a - 7. Let j = 52 + -47. Let b(u) = -4*u**3 - 15*u**2 + u - 8. Let o(t) = j*x(t) - 6*b(t). Does 13 divide o(9)?
True
Suppose 6993 = n - 3*o, -5*n - 210*o + 208*o + 34846 = 0. Is n a multiple of 14?
True
Let v(w) = 2*w**3 + 3*w**2 + w - 2. Let h