, f = -l + 3*l. Is i a multiple of 19?
True
Let h(o) = -o**2 - 4*o - 1. Let z be h(-3). Let k(u) = -6 + 2*u**2 - 12*u + 1 + z. Does 17 divide k(9)?
True
Let d = -8 + 13. Suppose 0 = s - d*s - 28. Does 8 divide s/(84/(-32))*6?
True
Suppose y = s - 0*s - 11, 10 = s - 2*y. Let v = 28 - 30. Does 7 divide 402/s + 3/v?
False
Suppose -3*b + 33 = -5*p, -2*b = -7*b + p + 33. Suppose 0 = b*u - 3*u - 210. Does 12 divide u?
False
Suppose -2*k - 2 = -3*k + 3*z, 1 = -4*k + 3*z. Let p be 0 + 1 + (k - -2). Suppose i + 18 = p*i. Is 6 a factor of i?
True
Let g(i) = i**3 - 8*i**2 - 12*i - 4. Suppose 0 = 3*u - 21 - 9. Is g(u) a multiple of 19?
True
Suppose 0*k + 2*k = 40. Suppose -k = -v + 6. Suppose 0 = i - v + 6. Does 12 divide i?
False
Let q be -2 - (1 - -1)*-2. Suppose o + 15 = 5*y, -y + 3*y - 6 = -q*o. Suppose 0 = -o*m - m + 20. Is 10 a factor of m?
True
Let h = 822 - 309. Is 27 a factor of h?
True
Let i(l) = 82*l - 108. Is i(14) a multiple of 13?
True
Let j(r) = -r**3 - 17*r**2 - 3*r + 15. Let u be j(-17). Suppose 2*m + 95 = -3*s + 14, 0 = -4*s + 4. Let a = m + u. Is a a multiple of 12?
True
Is 4 a factor of (-1 + (-117)/3)*(-21)/42?
True
Let l = 49 + -51. Let u(r) = -95*r + 5. Is 39 a factor of u(l)?
True
Suppose 0 = -4*k + 7*k - 24. Let r = k + -7. Does 9 divide r*9/1*3?
True
Suppose -r - 4*y = -11, 4*r - 3*y = 2*r. Suppose -r*t + 7 = 1. Suppose 0 = -t*v - 5 + 15. Does 5 divide v?
True
Suppose 3 = 3*c - 2*c. Suppose -4*o + 160 = c*d, -4*o + 4*d + 119 = -41. Suppose 7*p = 2*p + o. Is p a multiple of 5?
False
Let p be (64/20)/((-10)/(-75)). Suppose 0 = 4*x - 0*x - p. Is 3 a factor of x?
True
Let w(m) = 17*m - 4. Suppose -k - k = -3*v - 2, 2*v = 4*k - 12. Is 9 a factor of w(k)?
False
Does 33 divide 10 - 15 - (-1 - 900 - 2)?
False
Let z be (-1)/(((-21)/(-2439))/7). Is 13 a factor of (z/(-12) - 6/(-24)) + -2?
False
Let x be 5184/(-84) - 2/7. Is 24 a factor of x/1*(-1)/2?
False
Let j(k) be the third derivative of 3*k**5/20 - k**4/6 + 5*k**3/3 - 2*k**2. Let o be j(7). Suppose f + 4*f - o = x, f - x - 87 = 0. Is f a multiple of 19?
False
Let c be (-1 + (-37)/3)*(7 - 4). Let p = c + 133. Does 31 divide p?
True
Let c(v) = -v - 2. Suppose 4*s - 8 = 6*s. Let a be c(s). Suppose 4*f + a*o - 46 - 20 = 0, o = 2*f - 23. Is 6 a factor of f?
False
Let x(h) = 2025*h + 47. Is 45 a factor of x(2)?
False
Let y(t) = t**3 + 12*t**2 - 11*t + 5. Is 6 a factor of y(-12)?
False
Suppose 4*w - 3162 = -2*q, -12*w = -16*w. Is q a multiple of 51?
True
Let n be (287/14)/((-2)/4). Let h = 66 + n. Let z = h - 9. Is z a multiple of 8?
True
Suppose -119*z + 1585 = -114*z. Does 8 divide z?
False
Suppose 797 = 8*z + 413. Is 12 a factor of z?
True
Let v(z) = -10*z + 18*z + 0 + 3*z**2 - 10. Is v(-7) a multiple of 22?
False
Suppose 5*u - 155 = -z, 2*z - 121 - 153 = -u. Does 27 divide z?
True
Let d(b) = -5*b**3 - 50*b**2 - 2*b + 25. Is d(-11) a multiple of 38?
False
Let m = 29 - 21. Let f = m - 6. Is f/(-10) + 162/10 a multiple of 3?
False
Suppose -z - 6 = -0*z. Is 21 a factor of -1*28/z*18?
True
Let w(m) be the third derivative of -m**5/60 + m**4/24 - m**3/6 - 3*m**2. Let a(z) = 25*z**2 + 2. Let x(p) = a(p) + w(p). Is 4 a factor of x(-1)?
True
Suppose -3*u + 819 = y, -2*y - 6*u + 1638 = -2*u. Is 21 a factor of y?
True
Suppose 0 = -5*i + 12 - 2. Suppose i*p - p - 4*r - 74 = 0, 3*p = -r + 209. Suppose 0*d = -5*d + p. Is 7 a factor of d?
True
Let k = -17 + 467. Is k a multiple of 25?
True
Let o(t) = -19*t + 1. Let x be o(-6). Let i be 4/(8/(-3))*92. Is (i/x)/((-2)/120) a multiple of 9?
True
Let u(s) = 121*s**2 - 2. Let d = -43 - -44. Is 14 a factor of u(d)?
False
Let m = 1405 + -1363. Does 3 divide m?
True
Does 9 divide 9/(-18) - ((-1106)/4 - 2)?
False
Let p(w) = -288*w + 123. Is p(-4) a multiple of 15?
True
Let o be ((-2028)/(-65))/((-6)/(-15)). Let k(t) = 35*t**2 + t. Let a be k(2). Let n = a - o. Is 16 a factor of n?
True
Suppose -366*v = -371*v + 1350. Is 30 a factor of v?
True
Let o = 639 + -681. Suppose h = 2*h - 103. Let v = o + h. Does 9 divide v?
False
Let m = -16 - -31. Suppose 65 = 2*y + m. Is 7 a factor of y?
False
Let o(d) = 2*d**2 + 16*d + 16. Let v be o(-7). Is 20 a factor of -1 - 162/(-4 + v)?
True
Let p be 0 + (-8)/(-4) + -2. Suppose 0 = -11*s + 12*s - 7. Suppose -s*m + 4*m + 72 = p. Is m a multiple of 8?
True
Let j = -878 - -1283. Is j a multiple of 15?
True
Let p(x) = -12*x**2 + x - 2. Let l be p(-2). Let f be (-2 + l/(-16))*-32. Let v = -12 - f. Does 14 divide v?
True
Let v = 624 - -442. Is 26 a factor of v?
True
Suppose 2*t - 4 = -2*s, 3 = -5*s - 2. Suppose 5*w + t = 23. Let u(i) = 4*i - 8. Is u(w) a multiple of 8?
True
Let n = 908 + -578. Suppose r - n = j, -r - 1290 = -5*r - 2*j. Suppose 5*k = -5*p + r, -2*p + 3*k + 122 = k. Is p a multiple of 20?
False
Let u(a) = 18*a + 7. Let z(d) = d + 1. Let l be z(-9). Let o(r) = -12*r - 5. Let b(t) = l*o(t) - 5*u(t). Does 17 divide b(6)?
False
Let p be ((-5 - -2) + 4)*0. Let n = 3 + p. Does 3 divide 5 - (3 - (n + -2))?
True
Let s(o) = o**2 + 16*o + 6. Is s(21) a multiple of 27?
True
Let y(u) = 71*u**2 - 111*u + 224. Is y(2) a multiple of 11?
True
Suppose -9*h = -12*h. Suppose h = 3*n - 24 - 60. Is n a multiple of 7?
True
Suppose -319 = -9*c + 1913. Does 22 divide c?
False
Let d be 66/14 + (-4)/(-14). Suppose v - 5 = -d*t + 18, 0 = -5*v - 10. Suppose t*o = -21 + 151. Is o a multiple of 13?
True
Let z(x) = -48*x + 6. Let f be z(-3). Suppose f = 5*p - 0*p. Is p a multiple of 10?
True
Let j be 12/(3 + 22/(-6)). Let n be ((-1)/(-3))/((-1)/j). Suppose -65 = v - n*v. Is v a multiple of 4?
False
Let l = -336 - -401. Is 10 a factor of l?
False
Suppose 2*b - 16 = 3*u, 3*b - 7*b = -u - 12. Suppose -41 = -b*i + k, i - 2*k = 6*i - 98. Is 2 a factor of i?
True
Let q(x) = -x**2 - 7*x - 1. Suppose 0 = 5*v - v + 24. Let p be q(v). Suppose p*f - 90 = -0*f. Does 18 divide f?
True
Suppose 14 = 3*g + 8. Suppose 87 = -g*s + 107. Is s a multiple of 10?
True
Suppose -35*v = -100858 - 89612. Is 13 a factor of v?
False
Suppose -a = 13*a - 10122. Does 19 divide a?
False
Suppose 9*o - 4*o - 70 = 0. Is 7 a factor of (o/6)/(2*(-4)/(-48))?
True
Let f be 1 - ((-732)/10)/((-39)/130). Let n = f + 418. Is 25 a factor of n?
True
Suppose 20*x - 13978 = 11282. Is x a multiple of 119?
False
Is (-25 + -2)*(-94)/3 a multiple of 9?
True
Let p(y) = -2*y - 32. Let k be p(13). Let u = 97 + k. Is u a multiple of 30?
False
Let c = 797 + -447. Is c a multiple of 5?
True
Suppose 17*q - 2680 = 7*q. Does 15 divide q?
False
Suppose 2*c + 119 = 65. Let r = c + 41. Does 3 divide r?
False
Let l(t) = -1 + 6*t**3 + 17*t + 12*t**2 - 2*t - 1 - 7*t**3. Is l(13) a multiple of 6?
True
Suppose 0 = 5*u + 5*h - 5, -5*u + 14 - 3 = 2*h. Suppose u*b - 1 - 4 = -k, -2*k - 2*b + 22 = 0. Is k a multiple of 14?
True
Let i = 15 - 14. Let o(j) be the third derivative of 7*j**4/8 - j**3/6 + 3*j**2. Is o(i) a multiple of 5?
True
Suppose -13*c + 16*c = 0. Suppose c = -7*u + 541 - 142. Does 23 divide u?
False
Suppose 445 = 13*v - 881. Is 11 a factor of v?
False
Let z(c) = c**3 + 2*c**2 - 6*c + 6. Let v be z(-6). Let k = -57 - v. Is 15 a factor of k?
True
Let q(r) = r**3 - 6*r**2 - 6*r. Let y be q(5). Suppose 0 = 2*u - 39 - 153. Let p = y + u. Is p a multiple of 12?
False
Suppose 17*v = 1209 + 3789. Is 7 a factor of v?
True
Let m = 1024 + -236. Is 14 a factor of m?
False
Suppose 6 + 6 = 4*o. Suppose 2*k - k - o = 0. Suppose -k*f + 10 = -5. Is 3 a factor of f?
False
Let j(t) = -2 + 32*t - 4 - 1 - 1. Is 30 a factor of j(4)?
True
Let n = -44 + 24. Let h be (30/(-25))/((-6)/n). Let g(m) = 2*m**2 + 2*m - 4. Is 20 a factor of g(h)?
True
Let w = 30 - 18. Let u(h) = -h**2 + 8*h + 3. Let d be u(9). Is 6 a factor of d/w - (-65)/2?
False
Suppose -1504 = -41*h + 5876. Is h a multiple of 15?
True
Suppose -4*d + 12*d - 3024 = 0. Does 21 divide d?
True
Is (8 - 0/2) + 167 a multiple of 19?
False
Suppose 0 = -11*k + 3856 + 797. Does 47 divide k?
True
Does 13 divide 26/(2298/(-462) + 5)?
True
Let o(v) = -2425*v**3 - 19*v**2 - 20*v - 1. Does 25 divide o(-1)?
True
Suppose 0 = 4*v + b - 2994, -4*v - 2*b + 143 + 2853 = 0. Does 42 divide v?
False
Let f(p) = p**3 - 6*p**2 + p + 2. Let c be f(7). Is c*5 + (-4 - -1) a multiple of 55?
False
Let a(r) = -r**3 + 39*r**2 - 120*r + 58. Is 32 a factor of a(35)?
False
Let i(d) = -3*d - 5. Suppose