(-7)/14)/(2/(-8)). Let d be -22*(1 - 3) - y. Suppose -2*i = i - d. Does 6 divide i?
False
Suppose -6 = 2*g + 4*w, -3*g + w + 4 = -8. Suppose -v - g*j + 75 = 0, -v + 393 = 4*v - 3*j. Is v a multiple of 13?
True
Is 9/24 - (-47580)/96 a multiple of 62?
True
Let t(x) = -75*x - 12. Let z be t(-8). Suppose 0 = -4*q + 5*b - z, -2*q - 2*b + 0*b = 312. Is 9 a factor of q/(-6) + (-2)/(-3)?
False
Let g = 246 - 71. Does 25 divide g?
True
Let b(m) = 67*m**2 + 3*m + 2. Is 7 a factor of b(-1)?
False
Suppose -3*r - 8 = -4*z + 7, -20 = -5*z + 5*r. Suppose 4*p - z = 25. Does 7 divide p?
True
Let h = -15 - -95. Let b(n) = n**3 + 1. Let z be b(1). Suppose 80 = z*y - h. Is 27 a factor of y?
False
Let h = 3063 + -2468. Does 5 divide h?
True
Suppose 17*a - 5762 - 8110 = 0. Does 12 divide a?
True
Let h(y) = 29*y + 3. Let d be h(-2). Is 4/(-5) - 2409/d a multiple of 8?
False
Let w(t) be the third derivative of t**5/15 - t**4/12 - t**2. Is 12 a factor of w(5)?
False
Let g be -13 - -16 - (-79 + 1). Suppose m = -3*y + 419, -2*m - 2*m = -5*y + 670. Let d = y - g. Is d a multiple of 10?
False
Suppose 2*t - 543 = -2*r + 797, -t + 5*r + 682 = 0. Does 56 divide t?
True
Let r(l) = l**2 - 3*l - 8. Let t be r(-5). Suppose -147 = -5*q + q - d, q + 5*d - t = 0. Does 6 divide q?
False
Let u(t) = -4*t**3 - 7*t**2 + 12*t - 2. Let s(p) = p**3 + 2*p**2 - 4*p + 1. Let q(a) = -7*s(a) - 2*u(a). Is 20 a factor of q(3)?
False
Let h(r) = 17*r**2 + 9*r + 50. Is h(-10) a multiple of 20?
True
Let o be (-20)/(1/2 + 0). Let a = 12 - o. Is 26 a factor of a?
True
Suppose w - 28 = 4*i, 3*w = 5*i + 3 + 60. Let x = -1 + w. Is 5 a factor of 48/10 + 3/x?
True
Let z = 1607 + -1207. Is z a multiple of 20?
True
Suppose -b + 112 - 43 = 0. Suppose -2*t + b = 4*m - 3, 2*t = -8. Is m a multiple of 4?
True
Let p(q) = -q**3 - 5*q**2 + 12*q + 3. Let b be p(-8). Suppose -b = -3*i + 3*g, -29 = -i - 5*g + 2*g. Is 16 a factor of i?
True
Suppose -5*d = 6*d - 17897. Is d a multiple of 76?
False
Let v(j) = -7*j**2 - j - 14. Let u be v(-12). Is u/(-14) - (-4)/(-28) a multiple of 24?
True
Suppose -3 = 5*z - 0*t + t, -3*z + 3*t = -9. Let a be z*(3 - 28/8). Suppose y - 55 + 13 = a. Does 11 divide y?
False
Let g = -14 + 17. Suppose 0 = 5*x + g*f - 232, -3*x + 92 = -x + f. Is 11 a factor of x?
True
Let u = -29 - -31. Suppose -113 = -u*t - 1. Suppose 2*j + 2*j = t. Is j a multiple of 4?
False
Let c(a) = 32*a - 44. Let z be c(7). Suppose -z = 3*x - 6*x. Is 4 a factor of x?
True
Suppose 6*g - 7*g = -3. Suppose 2*l = -5*n + 271, -4*n + g*n - 4*l + 65 = 0. Does 17 divide n?
False
Let b be (-9)/2*18/27. Let w be 1*(-2 - b)*-12. Is 29 a factor of (-322)/(-4) - w/24?
False
Suppose 3*h + 226 = 2*q, -q + 6*q + 2*h = 546. Is q a multiple of 42?
False
Let l(h) = 15*h**2 - 2*h + 3. Let m be l(1). Suppose -m = -6*s + 2. Suppose s*o + 17 = w + 113, o = 3*w + 24. Is 11 a factor of o?
True
Let j = -3 + 3. Suppose 5*f - 27 - 103 = j. Suppose 0 = -2*h + 4*k + f, -h - k = h - 16. Does 4 divide h?
False
Let n(a) = -35*a**3 - a + 3. Let l be n(-2). Suppose 0*i - 89 = -i + 3*v, l = 3*i - 3*v. Is i a multiple of 14?
True
Is 9*210*(-24)/(-14) a multiple of 15?
True
Let o = -1376 + 2172. Does 12 divide o?
False
Let d(p) = p**3 - 40*p**2 - 24*p - 2. Is d(41) a multiple of 8?
False
Let d(f) = 4*f + 42. Is d(27) a multiple of 25?
True
Let k = -591 + 700. Is 7 a factor of k?
False
Let n = 154 + -103. Is 4 a factor of n?
False
Let v = 371 + -19. Is v a multiple of 11?
True
Let w(q) = 161*q - 21. Is 22 a factor of w(3)?
True
Suppose -649 = -23*g + 12*g. Is g a multiple of 11?
False
Suppose -4*t - 572 = -4*h, -h + 39 + 98 = -4*t. Suppose -l = -3*a + a - h, 5*a = -3*l + 380. Is 15 a factor of l?
True
Let i(k) = -139*k**3 + 2*k**2 + 2*k + 1. Suppose -2*m - 172 = -170. Is 28 a factor of i(m)?
True
Let a be 2/8 + (-2)/8. Suppose a - 4 = 4*f. Is 4 a factor of (-3)/f*20/15?
True
Let y(q) = -q**3 - 8*q**2 - q - 8. Let s be y(-8). Suppose 3*z - m = 384, z - 2*m - 128 = -s*m. Does 32 divide z?
True
Let b(d) = d**3 + 6*d**2 - 22*d - 23. Does 67 divide b(9)?
False
Suppose -y + 14*y - 1170 = 0. Is 18 a factor of y?
True
Suppose -40*b + 38*b + 2546 = -4*i, 3*i = 2*b - 2542. Is 73 a factor of b?
False
Let m(f) = -f**2 + 3*f + 7. Let c be m(4). Suppose 3*s - 6 = c. Suppose -a = q - 20, 5*q - 4*a = s*q + 28. Is 18 a factor of q?
True
Let m(o) be the third derivative of 11*o**4/24 - o**3/6 - 2*o**2. Let b be m(-1). Is 5 a factor of (-16)/b + (-52)/(-6)?
True
Let z be (-2)/7 + (-149)/(-7). Suppose z = 2*m + 5. Suppose -m = 2*y - 106. Does 14 divide y?
False
Let y = 17 - 0. Suppose 2*h - 35 = y. Does 7 divide h?
False
Let m = 128 - 60. Suppose b + p = -2*p + 82, 4*p + m = b. Does 19 divide b?
True
Let z(c) = 16*c + 134. Does 10 divide z(6)?
True
Suppose 0 = -3*d - 99 - 267. Let q = -67 - d. Is q a multiple of 7?
False
Suppose 3*y - y - 4*r + 122 = 0, -3*y = -4*r + 185. Is y/(-3) - 4 - -2 a multiple of 11?
False
Suppose -24361 = 2*i - 19*i. Is 39 a factor of i?
False
Let j be (-6)/36*(2 - 8). Suppose -12 = -h + j. Is 2 a factor of h?
False
Suppose -2*r + 1028 = 4*a, -a - 9*r + 260 = -10*r. Is 23 a factor of a?
False
Let l = 12 + -9. Suppose 2*c - q = -8, 14 = -l*c - c + 3*q. Let f(t) = 2*t**2 + 8*t + 5. Is 6 a factor of f(c)?
False
Let b(u) = -u**3 + 5*u**2 - 2*u - 5. Let j be b(4). Suppose i - j*v + 18 = 88, 0 = -4*i - 4*v + 280. Is i a multiple of 10?
True
Suppose 5*q - 7 = 3*q + c, -5*q = -2*c - 18. Let s(h) = 6*h**3 - 3*h**2 - 4*h + 6. Let y be s(4). Does 13 divide y/q + 12/24?
False
Let h = -427 - -832. Let q = h + -276. Does 43 divide q?
True
Let x be (-2)/((-2)/1) - -3. Suppose 2*j + 0*j - 5*y = 175, 4*y - 220 = -2*j. Suppose -x*c - j = -9*c. Does 10 divide c?
True
Let y = 1885 - 1399. Does 3 divide y?
True
Let r = 15 + -11. Suppose -2*k - 2*c - r = 0, -3*c - 1 = -2*k - 0. Let j(o) = 53*o**2 - 3*o - 2. Is 24 a factor of j(k)?
False
Suppose 24 + 112 = 4*c. Suppose 5*s - 40 = -5*l, -4*s - 5*l - 5 = -c. Is 3 a factor of s?
False
Suppose -4*c + 46 + 22 = 0. Let s = c + 16. Does 22 divide s?
False
Let k = -3067 + 4816. Does 16 divide k?
False
Let y(g) = 336*g**3 - g**2 - g. Is y(1) a multiple of 14?
False
Suppose 21*y - 22*y + p + 1699 = 0, 3*y - 4*p = 5096. Is y a multiple of 34?
True
Suppose 672 = 29*b - 21*b. Is b a multiple of 7?
True
Let u be (2 - 3)/(2/(-452)). Suppose -3*d + 426 = -6*d. Let w = u + d. Is 14 a factor of w?
True
Let s = -19 - -21. Suppose 0 = 2*c + 3*f - 104, 0*f + 2*f - 102 = -s*c. Is c a multiple of 9?
False
Suppose -16 = -4*z + 24. Let a(y) = 10*y - 4. Is 16 a factor of a(z)?
True
Does 12 divide 40/30 + (-3 - 1032/(-9))?
False
Let w(g) = -340*g + 78. Is w(-3) a multiple of 18?
True
Suppose 5*v + 1 = 16. Is v - (-27 - (-1 + (-3 - -4))) a multiple of 6?
True
Let d be 1 + (-25)/(-5) + 1. Let x be (-9)/(((-12)/16)/1). Suppose -x*i = -d*i - 275. Is i a multiple of 11?
True
Let t(h) = -2*h**2 - 6*h - 6. Let j be t(-7). Let d = 95 + j. Let b = d + 49. Is b a multiple of 25?
False
Suppose -210*h + 219*h = 2565. Is h a multiple of 10?
False
Let i(n) = -n**2 + 4*n - 4. Let y be i(3). Let l be 8 + -5 + 15/y. Let t = l + 24. Is 9 a factor of t?
False
Let c(h) = 25*h**2 + h + 26. Does 40 divide c(9)?
False
Let b be ((-21)/(-7) - 7)*(-167)/4. Let d = b + -53. Is d a multiple of 16?
False
Let r(k) be the third derivative of -k**5/60 - 7*k**4/8 - 5*k**3/2 - 9*k**2. Is r(-17) a multiple of 10?
False
Let k = 223 + -329. Let j = k - -161. Let z = j - 15. Is z a multiple of 20?
True
Suppose n + 8 = -2. Let g = n + 13. Suppose -t - 52 = -2*t - 2*f, 148 = g*t - 2*f. Is t a multiple of 15?
False
Let y = -170 + 689. Is y a multiple of 8?
False
Let u = 42 + -29. Let o(m) = -7 - 12 + 10*m - 5*m. Does 10 divide o(u)?
False
Let w(k) = 4*k - 49. Let b be w(6). Does 9 divide (-366)/(-8) - (b/20 + 2)?
True
Suppose 283 - 44 = t. Let q = -164 + t. Suppose -q = -4*n + n. Is n a multiple of 5?
True
Let y(s) = -s**3 - 7*s**2 + 20*s + 53. Is 6 a factor of y(-12)?
False
Let o(a) = -5*a + 78. Is o(-10) a multiple of 32?
True
Suppose 2*j = -5*n - j + 7, -5*n + 8 = 2*j. Suppose 0*i = -n*i + 60. Does 15 divide i?
True
Suppose 0 = 5*q + 3 - 243. Suppose -a + 5*a - q = 0. Suppose -n = -a - 7. Is n a multiple of 19?
True
Suppose -5*i + 1680 = 10*q - 11*q, -5*i - 2*q = -1695. Is 26 a factor 