 be j(-11). Let q = 1 - -2. Suppose -q = -f*w + 5. Does 3 divide w?
False
Suppose 4*h - 7 = -47. Let r be (-61 - 2) + h + 6. Let k = r - -118. Is k a multiple of 22?
False
Let j = 22 - 22. Let u be 1 - (j - -1) - -5. Suppose -3*y - 2*n + 3 = -2*y, -17 = -y + u*n. Is 6 a factor of y?
False
Suppose -3*i - 3*h + 2004 = -0*h, -2*h = -5*i + 3347. Is 13 a factor of i?
False
Let u = 16 - 17. Let b(h) = -120*h**3 + h**2 + 2*h + 1. Let x be b(u). Let q = x + -84. Is 18 a factor of q?
True
Let m(w) = w**2 - 12*w + 6. Is 30 a factor of m(-6)?
False
Let x be 1 + -96 + (5 - 9). Let s = x - -221. Does 13 divide s?
False
Let d(q) = 0*q**3 - 1 + q**2 - 2*q - 5*q**3 + 0*q**2. Does 26 divide d(-3)?
False
Let k(j) = 76*j**2 - j - 2. Let b be k(-1). Is -2*(-15)/(-10) + b a multiple of 18?
True
Suppose -4*j - 30 = -70. Is j a multiple of 10?
True
Let i = 654 + 36. Is i a multiple of 50?
False
Let y = 3 + -6. Let c = y - -11. Suppose -c*l + 66 = -6*l. Is l a multiple of 12?
False
Let b(p) = p + 2. Let r be b(1). Suppose -975 = -r*w - 3*k, k + 10 = -4*k. Is 31 a factor of w?
False
Let q be (-1 - 2)*(-3 - -4). Is 8/36 - 1454*q/54 a multiple of 9?
True
Let m be -45*((-200)/(-15))/(-2). Suppose 0 = -45*g + 40*g + m. Is 20 a factor of g?
True
Suppose -2*v - 4*t = -900, 5*v - t - 2195 = -0*v. Does 4 divide v?
True
Let k(d) be the third derivative of d**5/60 - d**4/3 + d**3/2 + 2*d**2. Let u be k(8). Suppose u*q - 36 + 6 = 0. Is q a multiple of 10?
True
Let i = 680 + -88. Does 16 divide i?
True
Let r(a) = a - 5. Let f be r(7). Is 15 - f*(3 - 18/4) a multiple of 6?
True
Suppose 5*v - 6*v - 4 = 0. Let k = 46 + v. Does 14 divide k?
True
Let o be (-26)/(-5) - 2/10. Let y(d) = 104*d - 4. Let t(f) = 105*f - 4. Let k(h) = o*t(h) - 6*y(h). Is k(-1) a multiple of 25?
False
Let n be 8/((-7)/((-35)/10)). Suppose -n*y - 3*d = y - 252, -4*y - d + 196 = 0. Is 24 a factor of y?
True
Is 8 a factor of 1 + (-3501)/(-21) - (-26)/91?
True
Let u be 1901/6 + 6/36. Is 21 a factor of -1 + 6/10 - u/(-5)?
True
Let c(q) = -q**3 - 3*q**2 + q - 2. Let r be c(-6). Suppose -12 = -b - 3*a, -r = -4*b - 3*a - 25. Is 7 a factor of b?
True
Suppose -11*w = 1084 - 4714. Is w a multiple of 33?
True
Let o = -133 + 135. Suppose o*h = -6*h + 1384. Does 30 divide h?
False
Let o(s) = s**2 - 8*s + 9. Let d be o(7). Let n(q) = 24*q**2 - q. Let j be n(-1). Suppose 3*u - 5*m - 83 = 0, 3*m - j = -d*m. Is 10 a factor of u?
False
Let m(i) = -18*i**3 - 4*i**2 + 2*i - 1. Let p be m(-4). Suppose -p - 353 = -8*k. Is 41 a factor of k?
False
Suppose -3*u = 5*z - 143, 0 = z + 5*u - 8 - 3. Is z a multiple of 2?
False
Let r be 1 - ((20 - 3) + -3). Let p(z) = z**2 + 9*z + 3. Is p(r) a multiple of 11?
True
Suppose -162*w = -146*w - 26256. Is w a multiple of 77?
False
Let y = -408 - -450. Does 4 divide y?
False
Let r(z) = -z**3 + 6*z**2 - 3*z + 5. Let u be r(5). Is 5/(u/2)*30 a multiple of 5?
True
Suppose 2*s = -3*z - 0*s + 770, -1282 = -5*z - 4*s. Let x = -7 + 10. Suppose x*r = -3*r + z. Is r a multiple of 16?
False
Suppose -2*i - 2 = j - 10, -4*i - 3*j = -12. Suppose 144 = i*c - 0*c. Is c a multiple of 6?
True
Let w(r) = 113*r**3 - 2*r**2 + 3*r - 2. Let s be w(2). Suppose -2*l = -8*l + s. Is 25 a factor of l?
True
Suppose 904 - 12 = 4*j. Let z = 398 - j. Suppose -5*l + 160 = y, -8*l - 4*y = -3*l - z. Does 12 divide l?
False
Let h(w) = w**3 - 7*w**2 + 2*w - 17. Let v be h(7). Is 21 a factor of (-1 + 65)/(v/(-3)) + -1?
True
Let g(y) = 59*y**3 + 27*y - 24. Is g(3) a multiple of 5?
True
Suppose -4*o - 7*t + 1935 = -6*t, 2*o - 4*t - 990 = 0. Is 11 a factor of o?
False
Let i be -2 - 0 - 2/(-2). Let q = i + 10. Does 8 divide q?
False
Let w(b) = b + 6. Let a be w(9). Does 17 divide (-24)/10 + 2 + 2226/a?
False
Let c be 10/(-5) + 3*4. Suppose 2*d - c - 36 = 0. Suppose 111 = 3*z - 4*h + d, 0 = -2*z - h + 55. Is z a multiple of 14?
True
Suppose -1 = -c + 4*a, -2 = 2*c - 4*a - 4. Let v(p) = -1 + 59*p + 0 - 1. Is v(c) a multiple of 19?
True
Let c = 1060 + -236. Is c a multiple of 10?
False
Suppose 3817 = 25*a - 133. Is 10 a factor of a?
False
Let v(k) = 3*k - 13. Let j be v(5). Suppose 124 + 56 = j*n. Does 15 divide n?
True
Let m(l) = l**3 - l**2 - l + 3. Let k be m(0). Suppose 0 = -k*z - 4 - 5. Let b(q) = -2*q**3 - 4*q**2 - 3*q + 1. Does 8 divide b(z)?
False
Suppose -l - 3*l + 112 = 0. Let o = l - -192. Is 44 a factor of o?
True
Let b be (-1 - -3) + 235 + 1. Suppose -240*z + b*z = -242. Is 9 a factor of z?
False
Let x(o) be the second derivative of o**4/3 + o**3/2 - 37*o. Let i be (-2)/(-1) - (0 - -5). Is x(i) a multiple of 7?
False
Suppose 18*y - 16*y = 6. Suppose 6*t - y*t = 18. Suppose -82 = -t*n + 62. Is n a multiple of 12?
True
Is -515*-27*(-6)/(-90) a multiple of 53?
False
Let s = 59 + -73. Let c = s - -134. Is c a multiple of 15?
True
Let b(p) = 4*p**3 - 3*p**2 + 2*p + 7. Is b(3) a multiple of 17?
False
Is 5 a factor of 4 - (-49 - -3)/(1 + 0)?
True
Suppose 4*o = -3*t + 1435, 482 = 5*t - 4*t + 5*o. Does 20 divide t?
False
Let m(y) = y - 4. Let k be m(-15). Let l(n) = -5*n - 25. Let h be l(k). Suppose -h = -a - a. Is a a multiple of 8?
False
Let v be (-282)/(-36) - 1/(-6). Let d(r) = -5*r**2 - 11. Let b(x) = -6*x**2 - x - 11. Let f(i) = 4*b(i) - 5*d(i). Does 19 divide f(v)?
False
Suppose -9*z = -4*z + 910. Let m = 324 + z. Is m a multiple of 20?
False
Suppose 0 = -4*x - 3*p + 489, -x - 5*p + 66 = -35. Suppose -5*q = -x - 44. Is 5 a factor of q?
False
Let r(n) = n**2 - 3 + 2 + 4 - 4*n. Let o be r(-9). Let a = -86 + o. Does 13 divide a?
False
Suppose -1427 = -10*m + 2373. Is 9 a factor of m?
False
Let t = -68 + 338. Is 15 a factor of t?
True
Let o(h) = -284*h - 276. Does 19 divide o(-9)?
True
Let t = 771 + -69. Is 27 a factor of t?
True
Is 57 a factor of (-417)/(-2) - (-9)/6?
False
Let t(d) = -2*d**3 - 2*d**2 + 3*d + 3. Let y be t(-2). Suppose -y*a = -a. Suppose -b + 0*o - o + 50 = 0, 5*b - 5*o - 290 = a. Does 27 divide b?
True
Let j(h) = h**3 - 2*h**2 + 2*h - 2. Let b be j(2). Suppose -6*d + b*d = -60. Does 11 divide (-163)/(-5) - (-6)/d?
True
Let l(x) = 2*x + 0*x**2 + 2*x**3 + 0 - 5 + x**2. Suppose -4*a = 5*w - 2 - 25, 2*w - 15 = -3*a. Does 11 divide l(a)?
False
Is ((-27)/18)/(2/(1048/(-3))) a multiple of 58?
False
Suppose -2*v = -4*m + 7908, -1305 = 2*m - 3*v - 5259. Does 51 divide m?
False
Does 5 divide (((-60)/8)/(-3))/(2/40)?
True
Is (-1259)/(-3) - 336/(-144) a multiple of 58?
False
Let k = -16 - 12. Is (-3 - k - -4) + -3 a multiple of 26?
True
Let u(f) = -16*f. Let i(m) be the first derivative of -47*m**2/2 - m - 4. Let x(n) = 3*i(n) - 8*u(n). Is x(-2) a multiple of 9?
False
Let l(c) = 5*c**3 + 29 - 31 + c**2 + c**2. Let z be l(2). Suppose a + 4*x = 58, a + 2*x - z = x. Is a a multiple of 14?
True
Let d(i) = 141*i**2 + 3. Let t(g) = -47*g**2 - 1. Let u(m) = 6*d(m) + 17*t(m). Does 6 divide u(1)?
True
Let i(z) = 2*z**3 + 15*z**2 - 21*z - 24. Is i(-8) a multiple of 5?
True
Let x = 6 - 8. Let d(p) = -17*p + 5. Let a(u) = -1. Let y(z) = 4*a(z) + d(z). Does 15 divide y(x)?
False
Suppose 0 = 10*m - 1411 - 719. Is m a multiple of 11?
False
Let i = -6 - -10. Suppose i*k - 56 = 12. Does 2 divide k?
False
Suppose 48 + 122 = 5*t. Suppose 3*x + t = -5*m, -5*m = x - m + 16. Let b = x + 35. Is b a multiple of 8?
False
Suppose 0 = -3*n + 652 + 320. Is n a multiple of 36?
True
Suppose 5*x = l - 254, 4*l - l = -2*x + 796. Does 11 divide l?
True
Let i = -4300 - -6556. Does 24 divide i?
True
Let y = -27 - -43. Suppose 2*l + 3*v = y, -3*v = l + 2*v - 15. Is l a multiple of 2?
False
Suppose -51 = -h - 5*r + 66, -5*h - r = -585. Is h a multiple of 18?
False
Let i = 89 + -81. Suppose i*w + 60 = 652. Is w a multiple of 8?
False
Suppose -p - 44 = -16. Is (49/p)/(2/(-32)) a multiple of 4?
True
Let f(z) = 8 - 120*z**3 - 2*z**2 - 8*z - 2 + z**2 + 121*z**3. Is 7 a factor of f(6)?
False
Let j(r) = 4*r**3 - 11*r**2 + r + 34. Is 33 a factor of j(5)?
True
Suppose 5*c - 23 - 47 = 0. Suppose 5*d - 6 - 4 = 0. Does 9 divide c + d/((-2)/3)?
False
Suppose -4*f = r - 456, 7*f - 10*f = -4*r + 1919. Is r a multiple of 68?
True
Suppose -15 = 3*y + 2*y, 3*y = 4*d - 713. Let h = d - 120. Does 14 divide h?
True
Suppose q - 6*q = -130. Let s be 112/6 + q/(-39). Suppose -x + 21 = 2*h - 0*x, 3*h = 3*x + s. Does 2 divide h?
False
Let z be 2000/18 + 276/(-54) + 5. Let n = 9 - 6. 