tiple of 16?
True
Let d = 6 - 4. Suppose d*h - 3 = 1. Does 7 divide (-3 - h*-12)/1?
True
Let d(w) = -9*w + 12. Let b(m) = 4*m - 6. Let k(f) = -5*b(f) - 3*d(f). Let x be k(6). Suppose 3*l = -l + x. Is l a multiple of 9?
True
Let g = -445 - -625. Is 12 a factor of g?
True
Let o(y) = 2*y**2 - 3*y. Let f be o(-3). Suppose 5 - 4 = -h + 3*g, 0 = -h - 4*g + f. Does 11 divide h?
True
Suppose 2*g = -0*g + 14. Let q = 30 + g. Does 16 divide q?
False
Let y(x) = x**3 - 2*x**2 + x - 4. Is 20 a factor of y(4)?
False
Let o = -11 - -16. Suppose 4*m - 2 = 2. Suppose -o*s - m = -41. Does 8 divide s?
True
Let x(m) = -m**3 - 5*m**2 - 5*m - 1. Let a be -3 + 1/1 + -2. Is x(a) a multiple of 2?
False
Suppose 2*w - 36 = 5*d, -3*w + 3*d = 5*d - 16. Is 2 a factor of w?
True
Let o = -8 - -18. Is o a multiple of 3?
False
Let m(z) = 3*z**2 - 3*z - 2. Let j be m(3). Let a = j - 11. Is 5 a factor of a?
True
Let t be (-1)/6 - 2/(-12). Suppose t = -4*o + 50 - 6. Is 11 a factor of o?
True
Let k(h) = h**3 + 8*h**2 - 8*h + 13. Let o be k(-9). Suppose o*x = -4*s + 56, -3*s - 2*x - 10 + 54 = 0. Is 16 a factor of s?
True
Suppose 5*t + v + 0*v - 13 = 0, -4*v = 8. Let y = 5 - t. Suppose 0 = -2*g + y + 42. Does 16 divide g?
False
Let k be 64/4*11/4. Let s = k - 26. Is 8 a factor of s?
False
Let z be 12/24 - 178/(-4). Suppose 0 = 3*j - z - 15. Is 5 a factor of j?
True
Let j = 11 + -1. Suppose 3*c = -2*h - 16 + 3, 5*h - j = c. Does 9 divide c*(-39)/15*2?
False
Suppose 0 = -2*y - 4*d + 6, -2*d = -4*y - 6*d + 20. Does 5 divide y/28 + (-47)/(-4)?
False
Let n(p) = 3 - 8*p + 3*p + 4*p**2 + 0*p**2. Let a be n(3). Let k = a - 6. Is 9 a factor of k?
True
Suppose 0 = -m + 2*r - 124, -2*m = r + 308 - 65. Let v = 82 + m. Is (-8)/v - 178/(-10) a multiple of 9?
True
Let n(c) = 2*c**2 + 5 + 0 + 8*c + 0. Is 6 a factor of n(-5)?
False
Let y be (3 - 59*4) + -3. Is (-8)/(-28) + y/(-7) a multiple of 13?
False
Let b(a) = 12*a. Does 15 divide b(5)?
True
Suppose -3*v = 4*u - 9, -2*v = -u - 6 - 0. Let p(t) = 49*t**3 + 1. Let w be p(1). Suppose u*i = 5*i - w. Is 5 a factor of i?
True
Suppose -16 = -4*q + 36. Let h = q - 6. Is h a multiple of 4?
False
Suppose -19 = -2*m + 9. Is m a multiple of 10?
False
Let x = 3 + -1. Suppose o + 2*y + 13 = 0, -x*o - 2*y = -3*o - 1. Let t = o - -16. Is 9 a factor of t?
True
Suppose s - u + 3*u - 30 = 0, -2*s - u + 57 = 0. Is 7 a factor of s?
True
Suppose 2*d - 5*d + 15 = 0. Suppose d*u - 17 - 3 = 0. Is 4 a factor of u?
True
Does 35 divide (-31)/(-4 - (-21)/6)?
False
Suppose -501 = -3*x - r, -2*r - 458 - 210 = -4*x. Is x a multiple of 16?
False
Let k(s) = -s - 3. Let b be k(-10). Suppose 2*z = 4*l + b + 33, -5*l = 4*z - 28. Is 7 a factor of z?
False
Suppose -36*c + 39*c - 285 = 0. Is 19 a factor of c?
True
Let y = -123 - -129. Is y a multiple of 3?
True
Let d(b) = b**2 - 7*b. Let v be d(5). Let t = -5 - v. Suppose 0 = 2*c + 4*a - 28, -t*c + 64 = 3*a + a. Is c a multiple of 12?
True
Let q(s) be the second derivative of s**2 + 2*s + 1/12*s**4 + 0 - 1/3*s**3. Is q(6) a multiple of 13?
True
Let m(f) = f**2 + 14*f + 5. Let i be m(-7). Let b = 70 + i. Is 10 a factor of b?
False
Let x = -1 - 4. Let o(c) = 3*c**2 - 4*c + 2. Let t be o(3). Let a = t + x. Does 12 divide a?
True
Let s(c) = c**2 - 7*c + 12. Is s(8) a multiple of 8?
False
Suppose -44 = 4*k - 184. Does 7 divide k?
True
Let j = -12 - -17. Let x = 6 + j. Is 4 a factor of x?
False
Let f(c) = 11*c - 80. Let w(h) = 7*h - 53. Let v(r) = 5*f(r) - 8*w(r). Let q be v(0). Suppose -5*u + q = -4*u - l, -4*l - 68 = -3*u. Does 14 divide u?
True
Suppose 4*q = -q. Suppose q = -5*m - 4*p + 54, 2*m - 76 = -2*m + 5*p. Is 6 a factor of m?
False
Let n = 555 - 191. Is 14 a factor of n?
True
Suppose -3*s + 3*h - 29 = -2*s, 95 = -4*s + 5*h. Let i be (-5)/15 - s/6. Let q = 9 + i. Does 4 divide q?
True
Let u(g) = -6*g**2 + 2*g + 2. Let z be u(2). Suppose -3*i + 1300 = 13. Does 14 divide (-1)/(-6) - i/z?
False
Let f(c) = 7*c**2 + 2*c - 3. Let m(t) = t**2. Let s(q) = -f(q) + 3*m(q). Let v be s(3). Let u = -3 - v. Is u a multiple of 18?
True
Let n = 68 + -43. Suppose 4*r - 35 - n = 0. Does 10 divide r?
False
Let z(x) = x**3 + 5*x**2 + 2. Let p be z(-4). Let t = p + -13. Suppose -2*g + 19 = -t. Is 9 a factor of g?
False
Let x = -202 + 103. Let l = -28 - x. Does 20 divide l?
False
Let h be (-1)/(-1)*(-4 + 8). Suppose 0 = -4*k - 13 + 233. Suppose -h*d = d - k. Is 11 a factor of d?
True
Is 19 a factor of ((-3)/15 - 1128/10)*-1?
False
Let t = -8 - -8. Suppose 16 = 2*q + 2*q. Suppose q*d - 104 = -t*d. Is 12 a factor of d?
False
Let a(j) = -4*j - 3. Let t(u) = 6*u - 6. Let m(o) = -o**2 + 5*o - 5. Let v(y) = 5*m(y) - 4*t(y). Let q be v(1). Is a(q) a multiple of 6?
False
Let i = 229 + -112. Suppose 5*g - 2*g - i = 0. Does 6 divide g?
False
Does 18 divide (-6)/((-96)/1438) + (-2)/(-16)?
True
Let h = -5 - -59. Is 27 a factor of h?
True
Let r = -209 - -323. Let h = -11 - -16. Suppose 4*w = 5*k - r, -h*w = -k - k + 49. Is k a multiple of 11?
True
Suppose -5*k + 3*k - 22 = 0. Is (-11*1)/(k/22) a multiple of 4?
False
Suppose 14*o = 11*o. Let s = 9 + -5. Suppose o = x + s*x - 95. Is x a multiple of 7?
False
Suppose 5*x = 2*z - 27 + 4, 0 = 5*x + 4*z - 1. Is 4 a factor of (30/(-9))/(x/9)?
False
Let r(x) = -x**3 - 6*x**2 + 6*x - 7. Let i be r(-7). Suppose 5*b - 6*b = i. Let y = 34 - b. Does 9 divide y?
False
Suppose -3*c = -2*c - 7. Suppose -c - 1 = -4*o. Is 15 a factor of 2/o*-2 + 32?
True
Let s = 57 - 41. Does 16 divide s?
True
Suppose a + 3*t - 12 = 0, 4*a + t - 20 = 6. Let s = a + 25. Let y = -10 + s. Is 7 a factor of y?
True
Is 11 a factor of (-14)/49 - (-2160)/14?
True
Let o(h) = 24*h**2 + 1. Let c be o(1). Is 48/(-30)*c/(-2) a multiple of 10?
True
Suppose -3*z = 4*n + 36, 4*z = 4*n - 7 + 15. Let o = -2 - n. Suppose 28 = w + 3*i - 11, 5*w - o*i = 176. Is w a multiple of 15?
False
Let m(x) = -x**2 + x. Let c(t) = -4*t + 0*t + 12*t**2 - t**3 + 9 + 0*t. Let p(o) = c(o) + 4*m(o). Does 9 divide p(8)?
True
Let w = 3 - -53. Does 14 divide w?
True
Suppose -4*t - 3*l - 201 = 0, 2*t + 111 = 5*l - 10*l. Let i = 67 + t. Does 19 divide i?
True
Suppose j - 1 = -w - 8, -2*w - 5*j = 5. Let y be (-5)/(w/(-12)) - -2. Let n = y - -8. Does 3 divide n?
False
Suppose 14*p - 18*p = -120. Does 15 divide p?
True
Let j(o) = o**2 + 3*o + 2. Let s be j(-3). Let i(n) = 5 + 7*n - n**2 + 0*n**s + 2*n**2. Does 13 divide i(-8)?
True
Let i(h) = h - 1. Let r be i(6). Suppose r + 3 = 4*p. Suppose -p*g + 0*u + 44 = -5*u, u = -4*g + 110. Is 8 a factor of g?
False
Is 28 a factor of 2 + (49 - 2) + (-4 - -6)?
False
Let o(k) = -15*k + 5. Suppose -2*j = 3*j + 25. Let p be o(j). Let n = p - 46. Does 13 divide n?
False
Let b(c) = c**3 + 8*c**2 - c + 2. Let a be b(-8). Let x be (8/(-5))/((-2)/a). Let y = x - -11. Does 10 divide y?
False
Let l be (-2 + -1 - -2) + 12. Suppose j = l + 23. Does 17 divide j?
True
Suppose 0 = -l - 4*a - 17, 0 = -5*l + 2*a + a - 16. Is l - -13 - (-2)/1 a multiple of 6?
False
Let o(i) be the first derivative of -1 + 2*i**3 + 2*i + 1/4*i**4 - 1/2*i**2. Is o(-5) a multiple of 16?
True
Suppose -78 = -3*d - 0*d - s, -5*s = -3*d + 96. Does 11 divide d?
False
Is 60*2 - (0 + -4) a multiple of 25?
False
Let j(z) = 11*z**3 + 2*z**2 - 2*z + 1. Is j(1) a multiple of 12?
True
Is 29 a factor of 10 + 131 + (-1 - -5)?
True
Suppose 3*p + 18 = 15. Let z be (-2)/(-8) + 6/8. Is z*(-3 - 14)/p a multiple of 11?
False
Let k = -2 - -11. Let o = 21 - k. Is o a multiple of 6?
True
Let w(p) = -2 - p - 6*p**3 + p**3 - 3*p**2 + 7*p**3. Let v be 3 + 0*2/4. Is w(v) a multiple of 11?
True
Suppose 0 = -2*k - 2*k + 20. Suppose -2*o - 131 = -5*f, f - k*o - 59 + 19 = 0. Is f a multiple of 25?
True
Let w = -24 + 53. Is w a multiple of 29?
True
Let o be 1/5 - 66/30. Let w be (-3 - -4)/(o/16). Let u = -2 - w. Is 2 a factor of u?
True
Let y be 2 + -5 + (-1 - -3). Let u be 2 + y + (1 - 2). Suppose u = 3*i + 2*i - 130. Does 13 divide i?
True
Suppose 2*g - 4*c - 12 = 0, g - 5*g - c - 3 = 0. Suppose -3*s - 23 + 191 = g. Does 14 divide s?
True
Suppose -4*n - z + 270 = 2*z, 5*n - 343 = -z. Is 36 a factor of n?
False
Suppose -f = f + 10. Let r(s) = -s**3 - 4*s**2 - 2*s + 1. Is r(f) a multiple of 20?
False
Suppose w + 0*w - 54 = 0. Is w a multiple of 19?
False
Let h = -30 + 68. Is h a multiple of 7?
False
Suppose l - 24 + 9 = 0