 d?
False
Let p = -29 + 25. Is (-8)/(p/((-96)/(-4))) a multiple of 12?
True
Let q(r) = 5*r**2 + 54*r - 32. Is q(-13) a multiple of 8?
False
Suppose 120 = 17*o - 15112. Is 28 a factor of o?
True
Suppose 3 = -2*u - 1, 5*b - 5*u = 3725. Does 35 divide b?
False
Suppose 5*c - 2 = 43. Suppose 2*n + c + 121 = 0. Let i = n - -117. Is i a multiple of 22?
False
Let i(x) = -9*x - 7. Suppose 5*s = -5*m - 50, -5*m + 48 = -s - s. Let f be i(s). Let k = -72 + f. Is 13 a factor of k?
False
Suppose -2*z + u + 585 = 2*u, -z - 3*u = -280. Is z a multiple of 12?
False
Let s = -126 + 129. Suppose s*b - 162 = 6. Does 7 divide b?
True
Let w(s) = -s**2 + 12*s. Let f be w(9). Let r = 0 + f. Is 8 a factor of r?
False
Suppose 4*m = -8 - 0, 50 = 4*p + 3*m. Is (-20 + p)/(6/(-20)) a multiple of 20?
True
Let d(m) = -m + 2. Let t be d(4). Let g be ((-2)/(-1))/((-1)/t). Suppose -b + 39 - 16 = -g*i, -5*i = 5*b - 65. Is b a multiple of 5?
True
Let a be 42/(-28) + 9/(-6). Is (-120)/8*14/a a multiple of 20?
False
Let u(w) = w**3 + 2*w**2 + 2*w - 82. Let k be u(0). Let m = k - -117. Is m a multiple of 3?
False
Let i be 1/2*24/1. Let f be -22*(-2)/i*6. Suppose -3*s + f = -s. Is 2 a factor of s?
False
Suppose c = 2 - 1. Is ((-15)/(-10))/(c/90) a multiple of 19?
False
Suppose 2*o - 6*o + 699 = c, o = c + 176. Does 7 divide o?
True
Let a = -54 + 9. Let h = a + 97. Is h a multiple of 13?
True
Is (-63 - 93)*((-6)/4 + 1) a multiple of 26?
True
Let h = 178 + 172. Is 15 a factor of h?
False
Let l be (-1)/(-3) - 104/(-39). Suppose -6*b + 5*k = -5*b - 66, -2*k + 113 = l*b. Is b a multiple of 7?
False
Let i = -19 - -29. Suppose -6*d - 356 = -i*d. Does 10 divide d?
False
Suppose -212 = 3*k - 902. Is k a multiple of 11?
False
Let g = 1345 - 949. Suppose 32*l - 28*l = g. Is 33 a factor of l?
True
Let d = -96 + 54. Let j = -38 - d. Does 2 divide j?
True
Suppose i - 14 = -10. Suppose 4*u = -4*r + 48, -2*u + 5*r + i + 34 = 0. Is 14 a factor of u?
True
Let s = 97 + -55. Let q = s + 8. Does 11 divide q?
False
Is (2 - 13 - -5 - -7) + 80 a multiple of 26?
False
Suppose -4*j - 3*n = -2*n - 1432, 0 = -n - 4. Does 47 divide j?
False
Suppose 19*u = 719 - 92. Does 5 divide u?
False
Let k(a) = 3*a**2 - 28*a - 25. Is k(-4) a multiple of 27?
True
Let c = 4258 + -2777. Is c a multiple of 46?
False
Suppose -5*z = -20, -5*v - 5*z + 301 = 46. Does 2 divide v?
False
Let o be ((0/3)/(-5))/(-2). Suppose -4*w - 27 = -g, 3*w + 29 = g - o*w. Does 5 divide g?
True
Let r(c) = 3*c**2 + c. Suppose 0 = -t - 4*t + z + 18, 0 = t + z - 6. Suppose 5*h + t = 3*h. Does 10 divide r(h)?
True
Suppose -5*k + t = -281, -62 + 11 = -k - 5*t. Suppose 7 + 1 = 4*j, n - j = -k. Is 5 a factor of n/4*4/(-6)?
False
Suppose -2*r + 6 = -2. Suppose 2*l - r*t = 68, -t + 64 - 234 = -5*l. Is 17 a factor of l?
True
Is 13 a factor of (8 + -4)*-3*12246/(-72)?
True
Suppose -22 + 0 = -2*q. Let m = 49 + -93. Let b = q - m. Is 11 a factor of b?
True
Let s(i) = -i**2 + 1. Let h(f) = 5*f**2 - 16*f + 2. Let n(q) = -h(q) - 6*s(q). Is n(-18) a multiple of 14?
True
Let n(m) = m - 6. Let j be n(12). Suppose -o - j = -23. Suppose 4 + 18 = 2*f + 4*i, -f + o = 4*i. Is 2 a factor of f?
False
Let i(f) = -3*f**3 + 7*f**2 + 9*f - 12. Is i(-3) a multiple of 7?
True
Let u(w) = -44*w - 5*w**3 + 6*w**3 + 0*w**3 - w**2 + 42*w. Let k = 8 - 5. Is 7 a factor of u(k)?
False
Suppose 9783 = 3588*n - 3579*n. Is 21 a factor of n?
False
Suppose -2*z + 2*o = -o - 268, -2*z + 5*o + 260 = 0. Suppose -z = -2*m - 38. Is 11 a factor of m?
False
Let b = -285 + 438. Does 17 divide b?
True
Suppose -14*a = -49*a + 11900. Is a a multiple of 34?
True
Suppose 0 = -4*r + 4 + 4. Let p = -3 - -5. Suppose -3*u = r*g - 111, g - 209 = -p*g + 4*u. Does 21 divide g?
True
Let y(n) = -14*n**3 - 7*n**2 - 7*n - 32. Is 39 a factor of y(-4)?
True
Let x be (-1)/(4 - 3) - -1. Let v(a) = -a**3 - a + 5. Let y be v(x). Suppose -q - 13 = -0*q + 4*l, l - y = -3*q. Is q a multiple of 3?
True
Let a = 2 - 2. Let s = 4 + a. Suppose s*y - 36 = 44. Is y a multiple of 5?
True
Let s = -98 - -98. Suppose s = 18*q - 2145 - 1149. Is 16 a factor of q?
False
Let q(r) = 51*r**2 - 3*r**2 + 0*r - 1 + r. Let z = 507 + -506. Does 10 divide q(z)?
False
Let z(d) = 36*d**3 + 2*d**2 + 6*d - 12. Is z(2) a multiple of 8?
True
Let r(c) = -c**3 - 14*c**2 - 6*c - 9. Let k be r(-13). Let l = 45 + k. Is 9 a factor of 2/(-6)*(l - -1)?
True
Suppose -4*y + 163 = 3*u, -u - 20 + 57 = -3*y. Is u a multiple of 10?
False
Suppose g - 8*g = 469. Let w = 141 + g. Is w a multiple of 11?
False
Let u be ((-2)/(-6))/(13/117). Suppose 81 + 168 = u*r - 3*k, 0 = -r + 2*k + 86. Is 20 a factor of r?
True
Let k(d) = 3*d + 27. Let y be (1 - 3) + 4 + 16. Is 13 a factor of k(y)?
False
Let o(t) = -t**3 - 5*t**2 + 5. Suppose 23 = -3*i + 8. Let d be o(i). Suppose 2*a - 48 = -0*a + d*j, 12 = 3*j. Is a a multiple of 9?
False
Is 37 a factor of (190/57)/(5/666)?
True
Let h = 10 - 4. Suppose -6*f - h + 30 = 0. Suppose -47 = -3*d + 5*v, f*d - v - 78 = -2*v. Is d a multiple of 19?
True
Let k = 5 - 33. Let w be 20*(k/8 - -2). Is 12 a factor of (-2)/4 + (-1845)/w?
False
Suppose -4*h = -2*p + 717 + 203, -3*p = 4*h - 1420. Is p a multiple of 70?
False
Let a(b) = b**2 - 9*b + 10. Suppose 5*j = 3*j - 12. Is 25 a factor of a(j)?
True
Let i be 3*(-11)/(-3) + -2. Suppose i*s = 3*s. Suppose s = 3*c - 5*c + 44. Is 12 a factor of c?
False
Let w be (-1 + 2/4)*-4. Suppose 0 = -62*t + 58*t + 828. Suppose t = w*s + 39. Is 21 a factor of s?
True
Suppose 373 = 2*j - b, 3*j - 2*b - 621 = -64. Suppose 4*h - x - 49 - j = 0, -2*h - 2*x + 124 = 0. Is h a multiple of 15?
True
Is (3/3)/((-2)/(-960)) a multiple of 15?
True
Let c = -10 + 13. Suppose 0 = -c*j - 12, 0 = -2*n - 2*j + 2 + 12. Is n a multiple of 11?
True
Suppose 0 = 2*k - 4*u - 4524, 4*u = 4*k + 6*u - 9018. Is 5 a factor of (2/(-12))/((-8)/k)?
False
Let l be (2 + -569)*-3*4/18. Let v = 539 - l. Is 39 a factor of v?
False
Is (-4)/(-8 + (-113696)/(-14216)) a multiple of 13?
False
Suppose 67 = -3*l - 0*b + b, -12 = -3*b. Is (0 - (-10)/(-15))/(2/l) a multiple of 2?
False
Let z(f) = -f**3 + 7*f**2 + 13*f - 19. Is 12 a factor of z(7)?
True
Suppose 28*m = 27*m - 4*h + 796, -5*h + 10 = 0. Does 15 divide m?
False
Let k be 70/6 + (-12)/18. Suppose 10*d = k*d - 3. Is (1/2)/(d/432) a multiple of 36?
True
Is 6 a factor of 96/(1 + 4/(-6))?
True
Let z = -10 + 10. Suppose -2*o + z = -10. Suppose o*i - 57 = 23. Is 8 a factor of i?
True
Suppose -4*f - 4*p = -184, -83 = -2*f - 0*p + p. Is f a multiple of 4?
False
Let t be 1*3*20/(-3). Let i = t + 76. Does 14 divide i?
True
Let h = 95 - 88. Suppose u - 140 = h. Does 21 divide u?
True
Let s = -1006 + 2074. Is 122 a factor of s?
False
Suppose -k + 13 = 4. Suppose -3 - k = -4*j. Suppose -c = -5*w + 20, -j*w = -2*c - 0*c - 19. Is 3 a factor of w?
True
Let c be (-2)/6 - (-60)/18. Suppose -c*u + 2 + 16 = 0. Suppose -y + u = y. Is 3 a factor of y?
True
Does 15 divide ((-10)/((-200)/(-45)))/(6/(-2864))?
False
Suppose -2*s + 4916 = 548. Does 38 divide s?
False
Suppose 4*x + 2824 = 45*d - 41*d, -3*x - 1410 = -2*d. Is d a multiple of 3?
True
Let l(t) = -5*t + 2 - 6 + 4*t. Let j be l(3). Let x = 4 - j. Is 11 a factor of x?
True
Let w be (-1)/2 + 30/4. Suppose 62 = k + 4*a, 3*k + 2*a = w*k - 320. Suppose -k = -3*r + 75. Is 26 a factor of r?
False
Suppose 2*a = -10 - 14. Let q = a + 17. Suppose 0 = -x - x - j + 71, q*x = -3*j + 178. Does 10 divide x?
False
Suppose 0 = -3*z - 2*i + 371, z - 4*i - 127 = -3*i. Let d = z + 26. Is d a multiple of 42?
False
Let n = -128 + 197. Let t be 4 + (-2 - 2/(-1)). Suppose t*u - 2*x = 178, u - 5*x - n = -u. Does 13 divide u?
False
Let u(s) = 2 - 10*s - s + 11. Does 9 divide u(-4)?
False
Is 13 a factor of ((-25)/(-5) - (-3 - -21))*-7?
True
Suppose -461 = -o - 215. Is 6 a factor of o?
True
Suppose 0 = -4*v - v - 40. Let c(j) = j**2 + 4*j + 12. Is 31 a factor of c(v)?
False
Is (291/3)/((-13)/(-2) - 6) a multiple of 4?
False
Let q(u) = -u + 8. Suppose 16 = 3*v + 4*c, -v - 5*c = -2*c + 3. Let w be q(v). Is 14 a factor of (8/6)/(w/(-42))?
True
Suppose -5*s = 5*l - 30, -s = 3*s - 2*l - 18. Let p(y) = y**3 - 6*y**2 + 8*y - 11. Let g be p(s). Suppose -g*d + 42 = -234. Does 23 divide d?
True
Suppose -b - 3*j + 596 = b, 2*b - 3*j = 584. Let w = b + -208. Is w a multiple of 20?
False
Let z(h) = -35*h 