 46, 119 = 3*r - 4*s. Does 13 divide r?
False
Let w(i) = 7*i**3 - 12*i**2 - 2*i + 3. Let f(b) = 11*b**3 - 18*b**2 - 3*b + 5. Let a(l) = 5*f(l) - 8*w(l). Is a(3) a multiple of 11?
False
Suppose 2*p - 4*p + 70 = 0. Is 12 a factor of p?
False
Does 4 divide 2 - (-20 - -4 - 4)?
False
Let u(k) = 4 - 2*k - 3 + 3*k. Let a be u(3). Suppose -d - a*d = -160. Is 15 a factor of d?
False
Suppose 6*c = 2*c + 36. Suppose -4*o - c + 25 = 0. Suppose 0*q = o*i + 5*q - 71, -2*i + q + 25 = 0. Is i a multiple of 7?
True
Let p(z) = -z**3 + z**2. Let n = -1 - 0. Let d be p(n). Suppose d*m - m = 20. Is 10 a factor of m?
True
Let g(h) = -h**2 - 8*h + 7. Let f be g(-6). Let r = 47 - f. Is 7 a factor of r?
True
Let g be 6/(-15) + 3/(-5). Does 8 divide -1 + (g - -20 - 2)?
True
Let h(m) = m**3 - 10*m**2 + 8*m + 11. Let o be h(9). Suppose -o*w + 76 = -4*q, 5*w + 0 + 76 = -4*q. Let i = q - -41. Does 11 divide i?
True
Suppose 4*w = 3*j + 70, -w + j = -j - 20. Is 10 a factor of w?
False
Suppose 3*y + 0*y - d = 5, 2*d = -y + 11. Suppose 5*w + y*i = 103, -i = 1 - 2. Does 7 divide w?
False
Suppose 8*t - 5*t - 216 = 0. Is t a multiple of 12?
True
Suppose -6*j = -j - 330. Does 33 divide j?
True
Let j(p) = p**3 + 8*p**2 + 2*p - 5. Let o(d) = -d**2 + 9*d + 5. Let z be o(10). Let q be j(z). Suppose -2*l + q = 2*l. Is l a multiple of 6?
False
Suppose 0 = -2*s + 3*s + 1. Let h be (s/3)/((-2)/30). Suppose -3*p - h*t = -24, -2*p + 5*t = -p + 12. Is p a multiple of 2?
False
Let g = 66 + -42. Let p = 42 - g. Is p a multiple of 9?
True
Let g(u) = -u**3 + 10*u**2 + u + 12. Let l be g(10). Let t be ((-1)/(-1))/(2/l). Suppose 3*m - 7 - t = 0. Does 4 divide m?
False
Let n be 3 + (9/3 - 2). Suppose 64 = 4*d + n*l, -5*d = -d + 3*l - 63. Does 5 divide d?
True
Let n = 10 - 8. Suppose -94 = -n*t - 28. Does 12 divide t?
False
Let g(l) = l**2 - 13*l + 16. Is 6 a factor of g(17)?
True
Let n = 73 + -1. Does 6 divide n?
True
Let q(a) = a**3 + 10*a**2 - a + 11. Suppose 0*v = 4*v + 40. Is 15 a factor of q(v)?
False
Let h = -4 + 6. Let m = 7 - h. Suppose u = -u - 3*f + 42, 0 = -m*u - f + 79. Is 15 a factor of u?
True
Let l be 1 + (-4)/(-2) - 1. Let u be l/8 - 15/(-4). Suppose -5*b + u*z + 85 = -z, -5*b + 81 = -3*z. Does 15 divide b?
True
Let v be 4*(-2)/(-2) - 2. Suppose v*f - 29 = 11. Is 10 a factor of f?
True
Suppose 4*a - 5*t = 54, 0*t - t = -3*a + 46. Is a a multiple of 4?
True
Suppose -4*l = -2*y - 3*y + 85, 2*y + 2*l - 34 = 0. Is 10 a factor of y?
False
Let w(d) = -d**3 + d**2 + d + 2. Let y be w(0). Let a(q) = 19*q - 6. Let g(v) = -38*v + 11. Let m(k) = -5*a(k) - 3*g(k). Does 17 divide m(y)?
False
Suppose -2 = -k, -3*k - 20 = i - 4. Suppose -g = 5 - 4. Does 9 divide g*i*(-2)/(-4)?
False
Suppose -5*i - 3*w + 45 = -4*w, -4*w = 0. Suppose -9 = -h + 3*k, -i = -3*h - 2*h + 3*k. Suppose -3*r = 0, 3*l = -h*l + r + 9. Is 3 a factor of l?
True
Suppose 4*r - r = 15. Let z = r - -30. Is 19 a factor of z?
False
Let v = -66 - -126. Is v a multiple of 10?
True
Suppose -4*m = -2*u - 8, -2*u + 0*u + 2*m = 0. Let d = -2 + u. Suppose -2*g = -0*z - 4*z + 116, 46 = d*z - 4*g. Is z a multiple of 11?
False
Let u(s) = -s**3 - 17*s**2 - 12*s - 19. Is 21 a factor of u(-17)?
False
Let u(n) be the second derivative of -2*n**3/3 - 3*n**2 - 7*n. Is u(-4) a multiple of 9?
False
Let v = -5 - -11. Does 15 divide 88/5 - v/10?
False
Suppose -a - i = -6*a + 151, -5*a + 139 = -4*i. Suppose -7 = r - a. Is 19 a factor of r?
False
Is (-2)/(-2 - 240/(-124)) a multiple of 22?
False
Is 12 a factor of 34*(1 + -3 + 3)?
False
Suppose -190 - 104 = -3*w. Suppose 0 = -3*v - 4*x + w, -4*v = -x - 0*x - 99. Is 13 a factor of v?
True
Is (4 - 2) + 80 - 0 a multiple of 12?
False
Let c = -4 + 26. Suppose -5*j + 10 = 0, -3*s - j = 2*s - c. Does 13 divide (26/s)/(3/6)?
True
Let m be 10/(-35) - (-16)/7. Suppose -2*b - 2*c = c - 34, -3*b - m*c + 51 = 0. Is 6 a factor of b?
False
Suppose -5*g + 15 + 1 = r, 3*g = 0. Suppose -4*j = r, -k - 2*j + 6 + 1 = 0. Is k a multiple of 5?
True
Let n(w) = -w + 18. Let v(i) = i**3 - 6*i**2 + 5*i + 4. Let s be v(5). Let y be 1/2*(-4 + s). Does 15 divide n(y)?
False
Let w(g) be the first derivative of 7*g**4/12 - g**3/6 - g**2/2 - 2*g - 2. Let n(m) be the first derivative of w(m). Does 8 divide n(-2)?
False
Let x(t) be the first derivative of 5*t**4/2 + t**3/3 - 3. Is 11 a factor of x(1)?
True
Suppose -5*n + 3 + 52 = 0. Is 6 a factor of n?
False
Suppose 20 = 2*k + 3*k. Suppose k*v - 20 = 156. Is v a multiple of 22?
True
Let a(d) be the second derivative of d**3/6 - 2*d**2 - 2*d. Is 3 a factor of a(8)?
False
Let s(m) = 8*m - 1. Let j be s(-1). Let l be (1 + -2)/(2/6). Is l/((-1)/((-120)/j)) a multiple of 20?
True
Let i(a) = 16*a - 1. Does 3 divide i(1)?
True
Is (-2)/4*(-1 + -51) a multiple of 14?
False
Suppose -67 = -0*y - 2*y - v, -2*v = -6. Does 8 divide y?
True
Let v(a) = a**2 - 4*a + 4. Let y be v(4). Suppose -y*s = -3*w - 57, -5*s + 2 + 76 = 3*w. Is s a multiple of 5?
True
Suppose -17 = -4*s + 55. Let y = 26 - s. Does 7 divide y?
False
Suppose -3*h + 1 + 8 = 0. Suppose 7*v - h*v - 136 = 0. Does 11 divide v?
False
Suppose -135 = y - 6*y. Suppose -y = p + 4*m, 2*p + 3*m = 7*p + 20. Let k = 17 + p. Is k a multiple of 10?
True
Suppose -18*n + 16*n + 4 = 0. Does 2 divide n?
True
Let l be 2 + 4 + 1 - 2. Suppose 0 = -l*w - 50 + 135. Is 17 a factor of w?
True
Let p(d) = -d**2 - d. Let w be p(-3). Let x(f) = f**3 + 7*f**2 + 2*f - 4. Let y be x(w). Suppose 4*r + y = 212. Is 16 a factor of r?
True
Let n = 1 + 2. Suppose -n*q - 5 = -20. Suppose -q*o = u - 5, 3*u - 4*o = -2*u + 25. Does 4 divide u?
False
Let v(d) = d**3 - 5*d**2 - 7*d + 8. Let w be v(6). Suppose l = 2, 5*b - w*l - 132 = 84. Let t = b + -27. Is t a multiple of 17?
True
Suppose 4*w = 2*i + 24, i + 3*i = 2*w - 24. Suppose -w*x + 200 = -5*g, 5*g + 62 = -4*x + 262. Is x a multiple of 24?
False
Let h(x) = -x**3 - 6*x**2 - 5*x - 6. Let a be (-108)/30 - 2/5. Let v be h(a). Let k = v + 58. Does 20 divide k?
True
Let u = 23 + 82. Is 13 a factor of u?
False
Suppose -4*x + 3*x = -10. Is x a multiple of 4?
False
Suppose -6*c - 30 = -c. Let h = c - -6. Is -5*(h + 3 + -7) a multiple of 7?
False
Let h(j) = 6*j - 7. Let l be h(7). Let o = -7 + l. Is 12 a factor of o?
False
Suppose -3 = f - 65. Suppose -5*q + 88 = -f. Is 10 a factor of q?
True
Let s(g) = -g**3 - 5*g**2 - 6*g - 9. Does 7 divide s(-5)?
True
Suppose c - 11 = 19. Is c a multiple of 21?
False
Suppose -2*q = -o - 54, 86 = 3*q - o + 2*o. Does 5 divide q?
False
Let v = -27 - -13. Let o = v + 266. Is 21 a factor of (2/4)/(3/o)?
True
Let l = 412 + -252. Is l a multiple of 32?
True
Let j(u) = -14*u - 2. Suppose -w + 8 = -5*w. Does 11 divide j(w)?
False
Let k(c) = c**3 - 6*c**2 - 3*c - 12. Does 23 divide k(8)?
True
Let z be 22*2 - (1 + -2). Let t = 2 + z. Suppose -4*h + 1 + t = 0. Is h a multiple of 12?
True
Does 18 divide (-52)/(-16)*6 + (-6)/4?
True
Let m = 112 + -44. Is 17 a factor of m?
True
Suppose 0*x + 4*x = 8. Suppose -197 = -x*m - 65. Suppose -2*n + m = n. Does 11 divide n?
True
Suppose -2*w + 0*w = -6. Let c = 12 + -7. Suppose -f - 31 = -2*p, w*f - 14 = c*p - 90. Does 7 divide p?
False
Suppose 0 = 25*q - 33*q + 1456. Is 13 a factor of q?
True
Let a(w) = 4*w**2 - 5*w. Does 29 divide a(-4)?
False
Suppose 5*p - p = 8. Suppose -d = -p - 8. Is d a multiple of 5?
True
Suppose 7*n - 4*n = -18. Let v be 6 + -3*n/(-9). Suppose 4*w - 80 = 2*f, v*f = 5*w + f - 99. Does 16 divide w?
False
Let t = 144 - 85. Does 20 divide t?
False
Let a(z) = -4*z**3 + z**2. Let m(s) = s**2 + 4*s - 1. Let u be m(-4). Let l be a(u). Suppose 5*f + 3*g = 163, 209 = l*f + 2*g + 42. Is 22 a factor of f?
False
Suppose 4*x - 189 = -3*y, -426 = -5*y + x - 111. Does 21 divide y?
True
Suppose -p = p - 5*d - 369, -4*p = 5*d - 753. Is 14 a factor of p?
False
Let j = -18 + 9. Does 10 divide 3*(2 - 12/j)?
True
Let z(l) = 3*l**2 - 24*l. Is z(10) a multiple of 15?
True
Let k(t) = -t**3 - 5*t**2 + 40*t - 9. Does 13 divide k(-10)?
True
Suppose 2*u + 2*l - 192 = 0, 2*l = 5*l - 3. Let i = -110 - -169. Let x = u - i. Does 18 divide x?
True
Let m(d) = -14*d**3 - d**2 + 2. Is m(-2) a multiple of 10?
True
Let o(m) = m**2 - 5*m + 8. Is o(-7) a multiple of 30?
False
Let z(b) be the first derivative of -b**4/4 + 7*b**3/3 - 7*b**2/2 + 4*b - 1. Let g be -1 - -3 - 6/(-3). Does