1*i + 1. Let k(s) = 102*s - 3. Let c(y) = 2*k(y) + 5*q(y). Is c(-1) a multiple of 17?
False
Let k be (2 + (-57)/6)*-2. Let a = k + 31. Does 19 divide a?
False
Suppose -2*u + 4*u = 8. Suppose 0 = -i - 0 + u. Suppose 0 = 4*t + s - 101 + 21, -i*s = -2*t + 40. Does 10 divide t?
True
Let t = -117 + 172. Suppose t = 2*h + 17. Let q = h - 11. Is q a multiple of 4?
True
Let s(m) = -m**2 - 5*m + 2. Let b = 3 - 7. Let d be s(b). Suppose -2*q - 4 = -d*q, -157 = -5*j + 3*q. Is j a multiple of 12?
False
Let o(x) = 36*x**2 + x - 1. Let b be o(1). Suppose 4*u + b = -4. Is 5 a factor of ((-18)/10)/(3/u)?
False
Suppose n - 43 = -h, -n = -2*n - 5*h + 23. Suppose 3*o + 4*d = -4 - 96, -o + d - 31 = 0. Let z = o + n. Is 7 a factor of z?
False
Let y(b) be the third derivative of b**6/120 - 2*b**5/15 - 3*b**4/8 + 11*b**3/6 + 2*b**2. Let x be y(9). Suppose -41 = -m - x. Is 15 a factor of m?
True
Let a be -2*9/(-6) - 1. Suppose 3*g - 2 = -l + a*g, -2*g = 2. Suppose -l*y + x + 64 = 0, -3*y - 2*x = -0*y - 70. Is y a multiple of 7?
False
Suppose 3*h + 2 = -5*p, 3*p - 5*h + 5 = -3. Let a be 6/2 + (p - 0). Is (1 + (a - 2))*10 a multiple of 5?
True
Let n(u) = 9*u**3 + u - 1. Does 3 divide n(1)?
True
Suppose 4*h + l = 2*l - 451, -4*h - 3*l = 439. Let g = -64 - h. Is g a multiple of 16?
True
Let t = 6 - 3. Suppose 0 - t = -q. Is 10 a factor of 4/q*15/2?
True
Suppose 3*u + 5*h = 205, 366 = 4*u - 2*h + 58. Is u a multiple of 15?
True
Let k be 4/6 - (-4)/3. Suppose d + k*d = 15. Suppose d*v + 13 = 48. Does 7 divide v?
True
Let v = 2 - -6. Does 3 divide (3 + v)*(-2)/(-2)?
False
Let w = 56 - 39. Is 17 a factor of w?
True
Let h = 13 + -11. Suppose -h*w - o + 21 = 2*o, -23 = -w + o. Is w a multiple of 14?
False
Let z be 2/3 - (-23)/(-3). Let j = z + 35. Suppose -j = -4*p - 0*p. Is p a multiple of 3?
False
Suppose -6*c = -c - 10. Suppose 0 = -4*a + c*z + 26, -2*a = -7*a - 3*z + 49. Does 4 divide a?
True
Suppose 0 = 5*y - 28 + 3. Suppose 3*m - 72 = -2*u - 0*u, 5*m - y*u = 145. Is m a multiple of 16?
False
Let x be 0 + 0 - (2 - -1). Let f be (-3 - x/3)/(-2). Suppose g = 5 + f. Is 3 a factor of g?
True
Let g(v) be the third derivative of v**5/40 + v**4/6 + v**3/3 + 2*v**2. Let f(m) be the first derivative of g(m). Does 8 divide f(4)?
True
Suppose -21 + 9 = -3*c. Suppose 2*t - 2*s - 62 = -5*s, -2*t + 62 = -c*s. Is 11 a factor of t?
False
Let c(w) = 2*w - 3. Is 7 a factor of c(5)?
True
Let k(o) = -2*o - 4. Let p be k(-3). Does 12 divide 1 + ((-84)/(-3))/p?
False
Let y(u) = u**2 + 3*u + 44. Is y(17) a multiple of 32?
True
Let f(x) = -x**3 + 7*x**2 - 3*x + 2. Let v be f(5). Suppose 4*z + 4*o + 18 = 46, 3*z - v = o. Is 8 a factor of z?
False
Suppose -x - 3*p + 563 = 4*x, -3*x - 4*p = -329. Is 26 a factor of x?
False
Let n(p) = -p - 12. Let s be (-1)/((-16)/18 - -1). Let z be n(s). Is 4 a factor of (2/6)/(z/(-90))?
False
Is (94/5)/((-9)/(-45)) a multiple of 15?
False
Let d = -22 - -27. Suppose -2*p + 3 = -d*p, p - 149 = -5*s. Is 22 a factor of s?
False
Let q(s) = -5*s - 6. Let b be q(-5). Let m(r) = -r**2 - 7*r + 2. Let d be m(-7). Suppose 3*k - 21 = -d*i + 6*k, -5*k - b = -2*i. Is i a multiple of 12?
True
Let s(b) = -b**2 + 5*b. Let u be s(5). Suppose 5*f - 2*f + 4*d - 38 = u, -2*d - 20 = -5*f. Let n = 12 - f. Is n a multiple of 6?
True
Let v(u) = u**2 - u + 2. Let d be v(2). Let i = d - -10. Suppose 0 = 5*w - 26 - i. Is w a multiple of 3?
False
Let g(d) = -2*d + 5. Let x be (6/(-5))/((-9)/(-45)). Does 17 divide g(x)?
True
Suppose 5*p + 0*p - 260 = 0. Does 4 divide p?
True
Let c = 109 + -321. Let q be (0/2)/2 + 2. Is q/9 + c/(-18) a multiple of 6?
True
Suppose -152 = -4*z + 3*f + 11, -f - 79 = -2*z. Is 37 a factor of z?
True
Let t = 174 - 59. Suppose 5*n + 0*n = t. Does 14 divide n?
False
Suppose -6*q = -3*q - 225. Does 15 divide q?
True
Let g(i) = i**2 - 2*i + 2. Is g(-3) a multiple of 4?
False
Suppose -2*m + 7*m = 65. Let h = 22 - m. Is 3 a factor of h?
True
Is 6 a factor of (30/8)/(12/96)?
True
Suppose -3*a + 6 = p - 9, 0 = -4*p - 12. Let x be 5/((-10)/a) + 9. Suppose x*q = 2*q + 76. Does 19 divide q?
True
Suppose 3*m - 19 - 71 = 0. Let z = m - 15. Does 5 divide z?
True
Let f = 8 - 4. Let l = f - -14. Does 9 divide l?
True
Suppose -27*q = -31*q + 616. Does 26 divide q?
False
Let l be ((30/2)/(-3))/(-1). Suppose 2*n + 2*n = -2*p + 124, -60 = -p - 4*n. Suppose l*o - p = o. Is o a multiple of 6?
False
Let y = 196 + 24. Does 44 divide y?
True
Let l = -5 + 10. Suppose -r + n + 1 = -l, -r = n - 4. Suppose r*a - 5*d - 54 = -d, -30 = -3*a + 3*d. Does 7 divide a?
True
Let d be -9*((-21)/9 + 0). Let o be (2 - d/9)*-9. Suppose -3*w - 2*k = -50, o*w - 2*k + 15 = 61. Is w a multiple of 6?
False
Suppose -8*u = -10*u + 84. Is 19 a factor of u?
False
Let u be 8/12*(0 - 6). Let t(h) = h**2 - 6*h + 7. Let z be t(7). Let w = u + z. Is 10 a factor of w?
True
Let g(a) = -7*a - 12. Does 26 divide g(-8)?
False
Suppose 2*o - 5*z - 60 = 0, -8 = 3*z - 5*z. Let j be ((-14)/(-1) + 5)/(-1). Let b = j + o. Is b a multiple of 8?
False
Let s(g) = -3*g + 29. Is 17 a factor of s(-13)?
True
Does 2 divide (-52)/(-9) + 6/27?
True
Let z(y) = -y - 5*y + 1 + 5*y + 5*y**2. Is 5 a factor of z(1)?
True
Suppose -5*h - 410 = -5*y, -86 = -y + 4*h - 5*h. Is y a multiple of 5?
False
Let j(d) = -d**2 + 10*d - 7. Let n be j(9). Suppose 3*c - n*c - 3 = i, -3*i - 15 = -c. Does 14 divide 610/15 + (-2)/i?
False
Is 6 a factor of (-4)/(-22) - 1218/(-77)?
False
Let d be 5/20 + (-22)/(-8). Suppose 0 = -2*p + 6*p + d*k - 63, 34 = 2*p + 4*k. Suppose 0 = -u - 2, 0 = 4*q - 3*u + p - 93. Is q a multiple of 18?
True
Let z(j) = -2*j + 7. Let t(u) = -4*u + 14. Let h(b) = 3*t(b) - 7*z(b). Does 11 divide h(9)?
True
Let x = -10 - -15. Let f = 24 - x. Let r = f + -7. Is r a multiple of 12?
True
Let r(c) = -c**3 + 15*c**2 + 18*c - 27. Is r(16) even?
False
Let l be (-5)/15 - (-13)/3. Suppose -4*n = -l*y - 96, 0 = 2*n + 2*y - 52 + 4. Is 13 a factor of n?
False
Suppose 4*t = 8*t - 428. Suppose 5*l = -3*b + t, -2*b = -6*b + 3*l + 104. Is b a multiple of 8?
False
Suppose 0 = -5*d + 6 + 4. Suppose 25 = 3*n - 5*u + u, 3*n + d*u = 55. Does 15 divide n?
True
Let m = 33 + 95. Is 16 a factor of m?
True
Let r = 99 - 89. Is r a multiple of 6?
False
Let k(z) = -z**3 + 10*z**2 + 14*z. Is k(11) a multiple of 11?
True
Suppose 0*u - 27 = -5*t - 4*u, 0 = 2*t + 4*u - 6. Is t a multiple of 7?
True
Does 6 divide 28/3 - 4/12?
False
Suppose 3*b - 25 + 3 = -4*h, 5*b + 5*h - 40 = 0. Suppose -6*f - 40 = -b*f. Is 7 a factor of f?
False
Suppose -2*d + 5*y - 19 = -0*y, 0 = 5*d - y - 10. Suppose -2*r + 2 + 6 = 5*h, 7 = d*r + 5*h. Is 1/((-2)/4)*r even?
True
Suppose -7*f - 94 = 102. Is 1 - (0 + -1 + f) a multiple of 9?
False
Let m(o) = o**3 + o**2 - o + 1. Let h be m(1). Suppose -85 = h*q - 7*q. Suppose -l - l - s + q = 0, -l - 5*s = -4. Is 3 a factor of l?
True
Let p = -207 + 365. Suppose -3*z + 0*z + 79 = i, 2*i + z - p = 0. Suppose 5*q - 41 - i = 0. Is q a multiple of 12?
True
Suppose -w = w - 240. Suppose 0 = -2*s + 7*s - w. Is 12 a factor of s?
True
Let q be 0/((-4)/(-4)*-2). Let s(g) = g**3 - g**2 + g + 24. Is 12 a factor of s(q)?
True
Is 9 a factor of 2433/27 + (-3)/27?
True
Let y(p) be the third derivative of p**7/2520 - p**6/720 - p**5/60 - p**4/12 - 2*p**2. Let u(a) be the second derivative of y(a). Is u(4) a multiple of 4?
False
Let b = 0 - -2. Suppose 3*o = b*o + 2, 3*m + o = 44. Does 14 divide m?
True
Suppose 4*u = 8 + 196. Is 17 a factor of u?
True
Let h = 7 + -6. Is 13 a factor of (-1)/(h/(-16)) - 3?
True
Let t(x) be the second derivative of -x**3/2 + x**2 + x. Is 17 a factor of t(-5)?
True
Suppose 4*a - j = 86, -j + 50 = 2*a + 2*j. Is a a multiple of 15?
False
Let x be 6 - (2 - 2)/3. Suppose z - 7 = 3*s + x*z, 3*s + 4*z = -2. Is 15 a factor of 24 + 3/(s/(-2))?
False
Let k = 81 - 51. Is k a multiple of 10?
True
Let j(t) = 6*t**2 + 13*t - 2. Is j(-6) a multiple of 12?
False
Let v(p) = p**3 - 18*p**2 + 24*p - 9. Is v(17) a multiple of 10?
True
Suppose -69 = 4*q + 5*w - 229, -q - 5*w + 25 = 0. Does 24 divide q?
False
Suppose 3*p - 231 = -0*p. Suppose -p + 202 = 5*r. Is r a multiple of 11?
False
Suppose 5*r - 6*f + 4*f = 6, 2 = 3*r - 2*f. Does 6 divide (-3)/r*(6 - 18)?
True
Let a = 2 - -1. Suppose r - a*r + 50 = -2*d, -60 = -3*r - 2*d. Does 8 divide r?
False
Let b(a) = a**2 