z?
True
Suppose -d - d - 2 = 0. Let s(b) = -b + 1. Let t be s(d). Suppose 4*h = 2*f + t, 5*f - 2*h = -3*h + 28. Is f a multiple of 5?
True
Is 5 a factor of (0 - 25/(-2))*(8 + -6)?
True
Let f be (-15 - 1)*(-14)/4. Let y = -2 + f. Does 18 divide y?
True
Suppose n = 4*m + 4, 0 = n - 4*n + 5*m + 5. Let h be n/(7/(7/2)). Suppose -4*b + 9 - 1 = h. Is b even?
True
Suppose -5*d = 1 - 11. Let c(g) = g**2 + 3. Let h be c(-2). Let t = h - d. Is t a multiple of 5?
True
Let x(y) = y - 4. Let i be x(0). Let v(z) = -z**2 + z. Let s(r) = -3*r**2 - 8*r - 4. Let j(n) = -s(n) - v(n). Is 14 a factor of j(i)?
False
Let k be 2/3*(-6)/(-4). Is 4 a factor of (k - 4)/(3/(-4))?
True
Let h(m) = -10*m**3 + 2*m + 2. Let y be h(-2). Suppose -2*t + 0*o - 3*o + y = 0, 0 = -4*t - 5*o + 158. Does 14 divide t?
True
Let g(k) = -k + 4*k + 2*k**2 - 2*k - 3*k - 5. Does 11 divide g(5)?
False
Does 8 divide ((-33)/2)/((-6)/4)?
False
Suppose -10*o + 1462 = -38. Is o a multiple of 7?
False
Let l(d) = d**2 - 4*d - 6. Let g be l(5). Does 13 divide (-51)/(-3) - g/(-1)?
False
Suppose -f + 3*z = -110, 4*z = 5*f - 362 - 144. Is 10 a factor of f?
False
Let i = -27 + 59. Does 12 divide i?
False
Suppose -q + 5*n = -37, -2*n = -5*q + 74 + 19. Let g = q + -2. Does 7 divide g?
False
Let h be 1*(-1 - (-2 + 1)). Suppose h*t - 3*m = t + 2, -m = 3*t - 34. Is 13 a factor of t?
True
Let j be (0 + 1)/(2/8). Suppose 3*x = j*x - 31. Is x a multiple of 19?
False
Let z(o) = o**3 + 2*o**2 - 9*o + 10. Is 10 a factor of z(4)?
True
Suppose 2 = q - 2*q. Does 22 divide 0 + ((-4)/q - -95)?
False
Let b = 203 + -142. Is b a multiple of 13?
False
Let a(c) = c**2 - 9*c + 9. Let h be a(8). Let g be (50/(-3))/(h/(-3)). Suppose 5*i = -0*i + g. Is i a multiple of 4?
False
Let y be 4/(-10) + 22/5. Let l(u) = -u**3 + 5*u**2 + 3*u + 3. Does 10 divide l(y)?
False
Let t = -5 - -9. Let h = 4 - t. Suppose h*i = 4*i - 88. Is 11 a factor of i?
True
Suppose 6*w - w = 5, 3*d + 3*w = -441. Let v = -84 - d. Does 16 divide v?
True
Suppose -5*q + 3*t + 13 = 0, -3*q - 4*t + 2 + 0 = 0. Is -2*(2/q + -4) a multiple of 6?
True
Suppose -w - 4*a + 1 = 0, 5*a = -2*w + 2*a + 2. Let i be 16*4 + 3 - w. Suppose 5*u = 6*u - i. Is u a multiple of 17?
False
Let c be ((-6)/9)/((-4)/30). Suppose -f - n - 42 = -c*n, 0 = f - n + 33. Does 12 divide ((-6)/5)/(3/f)?
True
Let d = -12 + 4. Let c be (2/(-3))/(d/(-12)). Is c/3 - 64/(-3) a multiple of 20?
False
Let d(m) = m**2 + 7*m + 6. Let n be d(-4). Let b = -3 - n. Suppose 3*a - 54 = -b*z, -6*a = -2*z - 2*a + 66. Does 17 divide z?
False
Let q(f) = -1 + 2 - 16*f + 50*f. Is 23 a factor of q(2)?
True
Is 8 a factor of 342/8 - 1/(-4)?
False
Is 23 a factor of (-12850)/(-70) + 3/7?
True
Let v = 332 + -167. Is v a multiple of 33?
True
Let p(n) = 5*n**2 + 3*n + 4. Does 4 divide p(-1)?
False
Let b(j) = -j**3 + 3*j**2 + 14*j + 2. Is 7 a factor of b(4)?
True
Suppose 0 = 4*r - 11 + 3, 4*r = -5*m + 28. Suppose -m*s = -6 - 6. Suppose -34 = -4*q - k - k, -4*q + 31 = s*k. Is q a multiple of 4?
False
Let w = -415 - -658. Does 16 divide w?
False
Let k = -3 - -4. Suppose -3*q + k + 2 = 0. Is -2*q/(-2)*16 a multiple of 8?
True
Suppose -r = -8*f + 3*f + 425, -2*r + 85 = f. Is 17 a factor of f?
True
Let k(h) = 3*h. Let a be k(6). Is -2*2/(-2) + a a multiple of 7?
False
Let x(c) = -2*c**2 + 3 - 4 + 4 - 2*c + 3*c**3 + 0*c**2. Let o be x(3). Suppose -2*j - 4 = -0, -2*d + o = -2*j. Does 10 divide d?
False
Let i(b) be the first derivative of -3*b**2/2 - 11*b - 6. Is i(-5) a multiple of 4?
True
Suppose 4*d - 7*d + 66 = 0. Suppose -2*f = 2*l - 8, 0*f + 2*l = 4*f - d. Suppose -21 = -f*n - 3*h + 74, -5*n + 65 = -3*h. Does 16 divide n?
True
Let f = -99 + 171. Does 24 divide f?
True
Let a = 114 + 92. Is 8 a factor of a?
False
Let v(b) = 15*b. Is 15 a factor of v(4)?
True
Let a(u) = u**3 - 2*u**2 + 2*u - 4. Let n be a(3). Suppose -n = 3*b + 160. Let z = -38 - b. Is z a multiple of 7?
False
Suppose -5*r + 7*r - 6 = 0. Suppose 266 = 5*n + h, 0*h = 3*h - r. Is n a multiple of 15?
False
Let q(n) = 15*n**2 - 4. Does 31 divide q(-2)?
False
Suppose 4*j - 7*j = -3. Is (0 + -3)/j - -10 a multiple of 3?
False
Suppose -2*j = -7 - 57. Is j a multiple of 4?
True
Let u(q) = 6*q + 108. Is 22 a factor of u(0)?
False
Let k be 1*-61 + -7 + 5. Is (-364)/k - 2/(-9) a multiple of 2?
True
Suppose 2*x - k + 1 = 0, 2*x - 2*k - 9 = -3*k. Suppose x*v + 3*h = 46, -h = -2*v - 0*h + 54. Is v a multiple of 12?
False
Let g(n) = -n**2 - 2 + n - n**2 - 5*n. Let h be g(-2). Is 11 a factor of 1*(11 - (-2 - h))?
True
Let y = 166 - 93. Let w = y - 38. Is w a multiple of 13?
False
Let s = -7 + 10. Does 3 divide s?
True
Let s be ((-15)/6)/(3/(-6)). Suppose 0 = 7*b - 3*b - r - 19, -r = -s*b + 23. Suppose 0 = -b*t + t + 78. Is t a multiple of 13?
True
Does 48 divide 5 - 7 - (-155 + -1)?
False
Let b be (-8)/12 - 52/(-6). Suppose 0 = 3*f + i - b, -3*f - 2*i + 7*i = -32. Suppose 0*a - a + f = 0. Does 2 divide a?
True
Does 3 divide ((-2)/(-4))/((-4)/(-304))?
False
Suppose 0 = j - 4*j. Suppose -2*b - 4*z + 2 = -0*b, j = -3*b - z + 8. Is 6 a factor of 9/(1 - b/(-6))?
True
Does 41 divide ((-286)/8 + 5)/((-9)/24)?
True
Does 20 divide (10 + -4)/(-18)*-381?
False
Suppose 28 = 3*n + 4. Suppose 7 = d + 3, 5*p + d - 79 = 0. Let w = p - n. Does 7 divide w?
True
Let x be ((-30)/2)/(3/2). Let s(h) = -h**2 - 11*h - 8. Let q be s(x). Suppose 2*a - q = 4. Does 3 divide a?
True
Is 24 a factor of (-2584)/(-36) + (-2)/(-9)?
True
Suppose 2*j + 14 = 4*z + 4, -6 = -z - 3*j. Let m be (2 - (z - 0)) + 6. Suppose m*q + 45 = 5*u, -2*u + 18 = 4*q - q. Is 9 a factor of u?
True
Suppose 0*j = j. Suppose 6*g - 2*t = 3*g + 34, j = -3*t - 6. Is 5 a factor of g?
True
Let s = 124 + -55. Is s a multiple of 15?
False
Let h be -3*1/(-3)*0. Suppose p - 27 - 8 = h. Is p a multiple of 35?
True
Let n(r) = 2*r + 10. Let y(c) = -c**3 - 7*c**2 - 5*c - 1. Let k be y(-6). Let f be n(k). Is (f/(-12))/((-1)/(-21)) a multiple of 7?
True
Let g(h) = h**3 - 4*h**2 - 2*h - 5. Let a be g(5). Let p be 58*(-2 + a/4). Suppose -p = -j - 3*c, -3*j + 39 + 36 = 5*c. Is 10 a factor of j?
True
Suppose -4*l - z = -83, -2*l + 17 = -z - 26. Let v = l - -5. Is 13 a factor of v?
True
Suppose 3*k + 0*k + 5*h - 22 = 0, 3*h - 11 = -4*k. Let j(m) = 132*m**2 + m + 1. Let p be j(k). Suppose -3*l = 3*a - p, 0*a + 247 = 5*l - 4*a. Does 18 divide l?
False
Let x(i) be the first derivative of -16*i**2 - i - 3. Let f be x(1). Let y = f - -46. Does 11 divide y?
False
Is 1 - 2/2 - -12 a multiple of 4?
True
Let c(p) be the third derivative of -p**6/360 - 13*p**5/120 - p**4/8 - p**3/6 - p**2. Let h(r) be the first derivative of c(r). Is 14 a factor of h(-6)?
False
Let j be ((-2)/(-4))/(4/(-232)). Let l = -51 - j. Let t = -9 - l. Is t a multiple of 6?
False
Let x(p) = -p - 7. Let d be x(-8). Let j be -1 - (0 + 0 + d). Is j/(-8) + 295/20 a multiple of 15?
True
Let d be (8/(-10))/((-3)/15). Let o = 6 - d. Is 2/4 + 47/o a multiple of 10?
False
Let i = -46 + 86. Does 5 divide i?
True
Let q(i) = 5*i + 1. Let b = -6 + 7. Is 6 a factor of q(b)?
True
Is 16 a factor of (-1)/(-3) + 1054/6?
True
Suppose -30 = 3*i - 3*t - 0, 0 = -4*t - 4. Suppose 3 = v + 4*a - 47, -a + 5 = 0. Let n = v + i. Does 17 divide n?
False
Let b(o) = -o**3 + o**2 - o + 61. Let a be b(0). Suppose a = 3*t + 169. Let z = -17 - t. Is 8 a factor of z?
False
Let v = 12 + -5. Suppose 2 = -y + v. Let z = -1 + y. Is 4 a factor of z?
True
Suppose -4*x + x = -852. Let t be x/2 + (-6 - -4). Suppose 4*v + v = t. Is v a multiple of 14?
True
Let i = -11 + 15. Suppose -i*d + 4 + 4 = 0. Is d a multiple of 2?
True
Let m = 70 + -514. Is 3/(-9) - m/9 a multiple of 18?
False
Suppose -20 = -d + 54. Let g = -43 + d. Does 13 divide g?
False
Let f(s) = -4*s + s + 4*s + 6*s**2 - 3*s**2. Is 5 a factor of f(-2)?
True
Let j = 1 - -2. Let k(g) = 2*g**3 - 3*g**2 + g - 3. Does 11 divide k(j)?
False
Let i(m) = -m**2 + 5*m + 5. Let d be i(7). Let y = 14 + d. Suppose -15 = y*n - 50. Is 7 a factor of n?
True
Suppose -3*c - 104 = -3*m + 46, -70 = -m + 5*c. Suppose m = g + 4*g. Is 9 a factor of g?
True
Let k = 70 - 46. Is k a multiple of 21?
False
Let c = -178 - -269. Is 13 a factor of c?
True
Suppose 2*b + 2*b - 4*q = 180, -218 = -5*b - 2*q. Let d be 32/6 + 2/(-6). Suppose z + b = d*z. Is 11 a factor of z?
True
Let a = 24 + -12. Suppose -a = 