+ 5*p = -30. Let a(t) = -2*t**2 - 8*t - 7. Let h be a(p). Let q = 72 + h. Is 11 a factor of q?
False
Is (15/10 - (-39)/18)*54 a multiple of 6?
True
Let s(d) = -3*d + 75384. Let b be s(0). Is (b/(-88))/(-9) - (-4)/(-22) a multiple of 19?
True
Let g(n) = -8*n - 48. Let b(z) = 3*z + 16. Let u(j) = -10*b(j) - 3*g(j). Is u(-6) a multiple of 8?
False
Suppose -67 + 22 = 3*g. Let n(m) = -6*m - 22. Is 17 a factor of n(g)?
True
Let l(o) be the first derivative of -o**3/3 - 4*o**2 - 6*o - 3. Let m be l(-6). Suppose -v = -m - 7. Is v a multiple of 13?
True
Let w = 1273 - -3521. Is 141 a factor of w?
True
Suppose -2*d + 19 = -59. Does 6 divide d?
False
Let w(a) = a**3 + 7*a**2 + a + 12. Let g be w(-7). Suppose 4*h = -2*y + 104, -g*h - 4*y = -6*y - 121. Is h a multiple of 3?
False
Suppose i - 2*g - 118 = 2*g, -i + 115 = -3*g. Suppose 7*a = 5*a + i. Is 13 a factor of a?
False
Is 4/(-14) - ((-17096)/56 - 0) a multiple of 5?
True
Let i = 2307 + -1329. Is 46 a factor of i?
False
Let y(r) = -r**2 + 6*r + 2. Let p be 6 - 0/(-2 + 3). Let c be y(p). Suppose 18 = -c*m + 80. Is 8 a factor of m?
False
Let p = 3374 - 1877. Is 81 a factor of p?
False
Suppose 9*o - 55 = -2*o. Suppose -i + 123 = 2*j - 2*i, j = o*i + 75. Is 15 a factor of j?
True
Let v = -456 - -819. Is 28 a factor of v?
False
Let d(q) = 2*q**2 + 8*q - 3. Let y be d(-6). Suppose 0 = 22*o - y*o - 57. Does 30 divide o?
False
Does 10 divide (78/5)/(519/43250)?
True
Suppose 7*l = 5*l + 1400. Is l/7 + (-1 - (-3 - -2)) a multiple of 10?
True
Let g(l) be the second derivative of -l**6/360 - l**5/10 - l**4/12 - 3*l. Let y(a) be the third derivative of g(a). Is 10 a factor of y(-11)?
True
Let m = -70 + 58. Does 13 divide ((-1)/(m/(-280)))/((-2)/3)?
False
Let s(r) = 3*r**2 + 8 + 6*r - r**3 + 10*r - 10*r - 2*r**2. Is 16 a factor of s(-5)?
True
Suppose -7*p + 2626 = -174. Is 20 a factor of p?
True
Suppose 0 = -0*d - 6*d - 18. Let p = d + 13. Is p a multiple of 3?
False
Let v be ((-1)/(-1))/((-3)/(-51)). Suppose 101 = 3*z + v. Is z a multiple of 20?
False
Suppose -6*j + 1636 + 1010 = 0. Does 43 divide j?
False
Let j(c) = 10*c**2 + 3*c - 6. Let y be j(4). Let a(x) = -10*x - 135. Let w be a(-14). Suppose 4*u = 3*m + 161, 3*u + w*m - y = -9. Is 11 a factor of u?
True
Is 3 a factor of (-36)/81 - (-17034)/54?
True
Let n(j) = 57*j - 310. Does 16 divide n(9)?
False
Let k be -485*(3 + (-17)/5). Suppose -5*z + 485 = -w, -2*z = 4*w - 0*w - k. Is 19 a factor of z?
False
Let b = 780 + -457. Is 16 a factor of b?
False
Suppose -15 = -2*j - j + 3*n, -5*n = 5*j + 15. Is 12*-1*(j - (1 + 1)) a multiple of 6?
True
Let d = -7 - -20. Is (-16)/104 - (-3512)/d a multiple of 27?
True
Suppose 4*d - 48 = 36. Does 6 divide d?
False
Let u = 274 - 81. Let f = 333 - u. Suppose -6*v + v + 4*y + f = 0, 4*y = 0. Does 5 divide v?
False
Let n(l) = 3417*l + 5. Let x be n(-1). Is 34 a factor of -1 + x/(-20) - (-2)/5?
True
Suppose j + 4*o + 9 = 0, 0 = -2*j - j - 2*o + 3. Suppose h - j*y = 144, 5*y = h - 0*h - 134. Let z = h - 33. Is z a multiple of 37?
False
Suppose -j = 2*j - 2*s, -4*s = 3*j - 18. Let p be ((-15)/(-25))/(j/20). Suppose -5*k - p = -136. Is 13 a factor of k?
True
Let i(a) = a**2 + 8*a - 8. Let m be i(-7). Let q be (-5)/(m/54)*4. Suppose -4*n = -0*n - q. Is 6 a factor of n?
True
Suppose 0 = 2*s - 7*s + 80. Suppose 0 = -5*g + 5*t + 120, -2*g + 5*t + 20 = -s. Is g a multiple of 11?
False
Suppose 1060 = 5*h + 5*z, 0*h - 3*z + 426 = 2*h. Is h a multiple of 15?
True
Let k be 21/1*1*9. Let f be (7/3)/(7/k). Suppose 0 = 2*j + 2*x - 66, 5*x = 5*j - 82 - f. Is j a multiple of 8?
False
Let z = 108 - 103. Suppose -228 = z*h - 783. Is h a multiple of 29?
False
Let m = 8 - 6. Suppose -3*p = m*z - z + 16, -40 = 5*p + 5*z. Let u = 7 + p. Does 2 divide u?
False
Let u(i) be the first derivative of -i**4/4 + 14*i**3/3 - 9*i**2/2 + 16*i - 8. Is 17 a factor of u(13)?
True
Let s = -3 - -7. Suppose -5*v + 3*v = 5*m - 34, s*m = -v + 11. Suppose o + 0*o - v = -3*x, -o + 32 = -2*x. Is o a multiple of 10?
True
Suppose -3*q + 13 = 10, 3*a + 4*q = 14344. Does 21 divide a?
False
Is 7/(-21) + (-1892)/(-6) a multiple of 5?
True
Suppose z - d = 0, -d = d - 6. Suppose 0 = -z*s + 8*s - 25. Suppose 195 = 5*j + s. Is j a multiple of 6?
False
Let j be 4/28 + (-26)/(-14). Does 24 divide ((100/15)/(-5))/(j/(-216))?
True
Suppose 23*c + 1720 = 31*c. Is 14 a factor of c?
False
Let k be -1 + 3 - 6 - (-70 + -2). Suppose -12*m + k = -316. Is m a multiple of 8?
True
Suppose 28 = -x + 30. Let d(l) = x + 77*l - 1 + 1. Is 10 a factor of d(1)?
False
Let r = -7 - -12. Let z(j) = j**3 + 17*j**2 - 2*j - 36. Let v be z(-17). Does 15 divide (-75 - r)*v/4?
False
Let y(q) = -2*q + 2. Let s be y(4). Let d(h) be the second derivative of -7*h**3/3 - 5*h**2/2 + 3*h. Does 21 divide d(s)?
False
Suppose -40 = 2*t - 6*t. Is 2/5 - (-646)/t a multiple of 13?
True
Suppose 0 = -g + 5 - 6. Let z be 1/(g + -4 + 6). Let u = z + 15. Is u a multiple of 6?
False
Let o(m) = 2*m**3 + 2*m**2 - m + 4. Let p be o(-3). Let a = 51 + p. Is 952/88 + 4/a a multiple of 7?
False
Let u(i) = 27*i - 20. Let v be u(7). Suppose 15*x - 56 = v. Does 5 divide x?
True
Let u(b) = -33*b**3 + 2*b**2 + 8*b. Does 32 divide u(-2)?
True
Let r = -44 - -46. Suppose 4*a + r*d - 296 = 0, 2*d + 3*d = -5*a + 370. Is 19 a factor of a?
False
Let v(i) = 8*i - 32. Let z be v(4). Suppose m - 66 = -2*o, 5*o + 3*m + m - 162 = z. Is 31 a factor of o?
False
Let h = 1377 + -1026. Is h even?
False
Let f be -2 + (-6)/(-1) + -2. Suppose -f*t - 7 = -35. Suppose -3*a + 254 - t = 0. Is 20 a factor of a?
True
Suppose -4*w + 2*w = 2*c - 1646, -5*w + 3296 = 4*c. Is c a multiple of 9?
True
Let q(k) = -40*k + 103*k - 34*k - 30 + 9 - 34*k. Let b(x) = x**3 + 5*x**2 - 4*x + 5. Let v be b(-6). Is q(v) a multiple of 10?
False
Suppose 15182 = -85*p + 62782. Is p a multiple of 56?
True
Suppose -6 = 2*q, -2*t - 6*q + 2*q = 0. Suppose -2*k + 1 = m + 5, 20 = -5*k. Suppose 4*h + 236 = t*a - 2*a, m*h - 20 = 0. Is a a multiple of 19?
False
Let f(i) be the third derivative of i**7/2520 - 13*i**6/720 + i**5/30 - 5*i**2. Let t(b) be the third derivative of f(b). Is 11 a factor of t(12)?
True
Let s be 4/(-3) - (-1)/3. Let r(u) = -19*u - 3. Let t be r(s). Suppose 0 = 4*c - 4*i - t, -8 = -3*i + i. Is 8 a factor of c?
True
Let c(v) = 10*v + 36. Does 12 divide c(6)?
True
Suppose -3*y - 6687 = -3*k, -6*k + 3*k + 2*y = -6690. Is k a multiple of 49?
False
Let l(h) = 40*h**2 + 5*h + 48. Does 9 divide l(-5)?
False
Let g(t) = t**3 + 2*t**2 - 7*t + 11. Suppose 8*a - 7 = 9. Is 9 a factor of g(a)?
False
Let s(q) = -q**3 + q**2 + 3*q + 3. Let l(b) = 2*b**3 - 2*b**2 - 6*b - 7. Let t(u) = -4*l(u) - 9*s(u). Is t(3) a multiple of 9?
False
Suppose l = 2*c - 317, 20*l - 332 = -2*c + 18*l. Is c a multiple of 7?
True
Suppose 567 = 3*m - 57. Is m a multiple of 4?
True
Let r(v) = v**3 - 11*v**2 - 16*v - 12. Let z be r(12). Does 8 divide 12/((-5)/(z/9))?
True
Does 5 divide -30*1/((-36)/114)?
True
Let m(o) = -o**3 + 29*o**2 - 50*o - 28. Is m(26) a multiple of 20?
True
Suppose -2*b + 5*b + 87 = 0. Let d = b + 68. Suppose 0*h = h - d. Is 13 a factor of h?
True
Suppose -2*h = -5*y + 33 - 11, 0 = 3*y - 2*h - 14. Let d be 10/(-3)*(-54)/(-9). Does 17 divide ((-408)/d)/(y/10)?
True
Let c(j) be the first derivative of 5*j**2/2 - 2*j - 13. Let r be 2 - -7 - (-9)/(-3). Is 14 a factor of c(r)?
True
Let z = -129 + 134. Suppose -v - 516 = -z*v. Is v a multiple of 43?
True
Let w = -2 + 11. Let y be 6/w*(-3)/(-1). Does 6 divide y/2 + 207/9?
True
Let f(n) be the second derivative of 0*n**2 - 5*n - 7/6*n**3 + 0 - 1/12*n**4. Is f(-5) a multiple of 5?
True
Suppose -26*m + 1310 = -21*m. Is 13 a factor of m?
False
Suppose -m = 2*v + 638, -5*m + 1595 = 2*v - 7*v. Let a = v - -196. Let u = a - -214. Is u a multiple of 15?
False
Does 131 divide 1163/2 + (22/(-4))/(-11)?
False
Let z(i) = 4*i**3 + i**2 - 4*i - 4. Let f(v) = -17*v**3 - 4*v**2 + 17*v + 17. Let m(o) = -6*f(o) - 26*z(o). Is m(-3) a multiple of 16?
True
Let k(z) = -4*z**3 - z + z**2 + 3 + 4*z**3 - z**3. Let x be ((-1 - 5) + 6)/(-2). Is 3 a factor of k(x)?
True
Suppose 0 = m, z = -z - m + 2964. Does 78 divide z?
True
Let s(c) = 3*c - 5. Let r be s(3). Let j(t) = -t**3 + t**2 + 3*t - 5. Let l be j(r). Let m = -27 - l. Does 14 divide m?
True
Let y(s) = s**3 - 10*s**2 - 2. 