Is 40 a factor of a/6 - (-1475)/10*1?
False
Let h = -2384 - -4716. Is 53 a factor of h?
True
Let l = 137 - 113. Let z(d) = d**2 - 20*d - 15. Is 27 a factor of z(l)?
True
Let a(b) = 6*b**3 - 5*b**2 + 5*b + 3. Is a(3) a multiple of 5?
True
Let h = 5340 + -2970. Is 9 a factor of h?
False
Is 40 a factor of (60 - -28)/(2/10)?
True
Let a = -12 - -17. Suppose 0 = -2*s + 4*j - 8, a*s - 3*j + 2*j - 16 = 0. Suppose 16 = 4*x, -c + s*x - x + 10 = 0. Is c a multiple of 16?
False
Suppose 2*q + 29 = -q - 5*g, -4*g - 7 = -3*q. Is 42 a factor of q/(-9) - 1006/(-6)?
True
Let c(f) = 2*f**3 + 50*f**2 + 18*f - 21. Does 70 divide c(-24)?
False
Suppose 5*c + 61 - 209 = 3*k, -3*k - 5*c - 158 = 0. Let m = -27 - k. Does 8 divide m?
True
Suppose 4*i + c = 8*i - 1535, 0 = 4*c - 4. Is 6 a factor of i?
True
Suppose -3688 = -11*y + 2549. Is 27 a factor of y?
True
Let x(z) = -z**3 + 2*z**2 - 2*z - 2. Let n be x(2). Let r = n + 8. Suppose 3*g = r*g + 4*p + 31, 0 = 3*g + 4*p - 45. Is 19 a factor of g?
True
Let z(w) = -7*w**3 - 3*w**2 - 4. Let q(f) = -f**3 - 5*f**2 + f + 2. Let m be q(-5). Let j be z(m). Suppose 4*u - 446 + j = 0. Is 18 a factor of u?
True
Suppose -4*q - 2*p + 7370 = 0, -3*p + 11 = 26. Is 9 a factor of q?
True
Suppose -54 = -f + 40. Let y = -68 + f. Does 8 divide y?
False
Let d = 83 - 147. Let r = d + 94. Does 5 divide r?
True
Suppose -5*b - 57 = -2*a + 8, -3*a = 5*b - 60. Is 25 a factor of a?
True
Let q(c) = 378*c**2 + 16*c + 10. Is 74 a factor of q(-4)?
True
Suppose 18*l = -2*l + 28700. Does 24 divide l?
False
Suppose -2*w + 27 + 2501 = 2*b, -4*b - 6284 = -5*w. Does 12 divide w?
True
Suppose 1 = 9*f - 8. Let h = 109 - f. Is h a multiple of 27?
True
Is 21 a factor of (-630)/(-25)*400/30?
True
Is 8 a factor of (-198)/(-330) - (-3674)/10?
True
Let d be ((-119)/21)/((-1)/(-6)). Let k = d + 45. Does 3 divide k?
False
Let t(w) = -w**3 + 16*w**2 - 16*w + 20. Let z be t(15). Is 1/z - 3108/(-60) a multiple of 13?
True
Suppose 0 = 5*r - 3*t - 4937, 5*r + 3*t - 7422 = -2479. Does 26 divide r?
True
Let w(g) = 4*g**2 - 8*g + 6. Let y(h) = -h + 1. Let v(f) = w(f) - y(f). Is 12 a factor of v(4)?
False
Let z(f) = 42*f**2 + 64*f - 192. Is z(3) a multiple of 9?
True
Let i(z) = -12*z - 4. Let u be i(-2). Suppose -3*n + u = -8*n. Let m = 9 - n. Is 13 a factor of m?
True
Suppose -2*d = 0, 3*d = -4*f - f + 15. Is (2 - f) + 31 + -3 a multiple of 23?
False
Let v(h) = h**2 + 2*h - 1. Let z be v(-3). Suppose -z*y - 20 = -4*y. Is y even?
True
Suppose -2*l = 2*l - 2*b - 192, 4*b - 16 = 0. Is 21 a factor of l?
False
Suppose 6*p = 16947 - 2325. Does 75 divide p?
False
Suppose -14 = -j + v - 2, 25 = 5*j + 2*v. Suppose -u - 900 = -j*u. Is u a multiple of 25?
True
Let x = -26 - -28. Suppose -a = a + 5*m - 25, 5*m = x*a + 5. Suppose 0 = 5*c - 30 + a. Does 4 divide c?
False
Suppose -m = -2*v - 899, 0*m = m - 5*v - 893. Is 43 a factor of m?
True
Is 27 a factor of -7*73881/(-252) - 3/12?
True
Let s(c) = -c - 11. Let g be s(-14). Let j(z) = -6*z - 2. Let d(a) = -3*a - 1. Let y(b) = 7*d(b) - 4*j(b). Does 4 divide y(g)?
False
Let d = -3 + 6. Suppose -99 = -d*s + 96. Does 13 divide s?
True
Suppose 5*y = -k - k + 40, -20 = -k - 4*y. Let z(n) = n**3 - 19*n**2 - 14*n - 16. Is z(k) a multiple of 40?
False
Suppose 436 + 829 = 5*i. Is 15 a factor of i?
False
Let z(s) = 4*s + 2. Let g(p) = p + 10. Let k be g(-7). Let x be z(k). Suppose x = a + 4. Is a a multiple of 3?
False
Let k be (0*1/(-5))/(5 + -3). Suppose k = -9*g - 10*g + 323. Does 17 divide g?
True
Let i(b) = b**3 + 14*b**2 - 15*b + 4. Let l be i(-15). Suppose -4*h - 9 + 41 = l*t, 28 = 2*h - t. Is h a multiple of 6?
True
Let b be 2/(1/(-40)*-5). Let w(f) = 18*f - 36. Let j be w(b). Suppose -6*q + 13*q - j = 0. Is 12 a factor of q?
True
Let h = -10 + 15. Suppose h*b - 275 = -v, -3*b + 4*v + 0*v + 188 = 0. Does 20 divide b?
False
Suppose -4*o + 20 = -8*o. Let k(a) = -a**3 - 2*a**2 + a + 2. Does 18 divide k(o)?
True
Let s(i) = -i**2 + 2*i - 3. Let u be s(0). Let h be -6*u/(9/5). Suppose 0 = -3*r - 5*q + 79, 2*r - h = -5*q + 41. Does 7 divide r?
True
Suppose 3 = g - 7. Is 27 a factor of g/(-35) - 1894/(-14)*1?
True
Suppose -8*z = 4*z - 1728. Is z a multiple of 9?
True
Let n = 177 + -71. Let y = 174 - n. Is y a multiple of 21?
False
Suppose r + n - 63 = 0, 0 = 5*r - n - n - 308. Let g = 10 - 5. Suppose -4*v + 2*a = -r, g*v - 5*a + a = 76. Is 8 a factor of v?
True
Suppose -7*x + 3*x = -52. Let z = -2 + x. Suppose i = -5 + z. Is i a multiple of 3?
True
Let z be 298/12*3 + 21/14. Let o = 138 - z. Does 21 divide o?
False
Suppose 0 = -3*o - 3*a + 7146, 3*o - 5026 - 2120 = 2*a. Is o a multiple of 9?
False
Let r be 4/6 - (28/(-12) - -1). Suppose 0 = -u - r*u + 396. Does 33 divide u?
True
Let f = -67 + 445. Suppose -5*c + f = -112. Let b = c + -53. Is b a multiple of 15?
True
Let n be 0 - -70 - 32/8. Suppose 2*h + n = 2*w + 2*w, -w = 4*h - 39. Does 4 divide w?
False
Let c = 49 + -47. Suppose 3*q = 5*k - c*q - 415, 3*k = -4*q + 256. Is 28 a factor of k?
True
Is 68/85 - ((-1711)/(-5))/(-1) a multiple of 23?
False
Suppose 4*h = -u + 45, 189 = 2*u + 3*u + 2*h. Is u a multiple of 10?
False
Let g be 2/7 - (-163)/(-7). Let d be (g - -6)*4/2. Let y = 64 + d. Is 15 a factor of y?
True
Let x(t) = 30*t**2 - 3*t - 5. Is 12 a factor of x(5)?
False
Let s(v) be the third derivative of -v**6/120 - 4*v**5/15 + 11*v**4/24 - 11*v**3/6 + 18*v**2. Does 13 divide s(-17)?
True
Suppose 0 = 6*u - 4*u + 6, -u = -2*t + 271. Suppose -2 = 2*n - t. Is 11 a factor of n?
True
Let c(m) = -9*m**3 - 10*m**2 - 16*m - 19. Is c(-5) a multiple of 44?
False
Let t(q) = -3*q - 3. Let g be t(-2). Suppose p - g = 15. Is p a multiple of 5?
False
Let v(r) = -345*r**2 + 4*r**3 + 9*r - 4 + 342*r**2 + 3*r - 3*r**3. Is 4 a factor of v(4)?
True
Let s be (-44)/(-33)*(-15)/(-4). Suppose -s*r = 5*m - 50, 0*r + 2*m = -r + 9. Is 2 a factor of r?
False
Let y = -31 + 33. Suppose -y*x + 26 = -6. Is 16 a factor of x?
True
Let t be (-4)/(3 - -1)*1*64. Let y = 38 - t. Does 23 divide y?
False
Suppose -2*s - 7 = -183. Let a = -46 + s. Is 5 a factor of a?
False
Let k(h) = 7*h - 80. Is k(17) a multiple of 13?
True
Let q = 454 + -287. Is 2 a factor of q?
False
Suppose -5*s + 3*i = -205, -2*i - 18 = -2*s + 64. Is s a multiple of 11?
False
Suppose -11544 = -5*z + 4*y - 676, 2*z = 2*y + 4346. Is 64 a factor of z?
True
Suppose 0 = 5*b - 10*b + 140. Suppose -6*s + 13*s - b = 0. Suppose s*f - 125 = d, 0*f - 45 = -2*f - 3*d. Is 15 a factor of f?
True
Let q(r) = 0*r + 3*r - 2 - 9*r + 4*r. Let x be q(2). Is 5 a factor of (x/(-6))/((-1)/(-11))?
False
Let x = -13 - -16. Suppose -x*c = -c + 218. Is 3/(-1) + 4 - c a multiple of 42?
False
Let v(b) = b**2 - 9*b - 6. Let r be v(9). Let w(t) be the third derivative of t**5/30 + t**4/8 - 4*t**3/3 + 10*t**2. Does 10 divide w(r)?
False
Let b = 0 - -3. Suppose 0 = -y + b, r - 1 = -0*y + y. Suppose -r*l = -17 - 67. Is 7 a factor of l?
True
Suppose 6*s + 63 = -153. Let a = s + 321. Is 15 a factor of a?
True
Let w(h) = h**2 + 5. Let s be w(-7). Suppose 5*v + 2*k - 4*k = s, 4*v - 39 = 3*k. Does 6 divide v?
True
Let a(p) = p**3 + 15*p**2 + 5. Let o be a(-15). Suppose -o*r + 150 = 5*f, -r + 5*r + 66 = 2*f. Is 31 a factor of f?
True
Let b = -146 + 143. Is 22 a factor of (-57)/(b + 32/12)?
False
Suppose 3*w + 2*w - 300 = 0. Let k = 63 - w. Does 2 divide k?
False
Let v = 175 + -109. Suppose 2*n - 224 = v. Does 16 divide n?
False
Is 2540/(6 + -1) - -8 a multiple of 43?
True
Suppose -5*k = 3*j - 197, 3*j + 27 - 215 = 4*k. Let u(o) = -o**3 - 4*o**2 - 5*o + 6. Let y be u(-5). Suppose -j = -2*x + y. Is x a multiple of 10?
True
Let f = 286 - -335. Is 69 a factor of f?
True
Suppose -3 = 5*i + 7, 5*i = 5*b + 5. Let l(o) = -10*o + 5. Does 14 divide l(b)?
False
Let h(b) = b**3 + 10*b**2 + 6. Let v be h(-10). Let t = 22 - v. Does 4 divide t?
True
Let j be (-1)/2*((2 - 2) + -170). Suppose j = 6*s - 761. Is s a multiple of 30?
False
Does 12 divide ((-130)/2)/(19/(-171))?
False
Suppose 2613 = 9*b + 3. Is b a multiple of 9?
False
Let j(c) be the first derivative of c**4/4 - 14*c**3/3 - 8*c**2 + 13*c + 1. Let l be j(15). Let w = 9 - l. Is 2 a factor of w?
False
Let k(q) = -q**3 + 14*q**2 + 16*q - 11. Let h be k(15). Suppose 5*f + 4*j + 12 = 38, 0 = f + h*j - 2. Is (-9 - -6)*(-32)/f a multiple of 2?
True
Let z(r) be t