. Does 9 divide r?
False
Let p be ((-6)/(-8))/((-4)/288). Let k be p/(-2)*6/18. Let q(b) = -b**3 + 10*b**2 - 5*b + 11. Is 10 a factor of q(k)?
False
Let w(n) = -n**3 + 9*n**2 - 10*n + 19. Let t be w(8). Is 5 a factor of (-55)/(-2)*(6 + (-12)/t)?
True
Suppose -h + 1603 = -0*h + w, 5*w + 6430 = 4*h. Does 107 divide h?
True
Let d = -2462 - -3474. Is 47 a factor of d?
False
Let h be ((2 + -14)/(-4))/((-6)/(-4)). Suppose -a + 0*c + 11 = h*c, 2*a + c - 28 = 0. Does 3 divide a?
True
Let x be 4/(-18) + 511/(-9). Let f be 1047/(-12) + 2/8. Let b = x - f. Is b a multiple of 13?
False
Suppose 0*b + 705 = -5*b. Let j = -50 - b. Is j a multiple of 13?
True
Suppose -2*k = -0 - 2. Let t be k + 1 + 0 + 124. Suppose m + t = 4*m. Does 21 divide m?
True
Suppose -s = 2 - 1. Is 12 a factor of s*1/1 - -73?
True
Let d(m) = 64*m + 8. Is d(1) a multiple of 12?
True
Let s(l) = l**2 + 11*l + 8. Let p be s(-11). Suppose -580 = 4*c - p*c. Does 30 divide c?
False
Let g(r) = r + 8. Let n be g(-5). Let t = -82 + 82. Suppose -n*b = -t*b - 162. Is 25 a factor of b?
False
Let z = -26 + 30. Suppose 0 = -z*u - 33 + 129. Is u a multiple of 6?
True
Let c be -10*4/16*2. Let j be (-4)/c*(-85)/(-34). Suppose 3*t - 81 - 36 = -3*r, -5*r = -j*t - 216. Is r a multiple of 7?
True
Suppose -2*b - b + 88 = 2*k, 4*k + 154 = 5*b. Suppose 0 = -2*m + 54 + b. Is m a multiple of 19?
False
Suppose 16*a = 17*a + 15. Does 5 divide 30/4*(-40)/a?
True
Let t(p) = -3*p + 5. Let z(c) = -c + 1. Let a(q) = t(q) - 2*z(q). Is 14 a factor of a(-11)?
True
Let s(r) be the first derivative of r**4/4 - 14*r**3/3 - 11*r**2/2 - 5*r + 26. Is 3 a factor of s(15)?
False
Suppose -7*x - 296 = -11832. Is x a multiple of 14?
False
Let c(h) = 6*h**3 - 17*h**2 - 3*h - 6. Let z(w) = -w**3 + w**2 - 1. Let u(f) = c(f) + 5*z(f). Is u(13) a multiple of 17?
True
Let p(q) = 5*q + 20. Let f(r) = -r**3 + 8. Let k be f(0). Is 20 a factor of p(k)?
True
Suppose 2*q + 96 = 4*i + 6*q, -4*q + 72 = 3*i. Let v = i - -24. Is v a multiple of 24?
True
Let j(n) = -n - 60. Let g be j(0). Let k = -36 - g. Does 8 divide k?
True
Let d(f) be the third derivative of -5*f**4/24 - 3*f**3/2 + 3*f**2. Let t be d(-9). Let w = t - 24. Does 4 divide w?
True
Suppose 35 + 164 = -k. Let l = 114 + k. Let a = 145 + l. Is 15 a factor of a?
True
Suppose 3*j - 154 = n - j, 2*j - 338 = 2*n. Is 14 a factor of (-2349)/n - (1/2 + -1)?
True
Suppose 0 = 74*h + 65400 - 174698. Is 22 a factor of h?
False
Let v be 4 - 7/(7/4). Suppose r = 2*q - 302, -2*r = -q + 145 - v. Is q a multiple of 17?
True
Let p be (-74)/6 - (-13)/39. Is 9 a factor of (4/p)/(-3 - 242/(-81))?
True
Suppose 0 = -4*j + 14 + 10. Let u(t) = -t + j*t**2 - 2 + 0*t + 2*t. Is 17 a factor of u(-2)?
False
Let n(t) = 277*t**2 - 3*t + 14. Does 28 divide n(2)?
False
Let d = 767 + -38. Is 22 a factor of d?
False
Let u(a) = a + 1. Let b = -27 + 33. Let k be u(b). Let r = 51 - k. Is r a multiple of 11?
True
Let k = -121 + 274. Is 29 a factor of k?
False
Let c(f) = 65*f + 555. Does 30 divide c(8)?
False
Suppose -13*f + 35*f - 946 = 0. Is f even?
False
Let u be 2*(105/(-10))/(-7). Is 21 a factor of u/2*158/3?
False
Let q be (1/(-3))/(13/39). Does 5 divide 4 + (q - (-4 - -2))?
True
Let a = -184 - -279. Let w = a + 3. Does 49 divide w?
True
Let n = 17 + -17. Is 75 + n + (-3 - -1) a multiple of 8?
False
Let k(q) = 2*q**3 - 34*q**2 + 10*q + 46. Is k(21) a multiple of 130?
False
Suppose -5*f + a + 57 = 0, -14 = -5*f + 3*a + 37. Suppose 15 = -5*v, 5*v + 15 + f = 4*w. Suppose -h = 5*j + 23 - 112, -w*h - 3*j = -303. Is h a multiple of 26?
True
Suppose 67 = -4*k + 379. Suppose -2*y - 4*g + 234 = y, -y + k = 5*g. Is 13 a factor of y?
True
Let f(t) = -10*t**2 - 3. Let r(q) = -21*q**2 - 7. Let w(j) = -13*f(j) + 6*r(j). Suppose -k = 3*k - 20. Does 27 divide w(k)?
False
Suppose -4*u + 2 = 14. Let y(m) = -3 - 10*m - 3*m - 1 + 1. Does 11 divide y(u)?
False
Suppose 5*r - 4*g = 52, 3*r + 5*g = g + 12. Let t = 3 - -10. Let v = t - r. Is v a multiple of 2?
False
Suppose 0 = 2*p + 577 - 2845. Suppose 618 = 2*w - 2*k, 5*w - p = 4*k + 409. Is w a multiple of 13?
False
Let h = -16 - -21. Let x = h - 2. Suppose -x*o + 72 = 6. Is o a multiple of 22?
True
Let x = -18 - -17. Does 12 divide 45 - (2 - (0 - x))?
False
Suppose 0 = 3*d - l - 1191, 3*l = -4*d - 2*l + 1569. Is 20 a factor of d?
False
Let s(t) = t**3 - 8*t**2 - 37*t + 12. Is s(14) a multiple of 17?
False
Let x = 291 + -36. Let d(a) = 88*a + 9. Let w be d(-2). Let g = x + w. Does 22 divide g?
True
Suppose 4*d + 9 = -3. Let m be (-763)/(-14) - d/2. Suppose -m = -2*b + 2*i - 6, -2*i = b - 10. Is 5 a factor of b?
True
Suppose -4*f + 6668 = 3*l - 4100, 5*l + 20 = 0. Does 55 divide f?
True
Let l(b) = 2*b**3 - 7*b**2 + 26*b - 13. Is 41 a factor of l(6)?
False
Let c(r) = r - 5. Let i be c(-10). Let b = i - -43. Is 9 a factor of b?
False
Let z(x) = -8*x + 13. Let k be (2/(-3))/(10/150). Let q be z(k). Suppose -2*n - 13 = -q. Is n a multiple of 12?
False
Let z(m) = 40*m**3 + m**2 + 3*m - 2. Let b be z(1). Let l = 86 - b. Is l a multiple of 11?
True
Suppose 0 = t + 1, 11*r - 14*r + t + 8581 = 0. Is r a multiple of 44?
True
Let b(g) = -g - 3. Let h be b(-9). Let q(p) = p**3 - 7*p**2 + 6*p. Let r be q(h). Suppose 2*f + y - 48 = r, 5*f + 2*y - 74 = 2*f. Is 11 a factor of f?
True
Let j be (-16)/12*3*14/8. Let o(x) = 3*x**2 - 27. Is 38 a factor of o(j)?
False
Let q(f) = -4*f**2 + 3*f + 9. Let k be q(-5). Let b = 152 + k. Is 16 a factor of b?
False
Suppose 15500 = 15*k - 6550. Is 49 a factor of k?
True
Let g(r) = -r**2 + 32*r - 25. Let y be g(16). Let h = y - 175. Is h a multiple of 14?
True
Suppose 85*l + 10761 = 87*l - 3*g, 0 = -3*l - g + 16147. Does 117 divide l?
True
Suppose -21*z = 5113 - 61435. Is 18 a factor of z?
True
Suppose -5*j - a = 29, 10 = -3*j + a - 9. Let g(r) = -r**2 - 6*r + 5. Let v be g(j). Suppose -v*m = 3 - 13. Does 2 divide m?
True
Let n(q) = q + 15. Let y be n(4). Suppose 0 = -b + y - 3. Is 8 a factor of b?
True
Let g(m) = m**2 - m. Let y be g(2). Let z(a) = 5 - 7*a**y + 2 + 9*a + 6*a**2 + 2. Is z(9) a multiple of 9?
True
Let u = -76 - -86. Suppose 0*y = -3*y. Suppose y*b + b - u = 0. Is 5 a factor of b?
True
Let q(b) = 9*b - 5. Let u be ((-18)/(-4))/(6/8). Does 25 divide q(u)?
False
Let z = 115 + -75. Suppose -3*p = -z + 4. Is p a multiple of 12?
True
Let o = 5027 + -3230. Is o a multiple of 21?
False
Suppose 65*f - 59*f = 6348. Is f a multiple of 9?
False
Let f(o) = o - 13. Let q = 16 + -2. Let v be f(q). Does 12 divide v/(-3) + 74/6?
True
Suppose 3 + 1 = n. Does 3 divide (12/(-4))/(3 - (0 + n))?
True
Suppose 3*s + s - 8 = 0. Suppose -5*c - s = -27. Suppose -c*t + 2*t + 195 = 0. Is 10 a factor of t?
False
Let f(q) = 12*q**2 + 3. Let a be f(-4). Suppose 5*u = -a - 125. Is -3 - u - (-5 + 1) a multiple of 13?
True
Suppose -3*l + 136 + 116 = 0. Is 21 a factor of l?
True
Let l(f) = -f + 9. Let m be l(12). Let s be m + (0 - -1*46). Suppose -s = -u - 11. Is u a multiple of 8?
True
Suppose 0 = -42*s + 15*s + 1674. Is 28 a factor of s?
False
Let l = 445 + -385. Is 4 a factor of l?
True
Let q(b) be the second derivative of -b**5/20 + 4*b**4/3 - 19*b**3/6 + 6*b**2 + 17*b. Is q(13) a multiple of 18?
False
Let b = 17 + -19. Let s be 9/b*(-8)/12. Is 7 a factor of (-123)/3*(-3)/s?
False
Let m = -16 + 20. Suppose -v - m*q + 204 = 0, -5*v + 3*q = -71 - 903. Is 27 a factor of v?
False
Let y be (7/(21/57))/(2 - 1). Let n = y - -24. Is 3 a factor of n?
False
Let w be 2/((-6)/(-3) - 4). Does 2 divide -2 + (-39)/(w - 2)?
False
Let l(c) = -c**2 + 7*c - 3. Suppose -q = -3*w + 15, 5*q - 9 = 2*w - w. Let f be l(w). Suppose 2*v - f*h + 0*h = 153, -351 = -5*v - 3*h. Does 17 divide v?
False
Suppose 0*w = -h + w + 51, 2*h = -4*w + 120. Suppose 7*r = 4*r + h. Suppose 2*t - r = t. Does 9 divide t?
True
Suppose 3*d - 13*o - 5674 = -12*o, -2*d = -5*o - 3774. Is d a multiple of 43?
True
Suppose 0 = -s - s + 6144. Suppose -2*m + s = 2*m. Is 3 a factor of m/78 + 4/26?
False
Let m(j) = -j**3 - 5*j**2 - j + 13. Suppose 5*s - 20 = 9*s. Is 9 a factor of m(s)?
True
Let r = 11 + -7. Let s(k) = -k**3 + 6*k**2 + 2*k - 6. Let j be s(6). Suppose -j = r*c - 54. Is c a multiple of 6?
True
Suppose -w - 11*w + 3000 = 0. Is w a multiple of 25?
True
Let c = -136 + 237. Let n = 141 - c. Is 10 a factor of n?
True
Let q(g) = 3*g + 