ple of 12?
True
Let q(c) = -c**3 - 14*c**2 + c + 25. Let a be q(-14). Suppose -1316 = -a*z + 4*z. Does 47 divide z?
True
Suppose -5*b + 484 = 4*s - 1333, 0 = 3*s - 4*b - 1324. Is s even?
True
Let n = 15 - -9. Does 12 divide n?
True
Suppose -3*s + d + 76 = 461, 649 = -5*s - 2*d. Let l = 234 + s. Does 21 divide l?
True
Suppose q - 5 = -7. Does 9 divide (6 - (q + 5))*10?
False
Let k(l) = l**3 + 12*l**2 + 3*l - 16. Let d be k(-12). Let t = d - -88. Is 6 a factor of t?
True
Suppose -9 = 3*j - 18. Suppose -5*y = j*u - 312, 5*u + 9 = y - 31. Does 30 divide y?
True
Let d = -176 - -347. Does 9 divide d?
True
Suppose 0 = 2*n - n + 5*v - 57, 2*n = v + 70. Suppose 109 = 2*b + 5*z, 3*z + 106 - n = 2*b. Is 6 a factor of b?
True
Suppose 1433 + 2102 = 7*r. Does 6 divide r?
False
Let p(q) be the first derivative of -5/3*q**3 - 1/2*q**4 - q - q**2 - 4. Does 7 divide p(-3)?
True
Suppose -t + 71 = -5*t + 5*w, 2*t = -w - 25. Let a = 28 + t. Let c = 43 - a. Does 8 divide c?
False
Suppose -3*s - 257 - 29 = -4*o, 4*o - 276 = -2*s. Suppose 37 = -3*d + o. Does 8 divide d?
False
Let m be 6/(1 - (1 + -2)). Suppose 0 = -6*i + m*i. Suppose i = -4*d + 51 - 3. Is d a multiple of 7?
False
Let u = -11 + 4. Let m(f) = -8*f - 8. Let d be m(u). Suppose t - d = -t. Does 14 divide t?
False
Let n = 2385 - 498. Is n a multiple of 111?
True
Let t be (96 - (-4 + 1))/(-1). Let d = t + 124. Does 3 divide d?
False
Suppose 2*j + 3*a = 58 + 614, 3*a + 318 = j. Is j a multiple of 33?
True
Let t(o) be the first derivative of -o**3/3 + 3*o**2 - 8. Is t(4) a multiple of 2?
True
Let b(z) = 30*z - 204. Does 27 divide b(14)?
True
Is 71 a factor of -2 + 4 + 2/(-1) + 432?
False
Let w(p) = 8*p**2 - 5. Let f be w(2). Let q = f - -32. Is q a multiple of 21?
False
Let h = 124 + -68. Let i(y) = y**2 + 20*y + 38. Let x be i(-18). Suppose 27 = o - b, -x*o = 2*b - h + 14. Is o a multiple of 8?
True
Let x(d) be the second derivative of d**5/20 + d**4/4 - d**3/2 - 3*d**2/2 + 6*d. Is x(3) a multiple of 14?
True
Let n be -8*(-3 + (-5)/(-2)). Suppose -y + 10 = n*y. Suppose -2*z = -3*a - y, 0*a = 2*z - a - 6. Does 2 divide z?
True
Let v = 39 - 24. Is 5 - 2 - v/(-3) even?
True
Suppose -330 = -4*v - v. Suppose -s + v = s. Does 6 divide s?
False
Suppose -5*f - i - 2 = -4*i, -5*f - 10 = -5*i. Suppose 3*b - 132 = -3*d, 3*d + d + f*b = 168. Is d a multiple of 20?
True
Let l(q) = 2*q**2 + 7*q - 2. Let r be 0/6 - (5 - -1). Let g(x) = 2*x**2 + 7*x - 1. Let n(s) = r*l(s) + 7*g(s). Is 10 a factor of n(-6)?
False
Is ((-170)/(-20) + -7)/(1/546) a multiple of 21?
True
Let w = 49 - 22. Suppose 0 = m - 2*x - w, -2*m - 4*x + 27 + 19 = 0. Is 5 a factor of m?
True
Let p = 567 - 305. Is p a multiple of 8?
False
Let t(y) = 52*y + 25. Is 13 a factor of t(6)?
False
Is 12/(-3 - -9) - (-1 - 33) a multiple of 4?
True
Suppose 3300 = 657*b - 652*b. Is 12 a factor of b?
True
Let o be 4/(-8)*18 - -2. Let v(j) = -6*j + 6. Does 16 divide v(o)?
True
Let g be (0 - 6/(-3)) + 4. Suppose a + y + 3 = 0, -a = 4*a - 2*y - g. Suppose -3*c - 40 + 100 = a. Does 8 divide c?
False
Does 6 divide (12/(-8) + 57/6)*3?
True
Is 2 a factor of -9 + -8*99/(-12)?
False
Let x = 84 + 52. Is 28 a factor of x?
False
Let a(g) = 12 + 16 + 2*g + 7*g**2 - 21. Is 4 a factor of a(-2)?
False
Let o(r) = -r**3 - 6*r**2 - 5. Let q be o(-6). Let l be 2/q + 54/10. Let j = 7 - l. Does 2 divide j?
True
Suppose -34 = 3*s + s + 5*u, -3*u = -3*s - 39. Let a = 10 + s. Does 11 divide 55/(-1*(0 + a))?
True
Suppose 10 = 7*s - 2*s. Is 6 a factor of (s - -22)*20/8?
True
Suppose -6*b = -24*b + 504. Is b a multiple of 7?
True
Let u(k) = k**3 + 8*k**2 + k + 4. Let z be u(-8). Is 7 a factor of z/6*486/(-12)?
False
Suppose -4*l + 9 - 49 = 0. Let m be l/(-5)*(-15)/(-6). Suppose 4*f + 12 = m*f. Does 12 divide f?
True
Let d = -64 - -71. Suppose -d = -9*l + 164. Does 19 divide l?
True
Is 87 a factor of ((-6)/3)/(-2) - (-58422)/42?
True
Suppose 53*q + 6730 = 63*q. Is 4 a factor of q?
False
Let h be 2/((-2)/(-15)) - 2. Let j = -67 - -68. Suppose b = -j + h. Does 10 divide b?
False
Let r = -1259 + 2447. Does 44 divide r?
True
Let o(p) = p**3 + 8*p**2 + 5*p - 6. Let w be o(-7). Does 14 divide (-8295)/(-60) + (-2)/w?
False
Let m(v) = -5*v + 3. Let r(i) = i**2 + 3*i + 2. Let t be r(-3). Let n(g) = -g. Let o(x) = t*n(x) - m(x). Is o(3) a multiple of 5?
False
Suppose -995 = -8*l + 365. Is l a multiple of 17?
True
Let n be -6*(-106)/4 - -4. Suppose 2*b = -n - 233. Does 20 divide 20/30*b/(-2)?
False
Suppose 19*l + 7718 - 24362 = 0. Does 22 divide l?
False
Let n(k) = -k**3 + 18*k**2 - 22*k + 16. Let u be n(16). Let a be -2 + 36 + (1 - 3). Suppose u = 3*o + a. Does 16 divide o?
True
Let f = -35 + 35. Suppose f = s + 3 - 17. Is s a multiple of 7?
True
Let h be -3 + -1 + 113 + -4. Is 11 a factor of (-441)/(-5) + (-21)/h?
True
Let d(y) = 10*y**2 - y. Let f be d(1). Suppose -5*n + 196 = 3*q, -4*n = f + 7. Is 18 a factor of q?
True
Is 816*((-21)/(-9) + 65/39) a multiple of 98?
False
Let n(f) = f + 14. Let s = 12 + -22. Let y be n(s). Suppose 0*p - 125 = -5*w + 3*p, -y*p - 64 = -3*w. Is 23 a factor of w?
False
Let p = 101 + -78. Suppose -3*s = 5*q - 307, 3 = -5*s + p. Does 59 divide q?
True
Let x = 21 + -19. Suppose -x*t + 38 = 2*z + 2*z, 2*t = -2*z + 14. Suppose -5*s + z = -8. Is s even?
True
Suppose 26*z - 7920 = 11*z. Is z a multiple of 11?
True
Let x(i) = i**2 - 9*i - 252. Does 4 divide x(-24)?
True
Let r be (-39)/(3 - 34/11). Suppose -87 = 9*q - r. Is 13 a factor of q?
False
Suppose 10724 = 303*w - 296*w. Is w a multiple of 56?
False
Is 7 a factor of 20/(-8) + (8 - (-1185)/6)?
True
Is 25 a factor of 975/(-20)*-12 - 10?
True
Let k = -1 - -3. Suppose -2*q = -6, k*d + 2*d + 4*q = 20. Is 9 a factor of (-1 + -3)/(d/(-6))?
False
Suppose -5*j = -5*c - 4068 + 19083, 0 = 2*c - 5*j - 5994. Does 59 divide c?
False
Let n(d) = 3*d**2 + 17*d - 4. Let c be n(-7). Suppose -55 = 23*i - c*i. Is i a multiple of 2?
False
Let w(z) = -8*z + 4. Let l be w(8). Suppose 5*c - 2*o + 166 = 0, 3 + 1 = -2*o. Let d = c - l. Is 22 a factor of d?
False
Let x(t) = 4*t + 10. Let s(b) = b. Let v(a) = a + 1. Let w be v(1). Let j(h) = w*s(h) - x(h). Does 14 divide j(-12)?
True
Let h = 69 + -72. Let w = h - -46. Is w a multiple of 5?
False
Let h(l) = 60*l**2 - l. Let m = 9 + -1. Let n = m - 9. Is 29 a factor of h(n)?
False
Let b(l) = -l + 81. Let y(x) = x - 80. Let w(a) = 4*b(a) + 3*y(a). Does 30 divide w(0)?
False
Suppose 4*h + 0*h - 424 = 4*s, -5*h - 510 = 5*s. Let o = s + 238. Suppose -5*r + 3*r + o = 0. Is 20 a factor of r?
False
Let a(c) = -40*c - 3. Suppose d - 2*b - 9 = -4*b, -3*b = 2*d - 13. Does 6 divide a(d)?
False
Let m(z) = 784*z - 3. Let d be m(-3). Let c be d/(-60) + 1/(-4). Suppose 0 = 4*r - c - 289. Is 22 a factor of r?
False
Let b = -150 - -199. Is b a multiple of 13?
False
Suppose -1146 = -5*d + y, 4*d + 0*y = 3*y + 908. Is 14 a factor of d/4*(-4)/(-5)?
False
Let h(a) = 3*a - 3. Let d(c) = 4*c - 3. Let y(v) = -6*d(v) + 5*h(v). Let r be (5 + (-88)/16)/(1/20). Does 14 divide y(r)?
False
Let j = 80 + 92. Suppose -x - 134 = -4*x + s, -2*s = 4*x - j. Is 12 a factor of x?
False
Suppose 2*f - 3*s + 9 = 0, 0 = 5*f + 3*s - 5*s + 6. Suppose -5*l - w - 3*w + 120 = f, 0 = -5*l - w + 120. Is 56/l - (-1)/(-3) a multiple of 2?
True
Suppose -h + 705 = 4*h + t, -2*h + 255 = -5*t. Does 8 divide h?
False
Let c(z) = 6*z - 12. Let b be c(5). Suppose -3*p + 81 = -b. Does 20 divide p?
False
Let b be (-2 + -1)/(18/(-12)). Let y(c) = 55 - 3*c**b + 2*c**2 + c + c + 19. Is y(0) a multiple of 31?
False
Let k(u) = -2*u - 4*u - 5 + 2*u**2 + 3*u. Let f be k(-2). Suppose 117 = 3*n + f. Is n a multiple of 16?
False
Let p = 369 + -288. Is p a multiple of 3?
True
Suppose -59*c = -67*c + 7400. Does 37 divide c?
True
Let s = -2 + 23. Suppose 0 = -25*b + s*b + 64. Is b a multiple of 16?
True
Suppose 37*s - 47*s + 680 = 0. Is 20 a factor of s?
False
Let u(m) = -13*m**2 + 14*m + 21. Let f(i) = 7*i**2 - 7*i - 10. Let k(r) = -11*f(r) - 6*u(r). Is k(15) a multiple of 19?
False
Suppose -10 = -5*p + 5*u, 2*u - 15 = -3*p + 1. Suppose -5*c + 84 = 3*t, p = -c + 3*t + 10. Does 5 divide 0 - 4*c/(-6)?
True
Let x = 62 + -58. Suppose x*w - 26 - 6 = 0. Does 4 divide w?
True
Let h = -117 - -189. Let r be 20 + (-3)/((-6)/(-14)). Suppose -r*l + 11*l + h = 0. Is l a multiple of 18?
True
