ultiple of 19?
True
Let t(q) = -q**3 - 28*q**2 + 27*q - 49. Let j(y) = 4*y - 129. Let g be j(25). Is t(g) even?
False
Let j = 2049 - 2055. Let d(n) = 5*n**2 + 7*n + 27. Let p(w) = -6*w**2 - 7*w - 26. Let b(h) = 5*d(h) + 4*p(h). Does 2 divide b(j)?
False
Is 38666/12 + 835/1002 a multiple of 7?
False
Let z(s) = -7*s - 266. Let q be z(-39). Suppose q*d + 88 = 683. Does 20 divide d?
False
Let d = -202 - -207. Is 17 a factor of 1565/10*(d + -3)?
False
Suppose -92619 + 46505 = -12*g + 86126. Is g a multiple of 59?
False
Let q(b) = -b**3 - 11*b**2 - 10*b + 5. Let m be q(-10). Suppose -35*z + m*z = -8460. Does 33 divide z?
False
Suppose 59236 - 21426 = 25*d - 46365. Is d a multiple of 13?
True
Let d = -54 + 55. Let r be (-62)/8*-1 - d/(-4). Let o = r - -9. Is o a multiple of 17?
True
Let u = 509 - 308. Suppose -8*w - u = -729. Is 11 a factor of w?
True
Let z(c) = c**3 + 50*c**2 - 74*c + 15. Does 40 divide z(-51)?
False
Does 15 divide ((-8)/4*(-1)/(-2))/((-72)/396432)?
False
Let h be 58/(-261) + (1 - (-68)/(-18)). Is (12/18)/(h/(-603)) a multiple of 42?
False
Suppose -n = -2*d - 0*n + 95, 2*n = -2*d + 92. Suppose -d = p - 52. Suppose -1012 = -p*o + o. Does 55 divide o?
False
Suppose -2*f - 6 = -2*b - 0*f, 4*f + 12 = -5*b. Suppose b = -3*c - 2*l + 86 + 796, 2*c - 572 = 4*l. Is c a multiple of 4?
True
Is 3/(-2 + (-95)/(-40)) - -343 a multiple of 13?
True
Let v = 119 + -119. Let a(h) = h**3 - h**2 - h + 2. Let f be a(v). Suppose m + 22 = f*g + 1, -2*g + 4*m = -30. Is g a multiple of 3?
True
Let w(d) be the first derivative of 5*d**4 - 2*d**3/3 - 5*d**2/2 + 3*d + 42. Is w(3) a multiple of 51?
True
Let h(w) = w**2 + 73*w + 6. Is h(-122) a multiple of 5?
False
Let n = 12336 + -8216. Does 4 divide n?
True
Let c(h) be the first derivative of h**3/3 + 3*h**2 + 52*h + 64. Does 27 divide c(-19)?
False
Suppose -5*v + 1773 = 6*v - 8149. Is v a multiple of 2?
True
Suppose n - 38 = 4*j, 3*n - 70 = 8*j - 7*j. Is (n/33)/((-4)/(-486)) a multiple of 17?
False
Suppose w = 34*g - 37*g + 28865, g - 9615 = 3*w. Is g a multiple of 58?
False
Suppose 59 = -t + 4*t - a, 4*t = -a + 81. Does 7 divide t/(-5) + (8 - -150)?
True
Let g(o) = 7*o**3 - 7*o**2 - 14*o - 9. Suppose 198*b - 193*b = 35. Is g(b) a multiple of 20?
False
Let p = 64 - 136. Let y = 76 + p. Suppose 12 = y*n, 5*v + 2*n = -n + 734. Is v a multiple of 22?
False
Suppose u + 23914 = 6*u - 3*j, 4*u + 5*j - 19146 = 0. Does 13 divide u?
True
Suppose -4*h + 24*h = 7300. Suppose 35*t - h = 30*t. Does 21 divide t?
False
Suppose l - 5*o = 660, 5*o - 2630 = -4*l - 115. Suppose -7*z = -l + 131. Does 3 divide z?
True
Let h(y) = y**3 - 8*y**2 + y + 23. Suppose 0 = -2*j - 2*j - 24. Let x be (1 + j + -3)/(-1 - 0). Is h(x) a multiple of 6?
False
Suppose -o - 17*p = -20*p - 7, 0 = -4*o - 2*p + 14. Suppose -q + 3539 = 3*k, -2*k - o*q + 1462 + 884 = 0. Is 13 a factor of k?
False
Let w(k) = k**2 - 12*k + 23. Let r be w(15). Suppose 2*f + 2 - r = 0. Suppose 31*o + 152 = f*o. Does 7 divide o?
False
Suppose -12 = 45*s - 102. Suppose -14*l - 3554 = -s*y - 10*l, -2*y + l + 3539 = 0. Is y a multiple of 16?
False
Suppose -55132 = 66*h - 654808. Is h a multiple of 59?
True
Let j(a) be the first derivative of a**3 - 6*a**2 - 27*a - 43. Does 20 divide j(-4)?
False
Let s(h) = -h - 5. Let m be s(-12). Suppose m*d - 370 = 918. Suppose -l - l = -d. Is 21 a factor of l?
False
Suppose 4*j - 62 = -42. Suppose j*g + c = 0, 5*g - 2*c + 6*c = 0. Suppose g*y + 4*y + 510 = 5*z, -2*z - 5*y + 171 = 0. Is 10 a factor of z?
False
Let i(q) = -48*q - 11. Let z(l) = -95*l - 21. Let o(g) = -7*i(g) + 3*z(g). Is 4 a factor of o(2)?
True
Suppose -119*r + 92*r = -64314. Is r a multiple of 112?
False
Let c(l) = -l**3 + 19*l**2 - 13*l + 19. Let i(k) = -k**2 + 5*k + 15. Let b be i(5). Let p be c(b). Suppose -4*n = p - 1744. Does 48 divide n?
False
Let b = -199 + 204. Suppose -2*a + 26 = -b*y - 145, 345 = 5*a + 4*y. Is 3 a factor of a?
False
Let i(f) be the first derivative of f**3 - 4*f**2 + 4*f + 460. Let o be 4/6*-3 + 9. Does 30 divide i(o)?
False
Suppose -2*m + 5*u - 5 = 2*u, 3*m + 6 = 4*u. Let x be 15/(-60) - 17/(-4). Suppose 684 = x*q + 4*t, -m*t + 3 = 1. Is 21 a factor of q?
False
Let f(l) be the second derivative of l**7/2520 - l**6/720 - l**5/30 - 5*l**4/4 + 14*l. Let c(v) be the third derivative of f(v). Does 28 divide c(8)?
False
Suppose 40*l - 127*l = -1827435. Does 19 divide l?
False
Let k(o) = o**2 + 11*o - 15. Let u be k(-12). Is 31 a factor of 2/((u - 1) + 3972/992)?
True
Does 77 divide (-9 - (1 - 14) - 3) + -1 + 5005?
True
Let w(x) = -24*x**3 + 7*x**2 + 71*x + 184. Is w(-3) a multiple of 62?
True
Let f = -7178 + 13978. Is f a multiple of 85?
True
Suppose 11*f - 15*f = -4. Let a(l) = -6*l - 1. Let m be a(f). Let x(q) = -16*q - 20. Is x(m) a multiple of 46?
True
Suppose 0 = 6*m + 684 - 2850. Does 6 divide m + 64/8 + -6?
False
Let h(d) = 6*d - 39. Suppose -9*t + 11*t - 26 = 0. Is 24 a factor of h(t)?
False
Is 62 a factor of 441/18*(-32592)/(-196)?
False
Suppose -13 = -8*y + 3. Suppose -h = -4*s - 1307, y*h - 701 = 3*s + 1933. Is 32 a factor of h?
False
Does 10 divide 9693/18*20/6?
False
Let n = 523 - 518. Is 7/(-21)*-333*n a multiple of 28?
False
Let o = -20 - -26. Let v(z) = 3*z + 4*z + z + 7 - o*z. Does 19 divide v(10)?
False
Let g = -2139 - -5835. Is 28 a factor of g?
True
Let i(p) = 2*p**3 - 266*p**2 - 1241*p - 302. Is i(138) a multiple of 59?
True
Let u(f) = 9*f**2 + 7*f + 32. Let p be u(-3). Let t = 218 + p. Is 3 a factor of t?
False
Let o = 8 - 6. Let u be 1/((-1)/1104*-4) + (-1 - 3). Suppose -43 - 91 = -o*l - h, -3*h = 4*l - u. Does 13 divide l?
True
Let v(k) = 55*k**2 - k + 251. Is v(10) a multiple of 154?
False
Suppose -54 = 7*k - 96. Suppose 3744 = k*m + 7*m. Is 16 a factor of m?
True
Let k = 472 - 478. Is (-4)/(-3)*k/16*-1656 a multiple of 66?
False
Let u = 404 - 692. Let a = 422 + u. Is 14 a factor of a?
False
Let j(i) = -45*i**2 + i + 2. Let n be j(-1). Let v = n - -42. Is 24 a factor of 99*(-2)/v + -4?
False
Let o(p) be the first derivative of 7*p**3/3 + 5*p**2/2 - 15*p + 130. Does 2 divide o(6)?
False
Let z(d) = -d**3 - 40*d**2 - 174*d + 39. Let o be z(-35). Suppose -9*b = o*b - 520. Is 20 a factor of b?
True
Suppose 0 = 156*v - 131*v + 1725. Let g = v - -79. Is g a multiple of 2?
True
Suppose 0 = -2*f + f - 74. Let l = -71 - f. Let w(k) = 69*k - 1. Is w(l) a multiple of 48?
False
Is (-7 + 4 + 4)*10142 a multiple of 10?
False
Let l(c) = 161*c + 34 + 76 - 162*c. Is l(0) a multiple of 9?
False
Let j = 539 + 3408. Does 14 divide j?
False
Suppose -3*u + 11002 = -3*v - 16772, -v + 37022 = 4*u. Suppose -u = 2*y - 15*y. Is y a multiple of 11?
False
Suppose 16*j - 2*d = 15*j + 27624, 27612 = j + d. Is 23 a factor of j?
False
Let z = 3518 + -1166. Does 98 divide z?
True
Suppose -q + 5*q - 2*x = 44, 5*q - 77 = -3*x. Suppose -y + 3*j + 100 = 0, 0 = -2*y + 5*j - 2*j + 203. Let u = q + y. Does 11 divide u?
False
Let a(u) = u**3 - 11*u**2 - 2*u**2 - 28*u - 25*u + 50*u - 78. Is a(14) a multiple of 42?
False
Suppose -25 = 5*p, -45*v - 5*p + 114050 = -40*v. Is 45 a factor of v?
True
Suppose -o = 5*c - 6*o, -2*c - 15 = -5*o. Suppose c*v - 1 = 3*b - 29, 0 = -2*v - 4. Does 19 divide (2/((-4)/(-19)))/(1/b)?
True
Let j(p) = p**3 - 16*p**2 + 45*p - 100. Is j(14) a multiple of 30?
False
Suppose 13*b - 3324 - 5030 - 117772 = 0. Is 26 a factor of b?
False
Let d be 6/(-1)*(2 - 14/6). Suppose -2*y - d*m = -3*m, 2*y + m = 0. Suppose -3*a - 6*a + 594 = y. Does 11 divide a?
True
Suppose 1382*f - 9950 = -b + 1394*f, 0 = -5*b - f + 49933. Is 8 a factor of b?
False
Suppose 0*j - 4*j = 0, 2*w - j + 7972 = 0. Is 19 a factor of 14/49 - w*(-2)/(-28)?
True
Let v(l) = 4*l**2 - 308*l - 214. Is 46 a factor of v(-51)?
True
Is 49 a factor of 29/348 + (3 - 57093/(-36))?
False
Let y = -17 - -21. Suppose 0 = -v + w - 6 + 16, y*w = -5*v + 86. Is v even?
True
Suppose -z = 4*z - 35. Suppose w + z = -b - 4*w, 0 = -5*b - 5*w + 5. Does 16 divide (b/(-2))/(-3 + 279/96)?
True
Let s be 7/(-4) + 1 + (-693)/(-44). Let m(b) = -8*b + 158. Is 38 a factor of m(s)?
True
Let x(k) = -k**2 - 6*k - 14. Let u be x(9). Let i = -46 - u. Is i a multiple of 6?
False
Let v be 20/(-90) - (-141)/27. Suppose -v*z + 3680 = -0*z. Suppose 45*o = 41*o + z. Is 23 a factor of o?
True
Let h = 96 - 41. Suppose h = 5*q + 31