*f - 74*f - 4*f**2 - 15 + f**3 + 0*f**2. Is l(6) a multiple of 3?
True
Let a(s) = -s**3 - 10*s**2 + 10*s - 8. Let n be a(-11). Is (-1*(7 - 1))/(n/(-10)) a multiple of 5?
True
Let m = 824 - 649. Is m a multiple of 4?
False
Let k(p) = 2*p**2 + 71*p - 31. Is 20 a factor of k(-37)?
True
Suppose 6 = -2*g - 5*t, -2*g - 4*t + 6*t - 6 = 0. Let c(w) = w**3 + 2*w**2 - 2*w + 2. Let a be c(g). Does 6 divide a/(-1) + (-12 - -18)?
False
Suppose -701 - 625 = -3*u. Is u a multiple of 10?
False
Let h = -208 + 544. Is h a multiple of 21?
True
Let u(o) = 11*o + 8. Let s = 14 - 8. Let f be u(s). Let t = f + -36. Is t a multiple of 9?
False
Suppose -5*k - 4101 = -11901. Is 24 a factor of k?
True
Let m(c) = 18*c**3 + 12 - 4*c**2 + 1 - 17*c**2 - 19*c**3 - 21*c. Does 11 divide m(-20)?
True
Let h(u) = u**2 - 8*u + 7. Let d be h(7). Suppose d = 2*r + 4*o + 28, -4*r - 4*o - o - 44 = 0. Does 3 divide 4/8 - 57/r?
False
Suppose 0 = p - 4*p + 93. Let h = -12 + p. Is h a multiple of 7?
False
Let m be 4/8*(2 + -262). Let y = m + 205. Does 28 divide (-10)/y - (-1774)/30?
False
Suppose 0 = -9*h + 22407 + 5817. Is h a multiple of 64?
True
Let w(g) = -g**2 + 9*g + 13. Let b be w(10). Suppose -b*j + 4*j - 11 = 3*k, 0 = 4*k + 2*j - 2. Does 5 divide (1/(-2))/(k/48)?
False
Let b(s) = 125*s - 4. Let u = 3 - 11. Let j be b(u). Is 23 a factor of j/(-18) - 24/(-108)?
False
Suppose 3560 = 14*h + 1082. Is h a multiple of 8?
False
Suppose -4*m - 1358 = -x, -x + 2*m + 3*m = -1358. Does 97 divide x?
True
Suppose -3*t + t = -24. Let k = 1 + t. Let r = 3 + k. Is 8 a factor of r?
True
Let l(m) = 41*m**2 - 7*m - 10. Is 15 a factor of l(-5)?
True
Suppose 4*j - 3*l - 34 = 0, 0 = -2*j - 3*l + l + 24. Suppose 0 = -p - p + j. Suppose 2*w + 2*i = -0*i + 112, -264 = -p*w + 3*i. Does 13 divide w?
False
Suppose -3*p + 1 = 4*l, l = 5*p - l - 19. Let b = 39 - 40. Is -4 + ((-189)/p)/b a multiple of 19?
False
Let y(q) = q**2 - 2. Let i be y(-2). Suppose -o = i*o - 180. Does 10 divide o?
True
Let f = 1320 - 730. Is f a multiple of 19?
False
Suppose 0 = 492*s - 447*s - 228600. Is 20 a factor of s?
True
Let o(c) = -c**3 - 59*c**2 + 16*c + 110. Is o(-60) a multiple of 50?
True
Suppose -24*x - 6908 = -26*x + 2*c, -5*c = 0. Is x a multiple of 22?
True
Suppose 106*c - 8504 = 98*c. Does 6 divide c?
False
Suppose -5*l + 835 = 3*r, 3*l + 255 = 10*r - 9*r. Is 27 a factor of r?
True
Does 6 divide -3 + (-6)/(-3) + (-51209)/(-41)?
True
Is 15 + 8/((-8)/(-3)) a multiple of 4?
False
Let m = 20 - 2. Let z be 54/15*30/m. Does 11 divide ((-44)/z)/(2/(-3))?
True
Let u(d) = -d**3 + 10*d**2 - 8*d - 20. Is 5 a factor of u(-5)?
True
Let d = -92 + 144. Suppose d*i = 50*i + 170. Is i a multiple of 15?
False
Let n(k) = k**3 + 19*k**2 + 43*k - 31. Is n(-12) a multiple of 11?
False
Let z = -219 - -586. Is 57 a factor of z?
False
Let d(n) = -2*n**2 - 32*n - 2. Is 18 a factor of d(-14)?
True
Suppose 32*x - 47*x + 5490 = 0. Is 4 a factor of x?
False
Let i be ((-5778)/13)/(-3) + (-6)/39. Let q = -65 + i. Is q a multiple of 8?
False
Suppose -4*g - 20 = 0, -2*y - 3*g + 6*g = -21. Let q(l) = -4*l**2 + 5*l**2 + l**2 + 0*l + y + 3*l. Is 7 a factor of q(3)?
False
Suppose -h - 63 = 3*b, -5*h + 59 = -2*b - 0*b. Let z = b - -46. Is 4 a factor of z?
True
Let n(y) = -6*y**3 - 44*y - 182. Does 27 divide n(-4)?
True
Does 19 divide 1/((-12)/2) - 14373/(-54)?
True
Suppose 0 = 20*r - 18*r - 2280. Is 57 a factor of r?
True
Let z be (0*(-1)/(-3))/1. Suppose 4*w - w = z. Suppose w*q + 30 = q. Does 15 divide q?
True
Let x(r) be the first derivative of 11*r**4/4 - 4*r**3/3 + 2*r**2 - 3*r + 11. Is 21 a factor of x(2)?
False
Let g(k) = 3*k + 17. Let m(l) = 21*l + 120. Let t(f) = -27*g(f) + 4*m(f). Is 6 a factor of t(-3)?
True
Suppose 5*w - 5*r - 1 = -6, -2*r = 2*w - 14. Suppose u + 4 = w*u. Let m(y) = 3*y**3 + 2*y + 1. Is m(u) a multiple of 25?
False
Is 34/(-153) - 4947/(-27) a multiple of 3?
True
Let h(k) = -1168*k - 41. Is h(-1) a multiple of 12?
False
Let g(o) = -411*o - 821. Is 121 a factor of g(-8)?
False
Is 64 a factor of 10192/160 - (-6)/20?
True
Let x = -2014 - -2213. Is 10 a factor of x?
False
Let b be (32/6 - 0)*39/(-13). Does 10 divide (2 - 88/b)*92/6?
False
Let n(q) be the second derivative of q**5/12 + q**4/12 - q**3/6 - 7*q**2/2 - 7*q. Let b(o) be the first derivative of n(o). Does 3 divide b(-2)?
True
Let c be (0 - 14)*30/(-105). Suppose 0 = -3*p - 3, 0 = -c*i + 2*i - 4*p + 16. Let h = 11 + i. Is 7 a factor of h?
True
Let j = 10 - -78. Is 22 a factor of j?
True
Let r(f) = f**2 - 5 - 4*f**2 + 2*f**2. Let w(y) = 5. Let u(b) = -4*r(b) - 5*w(b). Is 18 a factor of u(-4)?
False
Let w = -451 - -707. Does 8 divide w?
True
Suppose -5*n = -28 - 2. Suppose -5*j - 3 = -n*j. Suppose 5*y = -2*c + 209, 5*c - j*y - 295 = 150. Is c a multiple of 25?
False
Let n(i) = -5*i**3 - 5*i**2 - 4*i - 32. Does 17 divide n(-4)?
False
Suppose 5*m - 2*p - 11 = 25, -5*m - 5*p = -50. Suppose 1 = -m*x + 41. Does 3 divide x?
False
Does 58 divide 376 - (-3)/(12/4)?
False
Let f(g) = -g**3 - 20*g**2 - 21*g - 11. Let y be f(-19). Let a = y - -9. Is a a multiple of 9?
True
Suppose -38*x + 35*x = -12. Does 3 divide (-4)/6*(-23 - x)?
True
Does 54 divide (23 - 23) + 6 + (264 - 0)?
True
Suppose 2*j = 6*j - 20. Suppose -y + 15 = j*b - 3*b, 5*y = 4*b + 5. Suppose -14 = y*t - 229. Does 11 divide t?
False
Does 4 divide (-60)/(-5)*((-380)/8)/(-5)?
False
Let a be (-16)/4 - 9/1. Let j = a + 23. Suppose 5*u - 17 = -3*d - 3, -4*u - 3*d + j = 0. Is u a multiple of 4?
True
Let o(p) = p**3 + 3*p**2 + p + 2. Let w be o(-5). Let u = w - -81. Let n = 63 - u. Does 12 divide n?
False
Let u(w) = -6*w + 0*w + 5 + w**2 + 5. Suppose 48*d + 18 = 50*d. Does 20 divide u(d)?
False
Suppose 679 = 4*b - 5*o, 2*b - 224 - 122 = -4*o. Suppose 5*t + 36 - b = 0. Is (t/12 + -2)*92 a multiple of 12?
False
Let y = -353 - -623. Is 10 a factor of y?
True
Suppose h + 4202 = 6157. Is h a multiple of 53?
False
Let k(m) = -9*m. Let n be k(2). Does 27 divide -8*(-18)/(-24)*n?
True
Let k(p) = 2*p**2 - 6*p**2 - 3 - 5*p**2 + 0*p**2 + 9*p + p**3. Let h be k(8). Is 5 a factor of (h/4)/(1/8)?
True
Let g(b) = 45*b + 232. Is 4 a factor of g(4)?
True
Suppose -3446 = -5*z - 3*w, -5*z + 11*w + 3434 = 8*w. Does 43 divide z?
True
Suppose -2*h + 338 + 112 = 0. Does 5 divide h?
True
Let n = 33 - 55. Let k = 37 + n. Let r = k - -9. Is r a multiple of 8?
True
Let d(u) = 4 + 0*u**3 - u**3 - 9*u**2 + 3*u**2 - u. Let h be d(-6). Suppose 3*v + 2*v - 25 = 0, s - h = 4*v. Is 15 a factor of s?
True
Let l be -111*(-1)/((-4)/(-8)). Let m = l - 158. Is 11 a factor of m?
False
Let r(t) = 49*t + 149. Is 16 a factor of r(18)?
False
Suppose -42*g + 23085 = -15*g. Is 18 a factor of g?
False
Let o = -30 + 36. Suppose 0 = o*w - 35 + 11. Is w a multiple of 3?
False
Is (-9 + (-4)/(-2))*4590/(-119) a multiple of 27?
True
Suppose 4*k + 0 + 124 = 4*w, -3*k = -4*w + 125. Is w a multiple of 10?
False
Suppose -9 = 3*h, -4*h = -3*t - 0*t + 18. Suppose 0*v + t*v = -3*y - 48, -120 = 5*v + 4*y. Let u = 34 + v. Is 5 a factor of u?
True
Let p(z) = 12*z**3 - 6*z**2 + 19*z - 2. Does 13 divide p(3)?
True
Suppose m - 1342 = 263. Is 15 a factor of m?
True
Let z(j) = 51*j - 7. Is z(1) a multiple of 19?
False
Let f(t) = -3*t + 5. Let q be f(2). Let y(z) = -46*z + 9. Is 7 a factor of y(q)?
False
Let r(i) = -i**3 - 8*i**2 - 12*i + 13. Does 43 divide r(-9)?
False
Let z = 19 - -4. Let f = -12 + z. Does 2 divide f?
False
Let f be (-2)/(-2) + (15 - 12). Suppose -712 = -f*z - 4*m, 3*z - 171 = 4*m + 377. Is 15 a factor of z?
True
Suppose 3*k + 5*u = 8, -4*u - 3 = 5. Let p(t) = t**2 - 7*t + 9. Let h be p(k). Suppose -h*s + 12 + 78 = 0. Is s a multiple of 15?
True
Let n be (-158)/(-3)*(-6)/(-2). Suppose 4*j - 518 = -n. Is 18 a factor of j?
True
Let k = 112 + 513. Is 25 a factor of k?
True
Let g(x) = x**3 + 5*x**2 - 3*x - 10. Let j be g(-5). Suppose 0 = -j*n + 220 + 1285. Suppose -5*c - 61 = -n. Does 16 divide c?
True
Suppose -5 = 2*b - 2*t + 1, -2*b + 6 = t. Let i(j) = -5*j + 2 - 4 - 8*j + b. Is i(-1) a multiple of 9?
False
Suppose 637 = 403*x - 396*x. Let f(r) = -53*r**3 - r - 1. Let k be f(-1). Let n = x - k. Does 20 divide n?
False
Does 5 divide (-1)/12 + (-20290)/720*-6?
False
Suppose 0 = -9*l + 1847 + 1213. Suppose o - 348 = 3*z, -o + 0*z + z = -l. Does 21 divide o?
True
Let b be (2/(-18)*