) = -3*b - 27. Let t be y(-9). Suppose t = -m + 30 + 16. Does 27 divide m?
False
Let a be (1 + -1)*3/(-6). Suppose 0 = -5*g - 5*i - 40, a = -4*i + 2*i - 6. Does 8 divide 2/g + 104/10?
False
Suppose c + 1 = -y - 4*c, -5*c - 21 = -4*y. Let k be (5 - y)*0/2. Suppose 84 = 4*d + 2*t, 3*d + k*d - 4*t - 63 = 0. Is d a multiple of 8?
False
Suppose 5*v - 66 = -v. Suppose 5*x = p - v - 6, 114 = 4*p + 3*x. Is 9 a factor of p?
True
Suppose -5420 = -4*m - 6*m. Does 21 divide m?
False
Suppose 0*x + x - 5 = 0. Suppose x*d - k = 6*d - 17, 4*d - 70 = -5*k. Does 5 divide d?
True
Suppose -5*a = -2*t + 255, -5*a + 687 = 5*t - a. Suppose 4*o - t = -o. Does 9 divide o?
True
Suppose -3*q = -3*u - 4440, 2*u + 557 + 923 = q. Is 95 a factor of q?
False
Suppose -x + 4*r + 311 = 0, 7*r = 2*r. Is 52 a factor of x?
False
Let f = -26 + 36. Let l be 3/(-1)*(1 - 2). Is -65*(l + (-36)/f) a multiple of 10?
False
Suppose 2*b + 0 = 2, -5*u = -3*b - 22. Suppose u*v = -3*l + 68, -14 = -v - 0*l - l. Is v a multiple of 4?
False
Let b(x) = 21*x - 58. Is b(7) a multiple of 2?
False
Let f(m) = 13*m**3 - 3*m**2 - 3*m - 3. Let a be f(-2). Let z = 435 - 232. Let q = a + z. Does 18 divide q?
True
Suppose 3*y = -287 + 965. Does 26 divide y?
False
Suppose -2*o - 4*b = -0*b + 24, -o + 2*b = -8. Is 28 a factor of o - 4/(-1) - (-1 - 121)?
False
Suppose 11*n - 493 = 948. Is n a multiple of 3?
False
Is 27 a factor of 372/63*96 - 6/(-42)?
True
Suppose -21*l - 133 - 77 = 0. Let d(b) = -23*b + 8. Does 17 divide d(l)?
True
Suppose o = l + 2, 6*l + o = 2*l + 12. Suppose -l*s + 42 = -5*s. Let d = -9 - s. Is d a multiple of 5?
True
Suppose -4*r + 164 = 2*b, 5*r - 286 = -5*b - 91. Suppose q = r + 13. Does 17 divide q?
False
Let n = -25 + 28. Suppose n*z = -0*z + 54. Is 28 a factor of 500/z + 12/54?
True
Let l(g) = 37*g**2 - 3*g + 2. Suppose 0*h + 3*h - 3 = 0. Is l(h) a multiple of 9?
True
Suppose -d + 4 - 19 = 3*s, d - 2*s = 10. Suppose d*y - 3 = -y. Suppose -z + 5*w - 109 = -y*z, 0 = -3*w - 3. Is 19 a factor of z?
True
Let d(h) = -h + 1. Let v be (-4 + 0)/4*-3. Let i be d(v). Is 3 a factor of i*2/((-12)/15)?
False
Let t(h) = -12*h**2 + 18*h**2 - 20 + h - 5*h**2. Does 9 divide t(7)?
True
Suppose 60*h + 5*h - 27235 = 0. Does 14 divide h?
False
Suppose -4*n + i - 2 = -2*i, 5*n = i - 8. Is n/8 - 506/(-8) a multiple of 21?
True
Let u(j) = 3*j + 1. Let k be u(-3). Let r = k + 88. Is r a multiple of 16?
True
Suppose 5*t = 11*t - 1068. Let m = 179 - 58. Let k = t - m. Is 19 a factor of k?
True
Let x be 258/15*10/4. Let v = x - 32. Does 11 divide v?
True
Let w = -14 - -14. Suppose w*j - 20 = -5*j. Let r(n) = -n**2 + 4*n + 4. Does 2 divide r(j)?
True
Let x(i) = -5*i - 1. Let j = -10 - -6. Let h be x(j). Suppose -h = t - 60. Is t a multiple of 29?
False
Suppose 15*o = 11*o + 1188. Is 8 a factor of o?
False
Let v(y) = -2*y**3 + 20*y**2 - 13*y + 15. Is v(9) a multiple of 15?
True
Suppose -p + 3*p + 253 = 3*l, 0 = -3*p + 4*l - 382. Suppose -m + 0*x + 223 = 4*x, 647 = 3*m + x. Let v = m + p. Does 27 divide v?
True
Let b(h) = 17*h + 158. Let f(z) = -9*z - 79. Let d(u) = 4*b(u) + 9*f(u). Does 8 divide d(-11)?
True
Suppose z + 5*p - 21 = -8, 10 = 4*z - p. Suppose z*k + 6 = -3*g, -2*k - 2*g + 4*g = -8. Let a = k + 23. Does 18 divide a?
False
Let d(j) = -41*j - 2. Let v be d(-3). Suppose -v = -t - m, -2*t - 5*m - 235 = -4*t. Does 24 divide t?
True
Let w(k) = 2*k**3 - 120*k**2 + 37*k + 99. Is w(60) a multiple of 20?
False
Suppose -5*q - 4*s + 2678 = 0, -2*s - 409 - 135 = -q. Is q a multiple of 34?
False
Let c be 2/(-5) + (-189)/(-35). Suppose u + 3*s - 29 = 5, -c*u = -2*s - 85. Suppose 88 = 3*o + u. Does 11 divide o?
False
Let k = 64 - -155. Is 7 a factor of k?
False
Suppose 2 = -0*m - 2*m - 2*k, -m - 3*k - 3 = 0. Let c(l) = -3*l + 26. Let j(n) = -n. Let y(h) = c(h) - 2*j(h). Is 10 a factor of y(m)?
False
Let n = 4 + 1. Suppose -20 = -n*m, -76 = -3*d - d - 3*m. Suppose 3*l = 4*g - 63 - d, 12 = 4*l. Does 11 divide g?
True
Let l = 26 + 6. Let c = l - 18. Is 14 a factor of c?
True
Suppose -d + 24 = 2*w, 11 + 73 = 3*d + 2*w. Is d a multiple of 10?
True
Let r(h) = -15*h - 42. Let s be r(-14). Suppose 7*x - 3*x - s = 0. Is 7 a factor of x?
True
Let y(w) = -4*w**3 + w**2 - 25*w - 13. Is y(-5) a multiple of 7?
True
Let o = -1052 - -1514. Is 8 a factor of o/28 + 1/(-2)?
True
Suppose -5*r - x = x - 277, 0 = 3*r - 4*x - 161. Suppose -330 = -5*y + j - r, 0 = -5*y - 4*j + 275. Is y a multiple of 11?
True
Let r = -107 + 46. Let h = -19 - r. Does 14 divide h?
True
Let s(f) = 4*f + 0*f - 3*f. Let q be s(10). Suppose 0*n = 3*n - 2*r - 23, 0 = 2*n - 4*r - q. Is 9 a factor of n?
True
Let i = -137 + 289. Let k = i + -127. Is k a multiple of 3?
False
Let o(a) = 15*a**2 + 3*a - 3. Let r be o(4). Suppose -m - 3 = -2*m, -5*m = -4*k + r. Is 22 a factor of k?
True
Let n be 2*((-2)/12)/((-6)/54). Suppose 2*t - 2*z + 4 = 0, -2*t - 5 + 3 = -z. Suppose n*q + 73 - 262 = t. Does 21 divide q?
True
Let w(c) be the third derivative of -19*c**4/24 - c**3/6 + 2*c**2. Let z be w(1). Let i = z - -59. Does 9 divide i?
False
Is 694/4 + ((-5)/2)/(-5) a multiple of 58?
True
Suppose -1 - 5 = 3*b - 4*t, 2*b - t + 9 = 0. Let p(y) be the second derivative of y**5/20 + y**4/2 - y**3/2 - 5*y**2/2 - 16*y. Does 5 divide p(b)?
False
Suppose 16*x = 13*x + 1869. Does 52 divide x?
False
Let j(a) = -a**3 + 19*a**2 - 27*a + 34. Let h = -15 - -32. Does 51 divide j(h)?
True
Suppose 15*m - 11*m - 272 = 0. Let s(x) = -x + 4. Let u be s(0). Does 22 divide m + -2*3 + u?
True
Let a(z) = 7*z**2 - 2*z - 9. Suppose 2*n = 5*p - 16, 5*p - 2 = 4*p. Does 12 divide a(n)?
True
Let j(u) = u**2 - 3*u - 1. Let y be j(4). Let q = 177 + -92. Suppose -5*o + 2*i + q = 0, 0 = -y*o + i - 5*i + 25. Is 4 a factor of o?
False
Suppose -24*f + 26*f = -18. Does 45 divide (f/4)/(4491/900 + -5)?
True
Let c be 1 - -116 - (22 - 19). Suppose 183 + c = 11*m. Does 3 divide m?
True
Let i be (1/2)/((-2)/28). Let u = i - -12. Suppose -u*s + 6 = 4*b - 57, 0 = -2*b + 4*s + 12. Is b a multiple of 2?
True
Let b(a) = -a**3 - 7*a**2 - 9*a - 15. Let k be b(-6). Suppose -2*t - 1568 = -5*y, -k*y = -3*t + t - 944. Does 41 divide y?
False
Let q = -8 + 0. Let o = 63 + q. Suppose -2*y = -33 - o. Is y a multiple of 22?
True
Suppose 0 = -3*t + 2446 - 142. Is t a multiple of 24?
True
Let s = 27 + 0. Let x = s + -17. Is 2 a factor of x?
True
Is (77/11)/((-1)/(-512)*4) a multiple of 64?
True
Suppose -3*w + 5*t + 2574 = 0, -29*w + 32*w - 2574 = 4*t. Is 11 a factor of w?
True
Suppose 0 = -10*y + y + 3717. Is y a multiple of 28?
False
Let q = 83 - 118. Let u = -16 - q. Is u a multiple of 4?
False
Let r(d) = 2*d**3 - 8*d**2 + 22. Let u be r(7). Let n = 387 - 186. Let w = u - n. Does 22 divide w?
False
Let h(s) = s + 1. Let w be h(1). Does 17 divide 168/w + (9 - 8)?
True
Let k = 39 + -72. Let v = -25 - k. Is v a multiple of 3?
False
Let s be -1 + -19 + 0/(-3). Does 20 divide (s/(-1))/(25/50)?
True
Suppose 3*m - 8*m = 485. Let t = m + 188. Does 12 divide t?
False
Suppose -5*s - 3 = 3*a, -25*s = -23*s - 3*a - 3. Let p be 2/7 + (-6)/21. Suppose 22 = -s*r + r + 4*d, p = 4*d - 8. Is r a multiple of 11?
False
Does 33 divide (-2)/(-12) - 311815/(-210)?
True
Let j(u) = 440*u - 34. Does 4 divide j(1)?
False
Let f be 92/6 + (-4)/12. Let z be (-5)/f - (-4)/(-6). Is 12 a factor of (z - 0)/(1/(-36))?
True
Suppose -3*v + 1 = -2*v. Suppose 4*c + 1 = 3*c. Let m = v - c. Is m a multiple of 2?
True
Let k(b) = -b**3 - 7*b**2 + 18*b. Let q be k(-9). Suppose s - 4*u - 34 + 12 = q, -2*u = -3*s + 86. Is 10 a factor of s?
True
Suppose -5*q = 3*r - 85, r + 7*q = 5*q + 30. Suppose 0 = 3*f - 4*n - 358, n + 3*n = r. Is 63 a factor of f?
True
Let l = 367 - 260. Is l a multiple of 13?
False
Is 18 a factor of ((-1)/((-28)/1127) - -3)*24?
False
Let i(u) = -4*u. Let r be i(2). Is (-194 - r)*1/(-3) a multiple of 16?
False
Suppose 1011*j - 56160 = 998*j. Is 72 a factor of j?
True
Let s = 23 + -62. Let b = 83 - s. Is b a multiple of 41?
False
Suppose 2*v - 189 = -19. Does 23 divide v?
False
Let x(i) = -5*i**3 + 5*i**2 - 5*i + 20. Let d(y) = -y**3 + y**2 - y - 1. Let p(g) = -4*d(g) + x(g). Let t be (6 - 6)/(1/(-1)). Is p(t) a multiple of 8?
True
Suppose -z + 1 = -1. Suppose -3*k + 36 = -z*k. Suppose -3*v - 30 = -5*h, 0 = 2*h + 4*v - k - 2. Does 3 divide h?
True
Let g(b) = 2*