 -7?
True
Let a(q) be the third derivative of -q**9/30240 - q**8/4032 - q**7/2520 + q**5/20 + 3*q**2. Let r(p) be the third derivative of a(p). Is 28 a factor of r(-4)?
True
Suppose 26 = 3*k - 5*d - 4, 27 = 3*k - 4*d. Is 13 a factor of (k - 4)/((-4 - -3)/(-52))?
True
Let o(s) = s + 1. Let y(j) = 2*j**2 - 19*j + 4. Let k(w) = 5*o(w) + y(w). Is k(9) a multiple of 9?
True
Let p = 110 - -1066. Is p a multiple of 14?
True
Let t(b) = b**3 - 10*b**2 - 10*b + 9. Let p be (5/4 + -4)*-4. Is 4 a factor of t(p)?
True
Suppose 1 + 2 = -3*j. Let q(l) = -16*l**3 - l**2 - l - 1. Is 4 a factor of q(j)?
False
Let v = 3426 + -1847. Does 3 divide v?
False
Suppose -2*y + d = 14, 4*y + 4*d = y - 21. Let c(x) = 15*x + 6. Let v(i) = 61*i + 28. Let p(a) = -9*c(a) + 2*v(a). Does 31 divide p(y)?
True
Suppose 6054 = 5*d + 319. Is d a multiple of 37?
True
Let r = 6 - 11. Does 27 divide r + 1 - -115 - 3?
True
Suppose -4*q + q + 144 = 0. Let u(o) = -o - 4*o**2 - o + o**3 + q - 49. Is 14 a factor of u(5)?
True
Let f = 316 - 192. Suppose 5*w = n - 20, -w + 2*w = -3*n + f. Does 10 divide n?
True
Let s(t) = -t**3 + 5*t**2 + t + 9. Let f be s(4). Let l = f - -186. Does 34 divide l?
False
Suppose 2*b - 10 = a, -2*b = 4*a - 6 + 16. Suppose -5*t = -4*r + 41 - 13, -12 = b*t. Suppose -d - 50 = -3*z - r*z, -5*z + 50 = -5*d. Does 5 divide z?
True
Suppose 6*h - 3168 = -5*a, a - 518 = -2*h + 118. Is a a multiple of 10?
True
Let w = 404 + -68. Is w a multiple of 4?
True
Let c(h) = h + 8. Let n be c(-6). Suppose 4*m + 3*a + 0*a - 392 = 0, -n*m - 4*a + 186 = 0. Let l = m - 50. Does 17 divide l?
True
Suppose 3*o - 92 = -x, 4*x + o = -o + 408. Let y = -53 + x. Is y a multiple of 6?
False
Is 12 a factor of 8/44 - (-156390)/165?
True
Let n(i) = 14*i**2 + 3*i - 4. Let a be n(-3). Let d = -90 + 58. Let h = a + d. Does 27 divide h?
True
Let k be (-1690)/(-4) + (-33)/22. Suppose -3*z = -k - 8. Is 13 a factor of z?
True
Suppose y = -2, -2*x - 3*x = -2*y - 49. Let p be 10/15 - 7/(-3). Suppose 18 = 2*u - 2*t, -p*u - x = -2*t - 40. Is 11 a factor of u?
False
Is 42 a factor of 4328/16*2 + 5?
True
Suppose 823*p - 824*p + 548 = 0. Does 23 divide p?
False
Let h = 90 - 86. Suppose h*y - 223 - 249 = 0. Is 37 a factor of y?
False
Suppose 0 = -7*a + 50 + 20. Suppose -319 = -a*t + 481. Is t a multiple of 10?
True
Suppose -100 = -5*o - 0*o. Is 26/5 - 4/o even?
False
Let k be -2 - (4 + -5) - -7. Let r be 3 - (-3 + 2)*k. Let x(f) = 7*f - 7. Does 16 divide x(r)?
False
Suppose 4*p = 5*f - 275, 0 = 2*p - 3*p + 3*f - 67. Let z = -22 - p. Suppose -z = 3*w - 7*w. Is 12 a factor of w?
True
Suppose -4*a + 64 = 5*m, 4*m - 10 - 62 = 2*a. Let t = m + -9. Suppose 0 = -5*z + 273 + t. Is z a multiple of 20?
False
Suppose 1 + 2 = -x. Let y(h) = -3*h**3 + 3*h**2 - 3*h + 2. Does 17 divide y(x)?
True
Let t be (-2)/(-5)*(-55)/(-22). Is 4/(16/300)*t a multiple of 25?
True
Suppose -4*a + 189 = -3*a. Suppose -23*u + 20*u + a = 0. Is u a multiple of 11?
False
Let x = -5 - -10. Suppose x*s = -0*s + 330. Is 33 a factor of s?
True
Suppose 2*n - 3*n = 0. Does 3 divide 3/((-9)/(-24)) - n?
False
Let f(w) = 16*w**2 + 101*w - 13. Is 5 a factor of f(-8)?
False
Let k(d) = 3*d**2 + 22*d + 9. Let t be k(-7). Suppose 0 = -2*w + i + 55, -2*w = t*w + 2*i - 114. Is 7 a factor of w?
True
Let c = -221 - -373. Suppose 12*b - c = 8*b. Let t = b - 8. Is t a multiple of 15?
True
Let d = -279 - -439. Does 32 divide d?
True
Let s be (-4)/7 - (-156)/28. Suppose 3*t - 3*r = s*t - 342, -2*r = -3*t + 539. Is t a multiple of 16?
False
Let g be (-45)/(-10)*4/(-6). Is 3 - (g + (0 - 110)) a multiple of 12?
False
Suppose -60*s + 16384 = -9176. Is 71 a factor of s?
True
Suppose -4*g + 4*h + 92 = -120, 2*g + 3*h = 111. Suppose -29*f = -32*f - 90. Let t = g + f. Is 8 a factor of t?
True
Let d(g) = -g**3 - 5*g**2 - 4*g + 1. Suppose 0*p = -2*p - 4. Let f be (2 + -3 - 2) + p. Does 13 divide d(f)?
False
Let y(n) = -2*n + 2. Let u be y(-1). Suppose u*r = -5*o + 79, -r - 2*r + 51 = o. Does 2 divide r?
True
Let i = 72 + -29. Let f = 176 - i. Does 24 divide f?
False
Let n = 17 + -15. Suppose -2 - 4 = -n*l. Suppose 2*x - 42 - l = 3*f, -3*f + 3 = 0. Is x a multiple of 14?
False
Suppose 3*q - 6 = 0, 0 = 32*r - 29*r + q - 3602. Is r a multiple of 24?
True
Let g = 150 - 92. Is g a multiple of 5?
False
Does 145 divide 35/(-14) + 12458/4?
False
Suppose 0 = 5*o, 2*i - 7*o = -3*o + 28. Let c = 9 + i. Suppose 2*x = 71 - c. Does 12 divide x?
True
Let v(z) = 24*z - 18 - 12 - 8*z + 8*z. Is 31 a factor of v(8)?
False
Let g = 92 + -88. Let z(r) be the second derivative of r**4/6 - 2*r**3/3 - 5*r**2/2 - r. Is z(g) a multiple of 11?
True
Let u be (-9 - -6) + (28 - 0). Suppose u = 5*c - 0*c. Suppose -c*i - 173 = -3*a, -a - 2*i - 282 = -6*a. Is a a multiple of 28?
True
Let o(x) = 5*x**2 + 4*x - 7. Suppose w + 2*g - 7 = 4*w, 5 = 3*w - 5*g. Is 23 a factor of o(w)?
False
Let y(r) = -r**3 + 9*r**2 + 14*r - 20. Let v be y(10). Let z be (8/v)/((-4)/(-30)). Suppose -z*t = -2*l + 35, -t + 35 = -2*l + 80. Is 4 a factor of l?
False
Let t = -12 - -5. Let f be 2 + t - 1/(-1). Does 18 divide (-24)/14*42/f?
True
Suppose u + 4*k - 18 = 0, u + 3*k = 4*k - 2. Suppose u*f - f - 1 = 0. Does 3 divide (-6)/(-4)*(3 - f)?
True
Suppose 6 = 6*q - 4*q. Suppose q*z = -2*u + 10, 3 = 2*z + 4*u + u. Suppose -5*o = 3*x - 60, -2*x + 37 = 3*o - z. Does 6 divide x?
False
Is 113 a factor of 46256/21*6/7?
False
Let a(h) = -7*h + 1. Let j(f) = f + 6. Let p be j(-3). Suppose -w = -p*w - 6. Does 11 divide a(w)?
True
Let w be (1 + 3)/((-16)/(-24)). Let n be 14*w/(3 + -1). Does 8 divide 2/7 - (-1332)/n?
True
Suppose 0 = -2*t - z - 1, 7*t = 4*t + 3*z - 24. Let a = t + -3. Let l(d) = -5*d - 8. Is l(a) a multiple of 22?
True
Suppose 61*n = 85*n - 26520. Does 13 divide n?
True
Does 57 divide 41840/70 - 12/(-42)?
False
Suppose 5*a - 9 = 2*a + 3*f, 0 = 3*a - f - 7. Let x be 0*(0 - (-3 + a)). Suppose 4*b - 14 = -2*j - x*j, 0 = b - 3*j - 14. Is b a multiple of 5?
True
Let d(x) = 2*x**2 + 6*x - 23. Is 3 a factor of d(-11)?
True
Does 39 divide ((-11)/22)/((-3)/1008)?
False
Let x be (4*(-1)/(-16))/((-6)/(-48)). Let w = x - -8. Does 2 divide w?
True
Let z(i) be the third derivative of i**5/60 - i**4/24 + i**3/3 + 22*i**2. Is 7 a factor of z(-3)?
True
Let s = -1559 + 2315. Does 54 divide s?
True
Let v(r) = -5*r + 4. Let k be v(-5). Suppose -h + k = -7. Does 12 divide h?
True
Suppose 2*f + 1 = 7. Suppose f*a - 19 = -7. Suppose -2*r = -a*r + 180. Is 13 a factor of r?
False
Suppose -3*h - 3*f = -3, -19 = -4*h - 4*f + 3*f. Let w(n) = 25*n - 20. Let c be w(h). Suppose 0 = -7*v - c + 480. Does 17 divide v?
False
Suppose -t = -5*c - 11 - 37, 3*c + t + 24 = 0. Is 15 a factor of (-2 + (-4)/(-12))*c?
True
Suppose -5*v = 20, -5*x - 6*v = -v - 1180. Is x a multiple of 15?
True
Let i be -4*1 - (-5)/(20/1232). Suppose 0 = -3*d + i - 67. Is d a multiple of 9?
False
Let m(j) be the third derivative of -j**6/120 - 11*j**5/60 - j**4/24 + 4*j**3/3 - 6*j**2. Is m(-11) a multiple of 19?
True
Suppose 0 = -5*i + 4*i + 5*v - 16, -5*i + 4*v = 38. Is i/(-10) - (-3528)/120 a multiple of 6?
True
Let l be (2/6)/(6/306). Suppose 3*a + 2 - l = 2*f, -3*f = 0. Suppose -4*j + 20 = 0, a*h - 5*j = 91 - 26. Does 9 divide h?
True
Let r = 7611 + -5400. Does 33 divide r?
True
Let d(r) = -4*r**3 + 9*r**2 + 8*r - 28. Let f(c) = 5*c**3 - 8*c**2 - 7*c + 28. Let a(u) = 6*d(u) + 5*f(u). Is 25 a factor of a(-12)?
False
Does 56 divide (-48)/(-16) - 165/3*-46?
False
Let n be (-6)/(-6)*(0 - -61). Suppose -4*v + 115 = 3*i - n, 175 = 3*i + 5*v. Is 16 a factor of i?
False
Let y = 39 + -33. Is (9/y)/(18/2400) a multiple of 14?
False
Let x(c) = -4*c**2 + 3*c + 3. Let j be x(-3). Let d(i) = 6*i - 2. Let p be d(-3). Let t = p - j. Is 6 a factor of t?
False
Let c = -15 + 21. Let j(f) = -f**3 + 6*f**2 + f - 6. Let u be j(c). Suppose 0 = -u*n + 3*n - 42. Does 14 divide n?
True
Let b = 1791 + -1394. Is 3 a factor of b?
False
Does 10 divide 789*(-3 + 70/21)?
False
Suppose -5*z - 3*y = 121, z + 3*y - 87 = 4*z. Let g = -21 - z. Suppose 4*s = -l + 18, 18 = -2*l + 3*l - g*s. Is 18 a factor of l?
True
Let u = -6 - -11. Let g(q) = 0 - 11*q - q**2 + 3 + u - 5. Is 3 a factor of g(-11)?
True
Suppose 2*w - 5*w = -6, -8 = 2*v - 5*w. Let c(z) = 111*z - 1. Is 34 a factor of c(v)?
False
Suppose -3*k - 16*k + 14136 = 0. Do