0 = 0. Is 3 a factor of p/3*(q + 0)?
False
Is 2/(-2) + 48/2 a multiple of 17?
False
Suppose -3*n = -z + 72, 5*z - 425 - 15 = -n. Is z a multiple of 6?
False
Let j be -2 - -5 - (-2 + -4). Suppose 2*a = 75 - j. Does 19 divide a?
False
Suppose -73 + 263 = 5*b. Is b a multiple of 9?
False
Suppose 0 = -0*u + u + 4, -c - 4*u = -8. Is c a multiple of 8?
True
Let q(i) = i**2 - 1. Is 7 a factor of q(-4)?
False
Let q(j) = -j**3 + 8*j**2 - 10*j + 8. Is q(6) a multiple of 18?
False
Suppose -2*o = -4*j - 6*o + 156, 4*j + 2*o - 166 = 0. Does 22 divide j?
True
Suppose 0 = -4*i + i + 234. Is i a multiple of 26?
True
Let a(v) = 0*v + 2*v + 8 - v + 0*v. Is 12 a factor of a(6)?
False
Let t(s) = s**3 + 4. Let m be t(0). Suppose a = -m*a + 295. Is 15 a factor of a?
False
Let h be (-3 - -2)/(2/(-14)). Let c(y) = y**2 - 9*y + 7. Let v(b) = b**2 - 9*b + 7. Let d(z) = -4*c(z) + 3*v(z). Is 2 a factor of d(h)?
False
Let w = 51 + -27. Is 9 a factor of w?
False
Suppose n - 6*n + 11 = 3*h, -16 = -n + 4*h. Suppose -3*f = -9, -5*f + 9 = -z + n*z. Is 0 + (-66)/(6/z) a multiple of 12?
False
Suppose -2*t - 3*o + 7 = 0, 3*t = -3*o + 11 - 2. Let g = 8 - t. Is 3 a factor of g?
True
Let z = 27 - -24. Suppose -2*h + z = h. Suppose h = -0*w + w. Is 11 a factor of w?
False
Let z(k) = k + 58. Suppose -h - 2 = -3*g, 5*h + 9 = -1. Is z(g) a multiple of 31?
False
Let z(m) = -3*m. Let i be z(-2). Let g be -2 + -3*(-8)/i. Suppose -p = -g*o + 19, -5*p = -0*o + 4*o - 31. Is 8 a factor of o?
False
Let a(s) = -3 + 6 - 4*s**2 + s**2 + s**3. Let j be 5/2*(-32)/(-20). Is a(j) a multiple of 15?
False
Let h(d) = 2*d**2 - d - 1. Let p be h(-2). Let l = p + -7. Suppose l*a - 14 - 18 = 0. Does 8 divide a?
True
Let c(t) = -23*t - 46. Does 38 divide c(-16)?
False
Let t(x) be the first derivative of -x**2/2 + 2*x + 1. Let w be t(6). Let a = w - -11. Is 3 a factor of a?
False
Suppose 33*v = 32*v + 40. Is 10 a factor of v?
True
Let z(m) = m**2 + 8*m + 6. Let s be z(-7). Let p be 12 + (-2 - -3 - s). Let y = -4 + p. Is 6 a factor of y?
False
Suppose -3*r = -4*r - 3*j - 5, 5*r - 32 = 4*j. Suppose r*p - 98 = -v + 17, 5*v = -4*p + 95. Suppose 0 = c - 5*a - p, 6 = -c + 2*c + 3*a. Is 15 a factor of c?
True
Suppose 2*x - 6*x = -44. Suppose -2 + 0 = m, 2*m = -a + x. Is 11 a factor of a?
False
Suppose -8 = -4*l + 8. Suppose -20 = 5*d, -l*d = -2*o + o + 22. Is 5 a factor of (19/(-4))/(o/(-24))?
False
Suppose -5*u = -16 - 39. Let m = u + 9. Does 18 divide m?
False
Let f be 151/9 + 10/45. Let t = f + -2. Is t a multiple of 8?
False
Let q = -202 - -301. Is q a multiple of 33?
True
Suppose 0 = 5*b - 21 - 84. Does 7 divide b?
True
Let d(j) = j**3 - 5*j**2 - 6*j - 4. Let b be d(6). Is 3 a factor of (18/b)/((-1)/2)?
True
Let y = -1 + 1. Let j = -38 - -150. Suppose t - r = 44, 2*t + 0*t + 4*r - j = y. Is 17 a factor of t?
False
Let u = -19 + 33. Is 14 a factor of u?
True
Suppose 0*v - 63 = -v. Suppose -3*r - v = -3*k + 63, -3*k + 126 = -r. Is 21 a factor of k?
True
Let x = -8 - -6. Let c be 8 + x/1 + 0. Is 12 a factor of c/15 + 58/5?
True
Let w(v) = 7 + 2*v**2 + 0*v**2 + 5*v + 4. Let q be w(-9). Let i = q - 83. Is i a multiple of 15?
True
Let t = -86 - -148. Does 12 divide t?
False
Let s be 3/21 - (-20)/7. Suppose 11 = 3*g - 5*z, -s*g + 4*z = 2*g - 27. Is g a multiple of 4?
False
Let p = 93 + -45. Does 16 divide p?
True
Let n = 370 + -224. Suppose 0 = 3*d - n + 62. Does 14 divide d?
True
Let k be 1 - 5/(20/44). Is 8 a factor of (4/k)/(15/(-900))?
True
Let j(g) = g**3 - 2*g**2 + 2*g - 6. Let n be 12/(-2)*6/(-9). Is 17 a factor of j(n)?
True
Suppose 4*h - 31 = -11. Suppose h*o + 128 = 648. Does 21 divide o?
False
Let y(q) be the first derivative of q**5/30 + 5*q**4/24 - q**3/6 + q**2/2 + 1. Let k(p) be the second derivative of y(p). Is k(-5) a multiple of 12?
True
Let o(a) = -4*a**2 + 3*a + 1. Let r(n) = -13*n**2 + 10*n + 4. Let k(c) = -7*o(c) + 2*r(c). Is 5 a factor of k(-2)?
False
Let v = 5 - 20. Let n = 47 - 78. Let x = v - n. Is x a multiple of 15?
False
Suppose -4*f + 132 = 2*p, 1 = 5*p - 9. Is 16 a factor of f?
True
Let p(k) = 2*k - 2. Is p(8) a multiple of 2?
True
Let o(d) = 7*d + 3 + 7 - 5*d**2 + d**3 + 4*d - 2*d**3. Is 11 a factor of o(-7)?
False
Suppose 0 = -2*n + 64 + 96. Is 40 a factor of n?
True
Let g(m) be the second derivative of m**3/3 - 3*m**2 - m. Let r be g(4). Suppose -2*l - 5*t - 9 = 2*l, -2*l - 2*t - r = 0. Is l a multiple of 3?
False
Is 8 a factor of (-2 + 2/(-3))/(6/(-108))?
True
Let g(m) = 12*m - 7. Let u be g(5). Suppose 82 = 5*j - u. Is 8 a factor of j?
False
Let h be ((-33)/12)/(3/(-12)). Is 16 a factor of (-2)/4*(h - 97)?
False
Let y(p) = 0*p - 2 + p - 2*p. Let l be y(-4). Suppose -4*w = 4*s - 72, 6*s - 40 = l*s + 4*w. Does 14 divide s?
True
Suppose 3*c = 33 + 24. Is 3 a factor of c?
False
Let i = -7 - -9. Suppose -3*p = -i*p - 20. Does 14 divide p?
False
Is 29 a factor of (4/10)/((-3)/1350*-3)?
False
Let n = -114 - -219. Is n a multiple of 8?
False
Let n be (114/4)/((-5)/(-10)). Let m = -29 + n. Does 28 divide m?
True
Let w(z) = 2*z**2 + 2*z + 11. Is 18 a factor of w(-6)?
False
Let t(a) = -a**3 - a**2 - 3*a + 4. Is t(-4) a multiple of 32?
True
Let q(w) be the second derivative of w**4/3 - 5*w**3/6 + w**2 + 8*w. Is 31 a factor of q(5)?
False
Suppose 2*t = -5*h - 7, 0*t + 21 = 4*t + 3*h. Suppose -4*f - 1 = -t. Suppose 3*j = f*j + 8. Is 8 a factor of j?
True
Let j(b) = b**3 + 5*b**2 - b - 3. Let m be j(-5). Suppose 0*f + m*d + 12 = 3*f, 0 = -2*d - 6. Suppose r + 0*r - 23 = k, -5*r + 121 = -f*k. Does 17 divide r?
False
Suppose -66 = 4*j - j. Let p = j + 41. Is p a multiple of 15?
False
Let t(u) = -16*u - 5. Is t(-6) a multiple of 13?
True
Suppose 0 = -5*k - 3*m + 43, -3*k + 0*m = 2*m - 25. Is k a multiple of 11?
True
Does 4 divide (122/(-3) + 16 + -12)*-3?
False
Suppose -3*n - 2*r = -4*n + 1, r = 4*n - 11. Suppose -3 = -3*b + n. Suppose 2*z - 10 = 0, -b*z - 13 - 20 = -j. Does 16 divide j?
False
Let t(s) = 7*s. Let c be t(2). Let k = c - -16. Is k a multiple of 15?
True
Is 6 a factor of 3/2 + 2625/42?
False
Suppose x - 11 = 5*j - 2*j, -2*x + 10 = -3*j. Is 1/(0 - x/21) a multiple of 21?
True
Suppose 3*p + 21 = 3*y, 3*p = -y + 1 + 2. Suppose -o + y = o. Is o*10*(-2)/(-2) a multiple of 14?
False
Let k = -22 - -8. Let w = 24 + k. Does 3 divide w?
False
Let f be (-9)/(130/68 + -2). Let a = f - 58. Is 22 a factor of a?
True
Suppose 0 = 2*z - z - 3. Let p = 1 + z. Is p even?
True
Let g = 79 + 40. Is g a multiple of 17?
True
Let c(f) = 8*f - 36. Is c(18) a multiple of 24?
False
Let m = 3 - -27. Does 10 divide m?
True
Let i(x) be the second derivative of x**3/2 - 3*x**2/2 - x. Does 9 divide i(4)?
True
Suppose -i - t = -6, -2*i - 2*i - 2*t + 20 = 0. Suppose x + 0 = -i. Let c(o) = -2*o + 4. Does 6 divide c(x)?
True
Suppose 7 = f - 7. Suppose -2*z + 0 = -f. Is 2 a factor of z?
False
Let t = -2 + 6. Let c be (-1)/t + 2/8. Let w(r) = -r + 23. Does 10 divide w(c)?
False
Let z be (-2)/4 - 5/2. Is 15 a factor of (5/10)/(z/(-288))?
False
Let g = 14 + -4. Is 3 a factor of g?
False
Let k(x) = x**2 + 6. Is 17 a factor of k(-5)?
False
Suppose -262 - 494 = -3*s. Let v be s - (-2 + (-4)/(-1)). Suppose v = 3*u + 2*u. Is 25 a factor of u?
True
Does 12 divide 5 - -56 - (-3)/(-1)?
False
Let t(m) be the third derivative of m**5/15 + m**4/6 + m**3/6 + m**2. Let c be t(-4). Let l = c - 23. Is 9 a factor of l?
False
Let s = -313 - -688. Suppose -4*p + 371 - 64 = -3*l, 5*p = 2*l + s. Does 19 divide p?
False
Let o = -4 - -14. Is o a multiple of 3?
False
Let c be 2/(-8) - 93/12. Is c/(-2*1*1) a multiple of 2?
True
Let u = -50 + 44. Let s = 9 + -13. Is 2 a factor of u/s*(-8)/(-3)?
True
Let v = 25 - -109. Does 24 divide v?
False
Let q(h) = -24*h**3 + h**2 + 2*h + 1. Let v = -4 - -3. Does 24 divide q(v)?
True
Suppose 7*t - 13*t + 474 = 0. Is 10 a factor of t?
False
Let q be (-4)/(1 - 1 - -1). Let z = 8 + q. Let y = 7 - z. Is 3 a factor of y?
True
Let r(g) = -g**2 - 2*g + 3*g + 3*g**2. Is r(1) a multiple of 2?
False
Let w(s) = s**3 - s**2 + 44. Suppose 6*b = 2*b. Let l be w(b). Suppose q + 2*t - 2 = -q, -4*q + 4*t = -l. Is 3 a factor of q?
True
Let v = 5 - 0. Suppose -3*g + v*q = -0*g - 119, 2*q = 3*g - 107. Is g a multiple of 10?
False
Suppose -2*u = -y - 15, -2*u + 36 = u + 3*y. Is u a multiple of 9?
True
Let o = 10 - -13. Is o a mult