/i)?
True
Suppose -44 = -m - 3*l, m - 2 = -4*l + 47. Let v = m - 21. Does 8 divide (31 + 1)/(v/4)?
True
Let j(g) = -g**3 + 6*g**2 + g + 2. Let r be j(6). Suppose -4*f - 148 = -r*f. Is f a multiple of 10?
False
Let x(n) = n**3 - 8*n**2 - 5*n + 2. Let w be x(9). Let p be (-4)/18 - w/(-9). Suppose -p*l - 3*i = -310, -3*i + 7*i + 245 = 3*l. Is l a multiple of 24?
False
Suppose -8*u + 4*u + 232 = 0. Suppose 2*h - 172 = -u. Is h a multiple of 19?
True
Let j = 9 + -7. Suppose 5*l - 89 = -3*k, -104 = j*k - 5*k - 2*l. Does 14 divide k?
False
Let w(h) be the second derivative of 3*h**3/2 - 3*h**2 + 6*h. Let d be w(-13). Is 7 a factor of 1/3 - d/9?
True
Let z be (-2)/10 - 468/(-65). Suppose 5*f = 5*v - 700, -3*f = -5*v + z*v - 265. Does 24 divide v?
False
Suppose 5*p - 6 = -v, 4*v = -0*p + 4*p. Let f be 6*((-2166)/(-4) - p). Is 14 a factor of (-8)/52 + f/39?
False
Suppose 4 = t + 2. Let k = 85 + -42. Suppose -53 = -t*p + k. Is p a multiple of 16?
True
Let i be 3 - (12 - (-4 - -7)). Let l be 78/(-12) + i/4. Does 6 divide (-30)/l*64/12?
False
Let f(w) = w + 1. Let n be f(1). Let o be (n/6)/((-10)/60). Is (-5)/o*(-16)/(-10) a multiple of 2?
True
Let p = 41 - -676. Does 4 divide p?
False
Let i = 26 - 10. Does 8 divide (4*(-2)/4)/((-4)/i)?
True
Let x be (8/5)/((-14)/(-35)). Suppose 5*n = x*n + 25. Suppose o = -n + 58. Does 6 divide o?
False
Let f be 385/4 + 5/60*-3. Suppose 0 = 3*q - 0*q - f. Is 16 a factor of q?
True
Suppose 409*b - 3*m = 411*b - 2400, 2*b + 4*m - 2400 = 0. Is 5 a factor of b?
True
Suppose -3*w + 13 = -2*t, 0*w - 5*w - 5*t + 30 = 0. Suppose 0 = w*i - 513 - 452. Is i a multiple of 19?
False
Let j be (-2 - 12*7)/(-4 + 5). Let i = 194 + j. Does 12 divide i?
True
Suppose -m = 5*w - 165, 988 - 279 = 5*m - 4*w. Let q be 32/(-8) + m*1. Suppose -12*n = -9*n - q. Does 19 divide n?
False
Suppose 15*f = -3371 + 8771. Is f a multiple of 10?
True
Suppose -5*q + 97 = -108. Suppose -3*s - s - 2*p + 46 = 0, -3*p = 4*s - q. Is 2 a factor of (12/s)/((-3)/(-14))?
True
Suppose -5*q = -2*q - 0*q. Let o be (14 + 0)/((-2)/(-42)). Suppose -4*l - 2*b = -o, 2*l - b = -q*l + 137. Does 22 divide l?
False
Suppose -771 = -4*c - 51. Suppose 55*x = 60*x - c. Does 18 divide x?
True
Let a(q) = 3*q**2 + 4*q - 28. Is a(-8) a multiple of 35?
False
Suppose -14*s + 15312 = 30*s. Does 6 divide s?
True
Let w(y) = -645*y**3 + 2*y**2 + 2*y. Is 43 a factor of w(-1)?
True
Suppose 4*u = 5*f - 1335, -264 = -f + 4*u + 19. Does 10 divide f?
False
Let q be -6*1*280/(-84). Let k(v) = -v**2 + 33*v - 37. Does 12 divide k(q)?
False
Let h = -1361 - -3490. Does 81 divide h?
False
Let x = 197 + -138. Does 4 divide x?
False
Let j = -69 - -228. Suppose -5*a - 3*u = -296, 5*a - 5*u - j = 121. Is 14 a factor of a?
False
Let v(o) be the first derivative of 2*o**3/3 - 7*o**2/2 + 3*o + 5. Let a be v(6). Suppose -4*j - 8 = 2*f - 44, -3*j = -f + a. Does 12 divide f?
True
Suppose 0 = -3*u + 8*u - 6480. Is u a multiple of 27?
True
Suppose 0 = 4*m - 25 - 111. Let h = m + -18. Let i = -6 + h. Is 10 a factor of i?
True
Suppose g + 656 = -5*v, v = 3*v + 2*g + 256. Let l = v - -379. Is 37 a factor of l?
False
Let s be (-3 + (-44)/(-12))*3. Let l = 2 + s. Suppose l*r - 96 = 2*r. Is 16 a factor of r?
True
Suppose 4*g - 189 = 5*u, -g = -3*u - 2*u - 186. Let s be 4 - 7/1 - u. Suppose -j + s = -20. Is 27 a factor of j?
True
Suppose 4*o + 1192 = 5*g - 0, 894 = -3*o + 4*g. Let l = o - -464. Is 37 a factor of l?
False
Suppose -3*f - 10 = 2*f. Let h(o) be the second derivative of -o**5/20 + o**4/6 + o**3/2 + o**2 + o. Does 4 divide h(f)?
True
Let x(w) = 3*w + 12. Let z be x(-5). Does 15 divide 6/4*(-38)/z?
False
Let w be ((-2)/(-8))/(13/104). Let a be 0*(-2)/4*1. Suppose -80 = -4*b + w*c, 0 = -5*b - c - a*c + 93. Is b a multiple of 19?
True
Suppose -6*j - 128 = -7*j. Let h = -66 + j. Let l = h + 17. Is 16 a factor of l?
False
Suppose -2*z + 4*c = 2*z - 248, 3*c + 6 = 0. Suppose 5*l - 100 = z. Suppose 2*j - 5*x + 0*x - l = 0, x = -j + 30. Is j a multiple of 13?
True
Suppose -j + 235 = 4*j. Suppose -3*h = 3*w - 34 + 7, j = 5*w + 3*h. Does 10 divide w?
True
Let z(l) = l**2 + 1. Let m be z(-1). Let t(g) = -18*g - 51. Let k be t(-3). Suppose k*j = d - m*j - 25, 3*j + 6 = 0. Is 15 a factor of d?
True
Let j(d) = d**2 + d + 11. Suppose 6*c = -2*c. Is 11 a factor of j(c)?
True
Suppose 79 = 35*b - 446. Is b a multiple of 15?
True
Suppose -2*p + 7*w - 3*w = 12, w = -3*p + 17. Suppose -f + 3 = -2*g + 186, -p*f = -4*g + 364. Does 4 divide g?
True
Suppose d - 4*d = -15. Suppose 0 = 3*k + 3*q - 156, d*k + 3*q - 85 = 179. Is k a multiple of 9?
True
Let j(b) = -18*b + 151. Let z(o) = -9*o + 75. Let m(v) = 6*j(v) - 13*z(v). Is 24 a factor of m(19)?
False
Suppose -16 = -15*t + 11*t. Suppose -b - 48 = -3*l, -4*l + 51 = -b + t*b. Does 5 divide l?
True
Let t(y) = 12*y**2 - 5*y - 28. Does 8 divide t(6)?
False
Let x(q) = 108*q**2 - 3*q - 1. Does 11 divide x(-1)?
True
Let j(z) = 3*z**2 - 4*z - 9. Let m(f) = f**2 - f - 3. Let p(y) = 3*j(y) - 8*m(y). Let x be p(6). Is 4 a factor of 3*-5*(-3)/x?
False
Suppose -3*g + 4*y = 25, -5 + 1 = -4*y. Let r(x) = 3*x**2 + 6*x + 10. Let c be r(g). Let w = c - 79. Does 12 divide w?
True
Suppose -11*q + 1490 = -14240. Does 42 divide q?
False
Does 7 divide 38016/84 - 36/63?
False
Suppose 4 = -3*t - 5*z + 38, -2*t - z = -11. Suppose -3*g - t*b + 330 = -0*g, -2*b = -4. Is g a multiple of 18?
True
Does 14 divide (-9)/((-81)/582) + 7/21?
False
Let w = 1866 + -1093. Is 23 a factor of w?
False
Suppose -6*v = 2*j - 3*v - 22, 22 = 2*j - 5*v. Let a(r) = 0*r - r + 10 + 2*r + 0*r. Is a(j) a multiple of 19?
False
Let n(f) = -13*f - 2 + 6 - 2 - 20*f. Does 17 divide n(-2)?
True
Suppose 0 = -5*h - 4*k + 410, -4*h + h - 2*k + 248 = 0. Let a = h + -5. Does 19 divide a?
False
Let h(w) = 3*w**2 + 2*w + 1. Let n be h(-1). Let z be (-7)/14*0/2. Suppose i - 16 = -3*u, -n*u + z*u = 8. Is 14 a factor of i?
True
Suppose 4*n - 5 = 3*f, -14 = -3*f - 3*n + 16. Suppose -5*v - 30 = -5*b, -18 = 2*v - b + f*b. Is 12 a factor of (0 + (-36)/7)*v?
True
Let j(f) = f**2 + 9*f - 1. Let w be j(-5). Suppose 2*a = -b + 71, 54 = 4*a + 4*b - 82. Let n = a + w. Is 4 a factor of n?
True
Let y = -115 - -460. Is 18 a factor of y?
False
Let m(b) = 735*b**3 + 2*b**2 - 3. Is 88 a factor of m(1)?
False
Let v(o) = 6*o + 22. Let u(t) = 3*t + 11. Let x(r) = 5*u(r) - 3*v(r). Is x(-9) a multiple of 8?
True
Let g(m) = -m**3 - 8*m**2 - 11*m + 12. Let a be g(-6). Let q = 99 + a. Is q a multiple of 21?
True
Let o(i) = i**3 + 3*i**2 - 11*i - 3. Let u be o(-5). Suppose 2*t + 0*s - 10 = -s, -25 = -3*t + s. Suppose -u*w + 7 = -t. Is w a multiple of 6?
False
Let h(d) = 6*d**2 + d + 21. Let r be h(-5). Let i = 265 - r. Is 9 a factor of i?
True
Let s = 14 + -11. Suppose -2*z - b + s = -60, b + 36 = z. Let u = 53 - z. Is 10 a factor of u?
True
Let m = -4 - 0. Let k(d) = d**3 + 2*d**2 + 3*d + 2. Let v be k(m). Let p = v - -89. Is p a multiple of 14?
False
Let z = 1401 + -357. Is 18 a factor of z?
True
Suppose 4*i + 4 + 1 = -3*r, -3*i + 10 = 5*r. Let l(q) = -r*q - 3 + 3*q + 0*q + 2. Does 5 divide l(-6)?
False
Let t(n) = 12*n - 22. Does 11 divide t(11)?
True
Let r(j) = 6*j**2. Let l(y) = y**3 - 13*y**2 + 11*y + 10. Let t be l(12). Is 11 a factor of r(t)?
False
Suppose 2*o = 12 - 2. Suppose 0 = -o*f - 2*f + 119. Is 5 a factor of f?
False
Let v(r) = 90*r - 1. Let y be v(3). Suppose -4*n - 61 = -y. Is n a multiple of 15?
False
Let q = 210 + 1. Suppose 0 = -k + 2*i - 8 + 63, -4*k - i + q = 0. Is k a multiple of 18?
False
Let f = -15 - -34. Let k = 34 + f. Is k a multiple of 9?
False
Suppose 17 = s - 2. Suppose 5*k + 1 = 4*k, -2*b = 3*k + s. Does 11 divide b/20 + 201/15?
False
Let m be (2 - 2)*1 + -4. Let z(b) = -16*b + 11. Let u be z(m). Let y = u + -23. Does 19 divide y?
False
Suppose -3*p = -k - 2494, 2*p - k - 81 = 1581. Is 52 a factor of p?
True
Let b = -610 - -1039. Is 39 a factor of b?
True
Suppose -5*i - 638 = -4*t, -4*i - 465 - 13 = -3*t. Is 6 a factor of t?
True
Suppose 0 = 52*z - 55*z + 198. Does 5 divide z?
False
Let p = -17 + 43. Suppose -959 = 19*l - p*l. Is l a multiple of 26?
False
Let z = 9607 - 5638. Does 21 divide z?
True
Suppose 0 = -3*f + 4*f - 88. Suppose -9*p = -p - f. Let y(v) = v**2 - 10*v + 3. Is y(p) a multiple of 14?
True
Does 22 divide (1 - -6 - -120)/((-3