e of 16?
False
Suppose 17*w - 225 = 12*w. Is 2 a factor of w?
False
Suppose -6*p + 10*p = 40. Does 7 divide p?
False
Let s(y) = y**3 - 3*y**2 + 2*y + 2. Let i be s(4). Suppose 0 = 4*m + 5*g + 7 - 46, -2*m + i = -4*g. Does 7 divide m?
False
Let c(u) = -u**3 - 2 + 4*u + 0 + 0*u - 6 - 5*u**2. Does 26 divide c(-7)?
False
Suppose 7 = -4*r - 5. Let i be (-46)/4 - r/(-6). Let h = i + 19. Does 2 divide h?
False
Let b be 2/(-7) + (-110)/7. Is ((-24)/b)/((-2)/(-48)) a multiple of 18?
True
Let o(a) = a**2 - 7*a + 7. Let c be o(7). Suppose 0 = -5*b + 222 - c. Suppose -3 + b = s. Does 17 divide s?
False
Suppose 2*d = -0 - 4. Is 13 a factor of (-2)/(-2)*(d - -15)?
True
Let h(j) = j**3 + 9*j**2 - 14*j - 12. Suppose 9 + 1 = -u. Is 5 a factor of h(u)?
False
Let t(o) = -2*o + 5. Let c be t(6). Let n = c - -9. Suppose n*z = -15 + 85. Is z a multiple of 11?
False
Does 9 divide 378/5 - (24/(-10) - -2)?
False
Suppose 90 = 3*a - 126. Is a a multiple of 8?
True
Suppose -3*i = -2*i - 5. Suppose 0 = -2*j - 4*x + 10, -1 + 14 = i*j - 2*x. Is j a multiple of 3?
True
Let d(h) = 6*h**3 - 36*h**2 - 21*h - 29. Let t(g) = -g**3 + 7*g**2 + 4*g + 6. Let j(c) = -2*d(c) - 11*t(c). Does 14 divide j(-6)?
False
Suppose -13 + 43 = -5*i. Let h be (-1 - 0) + i/6. Is 2 a factor of 3*((-3)/3 - h)?
False
Suppose v + 5*t + 16 = 0, -v + 2*t - 12 = -6*v. Suppose v*a - 50 = -a. Is 10 a factor of a?
True
Let n = 5 + -1. Suppose 222 - 13 = 3*x + n*p, -4*x = -p - 304. Is x a multiple of 19?
False
Suppose -2*f = 2*n - 7*f - 21, -n - 12 = 5*f. Suppose 0*w = -2*m - n*w + 1, 5*w + 33 = m. Is 4 a factor of m?
True
Let c be (4/(-4))/(1 - 0). Let w be (30/7)/c*-42. Suppose 0 = n + 4*n - w. Does 12 divide n?
True
Let i(q) = -24*q**3 + q**2 - 2*q. Is 20 a factor of i(-2)?
True
Let q = -7 + 5. Is 7 a factor of 0 - 5 - q - -20?
False
Let o(f) = -f**3 - 7*f**2 - 8*f - 8. Let h be o(-6). Suppose h*l - 7*l - 6 = 0. Let y(s) = 5*s**2 + 3*s + 1. Does 15 divide y(l)?
True
Let y be (-2 + 1)/((-3)/9). Is 14 a factor of 9 + 2 - (0 - y)?
True
Let v(m) be the second derivative of -m**4/12 + 2*m**3/3 - m**2/2 - m. Let b be v(3). Suppose -k = -b*k + 11. Is k a multiple of 11?
True
Suppose -4*u - 40 = 2*s - 7*s, -3*u = 4*s - 1. Let d be (95/2)/(2/8). Suppose -f = s*f - d. Does 19 divide f?
True
Let q(s) = 3*s**2 + 4*s. Let y be q(-4). Let t = 48 - y. Does 16 divide t?
True
Let c be (-20)/(-1 - 1/(-3)). Let p be (c/(-8))/((-3)/8). Suppose -p = -4*z + 114. Does 14 divide z?
False
Let o be (-1262)/(-7) - (-8)/(-28). Suppose 5*x + 0*x = -o. Is 30*(x/15)/(-3) a multiple of 12?
True
Suppose p + 4*i + 3 = 2, 3*p = -5*i - 3. Suppose 0 = -5*m + 14 + 6. Let o = m + p. Does 3 divide o?
True
Let j = 12 - 8. Let f = 11 - j. Does 4 divide f?
False
Suppose -5*r - 24 - 1 = 0. Let j(v) = -9*v - 1. Is j(r) a multiple of 17?
False
Let s(j) = -24*j**3 + j**2 + j. Suppose 0 = 2*c + 2. Is 13 a factor of s(c)?
False
Let w be (2/(-1) - -4) + 1. Suppose z + 6 = w*p, 4*p + 2 = z + 11. Suppose 5 + 40 = z*b. Is b a multiple of 5?
True
Let a(v) = v**3 + v**2 - 3*v - 1. Let y be a(-3). Let g(i) = -i**2 - 3*i + 2. Let s be g(-3). Is 2 a factor of s/5*y/(-1)?
True
Let n = 26 - -75. Is n a multiple of 33?
False
Suppose -4*m = 29 + 11. Is ((-102)/(-15))/((-4)/m) a multiple of 17?
True
Suppose -d - 3 = 2. Let v(n) = -n**3 - 4*n**2 + 4*n + 7. Is 8 a factor of v(d)?
False
Suppose -k - 25 = -6*k. Let x(c) = 2*c**2 + 4. Does 11 divide x(k)?
False
Let a = 35 - 11. Is 22 a factor of a?
False
Suppose 8 + 84 = 4*t. Suppose -4*n + t = -25. Is 8 a factor of n?
False
Let s = 15 - -23. Suppose 2*z + 4*n = -20, -5*z - 5*n = -9*n + 64. Let t = z + s. Is t a multiple of 12?
False
Let i(k) = -k**3 + 6*k**2 + 7*k + 5. Let l be i(7). Suppose 0 = 2*f - 4*z + 2*z - 38, -l*f = -2*z - 95. Does 10 divide f?
False
Suppose 2*u + 3*c - 4 = 0, -2*u - 3*c = -5*u + 21. Suppose u*g = -12 + 37. Suppose -4*a - 130 = -3*m, -a - 206 = -5*m - g*a. Is 17 a factor of m?
False
Let g be 2/(-7) + 711/63. Let y(r) = r**2 - 10*r + 15. Is 8 a factor of y(g)?
False
Let i = -13 - -18. Suppose 3*l = -u, 0*u + 95 = i*u - 4*l. Is u a multiple of 5?
True
Let x(b) be the first derivative of b**4/4 + 4*b**3/3 + 3*b**2/2 + 1. Let q be x(-2). Suppose g = -6*z + z - 13, 3*g - 29 = q*z. Is 7 a factor of g?
True
Let b = -10 + 11. Does 10 divide 1043/28 - b/4?
False
Let u = 109 + -98. Does 10 divide u?
False
Suppose 3*l = 3*a + 369, 2*a = -2*l + 79 + 167. Is l a multiple of 12?
False
Let b(c) = 9*c - 2. Let k be b(-4). Let y = k + 73. Is 22 a factor of y?
False
Let m = 175 + -88. Does 31 divide m?
False
Let v = 13 - 7. Let u(d) be the first derivative of d**3/3 - d**2/2 + 4*d - 2. Is u(v) a multiple of 14?
False
Let c be 0/(0 + 1) + 1. Let i be -16*(16/(-4))/4. Let x = i + c. Is 17 a factor of x?
True
Let m be 4/26 + (-2)/13. Let j be -3 + (m - 0) - -2. Is 12 a factor of j/((-146)/48 + 3)?
True
Let l(a) = -a**2 + 12*a + 9. Let c be l(10). Let n be (-85)/(-25) - 4/10. Suppose n*y - 78 = -2*x, y - x - 2 = c. Is y a multiple of 16?
False
Let m = -8 - -8. Suppose 5*v + n - 75 = -m*n, -n = v - 11. Is v a multiple of 4?
True
Let i = 36 - -43. Is 5 a factor of i?
False
Let k(z) = 22*z**2 + z. Is 5 a factor of k(-1)?
False
Let d = 66 + -28. Is d a multiple of 11?
False
Suppose 21 = 5*s - 3*u - 33, -5*s + 4*u + 57 = 0. Does 2 divide s?
False
Let c be -3 + (4 - (-2 + 1)). Suppose 5*l + c*w - 74 = 0, -2*l + 57 = 3*w + 23. Does 14 divide l?
True
Is (1/3)/(1/84) a multiple of 13?
False
Let p = -20 + 14. Let n be (-156)/p + (-1 - -2). Suppose 2*b = -b + n. Is 7 a factor of b?
False
Let w(n) = -54*n**3 + 1. Is 12 a factor of w(-1)?
False
Suppose -i = i + 6. Let n = 1 - i. Suppose w = n*j + 3 - 83, 0 = -j - 4*w + 20. Is 10 a factor of j?
True
Suppose -c - 4*c + 92 = 2*h, -c + 4 = 0. Does 7 divide h?
False
Suppose -5*t + 4*r - 12 = 0, -3*t = -3*r + 16 - 7. Suppose 5*m - 5*q = 105, t = 2*m - m - 5*q - 5. Is 23 a factor of m?
False
Suppose -8 - 2 = 5*w. Is 5 a factor of (7/w)/(3/(-12))?
False
Let s(i) = i**2 + 3*i - 6. Is 26 a factor of s(5)?
False
Let b(v) = v + 4. Let f be b(-4). Suppose 4*x - 53 = -f*x - u, -15 = 5*u. Does 14 divide x?
True
Let c(q) = -q**3 + 10*q**2 + 1. Let g be c(10). Suppose -d - g = 2*t - 3*t, 23 = 5*t + 4*d. Suppose -6 = t*j, -2*w = -3*w - 3*j + 35. Is w a multiple of 13?
False
Let f = -7 - -9. Suppose -38 = -5*g + g - f*n, 42 = 4*g - 2*n. Is 10 a factor of g?
True
Let t = 9 + -4. Suppose -3*h - 78 = -t*i, h + h + 36 = -2*i. Let k = 29 + h. Is 5 a factor of k?
False
Suppose 3*s + 12 = -0*s, 2*w + 4 = 5*s. Let d = 32 - w. Is d a multiple of 11?
True
Let p(f) = -f**2 - 9*f + 10. Does 16 divide p(-7)?
False
Suppose 29 = p - 4*s, -3*p = -2*p + 5*s + 7. Is p a multiple of 9?
False
Let c(x) = 24*x. Let a be -2 - (-5)/((-10)/(-6)). Is 14 a factor of c(a)?
False
Suppose 4*k + 0*j - 48 = 5*j, 16 = 4*k + 3*j. Is k a multiple of 3?
False
Suppose -q + 6 = 2. Let f = -27 - -30. Suppose -19 = -q*b + b - 4*o, f*b + o = 16. Is b a multiple of 2?
False
Let x(z) = -z**3 + 10*z**2 - 2*z + 9. Let p be x(7). Suppose -4*o + v - 2*v - p = 0, 5*o + 178 = -v. Is 12 a factor of o*2*3/(-9)?
True
Let y(z) = z - 3. Let f be y(5). Suppose -g = 3*g - 3*h - 277, 5*g + f*h = 375. Suppose -3*b + g = -47. Does 15 divide b?
False
Is 7 a factor of (-3)/(-3) + -1 + 49?
True
Suppose 5*x - 122 = 8. Is x a multiple of 11?
False
Suppose -5*f + f = -12. Suppose -j = f*j. Suppose -a + h + 45 = 0, j = h - 0*h + 4. Does 13 divide a?
False
Let n(r) = 6*r + 6. Let i be n(-7). Is 15 a factor of (1 + -2)*(i - -3)?
False
Let z = 75 - 18. Is 19 a factor of z?
True
Let w be (-52)/(3*6/(-9)). Let x = 13 - w. Let d = x - -22. Is d a multiple of 9?
True
Suppose 0 = 3*w + 6, -4*o = -5*o - 3*w + 35. Is o a multiple of 11?
False
Suppose 0 = 3*d - 4*r - 148, 8*r = -3*d + 5*r + 141. Is 2 a factor of d?
True
Let o(t) = t. Let w(l) = -2*l. Let p(m) = 6*o(m) + 2*w(m). Let r be p(1). Suppose r*g + 84 = 5*g. Is 13 a factor of g?
False
Let t(b) = 21*b - 1. Let a be t(10). Suppose a = 5*l + 44. Suppose -23 = -4*c - r, 5*c - 2*r - l = r. Is 5 a factor of c?
False
Suppose -2*k = -4*q + 106, -3*k = -0*k - 9. Is 3 a factor of q?
False
Let m be 2 - (2 + -2 - 0). Suppose -3*u + 64 = -m. Is 12 a factor of (1 - -1) + u*1?
True
Let l(b) = -b**2 - b + 36. Is 7 a factor of l(0