alse
Suppose -42 = -4*b - 4*h + 74, -4*h + 60 = 2*b. Let j = b - 26. Does 8 divide (((-9)/(-5))/1)/(j/30)?
False
Let m(p) = -p**3 - 3*p**2 - 1. Let o(y) = y**3 + 2*y**2 + y + 2. Let h(f) = -3*m(f) - 2*o(f). Let a be h(-5). Is 2/a + 0 + (-4287)/(-27) a multiple of 30?
False
Suppose 78934 - 29278 = 2*j. Is j a multiple of 132?
False
Let z(q) = q**3 + 13*q**2 - 33*q + 17. Suppose 4*j + 5*w = -36, 3*j - 3*w + 82 = -2*j. Let k be z(j). Let x = k - 173. Is 28 a factor of x?
False
Suppose 3*o + 40164 = 3*z, 3*o + 57423 = 4*z + 3874. Is z a multiple of 31?
False
Let j be ((-18)/6 - 1) + 34 + -2. Suppose -4*o + k + k + 20 = 0, -3*o + j = 5*k. Does 11 divide 75 + 0 + -2 + o?
False
Suppose 97 = 4*y + 13. Let f = y - 19. Suppose r = -f*d + 56 + 30, 3*d + 355 = 4*r. Does 22 divide r?
True
Suppose 4*c + 70 = -5*f, c - 6*f = -8*f - 19. Is 5 a factor of (9 - -36)*(-21)/c?
False
Suppose 3*d = p - 20, -p + 2*d - 6*d = 15. Suppose -4522 = -p*t + 2*m, -3*m + 780 + 138 = t. Does 48 divide t?
False
Let a(c) = c**3 + 18*c**2 + 29*c - 54. Let p be a(-16). Is -7 + (-1638)/p + -3 a multiple of 13?
False
Let i be -11 + 9/(54/4)*-6. Let p be -1 - (i/2)/((-27)/(-36)). Suppose p*t + 234 = 10*t. Is 26 a factor of t?
True
Suppose 41*n - 12 = 35*n. Suppose 14*b - 2160 = -n*b. Is b a multiple of 9?
True
Let c(j) = -26*j - 64. Suppose 0*d - b = -2*d - 27, -3*b = -9. Does 40 divide c(d)?
False
Let s = 119 + -214. Let r = s + 235. Is 14 a factor of r?
True
Let b(f) = 201*f - 6036. Does 60 divide b(50)?
False
Suppose 6*h = -14*h - 1260. Is 21 a factor of (2/(30/h))/(2/(-70))?
True
Let k(s) = s**3 - 6*s**2 - 65*s + 34. Is k(16) a multiple of 6?
True
Let k = -15191 - -22816. Is k a multiple of 7?
False
Suppose -3*c - 17 = -5*j - 2, -20 = 5*j + 4*c. Suppose j = 4*w - w - 111. Let n = -8 + w. Does 6 divide n?
False
Let g(l) = 3*l + 13. Let f(n) = -3*n - 13. Let w(r) = -4*f(r) - 3*g(r). Let k be w(8). Let y = 71 - k. Does 11 divide y?
False
Let x(i) = 13*i**3 + 4*i**2 - 12*i + 15. Let g(f) = -23*f**3 - 9*f**2 + 24*f - 29. Let z(j) = -4*g(j) - 7*x(j). Let v = 21 - 30. Is z(v) a multiple of 11?
False
Is 89 a factor of ((-43267)/(-5) + ((-161)/(-35) - 5))*1?
False
Suppose 222*s = 214*s + 200. Suppose 66*h - 12177 = s*h. Is h a multiple of 5?
False
Let a(w) = -w**2 + 3*w + 13. Let n be a(5). Suppose -3*r = 5*c + 10, -3*r + 5*c - n*c + 4 = 0. Does 13 divide r + -3 - ((-90)/2 + -6)?
False
Suppose -5*b = 5*l - 53450, -4*l - 3*b = -6352 - 36413. Is l a multiple of 155?
True
Suppose 3*y + 34 = -2*t, 0 = -5*y + 2*t + t - 25. Let r(d) = -6. Let s(z) = 26*z + 17. Let b(w) = -8*r(w) - s(w). Is 51 a factor of b(y)?
False
Let t(f) = 24*f**2 + 66*f - 12. Is 6 a factor of t(-16)?
True
Let f(z) = -3*z + 45. Suppose 9*j + 40 = j. Is f(j) even?
True
Suppose 17*u = 18*u + 18. Is 26 a factor of 230/4 - u/36?
False
Suppose 4*t = 3*t + 4, 2*t - 32 = -4*d. Suppose -d = -f - v - 3, 0 = -3*f + v + 1. Suppose 9 - f = -2*g, -4*g - 84 = -4*l. Is l a multiple of 17?
True
Let l(s) = -4*s**2 + 16*s + 58. Let k be l(-6). Let h = k + 438. Does 16 divide h?
True
Let h(a) = 3*a**2 - 47*a + 62. Let i be h(32). Is 60 a factor of i/(-3)*24/(-16)?
False
Let m = -78 - -76. Let b(l) = 11*l + 24. Let x(t) = 11*t + 24. Let v(c) = m*x(c) + 3*b(c). Does 7 divide v(7)?
False
Let w(i) = -i**3 + 5*i + 294. Is 3 a factor of w(0)?
True
Suppose -43*m + 17339 = -42345. Is m a multiple of 12?
False
Let b(f) = 555*f - 120. Let m be b(4). Suppose -102*o + 97*o + m = 0. Is 105 a factor of o?
True
Let p(y) be the first derivative of 4*y**3 + 22*y**2 + 7*y + 217. Is 63 a factor of p(6)?
False
Suppose -4*y + 19254 = -3*x, 12*x - 10*x = 12. Is 22 a factor of y?
True
Is 30 a factor of 8/60 + (91732/30)/17?
True
Let f(y) = -58*y + 1098. Is 3 a factor of f(16)?
False
Let u = 662 - 36. Does 14 divide u?
False
Suppose -587*y - 2*j = -591*y + 41268, -2*j = -5*y + 51588. Does 80 divide y?
True
Let h = -93 - -416. Let q = h - 150. Does 26 divide q?
False
Let n = 15 + -12. Let h be 0/(-3*n/(-9)). Suppose 17*v - 20*v + 57 = h. Is 8 a factor of v?
False
Suppose 3*r - 5*t = 147, -2*r + 5*t + 39 = -r. Does 7 divide (9/6)/(9/r)?
False
Let x(d) = -d**3 + 4*d**2 - 10*d + 29. Let i = -106 + 109. Does 4 divide x(i)?
True
Let l = 108434 + -63829. Does 55 divide l?
True
Suppose 3*v + w - 64 = 0, -2*v - 36*w = -35*w - 41. Let r = 295 - v. Is 16 a factor of r?
True
Let l(k) = -7*k - 3 - 3 + 0*k + k. Let t be l(-2). Suppose -3*g + 4*i = -30, -i - 3 = -t. Does 3 divide g?
False
Let s(l) = 18*l**3 - 3*l**2 + 21*l - 82. Does 7 divide s(4)?
True
Let b(i) = -6*i**2 + 117*i + 87. Is b(16) a multiple of 47?
True
Suppose -3*i - 4*a + 9317 = 0, -15540 = -5*i - 7*a + 2*a. Is i a multiple of 5?
True
Let m(o) = 7*o**3 + 4*o**2 + 14*o + 8. Let k(p) = -13*p**3 - 9*p**2 - 28*p - 15. Let j(u) = -6*k(u) - 11*m(u). Let a be j(-7). Is 51 a factor of a/(5/2 + -2)?
True
Suppose 4*v = -4*w + 14428, -17*w = -2*v - 13*w + 7190. Is 58 a factor of v?
False
Let r(a) = 373*a + 3275. Is r(-6) a multiple of 17?
True
Suppose 0 = -4*n - 3*c + c + 82, -5*n + 5*c + 140 = 0. Suppose 21*t - n*t + 140 = 0. Is 33 a factor of t?
False
Is (2 - 1)/((-38)/(-18696)) a multiple of 43?
False
Suppose 10*d - 231 + 41 = 0. Let b(x) = -x**3 + 20*x**2 - 4*x - 20. Let g be b(d). Suppose 3*y + 0*y = 2*t + 268, 3*y - 5*t = g. Does 10 divide y?
True
Let a(q) = q - 779. Let t be a(0). Let i = -274 - t. Suppose 2*g - 378 = -3*o, -3*o - 3*g + i = o. Is o a multiple of 40?
False
Suppose 2653 = y - 2*q, 0 = -y - 3*q + 2834 - 171. Suppose 7*w = -32 + y. Is 15 a factor of w?
True
Let m(i) be the third derivative of -i**6/120 - i**5/15 + i**4/4 - 13*i**3/3 - i**2 + 49. Is 47 a factor of m(-8)?
False
Suppose y - 48 = -m, 2*y + 34*m - 97 = 33*m. Suppose 5*l - 1022 = -2*r, -y*r - 3*l - 1533 = -52*r. Is 37 a factor of r?
False
Does 3 divide (-232 - -5)/(109/(-1635))?
True
Suppose 3342908 + 1752064 = 161*t - 983100. Is t a multiple of 78?
True
Is 81/54*(-56780)/(-6) a multiple of 69?
False
Suppose -57*z + 54*z = 222. Let b be (14 - 16)*(-3)/1. Is -1 - z - (-10 + b - -1) a multiple of 14?
False
Suppose -10*o + 16340 = -18980. Suppose o + 868 = 16*h. Is h a multiple of 23?
False
Let b = -5582 + 5566. Let j(z) = 7*z + 4. Let x be j(-5). Let o = b - x. Is o a multiple of 10?
False
Suppose -n - 3*n + 3*l = 685, 3*l = -15. Let v = 133 - n. Is v a multiple of 4?
True
Let q = 281 - 272. Suppose q*a - 348 + 114 = 0. Is a a multiple of 4?
False
Let w(y) = -y**2 + 4*y + 3. Let a be w(5). Let h(j) = -68*j**2 + 14*j - 12. Let d(v) = 23*v**2 - 5*v + 4. Let b(k) = -8*d(k) - 3*h(k). Is 22 a factor of b(a)?
True
Suppose 156 = 15*q - 9*q. Is (-5761)/(-6) + q/(-156) a multiple of 60?
True
Suppose -8*d = -3*d. Let j(m) = -m**3 - 6. Let h be j(d). Let y(k) = 2*k**2 + 1. Does 22 divide y(h)?
False
Suppose 0 = -3*h + 8*h + 25, -35 = 5*w - 5*h. Is 60 a factor of (-1 - 1456/(-4)) + w/4?
True
Let w(j) = 4*j**2 + 13*j - 92. Let g be w(14). Is 15 a factor of (-3 - 1*-6) + (g - 7)?
True
Suppose 3*c + 924 = -4*q + 8136, 4*q + 5*c - 7204 = 0. Does 7 divide q?
True
Let m(t) be the second derivative of 2*t**6/45 - t**5/120 - 7*t**3/3 + 5*t. Let x(z) be the second derivative of m(z). Is x(1) a multiple of 15?
True
Let t(m) = -6*m**2 - 3*m + 23. Let d be t(-5). Let z be ((-8)/(-12))/(1/249). Let a = d + z. Is 18 a factor of a?
True
Suppose -135*m = -129*m + 24108. Let r = -2290 - m. Is r a multiple of 96?
True
Let u = 18709 - 14989. Does 20 divide u?
True
Let t = 131 + -128. Suppose 2*o - 184 = t*p, p - 22 - 65 = -o. Let j = -74 + o. Is j a multiple of 5?
True
Suppose -2*w + 151*w - 1160754 = -25*w. Is w a multiple of 9?
False
Let k(n) be the first derivative of 17*n**2/2 - 31*n + 81. Does 42 divide k(8)?
False
Let m be (-5 + 21/6)*-4. Let q(n) = 4*n**3 + 5*n**2 - 2*n + 44. Is 19 a factor of q(m)?
False
Let k(y) = 4*y**3 + 2*y**2 - 1. Let r be k(1). Let x(w) = -w. Let q(d) = 2*d**3 - 5*d**2 - 11. Let m(p) = q(p) + 3*x(p). Is m(r) a multiple of 10?
False
Let n be (7 + -5)*2/(-6)*3. Let w be 642/4 + 1/n. Suppose -v + w = -135. Is 11 a factor of v?
False
Let n(y) be the first derivative of -y**3/3 + 31*y**2/2 - 52*y + 37. Is 22 a factor of n(23)?
True
Let t(q) be the second derivative of -q**5/20 + 7*q**4/6 + 11*q**3/6 - 11*q**2 + 3*q + 1. Is 15 a factor of t(8)?
Tru