 Suppose -5*i - 3*t + 1204 = 0, 190 = -2*i - r*t + 664. Suppose 4*f - i = 34. Is 21 a factor of f?
False
Let p be 2 - (-188)/6 - 6/(-9). Suppose -3*c - y = -41, -c - c + y + p = 0. Is 3 a factor of c?
True
Let d = 3 + -3. Suppose 5 + d = g. Suppose -2*w = 2*t - 3*w - 21, 15 = g*w. Does 6 divide t?
True
Let l(r) = r**3 + 27*r**2 - 84*r - 8. Is 59 a factor of l(4)?
False
Is 22 a factor of 7 - (4 + 1) - -306?
True
Suppose 2*p + 2575 = 5*y - 2*p, 3*y - 1553 = 4*p. Is 10 a factor of (2*-1)/((-14)/y)?
False
Let o be (-110)/(-14) - 12/(-84). Let s = 12 - o. Suppose 30 = -3*x + s*x. Does 15 divide x?
True
Suppose 2556 = -20*q + 29*q. Does 5 divide q?
False
Let s = -140 - -149. Suppose -4*h = -s*h + 70. Is 2 a factor of h?
True
Suppose -7*k = -8*k - 3. Let s = 18 + k. Does 4 divide -3 + (s - (-2 - -5))?
False
Let j(c) = -c**3 + 8*c**2 + c. Let y be (3 + -15)*5/(-15). Let d be j(y). Let f = d + -45. Does 15 divide f?
False
Let i be 27/3*(-74)/(-6). Let y be 9/(-12) - (-2)/(-8). Does 13 divide y/((-336)/i + 3)?
False
Does 9 divide (-9)/(-6) + 56105/70?
False
Let v(m) = 2*m + 7*m - 5*m - 31 + 10. Let s = -8 - -17. Is v(s) a multiple of 3?
True
Let g(y) = y**3 + 3*y**2 - 2*y - 1. Suppose 2*a = 5*a + 6. Let f be g(a). Does 3 divide 1*8 + (f - 6)?
True
Suppose -5*l - 117 + 62 = 0. Let s(h) = 2*h**2 - 3*h + 10. Does 58 divide s(l)?
False
Does 4 divide (-46)/(-3) - 78/234?
False
Let a(k) = 2*k**2 + 23*k + 73. Is a(-37) a multiple of 28?
True
Suppose -4*n - 5*f + 16 = 0, -n + 0*f - 5*f = -4. Suppose -28 + 236 = n*x. Is 20 a factor of x?
False
Let w = 64 + -138. Let a = -3 - w. Is a a multiple of 16?
False
Suppose 0 = 3*l, -g - 3*l - 2*l + 160 = 0. Is g a multiple of 20?
True
Let h be (0 - 1)/((-2)/(-58)). Suppose -3*z - 56 = -2*c, 4*z - 2*c + 0*c = -78. Let p = z - h. Is p a multiple of 7?
True
Suppose 2*l + l + 108 = 0. Let w(y) = -y**2 - 18*y - 65. Let m be w(-10). Let i = m - l. Is i a multiple of 17?
True
Let r = 793 + 305. Is 11 a factor of r?
False
Suppose 3*w = -4*i - 480, 5*i + 392 = -2*w + 65. Let j = -88 - w. Is 34 a factor of j?
True
Suppose 3*y = -4*y + 665. Let v = y + 229. Does 12 divide v?
True
Suppose -l - 139 + 896 = q, 4*q = -12. Is 38 a factor of l?
True
Suppose -4*t + 2*j = -8500, -3*t = 4*j - 2627 - 3770. Is 47 a factor of t?
False
Is 51 a factor of (-8 - 117/(-9)) + 347?
False
Let p = 6 - 4. Suppose 2*o = -p*x + 52, 3*x + 0*o = o + 58. Does 3 divide x?
True
Let n be (4/(-3) + 2)/((-4)/(-150)). Let x = n - 12. Does 5 divide x?
False
Let w(f) = f**2 + 11*f. Let m be w(-9). Let z(g) = -4*g - 52. Is 4 a factor of z(m)?
True
Suppose -4*k - j + 209 = 0, -j = 6 - 3. Let z = 3 - 26. Let p = k + z. Does 15 divide p?
True
Is (2 - 2 - 1416)*(-9)/18 a multiple of 59?
True
Let n be (-2)/(-4)*(-2 + 0). Let l = 1 - n. Suppose -5*v + 293 = l*b, 208 = v + 3*v - 5*b. Is 19 a factor of v?
True
Let n(v) = 5*v**2 + v. Suppose 4*r + 3*f = -4, 2*r + 4 = -2*r - 2*f. Let x be n(r). Suppose -x*g + g - 5*i + 37 = 0, 9 = g + 5*i. Does 7 divide g?
True
Let l(r) = r + 608. Does 9 divide l(-28)?
False
Is (21/(-4))/((-129)/1376) a multiple of 23?
False
Suppose -6*z + 77 - 485 = 0. Let n = -49 - z. Is n a multiple of 19?
True
Let n be 32/6*(-9)/(-6). Let q = 49 - 25. Is 6 a factor of (n/(-12))/((-1)/q)?
False
Let h = 6 - 6. Suppose -4*k = 8 - h, -14 = -2*d + k. Is d a multiple of 5?
False
Let p(b) = -b**3 - 2*b**2 + 4*b + 4. Let f be p(-3). Let y be (-1)/2*f*-8. Suppose -y*m + g = 38 - 143, -69 = -3*m + 4*g. Is m a multiple of 27?
True
Let m be 5/(-2) + 1/(-2). Let o = 8 + m. Does 2 divide o?
False
Suppose -j + 208 = 5*o, -o + 2*j + 35 = -0*j. Suppose 5*d + o = 4*d. Let x = 81 + d. Is 14 a factor of x?
False
Let t = 5 + -2. Suppose 576 - 2526 = -t*q - 4*s, 5*q = 2*s + 3276. Suppose -y = 5*y - q. Is 30 a factor of y?
False
Let j = 5 - 13. Let n = j - -12. Suppose 2*o + n = 2, -4*o - 44 = -5*s. Is 2 a factor of s?
True
Suppose w - 4 - 3 = 0. Suppose -w*s + 6*s + 15 = 0. Suppose 0 = -3*u + s, 4*u - 3*u = 3*o - 19. Is o a multiple of 4?
True
Let c be (-66)/(-14) + 18/63. Suppose 58 = c*n - 47. Is n a multiple of 19?
False
Let b(p) = -8*p - 4. Let g be b(-5). Suppose 0*a - g = -4*a. Does 5 divide a?
False
Let m(a) = 4*a**3 + 2*a**2 + 5*a - 6. Let k be m(3). Suppose -10*b = -5*b - k. Is 27 a factor of b?
True
Let n be 4*3*8/16. Let f be 6/9*n - 0. Is 4 a factor of ((-2)/f)/(4/(-72))?
False
Let c(m) = -m**2 - 3*m + 4. Let z be c(-3). Let l be 11/(55/140)*2. Suppose -z*f + l = -2*f. Is 7 a factor of f?
True
Let c = 463 + -61. Suppose 9*o - c = 984. Is o a multiple of 13?
False
Let k = 185 + -177. Does 4 divide k?
True
Let b = -12 + 15. Suppose z = -3*l + 14, -b*z - 10 = -8*z + 5*l. Let j(a) = -a**3 + 6*a**2 + 2*a - 5. Does 16 divide j(z)?
False
Let c = -126 - -177. Suppose -3*j - 3*k - c = -516, -4*k = 2*j - 314. Does 17 divide j?
True
Let n = 298 - 278. Let x = 6 - 4. Suppose 110 = x*c + 4*d, 5*c + d - 264 = n. Is 18 a factor of c?
False
Let m = -379 - -815. Suppose -8*w = m - 1300. Does 28 divide w?
False
Let t(r) = -r**2 - 3*r + 10. Let c be t(-5). Does 7 divide (6*-1 - c)*14/(-4)?
True
Let y = -220 + 434. Suppose -2*d + d + 58 = 3*r, -3*d + y = -r. Does 7 divide d?
True
Does 13 divide (-2 - (2/6)/(-1))*-78?
True
Suppose 21*o - 26*o = 1660. Is 14 a factor of (-19 - 1)/(-5) - o?
True
Suppose 0*q = -5*q - 4*b + 893, 0 = 5*q - 5*b - 875. Let k = q + -119. Is k a multiple of 23?
False
Suppose -3*i - 4*z = -7*i + 4, -4*i + 5 = -5*z. Let y be (3/(-2))/((-3)/4). Suppose -y*a - a + 30 = i. Is 2 a factor of a?
True
Let o(g) = 74*g**2 - g + 1. Let m be o(1). Let s = -37 + m. Is s a multiple of 13?
False
Let z = -1416 + 1528. Does 16 divide z?
True
Let w(i) = -i**2 + i. Let f be w(0). Let k = f - -5. Suppose -g = -q + 29, -k*q - 37 = -2*g - 179. Is q a multiple of 11?
False
Let f(v) = -v**2 - 10*v + 86. Does 3 divide f(-14)?
True
Let x be 35 + -1 + (-3 - 0). Let w = -16 + x. Let z = w - 7. Is z a multiple of 4?
True
Suppose 125*x - 113*x = 13920. Is x a multiple of 15?
False
Suppose 0 = 2*o + s - 66, -2*s - 1 = 7. Suppose -11 = -2*x + o. Is 12 a factor of x?
False
Let f = 412 + 40. Does 8 divide f?
False
Let f = -17 - -22. Suppose -2*y - 4 = f*m, -y - 5*m - 13 = -2*y. Suppose c - 9 = -y. Is 3 a factor of c?
True
Suppose -11*i + 8072 = 460. Is 17 a factor of i?
False
Suppose -5*i - 49 = 86. Is 29 a factor of (-3921)/i + 4/(-18)?
True
Suppose -b - 113 = -4*d + 59, -3*d - 3*b + 144 = 0. Suppose -4*l + 156 + d = 0. Is 8 a factor of l?
False
Suppose 52 = p + 3*f, 0 = 2*p + 4*f - 0*f - 108. Suppose 0 = 2*k - q - 110, 2*q + p = k - 0*k. Is 18 a factor of k?
True
Suppose -j + 3*c + 11 = 0, -7 = -j - j + 3*c. Is 17 a factor of (-3 - -1943)/j*6/(-15)?
False
Let o = 3276 - 1917. Is o a multiple of 6?
False
Let y(x) = 2*x + 18. Let w be y(-6). Is w*3/9 - -49 a multiple of 39?
False
Suppose p - 5*f - 439 = -2*f, p = 4*f + 443. Is 10 a factor of p?
False
Let k = 2148 - 142. Does 29 divide k?
False
Let v(q) = 2*q**3 - 3*q**2 + 19*q + 21. Is v(12) a multiple of 34?
False
Suppose -5*q - 3551 = -4*w + 2629, -w + 2*q + 1548 = 0. Does 35 divide w?
True
Let l(f) = -f**3 + 6 - 62*f**2 + 35*f**2 + 6 + 36*f**2 - 2*f. Let o = -13 - -21. Is 12 a factor of l(o)?
True
Suppose -7*c = -c - 3528. Does 6 divide c?
True
Suppose 5*d + 5 = 0, 0 = -27*t + 31*t + 2*d - 926. Is 13 a factor of t?
False
Let b(o) = o**3 - 25*o**2 + o + 25. Let k be b(25). Suppose 0 = c - 0*t + 3*t, t - 14 = -5*c. Suppose 5*q - x - 120 = 0, c*x + 22 + k = 3*q. Does 12 divide q?
True
Suppose 8*s = 5*s. Let o = 4 + s. Suppose 0 = 2*r + 3*c - 15, 5*c = -o*r + 24 + 9. Is r a multiple of 8?
False
Suppose -p = -3*p - 4*q + 244, 0 = 3*p + 4*q - 356. Does 28 divide (21*1)/(7/p)?
True
Suppose -m + 442 - 95 = 0. Does 11 divide m?
False
Let a be ((-1)/2)/((-7)/112). Suppose -a*i = -308 - 340. Does 4 divide i?
False
Let v = 872 - -91. Does 9 divide v?
True
Suppose 0*c + 15 = 3*c. Suppose 0*x = 3*w - 4*x - 4, -5 = c*x. Suppose -t - 4*t + 270 = w. Does 18 divide t?
True
Suppose -5*b + 1272 = -2*a, 6*b - 3*b + 4*a = 784. Is 8 a factor of b?
True
Is 25 a factor of (-4)/6 + 1 - (-7840)/105?
True
Suppose -5*p + 643*r + 32899 = 647*r, 0 = p - 2*r - 6591. Is p a multiple of 29?
True
Let y = -37 - -37. Let r = y - -65. Let t = r + -37. Is t a multiple of 7?
Tru