
Let b(z) = 10*z**3 + 7*z**2 - 12*z. Is b(3) a multiple of 9?
True
Let t(c) be the third derivative of c**7/420 - c**6/72 - c**5/15 + 2*c**2. Let w(u) be the third derivative of t(u). Is w(7) a multiple of 21?
False
Let w(f) = -104*f - 257. Is 8 a factor of w(-14)?
False
Does 84 divide 9/3 + 1782/22?
True
Let s = 20 + -16. Is (-166)/(-6) - s/(-12) a multiple of 14?
True
Let k(s) = -8*s. Let i be k(-3). Suppose -6*l + 2*l + i = 4*c, -l - 4 = 0. Does 2 divide c?
True
Let p be 401 - 2 - (7 - 10). Suppose 4*o = -3*n + 531, 3*o + 3*n - p = -0*o. Is o a multiple of 6?
False
Let s be 12/28 - 314/14. Let d = s - -17. Is 21 a factor of (23 + d)*28/6?
True
Does 28 divide ((-55)/(-22) + (-3)/18)*852?
True
Suppose 0 = 3*y - 0*y - 4*s - 548, 3 = 3*s. Is y a multiple of 12?
False
Suppose -d - 2*i - i = -1050, 0 = 5*d + 5*i - 5300. Suppose 0*s + d = 4*u - 5*s, 2*u - 515 = -s. Suppose 6*c - c - u = 0. Does 13 divide c?
True
Let u = 377 - 178. Is u a multiple of 27?
False
Is 14 a factor of (-60)/135 - 2731/(-9)?
False
Let d(m) = m**2 + 4*m + 5. Let g be d(4). Let k = g - -53. Is 15 a factor of k?
True
Is 3412/(-12)*2*(-15)/10 a multiple of 7?
False
Let b(z) = 5*z - 12. Let q be b(8). Let u = q - -51. Does 14 divide u?
False
Let l = 155 + -129. Is 8 a factor of l?
False
Suppose -2*l + 16 = 2*b, 3*l = -4*b - 2*l + 37. Suppose -2*j = w + 4, b*w + 2*j + 6 = w. Does 8 divide 19 - (3 + -2 + w)?
False
Suppose -8*h + 3*h - 603 = -2*y, -2*h = 2*y - 582. Is y a multiple of 14?
True
Let t(f) = 10*f**2 + 4*f + 2. Let q = 26 + -28. Does 34 divide t(q)?
True
Suppose 16 = 6*a - 2*a + 4*c, a = 3*c. Suppose 77 - 215 = a*k. Let z = 97 + k. Is 17 a factor of z?
True
Let s be (-4 + 2)*24/16. Let m(p) = -10*p - 4. Does 24 divide m(s)?
False
Let c(r) = 2*r**2 - 4. Let f be c(-2). Suppose 3*m - 5 = -f*j, -m + 0 = 1. Suppose j*t = t + 59. Is t a multiple of 14?
False
Let n(y) = -231*y**2 + 6*y + 6. Let z be n(-4). Does 15 divide 4/18 - z/54?
False
Let f be 115 + 2/(-1 - -2). Let t = 588 - 585. Suppose -5*p - x = -208, -97 = -5*p - t*x + f. Is p a multiple of 12?
False
Is ((-33)/5 + -2)/(44/(-220)) a multiple of 3?
False
Suppose -3*l + 5*l + 38 = 0. Let x = -8 - l. Suppose -41 = -5*k - x. Is k a multiple of 3?
True
Let o = 12 + -8. Suppose -o*g = -0*g - 252. Does 3 divide 82/7 - (-18)/g?
True
Let f = 78 + -68. Suppose -4*y + 678 = -f. Does 12 divide y?
False
Let m(x) = -2*x**3 + 37*x**2 + 5*x - 14. Is 7 a factor of m(5)?
True
Let z(b) be the first derivative of 4*b**2 - 11*b - 1. Suppose -3*j + h + 27 = 0, -j + 2 + 7 = -3*h. Is 14 a factor of z(j)?
False
Suppose -107 - 73 = -6*v. Let r be -3*(-325)/v*2. Suppose r = 3*c - 10. Does 19 divide c?
False
Let t = -109 + 134. Let p = t - 12. Does 13 divide p?
True
Let f = 143 + -138. Suppose 4*q + 7 = -57. Let g = f - q. Is 21 a factor of g?
True
Suppose -7*m - 272 + 958 = 0. Let r = -49 + m. Is 7 a factor of r?
True
Let r(g) = g**3 - 4*g**2 - 2*g - 7. Let l be r(5). Let d = l + -4. Suppose 0 = -w + 5*i + 76, -d*w - 2*i - 334 = -9*w. Is 22 a factor of w?
True
Suppose 60 = 2*w - 4*o, 3*w + 96 = 7*w + 4*o. Suppose -50 - w = -4*a. Is a even?
False
Suppose a - 5*a = 16. Let t be (189/18)/((-2)/a). Let k = -4 + t. Is k a multiple of 7?
False
Let j(t) = -4*t**3 - 2*t**2 - 2*t - 1. Let a be j(-2). Does 37 divide 2/9 + 1992/a?
True
Let v(q) = -2*q**2 - 5*q - 2. Let b be v(-3). Let a = b - -5. Suppose -r + a*z + 2*z + 34 = 0, 0 = -2*r + 3*z + 63. Does 12 divide r?
True
Let b(s) = -s**3 + 4*s**2 + 3*s + 3. Let d be b(3). Let h = d - 13. Suppose -a + 59 = h. Does 21 divide a?
False
Suppose 0 = -4*x - 3*j + 13, 3*j + 2 = -x + 12. Suppose 0 = -r - x + 5. Does 5 divide r*-1 + (15 - 2)?
False
Let a = 5 + 81. Suppose 4*c - 34 = a. Suppose 0 = -3*j - 2*j + c. Is 6 a factor of j?
True
Let z be 0 - (-1 - 4/4). Suppose 3*t - 6*t = -3*h - 12, 0 = z*t + 4*h - 8. Let k = t + 20. Is 6 a factor of k?
True
Let t(f) be the second derivative of f**5/24 - f**4/24 + f**3/2 + 6*f. Let a(m) be the second derivative of t(m). Is a(8) a multiple of 13?
True
Let n = -194 - -110. Is 6 a factor of ((-12)/7)/(8/n)?
True
Let m = -135 + 646. Is m a multiple of 21?
False
Suppose i - 76 = -4*i - 3*t, 0 = 4*t - 8. Suppose z - 4 = -i. Let j = z - -18. Is 8 a factor of j?
True
Suppose 2 - 13 = s. Let d be (-4)/(24/(-21))*10. Let b = d + s. Is 6 a factor of b?
True
Let n be (-1)/(3 + -2)*-9. Suppose -24 + n = -5*v. Suppose -v*d + 2*f = -36, 3*d = 3*f - 0*f + 33. Does 14 divide d?
True
Let p(f) = -14*f**3 - 8*f**2 - 19*f - 7. Is 16 a factor of p(-3)?
False
Let a = 901 + -793. Is 12 a factor of a?
True
Let m(u) = -u**2 + 4*u. Let s be m(3). Let t(y) = 0*y + s + 2*y + 8*y. Is 21 a factor of t(6)?
True
Suppose -8*t = -403 - 5. Let i = t + 244. Is 29 a factor of i?
False
Let c(k) = 593*k - 332. Is c(3) a multiple of 4?
False
Let b = 24 - 20. Suppose 113 = 3*t - b. Is 3 a factor of t?
True
Let r be (3 - 1450/6)*6/4. Let x = r - -697. Is 42 a factor of x?
False
Let v = -40 + 196. Does 26 divide v?
True
Let n be (-4)/(-6) + 2/(-3). Suppose -6*z + 10*z - 232 = n. Is z a multiple of 17?
False
Is (2 + (-1497)/6)/(4/(-8)) a multiple of 15?
True
Let z(o) = o**3 - 11*o**2 - 6*o + 10. Let b be z(11). Let x = b - -96. Is 16 a factor of x?
False
Let b(i) = -20*i - 8. Let s be (0 + -2 + -2)/1. Let m be b(s). Suppose -m = -5*f + 98. Does 18 divide f?
False
Let s(a) = 3*a - 1. Let d be s(2). Suppose 64 = -2*h - 2*f + 236, -4*h = -d*f - 299. Is h a multiple of 10?
False
Let h(l) = 2*l - 18. Let u be h(11). Let q = 36 + u. Suppose 2*d = -3*b + b + q, -b + 5*d + 8 = 0. Is b a multiple of 12?
False
Suppose -4*n - 121 = c - 1124, 3*c - 1259 = -5*n. Is n a multiple of 50?
True
Let t(g) = g + 15. Let r be t(-13). Let l(o) = o + 3*o + 4*o**r - o**3 + 2*o + 7. Does 5 divide l(5)?
False
Let v be (-2 - -3)*(-4 + 3). Let d(s) = 4*s - 4. Let l be d(4). Let a = l + v. Is 11 a factor of a?
True
Let x(u) = u**2 + 5*u + 3. Let z be x(-6). Suppose r + 3 = 6*r + v, -3*r - 3*v + z = 0. Let k = 15 + r. Does 15 divide k?
True
Is 109 - (25 + -22 - (-1 - -2)) a multiple of 103?
False
Let r(c) be the third derivative of 13*c**5/60 - c**4/24 + 4*c**2. Is 6 a factor of r(1)?
True
Let u(d) = 6*d**2 - 9. Let t be u(-6). Suppose z = -3*c - 0*z + t, -c + 5*z = -85. Is 7 a factor of c?
True
Suppose n + 1 = 5. Let k be 108/48 - 1/n. Suppose -4*l = -y + 41, k*l - 8 = -0*l. Is 16 a factor of y?
False
Let p(o) = 28*o**2 + o - 1. Let k(m) = -m**3 + 3*m**2 + 6*m - 6. Let u be k(4). Does 23 divide p(u)?
False
Let c be (-1 - (1 - 2))/(-4) - -110. Suppose 2*y - 258 - c = 0. Is y a multiple of 24?
False
Let f(k) be the third derivative of 3*k**4/8 - 4*k**3 - 21*k**2. Does 13 divide f(20)?
True
Does 23 divide (-2908)/(-6) - (-290)/(-174)?
True
Suppose 4 = c - 2. Suppose 11*u - 25 = c*u. Suppose 136 = -t + u*t. Is 17 a factor of t?
True
Suppose -39 - 23 = -2*v. Suppose -240 = -v*x + 27*x. Is 6 a factor of x?
True
Suppose -1886 = -k + 5*z, -4*z + 2585 - 726 = k. Is k a multiple of 21?
False
Let w be (-238)/15 - 4/30. Let t = w - -39. Is t a multiple of 6?
False
Suppose 23 = 2*s + 5*g, 4*g - 24 = -4*s + 28. Let z = s - -81. Is z a multiple of 18?
False
Let c be -1*(-4)/(-8)*-4. Suppose -i = 4*k - 29, 5*i - 168 = -c*k + 5*k. Suppose -191 = -4*v + i. Does 14 divide v?
True
Let p(n) be the third derivative of 1/3*n**3 + 1/120*n**6 + 0*n + 0 + n**2 - 5/24*n**4 + 1/15*n**5. Does 2 divide p(-5)?
True
Let z = 15 - 17. Let c be -3 + 3 + (z - 1). Let s(f) = -11*f + 1. Does 14 divide s(c)?
False
Suppose 0 = -45*l + 44*l + 4. Let p(w) = -l + 13*w - 5*w + 0*w + 7. Is p(4) a multiple of 7?
True
Let k(p) = -4*p - 3. Let r(z) = z - 1. Let y(q) = k(q) - 4*r(q). Is y(-3) a multiple of 6?
False
Suppose 4*j + 19 = 3. Let z(o) = o**3 - 6*o**2 + 2*o + 2. Let d be z(5). Let u = j - d. Is 9 a factor of u?
True
Let d = -59 + 58. Is 18 a factor of (d - (-1)/(-2))/((-5)/360)?
True
Let h(u) = 7*u**2 + 28*u - 131. Is 4 a factor of h(9)?
True
Let a(z) = 6*z**2 + 7. Let c(w) = -5 - w**2 - w + 5 + 1. Let f(i) = a(i) + 5*c(i). Is f(9) a multiple of 8?
True
Let n be 4522/63 - (-1 - (-14)/18). Is 14 a factor of ((0 - n/(-15)) + -2)*5?
True
Let m(d) = d**2 - 4*d + 9. Let t be m(5). Let s = t + 3. Is s a multiple of 17?
True
Let i(n) = -14*n**3 + n**2 - 8*n - 8. Is i(-4) a multiple o