False
Suppose -14*d + 1837 = -3*d. Is 27 a factor of d?
False
Let c(p) = -p**3 - 6*p**2 + 8*p - 2. Is c(-8) a multiple of 31?
True
Let x(w) = w**3 - w**2 - 2*w - 5. Is x(5) a multiple of 17?
True
Let k = 67 + -37. Suppose -a = -3*p - 3*a + k, -p - 4*a + 10 = 0. Does 10 divide p?
True
Let z = 91 + -53. Is 11 a factor of z?
False
Let a be (-2)/6*(7 + -16). Suppose 5*n = a*n + 18. Is n a multiple of 5?
False
Suppose -3*v = -208 + 67. Suppose -v = -4*c + 37. Is 21 a factor of c?
True
Let x(l) = l**3 - 10*l**2 + 9*l. Let t(z) = 2*z**3 - 19*z**2 + 17*z. Let y(a) = -6*t(a) + 11*x(a). Let n be y(3). Suppose n = 3*v - 30 - 21. Does 17 divide v?
True
Suppose 300 = 2*m + 13*m. Is m a multiple of 13?
False
Suppose -44 = 4*n - 4*o, 0*n - n = -2*o + 8. Let l = -73 + 44. Let d = n - l. Does 15 divide d?
True
Let p = 16 - 24. Does 9 divide (52 - 4)*(-6)/p?
True
Let u(y) = 15*y**3 - 2*y**2 - y. Let s be u(2). Suppose -q = 5*t - 220, 3*t - 6*t = 5*q - s. Is 15 a factor of t?
True
Let k = -5 + 60. Is 22 a factor of 6 + k + 3 + 0?
False
Is 423/2 + (-3)/(-12)*-6 a multiple of 15?
True
Let z(d) = 5*d**2 + 10. Is 30 a factor of z(4)?
True
Suppose -2*p + 135 = t, 0*p = 5*p - 3*t - 354. Does 25 divide p?
False
Let z = 6 - 4. Suppose z = -i - 0. Does 22 divide 4/i*23/(-2)?
False
Suppose -4*t - t - 25 = 2*m, 78 = -5*m + 3*t. Let c = 37 - m. Suppose -4*l = -2*o - 0*l + c, 0 = -4*o + 4*l + 92. Is 7 a factor of o?
False
Let z be -3 - -1 - (0 + -15). Is z/1 + 21/(-7) a multiple of 10?
True
Let g(b) = -b**3 + 9*b**2 - 2*b - 1. Let u be g(4). Suppose -5*q - y - 11 + u = 0, -3*q + 3*y = -54. Does 5 divide q?
False
Let o(u) = -5*u + 4. Let a be o(-4). Let w(y) = y**3 - 3*y**2 + 2*y. Let b be w(3). Let k = a - b. Does 9 divide k?
True
Suppose 0*s = 2*s + 58. Let q = -21 - s. Suppose -q*n + 3*n = -220. Is 15 a factor of n?
False
Suppose -6 = -v - 3. Suppose -3*z + z + 54 = 2*f, 0 = -3*z - v. Is f a multiple of 10?
False
Suppose -r = -1, -51 = -4*l + 4*r - 3*r. Is l even?
False
Let c be (1*-1)/(3/(-42)). Let s(m) = m**2 + 9*m. Let t be s(-9). Suppose f - 1 = b + c, t = 5*b. Is f a multiple of 8?
False
Suppose -5*t + 15 = -0. Suppose 215 + t = 3*q - 5*a, -2*q + 128 = a. Is 29 a factor of q?
False
Suppose q + 2*r + r + 2 = 0, -4*q - 23 = -3*r. Let c(d) = -d**3 - 5*d**2 + 2. Is c(q) even?
True
Let l(s) be the first derivative of s**4/4 - 5*s**3/3 + 3*s**2/2 + s + 2. Let p be l(4). Is 4 a factor of 18*(p/(-6) - 0)?
False
Suppose 0 = -3*q + 5*q - 8. Let v = -2 - -5. Suppose -v*u + 24 = 3*j, u + u + q = 2*j. Is 5 a factor of j?
True
Suppose -4*j = -j. Suppose -4*v = 3*w - 32, 3*v - 3 = 3*w - j*w. Suppose -43 = -w*u - 5*a, -6 - 9 = 3*a. Is 6 a factor of u?
False
Does 8 divide 6 + 79 - (0 + -3)/1?
True
Let y(o) = -9*o**3 - o**2 + 3*o + 3. Is 8 a factor of y(-1)?
True
Let p(b) = -24*b**2 + 2*b + 3. Let g be p(3). Is 1/(-4 - g/51) a multiple of 3?
False
Suppose q - 190 = -4*s - q, -5*s = 2*q - 235. Is 19 a factor of s?
False
Let p(j) = -2*j**3 - 4*j**2 - j - 4. Let l be p(-3). Let n = 22 + l. Is 13 a factor of n?
True
Suppose -4*g + b = 20, -3*g - 2*b - 29 = -3. Let a be 4/g + 44/12. Is 7 a factor of 3/2*34/a?
False
Let q = -104 + 140. Is q a multiple of 4?
True
Suppose -3*i - 2*i - 235 = 0. Let l = 65 + 10. Let k = l + i. Is k a multiple of 11?
False
Suppose 2*g - 30 = 26. Does 6 divide g?
False
Let b be 3 + -4 - 1*-3. Let d be 3/(-12)*22*b. Let z(i) = i**2 + 11*i + 16. Is 6 a factor of z(d)?
False
Let q(o) = 4*o**2 + 1. Let i be q(-1). Suppose -4*y - 4 = -4*a, -i*y + a - 2*a + 25 = 0. Is y a multiple of 4?
True
Let m(b) = -9*b - 1. Let l be 5*2/(-6)*-3. Suppose 5*f + 20 + l = 0. Is 22 a factor of m(f)?
True
Let y = -43 + 82. Is y a multiple of 5?
False
Suppose 5*n = -1 + 6. Let r be (-1)/(n + (-28)/27). Suppose -5*z - s = -56, 17 = 2*z - 5*s - r. Is z a multiple of 12?
True
Let a(d) = -4*d - 6. Let k be a(-4). Is 15 a factor of k/(-15) - (-179)/3?
False
Let x(q) = q**3 + q**2 - 4*q. Is x(2) a multiple of 2?
True
Suppose -2 = 2*s, y - 17 = -2*s - 3*s. Does 10 divide -1 + 2 + y + 1?
False
Let r(b) = 2*b**2 + 6*b - 5. Let k(t) = t**2 - 4*t - 5. Let z be k(4). Let x be r(z). Let p = 4 + x. Is p a multiple of 9?
False
Let w(d) = -d**3 + 5*d**2 + 7*d - 5. Let m be w(6). Let u = m + 4. Does 5 divide u?
True
Let x = 1 + -17. Suppose 3*i + 8 = -2*b + 2*i, -5*b - 20 = -3*i. Let h = b - x. Does 6 divide h?
True
Does 10 divide (10/(-8))/((-9)/72)?
True
Suppose 348 = -2*j - 0*j. Is j/(-4) + 2/4 a multiple of 16?
False
Let z(n) = n**2 + n - 3. Let l be z(-3). Suppose -m = l*m - 72. Suppose -s + m = -1. Does 19 divide s?
True
Suppose -1 = -2*b - 7. Let h be (1 - 7)/(b/8). Let l = 30 - h. Is 14 a factor of l?
True
Suppose -4*o - 12 = 4*f - f, -2*f + 6 = -2*o. Let n be 168 + f/1 - -2. Suppose -3*l = -8*l + n. Does 12 divide l?
False
Let t = 143 - 77. Does 33 divide t?
True
Suppose -5*i + 44 = -31. Let a = 34 - i. Does 19 divide a?
True
Let g be (70/21)/((-1)/(-18)). Suppose 5*r = -5*c + g, -2*r + 0*c = -c - 36. Is r a multiple of 12?
False
Let i = 433 + -296. Is 22 a factor of i?
False
Let s = 139 + -74. Is 14 a factor of s?
False
Suppose 2*i - 4*i + 14 = 0. Does 7 divide i?
True
Let i(u) = u**3 + 20*u**2 + 34*u + 7. Does 10 divide i(-18)?
False
Suppose -2*c = 6, -3*c - 144 = -4*z + z. Suppose 5*n = -0*x - 5*x + 5, 0 = -2*n - 4. Suppose 8*l + 62 = 4*o + x*l, -3*o = -3*l - z. Is 8 a factor of o?
False
Let s = 66 - 31. Suppose i - s = -0*i. Is 13 a factor of i?
False
Let n = -66 - -37. Let q = n - -47. Is q a multiple of 6?
True
Let r = -3 - -14. Is r a multiple of 9?
False
Is (-3)/12 + (3711/4)/3 a multiple of 21?
False
Let x(t) = -5 - 7*t + 3 - 3. Is 9 a factor of x(-4)?
False
Let j(m) = 15*m - 5. Let n(a) = 16*a - 4. Let u(r) = -4*j(r) + 5*n(r). Let i = 26 - 24. Is u(i) a multiple of 20?
True
Suppose 2*h - 23 - 30 = 5*r, -5 = r + h. Let b(k) = -k**2 - 11*k - 6. Is 6 a factor of b(r)?
True
Let x = 7 - 7. Let v = 9 - x. Is 6 a factor of v?
False
Suppose -6*b = 27 - 3. Is 1 + 1 - (b + -4) a multiple of 2?
True
Let b = 11 + -20. Does 2 divide ((-3)/b)/((-2)/(-18))?
False
Let b = -8 + 26. Does 18 divide b?
True
Let u be 1/3 + (-3)/9. Suppose u*a = -2*a + 68. Is a a multiple of 17?
True
Suppose -5*b - 2*g + 11 = -2, 0 = 3*b - g - 10. Suppose -c - 4 = r - 44, b*r - 100 = 2*c. Is 12 a factor of r?
True
Does 17 divide (-48)/9*((-3)/2 - 3)?
False
Let s be -1 + -5 + 0 + 2. Let q = 16 - s. Is 7 a factor of q?
False
Let y = -1 - -5. Suppose y*h - 7*h = -168. Let x = h - 40. Does 8 divide x?
True
Let l = 9 - -57. Does 22 divide l?
True
Let t(s) = 2*s**2 - 25*s + 12. Is t(17) a multiple of 18?
False
Let c(m) = 5*m**2 + 3*m + 4. Is 11 a factor of c(-4)?
False
Suppose 30 = 2*i - 7*i. Let g be 8/(-20) + i/(-15). Suppose g = 2*v + 8, -4*w + 198 = w - 2*v. Is 19 a factor of w?
True
Suppose -f + 44 = -c, 3*f + 2*f = 3*c + 124. Suppose -77 = 2*m + 131. Let q = c - m. Does 22 divide q?
False
Let v be ((-34)/4 + 2)*-8. Let z = -10 + v. Is 21 a factor of z?
True
Suppose -11 = -2*v - 1. Let y(k) = k**3 - 3*k**2 - 7*k + 2. Is y(v) a multiple of 6?
False
Does 41 divide 324/(-63)*98/(-4)?
False
Suppose 5*d - 370 = -5*t, 0 = -5*d - 4*t + 394 - 28. Does 24 divide d?
False
Let m = -1 + 6. Suppose 0 = -3*y - m*l + 11, -3*y + 3 = l - 4. Suppose y*a - 99 = -35. Is a a multiple of 13?
False
Does 26 divide -3 + 9/3*(-532)/(-12)?
True
Suppose -5*p - 27 = 2*i, -2*i = 3*p + 34 - 13. Let d be -6 - 2*(-3)/i. Let s(v) = -v**3 - 6*v**2 + 5*v - 7. Is s(d) a multiple of 7?
True
Let h = 0 + 3. Suppose 62 = h*z + 17. Does 15 divide z?
True
Let n be (-2 + -10)/(-3) - 1. Suppose -20 = u - 5*o - 79, 0 = n*o + 9. Does 11 divide u?
True
Does 9 divide (-71)/(-4) - (-24)/(-32)?
False
Let p = 2 + 0. Suppose 4*y = -2*d - p*d + 104, -3*y + 78 = -3*d. Is 13 a factor of y?
True
Let s = 53 - 27. Does 12 divide s - (1 - 0/(-4))?
False
Let b = 11 + -5. Suppose 0 = 5*l + h - 18, -h + b = 3*l - 4. Suppose -4 = -q - l*z - 0*z, 12 = q + 2*z. Is 10 a factor of q?
True
Suppose -17 = -3*r - 5. Suppose 8*o - 36 = r*o. Suppose 4*h - 43 = -4*v + o, 4*h - 61 = -v. Is h a multiple of 8?
True
Let s = 30 - 21. Let v(c) = 39*c + 5. Let r(j) = 10*j + 1. Let q(a) = s*r(a) - 2*v(a). Is 11 a factor of q(1)?
True
Does 14 divide -3 - (-14)/6 - 212/(-3)?
True
Suppose 0*a - 13 = -a -