et d(h) = -99*h - 47. Is d(-2) a multiple of 33?
False
Let d = -52 + 57. Suppose -2*i - d*n + 88 = 16, 36 = i - 2*n. Does 6 divide i?
True
Is 4 a factor of ((-14)/6)/((-4)/84)?
False
Is ((-81)/(-6))/((-507)/102 + 5) a multiple of 27?
True
Let o = 624 - -78. Does 13 divide o?
True
Suppose 0 = 47*g - 46*g - d - 1437, -5*g + 7193 = -d. Is g a multiple of 22?
False
Suppose s - 233 = -0*s. Is 19 a factor of s?
False
Suppose -2*i + 5*u + 155 = 39, 0 = -2*u + 4. Is i a multiple of 9?
True
Let l(r) = r**3 + 4*r**2 - r - 4. Let p be l(-6). Let s = p + 132. Is s a multiple of 12?
False
Let i(z) = 2*z**2 + 3*z - 2. Let m be i(1). Is 4/16 - m*(-173)/4 a multiple of 10?
True
Let r be (-4)/3*(13 + -4)/(-3). Suppose 2*h + 574 = r*q + 3*h, -q - 3*h + 138 = 0. Is 12 a factor of q?
True
Let d be (-42)/(-10) + (-5)/25. Suppose -d*p = 16, 3*y - 28 = 4*p - 0. Suppose -y*g + 22 = -6. Is g a multiple of 7?
True
Suppose m - 4*v + 7*v - 14 = 0, -9 = -3*v. Let k(w) = 5*w + 8*w + m - 3*w. Is 15 a factor of k(4)?
True
Let v(o) = 42*o + 147. Does 17 divide v(22)?
True
Suppose -3*s - 4*z - 2 = 0, -5*z = 2*s - 1 + 7. Suppose m - 70 = -o, 3*o - m - 210 = -s*m. Is 25 a factor of o?
False
Let r(j) = j**3 + 6*j**2 - 9*j + 14. Let o be r(-8). Is 12 a factor of (188/18)/(28/o)*-3?
False
Let g(k) = 44*k + 88. Is 17 a factor of g(15)?
True
Suppose -5*k + 20 = 4*l, 2*l = 7*l - 3*k + 12. Does 2 divide (6/(-9) + l)*42/(-4)?
False
Let o(t) = 16*t. Let z be o(5). Let i = -4 - -7. Suppose w - z = -3*m, -5*m + i*w - 22 = -146. Is 8 a factor of m?
False
Let p(t) = -13*t - 8. Let x be p(2). Let d = -30 - x. Is d a multiple of 2?
True
Let m(x) = -3*x - 2*x - 4*x + 17*x. Is m(11) a multiple of 11?
True
Let f = 3 + -6. Let r(z) = z + 5. Let b be r(f). Does 4 divide 9*(b + (-4)/(-4))?
False
Let x = 2373 + -1567. Does 32 divide x?
False
Let f = -60 + 111. Suppose -6*j = -5*j. Does 10 divide (-2 + j)/2 + f?
True
Let u(c) = c**3 + 13*c**2 - 14*c + 2. Let i be u(-14). Suppose -3*o + i*q = -11, -5*o + 4*q + 12 = -o. Is o a multiple of 5?
True
Let o(a) = a - 3. Let i be o(10). Let p(f) = -f + 8. Let g be p(i). Suppose -5*h - 4*m + 87 = 0, m + 1 = -g. Is 11 a factor of h?
False
Let t(z) = -2*z. Let r be t(-4). Let m = -1256 - -1429. Suppose -m = r*a - 613. Does 16 divide a?
False
Let z(d) = -4*d**3 + 24*d**2 + 16*d - 2. Is 11 a factor of z(6)?
False
Let j = -59 + 68. Let q be (-12)/(1 - (-3)/(-2)). Let b = q - j. Is b a multiple of 14?
False
Suppose 0 = 5*a - 71 + 16. Suppose 2*f - p = a, 0*p = -f - 2*p + 18. Does 8 divide f?
True
Is 3 - -1 - (-6 - 611) a multiple of 23?
True
Suppose 0 = -3*h + 1472 - 305. Let d = h + -245. Is d a multiple of 8?
True
Let c = -11 - -13. Let f(o) = 4*o**c - o**3 + o - 2*o**2 - 1 - 4*o**2. Does 6 divide f(-4)?
False
Suppose -4*m - 4*z = -172, -72*m = -74*m + z + 101. Is m a multiple of 8?
True
Suppose -5*n = -3*o + 10, 2*n - o - 17 = -4*o. Suppose -n = a - 5. Suppose 4*v = g, -a*g = 2*v - 33 - 3. Is g a multiple of 2?
True
Let i(k) = -2*k - 16. Let y be i(-8). Let j(g) = -g - 2. Let a be j(-5). Suppose y = -3*w - a*h + 75, -3*h = 4*w - 0*w - 98. Is 13 a factor of w?
False
Let m(d) = 16*d + 10. Let q(o) = 8*o + 5. Let u(x) = 2*m(x) - 5*q(x). Let y be u(-2). Suppose -28 = -12*g + y*g. Is g a multiple of 17?
False
Let k be ((-32)/(-48))/(2/15). Suppose k = -3*s + 116. Is 12 a factor of s?
False
Let h be (-1)/(1/18*-2). Let u be (-1 + 2)*1 - -13. Suppose -h*f - 115 = -u*f. Is f a multiple of 14?
False
Suppose 2*z - c - 68 = z, 0 = -4*z + 3*c + 275. Does 15 divide z + (2 - 2) + 3?
False
Suppose 0 = 4*n - 8*n - 5*g + 2287, n = 5*g + 553. Is 31 a factor of n?
False
Suppose 2*r - 16 = -3*m - 2*m, 0 = 4*r - 3*m - 6. Suppose -r*k - 38 = -41. Is 16 a factor of (k/2)/((-1)/(-118))?
False
Let u(p) = -4*p + p + p - 2*p. Let d(y) = -3*y. Let h(g) = 6*d(g) - 3*u(g). Is h(-4) a multiple of 12?
True
Let m(b) = -b**2 - 8*b - 6. Let i(y) = -y**3 + 5*y**2 + 6*y - 6. Suppose -5*s = -3*s - 12. Let q be i(s). Is m(q) a multiple of 3?
True
Suppose 0*f - 13*f + 1352 = 0. Is 26 a factor of f?
True
Let z(o) = -65*o - 1. Let r be z(-2). Suppose 3*t + 0*s - r = -3*s, 0 = -t + 3*s + 39. Does 21 divide t?
True
Let h(c) = -7*c - 7. Let z(y) = 10*y + 10. Let b(a) = 7*h(a) + 5*z(a). Let g = -7 - -22. Is b(g) a multiple of 4?
True
Is 8/(((-2)/39)/(16/(-6))) a multiple of 52?
True
Let n(j) = -19 - j - 12*j - 6*j. Suppose -25 = 32*o - 27*o. Is 19 a factor of n(o)?
True
Suppose 0 = -824*p + 821*p + 2829. Is p a multiple of 23?
True
Suppose -4*i - 27 = -635. Is i a multiple of 8?
True
Let r(x) be the first derivative of -11*x**2/2 - 27*x - 4. Is r(-11) a multiple of 9?
False
Suppose 2*f = 7*f - 25. Suppose 0 = -f*h + 3 + 12. Suppose -2*a - h*c = c - 58, 2*c = -2*a + 52. Does 23 divide a?
True
Let x be (2 - 5) + (-1)/1. Let f be (36/(-27))/(x/6). Suppose -5*g + s + 207 = 0, -3*g + 132 = -f*s + 12. Does 13 divide g?
False
Let h = -29 + 31. Suppose 8 = h*g - 0*g. Suppose 2*a + 2*a - 5*q = 27, 4*q = a - g. Does 5 divide a?
False
Suppose 3*w + 2*w = 25. Let q(p) = -2*p + 59. Let o be q(18). Suppose w*g + o = 78. Is g a multiple of 5?
False
Let g be 9*(80/36 - 2). Let w(m) = m**2 + g - 11 - 8*m + 4. Does 11 divide w(-5)?
False
Suppose -y - 4*z = 2*y - 15, 20 = 4*y - 2*z. Let g = -3 + y. Suppose -5*k + 2*v = -89, 0 = -3*k - g*v + v + 60. Does 19 divide k?
True
Suppose 7*z - 27 = -6. Let i(v) = 3*v**3 - 3*v**2 + 5*v - 5. Is 28 a factor of i(z)?
False
Suppose 7*w - n - 21850 = 0, -9*w + 13*w + 5*n - 12469 = 0. Is w a multiple of 13?
False
Let o be (522/10)/(6/30). Suppose -o = -2*d - d. Does 29 divide d?
True
Let y be (-1 + 0)/(0 + (-3)/1296). Is (-13 - -6)*y/(-28) a multiple of 12?
True
Let i be 4 + (130 - (3 - 5)). Suppose -4*y - n = -i, 4*y + 39 = 5*y - n. Is 5 a factor of y?
True
Let i(a) = 8*a**3 - a - 2. Let r be i(-1). Let c(n) be the first derivative of -n**4/4 - 8*n**3/3 + 3*n**2/2 - 11*n - 1. Is 12 a factor of c(r)?
False
Suppose -b = b - 4*d - 10, 5*d = 4*b - 5. Suppose -5*z - 241 = -46. Is z/(b - -2) - -2 a multiple of 5?
True
Suppose 7128 = -21*s + 32*s. Is s a multiple of 9?
True
Suppose 0 = d + 2*d - 78. Suppose d = -r - r. Let a = -3 - r. Is a a multiple of 6?
False
Let b(s) = 69*s - 5. Let o be b(5). Let y(m) = -m**3 + 4*m**2 + 4*m - 7. Let d be y(4). Suppose d*x = 14*x - o. Is 9 a factor of x?
False
Suppose y - 5*p + 4 = 2, 0 = 3*y + p - 10. Suppose 0*g + y*i = 5*g - 246, -5*i = -15. Is g a multiple of 10?
False
Does 97 divide 5820/4*(144/(-30))/(-3)?
True
Let h = -45 + 36. Let l = -58 + 83. Let y = l + h. Is y a multiple of 16?
True
Let r be (2 + (-78)/30)*-60. Suppose p - 8 = -37. Let k = r + p. Is 7 a factor of k?
True
Let i be 18/(-8) + (-3)/(-12). Let s = i - -12. Let f = s - -6. Is f a multiple of 16?
True
Let k = 18 - 12. Suppose -y - p + 11 = 2, 0 = 4*y - p - 16. Suppose -5*u = 5*q - 20, 0 = -u - y*q - 2 + k. Is 4 a factor of u?
True
Suppose -22*t = -6*t - 1216. Suppose -4*n - 36 = 2*r - 3*r, -t = -2*r + 4*n. Does 12 divide r?
False
Let y be (-11)/(2 - (1 + 2)). Let q = 150 - y. Does 25 divide q?
False
Suppose 79*o - 85*o = -1086. Does 20 divide o?
False
Let w(f) = 2*f - 12. Let s be w(5). Let h be -4 + (4 - -7) + s. Suppose -h*l = -4*j - 3*l + 174, -l = -3. Is 9 a factor of j?
True
Suppose 6*a = 3*a - d - 51, 85 = -5*a - d. Let v = 62 + a. Is v a multiple of 15?
True
Suppose 15*f - 10*f - 300 = 0. Let r = f - 43. Does 3 divide r?
False
Let h(j) be the second derivative of j**4/12 - 5*j**3/6 + 9*j**2/2 - 8*j. Is 9 a factor of h(5)?
True
Let k be (-8)/(-16)*28/(-2). Let v(u) be the third derivative of -u**6/120 - 7*u**5/60 - u**4/4 + u**3/3 + u**2. Is 24 a factor of v(k)?
False
Let g(i) = -i - 2*i + i - 5. Does 7 divide g(-7)?
False
Let o be (1 + 736/(-12))*-3. Suppose -o = -7*s + 29. Is 13 a factor of (-4)/s + (-3910)/(-75)?
True
Let l = -151 - -260. Suppose -2*t = -4*n - t + l, 2*n - t = 53. Is 5 a factor of n?
False
Suppose -7*w + 2*w - y = 64, -4*y - 9 = w. Let b = w + 111. Is 23 a factor of b?
False
Let u(a) = -a**3 - 2*a**2 - 13*a - 6. Suppose 9*n - 4*k = 8*n, -3*n + 5*k - 7 = 0. Is 26 a factor of u(n)?
True
Suppose -7*l + 139 = 2344. Does 27 divide l/(-3) - (-3 + -2 + 5)?
False
Suppose 4*n + 4*q = 88, -3*n + 6*n - 41 = 2*q. Suppose -x - d + 63 = 0, -4*d + n + 40 = x. Is 13 a factor 