 10 divide r(o)?
False
Let w be 1005/20*(-16)/(-6). Is (8 - 16)*w/(-4) a multiple of 23?
False
Let n be (6 + -61)*2*-19. Suppose 4*k = n + 26. Is k a multiple of 6?
False
Let b = -1 - 1. Let q be (100/8 - 2)*b. Does 29 divide (-2469)/q - 15/(-35)?
False
Suppose -81010 - 146554 + 60488 = -63*f. Is 17 a factor of f?
True
Does 4 divide (13 - 3) + (20542 + -9 - 6)?
False
Suppose -15 = -7*v + 2*v + 3*i, 0 = -5*v + 5*i + 25. Suppose 2*q + 3*b + 1059 = 6*q, v = -3*q - 2*b + 790. Is 24 a factor of q?
True
Let x(p) = p + 6. Let f be x(-4). Suppose -f*q = 2*i - 286, q + 88 + 49 = i. Does 70 divide i?
True
Let w(a) = -2*a**3 + 2 + 3*a**3 + 9*a**2 + 3 + 14*a + 10*a**2 - 15. Does 30 divide w(-7)?
True
Suppose -61*x + 73*x + 2288 = 177476. Is x a multiple of 9?
False
Let l(i) = 19*i**3 - 19*i + 69. Does 3 divide l(4)?
True
Suppose 0 = 5*a + 71 - 241. Let b = 194 + a. Is 12 a factor of b?
True
Let s(a) = -a**3 - 6*a**2 + a + 8. Let u be s(-6). Suppose 5*w - 20 = -2*x, -1 = -x - 0*w + u*w. Suppose -56 = -3*d - x*t, d + 3*d + 2*t = 98. Does 14 divide d?
False
Let r be (-6)/10 + 138/30. Suppose -r*m = 95 + 29. Let z = 35 + m. Does 3 divide z?
False
Suppose 3*x - 651 = -3*y, 4*y + 7*x - 11*x - 860 = 0. Let d = 87 + 17. Let n = y - d. Is n a multiple of 16?
True
Let h(c) = -3*c**2 + 40*c - 6. Let t be h(-6). Let m = t - -445. Is m a multiple of 13?
True
Suppose -32 = -7*d - d. Suppose 4*i - 444 = d*t, 5*t - 198 = -2*i + t. Does 6 divide i?
False
Let a be (-4)/12 - 1/(-3). Suppose a*r + r - 3 = 0. Suppose r*x - 195 + 15 = 0. Is 20 a factor of x?
True
Let t(i) = 3*i**2 - 170*i + 396. Is t(59) a multiple of 20?
False
Is (40 - -566)*82/6 a multiple of 101?
True
Let l be (1/3)/(1/147*-1). Let h be 14/4*(-56)/l. Suppose -r = -0*y - 3*y - 96, -4*y + 448 = h*r. Is r a multiple of 27?
True
Let h be (26/3)/2 - 2/6. Suppose 3*j - 8*i - 306 = -11*i, -h*j = -i - 398. Is j a multiple of 4?
True
Let j be (1036/6 + 0)/((-2)/(-21)). Let l = j - 1183. Is l a multiple of 19?
False
Suppose -17570 = -5*b - 5*t, -7072 + 24672 = 5*b - t. Does 17 divide b?
True
Suppose -4*m = -283 + 771. Let l = 23 + m. Let i = l - -159. Is i a multiple of 30?
True
Let v be (3 + -1)/((-4)/14). Let r(z) = 2*z**2 + 6*z + 27. Let d(a) = a**2 + 2*a + 1. Let u(n) = -d(n) + r(n). Is u(v) a multiple of 12?
False
Let b(j) = 2*j**2 - 36. Let i = -6 + 0. Is 12 a factor of b(i)?
True
Let x(f) = 5*f**2 - 81*f + 24. Let b be x(16). Suppose -b*r + 4*r = -292. Does 14 divide r?
False
Let o(q) = 4*q + 147. Let w be o(28). Let f = w - 52. Is f a multiple of 3?
True
Suppose -2*n - 4*x + 12 = -5*n, 5*x = 15. Suppose -3*o + 1249 + 1631 = n. Is 48 a factor of o?
True
Suppose -30*g = 2*v - 25*g - 11661, -4*v = -2*g - 23286. Is v a multiple of 54?
False
Let r = -5106 - -11224. Is r a multiple of 58?
False
Suppose 0*k + 3*y + 124 = 4*k, -2*y - 36 = -k. Let i(q) = -q**2 + 34*q - 48. Is 6 a factor of i(k)?
True
Let c(h) = -h**3 + 32*h**2 - 32*h + 32. Let o be c(31). Does 13 divide 7/(-7)*(-35 + o) - 4?
False
Suppose -93*r - 59*r + 841966 = -998602. Is 190 a factor of r?
False
Suppose 4*i + 3 = -5, 3*i = 4*b - 366. Let g = b - 66. Is 8 a factor of g?
True
Let f(x) = x**3 + 7*x**2 + 3*x - 3. Let v be f(-6). Suppose 0 = 4*p + v + 5. Is 17 a factor of (-102)/p*(-1 - -6)?
True
Let g = -6264 + 6353. Does 11 divide g?
False
Let a = 5026 + -2910. Does 5 divide a?
False
Suppose -5*g + 9*g = -2*n - 372, -4*n - 726 = -g. Let b = n + 270. Does 8 divide b?
True
Let g = 81 - -453. Suppose -k = -g + 120. Is k a multiple of 18?
True
Let q be 3/6 - 9/(-6). Suppose l + 19 = -q*t - 0*t, 5*t + 3*l = -49. Let j(y) = 3*y**2 - 4*y - 10. Does 10 divide j(t)?
False
Suppose 2*t = -4*i + 50972, -635 = 4*i - 4*t - 51583. Is 18 a factor of i?
False
Suppose 5*k = -4*l - 45, 0 = -3*k + 3*l - 0*l - 27. Does 47 divide k/(-117) - 6108/(-26)?
True
Let m(x) = -x**3 + 15*x**2 + 17*x + 19. Is m(8) a multiple of 12?
False
Suppose 712*o - 376*o - 366*o + 6510 = 0. Is o even?
False
Suppose 0*d = 22*d - 814. Is 7 a factor of (56/(-7))/4 - d*-1?
True
Suppose -4*b + 0*l - 5*l + 796 = 0, 0 = -4*b - 3*l + 796. Suppose -g + 146 = -2*h, 3*h = -0*h - 9. Let t = b - g. Does 13 divide t?
False
Let m = -37 + 32. Is 35 a factor of -5 - (-2 + m + -285)?
False
Let w(n) = 5*n - 66 + 10 + 3. Let g(z) = -z - 1. Let t(x) = -3*g(x) + w(x). Does 22 divide t(20)?
True
Suppose 39607 = 5*z - k, 19*z - k = 17*z + 15847. Is z a multiple of 72?
True
Let d be ((-45)/(-40))/((-2)/(-16)). Let i = 919 + d. Is 41 a factor of i?
False
Suppose 1304 = -5*z + 3985 + 2044. Is 7 a factor of z?
True
Suppose -2*w - 219 = 13. Let g = 302 + w. Does 34 divide g?
False
Let c(q) = -596*q - 2865. Is 2 a factor of c(-7)?
False
Let x = -160 + 157. Does 9 divide (x/(-5))/((-3)/(-120))?
False
Suppose -8*t = -6*t - 2502. Let n = 1797 - t. Does 32 divide n?
False
Suppose 2*d - 13446 = -f, f + d = -3577 + 17021. Is f a multiple of 94?
True
Let b(w) = -925*w - 37. Is b(-9) a multiple of 37?
True
Let p(w) = w**3 + 18*w**2 - 4*w + 91. Let z(h) = -h**3 - 16*h**2 + 15*h - 51. Let c be z(-17). Is p(c) a multiple of 32?
True
Let o(m) = -4*m**2 - 2*m + 6. Let n be o(2). Let t be ((-70)/(-4))/(n/28). Let j = 179 + t. Does 25 divide j?
False
Let u be 36/(-7)*(-93 - -2). Let o = -128 + u. Is o a multiple of 14?
False
Is 77 a factor of (-56)/(-16) + -3 - 142681/(-22)?
False
Suppose -2*f + 3*n = -13830, -50*f = -51*f - n + 6910. Is f a multiple of 24?
True
Does 48 divide (48 - 55) + 58560/5?
False
Suppose -68*p + 546127 = -53021. Is p a multiple of 9?
True
Let a be -4*(-2 - 15/(-20)). Suppose 0 = 4*t - 20, -9*t = -5*d - a*t + 2145. Is d a multiple of 14?
False
Suppose -2*r + 4*h = 8, -3*r + 3*h + 0 - 3 = 0. Suppose 10*d - 9*d = r. Suppose -3*v + 355 = 4*g, 2*g = -d*g + 4*v + 376. Is g a multiple of 22?
False
Let q(i) = 4*i**3 + 19*i**2 + i + 21. Let g(h) = h**3. Let y(f) = 2*f**2 - 2*f - 3. Let t be y(-1). Let z(j) = t*q(j) - 5*g(j). Is z(19) a multiple of 4?
True
Let v(f) = 21*f - 112. Let g be v(5). Let q = -10 + 19. Is ((42/q)/g)/((-6)/99) a multiple of 7?
False
Let m = 64 + -62. Suppose 2*q - 14 = -m. Let l(r) = -r**3 + 12*r**2 - 26*r. Is l(q) a multiple of 15?
True
Let o = 7843 + -2040. Is 32 a factor of o?
False
Let i = -665 - -1230. Let o = i - 245. Is o a multiple of 40?
True
Let w be 7/(21/(-531)) + 3. Let x = -256 - w. Let s = -62 - x. Does 10 divide s?
True
Let y = -43 - -41. Let b(w) = -53*w**2 - 3*w. Let k be b(y). Let m = k - -398. Does 24 divide m?
True
Suppose 34 = 4*h + h + 3*f, 3*f = -3*h + 18. Suppose h*p - 1634 = -138. Is 13 a factor of p?
False
Suppose y + y - p + 1212 = 0, 0 = 5*p + 20. Let z = 828 + y. Is z a multiple of 24?
False
Is 17 a factor of (-3 + 0)/(1929100/(-37825) + 51)?
True
Is ((-3)/(-30) - (-5)/(-10))*-38730 + -5 a multiple of 24?
False
Let l(o) be the second derivative of o**3 + 7*o**2 - 7*o. Suppose -4*t = 4*m - 72, -2*t + 21 = 4*m - 41. Does 10 divide l(m)?
False
Let r = -41 + 49. Suppose 5*q = 5*d + 1180, -2*d = r*q - 5*q - 718. Is 15 a factor of (-3)/(-12) + 4/32*q?
True
Let j = 151 + -151. Is (3 - j - -43) + 8/(-4) a multiple of 4?
True
Let p = 3820 + 138. Does 12 divide p?
False
Let j(p) = p + 26. Suppose 58*s + 24 = 55*s. Let q be j(s). Suppose -8 = -l - 5*r + q, -3*l = 5*r - 58. Is l a multiple of 8?
True
Suppose 0 = 5*m - 4*s - 10, -4*m - 2*s = 3*s - 8. Suppose 0 = t - 5*h - 55, -m*t + t = 5*h - 95. Is t a multiple of 7?
False
Suppose 6*o - 1212 = 12*o. Is 8 a factor of o/(-6) + 108/81?
False
Suppose 0 = -5*k - 5*p + 5, 0 = 2*k - 2*p - 9 - 9. Suppose 0 = -k*n + 9*n - 240. Does 19 divide n?
False
Let u = 39 + -40. Let v be (-714)/14 + (u - -1). Is 3 a factor of v/(-4) + (-78)/104?
True
Suppose -2*n - 994 = 2*t, 15*n - 17*n - 1019 = -3*t. Let j = n - -1420. Does 51 divide j?
True
Let t(o) = 27*o**2 - 5*o + 218. Does 90 divide t(-14)?
True
Let v(k) = k**3 - 38*k**2 - 166*k - 84. Let t be v(42). Suppose t = -y - g + 960, 2*y - 348 = g + 1572. Does 20 divide y?
True
Suppose 4 = -4*o + 6*o. Suppose -4*i = -o*i - 816. Does 39 divide i?
False
Let z be 20/(-220) + (-28906)/22. Let i = z + 1873. Is 18 a factor of i?
False
Suppose 0 = 1136*i - 1186*i + 579450. Does 12 divide i?
False
Suppose 0 = -15*z + 11*z - 5*w + 2107, -1051 = -2*z - 5*w. Is 3 a factor of z?
True
Is ((-18)/(-2))/((-3)/(-50