ue
Suppose -13*f + 14*f = 65. Does 12 divide f?
False
Let b = -27 + 53. Is b a multiple of 8?
False
Suppose 0 = 4*s - 3*d + d - 20, 5*d - 40 = -5*s. Is s a multiple of 4?
False
Let v(i) = i + 5. Let g be v(-5). Let y(x) = 6*x - 3. Let t be y(3). Suppose g = z - t - 2. Is z a multiple of 15?
False
Suppose 0 = -2*g - 5*w - 19, -4 = -2*g + 3*w + 17. Does 10 divide g*2/6 - -19?
True
Suppose 5*u + 1 = 106. Is 17 a factor of u?
False
Let l(n) = -4*n + 2. Let r(y) = y**2 + 3*y - 5. Let i be r(-4). Let p(m) = -m**2 - 1. Let q(g) = i*p(g) + l(g). Is 5 a factor of q(5)?
False
Does 14 divide (105/2)/(2/4)?
False
Let a(b) = -b**3 - 3*b**2 + b - 1. Let h(f) = f - 7. Let g be h(3). Does 6 divide a(g)?
False
Suppose -21*c = -16*c - 1475. Is 16 a factor of c?
False
Suppose 2*x = 6*x + 4*w - 204, -3*x + 4*w + 174 = 0. Is 9 a factor of x?
True
Suppose -a + 2 = -1. Suppose -a*o = -2*o - 6. Does 6 divide o?
True
Suppose -4*m + 43 = 3. Is m a multiple of 6?
False
Suppose -o + 7 - 3 = 0. Suppose -3*r + 36 = 4*h, -o*h = 1 + 11. Is 4 a factor of r?
True
Let k(z) = -z**3 - 2*z**2 - 5*z - 1. Let b(o) = o**3 + 6*o**2 + 6*o + 1. Let n be b(-5). Does 17 divide k(n)?
True
Is (-20)/(-6)*(-1 - -7) a multiple of 20?
True
Let u = 71 - -106. Is u a multiple of 34?
False
Suppose 8 + 12 = 4*i. Suppose 5*a + 3 - i = -4*p, 0 = -p + 3*a + 9. Is p a multiple of 2?
False
Let o = -4 + -1. Let b be (-2)/o + 4/(-10). Let a = b + 18. Is 9 a factor of a?
True
Is (-3)/((-66)/4) + 3003/121 a multiple of 7?
False
Is 12 a factor of (-57)/(-2)*(-10)/(-15)?
False
Let n = 247 + -157. Is 9 a factor of n?
True
Let k be 4*1/(-3)*-24. Suppose 4*l - 2*l = -k. Let u = -4 - l. Is 6 a factor of u?
True
Does 9 divide 6/3*(2 - (-26)/4)?
False
Let p(w) be the first derivative of -w**3/3 - 5*w**2/2 - 3*w - 2. Let t = 13 + -15. Is p(t) a multiple of 3?
True
Let l = -193 + 379. Is 19 a factor of 10/25 + l/10?
True
Suppose f + 19 = 4*u, 0 = -3*u + 5*u - 10. Let m be f/(1*3/(-516)). Is (-6)/(-4)*m/(-6) a multiple of 11?
False
Is 5 a factor of 434/84 + 2/(-12)?
True
Let p(m) = 0*m + 4 + 3*m**3 + m**3 - 5*m**2 + 3*m. Let f(x) = 5*x**3 - 5*x**2 + 3*x + 4. Let d(j) = 3*f(j) - 4*p(j). Is 2 a factor of d(3)?
False
Let f(j) = -3*j - 9. Let b(n) = 2*n + 8. Let r(h) = -4*b(h) - 3*f(h). Is 2 a factor of r(10)?
False
Suppose 6*n + 13 = 4*n - 5*o, -49 = -4*n + 5*o. Does 6 divide n?
True
Let a(l) = 51*l - 1. Let t = 6 + -5. Is 9 a factor of a(t)?
False
Let t = 9 - 15. Does 10 divide (-16)/t*(9 + 0)?
False
Suppose 160 = 5*d - d. Let c = d - 6. Let b = -19 + c. Does 6 divide b?
False
Let s be ((-1740)/(-25))/((-2)/20). Is s/(-42) + (-3)/(-7) a multiple of 14?
False
Let f(c) = -c**2 - 14*c + 6. Is f(-12) a multiple of 9?
False
Suppose -2 = 4*b + 3*q - 11, 5*q - 15 = 3*b. Let u(f) = -f + 16. Does 8 divide u(b)?
True
Let p = -19 + 8. Let g = p - -5. Let c = -4 - g. Is c a multiple of 2?
True
Let k be (-4 + 8)*(-46)/(-8). Suppose -3*g = k + 85. Let h = 53 + g. Is h a multiple of 5?
False
Let h be ((-12)/10)/((-4)/30). Suppose -h = -i + 7. Is i a multiple of 16?
True
Is 6/2*44/6 a multiple of 22?
True
Suppose -3*w = -5*r - w + 14, -5*w = -5*r + 20. Let y be -2 - 2*(r - 6). Is -16*(0 - 3/y) a multiple of 3?
False
Suppose -86 = -2*j + 24. Is j a multiple of 14?
False
Suppose 74 = v - 5*h, -5*h = 5 - 0. Is v a multiple of 11?
False
Suppose -5*x = -x - 100. Suppose 5*d = 3*o + d - 70, x = 5*d. Is 23 a factor of o?
False
Let i be 5*4*5/4. Let t = -2 + i. Let r = 42 - t. Is 19 a factor of r?
True
Suppose -6*f + 4*f + 102 = 0. Is 21 a factor of f?
False
Let m(h) = h**3 - 8*h**2 - 9*h + 6. Let z(c) be the second derivative of 2*c**5/5 + c**4/12 + c. Let r be z(1). Is 6 a factor of m(r)?
True
Let y = 115 + -111. Let m be (-2*5/1)/(-1). Let i = m - y. Is i a multiple of 3?
True
Let j = 7 - 5. Suppose -j*w + 48 = w. Is 9 a factor of w?
False
Let d(h) = -3*h**2 - 3*h - 3. Let o be d(-1). Is o/(-21) - (-90)/7 even?
False
Let x(g) = 14*g + 2. Let l be x(-5). Let w = -38 - l. Does 10 divide w?
True
Let y = -5 + 5. Suppose 2*o - 22 = -3*n + 7*n, y = o - n - 7. Suppose 0 = -4*t + 20, -2*t - 15 = -x - o*t. Is x a multiple of 4?
False
Let q = -74 - -136. Does 31 divide q?
True
Is (16/24)/(1/93) a multiple of 12?
False
Let p(t) = 9 - 7 - 8*t**3 - t**2 - 3 - t. Let w(i) = i**3 - i**2 + 1. Let m be w(-1). Is p(m) a multiple of 7?
True
Suppose 4*s - 112 - 20 = 0. Does 13 divide s?
False
Does 15 divide 870/7 - (-36)/(-126)?
False
Suppose -2*c = 1 - 3. Is 3 a factor of 4/12*(41 + c)?
False
Let h = -6 - -14. Let u(x) = x - 1. Let v(w) = -3*w + 6. Let a(t) = 5*u(t) + v(t). Does 9 divide a(h)?
False
Let a(p) = p**3 + 4*p**2 - 7*p - 5. Does 3 divide a(-5)?
False
Suppose 5*h + 46 = 6. Suppose 3*u + 56 = 14. Let s = h - u. Is 6 a factor of s?
True
Suppose 2*v + 4*p - 298 = 5*p, 756 = 5*v + 3*p. Is 30 a factor of v?
True
Let q(p) = -20*p - 9. Let x be q(-6). Suppose -4*i + 7*i = 3*g + x, g = 2*i - 72. Does 16 divide i?
False
Suppose 7*b + 0*b = 63. Let w(s) be the third derivative of s**5/60 - 7*s**4/24 - 2*s**3 - s**2. Is 4 a factor of w(b)?
False
Suppose -p = 4*p - 195. Is p a multiple of 13?
True
Let c = 29 + 1. Is c a multiple of 15?
True
Let y(d) = d**3 - 3*d**2 + 3*d - 1. Let t be y(2). Does 13 divide 53 + t/(-1)*3?
False
Let d be ((-24)/(-60))/(2/20). Suppose 0*i - 66 = -3*q - 3*i, -3*q - d*i + 66 = 0. Is 12 a factor of q?
False
Suppose 3*q + 2*q - 15 = 0, 5*r = -4*q + 72. Suppose 5*o - r = 3*d, 2*o + 3*d + 12 = 5*o. Suppose -h + o + 15 = 0. Is h a multiple of 12?
False
Let t(m) = 10*m - 39. Is t(10) a multiple of 11?
False
Suppose 2*m + 2*m - 5*h - 239 = 0, -3*m + 2*h + 181 = 0. Does 11 divide m?
False
Suppose 0 = 2*y + f + 23, -74 = 5*y - 6*f + 3*f. Let p(a) = -a - 1. Does 12 divide p(y)?
True
Let x be 3/(-9) + (-3)/(-9). Suppose -3*q - 12 = -0*a + 4*a, x = -2*q - 5*a - 15. Suppose d = -j + 8 - q, -3*d + 2*j = -29. Is d a multiple of 4?
False
Let y = -16 - -25. Suppose y*a = 4*a + 55. Let l = a + 8. Does 19 divide l?
True
Let q(r) = -2*r - 7. Let s = -3 + 4. Let o be (18/15)/(s/(-5)). Is 4 a factor of q(o)?
False
Let s(o) = 2*o**2 - 12. Let i(p) = -p**2 + 13. Let b(w) = 3*i(w) + 2*s(w). Let z(m) = m**3 - m**2 - 3*m + 2. Let v be z(2). Is b(v) a multiple of 4?
False
Suppose -2*n = 5*v + 3*n - 5, -5*v - n + 5 = 0. Let x(f) = 59*f**3 + f**2 - 2*f + 1. Does 25 divide x(v)?
False
Let b(r) = -r**3 - 17*r**2 - 2*r - 9. Is 10 a factor of b(-17)?
False
Suppose 3*f = 4*a - a - 66, 3*a - 2*f = 61. Is 17 a factor of a?
True
Suppose 4*b = -3*d + 2, -4*b + 2 = -d - 8. Suppose 0 = -b*r + 11 - 1. Does 2 divide r?
False
Suppose 56 = -0*y + 2*y. Does 2 divide y?
True
Let t(b) = -3*b + 10. Let u be t(7). Let c = u + 16. Is 5 a factor of c?
True
Let d(c) be the third derivative of -7/12*c**4 + 2*c**2 + 0 - 1/3*c**3 + 0*c. Is d(-2) a multiple of 12?
False
Let n(y) be the third derivative of y**6/12 - y**5/60 + y**3/6 - 5*y**2. Does 5 divide n(1)?
True
Let z = 134 - 63. Is z a multiple of 8?
False
Let s = -96 + 101. Is s a multiple of 5?
True
Suppose -3*l + 3*w + 120 = 0, -3*l + 2*w + 3*w = -128. Does 14 divide l?
False
Let w = -327 + 619. Let m = w - 208. Suppose l = 3*l - m. Is l a multiple of 14?
True
Suppose 2*m + 0*r + 9 = 3*r, r - 3 = 3*m. Is 12 a factor of 3 + m + -1 - -22?
True
Let k(i) be the second derivative of i**4/6 - 3*i**3/2 - 3*i**2/2 + 2*i. Is 16 a factor of k(7)?
True
Let o(f) = 4*f**2 + 2*f - 2. Does 14 divide o(-5)?
False
Let t(s) = -2*s**3 - 7*s**2 + 7*s + 6. Let g be t(-6). Let z be (1 + -1 + 5)/1. Suppose z*r - r - g = 0. Does 18 divide r?
True
Suppose 0 = -3*b + 196 - 52. Does 12 divide b?
True
Let m be 6/(-2) - (-1 - 2). Suppose m = -3*j - 6 + 3. Let r = j - -6. Is r a multiple of 2?
False
Is (-400)/24*(-18)/4 a multiple of 10?
False
Let d(o) = -13*o + 1. Is 20 a factor of d(-3)?
True
Let l = 36 + -3. Let m = l + -19. Does 9 divide m?
False
Let v = -7 + 11. Suppose z - 5*w = 107 - 11, v*w + 384 = 4*z. Is 32 a factor of z?
True
Is 5 a factor of 8 + (2 - 1 - -1)?
True
Let x(j) = -j**2 - 7*j - 2. Let c be x(-7). Is (39/(-3) - c)*-2 a multiple of 5?
False
Let y(k) = 2*k**2 - 2*k - 6. Does 4 divide y(-3)?
False
Suppose -q = -0*q - 240. Does 20 divide q?
True
Let n be 597/(-9) - 1/(-3). Suppose 5*t = -3*p - 124, 2*p = -2*t - 3*t - 91. Let c = p - n. Is