?
True
Let a be (-14)/3 + 4/6. Let y(i) be the third derivative of i**4/24 + 4*i**3/3 + i**2. Does 3 divide y(a)?
False
Let q be (21 - -1)*(-2)/(-4). Let k(a) = -154*a + 10*a**2 - a**3 + 7 + 321*a - 156*a. Is k(q) even?
False
Is ((-2)/6)/(13/(-1014)) a multiple of 13?
True
Suppose 5*j + 4*d + 27 = 0, -1 = -d - 4. Is (-3)/(-9) + (-59)/j a multiple of 10?
True
Suppose 10 = 5*l, -5*l = -k - 3*k + 46. Is 14 a factor of k?
True
Let q = -20 + 33. Is 4 a factor of q?
False
Let u = -39 - -50. Does 11 divide u?
True
Let h(m) = 30*m + 2. Let a be h(2). Let n = a + -44. Is 8 a factor of n?
False
Let y(d) = -27*d + 7. Let u(x) = 13*x - 4. Let p(b) = 11*u(b) + 6*y(b). Is p(-2) a multiple of 12?
True
Suppose 0 = 7*h + 7*h - 2268. Is h a multiple of 8?
False
Suppose c + 3 - 15 = 4*t, 0 = 2*c - t - 10. Suppose v + 120 = 3*l - v, c*v = -5*l + 222. Is l a multiple of 21?
True
Suppose 2*k + 5*w - 151 = 0, 95 - 424 = -4*k - w. Is k a multiple of 3?
False
Let z be (1284 - 0) + 1 + -1. Suppose t = 5*t - z. Is (-2)/7 - t/(-21) a multiple of 9?
False
Let y = -1 + 10. Let x(n) = n**3 + 2*n**2 + 2*n + 1. Let r be x(-1). Suppose -p + 2*h + y = r, 2*p = -8*h + 3*h + 63. Is p a multiple of 19?
True
Let n(l) = 0*l - l + 2*l**2 + 3 - 4 + 0*l**2. Is n(-4) a multiple of 17?
False
Suppose -6*m = -m - 2*o - 501, -91 = -m + 5*o. Is 49 a factor of m?
False
Let z(b) = 30*b**3 - b**2 + b. Does 15 divide z(1)?
True
Suppose 0 = 3*k - 0 - 45. Is 15 a factor of k?
True
Suppose -5*l + 9 + 1 = 0. Suppose -10 = -5*f - l*m, 5 = -5*f - 3*m + 10. Suppose 5*b + 4*a - 315 = 0, f*a - 248 = -0*b - 4*b. Is 17 a factor of b?
False
Let w = -102 + 156. Is w a multiple of 6?
True
Let p(s) = -111*s**3 + s**2 - s - 1. Suppose -11 = -4*f - m - 2*m, f + 2*m = 9. Let q be p(f). Let g = q + -57. Does 27 divide g?
False
Let p(w) = 8*w**2 - 2*w - 1. Suppose 3 = -3*i + 2*x, -2*x = -i - 0*x - 1. Is p(i) a multiple of 5?
False
Suppose 341 - 13 = 4*k. Suppose -3*h = -h - k. Does 15 divide h?
False
Let h = -164 - -224. Does 30 divide h?
True
Suppose -3*y + 8 = -40. Is y a multiple of 4?
True
Let r(c) be the first derivative of -3*c**2 - 3*c - 1. Is 14 a factor of r(-3)?
False
Let c = 3 - 2. Let m = c + -1. Suppose g - 2*g + 1 = 0, m = -j - g + 12. Is j a multiple of 4?
False
Suppose 0 = -4*b + 2*y + 2 + 2, 6 = 4*b - 3*y. Let q = 3 - b. Suppose -53 - 95 = -5*s - 2*p, s - q*p - 16 = 0. Is 10 a factor of s?
False
Suppose 0 = 3*y - 15, 4*y - 141 = -2*q - 27. Does 12 divide q?
False
Suppose -b + 4*b - 3*u - 657 = 0, 3*b = -3*u + 675. Is b a multiple of 37?
True
Let d(c) = c - 10. Let n be d(7). Let t be 8/(-2) - (-8 + 13). Does 7 divide (-132)/t*n/(-2)?
False
Let a = -41 + 75. Is 10 a factor of a?
False
Suppose 5*i = 75 + 45. Is i a multiple of 24?
True
Let m be 1 - -1 - 8/(-2). Let z = m + -6. Suppose z = -0*w + 4*w - 88. Is w a multiple of 11?
True
Let k(s) be the third derivative of s**5/10 - s**4/24 - 4*s**2. Is 2 a factor of k(1)?
False
Suppose 0 = -j + 6*j - 30. Let c = j - 6. Suppose 5*n - 55 = -c*n. Does 3 divide n?
False
Suppose 2*f = 10 + 20. Suppose 0*k - k = -f. Is 4 a factor of k?
False
Let g(v) = -v**2 + 6*v + 13. Let r be g(7). Suppose r*l = l + 460. Does 14 divide l?
False
Let k(n) = n**3 - 2*n**2 + n + 1. Let b be k(2). Let v be ((-1)/(-1))/(2/4). Suppose -v*o = -h + 6, 3*h + 0*o - b*o - 24 = 0. Does 6 divide h?
False
Let t(p) be the first derivative of 65*p**2/2 - p - 1. Let g be t(1). Suppose -5*k + k + 50 = 3*j, -3*j = 5*k - g. Is k a multiple of 14?
True
Let x(q) = 18*q + 6. Does 24 divide x(1)?
True
Let i = -8 - -74. Does 11 divide i?
True
Suppose -3*v + 5 + 7 = 0. Suppose -4*w = 2*s - 18, -2*s + 9 = -s + v*w. Does 5 divide s?
False
Suppose -3*m + 8*m + 82 = w, m = 2*w - 200. Suppose 2*v - 5*v = -w. Is v a multiple of 13?
False
Is -2*14/(-2) + 5 a multiple of 9?
False
Let d be (-1402)/(-4) + 9/6. Is 1/(((-12)/d)/(-3)) a multiple of 25?
False
Let l be 2/((-6)/9) + -5. Is 27 a factor of (-12)/(-15)*(-420)/l?
False
Let q(c) = c**2 - 12*c - 4. Let p be q(11). Is 20 a factor of 6/(-15) - 816/p?
False
Suppose 40*d - 360 = 35*d. Does 12 divide d?
True
Let o(f) = f**3 + 5*f**2 + 2*f + 1. Let r be o(-4). Suppose r = 5*p - 101. Is 22 a factor of p?
True
Let q = 248 + -137. Let a = -34 + q. Is a a multiple of 11?
True
Let l(n) = 9*n + 2. Let f be l(-2). Let s be 6/(-8) - 156/f. Let i = s + 7. Does 8 divide i?
True
Let s = 4 - 2. Suppose -3*w = -s - 10. Suppose -3*x = -5 - w. Is x even?
False
Let a(r) be the first derivative of 3*r**2 - 4*r - 5. Let p(l) = -l. Let k be p(-5). Is a(k) a multiple of 13?
True
Let i be -8 + (6/(-2))/1. Is 5 a factor of -1 + -1 - (-7 + i)?
False
Let v be 3 + (-3 - 3/(-3)). Let r = 0 + v. Suppose -3*q + 12 = -3*h, 0 = -3*q + 5*h + 3 - r. Is q a multiple of 5?
False
Suppose -n + 2*n + 3*j - 8 = 0, -14 = -4*n - 3*j. Suppose -5*w + n*w = -153. Suppose -13 - w = -4*i + 4*m, 0 = i - 5*m - 16. Does 8 divide i?
True
Let o(l) = -l + 2. Let a be o(9). Let q be 9/a - 16/(-56). Is 6 a factor of (-4 + 1)*(-3 + q)?
True
Let t = -7 - -5. Suppose -2*p = -2*l - 4, 0*p - 3*l = -5*p + 8. Does 2 divide p*(-2)/(t/3)?
False
Let h(o) = -2*o**3 + 2*o**2 + 2*o - 4. Let w be h(3). Let t be (-2)/(-6) + (-292)/(-6). Let a = t + w. Is a a multiple of 9?
False
Let a(c) = c**2. Let u(w) = -w**3 - 3*w**2 + 2. Let r(v) = -a(v) - u(v). Let g be r(-2). Is 10 a factor of -1*60/(6/g)?
True
Let p(k) = k**3 + 12*k**2 + 16. Let y be p(-12). Does 12 divide 60*(y/(-5))/(-4)?
True
Suppose -15 - 22 = -5*w + 3*y, 5*w + 2*y = 42. Suppose a - w = 3*q, -3*a - q = a - 45. Does 4 divide a?
False
Suppose 2*o - 4*u - 22 = 0, u = 5*o - u - 31. Suppose 0 = -5*w - 18 - 7, -3*z + o*w + 31 = 0. Suppose g = z*g - 47. Is 17 a factor of g?
False
Suppose -24 = -5*d + 236. Let t = d - 26. Is t a multiple of 13?
True
Let r be (-6)/((-1)/((-12)/9)). Let b(t) = 5*t + 7 - t**2 + 4 - 16*t. Is 14 a factor of b(r)?
False
Suppose 0 = -0*j - 3*j + 15. Suppose 8 = k + x - j*x, -5*k - 3*x = -86. Is k a multiple of 11?
False
Suppose -n - 1 = 1. Let b be 5 + (n + 0 - -2). Suppose -i - 18 = -3*i + 2*d, -b*i + 57 = -d. Does 7 divide i?
False
Let c(i) = -i**3 - 3*i**2 - 4*i - 3. Let r be c(-3). Let b(y) = y**3 - 10*y**2 + 9*y + 6. Is b(r) a multiple of 5?
False
Let x(p) = -p**3 + 2*p - 1. Let h be x(-2). Suppose -o = -2*d + 21, o = -2*d - h*o + 46. Does 5 divide d?
False
Suppose 3*c = -c + 12. Suppose -c*l = l - 88. Suppose v - l = -9. Is v a multiple of 5?
False
Let z(r) be the second derivative of -r**4/12 + 2*r**3 - 7*r**2/2 - 27*r. Let t(c) = -c**2 - 5*c + 5. Let h be t(-5). Does 14 divide z(h)?
True
Let o(f) = -3*f**2 + 7*f - 3. Let m(r) = -7*r**2 + 13*r - 6. Let j(h) = -2*m(h) + 5*o(h). Does 10 divide j(7)?
False
Let b be 6/(-3) + (-1 - -52). Suppose 3*r - 6*r - 2*a + b = 0, 0 = 3*r - 3*a - 39. Is 15 a factor of r?
True
Suppose 7*s - 305 = 2*s + 5*g, -3*g = -s + 69. Is s a multiple of 19?
True
Suppose 2*t - 8*m + 3*m = -10, t - 13 = -2*m. Let c be (-5)/t - 10/(-2). Suppose -4*k - 10 = -s, -4*k - 75 = -c*s - 23. Is s a multiple of 13?
False
Let b(h) = 13*h**2 - 5*h - 2. Is b(-2) a multiple of 20?
True
Suppose 4*c + b - 36 = 0, 2*b + 0*b + 16 = 3*c. Is c a multiple of 8?
True
Suppose 4*b + j + j = 146, 104 = 3*b - 4*j. Does 9 divide b?
True
Let p(m) = -m**2 - 5*m - 2. Suppose u = 1 - 4. Let n be p(u). Suppose 2*t + 5*b = 111, n*t - 6 = 4*b + 202. Is 18 a factor of t?
False
Suppose 2*n + 23 = 3. Let g = 1 + n. Let r = -5 - g. Is 2 a factor of r?
True
Suppose -3 + 29 = 2*z. Suppose 3*w - z = -5*a, -5*w + 3*a - 3 = -6*w. Suppose v - 2*v = -w. Does 3 divide v?
True
Let m be 13 + -12 - 362/2. Does 29 divide -8*(m/16 + -3)?
False
Suppose 3*y = -y + 8. Suppose -4*d + o - 105 = 0, -4*o + 9*o + 25 = -y*d. Let j = -13 - d. Does 8 divide j?
False
Let i(h) = h**2 + 5*h - 5. Let v(x) = -x**2 - 3*x + 3. Let t(j) = -6*i(j) - 11*v(j). Is 7 a factor of t(2)?
False
Let a be (-4)/6 + (-14)/6. Let k = 36 + a. Is 12 a factor of k?
False
Let r(q) = q**3 + 5*q**2 + 4*q. Let g be r(-4). Suppose g - 125 = -5*s. Is s a multiple of 8?
False
Suppose 0 = 2*q - 31 - 7. Suppose b + 4 = -q. Let h = b + 49. Is h a multiple of 18?
False
Let v(q) = 21*q + 1. Let z be v(1). Let y = 50 - z. Does 14 divide y?
True
Let x(t) = -t**3 + 5*t**2 - 5*t + 6. Let h be x(4). Suppose h*n - 66 = 