 factor of d?
True
Suppose 0 = 4*p + v - 10941, 0 = 4*p - 3*p + 3*v - 2749. Is 21 a factor of p/10 + (192/40)/(-12)?
True
Let z(j) be the third derivative of -7/24*j**4 + 1/5*j**5 + 8/3*j**3 - 1/120*j**6 + 0 + 0*j + 15*j**2. Is z(11) a multiple of 15?
True
Suppose -96*z - 36 = -90*z. Is 17 a factor of (-3506)/(-14) + (z/7)/2?
False
Let z(p) = -p**3 + 11*p**2 + 10*p + 18. Let b be z(12). Does 34 divide 255*b*4/(-18)?
True
Suppose -7*m + 8*m + 7 = 0. Let u(j) = -j**2 - 9*j - 9. Let r be u(m). Suppose 3*v + 4*o - 32 = r*o, -52 = -5*v + 2*o. Does 12 divide v?
True
Let f(u) = u**3 + 9*u**2 + 17*u + 1. Let r be f(-8). Let a = 115 + r. Is 22 a factor of a?
True
Suppose -15103 = -21*y + 50165. Does 9 divide y?
False
Suppose 41*g - 157332 = 13*g. Does 23 divide g?
False
Suppose 4*u - 23 = 2*u - 3*i, 2*u - i = 19. Is (-53)/(-2)*(-8 + u) a multiple of 4?
False
Let k = 15 + -5. Let i be (-1 + 1)/(-12 + k). Suppose 3*p - 13*p + 1700 = i. Does 36 divide p?
False
Let l(b) = -218*b + 109*b + 10 + 105*b. Let k be l(2). Suppose -a - 926 = -6*a - k*q, -q = a - 184. Is a a multiple of 31?
True
Suppose -732 = 3*q + z, 4*z = -4*q - 433 - 543. Let o(i) = 101*i - 7. Let v be o(5). Let u = q + v. Does 14 divide u?
False
Suppose 0 = 213*x - 152*x - 688385. Is x a multiple of 86?
False
Suppose 7*z = 9*z - 5*w - 29, -4*z + 73 = 5*w. Suppose -594 = -z*t + 14*t + 2*p, -p - 395 = -2*t. Is 49 a factor of t?
True
Let a = -3723 - -4137. Is a a multiple of 4?
False
Is 24 a factor of (-8884 - (-8 - -4))*4/70*-7?
True
Suppose 0 = 4*v - 3*m - 68, -12 = -4*m + 4. Is 42 a factor of 11745/v + (-12)/(-16)?
True
Suppose -119*a - 4*p - 9912 = -121*a, 24832 = 5*a + 3*p. Is 73 a factor of a?
True
Let l(n) = 1958*n - 1447. Is 20 a factor of l(4)?
False
Let t = -109 - -237. Suppose 3*m + 5*d = 121, 9*m - 2*d = 6*m + t. Is m a multiple of 21?
True
Let k be (-56)/5 + 12 + 4/(-5). Let x(w) = 0*w + 42 - 3*w + 0*w + w**2. Is 4 a factor of x(k)?
False
Let t(g) = -g**3 + 11*g**2 - 17*g + 11. Let m be t(8). Let n be -1 - ((-3)/7 - (-154)/(-98)). Is 39 a factor of m - n/(-2)*4?
False
Suppose 4*h = 3*i + 23115, 5791 = 22*h - 21*h + i. Is 8 a factor of h?
True
Let z = 6738 + -519. Does 37 divide z?
False
Let m be -2 - -4 - -1 - 10 - 0. Let o(y) = -y**3 + y**2 + 2*y + 13. Does 18 divide o(m)?
False
Let o be -4 + -2 + 3 - (-23 + 138). Let m = o - -202. Is m a multiple of 9?
False
Suppose g - 4*a - 51944 = 0, 60*a - 65*a = 3*g - 155900. Does 106 divide g?
False
Is (153/18 - 10)*-2550 a multiple of 75?
True
Let w(m) = -7*m + 35. Let g(t) = 4*t - 18. Let l be (-2)/9 + (415/45 - -2). Let u(h) = l*g(h) + 6*w(h). Is u(6) a multiple of 12?
True
Let u = -4663 - -38745. Does 99 divide u?
False
Suppose 3*f - 1188 = 9*r, -f - 46*r + 42*r + 424 = 0. Is f a multiple of 17?
True
Let b(x) = 1147*x + 4. Let i be b(1). Let u be 1/4 + -1*i/(-4). Is 35 a factor of (u/16)/(4/26)?
False
Suppose 2*r - 42 + 124 = 0. Let s = r - -44. Suppose s*q = -3*g + 192, 72 = 5*q + 4*g - 250. Is 22 a factor of q?
True
Let a(r) = 2*r**3 - 2*r**2 - 5*r + 7. Let t = -24 - -21. Let b be a(t). Let d = 30 - b. Does 7 divide d?
False
Let l(q) = q**3 - 6*q**2 + 4*q + 7. Let a be l(5). Let j be (8/(-2))/4 + 1 + a. Suppose 4*h + 4*k = 208, 0*k = -4*h - j*k + 216. Is h a multiple of 14?
True
Suppose 0 = -146*h - 80*h - 35*h + 2485242. Is h a multiple of 23?
True
Let o(d) = 663*d**2 - 8*d - 64. Is o(-5) a multiple of 25?
False
Let i(n) = -314*n + 3881. Does 20 divide i(-34)?
False
Let r(n) = -n**3 + 23*n**2 + 31*n + 52. Let u be r(24). Suppose 17*d = 19*d - u. Is d a multiple of 22?
True
Let s be 1 + 2288 - (-24 - -27). Suppose 2*h - 4*w + 606 = s, 0 = h - 5*w - 846. Does 22 divide h?
True
Let j(u) = 31*u + 282. Let b be j(-9). Let a = 4 - 2. Suppose s - 136 = -m, -s = a*m - b*m - 130. Does 33 divide s?
False
Let c = 12266 + -7604. Is c a multiple of 14?
True
Suppose -n + 2*m = 188, -m - 968 = 5*n + 3*m. Let c = n + 266. Does 37 divide c?
True
Suppose 0 = -2*r + 1 + 135. Suppose -100 - r = -3*f. Suppose -105 = -7*c + f. Is c a multiple of 23?
True
Let z(c) = c**2 - 11*c - 5. Let n(j) = j**3 - 2*j**2 + 24*j + 12. Let u(r) = 2*n(r) + 5*z(r). Let t = -4 + 8. Is u(t) a multiple of 12?
False
Suppose -197813 + 25813 = -250*x. Is x a multiple of 16?
True
Suppose 32 = -3*l + 20. Is 5*((-8939)/(-35))/(l + 5) a multiple of 16?
False
Let v(h) = 2*h**2 + 10*h - 12. Let l be v(-6). Suppose -4*y = -l*y - 1092. Is y a multiple of 21?
True
Suppose 0 = p + 41 + 18. Suppose -61*g = -8771 - 5137. Let q = g + p. Is 24 a factor of q?
False
Suppose -4*z = 5*v + 4, 28*v = 24*v - 4*z - 4. Let t(d) = 81*d**2 + 2*d + 1. Let y be t(-1). Suppose v = 10*f - 14*f + y. Is 10 a factor of f?
True
Suppose 0 = 5*h - 6*l - 20579, 2*h - l = 4*h - 8218. Is 110 a factor of h?
False
Suppose 307 = 4*s - 2*a + 113, -5*a + 229 = 4*s. Let l = s - -31. Suppose 0*r + r = l. Is 16 a factor of r?
False
Let v = -623 + 99. Let d = -263 - v. Does 9 divide d?
True
Suppose 246*r - 6083 = 235*r. Suppose -5*i + r = -7*c, -2*i = 4*c - 145 - 49. Does 4 divide i?
False
Let x be -4 - ((5 - 4 - 0) + -7). Suppose -380 = -x*a + 2*u, 0 = -a + 3*a - 5*u - 380. Is 32 a factor of a?
False
Is (-8 - -685) + 15 + -25 a multiple of 8?
False
Let j = 156 + -158. Does 23 divide 2/12*j - 2820/(-9)?
False
Suppose 0*d + 11781 = 63*d. Is 3 a factor of d?
False
Let u(l) be the third derivative of l**7/252 + l**6/36 + 3*l**5/20 - 14*l**2. Let v(n) be the third derivative of u(n). Is 30 a factor of v(5)?
True
Let p be 5 + -3 + -2 + -204. Let w = 771 - p. Is 13 a factor of w?
True
Suppose v - 20*v = -286634. Suppose -7*l = 12*l - v. Is l a multiple of 19?
False
Suppose 0 = 5*w - 0*w + 5, 4*w + 16 = 4*r. Is 197 + (r - (-15)/(-3)) a multiple of 5?
True
Suppose 2*t + 4*r = 132, 5*t - 337 = -r - 2*r. Let w = 122 - t. Does 6 divide w?
True
Let o = 29566 + -16718. Is o a multiple of 44?
True
Let x(q) = -17*q - 121. Let y be x(-7). Let o(d) = -43*d**3 - d**2 - 5*d - 3. Does 10 divide o(y)?
False
Suppose 0 = 3*f, -5*r - 7*f - 3014 = -21714. Is 11 a factor of r?
True
Let t = 49 - 45. Suppose -2*z - t*f - 23 = 11, -5*f = -5*z - 25. Is 31 a factor of 1479/z*-1 + 6/9?
False
Suppose 12461 = 33*p - 21001. Is p a multiple of 26?
True
Let m(r) be the third derivative of -r**5/60 + r**4/12 + 49*r**3 - r**2 + 3. Is 21 a factor of m(0)?
True
Let b(g) = g**3 - 19*g**2 - 10*g + 60. Let r be b(20). Let l = r + -44. Is l a multiple of 11?
False
Let c = -66 - 420. Is (102/(-12) - -8)/(1/c) a multiple of 9?
True
Is 76 a factor of 14127 - ((-18)/12)/(1/6)?
True
Suppose -3*x + 15 + 18 = 0. Let c be 662/x - (-4)/(-22). Suppose -42*w + 45*w - c = 0. Is w a multiple of 6?
False
Let q be ((-177)/(-6))/(1/2). Suppose -3*u - 9*j = -8*j - 1262, 4*u - 1689 = 5*j. Suppose 8*x - q = u. Is 10 a factor of x?
True
Let a(m) = 1361*m + 175. Is a(2) a multiple of 12?
False
Suppose -6449 = 3*m - 19889. Does 14 divide 18/(-7)*(m/6)/(-10)?
False
Suppose 7*c + 392 = 28. Is 6 a factor of (-12)/(50/(-156) - 8/c)?
True
Suppose 7*d - 5381 = -5129. Let a = -24 - -41. Suppose 151 = a*h - d. Does 11 divide h?
True
Let z(t) = 15*t + 15. Let h be z(18). Suppose -7*d + 2*d + c = -310, -4*c = 5*d - h. Suppose -k + d + 7 = 0. Is 34 a factor of k?
True
Suppose 2*y + 3*y = 2*n + 9, n - 3 = 0. Let x(p) = 2*p**2 + 2*p - 4. Does 20 divide x(y)?
True
Let g(l) = -8*l - 14. Let s be g(-7). Suppose 3*i + 55 = 5*w, s = 3*w - 2*i + 8. Does 10 divide (-11)/(-44) + 638/w?
True
Suppose -510*r + 2*d = -515*r + 52002, 0 = -2*r - d + 20799. Is 17 a factor of r?
True
Suppose r - a + 2 = 0, r + 0*r + 5 = -2*a. Does 45 divide (-4 - (r + 0))*(-854 - 1)?
True
Let l = 23235 - -26013. Is 162 a factor of l?
True
Let x = 4640 - -7090. Is 10 a factor of x?
True
Suppose j - 5079 = 2*m + 10372, 5*m = -3*j + 46309. Is j a multiple of 121?
False
Let q be (2/5)/((10 + -6)/160). Is 6 a factor of (-2 + q/6)*432?
True
Let u = -6 + 8. Suppose -17 = u*c - 13. Is c/(-10) + 1716/20 a multiple of 21?
False
Is -2 + ((-2381115)/220)/(9/(-24)) a multiple of 148?
True
Suppose 22 = n + 31. Does 56 divide -6 + n/(36/(-5848))?
True
Let o = -159 + 168. Suppose 0 = -3*x + a + 601, 201 = -o*x + 10*x - a. Is 50 a factor of x?
True
Let c be (-2 + 2189)*11/33. Let n = -533 + c. Is n a multiple of 14?
True
Is 15 a factor of (-8)/(-52) 