 + l. Is 12 a factor of k?
True
Let b(x) = -6*x**3 + 6*x**2 - 9*x - 16. Let y be b(-5). Suppose -5*i = 29 - y. Does 30 divide i?
True
Suppose -10*d + 35 + 655 = 0. Is d a multiple of 4?
False
Suppose 6*j - 2*j + 2370 = 5*d, 1414 = 3*d - 4*j. Does 32 divide d?
False
Suppose 29*z = 70*z - 47601. Is z a multiple of 4?
False
Let u be -27*(-1 - 4)/5. Let i = u + -11. Is i a multiple of 3?
False
Let a be 2962/(-14) + 28/49. Let c = a - -337. Does 21 divide c?
True
Is 10 a factor of (-814)/(-259)*(6 - -1)?
False
Let c = -898 + 1431. Is 6 a factor of c?
False
Let w = 17 - -93. Does 7 divide -3*(w/(-15) - -1)?
False
Suppose 945*v + 388 = 946*v. Is 12 a factor of v?
False
Let r = -27 - -24. Is 14 a factor of -2*134/12*r?
False
Suppose -4*h = -5*t - 36 - 109, 25 = -5*t. Is 10 a factor of h?
True
Suppose -i = -9 - 0. Suppose -4*w + i*w = 240. Is w a multiple of 16?
True
Let a(f) = -15*f**3 + 2*f**2 - 1. Let d = 21 + -16. Suppose 3*w - s = -1 - 3, -3*w - 8 = -d*s. Is a(w) a multiple of 6?
False
Let j(x) = 2*x + 18. Let c be j(-9). Suppose c = s - 29 - 43. Is s a multiple of 13?
False
Let s(k) = -163*k - 18. Let r be s(-3). Suppose -8*y = -r - 809. Is y a multiple of 16?
True
Suppose 3*m + 2*m = 5*h + 5770, 2322 = 2*m + 5*h. Is m a multiple of 68?
True
Suppose 5*s - 17*s + 648 = 0. Is s a multiple of 2?
True
Let y be (-822)/5 - 20/(-50). Let c = 38 - y. Is c/6 + 17/51 a multiple of 17?
True
Let w(v) = 1371*v + 120. Is w(2) a multiple of 54?
True
Suppose 43*v = 23315 + 17363. Is v a multiple of 43?
True
Does 19 divide ((-2112)/40)/((-3)/60)?
False
Does 12 divide 39/91 - 43326/(-42)?
True
Let p be 2225/6 - (-10)/60. Let x = -243 + p. Is x a multiple of 32?
True
Let d(x) = -x**2 + x + 1. Let h(m) = -4*m**2 - 2*m - 7. Let l(j) = 3*d(j) - h(j). Is l(-6) a multiple of 9?
False
Suppose r = 2*z + 131, 5 = -5*r - 0. Does 10 divide (2 + z/8)*-16?
True
Let x(i) = 47*i + 84. Does 16 divide x(20)?
True
Let x be (-1*9)/((3/(-6))/(-1)). Let l = 63 + x. Is 9 a factor of l?
True
Let h be (9 - 45/6)*8/6. Suppose 0 = 5*a + 2*k - 965, -5*k + 563 = h*a + 156. Is 23 a factor of a?
False
Let i = 86 - 53. Let h = 69 - i. Is h a multiple of 12?
True
Let l(y) = -4*y**3 - 9*y**2 + 5*y - 9. Let w(x) = 5*x**3 + 9*x**2 - 5*x + 10. Let f be ((-4)/(-6))/((-4)/18). Let c(i) = f*w(i) - 4*l(i). Does 17 divide c(-9)?
True
Suppose 4*g - 12 = 2*q, 5*q - 28 = -g - 3. Is 19 a factor of ((-178)/g)/(12/(-30))?
False
Suppose 0 = 3*a + i - 717, -4*a + i = -634 - 329. Is a a multiple of 30?
True
Let m(b) = 5*b + 6. Let r(j) = j**2 - 6*j - 7. Let c(z) = -z**2 + 8*z + 4. Let y be c(8). Let h(n) = y*m(n) + 3*r(n). Does 17 divide h(3)?
False
Let b = 2330 + -1350. Is 73 a factor of b?
False
Suppose -5*g + 6631 - 1547 = -4*k, k - 4 = 0. Is g a multiple of 12?
True
Let v be 3/(-21) + (-610)/(-7). Let a = v - -82. Is a a multiple of 9?
False
Let z(h) = 2*h**2 - 1. Let w be (7 - 1)/((-3)/4). Let o = 10 + w. Is z(o) a multiple of 2?
False
Let b = 419 + -292. Let w = b + -70. Is 6 a factor of w?
False
Let m be 2 - 1 - 20/(-5). Suppose -3 = -m*o + 3*j, -o + 4*j = -3*o - 4. Suppose -4*r + 48 = 2*u, 5*u - 5*r - 150 = -o*u. Does 7 divide u?
True
Let n = 3 + 7. Suppose -2*y = 10, -4*y - n = 3*i + y. Suppose -3*b = i*x - 29, -1 = -2*b + 4*x + 55. Is b a multiple of 6?
True
Let o be (-2)/(((-1)/(-2))/((-252)/16)). Suppose -257 - o = -2*n. Is 8 a factor of n?
True
Suppose -2*k = 3*k. Suppose 2*d - 28 = -5*i, -2*d + 2*i + k*i + 28 = 0. Does 6 divide (-24)/d*(-98)/28?
True
Let z be (-7)/((-39)/18 + 2). Suppose 3*t - z - 12 = 0. Is t a multiple of 12?
False
Does 27 divide 1669 + ((-19)/(-4) - 17/(-68))?
True
Let h(r) be the third derivative of r**5/12 - 7*r**4/8 + 2*r**3/3 + 8*r**2. Let v be h(9). Suppose -n + v = 4*n. Is 16 a factor of n?
False
Let d = -103 + 49. Is (0 - d)/(81/(-30) - -3) a multiple of 36?
True
Suppose 0 = a + 3, 0 = -4*y - 5*a + 5. Suppose -4*b + 113 + 20 = y*h, 4*b - h = 103. Is b a multiple of 5?
False
Suppose 35470 + 27990 = 20*v. Does 19 divide v?
True
Let v = 1850 - 860. Is v a multiple of 9?
True
Suppose 20 = -h - 4*a, -3*h = -5*h + 2*a. Suppose -5*q + 76 = 4*r, 0 = -2*q + 6*r - 4*r + 16. Let t = q + h. Is t a multiple of 4?
True
Let v(k) be the second derivative of 13*k + 5/2*k**4 + 0*k**3 + 0 - 1/2*k**2. Does 11 divide v(1)?
False
Let n(f) = -84*f**3 + 2*f**2 + 11*f + 2. Does 15 divide n(-2)?
True
Let m(g) = 3 - 1 - 4 + 3 + 113*g. Does 26 divide m(1)?
False
Suppose d + 220 = 348. Is 4 a factor of d?
True
Let w = 12 + -10. Let u be (-2 + w)/((-6)/(-3)). Let y = 11 + u. Does 4 divide y?
False
Let s = -209 - -335. Is 3 a factor of s?
True
Let w be (-4)/(-12)*2 + (-14)/(-6). Suppose 665 - 137 = w*k. Is k a multiple of 16?
True
Let v(p) be the second derivative of 11*p**4/4 - p**3/6 + p**2/2 - 6*p. Let y be 0 + 0 + 3/3. Does 18 divide v(y)?
False
Let g be -2*((-75)/6)/5. Suppose -7*s + 2*s + p + 10 = 0, 2*s + g*p - 31 = 0. Suppose 0 = 2*l + s*n - 69, 4*n - 3*n + 57 = 2*l. Does 10 divide l?
True
Let c(o) = 45*o - 1. Let x be c(2). Let f = -50 + x. Suppose -5*a = 4*l - 122, -3*a + 0*a = -l + f. Does 33 divide l?
True
Let n(m) = -57*m**3 + 2*m**2. Let v be n(-1). Let b = 186 - 128. Suppose 2*y - 2*p + 7*p - v = 0, 0 = 2*y + 4*p - b. Does 6 divide y?
False
Suppose 0 = 5*n - 10, 9*n = 4*a + 8*n - 2306. Does 47 divide a?
False
Let s = 157 + -75. Does 9 divide s?
False
Let j = 9 - 15. Let r = j - 7. Let z = r - -55. Is z a multiple of 28?
False
Suppose 3035 = 13*f - 1762. Suppose -9*k + f = -396. Does 10 divide k?
False
Is 35 a factor of -2*70*(-1 + 0)?
True
Let x = 959 + -675. Is x a multiple of 11?
False
Let y(l) = -2*l + 4. Let p be y(-5). Let g(k) = k**2 + p*k**2 - 5*k**2. Does 20 divide g(-2)?
True
Suppose -2*t + 298 = -0*t. Let l = t + -63. Is 24 a factor of l?
False
Suppose 0 = 2*g + 2, -5*g + 263 = 3*u - g. Is 20 a factor of u?
False
Let d(o) = 60*o**3 - 5*o - 4. Let b be d(-1). Does 24 divide b/(-1) + (-30 - -29)?
False
Let j = 42 + -14. Let s = 1 - 15. Let v = j + s. Is v a multiple of 12?
False
Let k(l) = l**3 + 10*l**2 + 13*l - 3. Let f be k(-9). Let u = f + 39. Suppose -2*b + 55 = -4*n + 5, u = 2*b + 2*n - 62. Is 8 a factor of b?
False
Let k = 20 - 20. Does 10 divide (3 - k)*(-240)/(-18)?
True
Suppose 210 = 22*h - 17*h. Let p = 17 + h. Is p a multiple of 10?
False
Let h(j) = -2 + 5 + 13*j + 4*j**2 - 2*j**2 + 9. Does 10 divide h(-9)?
False
Does 62 divide (13 - 14)*(-1 + 0 + -433)?
True
Suppose g + 17 = 2. Does 53 divide 6/g + 1454/10 + 3?
False
Let k(z) = -z**3 + 10*z**2 - 17*z + 8. Let f be k(8). Suppose -6*x + 1040 + 142 = f. Does 16 divide x?
False
Let m(d) = -18*d - 4. Let y be m(-5). Suppose 5*t - y = -6. Let q = t - -4. Is q a multiple of 6?
False
Let d(h) = -h**3 + 15*h**2 + 3*h + 12. Let x be d(14). Suppose 326 = 6*m - x. Does 20 divide m?
False
Let z be 0 - 2 - (-2)/(-1). Let u be 3 + 0 + (-4)/z. Suppose -3*m = -u*k - 103, m - 37 = -0*m + 4*k. Is 10 a factor of m?
False
Suppose -2*x = -x + 1, 2*f - 5*x = -63. Let j = -16 - f. Is 6 a factor of j?
True
Is (-10376)/(-6)*(-12)/(-16) - -1 a multiple of 88?
False
Suppose 4*f + 9 = -3*n, -2*n = 3*f - 7*f + 6. Suppose -4*s + 2*g + 174 = f, 6*s - s = -2*g + 213. Is 10 a factor of s?
False
Suppose 6*w = -37 + 103. Suppose -w*n = -229 - 596. Is n a multiple of 15?
True
Suppose -23*i + 9*i = -23842. Does 32 divide i?
False
Let b = -3 + 0. Let p(n) = -3*n**2 + 2. Let k be p(b). Let y = 44 + k. Is y a multiple of 4?
False
Let n = 163 - -37. Is n a multiple of 10?
True
Suppose 4*c = z + 1120, 2*c + 19*z - 550 = 17*z. Does 9 divide c?
True
Let t(a) = 6*a - 32. Let p be t(9). Suppose -4*o + 96 = -4*y, -p = -o + 3*y + 2. Is 5 a factor of o?
False
Suppose 4*q - 8280 = -8*q. Does 15 divide q?
True
Suppose -3*y = -213 - 75. Is y a multiple of 8?
True
Let q(g) = g**3 - 5*g**2 + 4*g + 3. Let z be q(4). Suppose -5*s + 0*s - 2*n + 308 = 0, -s + 65 = -z*n. Is 11 a factor of s?
False
Is 48 a factor of ((-426)/(-12) - -5)/(6/64)?
True
Suppose -s + 1 = -4. Suppose 3*i = -2*i - s*h + 55, -4*h = 3*i - 38. Is i a multiple of 4?
False
Is 3 a factor of (121 - (10 - -2))/((-1)/(-2))?
False
Let o = 29 + -59. Let x be ((-1)/2)/(5/o). Suppose 32 = x*l - l - 4*p, 67 = 5*l + 3*p. Is l a multiple of 14?
True
Let s be ((-18)/(-4))/3 - 1426/(-4). Suppose 1393 - s = 5*a. Is 