e -3925 = -u*s + 6*s. Is s a multiple of 32?
False
Let q(h) = h**3 - 11*h**2 + 8*h + 1. Let g be q(8). Let y = -32 - g. Suppose 2*w - 61 = 3*o, 3*w + 2*o = 3*o + y. Is 5 a factor of w?
False
Does 284 divide 50571 + (-10 - 7) + -2?
True
Let q be 21/(-6) - (-1)/(1 - -1). Let z(d) = 4*d**2 - 2*d - 3. Let u be z(q). Let h = u + -20. Is 19 a factor of h?
True
Suppose 0 = 3*u - 40*g + 42*g - 24851, 2*g = u - 8281. Is 92 a factor of u?
False
Let p = -452 + 113. Let o = 467 + p. Is o a multiple of 14?
False
Let k(a) = 18*a**2 + a + 5. Suppose -q + f - 9 = -2*q, -4*q - 2*f + 26 = 0. Let i be k(q). Let c = i + -167. Does 26 divide c?
True
Suppose -20*k + 2394 = -186. Suppose 3*b - 425 = 2*i, i - k = -b + 16. Is b even?
False
Suppose 5*d - 24 = -m, 3*m + 8*d = 4*d + 17. Is 1*(m - 3 - -365) a multiple of 27?
False
Let w(f) = 47*f**2 + 276*f + 5. Is 23 a factor of w(-8)?
True
Suppose -5*i + 25 + 80 = 0. Is 36 a factor of 7*(-648)/i*-1?
True
Suppose -182*x + 2835 = -177*x. Let y = x + -477. Is y a multiple of 15?
True
Suppose -191*x = -535648 - 2665130. Is 57 a factor of x?
True
Suppose -10*r - 7*r - 153 = 0. Let x(w) = w**3 + 12*w**2 + 9*w - 26. Is 10 a factor of x(r)?
False
Suppose 0 = -u + 15*u + 15064. Let r = u - -1573. Is 58 a factor of r?
False
Suppose 4*f = -a + 23613, -5*a = f - 7*a - 5910. Does 123 divide f?
True
Does 42 divide (3 + 1)/(30*(-23)/(-312570))?
False
Let u be -1*(-4 + 5 + -1032). Let t = 1959 - u. Is 29 a factor of t?
True
Let h = 1618 - 768. Suppose 371*f = 373*f - h. Does 44 divide f?
False
Suppose -4*v + 500 = v. Suppose -2*a - 3*t - 52 = 0, 4*a + 4*t + 159 - 43 = 0. Let k = a + v. Is k a multiple of 8?
False
Let w(j) = j - 70. Let n be w(14). Let t = n - -50. Is (-2)/(4/t)*5 a multiple of 10?
False
Let l = -143 + 297. Does 13 divide l?
False
Let b(n) = -n**3 - 47*n**2 - 1065*n - 75. Does 8 divide b(-23)?
False
Suppose -f + 4*u - 452 = 0, 914 = 2*f - 4*f - 2*u. Let j = -333 - f. Does 28 divide j?
False
Suppose 3402 = -24*d + 10866. Is 84 a factor of d?
False
Suppose -3*j - 20*j = -230. Suppose -r - 63 = -471. Suppose -4*u = -j*u + r. Is u a multiple of 9?
False
Suppose 0 = -5*u + 2*u. Suppose 4*q + 3 - 1903 = u. Is 25 a factor of q?
True
Let x = 107 - 105. Let r be (-80)/(-16) - (-1 - 1 - -1). Suppose x*u = 2*v - 64, 0 = -6*u + 4*u + r. Does 5 divide v?
True
Let s = -37 + 41. Let p(w) = w**3 - 5*w**2 + 4*w + 2. Let j be p(s). Suppose 0 = j*i - 0*i - 172. Is i a multiple of 21?
False
Let c = -18579 - -20805. Does 6 divide c?
True
Let t(w) = 17*w + 24. Let i(y) = -y**2 - 5*y + 8. Let k be i(-5). Let v be t(k). Suppose -v = -4*g + c, -120 = -2*g - g + 2*c. Is 10 a factor of g?
True
Let t(s) = -s**2 - 9*s - 20. Let n be t(-6). Let g(w) = w**3 + 2*w**2 + 2*w. Let m be g(n). Does 19 divide (-2 - 24)*9/(18/m)?
False
Suppose -603*c + 147181 = -550*c. Is 105 a factor of c?
False
Suppose 54*f + 4*f = 680630. Is f a multiple of 19?
False
Let i(o) = 485*o**2 + 21*o + 117. Is 53 a factor of i(-5)?
True
Let a(l) = -26*l + 16 + 6*l - 17*l - 2*l. Let y(m) = -194*m + 82. Let k(v) = -16*a(v) + 3*y(v). Does 40 divide k(5)?
True
Let o = 386 - -1270. Is o a multiple of 104?
False
Let s = 367 + -272. Suppose i - s = 3*q - 867, -5*q + 1292 = -3*i. Is q a multiple of 22?
False
Let j be (-2)/(-6)*(27 + 21). Let u(b) = -3 + 8 + 17*b**2 - 6*b - j*b**2. Is u(13) a multiple of 12?
True
Let y be 3/15 + 3/(-15) + 0. Suppose -3*h + 792 = 3*m, y = -2*m - 3*h - h + 536. Is 65 a factor of m?
True
Let n be 5*(4 + (-17)/5). Let z be (-2*(-6)/(-12))/((-1)/n). Suppose -5*m + 91 = 3*t, t - 16 = 4*m + z. Does 9 divide t?
True
Let q = -30975 + 55616. Is q a multiple of 120?
False
Let j(x) = x**2 - 10*x - 7. Let z be j(7). Let r = z - -33. Suppose -n = 5*s - 90, -n + r = -4*s + 77. Is 6 a factor of s?
True
Let i be (-8)/3*(-96)/16. Suppose -4 + i = 4*r, -3*b + 291 = r. Is b a multiple of 6?
True
Let g = -107 - -111. Suppose -r + 314 = -3*n, 0 = r + g*r - 5*n - 1590. Does 26 divide r?
False
Let f be (-18)/24*(3/9 + -3). Suppose 128 = b + z + 26, 102 = b - f*z. Is b a multiple of 34?
True
Let u(q) = -1233*q + 207. Is u(-11) a multiple of 54?
True
Is 28417 - (7 + (2/(-7))/(20/980)) a multiple of 209?
True
Let p(z) = -14*z + 84. Let u be p(6). Suppose u = -16*s + 17*s - 262. Does 11 divide s?
False
Suppose 3*y - 3568 = -3832. Let k be (414/24)/(2/(-8)). Let o = k - y. Does 3 divide o?
False
Let j be (12/(-8))/(3/(-6)). Suppose 2*f = j + 53. Suppose -3*q = 5*v - 225, 0*v + v + 4*q = f. Is v a multiple of 24?
True
Let x(i) = -i + 1. Let m(w) = -7*w + 14. Let q(c) = m(c) - 6*x(c). Let s be q(8). Suppose s = 4*g - 89 - 175. Does 33 divide g?
True
Let q(t) = 1869*t**2 + 470*t - 1917. Is 19 a factor of q(4)?
False
Let v be (-1)/(-3) - (165/9 - -2). Let z = -12 - v. Suppose -288 = -z*d - 72. Does 9 divide d?
True
Let x be -3 + 334/((-2)/(-1)). Suppose -2*k + 18 = 52. Let d = k + x. Is 14 a factor of d?
False
Suppose 13*y + 26*y - 116700 = 27*y. Is y a multiple of 8?
False
Let l(b) = 8*b**2 - 38*b - 165. Does 25 divide l(-9)?
True
Is ((-2338)/2)/((-82)/82) a multiple of 7?
True
Does 29 divide (-2 - -1568)/(((0 - 4) + 7)/6)?
True
Suppose -20 = -7*o - 6. Suppose -o*g + 42 = -20. Suppose 0 = 5*r - 24 - g. Is 8 a factor of r?
False
Suppose -183*f = -228*f + 1004400. Does 72 divide f?
True
Let b(l) = 18 - 8*l - 5*l + 24*l + 3. Is 17 a factor of b(12)?
True
Suppose -2*z = 8*z. Suppose z = m + 5*q - 126, 0 = m + 7*q - 4*q - 132. Does 28 divide m?
False
Let a be -24 + -8*(2 + 18/(-12)). Is 1145/20 + (6 - (-175)/a) a multiple of 57?
True
Let c(k) = k - 2. Let a be c(5). Suppose 0 = 4*h, 2*h = 4*v + 1062 - 2954. Suppose -l + 237 = l + j, -v = -4*l - a*j. Is 17 a factor of l?
True
Let q(d) = 307*d + 8298. Does 33 divide q(42)?
False
Let u(b) = -2*b**2 + 4*b + 1. Let m be u(3). Is m/((-40)/2974) - (-7)/28 a multiple of 12?
True
Let i be 414/(-15)*(-15)/6. Suppose 0 = -13*l + i + 230. Is l even?
False
Suppose 2151 = w + 2*y, 13*w = 12*w + y + 2145. Does 33 divide w?
False
Suppose 2 = 4*t - 3*t - 4*m, -2*m - 28 = -5*t. Let w = 1321 + -1221. Let g = t + w. Does 27 divide g?
False
Suppose -5*y - p + 68 = 0, -2*p + 0*p = y - 10. Let m be (4/y + 174/(-168))*-440. Suppose -2*q + 357 = 5*z, -26 + m = 4*z - 3*q. Does 15 divide z?
False
Suppose -3*t + 16 = 5*m - 57, -4*m + 52 = -4*t. Let i = 12 + m. Does 12 divide i?
False
Suppose 0 = 8*w - 109 + 29. Suppose 0 = 15*s + w*s - 650. Is s a multiple of 3?
False
Suppose 220 = -4*g - 144. Is 26 a factor of (24 + 0)/(350/g - -4)?
True
Suppose 67*s - 66*s = 19. Suppose 1 = -5*q - s, -4*v + 4588 = 5*q. Is 12 a factor of v?
True
Let u(f) = f**2 - 35*f + 557. Is u(32) a multiple of 7?
False
Suppose 49*h = 212201 + 531031. Is h a multiple of 16?
True
Is (-28113870)/(-1675) + (-4)/10 a multiple of 16?
True
Let t(x) = 33*x**2 + x - 4. Let r = 85 - 82. Let d be t(r). Suppose d = 5*y - 124. Is 7 a factor of y?
True
Suppose 15*a = 20*a - 385. Does 4 divide 16/28 - (-18282)/a?
False
Let o(u) = -u - 3*u - 9*u**3 + 11 - 10*u**2 + 8*u**3. Let r = 23 + -33. Does 4 divide o(r)?
False
Let i be (11 + -13)/((-1)/2). Suppose i*r - 3209 = -85. Is 11 a factor of r?
True
Let g(l) = l**3 + 52*l**2 + 191*l - 98. Does 14 divide g(-43)?
True
Let s(l) = l**2 + 20*l - 24. Let w be s(-19). Let q = 191 - w. Suppose -4*m = -m - q. Is m a multiple of 26?
True
Let a(z) = -6*z**2 - 71 - 3*z**2 + 5*z**2 + 6*z**2 - 28*z. Is a(21) a multiple of 8?
False
Suppose -9*s + 15 = -6*s. Let z(v) be the second derivative of v**3/3 + 5*v**2/2 + 2*v. Is z(s) a multiple of 4?
False
Let j = -7 + 9. Suppose -j*i + i = -7*i. Is 24 a factor of -5 + (i - 3 - -288)?
False
Let l be (-472)/(-16)*-2*(-1 - -2). Let q = -56 - l. Suppose 3*i = -k + 5*k - 225, q*k = -5*i + 205. Is k a multiple of 18?
False
Suppose -11*o = -13*o - 4, 5*o + 1103 = v. Is 8 a factor of v?
False
Suppose 0 = 3*d - 9*d + 3*r + 7980, 2*r = -5*d + 6668. Is 4 a factor of d?
True
Suppose 88*x - 2339189 = 3588027 - 739704. Is x a multiple of 23?
True
Suppose 29*h = -17*h + 6578. Is h even?
False
Let w = 8230 - 3190. Does 112 divide w?
True
Let c = -4786 + 8947. Does 73 divide c?
True
Let q(d) = d**2 - 55*d - 640. Does 6 divide q(-45)?
False
Suppose -4*h = -6*c + 12791 - 36283, 4*c = h - 5868. Is 52 a factor of h?
True
Is 3 + 4*1 + (5293 - (1 + 7)) a