 a factor of m?
True
Let n = 464 - 332. Is 22 a factor of n?
True
Let j be 36 + -1 + (1 - 5). Let x = j + -20. Is 3 a factor of x?
False
Is 4 - ((-211)/3 + 16/(-24)) a multiple of 4?
False
Let l be (9 - -75)*4/6. Suppose 4*a - 84 = 4*v, -3*v = 5*a - 41 - l. Is 5 a factor of a?
True
Let p be (2/5)/((-3)/180). Let o = 1 - 0. Is p*(o + (-7)/3) a multiple of 8?
True
Let m(p) = -p**3 + p**2 - p - 1. Let y(s) = 294*s**3 - 4*s**2 + 2*s + 7. Let o(c) = 5*m(c) + y(c). Does 17 divide o(1)?
True
Suppose 0 = 2*s + 4*v + 475 - 1215, -2*s + v + 760 = 0. Is 27 a factor of s?
True
Suppose 4*m - 66 = -4*x + 394, 4*x = 5*m - 539. Suppose 4*i - 994 = -274. Let b = i - m. Is 23 a factor of b?
True
Let t(b) = b**3 - b + 12. Let h be t(0). Suppose 21 = 4*u + 3*u. Suppose u*c + h = 66. Does 6 divide c?
True
Suppose -20*c - 21*c = -7421. Is 2 a factor of c?
False
Let p be ((-2)/5 + (-4302)/120)*4. Let r = p + 213. Is 3 a factor of r?
False
Suppose n - 3*d = 6*n - 9, 0 = 4*n - 2*d - 16. Suppose 0*s - n*u = 4*s - 357, -4*u = -2*s + 162. Does 7 divide s?
False
Let t(l) = l**3 - 34*l**2 - 105*l - 30. Is t(37) a multiple of 64?
True
Let d = -78 + 75. Let q = d + 67. Is q a multiple of 4?
True
Let d be (-1 + 2)/((-2)/(-6)). Suppose 4*q - 4*k = 12, -4*q + 11 = -d*k - 0*k. Does 2 divide q?
True
Let x be 1/((-1)/33*3). Let z(c) = -c - 11. Let l be z(x). Suppose -2*v + 5*a = -l*v - 157, 0 = 5*v - 2*a - 403. Is v a multiple of 20?
False
Let v = 612 - -18. Is v a multiple of 10?
True
Let h = 64 - 60. Suppose h*v + 2*v = 210. Does 5 divide v?
True
Suppose 2*j + j = -9, 5*j = 4*s - 747. Suppose 3*k - s = -3*u, -5*u + 3*u - 4*k = -130. Is 30 a factor of u?
False
Let n(a) = a**3 - 17*a**2 + 19*a + 16. Let s(q) = -7*q + 4. Let f be s(4). Let p be ((-4)/3)/(2/f). Does 20 divide n(p)?
False
Suppose -71 = 3*r - 869. Does 14 divide r?
True
Suppose -25 = 8*f - 1505. Is 37 a factor of f?
True
Let t = -2 + 26. Suppose 13*j - 15*j = -t. Is j a multiple of 3?
True
Let r = -67 + 71. Suppose -a - 4*a + 4*h + 189 = 0, -r*a + 153 = -5*h. Does 9 divide a?
False
Let w = 53 - 65. Is (0 + w)/4 + 68 - 1 a multiple of 13?
False
Let s(m) = m**3 - 8*m**2 + 9*m - 2. Let j be s(7). Suppose -q + 17 = -j. Does 6 divide q?
False
Suppose 0*q = -q - 29. Let p = -70 - -131. Let d = p - q. Is d a multiple of 15?
True
Let o(q) = -q**3 + 6*q**2 - 2*q. Let x be o(6). Let k = x + 13. Is k/(1 - 4/5) a multiple of 4?
False
Let u(a) = a**3 + 8*a**2 - 10*a - 5. Let b = 4 + -13. Let p be u(b). Suppose -3*d + 34 = p*g + 2*d, 5*d = -g + 16. Is g a multiple of 3?
True
Is 30 a factor of 475*(-6 - 72/(-10))?
True
Suppose -81*m + 12240 = -69*m. Is m a multiple of 68?
True
Suppose 6 - 1 = -5*t. Let f(a) = -53*a**2 + 2*a + 2. Let s be f(t). Let v = s - -163. Is v a multiple of 15?
False
Suppose -3 - 5 = h. Let n(d) = -3*d + 11. Let t be n(h). Does 10 divide 7/t - 139/(-5)?
False
Suppose -23*m - 426 = -24*m. Is 11 a factor of m?
False
Let i = -20 + 7. Let r = i + 19. Let b(g) = -g**3 + 7*g**2 - 2*g - 9. Is b(r) a multiple of 5?
True
Suppose 5*c + 670 = 2*p, 66*p - c = 62*p + 1358. Does 5 divide p?
True
Let o(k) be the second derivative of 141*k**5/20 - k**4/6 - k**3/3 - k**2/2 + 6*k. Let z be o(-1). Let i = -80 - z. Is i a multiple of 29?
False
Suppose y + 46 = d - 75, 5*y = -3*d + 387. Suppose 3*v = -v + d. Is v a multiple of 12?
False
Suppose 5*o = 289 + 601. Is o a multiple of 39?
False
Suppose 3*z - 218 = 253. Is z a multiple of 9?
False
Let u(c) = 3*c - 34. Let d be u(16). Suppose -18*k = -d*k - 144. Does 9 divide k?
True
Let z = -24 + 134. Let n = z + -7. Does 12 divide n?
False
Let j(y) = 429*y - 6. Let q be ((-88)/(-40))/((-1)/(-5)). Let g(l) = 86*l - 1. Let v(f) = q*g(f) - 2*j(f). Does 26 divide v(1)?
False
Suppose 4*m = -h - h + 2, 3*m + 2*h = 0. Let s = m - -173. Does 25 divide s?
True
Let y(h) = 3*h**3 + h. Let g be y(-1). Is 13 a factor of 76 - 2 - g - -4?
False
Suppose -8*p - 118 + 2838 = 0. Suppose -c + 2*s + p = 4*c, -4*s = 3*c - 230. Does 35 divide c?
True
Does 5 divide (-448)/(-5) - ((-84)/35 - -2)?
True
Let s = 35 + -39. Is 5 a factor of (-1240)/(-32) + 3/s?
False
Is (7 - 6)*(-167)/(-1) a multiple of 18?
False
Let f(o) = 4*o**2 + 34*o - 90. Is f(23) a multiple of 27?
True
Suppose 2*i - 39 = i. Suppose l = 2*l + 3*o - i, -5*l - 2*o = -247. Suppose 3*c = -2*s + l, 0*c + s = 5*c - 98. Is c a multiple of 19?
True
Suppose -4*n + 4*b + 176 = -864, -3*b = 3*n - 774. Let k = -147 + n. Is k a multiple of 14?
True
Let c = -286 - -402. Let o = -44 + c. Is 8 a factor of o?
True
Let g(q) = 2*q**2 + 5*q - 4. Let n be g(-4). Suppose 155 = -3*r + n*r. Does 8 divide r?
False
Suppose -2*o - 517 = -5*k + 167, k + o - 141 = 0. Does 6 divide k?
True
Let t(h) = 216*h + 171. Is 33 a factor of t(7)?
True
Suppose 3 + 0 = s. Suppose -4*a + a - 363 = -s*m, -m + 91 = 5*a. Is 9 a factor of m/10 + 20/50?
False
Let m(h) = -2*h**2 + 4*h - 3. Let g be m(2). Let x(c) = -8*c - 5*c + 0 - 1 - 3. Does 14 divide x(g)?
False
Suppose 2*k = -4*s + 7*k + 4, 0 = -5*s - 4*k + 5. Suppose -s = 2*b - 5*l, 7*l - 50 = -5*b + 2*l. Suppose -5*w + b*w - 88 = 0. Is 22 a factor of w?
True
Let q(y) = -67*y - 128. Is q(-4) a multiple of 14?
True
Suppose 0*r - 2*r = 2, 3*d - 670 = -5*r. Let n = d + -105. Does 40 divide n?
True
Let j(f) = -5*f - 7. Let b be j(-3). Suppose -16*y + b*y + 56 = 0. Does 2 divide y?
False
Let p be 2/(-4)*-1*16. Let b(n) = -n**3 + n**2 - n + 1. Let z be b(3). Does 2 divide 58/p + 5/z?
False
Let w(c) = c**2 - 11*c - 88. Does 31 divide w(-13)?
False
Suppose -2*q + 2*h + 2856 = 0, -4*q + 1847 = -3*h - 3867. Does 26 divide q?
True
Let v(i) be the third derivative of 0*i**5 + 0*i + 0 + 2*i**2 - 1/40*i**6 - 1/6*i**4 - 1/2*i**3. Is 29 a factor of v(-2)?
True
Suppose -6*r - 3*r = -99. Let c = 19 + r. Does 12 divide c?
False
Let m(j) = 5*j + 21. Let x be m(-2). Let o be -5*(-1)/(1 - 2). Let k = o + x. Is k a multiple of 6?
True
Suppose 27*q = 26*q + 3*n + 2637, n = 5*q - 13199. Is q a multiple of 12?
True
Let v be 5 + (3 - 3 - 1). Suppose 3*o - v = 2*o. Suppose o*i + 2*w - w - 125 = 0, 0 = -5*i - 5*w + 145. Is i a multiple of 8?
True
Let a = 9 + -4. Let i(k) = -k + 14. Is i(a) a multiple of 9?
True
Suppose 3*p = -0*p + 24. Is (-12)/p + (-132)/(-8) a multiple of 9?
False
Let z = 3454 - 1781. Does 74 divide z?
False
Let d be (9/(-2) - -3)*(-20)/6. Suppose -3*h = 3*n + n - 375, 0 = d*n + 15. Does 12 divide h?
False
Suppose -2*f + 11 + 21 = 0. Suppose 66 = 2*l + f. Does 6 divide l?
False
Suppose 7*p = -4*p + 44. Suppose 0 = -2*h - 2*t + 44, -p*h + 5*h = t + 30. Is h a multiple of 4?
False
Suppose 76 = 2*g - 3*g. Let t = 90 + g. Is 3 a factor of t?
False
Let g = -282 - -499. Is g a multiple of 7?
True
Is 8198/4 - (-10 - (-276)/24) a multiple of 88?
False
Let y be (-6)/48 - (-130)/16. Suppose -y*f = -13*f + 50. Does 5 divide f?
True
Let k(n) = -n**2 - 10*n - 17. Let t be k(-5). Suppose 0 = 10*h - t*h - 96. Is 24 a factor of h?
True
Let o(i) = -i - 13. Let j be o(-7). Let b(m) = 8*m**2 + 8*m + 7. Does 37 divide b(j)?
False
Let p(t) = -t**3 - 8*t**2 - 7*t + 2. Suppose k + 13 = 6. Let i be p(k). Suppose i*a - 14 = 2*f, 0*a - 5*f - 25 = -3*a. Does 3 divide a?
False
Let y = 30 - 19. Let z = y - 11. Is 11 a factor of (2 + z)*(-66)/(-4)?
True
Suppose -2*s = -2*v + 222, 0 = -5*v + 4*v - s + 115. Does 14 divide v?
False
Suppose -v = 4*p + 3, p = -0*p - 3*v + 13. Is 26 a factor of ((-950)/(-20))/((-1)/p)?
False
Suppose -22 = 5*n + 13. Let a = 29 - n. Is 18 a factor of a?
True
Let m = -187 + 68. Let k = 229 + m. Does 31 divide k?
False
Suppose -5*k - 4*q = q - 90, -8 = 2*q. Suppose -d + 9 = 2*p, -2*d + 6*d + 12 = 0. Suppose p*h + k = 7*h. Is 7 a factor of h?
False
Let a(k) = 32*k - 57. Is a(30) a multiple of 73?
False
Let u(l) = 133*l - 1. Let m be u(1). Let g be ((-15)/2)/(27/(-90)*5). Suppose -m = -g*a + 78. Is 9 a factor of a?
False
Let a(l) = l**3 - l**2 + 5. Let o be a(0). Suppose 2*v + 15 = o*v. Is (-110 + -5)*(-2)/v a multiple of 10?
False
Suppose -3*x + 0*x + 3*t + 6 = 0, 4*t - 20 = -3*x. Suppose x*f + 3*u = 974, -6*u = -3*f - 3*u + 741. Does 49 divide f?
True
Suppose -3758 = 45*u - 26438. Does 14 divide u?
True
Let l(i) = i**3 + 4*i**2 - 4. Let r be l(-3). Suppose 3*c + 466 = 4*y, -c = -r*y - 6*c + 565. Is 23 a factor of y?
True
Suppose 0 = 3*w - 5*w + 80