= -4*z**2 - 9*z + 12. Let p(m) = 7*h(m) - 2*n(m). Let v be (1/(-1))/((-5)/30). Is p(v) a multiple of 11?
True
Is 12 a factor of (38/(-19) - (-1 - 40)) + -3?
True
Suppose 2 - 1 = -v. Let g = v + 1. Suppose -2*x + 29 = i, g = -5*i + 3*x + 101 + 83. Is 14 a factor of i?
False
Let a(j) = j**2 - 3. Let f be a(-3). Suppose -2 = -4*z + f. Suppose z*c - 24 = c. Does 16 divide c?
False
Let d(z) = z + 8. Let y be d(8). Does 10 divide 2/y + 475/40?
False
Let z = 6 - 8. Let l(c) = -2*c. Is l(z) even?
True
Let h = 3 - -1. Suppose 0 = -3*o + 5*l + h, 5*l - 7 - 7 = -3*o. Suppose -4*t + 52 = 5*n, -2*t + o*n + 1 = -3. Does 3 divide t?
False
Suppose -w - 439 = -5*w + 3*f, w + 5*f - 81 = 0. Is w a multiple of 27?
False
Suppose 3*r = -5*x + 99 + 40, 4*x + 4*r - 116 = 0. Let t = -12 + x. Is t a multiple of 6?
False
Let o = 112 + 71. Suppose 4*f - 301 = -5*r, -3*r = f + 2*f - o. Suppose 2*j = 3*j - r. Is 19 a factor of j?
True
Suppose p + p + s + 1 = 0, -5 = -5*p - s. Suppose 0 = 2*j + 3*i + 8, -2*j + 2*i + p = -5*j. Suppose 3*b - 35 = -j*b. Is b a multiple of 3?
False
Let q = 10 + 3. Is q a multiple of 13?
True
Suppose 6*g = -0*g + 360. Is g a multiple of 20?
True
Let f(a) = 2*a**2 + 2*a + 3. Let r be f(-2). Let s(p) = -p**3 + 7*p**2 + p + 8. Is s(r) a multiple of 4?
False
Let i be 3 + -1 - (5 - 0). Let n = -1 - i. Suppose 0 = n*p - p - 8. Is 3 a factor of p?
False
Suppose 5*l + 1 = h - 14, -6 = 3*l. Suppose 0 = h*y - 3*b - 1 - 3, -4*b = -5*y + 2. Suppose -5*n + 87 = -3*z, 0*n + 4*n - y*z = 68. Is n a multiple of 6?
False
Suppose 5*l - 5 = -5*o, -4*o + 25 = -3*l - 0*l. Let m = 19 - 11. Suppose -o*w - 100 = -m*w. Is w a multiple of 11?
False
Let c = -132 - -246. Does 19 divide c?
True
Let v be ((-5)/(-10))/((-2)/136). Let q be (6*1)/(6/68). Let z = v + q. Is z a multiple of 17?
True
Let u be ((-12)/(-10))/((-6)/(-40)). Suppose -5*i + u = -7. Suppose -3*j + j = 2*a - 32, i*a - 5*j - 8 = 0. Does 9 divide a?
False
Suppose -39 = 2*q - 5*q. Is 11 a factor of q?
False
Suppose 2*n = -7*n + 684. Is n a multiple of 3?
False
Suppose 14 = 3*m - 70. Is 4 a factor of m?
True
Let t(a) = 2*a**2 - 2*a + 5*a + 47*a**3 - a - 3*a. Is 12 a factor of t(1)?
True
Let f(l) = l**2 - 34. Does 27 divide f(14)?
True
Let h(v) = v**2 - 6*v + 1. Let t(m) = -2*m + 1. Let a be t(-2). Let u be h(a). Does 20 divide ((-80)/2)/(u + 3)?
True
Suppose 0 = -3*n - 21 + 144. Is n a multiple of 8?
False
Let g = 2 - -2. Suppose f = g*f. Suppose -t = -5*a - 41, -27 = -2*t - a - f*a. Is t a multiple of 8?
True
Let n = 9 - 5. Suppose -n*q + 9 = -23. Is 4 a factor of q?
True
Let c(i) = -i**3 - 3*i**2 - 5*i. Let h be c(-4). Suppose n + h = 4*n. Is 6 a factor of n?
True
Suppose -w - 5*n - 8 = 0, 2*w - 6*n = -n + 14. Suppose -5*k = w*s - 148, -s = -2*k - 3*s + 58. Does 15 divide k?
True
Let j(w) = 3*w**2 - 8*w + 12. Is 9 a factor of j(6)?
True
Let z = -18 + 13. Let v be (-10)/z*(2 - 1). Suppose 3*j - c - 154 = -59, v*j - 75 = 3*c. Does 15 divide j?
True
Is 6 a factor of (-5)/1*-12*8/6?
False
Let n(a) = 64*a**3 - 12*a**3 + 1 + 3*a**2 - 2*a - 3*a**2. Is n(1) a multiple of 27?
False
Let u(f) = 64*f - 2. Let w be u(3). Suppose -4*p + w = 62. Let a = p + -12. Is a a multiple of 14?
False
Let n be 6/45 + (-1029)/(-45). Let r(f) = f**3 + 7*f**2 + 6*f. Let s be r(-6). Does 5 divide (n + -6)/(1 + s)?
False
Let w be 2/(-8) + 1/4. Suppose g - 1 = w, 3*g + 101 = 3*r + 11. Does 16 divide r?
False
Let u = 26 - -34. Is 30 a factor of u?
True
Let s(t) = -t**3 - 7*t**2 - 9*t. Let a be s(-6). Suppose 3*l = 4*l - a. Is 9 a factor of l - (0 + -1) - -1?
False
Is 23 a factor of ((-244)/(-3) - (-10)/15) + 0?
False
Suppose 5*j - 15 = 2*j. Let n(g) = 2*g**2 - 6*g - 7. Does 13 divide n(j)?
True
Let f(i) = -57*i - 5. Does 14 divide f(-2)?
False
Suppose -30 = -2*w + 2*r, -6*r = 2*w - 4*r - 10. Suppose 0 = -b + 2*g - 10, -4*b + 3*g - 10 - w = 0. Does 16 divide ((-60)/9)/b*12?
False
Suppose 4*z + 0*z = 96. Does 14 divide z?
False
Let w = 2 - 4. Let z be (-2 - 14)/(1 + w). Suppose 5*n - 96 = -z. Is 10 a factor of n?
False
Let z(a) = -a**2 - a + 1. Let p be z(-1). Suppose -3 - p = -h. Suppose 3 = v - h*g + 8, 0 = -2*g + 6. Is v a multiple of 4?
False
Let z = 921 - 482. Is 15 a factor of z?
False
Let s(k) = k + 9. Let r be 87/15 + (-4)/(-20). Is s(r) a multiple of 15?
True
Let d = 5 + -16. Is 14 a factor of 3 + 0 + (6 - d)?
False
Suppose -6 = -2*s + 3*z - 2*z, s = z + 3. Let t be (1 + 0)*(s - 1). Suppose 1 = -t*x - 5*f - 8, -3*f = 3*x. Is x a multiple of 3?
True
Let c be ((-1)/2)/(1/18). Let d be (-2)/(-9) - (-776)/c. Let f = 120 + d. Is 13 a factor of f?
False
Let s be 1 - (0 + (-8 - -2)). Let f = s - -6. Is 9 a factor of f?
False
Suppose 9*y - 17*y = -320. Does 3 divide y?
False
Suppose -168 = -10*j + 4*j. Is j a multiple of 14?
True
Suppose -5*g + 99 = 5*j - 76, 95 = 3*j + g. Is 5 a factor of j?
True
Suppose -25 = -5*w, -3*w + 65 = 3*b - 8*b. Let d = 20 + b. Is 5 a factor of d?
True
Suppose -3*y = -2*y - 8. Is 5 a factor of y?
False
Let n(k) = k - 8*k + 1 + 6*k. Does 4 divide n(-3)?
True
Let x = -1 + -3. Does 28 divide x/(-3 + (-82)/(-28))?
True
Suppose -4 = -f - 4*c, -2*f + 2*c - 7*c = -14. Is -1 - 7*f/(-3) a multiple of 11?
False
Suppose -12*o - 66 = -13*o. Does 21 divide o?
False
Does 7 divide (-232)/(-16) + 1/(-2)?
True
Suppose 2*d + 0*d - 4 = 0. Suppose 0 = -d*k - 5*b + 75, 3*k - 123 = b + 2*b. Is k a multiple of 27?
False
Does 13 divide (-2316)/(-36) + 4/6?
True
Is 6 a factor of 6/10 - (-108)/20?
True
Let d = -5 - -4. Let k be (-7)/(-3) - d/(-3). Suppose h + k = -0*h, -4*n + 3*h = -218. Is n a multiple of 18?
False
Suppose 0*p = -p - 1. Is (-96)/(-18) + p/3 a multiple of 5?
True
Let g(r) = r**3 + 6*r**2 - r - 2. Let s be g(-6). Let j = -7 + s. Does 15 divide j + 5 - -17*1?
False
Suppose -3*i - 2*f + 4 = -8, 3*i + 5*f - 3 = 0. Let h(s) = s - 1. Let v be h(i). Suppose -3*k + 0*k + 50 = 4*w, -v*w = -4*k + 108. Is 22 a factor of k?
True
Let j(d) = 7*d + 1. Does 3 divide j(2)?
True
Suppose 240 + 35 = 5*h. Does 19 divide h?
False
Suppose 38 = -j + 3*j. Let w = -10 + j. Is w a multiple of 3?
True
Suppose 31 = -k + 121. Does 12 divide k?
False
Suppose -s - s = 4. Let r = s - -23. Does 18 divide r?
False
Let c be (-2 + (2 - 1))*-3. Suppose -p = c*q - 21, 2*p - 5*q = -3*q + 50. Let h = p + -13. Is 11 a factor of h?
True
Suppose -p + 41 = o + 4*o, -4*o + 24 = 3*p. Suppose 0*k - 18 = 3*k. Does 4 divide (-1 + o)*(-3)/k?
True
Suppose 2 + 8 = 2*l. Suppose -5*s - y + 110 = 0, l*y - y - 22 = -s. Does 11 divide s?
True
Let k(v) = v**2 - v - 2. Let m = 6 - 4. Let x be k(m). Suppose -5*r = -r - 4*j - 60, -2*r - j + 33 = x. Is 16 a factor of r?
True
Suppose -170 = -4*z - 0*z + 3*c, z + c = 46. Let k = z + 108. Suppose -2*q + k = 2*q. Is q a multiple of 16?
False
Does 18 divide 522/8 - 5/20?
False
Let x be (6/(-4))/((-3)/16). Suppose -f - 19 = -j, 3*j - x = 4*f + 44. Does 12 divide j?
True
Suppose -3*a - a = -4. Does 7 divide 7 + (-1 + a)/(-2)?
True
Is 15 a factor of -4*(-5)/30 + (-939)/(-9)?
True
Suppose b + b = 6. Is 66*((-9)/6 + b) a multiple of 25?
False
Let c be -2 - (2 - 2) - -7. Let n(f) = -f**3 + 7*f**2 - 7*f + 5. Does 10 divide n(c)?
True
Suppose 0 = 2*m - 5*r + 10, 0*m + 5*m + 2 = r. Let x be 6*2*(-2)/(-2). Suppose 3*y + m*y = x. Does 4 divide y?
True
Let m = 7 + -4. Suppose 0 = -m*r + 145 + 11. Suppose -2*h - 8 = 0, 0*h - r = -3*i - 5*h. Is i a multiple of 12?
True
Let g = -35 - -61. Does 13 divide g?
True
Suppose 0 = -k + 6*k - d - 85, -3*k = -2*d - 58. Is k a multiple of 16?
True
Let s(l) be the third derivative of -l**5/60 - l**4/2 - 13*l**3/6 + 2*l**2. Is s(-9) a multiple of 9?
False
Let x(j) = -j**3 - 5*j**2 - 2*j + 1. Let k be x(-4). Let c be (-4)/(4/k) + 1. Let n = 15 - c. Does 6 divide n?
False
Suppose -s - 2*v + 56 = 0, 4*v + 11 - 67 = -s. Is 15 a factor of s + 4*12/16?
False
Is (-4)/(-8)*25*6 a multiple of 31?
False
Let g(l) = 5*l**3 + 2*l**2 - 2*l + 1. Does 15 divide g(2)?
True
Let a = -7 + 9. Suppose a*x - 11 = 5*l, -5*x + 2*l + 3*l = -35. Is x a multiple of 3?
False
Let o(a) = 3*a + 71. Does 13 divide o(-18)?
False
Let p = 0 + 1. Let q = 3 + p. Suppose -106 + 38 = -q*x. Is 6 a factor of x?
False
Let p = -10 + 5. Let z = p + 11. Is -18*(-2)/(8/z) a multiple of 11?
False
Let a = -3 - -18. Does 12 divide a?
False
Suppose 3*o - 7*o = 8.