 a factor of s(-16)?
False
Let w(o) = o**2 + 4*o - 36. Let k be w(-9). Suppose k*t - 4*t - 25 = 0. Suppose 0 = -t*x + x + m + 719, -x + 176 = -4*m. Is x a multiple of 18?
True
Let u be (-5 - (-6 + 0)) + -21. Let l(a) = a**3 + 20*a**2 - 10*a + 7. Is l(u) a multiple of 11?
False
Suppose -36 = -5*u - t + 10, -5*u + t + 44 = 0. Suppose 309 = u*r - 303. Is 10 a factor of r?
False
Suppose g = -3*j - 6492 + 15874, j = 4*g - 37580. Is 11 a factor of g?
True
Suppose 50 + 286 = -3*g. Let y = 253 + -537. Let p = g - y. Does 35 divide p?
False
Is 10 a factor of 360/(-990) + 11562/33?
True
Suppose -4*u + 15474 = 188*k - 185*k, 4*k - u = 20613. Does 11 divide k?
False
Let a(w) = -286*w - 7615. Is a(-85) a multiple of 15?
True
Suppose x - 5*k + 45 = 6*x, -3*k + 35 = 5*x. Suppose 405 - 3783 = -6*h. Suppose -4*d + 4*y - h = -9*d, -x*d + 3*y = -469. Is 13 a factor of d?
False
Let v(d) = -6*d**2 + 2*d + 10. Let s be v(-3). Let a(m) = m**3 + 8*m**2 - 9*m + 1. Let k be a(-9). Is 21 a factor of -4 - -7 - s*k?
False
Suppose -11*h + 34 = -43. Suppose 5*j + h*g = 6*g + 3495, -j + 705 = -g. Does 11 divide j?
False
Let r be ((-6664)/(-140))/(2/20). Let c = -436 + r. Is 8 a factor of c?
True
Let r(o) = 32*o**3 - 2*o**2 + 2*o - 1. Let b be r(2). Let j = b - -164. Suppose -5*z = -3*t + j, 22 - 167 = -t - 5*z. Does 39 divide t?
False
Let x(y) = 2*y**2 + 6*y - 8. Let w be x(3). Suppose -5*p - 2 = -3*p. Is 2 a factor of (-44 + w)/(p - (2 + -1))?
True
Suppose 2*h - 166*y - 11134 = -168*y, -3*h + 16705 = -y. Is 12 a factor of h?
True
Suppose 2*t = -5*v + 21, -29*t - 44 = -34*t - 4*v. Let k = -174 - -334. Suppose -t*d + 4*d = -5*o - 638, -o = -d + k. Is d a multiple of 55?
False
Suppose -2*b - 3*t = -177, 10*b + 363 = 14*b + 3*t. Suppose 5*m + 21 - 341 = 0. Suppose b*r - 91*r = m. Does 6 divide r?
False
Let b = 258 + -255. Suppose -8*v + b*v + 5445 = 0. Does 22 divide v?
False
Let h(o) = 33*o**2 + 4*o - 2. Let b be h(-3). Let v = b + -214. Is 23 a factor of v?
True
Let l be (-3 - (5 + 50))/((-2)/(-31)). Let v be l/5 + 7/(-35). Let m = 310 + v. Is 26 a factor of m?
True
Let a(g) = -g**2 - 196*g - 2399. Is a(-120) a multiple of 47?
True
Is 6 a factor of (379/2)/(-8 - 3852/(-480))?
False
Suppose 0 = -15*n + 7*n + 2936. Suppose -11*j + 8*j = 2*l - 1091, -j - 4*l + n = 0. Does 20 divide j?
False
Is 46 a factor of (50140/(-7))/((-260)/(-70) - 4)?
True
Let k(l) = 4*l**2 - 93*l + 2042. Is k(23) a multiple of 27?
False
Suppose 3*p - 2*p + 43 = 0. Let m = p - 17. Is (-1236)/m*(5 - 0) a multiple of 15?
False
Suppose 63*h - 22248 = 54*h. Suppose -5*l = 3*s - h, 0*l - l + 472 = -5*s. Is 41 a factor of l?
True
Suppose 0 = 3*y - 6 + 3. Let l(r) = 51*r**2 - 2*r + 3. Let v be l(y). Suppose -10 = -4*g + 2*x + 18, -4*g = 4*x - v. Does 2 divide g?
False
Let a be (288/63 + -2)/(2/1064). Suppose 2*t = 5*v - a, -4*t + 820 = 3*v - 5*t. Does 8 divide v?
True
Suppose 0 = 4*x - 5*w - 143, -x - 4*x + 180 = -5*w. Suppose 0 = -4*u + 245 - x. Is 10 a factor of u?
False
Suppose -5*d = 20, 2*d + 169 + 146 = v. Suppose 303*h = v*h - 736. Is h a multiple of 20?
False
Let x be (10/6 + -2)/((-2)/54). Suppose 0 = k - 97 + x. Does 39 divide k?
False
Suppose -w + 6*w - 5*b = -15, -24 = -2*w - 4*b. Let a be 2 - (-606)/14 - w/7. Suppose -20 - a = -5*d. Does 2 divide d?
False
Suppose -10*w + 36 = -w. Suppose -r - w*d + 35 = 2*r, 5*d - 5 = 4*r. Suppose -r*a = 2*a - 434. Does 16 divide a?
False
Let r(t) = 5*t - 28. Let u be r(6). Suppose 609 = -u*k + 9*k. Is 17 a factor of k?
False
Suppose 20 = v - u, -4*u + 80 = 2*v + 2*v. Suppose -3*p - v = 4. Let a = 125 + p. Is a a multiple of 39?
True
Suppose -24*n - 4*f + 124891 = -19*n, -5*n = -f - 124871. Is 15 a factor of n?
True
Let z(y) = -4311*y**3 - 7*y**2 - 10*y - 3. Is z(-1) a multiple of 105?
False
Let s = -68 - -75. Suppose -s*o + 14 = -14*o. Does 22 divide 329/28*(-8)/o?
False
Let r(m) be the first derivative of 2/3*m**3 + 15*m - 9/2*m**2 - 11. Is 30 a factor of r(-8)?
False
Suppose -255 = 7*p - 339. Suppose v + s = 131, -5*v = -11*s + p*s - 651. Is v a multiple of 10?
True
Let v(t) = -301*t**3 + 12*t**2 + 4*t - 20. Is 29 a factor of v(-3)?
False
Let g(c) = 5*c**2 + 150*c + 49. Let w be g(-37). Suppose 5*n = 5*i - 10*i + 1725, 5*n = 4*i - w. Is i a multiple of 70?
False
Suppose -21*g = -6677 - 4096. Suppose -p = -h + g, 2*p - 501 = -h - 3*p. Is h a multiple of 15?
False
Let b(o) = -o**2 + 6*o - 20. Let i be b(6). Let s be 0*(-5)/i - 0. Is 15 a factor of 13 - (-2 - s/(-1))?
True
Suppose -29*k = -k. Let a(q) = q + 12. Let g be a(-5). Suppose k = g*o - 5*o - 66. Does 22 divide o?
False
Suppose -2*l + 17936 = 5*m, 0 = l + 29*m - 28*m - 8968. Does 59 divide l?
True
Suppose 33*n + 468 = -819. Suppose -3*p = -5*p - 52. Let s = p - n. Does 13 divide s?
True
Let z be (-3 - (-12)/(-4)) + 3. Suppose 3*b = a - 137, -5*a + 20*b + 671 = 19*b. Does 7 divide ((a/z)/(10/15))/(-1)?
False
Suppose u - 82 = l + 2*u, 5*l + 3*u = -420. Let n be ((-6)/3)/1 + (l - -2). Let r = -51 - n. Does 18 divide r?
True
Suppose 2*h - 22*f = -23*f + 14, 0 = -4*h - f + 26. Suppose h*t = 3632 + 1360. Is t a multiple of 26?
True
Let q be (-30)/(0 + -5) + -427. Let b = q - -728. Is 23 a factor of b?
False
Let p = 89 + -79. Suppose 281 = p*a + 41. Is a a multiple of 12?
True
Let a(p) = 2*p**2 - 9*p - 13. Suppose -2*w + 34 = 4*n, 2*w = 2*n + w - 7. Let s be a(n). Suppose -4*f = -s*f + 29. Is 6 a factor of f?
False
Let s = 6995 + 4925. Is 80 a factor of s?
True
Let x = 274 + -74. Let p = x + 0. Is 40 a factor of p?
True
Let o(v) = -22*v**2 + 7*v. Let g(t) = 6*t + 0*t**2 - 11*t**2 - 9*t**2 - t**2. Let y(b) = -6*g(b) + 5*o(b). Is y(2) a multiple of 10?
False
Suppose 0 = 8*m - 145434 - 150246. Is m a multiple of 120?
True
Let z(f) = -61*f**3 - 2*f**2 + 1. Let p(m) = -m**3 + 4*m**2 + 3*m + 9. Suppose -29*y = -27*y - 10. Let a be p(y). Does 15 divide z(a)?
True
Suppose -3*l + 11 = 2*w - 0, -1 = 2*l + 3*w. Let a(j) = 28*j + 74. Does 15 divide a(l)?
True
Let t(m) = -75*m - 18. Let p(d) = -d**3 - 9*d**2 - 14*d - 1. Let k be p(-7). Is 12 a factor of t(k)?
False
Suppose -80902 = 46*z - 234496. Is 17 a factor of z?
False
Suppose o + 3*f = 581, -157*f + 154*f = -2*o + 1189. Is o a multiple of 26?
False
Suppose 9*k - 4*k + 5*f - 159920 = 0, 0 = f - 4. Does 30 divide k?
True
Let r be 17/((-680)/15) - (-315)/8. Suppose 0 = -45*h + r*h + 882. Is h a multiple of 49?
True
Let a(c) = 350*c - 1264. Is 26 a factor of a(20)?
False
Let v(b) = 4*b**2 + 5*b + 6. Let i be v(-1). Suppose -o + 2*n = -256, n = -i*o + 1155 + 125. Does 59 divide o?
False
Suppose 5*l = -12 + 2. Is 94 + (-2)/(-2) - (l + 0) a multiple of 9?
False
Let m(q) be the first derivative of -197*q**2/2 - 5*q - 99. Is m(-1) a multiple of 41?
False
Suppose -323*k + 718011 = -593*k + 297*k. Does 7 divide k?
True
Let h = 4 + 4. Let r(q) = q**2 - 10*q + 20. Let p be r(h). Suppose -2*o = 4*n - 108, o + p*n - 228 = -3*o. Does 10 divide o?
True
Let h(o) = 6*o**3 + o**2 - 3*o + 4. Let i be h(2). Let l(v) = -i*v + 0 - 7 + 44*v + 3. Does 24 divide l(-11)?
False
Let m(p) = 38*p + 496. Does 18 divide m(-5)?
True
Is 39 a factor of ((-18)/(1296/840))/(1/(-2574)*2)?
True
Let j be (1 + 1)/(8/36). Let x = j + -7. Suppose 0 = x*b - 3*b + 149. Is b a multiple of 18?
False
Let x = 708 + -190. Let t = x - 213. Suppose -w - 67 = -b - 2*w, 5*w + t = 5*b. Is b a multiple of 23?
False
Suppose 11*n - 3102 = -2*s + 9*n, 0 = 4*s - 11*n - 6249. Is s a multiple of 14?
True
Let y(m) = -2*m**3 - 2*m**2 + 8*m. Let j be y(-4). Suppose -3*n + 44 = -j. Does 2 divide n?
True
Let g = 810 + -491. Let b = g + -22. Is b a multiple of 73?
False
Does 173 divide ((-1908909)/452)/(2/(-24))?
False
Let k be (-2)/(-4) + 1746/(-4) + -4. Let l = k + 480. Is l a multiple of 3?
False
Suppose 2*i - 18 + 2 = 0, -3*i = 4*h - 56636. Does 100 divide h?
False
Let j = -32 - -79. Let l be 10 + 14 - (1 + (-1 - 1)). Let o = l + j. Is o a multiple of 12?
True
Suppose t = -t + 5*n + 100, -t - 5*n = -65. Suppose 108 + 46 = 7*h. Is 1764/h - 10/t a multiple of 16?
True
Suppose -17 + 110 = -b. Let m = b - -96. Suppose 5*u - 593 = -m*v, -v - 609 = -6*u + u. Does 31 divide u?
False
Suppose 0 = -2*b - 5*p + 9099, 0 = 3*b + 5*p - 12504 - 1147. Is b a multiple of 10?
False
Suppose 0 = 39*k - 46*k + 2562. Does 6 divide k?
True
Let u = -8 - 71.