47 a factor of a?
True
Suppose 101608 = 6*k - 54566. Does 19 divide k?
False
Let g = -2 - 10. Let l(p) = p**3 + 13*p**2 + 13*p + 12. Let k be l(g). Suppose k = 3*n + 2*d - 48, n - d + 1 = 17. Is 14 a factor of n?
False
Suppose 0 = -0*w + 4*w - 12. Suppose -8 = f - 2*h, -w*f - 5*h + 9*h - 16 = 0. Suppose f*b + 160 = 5*b. Does 8 divide b?
True
Suppose -4*z + 35764 = 4*n, -5*z = -5*n + 15591 + 29054. Is n a multiple of 115?
False
Let q be (162/(-4))/(((-1)/(-2))/1). Let w = q + 145. Let r = w - -300. Does 46 divide r?
False
Let i(f) = -3*f**3 - 23*f**2 - f - 73. Is i(-17) a multiple of 14?
True
Suppose -8*k = k + 594. Let j = k + 40. Is 25 a factor of (1 + j)/(6/(-6))?
True
Let g(d) = -d**3 - 20*d**2. Let v(f) = 2*f**3 - 2*f**2 - 2*f. Let b be v(-2). Let t be g(b). Suppose 8*w - 391 - 1017 = t. Is 19 a factor of w?
False
Is 64 a factor of 3/9*(-1 + -128)*-164?
False
Suppose -521 = -5*m + 4*p - 0*p, 417 = 4*m - 3*p. Let t = m - -97. Let f = t - 82. Does 12 divide f?
True
Let j(i) = 4*i - 3*i - 3 + 3. Let d be j(10). Let y(l) = 4*l + 12. Is 8 a factor of y(d)?
False
Suppose -5*i + 1 = -2*r, 7 = -2*r + i + 10. Let z(m) = -41*m - 29. Let d be z(-5). Suppose 82 = r*o - d. Is o a multiple of 19?
False
Let k(a) = -a**3 - 6*a**2 + 14*a + 10. Suppose 2*c + 5 - 7 = 4*r, r = -c - 14. Does 51 divide k(c)?
False
Suppose -28*o = 3*o + 8277. Is -4 - 1 - (o - -1) a multiple of 29?
True
Let h be 3/2*(8 - 8/(-4)). Suppose h*c = 14*c + 9. Let m(l) = 4*l**2 - 15*l + 18. Does 42 divide m(c)?
False
Let q(t) = 3*t**2 + 4*t - 14. Let g be q(-6). Suppose 3*c - 3*w - 18 = 24, 5*c = 2*w + g. Does 2 divide 58/4 - 7/c?
True
Let t(v) be the second derivative of -v**5/20 + 3*v**4/4 - v**3/2 - 2*v**2 - v. Suppose d + 3 - 11 = 0. Is 9 a factor of t(d)?
True
Suppose 31*t + 108*t - 53098 = 0. Is 5 a factor of t?
False
Suppose 0 = -8*z + 2*z - 1464. Let x = z + 575. Is x a multiple of 19?
False
Let c = -13924 - -21268. Does 54 divide c?
True
Suppose -2*s - 3*s = -2*j + 711, -5*j + 15 = 0. Suppose 0 = 5*b - 746 - 259. Let v = b + s. Is v a multiple of 18?
False
Let z be (-6 + 5 + -1)*(-40 + 0). Suppose -108*u = -z*u - 4704. Is 42 a factor of u?
True
Let k(t) = -t**3 + 14*t**2 - 29*t + 44. Let m be k(12). Does 9 divide -1*379*(m - -15)?
False
Let l be 4/(6/(-954)*-2). Let g = l + -265. Does 13 divide g?
False
Let n(a) be the second derivative of a**4/12 + a**3/6 + 27*a**2/2 - 1669*a. Let i = -27 - -18. Is n(i) a multiple of 7?
False
Suppose -2893*w - 15865 = -2898*w. Does 167 divide w?
True
Let g(d) = 2*d**2 + d + 36. Let k be g(15). Let v = -240 + k. Is v a multiple of 29?
True
Is 16 a factor of ((7 - -1024) + 1)*8?
True
Suppose 2709 = 22*z - 12867. Is z a multiple of 13?
False
Does 36 divide (-3940)/3*702/(-130)?
True
Let h(o) = o**3 + 4*o**2 + 5*o - 19. Let x = -69 - -72. Does 2 divide h(x)?
False
Suppose -6 = -2*f - 4*p, 0*f = -2*f - 3*p + 7. Suppose f*m + 24 = -416. Is 11/m - 13/(-8)*197 a multiple of 54?
False
Suppose 0 = 5*x - 993 - 262. Suppose -4*p + 625 = -x. Suppose 2*a + 5*r - p = 0, 2*a = 6*a - 4*r - 424. Is 30 a factor of a?
False
Let j = 21 + -22. Let r be 0 + (-126 - (j + 4)). Let y = r + 201. Is y a multiple of 12?
True
Let c(j) = 131*j + 21543. Does 25 divide c(0)?
False
Suppose -110*u + 375224 = -354383 + 162887. Does 161 divide u?
True
Suppose 0 = -26*r + 46078 + 33326. Is r a multiple of 3?
True
Suppose 25*r = 6*r + 304. Suppose 2*z - 106 = -r. Is z even?
False
Does 9 divide 54/(-225)*(-697075)/15 - 1/5?
False
Suppose -4*b + 5*b - 2934 = -w, 2*b - w = 5886. Is 12 a factor of b?
True
Suppose -4*p + 2*g - 92 = -0*p, -5*p - 5*g - 130 = 0. Suppose -6*t + 2*t = -2*l - 242, -5*t - 3*l = -286. Let z = t + p. Is z a multiple of 4?
False
Let j = -16200 + 32544. Is 24 a factor of j?
True
Let w(y) = -y**2 + 1. Let f(n) = -n**3 + 5*n**2 - 5*n - 12. Let q be -9*1/(-3) - (1 - 4). Let c(k) = q*w(k) + f(k). Does 27 divide c(-3)?
True
Let d be 1/((-3)/(-4)) + (-3820)/(-6). Let c = -414 + d. Is 15 a factor of c?
False
Let v(i) be the second derivative of i**4/6 - 3*i**3/2 - 4*i**2 + 84*i. Does 51 divide v(-14)?
True
Suppose 16*p - y = 17*p - 20, y = p - 24. Is 5 a factor of p?
False
Let i(p) = -2*p**3 - 13*p**2 + 8*p + 12. Let w be i(-7). Suppose -w*o + 0*o + 4*b = 13, b + 8 = -o. Is 6 a factor of 0 + 22 - ((o - 1) + 4)?
True
Suppose -3*q = -0*q - 6. Suppose -7*b + 2*b + 5*w = -30, -q*b = -4*w - 18. Suppose -b*y + 49 = -0*l + l, 2*y = -2. Is 15 a factor of l?
False
Let s(r) = 15*r**2 + 24*r - 493. Is 111 a factor of s(16)?
False
Let r be (2*2/(-4))/((-7)/14). Suppose r*t - 6 = 0, 3*t - 12 - 9 = -2*f. Suppose 0*u = f*u - 204. Does 26 divide u?
False
Let p = 1119 + 2171. Does 35 divide p?
True
Suppose 4*y - 11 = 3*p, -4*p = 2*y - 0*p. Suppose -4*t + 88 = -3*x - x, -t = y*x + 59. Is (-2)/6*x/6*50 a multiple of 13?
False
Let g = 47 - 40. Suppose -3*h = -g*h + 8. Suppose 5 = -h*r + 19. Does 2 divide r?
False
Suppose -8*g = 24465 + 29575. Is 3*(g/(-15))/7 a multiple of 7?
False
Let x be 18 + 1/(-3)*12*1. Let p be 34/(-119) - (-1160)/x*-2. Let l = -71 - p. Is l a multiple of 20?
False
Suppose 3*r + 0*c + c - 39 = 0, 5*c - 27 = -r. Suppose -r*v - 156 = -14*v. Suppose -2*j + v = -42. Is j a multiple of 5?
True
Suppose -5*b = 5*y - 23555, 3*y + 38*b = 33*b + 14137. Is 18 a factor of y?
False
Let w be (-6)/16 + 3/96*204. Is 33 a factor of 14076/85 - w/10?
True
Let f(o) = o - 1. Let t be f(-1). Let u be 4*(t/(-8) - (-2196)/24). Suppose 0 = 2*p - 4, 3*v = 4*p + u. Is 9 a factor of v?
False
Suppose 2*w - 9*w + 161 = 0. Suppose -2 = 7*t - w. Suppose -t*s - 2*s - 5*o + 85 = 0, s - 23 = o. Is 5 a factor of s?
True
Suppose 8*q + 4 = 6*q, 0 = 2*u - q. Is (9/(-20)*-8)/(u/(-20)) even?
True
Suppose 48875 = 16*a + 69*a. Is a a multiple of 7?
False
Let m(c) = -c**2 + 24*c - 47. Suppose -6*i + 25 = o - 11*i, i + 14 = 2*o. Is m(o) a multiple of 6?
True
Suppose -13012 = -6*j + 5957 + 111. Does 20 divide j?
True
Let t = 327 - -769. Suppose -t = -5*z + 744. Is 7 a factor of z?
False
Suppose -11*x - 2844 + 37592 = -12838. Is x a multiple of 6?
True
Let h be (-39)/65 - 54/(-15). Suppose 0 = -4*b + 3*y + 820, -b + h*y - 8*y = -205. Does 15 divide b?
False
Let b(g) = -67*g + 75. Is b(-15) a multiple of 18?
True
Suppose -11088 = -641*m + 633*m. Let b = m + -478. Is b a multiple of 88?
False
Suppose -6 = -2*x - s, 11 - 3 = -2*s. Suppose 3*d + h - 111 = 0, 3*d - 4*d + 51 = x*h. Does 23 divide (-8)/d + (-832)/(-18)?
True
Suppose -351876 + 1598853 = 217*r - 858140. Is 25 a factor of r?
False
Let t = -32 + 53. Let o = t + -21. Suppose o*l - 2*l + 4*n = -88, -6 = 3*n. Is l a multiple of 20?
True
Let h = -277 - -233. Let i = 155 + h. Is 7 a factor of i?
False
Let g be 0/(-1) - (-3 - -6). Let s be (1 + g/6)/((-2)/(-288)). Let n = -42 + s. Does 14 divide n?
False
Let q = 25 - 217. Let d = q + 370. Let c = 299 - d. Does 16 divide c?
False
Let l(s) = 634*s + 688. Is l(2) a multiple of 4?
True
Let k(a) be the first derivative of -19*a**2/2 - 11*a + 34. Let n be k(-1). Suppose -n = -4*i + 28. Does 2 divide i?
False
Let t = 63 - 91. Let h be 7/(t/1) - 18/(-8). Suppose -3*y = h*y - 350. Does 14 divide y?
True
Let o(q) = -q + 24. Let y = 57 + -32. Let x be o(y). Is 32 a factor of (x/3)/((-1)/207) - 0?
False
Let n(y) = y**3 + 25*y**2 - 12*y - 7. Let t be n(-25). Suppose -10*j + 8*j = 5*q - t, 3*q + 163 = j. Is 11 a factor of j?
True
Let c(x) = -2*x**2 + 7*x + 1. Let g be c(3). Let y be (g/(-6) + -2)*(-15 - 0). Is 10 a factor of y/(-30)*(-174)/8?
False
Let b(j) = 16*j**3 - 2*j**2 + 6*j - 6. Suppose -2*g - 2 = 4*l - 7*g, 2*g = -5*l + 14. Is b(l) a multiple of 3?
True
Suppose 473 = 4*z + r, z + 4*r + 55 = 162. Suppose 5*u - z = -2*u. Suppose -19*m + 72 = -u*m. Does 18 divide m?
True
Is 1700/(-6)*(-10 + 146/10)*-12 a multiple of 68?
True
Suppose 3*g - 35 = -23. Is 173 - (g - 4 - -5) a multiple of 42?
True
Let p(q) = 69*q - 73*q - q**3 - 5 - 4*q**2 - 2. Let r be p(-4). Does 28 divide (-3)/r - 253/(-3)?
True
Let a(x) = -x**2 + 9*x. Let u be a(9). Suppose u*g = -5*g + 30. Suppose 2*m - 6 - g = 0. Is m a multiple of 6?
True
Suppose 15*w - 29*w = 1246. Let j = w + 173. Is 7 a factor of j?
True
Let c(j) = -254*j**3 - j**2 - 2*j - 2. Let q be c(-1). Let r = q - 92. Does 32 divide r?
False
Suppose 4*u = -0*u - w - 55, 2*w = 4*u + 70. Is 