 - 47. Let s be b(-8). Let h = s - -675. Is h a multiple of 12?
True
Let h = 9 + -23. Let o = -11 - h. Suppose o*d - 278 = -56. Is 21 a factor of d?
False
Let k(c) = 668*c**2 - 37*c + 36. Does 9 divide k(1)?
False
Suppose 5*h = 4*h + 2. Suppose -5*f + 4*f - h = 0. Does 14 divide f/(-2)*(21 + -6)?
False
Let w be 1/5 - 1/5. Suppose -4*j + w = 24. Is j/8*(2 - 50) a multiple of 10?
False
Let n = -30 - -36. Let b = -3 - -2. Let l = b + n. Is 3 a factor of l?
False
Suppose -5*g + 409 = -2*m - 175, -3*g + 339 = -5*m. Suppose 6*l - 122 = 2*l + 2*z, -4*l - 2*z = -g. Does 5 divide l?
True
Suppose 2*g = 224 + 698. Is g a multiple of 28?
False
Let i = -20 - -32. Suppose -3*c = 21 + i. Is 11 a factor of (c - -6)*99/(-15)?
True
Let d be 2/12 - 2884/24. Is 5 a factor of (-1 + 4)*d/(-9)?
True
Let z(s) = 14*s**2 + s - 7. Is z(-2) a multiple of 10?
False
Suppose -c + 2*n + 10 = -0*n, -n - 4 = 0. Suppose -3*a - 3 = -2*a - j, 0 = -c*a - 4*j + 18. Is (44 + -4)*(2 - a) a multiple of 15?
False
Suppose 0 = -2*x - 5*u - 0*u + 756, -4*x - 3*u + 1498 = 0. Is 19 a factor of x?
False
Let a(j) = -7*j**3 + 27*j**2 + j + 29. Let u(c) = -3*c**3 + 13*c**2 + 15. Let m(t) = 2*a(t) - 5*u(t). Is m(11) a multiple of 4?
False
Suppose h - 40 = -3*h. Let a be (-22)/(-5) - 4/h. Suppose a*v - 8*v = -160. Is 20 a factor of v?
True
Let b be -1 + 9 - 2 - 1. Suppose 2*o - c = 750, -b*o = c - 1915 + 26. Suppose 127 = -5*y + o. Is y a multiple of 7?
False
Suppose r - s - 20 = 0, -r + 5*r - 115 = -3*s. Suppose -24*b = -r*b + 119. Does 32 divide b?
False
Suppose 2*q = 26*q - 31368. Does 43 divide q?
False
Let v = -264 + 599. Is 40 a factor of v?
False
Let j(q) = -q + 2. Let v be j(3). Let x(t) = 2*t**2 - 14*t + 3. Let y(b) = b**2 - b - 1. Let s(i) = v*x(i) + y(i). Does 21 divide s(10)?
False
Let h(f) = f**2 + 6*f - 4. Let c be h(-7). Suppose -2*b - 3*v = -3, c*b - 15 = 2*b + 3*v. Is 5 a factor of b?
False
Suppose 4*i + 2*y - 5450 = -0*y, 2*i = 5*y + 2755. Is i a multiple of 35?
True
Let c be 176/(-24) - 2/3. Is 24/(-3)*90/c a multiple of 18?
True
Is 4 + -1 + 268 + -7 a multiple of 66?
True
Let h(m) = 4*m**3 - 7*m**2 + 6*m + 11. Let r(n) = 5*n**3 - 7*n**2 + 6*n + 12. Let g = -4 + 8. Let l(d) = g*h(d) - 3*r(d). Is l(6) a multiple of 4?
True
Let p(a) = -658*a - 34. Does 78 divide p(-1)?
True
Is (-1)/6 + (-3)/(72/(-1876)) a multiple of 12?
False
Let f(m) = m**3 - 3*m**2 - 4*m - 16. Is f(9) a multiple of 18?
False
Let g(r) = 18*r - 43. Does 9 divide g(11)?
False
Suppose 2*o - 15 + 6 = 3*q, 0 = 4*q - o + 17. Let l(v) = 3*v**3 + v**2 - 3*v - 7. Let p be l(q). Does 10 divide p/(-12)*(-2)/(-3)?
False
Does 7 divide (-4 - 8/16)*(-72)/2?
False
Suppose a + 4*y - 24 + 7 = 0, 3*y - 9 = -2*a. Let h(i) = -2*i**2 + 8*i - 1. Let o(s) = s**2 - 4*s. Let m(l) = 2*h(l) + 5*o(l). Does 5 divide m(a)?
False
Suppose 6*q + 2*q = 1944. Is 9 a factor of q?
True
Suppose 2*z = -29 + 7. Let v(x) = 4*x**2 + 6*x - 12. Let d(n) = n**2 + n - 2. Let f(t) = -3*d(t) + v(t). Is f(z) a multiple of 14?
False
Is ((-6)/(-10)*2)/(303/154530) a multiple of 9?
True
Suppose 19*w - 14*w - 10 = 0. Suppose w*v - 100 = 128. Is 19 a factor of v?
True
Let c(g) be the second derivative of 13*g**4/12 - g**2/2 + 2*g. Let i(k) = -k**2 + 8*k + 1. Let v be i(0). Does 6 divide c(v)?
True
Let i be (273 - -1)*(-2)/(-4). Let f = i + -73. Is f a multiple of 11?
False
Suppose -4*y + 48 = 8*y. Suppose y*v + 4*k - 376 = 0, -v - 8*k + 100 = -5*k. Does 18 divide v?
False
Let v = -19 + 11. Let m be 2/v - 1/(-4). Suppose 5*w - 10 = m, -5*o = -0*o + w - 37. Is o a multiple of 7?
True
Let j be 0*(4/8)/(-1). Suppose 5*c - 4*c - 25 = j. Does 16 divide c?
False
Is 27 a factor of 6*(1 - 0) + 297?
False
Let m(b) = -2*b + 1. Let y be m(2). Let w be y + 2 + 1 + 0. Suppose 3*p - 5*c - 92 = -w*p, -5*c + 10 = 0. Is p a multiple of 19?
False
Let j(q) be the third derivative of -q**4/12 - q**3/2 + 3*q**2. Let c be j(11). Let y = c + 44. Is y a multiple of 13?
False
Let h = 1805 + -1021. Suppose 3*q + h + 959 = 0. Is q/(-5) - 5/25 a multiple of 32?
False
Suppose -40*v + 35*v = -3680. Does 32 divide v?
True
Let s = -1512 - -2973. Does 7 divide s?
False
Let c(i) = 4*i**2 + i. Let q be c(2). Is 45 a factor of (8/(-5))/(q/(-2025))?
True
Let f(j) = -j**3 - 14*j**2 - 4. Let c be f(-14). Let n(b) = -2*b**3 + 3*b**2 - 3*b + 1. Let i be n(c). Does 9 divide i/12 - (-3)/12?
False
Let m(c) = 181*c - 13. Does 15 divide m(1)?
False
Suppose 476 = -14*o + 10*o. Is 15 a factor of 1*o/(-2) + 7/14?
True
Let a = 69 - 63. Suppose 4*c = 4*n + 100, 4*c - a*c = -n - 49. Is 4 a factor of c?
True
Suppose 2002 = 4*w + 182. Suppose w = k + 4*k. Let j = 127 - k. Is j a multiple of 13?
False
Does 5 divide (-2 + (-1544)/8)*8/(-6)?
True
Suppose -223 - 904 = -7*v. Does 23 divide v?
True
Suppose 5*m - 156 = -q, 2*q - 2*m - 285 = 63. Is 57 a factor of q?
True
Let z(l) = -4*l**3 + 5*l**2 - 10. Is z(-7) a multiple of 27?
False
Suppose -3*u - 1601 = -2*t, -5*t - 3*u + 2616 + 1418 = 0. Is t a multiple of 76?
False
Let k = 55 - 39. Let f(v) = k + 13 + v**3 - v**2 + 2 + 3. Is f(0) a multiple of 11?
False
Let s(y) = y**3 - 8*y**2 + 23*y - 13. Let m be s(10). Suppose 7*d - m = -53. Does 13 divide d?
True
Suppose -4*x + 244 = 20. Suppose x = -l - l. Does 14 divide (-72)/(-16)*l/(-3)?
True
Suppose -5*s + 475 = -100. Does 6 divide s?
False
Let o(h) = 9*h**2 + 4*h - 3. Let m(g) = -8*g**2 - 4*g + 3. Let l(n) = -6*m(n) - 5*o(n). Let c be l(3). Is 28 a factor of (c/(-30))/((-3)/70)?
True
Suppose 0 = -14*s + 6340 + 2830. Is 69 a factor of s?
False
Let c = 220 + -344. Let y = -69 - c. Is 11 a factor of y?
True
Suppose 0*m + m = -5*y - 25, 5*m = 0. Does 21 divide (-756)/30*y/1?
True
Let f(v) = -v**3 - 7*v**2 + 7*v - 1. Let t be f(-8). Suppose 4 = 2*d, 0*d + 3*d - 12 = -3*s. Let o = s + t. Does 4 divide o?
False
Let z be (-2 - (-5)/3)*-6. Suppose 5*t + 41 = 4*n - 15, 2*n = z*t + 30. Does 19 divide n?
True
Let u = 1445 + -958. Does 44 divide u?
False
Let j(r) = r**3 + 13*r**2 - r + 9. Let p(w) = 2*w**3 + 26*w**2 - 3*w + 19. Let q(l) = -5*j(l) + 2*p(l). Does 6 divide q(-13)?
True
Let q(g) = -12*g - 34. Does 5 divide q(-17)?
True
Is (-8 - (-350)/40) + 27122/8 a multiple of 43?
False
Suppose 0 = 4*o + o - 810. Let i = o + -106. Does 7 divide i?
True
Let x(f) = 255*f - 33. Let v(n) = 16*n - 2. Let r(p) = -66*v(p) + 4*x(p). Does 18 divide r(-1)?
True
Suppose -34*y + 140 = -32*y. Does 10 divide y?
True
Suppose 4059 = 263*m - 254*m. Is m a multiple of 50?
False
Suppose 9*u - 70 = 4*u. Let w(p) = -p**3 + 17*p**2 - 35*p + 12. Is 17 a factor of w(u)?
False
Let p(m) = -10 - 7*m**3 + 5*m**3 + 12 + 18 + 3*m + 17*m**2. Is 27 a factor of p(8)?
True
Suppose 0 = 20*k - 17*k + 30. Is (1 - 3)/(1/k) a multiple of 4?
True
Suppose -7 = -5*b + 3, 5*b = -4*v + 694. Suppose -v = 2*w - 255. Does 21 divide w?
True
Let o = 1046 + -542. Is 9 a factor of o?
True
Let f(w) = -w - 1. Let k(v) = 42*v + 21. Let s(p) = -21*f(p) - k(p). Let a be s(-4). Suppose a = 5*l + 19. Is 13 a factor of l?
True
Suppose -14*b + 4*b + 2400 = 0. Is 15 a factor of b?
True
Suppose -3*i = 5*x - 482, -x + 95 = -i - 3. Suppose 0 = f + 3 - x. Is 15 a factor of f?
False
Let a(y) = 91*y - 126. Is 34 a factor of a(9)?
False
Suppose 5*l - 356 = -3*s, 2*s - 4*s = 5*l - 359. Suppose -47 = -2*o + l. Does 6 divide o?
True
Let k(w) = w. Let a(c) = 2*c**2 - 4*c + 4. Let p(o) = a(o) - 3*k(o). Let r be p(4). Suppose r*g - g = 126. Does 6 divide g?
True
Suppose 7*o = 2*o + 1100. Is 4 - o/5*-1 a multiple of 16?
True
Suppose -88 = -2*p + 4*v, 9*v = -p + 6*v + 64. Does 9 divide p?
False
Let t(w) = 4*w**2 + w - 9. Let v be t(-7). Does 11 divide v/8 + 5/(-10)?
True
Let y(m) = 2*m**2 - 2*m - 7. Is y(7) a multiple of 11?
True
Let h be (10/2 - -3)*39. Suppose 0 = -32*q + 29*q + h. Is 9 a factor of q?
False
Let h = -407 - -634. Is 4 a factor of h?
False
Let c(l) = 2*l**2 + 3. Let r be 4/7 - (-96)/(-21). Does 7 divide c(r)?
True
Let y = 15 + -24. Let w(q) = q**2 + 9*q + 19. Is w(y) a multiple of 3?
False
Let d = -1024 + 2136. Does 29 divide d?
False
Let g(c) = -3*c + 1. Let p be g(1). Suppose 4*x - 2*d + 3 - 1 = 0, -2*d = 10. Is (-62)/x + p/3 a multiple of 7?
False
Let x(z) = -3*z + 311. Does 2 divide x(31)?
True
Suppose -944 - 2851 = 11*w. Is 10 a factor of ((-48)/60)/(1/w)?
False
Let t(g) = 2*g**2 + 3*g. Le