 factor of l?
True
Suppose -80*i = 120*i - 3887800. Is 71 a factor of i?
False
Is ((-130)/(-10) - 8) + 2053 a multiple of 147?
True
Let i = 2279 - 1359. Is i a multiple of 40?
True
Let d(s) = s**2 - 4*s + 4. Let w be d(1). Is 2/(-21)*w + (-6684)/(-63) a multiple of 10?
False
Let p = -3023 - -12595. Is p a multiple of 55?
False
Suppose -w - 22*b + 25*b + 19170 = 0, -4*b = -w + 19164. Does 117 divide w?
True
Let s(a) = -30*a. Let k(j) = -4*j**3 + 2*j**2 - j. Let m be k(1). Let q be s(m). Let d = -78 + q. Is 12 a factor of d?
True
Suppose -1369085 = -32*l + 28589 + 682262. Is 30 a factor of l?
False
Let f = -138 + 32. Let x = f + 165. Is 19 a factor of 5 + -5 + x - (-4)/(-2)?
True
Let h = -77 + 131. Suppose -10*k - 4 = -h. Suppose 5*l + 12*j = 8*j + 610, 635 = k*l - j. Is l a multiple of 14?
True
Let p = 47 - 45. Let u(g) = -10 - 12 + g + 16 + g**3 - 6*g**p + 9*g. Is u(4) a multiple of 2?
True
Let q = 124 + -125. Let g be -3 + q/((-6 - -3)/69). Suppose 5*k = -0*t - 2*t + 48, 0 = -5*k - g. Is t a multiple of 7?
False
Suppose 72*k + 63*k - 120304 = -11*k. Is 3 a factor of k?
False
Let x(v) = -28 + 8*v + 42*v + 62. Does 60 divide x(10)?
False
Let v = -1040 + 1408. Does 92 divide v?
True
Suppose -8*y - 5*o = -5*y - 69, -19 = -y - 3*o. Suppose 23*f - y*f + 1740 = 0. Is f a multiple of 7?
False
Suppose 84*d - 14*d = 48*d + 679910. Is 7 a factor of d?
True
Let g(m) = 51*m**3 + 3*m**2 - 46*m + 260. Does 8 divide g(5)?
True
Suppose -7*m + 5410 = -1149. Is m a multiple of 24?
False
Let w(r) = -r + 65. Let n be w(42). Suppose -11 = n*l - 1000. Is 26 a factor of l?
False
Let o = 6750 + -991. Does 12 divide o?
False
Suppose -13*i = -18*i - 10, -3*v + i + 32846 = 0. Suppose -35*q + 12*q + v = 0. Is q a multiple of 28?
True
Let t = -10453 + 34168. Does 12 divide t?
False
Let r(p) = 5*p**3 - 4*p**2 - 5*p - 12 - 1 + 4. Does 52 divide r(4)?
False
Let f = -18687 + 31940. Is f a multiple of 29?
True
Let f be (-10 + 0)/(-5) + (-8)/4. Let r(n) = -n**3 - 2*n**2 + 5*n + 528. Is r(f) a multiple of 48?
True
Is 42 a factor of (138/(-92))/((-2)/24*6/1076)?
False
Suppose -3*p + 40923 = -27646 + 14281. Does 39 divide p?
True
Let x = 3819 + -3475. Is 74 a factor of x?
False
Let l be (30/8)/((-9)/(-36)). Let s be (-2)/((2/(-15))/(3/l)). Is 4452/36 - 2/s a multiple of 22?
False
Let v = 18 + -14. Suppose 0*k + 11 = -k - v*t, 3*k - 35 = 5*t. Suppose 146 = k*x - 2*g, -x + 70 = x + 5*g. Is 11 a factor of x?
False
Let z(x) = -35*x + 20. Suppose 33 = -4*j - 3*m, -3 = -5*j + m - 30. Is 27 a factor of z(j)?
False
Let h(m) = -47*m - 5. Let z be h(-3). Suppose -18*d + 14*d + z = 0. Suppose d - 230 = -4*s. Does 8 divide s?
False
Let y = 272 - 268. Suppose 0 = -5*b + 7*k - 5*k + 1558, -2*b - y*k + 628 = 0. Does 20 divide b?
False
Let q(v) = 64*v**2 + 25*v + 58. Is q(10) a multiple of 39?
True
Let k(s) = -2*s + 12. Suppose 2*q - 12 = q. Let u be k(q). Is (572/u)/(2/(-6)) + -3 a multiple of 35?
True
Suppose -5*o - 20 = -4*u + 38, 5*o - 3*u + 61 = 0. Let k(x) = -x**2 - 29*x - 84. Does 21 divide k(o)?
True
Let u = -75 + 78. Suppose b + g - 787 = 417, -u*b + 3584 = -4*g. Suppose 2*q + 6*q - b = 0. Is q a multiple of 25?
True
Suppose 0 = -3*c + 122 - 71. Let b = 115 + c. Suppose 300 + b = 6*j. Is 18 a factor of j?
True
Is (6/10 + (-467962)/110)*5*-1 a multiple of 69?
False
Let k be 12/(-8) + 4815/30. Is (k + 3)*11/11 a multiple of 9?
True
Let q be (6 - -7 - 7)*6/1. Suppose 0 = 41*x - q*x - 10. Is 6 a factor of 3/((-165)/(-560)) - x/11?
False
Let j(o) = 2*o + 23. Let x be j(-10). Let t(u) = 224*u. Let i be t(x). Suppose 9*y - i = 2*y. Does 24 divide y?
True
Suppose -a - 12 = 2*b, 4*a + 4*b - b + 33 = 0. Let i be 20 - 20 - 3/(a/8). Suppose 5*m - 35 + 1 = -k, -i*k + 220 = -m. Is 9 a factor of k?
True
Suppose -16*k + 20088 = 20*k. Is 6 a factor of k?
True
Suppose s + 491 = 5*j, j + j = -2*s + 206. Suppose -j = -155*d + 154*d. Does 3 divide d?
True
Suppose -4*f = -2*w - 2, f + 7 = 3*w - 5. Let o be (-370)/(-14) + (484/77)/11. Suppose -2*g = d - 24, -w*g + 21 = 2*d - o. Does 24 divide d?
True
Let z = 1315 - 786. Let h = -372 + z. Let x = h - 2. Is 31 a factor of x?
True
Suppose -1049 = -2*s - 3*n, -4*s - 4*n + 2089 = -n. Let z = s + -487. Is z a multiple of 33?
True
Let k(x) = 2*x**3 - 16*x**2 - 3*x - 14. Let j(g) = -g. Let m be j(-8). Let b be k(m). Let h = b + 92. Is 27 a factor of h?
True
Let z be (36 - -2)/(2/1). Let l = z + 64. Suppose 0 = v + 70 - l. Is 8 a factor of v?
False
Let c(u) = -186*u + 58. Let j be c(-5). Suppose j = -16*o + 19*o + 4*n, -3*o + 4*n + 1028 = 0. Is 84 a factor of o?
True
Let l = 29 + 8. Let c = l - 45. Is -6*4/(c/59) a multiple of 40?
False
Let x = 510 + -351. Suppose t - x - 90 = 0. Is t a multiple of 20?
False
Suppose 0 = -2*k - 5*h + 8285, -2*h + 1715 = 4*k - 14831. Is k a multiple of 31?
False
Let q(f) = 27*f - 122. Suppose 0 = 3*p - 5*p + 12. Is 8 a factor of q(p)?
True
Suppose 71*o - 212382 = 2*o. Is o a multiple of 90?
False
Let v be (2796/(-7))/(68/(-238)). Suppose -g = 5*r + 2*g - v, -3*r = 4*g - 841. Is r a multiple of 49?
False
Let o(l) = 2*l**2 - 12*l - 12. Let t be o(8). Is 5 a factor of 485 + 10 + t/8*-2?
True
Suppose 242*o + 169650 = 565804. Is 3 a factor of o?
False
Let m = 4590 + -3204. Is 66 a factor of m?
True
Let s(q) be the first derivative of -127*q**2/2 - 32*q + 60. Is s(-2) a multiple of 37?
True
Suppose 26*b - 3296 = -878. Suppose -3*h = -4*h + 2*g + 222, 3*g = -3*h + 684. Let q = h - b. Is 13 a factor of q?
False
Let m = 14760 + -11929. Is 90 a factor of m?
False
Suppose 127*h - 14625 = 118*h. Is 3 a factor of h?
False
Suppose 2*x + 7*t - 6 = 3*t, -x = t - 4. Let s = 380 + x. Is 35 a factor of s?
True
Suppose -r + 93 = 3*w, -r + 2*w + 88 + 20 = 0. Suppose r = 16*n - 10*n. Is n even?
False
Suppose 0*v + 3*v = 12. Suppose v*z - 5*a - 20 = 0, -a = -z - 5*a + 5. Let h(u) = u**3 - 5*u**2 + 4*u - 2. Is h(z) a multiple of 3?
True
Suppose 5*b + 746 = 4*y, -y - 111 = 3*b - 289. Is y a multiple of 8?
True
Let z be 2/10*-1 + 98/(-35). Let f(m) = -m - 7. Let q be f(z). Is (3/(-8))/(3/q)*114 a multiple of 19?
True
Let r = -68 - -69. Let n be 2 + 222/r + 1 + -1. Suppose -n = -8*m + 6*m. Does 14 divide m?
True
Is 148 a factor of (5/2)/(((-135)/(-15))/170496)?
True
Let y(c) = 73*c**2 - 28*c - 423. Does 11 divide y(-9)?
True
Suppose 2*y + 1336 = -l, -2*l + 7*l = 10. Let b = y - -2059. Is b a multiple of 22?
False
Let r(g) = -3*g - 33. Let w be r(-14). Let f = w - 30. Is 26 a factor of -1 + -1 + (-6531)/f?
False
Suppose -5*s = 7 - 2. Let p be -14 + 13 - (s + 41/1). Let g = p - -76. Is 13 a factor of g?
False
Let z(t) = 40*t**2 + 4*t - 2. Let u be (-15)/(-10) + (-127)/(-2). Let v = u + -64. Is z(v) a multiple of 7?
True
Suppose w - 3*i = -i - 69, 2*w + 5*i + 93 = 0. Let c = w + 59. Suppose 6*a - 2*a - 420 = c. Does 15 divide a?
True
Suppose -6*d + 2*d + 16 = 0. Suppose -4*t - 4*n - d = 0, t - 4*n - 17 = -3. Suppose -a = t*a - 378. Is 10 a factor of a?
False
Suppose -a + 24 = 4*i, 10 = 3*i - i. Suppose 0 = 5*b - a*n - 2780, -2*n = 4*b - 2656 + 406. Does 22 divide b?
False
Suppose 0 = -3*z - 27 + 171. Does 76 divide (z/28 - 2) + 100576/98?
False
Suppose 3*n = 4*k - 84096, 46*k - 51*k + 4*n + 105120 = 0. Does 219 divide k?
True
Let l = -33490 + 47082. Is 27 a factor of l?
False
Suppose 0 = -0*r - 3*r - 4*f + 116, -5*r + 145 = -3*f. Let p = 16 + r. Suppose 6*q - 138 = -p. Is 15 a factor of q?
True
Suppose 15*l - 539 = 4*l. Suppose l - 4 = 3*g. Let z(b) = -b**3 + 15*b**2 + 2*b + 9. Does 21 divide z(g)?
False
Let y be (0 - 1)*3 - (-7 - -5). Is y/4 + 2346/8 a multiple of 18?
False
Let a = -10249 + 13660. Is 25 a factor of a?
False
Suppose 0 = -3*x - q + 320 + 39520, 0 = x - 4*q - 13280. Is 7 a factor of x?
False
Suppose 0 = 3*y - 0*m + 4*m, -3*y + 2*m = 0. Suppose 2*o - 26 = -y*o. Let l = o + 23. Is 6 a factor of l?
True
Let m(x) = 2*x - 2. Let k be m(8). Suppose -k*s - 19*s + 5775 = 0. Is s a multiple of 4?
False
Let w(r) be the second derivative of 7*r**3/2 - 9*r**2/2 + 55*r. Is 3 a factor of w(5)?
True
Suppose 3448 = 5*z - 3*l + l, -3*z + 5*l + 2084 = 0. Does 86 divide z?
True
Suppose z - 41*d = -40*d + 2, -2*d + 16 = 2*z. Suppose 0 = -2*x + 5*k + 208, 3*k + 2*k - 485 = -z*x. Is x even?
False
Let z = 2451 + 1464. Does 45 divide z?
True
Let t = -46 - -46. Suppose 4*