13 - h. Does 13 divide z?
False
Suppose 0*o - 3*o + 2*q + 34 = 0, 2 = -o + 4*q. Does 7 divide o?
True
Suppose -10*u - 330 = -1100. Does 11 divide u?
True
Suppose 0 = 9*d - 398 - 1537. Let c = d - 119. Is c a multiple of 6?
True
Suppose -3 = -34*k + 31*k. Let y(w) = 159*w**3 - 3*w**2 + 4*w - 2. Is 12 a factor of y(k)?
False
Let x(a) be the third derivative of -a**6/120 - a**5/20 - a**4/4 - a**3 - 12*a**2. Is x(-4) a multiple of 3?
False
Suppose k - 100 = 5*a - 7*a, -5*k + 5*a = -575. Does 6 divide k?
False
Let n be 764/24 + (-2)/(-12). Suppose -n = -8*f + 6*f. Does 4 divide f?
True
Let b = 246 - -94. Is 68 a factor of b?
True
Is 128 a factor of (-28 + -2)/((-12)/1024)?
True
Suppose 34*t - 7*t = 10395. Does 35 divide t?
True
Let n(u) = 7*u + 46. Is n(22) a multiple of 9?
False
Let p be (-2)/(-11) - ((-838)/(-11) + 2). Let s = p - -135. Is s a multiple of 39?
False
Let s(q) = 2*q + 33. Let z(y) = -y**3 - 17*y**2 + 21*y + 44. Let v be z(-18). Is 13 a factor of s(v)?
True
Suppose 2*g - 3*c = -2, 5*c + 7 - 22 = g. Suppose s = -0*s + 1, g*o = -5*s + 15. Suppose p + o*b - 42 = 0, 4*p = -2*b - 3*b + 153. Does 16 divide p?
True
Let c be 8/12*3 + -1. Let v(j) = 30*j**3 + j**2 - 1. Let m be v(c). Does 10 divide (-1 + m - -1) + 0?
True
Suppose 0 = 2*x + 2*m - 148, 8*m = x + 10*m - 70. Does 11 divide x?
False
Suppose -2 = -4*a - 5*m - 22, -2*a - 4 = 4*m. Does 39 divide 2 - 24/15 - 776/a?
True
Is 23 a factor of (-2 - (-134 + (-3 - 3)))/1?
True
Let m = -66 - -63. Let v(u) = -u**2 - 7*u. Is 11 a factor of v(m)?
False
Suppose -3*c = -4 - 5. Suppose -3*q - 9 = c*a, 4*q = -a + 2*a + 18. Is (a/9)/((-2)/27) a multiple of 3?
True
Let s(d) = d**2 - 14*d - 61. Let v be s(17). Suppose -5*w = 31 + 59. Let g = v - w. Is g a multiple of 3?
False
Let l(n) = 6*n + 2. Suppose 0 = -3*c + 4*u + 1, 5*c + 5*u = 21 + 4. Is 20 a factor of l(c)?
True
Let u = 356 + -214. Let h = -68 + u. Does 37 divide h?
True
Suppose l + 10 = -2*o, -o + 2*l = -3*o - 8. Let t be (56/o)/(-4)*-3. Let s(z) = -z**3 - 6*z**2 + z + 4. Does 23 divide s(t)?
True
Suppose -2493 = -3*a - 3*c, 2*c + 749 + 79 = a. Is 10 a factor of a?
True
Let v = 24 + -32. Suppose -p + 8 = -5. Let h = p + v. Does 2 divide h?
False
Let a(m) = 19*m**2 - 11*m. Does 8 divide a(4)?
False
Suppose -2*h + 6 = 2. Let n be (2*1)/(h/4). Suppose 5 - 49 = -n*o. Is o a multiple of 11?
True
Let q(x) = x**3 - x**2 + 5*x - 3. Let y be q(5). Let g = y + -27. Is 12 a factor of g?
False
Let q(g) = -134*g - 2. Let p be q(1). Is (p/(-36) - -3) + (-4)/(-18) a multiple of 2?
False
Let k(a) = 2*a**3 - 5*a**2 + 4*a - 4. Is 17 a factor of k(3)?
True
Is 12765/12 - 12/16 - 6 a multiple of 89?
False
Let r(g) be the third derivative of g**4/24 + 13*g**3/3 + 9*g**2. Is r(-14) a multiple of 12?
True
Let j(q) = 50*q**2 - q. Is j(3) a multiple of 7?
False
Let s(d) = d**2 + 3*d + 5. Let u be s(-3). Suppose u*m = -4*y + 402, m - 72 = 3*y - y. Does 26 divide m?
True
Let a = -86 + 56. Let g = a - -49. Is 3 a factor of g?
False
Let l(a) = a**3 - 32*a**2 + 36*a + 16. Is 4 a factor of l(31)?
False
Let t(j) = j - 18. Let v be t(8). Does 7 divide ((-170)/4 - 5/v)*-1?
True
Let a(m) be the third derivative of 1/6*m**3 + 0 - 1/24*m**4 + 1/20*m**5 + m**2 + 0*m. Is 8 a factor of a(3)?
False
Suppose 45 = -3*i - 0*i. Suppose -5*l = -l - 112. Let m = l + i. Does 13 divide m?
True
Let r(b) = -b**3 - 4*b**2 - 2*b + 3. Let q be r(-5). Suppose 0 = d - q - 55. Let j = d + -47. Does 23 divide j?
True
Is 8 a factor of (0 + -2)/(-2) + 64 + 15?
True
Let j(q) = 88*q**2 - 5*q + 8. Let m be j(2). Suppose 0 = 9*a - m - 730. Is a a multiple of 29?
False
Let h = 22 - 19. Suppose -h*u = -4*s + 393, -4*s + 494 = 5*u + 125. Is s a multiple of 24?
True
Let d(u) be the first derivative of 6*u**2 - 3. Let m be d(2). Suppose 3*q = 2*q + m. Is q a multiple of 12?
True
Suppose 3*l - 47 = 2*l. Suppose i + 0*n - n = l, -4*i = 2*n - 212. Is i a multiple of 11?
False
Let s(m) be the first derivative of 2*m**3/3 + m**2 + m + 4. Let b(k) = 3*k**2 + 4*k + 3. Let p(x) = -2*b(x) + 5*s(x). Is p(-2) a multiple of 5?
False
Does 8 divide -6*((-134)/12 + (-4)/(-8))?
True
Let h be (2 - 3)/(1/(-38)). Let v = 78 - h. Suppose -4*k - 74 = -2*p, -5*p + v = 3*k - 80. Is 8 a factor of p?
False
Suppose -5*u + 28 - 78 = 0. Let a = u - -13. Suppose a*v + 0*v = -i + 39, -v - 156 = -4*i. Is 13 a factor of i?
True
Let y(m) = -376*m - 40. Does 20 divide y(-2)?
False
Let j be -1 - -2 - (-3)/1. Suppose -2*a - 3*z + 28 = z, -4*z - 56 = -j*a. Suppose -4*c + 18 + a = 0. Does 4 divide c?
True
Let v be 4 + 153 + 4 + -3. Suppose 4*a + 338 = -5*r, -24 = a - 2*r + 54. Let p = a + v. Is 19 a factor of p?
True
Let h be 1*-2*(-3)/(-3)*20. Let d = h + 94. Does 27 divide d?
True
Suppose -4*q - 15 = -31. Let y(h) = 4*h**2 - 10. Is y(q) a multiple of 27?
True
Let l = -83 - -191. Let x = -59 + l. Does 14 divide x?
False
Let s(v) = -v**2 + 5*v + 4. Let l be s(6). Let d be l/10 + (-222)/(-10). Let q = d + -10. Does 6 divide q?
True
Let q be -2*(-3 - (-9)/2) - -2. Does 19 divide q*(-36 - 1) - -1?
True
Let j(b) = -b**3 + 8*b**2 - 12*b + 3. Let k = -73 - -78. Is j(k) a multiple of 3?
True
Let y = 90 + -149. Let z = -35 - y. Suppose i - z = -5*j, -4*j = -3*j + 5*i - 24. Does 3 divide j?
False
Let d = 78 - 36. Let z(q) = 2*q**2 - 8*q + 30. Let p be z(4). Let o = d - p. Is 12 a factor of o?
True
Suppose -i = 3*d - 295, 4*d + d = 20. Is 7 a factor of i?
False
Suppose 0 = -3*l + 4*v - 206, 3*l - 4*l - 5*v - 56 = 0. Let r = -57 - l. Does 2 divide r?
False
Suppose -197*k = -230*k + 23034. Is k a multiple of 10?
False
Suppose -287 = -2*q + 305. Does 29 divide q/10 + 6/(-10)?
True
Let t = 516 + -259. Is 7 a factor of t?
False
Let m = -91 + 285. Does 22 divide m?
False
Let u be ((-837)/6 - -2)*(2 - 0). Is 18/(-5*10/u) a multiple of 33?
True
Let r(v) = -3*v**3 - 3*v**2 - 12*v - 14. Does 18 divide r(-4)?
False
Let r = 9 - 6. Suppose -5*q = 0, -r*q - 3 = u - 67. Suppose 5*j = u - 14. Is j a multiple of 4?
False
Let o(t) = t**2 + 1. Let q(v) = v**3 - 13*v**2 + v - 13. Let p(b) = -6*o(b) - q(b). Let y be p(7). Suppose 0 = -y*d - d + 2, -5 = -r + d. Is 3 a factor of r?
False
Let b be -1*(2 + -7)/1. Suppose b*l - l = 848. Let n = l + -133. Is 14 a factor of n?
False
Suppose -2 = -z - 2*g + 6, -3 = -z + 3*g. Suppose 0 = z*q - 7*q - 9. Is 2 a factor of -3*(-2 + (-3)/q)?
False
Let x(z) = 3*z + 32. Let f be x(-9). Let y be (8/(-6))/(8/(-660)). Suppose 5*h - 2*m = 117, -11 - y = -f*h + m. Does 8 divide h?
False
Is -6 + (3030/5 - 5) a multiple of 8?
False
Let k = 305 - 145. Does 16 divide k?
True
Let t(k) be the third derivative of k**5/120 + 5*k**4/8 + k**3/6 - k**2. Let j(f) be the first derivative of t(f). Is j(0) a multiple of 5?
True
Let p = 17 - 12. Let u be (-5)/25 - (-126)/p. Suppose -3*z + u = 2*z. Is z a multiple of 5?
True
Let v = -38 + 46. Let j(p) = 4*p - 4. Let l be j(5). Let k = l - v. Is k a multiple of 8?
True
Is 68 a factor of -226*(-10)/20 + 1 + -2?
False
Let h = -169 + 79. Let d = -26 - h. Is d a multiple of 8?
True
Let l = 17 - 15. Suppose -5*q - 75 = -5*t, 2*t - 5*t + l*q = -48. Suppose -3*n + t = -0*n. Does 6 divide n?
True
Let k(l) = 5 + 2 - 2*l - 1. Let g be (-100)/35*35/10. Is k(g) a multiple of 9?
False
Suppose 5*k - 4*q - 6 = -4, -3*q = 2*k - 10. Suppose 16 = 5*m + 1. Suppose -d - 22 = -m*d - 2*p, k*p = d - 2. Does 2 divide d?
True
Suppose 3*i = -2*c - 0*c + 7, 0 = -i - 3*c. Suppose 14 = s + 2*h, -11 - i = -2*s + 3*h. Does 5 divide s?
True
Suppose 5*l - 2*d = 16, -4*d = 13 - 1. Suppose -14 - 450 = -l*g. Is 29 a factor of g?
True
Let n = -10 + 9. Let b be n - 1/(-1 - -2). Is (b/1)/(2/(-52)) a multiple of 12?
False
Let p(l) = -15*l**2 + 11*l + 4. Let c(q) = -13*q**2 + 10*q + 5. Let f(d) = -6*c(d) + 5*p(d). Is 7 a factor of f(-6)?
False
Suppose 0 = -10*w + 97 + 23. Suppose 0 = 5*x - w*x + 924. Is x a multiple of 12?
True
Suppose -5*z - 3*d = -6215, -z = -2*z + d + 1251. Is z a multiple of 30?
False
Does 6 divide (-1 - (1 - -10))/((-2)/24)?
True
Is -3 - (18/(-3) - 570) a multiple of 19?
False
Suppose d - 4*a = -11, -4*d - 1 + 20 = 5*a. Let l(h) = 50*h**3 + h**2 - h + 1. Is l(d) a multiple of 17?
True
Let h be (-3)/(12/(-28)) - 2. Suppose -17 = -h*x - 2. Suppose 11 = x*l - 1. Does 2 divide l?
True
Suppose 105 = -j - 2*d, 0*j = -j + 2*d - 125. Let k