95. Let o = -178 - y. Let x = -53 + o. Is 8 a factor of x?
True
Suppose 182*l = 170*l + 4320. Does 40 divide l?
True
Let d be (-48)/(-80) + (6588/(-10))/(-2). Suppose -12*o + 17*o - d = 0. Let q = -7 + o. Is q a multiple of 3?
False
Suppose l - 12 = 54. Suppose 0*q - 4*s = 3*q - 3134, -s = -5*q + 5231. Suppose l = 4*u - q. Is u a multiple of 14?
False
Suppose 58*b = 2150 + 57358. Does 95 divide b?
False
Let y be (-2)/5*-5 + 5. Suppose 8*a - 4200 = -y*a. Is 14 a factor of a?
True
Suppose -44*j + 67*j - 40*j = -33796. Is 7 a factor of j?
True
Suppose -26*j + 10*j = -32. Suppose -h = -4*g - 149 - 223, 3*h = -j*g + 1116. Does 12 divide h?
True
Let i(t) = 3*t**2 + 235*t - 588. Is 14 a factor of i(-147)?
True
Let n be (10 + 184)/(1/(-4)*2). Let j = n + 440. Does 3 divide j?
False
Let g(i) = i**2 + 4*i + 2. Let c be g(-4). Suppose c*l - 5*w = -54 - 63, 4*l + 228 = 4*w. Let k = -34 - l. Is k a multiple of 13?
False
Suppose -4*j + 8 = 0, 0 = -3*k - k - j + 622. Let d = 465 - k. Is d a multiple of 10?
True
Suppose -x - q + 26 = q, 0 = 3*x - 3*q - 42. Suppose x*p = 19*p - 12. Does 8 divide -3 + (p*14)/3?
False
Let v(h) = 2*h**3 - 12*h**2 + 39*h + 2. Let c be v(6). Suppose -r + 5*r = -5*y + 892, -2*y - c = -r. Does 38 divide r?
True
Let s(k) = 36*k**2 - 15*k - 9. Is s(-5) a multiple of 3?
True
Let l(k) = -7*k - 30. Let b be l(-6). Suppose -3*o + 2*o = -4. Is (b + 24)*9/o a multiple of 12?
False
Let a(g) = 3*g + 95. Let h be a(-4). Suppose -5*b + 0*b = 15. Let d = b + h. Is d a multiple of 16?
True
Suppose 26*w + 68*w = -w + 180310. Is 12 a factor of w?
False
Let p be (-74)/(-8) - (-8)/(-32). Suppose -b + 2*s + 2 + 0 = 0, p = 3*s. Let f = b - -16. Is 6 a factor of f?
True
Suppose 6506*a - 20250 = 6488*a. Is 25 a factor of a?
True
Let l = 2825 - -3427. Does 26 divide l?
False
Let t(j) = 232*j**3 + 10*j**2 + 25*j - 81. Is 70 a factor of t(3)?
False
Let v = -1634 - -2534. Suppose 39*s + v = 49*s. Does 10 divide s?
True
Let o = -4 + -25. Let r = 18 + o. Let m(t) = t**2 + 6*t - 37. Does 9 divide m(r)?
True
Let d be (-25194)/(-18) + (-4)/(-12). Suppose -d = -5*r - 365. Let f = r - 142. Is f a multiple of 15?
False
Let o(i) = 329*i**3 - 3*i**2 + 22*i - 38. Is o(2) a multiple of 4?
False
Let r = 2159 + -2151. Let f(z) be the third derivative of z**5/60 - z**4/12 + z**2. Is f(r) a multiple of 11?
False
Let v(i) be the second derivative of 15*i**3/2 - 3*i**2/2 - 2*i. Let t(a) = 6*a + 44. Let x be t(-7). Does 9 divide v(x)?
False
Let o(m) = -m**3 + 13*m**2 + 1. Let r be o(13). Suppose r = i - 53. Is 56/(-252) + 3/(i/364) a multiple of 5?
True
Suppose 0 = -8*t - 360 + 7600. Suppose 3*v - i = 5*v - t, -4*v = i - 1805. Is 18 a factor of v?
True
Let s(p) = 5*p + 82. Let l be s(-16). Suppose -o = l*q + 325 - 1377, 5*o - 5255 = -5*q. Does 25 divide o?
True
Suppose -5*y + 4 - 2 = 2*j, 0 = -2*y + 2*j - 2. Suppose u - r - 48 = 0, 3*r + y*r + 192 = 4*u. Is 10 a factor of u?
False
Suppose 0 = 5*v + 10, -9*o + 184472 = -4*o - v. Is 129 a factor of o?
True
Let g(n) = n**3 + 6*n**2 - 16*n + 2. Let v be g(-8). Let f be (2/(v/(-209)))/((-12)/(-48)). Is 38 a factor of ((f/(-8))/(-11))/(2/(-16))?
True
Suppose 21*d - 287268 - 6436 = -70096. Is d a multiple of 88?
True
Let v(i) = -i**3 + 7*i**2 - i - 7. Let l = -45 + 51. Let n be v(l). Let h = 187 - n. Does 41 divide h?
True
Is ((-182)/(-5))/((-20)/(-11300)) a multiple of 113?
True
Let g(v) = -29*v**3 - 14*v**2 - 15*v - 6. Is 26 a factor of g(-5)?
False
Let j(r) = 4*r**2 + 5*r + 25. Let v(k) = k**2 + 2*k - 6. Let w be v(3). Suppose w*m - 4*m = -30. Is 15 a factor of j(m)?
False
Let y = 1471 - 1407. Is y a multiple of 9?
False
Let f(z) = 494*z - 58. Let t be f(8). Let y = t - 2144. Does 35 divide y?
True
Suppose -3*t = -3*a + 4*a - 22, 2*a - 64 = -t. Suppose 0 = -12*q - a*q + 85652. Is 14 a factor of q?
True
Let y(u) = u**3 - 13*u**2 - u + 12. Let o be y(13). Let k(n) = -n**2 - 2*n - 2. Let c be k(o). Is 18 + 91/(-26) + c/(-2) a multiple of 15?
True
Suppose 480*x = 407*x + 684740. Is x a multiple of 14?
True
Let o(s) = s**3 + 2*s**2 - 110*s + 43. Is 15 a factor of o(18)?
False
Let g = -8486 - -13462. Is g a multiple of 16?
True
Let q = 96 - 95. Does 3 divide 6/q + (-1274)/(-49)?
False
Let d(a) = 0*a**2 + 7 + 0*a**3 - a**2 + a**3 - 12*a**2. Let n be d(13). Suppose -n*o + 24 + 606 = 0. Is 15 a factor of o?
True
Let x(s) = -4*s**2 - 9*s + 3 - 4*s**2 - 19*s**3 + 20*s**3 + 1. Let i be x(9). Suppose -w - 8 = 4*u, -5*u + 8 = i*w - 15. Is w a multiple of 8?
False
Is 12 a factor of (-90)/(-315)*3423*60/2?
True
Let c be ((-2 + 4)*-126)/1. Let y be (3201/44)/(18/(-24)). Let z = y - c. Does 35 divide z?
False
Let o be (-95 + 21)*1*(-1 + 0). Suppose 3*p = 2*p + o. Suppose 9*g = 8*g + p. Is 15 a factor of g?
False
Suppose 649*p - 660*p = -1078. Let j = 7 + 47. Suppose -53*n + j*n - p = 0. Does 18 divide n?
False
Let i = -10977 + 30534. Does 37 divide i?
False
Let l(f) = -15*f - 177. Let o be l(-12). Is 67*5 + 12/o a multiple of 3?
True
Suppose 822 = -5*y - 3*a, -4*y - 15*a + 19*a = 664. Suppose 3*l = -5*w - 112, -2*l = 2*w - 16 + 92. Let v = l - y. Does 8 divide v?
False
Suppose 1249 = r - 2*f, 2*r + 4*f = 5*r - 3743. Let n = 1834 - r. Does 31 divide n?
True
Let c(x) = -2*x**2 - x - 1. Let j(y) = -1185*y**2 + 9*y + 10. Let p(r) = -6*c(r) - j(r). Is p(-1) a multiple of 13?
True
Let i(x) = 57*x**2 - 14*x + 23. Suppose h = -t + 3*t + 6, -5*h = -2*t - 14. Is i(h) a multiple of 27?
False
Let i be (-2)/(-1) + 2 + -2. Suppose 2*p = -0*n - i*n + 22, 31 = n - 4*p. Let v = 85 - n. Is 38 a factor of v?
False
Suppose -16*g + 11*g = 400. Let r = 79 + -249. Let f = g - r. Does 5 divide f?
True
Suppose 0 = 6*a + 390 - 2070. Let i = a - -197. Is 37 a factor of i?
False
Suppose -21 = -2*l - 11. Suppose l*v + 1123 + 212 = 0. Is 5/(-10) - v/6 a multiple of 12?
False
Suppose -90559 - 46397 = -31*l + 27778. Is 4 a factor of l?
False
Suppose -3*w - 3 + 0 = 0, 3*w = 2*t - 9581. Suppose 3*m - 3597 = -2*z, t = 6*m - 2*m + 5*z. Is 83 a factor of m?
False
Suppose 4*l = -4*u + 6556, 3*u - 545*l + 540*l - 4957 = 0. Is u a multiple of 54?
False
Suppose 6 = 2*n - 3*b - 41, b - 3 = 0. Suppose -29*g + n*g = -525. Is g a multiple of 15?
True
Let o = -18 - -25. Suppose 23 = -4*w - 9. Let p = o - w. Does 3 divide p?
True
Let k(y) = 69*y**2 - 92*y - 12. Is 40 a factor of k(6)?
True
Suppose 857*u - 8160 = 852*u. Does 24 divide u?
True
Let t be -4 - (48/36 - 88/3). Suppose -12*o + t = -108. Is o a multiple of 11?
True
Suppose 21*l = -24054 + 115761. Is 11 a factor of l?
True
Let w = -683 - -584. Is 74 a factor of (-1 - 390/18)*w/2?
False
Let d = -10089 + 10224. Is 35 a factor of d?
False
Suppose 7*i - 121*i + 328320 = 0. Is i a multiple of 9?
True
Let g = -38991 + 56687. Does 32 divide g?
True
Let d(i) = i**3 - i**2 + 3*i + 5. Let s = 27 + -22. Let h be d(s). Suppose 12*x - h = 2*x. Does 2 divide x?
True
Suppose -88*g + 90*g - 80 = 4*i, 4*g = 2*i + 190. Is g even?
True
Is 2 + 1080/16*((-836)/(-6))/1 a multiple of 9?
False
Let r = 4225 - -2583. Does 37 divide r?
True
Suppose -7*t = 20 + 2990. Let m = t - -1060. Is m a multiple of 30?
True
Suppose -726 = 12*h - 13*h + 5*o, -o + 3 = 0. Does 57 divide h?
True
Suppose -2*j = 4*o - 7*j - 231, 2*j + 168 = 3*o. Suppose 7*l + o - 12 = 0. Is 17 a factor of 199 - (l - -1 - 0)?
True
Suppose -7*h + 3*h = -16. Suppose t = 5*f - 1915, -f + h*t = 6*t - 383. Does 10 divide f?
False
Suppose 0 = 865*w - 867*w + 4*r - 134, -4 = r. Suppose 3*y + 15 = -9. Is 38 a factor of -26*38/y - w/(-50)?
False
Suppose -2*x + 32 = 3*z, 4*x - 44 = 6*z - 2*z. Let b(m) = -25*m - 23. Let n be b(x). Let y = -143 - n. Is y a multiple of 44?
False
Let y be 6*-2*(-3)/18. Is 4 a factor of -4*116/(-32)*y?
False
Let v = 45 - 13. Let x = -20 + 18. Is x/(-1) - (2 - v) a multiple of 32?
True
Let m = -6 - -4. Let v be m*5*(-3)/(-30). Does 16 divide (4/((-8)/86))/v?
False
Let d be (9380/56)/(1/14). Suppose 18*o - 4711 - d = 0. Does 16 divide o?
False
Let o(s) = 84*s**3 + 6*s**2 + 4*s - 22. Is o(6) a multiple of 27?
False
Suppose 0 = -9*p + 40142 + 152242. Is 64 a factor of p?
True
Suppose -3*m + 11665 = -4*r, 4663 = m + r + 777. Suppose -9*w + 1783 + m = 0. Does 35 divide w?
True
Let x be 1*(5 + 3) + -4. Is 324/14 - x/(168/6) a multiple of 6?
False
Suppose -44*r - 140799 + 756990 = -1