5*c**4/24 + 4*c**3/3 - 4. Let q(x) be the third derivative of t(x). Is q(-4) a multiple of 2?
False
Suppose -14 = -4*d - 2*k, -5*k = -4*d + 5*d - 8. Is 34 a factor of 3*103/d - 1?
True
Does 24 divide -3*4*(-42)/7?
True
Let n(u) = 9*u**3 - u**2 - u. Let d(b) = b**3 - b - 1. Let k(s) = d(s) - n(s). Does 8 divide k(-1)?
True
Suppose q + 60 = 5*q. Let f = 3 + q. Does 6 divide f?
True
Let z be (-4)/(-8)*(7 - -1). Does 14 divide 16 - 2/4*z?
True
Let n be (-10)/(-4) + (-1)/(-2). Suppose 0*j = -j - 5*u + 70, 2*j - 88 = n*u. Suppose 0*m = 5*m - j. Is 5 a factor of m?
True
Suppose 5*z + 1 = -v, 67 = -5*v + 8*v + z. Is v a multiple of 21?
False
Let w(x) = 3*x - 23. Does 13 divide w(12)?
True
Suppose -3*t - q = -87, 2*t - 30 = -5*q + 15. Does 26 divide t?
False
Let n(m) = -m**3 - 3*m**2 + 2*m - 4. Let v be n(-4). Suppose -5*p - v*q = 290, -2*p - 104 = 3*q + 19. Does 17 divide (-3)/2*2 - p?
True
Let x = 14 + 21. Does 5 divide x?
True
Let o = 856 - 569. Does 41 divide o?
True
Let n = 14 + -26. Let y be -7*(-2 + (-2 - -1)). Let h = y + n. Does 9 divide h?
True
Let w(a) = 4*a - 10. Let d be w(13). Suppose -3 = -3*p + d. Does 5 divide p?
True
Suppose 3*d - 4 = 2*d. Suppose 4*k - 3*k = 5*m, 0 = d*k. Suppose 0 = -3*i - m*i + 90. Is 11 a factor of i?
False
Suppose 0 = 3*g - 6*g + 6. Suppose -27 = -g*w - 4*q - q, 0 = -w + 3*q - 3. Is w a multiple of 6?
True
Let a be -2*41/4*2. Let z = 78 + a. Suppose 0 = 3*l + 2*u - 18, -u = 3*l + 2*l - z. Does 4 divide l?
True
Let q = 4 + -4. Let k = 9 + q. Is k a multiple of 9?
True
Suppose -4*m = -3*m. Suppose m*v + 50 = -5*v. Does 11 divide -44*(v/4 + 2)?
True
Is ((-182)/(-6))/((-6)/(-18)) a multiple of 12?
False
Suppose 0 = 5*t - 10, -3*d + 8*t = 3*t + 4. Suppose 2*a + 3*o - o = -10, 0 = a + d*o + 10. Suppose -46 = -3*p + 2*j, a = -p + 2*p - j - 16. Does 14 divide p?
True
Let t be (1/2)/((-4)/(-24)). Suppose -t*r = 45 + 3. Let v = 8 - r. Is v a multiple of 12?
True
Suppose 9*u = 4*u + 30. Let k = 8 - u. Does 15 divide 1 - (k - 1)*-29?
True
Let c(s) = -3*s**2 + 5*s - 1. Let m(n) = n**2 - 3*n + 1. Let x(i) = -2*c(i) - 5*m(i). Let p be x(-6). Is (-4)/12 - (-10)/p a multiple of 2?
False
Is -1*(-8)/(-4) - -9 a multiple of 7?
True
Let h(t) = -t**2 - 6*t. Let i be h(-5). Let g be (i - 1) + (-4 - -5). Suppose 80 = g*s - 3*z, 5*z + 12 = -s - 0. Is s a multiple of 8?
False
Suppose -271 = -4*x - f, 232 = 4*x - x - 5*f. Does 23 divide x?
True
Let m be 12/3 - 0/1. Suppose 0 = 5*n + 5, n + m*n = 4*s - 149. Does 18 divide s?
True
Suppose 0 = 4*y - 94 - 234. Is y a multiple of 21?
False
Suppose -6 = 5*o - 71. Suppose 75 = 3*z - d - o, 2*z + d - 62 = 0. Is z a multiple of 15?
True
Let j be 4/4*(-4)/(-2). Suppose -2*k = -4*k + 10. Suppose j*x - 6*x - 2*c + 38 = 0, k*x - 3*c = 53. Is x a multiple of 9?
False
Let w = 34 - 6. Is w a multiple of 14?
True
Let d be 3/(-2)*(-98)/(-21). Let y(l) = -l**3 - 8*l**2 - 10*l - 5. Does 8 divide y(d)?
True
Let h = -7 - -11. Let w be (-9)/3*(-8)/6. Suppose -w*z - 2*r = -6 - 16, -h*z = -r - 37. Is z a multiple of 8?
True
Suppose 0 = 3*t + 4*s + 1153, -3*t - 1169 = -0*t - 4*s. Does 4 divide t/(-27) + 2/3?
False
Suppose 0 = -2*h - 0 - 2. Does 7 divide 15 + h + 0 + 0?
True
Suppose -7*d + 84 = -3*d. Does 7 divide d?
True
Let p(s) be the second derivative of 5*s**4/12 - s**2/2 + 2*s. Let v be p(1). Suppose -v*h + 1 = -107. Is 11 a factor of h?
False
Suppose 0 = 2*x - 7*x + 855. Is 19 a factor of x?
True
Let q = 22 - 89. Let f = -29 - q. Does 19 divide f?
True
Let p be ((-6)/3)/(-4)*10. Suppose -o - 2*o + 5*q = -35, 0 = 2*o - p*q - 25. Is 5 a factor of o?
True
Let i(o) = -o**3 + 12*o**2 - 15*o + 12. Is i(10) a multiple of 31?
True
Is 6 a factor of ((-12)/8)/3*-34?
False
Let p(v) = 5*v**2 + 2*v - 2. Let l be p(2). Let j be 3/2*220/33. Let i = l - j. Is i a multiple of 7?
False
Suppose 0*z + 2*z = 8. Suppose 5*a = -2*u + 1 - 0, 0 = z*a + 20. Is u a multiple of 6?
False
Let q(x) = -x + 3. Let k be q(0). Suppose 2*c = 3*c + k. Does 4 divide ((-1)/c)/(2/42)?
False
Suppose -4*y - 174 = -3*n, 0*y + y - 4*n + 50 = 0. Is 6 a factor of (2/(-4))/(3/y)?
False
Suppose 0 = 3*c - 0*c + 2*l + 23, -8 = 2*l. Let u(k) = 2*k**2 + 2*k - 6. Is 17 a factor of u(c)?
True
Let u(n) = -n**3 + 9*n**2 - 8*n + 2. Let k be u(8). Suppose 0 = -5*w - k*p + 277, p = -w + 71 - 18. Is 15 a factor of w?
False
Let i = -44 - -5. Suppose -150 = -2*c + 3*s + 9, 77 = c + s. Let v = i + c. Does 13 divide v?
True
Let v = -14 + 11. Does 11 divide -66*(v/9)/1?
True
Let x = 5 + 100. Is x a multiple of 15?
True
Suppose 11 = -4*q - a, -3*q + 5 = -5*a - 4. Does 5 divide 8 - (2/q + -1)?
True
Let y(x) = -2*x - 4. Let b be y(-4). Let j be (7/(-2))/(2/b). Let l = -2 - j. Is 2 a factor of l?
False
Let s(z) = -z**2 - 8*z - 4. Let j be s(-7). Let y(k) = 3*k**3 + 2*k**2 + 2*k + 1. Let a be y(-1). Does 12 divide (j/a)/((-2)/16)?
True
Let g(l) = 63*l - 15 + 1 + 7 + 8. Does 16 divide g(1)?
True
Suppose 2*a = -3*j + 82, 2*j + 2*a - 52 = -0*a. Is 10 a factor of j?
True
Let f be 2*(-1)/3*-12. Suppose 2*o + 0 = f. Is o a multiple of 2?
True
Suppose 0*a + 41 = a. Let k = -22 + a. Is k a multiple of 7?
False
Let o be (-2)/5 - (-48)/(-30). Is 2 a factor of (21/(-6) + 0)*o?
False
Suppose 882 = 2*q + l - 3*l, 0 = -5*l + 10. Suppose 5*x = q + 457. Suppose w = -3*w + x. Does 16 divide w?
False
Let l = 5 + -12. Let n = 10 + l. Suppose o + 24 = n*d + 2*o, 6 = -2*o. Does 8 divide d?
False
Suppose 4*m + m - 10 = 0. Suppose j + 4*q + 14 = -4*j, 0 = -5*j - 2*q - 12. Let u = m - j. Does 4 divide u?
True
Let a be 3*-2*(-2)/6. Suppose 104 = a*v - v. Suppose 0 = -4*d - 3*r + 5*r + 88, v = 5*d - r. Is 20 a factor of d?
True
Let w = 31 + -11. Let u = 3 + w. Is 14 a factor of u?
False
Suppose -15 = -4*w - w. Suppose -o + 2*o = -t + 13, -t + w*o + 33 = 0. Let y = 28 - t. Does 6 divide y?
False
Does 15 divide 25*((-28)/(-5) + -2)?
True
Let z(h) = 89*h**2 - 7*h + 5. Is z(2) a multiple of 22?
False
Suppose 2 = 3*s - 28. Is 10 a factor of (-1*s)/(3/(-3))?
True
Let u(s) = -4*s - 30. Is 16 a factor of u(-12)?
False
Suppose 3*b + 254 = r - 0*r, -2*b - 5*r - 141 = 0. Suppose 0 = -x - 0*x + 119. Let a = x + b. Does 15 divide a?
False
Let a = 0 - -3. Suppose -4*v = -a*c - 77, -2*v - 5*c + 19 = -0*v. Does 12 divide v?
False
Let u be ((-46)/(-6) + -3)*45. Suppose 4*k - u = -k. Does 14 divide k?
True
Is 2 a factor of ((-6)/10)/((-3)/90)?
True
Suppose 2*l + 2*l = 0. Is ((3 - l) + 0)*3 a multiple of 3?
True
Does 5 divide 13/39*42/2?
False
Let m(g) = g**2 + 8*g - 9. Does 27 divide m(6)?
False
Let v = 0 + 0. Let g(a) = -a**2 - a + 6. Let n be g(v). Suppose 0 = -4*b + n*b - 38. Does 8 divide b?
False
Suppose 203 + 69 = 8*a. Is 17 a factor of a?
True
Suppose -2*l + 7*l = 150. Is (10/l)/((-1)/(-15)) a multiple of 4?
False
Let g be (-4)/(-30) - 348/(-90). Is (-3)/(((-5)/g)/5) a multiple of 8?
False
Suppose 3*n - 10 = n. Suppose 4*y - 300 = 4*z, n*y = -3*z - 3 + 354. Let g = y - 42. Does 19 divide g?
False
Let p(a) = a - 7. Let k be p(10). Suppose -4*g - 29 = -k*n, 3*n - 3*g - 9 = 15. Suppose -n*f = -f - 22. Is 5 a factor of f?
False
Let w be 67 - (-3)/((-3)/(-1)). Let s = w - 47. Is s a multiple of 9?
False
Does 9 divide ((-1)/(-4)*1)/((-5)/(-820))?
False
Let s(j) = -j**3 - 5*j**2 - 7*j - 4. Let t be s(-4). Let r be (-5)/20 + (-94)/t. Is 11 a factor of 2*2/(-4) - r?
True
Suppose x + 17 = 52. Is 14 a factor of x?
False
Let q = -11 - -16. Let t be (28 - 3 - 3)*q. Suppose 5*b = -5*w + t, b + 4*w - 2 = 7*w. Does 9 divide b?
False
Let l be (7/(-5) - -1)*-5. Let q(p) = 5*p**3 + 2*p**2 - p. Let n be q(1). Suppose -l*w - 168 = -n*w. Is 21 a factor of w?
True
Suppose -m - 12 = -0. Suppose 0*u = 2*u, 3*p + 2*u = -9. Is 6 a factor of (-16)/p - m/18?
True
Let x(t) = 7*t**2 + t - 2. Is 13 a factor of x(2)?
False
Let m be (-17)/(-3) - (-6)/(-9). Let f(c) = -11*c**2 + 2*c - 1. Let l be f(1). Is 4/l - (-62)/m a multiple of 12?
True
Suppose 2*q - 2*h - 38 = 0, -4*q = -q + h - 73. Is q a multiple of 15?
False
Suppose 4*i = 301 - 13. Is 24 a factor of i?
True
Suppose 3*z - z + 6 = 0, -5*z = -o + 18. Let f(k) = k**3 + k**2 + 2*k - 4. Let v be f(o). Suppose 3*y + 3*n - 58 = 5*n, -2*n - v = -2*y. Is y a multiple of 20?
True
Let j(p) = p**2 + 3*p - 3. Let d be j(-5). Let l(m) = m - 4. Is 2 a factor of l(d)?
False
Is (-2 + -6)/4 + 63 a multi