-15) + -2). Suppose -o + z*o + 18 = 0. Is 18 a factor of o?
True
Does 46 divide (20/(-15))/((-20)/4830)?
True
Let s be 2*44/16*2. Suppose -3*z + 4*i + 9 = 1, -4*z + 5*i = -s. Suppose 653 = 5*q + z*t, -3*q - t - 2*t + 393 = 0. Is 28 a factor of q?
False
Let q(i) = i**3 - i**2 - 21*i + 2. Let d be q(6). Is 3/(-8) + 7861/d a multiple of 20?
True
Let h = 36374 - 35454. Does 10 divide h?
True
Suppose f + 4*k - 9335 = 0, 88*f - 89*f + 2*k = -9365. Does 12 divide f?
False
Suppose 3*f - 10 = 4*f - 3*g, -2*g = -4*f. Suppose f*z + 188 = 572. Does 5 divide z?
False
Let l(s) = -14*s + 168. Suppose -p - 4*p - 145 = -5*n, 2*n - 6 = 0. Does 24 divide l(p)?
False
Suppose -20*x + 4*x - 48 = 0. Let p be 398/x*39/(-13). Suppose -8*k = -50 - p. Does 7 divide k?
True
Suppose 7*o - 9*o = 16*o. Suppose 0 = 5*h - 2*u - 2584, 15*h - 18*h - 5*u + 1569 = o. Does 37 divide h?
True
Suppose n + 2 = 2*y, -5*y + 9*n = 4*n + 5. Suppose -5*c - 6 = -3*a - 0, 5*c = 4*a - y. Let s(m) = 4*m**2 + 5*m + 10. Is s(a) a multiple of 3?
False
Let u(j) = -j**3 - 7*j**2 + 7*j - 1. Let l be u(-8). Suppose l*k = 30 - 9. Suppose -3*r + 123 - k = 0. Is r a multiple of 5?
True
Suppose 0 = -3*q - 79 + 19. Let u be q/(-2 - (0 + 2 - 2)). Is 29 a factor of u/(-25) - 3/5 - -91?
False
Does 58 divide (-2 + -6)/(-8) - (8 + -6561)?
True
Let p = 41 - 36. Suppose -5*x = p*b - 90, 4*b - x - x - 72 = 0. Suppose 0 = -j + 104 + b. Does 32 divide j?
False
Does 34 divide -9*(-60)/(-315)*-238?
True
Does 3 divide 4867/2 - 726/(-132)?
True
Let d(k) = -97*k + 65. Is d(-15) a multiple of 22?
False
Is 20 a factor of ((-22586)/(-207))/(3/378)?
False
Suppose 0 = -8*q + 3*q + 3*y - 260, 5*q = -3*y - 230. Let i = q - -55. Does 11 divide (68/(-8))/(3 + (-21)/i)?
False
Suppose -32068 = -r + 3*i, -5*r + 17328 + 143120 = 3*i. Is r a multiple of 20?
False
Does 17 divide -2 + (11/(-33))/((-2)/76308)?
True
Let s(u) = -u**3 - 7*u**2 + 10*u + 4. Let o be s(-9). Let v = o + -74. Suppose z + 32 - 162 = -2*g, -626 = -5*z + v*g. Is z a multiple of 14?
True
Suppose 0 = 3*o - 3, -3*j = 2*o - 11. Is 32 a factor of 1 + 1 - ((-198)/j - 4)?
False
Suppose 2*d = 16*d - 56. Suppose 8 = -d*q + 8*q - 3*s, -4*q + 16 = -s. Suppose z = 2*z + y - 50, q*z = -2*y + 238. Is z a multiple of 7?
False
Let t be 6870/(-25) + (32/20)/2. Let o = t + 466. Is o a multiple of 12?
True
Let q(f) = 2*f**2 + 56*f - 31. Let a(g) = 4*g**2 + 111*g - 62. Let m(x) = 2*a(x) - 5*q(x). Is 4 a factor of m(-29)?
False
Suppose 37*h - 147*h + 32593 = -11847. Does 5 divide h?
False
Let y be (-13)/(-26) + (-5)/(-2). Let f be y/15 + (-171)/5. Let q = f + 42. Is q a multiple of 4?
True
Suppose -3*k + 5*m + 38201 = 0, -38*k = -35*k + 4*m - 38165. Is 38 a factor of k?
False
Let r = -148 + 148. Suppose r = 3*k - 4*k + b + 445, -2*k + 3*b = -895. Does 45 divide k?
False
Let j be (2/3 - 264/(-9))*-1. Suppose -36 = -c + 2. Let i = c + j. Is i a multiple of 2?
True
Let a(q) = 5*q**2 - 8*q - 2. Let d be 315/99 - (-2)/(-11). Suppose -4*n + d*i + 4 = -20, -2*n + 4*i = -12. Is 27 a factor of a(n)?
False
Let l = -337 - -148. Is 39 a factor of (l/(-18) + -4)/(1/66)?
True
Suppose -3*d + 2*q + 0*q = -15, q - 9 = -4*d. Let j be (-19)/(-152)*(1 + 23). Suppose j*y = -6 - d, 2*s - 163 = -y. Is 27 a factor of s?
False
Let h(z) = -64 - 2*z**2 - 4*z - 2*z**2 - 4*z**2 + 4*z**2 + 29*z**3 - 28*z**3. Is 10 a factor of h(9)?
False
Let o = 3703 + 581. Is 21 a factor of o?
True
Suppose 170*v = 181*v - 34848. Is 72 a factor of v?
True
Let k(w) = 400*w + 1537. Does 13 divide k(118)?
True
Suppose 161 = 14*n - 147. Let t(j) = 6*j + 53. Let k(x) = 3*x + 26. Let g(v) = 9*k(v) - 4*t(v). Does 20 divide g(n)?
False
Let w(h) = -9*h - 62. Let f be w(-7). Is (5 - 329)/((-2)/f) a multiple of 18?
True
Let c = -195 + 198. Suppose b = -4*n + 5444, c*n - 8*b + 11*b - 4083 = 0. Is 40 a factor of n?
False
Let x = 2766 + 5799. Is x a multiple of 15?
True
Suppose -q + z = -4*q - 147, q + 5*z + 35 = 0. Let c = q - -164. Does 57 divide c?
True
Suppose 5*v + 2581 = -5*o - 429, 0 = 5*v - 2*o + 2975. Let i = v + 1130. Is i a multiple of 41?
True
Let z(u) = u**2 + 16*u - 31. Let j be z(-18). Suppose 94 = 2*y - g, 262 = j*y + 2*g + 18. Is 8 a factor of y?
True
Suppose 16 = 4*l + 3*r - 4*r, 20 = 5*l - r. Suppose 2*o - l*o = 3*j - 140, j + o - 48 = 0. Is j even?
True
Let d(g) be the first derivative of 13/3*g**3 - 1/4*g**4 - 11 + 27*g - 23/2*g**2. Does 8 divide d(11)?
True
Is 35 a factor of 5/1 + -22 + 31 + 93?
False
Let d(z) = -6*z - 41. Let q be d(-9). Suppose 7597 = q*g + 850. Is 46 a factor of g?
False
Suppose 0 = 5*o - 2*x - 6047, 2*o - 4*o + 2*x = -2420. Suppose -2*q + o = 5*t, 3*q - t - 687 = 1084. Is 37 a factor of q?
True
Suppose -5*a - t + 852 - 3134 = 0, 8 = -4*t. Does 19 divide ((-30)/(-9))/((-8)/a)?
True
Suppose 702*u = 418*u + 8089740. Is 135 a factor of u?
True
Suppose 10*p - 1415 - 3495 = 0. Let v = 691 - p. Is 25 a factor of v?
True
Let k(w) = -w**3 - 136*w**2 - 3198*w + 27. Does 27 divide k(-30)?
True
Is 6 a factor of 4/15 + (-1550248)/(-2820)?
False
Suppose -1346 - 2819 = -35*p. Suppose 57*s - p = 56*s + 3*o, -8 = 2*o. Does 7 divide s?
False
Let b(a) = -4 - 36 - 25 + 27*a - 3. Does 7 divide b(9)?
True
Let j(s) = -s**3 + 22*s**2 + 2*s - 41. Let r be j(22). Is 44 a factor of (-2)/(-1) + -3 + r - -358?
False
Let m be (-1 - (-35)/15)*3 - -1. Suppose 5*p - m*u - 115 = 0, 0 = 4*p + 5*u - 59 + 12. Is p a multiple of 14?
False
Suppose -7*i + 43 = 22. Let m(p) = -2*p**3 + 4*p**2 + 3*p - 3. Let u be m(4). Let y = i - u. Is y a multiple of 8?
False
Suppose -196571 = -4*z + 3*j, -4*z + 32*j = 31*j - 196585. Is z a multiple of 44?
True
Suppose 578*q + 63 = 599*q. Let b = 792 + -430. Suppose 79 = q*c - b. Is c a multiple of 35?
False
Suppose 6*x - x + 3500 = 0. Let z = x - -1224. Does 36 divide z?
False
Let k be (-280)/(-80) - 6/4. Suppose -4*o + 6*u = 3*u - 257, 3*u = -k*o + 133. Does 24 divide o?
False
Suppose -8*l - 73508 = -29*l + 44806. Is l a multiple of 9?
True
Is (0 - -4)*(-749241)/(-708) a multiple of 28?
False
Does 47 divide (9693/(-36))/((-4248)/704 + 6)?
False
Suppose 7*w + 10 + 53 = 0. Let o(a) = 3*a + 21. Let u be o(w). Is ((-6)/(-8))/(u/(-144)) a multiple of 3?
True
Let m be (1 - 6)*(8 + -9). Let y(q) = 4*q - 20. Let d be y(m). Let z(n) = n**3 + 2*n**2 + 2*n + 132. Is z(d) a multiple of 44?
True
Let z be 154/11*2/(-4). Let m(s) = -12*s + 46. Let n be m(z). Suppose -553 = -9*c - n. Is c a multiple of 8?
False
Let u(l) = -132*l**3 - 31*l**2 - 39*l - 48. Is u(-7) a multiple of 134?
False
Does 14 divide 10/5 + 1424 + -1?
False
Let m(t) = -3*t + 4. Let a(v) = -6*v + 8. Let j(k) = -2*k**3 - 7*k**2 + 5*k + 1. Let q be j(-4). Let p(s) = q*a(s) + 7*m(s). Is p(-1) a multiple of 6?
False
Let k = 18778 - 13567. Does 22 divide k?
False
Suppose -24*a = -6158 - 1906. Does 12 divide a?
True
Is 16 - (-305)/(-20) - 80834/(-8) a multiple of 43?
True
Let j(v) = -v**3 + 27*v**2 - 26*v + 42. Does 36 divide j(11)?
True
Suppose -m + t - 5 = 0, 0 = -3*m - 2*m + 2*t - 28. Let s be 2 - (-44)/(-24) - 8447/m. Does 18 divide (-26)/39 + s/6?
True
Is 27 a factor of (1 - 2)/(26 - 25) - -1749 - -7?
True
Suppose d = 2*o - 3*o + 1, 19 = 4*d - o. Suppose 0 = -3*b + b + d. Suppose -b*g + 2*z + 110 = -0*z, 3*z - 243 = -5*g. Does 17 divide g?
True
Let m = -40 - -39. Let w be -4 - m - 10*4/(-8). Is 28 a factor of w - 1 - -1*324/2?
False
Let b(k) = 148*k**3 - 2*k**2 - 131*k + 514. Is b(4) a multiple of 10?
True
Does 64 divide ((-261)/(-2088) + (16438/(-48) - -1))*-45?
True
Suppose -11*u + 9*u = -5*w - 26, -2*w + 4*u = 20. Is w + (834 + 4 - -3) a multiple of 9?
True
Let n(k) = k**3 + 35*k**2 - 4*k - 624. Does 20 divide n(-19)?
False
Suppose 134*m - 19168 = 130*m. Is 29 a factor of m?
False
Let s = 89 - 80. Is 59*s/(-3)*(-3)/9 a multiple of 59?
True
Let m = 9 - 257. Let x = m - -416. Let b = x - 109. Is 11 a factor of b?
False
Suppose g - 5*g = -2*i + 36, g - 4*i = -23. Let y(n) = -6*n - 45. Let x be y(g). Is 16 a factor of (x + 19/1)*10?
True
Let y be (-2 + 1)/2*(-1 + 1). Suppose 2*f + 5*f - f = y. Suppose 4*l + 200 = 4*a - f*l, -2*a - 2*l = -92. Does 7 divide a?
False
Let t = 22863 - -3946. Does 19 divide t?
True
Let t(d) = d**3 + 33*d**2 - 10*d - 88. Let y be t(-33). Suppose 224*s = 226*s - y. Is 36 a factor of s?
False
Let k = 75778 - 50757. Is k a mult