 64. Does 19 divide s?
False
Let o = 767 + -230. Is o a multiple of 17?
False
Let m be (-12)/15*20/(-8). Suppose 0*d = -d + m*u + 68, 2*u - 136 = -2*d. Is d a multiple of 9?
False
Let i(n) = n**3 + 2*n**2 - 2*n - 1. Let c be i(-2). Suppose -3*u - 99 = -c*q, -2*u + 30 = 2*q - 56. Does 7 divide q?
False
Let x(l) = -l**3 + 15*l**2 + l + 18. Let u be x(14). Does 2 divide (-1)/((-3)/(u/4))?
False
Let y be (-18)/(6/(-2) + 4). Is 17 a factor of 9/(y/(-40)) - 3?
True
Let d = -165 - -169. Suppose -2*w + 30 = 7*x - 10*x, -2*w = d*x - 44. Is w a multiple of 9?
True
Suppose 7*l - 2*l = 635. Is 24 a factor of l?
False
Let d(m) = -17*m**3 - m**2. Suppose 3*g = 5*z + 5 - 71, 0 = -4*z - 5*g + 38. Let n be (4/(-6))/(z/18). Is d(n) a multiple of 7?
False
Let d = -162 - -958. Suppose 4*r + 0*t = 2*t + d, r - 2*t = 193. Is 21 a factor of r?
False
Suppose -580 = -y - 4*y. Suppose -16 = -4*x + y. Let l = x - 19. Does 14 divide l?
True
Suppose -188*o = -181*o - 10920. Does 40 divide o?
True
Let g = -321 + 476. Is g a multiple of 14?
False
Let h(x) = x. Let z be h(2). Let l(d) = -z*d**2 + 6 + d**2 + 3 + 0*d**2 - 14*d. Does 9 divide l(-14)?
True
Suppose 2*z + 2*z + 4*b - 16 = 0, 19 = 5*z + 4*b. Suppose 2*l - 260 = -z*l. Suppose 5*d = a - l, -d - 180 = -3*a + 2*d. Does 31 divide a?
True
Suppose b + 8 = -12. Let u(j) = 5*j + 3. Let k be u(0). Does 9 divide b/((1 + k)/(-8))?
False
Is 19 a factor of (21/56*-342)/(3/(-8))?
True
Let b be (-5)/(-1*(-2)/(-10)). Let l be (-7 - 1)/(-2) - -41. Let y = l - b. Is 13 a factor of y?
False
Suppose 2*f - 789 = -4*i + 1331, -5*i - 4175 = -4*f. Does 14 divide f?
True
Suppose -57 - 93 = 5*d. Let s be (-676)/36 - (21/(-27) - -1). Let l = s - d. Does 11 divide l?
True
Let a be (128/(-10))/((-4)/120). Suppose a = -0*z + 3*z. Does 9 divide z?
False
Let y(t) = 9*t**2 + 2*t - 1. Let a be y(1). Suppose 4*c = -4*x + 584, -5*x - 933 = -4*c - 349. Does 5 divide 4/a - c/(-10)?
True
Let r be 140/6*(40 + 2). Suppose -8*l + r = -l. Is l a multiple of 34?
False
Suppose 46*r = 72343 + 25361. Is 12 a factor of r?
True
Let f(i) = i**3 - i**2 - 14*i + 12. Suppose -3 = 3*k - 18. Does 37 divide f(k)?
False
Let g be (-1 - 1) + 16/4. Suppose -4*p - 4*b + 56 = 0, g*p - b - 10 = 6. Is p a multiple of 5?
True
Suppose -o = -0 + 161. Let h be o/(-3) - (-1)/3. Is (h/(-4))/(21/(-28)) a multiple of 6?
True
Let h(p) = p**2 + 10*p - 15. Let k = -26 - -13. Let g = k + -1. Is 10 a factor of h(g)?
False
Suppose 20 = -4*k, -14 - 66 = -5*l + k. Is l a multiple of 5?
True
Let l(k) = -3*k**3 - 4*k**2 + 3*k + 11. Let q(s) = s - 5. Let m be q(3). Does 5 divide l(m)?
False
Let v = 4945 - 2880. Does 35 divide v?
True
Suppose -2*z + 13 = 5*v, -5*z = 4*v - 4*z - 8. Suppose 4*b = 13 - v. Suppose b*p = p + 44. Is p a multiple of 6?
False
Let p be 16/(-56) + (-970)/(-14). Suppose x + 2*v = -3*v + p, -4*x + v = -171. Does 21 divide x?
False
Let a(h) = -2*h. Let z be a(1). Let i be 1*z/4*0. Suppose -4*d + 25 + 15 = i. Is 10 a factor of d?
True
Let z = 2051 + 803. Is z a multiple of 23?
False
Let l be -66 + 2 + -5*(-8)/20. Let j = l - -136. Is 29 a factor of j?
False
Let n(t) = -21*t. Suppose -3*l = -0 + 12. Let q be n(l). Suppose 3*f - 7*f + q = 4*b, b + 19 = f. Is 10 a factor of f?
True
Let z = 10 + -3. Is 30 + (6 - (-3 + z)) a multiple of 16?
True
Let o(j) be the second derivative of -j**5/20 - 7*j**4/6 - 7*j**3/6 + 3*j**2 - 8*j. Is 13 a factor of o(-14)?
True
Suppose -11781 = -47*q + 14*q. Is 21 a factor of q?
True
Let w(h) = 5*h - 34. Let j be w(5). Does 17 divide -1 + 123 - (-11 - j)?
False
Let i(n) be the first derivative of -n**4/3 - n**3/6 - n**2/2 - 1. Let j(x) be the second derivative of i(x). Is 3 a factor of j(-1)?
False
Does 34 divide (-3879)/(-6) - (5 + -4)/(-2)?
False
Let z(o) = -4 + 7*o - 3 - 1 + 5. Suppose -12 = m - 4*m + 5*r, -20 = -5*m + 4*r. Does 9 divide z(m)?
False
Let z = 779 - 653. Is 9 a factor of z?
True
Suppose -50*s + 8316 = -29*s. Does 17 divide s?
False
Suppose q - 132 = 303. Suppose 0*b - 4*b = -3*c - q, 3*c - 537 = -5*b. Does 27 divide b?
True
Let i = 116 + -62. Suppose -3*b = 2*q - 57, q - 3*b - 48 + 15 = 0. Let o = i - q. Is 12 a factor of o?
True
Let h(r) be the third derivative of r**6/120 + r**5/6 - 13*r**4/24 - 4*r**3/3 + 5*r**2. Let q be h(-11). Suppose 6*b = 5*b + q. Is 14 a factor of b?
True
Let d be -22*(2*1/4 + -1). Suppose 13*i - 116 = d*i. Does 10 divide i?
False
Let j(g) = -g**3 + 17*g**2 - 9*g - 51. Is j(15) a multiple of 17?
False
Let g(i) = 156*i**2 - 9*i - 23. Is 37 a factor of g(-5)?
True
Suppose -3*j + 1974 = 2*n, 5*n - 4*n + 3 = 0. Does 4 divide j?
True
Let a = 348 - 233. Is 23 a factor of (a/20)/(-1 - (-9)/8)?
True
Let v be (0 + 0/4)/(-1). Let i(w) = w + 15. Is i(v) a multiple of 3?
True
Let y = -1943 + 3440. Does 14 divide y?
False
Let l be -24*((-260)/16)/5. Suppose -i = -0*a - 4*a - l, -2 = -2*a. Does 37 divide i?
False
Suppose -5*q = 2*s - 2726, 3*q + 4*s = 3*s + 1636. Let w = q - -282. Suppose 6*v + 3*v = w. Is v a multiple of 23?
True
Let x(n) = -n**3 - 20*n**2 + 44*n + 5. Let s be x(-22). Suppose 0 = 2*q + 7 - 1, 0 = s*i - q - 243. Does 10 divide i?
False
Is (0 + 189/36)/(1/12) a multiple of 7?
True
Suppose 0 = 4*a - 12, -10*u = -11*u + 5*a + 193. Is u a multiple of 11?
False
Let d = 244 + 504. Does 22 divide d?
True
Is 8 a factor of 5176/14 - (-27)/(1701/18)?
False
Let b be 1/3*(45 + 3). Let d(n) = 2*n + 39. Is 14 a factor of d(b)?
False
Suppose -4*l + 12 = 5*z - z, -4*z = -l - 22. Let o be (-945)/(-18) + 1/l. Is 3 a factor of -2 + -1 - o/(-4)?
False
Let s = -25 + 48. Is s a multiple of 10?
False
Suppose -5*v + 3*q + 524 = 23, -297 = -3*v + 3*q. Does 17 divide v?
True
Suppose 4*r = -2*u + 112, -5*r + 3*u + 155 = -2*u. Suppose -30*l = -r*l. Suppose -m + 6*m - 10 = l. Is m a multiple of 2?
True
Let l = -2 - 0. Let y = l + 25. Is 18 a factor of y?
False
Let d(o) = -o**3 - 10*o**2 - 15*o - 22. Does 13 divide d(-9)?
False
Let p(d) = 15*d**2 - 8*d. Suppose -7*a = 2*a - 36. Is 16 a factor of p(a)?
True
Let s(u) be the third derivative of 7*u**4/24 - u**3 - 8*u**2. Is s(4) a multiple of 22?
True
Let z = 47 - 11. Suppose 3*q = -i + z, -i - 4*q + 0*q = -33. Is i a multiple of 12?
False
Suppose -621 = -4*f - u, 3*f - 153 = 2*f - u. Suppose -f = -l + 90. Does 20 divide (-4 - -2) + l/3?
True
Let w be (-39)/(-18) - (-1)/(-6). Let k = 1 + w. Let i = k + 11. Does 7 divide i?
True
Let d = 418 - 318. Is d a multiple of 8?
False
Let n(w) = -w**2 - w + 1. Let q(x) = 4*x**2 + 4*x + 51. Let b(a) = 6*n(a) + 2*q(a). Is b(0) a multiple of 27?
True
Suppose 2*t - 39 - 31 = 0. Does 16 divide t?
False
Let n(w) = -w**2 + 13*w - 14. Let y be n(13). Let z = -14 - y. Suppose z = 7*f - 4*f - 129. Does 15 divide f?
False
Does 11 divide (8/(-5)*-3)/((-48)/(-1800))?
False
Let g = 9 + -81. Let x = 86 + g. Does 7 divide x?
True
Let z(w) = 79*w**2 - 25*w + 29. Is z(5) a multiple of 7?
False
Suppose 8*h = h. Suppose 4*q = -0*q + 20. Suppose -q*b + 0*b + 370 = h. Is 28 a factor of b?
False
Let b(i) be the first derivative of 13*i**2/2 - 10*i + 21. Does 14 divide b(4)?
True
Suppose 45675 - 169029 = -63*r. Is 89 a factor of r?
True
Let s(x) = -x**3 - 8*x**2 + 8*x + 19. Let n be ((-32)/(-48))/((-4)/54). Is s(n) a multiple of 9?
False
Let m be 15335/55 - -2*(-3)/(-33). Suppose -3*p = 3*j - m, 0 = 4*j - p - 0*p - 387. Is 48 a factor of j?
True
Let n = -4906 + 8386. Is n a multiple of 12?
True
Let t(n) = 9*n + 30. Let p(h) = -2*h**3 - 5*h**2 - 2*h - 1. Let d be p(-3). Is t(d) a multiple of 13?
True
Suppose -6*g + 5*g = 0. Suppose g*u + 2*u + 5*n - 114 = 0, -2*n = 0. Suppose u = k + 1. Is 28 a factor of k?
True
Let n(x) = x**3 + 9*x**2 - 6*x + 10. Let v(d) = -3*d**2 + 5*d + 3. Let o be v(3). Let a be n(o). Suppose 4*i = -h + 11, 4*h = -i + 5*i + a. Does 5 divide h?
True
Let x be 1/(-5 + 4 + 12/9). Is x/(485/470 + -1) a multiple of 5?
False
Is 4 a factor of (-3 - 1) + (-6)/9*-468?
True
Let u(t) = 28*t + 228. Is u(-8) even?
True
Let t(b) = 15*b + 4. Let n(j) = j**2 + 10*j + 11. Let f be n(-9). Is 5 a factor of t(f)?
False
Let y(d) = -d**3 - 8*d**2 - 10*d - 17. Let q be y(-7). Suppose 0*p - q*p + 5*w = -120, 3*p - 90 = -2*w. Is p a multiple of 6?
True
Let j = 1686 + -1368. Is 4 a factor of j?
False
Let i(o) = 16*o**2 - 39*o + 12. Let w be i(5). Let j = w - 145. Does 15 div