actor of m(5)?
False
Is -48*((-18)/16)/((-3)/(-2)) a multiple of 6?
True
Let b = -13 + 15. Does 19 divide b*(266/4)/7?
True
Suppose 2*f - 8 - 60 = 0. Is 6 a factor of f?
False
Let m(o) = -o**2 + 9*o. Let n be m(8). Suppose 0*h = 2*a + 4*h - n, h = -5*a + 2. Is 12 a factor of a + 6*9/2?
False
Let o(u) = -3*u**3 - u + 2 - u**2 - 2*u**3 + 4*u**3 - 3*u**3. Does 8 divide o(-2)?
True
Suppose 0 = -2*l - z + 6, -3*z = l - 4*l. Suppose -l*d + 4 = -0. Is d a multiple of 2?
True
Let b(d) be the second derivative of -5*d**3/6 - d**2/2 - 2*d. Let u be b(-1). Let q = u - -14. Is 9 a factor of q?
True
Is (8/10)/((-3)/(-195)) a multiple of 13?
True
Let a(v) = v**2 - 13*v. Let w be a(13). Let c = w - -11. Is 11 a factor of c?
True
Let i = 20 - -37. Is i a multiple of 14?
False
Suppose -2*d - 2*d = -8. Suppose d*h + 2*m = 51 + 15, 2*h - 66 = -4*m. Is h a multiple of 15?
False
Let b = 5 - 3. Suppose -5*r = -5*f + 50, b*r + 46 = -2*f + 6*f. Suppose 0 = 3*o + f - 31. Is 4 a factor of o?
False
Let t be (360 - 6/(-3)) + 3. Suppose -5*a = -2*l - t, -4*a + 400 = 2*l + 90. Is 20 a factor of a?
False
Let a be (-3)/(-6)*6 + -2. Suppose -6 = -w - a. Suppose w*o = 2*o + 105. Is 15 a factor of o?
False
Let a(r) = -4*r**2 + 8*r + 3. Let n(z) = -5*z**2 + 9*z + 2. Let x(s) = -4*a(s) + 3*n(s). Does 22 divide x(-5)?
True
Suppose 0 = 5*l - 3*z - 23 - 82, 4*z = -2*l + 68. Let d = l + -5. Is d a multiple of 4?
False
Suppose 0 = -4*j, -3*j + 12 = -v + 2*j. Let d be 1/(-4) - (-485)/20. Let p = d + v. Is p a multiple of 12?
True
Let o = -6 - -8. Suppose 8 = -n - 5*c, -3*c = -o*n + c + 26. Is n a multiple of 3?
False
Let d be (-12)/(-8)*4/(-3). Let z(a) = 89*a**2 + 3*a + 2. Let l be z(d). Is l/6 + 6/(-9) a multiple of 17?
False
Suppose 0*p = 2*p - 6. Let b be (12/(-9))/(1/(-6)). Suppose -b - p = -k. Is 11 a factor of k?
True
Suppose 4 = 3*y - 2. Suppose 0*w - 5*w + a = -163, w - y*a - 29 = 0. Does 11 divide w?
True
Let a = 90 + -50. Is a a multiple of 10?
True
Suppose d = -0*d + 60. Is d a multiple of 12?
True
Let s be (40/(-3))/(3/(-18)). Suppose -2*m - q = -2*q + 17, 3*q + 29 = -4*m. Is 14 a factor of s/30*(-42)/m?
True
Suppose -c + 3*g + 30 = 0, -g = -5*c + 64 + 100. Is c a multiple of 11?
True
Suppose v = -8*o + 3*o + 92, o = -3*v + 248. Is v a multiple of 18?
False
Suppose 3*u - 13 = 83. Is 8 a factor of u?
True
Suppose 0 = 3*t - 4*s - 28, -8 = 2*s - 0*s. Suppose n = -n + t. Is 9 a factor of -2 + 11/2*n?
True
Let k = -74 + 233. Suppose -i + 5*o + 36 = 0, -5*o - k = -5*i - 19. Does 13 divide i?
True
Let s = -202 - -337. Is 27 a factor of s?
True
Let c(b) = -27*b - 3. Let w be c(-2). Suppose -j - 67 = -4*p + 158, -2*j - w = -p. Does 10 divide p?
False
Suppose -49 - 79 = -4*z. Suppose y - 3*u - z = 0, -2*y + 4*u = u - 49. Is 4 a factor of y?
False
Is ((-252)/(-35))/((-6)/(-20)) a multiple of 6?
True
Let f = -5 - -8. Let d = -10 + f. Let c = d - -17. Does 8 divide c?
False
Suppose -2*q + 135 = -5*l, -2*q + 5*l + 155 = 4*l. Is 8 a factor of q?
True
Let p(w) be the second derivative of w**5/20 - w**4/4 - w**3/2 - w**2 + w. Let m be p(4). Suppose 0 = b + k + m*k - 8, -2*k + 2 = 0. Does 3 divide b?
False
Let o = -2 + 1. Let q = 9 + o. Suppose 3*u + z - 5 = 33, -2*z = q. Does 9 divide u?
False
Let t(r) be the first derivative of -r**3/3 - 9*r**2/2 + 4*r - 2. Is 9 a factor of t(-7)?
True
Let c = -77 + 126. Is 30 a factor of c?
False
Suppose 38 = 4*u - 34. Is u a multiple of 6?
True
Let i = 4 - -1. Suppose 2*o + 3*o + 10 = 0, -3*x + i*o + 103 = 0. Is x a multiple of 15?
False
Suppose 9 + 51 = 2*l. Is 3 a factor of l?
True
Let u = -149 - -219. Is u a multiple of 33?
False
Does 20 divide ((-69)/(-9) - -2)*6?
False
Suppose -2*u - 132 = -6*u. Suppose -4*z + z = 2*x - 22, 0 = -3*x + z + u. Is 6 a factor of x?
False
Let z = 55 - 17. Is z a multiple of 19?
True
Suppose -i = 3 - 8. Suppose -9*p = -i*p - 156. Is 13 a factor of p?
True
Let n = 89 + -34. Let p be (155/(-15))/((-1)/3). Let c = n - p. Is 17 a factor of c?
False
Suppose o + 3*o = 3*k + 63, 3*k - 21 = -3*o. Suppose 2*r - o = -r. Is r even?
True
Suppose 3*v + 8 + 2 = 4*y, 2*v - y + 5 = 0. Suppose 0 = -2*p - 2*p - 2*l - 76, -p - 5*l = 19. Let w = v - p. Is 17 a factor of w?
True
Let g(k) = 72*k**2 + 8*k + 10. Is 47 a factor of g(-2)?
True
Let a be (-1 + -1 - -2)/2. Let g(i) = a*i - 10 - i**3 + 5*i + 9 - i. Does 7 divide g(-3)?
True
Let h(s) = s**2 - 118. Suppose 5*b + 5*p = 5, -2*b = -3*b + 4*p - 4. Let w be h(b). Is w/(-10) - 2/(-10) a multiple of 8?
False
Suppose 5*m + 20 = 0, -5*a - 3*m + 381 = 58. Does 7 divide a?
False
Suppose 0 = -0*h - h - 4. Let y(m) = -m**2 - 5*m - 2. Does 2 divide y(h)?
True
Let r be (-37)/((-4)/3 - -1). Let b = -66 + r. Is b a multiple of 15?
True
Let w(s) be the second derivative of -s**4/12 + 5*s**3/3 + 3*s**2/2 - 2*s. Is 19 a factor of w(8)?
True
Let y(j) = -j**2 - 7*j - 8. Let k be y(-6). Let x be (2/k)/((-1)/5). Suppose -3*h - x*f + 28 = 0, 3*h + 0*h - 56 = 2*f. Does 8 divide h?
True
Suppose -x = -5*x + 168. Suppose 90 = 2*q - 2*i, 2*i - x - 6 = -q. Is q a multiple of 12?
False
Suppose 2*a - 150 = -4*x, 2*x = 4*x - a - 69. Suppose 0 = j - x + 3. Is 11 a factor of j?
True
Let d(r) = 2*r + 2. Let n be d(2). Suppose 15 = 3*f - n*f, 5*u + 4*f - 5 = 0. Suppose -m = -u*m + 80. Does 15 divide m?
False
Suppose o - 5*o + 12 = 0. Let r(q) = -q**2 + 3*q + 3. Let j be r(o). Is 14 a factor of j*(-2)/(6/(-39))?
False
Let t be (-4)/3*(-3)/2. Suppose -t = -j, -3*j - 6 = -4*y - 2*j. Is y a multiple of 2?
True
Suppose -1706 = -12*l - 374. Is 7 a factor of l?
False
Let p(q) = q**3 - 3*q**2 - 6*q + 2. Let a be p(4). Let b(y) be the third derivative of y**5/60 + 7*y**4/24 + 4*y**3/3 - 2*y**2. Does 2 divide b(a)?
True
Suppose -2*j + 1 - 7 = 0. Suppose -1 = 5*q - 26. Let m = q - j. Is m a multiple of 3?
False
Let i(z) = z - 5*z + 0*z - 1 - 3*z**3 + 5*z. Does 7 divide i(-2)?
True
Let z(r) = -r + 12. Let c be z(10). Is 7 a factor of 4 - (-1 - c/1)?
True
Let v(x) = 12*x**2 - 3*x + 2. Let g be v(2). Suppose 0 = -4*f - 3*b + 40 + g, -5*f + 4*b + 136 = 0. Is f a multiple of 12?
True
Let v be 16 - (0 - (1 + 1)). Suppose -v*r = -21*r + 48. Is r a multiple of 5?
False
Let t(v) = -v**3 + v**2 - v + 204. Is t(0) a multiple of 10?
False
Suppose 4*k = 2*x - 8, 3*x = -2*x + k + 38. Let u = 1 - x. Does 16 divide (7/(u/30))/(-1)?
False
Suppose 4*x + 0*x = -24. Let n be 2 + (-6)/1 + 18. Let y = x + n. Is y a multiple of 8?
True
Let x be 6/(-9) - (-68)/(-6). Let c = 15 - x. Does 9 divide c?
True
Let q(a) = 53*a**2 + 8*a + 8. Does 9 divide q(-1)?
False
Suppose -38 = -4*z + 82. Is 15 a factor of z?
True
Suppose -4*f + 4*s + 8 = 0, 0 = -0*f + f + 4*s - 12. Is 3 a factor of 19/f + 4/16?
False
Suppose -4*s + 4*n = 0, s + n - 12 = -4*s. Suppose -7 = -s*w + 23. Is w a multiple of 6?
False
Let n = -20 - -39. Suppose -7 = -i + n. Does 26 divide i?
True
Let t(j) be the third derivative of j**5/120 + j**4/6 - j**3/3 + j**2. Let d(g) be the first derivative of t(g). Does 5 divide d(6)?
True
Let b(g) = -g**2 + 2. Let z be b(-5). Suppose -s = -2*w - 24, -4*w + 3*w - 4*s - 3 = 0. Let r = w - z. Is r a multiple of 12?
True
Let v(c) = -c**3 + 4*c**2 + 2*c - 2. Suppose -3*s - 4 + 16 = 0. Is v(s) a multiple of 3?
True
Suppose -5*w + 3 = -7. Suppose w*v - 135 = -3*v. Does 9 divide v?
True
Let z(i) = -i**2 - 12*i + 31. Is z(-14) a multiple of 2?
False
Let d be (3/(-2))/((-2)/(-20)). Let z(i) = i - 3. Let y be z(-3). Is 15 a factor of 77/5 - y/d?
True
Let a(t) = 2*t**2 + 9 - 3*t**2 - 8*t + 2*t - 2*t. Let q be a(-9). Suppose d - 13 = -q*d + g, 7 = d - 4*g. Is 15 a factor of d?
True
Suppose -a = -x - 8, 2*a - 4*x + 38 = 5*a. Suppose -3*c = -2 - a. Is c a multiple of 2?
True
Suppose -95 - 21 = -4*x. Does 21 divide x - (1 - 3) - 0?
False
Let s = 20 + -4. Suppose 4*d - s = -0*d. Suppose -d*z = 20, 5*j + 0*z + 4*z = 70. Is j a multiple of 14?
False
Let q(a) = a**3 - 7*a**2 + 4*a + 14. Let k be q(6). Is k/(-14) - (-2076)/28 a multiple of 17?
False
Let o = -88 + 217. Let b = 86 - o. Let j = 63 + b. Does 10 divide j?
True
Let l(v) = v**2 - 7*v + 5. Let j be l(7). Suppose -j*n + 73 + 27 = 0. Is 14 a factor of n?
False
Let b(a) = a**3 + 6*a**2 + 4*a - 5. Let x be b(-4). Suppose -4*t = x - 31. Is 5 a factor of t?
True
Suppose -t = -5*z + 8, 2*z - 7 + 5 = t. Suppose 16 + 56 = t*