g - 55366, -2*g - 44318 = -4*w. Is 41 a factor of w?
False
Suppose 0 = -5*a - 25, 28 = m - 4*a + 5. Suppose -m*q + 3 = 0, -114 - 75 = -4*n - 5*q. Let y = -29 + n. Does 6 divide y?
False
Let l(v) = 3768*v**3 - 8*v**2. Let p(z) = -1256*z**3 + 3*z**2. Let f(a) = -3*l(a) - 8*p(a). Let b be f(-1). Suppose b = 5*i + 196. Does 31 divide i?
False
Suppose -n - 3*n = 3*w - 469, -5*w + 772 = -3*n. Let a = w - -4. Is 3 a factor of a?
True
Suppose -368 = -4*k + 176. Let t = 203 - k. Suppose t = m + 4*w - 51, 3*w + 280 = 2*m. Is m a multiple of 15?
False
Let p = 312 - 300. Does 18 divide -227*p/6*3/(-6)?
False
Suppose 5*l - 5*q - 101275 = 0, -7*q + 9*q + 81008 = 4*l. Does 6 divide l?
False
Suppose -4*i - 52716 = -27*i. Suppose 17*w = 5*w + i. Is 10 a factor of w?
False
Let t(f) = -76*f + 1607. Is 18 a factor of t(-59)?
False
Let u(z) = -z**3 + 50*z**2 - 10*z - 324. Is u(26) a multiple of 4?
True
Let d be (3 - 3)*(-5 + 6) + 4. Let z(n) = 19*n**2 - 8*n + 17. Let a(u) = -20*u**2 + 9*u - 18. Let m(l) = 4*a(l) + 5*z(l). Is m(d) a multiple of 15?
False
Let y be 14/(-63) - (-1714)/18. Let k = y + -83. Suppose s + k = -2*s, 4*s + 606 = 5*x. Is 26 a factor of x?
False
Let r = -6287 + 9359. Is r a multiple of 8?
True
Does 20 divide (-6)/14 - ((-312744)/28 + 13)?
False
Let r(i) be the second derivative of 3*i**5/10 + i**4/2 + i**3/3 - i**2 + i. Let h(b) = 26*b - 387. Let q be h(15). Is r(q) a multiple of 20?
True
Let h be ((-2)/(-15)*-3)/((-4)/840). Let v = h + -57. Let x = 56 + v. Is x a multiple of 5?
False
Let q(x) = -5*x - 17. Let v be q(-13). Let m = 50 - v. Suppose -4*s + 256 = m*r, -2*r = -2*s + 20 - 252. Does 8 divide r?
True
Let u = -10 - -12. Let g be 3 + -4 + u - -3. Suppose 2*s - g*c - 264 = -86, -193 = -2*s - c. Is s a multiple of 19?
True
Suppose 216*t + 489808 = 1530064. Is t a multiple of 203?
False
Suppose 4*t + 5*m = -157, 2*m + 111 = -3*t + 5*m. Let r = t + 42. Suppose -h - 5*z = 3*h - 249, 0 = 5*h + r*z - 318. Is 22 a factor of h?
True
Suppose 3*f - 2*l = -0*l + 1127, f = l + 376. Let j = -33 + f. Is j a multiple of 10?
False
Suppose -5*o = 3*a - 13 - 18485, o = -4*a + 24664. Is 34 a factor of a?
False
Let j = 23632 - 16240. Is 6 a factor of j?
True
Suppose -4*a - 3 - 17 = 0, -5*w - 2*a = -10. Let s be (w/(-10))/((-12)/(-420)). Let h(v) = -v**2 - 14*v + 16. Does 5 divide h(s)?
False
Let b(m) = -4564*m - 940. Does 39 divide b(-4)?
True
Let r = -447 + 316. Let z = -119 - r. Suppose -z*g = -2*g - 3300. Is g a multiple of 18?
False
Let b = -37 - -66. Suppose 6*x + 5 = b. Suppose 2*j + s - 86 = 0, -j - x*s = -5*s - 40. Is 6 a factor of j?
True
Suppose -5*s + 49627 = -l, -3*s + 4*s - 9910 = -2*l. Is s a multiple of 16?
False
Let z(b) = 7*b**2 - 8*b - 18. Suppose 24 - 80 = -7*k. Let c be z(k). Suppose -39 = -3*y + c. Is y a multiple of 27?
True
Suppose -396*c = -462*c + 576576. Is c a multiple of 104?
True
Let k(p) = -6691*p - 13528. Is 6 a factor of k(-6)?
False
Suppose 0*y = y + 1, 0 = -3*o + 3*y + 5283. Suppose -m + q = -352, 5*m + q + 0*q - o = 0. Is m a multiple of 16?
True
Suppose 0 = -p - 3*c - 3, -6*c = -4*p - 9*c - 3. Suppose p = -3*r + 437 + 811. Does 26 divide r?
True
Suppose 60570 = 3*g - 5*d, 33*g + 20204 = 34*g - 4*d. Is g a multiple of 38?
False
Is (-91)/6370*-30 + -13*11777/(-7) a multiple of 49?
False
Is 283 a factor of 16/11 - 2 - 1468960/(-352)*3?
False
Is (-5560)/(-2) - (16 - (-4 + 7 + 9)) a multiple of 36?
False
Suppose 2*k = -23*z + 19*z + 33846, 2*k + z - 33831 = 0. Is 20 a factor of k?
False
Let i(p) = -p**2 + 26*p - 135. Let h be i(8). Let g(l) = 2*l**2 - 12. Is g(h) a multiple of 15?
True
Suppose 52*w = 106100 + 134244. Does 35 divide w?
False
Let l(x) = 7*x + 2. Let q be l(-1). Let g(c) = 10*c + 25 - 22*c + 4*c - 17*c. Does 15 divide g(q)?
True
Let t = -15462 + 19026. Is 79 a factor of t?
False
Is 95 a factor of ((-69)/(-3) - 22)*(-1 + 11971)?
True
Suppose -4*h + 38 = 3*m, 16 = -2*h + 8. Suppose -2*q - q + 96 = 0. Suppose -m - q = -t. Does 10 divide t?
True
Does 236 divide -13*(-8)/520 + (-336297)/(-15)?
True
Let q be (-3)/6 - 135/(-10). Suppose 0 = 5*d - q - 12. Suppose -d*r = -4*r - 7. Is 7 a factor of r?
True
Let i(r) = 5*r**3 - 5*r**2 + r + 108. Let p(o) = 4*o**3 - 4*o**2 + o + 109. Let y(m) = -3*i(m) + 4*p(m). Is y(0) a multiple of 9?
False
Is 31 a factor of ((-15)/(450/12))/((-285243)/(-142625) + -2)?
False
Let k be 231/28 - (9/(-12) - -1). Suppose 48 = -4*i + k*i. Is 5 a factor of 898/i + 1/6?
True
Let t(z) = 5*z**2 + 10*z - 42. Let k be t(7). Let o = k - -101. Is o a multiple of 80?
False
Let y = -46 + 82. Let n = -34 + y. Let p = n - -139. Is p a multiple of 16?
False
Let b = -90 + 90. Suppose -3*q = 4*o - 1275, q + 5*o - 286 - 128 = b. Is 33 a factor of q?
True
Let j(g) = g**3 - 5*g**2 + 5*g + 1. Let h be j(4). Suppose -2388 = -h*k + k + 3*r, 5*k + 5*r - 2950 = 0. Suppose 2162 = 8*i + k. Is 28 a factor of i?
True
Is 61 a factor of (-184 + 1)*245480/(-2280)?
True
Is 9846*15*(-3)/(-90) a multiple of 8?
False
Suppose -m + 8128 = 3*q, 3*m + 27 = 21. Is 65 a factor of q?
False
Let j(t) = t**2 + 3*t - 16. Let m be j(-6). Is (8/20 - (-5836)/10) + m a multiple of 37?
False
Let p = 17436 + -9644. Is p a multiple of 28?
False
Let g(c) = 27*c - 266. Let w be g(10). Suppose -l - 5*b = 16, -8*l = -w*l + 2*b - 26. Is l a multiple of 3?
True
Let b = -191 - -283. Suppose 9*l - 88 = b. Is 49 a factor of 12/l - 2864/(-10)?
False
Suppose 129*a = 367*a - 4349926. Does 7 divide a?
True
Suppose 4*t = 16*i - 17*i + 2078, -3*i + 1563 = 3*t. Does 2 divide t?
False
Suppose -40*i - 220 = -44*i. Suppose 3*k + 101 = -i. Let u = 134 + k. Does 18 divide u?
False
Let t be (3554/4)/((26/24)/13). Suppose -9402 - t = -16*o. Is o a multiple of 11?
True
Let h(m) = -m**3 - 9*m**2 - 16*m - 10. Let r(g) be the second derivative of g**4/12 - 5*g**3/3 + 17*g**2/2 - 8*g. Let v be r(5). Is h(v) a multiple of 3?
True
Let c(z) = z**3 + z**2 + 3*z + 1. Let v be c(2). Let x = v + -37. Let y = 35 + x. Is y a multiple of 6?
False
Let p be (-49324)/(-264) - 2/(-12). Suppose -3630 = -p*o + 177*o. Is 11 a factor of o?
True
Suppose 22*i = -2*i - 101*i + 1922625. Does 16 divide i?
False
Suppose -4*y + 472 = 2*s, -3*s - 579 = -12*y + 7*y. Let d = 44 + y. Is d a multiple of 23?
True
Let i be (-1)/2*60/(-10). Suppose 4*f - 5*u = i*f + 111, 0 = -f + 4*u + 116. Does 5 divide f?
False
Let d be 67*2/(-6)*-3. Suppose 4*j = 4*y - 52, -3*j - d = -5*y + j. Let k(m) = m**3 - 14*m**2 - 10*m + 9. Does 12 divide k(y)?
True
Suppose g + 4 = -9. Is (409/3)/(g/(-39)) a multiple of 37?
False
Does 18 divide (-2)/(-28) - (-18774730)/3892?
True
Let i(s) = s**3 + 12*s**2 - 15*s - 18. Let o be i(-13). Suppose -5*w = -5*u + 2450, o*u = 4*u - 2*w + 1936. Is 41 a factor of u?
False
Suppose 0 = 3*j + 4*q - 540, -j - 5*q = -q - 180. Suppose -63*r + 4536 = -12222. Suppose -3*h + h - 2*y = -j, 3*h = -2*y + r. Is 13 a factor of h?
False
Let i(k) = 2*k**3 - 17*k**2 - 8*k + 4. Let r be i(9). Let b(l) = -3*l + 41. Let p be b(r). Suppose -99 = -p*t - t. Is 4 a factor of t?
False
Let g be -6 - 185/(-35) - (-4)/(-14). Let a be (g*(-15)/(-6))/(1/(-2)). Suppose -x + 3*z + 4 = -53, -z = a*x - 253. Is x a multiple of 25?
False
Suppose a = m + 2*m + 319, 4*a = -5*m - 560. Let g = m + 114. Is 42 a factor of g/(4/(24/9)) + 290?
True
Let b = 90921 - 30304. Does 51 divide b?
False
Let t be -4 - -6 - (-1 + -6). Suppose o + 5 - 3 = -3*d, 5*d + t = 4*o. Is 11 a factor of (315/10 + -4)/(o/2)?
True
Suppose -4*n + d = -89794, -7*n + 2*d = -6*n - 22452. Does 30 divide n?
False
Let j = -109 - -109. Suppose 8*u - 3545 + 1241 = j. Does 48 divide u?
True
Let g(h) = 2*h**2 + 10*h - 20. Let l(o) = -5*o**3 + 3*o**2 + o - 1. Let t be l(-1). Is 16 a factor of g(t)?
True
Let i be (-3951)/(-2) - (77/7)/(-22). Suppose -9*h = 10*h - i. Is 8 a factor of h?
True
Let t(f) = -4*f**2 - 4*f - 79. Let w(i) = -i**2 + i. Let j(h) = t(h) - 6*w(h). Is j(-19) a multiple of 17?
True
Let j(d) = -d**3 + 7*d**2 + 5. Let v be j(5). Let g = -37 + v. Let b = 73 - g. Is 17 a factor of b?
False
Let s(f) = -f**2 + 27*f + 240. Let h be s(34). Is (304/(-12))/(h/(-54)) a multiple of 36?
True
Let c(z) = 7*z**2 - 22*z + 73. Let v be c(25). Suppose -6*u + 2*k = -2*u - v, -2*u + 1940 = 2*k. Is 13 a factor of u?
False
Let m = 45 - 43. Suppose -m*k - 126 = g + g, -