/(-2). Is a(h) a multiple of 10?
False
Let g(m) = 40*m**3 + 5*m**2 - 4*m + 3. Does 12 divide g(3)?
True
Let w = 3 - -8. Suppose 2*j - 41 = i, 4*i + w = -1. Is j a multiple of 16?
False
Let s = -16 + -33. Let v = s + 56. Is 2 a factor of v?
False
Let x(q) = -q**3 + 11*q**2 + 5*q + 6. Does 7 divide x(7)?
False
Suppose 0 = 4*m - 4, 4*m = -2*r + 10 + 58. Is (-1)/(-4 - (4/r + -4)) a multiple of 8?
True
Suppose 419 = 2*w - 1. Does 6 divide w?
True
Suppose -8*b - z = -6*b - 951, 0 = -3*b + 4*z + 1421. Does 37 divide b?
False
Suppose 7*i - 6*i = 0. Suppose i = 9*p - 4*p - 200. Is 20 a factor of p?
True
Let f(u) = u**2 - 4*u - 17. Let h be f(9). Suppose 4*p - 4*c - h = 24, 3*c = -15. Is 5 a factor of 21*2 + p/(-4)?
True
Let g(n) = 5 - 4 + 80*n - 67*n. Suppose 2 - 8 = -2*p. Does 20 divide g(p)?
True
Does 35 divide -5 + 30*-2*52/(-8)?
True
Let f = -112 - -393. Is 9 a factor of f?
False
Let h(n) = 7*n**3 - 3*n**2 + n + 1. Let j be h(1). Suppose -j*v + 355 + 509 = 0. Does 48 divide v?
True
Suppose 17 = o + 9. Let t be 3370/o + (-1)/4. Suppose 7*p - t = -57. Is p a multiple of 12?
False
Suppose 6 = 5*r + 3*v, -4 = 2*r - 0*v - 2*v. Suppose -t - k = -4, r = 2*t + 3*t - 3*k - 20. Suppose -78 = -3*q + 4*g, -q + 0*q + t*g = -18. Does 9 divide q?
False
Let v = -47 + 39. Let f(g) = g**2 + 3*g - 2. Does 10 divide f(v)?
False
Suppose -2*v - 2*d - 72 = 0, -d - 96 = 3*v - 2*d. Let y = v - -108. Is 14 a factor of y?
False
Suppose 0 = 5*u - 3*u. Suppose 5*i + 35 = 6*f - f, u = -4*f + 2*i + 18. Does 3 divide f + ((-4)/2 - -4)?
False
Let y be 1/((-1)/2*2). Suppose -14*o - 9 = -107. Is 23 a factor of 490/o - (0 - y)?
True
Suppose -32*y - 22*y + 9396 = 0. Is 58 a factor of y?
True
Suppose 23 = 5*k + 8. Suppose -f = -2*n - 128, k*f = 5*f - 5*n - 254. Is 11 a factor of f?
True
Let t = 27 - 27. Suppose 2*x + q - 93 = t, -x - 2*q + 0*q = -51. Does 15 divide x?
True
Suppose 2*b - 5*c - 121 = 0, -16*b + 13*b + 129 = 3*c. Is b a multiple of 6?
True
Let i(g) = -94*g - 44. Is i(-6) a multiple of 65?
True
Suppose 353 = -5*z - 197. Does 8 divide 5*11/(z/(-96))?
True
Let q be -15*2*(-4)/(-24). Does 12 divide (-248)/q + 12/30?
False
Let l = -69 - -383. Is 8 a factor of l?
False
Suppose 0 = 3*j + 33 + 12. Let b(s) = -s**2 + 19*s - 13. Let y(k) = k**2 - k - 1. Let m(d) = -b(d) - 2*y(d). Does 13 divide m(j)?
False
Suppose 2*c = 9*c - 6321. Is (-2)/(287/c - (-1)/(-3)) a multiple of 17?
False
Let q = 256 + -40. Let o = 326 - q. Is o a multiple of 10?
True
Suppose -4*m = -m - 15. Suppose -m*u - 3*h + 146 = 0, 0 = -4*u + u - 4*h + 81. Suppose 5*n - 5*p - u - 124 = 0, -5*n + 4*p = -153. Is n a multiple of 8?
False
Let c = 99 - -1. Is 3 a factor of c?
False
Suppose 0*s + 15 = 5*s. Suppose -q = s*q - 304. Let p = q - 28. Is p a multiple of 26?
False
Does 33 divide (-3)/((-469)/77 - -6)?
True
Suppose 4*m = -5*t + 532, -3*t + 3*m + 511 = 2*t. Is 26 a factor of t?
True
Let b(u) = -u**3 - 11*u**2 - 9*u - 2. Let q be b(-8). Let j = -73 - q. Is j a multiple of 4?
False
Suppose 3*n + 8 = 7*n. Suppose 0 = n*w, 0*w = 3*j - 2*w - 168. Is j a multiple of 16?
False
Let u = 11 - 13. Let p(q) = -4*q - 5. Let y be p(u). Suppose 5*m + 0*m = y*x - 52, x + 5*m = 4. Is x a multiple of 7?
True
Let b be 2/8 - (-4)/((-64)/52). Let w(t) = -4*t - 1. Does 5 divide w(b)?
False
Suppose 6 = 2*y - d, -5*y + 0 + 4 = 3*d. Suppose -4*v - 4 = 0, -142 + 20 = -y*r + 4*v. Suppose 4*t + t = -4*g + 136, -5*t - r = -g. Is 13 a factor of g?
True
Let l(m) = m**2 + 6*m - 14. Let t be l(-8). Suppose -5*o + 0*n - t*n + 140 = 0, 5*n - 35 = -2*o. Is 15 a factor of o?
True
Let k = 28 - 51. Let p = -20 - k. Let w(g) = -g**3 + 8*g**2 - g - 2. Does 18 divide w(p)?
False
Let i be 670/(-4)*(-72)/30. Suppose 3*j + i = 4*p, j = p - 0*j - 100. Is p a multiple of 16?
False
Let k = 414 + -243. Is 3 a factor of k?
True
Suppose -7*l + 4*l + 3*h = -1362, 4*l - 1816 = 5*h. Is l a multiple of 15?
False
Let y = 2234 + -1444. Suppose -19*s + 24*s = -y. Let m = -100 - s. Does 19 divide m?
False
Suppose 0*l = -2*l + 14. Suppose -47 = -l*v + 37. Is 3 a factor of v?
True
Suppose -2*h - 1059 = -5*g - 5*h, 2*h - 1056 = -5*g. Does 70 divide g?
True
Let t = -740 - -1586. Does 9 divide t?
True
Let b be -1 - 24/((-8)/2). Suppose b*y = 2*r + r + 300, -4*y = 5*r - 240. Suppose 3*t + y = 6*t. Is t a multiple of 5?
True
Does 16 divide 12*7/(84/64)?
True
Suppose 0 = -4*t - 8, -3*t - 13 = c + 9. Let n = -15 - c. Does 16 divide -22*n*(-3)/2?
False
Suppose 3*l = 198 + 351. Does 16 divide l?
False
Let o = 889 - 157. Is 36 a factor of o?
False
Let m(l) = l**2 + 10*l - 25. Let z be m(-12). Let r(s) = 41*s**2 + s. Does 10 divide r(z)?
True
Let f be 4*(0 + (-5)/5). Let w(a) = -4*a**2 - 5*a - 4. Let q be w(f). Let y = -10 - q. Is 19 a factor of y?
True
Suppose 0 = -3*s - 5*x - 366, s - 5*x + 66 = -76. Let r = s + 139. Does 12 divide r?
True
Suppose 0 = 11*v - 12284 - 6889. Does 83 divide v?
True
Let z = -1691 - -2603. Is z a multiple of 12?
True
Let k = 123 - 82. Suppose 7 = 3*x - k. Does 4 divide x?
True
Suppose -2*o + 3*p + 125 = 0, 0*p - 285 = -5*o + 2*p. Does 32 divide o?
False
Suppose 2*j - 3*b - 3565 + 232 = 0, -8313 = -5*j + b. Is 111 a factor of j?
False
Suppose 0 = -2*s + 5*z + 66, -5*z + 16 = -z. Let p = s + -17. Does 8 divide p?
False
Let p = 69 - 49. Let g = p - 3. Is 13 a factor of g?
False
Let h = 52 + -87. Let r = -21 - h. Suppose 5*s - 209 = -r. Is s a multiple of 13?
True
Suppose 47*q - 26*q = 1596. Let a(m) = -10*m + 1. Let j be a(1). Does 6 divide (q/6)/((-6)/j)?
False
Suppose 4*r = 1334 + 714. Let g = -346 + r. Suppose -4*l = -6*l + g. Is l a multiple of 25?
False
Let w be (2 - 0/(-3)) + -3. Let a be (w - 0) + (6 - 2). Suppose -a*b + 5*q + 54 = 0, -2*q + 0*q = 0. Is 18 a factor of b?
True
Is 3 a factor of (((-3965)/(-10))/13)/(1/4)?
False
Let t be (55/(-3)*-1)/((-1)/(-3)). Let q = -9 + t. Is q a multiple of 23?
True
Let w = 47 + -43. Suppose -3*d + 0*d = -5*i - 68, 0 = -3*d + w*i + 64. Does 7 divide d?
False
Let a(w) = w**3 + 15*w**2 + 19*w - 24. Let j be a(-14). Let r = 140 + j. Is r a multiple of 18?
False
Suppose 0 = -0*d - 3*d - 288. Let t be d/20*(-90)/4. Is ((-4)/(-6))/(8/t) a multiple of 4?
False
Let g(p) = p**3 - 9*p**2 - 15*p + 1. Suppose 0 = 5*y + 15 - 70. Is g(y) a multiple of 26?
True
Suppose 81*v = 126*v - 28800. Does 32 divide v?
True
Suppose 2*t - 133 = 27. Suppose 0 = 5*l - 30 - t. Suppose 0*w = w - l. Is w a multiple of 7?
False
Let y(z) = z**3 + 9*z**2 + 2*z + 2. Let r be y(-7). Let i = r + -65. Is 15 a factor of i?
False
Let r be (-2)/4 - 25/(-10). Suppose -r*u - 4*z = 36, 2*z - 5 = 7*z. Is 13 a factor of 160/6 - u/(-24)?
True
Let v be 12/(-16) - 87/12. Let u be (-2)/v - 426/(-24). Let p = u - -25. Does 13 divide p?
False
Does 48 divide (-11)/(11/(-6)) + 762?
True
Let l(c) = c**2 - 7*c - 6. Let i be ((-1)/3*0)/2. Suppose 3*x - 27 = -i. Does 6 divide l(x)?
True
Let p(a) = 5*a**2 - 3*a - 8. Let n(y) = 11*y**2 - 7*y - 17. Let k(o) = -3*n(o) + 7*p(o). Does 2 divide k(2)?
False
Suppose x = -3*z - 0*z + 2187, 5*z = -5*x + 3655. Is 150 a factor of z?
False
Suppose -15 = 3*m - 57. Let k(i) = 9*i - 9. Is 23 a factor of k(m)?
False
Let q = 5367 - 3703. Is q a multiple of 13?
True
Suppose 8*a - 3*a - 3*i - 2730 = 0, 0 = 3*i. Is a a multiple of 14?
True
Let x be (-10)/4*4/(-5). Let p be (4/x)/2 - 36. Let w = p - -63. Is w a multiple of 9?
False
Suppose 4*i - 19 + 1 = -k, -k - 2*i + 8 = 0. Does 11 divide k - (3 - (24 + 1))?
False
Suppose 5*z = 5*o - 30, 0*o = 5*o + 2*z + 5. Let q(t) = 9*t**2 + 3*t - 1. Is 11 a factor of q(o)?
True
Suppose -2*j = -j - 4. Suppose -3*f - v - j*v = -63, -3*v = -5*f + 105. Suppose -s = -0*s - f. Does 5 divide s?
False
Suppose 48*k - 177708 = -11*k. Does 28 divide k?
False
Suppose 13*j + 1486 - 11834 = 0. Is 48 a factor of j?
False
Let z = -2 + 12. Let d(b) = -5*b**3 - 10*b**2 - 7*b - 5. Let h(v) = -11*v**3 - 20*v**2 - 15*v - 9. Let o(x) = -13*d(x) + 6*h(x). Is 7 a factor of o(z)?
True
Let y(m) = m**3 - 21*m**2 + 4*m + 1. Is y(21) a multiple of 2?
False
Suppose 13*t - 567 = 6*t. Let c = t + -51. Is 10 a factor of c?
True
Let v(n) = -991*n + 17. Does 17 divide v(-1)?
False
Let w be (-14)/91 - (-74260)/26. Suppose 41*o = 33*o + w. Does 51 divide o?
True
Let a(r) = 4*r**2 + 2 + 2*r**2 - 2*r**2 - r. Let j be a(1). Suppose s = 2*