*q + 43 = 3*s - l*q, -q = 3*s - 55. Is 6 a factor of s?
False
Let p = 5 + -9. Let z = p + 9. Suppose -x = -z - 12. Does 17 divide x?
True
Let a be 3/((-2)/(-4) - 2). Let n = 4 + a. Is 4 a factor of 1 + (20 - -2)/n?
True
Let k(b) = -b**3 - 9*b**2 - 3*b - 12. Is 5 a factor of k(-9)?
True
Let p(r) = -28*r - 20. Does 29 divide p(-7)?
False
Is (33/(-9))/(1/(-3)) a multiple of 4?
False
Suppose -363 = -3*o - 5*y, -y + 642 = 5*o - 5*y. Does 24 divide o?
False
Let q = -95 + 142. Does 17 divide q?
False
Suppose -j + 1 = 0, q - 2*j + 10 = 2*j. Let z(l) be the second derivative of -l**3/3 - 7*l**2/2 - l. Is 2 a factor of z(q)?
False
Suppose b - 88 - 143 = 0. Is b a multiple of 21?
True
Suppose 0 = -m + 8 + 8. Suppose -3*f = f - m. Is f a multiple of 3?
False
Let s(p) = -p**3 - p + 4. Let r be s(0). Suppose 70 = r*i - 70. Is 16 a factor of i?
False
Let v(r) = r**3 - 6*r**2 - 6*r - 3. Let f be v(7). Suppose -5*m - 346 - 59 = -5*y, 0 = -f*m - 20. Is y a multiple of 22?
False
Suppose -n - 2*n = 5*v - 232, -5*n - 2*v + 355 = 0. Is n a multiple of 23?
True
Let y be (-1 - -17)*(-3)/(-6). Suppose -a + 1 = 0, 4*h = -a - a - 14. Is 10 a factor of (-41)/h - 2/y?
True
Is 5 a factor of -15*4*4/(-24)?
True
Let l = -54 + 81. Is 25 a factor of l?
False
Let s(t) = 11*t**3 + t. Let i = 21 + -20. Does 10 divide s(i)?
False
Let s(j) = 9*j**2. Let l be s(1). Let b(z) = -z**2 + 10*z - 5. Let v be b(l). Suppose -v*u - 10 = -5*u. Is u a multiple of 10?
True
Let m = 14 + -42. Let z = m - -67. Does 7 divide z?
False
Let f(k) = -k - 7. Let l be f(-6). Let c = -3 - l. Is 21/(2 - (-2)/c) a multiple of 7?
True
Let q = 37 - 9. Let h = -3 + q. Is h a multiple of 11?
False
Let w(v) = v**2 + v - 1. Let q be w(1). Let d be (-6)/(-3)*12 - q. Suppose h = -5*a + 24, -4*h = -a - d - 31. Is h a multiple of 14?
True
Let j(h) = 8*h + 4. Let c be j(3). Suppose -c = -s + 17. Does 15 divide s?
True
Let p = -49 - -70. Is 5 a factor of p?
False
Let y be (-3)/6 - 414/4. Let m = y - -188. Suppose -4*f = -0*f - m. Does 12 divide f?
False
Suppose 5*l = 5*v - v + 648, l = -5*v + 118. Suppose -l = g - 5*g. Is 12 a factor of g?
False
Suppose 7 = -2*s - 3. Let z = 43 - s. Is 12 a factor of z?
True
Let y(f) = -f**3 + 7*f**2 + 11*f - 8. Is y(8) a multiple of 8?
True
Suppose 2*x - 14 = -4. Is 9 a factor of x/1*(-44)/(-10)?
False
Let r(j) = -j + 12. Is r(0) a multiple of 6?
True
Let s(l) = -l**2 + 22*l - 25. Is s(14) a multiple of 11?
False
Let o = 3 - 1. Let x(a) = 4*a**3 - a**2 - 3*a + 2. Let m be x(o). Suppose 5*v = 2*k + m + 5, -41 = -5*v - 2*k. Is v a multiple of 7?
True
Let w(n) = 3*n**3 + 6*n**2 + 0*n**3 - 4*n**3 - n + 6. Let m be w(6). Suppose 3*l = -m*l + 21. Is l a multiple of 6?
False
Let c(j) = -8*j - 3. Let u(r) = 9*r + 4. Let s(f) = 6*c(f) + 5*u(f). Suppose k = -0 - 4. Is s(k) a multiple of 7?
True
Let v = 68 + -103. Let u = v + 49. Does 10 divide u?
False
Suppose -3*n = -6 - 0. Let q be (-1 - -3) + (0 - n). Suppose -2*h + 5*b = -34, h + 2*b = -q*b - 1. Is h a multiple of 3?
False
Let v be ((-3)/(-6) - 0)*-2. Is 8 a factor of (-2)/(v + 46/50)?
False
Let q = -22 + 59. Suppose -3*g - 5 = -2*g, -p + q = 3*g. Suppose 3*t + 4*v = p, v - 7 = 3*t - 39. Does 6 divide t?
True
Suppose -h = -0*h + 12. Let m = h - -20. Does 3 divide m?
False
Let s = -42 + 47. Does 5 divide s?
True
Suppose 2*w = -0*w + 20. Is w a multiple of 5?
True
Let j(t) = t**3 + 11*t**2 + 11*t + 11. Let u be j(-10). Suppose -5*c - 2*r - 3*r - 65 = 0, 0 = -5*c + 3*r - 97. Let g = u - c. Is 5 a factor of g?
False
Let u(k) = -2*k**3 - 6*k**2 - 3*k - 5. Let p be u(-4). Let j = p + -8. Suppose -3*g + 0*g = -5*n - j, -4*n + 40 = 3*g. Is 5 a factor of g?
False
Suppose 231 = 3*u + 3*k, 0 = -0*k + 4*k - 12. Is u a multiple of 32?
False
Let g = -51 + 131. Is 5 a factor of g?
True
Let j(r) = r**3 + 5*r**2 - 6*r + 2. Let z be j(-6). Let h = -23 + 14. Let w = z - h. Is 10 a factor of w?
False
Let j be 39*2/3 - 1. Suppose 2*x + 17 = v - 7, j = 5*x. Is 12 a factor of v?
False
Suppose f - 2*m - 6 = 0, 2*f = -3*f - m - 3. Let z be 2/4*(0 + f). Suppose 3*i + z*r - 2*r = 167, 2*i - 114 = 2*r. Is i a multiple of 18?
False
Suppose 10 = 3*a + y, -16 = -a - 2*a + 2*y. Does 3 divide a?
False
Suppose 3*h + 5*q - 17 = 11, 26 = 3*h + 4*q. Is 3 a factor of 9 - h/9*-3?
False
Let k = -11 + 16. Is 3 a factor of k?
False
Let o be 2 + (6*7 - -2). Let j = 382 + -217. Suppose 2*g = 3*m + o, -5*g + m - 6*m = -j. Is g a multiple of 10?
False
Suppose 0 = 3*h - 19 - 35. Is 18 a factor of h?
True
Let a = 8 + -6. Suppose 43 = z - g - a*g, -3*z + 87 = 5*g. Is z a multiple of 17?
True
Let m(z) = -z**2 - 10*z - 3. Let l(k) = 9*k**2 + k. Let h be l(1). Suppose 4*f + h = -4*q + f, -5*q - 22 = -f. Does 15 divide m(q)?
False
Is (-696)/(-10) - (-7)/((-140)/(-8)) a multiple of 14?
True
Is 3 - 170*((-18)/(-15) - 2) a multiple of 28?
False
Suppose 4*k - 5*a - 10 = 0, -2*k + 0*k - 8 = 4*a. Suppose 5*y = -2*d + 10, 2*y - 3*y - 2*d = -10. Suppose y = -3*j - k*j + 18. Is 4 a factor of j?
False
Let z(g) = g**2 - 5*g - 9. Let h be z(7). Let l = 3 - h. Does 13 divide l + 4 - 1*-37?
True
Suppose 4*c - 1 = -9. Let j = -65 - -29. Does 14 divide (-496)/j - c/9?
True
Let x be 0*3/6*-1. Let h(z) = z**2 - z + 52. Is 19 a factor of h(x)?
False
Is (-2)/(-16) + (-159)/(-8) a multiple of 10?
True
Let j = 95 - 93. Is j even?
True
Does 26 divide 2/(2/(-39))*(-12)/3?
True
Suppose -w - 1 = 3. Let s be (8*(-2)/w)/1. Suppose -c + 2*v = -20, -4*c = -3*c - s*v - 28. Is 10 a factor of c?
False
Suppose -66 = -m + 3*o, m + o = 81 - 7. Is 8 a factor of m?
True
Suppose 404 = 4*l + 5*t, 3*t = -2*l - 2*t + 212. Is l a multiple of 16?
True
Let k(a) = a**2 + 9*a. Is k(-10) a multiple of 10?
True
Let i(m) = m**3 + 4*m**2 + m + 2. Suppose o - 2 = -5*x, 4*o + 17 = 8*x - 3*x. Let n be i(o). Let h = 24 - n. Does 16 divide h?
True
Suppose 3*m - 15 = -3*o, -23 + 8 = -o - 3*m. Let h be (-4)/(-10) - (-266)/10. Suppose o = 4*g - 5*i - 23 - 33, -g = 2*i - h. Does 13 divide g?
False
Let v be (0 - 0) + (-1 - -3). Suppose v*a = -a - 15. Let m = a + 30. Is m a multiple of 15?
False
Let m(c) = -5*c - 30. Is m(-21) a multiple of 24?
False
Suppose 0 = -v + 5*v - 16, 0 = 3*q + 3*v - 84. Is 8 a factor of q?
True
Suppose 4*w = -3*d + 39, 36 = 3*d + 2*d - 3*w. Let x be d/(-12) - 45/4. Is 273/18 + 2/x a multiple of 15?
True
Suppose k = 6*k + 40. Let v(u) = u**3 + 7*u**2 - 10*u. Does 4 divide v(k)?
True
Let t(q) = q - 5. Suppose 0 = 3*u + 2*r + 54, -r - 2*r = -u - 7. Let f = u + 23. Is 2 a factor of t(f)?
True
Is (-1)/7 - 4623/(-21) a multiple of 14?
False
Does 22 divide ((-1)/(-2))/(1/1044*3)?
False
Suppose 3*p - 3*j - 9 = 0, 0*j + 12 = 4*p + 3*j. Let g be 1/((-1)/2) - 0. Is 70/6 + g/p a multiple of 11?
True
Let r(k) be the first derivative of -k**4/4 + 5*k**3/3 - 2*k**2 + 4*k - 1. Does 10 divide r(3)?
True
Let g = 6 - 10. Let b = g - -14. Is b a multiple of 5?
True
Suppose -4*v = -9*v + 570. Suppose -b - 2*b + v = 0. Is b a multiple of 17?
False
Let l(y) = 9*y**2 - 3*y - 7. Let b be l(-3). Let h = -57 + b. Does 13 divide h?
True
Suppose -d + 139 = t, 0 = 5*d + t - 325 - 358. Suppose 8 + d = 2*c. Is c a multiple of 24?
True
Let y(p) = p**3 + 22*p**2 + 12*p - 17. Is 43 a factor of y(-21)?
True
Is 19 a factor of ((-456)/8)/(1 - 2)?
True
Suppose 7*o - 3*o = 0. Suppose 0 = -y - 5*p + 12, o = -2*y + 5*y + 4*p - 14. Suppose -4*t - 3*d + y*d = -67, 4*d + 4 = 0. Is 17 a factor of t?
True
Let y = 608 - 350. Does 43 divide y?
True
Let w(v) = -4*v**3 + 11*v**3 + 9*v**2 + 6 - 8*v**3 - 6*v. Is w(5) a multiple of 31?
False
Let k(w) = -w**3 + w**2 + 3*w + 2. Suppose -2*l - 3*g = 2*g + 29, 4*g = -l - 22. Does 4 divide k(l)?
True
Suppose 4*g + j + 4 = 0, -3*g = 2*g - 3*j + 22. Let z be (g/(-6))/((-3)/(-36)). Let s = 21 - z. Is 7 a factor of s?
False
Let j = 62 - 6. Is 8 a factor of j?
True
Let r = -5 - -2. Let l be r + 1 + 0 + 4. Suppose 0 = -l*m + 7 + 1. Is 4 a factor of m?
True
Let y(g) = g + 8. Let x be y(7). Suppose 0 = 3*v - 8*v + x. Suppose -f = -0 - v. Is f even?
False
Is 192/9*(-36)/(-32)*2 a multiple of 6?
True
Let f = 20 + -24. Is 6 a factor of 104/(-20)*10/f?
False
Let k(z) = -z**3 + 4*z**2. Let x be k(4). Let b = x - -3. Is 6 a factor of b/(-3) + 0 - -9?
False
Let q(f) = -f + 5. Let o be q(-4). Suppose 0 = 3*u - o - 0. Is 3 a factor of u?
True
Supp