ose a*u - 3 - 91 = 0. Is u a multiple of 13?
False
Let n be (-846)/(-24) - (-1)/(-4). Let a = -58 + n. Let u = -7 - a. Is u a multiple of 10?
False
Suppose -2*z = -3*z + 16. Let x(o) = o**2 + o - 6. Let t be x(-6). Let b = t - z. Is b a multiple of 3?
False
Suppose -37*k = -39*k + 452. Does 38 divide k?
False
Suppose 6*i - 3*i - 9 = 0. Suppose 2 = 5*d - i. Is d - 87/(-3) - 0 a multiple of 13?
False
Let w(x) = x + 8. Let l be w(-6). Suppose 4*c - 40 = -4*u, -l*u - 2*u = -4*c + 56. Is c a multiple of 5?
False
Suppose 3*p - 10 = p. Is ((-2)/6)/(p/(-165)) a multiple of 5?
False
Let t be 27/2*8/12. Let d(b) = b**2 - 7*b + 7. Let i be d(t). Let k = 37 - i. Is k a multiple of 9?
False
Let a(l) = -l**2 + l + 4. Let b be a(5). Let q = -1 - b. Is 11 a factor of q?
False
Let o = 100 + -3. Does 13 divide o?
False
Let g(p) = 79*p + 2. Does 16 divide g(1)?
False
Suppose 2*o + 2*f - 58 = 0, f + 8 = 4*o - 128. Does 10 divide o?
False
Let j be (2 - 0) + 0/6. Suppose -5*c - j*k = -5*k + 21, 0 = -2*c + k - 9. Let u = c - -17. Is u a multiple of 5?
False
Let i(l) = -3*l - 2*l**2 - l**3 + 6*l**2 + 3 - 6*l**2. Let t be i(-3). Does 10 divide t + 2 + -2 - 2?
False
Let s(r) = 6*r**3 + 4*r**2 - r - 12. Let c(u) = 7*u**3 + 5*u**2 - u - 12. Let a(l) = 5*c(l) - 6*s(l). Does 5 divide a(0)?
False
Suppose 0 = d + 6. Let f be (1 + -4)/(2/d). Suppose 41 = 2*u + f. Is u a multiple of 8?
True
Let s(o) = -2*o - 11. Let r be s(-8). Let g(u) = u**2 - 4*u - 1. Let p be g(r). Suppose 0 = -5*k + 24 - p. Is 4 a factor of k?
True
Let s(l) = -3*l + 14. Let i be s(8). Let q = i + 20. Does 6 divide q?
False
Suppose 0 = 2*i + 6, 4*w - i = 5*w + 1. Let d(z) = 3*z**2 - z + 2. Does 6 divide d(w)?
True
Let t(x) = 5*x + 1. Is t(3) a multiple of 8?
True
Let q(v) = v**2 + v + 1. Let d be q(8). Let k = -46 + d. Does 6 divide k?
False
Suppose 0*o = -4*i + o + 136, -o = 5*i - 161. Is 11 a factor of i?
True
Let a(t) = -t**3 + 8*t**2 - 6*t - 3. Let i be a(7). Let x = i + -4. Suppose 4*m + 29 = 5*f + 107, 3*m + 5*f - 76 = x. Is 6 a factor of m?
False
Suppose 87 = 5*v - q, 0 = -3*v + 8*v + q - 93. Suppose -d = -x + 7, 3*x - d = d + v. Suppose k - 75 = -x*k. Is k a multiple of 15?
True
Suppose 3*w - w = -2. Let a be (14/(-6))/(w/12). Let l = -19 + a. Does 3 divide l?
True
Let r be 8/(-5)*5/(-2). Suppose 3*i - 5*i = 3*x - 33, -4*i + 48 = r*x. Let z = 5 + x. Does 14 divide z?
True
Suppose 0*i - 5*i = 0. Suppose -4*k - 4*s + 32 = i, -s - 1 = -k - k. Suppose 3*u = 4*w + 143, -u + 219 = 4*u + k*w. Is 18 a factor of u?
False
Let a(d) = -d - 3 - d + 4. Suppose -5*m - y = 19, 6*m + 22 = m + 2*y. Is a(m) a multiple of 9?
True
Suppose 3*l + 3*k = 18, 0 = l - 3*k - 6 - 0. Suppose l*s - 75 = 3*s. Does 25 divide s?
True
Suppose 4*h - 3*y + 41 = 128, 0 = 3*h - 4*y - 67. Suppose 4*q = 23 + h. Does 7 divide 600/33 - 2/q?
False
Let l = -150 - -210. Suppose 2*x - l = 4*i, -x + 0*x - 4*i = -48. Let j = -5 + x. Is j a multiple of 12?
False
Let r be 39/15 - 2/(-5). Suppose 5*l + r*t = 261, -2*l - 4*t + 263 = 3*l. Does 11 divide l?
False
Let a = -85 - -135. Is a a multiple of 25?
True
Let p(n) = -n**2 - 13*n - 3. Let v be p(-13). Let s(k) be the first derivative of -3*k**2/2 - k + 1. Does 6 divide s(v)?
False
Let y(c) be the second derivative of c**4/6 - 2*c**3/3 + 5*c**2/2 + 4*c. Suppose -4*r = r - 25. Is y(r) a multiple of 13?
False
Let d be 74/4 - (-1)/2. Suppose -3*b + 33 = -3*t, 4*b - d = 2*t + 29. Does 12 divide b?
False
Let p(g) = -g + 6. Let d be p(7). Let m = 35 - d. Let v = m + -23. Does 7 divide v?
False
Suppose 0*d = 2*d - 10. Suppose 0*c = 3*o - d*c - 149, o + 3*c = 73. Is 13 a factor of o?
False
Let f = -24 - 81. Let b = 150 + f. Does 15 divide b?
True
Let n = -7 - -8. Let l(z) = 40*z - 1. Is l(n) a multiple of 16?
False
Suppose 5*x = 2*t - 4*t + 456, -2*t = -3*x + 264. Suppose -s + 5*s = 16. Suppose -x = -9*d + s*d. Does 9 divide d?
True
Does 5 divide (22/(-33))/(4/(-90))?
True
Let a(j) = 6*j**2 + 6*j + 7. Let s be a(-5). Suppose -4*k - 7 = -s. Does 10 divide k?
True
Let h(z) be the third derivative of -z**6/120 + 7*z**5/60 - z**4/12 - z**3/3 + 3*z**2. Is h(6) a multiple of 6?
False
Suppose 5*d - 4*i + 85 - 310 = 0, 135 = 3*d + 3*i. Let r = d + 3. Is r a multiple of 24?
True
Suppose -w = -6*w + 5. Suppose -2*z + w = -5. Suppose -2 = -2*f - 5*r + 8, z*f + r - 15 = 0. Does 2 divide f?
False
Suppose -4*r + 12 - 4 = 0. Suppose 2*i = -r*f + 108, -f + 0*f - 5*i = -62. Does 18 divide f?
False
Let p(b) = -b**3 - b**2 + 1. Let g be (-20)/9 - (-4)/18. Does 3 divide p(g)?
False
Let m = -4 - 11. Is 13 a factor of m/6*(-52)/10?
True
Let u(w) = -w**3 + w**2 - w + 17. Let z(l) = -l**3 - 8*l**2 + 10*l + 11. Let p be z(-9). Suppose -4*i + p*x - 6 = -0, 4*i = 4*x - 12. Is u(i) a multiple of 6?
False
Let a(n) = n**2 + 5*n - 8. Is a(5) a multiple of 25?
False
Let u(h) = 2*h**2 + h - 1. Let n be u(1). Let x be (-436)/(-20) - (-2)/10. Is n*(-1)/(-2)*x a multiple of 11?
True
Suppose -r = -3*r - 4. Is 4 a factor of (r + 5)/((-3)/(-4))?
True
Let c = -58 + 162. Let l = -63 + c. Is 17 a factor of l?
False
Suppose 2*k = -3*q + 13, 4*k - 2*k + 11 = 5*q. Suppose 0 = -k*c + 5*c - 75. Does 22 divide c?
False
Does 34 divide 4 + -4 - -1 - -101?
True
Suppose -8*s - 11 = -9*s. Let u = 15 + s. Does 13 divide u?
True
Suppose 5 = -k + 3*w, 4*k - 6 = k + 2*w. Suppose 0 = k*y + 4*p - 64 - 12, 5*p - 25 = 0. Is y a multiple of 7?
True
Let d(m) = m**2 - 6*m + 2. Let p be (-4)/10 - 24/(-10). Suppose 2*k - p*l = -2*k + 28, k + 2*l = 2. Does 2 divide d(k)?
True
Let m(h) = h**3 - 5*h**2 + 3*h - 4. Let s be m(5). Let t(p) be the first derivative of -p**4/4 + 4*p**3 - 4*p**2 + 7*p + 1. Does 20 divide t(s)?
True
Let y be 2*-1 + -1*2. Suppose -f + 72 = 3*f. Does 10 divide 292/f + y/18?
False
Is 17 a factor of (4 - (-138)/(-33)) + 1069/11?
False
Let s be (-206)/10 + 10/(-25). Does 11 divide (-468)/s - (-4)/(-14)?
True
Suppose -8*u + 3*u = 0. Suppose 3*x - 36 = -u*x. Does 4 divide x?
True
Let f = 92 - 2. Does 18 divide f?
True
Suppose 4*m - 23 - 24 = -r, 55 = 5*m + 5*r. Does 6 divide m?
True
Let y(w) = -61*w + 1. Does 17 divide y(-1)?
False
Let b = 5 + -9. Let w(n) = -3*n - 5. Does 5 divide w(b)?
False
Let m(q) be the third derivative of -4*q**2 + 1/4*q**4 + 1/60*q**5 + 0*q + 0 + 7/6*q**3. Is m(-7) a multiple of 13?
False
Let r(k) = 3*k - 1. Let c be r(2). Suppose 2*o - c*o = 0. Suppose 5*g - w = -o*w + 43, -2*w = 2*g - 22. Does 4 divide g?
False
Let c = -55 + 107. Does 13 divide c?
True
Let k = 66 + -28. Is 30 a factor of k?
False
Let d be (-4)/18 - 330/(-27). Let i = d - 2. Is i a multiple of 4?
False
Let t = 49 - 33. Let k = 3 + t. Is 4 a factor of k?
False
Let j(y) = -y**3 + 5*y**2 + 3*y + 1. Let k be j(4). Let l = -17 + k. Is l a multiple of 5?
False
Let j(r) = -r**3 - 16*r**2 - 8*r - 11. Is j(-16) a multiple of 34?
False
Suppose -3*a + 196 = a - 4*d, -2*a - d + 92 = 0. Let v = a + -12. Is v a multiple of 15?
False
Suppose 9 = a - 31. Is a a multiple of 10?
True
Suppose -3 = y + 2*k - 5*k, -12 = 4*y - 2*k. Is 17 a factor of (4 - y)*(-60)/(-7)?
False
Suppose -r - 3*f + f = 3, 0 = -3*r - 3*f - 12. Suppose 4*s - 3 - 21 = 0. Is 1 - r*s/1 a multiple of 12?
False
Suppose 4*t + 5*j = 32, -3*t - 1 - 2 = -3*j. Suppose 5*u = -t*r + 172, -r - 4*u + 55 = -0*r. Is 22 a factor of r?
False
Let n(s) = -s**2 + 8*s + 3. Suppose 4*r - 3*r - 6 = 0. Is 15 a factor of n(r)?
True
Let i(z) = 31*z - 7. Is 15 a factor of i(4)?
False
Let w(z) = 2*z**2 - 5*z - 9. Is 27 a factor of w(7)?
True
Let z(i) = i**3 + 5*i**2 - i - 2. Suppose -p - 20 = 3*p. Let m be z(p). Suppose m*x - 2*b = 25, 0*b = 3*b - 12. Is 11 a factor of x?
True
Suppose z - 50 + 5 = 0. Does 9 divide z?
True
Suppose 3*t + 164 = -148. Is 17 a factor of t/(-6) + (-3)/9?
True
Suppose 0*j - 5*j + 10 = 0. Suppose 4 + 6 = -j*n. Is 3*4/((-4)/n) a multiple of 5?
True
Suppose 2*w - 6*w = -16. Suppose w*d = 68 + 52. Is 16 a factor of d?
False
Let n(y) = y + 30. Does 6 divide n(-6)?
True
Suppose 0 = 6*v - 1292 + 464. Is 31 a factor of v?
False
Let c(k) = -k**2 - 8*k - 7. Let d be c(-6). Let h(n) = n**2 + 4*n. Let x be h(-4). Suppose 0 = d*o + 5*m - 47 - 43, -3*o + 5*m + 14 = x. Does 13 divide o?
True
Let g = 24 - 49. Let v = 43 + g. Is v a multiple of 18?
True
Let t be (-1)/((-3)/12*2). Suppose 0*g + 160 = t*g. Let b = g + -52. D