 = -39. Does 2 divide v?
True
Let m be -15*(-2 - 12/(-9)). Does 4 divide (87 - 1)/(m - 8)?
False
Suppose -20 = -4*v + 16. Suppose -5*x + 5 - 17 = 4*q, 3*q = 3*x - v. Suppose x = -2*s + 11 + 1. Is 4 a factor of s?
False
Is ((-614)/(-6))/(-1 - (-8)/6) a multiple of 43?
False
Let g(s) = -s**2 + 5*s - 6. Let m be g(5). Let f be (-2640)/(-27) - m/27. Let l = f - 66. Does 8 divide l?
True
Let h = 853 + -459. Suppose h = 2*i - 4*m, -i + 69 = 5*m - 163. Is i a multiple of 23?
True
Let y be (-3 - 729/2)*(-6)/9. Suppose 3*x = p - 245, p - y = -0*p + 5*x. Does 17 divide p?
False
Does 44 divide 8/(-18) - (12356/(-18) - 5)?
False
Let q = 1753 + -1001. Is q a multiple of 4?
True
Let u be ((-18)/5)/(4/20). Let r(l) = l**2 + 2*l - 21. Let v be r(-9). Let m = v - u. Is m a multiple of 12?
True
Suppose 2*o + 3*o - 5*q = -275, 0 = 5*q - 15. Suppose 99 = 3*x - 6*x. Let u = x - o. Does 19 divide u?
True
Let s(a) = -166*a + 4. Let f(l) = -l. Let p(v) = 4*f(v) + s(v). Is 18 a factor of p(-1)?
False
Suppose -12 = -3*j - 15. Is (-7338)/(-24) - (j - 1)/8 a multiple of 18?
True
Let a = 82 - 0. Suppose -d + a = 34. Is d a multiple of 12?
True
Let i(d) = d + 1. Let x(y) = 2*y + 88. Let r(m) = -i(m) + x(m). Let u(c) = 3*c**2 - 26*c + 48. Let f be u(6). Is 13 a factor of r(f)?
False
Let u(j) = -115*j - 140. Is 5 a factor of u(-5)?
True
Is 6 a factor of -10*(42/10)/(-7)?
True
Suppose -5*h - 52 = t, h + 3 + 2 = -2*t. Let d = h - -14. Suppose 3 = u - 5*i, -u = -2*u + d*i + 5. Is 8 a factor of u?
True
Suppose 0*l - 4*l = g - 14, -2*l = g - 10. Suppose i - 308 = k, 15 = k - g*k. Is 13 a factor of i?
False
Let k(v) be the third derivative of 3*v**5/2 + 4*v**2. Let j be -3*14/21*(-2)/4. Does 30 divide k(j)?
True
Let b(y) = 43*y - 129. Does 5 divide b(15)?
False
Let s(x) = -x - 3. Let g be s(-8). Suppose -3*a - 27 = 2*a + 2*n, 0 = a + 3*n - g. Let v(q) = -6*q - 6. Is 18 a factor of v(a)?
True
Suppose 5*a - 1 = 4. Let g be (-85)/34 - (-1)/(-2). Let i = a - g. Is i even?
True
Let a(d) = 11*d - 5 + 10*d - 32*d - 2. Suppose 4*l = p + 23, 3*p - 7*l + 3*l + 37 = 0. Is a(p) a multiple of 14?
True
Let m(q) = 2*q**2 + 7. Let b(x) = -x**2 - 14*x - 7. Let f = 31 - 45. Let g be b(f). Is 15 a factor of m(g)?
True
Let o = 12 + -7. Let a(l) = -4 + 2*l - o*l - 3. Is 8 a factor of a(-5)?
True
Let h(p) = p**3 + 15*p**2 + 5*p + 61. Is 21 a factor of h(-13)?
False
Let c be 2/6 + 3/(-9)*-20. Let y(m) = -6*m**2 + 2*m - 3. Let n(x) = 11*x**2 - 5*x + 6. Let l(d) = 4*n(d) + 7*y(d). Is l(c) a multiple of 17?
False
Let m = 221 - 33. Does 11 divide m?
False
Suppose 7*y = 6*y, 0 = -5*o + y + 8435. Is o a multiple of 41?
False
Let m be 16/3*18/(-8). Let j = m + 15. Suppose u + 3*t - 40 = -t, -3*t = j*u - 93. Is u a multiple of 11?
False
Let c be 4*1*(-1005)/10. Is 23 a factor of (-8)/(-6) + c/(-9)?
True
Suppose 0 = 2*i + 5*c + 25, -1 = -3*i - 4*c - 21. Suppose 3*r + 2*k - 106 = i, 5*k - 94 = -0*r - 3*r. Suppose 0 = -3*o, 2*m + o - r = 28. Is 11 a factor of m?
True
Let h(n) = -137*n + 302. Is h(0) a multiple of 5?
False
Let g(p) = -p - 12. Let a be g(-10). Let d be (-9 - a)*12/(-14). Is 12 a factor of d/(-42) - 85/(-7)?
True
Suppose 5 = -4*q - q. Let l = q - -5. Does 13 divide 70 + 2/(-1) - l?
False
Suppose -7*p - 507 - 18 = 0. Does 18 divide (-2 - (4 + p)) + -1?
False
Let d(i) = i**2 - 10*i - 21. Is d(-11) a multiple of 37?
False
Let c = -4746 + 8026. Is 103 a factor of c?
False
Let g = -268 + 313. Is g a multiple of 5?
True
Suppose 2*o - 264 = -5*p, o + 2*o + 4*p = 396. Let r(k) = -k**3 + 3*k**2 + 5*k - 2. Let t be r(4). Suppose 4*y - t*y = o. Is 22 a factor of y?
True
Let a = -30 + 21. Let g = a - -14. Suppose -k + g*u + 57 = 0, -96 - 111 = -5*k - u. Is k a multiple of 14?
True
Suppose -1 = -6*u + 5*u. Suppose 2*j - 229 = -u. Does 19 divide j?
True
Let u(m) = -m**2 - 12*m - 6. Let b be (-2)/(-3)*18/(-4). Let j be -12*((-8)/b + -2). Does 9 divide u(j)?
False
Let b = -9 - -11. Suppose -b*x - x = 4*p + 14, -2*p - 2 = -x. Is 17 a factor of -74*(7/x)/7?
False
Let m(b) = 3*b**2 + 3*b - 42. Does 37 divide m(13)?
False
Let o(f) = -f - 2. Let z be o(-6). Suppose -3*s = 15, -z*l + 2*l + 5*s + 29 = 0. Suppose -5*m - l*x = -98, 3*x = 8 + 4. Does 9 divide m?
True
Suppose 2*n - 249 - 361 = 0. Let c = n - -91. Suppose 6*l = -72 + c. Is 18 a factor of l?
True
Let w(y) = -44*y + 1. Is w(-3) a multiple of 7?
True
Suppose 2*f + 120 = 7*f. Suppose -3*n + f = -3*r, 0 = -5*r + r + 4. Is 2 a factor of n?
False
Suppose -2*g + 3 + 11 = 0. Suppose -23 = -o - 4*n, 4*o + 5*n = g*n + 74. Does 8 divide o?
False
Does 44 divide 4440/16*2/3?
False
Let v(r) = -7 + 2 - 3*r - 3 - 4. Does 2 divide v(-9)?
False
Suppose 2*a - 8*a = -12. Suppose u = -4*k + 119, a*k = -k + 4*u + 94. Is k a multiple of 5?
True
Suppose 11*q - 26402 = 22108. Does 98 divide q?
True
Let r = -16 - -21. Let k(s) = -s**2 + 5*s + 3. Let c be k(r). Suppose -5*j + w + 118 = 43, 0 = c*j + 2*w - 45. Is 8 a factor of j?
False
Let g(r) = -r + 64. Suppose 0 = -2*q - 8, -i - 4*q + 4 = -5*q. Is g(i) a multiple of 16?
True
Suppose 0*y + 5*y - 4*p = -1422, -2*y - 549 = 5*p. Let h be (y/(-15))/(4/10). Suppose -4 - h = -3*k. Is 10 a factor of k?
False
Let t(f) = -f**3 + 5*f**2 - f + 3. Let s(u) = u**2 - 4. Let d be s(-3). Let l be t(d). Does 8 divide (9 - -2) + 6/l?
True
Let f be 1/3 - (1 - (-296)/(-12)). Suppose 4 = -2*w + 2*j - 24, 2*w + 25 = 5*j. Let o = w + f. Is o a multiple of 3?
True
Let l(i) = -i + 10. Let p be l(6). Let o = -27 - -53. Suppose j + 2*h + 2 = o, j = p*h. Does 16 divide j?
True
Let c = 70 - 67. Suppose -2*r + 4*s = -72, -s + 192 = 4*r + c. Does 17 divide r?
False
Let w be 4/(-30) - (-394)/30. Suppose w*s - 320 = 3*s. Is 4 a factor of s?
True
Let d(o) = o**3 - o**2 - o - 1. Let j(q) = 4*q**3 + 11*q**2 - 22*q + 16. Let i(k) = 5*d(k) - j(k). Is 3 a factor of i(15)?
True
Let z(k) = 2*k**2 + 17*k + 16. Let j be z(-7). Does 42 divide (-364)/2*(-1 - (-5 - j))?
False
Suppose 750 = 3*w + 2*r, 3*r + 9 + 0 = 0. Suppose -w = -4*a - 36. Is 17 a factor of a?
False
Let t(q) = -5*q**3 + 6*q**3 + 2*q**2 + 12 - 6 - 7*q + 2*q**2. Does 12 divide t(3)?
True
Suppose -6792 = -y - 4894. Is 35 a factor of y?
False
Suppose -3*q + 434 = -19. Is q a multiple of 42?
False
Suppose 10*d - 794 = 2866. Is d a multiple of 2?
True
Let d = 3319 + -1555. Is 6 a factor of d?
True
Let c(t) = t + 15. Let w = 18 - 25. Let k be c(w). Is 5 a factor of ((-15)/4)/((-3)/k)?
True
Let x(c) = -c - 5. Let y be x(-6). Let q(l) = 4*l**2 - l. Let h be q(y). Suppose 2*o = h*t - 58, -28 = -t - t + 4*o. Is 12 a factor of t?
False
Let l(w) = -w - 31. Let t be l(-19). Let m(x) = -x**2 - 28*x + 15. Does 19 divide m(t)?
False
Let q(a) = -2*a**3 - 21*a**2 - 11*a - 11. Let s be q(-10). Is (9/12)/(s/(-172)) a multiple of 43?
True
Let u = -20 + -2. Let b = -17 - u. Is b even?
False
Let q = -4297 + 6102. Suppose 581 = -8*r + q. Is r a multiple of 21?
False
Does 12 divide (-6 + 49/14)*-384?
True
Let n(t) = 6*t + 7. Let x be n(9). Suppose 5*l - 419 = x. Is l a multiple of 32?
True
Suppose -2*z = -0*d + d + 1, -4*z - 7 = d. Suppose 0 = -d*g + 5*v, -3*v + 5*v = -2. Does 8 divide g - (0 - 23 - 2)?
True
Does 16 divide ((-18942)/(-205))/((-3)/(-80))?
True
Suppose 3*d + 2*v = 1894, 2*d = -3*v + 75 + 1186. Is d a multiple of 94?
False
Let b be (-15 - (0 - 1)) + 1/(-1). Let t = 40 + b. Is 5 a factor of t?
True
Is (-2 - -2254)*30/40 a multiple of 25?
False
Suppose 2*d = -3*l + 21, l + 7 = 2*l + 5*d. Suppose 5*z - 256 = -2*r, 2*z + 265 = l*z + 5*r. Is z a multiple of 10?
True
Suppose -4*z + 2*x = -2*x - 20, 5*x = 2*z - 13. Suppose -z*q + 16 = -80. Is q a multiple of 6?
True
Let j(x) = -x**2 + 10*x + 4. Let n be j(10). Suppose -4*b - n*f = -200, b - 5*f - 30 = -2*f. Is 9 a factor of b?
True
Suppose 0 = 3*v - 13*v + 1590. Does 16 divide v?
False
Suppose 1052*k + 256 = 1053*k. Does 16 divide k?
True
Let m(r) = -r**2 + 12*r + 0*r**2 + 2 + 3 + 5. Suppose 121 = 14*z - 3*z. Is 6 a factor of m(z)?
False
Suppose -2*w - 5 - 8 = 3*o, -3*w - 2*o - 12 = 0. Let i be w/(0 + -1 - -2). Does 8 divide -48*(6/9)/i?
True
Does 41 divide -11 - 4*(-1677)/6?
True
Let v be -5*(-4 - (-44)/(-10)). Let t be (1/6)/(7/v). Does 16 divide 7 - 3 - t - -38?
False
Let l = 68 + -68. Suppose 3*o - 165 - 9 = l. Is 9 a factor of o?
False
Let v be 21 - (-2 + -2) - -1. Suppose 