a multiple of 5?
True
Let k be (8/10)/(14/1855). Suppose 3*c - 3*p = -5*p + 112, 3*c - k = p. Is c a multiple of 12?
True
Let v(s) = s**3 - 15*s**2 + 8*s + 23. Let b be v(15). Suppose 4*n - 30 = 362. Let h = b - n. Is 9 a factor of h?
True
Suppose 2*j - 5*d = -7 - 0, 25 = -5*j + 5*d. Let h be 2/j - 2/(-6). Suppose h = 4*y - 141 + 29. Is 28 a factor of y?
True
Let j(u) = -u**3 - 11*u**2 - 12*u + 43. Is 3 a factor of j(-10)?
True
Let m(o) = -33*o - 48. Is m(-2) a multiple of 6?
True
Let m(c) = 12*c**2 + 7 - c - c**2 - 4*c**2 - c**3. Let n be m(7). Suppose 0*q + 4*q = r + 196, n = -3*q - r + 140. Is q a multiple of 16?
True
Let c = -17 + 12. Let v = c + 8. Suppose 0 = -a - v*a + 52. Is a a multiple of 12?
False
Suppose y = k - 2*k - 240, 0 = 4*k - 4*y + 928. Let x = k - -356. Does 30 divide x?
True
Let f be ((-1)/(-2))/((-5)/80). Let y be 0 - f - (-13 + 13). Suppose 56 = -6*q + y*q. Is 10 a factor of q?
False
Let y(n) = -n**2 - 4*n - 2. Let r(j) = -2*j. Let c be r(2). Let d be y(c). Is 2 a factor of (-69)/(-12) + d/(-8)?
True
Suppose 7*x - 4*x - 117 = 0. Is 19 a factor of x?
False
Let s be (-2)/6*6/(-2). Let k be s - (9 + 1 - -1). Let g(l) = l**3 + 9*l**2 - 11*l - 1. Does 4 divide g(k)?
False
Suppose 25*p - 27*p = -792. Suppose p = 2*k + 2*k. Is k a multiple of 33?
True
Let r = -17 - -7. Let g = -8 - r. Suppose d + 270 = 5*d + g*c, -4*c - 12 = 0. Does 25 divide d?
False
Suppose i + 1713 = 4*i - 3*n, 3*n + 569 = i. Is 44 a factor of i?
True
Suppose -8*q = -4498 + 890. Does 41 divide q?
True
Let r(h) = 6*h**2 + 5*h + 6. Let t(f) = f**2 + 5*f - 17. Let a be t(-7). Is r(a) a multiple of 24?
False
Let l = -26 + 58. Suppose -l = 2*q - 136. Is 11 a factor of q?
False
Suppose -2*i - 4 = 48. Is 21 a factor of (-14)/(-3 - i/10)?
False
Let c(g) = -5*g + 4. Suppose -8 = -2*n, 5*v + 4*n - 9 = 2. Is c(v) a multiple of 3?
True
Suppose -3*g = 4*t - 41 - 178, 3*t - 5*g - 128 = 0. Suppose h - 3*y = 73, 2*y - 2 - t = -h. Does 11 divide h?
False
Let u(s) = -s**3 - 11*s**2 - 8*s - 12. Let o be (-3)/9*3*11. Does 19 divide u(o)?
True
Is 15 a factor of (102/(-6) - -7) + 5 - -653?
False
Let c = -166 - -250. Does 3 divide c?
True
Let c(b) = 3*b**2 - 6*b - 7. Let x be c(6). Suppose -2*z + x + 195 = 0. Let t = -78 + z. Does 25 divide t?
False
Let j(f) = f**3 - 16*f**2 + 11*f + 10. Is 83 a factor of j(18)?
False
Let i(l) = 8*l**2 - 5*l - 258. Is 30 a factor of i(16)?
True
Let y = 104 - -871. Is y a multiple of 93?
False
Let c(w) be the first derivative of w**6/40 + w**5/20 - w**4/8 + 3*w**2 + 3. Let q(p) be the second derivative of c(p). Is q(2) a multiple of 30?
True
Suppose -3*j - 5*b - 532 = -2983, -b = j - 819. Is 11 a factor of j?
False
Let f = 86 - 52. Let h = f + -30. Is 4 a factor of h?
True
Suppose 95 = 2*r - 67. Suppose -o - 2*o + r = 0. Is 9 a factor of ((-2)/(-3))/(1/o)?
True
Let y = -1183 + 1813. Is y a multiple of 14?
True
Suppose -2*g = 10, g - 10 = -0*a - 5*a. Suppose 3*z = -2*v + 3*v - 177, a*z + 12 = 0. Is v a multiple of 11?
True
Suppose -4*m = -117 - 87. Suppose u + m = 4*u. Is u a multiple of 2?
False
Let j(c) = c**2 + 20. Let h be j(0). Suppose -3*q + 16 = 5*s, 24*s - 3*q - 4 = 19*s. Suppose 0*b = -s*b + h. Is 5 a factor of b?
True
Let f be (6/(-15))/((-2)/60). Let n(q) = 4*q - 13*q**2 - f*q - q**3 - 7 - 2*q - 3*q. Does 5 divide n(-12)?
True
Let d(v) = -4*v + 147. Is d(-9) a multiple of 12?
False
Let l(k) be the second derivative of -k**3/6 + 2*k**2 - 3*k. Let v be l(10). Is 10/v*6/(-2) a multiple of 2?
False
Suppose 2*i - 3*b = 113, 0 = 5*i - 2*i - 5*b - 171. Suppose y = -y + i. Suppose -22*j + y*j = 176. Does 11 divide j?
True
Suppose 9*s + 9*s = 24426. Is s a multiple of 24?
False
Let r(f) = -2*f**2 + 40*f - 30. Is 20 a factor of r(15)?
True
Suppose 3*c = -4*s + 344, 6*c - 231 = 4*c - 3*s. Does 5 divide c?
False
Let j(l) = l**3 + 2*l**2 + 1. Let x be j(-2). Let t be (3 + 1)*(7 + x). Let y = t + -12. Is 20 a factor of y?
True
Suppose 4*i - 81 - 15 = 0. Suppose -259 + i = -5*o. Is 8 a factor of o?
False
Let s be 12 + (-3)/3 + 5. Let a = s + 148. Does 41 divide a?
True
Let b = -268 - -309. Does 41 divide b?
True
Let s(t) = -t**3 - 60*t**2 - 26*t + 174. Is s(-60) a multiple of 56?
False
Let h = 23 - -3. Let k be (10/(-15))/((-2)/6). Suppose 0 = 2*s + g - h - 3, 0 = -4*s + k*g + 38. Is 4 a factor of s?
True
Let v(g) = -78*g - 79. Does 53 divide v(-18)?
True
Let z(y) = -63*y + 70. Let i(v) = 31*v - 35. Let x(d) = 7*i(d) + 3*z(d). Does 35 divide x(6)?
False
Is (-721)/(-3) - 16/48 a multiple of 4?
True
Suppose 2*w - 8 = r, 3*w - 8 - 7 = 0. Suppose -6*t = -9*t + 6. Does 27 divide 207/3*t/r?
False
Suppose -2*k - 202 = 2*q + 2*q, -4*q = k + 203. Let s = q - -119. Is s a multiple of 8?
False
Let u = -51 - -103. Suppose -4*t - y = -2 - 2, 2*y = 2*t - 12. Suppose -2*o + 16 = -t*i, 0 = -3*o - 6*i + 2*i + u. Is 3 a factor of o?
True
Let f = -178 + 310. Is f a multiple of 19?
False
Let u = 3053 + -963. Is u a multiple of 40?
False
Does 49 divide 2/3 - 16/24*-1763?
True
Suppose -18 = -3*c + 4*c. Let s = 3 - c. Suppose 4*d = 5*y - 90, -s - 15 = -2*y + 2*d. Is 11 a factor of y?
False
Let i = 12 + -11. Is (14*i)/(16/104) a multiple of 13?
True
Does 32 divide (-33610)/(-105) + 6/(-63)?
True
Let c(y) = 4*y - 6. Does 6 divide c(4)?
False
Let i be (-1 + 3)*(-3 - -2). Let y be 212/44 - i/11. Does 9 divide 95/y + 2 + -2?
False
Let l be -1 - (27/(-9) - (0 + 342)). Suppose -2*x - l = -5*g + x, 2*g - 4*x = 132. Does 14 divide g?
True
Does 17 divide (45 - 215)/(-2 - (-1 + 1))?
True
Does 14 divide ((-10460)/(-1))/(65 - 63)?
False
Is (38/2 + -4)*11376/80 a multiple of 9?
True
Let i(d) = -d + 3. Let y = 11 + -6. Let g be y*(33/(-15) + 1). Is 9 a factor of i(g)?
True
Let l(c) = c**2 - 7*c. Let u be l(7). Suppose u = -z - z + 12. Is z even?
True
Let v = 25 + 128. Is v a multiple of 28?
False
Let q be (-6)/(-39) + (-74)/(-26). Suppose 4*u - 3*s = 466, 464 = 4*u - q*s - s. Suppose -4*p - 22 = -u. Does 13 divide p?
False
Let k be (-1)/(-1) - (32 + -7). Is (116 - 0) + k/(-6) a multiple of 15?
True
Let x(b) = -b**3 + 8*b**2 + 11*b - 48. Is 8 a factor of x(8)?
True
Suppose -a - a + 8 = 0. Suppose -a*z + 2*x + 68 = -40, 0 = -5*z - 5*x + 120. Suppose 0 = -2*q - 4, q + z = 2*l + l. Is l a multiple of 4?
True
Suppose 0 = -0*y - 4*y + 2*p + 8, 0 = 3*y - 4*p + 4. Suppose y*z + 0*x + x = 269, z + 4*x - 86 = 0. Does 6 divide z?
True
Let k(r) = -r**3 + 8*r**2 - 7*r + 6. Let h be k(7). Suppose -154 = -3*l + h*d - 2*d, -62 = -l + 4*d. Is 28 a factor of l?
False
Let v = -140 + 200. Suppose -4*z - v = -4*d + 56, 3*d + 2*z - 92 = 0. Does 4 divide d?
False
Let a be 1/(4*4/80). Suppose -57 = -o + 3*n - 0*n, n + 327 = a*o. Does 11 divide o?
True
Suppose -18256 = -33*p - 304. Is 34 a factor of p?
True
Let d(v) = -v + 9 + 6 + 3 + 1. Does 3 divide d(-9)?
False
Let s be (-162)/36*8/(-6). Suppose 220 = -s*x + 10*x. Is 11 a factor of x?
True
Let z be ((-12)/(-12))/(-1 - -2). Let h(s) = 107*s**3 + 2*s**2 - s. Does 13 divide h(z)?
False
Let g = 58 + -77. Let i = g + 64. Is 11 a factor of i?
False
Suppose w + 21*f = 23*f + 1886, -2*w - 3*f + 3807 = 0. Is w a multiple of 79?
True
Let w be (-8)/(-5) + (-10)/(-25). Suppose 4*i - 284 = -4*y, -w*i + 14 + 163 = -5*y. Is 26 a factor of i?
False
Let h = -71 + 421. Does 10 divide h?
True
Let y = -1107 - -2055. Is y a multiple of 79?
True
Suppose i - 5*j - 533 = 0, 5*i - 2665 = -0*i + 2*j. Is i a multiple of 41?
True
Let v(c) = -20*c - 2. Let j be v(-4). Suppose 4*h + l + 2*l = 160, -2*l + j = 2*h. Let i = h - 30. Is 3 a factor of i?
False
Suppose -3*x - 8 = 5*a + x, -2*x + 14 = -2*a. Let r = -7 - a. Let w(u) = 2*u**2 - 5*u + 3. Is w(r) a multiple of 6?
True
Let s(w) = w**3. Let d be s(1). Let y be (d - 2)/((-3)/15). Let k(l) = 17*l + 11. Is 16 a factor of k(y)?
True
Is 9*29 + (-11)/(-22)*-2 a multiple of 18?
False
Let h = 270 + -81. Suppose h = 3*w - 2*w. Does 19 divide w?
False
Let y be (-1 - -9 - -2)*1. Let p(f) = 6*f - 29. Let d(k) = -3*k + 14. Let r(m) = -9*d(m) - 4*p(m). Is r(y) a multiple of 4?
True
Let v(k) = -k**3 + 5*k**2 - 6. Let u be v(4). Suppose -6*c = -u*c + 580. Does 29 divide c?
True
Let t be ((-11)/(-2))/((-9)/36). Let w = 117 + t. Is w a multiple of 4?
False
Let a = -98 - 64. Let r = a - -244. Does 19 divide r?
False
Is 51 a factor of -12*(4 - (-738)/(-