). Is ((-6)/(-8))/((-2)/t) a multiple of 15?
True
Let w(v) = v**3 + v**2 - 2*v. Let q be w(-2). Suppose 9 = s - q. Does 6 divide s?
False
Suppose 3*w - 38 = 5*w. Let z = w + 32. Let b = -8 + z. Is b a multiple of 5?
True
Let f(v) = -6*v - 7. Let g = 13 - 8. Suppose -4*c - 2*j = 24, -4 = -2*c - g*j - 24. Is 10 a factor of f(c)?
False
Let s = 12 + -8. Suppose -203 = -2*a - 3*a - 2*t, s*t = -3*a + 133. Is a a multiple of 8?
False
Let d(n) = 2*n**2 + 12*n + 14. Let z be d(-7). Let k = 64 - z. Is k a multiple of 12?
True
Suppose -2*w + 5*x + 204 = 59, 4*x + 12 = 0. Does 16 divide w - (1 + -4 - -4)?
True
Let u be 1/(-2) + 13/2. Let i = u + -4. Suppose -2*q = -b + 24 - i, 4*b - 3*q - 73 = 0. Is b a multiple of 8?
True
Let w(x) = x - 4. Let p be w(-11). Let k be ((-24)/p)/((-1)/(-5)). Is (-150)/2*k/(-24) a multiple of 17?
False
Suppose -144 = -6*p - 0*p. Is p a multiple of 21?
False
Let s(d) = -d**3 - 5*d**2 - 5*d. Let b be s(-4). Let o(j) = -1 - 5*j**2 + 4*j**2 - 6*j + 14*j - 1. Is o(b) a multiple of 7?
True
Suppose -325 = -v - 4*v. Is v a multiple of 13?
True
Let j be (2 - 4)/(-4)*-58. Let m = j - -47. Is m a multiple of 9?
True
Let g(j) = 4*j**2 + 6*j - 12. Is 12 a factor of g(-6)?
True
Suppose 5*t - 3 = 4*t. Suppose t*p - p - 52 = 0. Let m = p - 14. Is m a multiple of 11?
False
Let n(q) = q**3 + 7*q**2 - 3*q - 3. Let c be n(-6). Suppose -3*k + 3*l = -c, -19 - 30 = -3*k + l. Suppose -z - z = -k. Is 8 a factor of z?
True
Let s = 139 + -292. Let i(v) = -v + 6. Let d be i(5). Is 13 a factor of d/2 - s/6?
True
Suppose 5*p = 6*p - 8. Suppose -p = -4*t + m, -4*t + m + 8 = -3*m. Is t even?
True
Suppose 129 = 3*y + 42. Is y a multiple of 10?
False
Let d = 505 + -348. Is d a multiple of 13?
False
Let y(g) = -g**3 - 3*g**2 - 2*g + 2. Let o be y(-2). Suppose -2*b = o*b - 92. Does 13 divide b?
False
Let t = -55 - -31. Let q = t - -13. Let w = q + 15. Does 2 divide w?
True
Suppose -2*j = -3*h - j + 10, -h = -2*j + 5. Is h a multiple of 4?
False
Suppose -87 = -2*k - 249. Let z = -21 - k. Does 20 divide z?
True
Suppose -4*h + 7*h - 153 = 0. Does 48 divide h?
False
Suppose 5*n + 360 = 4*a + 28, 5*a = 2*n + 432. Is 22 a factor of a?
True
Let k = -48 - -89. Is k a multiple of 41?
True
Let v(j) = 11*j**2 - 3*j + 1. Is v(2) a multiple of 13?
True
Let o(d) = d**2 + 4*d + 15. Is o(-7) a multiple of 12?
True
Suppose 0 = -3*w - n - 2, 5*w - w + 6 = -3*n. Suppose -4*m + 7*m - 3*o - 120 = w, 2*m - 65 = 5*o. Is 15 a factor of m?
True
Let j(n) = -n**2 - 5*n - 3. Let r be j(-4). Let t be (20/8)/(r/2). Suppose 2*b + 1 = t*x - 10, 19 = 2*b + x. Is b a multiple of 6?
False
Suppose 5*c = 2*x + 515, -4*c + 3*x + 424 = -x. Suppose 2*f + 195 = 53. Let g = c + f. Is 12 a factor of g?
False
Suppose 3*g - 19 = -64. Let u = -7 - g. Is 8 a factor of u?
True
Let v(u) = -4*u**2 - 7*u + 5. Let h(l) = 3*l**2 + 7*l - 6. Let p(q) = -3*h(q) - 2*v(q). Is p(-6) a multiple of 14?
True
Suppose 14*n - 12*n - 170 = 0. Is 13 a factor of n?
False
Let c be (-26)/(-3) - 6/9. Let k(r) = 2*r**2 - 11*r - 5. Let f be k(c). Let y = f - 22. Is 6 a factor of y?
False
Let i = 22 + -11. Is i a multiple of 11?
True
Let w be (-4)/(-12) + (-11)/(-3). Suppose -11 = -w*s + 21. Is s a multiple of 8?
True
Suppose -8*g = -13*g + 340. Is 34 a factor of g?
True
Let v = 1 - -1. Suppose -v*r = 3 - 9. Suppose h - r = 8. Does 8 divide h?
False
Suppose 5*k = 4*k. Suppose k*i - 102 = -2*i. Suppose -v = 2*x - 19, -4*v + x + i = 4*x. Is v a multiple of 9?
True
Let x(d) = d**3 - 12*d**2 - 7*d + 13. Is x(13) a multiple of 16?
False
Let x be 46 - (-4)/(-16)*0. Let w = -33 + x. Is 3 a factor of w?
False
Suppose -2*m + 92 + 28 = 0. Is 12 a factor of m?
True
Let s(c) = c**2 + 7*c - 108. Is 6 a factor of s(-18)?
True
Is 40 a factor of 44 + -7 + (-1)/((-1)/3)?
True
Let s be 92/4 + -2 - -3. Suppose 6*v = 9*v - s. Is v a multiple of 8?
True
Let f = -82 - -146. Is f a multiple of 18?
False
Let p be (0/(2 + 0))/(-1). Suppose 4*w + w - 25 = p. Is ((-12)/(-10))/(1/w) a multiple of 6?
True
Let t = 5 + 0. Let p = t + -2. Does 3 divide p?
True
Let r(k) = 15*k. Suppose 5*g - 5*c - 20 = 0, 3*g + 3*c - 12 = 5*c. Let n = g - 3. Is r(n) a multiple of 4?
False
Suppose -2*n - b - 3 = 0, -3*n - b = -8*n + 10. Suppose h = -2*d + 21, 3*h - n + 55 = 3*d. Does 13 divide d?
True
Let p(x) = 10*x - 1. Let d = -4 + 2. Let z be p(d). Let c = z - -55. Does 17 divide c?
True
Suppose 4*o = 0, -5*s + 5*o + 0 = 175. Let k = s + 49. Is k a multiple of 12?
False
Suppose -8 = -3*g - 2. Suppose g*b + 68 = 4*b. Is 12 a factor of b?
False
Suppose 2*f + 86 = -0*k + k, 3*k - 267 = -3*f. Is k a multiple of 6?
False
Let l(r) = 7*r + 23. Let j(x) = 3*x + 11. Let y(m) = -9*j(m) + 4*l(m). Let f be y(6). Let t(i) = -35*i**3 - i**2 + 1. Does 12 divide t(f)?
False
Suppose 4*t = -4*k, -4*k + 1 = 5*t - 4. Let v(c) = c**3 - 3*c**2 - 6*c + 4. Is 24 a factor of v(t)?
True
Let h(u) = u**2 + 7*u + 3. Let m be h(-8). Suppose d - 5 - m = 0. Is 9 a factor of d?
False
Suppose 0 = -0*w - 5*w. Suppose -y - 5*l + l = w, 4*y = -l + 15. Suppose -y*k + 8*k = 32. Does 4 divide k?
True
Suppose 2*r = r. Suppose r*c = c - 6. Suppose -30 = 5*z - c*z. Is z a multiple of 15?
True
Let c(u) = 3*u**2 + 2*u - 2. Let d = 28 - 20. Suppose -4*g + 5*v + 3 = 0, -3*v + d*v = -15. Is 7 a factor of c(g)?
False
Let w = 3 + -15. Let a be w/10*15/(-2). Is 5 a factor of ((-6)/4)/(a/(-84))?
False
Let p(m) = 0*m**2 + 3*m + m**2 + m - 3*m. Is p(-5) a multiple of 20?
True
Suppose m - 2*m - 5*g = -13, -13 = 5*m - g. Is 4 a factor of -16*-2*m/(-8)?
True
Let s = 39 + 13. Suppose -4*m + 232 = s. Is 15 a factor of m?
True
Let k be 6/18 + 8/3. Let q = k + 0. Suppose -q*f - 7 = 4*d + 1, -2*f - d + 3 = 0. Does 4 divide f?
True
Let q = 11 - 15. Let m(c) = -c**3 - 4*c**2 - 2*c. Does 8 divide m(q)?
True
Suppose -7*d + 2*c = -2*d - 226, d - 32 = -4*c. Suppose -2*j - 3*l = l - 24, 2*l - d = -3*j. Does 16 divide j?
True
Suppose 0 = 3*o + 4*p - 38, -2*o + 3*p = -0*o + 3. Let v = 23 - o. Does 17 divide v?
True
Suppose -3*a - 2*a = -120. Suppose 2*n - n = a. Suppose -3*f + n = -f. Does 12 divide f?
True
Suppose -5*k = -7*k + 76. Is 19 a factor of k?
True
Does 8 divide 3/2*(-96)/(-9)?
True
Let c = -97 - -343. Suppose 3*h = 6*h - c. Let b = h - 37. Is b a multiple of 15?
True
Is (-93)/2*170/(-51) a multiple of 11?
False
Suppose 76 = 2*m - 4*l, -6*m - 5*l = -3*m - 169. Is m a multiple of 7?
False
Let l(n) = 2*n - 3. Let u be l(4). Suppose u*z - 91 = 4*d, 4*d = -5*z + 2*d + 67. Is 15 a factor of z?
True
Let n(b) = 4*b**2 + b - 1. Does 10 divide n(4)?
False
Suppose 5*h + 460 = -60. Does 15 divide (9/(-6) + 1)*h?
False
Suppose 4*i - 7 = -3*y + 10, -5*i + 24 = y. Suppose 102 = 4*u + i*z, 89 - 13 = 3*u + 4*z. Does 28 divide u?
True
Suppose -1299 + 177 = -17*f. Does 10 divide f?
False
Let j = -9 + 13. Let a(f) = f + 6. Let z be a(-9). Is 23 a factor of z/((-6)/23)*j?
True
Let x(g) = g**3 - 5*g**2 + 8*g - 12. Is x(5) a multiple of 6?
False
Let k(l) = -l**3 - 7*l**2 - 2*l + 4. Does 18 divide k(-7)?
True
Suppose -g - 22 + 134 = 2*o, 3*g = o - 56. Let b(r) = -r**3 + 5*r**2 + 7*r - 1. Let y be b(6). Suppose y*j - 136 = -o. Does 8 divide j?
True
Suppose m + 121 = 2*y, 2*y + 4*m - 55 = 61. Is y a multiple of 30?
True
Suppose 0 = -5*d + 2*d. Suppose d = -2*t + t + 112. Suppose 0*m + 4*m = t. Is 14 a factor of m?
True
Suppose -2*w - 2 + 8 = 0. Suppose w*k - 60 = -2*k. Let o = k - 8. Is o a multiple of 4?
True
Let l(j) = j**3 + 14*j**2 + 17*j. Let c = -11 + -1. Does 28 divide l(c)?
True
Let l = 575 - 322. Is l a multiple of 23?
True
Let n be ((-78)/(-5))/((-3)/10). Let y = -37 - n. Is y a multiple of 15?
True
Suppose 164 = -21*i + 25*i. Does 11 divide i?
False
Suppose -g + 18 = 2*f, 3*f = -f. Let o be 2*((1 - -1) + -1). Let i = g - o. Is i a multiple of 7?
False
Let s = -13 - -117. Is s a multiple of 13?
True
Suppose k - 2*d = 11, -d = -3*k - 0*d + 33. Is k a multiple of 5?
False
Suppose -k + 140 = 3*k. Suppose a - 6 - k = 0. Is 16 a factor of a?
False
Let z(r) = 65*r**3. Let k be z(1). Let w = -150 + 252. Let h = w - k. Is h a multiple of 13?
False
Let f(z) = -33*z + 13. Is f(-3) a multiple of 19?
False
Suppose -j + 9 = 3*x - 8, -4*j - 4*x + 36 = 0. Suppose j*s = -167 + 452. Does 19 divide s?
True
Let o(h) = -2*h + 4. Suppose w - 4*w + 27 = 0. Let n be o(w).