iple of 14?
True
Let k = -139 - -89. Let x(f) = -12*f - 23. Let p be x(-9). Let i = k + p. Is i a multiple of 12?
False
Suppose 3*r - 162 + 30 = 0. Suppose 0 = 2*g + r + 8. Does 8 divide (-6)/39 + (-316)/g?
False
Let h be (-3)/(-12) - (-6)/8. Let w be 122 + 0/(h - -2). Is 10 a factor of w/6 - (-1)/(-3)?
True
Suppose 0 = -5*r + r + 84. Does 14 divide r?
False
Suppose -3*f - 11 = -65. Let l be (-4)/18 + 436/f. Suppose l = 5*u + 2*b, -2*u + 8 = -5*b - 19. Is u a multiple of 6?
True
Is 12 a factor of 304/57*135/4?
True
Let a(l) = l**2 + 15*l. Let b be a(-12). Is 8 + -5 - (b + 0) a multiple of 13?
True
Let w(o) = 6*o**2 + o. Let r be w(-1). Let g = 1 + r. Is g a multiple of 6?
True
Let r be ((-3)/(-2))/(1/2). Suppose r*j + 22 + 71 = 0. Let m = 50 + j. Does 12 divide m?
False
Let k = 6 + -1. Suppose 0 = k*h - 98 + 8. Is 6 a factor of h?
True
Is ((-1220)/25)/((-4)/10) a multiple of 13?
False
Let r be 2 + 0/3 + 2. Suppose r*j = j + 324. Suppose -16 = -4*q + j. Is 20 a factor of q?
False
Let w = -49 - -145. Does 11 divide w?
False
Let f be 2/3 + 2/(-3). Suppose f = 3*w - 0*w - 45. Does 9 divide w?
False
Let q(h) = h**2 + 7*h - 3. Does 13 divide q(-11)?
False
Suppose 3 = i - 3*k, 2*i = 4*i - 2*k + 6. Is 12 a factor of 90/2 - (-3 - i)?
False
Suppose -2*k = -5*u + 3*u - 60, 4*k = 2*u + 116. Let i = -10 + k. Is i a multiple of 9?
True
Let j = -12 - -20. Is j a multiple of 4?
True
Let z(u) = -2*u + 1. Let i be z(-2). Suppose i*o - 13 = 32. Is o a multiple of 8?
False
Suppose 0*v - 15 = -3*v. Suppose 21 = n - 2*q, -n + v*n = -3*q + 73. Does 6 divide n?
False
Let z be 45 + 2/(4 + -2). Suppose -2*i = -5*g + 82, 3*g - 2*i - z = -4*i. Does 8 divide g?
True
Suppose 0 = b + 2*s, -b = -0*s + s - 2. Let j = 8 - b. Suppose 0*x = 2*x + j*l - 34, -49 = -3*x - 5*l. Is 5 a factor of x?
False
Suppose -2*r = 2*r + 4*k, 5*k + 12 = r. Let h = 0 - r. Let l(o) = -o**3 + 2*o**2 - o. Is l(h) a multiple of 9?
True
Let r(p) = 2*p - 14. Let a be r(11). Let n(b) be the second derivative of b**5/20 - 7*b**4/12 - 2*b**3/3 - 3*b**2/2 - b. Is 19 a factor of n(a)?
False
Does 8 divide 20/3*24/10?
True
Let w = 90 + -60. Suppose n = -n + w. Does 14 divide (-3 - (-3 + 1)) + n?
True
Suppose 3*m + 15 = 0, -4*f - 4*m - 55 = 1. Is (-282)/f + (-2)/6 a multiple of 13?
False
Suppose -5*c = -2*a - 313, -2*c - 191 = -5*c - 2*a. Is 9 a factor of c?
True
Is (-1)/6 - (-679)/42 a multiple of 4?
True
Let w = 20 - -3. Is w a multiple of 12?
False
Let w(v) = -v**3 - 4*v**2 + 8*v - 4. Let s be 2/(-3) - (-8)/3. Let t be (-11)/s - (-3)/(-6). Is w(t) a multiple of 15?
False
Let w(t) = -9*t**2 - 6 + 2*t + 3*t + t. Let p(z) = 9*z**2 - 5*z + 5. Let b(i) = 6*p(i) + 5*w(i). Is b(-1) a multiple of 4?
False
Suppose 4*x + 4*t + 40 + 20 = 0, -5*t - 5 = 0. Let o = 47 + x. Is 9 a factor of o?
False
Suppose -3 = -x - 2. Let h be -5*(-1)/x + 0. Suppose 0*r = 5*r - h*b - 15, -2*r + 36 = 4*b. Is 4 a factor of r?
True
Suppose -j = -115 + 1. Suppose -13*g + j = -11*g. Is g a multiple of 12?
False
Is (-1)/((-2 - -1)/12) a multiple of 6?
True
Let g(n) = -5*n**2 - 7. Let w(q) = 11*q**2 + 15. Let a(l) = 13*g(l) + 6*w(l). Does 9 divide a(6)?
False
Let w = -9 + 4. Let l = w - -10. Is 4 a factor of -2 - ((-2 - l) + -3)?
True
Let y(n) = -n**3 - 9*n**2 - n + 5. Does 5 divide y(-9)?
False
Let f(o) = -o + 12. Let s be f(7). Suppose -h + s = -19. Does 8 divide h?
True
Let o = 10 + -15. Let z(g) = -g - 2. Let q be z(o). Suppose q*r - 15 - 15 = 0. Does 10 divide r?
True
Suppose -2*k - 7 = 5. Let n(i) = i**3 + 7*i**2 + 2*i + 9. Is n(k) a multiple of 11?
True
Let k = -12 + 40. Is k a multiple of 14?
True
Suppose 2*x + 556 = 5*i, -2*i - x + 165 + 52 = 0. Is i a multiple of 10?
True
Let i(n) = -n**3 + 4*n**2 + 6*n - 2. Suppose 6*m - 25 = m. Let q be i(m). Suppose 0*j + 42 = q*j. Does 14 divide j?
True
Suppose -5*s + 3*i = -0*s - 35, 5*s + 5*i + 5 = 0. Suppose 0 = -2*x - 2*x + 52. Suppose -n = -2*j + j - x, -4*j = s*n - 44. Is 12 a factor of n?
True
Suppose -3*j + 81 = g, -j - 81 = -g - 0*j. Suppose 5*r - 47 = 248. Suppose -g = -5*d + r. Is 15 a factor of d?
False
Let n(j) = j**3 - 7*j**2 - j - 2. Let q(v) = v + 8. Let z be q(0). Does 14 divide n(z)?
False
Let w(g) = 8*g**3 + 3*g**2 + 2*g - 1. Let j be (5/(-5))/((-1)/(-2)). Let r be w(j). Let y = -22 - r. Is 14 a factor of y?
False
Suppose -29 = -5*o + 11. Is o a multiple of 4?
True
Let t = 3 + 3. Let a = 18 - t. Does 5 divide a?
False
Let c(q) be the first derivative of -9*q**4/2 - q**3/3 - q**2/2 - 5. Is c(-1) a multiple of 13?
False
Suppose 3*l = 4*l + 2. Is l - -4 - -1*25 a multiple of 9?
True
Let o = 14 - 3. Does 11 divide o?
True
Let u = -36 - -84. Let a = -16 + u. Is a a multiple of 16?
True
Suppose 229 = 2*h - 25. Does 18 divide h?
False
Let c(a) = 2*a - 3. Let q be c(5). Suppose -2*u = -q*u - 15. Does 18 divide (u/5 - 3)*-5?
True
Suppose 4*k - 2*b - 204 = 0, -k + 3*b + 52 = -4. Suppose 2*m - 3*v - k = -v, m + 4*v = 50. Is m a multiple of 10?
True
Suppose 2*g - 146 = z + 15, -143 = -2*g - 5*z. Is 8 a factor of g?
False
Let z be 6/((-76)/(-32) - 2). Suppose 0 = 3*y - z - 29. Does 15 divide y?
True
Let q = 22 + -31. Let r = 14 + q. Is r even?
False
Suppose 0*j - 20 = -4*j. Suppose b - j*b = -100. Suppose 0 = 2*z - b - 23. Does 17 divide z?
False
Let d(r) = 10*r**3 - 3*r**2 + 1. Let t be d(2). Suppose -2*l - t = 3*k, 2*k + 24 + 6 = 4*l. Is ((k - 2)*1)/(-1) a multiple of 18?
False
Let i = 703 + -435. Does 41 divide i?
False
Suppose m = 4*c + 22, 5*m = 2*m - 5*c - 19. Suppose -m*i + 2 = -6. Suppose 0 = n - i, 3*n = 4*o - 32 - 32. Is 8 a factor of o?
False
Let o = 8 + -4. Let n = -3 + o. Let h = 1 + n. Is h even?
True
Let v(s) = -19*s + 2. Let r be v(-2). Let i = r - 13. Is i a multiple of 14?
False
Suppose c = -c + 150. Does 7 divide c?
False
Suppose -4*s - q + 14 - 2 = 0, 0 = -3*s - 3*q. Let k(g) = g**2 - g + 5. Does 9 divide k(s)?
False
Suppose -2*q - 17 = -2*b - 3*q, -4*b + 49 = 5*q. Suppose b*z - z - 90 = 0. Is 6 a factor of z?
True
Suppose 2*h - 1 - 1 = 5*i, 0 = -2*i + 2*h - 2. Does 19 divide -2 - i - (-56 - -1)?
False
Let c = -7 + 5. Let z = c + 12. Does 5 divide 1 + -2 + -2 + z?
False
Suppose 3*o = -2*t + 244 + 180, -3*o + 399 = -3*t. Does 46 divide o?
True
Suppose -5*y + y - 4*i - 192 = 0, 3*i - 164 = 4*y. Let q = -28 - y. Does 10 divide q?
False
Let a = -11 + -21. Let z = a + 46. Let d = z + 19. Does 13 divide d?
False
Let j = 4 - 0. Let q(a) = -a + 2. Let z be q(j). Does 10 divide 17 - (z*1 + 2)?
False
Let g = 94 + 162. Is g/26 - (-2)/13 a multiple of 9?
False
Let h(j) = -j**3 - 6*j**2 - 4*j + 1. Let u = 6 - 3. Let y(w) = -w**3 + w**2 + 4*w. Let x be y(u). Is 14 a factor of h(x)?
False
Suppose -r + 48 = -5*l - 5, 3*l = 15. Is r a multiple of 13?
True
Let c(y) = -y + 6. Let p be c(9). Let l = -2 - p. Let k(s) = 7*s. Does 5 divide k(l)?
False
Let g(u) = -u**3 + 15*u**2 - 14*u + 15. Is 4 a factor of g(14)?
False
Let j = 7 - 4. Suppose -j*o = 2*o, 2*o = 2*n + 6. Let g = 14 - n. Is 14 a factor of g?
False
Let b = 259 + -17. Does 11 divide b?
True
Let c = -87 + 51. Let k(j) = -j**3 + 2*j**2 - 3. Let m be k(3). Is (-354)/c + (-2)/m a multiple of 10?
True
Suppose u - 4*u + 19 = 5*a, -3*u = a - 11. Suppose -28 + u = -5*d. Suppose -2*b = -d*y - 20, -50 = -5*b + 2*y + 2*y. Is 10 a factor of b?
True
Let k = -14 - -62. Does 6 divide k?
True
Suppose -2*z - 5 = -97. Is z/10 - (-16)/40 a multiple of 5?
True
Let c = 6 + 14. Is c a multiple of 15?
False
Let c(p) = p**2 - 7*p + 8. Let k be c(6). Is (-36 - 2)/k*-1 a multiple of 10?
False
Let q = 140 + -93. Is q a multiple of 27?
False
Suppose -2*h = -z - 2, -2*z - 5*h - 44 = -13. Does 14 divide ((-14)/z)/(9/72)?
True
Let y(g) = 11*g - 4 - 4 + 2*g**2 - 4*g + 2*g**2. Let h(u) = 5*u**2 + 7*u - 9. Let d(v) = -2*h(v) + 3*y(v). Does 12 divide d(-6)?
True
Suppose 0 = -5*l + 26 - 196. Let z be 1*2 - (54 - 0). Let q = l - z. Is 10 a factor of q?
False
Let m(z) = -z**3 - 4*z**2 - 5*z - 6. Is m(-6) a multiple of 48?
True
Let u(q) = q**3 - 6*q**2 + 5*q + 2. Let x be u(5). Let w be (0 - -2) + x + -2. Suppose -5*b - 27 = w*a - 4*a, -b = 5*a - 135. Is a a multiple of 9?
False
Let u(l) = l - 1 + 1 + l**2 - 2. Let g = 4 + -2. Is u(g) a multiple of 3?
False
Let s(c) = -8*c**2 + 29*c - 5. Let h(x) = 3*x**2 - 10*x + 2. Let o(t) = -11*h(t) - 4*s(t). Let z be (-24)/84 -