 + 2)/(r/4). Suppose -51 = p*h + 4*i - 163, 76 = 3*h + i. Is h a multiple of 6?
True
Let u = 316 - 93. Suppose -2*k + u = 3*k + 2*p, 5*k - p - 226 = 0. Is k a multiple of 16?
False
Let o be (-1 - 38/(-3))*3. Suppose -219 = -3*c - 5*n + 72, c - n = 105. Suppose -3*a + o = -2*m + c, 2*a + 98 = 3*m. Is 15 a factor of m?
False
Is 21 a factor of (-9)/(241/(-30) + 8)?
False
Let c = -17 - -165. Let p = -80 + c. Is p a multiple of 13?
False
Let n(w) = -387*w - 329. Does 32 divide n(-3)?
True
Suppose 2*v = -5*u + 389, 5*u + 988 = 5*v + 2*u. Is v a multiple of 15?
False
Suppose 229*f = 217*f + 19380. Is f a multiple of 19?
True
Let v = -1066 - -3784. Does 64 divide v?
False
Let y(f) = -f**3 - 11*f**2 - 27*f + 2. Let o be y(-8). Suppose -3*z = -12, 0 = -2*g - 0*g + 2*z + 58. Let s = o + g. Is 19 a factor of s?
False
Let a(h) = h**3 - 10*h**2 - 10*h - 7. Let z be a(11). Let q be 0*3/6*1. Suppose 0 = -4*b + z, q = -2*p - b + 15 + 2. Is 8 a factor of p?
True
Let n(j) = 65*j**2 + 136*j - 7. Does 53 divide n(-7)?
True
Let y(n) = 27*n**3 + 2*n - 4. Does 52 divide y(3)?
False
Let x(u) = u**3 + 6*u**2 + 4*u - 6. Let a be x(-6). Let k be 36/a*60/(-9). Let f(t) = 6*t. Does 10 divide f(k)?
False
Let d = -183 + 293. Is d a multiple of 8?
False
Let n(p) = -3*p**2 - 9*p - 3. Let k be n(-6). Suppose 6*o = -4*o + 1470. Let f = k + o. Does 30 divide f?
True
Let m(v) = 2*v**2 - 3. Let l(u) = 4*u. Let q be l(1). Suppose 3*i = q*i - 3. Does 5 divide m(i)?
True
Let s(g) be the first derivative of g**3/3 - 4*g**2 + 2*g - 5. Let i be s(8). Suppose -4*t + 198 = i*t. Is t a multiple of 11?
True
Let h = 139 + -114. Suppose 91 - h = 2*r - 5*i, 4*i = -5*r + 231. Is 3 a factor of r?
False
Let n(t) = 2*t + 2. Let f be n(1). Let q = -2 + f. Is 25 a factor of ((-3)/9)/(q/(-402))?
False
Let j be (4/5)/(2/5). Suppose 9*g = -3*g. Suppose 5*d - 52 = -p, g = p + d + j*d - 48. Is 21 a factor of p?
True
Let j = 2653 - 851. Is 53 a factor of j?
True
Suppose 3*g - 4*g + 2 = 0. Suppose 2*n = w + 15, -g*w - 15 = -4*n - 3*w. Let z(i) = i**3 - 3*i**2 - 7*i + 5. Is z(n) a multiple of 5?
True
Let d be 150 - (70/(-21) - (-1)/3). Suppose -3*v = 5*r - 174, -5*r + 2*v + d = -2*v. Is r a multiple of 9?
False
Let h be ((-65)/(-52))/(1/(-4)). Let u be (-20)/50*h*101. Suppose -4*c + u = -54. Does 14 divide c?
False
Suppose 5*s - 12 = -4*t + 2*s, t - 3 = 3*s. Let x be -1 + -4*t/(-12). Suppose 4*m - 595 + 51 = x. Is m a multiple of 34?
True
Let m(x) = x**3 + 6*x**2 + 3. Let o be m(-6). Suppose 5 = 2*q + 5*w + o, -2*w = -8. Does 15 divide (q/(-12))/((-1)/(-60))?
True
Is 9 a factor of 2/4*178 - (-1)/(-1)?
False
Let a(m) = m + 7. Let u be a(11). Is 4 a factor of 4/u + (-856)/(-36)?
True
Is 32 a factor of 1 + (220 - 6/(-2))?
True
Let i = -45 + 77. Suppose 0*c - 2*c + i = -4*w, 3*w + 79 = 4*c. Is c a multiple of 11?
True
Suppose 3*f = -j + 1182, -6*f = -f - 3*j - 1956. Is f a multiple of 15?
False
Suppose 2*o + 206 = 4*b, 26*o - 158 = -3*b + 31*o. Is b a multiple of 2?
False
Suppose s = -f - 2 + 8, -4*s = 3*f - 20. Is 2 a factor of (54 - 20/f) + (-3 - 1)?
False
Let j(u) = u**2 - 40*u + 49. Is 35 a factor of j(-16)?
True
Suppose -3*g + 1140 = -5*x, -3*g = 4*x - 0*g + 912. Is 19 a factor of x*(-1 - (-2)/3)?
True
Does 22 divide (0 + 2034/8)/(33/88)?
False
Let g(l) = -l**2 - 2*l + 4. Let q be g(-4). Suppose 4*x - 6*x = 3198. Is 11 a factor of x/26*q/6?
False
Let y(j) = 20*j**2 + 4*j + 8. Let p be y(-2). Let a = 8 + -5. Suppose -a*f + p = f. Is f a multiple of 10?
True
Let r be 12/4 + 1 + 1. Suppose 0 = -4*f + 6 + 2. Suppose 5 + r = f*a. Is a a multiple of 5?
True
Let z(n) = -n**3 - 14*n**2 - 11*n + 29. Let m be z(-13). Is ((-164)/(12/m))/((-2)/16) a multiple of 41?
True
Let m = -26 - -14. Is 14 a factor of ((-280)/m)/((-1)/(-3))?
True
Suppose -3*k - 235 = 2*k + 4*d, 235 = -5*k - d. Let y = k - -97. Does 9 divide y?
False
Suppose 4*m = 7*m - 387. Let g = 207 - m. Is 11 a factor of g?
False
Suppose -10 = -2*n + 3*y, 5*n + y = -0*y + 25. Suppose 0 = n*h + 16 - 211. Does 13 divide h?
True
Let x be (-70)/(-3)*(-18)/(-12). Suppose -335 = -20*q - x. Is q a multiple of 8?
False
Let j = -117 + 205. Is 20 a factor of j?
False
Let m(o) = -o**3 + 13*o**2 - 11*o - 17. Let g be m(12). Let f(b) = -28*b - 19. Does 24 divide f(g)?
False
Let k be 2 - 3*(-24)/(-9). Let n = 9 + k. Suppose -25 = -5*o, -o = -n*g + 18 + 19. Is 7 a factor of g?
True
Suppose -24738 = -74*u + 2568. Does 7 divide u?
False
Does 4 divide (-1 - -2) + 5 - (-428 - -1)?
False
Suppose -4*w = -5*j + 165, 0*j + 3*w - 163 = -4*j. Suppose -l + j = -5*t, 4*l - 130 = -2*t + 4*t. Is 8 a factor of l?
True
Is 40 a factor of 4 + -1 + (-13549)/(-17)?
True
Let h be 11/(165/190)*3. Let o = h - 17. Does 7 divide o?
True
Suppose 20*l = 12*l + 2704. Does 26 divide l?
True
Let g(s) = s**3 + 5*s**2 - 4*s - 2. Let t(b) = 6*b**3 + 24*b**2 - 20*b - 10. Let z(p) = 11*g(p) - 2*t(p). Let u be z(6). Let k = u - 7. Does 3 divide k?
True
Suppose -q + 0 = -69. Let n = q + -123. Let y = n - -123. Does 23 divide y?
True
Suppose -13*k - 297 = -2*k. Let j = 6 - k. Is 10 a factor of j?
False
Suppose -6*s + 19*s - 42224 = 0. Is s a multiple of 28?
True
Suppose -4*n = -4*m + 756, n + 370 = 2*m + 3*n. Let o = m + -127. Is o a multiple of 10?
True
Does 5 divide (-1628)/(-14) - (-17)/(952/(-16))?
False
Let t(j) = j**3 - 4*j**2 + 5*j - 4. Let a be t(3). Suppose 0 = -a*z + 5*z + 18. Let c = z + 12. Is 6 a factor of c?
True
Suppose -w = -6*w + 30. Let j = w - 3. Suppose -j*i = 2*z - 208, -5*i - 4*z = -z - 348. Does 24 divide i?
True
Let d(p) be the third derivative of -p**5/15 + p**4/24 + 4*p**2. Let f be d(-1). Let m(a) = a**2 - 3*a + 4. Is 19 a factor of m(f)?
False
Let k(w) = w**3 + 9*w**2 + w + 3. Is 7 a factor of k(-6)?
True
Does 6 divide 1149 + (-8 - -12 - 15)?
False
Let x be (8/(-6))/((-18)/27). Suppose 4*v + x*b = 8, 5*v - 6 = -b + 4. Does 9 divide (-3)/6 + 145/v?
True
Let k(n) = 2*n - 10. Let a(c) = -c + 10. Let f(s) = 3*a(s) + 2*k(s). Is f(6) a multiple of 16?
True
Suppose 2*n - 5*p = 41, -5*p = -6 - 9. Suppose 5*r = -3 + n. Suppose -m - m = -8, -r*m + 38 = 2*x. Is 2 a factor of x?
False
Let m(c) = c**2 - c - 1. Let k be m(3). Suppose 11 = 2*i - 5*p - 4, k*p - 5 = -2*i. Suppose 0*z + 2*z = -i*x + 98, 3*z + x = 147. Does 14 divide z?
False
Suppose -4*g = -3*a + 1339, -541 = -3*a - 2*g + 828. Does 11 divide a?
False
Let l(a) = 2*a**2 + 2*a**2 - 6*a + 1 + 4*a**2 + 0*a**2 - a**3. Let o(i) = i**3 - 6*i**2 + 6*i + 2. Let v be o(5). Is l(v) a multiple of 3?
False
Let l = 890 - 339. Is 19 a factor of l?
True
Let z = 1062 + -522. Does 36 divide z?
True
Let p = -31 + 28. Is (-10 + 2)*(-5 + (-5 - p)) a multiple of 14?
True
Let o = -1338 + 1957. Does 22 divide o?
False
Let b = 219 - -398. Does 12 divide b?
False
Let o(a) = -a - 4. Let k be o(4). Is 26 a factor of (-1)/((-4)/k) - -37?
False
Suppose -11*u = -13*u + 448. Is 56 a factor of u?
True
Let t(c) = 63*c**2 - 8*c - 68. Is 52 a factor of t(-6)?
False
Suppose 0 = -4*p + 4, 5*p - 8825 = -5*y - 1400. Is 53 a factor of y?
True
Suppose 0*x = -s + x - 419, 0 = -2*x + 6. Is ((s/(-4))/(-4))/((-1)/7) a multiple of 13?
True
Let i(d) = -187*d**3 - 9*d**2 - 13*d - 8. Is i(-3) a multiple of 11?
False
Let y be ((-6)/(-9))/((-4)/(-12)). Suppose 5*l = y*s + 40 - 135, 5*s + 4*l = 320. Is 4 a factor of s?
True
Suppose 2*p - 3*k - 1893 = 0, 2*p - 2827 = -p + 2*k. Is p a multiple of 44?
False
Suppose -5*u = -x - 52, -2*u = 2*x - x + 52. Let b = x + 57. Is 3 a factor of b?
False
Let t(r) = -3*r - r**2 + 2 - 5*r - r**3 + 2*r + 5*r. Let a be t(0). Suppose -a*m = m - 108. Does 16 divide m?
False
Let u(i) = -i**2 + 14*i - 17. Let z(q) = -q**3 + 15*q**2 + 16*q + 8. Let s be z(16). Is u(s) a multiple of 6?
False
Let f be ((-2220)/18)/((-1)/3). Does 55 divide (2 + f/(-4))/(5/(-10))?
False
Let b(r) = -4*r**3 - 7*r**2 - 3*r + 5. Let m(v) = -7*v**3 - 13*v**2 - 5*v + 9. Let w(j) = 5*b(j) - 3*m(j). Is w(-2) a multiple of 6?
True
Let n(k) = -2*k**2 + 5*k - 21. Suppose 7*c - 8*c + 9 = 0. Let o(r) = r**2 - 3*r + 11. Let j(a) = c*o(a) + 4*n(a). Does 15 divide j(7)?
True
Suppose 17*d = 12*d + 6510. Does 42 divide d?
True
Suppose 0 = -2*k + 9 - 1. Suppose -k*y = 3*m - 29 - 122, 3*m + 182 = 5*y. Does 4 divide y?
False
Suppose -18*u + 14*u = -3*k - 672, k = 4*u - 672. Is 14 a factor of u?
Tru