 36?
True
Suppose -22*s - 8*s = -57108 - 4512. Does 13 divide s?
True
Suppose -10*o + 9*o = 0. Suppose 34*t - 35*t + 1 = o. Is 14 a factor of 192/t + (-32)/(-8)?
True
Does 81 divide ((3108/(-8))/(-7))/(-2 - (-872)/432)?
True
Let s(j) be the third derivative of j**6/120 - 13*j**5/60 + 11*j**4/12 + 13*j**3/6 + 110*j**2. Is s(12) a multiple of 32?
False
Suppose -368 = m - 2*n, -3*n = -3*m - 1164 + 51. Let x = m - -218. Let c = 236 + x. Is c a multiple of 20?
True
Let q be 264 + (12/(-21))/(4/14). Is 20 a factor of (-4)/6 + 4/(-3) + q?
True
Suppose -2*q = z + z - 18, -2*z + 10 = 0. Let b = 2 + 21. Suppose -2*l - 5 = -5*l + 4*k, 0 = -l - q*k + b. Does 4 divide l?
False
Suppose -215*d + 218*d = 60. Suppose 5*w = -q + 40, -4*w + d + 16 = q. Is q a multiple of 10?
True
Let d(v) = -2*v + 21. Let n be d(12). Let a be (36/(-8) - n)*-2. Suppose -a*w = w - 356. Is 19 a factor of w?
False
Let d = 20 - 18. Suppose 4*i - 24 = 4*l, l + 10 = -3*i + d*i. Does 2 divide -3 - (2/8 - (-114)/l)?
False
Suppose 5*i - 20885 = -n, 5*n - 4*i - 128914 = -24518. Is 87 a factor of n?
True
Let h(f) = 28*f**3 + 7*f**2 + 11*f - 82. Is 76 a factor of h(5)?
True
Suppose 15*m + 175 = -800. Is 5/m - (-17436)/39 a multiple of 13?
False
Suppose 5*b + 190 - 10 = 0. Let j be (-14)/8 - (-9)/b. Let a(l) = -36*l - 8. Does 16 divide a(j)?
True
Suppose 20*f - 19*f = 3*g + 46646, 3*f = -3*g + 139842. Does 132 divide f?
False
Suppose a - 7 = 5*l, l - 3*l + 5 = -3*a. Let t be -2*((-9)/(-6) - l). Let z(y) = -y**2 - 8*y + 8. Does 6 divide z(t)?
False
Let m = -6 - 43. Let h be 29/(696/(-468))*(-52)/(-6). Let b = m - h. Is 24 a factor of b?
True
Suppose 3*k - 5*l - 2870 = -3*l, 5*k - 4776 = -4*l. Is 11 a factor of 9 + 5/20*k?
False
Let n(b) = -b**3 - 21*b**2 - 93*b - 259. Is 9 a factor of n(-29)?
False
Let u(p) = 20*p - 9*p - 14 - 22*p + p**2. Is u(-4) a multiple of 30?
False
Let o(b) = 14*b**3 - 87*b**2 - 4*b + 2. Is 157 a factor of o(8)?
True
Let i(m) = -19*m + 40. Let r(v) = v**2 + 24*v + 33. Let k be r(-22). Is 35 a factor of i(k)?
False
Let b(k) = 9*k**2 + 71*k - 16. Let f = -563 + 549. Is 26 a factor of b(f)?
True
Suppose c - 66*p - 51077 = -65*p, 0 = 6*p + 30. Does 42 divide c?
True
Let y be -5 + -10*3/(-6). Suppose -17*m + 14*m + 276 = y. Does 6 divide m?
False
Let f = -672 + 677. Suppose -4*l = -f*x + 6258, 11*x + 5*l - 2523 = 9*x. Does 46 divide x?
False
Suppose -2*s + 10*s - 41180 = -2284. Does 41 divide s?
False
Suppose 135*w - 1443 = -v + 131*w, -5*v = 2*w - 7269. Is v a multiple of 10?
False
Let h = -634 + 1012. Suppose -h = 4*b - 2390. Does 15 divide b?
False
Let d(m) = -m**2 + 14*m - 1. Let f be d(5). Suppose -2*i + f = -100. Is i a multiple of 9?
True
Suppose -5*t + 10 = -3*t - 2*u, t - 5 = -3*u. Let o(m) = 3*m - 6*m**2 + 15 + t*m**2 - 5 + 2*m**2. Does 4 divide o(-6)?
True
Suppose 9*d - 55738 = 12*d - 32*d. Is d a multiple of 21?
False
Suppose -10094 = -4*q - 0*q + 3*o, -2*q = 2*o - 5040. Suppose -17*b = -6794 - q. Does 20 divide b?
False
Let q(u) be the second derivative of -1/12*u**4 + 0 + 5/2*u**2 + 9/2*u**3 + 24*u. Is 39 a factor of q(13)?
False
Let x = -92765 + 152669. Does 39 divide x?
True
Let h(u) = u**2 - 9*u + 18. Let f be h(8). Let s(o) = o**2 - 2*o - 5. Is 15 a factor of s(f)?
True
Let i be 4 - (8/12)/((-1)/3). Let v be 15/i*108/30. Is (-2 - -5)/(v/204) a multiple of 17?
True
Let g(x) = -23 - x**3 + 28 + 5*x + 3*x**3 - 4*x**3. Let a be g(-2). Suppose 0*n - n + a = 0. Does 3 divide n?
False
Let s(d) = -37*d + 26. Let m(g) = g**2 - 4*g - 2. Let u be m(2). Let h be s(u). Suppose 0 = -26*f + 22*f + h. Is f a multiple of 10?
False
Let j = 17256 + -11502. Does 42 divide j?
True
Let q(c) = 140*c + 52. Let k(z) = z**3 + 2*z**2 + 6*z + 3. Let t be k(-2). Let x(g) = 35*g + 13. Let v(i) = t*x(i) + 2*q(i). Is 54 a factor of v(-5)?
True
Let g(w) be the third derivative of 11*w**4/6 - 35*w**3/6 - 41*w**2. Is 37 a factor of g(5)?
True
Let a(x) = -18*x**2 + 4*x - 6. Let g be a(2). Let p = g + 115. Is p even?
False
Suppose -10985 = -3*w - 3*v - 68, 4 = -4*v. Does 40 divide w?
True
Let j be 63/((18/72)/(1/(-6))). Let k = 57 + j. Suppose 3*y = 87 - k. Is y a multiple of 12?
True
Suppose 0 = 4*t - 10776 - 47772. Is 17 a factor of t?
True
Let p be 3/(8/((-48)/9)). Is (6/24*1252)/((-1)/p) a multiple of 51?
False
Let q(l) = 3 + 117*l**2 + 69*l**2 - 96*l**2 - 11*l. Does 11 divide q(2)?
True
Does 48 divide (30/50)/(48/407040)?
True
Let x = 275 + -271. Suppose -1054 = -5*v - p, -4*v - x*p - 194 = -5*v. Is v a multiple of 35?
True
Let s(k) = -456*k + 29. Let r(y) = -228*y + 14. Let x(m) = 13*r(m) - 6*s(m). Let a be x(-4). Suppose -4*d = -a - 160. Is 18 a factor of d?
True
Let k(y) = 24*y - 23. Let g(p) = 2. Let l(j) = 4*g(j) - k(j). Is 29 a factor of l(-12)?
True
Let u(r) = r**3 - 16*r**2 - 18*r - 9. Let j(v) = v**2 + v + 1. Let c(m) = 4*j(m) - u(m). Let f be c(21). Let n = 19 + f. Does 15 divide n?
False
Suppose -22*r = -2614 + 2570. Let t(l) be the second derivative of -l**5/20 + 5*l**4/12 - l**3/6 + l**2/2 + 2*l. Does 9 divide t(r)?
False
Suppose 8*p + d - 3 = 9*p, 0 = p + 4*d - 12. Suppose p = -24*n + n + 12075. Is n a multiple of 75?
True
Let l = -4718 - -6644. Suppose -1662 = -13*y + l. Is 54 a factor of y?
False
Suppose -6*p + 26141 = -5*z, 9*z - 5*z - 8708 = -2*p. Is p a multiple of 44?
True
Let k(v) = -5*v**2 + 24*v + 4. Let w be k(4). Suppose 4*h - 2*y - y - 172 = 0, 5*y = -w. Is 4 a factor of h?
True
Let a = -207 - -108. Let u = a - -104. Suppose -u*z + 68 = 2*q - 202, -135 = -q + z. Does 21 divide q?
False
Suppose d + 4*i - 3237 - 5000 = 0, 3*d + 6*i - 24729 = 0. Does 55 divide d?
False
Let k = -2021 + 3245. Does 153 divide k?
True
Suppose 0 = 2*g + 65 + 47. Let m = 12 - g. Is 9 a factor of m?
False
Suppose 2485*q - 2470*q - 561840 = 0. Is 279 a factor of q?
False
Let x(v) = -49*v - 95. Let n be x(-16). Suppose n = 4*c - 427. Does 31 divide c?
True
Let z = -30859 + 102973. Is 202 a factor of z?
True
Let g(v) = -3*v - 4 - 6*v + 6*v. Let z be g(-4). Does 4 divide (z/(-12))/(0 + 4/(-132))?
False
Let g be -10*-2*3/30. Suppose g*k = -5*x - 2*k + 308, -2*k = -x + 56. Let z = x + -32. Is z a multiple of 17?
False
Suppose 297 = 4*t + 1129. Let p be 54/5 - (-12)/60. Let k = p - t. Is 37 a factor of k?
False
Let f(s) be the third derivative of -s**4/4 - 59*s**3/6 + 23*s**2. Let w be f(-14). Suppose -30*b + w*b = -130. Does 13 divide b?
True
Suppose -71*h + 70*h = s - 25868, 103526 = 4*s - 5*h. Does 11 divide s?
False
Is (-11)/(-5) + 3751344/180 a multiple of 60?
False
Suppose -5*r = -3*s - 177, -45 = -6*r + 5*r + 3*s. Is (r/(-11))/(2/(-278)) a multiple of 9?
False
Let s(u) be the first derivative of u**4/4 - 10*u**3/3 + 21*u**2/2 + 12*u - 66. Is s(9) a multiple of 4?
True
Let j = 26926 - 22724. Is 12 a factor of j?
False
Is 46200/51 + 2 - (-162)/1377 a multiple of 53?
False
Suppose 27955 = 35*v - 25053 - 27842. Is v a multiple of 35?
True
Let y(m) = 3*m**2 + 54*m - 192. Does 2 divide y(-26)?
True
Let a = 34135 - 15561. Does 23 divide a?
False
Suppose 5*f = -2*t + 478, 1129 = 8*t - 3*t - 4*f. Suppose 611 + t = 6*w. Does 5 divide w?
True
Let l(u) = 12*u**2 - 325*u - 13. Is l(-6) a multiple of 245?
False
Suppose 72*b - 86*b + 10332 = 0. Is 18 a factor of (-6)/(-5) + -2 + b/10?
False
Let h(t) = 4*t + 82. Let g be h(-26). Is 73/3*(g - -25) a multiple of 8?
False
Let l(n) = -7 - 16*n - 2 + 61*n. Let t(f) = 585*f - 117. Let a(u) = 27*l(u) - 2*t(u). Is 9 a factor of a(4)?
True
Let i(k) = -136*k - 35. Let o(q) = -q**3 + 9*q - 4. Let r be o(3). Is i(r) a multiple of 22?
False
Let v(f) = -884*f + 1. Let j be v(-3). Suppose 0*a + 5*q = -3*a + 1607, j = 5*a + 2*q. Suppose 10*l - a = 1091. Is 9 a factor of l?
True
Let u(n) = 22*n**2 + 83*n - 178. Is u(-26) a multiple of 58?
False
Is 67 a factor of ((-231)/3 - 3)*(-5829)/116?
True
Suppose -5*z = -13*n + 16*n - 1483, 20 = 4*z. Suppose -4*q - 4 = 0, 3*d + 4*q - 14 - n = 0. Does 6 divide d?
True
Let l be (2/4)/(6/72). Suppose 3*x = x - l, 2*x - 1263 = -3*k. Does 9 divide k?
True
Suppose o - 4 = 2*m - 7, -5 = 2*o - 5*m. Let b be o*(-4 + (-3652)/10). Is 16 a factor of (-14)/18 + 1 - b/(-117)?
True
Suppose 1689 + 503 = r. Let h = r - 1130. Is 59 a factor of h?
True
Suppose -2*a = -5*x - 18278, -36*a = -39*a + 4*x + 27438. Is a a multiple of 38?
False
Let f(g)