- 1. Is 24 a factor of c(r)?
False
Let k = 43 + -22. Is k a multiple of 8?
False
Suppose 24 = 51*h - 49*h. Is 4 a factor of h?
True
Suppose 2*p - 20 = -4*j - 0, 26 = 2*j + 5*p. Let h(t) = -j - 4*t - 1 + 2. Does 3 divide h(-2)?
True
Suppose -5*k + 738 = -372. Is 12 a factor of k?
False
Let f = 2 - 0. Suppose -4*y = 4*r + 8, 4*y + 2 + f = -3*r. Suppose 0 = -2*s + 14 + y. Is 8 a factor of s?
True
Let g(f) = -78*f - 1. Let a be 1/(-4) - (-35)/28. Let y be g(a). Let i = 120 + y. Is 13 a factor of i?
False
Suppose -20 = -16*v + 108. Is v a multiple of 8?
True
Is ((-24)/(-36))/((-2)/(-123)) a multiple of 14?
False
Let o(l) = 5*l**2 - 3*l + 3. Is 21 a factor of o(4)?
False
Let m = -1 + 108. Let g = -68 + m. Is 15 a factor of g?
False
Let p = 89 - 63. Let j = -18 + p. Does 3 divide j?
False
Let z(t) be the third derivative of t**4/24 - 2*t**3/3 - t**2. Let l be z(6). Suppose -3*n - l*f - 8 + 94 = 0, 4*n - 113 = -f. Does 10 divide n?
False
Suppose 0 = -2*l + 4*p - p + 18, 3*l = -p + 5. Suppose -l*c = c - 180. Is 20 a factor of c?
False
Let l be (-4)/(-14) + (-3949)/77. Let m = l - -85. Is m a multiple of 15?
False
Suppose 5*l - 410 = -5*g, 2*g + 3 = 5*g. Is 11 a factor of l?
False
Let u(p) = p**2 - 5*p + p**3 - p - 7*p**2 + 5. Does 6 divide u(7)?
True
Let d = -11 + 6. Let r = d + 3. Is 9 a factor of r - 18/(-1) - -1?
False
Let y(k) = -7*k + 42. Let f(x) = -3*x + 21. Let d(m) = 5*f(m) - 2*y(m). Does 7 divide d(0)?
True
Let q(n) = -n**3 + 8*n**2 + n + 14. Is q(7) a multiple of 20?
False
Suppose 0 = 2*v - v - 11. Suppose 19 = 5*j - v. Is 3 a factor of j?
True
Let j = 48 + -12. Is 18 a factor of j?
True
Let q(x) = x - 2. Let s be q(3). Does 7 divide s/3 + 664/24?
True
Suppose 9*m - 316 - 107 = 0. Does 24 divide m?
False
Suppose 3*n + 2*n = 5*f - 5, 3*n - 11 = -4*f. Suppose -2*y + 5*t = f, t + 10 = -5*y + 32. Suppose y = 2*c - 16. Is c a multiple of 5?
True
Let f(y) = 9*y - 5. Let z be f(5). Let b = 21 + z. Suppose 5*i = -6 + b. Is 11 a factor of i?
True
Let t(n) = 6*n**2 + 2*n + 1. Let p be t(-1). Suppose 0 = p*w - w - 12. Suppose w*k - 59 + 2 = 0. Is 19 a factor of k?
True
Suppose 4 = 3*y - 5. Suppose 10 = -h + 6*a - 3*a, -3*a = -y*h. Suppose 13 - h = z. Does 4 divide z?
True
Let n = -265 - -379. Is 19 a factor of n?
True
Let p = 6 + -16. Let y = 6 - p. Suppose -5*o + y + 44 = 0. Is o a multiple of 5?
False
Let h = -112 + 172. Is h a multiple of 21?
False
Let k = 8 + -1. Let i = 14 + k. Is 9 a factor of i?
False
Let y = 5 - 1. Suppose 97 = 4*h + 3*l, 2*h + h - y*l = 54. Is 11 a factor of h?
True
Suppose -m + 6 = -144. Does 25 divide m?
True
Is 4 a factor of 471/15 + 6/10?
True
Let h = -4 - -36. Does 14 divide h?
False
Suppose -q = 2*k - 336, -q - k + 5*k = -318. Is q a multiple of 11?
True
Let t be (20/(-6))/((-10)/30). Let k = 20 - t. Is k a multiple of 10?
True
Let p be 3/(3/6*-3). Is 4 + (p + 2)/1 even?
True
Suppose -3*u + 5*u = -2. Does 23 divide u/(-2) + 71/2?
False
Let p(z) = -19*z + 1. Let r = -1 + 0. Is p(r) a multiple of 10?
True
Let w(x) = 9*x**3 - x**2 + 3*x + 1. Let v be w(-2). Let u = v - -126. Is u a multiple of 15?
True
Let c(w) be the second derivative of 5*w**3/3 - w**2 + w. Let f = 5 - 3. Does 12 divide c(f)?
False
Is -1 - -28 - (-4 - -2) a multiple of 5?
False
Suppose 160 = w + w. Suppose -4*k + w = -2*z + 18, 5*z + 25 = 0. Is 7 a factor of k?
False
Let o(a) be the third derivative of a**5/60 - 5*a**4/24 - 5*a**3/6 + 2*a**2. Let r be o(5). Does 4 divide -1 - 1 - (-2 + r)?
False
Let z(q) = 2*q**2 + 10*q + 3. Let g be z(-8). Let m = g + -21. Is m a multiple of 11?
False
Let z be 1/(-2)*4 + -43. Does 14 divide ((-16)/10)/(2/z)?
False
Suppose 3 = 3*v + 3*m, 2*v - m - 8 = -0*m. Suppose 0 = v*i - i - 48. Is i a multiple of 10?
False
Let v = 7 - 14. Let c = 11 + v. Is 12 a factor of (-9)/(-3*1/c)?
True
Suppose n - 1 - 1 = 0. Suppose -5*s - 5*u + 190 = 0, 2*u - u = 5*s - 220. Suppose s = -a + n*a. Is 15 a factor of a?
False
Let t(k) = -6*k - 4. Let d be t(-4). Let w be -8 + 0 - (1 - 1). Let j = w + d. Is j a multiple of 10?
False
Let u = 8 - -2. Suppose 0 = -2*w - u, -2*w = -4*g + 6*g + 10. Suppose -5*s + 14 + 1 = g. Does 3 divide s?
True
Let q = 3 - 0. Suppose -q - 25 = -4*n. Is 2 a factor of n?
False
Suppose -193 = -4*y + 23. Is y a multiple of 16?
False
Let v = -3 + 10. Suppose 18 + v = 5*t. Is 3 a factor of t?
False
Let m = -228 - -330. Suppose -w = 0, 5*l - m = 4*w + 118. Does 22 divide l?
True
Let h(c) = 5*c + 0*c - 6 - 3*c. Let k be h(5). Suppose k*v - 23 = 29. Is 13 a factor of v?
True
Suppose -2*v = -u + 3*v + 58, -2*u = -2*v - 100. Is 7 a factor of u?
False
Let m(x) = 14*x + 12. Let v be (-30)/(-4) - (-33)/(-22). Does 25 divide m(v)?
False
Suppose 14 = 3*n - 1. Suppose -n = q - 6*q. Let t = q - -7. Is t a multiple of 8?
True
Suppose -n + 28 = i, 3*i - 156 = -5*n + 2*i. Is n a multiple of 3?
False
Let p = -25 - -47. Suppose -p = -4*u + 138. Is u a multiple of 11?
False
Suppose 0 = -5*n + 124 - 9. Let c = n + 23. Is 13 a factor of c?
False
Suppose -4*c + 4*j + 56 = 0, -c = -3*c - 2*j + 24. Is c a multiple of 9?
False
Let x(g) = g**3 - g**2 + 1. Is x(2) a multiple of 5?
True
Let n be (5 - 9) + -5 + 2. Let d = 12 + n. Suppose -m - 40 = -d*m. Is m a multiple of 5?
True
Let b be (-6)/21 - 250/7. Let n = b + 75. Is 9 a factor of n?
False
Does 8 divide ((-536)/(-28))/(4/14)?
False
Suppose 5*i + m + 3*m + 1 = 0, m = 4*i - 16. Let r = i - -1. Suppose -r*f + 90 = f. Is f a multiple of 7?
False
Let v(m) = -3*m + 8 + m - 3*m**2 + 4*m**2 - 3*m. Let s be v(-7). Is (-2)/(-4)*s/1 a multiple of 19?
False
Let b = -68 + 206. Is b a multiple of 46?
True
Let s = 6 - -9. Is s a multiple of 4?
False
Let j be (-9)/(-5) + (-6)/(-30). Suppose 0*x = -x - j*f + 21, -2*x - 2*f = -36. Is 15 a factor of x?
True
Is (-36)/(-162) + (-133)/(-9) a multiple of 6?
False
Let k = 8 - 5. Suppose -10 + 28 = k*d. Suppose -o - 70 = -d*o. Does 4 divide o?
False
Let h = 44 + -13. Suppose -l + 0*v = 3*v - 63, 5*v + 31 = l. Let m = l - h. Is 10 a factor of m?
True
Suppose k - 2 = -4. Let u be 2*(-1)/(-2) - k. Let v = u - -2. Is v even?
False
Let h(l) = 2*l**3 - l**2 - 3*l - 2. Let d be h(3). Does 18 divide d - 4 - (-2 - 0)?
False
Does 5 divide (-4)/(-10) - 1192/(-20)?
True
Is 36/16 + (22/8 - 2) a multiple of 3?
True
Let x(g) = 18*g + 2. Is 4 a factor of x(1)?
True
Let x = 15 + -11. Suppose 3*m = n - 9, -3*m = -5*n - 5*m - 23. Is ((-2)/n)/(x/102) a multiple of 6?
False
Let p(k) = 2*k**2 + 6*k - 4. Let n(i) = i**3 + 11*i**2 + 2*i + 16. Let l be n(-11). Does 10 divide p(l)?
False
Suppose 4*y + 54 - 174 = 0. Does 10 divide y?
True
Suppose 6 = -h - 2*h. Let t be 42/((3 + -1)/h). Is 4 a factor of ((-7)/(-3))/((-7)/t)?
False
Let w = -20 - -64. Does 22 divide w?
True
Let m = 263 - 173. Is 30 a factor of m?
True
Does 11 divide (-32)/((-4)/8*1)?
False
Suppose y + 0*y = -3*w + 19, 5*w = -5*y + 125. Let k be -2 + (-2 - 1)*-1. Is (72/y)/(k/7) a multiple of 9?
True
Suppose 630 = 5*i - 5*t, -7*i - 3*t = -6*i - 126. Is i a multiple of 18?
True
Suppose 32 = 3*m - u, 4*m - 4*u = -5*u + 31. Is m a multiple of 9?
True
Suppose 316 = 5*i - 444. Suppose -3*a - 50 = -i. Let j = a + -2. Does 16 divide j?
True
Suppose 827 = -2*o + 7*o - b, 0 = 2*o - 3*b - 336. Is 33 a factor of o?
True
Let s(k) = -2*k**2 - k**2 + 18 + k**3 + 2*k**2. Let b be s(0). Is 20/9 + (-4)/b a multiple of 2?
True
Let s = -3 + 7. Let q(i) = -i + 4. Let b be q(s). Is (3 + b)/(6/32) a multiple of 10?
False
Suppose -17*d + 84 = -15*d. Does 9 divide d?
False
Suppose 5*d + 147 = 4*n, 3*n + 2*d - 41 = 75. Is n a multiple of 16?
False
Suppose 2*j = -3*j + 4*z + 10, -2 = -j - 4*z. Does 14 divide j/(-1) + (-120)/(-5)?
False
Suppose -12 = -0*l + l. Let h = l - -32. Is 9 a factor of h?
False
Suppose 10*l - 235 - 345 = 0. Does 20 divide l?
False
Suppose -q = -4*q + 2*x + 224, -5*q = -5*x - 370. Suppose 2*u + 3*u = -2*h + q, -4*u = -h - 66. Is u a multiple of 10?
False
Suppose -5*n + 266 - 56 = 0. Is 14 a factor of n?
True
Let i(n) = n**2 - n**2 + 1 - 2 + 19*n**3. Is i(1) a multiple of 9?
True
Let y(o) = -4*o + 3. Let p be y(2). Suppose 57 = 8*i - 151. Let m = p + i. Is 6 a factor of m?
False
Suppose 3*o - 7*o = -260. Is o a multiple of 13?
True
Let q = 339 + -232. Is q a multiple of 12?
False
Suppose -5*b + 4*c + 1056 = 0, -3*b = 2*c - 3*c - 63