)?
False
Suppose 2*i = 55 - 19. Is 14 a factor of (-12)/i - (-2904)/9?
True
Let q(u) = u**3 + 9*u**2 + 2. Suppose -3*y + 67 - 25 = 0. Suppose -42*j + y = -44*j. Does 10 divide q(j)?
True
Suppose -205380 = 35*u - 55*u. Is u a multiple of 13?
False
Let p(t) = -9*t + 121. Let m be p(-12). Suppose m*i - 232*i + 408 = 0. Does 8 divide i?
True
Let s(l) = 7 - 4*l + 18*l**2 - 5*l + 44*l**2. Let n be s(3). Suppose 8*r + 50 - n = 0. Does 12 divide r?
False
Let g be (-1 - -2) + 1/(2 + -1). Let w(f) = 7*f + f**g - 11*f + 0*f**2 - 5*f + 10. Does 25 divide w(-6)?
True
Let s be ((-1276)/(-16) + -4)/((-9)/(-24)). Does 65 divide (-2)/20 + s*61/20?
False
Let g = 83408 - 52468. Is 17 a factor of g?
True
Let x(c) = 44*c**2 + 6*c - 56. Is 17 a factor of x(-7)?
False
Let u = -16 - -6. Let j(x) be the second derivative of -x**4/12 - 2*x**3 + 22*x**2 - x + 149. Is 4 a factor of j(u)?
True
Suppose -1541 - 11366 = -5*x + 2*q, -5*x + 4*q = -12899. Is x a multiple of 11?
False
Is 152 a factor of ((-3)/5)/((-12)/116120*(-5)/(-15))?
False
Suppose -3*v = -2*z + 25726 - 73697, 3*v + z = 47983. Does 162 divide v?
False
Suppose -5 = -5*b + 3*t + 1, -3*b + 8 = -4*t. Suppose -5 = q, 2*o + q = -b*q + 283. Suppose 0 = -2*m + m + 4*h + 32, -4*h - o = -5*m. Is m a multiple of 28?
True
Suppose 4*c - 8*c + 3*w = -19, 0 = -5*c - 2*w + 18. Suppose -c*j + 6*j - 120 = 0. Does 30 divide j?
True
Let u = -2503 - -11768. Is 73 a factor of u?
False
Suppose 4*t = m + 2, 3 = 3*m - t - 2. Suppose 2*c = -2*x + 6*x - 354, -90 = -x + m*c. Suppose -2*z = 4*v + 2*z - x, 2*z = -4. Is 4 a factor of v?
True
Suppose -4*h + 2*h + 6 = 0. Let x(f) be the second derivative of 5*f**4/12 - f**3/2 - 3*f**2/2 - 16*f. Does 21 divide x(h)?
False
Let l(o) = 3*o - 5. Let k be l(4). Let n be -66*(-11)/66 - -76. Suppose 4*h + 2*j - 172 = 0, -2*j - n = -2*h - k. Is 21 a factor of h?
True
Let i = 4 - 5. Let y be i/4 - (-872)/32. Does 29 divide (-126)/y*63/(-2)?
False
Suppose -4*x + 2183 = -3*t + 15476, 8858 = 2*t - 4*x. Is t a multiple of 23?
False
Let q = 293 - 454. Let v = q - -221. Is v a multiple of 6?
True
Let t = -7844 + 13144. Does 10 divide t?
True
Suppose -16*i + 44268 = 15*i - 27*i. Is i a multiple of 106?
False
Let j be 1 + (-21)/28 + 878/8. Suppose 4*h + 2*r - 100 = 0, -3*r = 13*h - 17*h + j. Is h a multiple of 26?
True
Let p(z) = -475*z - 1235. Does 110 divide p(-73)?
True
Let r be -8 - (-66)/8 - 14478/(-8). Let f = r + -830. Is f a multiple of 11?
False
Let s be 16*6/528 - 35/11. Is s/((-5)/(-4420)*-4) a multiple of 10?
False
Suppose 6*q - 2*q + 4 = 0. Let r be 219/18 + (-2)/(-12)*q. Suppose 0 = r*d + 56 - 1772. Is 23 a factor of d?
False
Let m = -811 - 149. Let z = -594 - m. Suppose 89 = l - v, 4*l + 3*v - z = -24. Does 25 divide l?
False
Let m be 112/11 + 3 - (-6)/(-33). Suppose -z - j = m + 12, z - 3*j + 21 = 0. Does 11 divide (-22*3/z)/(3/12)?
True
Let j(c) = 10*c**2 + 40*c + 4. Let q be j(10). Suppose 12*u - q = 6924. Is 16 a factor of u?
False
Suppose -k - 1635 = -2*n - 2*k, -2*n - 2*k + 1630 = 0. Suppose -4*m + n = h - 0*h, h - 4 = 0. Does 21 divide m?
False
Let q be (-2)/((-63)/57 - -1). Does 20 divide 2*429 - (-21 + q)?
True
Let y be (0 - 298)*(0 - (-3)/(-2)). Let c = y + -283. Is c a multiple of 51?
False
Suppose -147708 = -50*l - 33408. Is 5 a factor of l?
False
Let j = -39 - -44. Is (j + -2)/((-1)/(130/(-2))) a multiple of 13?
True
Suppose 3*n = 3, 4*m + n - 26 = 3*n. Let q(p) = -2*p**2 + 13*p + 13. Let c be q(m). Suppose 5*l - c*l + 7 = 0. Is l a multiple of 2?
False
Let j(w) = -93*w + 15. Is 8 a factor of j(-5)?
True
Let m(h) be the first derivative of -13*h**2 + 16*h + 28. Is 8 a factor of m(-4)?
True
Suppose -2*f = 4, -27*f + 24*f - 35666 = -4*g. Does 223 divide g?
False
Suppose -5*k + 620 = 7*v - 2*v, -3 = 3*v. Suppose -4725 = -k*y + 122*y. Is 42 a factor of y?
False
Let r(i) = 37*i**2 + 41*i - 867. Is 16 a factor of r(16)?
False
Does 77 divide (-7)/(2/1716*-2)?
True
Let j be 354 + 2/(-4)*2. Let d be j - ((-80)/35 - (-4)/14). Suppose -a + 449 = 5*q, 3*q + q - d = -5*a. Is q a multiple of 15?
True
Suppose 0 = 10*w - 13*w + 60. Suppose w = h + 3*h. Suppose -h*c = 3*c - 288. Is c a multiple of 24?
False
Suppose -6*a - 10 + 28 = 0. Suppose -f - 3*s = -5*s + 2, a*f - 29 = -s. Suppose -f*y = -5*y - 231. Does 26 divide y?
False
Let p be 2*(-9)/(27/(-78)). Let f(j) = j**3 + 13*j**2 - 13*j - 20. Let d be f(-14). Let l = p + d. Is l a multiple of 3?
True
Suppose -2*v = -2*q + 50, -6*q + q + 101 = v. Suppose -4*u = -3*t + 1152, q*t + 4*u + 1532 = 25*t. Is t a multiple of 19?
True
Suppose -1012 = -179*u + 1315. Let z = -1 + 8. Suppose -u*w = -z*w - 936. Is w a multiple of 23?
False
Let a = -22 + 25. Let f(r) = 0*r**2 + r**2 + r - 12 + a. Is 21 a factor of f(5)?
True
Suppose 5*l - 432 = -4*l. Suppose -5*x - 3*h = l, h - 2 = -2*x - 21. Does 6 divide (x/5)/(-3) - 124/(-10)?
False
Suppose -184 = 6*d + 182. Let h = 116 - d. Is 59 a factor of h?
True
Let k be 8118/(-48) + -5 - (-3)/24. Let n = 146 - k. Is n a multiple of 5?
True
Let t(d) = d**3 - 6*d**2 + 13*d. Let n(h) = -h**3 + 6*h**2 - 12*h. Let c(i) = -6*n(i) - 5*t(i). Let f be c(5). Let r(o) = 7*o + 6. Does 10 divide r(f)?
False
Suppose -t - 3*w = -6*w - 17, 3*w = 3*t - 57. Is 14 a factor of 48/t*2100/45?
True
Let p be ((-30)/9)/(2/(-108)). Let x = 85 + p. Is x a multiple of 29?
False
Let d = 84 + -81. Suppose d*i - 441 = 78. Is i a multiple of 30?
False
Let o(q) = -297*q - 37. Let i be o(9). Let c = -1054 - i. Is c a multiple of 18?
True
Let k(t) = t**3 + 38*t**2 + 88*t - 34. Let l be k(-36). Let z = 754 + l. Is z a multiple of 48?
True
Suppose 2*z + 8953 - 23973 = -2*q, 3*q + 2*z - 22534 = 0. Does 26 divide q?
True
Suppose -4*x - 34412 = -w, 0 = -w - 56*x + 59*x + 34413. Is 204 a factor of w?
False
Suppose 28*v = -41*v + 717255. Is 165 a factor of v?
True
Suppose 958*h = 987*h - 214455. Is 51 a factor of h?
True
Let l = -117 - -677. Suppose -3*v + l = v. Is 11 a factor of v?
False
Suppose -3*i + 2*n = -3*n + 160, i - 3*n = -60. Let k be (i/(-2))/3*(-18)/(-15). Let m(f) = f**3 - 7*f**2 - 7*f - 13. Does 8 divide m(k)?
False
Suppose 57*p - 25398 = 206*p - 191235. Is p a multiple of 21?
True
Let o(c) = -166*c + 78. Let y(z) = 2*z**2 + 14*z + 8. Let g be y(-6). Does 53 divide o(g)?
True
Suppose 10 = -c + 6*c. Suppose 0 = 4*y + 114 + c. Let p = y - -113. Is 12 a factor of p?
True
Suppose -345101 - 527573 = -350*n + 348826. Is 10 a factor of n?
True
Suppose 2*n - 957 = 5*j - 280, -4*n = j - 1299. Let l = -101 + n. Does 16 divide l?
False
Let c(j) = -j - 2. Let h be c(-7). Suppose 0 = -h*d + 2*o - 26, -5*d - 3*o + 6*o = 24. Is 21 a factor of (-87)/(-2) + d/4?
True
Suppose 0 = c + 18*c - 2147. Let n = 485 + c. Does 26 divide n?
True
Let u = 3335 + -718. Is u a multiple of 9?
False
Let x(c) = -6*c + 26. Let f be x(5). Let r = 201 + f. Let y = r + -53. Is y a multiple of 48?
True
Does 3 divide (-1 - (-2)/14)/(43/(-60200))?
True
Suppose 16*g + 79440 = 19*g - 13446. Does 273 divide g?
False
Does 9 divide 4/((-40)/350)*-128?
False
Let s(v) be the first derivative of v**6/360 + v**5/10 - 2*v**4/3 + 2*v**3/3 + 15. Let a(q) be the third derivative of s(q). Does 12 divide a(-14)?
True
Suppose -16*k - 1287 + 103 = 0. Let z = k + 76. Suppose -2*m + 73 = -2*q + 3*q, z*q = -5*m + 145. Is q a multiple of 31?
False
Let o = -2911 - -4040. Is o a multiple of 3?
False
Is 11 a factor of (1 - (-8)/(-6))/(((-1763)/(-570966))/(-43))?
True
Suppose -11*x = 16 - 60. Suppose 0 = -5*t - 4*d + 1518, -x*t + 5*d + 417 = -822. Does 18 divide t?
True
Let a be 7*3/2*(-8)/14. Let f be 7/(196/(-4696)) + a/21. Is 2 a factor of 20/(-6)*f/20?
True
Suppose -3*q = -3*b - 384, -q - 5*b + 8 = -102. Suppose -5*k - q = 5*c, -c + 5*k + 56 = -3*c. Let f = c + 79. Is f a multiple of 19?
False
Let l = -4262 + 8936. Is l a multiple of 19?
True
Let v(b) = -41*b**3 - 3*b**2 - 9*b - 7. Suppose 4*j - 13 = -4*x - 25, -4*x + 4*j + 4 = 0. Is 4 a factor of v(x)?
True
Suppose -m - 5*y = 7 + 892, 4603 = -5*m + 2*y. Let h = m + 1370. Does 11 divide h?
True
Let d = -462 + 784. Let q = d + 1. Is 17 a factor of q?
True
Suppose 8*x - 5*x - 18 = 0. Let t(d) = -d**2 + 10*d - 15. Let j be t(x). Suppose j*f = 10*f - 8. Does 8 divide f?
True
Suppose -2*c + 78892 = 30*c + 12*c. Is 5 a factor of c?
False
Let w = -530 + -40. 