3 + 20 - 2*w**2 + 6*w**2. Is 27 a factor of u(0)?
True
Suppose -22842 - 8098 = -26*p. Does 17 divide p?
True
Let i be (15/4)/5*4. Suppose 2*t + 5*n = 180, -t + 2*t - i*n = 79. Is t a multiple of 27?
False
Is 15 a factor of (2 + (-14)/4)*53600/(-80)?
True
Suppose 3*b = -0*b - 72. Let q = -86 - -53. Let s = b - q. Does 9 divide s?
True
Let y = -2323 + 4223. Does 95 divide y?
True
Suppose -6*c + 3740 - 116 = 0. Does 57 divide c?
False
Let z = -10 - -202. Is 64 a factor of z?
True
Suppose 0 = 21*y + 264 - 1020. Does 9 divide y?
True
Suppose 10 = 2*k, 5*d - 6*k = -2*k - 10. Suppose d*y - 363 = -y + i, 4*y - 486 = 2*i. Is 7 a factor of y?
False
Suppose 30 = 2*v - 30. Suppose -13*m + 14*m = v. Does 5 divide m?
True
Let a(r) = 63*r + 10. Is a(4) a multiple of 7?
False
Suppose 2*f - h - 1 = 0, f + 4*h = -h + 17. Suppose 4*b - 8 = 2*b. Suppose -f - b = -n. Is 6 a factor of n?
True
Suppose 0 = 2*p - 11*p + 8640. Is p a multiple of 9?
False
Suppose 13440 = -6*l + 20*l. Is 24 a factor of l?
True
Let h(j) be the second derivative of j**5/20 - j**4/6 - 7*j**3/6 + j**2 + 19*j. Is h(5) a multiple of 6?
True
Is 9/27*14*828/14 a multiple of 36?
False
Let g(c) = -c**2 - 11*c + 17. Suppose -2*t + 0*h - 5*h = 19, 0 = 3*h - 3. Let s be g(t). Suppose 128 + 247 = s*k. Is 15 a factor of k?
True
Let i(r) = 11*r**2 + 3*r + 429. Is 9 a factor of i(0)?
False
Let f(o) be the first derivative of -3*o + 1/3*o**3 + 3 - o**2. Does 6 divide f(-4)?
False
Let p = 312 + -73. Does 17 divide p?
False
Let l be 4 - (6 - 2) - -3. Let p be l/(-4) + 105/28. Suppose p*u - 3*y - 66 = 0, 0 = -4*u + 2*y + 100 - 2. Does 17 divide u?
False
Let o(a) = 2*a + 910. Is o(0) a multiple of 13?
True
Let g(f) = -5*f + 117. Does 13 divide g(8)?
False
Let g be 69 + 1/(4/(-8)). Suppose -3*p + 4*v = -61, -3*v = 5*p - v - g. Does 15 divide p?
True
Let h(q) = -2*q**2 + 2*q + 2. Let r(b) = 3*b**2 - 3*b - 3. Let v(j) = 5*h(j) + 4*r(j). Suppose 2*t + 0*t = 4, -5*t = -2*l - 14. Is 10 a factor of v(l)?
True
Is 15 a factor of (-31794)/(-10) + (-405)/(-675)?
True
Let p(q) = 3*q + 165. Does 18 divide p(-19)?
True
Let p be (-3*1)/(-2 + (-22)/(-14)). Does 4 divide 6/4*((-448)/(-24))/p?
True
Let b(g) = -g**3 + 8*g**2 - g + 10. Let r(w) = -2*w - 10. Let i be r(-5). Let y(k) = k**3 - k**2 - k + 7. Let h be y(i). Is b(h) a multiple of 9?
False
Let v(n) = -2*n**3 + 55*n**2 - 5*n + 42. Is v(27) a multiple of 2?
True
Let q = 177 - 157. Suppose 24*r - 44 = q*r. Is 2 a factor of r?
False
Suppose -g + 3*g - 54 = 0. Is 4 a factor of g/4 - 6/8?
False
Let o(m) be the second derivative of -29*m**3/3 - 5*m**2 + 15*m. Does 30 divide o(-3)?
False
Let v = -18 + 22. Suppose -2*y = -4*c - 72, -v*y + 174 = 5*c + 17. Let x = y - 24. Is x a multiple of 7?
True
Let b(o) = -5*o + 1. Let k be b(15). Suppose -214 = 2*u - n + 128, -3*n = 12. Let a = k - u. Is a a multiple of 33?
True
Let g = 314 + -219. Is g a multiple of 19?
True
Suppose 8*h - 5*h = 90. Let g = 47 - h. Let i = 39 - g. Does 11 divide i?
True
Suppose 10 = -3*w - 4*u, w + w - u - 8 = 0. Suppose 0 = w*c + s - 4*s - 298, 0 = 2*c + 2*s - 308. Is c a multiple of 38?
True
Let x(r) = 7*r - 1. Let v be x(-2). Let d = v - -27. Let b = d - 3. Does 3 divide b?
True
Suppose -5*z + 2*h - 8 = 2, -5*z - 4*h = -20. Suppose -5*n + 354 = 2*w - w, z = -4*n - 3*w + 292. Does 16 divide n?
False
Let w = 359 + -354. Is w a multiple of 2?
False
Suppose -u - 2*r = -181, -3*u + 2*r + 262 = -257. Is u a multiple of 5?
True
Is 7 a factor of (1/(-3 - -4))/((-19)/(-817))?
False
Let b = 642 + -157. Let c = b + -251. Is c a multiple of 13?
True
Suppose 5*n + 6 = 2*g + 3*n, 0 = g - 3*n + 1. Suppose -3*b = -m + 1, 0*m - g*b = 4*m - 55. Is m/(-15) - 184/(-6) a multiple of 6?
True
Let k(x) = 668*x - 255. Does 42 divide k(3)?
False
Suppose 115*v - 3412 = 111*v. Is v a multiple of 36?
False
Let f(d) = d**2 + 11*d + 42. Is 35 a factor of f(-15)?
False
Is 29 a factor of (-1)/((-2 - -5)*(-10)/21810)?
False
Let n be (-66)/(-15) - 3/(-5). Suppose n - 39 = -m. Is m a multiple of 17?
True
Let v = 139 + -135. Does 7 divide 4 + (-10)/v + 73/2?
False
Does 12 divide 609 - (-2 + (-7 - -6))?
True
Let j(b) = -2*b + 2. Let w be j(-5). Suppose -d + 8*u = 5*u - 141, 4*d - 2*u - 554 = 0. Suppose 0 = 5*v - w - d. Does 21 divide v?
False
Suppose 78*k = 80*k - 576. Let m = k + -140. Is m a multiple of 17?
False
Suppose 2*p - 363 = -2*o + 137, -4 = -o. Suppose 5*c = -4*l + 311, p = 4*c + l - 5. Is c a multiple of 16?
False
Let g(w) be the first derivative of -16*w**2 - 3. Suppose -5*t + 2*s - 25 = 3*s, -s + 3 = -2*t. Is g(t) a multiple of 26?
False
Suppose -4*h = -0*h. Let j(r) = -r + 4. Let x be j(h). Suppose -n - 60 = -x*n. Does 5 divide n?
True
Suppose -4*r + 8*r + 212 = 0. Let a = r - -96. Does 15 divide a?
False
Suppose -28*r - 300 = -29*r. Suppose -20*m + r = -15*m. Does 5 divide m?
True
Does 24 divide (128/40)/(2884/960 - 3)?
True
Suppose -4*c + 11 - 3 = 0. Let i(k) = -1 - 2*k + 5*k**2 + 4*k**c - 5*k**2. Does 5 divide i(-1)?
True
Let s be 0 - (-5 - -5 - (-2 + -44)). Let u = s - -97. Does 12 divide u?
False
Suppose -4*x + 0*x + 148 = 0. Let t = x + -22. Is 7 a factor of t?
False
Let l be -11 - -14 - (2 - -1). Suppose -2*i + l*i + 14 = 0. Does 19 divide 14/i - 186/(-2)?
True
Suppose -3*d + 13 = 19. Is 3 a factor of d/(-5)*-2*(-3 + -22)?
False
Let y(b) = b**3 - 6*b**2 - 5*b - 7. Let a be y(7). Suppose -4*h + w = -a, 4*h = -w - 3*w + 12. Suppose -h*m = -m - 16. Does 8 divide m?
True
Let h(p) = 11*p - 64. Let g be h(16). Suppose 3*z - 1 = -4*i + g, 0 = 2*i + 2. Does 13 divide z?
True
Suppose 0 = -5*v - 176 + 16. Let z = -63 - v. Let d = z + 58. Is d a multiple of 11?
False
Let i(j) be the first derivative of j**3 + 5*j**2 + 17*j + 25. Is 7 a factor of i(-5)?
True
Suppose 2*z - 6 - 56 = 0. Let d = z + 20. Is 17 a factor of d?
True
Suppose -5*z - 791 - 4 = 0. Let j = z - -287. Does 32 divide j?
True
Suppose 3*m - 2 - 7 = 0. Let i(z) = -z**2 - 5*z - 2. Let w be i(-5). Is 8 a factor of (-1 + w)/(m/(-16))?
True
Let k(u) = u**2 - 10*u + 1. Let i be k(10). Does 4 divide (4 - (7 + i)) + 36?
True
Let d = -30 - -110. Suppose 3*x + 2*x - d = 0. Let t(f) = f**2 - 15*f - 14. Is 2 a factor of t(x)?
True
Let h = -37 + 201. Is h a multiple of 12?
False
Suppose -5*n - 5*h + 354 = 64, 4*n + h - 247 = 0. Is n a multiple of 9?
True
Suppose -2*i + 15 = 5. Suppose -4*q - 24 = 2*w - 2*q, -i*w + 5*q = 20. Is 27 a factor of 42 - w/((-2)/(-1))?
False
Let j be (-12)/(-3) + -1 + 0. Suppose w = 5*q - 77 - 174, -j*q = -2*w - 145. Is q a multiple of 13?
False
Suppose 0 = 2*b - 17 + 1. Does 14 divide b/60 + -2 + (-4584)/(-45)?
False
Suppose 0 = 4*m - 0*m - 16. Suppose c + 6*o - 12 = 2*o, 5*c - m*o = 12. Suppose -4*f + 124 = -c*w, 3*w = -5*f - 2*w + 145. Is f a multiple of 15?
True
Let n(z) = -2*z + 5. Let i be n(4). Does 7 divide 6/2 + 7 + i?
True
Let k be 0 + 0/(4/(-4)). Let v = k + 4. Suppose -172 = -4*d + v*s, 4*s - 15 = s. Does 16 divide d?
True
Suppose 7*v + 24 = -v. Does 21 divide v/(-8) - (-22140)/96?
True
Let z be -57 + -5*(-10)/25. Let p = z - -79. Does 8 divide p?
True
Let i be (-39)/(-12) - (-9)/(-36). Suppose 3*z - n - 66 = i*n, 4*z + 2*n = 88. Is 17 a factor of z?
False
Suppose 2*o - 4*z - 236 = 0, -2*o - 2*z = 2*o - 472. Is 6 a factor of o?
False
Suppose -4*r - 6*r + 30 = 0. Suppose -2*x + 1 = -r*h + 213, 5*h + x = 362. Is 16 a factor of h?
False
Suppose 51*m + 5320 = 61*m. Is 28 a factor of m?
True
Suppose -2*n - 3*t + 75 = 0, -n - t - 85 = -4*n. Is 15 a factor of n?
True
Let t = 33 - -227. Is t a multiple of 20?
True
Let z = -210 + 511. Is 13 a factor of z?
False
Let m = 3264 - 1824. Does 36 divide m?
True
Let r(q) = -3*q**2 + 5*q**2 + q**2 + 5*q - 5*q**2 - 1. Let f be r(4). Let k = f + 27. Is k a multiple of 14?
True
Let d be (0 - -1) + 40/1. Suppose 4*s - 55 = d. Let p = 39 - s. Does 15 divide p?
True
Is 17 a factor of 1788/15 + (-8)/40?
True
Let t be (-5 - -3) + 2 - -22. Let m(c) = -c**2 + 31*c - 31. Is m(t) a multiple of 21?
False
Suppose r - 5 = -4*k, 2 - 12 = -2*r + 3*k. Suppose -4 = -3*c - l, -c - r*l + 6 = -0. Is (-9 + 18)*(2 - c) a multiple of 3?
True
Let k(i) = -i + 17. Let b be k(11). Suppose -b*z - 52 = -7*z + 2*a, 100 = 2*z - 2*a. Is z a multiple of 16?
True
Let l(u) be the second derivative of -u**4 + 0 - 1/6*u**3 + 7*u**2 + u + 1/20*