True
Is 22 a factor of 88*-1*(-4)/8?
True
Suppose 0 = 9*m - 730 - 98. Is 22 a factor of m?
False
Let z = -9 + 12. Let s(m) = z*m**3 - 9*m - 4*m**3 - 3*m - 12 + m - 9*m**2. Is s(-8) a multiple of 5?
False
Suppose -3*v + 63 + 59 = 5*m, -225 = -5*v - 4*m. Does 21 divide v?
False
Let n = -5 + 5. Does 14 divide 19 + (-1)/(-1) + n?
False
Let n be (-46)/(-14) + 12/(-42). Suppose 0 = n*s - 3*a + 3, -s + 5*a + 3 = 16. Is 6 a factor of (3/(-6))/(s/(-84))?
False
Let p(b) = -6*b - 1. Let m be p(-1). Suppose 0 = m*q - 5, -2*h + 4*q + 6 = -4*h. Is (h - -2 - -1) + 30 a multiple of 14?
True
Let m = -3 - -3. Suppose 0 = -2*h - 4*o + 266, 5*o - 262 = -m*h - 2*h. Suppose 5*r - h = 19. Is r a multiple of 16?
True
Let o be 1/3*-1*3. Suppose 3*d - 10 = 4*q, -4*d + 3*d = 2. Is 212/16 - o/q a multiple of 5?
False
Let f be 4065/33 + 4/(-22). Suppose -5*l + 2 = -f. Is l a multiple of 14?
False
Let z = -8 + -3. Let f(j) = 2 - j - 2*j + 6*j - 5*j. Is f(z) a multiple of 12?
True
Let x(c) = -3 - 4*c - c - 5*c. Is x(-5) a multiple of 34?
False
Let u(h) = -3*h**2 + 11*h + 20. Let i(j) = j**2 - 1. Let o = -3 + 7. Let a(b) = o*i(b) + u(b). Is 28 a factor of a(-12)?
True
Does 23 divide ((-77)/2)/(4/(-8))?
False
Let u = 2 - 1. Is 27*(u - (-2)/6) a multiple of 18?
True
Suppose 0 = 6*y - 2*y - 88. Let h = 41 - y. Suppose 0 = -2*n - 4, -3*g + h = n - 3*n. Is 2 a factor of g?
False
Let k = 13 - 11. Suppose -k*u + t = -6, -9 = u - 4*u - t. Does 3 divide u?
True
Suppose -69 = -m + 46. Suppose 0 = 5*k - 3*v - m, 0 = 4*k - 2*v - 2*v - 92. Is k a multiple of 23?
True
Let k(h) = -h - 4. Let b be k(-4). Suppose 0*p + 5*p - 48 = 4*z, -3*z - 6 = b. Let y(i) = 4*i - 10. Is 8 a factor of y(p)?
False
Suppose x - 6 = -4*s, 7*x = 2*x + 4*s + 102. Is 18 a factor of x?
True
Let v(i) = -i**3 + 6*i**2 + 7*i + 7. Let t be v(7). Let x = t - 9. Let m = x + 6. Is m even?
True
Suppose -5*y + 4*x = -70, 0 = -3*y - 2*x + 3*x + 49. Does 5 divide y?
False
Let t(h) = h - 5. Let y(j) = j + 9. Suppose 2*d = 4*d. Let q be y(d). Is t(q) a multiple of 2?
True
Suppose -5 = f, -70 = -6*m + m + 2*f. Does 18 divide m/8*6*2?
True
Suppose -84 = 5*g - g. Let z = g - -34. Does 13 divide z?
True
Let d = 10 - 5. Suppose 78 = -2*v + d*v. Is 13 a factor of v?
True
Suppose 10 = 5*d - 15. Is d a multiple of 2?
False
Suppose 0 = -2*z + z - 5*k + 75, 0 = -5*z - 4*k + 417. Is z a multiple of 16?
False
Let k = -14 + 18. Suppose k*d = -2*g + 44, -2*g - 5*d = -0*g - 40. Does 15 divide g?
True
Let i = -40 - -175. Is i a multiple of 15?
True
Suppose -b = 6 + 12. Suppose -50 = -3*o - 5*p, 110 = -3*o + 8*o + 3*p. Let j = o + b. Is 3 a factor of j?
False
Let u = 178 - 126. Does 10 divide u?
False
Let z(q) = -q**3 - 15*q**2 - 2*q. Does 6 divide z(-15)?
True
Let a be 22/8 - 1/(-4). Suppose 0 = 2*j + 2*n - 48, 2*n + 2*n + 79 = a*j. Does 13 divide j?
False
Suppose -7*t + 1021 = -211. Is t a multiple of 16?
True
Let a be (8/3)/(3/18). Is 5 a factor of a/(-1 + 3) - -2?
True
Let y = 75 + -137. Let z = -44 - y. Does 6 divide z?
True
Let o be ((-8)/(-2))/2 - 148. Let t be o/(-4) + (-6)/(-4). Let c = 53 - t. Is c a multiple of 4?
False
Let t(j) = j**3 + j**2. Let k be t(0). Suppose k = 5*z - z - 12. Is z a multiple of 2?
False
Let c(l) = l**2 + 2*l + 3. Is c(-7) a multiple of 5?
False
Suppose -2*k = 2*f - 46, 2*f = 4*k - f - 99. Suppose 3*p + c - 3*c = k, 6 = 2*p + 2*c. Suppose -98 = -p*i + 4*i. Does 13 divide i?
False
Let v be 2 + (1 - 1 - -6). Let h(r) = 2*r + 10. Let m be h(v). Let g = m + -5. Does 18 divide g?
False
Suppose -6*x + x = 75. Let s = -7 - x. Is s a multiple of 4?
True
Let m(b) be the second derivative of -59*b**3/6 - b**2/2 + b. Let n be m(-1). Suppose -4*a = -2*a - n. Is 10 a factor of a?
False
Suppose 27 + 33 = 4*q. Is q a multiple of 15?
True
Let y(x) = -14*x + 2. Let d be y(-9). Suppose 18 = l + 3*k, -4*l - 4*k = -9*l + d. Is 9 a factor of l?
False
Suppose -7 = f - 0. Let b(r) = -r**2 - 11*r - 5. Is b(f) a multiple of 10?
False
Let d(q) = -q**3 + 10*q**2 - 10*q + 9. Let z be d(9). Suppose -x - n + 53 = z, 5*n - 36 = -11. Is x a multiple of 24?
True
Suppose 0 = -2*p - 2*p - 28. Let t = 22 + p. Does 5 divide t?
True
Let n be (-1)/(1/2*1). Let k be n - (33 - (1 - 0)). Is 2/(-3) + k/(-6) a multiple of 2?
False
Let m = 292 + -196. Is 12 a factor of m?
True
Let q(l) = l**3 + 8*l**2 + 7*l + 6. Let a be q(-7). Let c(s) = 7*s - 7*s**2 + s**3 + 3*s - a - 2*s**2. Does 6 divide c(8)?
False
Let a = -12 - -5. Let w = 3 - a. Is (32/w)/((-3)/(-15)) a multiple of 13?
False
Suppose 4*p = -2*w, 3*p = 2*w - 5 + 19. Suppose -p*y = -5*y. Suppose -4*v + 4*g = -20, y = v + 4*v + 4*g - 16. Is v a multiple of 4?
True
Let a be (-1)/((-4)/(-3) + -1). Let y be ((-114)/a - -2) + -3. Suppose y = 2*q + 5*h, q + 3*h - 4 - 17 = 0. Is q a multiple of 3?
True
Is 2/(-4) + (-57)/(-2) - 3 a multiple of 25?
True
Let a(b) = b + 8. Let n be a(-5). Suppose 0 = -n*y - 2*y + 15. Is 3 a factor of y?
True
Let d = -18 + 12. Is 3 a factor of 3/(2*d/(-16))?
False
Suppose -b = 3*x - 439, -6*x - 4*b - 129 = -7*x. Is 29 a factor of x?
True
Let n = 63 + -16. Is 11 a factor of n?
False
Let h = 4 + 175. Is h a multiple of 35?
False
Suppose t + 6*t = 84. Is t a multiple of 6?
True
Suppose -5*z + 154 = 54. Let q = 39 - z. Is 7 a factor of q?
False
Let g = 181 + -42. Is 34 a factor of g?
False
Suppose -2*s - 3*s = -4*a + 110, -3*s = 2*a - 44. Let c(o) = o - 1. Let n be c(1). Does 22 divide -2 - (1 - (a + n))?
True
Let p be (1 - -1)*(2 + -1). Suppose p = 3*x - 1. Let v(s) = 32*s + 1. Is 12 a factor of v(x)?
False
Let s be (1/2)/((-6)/(-24)). Let h be 1 + 0 - (1 + 0). Suppose -j + 4*j - 57 = -2*y, h = -3*y + s*j + 66. Is y a multiple of 12?
True
Let o = 3 + 1. Is 1/o + (-143)/(-4) a multiple of 18?
True
Let a = 1 + 2. Suppose -a*g = -2*g - 10. Let m = g - 4. Is 6 a factor of m?
True
Suppose -4*a + l + 92 = 0, a + a + 2*l = 56. Is a a multiple of 11?
False
Let c(z) be the second derivative of -2*z**3/3 - 11*z**2/2 - z. Is c(-8) a multiple of 13?
False
Suppose 5*b = 2*s + 1180, -2*b - 3*s = -0*b - 491. Does 34 divide b?
True
Let m(j) = -j**2 - 4*j + 3. Let f be m(-5). Is 11 a factor of f + 0 + 3 + 21?
True
Let d = 0 - -2. Does 21 divide 25 - 2 - (0 - d)?
False
Suppose -36 = -v + 3*j, -3*v + 178 = 5*j + 70. Is 12 a factor of v?
True
Let a = 7 - 5. Suppose -5 - 27 = -a*m. Is 16 a factor of m?
True
Let z(d) = -2*d - 11. Let c be z(-7). Suppose -2*g - 12 = -c*g. Does 12 divide g?
True
Suppose -4*v + 6 = -2. Let m be (-13)/(-4) - v/8. Suppose 0*h + 5*j = h + 11, 4*h + m*j - 48 = 0. Is 3 a factor of h?
True
Let p = 1 - -1. Suppose 4*r - 48 = -h, 2*r - 30 = -h + p*h. Is (r/(-2))/(2/(-8)) a multiple of 13?
True
Suppose -8*x + 5*x = 0. Is x + 3 + (-1)/1 a multiple of 2?
True
Let q(b) = -26*b - 4. Let l be q(-4). Suppose 5*c = c + l. Is 13 a factor of 1/(-2)*(-1 - c)?
True
Suppose 0 = -5*o + 10, 513 - 1505 = -5*s + 4*o. Suppose -5*j + a = -280, -4*j - a = 3*a - s. Let i = -37 + j. Is i a multiple of 13?
False
Suppose 2*p - 1 = 3. Suppose -3*z - z - h = -11, p*z + 4*h - 16 = 0. Let b(m) = 3*m**3 - 2*m**2 + m + 2. Is 11 a factor of b(z)?
False
Is 3 a factor of -5*1/(-4 - 1)*15?
True
Suppose 0 = 4*o - 225 - 55. Is 18 a factor of o?
False
Let k(c) = -c**2 + 3*c + 5. Let b be k(4). Suppose -3*i + 11 + b = -2*f, -i + 5 = -f. Is i even?
True
Suppose -t - 33 = -3*s + 20, -4*s - 107 = 3*t. Let q = -26 - t. Is q a multiple of 10?
False
Let f(m) = -m**3 + 1. Let c be f(-1). Suppose -3*w - c*w + 250 = 0. Is 11 a factor of w?
False
Let k(n) = n**2 - 3*n + 74. Is 10 a factor of k(0)?
False
Let z(s) be the third derivative of s**6/120 - 7*s**5/60 + s**3/3 - 2*s**2. Let a be z(6). Let j = -21 - a. Is 13 a factor of j?
True
Is 1478/22 - 16/88 a multiple of 5?
False
Let b(y) = 3*y**2 + 8*y + 8. Let m(h) = -5*h**2 - 15*h - 15. Let g(j) = -7*b(j) - 4*m(j). Is g(4) a multiple of 4?
True
Let l(r) = -r**3 - 9*r**2 + 12*r + 5. Let t be l(-11). Suppose -6*y = -11*y + t. Is 23 a factor of y?
True
Let t(y) = -y**3 - 2*y**2 + y - 4. Let z be t(-3). Suppose 0 = 3*w - z*m - 167, 111 = w + w - m. Is 23 a factor of w?
False
Suppose -5*z = -5*j - 30, z = 3*z + j - 6. Suppose -s = i + 1, -s + 5 - 21 = -z*i. Does 16 divide s/8 + (-33)/(-2)?
True
Suppose 2*g = 2*k + g - 5, 3*k - 11 = -2*g. Suppose -29 = 4*d + k*b + 184, 4*b = -4*d