
Let m(u) = -1990*u**3 - 86*u**2 - 179*u - 9. Does 19 divide m(-2)?
False
Is 1/3 + 4 + (-32039)/(-21) a multiple of 129?
False
Let k(y) = -6*y + 79. Let a be (1*9)/(90/(-60)). Is k(a) a multiple of 10?
False
Let v be (-22)/44*198/(-1). Suppose -g + 40 = q + 1, v = 3*q - 3*g. Is 12 a factor of q?
True
Let k = 1087 + 6113. Is 24 a factor of k?
True
Suppose -k = 5*v - 5851, 3*v - 9785 = -3*k + 7720. Is 49 a factor of k?
True
Let z(l) = -17*l - 78. Let b be z(-11). Let o = 113 - b. Suppose -204 = -s + o*d, 0 = -0*s + 4*s + 5*d - 795. Is s a multiple of 50?
True
Suppose -2*u + 21 = -9*u. Let q(f) = -f + 3. Let c be q(u). Is (-3)/c - 137/(-2) a multiple of 26?
False
Let t = -35932 + 42476. Is t a multiple of 95?
False
Let v(q) = -2*q**3 + 14*q**2 + 14*q + 16. Let t be v(7). Let l = -134 + t. Does 11 divide (3 + l/3)*-6?
True
Suppose -171*m + 98*m = -277838. Is m a multiple of 82?
False
Let i(m) = -2*m**2 + 39*m**3 - 36*m**3 + 4*m**2 + m. Let a be i(-1). Is 2 a factor of 0/6 + (-26)/a?
False
Suppose 2*o - 6*s = -s - 586, -3*o - 2*s = 898. Let i = o - -448. Is 30 a factor of i?
True
Suppose 4*l = 3*x - 10079, 3*l + 3386 = 2*x - 3334. Is x a multiple of 9?
True
Let j(i) = -i**3 + 54*i**2 - 120*i + 633. Is j(45) a multiple of 6?
True
Let o be (-6)/((-12)/4) + 3. Suppose -o*w + 22 = -2*q, -3*w + q + 9 = -w. Suppose 3*n = -3*s + 138, -s - 3*n + w*n = -56. Does 17 divide s?
True
Suppose 8*c + 22142 = 10*c - 3*m, 4*c + 3*m - 44302 = 0. Is 14 a factor of c?
True
Let m(z) = 7*z**3 - 2*z**2 + 4*z - 10. Let u be m(-3). Let s = 410 + u. Is 10 a factor of s?
False
Let p = 46 + -40. Let j be -2 + 38 - (7 - p). Let g = j - -65. Is 25 a factor of g?
True
Let c(m) = 92*m - 1401. Does 9 divide c(23)?
False
Let x = -28501 - -43258. Is 6 a factor of x?
False
Let m = 12905 + 12094. Does 27 divide m?
False
Does 231 divide (-458*3)/((-171)/405 - (-3)/15)?
False
Let w(y) = -y. Suppose -k - 6 = 4*s, 3*k + 1 = -5. Let j(q) = -18*q + 29. Let r(t) = s*w(t) - j(t). Is r(6) a multiple of 17?
True
Suppose -7*h + 12*h = 860. Let p = h - 34. Is p a multiple of 23?
True
Suppose w - 20 + 6 = 0. Let x = w - 13. Let b(r) = 120*r**3 + r**2 + r - 2. Is 10 a factor of b(x)?
True
Let y(x) = 3*x - 2. Let b be y(2). Let t be 0 - (56/10)/((-47)/11045). Suppose 3*q - t = -b*q. Does 47 divide q?
True
Let u(n) = n**2 - 8*n + 1. Let t(i) = -i**2 + 9*i - 2. Let b(v) = 5*t(v) + 6*u(v). Is b(10) a multiple of 11?
True
Let p(d) = -4*d**2 + 5*d**2 + 7 + 112*d - 123*d. Does 7 divide p(18)?
True
Let a(y) = -2*y**3 - y**2 + 2*y - 2. Let z be 369/72 - 2/16. Suppose -z - 3 = 2*c. Does 18 divide a(c)?
False
Let m = -285 - -288. Suppose -890 = -5*c - m*k, 4*k + 214 + 641 = 5*c. Is c a multiple of 25?
True
Let q(k) = -k**3 + 23*k - 2. Let p be q(-7). Let r = -135 + p. Does 43 divide r?
False
Let t be (16503/(-12))/((-15)/60). Suppose 0 = -b - 3, 5*z - z - t = -5*b. Is z a multiple of 29?
False
Suppose z - 2*u = 14533, 383*u - 14530 = -z + 388*u. Does 85 divide z?
True
Let v(k) = k**3 + 6*k**2 - 13*k - 24. Let g be v(-7). Suppose -3*x - 5*a = -164, x - 69 = 2*a - g. Is 21 a factor of x?
False
Let j(b) = -268*b + 7930. Does 171 divide j(13)?
True
Let n(g) = -4*g + 40. Let s be n(10). Suppose s = -5*k - 2*k + 770. Suppose r = k + 65. Is r a multiple of 26?
False
Let g = 4434 + -1746. Is 24 a factor of g?
True
Is ((50272/10)/(-2))/((-2)/5) a multiple of 59?
False
Is 7 a factor of ((-212)/(2/(-6)*3))/(4/6)?
False
Let q be 1/(-4) + (26/(-8))/(-1). Suppose 0 = -q*t - 65 - 19. Is (48/t)/((-4)/70) even?
True
Suppose 3*c - 886 + 79 = -3*l, 0 = -2*l + 3*c + 518. Suppose 2*m = 701 - l. Is 4 a factor of m?
False
Let i(u) = -u**3 + 3*u**2 + 19*u - 47. Let o be i(6). Let z(c) = c + 178. Does 21 divide z(o)?
False
Let y = -1358 + 3152. Is 12 a factor of y?
False
Let x = 102 - 96. Suppose x*a = -5*a + 506. Let w = a - -31. Does 13 divide w?
False
Let z(t) = -2*t**3 - 59*t**2 - 63*t - 879. Is 20 a factor of z(-29)?
False
Let k(u) = u**2 - 13*u + 6. Let o be k(13). Suppose 5*w + 73 = 2*b, -2*w + b = o*b + 35. Let m = w - -25. Does 2 divide m?
True
Suppose -65*n + 37*n = 128*n - 362076. Is 3 a factor of n?
False
Suppose 5*f - 370 = 155. Let h(a) = 7*a - 344. Let w be h(49). Is (15 + w)*180/f a multiple of 5?
False
Let k(o) = -13*o - 36. Let t be k(-12). Let w = t - -2. Let q = -96 + w. Does 26 divide q?
True
Suppose 0 = 5*m - z - 11, -m + 0*z = 4*z - 19. Suppose -m*x = -4*x + 94. Let p = x - -23. Does 13 divide p?
True
Suppose 2*a + 14926 = 2*v, 0 = -132*v + 134*v + 3*a - 14941. Is v a multiple of 36?
False
Suppose -21163 = -16*m - 20939. Does 7 divide m?
True
Suppose -5*u - 3317 = j - 12802, -2*j + 9485 = 5*u. Is 7 a factor of u?
True
Let h = -594 + 598. Suppose -2*a - 574 = -h*q + 746, -3*q - 5*a + 990 = 0. Does 15 divide q?
True
Let s(l) = 2*l. Let a(j) = -15*j**2 - 9*j - 7. Let i(n) = -a(n) - 5*s(n). Let k(f) = -2*f**2 + 7*f. Let m be k(3). Is i(m) a multiple of 32?
False
Suppose q = -6, 5*f - 152*q + 156*q - 14116 = 0. Is f a multiple of 101?
True
Suppose -2*m - 3*n = -34, 0*m + n = -2*m + 26. Suppose -2*x - 1 = 2*c + 5, -m = c + 3*x. Suppose -4*b - c = -k + 5, -118 = -5*k - 2*b. Is k a multiple of 22?
True
Suppose -r + 29 - 78 = 0. Suppose -5*m - 3*d = -267, -3*m - 3*d = 3*m - 321. Let g = r + m. Does 5 divide g?
True
Suppose -5 = 26*s - 25*s. Is ((s/(-3))/(-5))/(1/(-1221)) a multiple of 37?
True
Suppose 5*h = -17 + 42. Suppose 8*v - 732 = 3*v - 3*i, -h*i = 5*v - 730. Does 21 divide v?
True
Suppose q - 3*q = -2*v + 36, 4*v = -q - 28. Let r be (32/q)/(-2 - (-16)/10). Does 4 divide ((-2)/r)/((-3)/216)?
True
Suppose 2*k = 6*k - 116. Suppose -i = -4*h - 6, -3*i + 0*h + h = -k. Let t = i + 30. Is t a multiple of 20?
True
Let k be (-1)/(-5) - (24/(-15))/(-8). Suppose -5*t - 3931 = -3*s, 2*s + t + 2*t - 2589 = k. Is s a multiple of 14?
True
Suppose -4*a + 526 + 550 = 0. Suppose 0 = -31*q + 320 + a. Is 4 a factor of q?
False
Suppose 15 = -2*d - 4*w + w, 0 = -2*d - 5*w - 25. Let l be 152*(-30 + d)/(-5). Suppose -4*g = -4*j - l, 4*j + 420 = 2*g - 28. Does 24 divide g?
False
Let c = -3077 + 3365. Is 2 a factor of c?
True
Let w be ((-1)/(-5) - 396/(-45)) + 1. Is (-14)/10 + 594/w a multiple of 5?
False
Is ((-330)/12 + 0)/((-1)/142) a multiple of 37?
False
Suppose 0 = 5*o + 5*k - 2020, -6*o + 2*o + 1640 = -4*k. Let u = o + -731. Let r = -180 - u. Is 8 a factor of r?
True
Suppose 2528 = -2*s + 2542, -32193 = -2*x - 3*s. Is x a multiple of 42?
True
Let i = -44701 + 67157. Does 28 divide i?
True
Suppose -3*h = -h - 4. Suppose -2*f + 332 = -2*d, -h*d - 660 = 2*f - 6*f. Suppose -2*w = -4*w + 2*k + 148, 2*k = -2*w + f. Is 39 a factor of w?
True
Let r(u) = 337*u + 1760. Is 26 a factor of r(39)?
False
Let h be 1 + -4 - (0 + -8). Suppose h*b = 1341 + 634. Is b a multiple of 18?
False
Let l(f) = 10*f**2 + 59*f + 173. Is l(-23) a multiple of 88?
False
Suppose 24 = 2*b - 66. Let o = b + -45. Suppose o*z + k - 359 = -5*z, 193 = 3*z - 5*k. Is z a multiple of 24?
False
Suppose 34*j - 74*j = -21*j - 1141558. Does 31 divide j?
False
Suppose 0 = 3*l + 3*q - 9, l = -l - 3*q + 9. Let k(c) = c**2 - c + 245. Let y be k(l). Let r = -41 + y. Is 21 a factor of r?
False
Suppose -26*o + 6 = -24*o. Let u be 16/(-12) + (-8)/o - -3. Does 16 divide (238/(-4))/(u*2/4)?
False
Suppose -7*g + 12*g - 25 = 0. Let l = 118 - g. Let j = l - 54. Does 11 divide j?
False
Let m(p) = 2*p - 78. Let u be m(20). Is (24/(-5))/(u/665) a multiple of 10?
False
Let f(p) = -p**2 - p + 21. Let y be f(0). Suppose -y*k = -19*k - 528. Is 8 a factor of k?
True
Let p(n) = 4*n**2 - 31*n + 2151. Does 10 divide p(-83)?
True
Let x(k) = 2*k + 46 + 50 - 76. Let r be x(-8). Suppose -b + 6*b = 4*n + 303, -2*b + r*n = -114. Does 7 divide b?
True
Suppose 146 = -3*a - i - 3*i, 0 = i + 5. Let j be (-36)/a*7/(-1). Does 10 divide j/3*94/(-4)?
False
Let w(l) be the first derivative of 1/3*l**3 + l**2 - 10 + 138*l. Is w(0) a multiple of 18?
False
Suppose b - 2*w - 9 - 31 = 0, -3*b = -2*w - 112. Suppose -5*m = -14*m + b. Suppose 2*s - 5*o = 12, -3*s - 2*s = -m*o - 64. Is s a multiple of 4?
True
Suppose 21*y = -13*y + 11118. Let d = y + 210. Does 19 divide d?
False
Suppose -206*f + 16890 = -200*f. Is 5 a factor of f?
True
Suppose 1907*v - 345072 = 1895*v. Is v a multiple of 182?
True
Suppose 34*o - 37*o = -12