q**2 + 15*q + 3. Is 15 a factor of p(l)?
False
Suppose 2*s = 4 + 2. Let u(t) = 2*t**2 - 3*t + 3. Let x be u(s). Is (6/x)/(1/14) a multiple of 7?
True
Is 7 a factor of (-3 - (-7)/2)*4 + 10?
False
Suppose -2*t = -18 - 32. Is 7 a factor of t?
False
Let g(k) = 2*k + 4. Let n be (-5)/((-15)/9) + 1. Is g(n) a multiple of 12?
True
Let r(d) = d**2 + 6*d - 2. Let y be r(-5). Let w = y - -46. Is 13 a factor of w?
True
Suppose 3*a - 6 = -0. Suppose 5*t - 180 = -6*y + y, a*y - 4 = 0. Is t a multiple of 8?
False
Let d(u) = -u + 8. Is 3 a factor of d(-23)?
False
Suppose 4*g + 5*l = 223, 353 = 5*g + 2*l + 87. Is 3 a factor of 2/(-1 - g/(-44))?
False
Let z(t) be the third derivative of 1/3*t**3 + 2*t**2 + 1/6*t**4 + 0*t + 0. Does 3 divide z(2)?
False
Suppose -2*n = -5*n + 30. Suppose -k + 0*s = -2*s - n, 20 = -2*k - 4*s. Suppose -g + 4*g - 84 = k. Is g a multiple of 14?
True
Let w(x) = 2*x**2 + 4*x + 2. Let a be w(-2). Suppose c = -a*c - 4*j + 9, 4*j = 12. Is 3 a factor of ((-21)/9)/(c/3)?
False
Let u(y) = 2*y**2 + 8*y - 7. Does 8 divide u(-7)?
False
Does 9 divide -10*3*(-12)/15?
False
Suppose -6*u + 2*u = -5*a - 12, 3 = u - 3*a. Let p be ((-90)/(-8))/(1/8). Suppose -u*c = 2*c - p. Is c a multiple of 9?
True
Let v = -9 + 11. Let m be (-9)/((-1)/(-20)*6). Does 4 divide m*v/(-6)*1?
False
Let r(j) = j**3 + j**2 - 4*j - 7. Does 23 divide r(6)?
False
Let l be (-6 - -7) + -19*1. Let o = 33 + l. Is 5 a factor of o?
True
Let k be 62/(-5) - (-2)/5. Is k/(-20) - 644/(-10) a multiple of 21?
False
Let a(s) = -s**2 - 11*s - 7. Does 7 divide a(-7)?
True
Let c be 4*(-3)/(-36)*6. Suppose -l = -b + 70, 3*b = 5*l - 138 + 358. Suppose 35 = s - c*r, 2*r - 6*r = 3*s - b. Is s a multiple of 9?
True
Suppose 0 = -o + p + 222, -4*p + 0*p = -o + 219. Suppose -3*m = 5*v + m - 221, -5*v - 2*m + o = 0. Suppose 5*w - v = 35. Is w a multiple of 16?
True
Let x = 24 - 7. Does 17 divide x?
True
Suppose 91*a = 84*a + 84. Is a even?
True
Suppose -2*w = -2, 3*h + w = -3*w + 73. Is 12 a factor of h?
False
Let r(i) = 5*i**2 + 7*i - 50. Is r(7) a multiple of 30?
False
Let d(q) = -3*q - 1. Let w(b) = -b. Let v(o) = -d(o) + 5*w(o). Does 5 divide v(-4)?
False
Let g be -218*(-6)/4 - -1. Suppose 81 + 355 = 4*k + 2*r, -g = -3*k - 2*r. Is 36 a factor of k?
True
Let h be -12*4/6 - 0. Let m = 19 - h. Is m a multiple of 7?
False
Let z(g) = g**2 + 3*g**2 - 7*g - 3*g**2. Let x be z(7). Let s(c) = -c**2 + 11. Does 5 divide s(x)?
False
Suppose 9*t = -0*t + 1728. Is 16 a factor of t?
True
Let g = -2 + 64. Does 16 divide g?
False
Let f(y) = y**2 + 7*y + 19. Is f(11) a multiple of 7?
True
Let f be 4/(-3)*3/(-2). Suppose m = 3*m + f*j - 28, -j + 90 = 5*m. Is 8 a factor of m?
False
Let z(f) = 0*f - 1 - 2*f + 7. Suppose -2 - 12 = 2*u. Is z(u) a multiple of 20?
True
Let a = 194 - 110. Is 25 a factor of a?
False
Let v = 118 - 66. Is v a multiple of 26?
True
Is (-8)/20 - (-460)/25 a multiple of 6?
True
Let p(b) = -b + 8. Let h(z) = z - 9. Let v(m) = -6*h(m) - 7*p(m). Let i be v(4). Suppose i*k - 3*l - 39 - 6 = 0, -4*l + 17 = k. Is k a multiple of 7?
True
Suppose 2*b - r = 21, 2*b - 24 = -0*r + 4*r. Is b a multiple of 3?
False
Suppose 26 = 4*n + 5*o - 0*o, 2 = 2*n - 3*o. Let v = -16 + 24. Suppose 16 = 2*c + n*z, -4*c + v = -3*c - 3*z. Is 4 a factor of c?
True
Suppose -3*a = a - 488. Let p = -86 + a. Is p a multiple of 18?
True
Let q(f) be the second derivative of f**5/20 + 7*f**4/12 - f**3/3 + 9*f**2/2 + 4*f. Is q(-7) a multiple of 21?
False
Let m(c) = -c - 3. Let o be m(-7). Suppose -14 = -o*p + 14. Does 4 divide p?
False
Let z be (-28)/6*(-12)/8. Suppose 3*q = 2*p + 4*q - z, -5*p + 13 = q. Suppose 0 = p*m + 10 - 96. Is m a multiple of 20?
False
Suppose -4*c - 4*w = -136, -2*w + 100 = 3*c - w. Suppose -5*x = 4*j - c, 4*j + x = 8 + 5. Suppose 0 = 3*t - 6, -j*g - 46 = -7*g - 3*t. Is g a multiple of 8?
True
Let l(m) = 7*m**2 - 22*m + 22. Let z(f) = -10*f**2 + 33*f - 33. Let s(n) = 7*l(n) + 5*z(n). Let b = -10 + 19. Does 3 divide s(b)?
False
Let j = -2 + 13. Suppose -3*s + 4*f - j = 0, 0 = 3*s - 2*f + 5 - 4. Suppose 0 = s*h - 0*h - 84. Does 14 divide h?
True
Let r(g) = -9*g**3 + 7*g**2 + 7*g - 5. Let y(i) = 4*i**3 - 4*i**2 - 3*i + 3. Let p(u) = 2*r(u) + 5*y(u). Is p(4) a multiple of 21?
False
Suppose -h + 3*x + 5 = 0, -h + 2*x = -3*x - 5. Does 9 divide h + 2 + -4 + 15?
True
Let k be (1 + 0)/(6/12). Is 27 + -3*k/(-6) a multiple of 17?
False
Let f = 22 - 39. Let b be (3 - (-2 - -6)) + f. Is 11 a factor of (-6)/(-4)*(-264)/b?
True
Let j(t) be the third derivative of t**6/120 - 3*t**5/20 - t**4/3 + 5*t**3/3 - t**2. Is j(10) a multiple of 15?
True
Suppose 116 = 2*m + 2*m. Is m a multiple of 7?
False
Let k = 20 - 18. Suppose -3*b - k*b = -30. Does 3 divide b?
True
Suppose 0 = 2*v + 3*b - 16, 0*v + 14 = 5*v + b. Let t be 0 + 2 + v + -1. Suppose -4*i - 12 = 0, 8 + 61 = t*s + 5*i. Is s a multiple of 12?
False
Let s be (-4 + 1)*22/(-3). Let i = 1 + s. Does 11 divide i?
False
Suppose 71 = 4*v - 3*v - 2*n, -5*n = -3*v + 212. Let j be 4 + 0 + 4 - 4. Suppose y - v = -j*u, -u - 4*u + 5*y + 105 = 0. Is 18 a factor of u?
True
Suppose j + 4*h = 6 + 4, -4*j + 57 = -h. Does 9 divide j?
False
Suppose -n + 20 + 8 = 0. Does 15 divide n?
False
Suppose 4*l - l + 12 = -5*z, -5*z + 16 = -4*l. Let t be (0 - (-6)/l)*-4. Suppose h + 38 = t*h + 2*u, -2*h + 3*u + 19 = 0. Is 8 a factor of h?
True
Suppose -2*n - 8 = -32. Is n a multiple of 3?
True
Let r(k) = -k**2 + 1. Let n be r(0). Let m = n + -1. Suppose -v - 1 + 7 = m. Is 3 a factor of v?
True
Let g(d) = -d - 2. Let w be g(4). Let o = 9 + w. Suppose 2*f - f - 2 = o*p, -p = 5*f - 10. Is f a multiple of 2?
True
Let q = 35 + -4. Is 3 a factor of q?
False
Let k = 17 - 7. Suppose 17 + k = 3*a. Is 4 a factor of a?
False
Let j(v) = v**2 + 1. Let x be j(-1). Suppose -2*y + y + 7 = -3*u, -3*y = -u - 21. Suppose y - x = d. Is d even?
False
Suppose 0*q - 4*q - 34 = -3*g, 2*g - q = 31. Let i = 31 - g. Is 6 a factor of i?
False
Is 3 a factor of (0 - -3)*1 + 6?
True
Let r(i) = 9*i + 7*i**2 + i**2 + 5 + i**3 - 3. Let h = -11 + 5. Is r(h) a multiple of 10?
True
Let o = -105 + 160. Suppose -2*h + 20 = 5*c - 3*h, -2*c + 5*h + 31 = 0. Suppose -3*s - 2*n + o = -3*n, c*s + 3*n - 51 = 0. Is 5 a factor of s?
False
Suppose 0 = -3*m + 9*m - 126. Is m a multiple of 21?
True
Does 11 divide 32 - (-2 - (-1 + 0))?
True
Suppose -5*x - 124 = -9*x. Is 31 a factor of x?
True
Let k(y) = y**3 - 8*y**2 - 7*y - 6. Is k(9) a multiple of 3?
True
Suppose 4*d + 0*d = -2*r + 14, -4 = -5*d + 2*r. Suppose d*j - 46 = -0*j. Is 9 a factor of j?
False
Let b = -3 + 7. Suppose 9*t - 35 = b*t. Is 6 a factor of t?
False
Suppose -4*j + 37 = -7. Does 3 divide j?
False
Let a(w) = -w + 124. Let c be a(0). Let h = c + -44. Is 20 a factor of h?
True
Let y(v) = 2. Let d(g) = 0 + 1 - 2*g + g. Let b(o) = 4*d(o) - 5*y(o). Is b(-7) a multiple of 11?
True
Suppose 4*o - 8 = -2*f - 0, f = -4. Suppose -t + 420 = o*t. Is (-4 - -3) + t/3 a multiple of 9?
True
Let p = -5 + 5. Suppose p = -4*z - 3*c - 0*c - 23, -3*z - 33 = -3*c. Let m(h) = -h - 1. Is m(z) a multiple of 3?
False
Let q = 429 + -168. Is q a multiple of 29?
True
Suppose 40*n + 48 = 41*n. Does 16 divide n?
True
Does 27 divide 1*(2 - (-457)/1)?
True
Is ((-364)/(-21))/(2/3) a multiple of 4?
False
Does 11 divide -44*(1 - 11/4)?
True
Let v(z) = -z**3 + 5*z**2 - z - 3. Let m be v(5). Let p = m - -32. Is 12 a factor of p?
True
Suppose -4*m + 36 + 152 = 0. Is m a multiple of 9?
False
Suppose 2*x = x. Does 8 divide (80/(-5))/(-1 - x)?
True
Suppose -3*t - 308 = -2*z, -5*t = -4*z + 30 + 590. Does 23 divide z?
False
Let b(o) = -o - 1. Suppose 0 = -s - 5*n - 9, -23 = 4*s + s + 3*n. Does 2 divide b(s)?
False
Let n(r) = 14*r - 17. Let f(h) = 7*h - 9. Let v(c) = 11*f(c) - 6*n(c). Let q = 8 - 13. Does 13 divide v(q)?
False
Let c(m) = 3*m**2 - 15*m - 6. Let v be c(11). Suppose 3*g - 6*g = v. Let h = g + 95. Does 17 divide h?
False
Suppose 47*z + 651 = 50*z. Does 16 divide z?
False
Let r be 0 + (1 - 4 - -2). Let a = 5 + r. Is a a multiple of 2?
True
Let n(i) = -i**3 - i**2 + i + 5. Does 3 divide n(0)?
False
Suppose 0 = -2*t - 0*t. Suppose -5*g - 194 = -474. Suppose -4*v + g = -t*v. Is 7 a factor of v?
True
Let u be 4 - (-1 + -1 + 3). Suppose -3*k + u = 0, -y + 3*k + 29 = 2*k. Is y a multiple of 10?
True
Let h = -1 - -11. Supp