4 = -4*l. Let z(r) = -10*r**3 - 2*r**2 + 1. Does 9 divide z(l)?
True
Let c(z) = z - 4. Let t be c(8). Suppose t*u + 0 = 5*m - 8, -5*u + 35 = 5*m. Suppose m*a - 4*l + 28 = 5*a, -l = -4. Is a a multiple of 12?
True
Suppose 4*q - 992 = -0*q. Suppose -2*r = 2*r - q. Suppose f = -f + r. Is 17 a factor of f?
False
Let r(o) = o**3 - 7*o**2 - 7*o + 5. Let g be r(8). Let m = g + -10. Is m even?
False
Let s be ((-32)/(-3))/((-2)/(-6)). Let m = s + -18. Suppose 2*g - 16 - m = 0. Does 15 divide g?
True
Let k(d) = -d**3 - 4*d**2 - 2*d - 2. Let v = -1 - -5. Let m(q) = q**3 + 3*q**2 + q + 2. Let l(g) = v*k(g) + 5*m(g). Is 19 a factor of l(4)?
True
Let i = -194 - -304. Let y = -38 + i. Is 18 a factor of y?
True
Let a = 6 - 16. Let q = -4 - a. Is 4 a factor of q?
False
Let y = 50 - 26. Does 6 divide y?
True
Suppose 4*k - 7 = 9. Suppose 53 = k*v - 75. Is 10 a factor of v?
False
Let y(z) = z**3 - 5*z**2 + 5*z - 9. Let c be y(5). Suppose -96 = -2*n - 5*s, -3*s - 128 = -2*n - c. Is n a multiple of 17?
False
Let q(r) be the second derivative of -r**3/3 + r**2/2 - 2*r. Let f be q(-1). Suppose 0 = f*a + 4*v - 0*v - 98, 0 = 4*a - 3*v - 114. Is a a multiple of 10?
True
Let x(k) = 4*k + 2. Is x(1) a multiple of 3?
True
Let p be ((-5)/(-2))/5*4. Suppose -3*d - 4*u = -7*u - 33, 0 = -5*d - p*u + 83. Does 8 divide d?
False
Suppose -h + 2*h = 0. Suppose h = -3*k - 2*k - 195. Let w = k + 80. Is w a multiple of 18?
False
Let u = 18 + -10. Suppose -2*p - s = -p - u, s = 5*p - 22. Let z = p + 25. Is 15 a factor of z?
True
Suppose 3*r - 2*d = -8, 3*d = 3*r + 5*d + 28. Let x(o) = -4*o + 1. Let h be x(r). Is (10/h)/((-2)/(-130)) a multiple of 13?
True
Let i = -2 + 12. Let u = -18 + i. Does 5 divide -5 - u - -2*1?
True
Let q = -7 + 2. Let b(w) = w**3 + 5*w**2 - 2*w - 3. Is 5 a factor of b(q)?
False
Is 25 a factor of (0 - 2)/(-2) - (0 + -130)?
False
Let k = -4 - -5. Let a be 5/(-5) + -1*k. Is 5 a factor of ((-30)/(-12))/(a/(-4))?
True
Let x(k) = -7*k - 14. Let h be x(-3). Suppose 2*r + a - 16 = 20, 5*a - 20 = 0. Does 19 divide h/(-1 - r/(-14))?
False
Is (-2)/9 + (-7164)/(-162) a multiple of 8?
False
Let u(w) = -w**2 - 6*w - 6. Let r be u(-6). Let d = r + 6. Suppose h = -4*b + 22, d*h - h - 5*b = -21. Is 13 a factor of h?
True
Suppose -2*v - 3*r - 327 = -4*v, 0 = -4*v - 4*r + 684. Is 21 a factor of v?
True
Let u(b) = b**3 + 8*b**2 - 2*b - 15. Is 11 a factor of u(-7)?
False
Suppose 15*f = 3*f + 1212. Does 9 divide f?
False
Let m = -31 + 84. Is m a multiple of 27?
False
Suppose j = -j - 56. Is (-288)/j*14/2 a multiple of 12?
True
Let a be 36/14 + (-4)/7. Suppose a*b - 145 = -3*b. Does 13 divide b?
False
Suppose -2*b - 34 = -2*z + 7*z, b - 2*z + 8 = 0. Is ((-69)/b)/(2/8) a multiple of 17?
False
Let s(h) = h**2 - 5*h + 67. Is s(17) a multiple of 9?
False
Let p = -20 + 176. Is 23 a factor of p?
False
Suppose 0 = -5*u + 518 + 182. Is u a multiple of 20?
True
Suppose -a + 44 + 16 = 0. Suppose -5*z = -a - 90. Is z a multiple of 15?
True
Let y be 2 - 4 - (2 + -86). Suppose 5*s = y + 83. Suppose -3*m = -s - 30. Is 11 a factor of m?
False
Suppose -6 - 9 = -3*k. Let g be 1*(k - 6/(-3)). Let c = 23 + g. Does 10 divide c?
True
Does 6 divide 12/(-10)*-5*5?
True
Is 18 a factor of (135/10)/(9/84)?
True
Let i(a) = a + 3. Let o be i(-5). Is 17 a factor of (-4 + 3)/(o/80)?
False
Let m = -1 - -3. Suppose -4*z - 139 = -3*k, m*k + 22 - 114 = 2*z. Suppose 0 = -3*n + 2*r + k, 3*r + 14 = n - 8. Is n a multiple of 13?
True
Let b(g) = g**2 + 7*g + 16. Is 8 a factor of b(-11)?
False
Let r = 21 - -2. Is 23 a factor of r?
True
Let o(c) = -c**2 - 2*c + 7. Let l be o(-3). Suppose -l*h + 3*h - a + 15 = 0, -18 = -2*h - 5*a. Is 4 a factor of h?
False
Suppose -2*y - 2*g = -522, -184 - 71 = -y + g. Is y a multiple of 53?
False
Suppose g = -3*i + 4, 4*g + 15 = g. Is i/(-4) + (-497)/(-28) a multiple of 17?
True
Does 4 divide (-42)/(-4) - 3/6?
False
Let v be 2*(15/(-2))/(-3). Suppose 2*n + d + 5 = 0, -5*n + 2 + v = -4*d. Is (-12)/n - (-4)/(-2) a multiple of 9?
False
Let h = 134 - 86. Is h even?
True
Suppose 5*o = -3*z - 20 + 61, -5*z + 39 = o. Does 5 divide z?
False
Suppose 0 = -9*i + 196 + 479. Does 25 divide i?
True
Suppose -14 = -3*l - 4*w, w - 3 = 4*l + 2*w. Does 5 divide l + (-2 - -23) + -1?
False
Suppose 10 = -2*p + 7*p. Suppose -3*j - p*j + 40 = 0. Is 2 a factor of j?
True
Let p be (1 - 4) + 1 + 1. Let w be (p/1 + 2)*14. Let a = 16 + w. Does 18 divide a?
False
Let l(g) = 2*g - 12. Let m be (-4)/22 + 492/44. Is 10 a factor of l(m)?
True
Suppose i + 13 = 4*q, -2*i - 5*q = 2*i - 53. Does 2 divide i?
False
Is 17 a factor of 154 + 1 + 3 + -1 + -3?
False
Suppose -4*t - 120 = -5*m + 17, -3*m - 4*t = -95. Is 15 a factor of m?
False
Let p(m) = -m - 1. Let q be p(-1). Let z be 0 + (0 - q) + -29. Let o = z - -47. Is o a multiple of 13?
False
Suppose 0 = -5*h + 4*d - 0*d + 115, 3*h + 3*d = 96. Is h a multiple of 5?
False
Let b = 23 + -8. Is 12 a factor of b?
False
Let q(u) = -u**2 + 3*u + 4. Suppose 3*g + 5*z = 7, 3*z + 5 = 2. Let f be q(g). Suppose 0 = -f*s - s + 5. Is 3 a factor of s?
False
Let v be (-24)/(-5) + 5/25. Suppose -5*z + v*a + 120 = -0*a, -129 = -5*z + 2*a. Is 10 a factor of z?
False
Suppose -16 + 7 = 3*v. Let y be v/(-27)*3*3. Is -34*(y/1)/(-1) a multiple of 15?
False
Suppose 11 = 4*h + f - 8, -4*f + 12 = 0. Let g = h - 3. Let c = g + 31. Is 11 a factor of c?
False
Let m(c) = -c**2 + 5*c - 6. Let h be m(5). Is (4/6)/(h/(-135)) a multiple of 15?
True
Suppose 4*j - 2 = 34. Is 9 a factor of j?
True
Suppose 0 = 2*k - 5*t - 37, 3*k - 4*t = -0*k + 45. Is k a multiple of 3?
False
Let d(z) = z**3 + 11*z**2 + 8*z - 9. Let c be d(-10). Let y = 41 - c. Is y a multiple of 15?
True
Let j be 20/30*(-306)/(-4). Let d = j + -18. Is 9 a factor of d?
False
Suppose 3*z - 6*z = 0. Suppose -5*p - 73 + 343 = z. Is p a multiple of 18?
True
Is 6 a factor of 37/5 - 12/(-20)?
False
Suppose 7*y - 4*y = 0. Suppose y = -5*k + 3*k + 20. Is 10 a factor of k?
True
Suppose 4*r - 4*k - 12 = -2*k, 0 = -2*k - 4. Let x(i) = -r*i + 1 + 6*i - 5. Does 12 divide x(4)?
True
Suppose -3*x = 2*q - 99, -5*x - 191 = -3*q - x. Is q a multiple of 27?
False
Suppose -5*j + 15 = 5*f, 0*j = -2*j + 2*f - 2. Let b = j + -1. Let y(k) = -k + 16. Does 8 divide y(b)?
True
Is (66/4 + -4)/(1/2) a multiple of 7?
False
Let l(q) = -20*q - 3. Let j be l(5). Let w = j + 151. Does 12 divide w?
True
Let t(n) = -n**2 + 6*n + 5. Let z be (4 - 2)/((-1)/(-3)). Is 5 a factor of t(z)?
True
Let z(i) = -2*i + 36. Is z(0) a multiple of 6?
True
Let i(s) = s - 2. Let r be i(2). Suppose 9*x - 5*x - 12 = r. Suppose -75 = -3*g - 4*l + l, 3*g - x*l - 87 = 0. Is 12 a factor of g?
False
Let d(r) = -r**2 + 6*r + 3. Let b be d(6). Let q(m) = 3*m - m + b*m. Is 7 a factor of q(3)?
False
Suppose 3*s + 56 = 2*f, 2*f - s = 5*f - 62. Is f a multiple of 7?
False
Let n be (24/10)/(2/35). Suppose -4*c - n = -3*y, 6*y = y - 3*c + 41. Is 3 a factor of ((-8)/y)/((-8)/60)?
True
Suppose -b - 792 = -5*b. Suppose 0 = c - 7*c + b. Does 8 divide c?
False
Suppose 870 = 2*s + 2*s + 2*w, 3*s = 4*w + 636. Is s a multiple of 36?
True
Is 4 a factor of (-31)/(-2) - (2 + 10/(-4))?
True
Let t be 1/(2*(-2)/(-12)). Let y be t + (1 + 2 - 2). Suppose y*r - r = 72. Is r a multiple of 7?
False
Let i be ((-1)/2)/((-7)/(-112)). Let d = i + 12. Is 4 a factor of d?
True
Let b = -160 + 83. Is (b/55)/((-1)/35) a multiple of 10?
False
Let p = -210 - -583. Suppose -3*h + p + 71 = 0. Is 1/5 + h/10 a multiple of 14?
False
Suppose -97*h + 95*h = -72. Is h a multiple of 6?
True
Let h = 4 - 0. Suppose 5*i = -13 + 38. Suppose h*a - 57 = -3*o, 5*a - 4 = -i*o + 66. Does 4 divide a?
False
Suppose -4*s + 209 = -7. Is 4 a factor of s?
False
Suppose -7*c + 362 + 282 = 0. Is 23 a factor of c?
True
Let i(u) = u**2 + 2*u - 3. Let w be i(2). Suppose -q - 2*b + 9 + 13 = 0, 0 = 3*q - w*b - 88. Is q a multiple of 13?
True
Let a(l) = -11*l + 45. Is a(-5) a multiple of 24?
False
Suppose -3*v + 70 = -8*v. Let d be (1 - (0 + v)) + 3. Suppose -g + d = 2*g. Does 6 divide g?
True
Let p(u) be the second derivative of -u**3/2 - 2*u**2 + 2*u. Let x be (0 - 4) + (-2)/2. Does 11 divide p(x)?
True
Let j = 7 - 6. Let k(w) = -33*w**2 - w. Let q be k(j). Let v = q + 82. Does 17 divide v?
False
Is 24/16 - 42/(-4) a multiple of 4?
True
Let h(v) = -2*v**2 + 3*v + 3. Let y 