actor of z?
True
Suppose -4*r + 0*r + 192 = 4*f, 0 = -2*r + f + 84. Does 11 divide r?
True
Let q be (4/12)/((-2)/(-18)). Suppose u - q*u + 64 = 0. Is u a multiple of 16?
True
Let y(u) be the third derivative of u**5/60 + 5*u**4/24 - u**3/2 - 4*u**2. Let d be y(-6). Is 23 a factor of (-2)/d*69/(-2)?
True
Is (-6)/(-21) + 4 + (-4110)/(-21) a multiple of 20?
True
Suppose 4*y = 5*p - 1065, -p - y + 214 = -2*y. Is 32 a factor of p?
False
Let x(s) be the first derivative of s**2/2 + 7*s - 2. Is 3 a factor of x(0)?
False
Let b(w) = 32*w**2 + w - 1. Is b(1) a multiple of 8?
True
Let i = -2 - -4. Is 2*-2*(i + -7) a multiple of 4?
True
Suppose 0*k - 2*k - 36 = 3*a, -5*k - 15 = 0. Let u = 3 - a. Suppose 21 = 2*p - u. Is 7 a factor of p?
False
Let f = 81 + -9. Is f a multiple of 36?
True
Let z be (-192)/(-33) - (-12)/66. Suppose -3*b + z = -b. Is b even?
False
Is 3 - -1*(1 - 2) even?
True
Let p = 83 + -25. Does 29 divide p?
True
Suppose -5*a + 3*a = -8. Suppose -156 = -a*z - 12. Suppose -36 - z = -4*l. Is l a multiple of 9?
True
Let l = 350 + -142. Suppose 4*g - 4*c = 152, -5*g - 4*c = -0*g - l. Suppose h = -h + g. Does 10 divide h?
True
Suppose 21 = k + 4*f - 6*f, -2*k + f + 30 = 0. Is 13 a factor of k?
True
Suppose -3*h - 2 = 4. Let z = 14 - -26. Does 10 divide (h/(-4))/(2/z)?
True
Suppose 0 = -0*k + 4*k - 5*t - 183, 4*k - 3*t = 177. Let o = k + -30. Does 11 divide o?
False
Suppose -h + 2*b - 5 = 0, b - 4 - 12 = -4*h. Suppose -1 = h*z - 4. Is 2 + -5 + z + 15 a multiple of 13?
True
Let v = 5 - -5. Let f = 25 - v. Does 15 divide f?
True
Suppose 2*g + 5*z - 373 = 4*g, -4*z + 577 = -3*g. Let s = -126 - g. Let r = -51 + s. Is 11 a factor of r?
True
Let a(q) = 3*q**2 + q - 6. Let w be a(6). Suppose 32 = 4*x - c - 164, -2*x = 2*c - w. Is x a multiple of 15?
False
Let y(a) = 43*a**3 + 3*a - 1. Let v be y(3). Is 2/(-3) + v/21 a multiple of 18?
False
Is 12 a factor of ((-2)/5)/((24/6)/(-1680))?
True
Suppose -l + 3*k + 2*k + 15 = 0, -2*k = -2*l + 30. Does 4 divide l?
False
Let a = 100 + -65. Does 5 divide a?
True
Let n(c) be the first derivative of 2*c**3/3 + 3*c**2 + c - 1. Is n(-4) a multiple of 9?
True
Let m(b) = 3*b**2 - 15*b - 7. Is 2 a factor of m(6)?
False
Does 15 divide 3 + (-416)/(-4) + -2?
True
Suppose 0 = 3*w + 3 - 12. Suppose c - o - 14 - 14 = 0, -w*o = 15. Is c a multiple of 6?
False
Suppose -3*n + n + 12 = 0. Let a be 6/(-4)*(-8)/6. Suppose -n = -2*m + a. Is m a multiple of 4?
True
Suppose 876 = 8*z + 76. Is z a multiple of 54?
False
Suppose g - 10 = 3. Let t = -7 + g. Does 6 divide t?
True
Let i be 30/4*(-4)/(-2). Let g = -1 + i. Does 14 divide g?
True
Let o = 18 - -18. Is 21 a factor of o?
False
Suppose 46 = 3*m - m. Does 3 divide m?
False
Suppose f + 6 = 2*f. Suppose -5*a - 63 + 8 = 0. Let z = f - a. Is 9 a factor of z?
False
Let y(v) be the second derivative of v**4/12 - v**2/2 + v. Let m be y(1). Suppose -a = -m*a - 10. Is a a multiple of 10?
True
Suppose 63 = 5*d + 3*c, -4*d - 4*c = d - 64. Is d a multiple of 3?
True
Let q be (39/4)/(3/(-8)). Let a be (123/3)/(-1 + 0). Let y = q - a. Is 9 a factor of y?
False
Suppose 5 = 3*n - 76. Does 9 divide n?
True
Let t(i) = 1 + i**3 + 9 + 9*i**2 - 1 - 11*i. Is 19 a factor of t(-10)?
True
Let q be (0 + (-3)/(-4))*-20. Suppose -5*o = 4*u - 288, 4*u - 142 = o + 146. Let c = q + u. Does 19 divide c?
True
Let y = 18 - 53. Let n = -1 - y. Is 14 a factor of n?
False
Suppose 5*l - 4*f + 15 = -0*f, 5 = f. Is (-10 - 44)*l/(-2) a multiple of 14?
False
Let d = -8 - -38. Suppose 0*l + 5*l = d. Does 3 divide l?
True
Suppose -9*g + 13*g = 116. Suppose 0 = -0*q - q + g. Is q a multiple of 12?
False
Let r(o) = 6*o**2. Let b be r(-1). Is 20 a factor of (-4)/b - (-610)/15?
True
Let z(x) = -x**3 - 4*x**2 + 6*x + 2. Is 27 a factor of z(-7)?
False
Let q(j) = -j**3 - j**2 + 1. Let a be q(-1). Let u = 45 - a. Suppose -5*c + 31 + u = 0. Is 6 a factor of c?
False
Let c be 2*9*3/18. Suppose 192 = c*b + b. Is b a multiple of 16?
True
Let t = -11 + 27. Let a be -3 + 33/(-1 - -4). Let l = t - a. Does 3 divide l?
False
Let b = 280 - 20. Does 13 divide b?
True
Let c be (0 + (-2 - -2))/(-1). Suppose 3*v - 4*y = -c*y - 14, 54 = -5*v - y. Is (-285)/v - 2/(-4) a multiple of 11?
False
Suppose 22 + 11 = -3*i. Let m = i + 14. Is 2 a factor of m?
False
Suppose -h - 2*b + 6 = 0, 4*h + 0*h = -2*b. Let s = -2 - h. Suppose s = 5*x - 108 - 7. Does 12 divide x?
False
Suppose 27*y - 29*y = -74. Is y a multiple of 6?
False
Is 6 a factor of 1*162*(-3)/(9/(-2))?
True
Let h(m) be the third derivative of 7*m**5/60 - m**4/12 - m**3/6 - 3*m**2. Is h(-1) a multiple of 5?
False
Let t(r) = 3*r - 1. Let p be t(1). Suppose -56 = -5*n - i - i, p*i + 52 = 4*n. Is 6 a factor of n?
True
Does 14 divide 1*-3*632/(-12)?
False
Suppose -11 = -2*d + 57. Let s be 1*(-2)/(-1) - 0. Suppose -f = -s*f + d. Is f a multiple of 14?
False
Let q be 4/(-2) + 5 - 2. Let f be (-5 - -5) + q*42. Suppose -4*r + 5*v + 49 = 0, -3*r = -v - v - f. Is 16 a factor of r?
True
Is (-40)/12*(-81)/6 a multiple of 15?
True
Suppose 82 = 5*c + 4*i, 5*i - 80 = -c - 4*c. Does 7 divide c?
False
Suppose -q = -5*y + 10, 0 = -2*y - q + 11. Suppose y*l = -l - 156. Let d = l - -67. Does 14 divide d?
True
Let t(v) = 2*v**2 - 4*v + 4. Let h(z) = -2*z - 6. Let k be h(-5). Let r = 7 - k. Is 5 a factor of t(r)?
True
Suppose -320 = -9*z + 76. Is z a multiple of 8?
False
Suppose 4*p - 53 - 23 = 0. Suppose 0 = -4*k + 13 + p. Does 3 divide k?
False
Suppose -305 = 4*i - 4*t - 1833, 4*i - 5*t = 1533. Does 13 divide i?
True
Suppose -m + 188 = 4*m + g, g = -2. Does 11 divide m?
False
Suppose -5*h - 9 = -d - 3*d, 0 = -2*d + h + 3. Let l = -7 - d. Does 17 divide ((-54)/8 + 1)*l?
False
Does 6 divide (4 + 2)*9/2?
False
Suppose 0 = p - 2*j + 6, -2*p - 3*j + 11 = -5. Let g be 2 + 3*(p - 7). Let a = -9 - g. Is 4 a factor of a?
True
Suppose 0 = -5*f - 5*q + 215, 3*f - 4*q = -5*q + 123. Does 20 divide f?
True
Let x(r) = 12*r - 15. Let u(f) = -f**2 - 7*f + 7. Let s be u(-6). Let c(m) = 6*m - 7. Let o(d) = s*c(d) - 6*x(d). Does 17 divide o(3)?
True
Is 15 a factor of 146/2*(-3)/(-3)?
False
Let w = 4 - 2. Suppose -2*t + 0*r = -2*r + 2, 4*t + 3*r = -32. Let z = w - t. Is 5 a factor of z?
False
Let q(x) = 2*x**3 + 29*x**2 - 16*x - 8. Is q(-15) a multiple of 7?
True
Suppose 75 = 5*i - 540. Is 7 a factor of i?
False
Suppose -12 = -3*d, 3*p - 4*p - 2*d = -37. Does 7 divide p?
False
Let h(f) = -10*f + 27. Is h(-7) a multiple of 15?
False
Suppose 49*u = 46*u + 240. Is 21 a factor of u?
False
Suppose 18 - 58 = -5*i. Does 5 divide i?
False
Let b = -2 - -5. Does 14 divide 0/1 + b*14?
True
Suppose -5*z + 5*q - 5 = 0, -2 = -2*z - q + 4*q. Let i(l) = -7*l + 3. Is i(z) a multiple of 19?
True
Let l be 0/(4 - 1 - 1). Suppose l = 2*c + 2*c - 16, -4*c - 38 = -p. Is 25 a factor of p - (9/3 + -3)?
False
Let i(w) = w**2 + 5. Does 4 divide i(-4)?
False
Suppose -9*o = -4*o + 95. Let n = 31 + o. Is n a multiple of 12?
True
Is 8/(-6)*(-135)/10 a multiple of 10?
False
Suppose 0*h - 30 = -6*h. Is 8 a factor of 53 + (-5)/(h/(-3))?
True
Let q = 4 + -2. Let z be 3/9 + q/(-6). Suppose -w + z*w + 26 = 0. Is w a multiple of 15?
False
Let n(f) = 3*f - 7. Let a be 7/14*(0 + -2). Let m = a + 8. Is 10 a factor of n(m)?
False
Is 7 a factor of 6/39 - (-334)/26?
False
Is 2 a factor of (-12)/9*(-36)/8?
True
Suppose 0 = 3*t + 2*t - 15. Let u = 12 - t. Does 2 divide u?
False
Let o(q) = 4*q - 7. Let n be ((-10)/8)/((-11)/44). Does 13 divide o(n)?
True
Let u be -1*(-3 - (1 - 2)). Let m = u - -2. Suppose 48 + 36 = m*z. Does 21 divide z?
True
Let n(p) = 8*p**2 - 3*p + 1. Let k be n(4). Let x be -1 - k/(-3*1). Suppose -108 + x = -5*j. Does 7 divide j?
True
Let w = 8 + -13. Let d(f) = -2*f + 6. Let x be d(w). Let a = 48 - x. Is 14 a factor of a?
False
Let d = 3 + 0. Let a be d*(8 - 3) + 2. Is 13 a factor of (a/(-3))/(9/(-27))?
False
Suppose -3*i + 2*f + 83 = -7, -4*f = 4*i - 120. Does 15 divide i?
True
Suppose -o + 4*o = 0. Suppose o = 5*s - 6*s + 7. Suppose -3*d - s*m = -2*m - 11, -d + 15 = -4*m. Does 7 divide d?
True
Let s(v) be the second derivative of v**4/6 + v**3/6 + v. Is s(4) a multiple of 18?
True
Let l(q) = 4*q**2 + q - 2. Let v(i) be the first derivative of -i**3/3 - 3*i**2 - 6*i - 2. Let z be v(-4). Does 10 divide l(z)?
False
Suppose 4*h + 13 = -147. Let c = h + 78. I