de f?
False
Let m(s) = -s. Let u(d) = -2*d**2 - 1. Let k be u(-1). Is m(k) a multiple of 2?
False
Is 4/((-32)/20)*-8 a multiple of 5?
True
Let i(u) = -5*u + 1. Let k be i(-2). Suppose 0 = 2*f - d - k, 2*d + 14 = 3*f + d. Suppose f*c = 4*x + 114, 0 = 2*c - 4*x + 22 - 94. Is c a multiple of 21?
True
Let b(h) = h - 9. Is 3 a factor of b(13)?
False
Let c = 331 + -214. Does 17 divide c?
False
Suppose 232 = 5*r + 22. Suppose 0 - r = -u. Is 14 a factor of u?
True
Let p = -27 - -36. Is 4 a factor of p?
False
Suppose 2*a - 4*j = 16, -5*a + 30 = -0*a - 5*j. Is (150/a)/((-6)/(-8)) a multiple of 25?
True
Let j be ((-8)/5)/(3/(-60)). Suppose -4*n + 3*g + 38 = 7, -4*g = 2*n - j. Is 5 a factor of n?
True
Let g = -6 + 8. Suppose g*f = 3*r + 14 + 22, -3*f + 37 = 4*r. Is f a multiple of 8?
False
Suppose 4*z - 2*d = d + 946, 2*z - 4*d - 468 = 0. Is z a multiple of 36?
False
Let b = 4 - 7. Let n = 4 + b. Is 2 a factor of (4*3/6)/n?
True
Let s be (-73 - 3/(-3))/(-1). Suppose 0 = z + z - s. Does 11 divide z?
False
Let m be 196/70 - 2/(-10). Suppose 0 = -m*z - z + 248. Is 12 a factor of z?
False
Let f = 9 + -11. Is (-3 - (-6)/4)*f a multiple of 2?
False
Suppose 3*j = -67 - 32. Let g = 23 + j. Let b = 22 + g. Does 12 divide b?
True
Suppose -3*a + 8 = -1. Does 5 divide 1/(3/60) - a?
False
Let j(q) = q + 4. Let r = -3 + 1. Let k be j(r). Suppose k*h - 31 = 3. Is 17 a factor of h?
True
Suppose -b = -0*b - 5*z - 39, 0 = 3*z + 15. Is 4 a factor of b?
False
Let d(x) be the second derivative of -x**5/20 - x**4/3 + x**3/3 + 3*x**2 + 8*x. Is d(-6) a multiple of 16?
False
Suppose -605 = -2*t + 5*q, -5*q + 2*q + 286 = t. Is 59 a factor of t?
True
Suppose 0 = -4*v - b - 3, 2*v + 3*b - 8 - 3 = 0. Is 4 a factor of (v - 1)*(-24)/9?
True
Let z = -6 + 7. Does 5 divide -3 - (-14*1 + z)?
True
Suppose 39 = 2*s - 41. Suppose -s + 5 = 5*x. Let d(o) = o**3 + 7*o**2 - 6*o - 6. Does 18 divide d(x)?
True
Let a be 20 + 1 + 1 + -2. Suppose a - 4 = x. Does 5 divide x?
False
Suppose -i + 18 = 4*g + i, 0 = -3*g + 5*i + 7. Suppose 0 = r + 2*r. Suppose 5*q = g*z + 179 - 31, r = -2*z + 6. Is q a multiple of 13?
False
Let g = -4 - -6. Suppose 0 = 2*f + g - 92. Does 24 divide f?
False
Let k = -6 + 52. Does 23 divide k?
True
Let f be -23 - ((2 - 4) + -1). Is (-484)/(-10) + f/50 a multiple of 24?
True
Let h be (-8)/(-5) - (-4)/10. Suppose h*k - 201 = -57. Is 24 a factor of k?
True
Let s(h) = 28*h - 12. Does 32 divide s(5)?
True
Let z(u) = -12*u - 3. Suppose 0 = 2*c - 2*m + 12, -2*c = c - 2*m + 15. Is z(c) a multiple of 20?
False
Suppose -3*k = -5 - 19. Suppose 0*n - k = n. Does 18 divide (-290)/(-8) - (-2)/n?
True
Let n be ((-6)/(-12))/((-2)/(-24)). Does 4 divide (-2)/(-6) - (-46)/n?
True
Suppose 0 = 7*k - 5*k - 18. Suppose -u = -3*h - 9, 4*u + 4*h = 27 + k. Is u a multiple of 9?
True
Suppose -2*d = 2*x + x + 11, 5*d + x + 34 = 0. Let o(n) = -n**3 - 7*n**2 - 5*n + 5. Is 10 a factor of o(d)?
True
Let m = -18 - -42. Is 5 a factor of (-5)/(15/12) + m?
True
Let t = 18 - 9. Suppose -2*b = -3*o + 32, -80 = -t*o + 4*o - 2*b. Does 6 divide o?
False
Suppose -2*n = -5*g - 5*n + 143, -4*g = -n - 111. Does 12 divide g?
False
Let k = 15 - 12. Is (k - 10/2)*-38 a multiple of 18?
False
Let f(h) = -h - 2. Let g be f(-2). Let v(q) = 3 - 1 + g - q**3 - 4*q**2 - 2*q. Does 5 divide v(-4)?
True
Suppose 0 = h - 4, 0*x + 5*h - 16 = -x. Is 2 a factor of -1*(x/1 - 0)?
True
Let k be 2 + (2 + -1)*4. Suppose -t = -k*t - q - 70, -4*t + 3*q - 37 = 0. Let o = t + 26. Does 10 divide o?
False
Let p(d) = -6*d + 15. Let s(l) = l - 3. Let m(w) = -2*p(w) - 11*s(w). Does 5 divide m(9)?
False
Suppose 0 = -10*o - 409 + 1329. Does 46 divide o?
True
Suppose 4*x + 2 = 2*x. Let w be (6/4)/(x/(-2)). Suppose -w*g + 175 = 2*g. Is g a multiple of 12?
False
Let r(f) = f**3 - f**2 + 60. Does 10 divide r(0)?
True
Let v(a) = a**2 + 3*a - 7. Suppose 0 = -3*i - 15 - 27. Let k = i - -9. Is v(k) a multiple of 3?
True
Is (912/4 + 2)*(-1 - -2) a multiple of 10?
True
Let o(u) = u**2 - 9*u - 2. Let s be o(10). Suppose s*q - 5*q - 42 = 0. Is q a multiple of 7?
True
Suppose -4*y = 2*w - 158, y + w = 5*w + 35. Is y a multiple of 39?
True
Let k(m) = -4*m**2 - 6*m. Let z be k(-4). Let j = z - -79. Let q = j + -28. Is 11 a factor of q?
True
Let p(o) = o**2 + 7*o - 6. Let x be 5*(-2 + 2/5). Let g be p(x). Let d(f) = f**3 + 2*f. Does 6 divide d(g)?
True
Let t(a) = 2*a**3 - a + 0*a**3 - 5*a**2 - 2 + 0*a**3 + 0. Does 14 divide t(4)?
True
Let c(h) be the second derivative of 0 - 1/6*h**3 + 7/2*h**2 + h. Does 13 divide c(-6)?
True
Suppose 2*w = -w + 42. Let r = 28 + w. Does 21 divide r?
True
Suppose -23*z + 24*z - 28 = 0. Does 19 divide z?
False
Suppose z = 2*c - 141, -19*c + 16*c + 231 = 5*z. Is c a multiple of 9?
True
Suppose 0 = -2*s - 7 - 9. Let c(v) = v + 8. Let b be c(s). Let d = b + 4. Is 4 a factor of d?
True
Suppose 4*y - 82 - 238 = 0. Suppose -1 = 3*i - n - 17, 2*n - 8 = -4*i. Suppose 0 = q + i*q - y. Does 8 divide q?
True
Let z = 4 + 0. Let l(p) = p**2 + 35. Let o be l(0). Suppose z*b + b = o. Is 2 a factor of b?
False
Suppose 3*w - 41 = v + 6, 5*w + 3*v = 69. Is w a multiple of 3?
True
Let s be 1/(-3)*1*15. Let r(d) = -d**3 - 4*d**2 + d - 5. Does 15 divide r(s)?
True
Let a(k) = 5*k**2 - k. Let y(z) = 2*z + 2. Let n be y(2). Let w be ((-4)/n)/((-1)/3). Is a(w) a multiple of 6?
True
Let t(g) = g**2 - 6*g - 5. Let v(w) = -w**3 + w**2 + 4*w + 3. Let l be v(-2). Let o be t(l). Suppose -o*q + 6*q = 56. Is q a multiple of 14?
True
Suppose 108 = 2*d + 5*t - 2*t, -2*t = 4*d - 224. Is 3 a factor of d?
True
Suppose -5*v = -3*n - 109, 7 = -5*n - 8. Suppose 124 = 5*t + 3*r, -t = 3*r - 0*r - v. Is 11 a factor of t?
False
Is 47 a factor of ((-2)/(-2))/(2/328)?
False
Let s be 12 + (-1 - (2 - 1)). Suppose 2*r + 0 = s. Let d(n) = n + 6. Is d(r) a multiple of 11?
True
Let y(b) = -b**2 - b + 1. Let o(l) = -3*l**2 - 2*l. Let j(u) = o(u) - 4*y(u). Is 7 a factor of j(-6)?
False
Suppose -2*u + 128 + 92 = 0. Does 30 divide u?
False
Let y = 137 - -4. Is 23 a factor of y?
False
Let i(y) be the third derivative of 13*y**4/24 + 2*y**2. Is i(6) a multiple of 28?
False
Suppose -43*k = -48*k + 100. Is k a multiple of 10?
True
Let b(r) = 5*r**2 + 2*r + 1. Let j be b(-1). Suppose j = n + 2. Does 11 divide (-1 - -3)*17/n?
False
Let n be ((-5)/15)/((-2)/18). Suppose 3*g - n*y - 16 = 2, 4*g = 5*y + 23. Does 7 divide g?
True
Let q(j) = -21*j**2 - 11*j - 5. Let v(x) = 1 + 2*x - 2*x**2 + 8*x**2 - 2*x**2. Let h(m) = 4*q(m) + 22*v(m). Is 13 a factor of h(2)?
False
Suppose -71 = 5*t - 16. Let h = -52 - -78. Let v = h + t. Does 7 divide v?
False
Let j = 283 - 131. Is j a multiple of 38?
True
Does 25 divide (-358)/(-8) + 2/8?
False
Is (-9)/6*208/(-24) a multiple of 9?
False
Let f(q) = 8*q**2 - 6*q + 6. Is f(2) a multiple of 10?
False
Suppose -7*b + 2*b = -20. Let q(n) = -3*n + 6*n + 2*n - 3*n - 4. Does 3 divide q(b)?
False
Let g(s) = -6*s - 1. Suppose 0 = z - 2*d - 2*d - 5, 3*z = 5*d + 15. Suppose 2*h + 3*h - o = -10, 0 = -z*h - 3*o - 10. Is 3 a factor of g(h)?
False
Suppose b - 11 - 5 = 0. Let a(r) = r**2 - 14*r - 18. Is a(b) a multiple of 14?
True
Let x be (1/(-2))/(5/(-1320)). Suppose d + 2*d = x. Is d a multiple of 22?
True
Let f = 18 + -10. Is f a multiple of 5?
False
Is 4 a factor of 1162/49 - 4/(-14)?
True
Let f = 8 - -10. Let p = 10 - f. Let w = 35 + p. Is w a multiple of 9?
True
Suppose -19*l = -16*l - 69. Does 23 divide l?
True
Let b(q) be the first derivative of 29*q**4/4 + q**3/3 - q**2/2 - 5. Is b(1) a multiple of 7?
False
Suppose 4*h - 184 = -4*i, 3*i - h + 6*h = 134. Is 5 a factor of i?
False
Let g = 2 - -2. Suppose 41 = 5*s - g*s. Does 14 divide s?
False
Let y(j) be the second derivative of 4*j**3/3 + 2*j. Let g be y(2). Let z = 26 - g. Is 5 a factor of z?
True
Let l = 168 + -72. Suppose 12*t = 9*t + l. Is 9 a factor of t?
False
Suppose -4*j + 717 = -5*x, 3*x = 2*j + j - 534. Is j a multiple of 22?
False
Suppose -2*w + 7 = -3. Suppose -2*x + 6*x + w*b + 92 = 0, 26 = -x - 2*b. Let a = -2 - x. Is 10 a factor of a?
False
Suppose -8*p + 9*p = 152. Does 19 divide p?
True
Suppose -5*n + 539 = -201. Is 7 a factor of n?
False
Let m = -65 - -192. Is 30 a factor of m?
False
Suppose 10 = 5*p + 25. Let x = p + 50. Is x a multiple of 12?
False
Let x = -4 - -8. Suppose -39 = -x*p + 4*d - 7*d, 4*p - d