Is p a multiple of 10?
True
Let z be -3*1*(-3)/9. Let y = 21 - z. Is y a multiple of 9?
False
Let l = -151 + 317. Does 28 divide l?
False
Let o = -61 + 94. Does 12 divide o?
False
Suppose 3*t - 100 = -2*t. Is t a multiple of 20?
True
Let o(m) be the second derivative of -m**7/2520 - m**6/120 + m**5/120 - m**4/6 - 3*m. Let a(s) be the third derivative of o(s). Is a(-5) a multiple of 6?
True
Let m(c) = c + 7. Let a be m(-9). Let k be 1 + 0*a/2. Let g = 19 - k. Does 9 divide g?
True
Suppose 772 = 7*b - 775. Is b a multiple of 17?
True
Suppose -3*f + 78 = -177. Is (-176)/10*f/(-34) a multiple of 22?
True
Is 4/6 + (-4592)/(-42) a multiple of 22?
True
Suppose 2*p - 68 = -l, 5*l - 4*p - 73 = 337. Is 14 a factor of l?
False
Let m = 94 + -4. Does 15 divide m?
True
Let o = -1 - -6. Suppose o = x + 1. Let t = 14 - x. Does 10 divide t?
True
Does 26 divide 53 + 1 - (11 - 9)?
True
Let y = 128 - 76. Does 12 divide y?
False
Let r be (4/5)/(4/40). Suppose 56 = r*d - 4*d. Does 4 divide d?
False
Let u be ((-3)/9)/((-1)/15). Let j be (-6)/(-9)*(1 + -4). Let w = j + u. Is w even?
False
Let f(h) = -h**2 - 6*h - 2. Let z be f(-7). Let o = z + 25. Is 16 a factor of o?
True
Let q(p) = p + 5*p**2 + 2 - 2*p - 6 - 4*p**2. Is q(4) a multiple of 3?
False
Let w = 2 - -1. Suppose -4*x + 14 + 14 = 4*h, -h + 11 = w*x. Suppose -x*c - 3*i + 33 = c, 3*c = -5*i + 23. Is c a multiple of 16?
True
Let f(x) be the first derivative of -x**2 - 1/3*x**3 + x + 1/2*x**4 - 2. Is f(2) a multiple of 5?
False
Let d(y) = 48*y**2 - y - 1. Suppose -2*a - 4 = -2. Does 7 divide d(a)?
False
Suppose 0 = -7*h + 2*h + 605. Does 21 divide h?
False
Suppose -2*x = -0*x - 22. Let j = x + 1. Does 12 divide j?
True
Suppose -t + 6*t = 3*x + 73, -4*x - 101 = -3*t. Let k = -6 - x. Is 20 a factor of k?
True
Let k(o) = -o**3 + 6*o**2 + 7*o + 8. Let g be k(7). Let q = 42 - -4. Let i = q + g. Is 22 a factor of i?
False
Let j(n) = 27*n**2 - 2*n + 1. Suppose -3*i + 20 = 2*i. Let v = -3 + i. Is 13 a factor of j(v)?
True
Is 32 a factor of 32/(-12)*24*-2?
True
Let d(p) = p**3 + 6*p**2 + 2*p - 1. Let r(a) = a**2 - a - 1. Let y be r(3). Let j(w) = -w**2 + 5*w - 3. Let f be j(y). Is 10 a factor of d(f)?
True
Suppose -n + 4 + 49 = 4*y, 57 = n + 3*y. Does 23 divide n?
True
Suppose -11*d + 14*d - 21 = 0. Is 2 a factor of d?
False
Let o(k) be the first derivative of k**2/2 + 7*k - 2. Does 7 divide o(5)?
False
Suppose -8*z + 323 + 237 = 0. Does 5 divide z?
True
Let y be 0 + -3 - (-2 - 0). Is 12 a factor of 12/1*(2 - y)?
True
Let s(j) = -j**3 - 4*j**2 - 2*j - 3. Let d be s(-3). Let u be (d/(-4))/((-1)/(-2)). Suppose -u*c - 64 = -5*c. Is 16 a factor of c?
True
Let i(c) = -c**2 - 15*c - 9. Let y = -6 - 2. Is i(y) a multiple of 11?
False
Let d be -1 - (13 + -4 + -2). Is 18/d*32/(-4) a multiple of 3?
True
Suppose -3*x - 8 = -r, 4*r = -r + 3*x + 64. Is r a multiple of 5?
False
Let x = -2 - -5. Suppose 2*f + 42 = 3*f - q, -f + 32 = -x*q. Is f a multiple of 16?
False
Let o(q) be the second derivative of -q**4/12 + 5*q**3/3 - q**2/2 - 4*q. Is o(8) a multiple of 4?
False
Is 24 a factor of (2 - (-5)/(-1)) + 89?
False
Suppose 0 = 2*t + 3*t. Let f(w) = -w**3 - w**2 - 8. Let b be f(t). Let c(k) = -4*k - 6. Is 14 a factor of c(b)?
False
Let h be 45/(-6)*(-2)/3. Suppose -5*y + 2*r - 6*r + 150 = 0, -3*y + 53 = -h*r. Does 8 divide y?
False
Suppose 25 = 5*f, 0 = s - 4*s - f + 23. Suppose s = 3*r - 2*r. Does 6 divide r?
True
Suppose -3*c = -2*o - 1, 2*o - 4*o - 22 = 4*c. Let y(z) = -z**2 - 7*z + 1. Is y(o) a multiple of 11?
True
Suppose q + 2*n - 5 = 0, 0 = -5*n + 2*n + 3. Suppose 0 = -q*v - v + 16, -4*v = 4*l - 212. Does 18 divide l?
False
Let b = 23 - 18. Suppose -3*o + 39 = -b*d, -2*o - 3*o - d = -37. Does 2 divide o?
True
Suppose -b + 966 = 2*b. Suppose -2*k - y + 136 = 0, b = 2*k + 3*k - 2*y. Is k a multiple of 31?
False
Let y(g) = 92*g**3 - 2*g**2 + 1. Does 24 divide y(1)?
False
Let o = 6 - -9. Suppose 21 = 3*k - o. Is 6 a factor of 2/(-8) - (-75)/k?
True
Suppose 4*r - 61 = -5*h, 0*r + 5*r + 2*h - 55 = 0. Does 9 divide r?
True
Suppose 7 + 245 = 6*h. Is 12 a factor of h?
False
Suppose -61 = 2*q + 87. Let u = 108 + q. Suppose 4*x - 38 = u. Does 9 divide x?
True
Suppose -84 = -4*p - 3*r, -2*p + 64 = -6*r + 2*r. Is p a multiple of 2?
True
Let l = 52 - 26. Is 2 a factor of (-3 + l/4)*2?
False
Suppose -3*z + 2*x - 2 + 68 = 0, -5*x = 2*z - 63. Is 5 a factor of z?
False
Is 8 a factor of (8/6)/(0 + 2/24)?
True
Suppose -b = -4*b + 15. Suppose -m - b*f - 4 = 0, -3*f + 6 = 5*m + 4. Is m*3/(-3)*-11 a multiple of 6?
False
Suppose 722 - 137 = 3*o. Is o/(-10)*(-2)/3 a multiple of 3?
False
Let d(x) = -x - 6. Let p be d(-5). Let u be (0*p/2)/1. Suppose 4*h = -o - 4*o + 19, u = 5*h - 5*o - 80. Is 10 a factor of h?
False
Suppose 5*b - 2 = 33. Let h(i) be the first derivative of i**2/2 + 2*i + 6. Does 3 divide h(b)?
True
Suppose -n + 3*y + 62 = n, 4*n - 4*y - 128 = 0. Is n a multiple of 6?
False
Let y(k) = k**3 - 7*k**2. Let o be y(7). Suppose -2*n = -o*n - 56. Is 10 a factor of n?
False
Let z(v) be the second derivative of v**4/12 - v**3/6 + 11*v**2 - 4*v. Is z(0) a multiple of 4?
False
Let n be ((-7)/1)/((-11)/(-22)). Let d = 32 - n. Is 21 a factor of d?
False
Let z(s) = s - 1. Let y be z(6). Let b(x) = x**2 - 11*x. Let u be b(11). Suppose u*a + 160 = y*a. Does 13 divide a?
False
Let l(y) = -y**2 + 13*y + 12. Let r = 11 - -2. Is l(r) a multiple of 3?
True
Suppose -136 = -0*b - 4*b. Is b a multiple of 16?
False
Let g be (8/(-6))/((-4)/(-6)). Is 7 a factor of g/5 + 37/5?
True
Let g = -5 + 4. Let d be 6 + g/((-1)/(-2)). Suppose 0 = 4*w + 2*m - 50, 6*w - d*m - 30 = 4*w. Is 9 a factor of w?
False
Let d = -3 + 3. Suppose 2*i = -3*i - 3*s + 236, d = i + 5*s - 56. Is 12 a factor of i?
False
Suppose 5*v - 12*v + 1568 = 0. Is v a multiple of 28?
True
Suppose 146 = 4*n + 5*q, -2*q = n - 28 - 7. Does 13 divide n?
True
Suppose -142 + 400 = -3*d. Is 18 a factor of 0 - 1/2*d?
False
Let i(a) = 4*a**3 - 2*a - 1. Let h be i(2). Suppose 0 = 3*t + z - 49, t + z = -0*t + 15. Suppose -112 = -5*l + 5*r - t, -5*r - h = -l. Is 13 a factor of l?
False
Let q = -41 - -92. Does 12 divide q?
False
Suppose 46 = -0*u + 2*u. Suppose 0 = 4*t + 3 - u. Suppose -g + t*g - 28 = 0. Is 7 a factor of g?
True
Suppose 748 - 216 = 7*s. Is s a multiple of 30?
False
Let r(p) = 1 + 0*p - 8*p - 8*p. Suppose -c + 12 = -3*c - 4*d, 3*c = -5*d - 16. Does 15 divide r(c)?
False
Suppose -18*o + 385 = -13*o. Is o a multiple of 13?
False
Let l(c) = -c**3 - 7*c**2 - c. Let y(t) = -t**2 - t - 23. Let w be y(0). Let b = w - -16. Is 4 a factor of l(b)?
False
Let s be (0 - 0/3) + 2. Suppose 5 = s*n - 59. Does 10 divide n?
False
Is 7 a factor of (2 - 0)*((5 - 4) + 13)?
True
Suppose v - 8 = -2. Let d = v + -2. Suppose 56 = -0*z + 2*z + 2*w, 0 = -d*z + 5*w + 94. Does 13 divide z?
True
Let f be 6/(-4)*8/12. Suppose -n + 5*y = 3*n - 19, -2*y = n + 5. Is (6 - f)*1/n a multiple of 7?
True
Let f(w) = 3. Let n(c) = c + 3. Let p(b) = 3*f(b) - 2*n(b). Let l be p(-6). Let u = l + -1. Is 7 a factor of u?
True
Let l(b) = b. Let f be l(4). Suppose -5*z = -f*q - 19, 3 = -3*z - 0*z. Is 12 a factor of ((-114)/8)/(q/16)?
False
Let v = -51 - -64. Does 2 divide v?
False
Suppose v - w = -4*v - 1, 4*v - 2*w = -2. Suppose 2*n = -l + 24, v = -2*l - 3*l. Is n a multiple of 8?
False
Suppose -3*d + 97 = 3*j + j, 5*j + 4*d = 121. Let b = j + -18. Is 2 a factor of b?
False
Suppose -343 = -3*u - u - i, -3*u + 2*i = -260. Does 23 divide u?
False
Suppose -16*z = -18*z + 6. Suppose 12 = z*n - n + 3*q, -2*n = -q - 20. Does 9 divide n?
True
Suppose a + a + 3 = -g, 0 = 5*a + 5*g + 15. Suppose -2*d + 2*v + 24 = a, 4*d = d + v + 44. Is d a multiple of 6?
False
Let u(c) = 36*c**2 - c - 2. Let d be u(-2). Let t be d + (0/2)/(-3). Suppose 4*w + t = 5*g, w - 3 = 1. Is g a multiple of 14?
False
Suppose -37 = -5*w - 7. Does 13 divide (-3)/(w/4) - -39?
False
Suppose 5*v = -5*h + 180, 5*h - 142 = 4*v - 8*v. Suppose 2*y = n - 6, 0 = -3*n + 2*y - 0*y + v. Is 4 a factor of n?
True
Suppose 18 = -5*c - 32. Let n be 8/c*(-25)/(-2). Does 21 divide (-262)/n + (-5)/25?
False
Suppose -2*a - 3 + 21 = 0. Is a a multiple of 2?
False
Does 6 divide (-639)/(-18) - (-2)/4?
True
Let j = 4 - -9. Let h(b) = -b + 5*b**2 + 0*b**2 + j*b**3 - 4*b**2. Does 6 divide h(1)?
False
Let v(i) 