a**3 - 18*a**2 - 12*a + 47. Is 18 a factor of t(19)?
True
Let l = 138 + -93. Is 8 a factor of l?
False
Suppose s - c = 2*c + 30, 5*c + 170 = 5*s. Is 9 a factor of s?
True
Let y(p) = -2 + 2 - 1 - 27*p**3. Does 7 divide y(-1)?
False
Suppose 0 = 3*h - q - 12, -4*h = 3*q - 2 - 1. Suppose 0 = h*r + 2*r - 180. Does 13 divide r?
False
Let u = 544 + -352. Is u a multiple of 48?
True
Let u = -5 + 8. Let k(c) = -2*c**3 - c + 2 - 5*c**2 - 3 - 3*c**2 + c**u. Is k(-8) a multiple of 7?
True
Suppose 0 = -0*i - i + 4. Suppose i*y - 38 = 10. Is 4 a factor of y?
True
Let v = 285 + -186. Does 11 divide (12/(-9))/((-6)/v)?
True
Suppose r - 5 = -0. Suppose -3*a - 3*t - 6 = 0, r*a + 8*t = 5*t. Is 5 a factor of a/((-9)/6) - -20?
False
Suppose 2 = -2*g, -3*r - 5*g = -4 - 0. Let y = -5 + r. Let j = y + 4. Is j even?
True
Let j = 7 - -34. Is 41 a factor of j?
True
Let f = 233 + -360. Does 17 divide 5/10 - f/2?
False
Let z = -4 - -7. Suppose -2*k - 16 = -n + k, z*n + 4 = -4*k. Suppose -n*s + 42 = -s. Is s a multiple of 14?
True
Let d(m) = 8*m**2. Let w be d(-1). Suppose w*v - 4*v = 20. Suppose f = -c - 2*c + 4, -c = v*f - 90. Is f a multiple of 12?
False
Does 18 divide (-3)/2*-90 - 0/2?
False
Suppose -2*a - 2*s - 4 = -0*s, 20 = -5*s. Suppose -a*o + 84 = o. Does 14 divide o?
True
Suppose -n + 20 = 3*n. Suppose 0 = n*m - 2*l - 35, -3*m - m - l = -28. Is m a multiple of 7?
True
Let y(g) = 2*g**2 - 9*g + 4. Let v be y(6). Let p be v/((-3)/(-9)*3). Let n = p - -4. Is 13 a factor of n?
True
Let r(b) = -b**2 + 6*b - 6. Let v be r(5). Let a(j) = -5*j - 1. Let t be a(v). Does 21 divide (6 - t)/(2/42)?
True
Let u(p) = 2*p**2 - 3*p + 2. Let d be u(2). Does 4 divide 37/5 - d/10?
False
Let f(q) be the third derivative of -q**4/24 + q**3/6 + q**2. Let k be f(-2). Suppose 5*w = k*i - 50 - 81, 3*i - 2*w = 119. Does 18 divide i?
False
Let l(c) = c**3 - 6*c**2 + 4*c + 6. Let m be l(5). Let w = m + -1. Suppose 4*g + 3*p - 63 = w, p = -2 - 1. Is 9 a factor of g?
True
Let w = -131 - -138. Is w a multiple of 6?
False
Suppose 2*h - 122 = -4*j - 0*h, 0 = -5*j - h + 151. Does 9 divide j?
False
Is 16 a factor of (2/6 - 14/6) + 66?
True
Is 13 a factor of 52*6*(3 - 36/16)?
True
Let a = 3 + 0. Suppose a*r = -1 + 73. Is 12 a factor of r?
True
Let d(r) = -r**2 + 5*r + 1. Let m be d(5). Let i = -1 - m. Is (15/i)/((-6)/16) a multiple of 18?
False
Suppose 3*p + q = 2*p + 111, 3*p + 4*q = 332. Is 16 a factor of p?
True
Is (-2 + (-9)/(-4))/(27/756) a multiple of 2?
False
Suppose 2*g - 2*i = 4 + 12, -4*i + 4 = -g. Is g a multiple of 4?
True
Is 28 a factor of 132/10*(-30)/(-4)?
False
Suppose 0 = 3*a + a - 8. Suppose 2*q + 20 = 3*q - 2*t, -40 = -a*q + 3*t. Does 11 divide q?
False
Let o(b) = b**3 + 8*b**2 - 13*b - 13. Is 8 a factor of o(-9)?
False
Let o be ((-32)/(-6))/(2/9). Let v = o - 14. Suppose 0 = 3*l - 2*l - v. Does 10 divide l?
True
Suppose 5*n - 5*d - 5 = -0*d, 12 = 5*n + 2*d. Let f be -1 + 1/(n/8). Is (4*-3)/(f/(-4)) a multiple of 15?
False
Suppose -6 = -0*r - 2*r. Suppose r*n = n + 6. Is 3 a factor of -1*n*-1*1?
True
Suppose 19 = 4*i + 5*h, 5*i = 2*h + 11 + 21. Is 6 a factor of i?
True
Let z(f) = -f**3 + 7*f**2 + 8*f + 8. Let x be z(8). Let h(r) = r**2 - 6*r - 1. Does 5 divide h(x)?
True
Suppose -4*g = -5*o + 1118, 2*o = 2*g + 649 - 203. Is 9 a factor of o?
False
Let v(q) = 4*q - 8. Does 12 divide v(14)?
True
Suppose 5*w + 5*j = -70, -w - 2 = -5*j - 0. Does 16 divide 292/6 + w/18?
True
Let h = 291 - 416. Let r = -79 - h. Let y = -22 + r. Does 24 divide y?
True
Let l be ((-122)/3)/((-18)/27). Let v = 101 - l. Is v a multiple of 14?
False
Let i(u) = 7*u + 3. Let t(l) = 7*l + 2. Let n(q) = 5*i(q) - 6*t(q). Is 19 a factor of n(-5)?
True
Suppose 0*k + 4*a = 5*k - 70, k = 2*a + 14. Does 5 divide k?
False
Suppose 3*g - 271 = -4*o, g = 2*g - o - 95. Is g a multiple of 9?
False
Suppose -12*p = -7*p - 20. Suppose 0 - 16 = 4*a, -2*v + p*a + 150 = 0. Is v a multiple of 21?
False
Suppose -4*v = -2*r - 4, 4*r - r - 4 = v. Suppose 0 = 2*x + 2*x - 20. Suppose x*h - 43 = r. Is 9 a factor of h?
True
Let b(o) = 2*o**3 - o - 1. Suppose -j = 5*p - 13, -3*p - 3*j + 17 = p. Does 13 divide b(p)?
True
Suppose -16 = 5*h - h. Let w(q) = -2*q**2 - 6*q - 2. Let v be w(h). Let a = v - -21. Is 6 a factor of a?
False
Let s(z) = -z**2 + 14*z - 1. Is s(7) a multiple of 17?
False
Suppose -80 = -13*g + 986. Is 4 a factor of g?
False
Let f(d) be the second derivative of -1/20*d**5 + 5/6*d**3 + d - 1/3*d**4 + 3*d**2 + 0. Is f(-5) a multiple of 3?
True
Suppose 4*l + l = -25, 4*l = 3*q - 59. Is 3 a factor of q?
False
Let h(s) = -2*s + 1. Let l be h(-1). Suppose -4*y = y. Suppose y*r = -l*r + 81. Does 16 divide r?
False
Let d(z) = -z**3 - 10*z**2 + z + 9. Let y be d(-10). Is y/(-2) - 14/(-4) a multiple of 3?
False
Suppose -4*q = -5*c - 193, -5*q + 266 = -0*c + 2*c. Does 26 divide q?
True
Let i be (-58)/(-6)*3 + 0. Does 14 divide (-17)/34 + i/2?
True
Suppose -12 = 3*b, 0*s + 3*b = s - 113. Is s a multiple of 25?
False
Suppose -d + 5*b = -39, 110 = 4*d + 3*b - 69. Is d a multiple of 11?
True
Suppose -11 = -5*g + 4*g. Let o = g - 6. Is 4 a factor of o?
False
Let c = 26 - 16. Is c a multiple of 3?
False
Does 28 divide 2 - (-24)/(-4) - -105?
False
Let c(j) = 5*j**2 - 2*j + 1. Let p be c(1). Suppose -v = p*l - 24, 4*v - 106 - 2 = -4*l. Is 12 a factor of v?
False
Let l be (-3)/1*(-3)/(-9). Is (3 + l)*(-6)/(-4) a multiple of 3?
True
Suppose -u + 14 + 49 = 0. Let p = u + -9. Is p a multiple of 11?
False
Suppose 5*x = -5*i + 5, -5 = 2*i - x - 19. Let a = -7 + i. Is 5/(a/(-60)*3) a multiple of 17?
False
Suppose 0 = 4*o - 2 - 6. Suppose 2*x = 3*u - 20, 3*x + u + o = -6. Is (x/(-8))/((-1)/(-58)) a multiple of 8?
False
Let v(f) = 3 + 3 + f - 1 - 1. Let s be v(-3). Is (-5)/(s/(-4)*2) a multiple of 5?
True
Let s(p) = p**2 - 6*p + 6. Let v(o) = -o**3 + 7*o**2 + o - 1. Let c be v(7). Is s(c) a multiple of 3?
True
Is 36*((-10)/(-4))/5 a multiple of 9?
True
Let r be (-6)/4*(-4)/3. Let m(i) = -47*i**3 - i**2 + 3*i - 1. Let w be m(r). Does 18 divide 12/(-15)*w/6?
False
Let o = 154 - 86. Is 17 a factor of o?
True
Let n = 5 - 5. Suppose n = j + 3 - 8. Suppose -2*w + 5*w - j*g - 130 = 0, -2*g + 8 = 0. Is 18 a factor of w?
False
Let d = 9 + 9. Is 165/d + (-2)/12 a multiple of 9?
True
Suppose -5*h - 133 = -2*t, -h + 59 = t - 2*h. Is t a multiple of 27?
True
Let q(u) = -u**2 - 2*u - 2. Let f = 4 - 11. Let i be q(f). Let g = -22 - i. Does 5 divide g?
True
Let i(h) = 2*h**2 + 16*h + 3. Let z(b) = 2*b**2 + 17*b + 3. Let r(j) = 7*i(j) - 6*z(j). Is 8 a factor of r(-7)?
False
Suppose -2*n = -0*n + 3*t - 42, -88 = -4*n - 4*t. Is 6 a factor of n?
True
Let d(b) be the second derivative of -b**3/2 + 3*b. Let h be d(-1). Suppose -15 = -2*y - 3*y, -v + h*y = -17. Is 10 a factor of v?
False
Does 12 divide 30/4*(-48)/(-15)?
True
Is (4 - 5)/(-1)*(3 - -31) a multiple of 14?
False
Suppose 4*x - 374 - 458 = 0. Suppose t - 49 = -3*h, h + 90 - x = -2*t. Is t a multiple of 24?
False
Suppose 4*h + 0*h = 32. Let j = h + -3. Suppose j*i = 5*x + 65, 2*x + 61 = 5*i + x. Does 6 divide i?
True
Let x(p) = -2*p**2 - p - 1. Let s be x(-1). Let i(u) = -u**3 - u**2 - 2*u + 1. Is i(s) a multiple of 3?
True
Let l(m) = -m**3 - 5*m**2 - 3*m + 3. Let c be l(-3). Let w(t) = -t**2 - 7*t + 2. Let s be w(c). Suppose -2*d = 8, -3*d - s = -4*x - 8*d. Is 5 a factor of x?
False
Let k(g) = -6*g + 4. Let d(a) = a - 8. Let n be d(0). Is 18 a factor of k(n)?
False
Is 7 a factor of (56/(-12))/((-4)/6)?
True
Suppose -2*f - 2*f = -248. Does 25 divide f?
False
Suppose 0 = -2*s - u - 8, -2*s + u - 9 = 7. Let f(t) = 2*t**2 + 4*t - 3. Let c be f(s). Let n = c + -24. Is 8 a factor of n?
False
Suppose 0 = 2*n + 5*n - 168. Is 3 a factor of n?
True
Suppose -3*i - 15 = -8*i. Suppose -4*a - 245 = -i*p, 2*p + 2*a - 128 = 12. Is 25 a factor of p?
True
Let d(l) = -l**2 - 8*l - 9. Let r be d(-6). Suppose 0*k = r*k + 3*y - 15, -3*k - y = -17. Does 4 divide k?
False
Let i be (-9)/6 + (-30)/(-4). Let j(p) = 2*p - 3*p + 0*p + i*p. Does 15 divide j(3)?
True
Let x = 89 + -45. Is x a multiple of 22?
True
Does 12 divide -2*(-292)/16 + (-3)/6?
True
Suppose 5*c - 14 = 2*f - 0*f, 5*f = -2*c + 23. Suppose -f*b + 196 = -8. Suppose -b = -v - v. Does 13 divide v?
False
Suppose 0 = -0*x - 2*x - 4*w + 26, -3*x + 2*w + 7 = 0. Let d be (2 + (-3 