*3 - 9*l**2 - 3*l - 3. Let c be d(-8). Let n = c + 72. Is n a multiple of 18?
False
Let o(f) = -21*f - 14. Is o(-4) a multiple of 15?
False
Let d(l) = -2*l + 9. Let w be d(5). Is w/(-3) - (-41)/3 a multiple of 7?
True
Suppose -3*m + 41 = -19. Is m a multiple of 10?
True
Suppose 4*y + 2*b = 10, -2*b = 3*y - y - 6. Suppose -8 = w - y*l - 33, 0 = w + l - 31. Is 20 a factor of w?
False
Let q(r) = -3*r + 1. Let n be q(3). Let b = 19 + n. Is b a multiple of 11?
True
Suppose 3*t - 162 - 162 = 0. Is t a multiple of 27?
True
Suppose -h = 2*m - 16, -h - 2*m - 62 = -3*h. Suppose 2*o = -0*o + h. Does 11 divide o?
False
Suppose 5*a - a = 8. Suppose -3*z - a = -4*z. Suppose 0 = -3*f + z*f + 10. Is f a multiple of 8?
False
Let q be (1 - 0 - -23)/1. Suppose 2*b + 0 = q. Is 6 a factor of b?
True
Suppose -14*z = -13*z - 62. Is z a multiple of 8?
False
Let r = -173 + 434. Let w = r + -183. Is w a multiple of 26?
True
Suppose -3*x - q + 301 = 0, -5*x - q + 65 = -436. Does 25 divide x?
True
Let o be (-84)/15 - (-4)/(-10). Let w = 8 + o. Suppose 12 = 4*z, x = -w*x - 4*z + 93. Is x a multiple of 12?
False
Let m be -30*((-9)/3 - -2). Suppose l + m = 6*l. Is l a multiple of 3?
True
Let a = -42 + 97. Is a a multiple of 26?
False
Let l = -5 + 10. Let p(f) = 2. Let n(c) = 3*c - 7. Let v(o) = 2*n(o) + 6*p(o). Is v(l) a multiple of 11?
False
Let v be -3 + 0*3/(-9). Is 1*(-3 - -31) + v a multiple of 25?
True
Let a = 175 + -28. Is 21 a factor of a?
True
Suppose d = 5*f - 0*d - 14, 8 = 2*f + 2*d. Suppose 2*y - 82 = -f*r, 3*r + 178 = 4*y + 2*r. Does 14 divide y?
False
Let d = 5 + -3. Suppose -2*u - d*s = -u, -s = 5*u - 27. Suppose -92 = 2*t - u*t. Is t a multiple of 13?
False
Suppose 0 = 4*o - 0*q - q - 31, -2*o = -5*q + 7. Let g = 17 - o. Does 4 divide g?
True
Let t(n) = n + 1. Let f be t(-1). Does 14 divide (2 + f + -3)*-25?
False
Let t(w) = w - 2. Suppose 2*r - 5*g - 22 = 11, 4*r = -4*g - 4. Let k be t(r). Suppose 3*j = -2*v + 37, -k*j = 2*v + 3*j - 35. Is v a multiple of 10?
True
Let f(v) = 6*v + 9. Is f(4) a multiple of 3?
True
Let f be 8 + 2*(-1 + 1/2). Let i(p) = -p**2 - 4*p + 2. Let h be i(-4). Suppose -h*v - 45 = -f*v. Is 3 a factor of v?
True
Let n(b) = -6*b**2 + 6*b - 4. Let p(a) = -5*a**2 + 7*a - 4. Let f(l) = 4*n(l) - 5*p(l). Is f(12) a multiple of 11?
False
Is 5 a factor of 344/24 - (-2)/3?
True
Suppose 3*f - 22 = 89. Suppose -f = -3*l + 17. Does 10 divide l?
False
Let r(d) = -2*d**2 - d + 24. Does 6 divide r(0)?
True
Let v be (-3)/(-7) + 6/(-14). Suppose n - 11 - 6 = v. Does 8 divide n?
False
Suppose 0 = -2*l - t + 24, -3*t + 6 - 30 = -2*l. Let r = l + -4. Is 4 a factor of r?
True
Let f = -54 - -84. Does 15 divide f?
True
Let q(u) = -u + 2. Let d be q(-5). Let c = d - 4. Suppose -73 = -4*m + c*f, 0 = -m + 4*f - f + 7. Is m a multiple of 13?
False
Suppose 0 = 73*p - 68*p - 650. Does 10 divide p?
True
Suppose -f - 9 = -2*f. Let j be (20/(-16))/(2/(-40)). Suppose -f = -k + j. Is 17 a factor of k?
True
Let g = 0 - -2. Suppose g*o - 9 = -o. Is o a multiple of 2?
False
Suppose 18 = 4*y - 3*y. Suppose 0 = 5*p - 148 + y. Is 26 a factor of p?
True
Let p(a) = -a**3 - 4*a**2 + 8*a + 6. Let d be p(-5). Let j = 16 + d. Is 2 a factor of j?
False
Let g be ((-1)/(-1))/(-2 - -3). Is 8 a factor of g*(44/2 - 1)?
False
Let j = 14 - -50. Is 18 a factor of j?
False
Let q be -4 + 3/(3/(-2)). Let d = 1 - q. Is d a multiple of 2?
False
Let l = -225 - -537. Suppose 4*x - l + 68 = 4*y, 5*y - 20 = 0. Is 18 a factor of x?
False
Suppose 2*f = -5*x + 2*x + 17, 0 = 5*f - 5*x - 5. Let i = f + 72. Suppose -h + i = h. Does 14 divide h?
False
Let d(k) be the second derivative of -38*k**3/3 - k**2 - 2*k. Is 14 a factor of d(-1)?
False
Let f = -66 + 183. Is 13 a factor of f?
True
Let w(z) = -2*z + 1. Does 13 divide w(-6)?
True
Let q be ((-2)/(-4))/1*-4. Let z(o) be the third derivative of -o**4/3 - o**3/3 + 9*o**2. Is 7 a factor of z(q)?
True
Let w(p) = 12*p - 40. Is w(11) a multiple of 23?
True
Suppose 31*m = 30*m + 55. Is m a multiple of 11?
True
Let p = -569 - -824. Let q = -151 + p. Is q a multiple of 28?
False
Is ((-6)/(-4))/((-15)/(-400)*2) a multiple of 18?
False
Suppose 144 = 6*u - 2*u. Suppose 3*j - u = 36. Does 8 divide j?
True
Let s(j) = 5*j**2 + 3. Suppose -7 + 3 = a. Let t = a - -1. Is 24 a factor of s(t)?
True
Let u(m) = 107*m**2 - 3*m + 1. Is u(1) a multiple of 17?
False
Let n(y) = y**3 + 2*y**2 + 3*y. Is n(3) a multiple of 18?
True
Let w be (-3 - (-10)/4)*0. Suppose -t + 6*t - 10 = w. Suppose t*j - 48 = 22. Is j a multiple of 16?
False
Let w(x) = x + 5. Let m be w(-13). Let c(l) = -l + 11. Is 5 a factor of c(m)?
False
Let t be 1 + 2 - (0 - -1). Let h = t - -2. Suppose 5*b = h*b + 9. Is b a multiple of 9?
True
Suppose 4*f + 11 = 2*j - 5, -3*f = j + 17. Let t be 4 + j - (-1 - 9). Suppose 0 = 4*k - t, 2*z - 5*k - 24 = 27. Is z a multiple of 11?
True
Is 20/3 - (-12)/(-18) a multiple of 6?
True
Let k be (-6)/14 - 405/(-63). Does 17 divide (-206)/(-6) + k/(-18)?
True
Let f(v) = v**3 - 9*v**2 + 10*v - 12. Let c be f(8). Suppose c*b + 21 = 7*b. Does 3 divide b?
False
Let q(g) = -3*g - 1. Let h be q(-1). Suppose h = t + 33. Let j = t + 57. Is j a multiple of 13?
True
Let b(y) = -y**3 + 10*y**2 - 13*y + 9. Is 13 a factor of b(7)?
True
Suppose -3*s - 3 = -4*s. Suppose -s*p + 30 = -8*p. Let g = 10 + p. Is g a multiple of 3?
False
Let o = 23 + 11. Does 17 divide o?
True
Let b = -2 + 3. Let r = b - 0. Is 8 a factor of (-98)/(-6) - r/3?
True
Let b be ((-6)/(-4))/((-9)/(-18)). Suppose -4*l + 90 = 2*g - 3*l, b*g - 130 = -4*l. Is 8 a factor of g?
False
Let o(n) = n**3 + 9*n**2 + 8*n + 4. Let q be o(-8). Is 5 a factor of (-10)/q*(-156)/65?
False
Let t(k) = k**2 - 9*k + 2. Is t(10) even?
True
Let u(h) = -h - 17. Let a(r) = 3*r + 42. Let d(f) = 5*a(f) + 12*u(f). Suppose 6*i = -8 + 38. Is d(i) a multiple of 9?
False
Let d = 44 - -120. Is d a multiple of 41?
True
Suppose -2 = -2*k, 0 = 3*p - k - 3*k - 5. Suppose 0 = p*x + 2*b + 19, -5*b = -2*x - 0*x. Let q(i) = i**3 + 6*i**2 + 3*i - 1. Does 9 divide q(x)?
True
Let o(j) = j**3 - 9*j**2 + 12*j - 1. Is 11 a factor of o(8)?
False
Suppose -5*w + 3*w + 96 = 0. Does 9 divide w?
False
Suppose 2*y - 9 = 7. Suppose -6 = -2*b + 3*b + 3*l, 0 = -3*b + 4*l + y. Is b*(-3)/(-9) - -8 a multiple of 3?
False
Let j(z) = z**2 + 8*z - 5. Let s be j(5). Let n = s + -23. Is 15 a factor of n?
False
Suppose y = 2*y - 13. Suppose 4*c + 5*p - y = 0, -c - 4*p + 7 - 1 = 0. Is (-110)/c*3/(-5) a multiple of 17?
False
Suppose -50 = d - 6*d. Is d a multiple of 6?
False
Let w(k) = k**3 - k**3 + k**3 + 3*k - 2 - 3*k**2. Does 13 divide w(4)?
True
Let o(u) = -40*u + 2. Does 16 divide o(-8)?
False
Let j(x) = -7*x - 4. Suppose -5*n = -h - 8, -6*n - 8 = 4*h - 2*n. Does 9 divide j(h)?
False
Suppose -z = -20 - 40. Does 6 divide z?
True
Suppose l = -l + 34. Let v = l + -5. Let g = 34 - v. Is g a multiple of 8?
False
Suppose 0 = -4*l + 5*y - 8, 2*l + y = l + 7. Suppose -l*c + 15 = -33. Is c a multiple of 9?
False
Is 13 a factor of 2508/24 + (-3)/6?
True
Let n = -44 - -77. Does 11 divide n?
True
Suppose -16*v + 18*v - 120 = 0. Is 10 a factor of v?
True
Let u(d) = 2*d**3 + 20*d**2 + 5*d + 18. Does 5 divide u(-9)?
True
Suppose 4*y + 26 = 5*y + g, -5*y - 2*g + 145 = 0. Suppose o - y = 8. Suppose -o = -4*b + b. Is b a multiple of 13?
True
Let q(c) be the third derivative of -1/6*c**3 + 0*c - 1/60*c**5 + 2*c**2 - 5/12*c**4 + 0. Is 19 a factor of q(-4)?
False
Let y(m) = 11*m**2 + 3*m + 1. Let x be y(-2). Let b = x + -20. Does 9 divide b?
False
Let v(p) = -p**2 + 2*p + 8. Let a be v(7). Let g = a - -46. Does 9 divide g?
False
Suppose -a + 172 = 2*a - 4*s, -s = a - 69. Is a a multiple of 32?
True
Let m be 1 + (-6)/(-2) + 0. Suppose 2*s - 2*v = -v + 25, 43 = m*s + 5*v. Does 4 divide s?
True
Suppose -3*i = 4*h - 53 - 196, -h + 3*i = -51. Is 15 a factor of h?
True
Suppose -2*v + 25 = -0*a - 3*a, 4*a = -3*v - 5. Let x(g) = -8*g - 1 - g**3 - g**2 + 19*g - v + 10*g**2. Is 2 a factor of x(10)?
True
Let f(p) = 18*p - 1. Let c = -8 + 9. Is 8 a factor of f(c)?
False
Let i(z) = -z + 20. Is 3 a factor of i(15)?
False
Let w be 4/14 - 37/7. Let x = 1 - w. Is 5 a factor of x?
False
Is 7 a factor of 63*(6 + -4)/6?
True
Let x = -8 + 10. Is 20 a factor of (12/(-16))/(x/(-96))?
False
Does 38 divide (-56)/7 - -4 - (1 - 119)