ultiple of 10?
True
Let u(a) be the second derivative of 16*a**3/3 - a**2 + 5*a. Is 6 a factor of u(1)?
True
Is 59504/208 + (-1)/13 a multiple of 8?
False
Suppose 0*s = -5*s + 15. Suppose s*k + 84 = -0*k. Let c = -12 - k. Is 6 a factor of c?
False
Suppose 4*a - 4*t = 444, -t + 557 = 5*a + 8. Is a a multiple of 51?
False
Let w be (1/((-15)/6))/(2/(-30)). Let v be (40/6)/((-2)/(-21)). Suppose -w*x + v = x. Is 5 a factor of x?
True
Let k = 3 - 0. Suppose -2*j - j = 2*c - 66, -j - k*c = -29. Does 8 divide j?
False
Suppose 0 = -u + 157 - 19. Suppose u = d + 117. Does 21 divide d?
True
Is 8 a factor of (-2244)/(-10) - (6/5)/3?
True
Is 10 a factor of 3/(-2)*40/(-10)*210?
True
Suppose -c + 0*c - 8 = 0. Suppose 18*w - 22*w + 88 = 0. Is w + (-2)/c*0 a multiple of 11?
True
Let f(x) = -x - 3. Let h be f(-7). Suppose 0 = 8*i - h*i - 12. Suppose -a + 20 = i*a. Is a a multiple of 5?
True
Suppose -26 = 3*u - 233. Suppose 0*x = 2*x + 2*p - 126, x = 2*p + u. Is 12 a factor of x?
False
Let o(v) = 4 + v**2 + 0 - 3 - 6*v. Let c be o(-6). Suppose 5*n - 45 = 3*w, -8*w + c = 4*n - 3*w. Does 6 divide n?
True
Suppose 5*j = -2*a + 39 + 1, 16 = 2*j - 5*a. Let g(i) = 5 - i + 12*i**3 - j + 3 + 2*i**2. Is g(1) a multiple of 6?
False
Suppose 5*z - 3*z + 94 = 0. Let m = z + 114. Is 47 a factor of m?
False
Let c = -326 + 886. Is c a multiple of 40?
True
Suppose -p = -0*p - 1679. Does 73 divide p?
True
Suppose -20*a + 21*a - 272 = 0. Suppose 2*n = g - a, -g + n + 22 = -247. Is g a multiple of 14?
True
Suppose 2*l - 5*a + 16 = -l, 0 = -3*a - 12. Let t = l - -52. Does 20 divide t?
True
Suppose 2*s = 2*d + 2*d, s = d. Suppose -3*h = -3*v - 198, s = 3*v + 3 - 0. Does 13 divide h?
True
Let z(p) = -p - 2. Let t be 1/((-15)/(-9) + -2). Let s be z(t). Let d(m) = 25*m**3 - 2*m + 1. Does 13 divide d(s)?
False
Suppose -5*w + 4*v + 35 - 4 = 0, -3*v = 12. Suppose 5*n - l + 103 = 3*l, -3*n + w*l - 60 = 0. Is 8/(3 - -1) - n a multiple of 21?
False
Let u be ((-4)/14)/((-1)/14). Suppose -2*v = -u*v. Suppose i - 3*i + 28 = v. Does 7 divide i?
True
Let w(u) = u**3 - 6*u**2 + 3*u - 6. Suppose 25 = -5*s, 0 = -0*d + 5*d - 3*s - 45. Does 2 divide w(d)?
True
Suppose -4*v + 1136 = 4*s, -9*s + 5*v + 260 = -8*s. Does 28 divide s?
True
Let p = 108 - 104. Does 12 divide ((-30)/p)/((-3)/28)?
False
Let l(q) = q + 1. Let g be l(-8). Let s = -4 - g. Suppose d = -s*d + 80. Is d a multiple of 7?
False
Let p(t) be the third derivative of t**7/2520 + t**6/720 - t**5/30 - 5*t**4/24 - t**2. Let l(n) be the second derivative of p(n). Does 27 divide l(6)?
False
Suppose 55 = 4*u + 3*o - 232, -69 = -u + 2*o. Suppose -u*n - 111 = -74*n. Is n a multiple of 6?
False
Suppose 2*h = -i - 21, -2*i + 5*i + 3*h + 72 = 0. Let f be 40/(-24)*(i + 0). Suppose -f = -16*d + 11*d. Is d a multiple of 6?
False
Suppose 4*x + 16 = 44. Let s = 38 - x. Is s a multiple of 26?
False
Let m(i) = i**3 - 16*i**2 + 8. Suppose -5*y - 3 = -23. Suppose 43 = -y*b + 107. Is 8 a factor of m(b)?
True
Suppose -4*u = 12 + 8. Is 13 a factor of u/20 - (1263/(-12) - -1)?
True
Let s = 7 - 16. Let k = 100 - 61. Let h = s + k. Is 8 a factor of h?
False
Suppose -2*m + 75 = -167. Suppose -5*p - m = -4*z + 33, 32 = z + 2*p. Is 22 a factor of z?
False
Suppose 5*f + 19 = 4. Let a = f - -7. Suppose 5*j - 146 = 3*w + 128, a*j + 4*w - 232 = 0. Is 14 a factor of j?
True
Suppose 3*z = 680 + 6712. Is z a multiple of 16?
True
Let q = -170 + 1913. Is 7 a factor of q?
True
Let b(o) = o**2 - 2 + 72*o - 67*o + o**2. Is b(-6) a multiple of 20?
True
Suppose 5*w = -4*s + 11323, 0*w + 9048 = 4*w - 2*s. Is w a multiple of 8?
False
Is 9 a factor of 1 + -1 - -2*(-9)/(-2)?
True
Let p(d) = 15*d - 8. Let k be p(2). Is -5 + (2 + 0)*k a multiple of 6?
False
Let f(j) = j**3 + 5*j**2 - 3*j + 4. Suppose 0 = u + 3*u + 12, 2*u = -2*o - 16. Let v be f(o). Let z = v + 5. Is 8 a factor of z?
True
Suppose 0 = 4*w - f - 260, -4*w + 322 = w - 2*f. Suppose -4*o - 18 = -4*u + 42, -2*o = 4*u - w. Let z = u - 10. Is 6 a factor of z?
True
Suppose 0 = 3*l + 2*l + 10. Let c be (l/(-5))/(7/735). Suppose 5 = o, -3*q + c + 33 = -3*o. Is 10 a factor of q?
True
Suppose j - 2*d = 3*j + 6, -4*j - 2 = 2*d. Suppose 0*r + 5*r = 4*s + 75, -5*r - j*s + 75 = 0. Is r a multiple of 5?
True
Let k(x) = x + 0*x**3 + 5*x**3 - 2*x**3 - 2*x**2 - 4*x**3 - 1. Let m be k(-3). Suppose 0 = 2*f - 0*a - 3*a - 24, -m*a = 4*f - 4. Does 3 divide f?
True
Suppose -5*c = 3*h - 205, 41 = c - 3*h + h. Is (c - 2) + 20/(-4) + 2 a multiple of 19?
False
Suppose 13*q + 488 - 2789 = 0. Suppose -j - 3*d + q = 0, -2*j - 105 = -d - 459. Is 20 a factor of j?
False
Let a(w) = w**3 + 25*w**2 + 4*w - 150. Is 51 a factor of a(-23)?
True
Suppose 0*n + 5*w = 3*n + 50, -6 = 3*w. Let o be (-24)/n*40/12. Suppose 165 = o*u + 5*l, 4*u - 5*l + 25 = 180. Is 8 a factor of u?
True
Suppose -29*s + 69*s - 29280 = 0. Is 13 a factor of s?
False
Let k(s) = -11*s**3 + 8 - 3 + 9 + 8*s**2 + 12*s**3 - 3*s. Is k(-6) a multiple of 12?
False
Suppose -2*b - 22 = -3*k, -5*k + 2*k = 4*b + 8. Suppose -109 = -3*l - 4*u, -1 = -5*u + k. Let v = l + -17. Is v a multiple of 12?
False
Suppose f + 5*f - 2046 = 0. Suppose k - 218 = -2*m, f = 3*m + k + 4*k. Let c = -47 + m. Is c a multiple of 30?
True
Let n(o) = -29*o - 33. Is n(-7) a multiple of 30?
False
Suppose 40*o = 44*o - 28. Suppose 0 = o*s + 3*s - 260. Is 13 a factor of s?
True
Is 5 a factor of (-1 + 0 - 2)*(-87)/9?
False
Suppose -16 = 2*s - 6*s. Suppose -108 = -2*n - s. Does 19 divide n?
False
Let z(h) = 2*h**3 - 4*h**3 + h**2 - h - 1 - 4*h**3. Let b be z(-1). Suppose 2*l - b*l = -270. Is 14 a factor of l?
False
Let t(l) = -l**3 + 9*l**2 - 8*l + 3. Let n be t(8). Suppose 4*y = -n*w + 146, 3*y - 2*y = 4*w - 201. Let r = w + -35. Is 11 a factor of r?
False
Let h(v) = 6*v + 3. Let c(l) = -l - 4. Let x be c(-6). Suppose g = 5*g + x*w - 44, 28 = 3*g - w. Is 21 a factor of h(g)?
True
Let g(w) = -7*w**3 + 2*w**2 - 5. Is g(-2) a multiple of 13?
False
Let f(h) = 2*h**3 - 2*h**2 + 4*h + 4. Suppose 86*i = 85*i + 4. Is 11 a factor of f(i)?
False
Let x(k) = k**2 + 11*k - 83. Is 37 a factor of x(-24)?
False
Let o = 90 + -59. Suppose -2*a - o = -3*a. Suppose 0 = 4*g - 167 + a. Is 8 a factor of g?
False
Let g = 7 + 4. Let o = g - -10. Suppose -5*f + o = -4*f. Does 6 divide f?
False
Let o(y) = y**2 + 10*y + 16. Let m be o(-8). Let c(z) = z + z**2 + m*z + 10 - 3*z. Is 15 a factor of c(7)?
True
Suppose 4*x - 9 = 15. Suppose 2*j + 13 = -a + j, 5*a = 2*j - 44. Does 20 divide x/(-2) + (-750)/a?
False
Let m be -1 - (26 - (-1 + 1)). Let j be 3 - m/(4 - 1). Let p = -3 + j. Is 9 a factor of p?
True
Let y = 2118 + -838. Is y a multiple of 20?
True
Is (2/(-4))/(15/(-106560)) a multiple of 111?
True
Let w(g) = g**3 - 4*g**2 - 7*g + 6. Let c be w(5). Let k = -22 - c. Is 26/(-4)*k/3 a multiple of 29?
False
Let v be (-25)/(-6) - (-4)/(-24). Let a(w) = 2*w**2 - 4*w + 2. Let b be a(v). Is 26 a factor of 244/6 - b/27?
False
Let b(a) = 0*a + 29 - 20 - a. Let h be b(4). Suppose 4*r - 128 = -k, k = -h*r + 188 - 27. Is r a multiple of 19?
False
Let l be 2/(-4)*(1 - 13). Suppose -5*t - 5*p + 115 = 0, p - 101 = -4*t + l. Suppose -5*g - 40 = -5*s + 4*s, -s = g - t. Does 15 divide s?
True
Suppose -3*s - 4*o + 16008 = 0, -2*s - 3346 = o - 14023. Is 41 a factor of s?
False
Suppose 5*a - x - 140 = -0*x, -120 = -5*a - 3*x. Suppose -k - a = -163. Is k a multiple of 22?
False
Let r(w) = w + 8. Let j be r(-4). Suppose 5*o - 2 = -0*z - 3*z, -2*z + j*o = -16. Suppose -z*t = -35 - 37. Does 18 divide t?
True
Suppose 3*l - 9 = -3*p, 7*l - 5*l = 0. Suppose -3*t = -0*t - 4*r - 168, -5*r - 171 = -p*t. Does 14 divide t?
False
Let t be 16/(-8) + 3*2. Suppose 4*m + y = 201, -60 - 94 = -3*m - t*y. Is m a multiple of 25?
True
Suppose -3*q = -5*y + 98, -y + 22 = 3*q + 6. Does 16 divide 1/3*(y - -29)?
True
Let l = -579 + 746. Is l a multiple of 3?
False
Let p(o) = -43*o**2 - 4*o - 3. Let n be p(-2). Let m = 250 + n. Does 14 divide m?
False
Let h(y) = -y**3 - 7*y**2 - 5*y - 22. Let t = -5 - 2. Does 13 divide h(t)?
True
Let v be (-8)/12 + (-4)/((-36)/303). Let x = 19 + v. Is 35 a factor of x?
False
Let z(c) = c**3 + 6*c**2 + 2*c + 5. Let g be z(-6). Let f = -5 - g. Is (7 + -39)*(-1)/f a multiple of 16?
True
Suppose -5*g = a + 12, 4*g - 2*g + 2*a = 0. Let n be 4/g + 200/24. Suppose n*m = 2*m + 9