0)?
True
Let j(a) be the second derivative of -1/20*a**5 - 1/2*a**2 + 0 + a + 1/4*a**4 + 1/3*a**3. Does 14 divide j(-2)?
False
Let d = -52 - -148. Does 16 divide d?
True
Let o(a) be the first derivative of a**3/3 + 36*a + 3. Let q = 0 + 0. Does 18 divide o(q)?
True
Suppose 3*o + 12 = 0, -5*y - 2*o = -4*o + 67. Let j be (y/(-6))/(3/(-18)). Does 15 divide (-6)/15 - 321/j?
False
Let p be 1/(-2) + (-75)/10. Let j(h) = -h**2 - 8*h + 4. Let x be j(p). Suppose -x*l = -3*m - 68, 2*l + 0*m - m - 32 = 0. Is l a multiple of 14?
True
Let w = 64 - 54. Is w a multiple of 10?
True
Let n(k) = 4*k**2 - 50*k + 13. Let z be n(12). Suppose -3*f - t = -1, 6*t + 3 = -3*f + 3*t. Let b = f - z. Is 12 a factor of b?
True
Let w(y) = 2*y - 6. Let z be w(4). Suppose 3*r + 3*n - 29 = -2*r, -2*n = -r - z. Is 11 a factor of (r - 2) + 40/2?
True
Suppose 0*q - 8 = -4*q. Suppose 0 = 5*h + 10, 4*c - 6 = h + q*h. Suppose c*p + 78 = 3*p. Is 13 a factor of p?
True
Let r = 59 + -32. Is 5 a factor of r?
False
Is 9 a factor of (81/12 - 4)*8?
False
Suppose -2*z = z + 42. Let t = z + 25. Is t a multiple of 11?
True
Let f be 4 - (-2)/(4/(-2)). Suppose -l + 92 = 4*n + 4, f*n + l - 66 = 0. Does 22 divide n?
True
Let f be -2 - -8*(11 - 2). Let j be 0 - (34 + 1 + -2). Let a = f + j. Does 15 divide a?
False
Let a = 24 + -18. Is a a multiple of 2?
True
Let h(r) = 12*r**2 - 3*r - 2. Is h(-1) a multiple of 6?
False
Let x(h) = -h**3 - 11*h**2 + 9*h + 1. Does 19 divide x(-12)?
False
Let j be 25/(-4) + (-2)/(-8). Let m(v) = v**3 + 5*v**2 - 8*v - 3. Let z be m(-6). Let b = z - j. Does 14 divide b?
False
Let y(o) = o**2 - 2*o + 127. Is y(0) a multiple of 16?
False
Let x be 4/4*(2 - 0). Suppose -1 = x*w + 3*b - 5, 0 = -5*b. Suppose 9 = s + 4*r, -77 = -6*s + 3*s - w*r. Is s a multiple of 8?
False
Let o = -2 + 4. Suppose -2 = -x + o. Is (-174)/(-18) + x/(-6) a multiple of 7?
False
Let g(x) = x**3 - 9*x**2 + 10*x - 2. Let a = -5 + 13. Let j = a + 0. Is 7 a factor of g(j)?
True
Does 14 divide 170/3 - ((-8)/6 + 1)?
False
Suppose -7*q + 9*q - 72 = 0. Is q a multiple of 9?
True
Let g be (-3)/(-6) + (-50)/4. Let f = g + 24. Is 4 a factor of f?
True
Suppose -t + 3 = -0*t. Suppose 3*v = t*c - 4 - 44, 0 = 4*c + 2*v - 46. Is c a multiple of 12?
False
Suppose -2*z = -4 - 2. Suppose z = s - 13. Is 16 a factor of s?
True
Suppose -2*z = 4*z - 1200. Does 19 divide z?
False
Let q be 4/6*(-15)/(-2). Suppose -5*x + 25 = 3*i, 0 = -q*x - 5*i - 0*i + 35. Suppose -x*k = -1 - 13. Is 7 a factor of k?
True
Let s be 6/(-9)*(-6)/(-2). Let r be 2*(-2)/4 + 1. Does 8 divide 13 - r/s - -3?
True
Let i = 0 - 1. Let u be (i + -9)*(-4)/4. Let l = u + -7. Is l a multiple of 3?
True
Let p(m) = 6*m + 1. Suppose 0 = 3*y - 6. Let g be (y/(-4))/(4/(-8)). Is 4 a factor of p(g)?
False
Let n = 69 + -23. Is n a multiple of 4?
False
Suppose -130 + 22 = -2*r. Is 3 a factor of r?
True
Suppose 2*o + t = 4*t + 38, o = 2*t + 17. Is 11 a factor of o?
False
Suppose 0*w = -2*g + 2*w + 6, w - 6 = -2*g. Suppose g*x - 2*x = 56. Suppose -i = 3*i - x. Is 12 a factor of i?
False
Let y = 16 - -2. Is y a multiple of 6?
True
Let m be 0/(0 - 2) + 3. Suppose -m*w - 29 = -113. Does 14 divide w?
True
Suppose 6*l - l - 25 = 0. Suppose -l*q + 136 = -q. Is q a multiple of 13?
False
Suppose 0 = 2*f + 8, 3*j + 9*f - 5*f = -7. Let a = j - -22. Let o = a + -15. Is o a multiple of 10?
True
Let f be 0/5 - (-6)/2. Let h be ((-12)/(-8))/(f/(-12)). Is (-3)/h + 94/4 a multiple of 12?
True
Let j be -33*(8/6)/(-4). Let b = j + -6. Suppose 5*v + b = 0, -4*q + 8*q + 4*v - 20 = 0. Is q a multiple of 3?
True
Let v(l) = -l**2 - 9*l + 6. Let d be v(-10). Let i(s) = -10*s + 3. Is i(d) a multiple of 20?
False
Suppose -2*i - 281 = -5*v - i, 5*v - 2*i = 282. Is 8 a factor of v?
True
Suppose -8*q + 276 = -4*q. Suppose q + 135 = -2*k. Let g = k - -153. Is g a multiple of 17?
True
Suppose 2*i + 3*i = 0. Suppose 0 = -2*u + 5*q + 27, 2*u + i*u - 47 = q. Is u a multiple of 13?
True
Let n(o) = o**3 + 5*o**2 + 3*o - 3. Let u be n(-4). Suppose 2*a = 25 - u. Suppose -6 - a = -q. Is q a multiple of 8?
False
Let y = -2 - -7. Suppose 0 = -y*r + 7*r + 60. Let w = r + 42. Does 4 divide w?
True
Suppose 17*p - p - 416 = 0. Does 4 divide p?
False
Suppose 5*l + 3*l - 432 = 0. Is l a multiple of 9?
True
Let r = -3 + -3. Let a be r/4 - (-189)/6. Suppose 4*c = -c + a. Is 5 a factor of c?
False
Suppose -2*x - 2 = 0, 0 = d - 2*x - 52 + 9. Does 24 divide d?
False
Suppose 4*b - 20 = -b. Suppose -3*y = -q - 17 - 35, -b*y + 2*q = -68. Does 18 divide y?
True
Let m be (-93)/12 + (-3)/(-4). Let p = m - -15. Is p a multiple of 4?
True
Let c be (-64)/(-11) + 14/77. Let t be (306 - 1) + (1 - 2). Is 18 a factor of t/6 + c/18?
False
Let f(t) be the second derivative of -t**6/360 + 3*t**5/40 + 11*t**4/24 - t**3/6 - t. Let u(c) be the second derivative of f(c). Is u(9) a multiple of 11?
True
Let r = -6 - 13. Suppose -s = 2*s + 108. Let v = r - s. Is v a multiple of 5?
False
Let s(u) = -4*u**3 - 2*u**2 - 2. Let i be s(-3). Is (i - 0)*(-2)/(-4) a multiple of 22?
True
Suppose 0 = -5*u + 260 + 115. Is 26 a factor of u?
False
Let i(x) = 3*x**2 - 4*x + 11. Is i(6) a multiple of 26?
False
Suppose -4*m = -7*m + 9. Is 10 a factor of -2 + 4 - m - -38?
False
Let p(q) = q**3 + 12*q**2 - 13*q. Let o be p(-13). Suppose 3*d + o*s + 4*s = 31, -48 = -5*d - 3*s. Is 2 a factor of d?
False
Let u(m) = m + 1. Let z be (-10)/25 - 64/(-10). Does 3 divide u(z)?
False
Let y be 4 - (-2 - -1 - 1). Does 2 divide 50/y - 6/(-9)?
False
Let h be 3*(-8)/(-2 - -3). Let t = -9 - h. Is 4 a factor of t?
False
Suppose 3*i - 2*i = -3*g - 58, 22 = -g + i. Let u = 34 + g. Does 9 divide u?
False
Let g(p) = -p**3 - 4*p**2 - 4*p. Let f be g(-3). Is 19 a factor of f/(-21) + 268/14?
True
Does 9 divide -1*6*(-9)/6?
True
Let m be 45/3*1/(-3). Let r(c) = -c**3 - 6*c**2 - 6*c + 5. Let j be r(m). Does 5 divide j/4*48/20?
False
Suppose v = 6*v - 160. Is 6 a factor of v?
False
Suppose -51 = -n + 5*l, 3*n = 2*l - 50 + 164. Does 9 divide n?
True
Let t(h) = -5*h - 5. Let m be t(-4). Let v = m + -8. Does 3 divide v?
False
Let u = 0 + 0. Suppose 7*k - 3*k - 192 = u. Is 15 a factor of k?
False
Suppose 0*x = -3*x + 6. Suppose -4*p + x*t - 13 = 5, -p + 3*t = 17. Let s = p + 29. Is 17 a factor of s?
False
Suppose 55 = 3*h + 2*h. Suppose -1 + h = 2*v. Suppose 4*t - 173 = -v*n, -4*t = 2*n - t - 65. Is n a multiple of 13?
False
Let j be -21 + (-3)/(-3) + 2. Let m = 25 + j. Suppose m = 2*w + 1. Is w a multiple of 3?
True
Is (-144)/(-40)*3*5 a multiple of 9?
True
Let u = -39 - -18. Let i = u + 43. Is 6 a factor of i?
False
Suppose 4*v = -v + 3*g + 19, -2*v - 3*g + 16 = 0. Suppose -146 = -v*z + 99. Is 12 a factor of z?
False
Let s(t) = -t**3 - 6*t**2 + 4*t - 3. Let g be s(-4). Let b be ((-15)/4 - -4)*-4. Is b/(1 - (-54)/g) a multiple of 11?
False
Suppose -16 = -3*u + 8. Is 6 a factor of (u/12)/(4/198)?
False
Suppose -5*w + 90 = -140. Is 13 a factor of w?
False
Let g(w) = -w**3 + w**2 + 2. Let c be g(0). Let o(f) = -f**3 - f**2. Let k be o(-2). Suppose k*x + 2*y = 46, -c*x - 8*y + 3*y = -3. Does 13 divide x?
False
Let g be (-2 + -1)*(-8)/(-12). Let y(d) = -8*d**3 + 3*d**2 + 4*d + 2. Let q be y(g). Let b = -37 + q. Is b a multiple of 16?
False
Suppose -3*w - 2*w + 20 = 0. Suppose 8 = 2*r - 4*u, -r = -5*r - 3*u - 17. Does 22 divide -6*(r - 14/w)?
False
Suppose 0*g - 40 = -2*t + 2*g, g = 3*t - 64. Does 11 divide t?
True
Let b be 1/((3 + -2)/5). Suppose 3*x + b*g = 22 + 63, g - 2 = 0. Is 6 a factor of x?
False
Suppose 5*w = -2*g - 21, -5*g + 0*w = -w - 15. Let h be 2 + 1 + 1 - g. Is 9 a factor of 79/3 + h/(-6)?
False
Does 6 divide ((-72)/15)/((-10)/175)?
True
Suppose b = -5*z + 5*b + 133, -4*b + 92 = 4*z. Suppose 0 = 5*y + 25 + z. Let k = 23 + y. Is k a multiple of 9?
False
Suppose -a + 10 = 3. Let u = a + -5. Suppose 10*b + u*t = 5*b + 52, 4*b + 2*t - 40 = 0. Is b a multiple of 4?
True
Suppose 2*h + 3*g - 259 = 23, -5*g = -20. Is h a multiple of 45?
True
Let i(c) = -2*c**3 + 7*c**2 - c - 4. Let b(p) = p**3 - 4*p**2 + p + 2. Let g(j) = -9*b(j) - 4*i(j). Is 21 a factor of g(4)?
True
Let q be (2 + -1)*(0 + -1). Let y = q - -5. Suppose 4 = -2*x, 3*x - 132 = -y*c + 5*x. Does 12 divide c?
False
Let u(n) = 3*n - 1. Let x be u(-2). Is (-2)/x + 188/28 a multiple of 7?
True
Is 11 a factor of (54/(-45))/((-