Is r a multiple of 63?
True
Let x(k) = k**3 + 5*k**2 + 4. Let w(m) = m**3 - 4*m**2 - 2*m - 5. Let o be w(4). Let l(a) = -a**2 - 13*a - 4. Let h be l(o). Is x(h) a multiple of 5?
True
Suppose 3*x = -2*o + 3, -3*x + 1 = 4*o + 4. Suppose -10 = -u - 5*q + 14, x*u = 4*q + 53. Suppose 8 = 3*z - u. Is z a multiple of 9?
True
Suppose 18*x - 1518 = -2*i + 20*x, 5*i - 4*x - 3797 = 0. Is i a multiple of 30?
False
Suppose 0 = 5*i + 20, -326 = -h + 7*i - 2*i. Is 51 a factor of h?
True
Let l be 119 + -4*(-3 - -2). Suppose j - 5*j + 3*y = -l, -148 = -5*j - 2*y. Let d = 45 - j. Does 9 divide d?
False
Let x be (-1 - 3)*28/(-7) - -4. Let r = 10 + x. Is 5 a factor of r?
True
Does 6 divide 15416/18 + 16/(-36)?
False
Let l(z) = 17*z - 45. Let u be l(9). Suppose 5*d - 4*d - 4*f = 54, 0 = 2*d + 2*f - u. Is 6 a factor of d?
True
Let q = 163 + -133. Does 2 divide q?
True
Let y = -339 + 3973. Is 11 a factor of y?
False
Suppose 2*a = -8, -1684 = -4*w + 2*a - 6*a. Does 10 divide w?
False
Suppose -2*u - 4*d + 60 = -606, 2*d - 658 = -2*u. Suppose 6*r = -37 + u. Is 9 a factor of r?
False
Let p be 1/((-1)/(-8))*23/92. Suppose p*o + 8*o = 900. Does 16 divide o?
False
Suppose -4*t = -3*u + 528, -4*u - 5*t = -7*u + 525. Does 18 divide u?
True
Let u(z) = -3*z**3 + 8*z**2 - 3*z + 24. Is 26 a factor of u(-7)?
False
Let k(i) = -2*i + 125. Is 19 a factor of k(-13)?
False
Suppose -5*r - 17 = -2*u + 8, 2*r + 10 = 3*u. Suppose -t + 2*t - 27 = u. Is 10 a factor of 60/t*-3*-3?
True
Suppose 18 = 3*k - r - 2*r, -5*k + r + 18 = 0. Suppose 0*y = -k*y + 1008. Is 16 a factor of y?
True
Let r(b) be the third derivative of b**4/24 + 7*b**3/2 - 16*b**2. Is r(11) a multiple of 16?
True
Is 19 a factor of (128/(-96))/((-2)/549)?
False
Suppose 0 = 2*n + 15 - 9. Does 10 divide ((-3)/n)/((-2)/(-60))?
True
Suppose -5*a + 62 - 2 = 0. Suppose -g - 16 = a. Does 25 divide -1*(g - -3)*2?
True
Let l(u) = -16*u**3 + 4*u**2 + 7*u + 6. Is 8 a factor of l(-2)?
True
Let z be -2 - (-1 + 6/3). Let k be (0 + z - 6)*-1. Suppose 0*f + 2*f + i - k = 0, -11 = 2*f - 3*i. Is f a multiple of 2?
True
Suppose 0 = q + 5, 15505 = -4*z + 9*z - 5*q. Is z a multiple of 12?
True
Suppose -4*s - 205 = p + 2*p, 3*s + 153 = -2*p. Let d = s - -68. Does 3 divide d?
False
Suppose 4*r - g - 1085 = 0, 3*r - 10*g + 11*g - 819 = 0. Is 8 a factor of r?
True
Suppose -10 = -2*h - 2*j + 10, -5*j = 2*h - 35. Suppose -o + 494 = 5*v, o - 3*o - 497 = -h*v. Is v a multiple of 33?
True
Suppose 2*a - 563 = -3*x - 91, -2*a - 620 = -4*x. Does 4 divide x?
True
Let b = -8 + 3. Let n be (-2 - -4)*-1 - 420/(-15). Let h = n + b. Is 20 a factor of h?
False
Suppose -5*c - 2*n + 10630 = -n, -5*c + 5*n + 10660 = 0. Does 25 divide c?
False
Let w(f) = -f + 7. Let s be w(0). Let o = 11 - s. Suppose -o*m + 182 = 5*k, 5*k - 2*m = 120 + 44. Is k a multiple of 17?
True
Suppose -4*n + 286 = -466. Let b = n - 83. Is b a multiple of 15?
True
Suppose -7 = h - 14. Suppose 13*s = h*s + 720. Is 8 a factor of s?
True
Let g = -34 + 23. Let h = g + 15. Suppose -3*y = -h*y - 3, -3*d + 2*y = -60. Is d a multiple of 9?
True
Suppose -11786 = -18*v - 1706. Does 28 divide v?
True
Suppose -2*u + 2 = 3*c, u + 4 - 3 = -c. Suppose -5*f + 6*l - c*l = -290, 0 = 3*f + 4*l - 200. Is 5 a factor of f?
True
Suppose 0 = -12*j + 12 - 36. Does 26 divide ((-429)/j)/(-2*9/(-24))?
True
Let a(s) = 123*s + 799. Is 112 a factor of a(19)?
True
Suppose 137*g = 140*g - 2976. Is g a multiple of 13?
False
Suppose 17*k = -5*k + 6270. Is 15 a factor of k?
True
Let r be (-3)/1 + (12/3 - -393). Suppose 0 = 3*q + o - 234 - 155, 4*o + r = 3*q. Is 26 a factor of q?
True
Let o(c) = 2*c**2 - c + 8. Let m be o(0). Let w(t) = -m*t + 1 + 4 + t**2 + 16*t. Is w(-9) a multiple of 9?
False
Let b(h) = -92*h - 210. Is b(-4) a multiple of 5?
False
Let d be (-1)/((0 - -3) + -2). Let j = -2 + d. Is (477/6)/j*-2 a multiple of 16?
False
Let l(z) = 12*z + 104. Let d(a) = a**2 + 22*a + 21. Let k be d(-21). Is l(k) a multiple of 10?
False
Let w(d) be the second derivative of d**5/20 - 19*d**4/12 + d**3/3 + 3*d**2 + 6*d + 1. Does 7 divide w(19)?
False
Let h(o) = 24*o + 16. Let g be h(8). Suppose -g = -c + x - 5*x, c - 193 = -x. Is 18 a factor of c?
False
Let k(j) = 10*j + 292. Does 4 divide k(-6)?
True
Suppose -5*n - 2*w - 66 = 0, 2*w = 2*n - 5*n - 38. Let a = 46 - n. Does 17 divide a?
False
Let g(i) = i**3 - 3*i**2 + 11*i - 30. Is 6 a factor of g(4)?
True
Let s = 638 + 204. Is s a multiple of 91?
False
Let s be (-40)/15*(-9)/4. Suppose -3*n - s = -2*n. Is (-1 - (2 - 2))*n even?
True
Suppose 0 = -4*w + 2*m - 10, 35 = -3*w + 4*m + 15. Suppose -4 = -4*c, w*c - 109 = -3*j - c. Is j a multiple of 33?
False
Suppose -4*n + 1094 = 2*x - 0*x, -5*n = 4*x - 1369. Is 17 a factor of n?
False
Let k = 18 + -26. Suppose 4*b - 4 = 0, 2*t + 4*b - 6*b = 70. Let y = k + t. Is 6 a factor of y?
False
Suppose 3*b - 8*b + 1372 = -2*y, 3*b + 4*y = 844. Does 14 divide b?
False
Let g = 358 + -154. Is g a multiple of 12?
True
Let r(y) = y**3 + 10*y**2 + 5*y - 44. Does 44 divide r(9)?
True
Let p = -15 + 42. Suppose -26*q - 82 = -p*q. Is 12 a factor of q?
False
Suppose 0 = -i - 3*i - 12, z + 5*i = -31. Let p = z - -20. Suppose 0 = -b - s + p*s - 2, 2*s - 23 = -b. Is b a multiple of 5?
False
Let n(f) be the third derivative of 9*f**2 + 1/30*f**5 + 0 - 3/40*f**6 + 1/2*f**3 + 0*f + 0*f**4. Does 14 divide n(-2)?
False
Let m(g) = g - 3. Let x be m(-3). Let z be x/9*27/(-6). Suppose 0 = -z*u + a + 58, 2*u - 3*u = -5*a - 10. Does 8 divide u?
False
Suppose 0 = 5*x - 112 - 103. Suppose -7*o + x = -83. Is o a multiple of 6?
True
Let q(n) be the second derivative of 9*n - 3/2*n**2 + 2/3*n**4 + 0 + 1/20*n**5 - 1/6*n**3. Does 14 divide q(-7)?
False
Let g = -847 - -374. Let x = -131 - g. Does 38 divide x?
True
Let p = -102 + 102. Suppose p = 3*c - 847 + 247. Does 15 divide c?
False
Let y(m) = 1 - 3*m**2 - 4*m**3 + m + 8*m**3 + m**3. Let p be y(2). Let x = 2 + p. Is x a multiple of 24?
False
Let q(c) = -2*c + 4. Let j be q(7). Let a = j + 15. Suppose 55 = 4*z - a. Is z a multiple of 15?
True
Let d(g) = 2*g**2 + 110*g + 36. Is d(-58) a multiple of 8?
True
Let f be 0 - (-1)/((-3)/(-45)). Let w = f - 16. Let n = 9 - w. Is 3 a factor of n?
False
Let g(p) = -7*p + 14 + 19 + 6*p. Does 6 divide g(15)?
True
Suppose 8*c - 71 = 489. Is c a multiple of 5?
True
Suppose 0 = 4*u + 2 - 6. Let h be 5*(u + (-8)/(-20)). Is 23 a factor of (h - 10) + 7*7?
True
Let r be 60/(-18)*3/(-5). Let q(t) = 15*t**3 - 2*t**2 + 2*t + 3. Is q(r) a multiple of 16?
False
Let l(y) = y + 5. Let t be l(-15). Is 11 a factor of ((-176)/t)/((-3)/(-15)) - 0?
True
Suppose 13*h = -93 + 4695. Does 10 divide h?
False
Let v(r) = r**3 + 10*r**2 + 8*r - 6. Let b be v(-9). Let w = -1 + b. Suppose -4*q + a + 97 = 0, -w*a - 2*a = -4*q + 100. Does 6 divide q?
True
Let a(f) = 8*f**3 + 4*f**2 - 41*f + 78. Is a(6) a multiple of 6?
True
Suppose 4*d + 8 = 20. Suppose -18 = d*w - 0*w. Let x(y) = -y**3 - 4*y**2 + 6*y. Is 19 a factor of x(w)?
False
Suppose -14*y + 235 = -269. Is y a multiple of 4?
True
Let y be (-4 - -7 - 4)/(2/10). Let c(w) = 1 - 16*w + 2 - 2. Is c(y) a multiple of 27?
True
Let l(o) be the first derivative of o**3/3 - o**2 - o + 3. Let j be l(3). Suppose -5*s + 3*a + 56 = 0, -j*a + 5*a + 46 = 4*s. Does 3 divide s?
False
Let i = -18 - -33. Is 33 a factor of (280/i + -4)*18/4?
True
Suppose -113 = -3*v + 238. Is 9 a factor of v?
True
Let f = 16 + -14. Let y(g) = 6*g**3 - g**2 + 2*g - 2. Does 8 divide y(f)?
False
Suppose 8 = d - 152. Let h = d + -19. Is h a multiple of 14?
False
Let h(t) = -4 - t**2 + 0 - 14*t - 3. Let g be h(-13). Suppose -g*l + 3 + 237 = 0. Is l a multiple of 7?
False
Let k = 4 - -2. Suppose -8*c = -2*h - k*c + 12, -2*h + 4*c = -6. Suppose -b - 2*o + 7 = 0, b + o - h = -0*b. Does 6 divide b?
False
Suppose 13*i - 105756 = -29*i. Is i a multiple of 9?
False
Let y = -38 - -38. Suppose -5*n = 2*m - 906, -3*n + 2*n - 5*m + 195 = y. Is n a multiple of 19?
False
Suppose 9 + 26 = 5*b. Suppose -4*c - 5 = b. Does 26 divide 4/c*(4 - 64)?
False
Let o = -214 - -322. Is 5*(o/5)/2 a multiple of 18?
True
Suppose 149 = 5*h - 101. Let j = h + -24. Is j a multiple of 26?
True
Suppose 0 = -2*f + 2*p + 550, 2*p - 12 = -2. Suppose 940 = 5*a - f. Does 13 divide a?
False
Suppose 11*x - 625 = 5073. Does 27 divide x?
False
Let h(