 - -23. Does 5 divide m?
False
Let z = 423 - 158. Is 7 a factor of z?
False
Let m = 612 - 269. Is 7 a factor of m?
True
Let j(m) = -m. Let g(h) = -3*h + 17. Let d(a) = g(a) - 2*j(a). Let i be d(13). Suppose -k + i*k - 90 = 0. Is k a multiple of 13?
False
Suppose 57*i + 1009 = 59*i + 5*q, 1006 = 2*i + 2*q. Is 58 a factor of i?
False
Let l = -574 + 1302. Is 28 a factor of l?
True
Let p(w) = w + 6. Let x be p(-3). Suppose -5*o = -x*n - 50, -4*o - 4*n + 12 = 4. Suppose 2*m = o*m - 105. Is m a multiple of 15?
False
Let r be (-8)/(-36) + (-2)/9. Suppose r = -2*i - i + 9. Suppose 3*u + 45 = i*j, 0 = -5*j + 2*u - 4*u + 82. Is j a multiple of 8?
True
Let v(j) = 22*j**2 - 2*j + 2. Let u be (2/(-4))/(2/(-4)). Let d be v(u). Is 14 a factor of -3 + -2 + 1 + d?
False
Suppose 2*b = 4*b. Suppose 5*r - 20 = -b*r. Suppose d = r*d - 150. Is d a multiple of 10?
True
Let w be 1 - (0 - (1 + -131)). Let g be -2 - w/6*2. Let o = g - 6. Does 11 divide o?
False
Let l = -88 + 158. Suppose -3*q - 5*k = -l, 22 = q - 0*q + k. Is q a multiple of 13?
False
Let q(a) = 11*a**2 + 12*a + 287. Does 12 divide q(-11)?
False
Let h be (-70)/(-28) - -1*(-2)/(-4). Let b(r) = -3*r - 5. Let y be b(-5). Suppose h*f - 86 = y. Does 16 divide f?
True
Let z(w) = -13*w - 3. Let k(x) = -x + 2. Let s be k(-2). Suppose s*i = 8*i + 8. Is 5 a factor of z(i)?
False
Does 10 divide 6*3/(-36)*-3968?
False
Let y = 230 - 336. Let k = -76 - y. Is (-254)/(-10) - 12/k a multiple of 20?
False
Let v = 212 - 104. Does 18 divide v?
True
Let q(a) = 437*a**2 + 116*a - 1. Is 24 a factor of q(1)?
True
Suppose 0 = -7*p + 4*p + 57. Suppose -6*l - 1235 = -p*l. Does 10 divide l?
False
Let y be (-2*1)/((-12)/42). Suppose y*n - 10 = 2*n. Suppose -2*p - 3*p - 3 = h, n*h - 18 = 2*p. Is 5 a factor of h?
False
Let d = -9 - -3. Let r(m) = 21*m + 33. Let a be r(-6). Is 23 a factor of a*4/d*1?
False
Let t(u) = -63*u + 383. Does 22 divide t(-4)?
False
Let f = -52 - -23. Let c = f + 41. Does 4 divide c?
True
Suppose -2*n + 0*n + 4 = -4*w, -2*n - 3*w + 11 = 0. Suppose n*i - 253 = -p, 0 = i - 0*i + 2*p - 65. Suppose -2*h + i = -y, 2*y - 25 = -3*y. Is 23 a factor of h?
False
Let r = 382 + -253. Let v = 181 - r. Does 26 divide v?
True
Suppose 4*g - 499 = -3*l, 5*g + 5*l = -0*l + 625. Let i = 135 - g. Is i a multiple of 2?
False
Suppose -2*a + 2*v + 46 = 0, -2*a = 4*v - 5 - 59. Suppose 0 = 25*d - a*d + 3. Suppose 5*m = 3*m + g + 36, d*m + 5*g = 67. Is 8 a factor of m?
False
Suppose 0 = 15*m - 13581 - 669. Is m a multiple of 25?
True
Let s be (-2)/3 - 5830/30. Let a = -122 - s. Is 5 a factor of a?
False
Let k = 63 + -36. Let j = k + -7. Is j a multiple of 4?
True
Suppose -3*l + l + 98 = 0. Suppose l = -5*o - 21. Does 2 divide (-4)/o + (-376)/(-56)?
False
Let h(u) = u**3 - 8*u**2 - u + 13. Let a be h(8). Suppose -5*w + 55 = a. Is w even?
True
Let s be ((-6)/9)/(4/(-6)). Let x = s + 33. Suppose -x = -5*v + 46. Does 4 divide v?
True
Let b(s) = -s**2 + 67*s + 39. Is b(54) a multiple of 13?
True
Let j = 285 - 119. Is j a multiple of 19?
False
Let k(r) = 2*r**2 - 13*r**2 - r**2 + 0*r**2 + r**3 + 12*r - 6. Let u be k(11). Suppose 326 = 3*c + 6*i - i, -u*c + 514 = i. Is 34 a factor of c?
True
Let u(a) = 2*a**2 + 25*a - 11. Let x(s) = s**2 - 13*s - 13. Let c be x(13). Let w be u(c). Suppose -40 = -w*y - 10. Is y a multiple of 11?
False
Let m = -86 + 88. Suppose -2 = m*d - 20. Is 3 a factor of d?
True
Let s(i) = 7*i + 16. Let z be s(-7). Is ((-308)/z)/((-1)/(-6)) a multiple of 28?
True
Does 16 divide 20/50 - 10496/(-10)?
False
Let z(h) = 112*h - 220. Is 17 a factor of z(5)?
True
Let y(x) = 3*x**2 - 18*x + 5. Suppose 7*n - 6 = 57. Does 13 divide y(n)?
False
Let q(a) = a**3 + 27*a**2 + 26*a + 54. Let o be q(-26). Suppose -3*s + 18 = -o. Does 24 divide s?
True
Let r be 6*5 + (3 - (-3 + 6)). Suppose -2*o = -r - 8. Is o a multiple of 19?
True
Suppose 5*b + 848 - 33 = -4*k, 2*b - 3*k = -303. Let x = b + 279. Is 24 a factor of x?
True
Let u(v) = v**3 + 14*v**2 + 8*v - 3. Let o be u(-12). Suppose 3*d = -3*m + o, m = -d + 5*m + 83. Does 9 divide d?
False
Let i = -17 - -138. Suppose i = 5*x - 4. Is 6 a factor of x?
False
Suppose -4*k = 5*s + 333 + 425, 0 = 5*k + 3*s + 941. Let c = -100 - k. Is c a multiple of 12?
False
Let f be 513/99 - (-2)/(-11). Suppose 5*n = -15, -2 = 2*j - n - f. Suppose -3*h = 5*a - 54, j = -5*a - h - 8 + 66. Is 12 a factor of a?
True
Let a(j) = 14*j + 558. Is a(-9) a multiple of 9?
True
Let y(x) = x - 5 - 2*x + 2 + 2*x**2 - x**2. Is y(-3) a multiple of 3?
True
Let n(a) = a**2 - 1. Let j(i) = -i**2 - 13*i + 19. Let b(g) = j(g) + 5*n(g). Is 8 a factor of b(5)?
False
Suppose h - 753 = -2*h. Is h a multiple of 3?
False
Suppose 0 = 5*i - 7*i + 68. Let q = i + -15. Is 7 a factor of q?
False
Let r = 272 + 239. Is 4 a factor of r?
False
Suppose 0 = l - 3 - 11. Let r = -9 + l. Suppose 4*x - 52 = -4*m, m = r*m - x - 42. Is m a multiple of 9?
False
Suppose 8*j - f + 554 = 10*j, 0 = -4*j - 5*f + 1102. Is 6 a factor of j?
False
Let y = -1 - -2. Let n be 642/(-54) + (-2)/18 + 0. Is 76 - y/(3/n) a multiple of 20?
True
Suppose 0 = -5*s + 2*l + 5734, 4*s - 2*l = 1035 + 3551. Is 24 a factor of s/16 + -2*1/(-8)?
True
Suppose 4*l - 139 = -27. Let b = l + 32. Does 25 divide b?
False
Suppose 8 + 7 = 5*c. Let y be c*(-3 + 0)*1. Is (-174)/y*3 + -1 a multiple of 19?
True
Let z(h) = 3*h**2 - 15*h + 30. Let q(t) = -t**2 + 5*t - 10. Let d(p) = 17*q(p) + 6*z(p). Is d(-6) a multiple of 16?
False
Is 15 a factor of (270/(-21) + 0)/(1/(-56))?
True
Let w = 66 - 44. Let n = 106 + w. Is 32 a factor of n?
True
Let c = -790 + 1312. Is c a multiple of 18?
True
Let x(f) = f**3 + 2*f**2 + 2*f - 1. Let o be x(-2). Is 25 a factor of o/(-2)*(-27 + 41)?
False
Suppose 0 = -13*s + 21*s - 544. Does 17 divide s?
True
Suppose x - 2 = -2*z, 0 = -4*x + z - 2 + 37. Is 25 a factor of x/36 - (-3 - 421/9)?
True
Suppose -5*v - n = -0*n + 6, 0 = 3*v - 2*n + 1. Let y(h) = 144*h - 6. Let q(u) = -72*u + 2. Let o(k) = 5*q(k) + 2*y(k). Is o(v) a multiple of 22?
False
Suppose -3*c - 5*p = -6*c + 10, -7 = -c - 2*p. Suppose c*s - 25 - 75 = 0. Is s a multiple of 4?
True
Let q(x) = 40*x - 9. Let d = -60 - -62. Is q(d) a multiple of 12?
False
Let f = 1681 - 1098. Is 11 a factor of f?
True
Suppose 5*u - 5 = 0, 0*v + 4*v - 5*u + 21 = 0. Let k be (-3)/(v/(-1) + -5). Suppose -64 - 26 = -k*n. Is 8 a factor of n?
False
Does 32 divide 5/3*392/(-35)*-12?
True
Suppose -3*w = -60 - 0. Suppose 12*u + 68 = 7*u + 2*g, -5*u = 5*g + 75. Does 2 divide (-94)/u - w/(-70)?
False
Let o(b) = b**3 + 10*b**2 + b + 2. Let s(x) = -x**3 - 9*x**2 - 1. Let t(m) = 5*o(m) + 6*s(m). Let p be t(-5). Suppose p*w = 11 + 9. Is 5 a factor of w?
True
Let l = 8 - 5. Suppose -4*o + 4*r = o + 10, l*o = -2*r + 16. Suppose 5*j - 305 = -5*q, -o*q = 3*j - 7*j - 152. Is q a multiple of 22?
True
Let y be (-10)/(-3)*(-135)/(-75). Let o be -3*y*(-186)/27. Suppose -4*k + o = x - 80, 5*x = -20. Does 26 divide k?
True
Suppose 13*x = 11*x + 32. Is 19 a factor of -2 - (-168)/(x/4)?
False
Suppose -2*a = -17*a + 24960. Does 16 divide a?
True
Suppose 4*g + 0*h - 2*h + 28 = 0, -46 = 5*g + 3*h. Let a(c) = -9*c. Is a(g) a multiple of 8?
True
Let o(l) = l**3 - 33*l**2 + 44*l + 83. Is o(32) a multiple of 11?
False
Suppose -2*m - 3*m = -20. Suppose 0 = 3*b - h - m, 0 = 3*h - 4 - 2. Suppose -b*r + 4*r = 18. Does 3 divide r?
True
Suppose 3*l - 664 = 1496. Does 30 divide l?
True
Let r(q) = -24*q - 4. Suppose 6*b + 8 - 2 = 0. Is 5 a factor of r(b)?
True
Let b(h) = 9*h - 13. Let d(y) = -y**2 + 9*y - 12. Let n(q) = 2*b(q) - 3*d(q). Is n(5) a multiple of 4?
True
Suppose 2*x = -0*x - 2. Let z be (1*x)/((-10)/30). Suppose -u - z*j + 5 = 0, 2*j + 0 = u - 5. Is u a multiple of 3?
False
Suppose 0 = w + 3*r - 98 - 180, -5*r - 1370 = -5*w. Does 25 divide w?
True
Let p = 3 - 6. Let k be 1914/9 - (-2)/p. Suppose -4*q - 4*f = -k, -4*q + 104 = -f - 103. Does 26 divide q?
True
Let c(a) = -a**2 + 5*a + 7. Let x be c(7). Let d(k) = k + 10. Let v be d(x). Is 20 a factor of 20/v*(2 + 1)?
True
Suppose -3*k + 24 = k. Let j be 4*(-6)/(-16)*6. Is 23 a factor of 116/6*j/k?
False
Let a = 253 - -853. Does 6 divide a?
False
Let j be (7/1)/((-1)/(-10)). Suppose 2*x + 4*d = j, -2*x + 60 = -x - 3*d. Suppose 4*s = -x + 209. Is 27 a factor of s?
False
Let r = -5 + 9. Let j be (1 - 4)*7/(-3)