 multiple of 13?
False
Let z = 286 - 250. Is z a multiple of 6?
True
Let r(z) = -9*z - 65. Is 5 a factor of r(-10)?
True
Let k = -51 - -43. Let n = k + 73. Is 5 a factor of n?
True
Suppose -84*d + 5*v = -82*d - 1790, 0 = -4*d + 3*v + 3608. Does 16 divide d?
False
Suppose 8*m - 28*m = 700. Let a = 57 + m. Does 12 divide a?
False
Suppose 3*w = 2*l, -5*w + 0*l + l = -7. Suppose 184 = w*i - 0*i. Let n = i + -40. Is 13 a factor of n?
True
Let b be 3417/12 - (114/24 - 5). Let j = b + -81. Is 51 a factor of j?
True
Suppose 57 = -5*r - 28. Let g be r/(-4) - 3/12. Does 23 divide 46/((-4)/(-16)*g)?
True
Let q be 17 - (-4)/12*0. Suppose 31 + q = 2*u. Suppose u = a + 2*a. Does 4 divide a?
True
Suppose -m = -25 + 4. Let w = m - -137. Is w a multiple of 34?
False
Let p = 9 + -7. Suppose 3 = -w - 3*y, y + 3*y = p*w - 14. Suppose -w*h + 7*h - 204 = 0. Is h a multiple of 17?
True
Let f(m) = -m + 5. Let i be f(3). Suppose i + 6 = -4*o. Let y = o + 7. Does 3 divide y?
False
Let t = 210 + -98. Does 14 divide t?
True
Let w = -725 - -915. Is w a multiple of 19?
True
Let b(l) = -437*l**3 + 435*l**3 + 4 + l + 0*l - 6*l**2. Is b(-4) a multiple of 8?
True
Let n(m) = 20*m - 50. Let x be n(20). Suppose -4*u - 26 = 4*k - x, u = 5*k - 405. Is 35 a factor of k?
False
Suppose 24*l = a + 25*l - 316, 2*a + l - 628 = 0. Is 8 a factor of a?
True
Is 17 a factor of 45/((-4)/(-32) + (-10)/(-48))?
False
Let b(y) = y**3 + 4*y**2 - y - 1. Let l be b(-4). Suppose 0 = -l*f - f + 20. Suppose -4*p - m = -37, p - 6 = f*m - 23. Is p a multiple of 3?
False
Let o(v) = -3*v**3 - 2*v**2 - 16*v - 10. Is o(-6) a multiple of 15?
False
Let r be 2 + (2 - 1 - 1). Let h(f) = 26*f**r - 8*f + 3 + 2*f - 24*f**2 + 20. Is 14 a factor of h(7)?
False
Let r = -7 + 7. Let h = r - -3. Suppose -y = -h*v + 1, 2*y - 4*v = 6*y - 44. Is 3 a factor of y?
False
Suppose 0 = 11*z - 23*z + 24. Is (-217)/(-4) + -3*z/24 a multiple of 16?
False
Let m(p) = -p**2 + 15. Let i be m(0). Let u(a) = -a**3 + 2*a**2 - a. Let t be u(1). Suppose -2*n - 1 + i = t. Is n even?
False
Let v(p) = -13*p - 19. Let o be 8/(-10)*(7 + 3). Does 17 divide v(o)?
True
Suppose 9*i + 2217 = 5952. Does 37 divide i?
False
Let j = 7404 - 3732. Does 24 divide j?
True
Suppose 0*t - 15674 = -34*t. Is 14 a factor of t?
False
Does 12 divide ((-28)/(-8))/7 + (-3355)/(-10)?
True
Let v(y) = -596*y - 60. Does 11 divide v(-2)?
False
Let f(i) = -4*i - 59. Is f(-17) even?
False
Suppose -12*c = -15*c. Suppose c = 2*x + 4*f - 74 - 18, -2*f = 6. Does 6 divide x?
False
Let z(r) be the third derivative of -r**6/120 + r**5/20 + r**4/12 - r**3/2 - 14*r**2 + 2*r. Suppose 15 = -8*v + 3*v. Is z(v) a multiple of 8?
False
Let h be 1*2*(-411)/(-6). Let z = -97 + h. Does 8 divide z?
True
Let z(l) = l**2 - 29*l + 306. Is 46 a factor of z(44)?
True
Let b be (-1 + 0)*3732/12. Let n be 3/(-15) - b/5. Suppose -3*v + 148 = -n. Does 14 divide v?
True
Does 51 divide 2/(78/20559) + 6/(-39)?
False
Suppose -2609 = -8*g - 113. Does 18 divide g?
False
Suppose -15 = -5*n, 0 = -3*j - n + 226 + 632. Does 5 divide j?
True
Let y(t) be the third derivative of -t**4/24 - t**3/6 + t**2. Let g(f) = 17*f + 3. Let j(a) = -g(a) - 6*y(a). Does 23 divide j(-6)?
True
Suppose -1243*p = -1239*p - 1864. Is 11 a factor of p?
False
Suppose 0 = -z + 5*t - 6*t + 95, 0 = -4*z + 4*t + 420. Is z a multiple of 3?
False
Let h(w) = -20*w**2 + 4*w - 2. Let k be h(3). Let y = -14 - k. Is y a multiple of 13?
True
Let z(k) = 76*k**2 + 8*k - 11. Is z(3) a multiple of 20?
False
Let v(d) = d**3 + 2*d**2 + 9*d + 1. Let a = 18 - 14. Is v(a) a multiple of 21?
False
Suppose -5 = -5*r + 15. Suppose -5*k - 6 = -1, -r*k + 32 = h. Does 24 divide h?
False
Let j(u) = 20*u**2 + u + 2. Let o be j(-2). Is (o/(-3))/((-8)/24) a multiple of 22?
False
Let x(l) = 5*l + 113. Is x(32) a multiple of 12?
False
Suppose -5*v + 76 = -3*w + 26, 0 = 5*v - 5*w - 60. Is 6 a factor of 94 + v + (1 - 6)?
True
Suppose 360*l - 355*l = 1710. Does 6 divide l?
True
Let m(u) = -u**3 + 5*u**2 + 2*u + 6. Let w be -2 - (-4 + 4) - -7. Does 5 divide m(w)?
False
Suppose -5*v = -2*u + 4*u - 47, 2*v - 65 = -5*u. Suppose u*h = 3*h + 328. Is 10 a factor of h?
False
Suppose 3978 = 6*o + 7*o. Suppose 0 = 10*b - 27*b + o. Is b a multiple of 18?
True
Suppose 0 = -4*a - 2*f + 1508, -855 = 5*a + 2*f - 2739. Does 3 divide a?
False
Let d(g) = -g**3 - 17*g**2 - 3*g - 23. Suppose 8*w - 2*w = -102. Does 28 divide d(w)?
True
Suppose -4*c = -p - 16, -2*p + 7 = 5*c - 0*p. Let r be 5/10 + c/2. Suppose -3*v + r*h + 20 = -v, 3*v + h = 50. Is 3 a factor of v?
True
Suppose a = 5*k + 9, 2*a = -k + a + 3. Is 12 a factor of ((-66)/(-24))/(k/(-28))?
False
Let x(k) = -16*k + 8. Does 61 divide x(-7)?
False
Let l be (-3 + 0 + 2)*-1. Suppose l = 2*n + 3. Is n/(0 - 4/108) a multiple of 9?
True
Suppose 2*y = y + i + 11, -4 = -i. Let n = 14 - y. Let s(o) = -35*o. Is s(n) a multiple of 13?
False
Suppose 1040 = 4*d - 5*b, -2*d + 11*b = 14*b - 520. Is 26 a factor of d?
True
Let o(u) = -u + 2. Let f(y) = y - 1. Let p(v) = -4*f(v) - 3*o(v). Let g be p(-8). Suppose g*w - 3*w = 12. Does 3 divide w?
False
Let s = -9 + 13. Suppose 0 = 3*l + s*c - 44, -5*l + 70 = 8*c - 3*c. Does 4 divide l?
True
Let c(f) = -26*f**3 + 3*f**2 + 3*f. Is 72 a factor of c(-3)?
True
Let a = -13 + 122. Is 15 a factor of a?
False
Let x(f) be the second derivative of -f**5/20 + f**4 + f**3/6 + 25*f. Does 4 divide x(12)?
True
Let x(u) = u**2 + 8*u + 7. Let w be x(-6). Let p = 0 - w. Suppose -4*f + 5*a + 42 = 0, p*f - 34 = -5*a + 2*a. Does 4 divide f?
True
Let g be 8*(0 - 4/(-8)). Let t be (-5 + 1 + g)*1. Suppose 2*f - 3*v - 95 - 7 = t, -4*f + 212 = -4*v. Is 19 a factor of f?
True
Let o = 260 - -28. Is 16 a factor of o?
True
Let c = -43 + 4833. Is c a multiple of 10?
True
Let l(y) be the second derivative of 25*y**4/12 + y**3/3 - y**2 - 29*y. Is l(3) a multiple of 11?
False
Suppose 36 = 3*v + 3. Does 10 divide ((-20)/3)/(3/(2 - v))?
True
Suppose 2*r = 4*r - 48. Let p be 3 - (r/(-3))/2. Suppose -p*z = -12*z + 300. Is z a multiple of 20?
True
Let i = 72 + -161. Let t = i + 165. Suppose 0 = 2*u - t + 30. Is 7 a factor of u?
False
Suppose -5*t = -9 + 14. Is 13 a factor of t + ((-347)/(-5) - 24/(-40))?
False
Let i = -49 - -92. Let a = 2 + i. Is 14 a factor of a?
False
Suppose 0 = -4*p - 26 + 190. Suppose -p = 5*j - 286. Does 20 divide j?
False
Let c(l) = l - 9. Let f be c(10). Suppose -4*q + 313 = f. Is q a multiple of 26?
True
Suppose 6*p - 1 = 35. Suppose p*n - 41 = 5*n. Is n a multiple of 6?
False
Let k(r) = 2*r**2 - 14*r - 12. Let p be k(12). Suppose 88 = -p*q + 109*q. Is q a multiple of 3?
False
Let w(v) = v - 2. Let m be w(6). Let p be m/(-14) + (-64)/(-28). Suppose 2 = p*n - 20. Does 10 divide n?
False
Let f = -73 - -81. Is (-132)/(-2)*2/(f/12) a multiple of 22?
True
Let s(h) = h**3 - 7*h**2 + 2*h - 10. Let g be s(7). Let c = -761 - -765. Is 9 a factor of g + 40 - c - 4?
True
Suppose -5*y - 5 = 0, 5*g = y - 56 + 2007. Is 9 a factor of g?
False
Does 64 divide (-120)/9*((-79)/2 - 1)?
False
Let t(o) = -4*o + 1. Let z = 22 + -19. Suppose z - 1 = -2*y. Does 5 divide t(y)?
True
Suppose -5 + 21 = -4*i, -q = -i. Is 3/((-18)/q) - (-154)/21 even?
True
Let w(f) = 3 - 9*f - 12*f**2 + 2*f + 12*f - f**3 + 8*f. Let r be w(-13). Suppose r*q = -10 + 244. Is 26 a factor of q?
True
Let p = -1565 - -2237. Does 32 divide p?
True
Suppose 851 + 1449 = 5*r. Does 20 divide r?
True
Let w = 55 + -55. Let g be 24/10 - (-6)/(-15). Suppose w = 3*p + 2*o - 89, g*p + 0*o = 5*o + 72. Is 20 a factor of p?
False
Suppose 0 = 7*h + 1568 - 4704. Does 28 divide h?
True
Suppose 0 = -2*o + 1 - 3. Let r(g) = 5*g**2 - g - 2. Let a be r(o). Suppose -3*y + y = -a*u + 94, 0 = -5*u + 3*y + 118. Does 4 divide u?
False
Let g be 1 + -2 - (-24)/(4 + 0). Suppose 0 = -4*i - 4*k - 20, -3*k + 2 - 12 = -2*i. Does 3 divide (-2 - (i - 3)) + g?
False
Let d = -13 + 16. Suppose -d*o + 6*o - 219 = 0. Suppose m = -c + o, 5*m - 121 = 4*c + 289. Is m a multiple of 16?
False
Let t(d) = -392*d + 6. Is t(-2) a multiple of 10?
True
Let v(t) = 9*t**2 - 7*t + 42. Is 49 a factor of v(5)?
False
Let a(d) be the first derivative of -d**7/840 - d**6/45 - d**5/30 + d**4/3 + 8*d**3/3 - 2. Let n(z) be the third derivative of a(z). Is n(-8) a multiple of 20?
True
Suppose v + 4*t = 780, 7*v + t = 3*v + 3105. Does