 first derivative of s**3/3 - 2*s**2 - 7*s + 5. Let g be r(5). Let c = 14 + g. Does 12 divide c?
True
Let y = -597 + 853. Does 17 divide y?
False
Let g(v) be the first derivative of -v**2 + 1/3*v**3 - 3 + 4*v. Is 21 a factor of g(-4)?
False
Let c(z) = z**3 + 14*z**2 + 14*z + 13. Let w be c(-13). Suppose -2*g + i + 143 = 0, g + 2*i - 84 = -w*g. Does 17 divide g?
False
Is 10 a factor of -4*285/(-24)*(-48)/(-5)?
False
Suppose -5*g + 5 = 0, r - 3*g + 8 = -5. Let h = r + 12. Suppose h*b - 79 + 25 = 0. Is b a multiple of 9?
True
Let s(a) = 3*a + 21. Let q be s(0). Is 2776/56 - (-9)/q a multiple of 14?
False
Suppose 4*p - 2*p = 3*j + 2369, -9 = 3*j. Does 10 divide p?
True
Suppose -i + 1 = -2. Suppose 0 = i*h + 3 - 0. Let g = h - -41. Is g a multiple of 16?
False
Let k be (6 + 91/(-14))*(-1 + 13). Let m(q) = -14*q - 38. Does 23 divide m(k)?
True
Suppose 3*c + m = 6*m + 262, 20 = -4*m. Is 4 a factor of c?
False
Suppose -7*k - 308 + 77 = 0. Is (6/27*k)/(10/(-45)) a multiple of 8?
False
Let f(j) = 5*j**2 + 11 + j**2 + 5*j - 9*j + j**3. Let m be f(-8). Let g = 137 + m. Does 10 divide g?
False
Let c = -83 - -42. Suppose -1 = -3*m - 1. Let b = m - c. Is b a multiple of 17?
False
Suppose 4*f + 17 = g - 125, -4*g + f + 598 = 0. Is g a multiple of 30?
True
Suppose 9*b + 4*q - 124 = 4*b, -2*b = q - 49. Does 34 divide (-2)/(-12)*-2 - (-1640)/b?
True
Is 6 a factor of ((-44)/(-8) - 5)/(4/576)?
True
Let v = -48 - -56. Does 16 divide 921/12 + 0 - (-2)/v?
False
Let q(y) = -y + 30. Is q(-9) a multiple of 25?
False
Let m be (-1 - -2)*(1 + -2). Let i be m/((4/4)/(-21)). Let w = 55 - i. Does 13 divide w?
False
Suppose 3*d = 8*d - 25. Suppose -w - x - 7 = 3*x, 3*w = -d*x - 14. Let n = 15 + w. Does 5 divide n?
False
Let t = -866 + 1275. Does 2 divide t?
False
Suppose -48*k + 24*k + 18048 = 0. Is 47 a factor of k?
True
Suppose 8 = 4*g - 0*g. Let d be (-2)/16 - 73/(-8). Is 2 a factor of 42/d*3/g?
False
Suppose 0*k = k + 2. Let b be (62/(-4))/(1/k). Suppose -4*u = -b + 7. Does 2 divide u?
True
Let t be 188/12 + (-2)/(-6). Does 10 divide (-2)/3*(-1896)/t?
False
Let s = -425 + 743. Is 8 a factor of s?
False
Let f = 861 - 1581. Let h = -468 - f. Suppose 0 = 3*b + 2*x - 152, 5*b = 4*x - 7*x + h. Does 24 divide b?
True
Suppose 30*v - 40*v = -7720. Is v a multiple of 13?
False
Let s be (3/2)/(9/30). Suppose -3*z + 193 = 2*l - 6*z, -5*l + s*z = -495. Is l a multiple of 19?
False
Does 3 divide 2 + -7 + 4/((-16)/(-92))?
True
Let t be (-1 - -2)/(10/(-50)). Let a be -19*(10/t + 1). Let v = a + 84. Is v a multiple of 17?
False
Suppose -n + 12 + 0 = 0. Let d = n - 24. Does 35 divide (118/(-8))/(3/d)?
False
Let r be 858/(-55)*(-5)/2. Suppose -k - 31 = -i, -3*k - r = -i - 6*k. Does 10 divide i?
False
Does 69 divide ((-56)/224)/(((-3)/(-5252))/(-3))?
False
Let i be 0/(-1 + 3/(-3)). Suppose -p + 7*p - 30 = i. Suppose d = 1, -p*d - 35 = -v - 3*v. Does 3 divide v?
False
Let l = 11 - 9. Suppose -4*y + 12 = -l*y. Suppose -3*w = m - 34, -w + y = m - 4. Is 4 a factor of w?
True
Let p(k) = -4*k**2 - 8*k - 13. Let j be p(-6). Let w = j - -181. Is 19 a factor of w?
False
Is (-621)/(-4) + ((-55)/(-20))/(-11) a multiple of 31?
True
Let n = -347 + 417. Is 5 a factor of n?
True
Let z be (6/10)/(2/110). Suppose -4*d + 83 = -z. Let x = d - 15. Is 14 a factor of x?
True
Let b be (0 - -2) + 0/(-32). Suppose -5*f + f + 24 = 0. Suppose -b*g - 176 = -f*g. Is g a multiple of 12?
False
Suppose 2*q - 40 = 3*x, 4*q + q = x + 126. Is q even?
True
Let r(l) = -23*l**2 - 37 - 2*l**3 + 2*l**2 - 2*l + 3*l - 15*l**3. Let z(a) = -4*a**3 - 5*a**2 - 9. Let q(u) = -2*r(u) + 9*z(u). Is q(-3) a multiple of 5?
False
Is 3/((2 - -1) + (-844)/282) a multiple of 18?
False
Suppose -2*z + 0*z + 230 = 0. Suppose z = -2*k + 3. Let v = -6 - k. Is v a multiple of 25?
True
Does 26 divide ((-3765)/60)/(0 - (-3)/(-24))?
False
Let x(f) be the third derivative of 1/10*f**5 + f**2 + 0*f - 4/3*f**3 - 7/24*f**4 + 0 + 1/120*f**6. Is 12 a factor of x(-6)?
False
Suppose 2*y = -n + 759, 3*n - y = -2*n + 3784. Is n a multiple of 28?
False
Let z(x) = -x**3 - 17*x**2 + 16*x - 33. Let q be z(-18). Suppose -q*t + 230 = 5*g + 2*t, g = 2*t + 52. Is 15 a factor of g?
False
Suppose 28*u = 15*u + 15431. Does 15 divide u?
False
Let k(f) = f**3 - 30. Let v be k(0). Is (16/40)/((-1)/v) a multiple of 10?
False
Suppose -2*r = -5*r + 6. Suppose -5*l + r*l = 411. Let k = -98 - l. Does 13 divide k?
True
Let g(s) = 18 + s**2 + 4*s - 5*s - 14*s. Let i be g(14). Is 16 a factor of 318/i*36/54?
False
Is 8 a factor of 6/(-33) + 9246/33?
True
Let o be (2/12)/((-3)/(-18)). Let j(d) = 4*d**2 + 1. Let k be j(o). Suppose 0 = 3*p - n - 19, n + 23 = k*p - 8. Is 3 a factor of p?
True
Suppose -4*j - 44 = -144. Suppose 140 = 4*a + 4*l, -j = -2*a - l + 43. Let k = a - 15. Is 5 a factor of k?
False
Is 383 - -1 - (21 - 17) a multiple of 67?
False
Suppose 72156 = 45*g - 23784. Is g a multiple of 13?
True
Let y(d) = 107*d - 545. Does 55 divide y(19)?
False
Let d(w) = -w**2 - 11*w - 25. Does 3 divide d(-7)?
True
Let n = 17 + -19. Let o = n + 14. Is 6 a factor of o?
True
Suppose -4*b + 3*h + 849 = -2603, 0 = -3*h. Does 68 divide b?
False
Let a(l) = 2*l - 10. Let y be a(2). Does 11 divide (-28 - y)*(-10)/4?
True
Let z = -59 - 472. Is z/(-27) + (-1 - 8/(-6)) a multiple of 20?
True
Is 8 a factor of (86/3)/(-5 + 124/24)?
False
Let d = 228 - 131. Let l(y) = y**2 - y - 66. Let z be l(0). Let o = d + z. Is o a multiple of 8?
False
Suppose 0 = 4*g + m + 4 + 26, -4*g - 3*m - 34 = 0. Let k(r) = -5*r + 5. Is k(g) a multiple of 5?
True
Does 51 divide (-2)/(-8) + (-54250)/(-56)?
True
Let s(v) = 5*v - 16. Let q be s(4). Suppose -3*y = q - 7, 0 = o - 5*y - 87. Does 23 divide o?
True
Suppose 1685 = 7*m - 5959. Does 21 divide m?
True
Let b(u) be the third derivative of 0 - 1/3*u**4 + 1/20*u**5 - 2*u**2 + 0*u + 4/3*u**3. Is b(6) a multiple of 24?
False
Let u(t) = -2*t**3 - 3*t**2 + 3*t - 5. Let b(y) = y - 12. Let i be b(7). Is 31 a factor of u(i)?
True
Suppose 0 = 18*m - 24*m - 60. Is 3*(-2)/m - 42940/(-100) a multiple of 13?
False
Let l = -69 + 99. Let r = l + -26. Suppose r*x = 3*j - 52, -5*x = j - 4*x - 15. Is j a multiple of 6?
False
Suppose -5 = -3*r + 2*r. Suppose 10*d - r*d - 825 = 0. Is 33 a factor of d?
True
Let j = -223 - -512. Does 17 divide j?
True
Let h(l) = 6 + 8*l**2 + l**2 + 12*l - 287*l**3 + 286*l**3 + 0. Is h(10) a multiple of 21?
False
Let a be -4*3*3/12. Let t(x) = -2*x**2 - 2*x + 2. Let g be t(1). Does 13 divide a/(g - (-147)/78)?
True
Let l(x) = x**3 + 6*x**2 + 6*x - 2. Let v be l(-5). Let w(c) = -2*c**2 - 15*c + 9. Is 5 a factor of w(v)?
False
Let i(q) = 13*q - 18. Let n be i(12). Let s = 194 - n. Does 15 divide s?
False
Let i = -87 + 270. Does 11 divide i?
False
Let a(j) = 8*j + 3. Let s be a(-6). Let p be ((-12)/(-10))/((-6)/s). Suppose -3*f - p = 0, -5*x + 5*f + 19 = -86. Is x a multiple of 7?
False
Let t(f) = 2*f**3 - 12*f**2 - 2*f - 7. Let o be t(7). Suppose 5*h - 180 = -5*m, -5*h - o + 257 = -4*m. Is 12 a factor of h?
True
Let c = -506 - -1681. Does 9 divide c?
False
Suppose 3*y - 589 = -166. Suppose -3*l - l = 0. Suppose 4*w - y = o, l = w + w + 3*o - 53. Is 17 a factor of w?
True
Suppose l = 3*t - 12, -2*l - 3*t + 30 = 3*l. Suppose 0 = 2*j - l*h - 24, -5*j + 16 = 5*h - 94. Is j a multiple of 2?
True
Let g = 132 - 66. Let r = g - 9. Does 6 divide r?
False
Suppose 3*u = 2*b - 228 - 18, 7*b - 842 = u. Is b a multiple of 15?
True
Let b = -15 - -11. Let k(s) = 5*s**3 + 9*s**2 + s + 1. Let i(d) = 11*d**3 + 19*d**2 + 2*d + 2. Let f(t) = 3*i(t) - 7*k(t). Is 19 a factor of f(b)?
False
Suppose 5*m + z = 5*z - 600, 3*m = z - 367. Let y = 205 + m. Does 7 divide y?
False
Suppose -3 = w - 7. Is 16 a factor of (1 + 8/w)*23?
False
Is -4 - 1130*(-5)/10 a multiple of 17?
True
Suppose 13*c - 70 = 3*c. Let h(s) = s**2 - 2*s - 18. Does 17 divide h(c)?
True
Suppose 3*a = -5*y + 248, -4*y - y = -5*a - 240. Is 22 a factor of -12 + 12 + y + 0?
False
Let d = 535 + -247. Does 9 divide d?
True
Let d = 2179 + -1319. Suppose 5*j - d = 205. Suppose -q = -4*r + 193, 0 = r + 3*r - 5*q - j. Does 27 divide r?
False
Suppose 0 = 17*x - 18*x + 4. Is (80/(-140))/(x/(-182)) a multiple of 10?
False
Let l be 6/8 - (-36)/16. Let g(k) = -k**3 - 3*k**2 + 0*k + 3701 + 4*k**3 - 3705 - 2*k. Is 13 a factor of g(l)?
False
