 + 26?
False
Suppose -3*y - 18 = 24. Is 3 a factor of ((-30)/35)/(4/y)?
True
Does 22 divide 22/(-3 + (-28)/(-8))?
True
Let g(a) = 44*a**2 - a - 3. Is 35 a factor of g(-2)?
True
Let t(q) = 3*q**2 - 7*q + 12. Is 7 a factor of t(5)?
False
Is 18 a factor of ((36/(-8))/(-3))/((-1)/(-60))?
True
Let n(o) = -o**3 - 5*o**2 + 4*o + 4. Let t be n(-6). Let c(q) = q**3 - 5*q**2 + 5*q - 2. Let x be c(4). Let p = t + x. Does 9 divide p?
True
Let l(n) = -7*n**3 + 18*n**3 - 7*n + 5*n + n**2 + 1. Suppose -2*d + 1 = -d. Is l(d) a multiple of 11?
True
Suppose -3*u - 7 = -91. Is 7 a factor of u?
True
Suppose 2*w - w + q = -83, 5*q = 2*w + 159. Let p = -23 - w. Is 15 a factor of p?
False
Suppose -c = 2*c - 15, 0 = 5*s + 5*c + 45. Let w be (-158)/(-5) + 2/5. Let p = s + w. Is 11 a factor of p?
False
Suppose 3*s + 5*d = 2*s - 8, -3*s = 2*d - 2. Let w = 34 - s. Is w a multiple of 8?
True
Let u(z) = 7*z**2 - z + 1. Let k(h) = -h**3 - 2*h**2 + 5*h + 4. Let i be k(-3). Let x = -4 - i. Is 20 a factor of u(x)?
False
Let o(q) = -q + 9. Let g be ((-6)/(-8))/(1/(-12)). Does 18 divide o(g)?
True
Let t(p) be the first derivative of -3*p**2 + p + 2*p**2 - 1 + 2*p**2. Does 8 divide t(6)?
False
Is (36*(6 - 1))/1 a multiple of 9?
True
Let k = -13 - -19. Let p be 7/2 + 3/k. Suppose -59 = -5*j - p. Is j a multiple of 7?
False
Let l(v) = 3*v**2 + 2. Let k be l(4). Does 17 divide k*1 - 0/(-2)?
False
Suppose 0*n - n + 6 = 0. Suppose 3*d + 81 = n*d. Is d a multiple of 8?
False
Suppose -10 = 2*s - 7*s. Let c = 2 + 2. Suppose -3*n + 8*n - 50 = -5*i, -s*n + c*i = -20. Is 10 a factor of n?
True
Let c(p) be the third derivative of p**5/60 + p**4/12 + p**3/6 - p**2. Let s be c(-1). Suppose -2*v + s*v + 80 = 0. Is 25 a factor of v?
False
Let s(d) be the third derivative of 3*d**4/8 - d**3/6 + 2*d**2. Is s(1) a multiple of 4?
True
Let a be 4/(-2) + (-8)/(-1). Let g(k) = -k**2 + 12*k - 6. Does 15 divide g(a)?
True
Let o = 44 + -89. Let t = -5 - o. Is 11 a factor of t?
False
Let o(z) = -z**3 - 12*z**2 + 13*z + 20. Is o(-13) a multiple of 10?
True
Suppose 0 = -4*w - 5*q + 13, 0*q - 11 = -4*w - 3*q. Is 10 a factor of (-15)/(-5) + (w - -25)?
True
Suppose 417 = 3*d - 69. Is 6 a factor of d?
True
Let d = -95 - -252. Suppose -3*c + 104 = -2*z - 6*c, 3*z + d = -5*c. Is 12 a factor of 2/4 - z/2?
False
Suppose -8*q + 214 = -234. Is 11 a factor of q?
False
Suppose -4*f + 141 = 3*g - 61, -10 = 5*f. Is 13 a factor of g?
False
Let w = 203 + -121. Does 41 divide w?
True
Let i = -94 - -153. Is 5 a factor of i?
False
Let m(s) = -3*s + 7. Does 13 divide m(-15)?
True
Let v(g) = g - 7. Let f(w) = -w**2 - 10*w + 10. Let m be f(-10). Let s be v(m). Suppose -s*p + 58 = -26. Is p a multiple of 10?
False
Let y = -2 - -7. Suppose 3*s - y*s = -50. Does 25 divide s?
True
Let y be (0*1/(-3))/2. Suppose y = -4*o + 3*o + 51. Does 16 divide o?
False
Suppose 0 = -2*x + 6*x - 4. Let r be (5 - 1) + (x - 0). Suppose -r*g = -4*k + 193, 0 - 15 = 3*g. Does 13 divide k?
False
Let x = -5 + 9. Let r(v) = 35*v - 14. Let a(u) = 12*u - 5. Let n(f) = -17*a(f) + 6*r(f). Does 19 divide n(x)?
False
Is 10 a factor of 3*10/(-18)*-6?
True
Let f(x) = -x**2 - 5*x + 3. Let r be f(4). Let h = r - -88. Is 11 a factor of h?
True
Suppose 0 = 3*k - 205 + 76. Suppose -k = -t - 12. Suppose -4 = -5*p + t. Is 5 a factor of p?
False
Suppose -d - 15 = 2*v + 2*v, -v = -2*d + 15. Let k = d + 43. Is k a multiple of 17?
False
Let m be 4/(-10) - (-288)/20. Suppose m = 3*r - 1. Suppose r*a - 58 = 7. Is a a multiple of 13?
True
Let s(l) = -5*l + 10 - 2 - 2*l. Is 9 a factor of s(-4)?
True
Let z(c) = c + 1. Let v be z(3). Suppose v*y - 190 = -y. Is y a multiple of 12?
False
Let u(z) = 4*z**3 - z**2 - z. Let v be u(-1). Let n = 43 - v. Does 14 divide n?
False
Does 30 divide 2/4 - (5019/6)/(-7)?
True
Let c be 13/2*(-14 + 12). Let t = c + 22. Does 5 divide t?
False
Let m(j) = j**3 + 9*j**2 + 8*j - 4. Suppose l = 2*z + 7, 15 = -4*l + l. Is 28 a factor of m(z)?
True
Let w be 177/7 - (-4)/(-14). Let r = w - -5. Is r a multiple of 15?
True
Let y(s) = -s - 3. Let h be y(3). Let z(o) = -o**3 - 6*o**2 - 2*o + 4. Is z(h) a multiple of 13?
False
Suppose 0*c + 2 = -c, 0 = 2*n + 5*c + 68. Does 2 divide 6/(-27) - n/9?
False
Suppose s + 0*s = 86. Does 7 divide s?
False
Let f = 186 + -127. Let w = -17 + f. Is 14 a factor of w?
True
Suppose -2*r = 3*r - 20. Suppose -2*q = -46 - r. Is q a multiple of 10?
False
Let d(w) = -2*w**3 + w**2 + w + 1. Let q be d(-1). Suppose 4*k - 22 = 3*n + 17, q*k - 51 = -5*n. Is k a multiple of 6?
True
Let g = 5 - 2. Let k(t) = 10*t**2 - 4*t + 4. Let p be k(g). Let b = p - 53. Is 11 a factor of b?
False
Let v(m) = -22*m + 42. Is v(-5) a multiple of 11?
False
Suppose y = 6*y - 20. Suppose y*u - 27 = 13. Does 6 divide u?
False
Is 2 a factor of 12/(-66) + (-48)/(-22)?
True
Suppose 4*d = -4*g + 36, 17 = 3*g - 4*d - 17. Does 10 divide g?
True
Let r be 4 + -6 - 25*-1. Suppose 2*x - 31 = 5*z, 0 = -x + 4*z - 3 + r. Is 4 a factor of x?
True
Let c = 1 + -2. Let p be 2/2 + 22*(-15)/10. Does 19 divide 1/c - (-6 + p)?
False
Suppose 5*a + 77 - 12 = 0. Let s = 3 - a. Is s a multiple of 9?
False
Let t be 14/8 + 6/(-8). Let o = 6 - t. Does 5 divide o?
True
Suppose -5*u + 4 = -1. Is 10 a factor of (0 + 13 - 3)*u?
True
Suppose 0 = 3*q - 3*u - 21, 0*q + 2 = 2*q + 4*u. Let t be (1 - 0)/(q/15). Suppose 4*p + t*j = 10, -3*j - 1 = p + 1. Is p a multiple of 2?
True
Let n(s) = -s**3 + 7*s**2 + 2*s - 1. Let d be 4*(-1 - 7/(-2)). Let c be d/25 + 28/5. Does 17 divide n(c)?
False
Suppose -86 = -5*a - 4*g, -a + 6*a - 4*g = 94. Let y = 42 - a. Does 24 divide y?
True
Suppose 3*p - 51 = 5*b - 6*b, -5*p = -2*b + 157. Let z = b - 42. Is 8 a factor of z?
True
Let h(q) = q**3 + 6*q**2 + 7*q - 2. Let b be h(-5). Let o = b + 6. Is 19 a factor of (-38)/(-1)*(-3)/o?
True
Let p(x) = 8*x - 1. Let g be p(1). Suppose 3*q = g + 8. Suppose 5*v = 2*m + 28, q*m = -2*v - 18 + 6. Is 4 a factor of v?
True
Let a = 1 - 1. Suppose -3*x - 5*f + 54 + 18 = 0, a = -5*x - 2*f + 120. Is x a multiple of 15?
False
Suppose 3*p + 31 = -14. Suppose 17 = w - 3*d - 10, -w - 4*d + 27 = 0. Let l = p + w. Is 11 a factor of l?
False
Let b(g) = g**3 + g**2 - g + 1. Let o(w) = 2*w**3 + 7*w**2 - 8*w + 6. Let h(s) = 3*b(s) - o(s). Does 3 divide h(3)?
True
Suppose 5*r = -m - 3*m + 2, -r - m = 0. Let c(f) = -2 - f - 1 + 4 + f**r. Is 13 a factor of c(-4)?
False
Suppose -13 + 73 = 5*q - 5*s, q = -3*s. Suppose -3 = -2*m + q. Does 4 divide m?
False
Suppose 10 = 2*o - 8. Let q = o - 6. Is q even?
False
Let o = -118 + 330. Is 27 a factor of o?
False
Is 10 a factor of (2/(-4))/((-1)/80)?
True
Suppose 0 = 4*z - 114 - 378. Let v be (-4)/(-10) + 46/10. Suppose -48 + z = v*y. Does 11 divide y?
False
Suppose -4*f + 40 = -344. Is 12 a factor of f?
True
Suppose -j + 4*v = -6*j - 1, 4*v - 2 = -2*j. Let f(b) = -b + 1. Let k be f(j). Suppose -k*u = 4*n - 56 - 46, 4*n + 3*u = 105. Is n a multiple of 12?
True
Let d(w) = w**2 + 10*w + 14. Let q be d(-15). Suppose -3*h - 32 = -q. Does 19 divide h?
True
Suppose -15 = -3*t, -t = -0*c + c - 44. Is c a multiple of 6?
False
Let s be (-10)/(-45) + 56/(-9). Let o(i) be the first derivative of -i**4/4 - 2*i**3 - 5*i**2/2 - 7*i + 2. Is o(s) a multiple of 9?
False
Let t = 18 + -5. Does 9 divide t?
False
Suppose 0 = -2*g + 5*k + 1, -3*g = g + 5*k + 73. Let w = 23 + g. Does 5 divide w?
False
Suppose 3*u + 2*u - 15 = 0. Suppose 0 = -3*s + 5*z + 25, 0*z = -s + u*z + 11. Is s a multiple of 3?
False
Suppose -t - 44 = -6. Let a = 69 + t. Is a a multiple of 8?
False
Let t(v) = -v**2 + 11*v - 12. Let f be t(8). Suppose -4*y - 5*i + 18 = 0, y - 2*i + 3 - 1 = 0. Suppose -y*k = -6*k + f. Is k even?
False
Suppose 3*w - 11 = 2*d + 3*d, w - 2 = 0. Suppose 0 = -5*p - 3*g + 22, -2*p + 11 = -g - 0. Does 4 divide 2/2 + p - d?
False
Suppose -z - z = -8. Suppose 5*i = z*i + 19. Is i a multiple of 10?
False
Is (-84)/1*(5 - (-3 + 9)) a multiple of 14?
True
Let b(p) = -p. Let o(i) = i**2 + 4*i. Let t(r) = 5*b(r) - o(r). Let s be t(-8). Let a(y) = -y**3 + 7*y**2 + 8*y + 3. Does 2 divide a(s)?
False
Does 26 divide 4/((3/60)/1)?
False
Let l(v) = -5*v**3 + 4*v**2 + 3*v. Does 25 divide l(-2)?
True
Suppose 0 = -5*w + 3*w. Suppose -q - 9 = -5*k, -k + w*k + 2*q = -9. Does 18 divide k/(-3) - (-163)/3?
True
Let z(d) be the third derivative of 7*