+ -184. Let g(i) = -5*i**3 + 7*i**2 + 23*i + 5. Let h(b) = -6*b**3 + 6*b**2 + 24*b + 5. Let x(k) = 7*g(k) - 6*h(k). Does 27 divide x(q)?
True
Let g = 667 + 1653. Does 29 divide g?
True
Let f be 6*(-3)/(-36)*2 - -536. Suppose -172 = -s + p, 6*s - 3*s = -4*p + f. Does 25 divide s?
True
Suppose -5*m = w - 6806, -4*w - 449 - 2247 = -2*m. Does 136 divide m?
True
Let k be 6/3 + -3 + 78. Suppose -3*a = 5*t - 449 + 40, 0 = t - a - k. Let z = -12 + t. Is z a multiple of 14?
False
Let y = 733 - 383. Let a = y + -100. Is a a multiple of 13?
False
Suppose 2*m = 5*w + 133 + 3, 0 = 5*w - 5*m + 130. Let s = 84 + w. Is s a multiple of 4?
True
Suppose 6825 = 11*r + 46*r + 8*r. Does 12 divide r?
False
Let l(t) = 25*t**3 - 4*t**2 + 4*t - 3. Let j be l(2). Let x(g) = 23*g - 41. Let m be x(-4). Let v = m + j. Does 14 divide v?
True
Suppose 521*o = 463*o + 2204. Does 19 divide o?
True
Suppose 10*d = 15*d + 20. Let u be 6/d*(-60)/18. Suppose -3*m + 45 = u*b, -b - 19 = -2*m + 11. Does 5 divide m?
True
Suppose 17*h = 22*h - 10. Let n be 245 - (h + 0 + 1). Suppose q + n = 3*d, 3*d + q = 5*q + 257. Does 5 divide d?
False
Let c = -3642 + 4261. Does 35 divide c?
False
Let y be (-3 - -4)*(-1 + -28772). Is (30/8)/(8 - y/(-3600)) a multiple of 50?
True
Let r = -474 + 479. Suppose -p = -t + 1, -3*t - p = -5*t + 6. Suppose -i = t*l - 181, -i + 3*i = r*l - 178. Is l a multiple of 3?
True
Let z be (-5)/(-15)*36/4. Suppose 0 = -z*m - 4*q + 360, 2*q = -0*q. Suppose 14*o = 12*o + m. Does 23 divide o?
False
Suppose -5*r = -0*r - 20. Let m(n) = 11*n + 34. Let k be m(-3). Does 24 divide (309/9)/(k/12*r)?
False
Let y = 0 + -7. Let c(w) be the second derivative of -w**5/20 - 2*w**4/3 - 2*w**3 - 9*w**2 - 178*w. Is c(y) a multiple of 12?
False
Let l be (-2)/(-20)*4 - 6/(-10). Let q be l + -8 + 6 + -10 + 3. Let f = -1 - q. Is 7 a factor of f?
True
Let y(z) = z**3 + 14*z**2 + 7*z + 7. Suppose -4*n + 5*t + 429 = 0, -2*n - 66 = -2*t - 282. Let q be ((-8)/(-12))/(-1 - n/(-117)). Does 8 divide y(q)?
False
Let j = 214 + -188. Suppose d = -5*f + 45 + j, -10 = 2*f. Is 16 a factor of d?
True
Let r be (-14)/6 + (-9)/(-27). Let a(n) = -n**3 + 7*n**2 + 2. Let q(j) = 2*j**3 - 15*j**2 - 4. Let u(z) = r*q(z) - 5*a(z). Is u(7) a multiple of 12?
True
Does 35 divide (-2)/14 + 69225/455?
False
Let x = -13 - -18. Suppose x*c = 418 + 242. Is c a multiple of 33?
True
Suppose i = 4*u - 8682, -2*u + i + 4615 = 271. Is 4 a factor of u?
False
Let r be -3 - (-26 + -3 - (-2 - 0)). Suppose 5*f - 76 - r = 0. Let z = f + 12. Is z a multiple of 8?
True
Let j = -43 - -45. Let o be 4 + 5 + 0*j/(-6). Suppose 3*w + 12 = 0, 4*w - 173 = -3*u - o. Is 10 a factor of u?
True
Let w(n) = n**2 - 17*n + 2. Let x be w(17). Let k be 1 - (-1 + x)*1. Suppose k*r = -r, -3*v + 288 = 4*r. Is 24 a factor of v?
True
Let b = -447 + 5007. Is 80 a factor of b?
True
Let c be -32*(-426)/(-30) + 8/20. Let d = c - -554. Is 20 a factor of d?
True
Does 37 divide (-24642)/(-7) - (3/(-4))/((-42)/16)?
False
Suppose 3*k + 5*x - 50 = 0, -k - 3*x + 33 = k. Suppose -316 - 599 = -k*h. Is 13 a factor of h?
False
Let b be (2 + 121/3)/(5/30). Let c = 394 - b. Is 10 a factor of c?
True
Let h(u) be the second derivative of 23*u**4/12 - u**3/3 - 3*u**2/2 + 11*u + 2. Is 35 a factor of h(-3)?
True
Does 7 divide (-21924)/464*44/(-3)?
True
Suppose -4*h = -v + 663, -3*v + 4*h = -2399 + 370. Is v a multiple of 8?
False
Let y(l) = 36*l**2 - 6*l - 19 - 15*l**2 - l**3 - 11*l**2. Let d be y(10). Let r = d - -95. Is 2 a factor of r?
True
Suppose 2*r + 58 = 348. Let h = 2768 + -2515. Let c = h - r. Is c a multiple of 36?
True
Let w = -17 - -21. Let f be 3 + (-2)/(-3)*(-18)/w. Let v(l) = 4*l + 85. Is v(f) a multiple of 12?
False
Let a = -6232 + 9732. Is 14 a factor of a?
True
Suppose 39*p - 94145 = 62440. Is p a multiple of 30?
False
Let t(d) be the first derivative of -d**3/3 - 9*d**2/2 - d - 1. Let g be t(-8). Suppose 4*y + g = 5*y. Does 5 divide y?
False
Let n be 54 - ((-10)/(-2))/5. Let w = n + -18. Suppose 2*l + 55 + w = 4*t, -5*t = -l - 105. Is t a multiple of 20?
True
Let g be (-2439 + 2/2)/2. Let i = 2321 + g. Does 58 divide i?
True
Let p = -559 + 1121. Let i = -312 + p. Is 34 a factor of i?
False
Suppose 210 = -5*o - 20. Let j = o + 49. Let r(b) = 3*b**2 - 5*b + 3. Is r(j) a multiple of 2?
False
Suppose 0 = 4*o - 4, 4 = 4*w - 0*o - 4*o. Suppose -w*r + 435 = -p - 595, -5*p = -4*r + 2072. Is 96 a factor of r?
False
Let r = -1839 + 3737. Is r a multiple of 73?
True
Let o(z) = -z**2 + 16*z - 13. Let n be o(20). Let v = -179 - n. Let u = -30 - v. Does 23 divide u?
False
Let m = 19216 - 8901. Is m a multiple of 67?
False
Let c(u) = -u**2 - 8*u - 1. Let w be c(-7). Suppose w*x = x + 10. Does 7 divide -42*x*1/(-6)?
True
Suppose -29 = -5*a + 3*p, 9*p + 3 = 3*a + 12*p. Suppose a*d + 1120 = 8*d. Is 15 a factor of d?
False
Let n(c) = -2*c**2 + 16*c + 4. Let w be n(15). Let g = w - -631. Is g a multiple of 25?
True
Let g = -853 + 3922. Is g a multiple of 100?
False
Let n be ((-12)/(-9))/((-105)/(-99) + -1). Is 22 a factor of (n/(-2) - -1)/((-1)/44)?
True
Suppose -5*a - 53 = -7*r, -r - 61*a + 59*a = 6. Suppose 5*v = 2*v. Suppose -r*t + 360 - 120 = v. Is 12 a factor of t?
True
Does 20 divide -3 + -3*(-21 + -2420)?
True
Suppose 28*o - 23*o - 100 = 0. Suppose -5*l = -o, 95 = -6*p + 7*p - 4*l. Is 5 a factor of p?
False
Suppose 126*u - 132*u + 54 = 0. Suppose -3290 = -u*q - 5*q. Is 3 a factor of q?
False
Let u(t) = -2*t**3 + 31*t**2 + 1165*t + 12. Is 12 a factor of u(-24)?
True
Let q(j) = 1. Let v(a) = -2*a**2 + a + 1. Let f be v(-1). Let h(u) = 5*u - 5. Let b(n) = f*q(n) - h(n). Does 2 divide b(0)?
False
Let h = 71 - -21. Let f = -149 - -87. Let k = f + h. Is k a multiple of 15?
True
Does 9 divide 0 + 2011 + 207 + -220?
True
Let v(p) = 2138*p**2 + 1457*p + 4379. Is 10 a factor of v(-3)?
True
Suppose 2*m - 26 = -2*n, 5*m - 3*n + 3 = 4*m. Suppose -1000 = -m*l + 944. Is l a multiple of 5?
False
Let t(a) = -205*a - 8. Let m be t(-3). Let l = 1158 - m. Suppose 5*p = 384 + l. Is p a multiple of 19?
False
Suppose 4*u + b - 1734 = -465, 0 = 5*b - 5. Is 52 a factor of u?
False
Is (95588/(-10)*(-125)/(-100))/(2/(-4)) a multiple of 111?
False
Suppose 2*y - 2*h = 518, -y + 9*h + 251 = 4*h. Is y/116*(-208)/(-3) a multiple of 13?
True
Suppose -3*i + 2 = -w + 3, 3*i = 0. Let s(k) = 10189*k - 10194*k + 0 + 4 + 101*k**2. Does 15 divide s(w)?
False
Suppose 3*g + 3063 = -3*w, 2*g - 60*w + 2072 = -56*w. Let z = g + 1714. Is 72 a factor of z?
False
Let g(x) = -2*x + 1. Let v(a) = -3*a - 6. Let y(z) = -18*g(z) + v(z). Is y(3) a multiple of 3?
True
Let g = 13 - 10. Suppose 390 = h + h + g*z, -4*h - z + 780 = 0. Let w = -74 + h. Is w a multiple of 13?
False
Suppose l - 1516 - 1208 = 0. Suppose -319 + l = 5*f. Suppose -6*x = -f + 73. Is 34 a factor of x?
True
Suppose 119*k - 666 = 118*k. Is 11 a factor of k - (4 + -5 + -4)?
True
Let k(d) = 125*d**2 + 4*d + 5. Let a be k(-1). Let j = a + 16. Does 41 divide j?
False
Let g = -89 - -91. Is 108 + 3/(3/g) a multiple of 10?
True
Let l = 23 + 4. Let x = l + -23. Is x/(1/(-4 - -21)) a multiple of 24?
False
Suppose r + 9 = 3*i, 5*i - 3*r - 19 = -0*i. Let j(a) = 118*a**2 + 2*a - 7. Does 23 divide j(i)?
False
Let j(f) = 9*f**3 + 4*f**2 + 2. Let i be j(4). Suppose 4*h = -7*u + 12*u + 607, 2*u = -4*h + i. Is h a multiple of 10?
False
Let n(l) = l**2 - 34*l - 96. Does 112 divide n(55)?
False
Let j be 2350/1*24/48. Suppose 5*i - j = -3*s + 8*s, -i + 205 = 5*s. Is 17 a factor of i?
False
Suppose 3*n + 2*n + 45 = 4*m, 2*m = -5*n - 15. Suppose -1815 = -4*y + m*g - 194, -3*g = 3. Does 43 divide y?
False
Let u(t) = 1337*t**3 - t**2 + 5*t - 3. Let x be u(1). Let v = -428 + x. Is v a multiple of 26?
True
Suppose -2 = 3*s - 3*x + 13, 5*x = s + 25. Suppose s = -4*i - i - 840. Let h = -81 - i. Is 15 a factor of h?
False
Suppose 4*d - 5*n = 22, -2 = 4*n + 6. Suppose 1350 = -d*s + 18*s. Is 9 a factor of s?
True
Let r be ((-46)/10 + (-4)/10)*1. Is r + -92*(0 + -2) a multiple of 6?
False
Suppose 2*y - v - 6 = -0, 5*y - 20 = 5*v. Suppose y*w = -3*w - 360. Let k = 103 + w. Is 9 a factor of k?
False
Let i(b) be the second derivative of -46*b**3/3 - 25*b**2 + 3*b - 2. Is i(-7) a multiple of 50?
False
Let n be (-14)/6 + 28/21. Does 8 divide (-19185)/(-35) + n/7 + 4?
True
Let j be (1 + (-13)