 of p?
False
Suppose 0*d - 4*d = -4*b, -5*d - 3*b = -32. Let m(z) = 14*z + 5. Is 20 a factor of m(d)?
False
Let j be 18/(-99) - 636/11. Let n be j/(-3)*(-15)/(-10). Let u = -14 + n. Is u a multiple of 12?
False
Is (1 + 1/(-3))*(33 + -3) a multiple of 20?
True
Let h(k) = -k**3 + 5*k**2 + 7*k - 8. Does 9 divide h(5)?
True
Let g be (-2 - 0)/((-2)/(-9)). Let a = 25 + -41. Let k = g - a. Is k a multiple of 6?
False
Let d(a) = -3*a**2 - 5*a - 7. Let v(l) = l**2 - l + 1. Let x(z) = -d(z) - 2*v(z). Is 2 a factor of x(-7)?
False
Let z = -48 + 54. Does 3 divide z?
True
Let b = 103 + -64. Suppose 2*q + 4*h - 7*h + b = 0, -q + 3*h = 12. Let f = -15 - q. Is f a multiple of 12?
True
Let w = -33 + 63. Does 6 divide w?
True
Let u(f) = -5*f - 25. Is u(-6) a multiple of 5?
True
Let d = -4 - 0. Let h(t) = -t**3 - t**2 + 4*t - 1. Does 12 divide h(d)?
False
Suppose -5*z = 2*l - 35, 5*z + 0*l = 5*l. Suppose -3*n = -3, -h - z*n - 120 = -6*h. Is 9 a factor of h?
False
Let f(u) = u**2 - 8*u + 9. Let q be f(7). Suppose -w = -q*w + 7. Is 11 a factor of (2/3)/(w/294)?
False
Is 3 a factor of 6/3 + -20*3/(-6)?
True
Let g(z) = -z**2 - 6*z - 3. Let d be g(-5). Let u = 4 - d. Let j = 6 - u. Does 4 divide j?
True
Let l(a) = a**3 - 5*a**2 - 2*a + 3. Let w be l(5). Let b = w - -11. Suppose -6*j = -b*p - 2*j + 52, -50 = -5*p + 2*j. Is p a multiple of 4?
True
Let v be (1 - 1)/(-8 + 5). Suppose 105 = 3*j - v*j. Is 14 a factor of j?
False
Suppose -3*a + 3038 - 299 = 0. Let p = a + -235. Is p/10 + (-4)/(-20) a multiple of 23?
False
Suppose -192 = -2*o - 4*o. Does 15 divide o?
False
Let i be (-9)/3 - -1 - 3. Let u = i + 3. Is 11 a factor of (u/(-6))/((-2)/(-66))?
True
Let t(y) = y**3 - y**2 + y + 4. Let p be t(0). Suppose z - 3*z = -p. Suppose z*o = 3*o - 30. Is o a multiple of 9?
False
Let z = -112 - -223. Is z a multiple of 13?
False
Let p(g) = -g**3 - 9*g**2 - 3*g + 10. Let r be (-24)/(-6)*7/(-4). Let s be p(r). Let h = 94 + s. Is 10 a factor of h?
False
Let w = -191 + 336. Is w a multiple of 46?
False
Suppose 0 = i + 3*l - 3, 4 = 5*i + 2*l + 2. Suppose i*r + 2 = r. Is r even?
True
Let z = -1 - -4. Let t be 9/(-3)*(-10)/z. Suppose 4*p + t = 5*p. Is 9 a factor of p?
False
Is 11 a factor of (3 + -4 + -10)*-3?
True
Let c(t) = -t - 1. Suppose 3*k = -2*w + 4*k + 10, -4*k = 5*w - 25. Let g(u) = -3*u - 1. Let i(v) = w*c(v) + g(v). Is 12 a factor of i(-5)?
False
Suppose 3*k = k + 70. Let q = k - 25. Is 2 a factor of q?
True
Let a(i) = 3*i - 6. Let r be a(6). Let u be 0*(-3)/r*2. Suppose u*y - 42 = -3*y. Is y a multiple of 7?
True
Let f(c) = c**3 - 2*c**2 - 7*c + 4. Let l be f(4). Suppose 68 = 4*a - l. Is 9 a factor of a?
False
Let z = -2 - -5. Suppose 4*d = z*u + 35, 2*d - 7*d = 5*u. Suppose 2*i - 43 - d = 0. Is i a multiple of 12?
True
Let y(q) = q**3 + 6*q**2 + 4*q - 5. Let t be y(-5). Suppose -2*g + 2*v + 50 = t, -v - 3*v = -2*g + 50. Does 8 divide g?
False
Suppose -4*j = -9*j - 5. Let c = -73 - -75. Is (-1 + 5)*c - j a multiple of 3?
True
Suppose 2*d + d = 399. Is d a multiple of 19?
True
Suppose -2*s = -5*m + 19, -m = m + 5*s + 4. Suppose -m*z = z - 40. Is 7 a factor of z?
False
Let h(v) = 16*v**2 + 5*v - 7. Does 9 divide h(2)?
False
Let h(m) = 2*m**2 + m. Let z be h(-1). Let l be (8*z + 0)*2. Suppose -6*b + l = -5*b. Does 7 divide b?
False
Let z(s) = -4*s + 4. Let t = 0 + -5. Is 9 a factor of z(t)?
False
Let h be -18 + (0 - (0 + 3)). Is 18 a factor of 3 - ((0 - 3) + h)?
False
Suppose 0*a - 6 = -2*a. Suppose -23 - 21 = -2*m. Suppose -m = -a*u + 47. Is 11 a factor of u?
False
Suppose -5*r + 2 - 22 = 0. Let f be r - 3/(-6)*-6. Is 3/5*(-245)/f a multiple of 11?
False
Suppose 100 = 5*h - 2*i, 3*h - 34 = -2*i - 2*i. Suppose 2 = 4*y - h. Is 4 a factor of y - 0 - (0 - -1)?
True
Suppose u + 5*b - 18 = b, 4*b + 58 = u. Suppose 5*s - 394 + 54 = 0. Let j = s - u. Does 9 divide j?
False
Suppose 4*q - 486 = 114. Does 30 divide q?
True
Let a(y) = -y**3 - 12*y**2 - 12*y + 2. Does 10 divide a(-11)?
False
Is 141 - 6/(0 + -3) a multiple of 11?
True
Suppose -3*c = -4*c + 5*h + 112, -581 = -5*c + 4*h. Does 47 divide c?
False
Let m(x) = -x**2 + 4*x + 1. Let k be m(4). Let r = 8 + k. Does 9 divide r?
True
Suppose 2*z - 4*z = 0. Suppose -u + 4*p = 21, 5*u + z*u + 2*p = 5. Is u - -30 - (1 + -2) a multiple of 15?
True
Is -14*8/16*25*-1 a multiple of 25?
True
Let p be -56*30*(-3)/(-24). Does 19 divide (p/(-5))/(1 - 0)?
False
Let z(o) = 4*o**2 - 6. Is z(-3) a multiple of 7?
False
Let o(i) = i**2 + 3*i - 4. Let u(a) = a + 3. Let m be u(-10). Let n be (m/(-14))/(2/24). Does 19 divide o(n)?
False
Let k(x) = -x**3 - 4*x**2 + 2*x - 6. Let i be k(-5). Let f = i + 13. Does 11 divide f?
True
Let y(i) = i**2 - 7*i - 5. Does 3 divide y(10)?
False
Does 15 divide 3/3 + (2 - -42)?
True
Suppose 40 = 3*y + y. Let z = -5 + y. Suppose -3*r = g - 13, 18 - 3 = r - z*g. Is r even?
False
Is 25 a factor of 3 + 48 + -4 - -3?
True
Let d(n) = -15*n - 1. Is 8 a factor of d(-1)?
False
Let t be (-17)/(-6) + 4/24. Suppose -t*g + 2*y = -23 - 29, 0 = -3*y - 6. Is g a multiple of 8?
True
Let z = -8 - -6. Let t(c) = -2*c**2 + c**2 + 3*c - 6*c. Is 2 a factor of t(z)?
True
Let w(o) be the second derivative of o**5/20 - o**4/12 - o**3/3 + 8*o. Is 8 a factor of w(4)?
True
Let z(l) = l**2 + 3*l - 3. Let o be z(2). Let n be -32*(-6*1 - -2). Suppose 4*r = -2*k + n, 3*k + o + 5 = 0. Is r a multiple of 15?
False
Let f be (-1 - 5)*(-4)/(-8). Let h(a) = a**3 + 3*a**2 + 4. Let c be h(f). Is 5 a factor of (-20)/(-2) - c/2?
False
Suppose -k + 37 = 5*g + 2, 3*g = 3*k - 69. Let t = k - 10. Is t a multiple of 8?
False
Let m = 6 + -3. Suppose -m*x + 111 = -0*x. Does 10 divide x?
False
Let a(m) = 16*m. Let f be a(-1). Let s = f + 29. Is s a multiple of 13?
True
Suppose -m + 3*f = -1, 0*m - 4*f = 3*m - 29. Is m a multiple of 3?
False
Let h(x) = -5*x. Let y be (2/(-4))/1*-10. Suppose 3*u + 17 = -5*g, -12 - 13 = y*u + 5*g. Does 8 divide h(u)?
False
Let p(d) = -d**3 - 6*d**2 + 2*d + 1. Let f(n) = 6*n**3 - 2*n**2 - n. Let x be f(-1). Does 19 divide p(x)?
False
Suppose -x = -3*x + 8. Let q = 2 - x. Does 10 divide q/9 - 276/(-27)?
True
Let m = 0 + 1. Suppose 9 + m = 5*y. Suppose -4*p = 5*r - 180, -y*p = -2*r - 4*p + 72. Does 14 divide r?
False
Let n = -4 + 8. Suppose 9 - 1 = n*z. Suppose -5*i - 5*t = -170, 3*t - z*t = 4*i - 111. Does 10 divide i?
False
Let p(c) be the third derivative of c**4/4 - c**3/2 - 4*c**2. Let q be p(2). Let n(i) = 2*i - 8. Is 5 a factor of n(q)?
True
Let y = 17 - -4. Is y a multiple of 6?
False
Suppose 0 = -9*u + 5*u + 484. Does 24 divide u?
False
Suppose -17 = 2*n + q, 0*n + 5*n + q + 41 = 0. Let d be n/(-36) - (-50)/18. Suppose f + 0*f - 5 = -4*r, d*r + 32 = 2*f. Does 10 divide f?
False
Is (2*-19)/2*-1 a multiple of 5?
False
Suppose -110 = -3*z + 79. Suppose v - z = -11. Is 12 a factor of v?
False
Let l(s) = 17*s**3 + 2*s - 1. Suppose -4*y + 4*t + 6 = 2*t, 5*t - 25 = 0. Let i be y/(-14) + 18/14. Does 6 divide l(i)?
True
Let x(f) = f**3 + 7*f**2 + f + 7. Let t be x(-7). Let h be t/(-4 - -2) - -18. Suppose 39 + h = 3*q. Does 19 divide q?
True
Suppose 6*r - 2*n = r - 2, 3*n = -3*r + 3. Let s = r - -21. Is 21 a factor of s?
True
Suppose 92 = -5*u + 512. Is u a multiple of 21?
True
Suppose -3*a = a + 40. Let j = a - -20. Does 5 divide j?
True
Let p(m) = -2 - 3 - 3 + 8*m. Is p(9) a multiple of 15?
False
Let r be (6/4)/(3/78). Let o = r + -16. Is 7 a factor of o?
False
Let d(k) = k + k + 5*k + 1. Does 4 divide d(2)?
False
Let r = 2 - 12. Let o = -2 - r. Is 7 a factor of o?
False
Let h(j) be the third derivative of -j**6/120 + j**5/12 - j**4/24 - j**3/3 + 4*j**2. Let c = 0 - -4. Does 5 divide h(c)?
True
Let l(r) = 2*r**2 - r + 5. Is 12 a factor of l(5)?
False
Suppose 5*w - 4*j + 80 = 0, 4*w - 3*j + 64 = -7*j. Let i = 6 + w. Let m = -4 - i. Is m a multiple of 6?
True
Let s(g) = 6*g - 34. Does 32 divide s(11)?
True
Let m = -39 - -85. Is 12 a factor of m?
False
Let m(o) = o**3 - o**2 + o + 1. Let r(l) = -2*l**3 + 3*l**2 - 2*l - 1. Let j(b) = -5*m(b) - 2*r(b). Is j(-4) a multiple of 13?
False
Let z(i) = i**3 - 6*i**2 + 6*i. Let x be z(5). Suppose 5*d - 4*d - x = 0. Suppose 0 = -p + d*p - 32. Is p a multiple of 8?
True
Let i = 1 - 4. Let c be (-5 - (-3 + 1))/1. Does 26 divide (c + 34/(-6))*i?
True
Let g = -28 - -11. Suppose -6*i = -10*i + 148. Let d 