9. Let b be (1/(-3))/((-3)/36). Let r(k) = -k - 1. Let c(o) = b*r(o) - v(o). Is 11 a factor of c(6)?
True
Suppose -2*h + 66 = v, v - h - 86 = 2*h. Suppose -20 + 5 = 5*a, y = a + v. Suppose -10*r + 9*r + y = 0. Is 29 a factor of r?
False
Suppose d + 3*d = 0. Suppose -i - i + 28 = d. Suppose 300 = -9*g + i*g. Does 15 divide g?
True
Let h(f) = 17*f**2 - 11. Let i be h(3). Suppose i = 6*m - 2. Is 4 a factor of m?
True
Suppose 11*f + 74 = 13*f. Suppose 3*p - f = -7. Does 7 divide p?
False
Let a = -1656 - -2562. Is a a multiple of 10?
False
Let c(f) = f**3 - 15*f**2 + 16*f - 9. Is c(14) a multiple of 3?
False
Let s be 1 + -4 - (-1 + -17). Suppose 3*a - 4*l + 2*l = 25, a - 2*l - s = 0. Suppose 0 = -a*d + 25, -3*n + 3*d + 65 = d. Is n a multiple of 25?
True
Suppose -2*r = 2*r + 4*u - 84, -5*r + 5*u + 135 = 0. Let x = -3 + r. Does 5 divide x?
False
Let j(z) = 2*z**3 - 14*z**2 + 10*z + 2. Does 13 divide j(9)?
True
Let k be 1*3/3 + 4. Suppose -k*p + 1515 - 390 = 0. Suppose -31*q + 28*q + p = 0. Is 18 a factor of q?
False
Suppose 5*o + 3*d + 1901 = 23986, 20 = 4*d. Is o a multiple of 63?
False
Suppose -1 = -4*x + 11. Suppose -3*n - 2*i + 3*i + 396 = 0, -3*n = x*i - 384. Let r = -83 + n. Does 12 divide r?
True
Suppose -n + 2*n + 299 = 3*z, 0 = -3*n - 5*z - 897. Let r = 526 + n. Suppose -100 - r = -3*p. Is p a multiple of 22?
False
Suppose -7*f = -18 - 3. Suppose -4*t = -5*s + 148, -3*s + 2*s + f*t + 23 = 0. Is 8 a factor of s?
True
Let s(t) = 3*t**3 - t**2 + 11*t - 21. Is s(5) a multiple of 32?
True
Suppose -19*o - 12 = -23*o. Suppose -o*q - 55 = -4*q - j, 4*q - 5*j = 265. Suppose -3*b + y + 25 = 5*y, -5*b - 3*y = -q. Does 5 divide b?
True
Suppose 4*u - y = -3*y + 34, 3*y = u - 12. Is 42/(u*2/24) a multiple of 14?
True
Let m(k) = -k - 7. Let l be m(-10). Suppose 5 = r - 2*v - 5, 0 = -l*r - 3*v + 75. Does 6 divide r?
False
Is 2/(-2) + 851 - (-12)/4 a multiple of 71?
False
Let o(h) = 4*h**2 + 14*h + 11. Let v(k) = -3*k**2 - 13*k - 12. Let m(p) = 2*o(p) + 3*v(p). Is 14 a factor of m(-4)?
True
Suppose -16*q = -2*v - 12*q + 1190, 0 = 5*v - 3*q - 2975. Does 6 divide v?
False
Let u = -867 + 1488. Does 9 divide u?
True
Is 844 + -10 - 6 - -10 a multiple of 93?
False
Let g be -1*8 + (-7 - -11). Let a be 3/(-5 - g) - -3. Suppose -r - 4*r + 39 = -x, 3*r + 4*x - 5 = a. Is 2 a factor of r?
False
Suppose 2*c - 4*c - 2*k + 186 = 0, 4*c = -3*k + 377. Is 14 a factor of c?
True
Let c = -115 + 126. Is c a multiple of 2?
False
Suppose -5*b + 5*c + 0*c = -65, -3*b + 5*c = -49. Suppose -b*q + 720 = 2*q. Does 24 divide q?
True
Let t(v) = -v**2 + 11*v - 4. Let b be 28*(1 - (-9)/(-12)). Let x be t(b). Let r = -18 + x. Is r a multiple of 2?
True
Let h be ((-98)/(-8))/((-1)/(-8)). Suppose 5*q = b - 48, 3*b + 4*q - 8 = h. Is 5 a factor of b?
False
Let b = 418 - 119. Is b a multiple of 34?
False
Let u(b) = 13*b**2 + 3*b - 2. Let h be u(5). Suppose 2*o - h = -0*o. Suppose 5*r + 3*y - o = 0, -5*r + 2*y = -r - 144. Is r a multiple of 16?
False
Suppose 0 = 3*l - 139 + 472. Let k = -62 - l. Let a = k + -30. Is 8 a factor of a?
False
Suppose d - 692 = g, 2*g = 5*d + 5*g - 3500. Is 14 a factor of d?
False
Let j(g) = 33*g**2 - 19*g**2 + 18*g**2 + 16*g**2. Is 16 a factor of j(1)?
True
Let y be (2 + (-16)/14)/((-1)/(-7)). Suppose -y*x = -1076 + 146. Is x a multiple of 31?
True
Suppose 42 = 3*u + 3*l, -2*u + 7*u = -l + 62. Suppose 0 = -k - 0*k + u. Does 3 divide (-1 + 9/6)*k?
True
Let r(i) = -i**2 + i. Let h(s) = 2*s**2 + 2*s + 9. Let c(q) = h(q) - r(q). Does 19 divide c(5)?
False
Suppose 5*p = 2*p + 18. Does 2 divide (-2 + p)/(-2 + 4)?
True
Let g be (-126)/(-4)*240/18. Suppose -5*a + 0*a + g = 0. Is a a multiple of 23?
False
Is 7/(196/105)*4 a multiple of 3?
True
Suppose 2 = -4*a + 10. Suppose -q - 2*w - 16 = 3*w, a*q = -w + 4. Is q a multiple of 4?
True
Let v(s) = 8*s**2 - 4*s + 3. Let n be (-4)/(-16) + 14/8. Let g be v(n). Suppose 15*m = 18*m - g. Does 7 divide m?
False
Let s be (2/(-5))/(1/55). Let k = 37 + s. Is 3 a factor of k?
True
Let q(f) = -2*f**2 + 135*f - 58. Does 16 divide q(37)?
False
Let w(a) = -a**3 - 18*a**2 + 3*a + 394. Is w(0) a multiple of 11?
False
Let b = -1220 - -4404. Does 21 divide b?
False
Suppose 0 = -84*o + 19592 + 820. Is 22 a factor of o?
False
Let k(m) = 779*m**3 + 1. Let h be k(-1). Does 26 divide h/(-6) + 3*(-6)/(-54)?
True
Suppose -6 + 38 = c. Suppose 3 = 5*j - c. Suppose -2*f = -5*n - 57, -3*n + 16 + j = f. Does 13 divide f?
True
Suppose 165 = -3*p - 5*x, 0 = -p - 4*p - 2*x - 275. Let z = 295 + p. Does 36 divide z?
False
Let a(w) = w + 1. Let y(z) = 14*z + 3. Let j(m) = 3*a(m) - y(m). Let d be 9*5/(-10)*2/3. Is 17 a factor of j(d)?
False
Suppose 4*j + 0*j + 392 = 0. Is 0 - (-3 - (-1 - j)) a multiple of 12?
False
Let v(n) = 8*n**2 - 3*n - 1. Let p(y) = -4*y**2 + 2*y. Let c(a) = 5*p(a) + 3*v(a). Suppose g = -3*g - 12. Is 7 a factor of c(g)?
False
Suppose 0*t = -3*t + 21. Suppose -10*v = -t*v - 219. Does 6 divide v?
False
Let y = -70 + 694. Does 26 divide y?
True
Suppose 2*h + 1 = h. Is (4 + h)/((-6)/(-256)) a multiple of 20?
False
Suppose -1024 = -12*h + 1808. Is 36 a factor of h?
False
Let u(d) = 7*d + 2. Let p be u(1). Let g(v) = 6*v. Let s be g(p). Suppose 0*b - b + s = 0. Is b a multiple of 18?
True
Suppose 0 = 5*t - 5*p - 29060, 2*p - 5816 = -t + p. Is 17 a factor of t?
True
Suppose 0 = -4*q + 44*s - 43*s + 2548, 5*s = 0. Is q a multiple of 36?
False
Let s be (0/2)/(5 + -4). Let i be 4 + (1 - 2) - s. Suppose -i*m + 197 = -28. Is m a multiple of 12?
False
Let c(g) be the third derivative of 3*g**8/2240 + g**7/5040 - g**5/15 - g**2. Let z(t) be the third derivative of c(t). Is 10 a factor of z(1)?
False
Suppose 0 = -2*h - 8, 0*f = 2*f + 2*h. Suppose 0 = -q + 8 - f. Is q a multiple of 2?
True
Let w = 0 - 20. Let u = 4 - w. Let v = u + 0. Is 7 a factor of v?
False
Suppose 0 = 6*i - 2*i. Suppose 2*t = i, -5*t = -3*n - t + 132. Does 13 divide n?
False
Suppose 3*i = 2*y + 3*y - 159, -4*i = -2*y + 226. Let s = i + 147. Is s a multiple of 10?
False
Is (-5)/(6 - 906/150) a multiple of 7?
False
Suppose 3*i - 143 = -44. Let f = i - 30. Does 3 divide f?
True
Let u(z) be the second derivative of 359*z**3/3 - 7*z**2/2 + 6*z. Let g be u(6). Does 11 divide 2/(-5) - g/(-115)?
False
Let k be (1 - 2)/(-7 - -6). Let u = -2 + 6. Is 16 a factor of u*(k + 0 + 3)?
True
Suppose -4342 + 979 = -4*n - 5*x, 2*x = -5*n + 4191. Suppose -1935 - n = -7*k. Is k a multiple of 12?
True
Let g be 6/(-4) + (-255)/(-2). Let h = g + -32. Does 23 divide h?
False
Suppose -f = 60 + 12. Let b = f + 140. Does 8 divide b?
False
Let m(u) = 2*u**3 - 12*u**2 + 12*u - 3. Does 49 divide m(7)?
False
Let p(m) = -20*m + 12. Let h be p(-11). Suppose -92 = -2*l + h. Is 20 a factor of (-362)/(-9) + (-36)/l?
True
Suppose 11 = -2*j - 3*z, j - 22 = -z + 5*z. Suppose -4 = -2*w + j, 2*v - 141 = w. Is v a multiple of 12?
True
Let f(q) = -q + 54. Suppose 0 = 5*o + v - 67, o + 2*v - 8 = -0*o. Is f(o) a multiple of 4?
True
Suppose -4*w = -6*w + 4*i + 24, -5*w = -i - 15. Suppose 5*z - w - 3 = 0. Let v = z - -40. Is 16 a factor of v?
False
Suppose -c = -3*f - f - 14, 5*c = 4*f + 6. Let a = 78 + c. Does 4 divide a?
True
Let t be ((-12)/42)/((-2)/14). Let o = 3 + t. Suppose o*n - 2 = -p, -2*p - 3*n = -p - 8. Does 17 divide p?
True
Let w = 14 - 9. Suppose w*v = 5*q + 435, 2*q - 352 = -4*v + 7*q. Is v a multiple of 40?
False
Let v = 27 + -68. Let t = -37 - v. Is t a multiple of 2?
True
Let p(n) = -22*n**2 - n + 1. Suppose 4*v - 5 = -1. Let u be p(v). Is (0 + 3)*u/(-33) a multiple of 2?
True
Does 9 divide (-24)/(-9)*(4 - (-1096)/32)?
False
Suppose -x - 2*s + 1381 = 0, 1366 = 7*x - 6*x - s. Is (-8)/(-12) + (x/9 - 2) a multiple of 36?
False
Suppose -2*g + 7*g = -50. Is (-3 + 0 - -2)*g a multiple of 8?
False
Let c(w) = w**3 - 11*w**2 - 5*w + 9. Let g be c(12). Let f = -51 + g. Is 21 a factor of f?
True
Suppose 153*w = 150*w + 897. Is 13 a factor of w?
True
Let r(z) = 2*z**3 - 16*z**2 + 29*z + 27. Is 18 a factor of r(15)?
False
Let i(m) = 8*m**3 - 16*m**2 + 19*m + 14. Is 14 a factor of i(5)?
False
Let n be ((-747)/(-3) - 4)*(0 + 1). Let r = n - 168. Does 11 divide r?
True
Let c = 3 - 6. Let f be 7 - -22 - (1 + c). Suppose -n + 40 = -f. Is n a multiple of 8?
False
Suppose 0*s + 30 = 5*s. Let i = s - 6. Suppose 2*p - 18 - 28 = i. Is 