s q a multiple of 5?
True
Suppose 0 = -4*h - 2 + 10. Suppose 0 = -h*t + 3*f + 313 - 68, 5*t + f - 587 = 0. Is t a multiple of 13?
False
Let k(d) be the third derivative of d**6/120 + 2*d**5/15 - 13*d**4/24 - 3*d**3/2 - 3*d**2. Let y be 3/(-3*2/18). Does 9 divide k(y)?
True
Let i(u) = 2*u**2 - 7*u + 4. Let c(h) be the second derivative of h**4/12 - h**3/6 + h**2/2 + h. Let d(g) = -c(g) + i(g). Is 2 a factor of d(6)?
False
Let k = 908 + -549. Suppose -5*v = 5, -d - 5*v = -3*d + k. Is 11 a factor of d?
False
Let b be (-1)/(-2) - (-66)/4. Suppose -b = 2*m + 7. Is 2 + m/4 + 7 a multiple of 2?
True
Is 3*(-1)/((-15)/745) a multiple of 4?
False
Let x(j) = 11*j**3 + 6*j**2 - 39*j - 9. Is 81 a factor of x(6)?
True
Let c = -14 + -10. Is (185/(-20))/(3/c) a multiple of 11?
False
Let j = 1544 + -1084. Is 21 a factor of j?
False
Suppose 0 = -1315*b + 1349*b - 217328. Does 79 divide b?
False
Is 11 a factor of -67 - -68 - -12*28?
False
Let b be 1/(14/4 + -3). Let t be 475/6 - b/12. Suppose -3*h = 2*y - t, 5*y - 93 = 5*h + 67. Does 8 divide y?
False
Is 7 a factor of (-2 - -1)*(-140)/4?
True
Let f = -537 + 1233. Does 29 divide f?
True
Let a = 384 - 62. Is 4 a factor of a?
False
Suppose -3*k + 14 = -55. Suppose 616 = k*c - 16*c. Does 22 divide c?
True
Let z be (0 - (-2 - -1)) + -82. Let s(x) = -x**3 + x**2 - 11*x + 135. Let i be s(0). Let m = i + z. Does 18 divide m?
True
Let d be 24/6 - -1*6. Is 572/5 + d/(-25) a multiple of 19?
True
Suppose -6 + 26 = 5*s. Suppose 2*x - 40 = -0*x - 2*y, 0 = x - s*y - 15. Does 10 divide x?
False
Let o = -173 - -176. Let j(g) = 31*g**2 - 5*g + 6. Does 30 divide j(o)?
True
Let a = 648 - 256. Is 7 a factor of a?
True
Suppose 3*h - 3 = 0, -4*p + 3*h + 3182 = p. Does 13 divide p?
True
Let r = 150 - -591. Does 3 divide r?
True
Let s = -70 + 70. Suppose -196 = -a - s*a. Does 34 divide a?
False
Suppose 3*n = 3*z + 162, -3*z + 16 = z. Is n a multiple of 6?
False
Let i(s) = -16*s**3 + s**2 - s + 1. Let h be i(1). Let l = -13 - h. Suppose 93 = l*x + 9. Is 18 a factor of x?
False
Let v be 0 - (1 + -3 + 0). Suppose v*r = 10 + 40. Is r a multiple of 7?
False
Let r be (-13)/39 - 14/(-6). Let d(l) = -r - 8*l**2 - 4*l + 4 + 13*l**2 + l + l**3. Is 7 a factor of d(-3)?
False
Let d be ((-2)/(-6))/(1/39). Suppose -3*g = -2*b - 20, d = 3*g + 3*b + 2*b. Suppose -4*k + g = -122. Does 16 divide k?
True
Suppose 13*o + 12 = 11*o. Let s(h) be the first derivative of h**4/4 + 2*h**3 - 3*h**2/2 - 7*h - 1. Does 3 divide s(o)?
False
Suppose 0*h + 3*h - 6 = -2*k, -6 = 2*k. Suppose 0 = -5*o + 5*g + 375, 5*g - 267 = -h*o + 15. Is 14 a factor of o?
False
Suppose -2*k = -6*k - 12. Is 23 a factor of 2 + 105/(8 + k)?
True
Let y = -135 + 325. Is 19 a factor of y?
True
Let s(n) be the second derivative of 1/20*n**5 - 1/6*n**3 + 7*n**2 + 7*n + 0 - 1/12*n**4. Does 5 divide s(0)?
False
Suppose -4*l = 3*k - 44, 1 = k - 3. Let u(q) = -q**2 + 11*q + 2. Is 13 a factor of u(l)?
True
Let l(z) = -z**3 - 2*z**2 + 4*z + 1. Let w be l(-6). Suppose -w = 4*y - 15*y. Does 6 divide y?
False
Suppose 38 = -2*r + 2*q, -5*r + 3*q - 7*q = 104. Let n = -17 - r. Does 3 divide n?
True
Does 40 divide (475/(-380))/(1/(-596))?
False
Let x = -36 + 22. Suppose i - 1 = -8. Let t = i - x. Is t a multiple of 7?
True
Suppose 95 = 5*p - s - 174, -4*s = -5*p + 266. Suppose 4*x - w = 2*x - 72, x = -4*w - p. Let c = -8 - x. Does 10 divide c?
True
Suppose u + 7 = 9. Let a(k) = -u*k**2 - 10 - 2*k**2 + 7*k - k**3 + 19. Is 13 a factor of a(-6)?
True
Is (10/(-3))/((32/(-204))/8) a multiple of 34?
True
Let a(f) = f**2 + 6*f + 7. Let d be a(-5). Let j(n) = -15 - 6*n + 15*n**2 + n - 3*n**3 + d*n**3. Is j(14) a multiple of 30?
False
Let s be -274*(6/(-3) + 1). Suppose -2*m = -4*m + s. Suppose -5*y = -m - 193. Is 27 a factor of y?
False
Let z = -84 - -88. Is z even?
True
Suppose p = 6*p + 10. Let y be 10 - 12/(p + 5). Suppose 0 = -u + y*u - 200. Is 22 a factor of u?
False
Let f(b) = b**3 - 7*b**2 - 10*b - 24. Does 8 divide f(9)?
True
Let o(u) be the third derivative of -u**6/360 - u**5/15 + u**4/4 + 2*u**3/3 - 4*u**2. Let x(p) be the first derivative of o(p). Does 8 divide x(-6)?
False
Suppose 4*u + 650 + 86 = 4*y, 2*y + u - 383 = 0. Does 11 divide y?
False
Suppose -2*m = 68 - 272. Suppose 0 = -4*k + 2*b - m, 6 = b + 3. Is 25 a factor of k/84 + 1054/14?
True
Suppose t + 5*l = 638, -5*t + 7*l + 3232 = 11*l. Is t a multiple of 12?
True
Let s be -2*45/(-2) + -2. Let t = 41 + s. Suppose -3*k = -r - 118, r + t = 2*k - r. Is k a multiple of 11?
False
Suppose -9 = q + 3*t + t, 0 = -3*q + 5*t + 7. Is 14 a factor of 30*(10/6 + q)?
False
Let h = -626 - -746. Is h a multiple of 10?
True
Suppose 0 = -68*j + 63*j + 1305. Is 30 a factor of j?
False
Let f be ((-70)/(-15))/((-4)/(-6)). Let t = f - 19. Is 18 a factor of (t/8)/(3/(-64))?
False
Suppose -17*f - 1736 = -24*f. Does 37 divide f?
False
Suppose -537 = 4*c + 67. Let y = 254 + c. Suppose -3*g = m - y, m = g - 4*m - 29. Does 12 divide g?
False
Does 15 divide ((-173864)/(-515))/(4/10)?
False
Let i = -69 - -69. Suppose 6*s - 270 = -i*s. Does 15 divide s?
True
Let d = -366 - -426. Is 8 a factor of d?
False
Suppose 13 - 4 = 3*m. Let k be m + (-6)/3 + 8. Is (k/1)/((-9)/(-18)) a multiple of 7?
False
Let b = -266 - -1566. Is 130 a factor of b?
True
Let u(m) = -m**3 + 14*m**2 + 10*m + 17. Is 10 a factor of u(14)?
False
Let v be ((-6)/5)/(2/(-5)). Suppose -v*k - k = 100. Let b = k - -57. Is 20 a factor of b?
False
Is -19*(-2)/(12/90) a multiple of 12?
False
Suppose -6*t + 2*t = -40. Let a = 55 - 63. Let d = t - a. Is 7 a factor of d?
False
Let m be 8/40 + (-452)/10. Let a = m - -121. Let s = -8 + a. Does 12 divide s?
False
Suppose 2*m + 33 = 37. Does 7 divide m/(-5) + (-9)/((-180)/848)?
True
Let t(r) = 3*r**2 - 35*r + 4. Is t(21) a multiple of 42?
False
Let f(u) = 4*u. Let a be f(3). Suppose 8*l - 4 = a*l. Is 7 a factor of 1 + (-3)/l - -27?
False
Let m(a) = -a + 9. Suppose -20 = -5*k - 0*x - 2*x, -2*k = x - 8. Let t be m(k). Suppose -t*f + 2*b + 2 = -69, f = b + 16. Does 4 divide f?
False
Is (-15 - -18)/((-3)/(-2)) + 538 a multiple of 36?
True
Suppose -a - 11 = 5*z, -z - 3*a + 2 = -7. Is -32*(-1 + z/6) a multiple of 24?
True
Suppose 2*u + 5 + 6 = o, 0 = -2*o + 3*u + 24. Suppose -m - 5*q = 2*m + 12, 3*m = -4*q - o. Let d = 8 - m. Is d a multiple of 4?
False
Let x(t) = -t**2 + 6*t + 5. Let i be x(20). Let y = i - -471. Is 41 a factor of y?
False
Let f(o) = o**3 + 8*o**2 + 9*o + 4. Let i be f(-6). Suppose 0 = -2*l - 4*h, 0*l - 2*h + 6 = 4*l. Suppose l*d - 4 = i. Is d a multiple of 13?
True
Is 201 + 2 + (9 - 7) a multiple of 22?
False
Suppose -5 = -3*h + 3*g + 19, -8 = 2*h + 4*g. Suppose 0*d = h*d + 20, 0 = t - 4*d - 110. Does 15 divide t?
True
Let q(d) = -5*d**2 - 6894 + d - 2*d**3 + 6894. Is 13 a factor of q(-5)?
False
Does 20 divide (-5)/(1 + (-25)/24)?
True
Suppose -4*m - 33 = -5*m. Let o(v) = 2*v + m - 3*v + 3*v. Does 7 divide o(0)?
False
Let y = 348 + -243. Is 21 a factor of y?
True
Let i(c) = 4*c - 122. Let s be i(29). Let a be 122/8 + 2/(-8). Let d = a + s. Does 9 divide d?
True
Let f(i) be the second derivative of -15/2*i**2 + 1/20*i**5 + 0 + 1/3*i**3 - i**4 - i. Does 9 divide f(12)?
True
Let x(g) = -g + 1. Let p be x(-2). Suppose -21 = p*r + 5*n, 2*n - n = 3. Is 8 a factor of (-16)/(-3)*(-54)/r?
True
Let r(b) = -9*b - 59. Suppose 3*a = -y - 2*y - 39, 2*a - 3*y + 31 = 0. Is 15 a factor of r(a)?
False
Is 38 a factor of (-4)/10*5*-516?
False
Let u(r) = 19*r**2 + 25. Is 17 a factor of u(5)?
False
Is 4486/8 - (-4 - 133/(-28)) a multiple of 80?
True
Suppose 4*n - 803 = 5*k + 5465, 0 = 4*n - 2*k - 6280. Is n a multiple of 16?
False
Let z be (-2)/(-5) + (-130)/(-50). Let w(c) = -z*c - 2*c + 5 + 6*c. Is 10 a factor of w(15)?
True
Suppose -1 = 4*s + 35. Is 12 a factor of -2 + s/((-45)/250)?
True
Let p = 18 + -13. Let t(r) = r**2 - 5*r - r + p + r - 1. Does 8 divide t(9)?
True
Let c(r) = 7*r - 2. Let i be c(1). Suppose a - i*t = -2, 3*a - 3*t - 32 = -2. Is a a multiple of 2?
False
Let a(i) = i - 39 - i**2 + 4*i - 23*i. Is 6 a factor of a(-15)?
True
Suppose 1076 = 9*k - 4. Does 6 divide k?
True
Let g(c) = -4*c + 1. Let z(v) = 5*v - 1. Let d(i) = -3*g(i) - 2*z(i). Is d(8) a multiple of 14?
False
Does 10 divide (-675)/6*((-24)/5 + 4)?
True
Let p be -17*(-3 - 0/3). Let h = p - 27. Is 3 a f