 p = -10. Is 4 a factor of n?
False
Suppose l = -3*l + 4. Let x(z) = -4*z + 6*z - 6*z + l - 2*z. Is 13 a factor of x(-2)?
True
Suppose -t - 2 = -a, -2*a + 3*t + 0*t + 4 = 0. Suppose x = 2*l + 3*l + 11, 2*x = a. Is 22 a factor of (l/(-3))/((-2)/(-132))?
True
Let s = 33 - 30. Suppose 100 = -s*b + 8*b. Is 8 a factor of b?
False
Suppose -4*c + 232 = -3*c. Suppose z = -z + c. Is z a multiple of 19?
False
Let x = 1 + 3. Let q be (2528/(-96))/((4 - 2)/(-12)). Suppose o = 3*f - q + 9, -x*f - 2*o = -202. Is 16 a factor of f?
False
Suppose -141 + 465 = -6*l. Let n = 146 - l. Is 14 a factor of (n/(-6))/(2/(-3))?
False
Let c(k) = -k**2 + 3*k + 4. Let i be c(-3). Let n be (8/i)/((-28)/98). Suppose -q = -4*q - n*a + 206, 4 = 4*a. Is 17 a factor of q?
True
Let r be (-3)/4*84/(-7). Let c be 0 + (-7)/(21/r). Let q(y) = -34*y - 6. Does 16 divide q(c)?
True
Let l = 2544 - 1454. Does 27 divide l?
False
Suppose 444 = 3*t + 4*r, -83*r + 81*r - 138 = -t. Is 18 a factor of t?
True
Let a(l) = -14*l + 1. Let x be a(-4). Suppose x = 2*z - 89. Suppose w + b = 23, -2*w - 3*b + z - 29 = 0. Does 11 divide w?
False
Let d be 2/((-4)/12 + 1). Let q(v) = 11*v**2 - 4*v + 23. Is q(d) a multiple of 9?
False
Suppose 3*w - r = 16, -3*r + 2 = -4. Let t(m) = m**3 - 5*m**2 - 2*m + 3. Let c be t(w). Suppose -c = -5*u + 4*u. Does 9 divide u?
True
Let b = -2 + 6. Suppose -t - 8 = 3*n, -b*n - 5*t = -5*n + 24. Is 20 a factor of 57 + n + 1 + 1?
False
Suppose -y + 2 = -13. Let k = y + -24. Does 22 divide (-174)/(-8) + k/(-36)?
True
Suppose 28 = 4*m - 176. Let v(a) = 4*a**2 + 8*a + 3. Let k be v(-2). Suppose -f - f + m = k*t, -t - 3*f = -10. Does 11 divide t?
False
Suppose 235 = s - 177. Is s a multiple of 15?
False
Let n(i) = 71*i**2 - 2*i + 1. Let r(z) = 2*z + 13. Let j be r(-6). Does 14 divide n(j)?
True
Suppose -427 = -2*f + 2*h + 457, h + 884 = 2*f. Does 26 divide f?
True
Let l = 10 + -4. Suppose 0 = 5*j - 5*h - 365, l*j - 2*j - 324 = -4*h. Does 11 divide j?
True
Suppose 5*n - 3*y + 306 = 0, 91 = -4*n + 2*y - 155. Let a = n - -111. Does 6 divide a?
True
Let f = -41 + 55. Suppose -240 = f*h - 17*h. Is 16 a factor of h?
True
Let z(d) = -5*d - 8. Let u be z(-2). Suppose -4*g - 2*b = -u*g - 60, 3*g + b - 92 = 0. Is 31 a factor of g?
True
Suppose -19*g + 16*g = 4*b - 1732, -5*g + b = -2879. Is g a multiple of 90?
False
Let q(l) = l**3 - 3*l**2 - 4*l + 5. Let o be q(4). Suppose -o*m = -173 - 427. Is 30 a factor of m?
True
Let x(l) = 4*l - 1. Let o be x(5). Let d = 28 - o. Let z(h) = -h**3 + 8*h**2 + 12*h + 10. Is z(d) a multiple of 7?
False
Let q(k) = 17*k**2 - 11*k - 28. Is 7 a factor of q(-8)?
True
Suppose 19*z = 3*j + 17*z - 560, -3*z + 724 = 4*j. Does 11 divide j?
False
Suppose 5*g + 21 = 2*a - 10, 15 = a - 3*g. Suppose 2*v = -22 - a. Is v/(-2) - (-8)/8 a multiple of 5?
False
Suppose -4*c - 3*g = 2*g - 1288, 5*c - 1615 = -5*g. Does 25 divide c?
False
Let o(n) = -65*n - 9. Let b(l) = -65*l - 8. Let h(u) = 2*b(u) - 3*o(u). Is 42 a factor of h(5)?
True
Let b = -3 - 7. Suppose 5*j + 9 = -4*t + 2*j, -15 = -3*j. Does 7 divide t*(4 - (-125)/b)?
False
Let a(l) = -8*l - 6. Let m(b) = -1. Let w(j) = a(j) + 5*m(j). Is 9 a factor of w(-8)?
False
Let g be (283*(-4)/(-16))/(2/8). Let u = g + -91. Does 15 divide u?
False
Suppose -33*i + 27*i = -2892. Is i a multiple of 23?
False
Let y(s) = 4*s - 3. Suppose -16 = -5*w + 2*j - 4*j, -2 = -4*w + 2*j. Let r be y(w). Is 125/10*8/r a multiple of 10?
True
Let m be 8/(-6) + 4/(-6). Let y(z) = -40*z - 10. Is 14 a factor of y(m)?
True
Let n = -1269 - -2485. Is 10 a factor of n?
False
Let z(w) = -w**2 - 11*w - 14. Let x be z(-10). Let c be x/(-1) + (-13 - -11). Does 3 divide (-4 + c - 2) + 10?
True
Let u = -7 - -13. Suppose u + 1 = -l. Let o = 1 - l. Does 8 divide o?
True
Suppose 0 = -58*p + 44*p + 6580. Does 47 divide p?
True
Let h(x) be the second derivative of -x**4/12 - 3*x**3/2 - 9*x**2/2 + 11*x. Let i(g) = g**2 + 10*g + 8. Let a(j) = -3*h(j) - 4*i(j). Is a(-5) a multiple of 7?
True
Is (1518/(-4))/(6/(-12)) a multiple of 23?
True
Suppose 8*u - 2*u = 732. Suppose u + 22 = 3*h. Is h a multiple of 8?
True
Suppose 0 = -4*j + 3*a - a + 18, -2*a - 3 = -j. Let t = 109 + j. Is 22 a factor of t?
False
Suppose -60997 = -31*p + 6800. Is 27 a factor of p?
True
Suppose 26*x - 27*x - 9 = 0. Let k(f) = 2*f + 31. Is k(x) a multiple of 13?
True
Suppose 0*l - 3*j = -2*l - 47, 0 = -5*j + 5. Let k = -2 - l. Is (16/k)/((-2)/(-185)) a multiple of 15?
False
Let c(o) = o**2 - 10*o - 6. Let p be c(9). Is ((-5)/p)/(3/99) a multiple of 7?
False
Let h be (-5 + -4)*(-2)/3. Suppose -86 = -4*p - 5*x, -6*x - h = -3*x. Let f = -9 + p. Is 10 a factor of f?
False
Let l(f) = f**2 - 10*f + 12. Let o be l(9). Suppose -t + 7 = o. Is 11 a factor of (-530)/15*(-6)/t?
False
Let i = 68 - 64. Suppose -p = -11 - 8. Suppose -j + 69 = i*l, -p - 8 = -2*l + j. Is 4 a factor of l?
True
Let s(m) = 2 - 32 - 3*m - 9*m + 13*m**2 + m**3. Is s(-13) a multiple of 9?
True
Let j(f) = 209*f - 7. Let u(l) = -313*l + 11. Let b(m) = -8*j(m) - 5*u(m). Is b(-1) a multiple of 27?
True
Let h(q) = q**3 + 6*q**2 + 4*q + 8. Let v be h(-6). Let r = 14 + v. Is 3/(r*1/(-10)) a multiple of 15?
True
Suppose 38*p = -5*p + 70305. Is p a multiple of 7?
False
Let t = 419 + -284. Is 9 a factor of t?
True
Suppose -7*b - 80 = -12*b. Suppose 4*w - 45 = 4*i - 349, -4*w + b = 0. Is i a multiple of 16?
True
Let w(y) = 2*y**2 - y - 6. Let g be w(0). Is 8 a factor of ((-3)/g)/((-6)/(-1068))?
False
Let z(w) = 20*w - 80. Does 55 divide z(48)?
True
Let b(j) = -j**3 + 5*j**2 + 2*j - 9. Let y(a) = 2*a - 6*a + 9 - 3*a + 28 - 20*a**2 + 4*a**3. Let m(f) = 9*b(f) + 2*y(f). Is m(5) a multiple of 5?
False
Let a = -12 - -40. Let s(h) = 15*h - 79. Let c be s(6). Let f = a - c. Does 11 divide f?
False
Let x(p) = -8*p - 13. Let k(g) = -g**2 - g - 6. Suppose 5 = 3*z - 5*h, 2*h + 2 = z - 0. Let q be k(z). Is 11 a factor of x(q)?
False
Let t(i) = 765*i**3 - 2*i + 3. Is 3 a factor of t(1)?
False
Suppose -5*h = 4*a - 9355, -9*a - 3*h + 4677 = -7*a. Does 130 divide a?
True
Let c(r) = 18*r**3 - 9*r**2 - r + 9. Let m(z) = -2 - 9*z**3 - 2 - 12*z**2 + 16*z**2. Let i(q) = -2*c(q) - 5*m(q). Does 25 divide i(2)?
False
Let m(o) = o**3 + 4*o**2 + 4*o + 5. Let v be m(-3). Let h = -8 - -1. Does 20 divide (1 - h - -2)*v?
True
Let c(u) = u**2 - 10 - 7*u + 0*u**2 - 1 - 3. Is 10 a factor of c(-4)?
True
Let b = -19 + 19. Suppose -j + 4*a + 23 = b, 3*j - 5*a - 24 = -2*a. Suppose 2*r = -l + 78, -3*l - 67 - 59 = -j*r. Does 8 divide r?
True
Let m(c) = -68*c - 2 + 1 + 69*c. Let q be m(3). Is (40/q)/1 + 2 a multiple of 11?
True
Is 4 - ((-4)/(-16) + 1961/(-4)) a multiple of 26?
True
Let d(w) = -2*w**3 - 4*w. Let s be d(-4). Suppose 8*z - 224 = s. Does 30 divide z?
False
Let k = 1571 - 729. Is 3 a factor of k?
False
Let k = -572 - -686. Is k a multiple of 6?
True
Let h be (122/(-4))/((-11)/(-132)). Let v = -245 - h. Does 11 divide v?
True
Let d(v) = v - 9. Let z be d(-6). Let n be (18/z)/(18/(-60)). Suppose -n*x = -3*x - 40. Is x a multiple of 8?
True
Suppose 0*i + i - 385 = -3*w, 5*i - 1886 = -2*w. Suppose 0 = -3*y + i - 16. Is 20 a factor of y?
True
Suppose 6*a - 25 - 23 = 0. Suppose -5*l + l + a = 0. Suppose -3*v + 7 = c - 3, v + l = 0. Does 8 divide c?
True
Let u(o) = -o**2 - 12*o - 4. Let d be u(-12). Let k be 78/8 - 1/d. Suppose 48 = 4*f + 2*m + k, f = m + 11. Is 4 a factor of f?
False
Let h(x) = -2*x + 23. Let n be h(9). Suppose -n*y = -3*y - 98. Is y a multiple of 7?
True
Let y(d) = -d**3 + 17*d**2 - 3*d + 55. Let r be y(17). Suppose t + 285 = r*b - 234, 2*t - 381 = -3*b. Is b a multiple of 9?
False
Let m = -16 + 16. Suppose -j = -3*t + 8, t = -m*t - 5*j + 24. Suppose t*z + 70 = 3*o, 4*z - 68 = -4*o + 3*z. Is 7 a factor of o?
False
Suppose 3*o = -0*o + 279. Let x = 131 - o. Suppose 4*p - x = -3*k, k - 2*p - 6 = 10. Does 7 divide k?
True
Suppose n - 3 = q - 5, -q - 4*n = -2. Suppose -5*z = -q*a + 143 - 31, -224 = -4*a - 2*z. Does 18 divide a?
False
Suppose -x = -163 + 35. Does 8 divide (x/6)/((-7)/(-21))?
True
Let d(x) = -x**2 + 11*x - 15. Suppose 3*h = s + 4*s + 24, -5*h = 4*s - 40. Is 5 a factor of d(h)?
False
Suppose -5*o + 19*o = 11312. Is o a multiple of 6?
False
Let j(h) = 6*h - 38. Let p be j(7). Is 22 a factor of 2*(-1)/p*(-318 - -4)?
False
Suppose 2*q = -2*c + 2122, -20*c