-4*s + 40. Suppose -39 = -s*j + 136. Is 10 a factor of j?
False
Let m = 34 - -35. Is m a multiple of 3?
True
Does 34 divide (2/(-2))/(2 - (-1977)/(-988))?
False
Let w = -583 - -1695. Does 20 divide w?
False
Let h be 435 - (2 - 1 - 3). Suppose -7*t = -h + 45. Is 14 a factor of t?
True
Suppose 0 = -7*x + 6*x + 393. Suppose -x*v - 656 = -395*v. Does 16 divide v?
False
Let o(a) = 3*a**2 + 45*a - 8. Does 55 divide o(-19)?
True
Suppose 24 = d - 4*k, -4*d = 4*k - k - 20. Suppose -5 = d*v - 53. Is v even?
True
Is ((-2)/(-2))/((-21)/(-4914)) a multiple of 13?
True
Suppose 11*b + 1890 = 6884. Does 27 divide b?
False
Let z(w) = -13*w + 83. Is 73 a factor of z(-12)?
False
Let h be 0 - (-1 - (-172)/(-2)). Let c be 7 - 7 - (-83 + -3). Suppose -4*g + 2*k + c = 0, g - 5*g = -3*k - h. Is g a multiple of 7?
True
Let h = -126 + 255. Suppose s - h = 57. Is s a multiple of 23?
False
Let h(k) = -k - 7. Let j be h(-9). Is 1083/33 - j/(-11) a multiple of 4?
False
Suppose 54 = 4*k - 5*s, 0 = -k - 2*s + 3*s + 14. Suppose 0 = -4*g + 20 + k. Does 7 divide g?
False
Let z(d) = -d**3 - 15*d**2 + 11*d + 63. Does 15 divide z(-16)?
False
Does 17 divide 18/3 + 4*75?
True
Let a(h) = 513*h**2 - 5*h - 6. Is 16 a factor of a(-1)?
True
Let a = -58 - -64. Suppose a*l - 3*l - 121 = -5*y, 0 = 2*l + 5*y - 84. Does 9 divide l?
False
Let k = 1432 + -50. Does 10 divide k?
False
Suppose -3 = -2*v + 19. Let c(w) = -16*w**3 + 9*w**2 + 24*w - 14. Let u(i) = -3*i**3 + 2*i**2 + 5*i - 3. Let n(l) = v*u(l) - 2*c(l). Is 16 a factor of n(4)?
False
Suppose -79 = -n - 3*z, 116 + 108 = 3*n - 4*z. Let p = 165 - n. Is 6 a factor of p?
False
Suppose k + k = 0. Suppose 5*q + 3*l - 16 = k, 0 = 5*q - 0*q - 4*l - 2. Does 29 divide 4 + (-94*q)/(-4)?
False
Let c = 3 - 6. Let w be 3/c + (-13 - 8). Does 7 divide w/4*-8 + 1?
False
Let k = -23 + 25. Suppose m + k = 4. Is 17 a factor of 187/3 - m/6?
False
Suppose 5*b - 6 = -1. Let x(c) = 30*c + 7. Is 16 a factor of x(b)?
False
Suppose -558*z - 91 = -565*z. Does 5 divide z?
False
Suppose 5*w - 10 = x, -w - 10 = -6*w - 2*x. Is (-9)/(w + 1)*-33 a multiple of 33?
True
Let f(s) = s**3 + 10*s**2 + 17*s + 56. Is 16 a factor of f(-8)?
True
Let h(z) be the first derivative of 2*z**4 + z**3/3 - 3*z**2/2 + 2*z - 8. Let t be h(2). Is 13 a factor of 4*(-4)/(t/(-52))?
True
Let d be 4 + (-3)/9*-9. Let j = d + -2. Is j a multiple of 4?
False
Suppose -4 = -4*y + 3*m + 5, -2*y + 2 = -2*m. Let z(n) = -n**2 + 5*n + 8. Let l be z(y). Suppose l*j + 4*a + 8 = 0, -4*a + 1 = -j + 15. Is j a multiple of 2?
True
Let z be (12/18)/((-2)/(-15)). Suppose 70 = z*i - 3*i. Is i a multiple of 7?
True
Let w(r) = 18*r**3 + 2*r + 2. Let n be w(-1). Let c = -1 - n. Is c a multiple of 17?
True
Suppose -5*n - 3*v = -278, 3*n - 3*v - 168 = -6*v. Suppose f = 5*m - 5, -3*f - 5*m = -7*f + n. Is f a multiple of 10?
True
Let p = 27 + -42. Let g = 22 + p. Does 7 divide g?
True
Let s = -70 + 83. Is s/(-2)*(4 - (0 - -6)) a multiple of 3?
False
Let x be 1043 + 0 + 4 + -3. Does 29 divide (8/(32/x))/((-3)/(-2))?
True
Suppose 4*u + 1752 = -3*o + 5734, 5*u + 3973 = 3*o. Does 39 divide o?
True
Let q(t) = -t**2 - 14*t - 3. Suppose 0 = 5*r - 5*k - 35, 0 = -r + 3*r + 3*k + 11. Let h be (r + 0 - 4) + -11. Does 10 divide q(h)?
True
Let f = 16 - 12. Suppose -87 = -u - x - 37, -4*u + f*x + 168 = 0. Suppose d - u = -14. Is 8 a factor of d?
True
Let b(v) = -v**2 - 3*v + 2. Let y be b(0). Suppose 2*d + 5*o = 257, -y*d = -5*d + 2*o + 414. Does 14 divide d?
False
Suppose u - 5*d = 38 + 190, -u = 3*d - 260. Does 21 divide u?
False
Let a(f) = 4*f + 17. Let l(x) = 1. Let n(c) = -a(c) - 4*l(c). Is 3 a factor of n(-6)?
True
Let i = -74 - 20. Let k = -31 - i. Does 9 divide k?
True
Suppose -3*g + k = -308, -2*g + k + 205 = -0*g. Suppose w - g = 14. Is 13 a factor of w?
True
Suppose -2*c = 2*h - 7514, -5*h - 3377 = -3*c + 7862. Is c a multiple of 27?
True
Let c(o) = o**2 - 7*o + 17. Let a be c(4). Suppose -5*y = -4*y + 3*j - 233, 0 = -a*j + 15. Is 16 a factor of y?
True
Suppose -4*w - 6 = 14. Let n(i) = -10*i - 6. Let r(m) = -9*m - 5. Let d(o) = w*r(o) + 4*n(o). Does 14 divide d(4)?
False
Let j(q) = -q**3 + 4*q**2 - 7. Let m be j(3). Suppose -505 = -4*g + 5*y, -m*y - 5 = 3*y. Suppose -3*s + g = -196. Does 20 divide s?
False
Does 60 divide 1 + 3036 - (14 + (10 - 21))?
False
Let i = -12 + 18. Suppose -2*d + i = -0. Suppose -29 = -5*x - 2*r, -5*x + 0*r + d*r + 44 = 0. Does 7 divide x?
True
Is 7 a factor of (6420/(-150))/((8/2)/(-140))?
True
Let w = -3799 + 5463. Is 104 a factor of w?
True
Suppose -3*k = 2*c - 730, 4*k + 387 = 5*c - 1392. Is c a multiple of 2?
False
Let u(h) = -h**2 + 40*h + 7. Does 53 divide u(14)?
True
Let v(r) = r**3 - r**2 - 2*r. Let k be v(-1). Suppose -g + 111 - 22 = 0. Suppose -3*i + g - 5 = k. Is 14 a factor of i?
True
Let t(s) = s**3 - 4*s**2 + s + 9. Let l be t(4). Suppose 9*q + 480 = l*q. Is 29 a factor of q?
False
Suppose -8*i + 5*i = -9. Suppose 13 = -i*h + 76. Is 6 a factor of h?
False
Let c = -20 + 60. Is c a multiple of 10?
True
Let f be (-2 - -7)*((-290)/25 - -2). Let m = f + 71. Does 5 divide m?
False
Let x = -63 + 65. Suppose -3*i - 2*i = -4*g - 130, 20 = i - x*g. Is i a multiple of 6?
True
Suppose -6*h = -2*h - 8. Does 10 divide 45/h*(-8)/(-3)?
True
Let d be ((-10)/(-6))/((-5)/(-12)). Suppose -25 = -7*z + 2*z. Suppose 2*y + d*h + 88 = 6*y, -z*h = 4*y - 79. Does 11 divide y?
False
Suppose -11*q - 303 = -2239. Is 12 a factor of q?
False
Suppose 0 = -2*c + 4*l + 626, -l + 5*l - 4 = 0. Does 6 divide c?
False
Let f = 16 - 7. Suppose -f = -2*k - k. Suppose 5*l + k*j - 90 - 29 = 0, 0 = 3*l - 2*j - 60. Is 17 a factor of l?
False
Suppose 26*i - 1471 = 5549. Is i a multiple of 51?
False
Suppose 2*t - 6*t = 0. Suppose -2*m + 8 = 0, -4*x + t*m + 4*m = -372. Is x a multiple of 15?
False
Let c = 1460 - 836. Suppose -7*g = -3*g - c. Suppose -2*b = -6*b + g. Is 13 a factor of b?
True
Let t = 26 + -28. Does 8 divide t/(-8) - (-1908)/48?
True
Let l(b) be the second derivative of -b**5/20 - 5*b**4/6 + b**3/2 + 11*b**2/2 - 4*b. Is 27 a factor of l(-11)?
False
Does 29 divide (-2529 - 0)*(-144)/216?
False
Let g(p) = p**2 - 10*p + 12. Let c(y) be the first derivative of y**4/4 + 4*y**3/3 - y**2/2 - 2*y + 7. Let a be c(-3). Is 4 a factor of g(a)?
True
Let g be 2/4 - (-5)/2. Let i = -8 - -64. Let l = i + g. Is 10 a factor of l?
False
Let o(v) be the first derivative of -v**4/4 - 5*v**2/2 + 2. Is 21 a factor of o(-4)?
True
Suppose -51*y + 6896 = 3*b - 55*y, -2*b - 5*y + 4628 = 0. Is 121 a factor of b?
False
Suppose -5*z + 5*n - 944 + 6784 = 0, z - 1183 = -4*n. Does 76 divide z?
False
Suppose 4*x = 6*x - 10. Suppose x*y = y + 20. Suppose -4*h + 15 = h, 5*j = 5*h - y. Is j even?
True
Let o = -3 - -7. Suppose 665 = z + o*z. Does 28 divide z?
False
Let z be 215/(-6) + 1/(0 - 6). Let o = 56 - z. Does 14 divide o?
False
Suppose -2*k + 2*o - 456 = -46, -2*k - 408 = -4*o. Does 12 divide 1/(-2 + k/(-102))?
False
Suppose q = -4*q - 4*p + 25, -2*p = 4*q - 20. Suppose -5*j + 20 - q = 0. Suppose -2*l - 13 + 109 = j*g, 4*l - 186 = -3*g. Is l a multiple of 15?
True
Let i(l) = -l**2 - 18*l - 27. Let w be i(-16). Suppose -127 - 335 = -w*z - 4*r, r - 92 = -z. Does 14 divide z?
False
Let h = -389 - -568. Is 4 a factor of h?
False
Let c(p) = p**3 + 9*p**2 - 11*p - 10. Let y be c(-10). Suppose y = -4*j - 213 + 913. Does 43 divide j?
False
Does 11 divide (4548/(-18))/(28/(-42))?
False
Suppose -861 = 3*h - 3*n + 801, -4*h + 3*n - 2217 = 0. Let v = h - -796. Let s = v - 146. Does 19 divide s?
True
Let d = -429 - -1245. Suppose 27*i - 31*i + d = 0. Is 34 a factor of i?
True
Let f(q) = -25*q - 93. Is f(-11) a multiple of 14?
True
Does 2 divide (-1)/(2 + (-234)/116)?
True
Let q(m) = -m**2 + 3*m**2 + 1 - 2 - m**2. Let a(l) = 2*l + 3. Let d be a(-4). Is 24 a factor of q(d)?
True
Suppose 0 = 4*d, -3*n = 3*d + 250 - 1042. Let k be (-9)/(-3) - (4 - n). Suppose 5*y - k - 56 = -3*g, -322 = -5*y - 4*g. Is y a multiple of 14?
False
Suppose 2*g + 0*g - 10 = 0. Let n(r) = -23*r - 2. Let w(q) = 22*q + 2. Let d(t) = g*n(t) + 6*w(t). Is d(1) a multiple of 19?
True
Let o be (-3)/12 + (-39)/(-12). Suppose -2*s + 88 = -0*s + 4*r, -o*s = -3*r - 105. Does 5 divide s?
False
Suppose -3*f + 4 + 62 = 0. Suppose f*g - 24*g = -44. Is 9 a factor of g?
False
Suppose -y + 8*d + 53 =