 a multiple of 6?
True
Let v = -8 + 12. Suppose -4*m + 3*w = 1, 0 = -4*m + w - 51 + 56. Suppose m*r = -s + 4*r + 61, -4*s + 268 = v*r. Is s a multiple of 13?
True
Let b be -4*(-10)/240 + (-6298)/(-12). Suppose 5*i - 2*t - 4579 = 0, 0 = i - 2*t - b - 394. Is 61 a factor of i?
True
Let q(j) = j**3 + 4*j**2 - 3*j - 3. Let o be q(-4). Let w(x) = 5*x**2 - 7*x + 6. Let i(r) = 6*r**2 - 6*r + 6. Let g(h) = 4*i(h) - 5*w(h). Does 12 divide g(o)?
True
Let o be 1/((-4)/(-10)*170/(-22168)). Let t = 439 - o. Does 17 divide t?
True
Let i(z) = -2*z**2 - 38*z + 24. Suppose -5*o + 3*c + 48 - 135 = 0, 3*c - 12 = 0. Is 4 a factor of i(o)?
True
Let t(m) = 10*m**2. Let z be t(2). Suppose -c - 2*b - 2*b = 10, -4*c + 5*b - z = 0. Does 33 divide 46/(-10) - -4 - 1576/c?
False
Let k(j) = 7*j**3 - 264*j**2 - 27*j + 162. Is 54 a factor of k(39)?
True
Does 116 divide 5564 - ((-78)/21 + 5*2/(-35))?
True
Let a(q) = -q**2 - 43*q - 273. Is a(-30) a multiple of 3?
True
Let u = -14 - -18. Let r(a) = -16*a**2 - 5*a + 26*a + u*a**3 - 71 - 3*a**3 + 69. Is 22 a factor of r(15)?
True
Let t(d) = d + 16. Let m be t(-12). Suppose m*a + 13 = 3*c, 2 = -a - 3*c - 5. Is 5 a factor of (-40)/(-3)*(-1 + (-13)/a)?
True
Let i(s) be the third derivative of -5*s**4/2 + 10*s**3 - 17*s**2 - 3*s. Does 24 divide i(-9)?
True
Let z = 1 - -8. Suppose f - 7 = -3*q, -3*q + 2 = -f + z. Is 2 a factor of (-2)/f + 864/84?
True
Suppose -o + 24 = 4*v, 5*v - 3*o = -6*o + 37. Let a = v - -13. Suppose -l + 47 = a. Is l a multiple of 6?
False
Let y = -119 + 188. Let a = -75 + y. Does 3 divide -2 - (-3)/(-1)*28/a?
True
Let t(k) = 31*k**3 + 2*k**2 - 9*k + 42. Let y be t(3). Suppose -5*x = 2*o - y + 4, -2*o - 3*x = -858. Does 77 divide o?
False
Is 55604*(225/20 - 11) a multiple of 33?
False
Suppose -3*m + 4*w = -285, -5*m = -2*w - 572 + 97. Let l = m - 49. Is l a multiple of 6?
False
Let h(g) = 469*g**3 + 2*g**2 - 27*g + 58. Is 5 a factor of h(2)?
False
Suppose -4*k - 11 = -5*r, 4*k - 2*r = -2 - 0. Suppose 3*l = -3*w + 120, -60 = -w - 6*l + l. Suppose -2*h = -k - w. Is 18 a factor of h?
True
Let p(b) = 2*b**3 + 29*b**2 + 8*b + 122. Is 2 a factor of p(-13)?
False
Let c(u) = u**2 - 6*u + 18. Let v be c(8). Suppose j + v = -19. Let y = 89 + j. Does 12 divide y?
True
Suppose 2*s = -2*u - 131 - 5, 5 = -5*s. Let q = -65 - u. Suppose -2*d + t + 49 = d, 5*d - q*t = 80. Does 12 divide d?
False
Does 17 divide (2/(-2))/((-2174997)/(-108749) - 20)*-2?
False
Let n be (-5)/((-30)/78) - (4 + -6). Let f = 143 + -86. Let d = f - n. Is d a multiple of 14?
True
Let y be ((-5)/(-3))/((-12)/(-36)). Suppose -5*g = y*v - 215, -v + 2*g + g = -39. Is v a multiple of 5?
False
Let z = -157 + 265. Let m = 112 - z. Suppose -272 = -5*s - m*f, 3*f - 3 = 6. Does 26 divide s?
True
Let g(s) = -81 + s + 5*s**2 - 3*s**3 + 2*s**3 + 32*s**2 + 44*s. Is g(38) a multiple of 3?
False
Let d(i) = -338*i**3 - 2*i**2 - 9*i - 5. Does 110 divide d(-3)?
True
Let h = -1647 + 1638. Let r(q) be the first derivative of -q**2 + 45*q + 1. Does 16 divide r(h)?
False
Let b(m) be the first derivative of m**4/4 - 4*m**3/3 + m**2/2 - 4*m + 7. Let o be b(3). Is ((-214)/4)/(5/o) a multiple of 28?
False
Suppose 0 = -4*d - 133 - 2179. Is 1 + 1 - -3 - (d - -11) a multiple of 52?
True
Let c(b) = -370*b**3 - 77*b**2 - 230*b + 10. Does 9 divide c(-3)?
False
Let h(c) = 88*c - 629. Is h(33) a multiple of 25?
True
Let v(q) = 0 - 16897*q + 16919*q + 2 - 10. Let k = 15 - 8. Does 27 divide v(k)?
False
Let h = 6819 - 4443. Does 10 divide h?
False
Suppose -3*d - 3 = -b + 24, -5*d = -5*b + 95. Suppose 3*q - 2*a = 2046, 9 = -12*a + b*a. Is 12 a factor of q?
True
Is (-15)/12 + 0 - 17/((-408)/319950) a multiple of 43?
True
Suppose -f - 107 + 106 = 0. Does 4 divide (152/20)/(f/(-10))?
True
Suppose 0 = -14*d + 19*d + 20. Let g = d - -4. Suppose 3*w - 62 - 31 = g. Is w a multiple of 7?
False
Let j(s) be the first derivative of 2*s**5/5 - 5*s**4/8 - 8*s**3/3 - 12. Let l(v) be the third derivative of j(v). Is l(3) a multiple of 17?
False
Suppose 11*w = 6*w - 5*y - 1175, -4*y - 707 = 3*w. Let u = w + 455. Does 29 divide u?
False
Let r be (-4)/7 - (-8)/(280/1245). Is 5 a factor of -2*(-334)/20 + 21/r?
False
Suppose 0*z = z - 4, 3*z = -3*y - 4878. Is 2 a factor of y/(-60) + (0 - (-3)/(-18))?
False
Let d(r) = 26*r + 14. Let h(y) = 9*y + 5. Let q(t) = 4*d(t) - 11*h(t). Let w be q(1). Suppose -w - 18 = -z. Is 5 a factor of z?
False
Let c = -34 - -30. Let b be ((-10)/c)/5 + 895/10. Suppose -4*k + b = 5*w, 3*k + w - 22 = 51. Is k a multiple of 20?
False
Let u(z) = -7*z**3 + 10*z**2 - 5*z - 50. Let c(g) = -5*g**3 + 9*g**2 - 4*g - 50. Let r(a) = 5*c(a) - 4*u(a). Is r(5) a multiple of 9?
True
Let g be (855*(-1 + (-4)/(-2)))/1. Let u be (8/10)/(19/g). Is 33 a factor of ((-9)/4)/(u/(-1920))?
False
Is 27*((-17696)/(-77) - (0 + 4/(-22))) a multiple of 13?
False
Let i(g) = 2*g + 8. Let l be i(-5). Is (-5 + 9 - l/(-4))*94 a multiple of 33?
False
Let f(l) = -l**2 + 12*l + 2. Let y be f(11). Suppose 0 = -5*x + y*x - 1392. Is 44 a factor of (4 + 1)*(-6)/(-15) + x?
True
Let t(m) = -19*m - 379. Is 18 a factor of t(-24)?
False
Let y(a) = 6*a**2 + 14*a + 7. Let s be y(-6). Suppose s = 6*t + 7. Suppose 2*r - i = t, -7*r + 2*r + 3*i = -53. Is 2 a factor of r?
False
Let s = 2287 - 1642. Does 15 divide s?
True
Let a = 133 - 79. Let g = 88 + a. Is 13 a factor of g?
False
Let x be 2*2/(-2) - (13 + -7). Let y(g) = 5*g + 35. Let o be y(x). Let z(h) = h**3 + 9*h**2 + 15*h. Is z(o) a multiple of 13?
False
Suppose 0 = -80*a - 27113 + 79309 + 27804. Does 2 divide a?
True
Let f(c) = 33308*c**3 - 16*c**2 + 13*c - 13. Does 28 divide f(1)?
True
Let z = 10436 - 9939. Is z a multiple of 2?
False
Suppose -c = -2*k + 64353, -16*c - 96602 = -k - 2*k. Is k a multiple of 10?
False
Suppose -2*s + 6 = 2*n, 4*n + 11 = s + 8. Let a be (-92)/(-12)*(1 - -35). Suppose -a = -2*r - 2*r - j, 0 = -r + s*j + 82. Does 7 divide r?
True
Suppose 0 = 2*g + 5 - 15. Suppose 3*b - 60 = -3*r, -g*b + 6 + 48 = 3*r. Suppose 26*h - r*h - 657 = 0. Is h a multiple of 15?
False
Suppose -38*n = -65605 - 65039. Is n a multiple of 14?
False
Suppose -3*q + 11640 = -3*w, -w = 84*q - 82*q - 7757. Is 35 a factor of q?
False
Let u be -3 + 6/1*1*4. Let x be (-46)/(-14) + (-6)/u. Suppose x*t - 266 = -14. Is 12 a factor of t?
True
Let c = -129 - -126. Is 1/c*(-380 - 10) a multiple of 5?
True
Let p(w) = -2*w**3 - w**2 - 4*w - 9. Let x be -1*(-6)/(-5)*(-10)/(-4). Let g(h) = -5*h - 18. Let i be g(x). Is 6 a factor of p(i)?
True
Suppose 3*s - 11 - 52 = 0. Is 2/s + (-19146)/(-63) a multiple of 46?
False
Let d be (-80)/(-3)*(-23)/(1380/(-144)). Suppose -65*x = -d*x - 432. Is 8 a factor of x?
True
Suppose 6*z - 12 - 6 = 0. Suppose 4*o = z*t + o - 12, -2*t = 4*o - 14. Suppose 6*j = 475 + t. Is j a multiple of 13?
False
Let p be (-18 + 36)/(2/(-3)). Let u(t) = t**3 + 27*t**2 - 7*t - 94. Does 19 divide u(p)?
True
Let x(z) = 3*z**2 - 2*z + 8. Let h = 92 - 107. Is 31 a factor of x(h)?
True
Suppose 10*u - 3*v - 10324 = 6*u, 10356 = 4*u + 5*v. Is u a multiple of 38?
True
Let h be -3 + (-3 + -1989)/(-4). Suppose 0*a = 4*a - 3*d - h, -3*a = d - 355. Is a a multiple of 8?
True
Suppose -5*c + 3*c + 22 = -4*s, -2*s = 4*c + 6. Let l = -21 - -35. Does 14 divide (s + l)*28/6?
True
Suppose 6*f - 2*c = 291712, -29713 = -4*f - 2*c + 164745. Is f a multiple of 30?
False
Let m = -70 + 76. Let f(i) = i**3 - 13*i**2 - 4*i + 3. Let a(r) = -r**3 + 13*r**2 + 4*r - 4. Let w(u) = m*f(u) + 7*a(u). Does 13 divide w(12)?
True
Let g be 40/(((-16)/28)/(24/(-28))). Suppose -h + 58 = h - 5*m, -g = -2*h + 4*m. Does 6 divide h?
False
Suppose -12*a + 9*a + 30 = 0. Let m be ((-1 - -1) + 30)*(-5)/a. Is 23 a factor of ((-207)/15)/(3/m)?
True
Let s(q) = q**2 - 10*q + 1. Let c(f) = f**2 - 11*f + 2. Let r(u) = -4*c(u) + 5*s(u). Let o(a) = 1. Let x(y) = -3*o(y) - r(y). Does 3 divide x(5)?
False
Suppose -9*h + 5*h + 3*p + 8 = 0, 0 = 3*h - 3*p - 6. Suppose -h*f = 4*y - 660 - 300, f - 480 = -y. Does 30 divide f?
True
Suppose -2*o = -6*o + 60. Suppose -v + 4*p - 4 = -3*v, 3*v - p + o = 0. Is 17 a factor of (v - 452)/(-6) + 3*1?
False
Suppose -48*h + 52*h = r + 30784, 4*h - 30784 = -5*r. Is 27 a factor of h?
False
Let u(i) = i - i + 60 - 2*i - 5*i. Is 10 a factor of u(-14)?
False
Let o be -5*(5 + (-27)/5). Suppose -o*t + 7*t = 655. Supp