= 132 - -9. Let k = 143 - r. Suppose -k*b - 5*g + 556 = 0, -1371 = -5*b - 3*g - 0*g. Is 13 a factor of b?
True
Suppose 1230203 = 119*o + 467532. Is 29 a factor of o?
True
Suppose 41 = l + l - p, -3*l + 5*p = -79. Suppose 31*k = l*k + 2912. Is k a multiple of 28?
True
Suppose -11*y + 346555 = 39721. Is 125 a factor of y?
False
Let r be ((-6)/(-2) + -1)*128. Suppose -5*z - 3*t = -r, 4*z - z - 2*t - 146 = 0. Is z a multiple of 15?
False
Suppose -47*j + 82836 = 31*j. Does 9 divide j?
True
Let u = -20 - -54. Let g(y) = y**3 - 5*y**2 - 3*y - 7. Let w be g(7). Let j = w - u. Is j a multiple of 9?
True
Suppose 0 = -16*f + 4*f + 8640. Suppose 5*m - 1200 = -5*l, -3*l + 2*m = m - f. Is l a multiple of 30?
True
Let h = 120 - 115. Suppose -7*n - h*f - 241 = -9*n, -229 = -2*n + f. Is n a multiple of 5?
False
Let w = -297 + 447. Suppose -5*s + 161 = q, -2*s + 586 = 5*q - w. Suppose -4 = 2*v, 2*l - 5*l + q = -v. Is l a multiple of 24?
True
Let p(x) = -x + 20. Suppose 5*z + 1 + 19 = 0, 4*z = 3*h - 64. Let r be p(h). Suppose -r*t - 58 = -3*o, 3*o + 2*t - 50 = -2*t. Is 6 a factor of o?
True
Let h(l) = 22*l - 26. Suppose -3*b = 4*c - 5*c + 28, 0 = -c - 3*b + 16. Let w be h(c). Let s = w - 211. Is s a multiple of 30?
False
Let m(k) = -17*k**3 - 6*k**2 + 4*k + 33. Is 11 a factor of m(-4)?
False
Let q be 1 - (8 + 1 + 1). Let k = -203 - -287. Let x = k + q. Is x a multiple of 10?
False
Suppose 14*j - 9*j - 7350 = g, -4*g = 3*j - 4410. Is 60 a factor of j?
False
Let v be (5/(-15)*-21 + 1)/2. Suppose -y - 4*y = -k + 329, k - 324 = v*y. Is k a multiple of 27?
False
Suppose -3*i + 5*m + 61 = 0, -4*i = m - 5*m - 68. Suppose 15*r - i*r - 51 = 0. Suppose 11*j + 882 = r*j. Is 30 a factor of j?
False
Let v = 96 + -65. Let l = v + 147. Is l a multiple of 48?
False
Let m = 38606 - 26688. Is 118 a factor of m?
True
Suppose -5*q - 78 = -11*q. Suppose -q*z + 20*z - 343 = 0. Is 13 a factor of z?
False
Let q be 2/(-8) + (-5 - (-145)/4). Suppose -q = -3*i - 5*k + 423, 3*k = 3*i - 462. Does 17 divide i?
True
Let s = -128 - -1433. Is s a multiple of 15?
True
Let p = -435 - -810. Let c = 580 - p. Is c a multiple of 13?
False
Let f = -267 - -65. Let h = f - -233. Does 10 divide h?
False
Suppose 3*t + 2*c = 19, -3*c = t - 8*c + 5. Suppose -t*h - 25 = 0, -3*h - 10 - 3 = i. Suppose b + 184 = 3*u, -u - i*b = -5*u + 248. Is 20 a factor of u?
True
Let s = 429 - 149. Suppose 3*j - s = -2*j. Is (-4)/(-6) + j/(-12) + 53 a multiple of 14?
False
Suppose -103*n + 340 = -98*n. Let v = -29 + n. Let j = -33 + v. Is 2 a factor of j?
True
Let x(w) = -w**3 + 13*w**2 - 30*w + 4. Let h be x(10). Suppose h*c - 405 = -153. Is c a multiple of 4?
False
Let n = 1673 + 1832. Suppose -14*k + 1269 = -n. Is k a multiple of 35?
False
Let o = -358 + 246. Let k = -103 - o. Is 6 a factor of k?
False
Let v(i) be the third derivative of i**6/40 + 2*i**3/3 + 2*i**2. Does 5 divide v(3)?
True
Is 2/(-18) - (-976535)/315 a multiple of 20?
True
Suppose -3 = -z, 9746 = 12*p - 7*p + 2*z. Suppose -u - u + 5*c = -748, -7*c = 5*u - p. Is 12 a factor of u?
True
Suppose 0 = 3*v + 6*v - 36. Suppose k - 380 = -v*x, 4*x = -k - x + 385. Is k a multiple of 26?
False
Let c(s) = 213*s + 1081. Is c(-4) a multiple of 14?
False
Let a = 212 - 200. Is 23 a factor of ((-345)/(-20))/(8/(256/a))?
True
Suppose 4*d - 4*m - 1800 = 0, -2*d + 2280 = 3*d + 5*m. Let c = -273 + d. Is 36 a factor of c?
True
Suppose 0 = 3*k - 5*u - 55, -13*k + 9*k = -2*u - 50. Suppose 2*j + 6 = -j. Is k*((-9)/j)/9 a multiple of 2?
False
Suppose -2*y - 10*y = 0. Suppose y = 7*i + 3*i - 2520. Is 18 a factor of i?
True
Let k(s) = 3*s**2 + 4*s + 31. Let m be 4/(-18) - 1422/162. Does 17 divide k(m)?
True
Suppose -5*j - 3*o = -4572 - 1521, 3*o + 6117 = 5*j. Is 3 a factor of j?
True
Let m(u) = 4*u**3 - 18*u**2 + 24*u + 101. Let t be m(13). Suppose -1839 = 24*d - t. Is d a multiple of 9?
True
Is (4 + 2)/(-17 - -14)*5054/(-1) a multiple of 87?
False
Let x = -262 - -227. Is 6 a factor of (14/x*-3)/(5/675)?
True
Let b = 52499 - 39022. Does 3 divide b?
False
Suppose -13*k + 11*k = 4*t - 2368, -3*k - t + 3562 = 0. Does 6 divide k?
True
Does 127 divide (-1)/(-13) - (5457424/52)/(-7)?
False
Suppose 56 = 3*y - v - 107, 3*v = -2*y + 105. Let o be 6/6 - (-1 - y) - -1. Suppose 4*u + o - 437 = 0. Does 19 divide u?
True
Does 26 divide (28/(-1) - -1)/(366/(-396500))?
True
Suppose -13*d + 10*d = -4*o - 58281, -2*d - 2*o + 38882 = 0. Is 169 a factor of d?
True
Let i = -2135 + 1501. Let g = -229 - i. Is 17 a factor of g?
False
Suppose -t - 4*k = -1519 - 2209, t - k - 3718 = 0. Is 112 a factor of t?
False
Let x(m) = m - 2. Let c be x(7). Suppose -30 = 2*h + 2*y, 2*y - 43 = c*h - y. Let j = h + 26. Is 5 a factor of j?
True
Let l be 1/(-5 + (-104)/(-20)). Suppose -l*z = -10*z + 15. Suppose w + w - 120 = 4*x, 174 = z*w - 3*x. Is 9 a factor of w?
False
Is 99 a factor of 87906/24 + ((-35)/20)/(-7)?
True
Suppose 3*m - 5 = -2. Let r(h) = 281*h - 11. Is 15 a factor of r(m)?
True
Let v = -25522 - -26608. Is v a multiple of 32?
False
Suppose 0*x - 11 = -2*g - x, -3*x = -4*g - 3. Suppose 0 = -6*l + g*l + 435. Let j = l + -85. Is j a multiple of 12?
True
Let t = 43286 + -25280. Is t a multiple of 18?
False
Let y(o) = 356 + 7*o - 359 - 5*o. Let h(x) = 6*x - 2. Let m be h(2). Does 8 divide y(m)?
False
Does 47 divide (41*31 + -2)/(263/1841)?
True
Let j = 14805 - -1553. Is j a multiple of 33?
False
Let k(o) = 24*o**2 + 121*o - 1969. Is 13 a factor of k(17)?
False
Let n = 910 + -524. Suppose n*k + 1476 = 392*k. Is k a multiple of 4?
False
Suppose -172*i = -171*i - 2. Suppose -v - 2*j = 3*j - 14, 5*v - i*j = 124. Does 12 divide v?
True
Does 2 divide 2/((-2)/8945)*1/(-5 + 4)?
False
Let y(t) = -t**2 - 14*t - 51. Let k be y(-5). Let m(l) = -2*l**3 - 7*l**2 - 9*l + 2. Does 4 divide m(k)?
True
Let u be 5/(2/((-60)/(-25))). Let y be 10/u*18/15. Suppose 7*z = y*z + 640. Is 13 a factor of z?
False
Let a = 341 + -256. Does 7 divide (a/30)/(3/126)?
True
Suppose -4*n - 149495 + 51039 = -4*l, -98438 = -4*l + 2*n. Is l a multiple of 21?
False
Let j(p) = 405*p + 10764. Is j(0) a multiple of 78?
True
Let f(y) = -y**2 - 50*y + 74. Let u be f(-46). Suppose -48*s + 46*s = -u. Is 12 a factor of s?
False
Let o(r) = 20*r**2 - 4*r - 84. Does 54 divide o(14)?
True
Suppose 116*m - 276181 = 167751. Is 35 a factor of m?
False
Let j = 7834 + -6099. Is j even?
False
Suppose 135 = s + l - 0*l, -5*s = 4*l - 677. Let q be (-264)/(-15)*(-7 - -2). Let i = q + s. Does 16 divide i?
False
Suppose -32*q = -3*k - 37*q + 2571, 3*k - 4*q = 2517. Does 121 divide k?
True
Let c = 11455 + -6428. Is 9 a factor of c?
False
Let n be (16/(-32))/((-1)/14). Suppose -n*u + 264 = -u. Does 7 divide u?
False
Suppose 0 = -f + 1, -143*k - 7527 = -147*k - 7*f. Does 20 divide k?
True
Suppose 0 = -78*o + 117*o - 1059357. Is o a multiple of 35?
False
Suppose -324 = -5*l - 3*v, -5*l - 6*v + 306 = -9*v. Does 11 divide (-14)/l - 1334*2/(-18)?
False
Let g be (-15 + (0 - -1))*(-5)/(-10). Is 20 a factor of 624 - ((-28)/(-49))/((-2)/g)?
False
Suppose 64*p + 624 = 68*p. Let w = p - 35. Is 11 a factor of w?
True
Is 5 a factor of ((-173594)/(-87))/1 - (-1)/(-3)?
True
Suppose 13249 = 16*f - 14143. Is 8 a factor of f?
True
Let s(b) = -249*b**2 - 2*b - 22. Suppose -8*l = 14 + 26. Let v be s(l). Is 6/(-10) - v/45 a multiple of 15?
False
Suppose -3*n - 9 = 0, 0 = 2*j - 3*n - 18 - 5. Suppose -2*r = -j*r + 1475. Does 10 divide r?
False
Let y(b) = -1514*b**2 - b - 3. Let h(g) = 1520*g**2 + 3. Let o(c) = -2*h(c) - 3*y(c). Is o(-1) a multiple of 14?
False
Suppose 141*s - 57860 = 130*s. Suppose s = 18*w - 1796. Is 69 a factor of w?
False
Suppose x = 4*w - 72, 7*x - 3*x = -2*w + 18. Does 10 divide 269 + (-3 - 0) - 0/w?
False
Is 9 a factor of 38044/20 - (-1360)/(-425)?
True
Let j(y) be the first derivative of y**4/4 + 22*y**3/3 - 7*y**2/2 - 5*y - 76. Is 19 a factor of j(-7)?
True
Let f be 4 - -10 - (-4 - -7). Suppose 5*a - f*a - 12 = 0. Is a/(-2) + -5 + -1 + 27 a multiple of 4?
False
Suppose 15*v - 3*q = 17*v - 8681, -17377 = -4*v - q. Is v a multiple of 11?
True
Let f(c) = 97*c**2 - 1571*c + 3. Is 113 a factor of f(-10)?
False
Suppose -5*y + 3*y = -26. Let m = y + -4. Is (-3)/m - (-2345)/15 a multiple of 27?
False
Suppose 0 = h - 13*b + 9*b - 7512, 0 = -3*h - 2*b + 22578. Does 57 divide h?
True