 Is r a multiple of 12?
True
Let o(j) = j**2 + j - 7. Let v = 8 + -5. Let x be o(v). Suppose -2*p - 2*p + 198 = -x*c, p = -3*c + 41. Is 11 a factor of p?
False
Let z = -1687 + 2570. Let k = z + -525. Suppose k = 5*v + 4*n, n - 228 = -3*v + 3*n. Is 19 a factor of v?
False
Suppose 5 = 2*i - 3*j, -5*i + 9 = -3*i + j. Suppose 0*y = -2*y - 5*c + 251, i*c + 158 = y. Is y a multiple of 23?
True
Let z be (-1 - 3/2)*-2. Suppose -5*x - 40 = -z*i, -2*i - 24 = -5*i - 3*x. Is i a multiple of 3?
False
Suppose -2*k + 6*k = 512. Suppose -k = -3*v + 55. Let h = 115 - v. Does 18 divide h?
True
Let n(k) be the second derivative of -3*k**5/20 + k**4/6 + 25*k**3/6 - k**2 - 11*k. Does 18 divide n(-4)?
False
Let p = 10 + -10. Suppose p = -11*f + 13*f - 10. Suppose 0 = -f*b + 3*b + 102. Does 17 divide b?
True
Let p = 888 - 316. Is p a multiple of 22?
True
Let n(d) be the third derivative of d**5/60 - d**4/8 + 11*d**3/2 - 30*d**2. Does 20 divide n(-8)?
False
Let b(p) = 34*p + 1. Let k = -49 + 34. Let y = 16 + k. Does 7 divide b(y)?
True
Suppose 12*j = 17*j. Let n(o) = -o**3 - o + 465. Let h be n(j). Suppose 5*d = -5*u + h, 3*u - 4*u + 4*d = -88. Is 31 a factor of u?
False
Suppose -3*h = -31*h + 1148. Is 5 a factor of h?
False
Is 98 a factor of (-6)/(-5)*84435/117?
False
Suppose 27 + 63 = 5*f - 3*z, z - 36 = -2*f. Let d = f + -19. Let u = d + 33. Is u a multiple of 8?
True
Let l(m) = 1 - 4*m**2 - 4*m + 4 + 5*m**2. Let q be l(8). Let w = q + -18. Is 16 a factor of w?
False
Let k(c) = c**2 - 5*c - 3. Suppose 0 = -8*q - 26 + 66. Let t be k(q). Let b(a) = -a + 5. Is 8 a factor of b(t)?
True
Suppose 0 = 6*c - 13 + 1. Suppose -4*l - 2*s + s + 349 = 0, 0 = 3*l - c*s - 270. Is l a multiple of 8?
True
Is 28 a factor of (24434/(-95))/(-3 + (-13)/(-5))?
False
Suppose -6*b + 2358 = 600. Suppose -a + x + 45 = -52, -3*a + x = -b. Does 7 divide a?
True
Suppose 11*j - 1560 - 1157 = 0. Does 13 divide j?
True
Is (2067 - -14) + 14/(-2 - 0) a multiple of 17?
True
Let o(w) = -w + 7. Let i be o(4). Suppose 0 = -i*r + 56 + 43. Does 8 divide r?
False
Let g(l) = -l**2 - 4*l + 1. Let a be g(-3). Suppose 3*z = -2*h + 42, 0 = 3*h + 2*h + a*z - 119. Suppose 7*y = 8*y - h. Is y a multiple of 9?
True
Let s = 650 - 458. Is s a multiple of 24?
True
Let o = -359 - -509. Does 25 divide o?
True
Let x = -10 - -21. Suppose 0 = -2*n - 6, -2*b = n - 56 - x. Is 5 a factor of b?
True
Let z(w) = -w - 3. Let f be z(-6). Let o = f - 6. Is 12 a factor of 12*(-3)/(o + 0)?
True
Suppose -3*p - 350 + 23 = 0. Let d = p + 279. Is d a multiple of 24?
False
Suppose 0 = -4*x + 3*x + 18. Suppose -6 = 16*d - x*d. Suppose -d*j - 10 + 137 = 4*u, 2*u + 29 = j. Is j a multiple of 9?
False
Let x = -1 - -15. Let m(l) = l**3 - 14*l**2 - l + 16. Let r be m(x). Suppose -2*q + 14 - 4 = r*u, -q = -3*u - 9. Does 3 divide q?
True
Let x be (8/(-6))/(15/(-180)). Suppose 3*g - x = -10. Suppose 2*d + g*d - 2*o - 178 = 0, -94 = -2*d - 4*o. Is 15 a factor of d?
True
Suppose 0*j = 2*f + 2*j - 14, 0 = -4*j + 4. Suppose -g = -f*g + 180. Does 18 divide g?
True
Let q = -80 - -120. Suppose -z + 2*z = q. Is 8 a factor of z?
True
Let v be ((-8)/(-4) - -21)*-1. Let d = 23 + v. Suppose 3*q - 5*q + 36 = d. Is q a multiple of 6?
True
Let f be 2/6*-3*3. Is 12 a factor of -2 + 228/4 + f?
False
Let u = -21 - -15. Let c(x) = x**2 + 7*x + 6. Let d be c(u). Let p = d + 12. Is 7 a factor of p?
False
Is 58 a factor of (-9)/108*4*(-2262 - 0)?
True
Let g(j) = j**3 + 43*j**2 + 79*j - 117. Is 3 a factor of g(-41)?
True
Does 63 divide 376/3 - 4/(-30)*5?
True
Suppose 4*v - 54 = v. Suppose 0 = 5*o + 10, -4*q + 4*o = o - v. Suppose 2 = -2*c, -20 = -w - q*w - 4*c. Is 3 a factor of w?
True
Let v be (-27)/45 - 6/(-10). Let z be (1/(-4))/(3/(-12)). Does 2 divide (-5)/(z*(-1 + v))?
False
Is 27 a factor of (5595/(-9))/((-310)/2604)?
False
Is 38 a factor of 8/(-6 - 42/(-6)) + 1760?
False
Suppose -3*x = -x - 80. Let j be (-21)/(-14)*32/(-6). Let s = j + x. Does 8 divide s?
True
Let o be 4/5*10/4. Let v = 2 - o. Let j = 5 + v. Does 5 divide j?
True
Let g be -1 - 1*1/(-1). Is 5 a factor of (22 - 4) + 1 - g?
False
Suppose -5*x + 4*o + 8597 = 0, -5*x + 5*o - 2*o = -8594. Suppose 7*f + 10883 = -x. Is f/(-28) - (-4)/(-14) a multiple of 16?
True
Let i = -15 + 16. Does 3 divide (-3 - (-23 + -1))*i?
True
Let f(x) = -x**2 - 15*x - 8. Let d(v) = 2*v - 3. Let t be d(-4). Is 26 a factor of f(t)?
False
Let x(i) be the first derivative of -3*i - i**2 - 5 - 7*i + 6*i. Is x(-10) a multiple of 12?
False
Let m = -108 - -154. Is m - (-1 + -1) - 4 a multiple of 11?
True
Let s(a) = 251*a - 9. Does 55 divide s(3)?
False
Let p be 0 + (-1 + 5)/4. Let q(b) = -21*b**3 - b**2 + b. Let l be q(p). Let r = -5 - l. Does 4 divide r?
True
Suppose -7 = -q - 10, -5*n + 7 = q. Suppose n*k = -20 + 60. Is k a multiple of 8?
False
Let h(t) = -t**3 + 8*t**2 - 9*t + 10. Let d be h(5). Does 23 divide 3672/d + ((-6)/3)/(-10)?
True
Suppose -197 = -3*s + 73. Is s a multiple of 18?
True
Let k(n) = -15*n + 1. Let d = 10 + -8. Suppose 5*q + d = 4*q. Does 12 divide k(q)?
False
Let i(a) = -2*a - 82. Let j(u) = -5*u - 163. Let f(q) = 5*i(q) - 3*j(q). Is 21 a factor of f(24)?
False
Let y be 6/4*360/27. Suppose 5*c - y = 160. Does 18 divide c?
True
Suppose 1222 = 2*j + 2*k, -k = -3*j - 0*k + 1837. Is j a multiple of 36?
True
Let z(b) = 179*b**2 + 5*b + 1. Is z(1) a multiple of 27?
False
Let v(j) = j**3 - 4*j**2 - 4*j - 1. Let s be v(5). Suppose -s*d + 150 = -d. Suppose -18 = g - d. Is 6 a factor of g?
False
Suppose 0 = -3*q + m + 4882, q + 6*m - 2*m = 1636. Does 37 divide q?
True
Let b(f) = -2*f**2 + 10*f + 8. Let q be b(6). Let g be (-51 + 1)*6/q. Let i = g + -15. Is 15 a factor of i?
True
Let n(h) = -h + 7. Let f be n(5). Suppose -p - f = 0, 4*x - 14 = -p + 2*p. Suppose -5*q + z - x*z = -5, -3*q - z = -4. Is 2 a factor of q?
False
Suppose 435 = 2*p - 0*p - 5*g, -2*p = -g - 439. Let z = p + -118. Does 13 divide z?
False
Suppose -2*t = -4*q + 5572, -3*t = -5*q - 482 + 7448. Does 12 divide q?
True
Suppose -13127 - 5056 = -11*q. Is 57 a factor of q?
True
Let n = -2 + 2. Suppose -s + n = -2. Let d = 32 - s. Does 15 divide d?
True
Suppose 5*k + 3*z - 94 = 0, 3*k - 6 = 3*z + 36. Suppose 2*m + 7 = -3*v - 10, m - 9 = 2*v. Let a = v + k. Does 12 divide a?
True
Let m(l) = -l**3 - 3*l**2 + 15*l + 66. Does 25 divide m(-12)?
False
Let i = -890 - -984. Does 61 divide i?
False
Let x(d) = -d + 10. Let m be x(7). Let j be 3 - ((2 - m) + 0). Suppose -60 = -3*s + j*q, -3*s + 3*q + 60 = 2*q. Is s a multiple of 7?
False
Let m be ((-13)/(-4) + -3)*-4 + -1. Does 34 divide ((-376)/16)/(2/(m*2))?
False
Let l = 22 + -17. Suppose 3*c - 149 = m + 4*m, 5*c - 195 = -l*m. Suppose 2*r + 0*x - c = -x, 4*x + 8 = r. Is 10 a factor of r?
True
Let g(b) = b**3 + 10*b**2 + 6*b + 20. Let j be g(-10). Does 7 divide 15*4/12 - j?
False
Is 18 a factor of (-6 + 3)/(1/(-216))?
True
Suppose 0 = -r + 5*x + 30, 0*r - 5*r = -3*x - 128. Let b = 79 - r. Suppose 18 = -2*l + b. Is 4 a factor of l?
False
Is 15 a factor of (-6 + (-6)/15)*70/(-4)?
False
Let p = 5 - 4. Suppose 5*t - p = 2*s - 6, -s + 7 = 2*t. Is 2 a factor of s*1 - (-4 + 6)?
False
Suppose 5*g = -3*j - j + 125, 25 = 5*g. Is j a multiple of 2?
False
Let p(d) = -34*d**2 + 11*d - 5. Let g(k) = 11*k**2 - 4*k + 2. Let m(f) = 7*g(f) + 2*p(f). Does 33 divide m(4)?
False
Let j = -16 + 16. Let l be 4/(-14) - (-92)/28. Suppose -5*d + 5*t + 210 = 0, j*t + 202 = 5*d + l*t. Is d a multiple of 9?
False
Let o = 364 + -208. Is o a multiple of 13?
True
Suppose 195 = 4*h - x, 4*h - 2*h - 2*x - 90 = 0. Let l(f) = 3*f + 18. Let a be l(2). Let y = h - a. Does 24 divide y?
False
Let b = -849 + 1227. Is 21 a factor of b?
True
Let b(v) = 965*v**3 + v**2 + 5*v - 6. Is b(1) a multiple of 15?
False
Does 20 divide (2263 - (-5 - 6)) + 11?
False
Let g be (-1)/(-2) - -1*(-1)/2. Suppose 4*j - 205 - 279 = g. Does 14 divide j?
False
Suppose -670 = -5*i - 0*i + 2*f, i - f = 134. Is 5 a factor of i?
False
Suppose -16 = 4*t, -g = 3*g + 3*t. Is (g*(-2 + 3))/(9/6) even?
True
Let i = 40 - 28. Suppose 3*t + 5 = -y - 1, -2*y + i = -2*t. Suppose 0 = -4*v - 3*u - 0*u + 64, y*u = 0. Is v a multiple of 4?
True
Suppose -2*j + 7 = 5. Let x be j + -4 + 10/2. Does 6 divide (x + 9/12)*8?
False
Let u(d) = d**3 + 10*d**2 + 5*d - 6. Let b be u(-10). Is 19 a factor of (-