329 + 575. Let y be (-32)/(-12)*(-15)/10 - -7. Suppose -147 = -w - n, f = y*w + 5*n - 187. Is w a multiple of 18?
False
Suppose -49*s + 640512 = 15*s. Is s a multiple of 24?
True
Suppose -4*x = 3*a - 5, -2*x + 7 = 5*a - 6. Suppose 2*i + l = -a*l + 1580, 0 = -2*i + 4*l + 1596. Is 17 a factor of i?
False
Let k = 3 + 7. Suppose -3*y + 0*y + 2*o - 25 = 0, 2*o = k. Is 42 a factor of y/(-10) + (-317)/(-2)?
False
Let o be 14 + -9 - ((-6)/2 + 1). Is 6 a factor of ((-153)/(-12))/((-333)/48 + o)?
True
Let x(y) = -3*y + 9. Suppose -4*k = -4*h - 80, -37 = 3*h + k + 3. Let i be 0 + h + 1 - (-7 + 4). Is 24 a factor of x(i)?
False
Does 20 divide 637*(5 + -2) + 9?
True
Let f(p) = p**3 + 13*p**2 + 10*p - 8. Let l be f(-12). Let s(i) = -i**3 + 16*i**2 - 2*i + 39. Let m be s(l). Let n(d) = -d + 37. Is n(m) a multiple of 6?
True
Let f(t) = -t**3 - t**2 + 2*t + 2. Let i be f(-1). Let v be i + 2/1 - -1. Suppose -v*s + 6*s - 288 = 0. Is s a multiple of 11?
False
Let g(j) = j**2 + 131*j + 1274. Is g(35) a multiple of 28?
True
Let u(m) = m**3 + 11*m**2 + 15*m + 6. Let w be u(-8). Let q = w + 2. Is q a multiple of 8?
True
Let f(q) = -5*q - 12*q + 6*q**2 + 17*q - 4*q + 6. Is f(-3) a multiple of 18?
True
Let y(c) be the second derivative of -1/3*c**3 + 0*c**2 + 13/20*c**5 - 17*c + 0 + 1/4*c**4. Is 4 a factor of y(1)?
False
Suppose 1777 = -5*a + 2*i + 53718, -5*i + 51955 = 5*a. Is 10 a factor of a?
False
Let v(y) = -568*y - 2002. Does 3 divide v(-10)?
True
Let x(f) = f**2 + f - 5. Let z be x(-4). Let g(y) = 3*y**2 - 18*y + 15. Is 18 a factor of g(z)?
True
Suppose 4*h = -b + 409 + 245, 6*b - h - 3999 = 0. Is b a multiple of 3?
True
Let y(h) = h**3 + 15*h**2 + 29*h + 6. Let b be y(-12). Is 9 a factor of b/12*80/6?
False
Let a be (-15)/(-3*4/72). Let f = 93 - a. Suppose f*y = -5*l + 75, 4*y - 4*l = l + 135. Does 16 divide y?
False
Suppose 0 = 22*r - 25*r + 11412. Suppose -4*t = -16*t + r. Is t a multiple of 14?
False
Let a = 30357 + -2487. Is 15 a factor of a?
True
Let h(t) = -20*t + 9. Let q be h(-3). Let k = q + -66. Suppose -k*g + 196 = z, -11*g = -6*g + z - 326. Is 7 a factor of g?
False
Suppose 0 = 2*h + 2248 - 7936. Is 29 a factor of h?
False
Let i(v) = v**3 - 14*v**2 - 15*v + 4. Let j be i(15). Let p(x) = 49*x - 2. Is p(j) a multiple of 16?
False
Let t(f) = -3*f**2 + 18*f + 1. Let j be t(2). Suppose 8547 = -j*a + 27797. Is a a multiple of 10?
True
Let m(d) = 225*d - 41 - 126*d + d**3 - 8*d**2 - 108*d. Does 3 divide m(10)?
True
Let s = -16 + 25. Suppose 0 = -q + s*q. Let h(i) = i**3 + 2*i + 47. Is 3 a factor of h(q)?
False
Suppose -30*s + 33*s = 18243. Let f = -3871 + s. Is f a multiple of 101?
False
Let b(g) = 2*g**3 - 33*g**2 + 50*g - 1110. Is 124 a factor of b(30)?
False
Let d(r) = -57*r - 69. Let c be d(-4). Suppose -126 = 5*k + 249. Let h = c + k. Is h a multiple of 28?
True
Let y(n) be the first derivative of 3*n**2/2 - 16*n - 18. Let z be (((-297)/(-12))/11)/(9/48). Is y(z) a multiple of 10?
True
Let s be -17 - 0 - -9 - 2156. Let p = -1195 - s. Does 57 divide p?
True
Suppose -5*u = -5*k + 28370, -5*u - 5708 = -k - 34. Is k a multiple of 11?
False
Is 8 a factor of (-202 + 164)*(1 + -644)?
False
Let b = 4389 - 4181. Is 68 a factor of b?
False
Suppose -20*g = -11*g - 18. Suppose 3*i + g*i + 2*a = 850, 860 = 5*i + 4*a. Is 14 a factor of i?
True
Let u = 30521 + -14136. Does 173 divide u?
False
Suppose -116*l = -115*l - 218. Let k = l + 369. Is k a multiple of 24?
False
Suppose -12 = -2*j - 4. Suppose -3*h + 42 = 3*z, -j*h + 5*z + 0*z = -38. Is 5 a factor of h?
False
Let l(w) = 4*w**3 + 33*w**2 + 7*w - 3. Let p be l(-8). Is 5 a factor of 692/4 - (3 + -6 + p)?
False
Suppose -2*k - 8*k + 10 = 0. Suppose b - 3 = -2*r - 1, -r = b - k. Suppose 3*g + 4*u - 82 = b, -g + 22 = -0*g + 4*u. Is g a multiple of 10?
True
Suppose 97*r - 36720 = 38*r + 47*r. Is r a multiple of 11?
False
Suppose -2*a = -5*q - 351 - 696, 4*a = 3*q + 2045. Is a a multiple of 13?
False
Suppose 0 = -2*v - 5*l + 4 + 5, -5*v + 4*l + 6 = 0. Let c = -2 + v. Suppose -s + 4*s - 32 = -2*z, 4*s = c. Is z a multiple of 16?
True
Suppose -2*m - 5 = -59. Suppose 0 = m*x - 26*x - 495. Suppose 4*v - 15*v = -x. Is v a multiple of 9?
True
Suppose -12*c + 245 = -12727. Let p = c + -365. Does 14 divide p?
False
Let u = -294 + 295. Does 7 divide 1 + (-6 - -335 - u)?
True
Suppose 10*k + 7 - 47 = 0. Suppose -2*g + 7*g - 1076 = -k*v, 431 = 2*g + v. Is g a multiple of 24?
True
Let b(q) = 1401*q + 2620. Is b(5) a multiple of 243?
False
Let x(c) = 7*c**2 - 2*c + 1. Let u(o) = 3*o**2 - o. Let p(v) = -9*u(v) + 4*x(v). Let l be 4 + ((-36)/(-54) - (-58)/(-6)). Does 5 divide p(l)?
False
Let w = -6795 + 12801. Does 34 divide w?
False
Let t(h) be the third derivative of -3/2*h**3 - 31*h**2 + 11/24*h**4 + 1/30*h**5 + 0*h + 0. Is t(-8) a multiple of 16?
False
Let b = 719 + -725. Let p(y) = -50*y - 15. Is p(b) a multiple of 15?
True
Let v = -43 - -46. Suppose -v*o + 0*o = -9. Suppose 36 = 5*r + 2*z, r + z = 2*r - o. Is 6 a factor of r?
True
Suppose 277*l - 1312 = 273*l. Suppose 4*r - 1212 = -5*n, 0 = -r + 8*n - 3*n + l. Is 22 a factor of r?
True
Let b(c) = -93*c - 15. Let u be b(-3). Suppose u*j = 260*j + 448. Does 14 divide j?
True
Suppose 6*h + 22147 = 166495. Is 10 a factor of h?
False
Suppose -3*k = g + 143, -k - 63 = -6*g - 959. Is 5 a factor of -2 + (-7 - -2 - -2) - g?
False
Suppose 5*n = -16 + 86. Suppose 3*t + n = 4*f, t - 1 = f - 5. Does 12 divide 97/f + 15/30?
False
Suppose -3*v + 13291 = 4*z, z = -3*v - 0*v + 3307. Does 13 divide z?
True
Suppose -6*r + 234 = 3*r. Let c = 27 - r. Is -1*c/(-3)*66 a multiple of 4?
False
Let l(b) = -3 + 0 - 9*b**3 + 8*b**3 - 2*b. Suppose -5*u - 2*d = -5*d + 29, 0 = u - d + 7. Is 9 a factor of l(u)?
False
Let m = -237 + 83. Is 10/(11 + -6) - m a multiple of 9?
False
Let m(g) = -291 - 83 - 2 + 209*g + 29. Does 9 divide m(7)?
True
Let a(h) = 283*h + 410. Is 172 a factor of a(18)?
True
Let f(c) be the second derivative of 1/6*c**3 - 3/2*c**2 + 7*c + 1/4*c**4 + 3/20*c**5 + 0. Is 18 a factor of f(3)?
True
Let u be 12/5 - 2/5. Suppose 1332 = 6*g + 3*g. Suppose -6*d + u*d = -g. Does 8 divide d?
False
Let o(j) = -3*j + 51. Let a(x) = -x + 1. Let p(w) = -6*a(w) - o(w). Does 3 divide p(13)?
True
Let u(y) = -119*y + 62. Let k(h) = -117*h + 64. Let f(x) = -4*k(x) + 5*u(x). Does 22 divide f(-2)?
True
Is (-1784)/6*1/(-2)*15 a multiple of 5?
True
Suppose 2*u + 10 = 7*u. Suppose 0*r + 39 = 2*t - r, 0 = t + u*r - 12. Suppose 2*h - t = a - 2*a, h - 3*a + 5 = 0. Is 7 a factor of h?
True
Suppose -4*l = 2*p + 4, -7*l - 5*p = -8*l - 23. Suppose -3*f - 50 = 2*f. Is 12 a factor of (f - -11)*(2 + l + 162)?
False
Suppose 6 = 2*p, w = -5*p + p - 57. Let a = w - -77. Does 4 divide a?
True
Let v(c) = -16*c + 141. Let f(u) = 32*u - 282. Let s(x) = 4*f(x) + 9*v(x). Does 2 divide s(5)?
False
Suppose -104*i - 127 = -3*q - 102*i, -5*i + 245 = 5*q. Suppose 0 = 54*c - q*c - 3168. Is 35 a factor of c?
False
Let g = -19 + 59. Let o be (-1)/4 - (-130)/g. Suppose -4*i - o*i + 630 = 0. Is 17 a factor of i?
False
Let j(s) be the third derivative of -13*s**6/20 - s**5/20 - s**4/12 + 58*s**2. Is j(-1) a multiple of 16?
False
Is 189 a factor of 7836728/348 + 13/(-3)?
False
Is 7 + (-115080)/(-16) - (5/2)/5 a multiple of 57?
False
Suppose 4106 = 2*n - 2*g, 2*n + g = -363 + 4487. Is n a multiple of 38?
False
Suppose -4*f - 2*v + 1642 = 0, -2*f = -f + v - 408. Let n = 496 - f. Does 6 divide n?
False
Let o = 2933 + -2135. Is 19 a factor of o?
True
Suppose 766 = 4*q - 5*d, -21*q - 3*d = -18*q - 561. Is q a multiple of 9?
True
Suppose 2040*o = 2016*o + 56928. Does 33 divide o?
False
Let m be (-16)/12 - ((-771)/(-9) + -1). Let g = m + 110. Suppose g*j - 1164 = 18*j. Is 22 a factor of j?
False
Let d(g) = 43*g + 3. Let y be d(-2). Suppose 3*q = 219 + 237. Let x = q + y. Is 16 a factor of x?
False
Let g = -3644 + 5468. Suppose -2*w + 5*r = -g, w - 1283 = -3*r - 382. Is 10 a factor of w?
False
Does 6 divide 14485 + 27/(-4) + 12*10/(-480)?
True
Suppose 2*t = 20*k - 18*k - 12, -2*t = -3*k + 13. Let z(h) = -h**2 - 9*h - 1. Is z(t) a multiple of 3?
False
Suppose 0 = 4*b + 3*g - g + 20, 2*b = 5*g + 2. Let z(l) = 11*l**2 - 2*l - 7. Is 5 a factor of z(b)?
False
Is 11 a factor of -110*(110/(-275))/((-8)/(-150)*3)?
True
Is 593 - ((-22)/(-11))/2 a multiple of 3