 21*i = k. Is i a multiple of 8?
False
Suppose 2*m + 0 + 6 = 0. Let l be 1 + m + (0 - -2). Suppose -2*w + 7*w - 90 = l. Is w a multiple of 7?
False
Let s = 38 + 60. Does 7 divide s?
True
Let g(n) be the first derivative of -n**2/2 + 2*n + 1. Let m be g(3). Is 4 a factor of 2 + m + (0 - -3)?
True
Let j be -2 + 0 + -3 + 1. Is 2*4/(j/(-9)) a multiple of 5?
False
Let v be (-1)/(3/(-3)) + 2. Let y = v - 3. Suppose 5*c - 2*c - 36 = y. Does 6 divide c?
True
Suppose 4*q + 0 = 8. Suppose 5*w = -42 + q. Let j = -2 - w. Does 3 divide j?
True
Let l be 0 - -1 - (-1)/1. Suppose -34 = l*u + 18. Let i = 40 + u. Does 14 divide i?
True
Let o = 6 + -6. Suppose o = -2*b + 3*b - 37. Suppose 101 = 4*s - s + 5*u, -u + b = s. Does 13 divide s?
False
Let d(u) be the second derivative of u**4/3 - u**3/3 + 3*u. Does 23 divide d(4)?
False
Suppose -v + 17 = 3. Is 12 a factor of v?
False
Let y(t) = t**3 + 7*t**2 + 2*t - 5. Let v(d) = -5*d + 1. Let x be v(1). Let o be y(x). Suppose -3*k + o = -4. Is k a multiple of 13?
True
Let b be -3 + (-2 + 11)/3. Suppose -98 = -i - b*i. Suppose 0 = 4*s - i + 10. Is 9 a factor of s?
False
Let w(o) = o**3 - 3*o**2 + 2. Let l be w(3). Suppose 2*y - 24 = -l*y. Is 76/y + 4/12 a multiple of 13?
True
Let i(q) = -q**3 - q**2 + q - 1. Let g(r) = 5*r**3 + 2. Let b(x) = -g(x) - 3*i(x). Let a be b(2). Is 9 a factor of (-2 - a)*(-18)/(-7)?
True
Let y(o) = -12*o + 1 + 3*o - 15*o. Does 18 divide y(-2)?
False
Let o(s) = s + 10. Let i be (-6)/(-3) + -2 + -1. Let n be i/((1 + 1)/(-16)). Does 9 divide o(n)?
True
Suppose 3*w - 86 = 4*o, -2*w - 3*o + 0*o + 63 = 0. Is w a multiple of 9?
False
Let l = -55 - -91. Suppose 4*b + k = l, 0 = -5*b - 5*k + 7 + 23. Is 4 a factor of b?
False
Suppose 15*g - 20 = 10*g. Suppose s = 1, -s - 167 = -g*t + t. Is t a multiple of 14?
True
Let n(o) = -o**3 - 5*o**2 - 2*o - 4. Let p be n(-5). Let u be (-30)/(-9)*9/p. Suppose 5*k - u*w = k + 52, -4*k = 3*w - 20. Is k a multiple of 4?
True
Suppose 6*u = 3*u + 12. Suppose u*z + z = 20. Is z a multiple of 4?
True
Suppose 5*o - 30 = 85. Does 6 divide o?
False
Suppose 0 = 5*a + g - 7, -4*g = -2*a + 5*a - 11. Let l be (a - 1)/(-2 + 0). Suppose l = 4*p + 5*o - 60 - 53, p = 2*o + 25. Is p a multiple of 9?
True
Suppose -c = c - 4. Suppose 6*w - 170 = w + c*l, -3*w + 102 = -3*l. Does 17 divide w?
True
Let j = -28 - -49. Is j a multiple of 21?
True
Let y = -19 + 49. Is 12 a factor of y?
False
Suppose 2*r - 375 = -3*r. Is r a multiple of 25?
True
Suppose 2*d + 0*d - 454 = -3*y, -755 = -5*y - 5*d. Suppose -28 = -5*w + y. Is w a multiple of 12?
True
Let g(a) = 8*a**2 - 2. Let m be g(-2). Is (-3 - -2)*-2 + m a multiple of 16?
True
Suppose 0 = 3*o - 2*a - 354, 2*a - 286 = -5*o + 288. Does 20 divide o?
False
Let y(m) = 2*m + 3. Let g be y(12). Suppose -2*s - 5*f - g + 6 = 0, 28 = 4*s - 4*f. Is s a multiple of 2?
True
Let g(b) = 11*b**2 - 3*b - 26. Let z(i) = -7*i**2 + 2*i + 17. Let s(x) = 5*g(x) + 8*z(x). Is s(0) even?
True
Let y = 44 + -16. Let l = -43 + y. Does 4 divide l/(-4) - (-2)/8?
True
Let i = 57 + -34. Suppose n = -i + 77. Does 18 divide n?
True
Let k = 65 - -151. Is 22 a factor of k?
False
Let k(q) be the second derivative of -5*q**3/6 + 3*q**2/2 + 5*q. Is k(-4) a multiple of 23?
True
Suppose 0 = h - 0*h + 16. Let p = -12 + 10. Is 0 - (0/p + h) a multiple of 16?
True
Let k be (-1 + (-216 - -1))*-1. Let n be -1*1 - k/4. Let w = 89 + n. Does 17 divide w?
True
Let q(u) = -u**2 - 8*u. Let c be q(-8). Let n be 6/(1 - -2)*1. Suppose n*r + r + 15 = c, -2*t = -3*r - 137. Does 22 divide t?
False
Let l be (73 - 8)*4/(-10). Is 8 a factor of (-3 - l/6)*18?
True
Let v be 6/(-9) + 960/9. Suppose 0 = -5*j + 3*k + v, 0*j = 4*j + 3*k - 101. Suppose -4*x + 13 = -j. Is 9 a factor of x?
True
Let g = 459 + -174. Is 19 a factor of g?
True
Let s = 17 - 11. Let d be (-2)/6 + (-190)/s. Let j = 6 - d. Does 13 divide j?
False
Let r = 167 + -33. Is r a multiple of 8?
False
Let q(z) = -10*z + 6. Let p(h) = 3*h - 2. Let y(t) = 8*p(t) + 3*q(t). Is 3 a factor of y(-1)?
False
Suppose 2 = 2*t + 4*g, -1 = -3*g - 10. Let i(q) = -q - 18. Let n(v) = -6. Let s(w) = t*n(w) - 2*i(w). Is 3 a factor of s(7)?
False
Let j = -182 + 312. Does 30 divide j?
False
Let d(r) = -2*r**2 + 9*r + 7. Let b be d(7). Let k = 40 + b. Is k a multiple of 4?
True
Let p be (-4)/((-3*2)/3). Suppose 3*j = -5*k + 1, k - 2 = -k - p*j. Does 14 divide k - 0 - (-24 + 0)?
False
Does 6 divide ((-1)/2)/((-140)/(-72) - 2)?
False
Let n(b) = 7*b**2. Let y be (-2)/(-10) - (-8)/10. Is n(y) a multiple of 2?
False
Suppose 86 = 6*s - 82. Does 23 divide s?
False
Suppose 3*r + 4*p = 94, 49 = 5*r - 5*p - 61. Suppose 3*i = 4*i - r. Is 13 a factor of i?
True
Let k(v) = -21*v - 2. Let n be k(-2). Suppose -n = -2*q - 2*q. Is 10 a factor of q?
True
Let z(r) = r**2 + 1. Let i be z(-2). Suppose -o + 15 = q, i*o + 3*q - 31 = 44. Is o a multiple of 15?
True
Let y = 36 - 1. Does 26 divide y?
False
Let n(h) = -h - 1. Let s be n(-2). Is (-49)/((1 - 2)/s) a multiple of 18?
False
Let q(y) = y - 1. Let g(j) = 2*j - 10. Let z be g(7). Let v(i) = -5*i - 5. Let s(h) = z*q(h) - v(h). Is 10 a factor of s(1)?
True
Suppose -4*m + 3*j = -75, m + m - 25 = -j. Is 7 a factor of m?
False
Let o = -5 - -4. Is 22 a factor of (2 + o)/(1/44)?
True
Suppose -5*l + 3*c = -636, l + 4*c - 118 = -0*l. Is l a multiple of 42?
True
Let r(s) = -2*s - 4 + 5*s - 2*s. Let b be r(6). Suppose h + b*m = 7*m + 5, 2*m = -3*h + 66. Is 9 a factor of h?
False
Suppose -47*c + 48*c - 48 = 0. Is 16 a factor of c?
True
Let i(k) = k + 50. Suppose 0 = -v - 0*v. Let r be i(v). Let y = r - 24. Is 13 a factor of y?
True
Suppose -q - 6*j + 19 = -2*j, -3*q + 42 = -3*j. Suppose -5*k + q = -2*k. Suppose -3*l + 4*u + 17 = 0, 2*l + 3*l - 25 = k*u. Is l a multiple of 2?
False
Let m(f) = -23*f**3 + 2*f**2 + f. Let u(o) = -o + 2. Let x be u(3). Let h(n) = n. Let r be h(x). Is m(r) a multiple of 18?
False
Suppose -n + 12 = -6. Does 9 divide n?
True
Suppose 4*g - 2*g - 4 = 0. Suppose -o - 1 + 2 = 5*p, -5*p = g*o + 3. Suppose -3*a + 3*h + 30 = 0, 3*a = h + 33 - p. Is a a multiple of 11?
True
Suppose -4*z + 212 = 4*d, -3*d + 14 + 143 = 5*z. Is d a multiple of 25?
False
Does 8 divide 12/1*25/10?
False
Let c(m) be the first derivative of 2*m**3 - 3*m**2/2 - 3. Does 9 divide c(2)?
True
Is (-56 - -11)/(3/(-4)) a multiple of 12?
True
Let d(u) = -8*u - 11. Let k(j) = 7*j + 10. Let q(l) = 2*d(l) + 3*k(l). Does 18 divide q(7)?
False
Let m = 30 + -10. Let c = 31 - m. Is c a multiple of 11?
True
Suppose -c + 68 = -d, 4*d + 70 = c + 2*d. Is 35 a factor of c?
False
Suppose -b + 12 = -3*v, -2*b - 84 = -7*b + 3*v. Is b a multiple of 6?
True
Suppose 3*m - 8 = 2*m + u, -5*m + 4*u = -42. Suppose -x = -m - 37. Let v = x - 33. Is v a multiple of 5?
False
Let f(q) = -q - 8. Let n be f(-10). Let j(d) = d**3 - 2*d**2 - d + 2. Let y be j(n). Suppose m = 4, 5*b = -y*m + 4*m + 44. Is 5 a factor of b?
False
Let s(d) = 36*d**2 + 1. Is 22 a factor of s(1)?
False
Let m be (-120)/(-9) - 3/9. Suppose -6 = -c + m. Is c a multiple of 16?
False
Suppose -m + 135 = 3*g, -2*m + 0*g = 5*g - 274. Is 12 a factor of m?
False
Let q(x) = -2 + 1 - 22*x + 1 - 4. Let r be q(-4). Suppose 5*o - 36 - r = 0. Is 12 a factor of o?
True
Let c = 1 + 3. Suppose -c*a = -3*t + 85, -3*a + 54 = 2*t - 7*a. Is t a multiple of 12?
False
Let p(v) be the first derivative of -3/2*v**2 - 3 + 7*v. Is p(-7) a multiple of 10?
False
Suppose -2*u - 5*z + 66 = -0, -2*u - 2*z = -66. Is u a multiple of 11?
True
Let u(k) = k + 6. Let h be u(6). Let f = h - 8. Suppose -f*r + 0*r = -32. Is r a multiple of 4?
True
Let l(a) = -10*a + 1. Is l(-2) a multiple of 5?
False
Let g(w) = 23*w**2 - w. Is g(-1) a multiple of 8?
True
Let r(h) = -1704*h. Let x(d) = -71*d. Let l(o) = -3*r(o) + 71*x(o). Is 25 a factor of l(1)?
False
Let g be (-17)/2 - (-2)/(-4). Is 16 a factor of (-2)/9 + (-290)/g?
True
Let j be 28/(-3) - 2/(-6). Let s be ((-7)/(-3))/((-3)/j). Let k = 6 + s. Is 8 a factor of k?
False
Let d be 2/((-3)/(-3) - 0). Suppose 0 = -2*o + 5*c - 6*c + 71, 62 = d*o + 4*c. Is o a multiple of 18?
False
Suppose c + 3*x = 4*x + 12, 0 = c + 2*x - 6. Is 6 a factor of c?
False
Let n = -18 + 20. Suppose 0*r + 2*r + 3*h = 17, -25 = -n*r + 5*h. Does 10 divide r?
True
Suppose -n - 5*n = -192. Does 5 divide n?
False
Let l(k) = -k + 7. L