m. Is m a multiple of 6?
False
Let j(z) be the third derivative of 11*z**4/24 + z**3/6 + 10*z**2. Is 15 a factor of j(4)?
True
Suppose 4*k - k - 2035 = z, z = 2. Is 7 a factor of k?
True
Suppose 10*f - 5366 = 814. Is f a multiple of 26?
False
Suppose 120 = 2*y - 7*y. Let p = 22 - y. Is 5 a factor of p?
False
Let m(w) = -5*w + 8. Let t be m(-4). Is (3180/t)/5 + 2/7 a multiple of 5?
False
Let f(a) = -6*a**3 - 5*a - 4 + 3*a**2 + 6*a**3 + a**3. Let y be f(-4). Suppose -4*i + 25 - 5 = y. Is i a multiple of 5?
True
Suppose 28*o = -49*o + 22638. Is 21 a factor of o?
True
Suppose -3*x = 334 - 910. Is x a multiple of 12?
True
Let p be (-5 - -20) + -3 + -1. Let z(q) be the second derivative of q**3/2 - 7*q**2 + 2*q. Is z(p) a multiple of 10?
False
Let o(m) = -2*m**2 - 3*m - 5. Let d be o(-3). Is d/4*-4 + 3 a multiple of 3?
False
Let c = 41 + -60. Let g = c - -53. Is 6 a factor of g?
False
Let r be ((-52)/10)/((-10)/(-600)). Let b = -204 - r. Is b a multiple of 18?
True
Suppose -34 = -3*f + f. Let j = f + -4. Let k(b) = -b**3 + 14*b**2 - 10*b + 1. Is 20 a factor of k(j)?
True
Suppose -2*a = -5*o + 375, -2*o - 2*a = -0*o - 136. Does 11 divide o?
False
Suppose -298 - 28 = 2*o. Let b = -116 - o. Let p = b - 32. Does 7 divide p?
False
Let y(w) = -3*w**2 + 5 - 3*w + 5*w**2 - 6*w - 3*w**2. Let g be y(-8). Is (-50)/(-6) + g/(-39) a multiple of 4?
True
Let o(f) = 9*f**2 - 6*f + 14. Let p(l) = -l + 4. Let g be p(10). Let q be o(g). Suppose -16 = -5*n + q. Is n a multiple of 26?
True
Let t = -1784 - -2372. Is t a multiple of 5?
False
Suppose 2*t - 23 = n, -5*t + 0*t - 5*n = -35. Suppose -t*a - 32 = -12*a. Is a a multiple of 7?
False
Let q(u) = -2*u**2 + 7*u - 1. Let d be q(6). Let p = d - -36. Is 5 a factor of p?
True
Let u(v) = -v**3 + 9*v**2 + 13*v - 21. Let d be u(9). Suppose 0 = -o - 5*b + 71, -5*o - 5*b - d = -471. Is o a multiple of 16?
False
Let i(d) = 5*d**2 - 13*d - 16. Let c be i(9). Suppose v + 3*l - 72 = 0, -3*v - v = 4*l - c. Is 22 a factor of v?
True
Is (-4249)/(-7)*(-3 + 9 + -3) a multiple of 12?
False
Let q be (-15)/(-4 - (-1 + 0)). Suppose q*g + g = 396. Does 22 divide g?
True
Let s(w) = 6*w - 7. Let i(y) = -5*y + 7. Let f(h) = 7*i(h) + 6*s(h). Let l be f(9). Let v = 22 - l. Does 6 divide v?
True
Is (-12492)/(-9)*3/4 a multiple of 98?
False
Let x(a) = -a**3 - 14*a**2 - 5*a + 4. Let o be x(-14). Let v = o + -43. Is v a multiple of 25?
False
Let f = -13 + 31. Does 43 divide 4/f + 14456/72?
False
Suppose -9*a - 1872 + 9054 = 0. Is 21 a factor of a?
True
Suppose 2*m - 28 - 12 = 0. Let i(t) = t**2 - 19*t + 32. Let w be i(20). Let l = w - m. Does 16 divide l?
True
Let b(p) = -p**2 + 35*p + 7. Let n be b(35). Let d = -14 - -10. Let y = n + d. Is 3 a factor of y?
True
Suppose 3*f + 51 - 19 = 5*z, 5*z + 5*f = 40. Is 7 a factor of 166/7 - -1*2/z?
False
Suppose 3*y = y. Suppose -5*v - 5 = -0*v + 4*x, y = -2*x - 10. Suppose v*u + 64 = 2*i - 2*u, u = 0. Is 5 a factor of i?
False
Let l(c) be the second derivative of c**4/6 - c**3/6 - 5*c**2 + 4*c. Does 15 divide l(-5)?
True
Suppose 0 = 2*c + 7*c + 585. Does 20 divide -1 + (6/2 - c)?
False
Suppose 0 = 3*y - 3 - 12. Suppose 0 = v - y*v. Suppose v*a + 4*w = -3*a + 52, -125 = -5*a + w. Is a a multiple of 12?
True
Suppose -g = -76 + 210. Let t = 224 + g. Is t a multiple of 30?
True
Let q(n) = n**3 + 6*n**2 + 3*n - 8. Let a(r) be the second derivative of -r**5/20 - r**4/4 + r**3/3 + r**2 - 11*r. Let s be a(-3). Is q(s) a multiple of 4?
True
Let q(y) = -y**2 - 1. Let s(i) be the second derivative of 5*i**4/12 + 3*i**3 + 3*i**2/2 - 5*i. Let a(l) = 4*q(l) + s(l). Does 18 divide a(-21)?
False
Let j be ((-84)/5)/(38/(-95)). Let i = 34 + j. Is 19 a factor of i?
True
Let j(p) = 8*p**2 + 94*p - 9. Does 33 divide j(-18)?
True
Let d(h) = 39*h - 8. Let k(l) = l + 1. Let c(w) = -d(w) - 5*k(w). Let q(v) = 15*v - 1. Let n(p) = -4*c(p) - 11*q(p). Does 17 divide n(3)?
False
Suppose 0 = 5*f + 25, -1049 = -4*k - 28*f + 29*f. Is k a multiple of 9?
True
Let x = 2614 + -2141. Does 11 divide x?
True
Suppose 2*i - 2*y - 246 = 2*y, -y + 246 = 2*i. Does 5 divide i/6 + (-6)/(-12)?
False
Let p be -3 + 1 + 0 - -5. Suppose 0*j = -p*j + 33. Does 3 divide j?
False
Suppose -14*r - 84 = -18*r. Suppose -r - 5 = -n. Does 16 divide n?
False
Let d(m) = 2*m**2 + 37*m - 84. Is d(-24) a multiple of 12?
True
Let a(t) = 2*t**2 - 253 + 134 + 12*t + 137. Is 18 a factor of a(-6)?
True
Suppose -41*l + 560 = -39*l. Is l a multiple of 11?
False
Suppose m + 4*l = 23, 24 = 4*l + 4. Suppose -m*h = -6*h + 474. Suppose -3*c + 99 = -3*j, -c = 4*c + 2*j - h. Does 8 divide c?
True
Let c(y) = -37*y. Let r be c(4). Suppose 1093 = 9*p - 1382. Let m = r + p. Does 29 divide m?
False
Let o(w) = -w**2 - 7*w - 27. Let k be o(-8). Does 14 divide (-1656)/(-33) + (3 - k/(-11))?
False
Let i = 83 + 60. Is 13 a factor of i?
True
Suppose -4963 = -103*h + 98*h - 2*m, m = -2*h + 1986. Does 15 divide h?
False
Let u = 67 + -73. Suppose 14 = 5*i + 4. Does 3 divide (u/5)/(i/(-5))?
True
Let z be ((-3)/2)/(24/(-64)). Is 3/z - ((-125)/4 + -4) a multiple of 4?
True
Let t = 125 - 120. Does 10 divide t/(1206/300 + -4)?
True
Suppose -2*c + 2 = -5*r - 0*r, 5*c + 5*r - 5 = 0. Is 75/c*1/3 a multiple of 13?
False
Suppose 0 = -17*o + 21*o, -3*o = 3*z - 1188. Is z a multiple of 11?
True
Let x = 5 - 10. Let q = x + 8. Suppose -2*a + 6*a - 158 = -q*w, 3*w - 5*a - 194 = 0. Does 15 divide w?
False
Let l = 5 + -3. Suppose -4 = 2*a, 0 = 4*h - h + l*a - 1016. Is 3 a factor of 4/14 + h/35?
False
Let u(n) = -63*n + 3. Suppose -2*h = -h + 3. Let p be u(h). Suppose -g - 4*c + 120 = g, -3*g + p = 3*c. Does 16 divide g?
False
Let s = 68 - 83. Is (0 - s)*48/30*10 a multiple of 20?
True
Suppose -y = 3*x + 2*y + 57, 2*y + 86 = -4*x. Is 10 a factor of (-183)/(-4) - (-18)/x?
False
Let a(n) = n + 1. Let b(j) = -4*j - 41. Let p(c) = -3*a(c) - b(c). Does 8 divide p(17)?
False
Suppose 5*z = 4 + 116. Let i be 126/z + 3/(-12). Suppose 3*m = -i*j + 167, -2*m + 0*m + 3*j + 124 = 0. Is 15 a factor of m?
False
Let a(y) = -4*y + 28. Let c be a(11). Let x(z) = -4*z - 32. Is x(c) a multiple of 6?
False
Does 13 divide ((-351)/81)/((-1)/1101*1)?
True
Let v be (-2)/3*(-1 - 2). Suppose 0 = -v*p + 4*p. Suppose z - y - 15 - 7 = p, 0 = -5*z + 4*y + 105. Is 17 a factor of z?
True
Let x(t) = 3*t - 4. Let j be x(3). Suppose -19*m - 55 = -24*m. Suppose 4*n = -o + m, 3*n = j*o + 10 + 4. Is n a multiple of 2?
False
Suppose -l + 3*d = 33, 6*l - 3*l + 5*d + 99 = 0. Let x = 91 + l. Does 12 divide x?
False
Suppose 142*o = 143*o. Suppose o = -3*b - z + 22, -5*b + z + 17 = -9. Is 6 a factor of b?
True
Suppose 2*o + 26 = 3*i, 2*i + 3*o + 17 - 43 = 0. Is ((-48)/i)/((-9)/30) a multiple of 9?
False
Let a(i) = -i + 12. Let r(x) = 4*x**3 - x**2 + 2*x + 1. Let s be r(-1). Is 18 a factor of a(s)?
True
Let s(k) = 10*k**2 - 5*k + 4. Let g be s(-3). Suppose 2*y = m - g, -4*m + 2*y + 469 = 5*y. Is m a multiple of 10?
False
Suppose -2 = 3*w - 4*w. Suppose -193*g = -198*g. Suppose w*f + 0*f - 12 = g. Does 4 divide f?
False
Does 54 divide (4 - (-5415)/10)/((-6)/(-12))?
False
Let x = -408 - -1290. Is 144 a factor of x?
False
Let l be (29 + -3)/(3 - 4). Let i = l - -88. Let s = i + -41. Is s a multiple of 3?
True
Suppose -4679 = -5*i - 5*g + 3*g, 0 = -5*i + 5*g + 4665. Is 85 a factor of i?
True
Does 7 divide 13460/35 - 9/(-21)?
True
Let c(t) = 18*t - 3 + 14*t - 2 + 2. Does 10 divide c(2)?
False
Suppose 0 = -31*d + 39389 + 56432. Does 20 divide d?
False
Let g(u) be the third derivative of u**6/120 + 4*u**5/15 - 11*u**4/12 - 23*u**3/6 - 20*u**2. Does 16 divide g(-17)?
False
Let c = 59 + -83. Let m = 42 + c. Suppose 10 - 2 = -2*k, 0 = w + 3*k - m. Is 12 a factor of w?
False
Let v(l) = 22*l - 157. Is 2 a factor of v(14)?
False
Let i(n) = -n**2 - 21*n + 5. Is 21 a factor of i(-15)?
False
Let o = 21 - 33. Let n be o/(-30) + (-51)/15. Is 9 a factor of (-33)/(-2) + n/(-6)?
False
Let t(w) = w**3 - 4*w - 3. Let q be (2 + -1)/((-7)/(-28)). Is 15 a factor of t(q)?
True
Suppose 8*i - 9728 = -8*i. Is i a multiple of 76?
True
Suppose -4*g = -7*g + 456. Suppose 0 = -3*h - 2*d + 470, 0*h + h - g = -3*d. Suppose 0*w - 2*w = -h. Is 23 a factor of w?
False
Let z be 3 - (30/(-6) - 273). Let s = z + -47. Does 26 divide s?
True
Let b = -110 - -46. Let h = -277 - -416. Let r = b + h. Is 23