*2 + 3*p - p**3 + 104*p**2 + p. Does 17 divide u(4)?
False
Suppose -3*v - 2*v + 240 = 0. Is 8 a factor of v?
True
Let u(x) = -x**3 - 7*x**2 - 3*x + 9. Let g(j) = 2*j + 1. Let o be g(-4). Is u(o) a multiple of 26?
False
Suppose f - 5*s - 4 = 7, 3*f - 88 = 4*s. Does 12 divide f?
True
Let s(n) = -8*n + 12. Is s(-24) a multiple of 12?
True
Is 9 a factor of 6/21 + 6/(-63)*-102?
False
Is 12 a factor of (630/(4 - 9))/((-3)/2)?
True
Let w = -102 + 31. Let o = 111 + w. Let n = o - 23. Does 14 divide n?
False
Suppose 2*n + k - 223 = 0, 0 = n - 4*n + 2*k + 352. Does 11 divide n?
False
Let k be (1 - 0) + (-1 - 1). Let t be -3*(k - (-86)/(-6)). Suppose a = -3*a - 3*p + t, -6 = -3*p. Does 10 divide a?
True
Let o be (1 - -2) + -1 - 56. Let i = -21 - o. Is 13 a factor of i?
False
Is (-2072)/(-40) - (-1)/5 a multiple of 20?
False
Suppose -270 = -j - 2*j. Does 15 divide j?
True
Let a = -38 + 88. Is a a multiple of 10?
True
Let i(a) = a**3 + 4*a**2 + 3. Let c be i(-4). Suppose c*g = 5*p - 138, -5*g - 4 = 1. Does 9 divide p?
True
Let h(t) = -t**3 + 13*t**2 + 4*t + 10. Is 7 a factor of h(13)?
False
Let b(k) = 2*k**2 + k - 3. Is b(-3) a multiple of 4?
True
Let x(w) = 12*w**2 + 7*w - 15. Does 39 divide x(5)?
False
Let m(v) = -v**2 - 7*v + 3. Let c be m(-7). Suppose 0 = 6*p - c*p - 48. Is p a multiple of 8?
True
Let m(p) = -21*p**2 - 3. Let h(a) = -22*a**2 - a - 3. Let k(v) = 3*h(v) - 4*m(v). Let o be k(2). Let q = o + -49. Does 10 divide q?
True
Let x(d) = -d. Let h(t) = -7*t + 14. Let f(c) = h(c) - 6*x(c). Let s = 1 + -1. Is f(s) a multiple of 5?
False
Let m = 0 + 3. Suppose 4*n - 40 = -2*o, -m*o - 2*n - 68 = -6*o. Does 22 divide o?
True
Let h be 13/(-3) + 4/12. Let s be (-62)/h - 6/(-4). Suppose 3*j - s = 1. Does 3 divide j?
True
Let r = -5 - -9. Is 4 a factor of r?
True
Let q(n) = 13*n**3 + 2*n**2 + 2*n - 1. Does 23 divide q(2)?
True
Let c = 6 + 3. Does 9 divide c?
True
Does 8 divide (-87)/(-12) + (-15)/(-20)?
True
Let i = 3 - 34. Let z = -100 - -154. Let y = z + i. Is 10 a factor of y?
False
Suppose 8 - 2 = 3*y. Suppose -h = -y*h + 3. Is 3 a factor of h?
True
Let u(z) = -z + 14. Let a be u(12). Suppose 2*l + 3*n - 16 = 9, a*l = -5*n + 27. Does 11 divide l?
True
Suppose -3 = -d - 0. Suppose d*q - 15 = 75. Is q a multiple of 15?
True
Suppose 45 = 3*s + 2*s - 3*j, 0 = -4*j. Is 3 a factor of s?
True
Let i(y) = y**3 + 6*y**2 + 6*y + 7. Let z be i(-5). Suppose -10 = -z*p + 8. Is 4 a factor of p?
False
Let y = -18 - -70. Suppose -y = -s - 18. Does 18 divide s?
False
Let n = 363 + -170. Does 24 divide n?
False
Suppose -2*y = -7*y + 575. Does 30 divide y?
False
Let u(k) = 51*k**2 - 2*k + 1. Let l be u(1). Let v = 2 + 1. Suppose 3*f - 2*d = 40, v*f - l = 2*d + 2*d. Does 4 divide f?
False
Suppose 5*t = -0*t - 80. Suppose -88 = -3*s + s. Let u = s + t. Is u a multiple of 11?
False
Suppose -5*u + 7*i + 491 = 4*i, 3*u = 4*i + 288. Is 10 a factor of u?
True
Suppose 4*q - 1178 + 198 = 0. Does 49 divide q?
True
Let s(q) = 2*q**2 - q - 1. Is s(-5) a multiple of 18?
True
Let f be (-51)/(-15) + 4/(-10). Suppose -2*p + p + 32 = 0. Suppose b - p = -f*v, 2*v = -5*b + 6*v + 65. Does 7 divide b?
False
Let k be 4 + (-2 - -3 - -1). Let a be 27/(1/4*k). Let f = a + -8. Is f a multiple of 10?
True
Let v(o) = o**2 - 3*o - 2. Let c be v(6). Suppose -x = 3*x - c. Does 2 divide x?
True
Let p be (58/4)/((-1)/2). Suppose 0*n - 45 = 3*n. Let l = n - p. Does 7 divide l?
True
Let v(u) = -u**3 - 6*u**2 + u + 6. Suppose -4*z = -0*z - 12. Suppose -6 = z*s + 15. Is v(s) a multiple of 14?
False
Let p(v) = v**2 + 6*v - 5. Let g be p(-8). Let z(h) = h - 10. Let w be z(g). Is 2 a factor of (1 + w)*(-35)/(-10)?
False
Let d be (-1)/4 + 134/(-8). Let k = d - -37. Is k a multiple of 10?
True
Suppose 5*f + r - 4*r - 67 = 0, f + 4*r = -5. Let y be f - (2 - (0 + 1)). Suppose -5*o = -155 - y. Is o a multiple of 16?
False
Suppose -x + y = -5*x + 643, 0 = -5*x - 3*y + 795. Is 18 a factor of x?
True
Suppose -3*n + 533 = 50. Is 12 a factor of n?
False
Let a be (9 + 2)*-5 - -1. Suppose 0 = 4*f - 3*f - 9. Is 6 a factor of 2/f + (-474)/a?
False
Let t(v) = -30*v**3 + v**2 + v. Let y(k) = 2*k - 15. Let r be y(7). Does 30 divide t(r)?
True
Suppose 6 = p + 2*p. Suppose -5*v + 3 = -p*v. Suppose -v = b - 5. Is 2 a factor of b?
True
Let d(h) = -1. Let r(p) = 2*p**2 + p - 5. Let t(o) = -4*d(o) + r(o). Let k = 7 + -10. Is 9 a factor of t(k)?
False
Let j = -2 - -1. Let l = 5 + j. Suppose l*d + 0*i = 4*i + 88, 8 = -2*i. Does 9 divide d?
True
Let n be (3 - (-1 - 1)) + 1. Suppose -p = -26 + n. Does 9 divide p?
False
Suppose -v = -4*v + 9. Suppose -4*p = -v*m + m + 14, m + 11 = -4*p. Does 9 divide 218/8 - p/(-12)?
True
Let d = -51 - -77. Does 26 divide d?
True
Suppose -6*w = -2*w - 1408. Let f(l) = -l**2 + 4. Let y be f(0). Is 9 a factor of y/10 + w/20?
True
Suppose m + 7 = 2*m. Let h = 19 - m. Is 12 a factor of h?
True
Suppose -40 = -3*f + 4*s, 4*f = -2*s + 31 + 15. Suppose -4*d = t + 3*t + f, -3*t - d - 3 = 0. Suppose 4*v = -t*v - 8, -2*v = 4*r - 32. Is 6 a factor of r?
False
Suppose -122 - 178 = -5*a. Does 10 divide a?
True
Suppose -5*c = 32 - 2. Let y = -6 - c. Suppose 0*d + 3*d + 4*s - 49 = y, 4*d + 3*s - 70 = 0. Is 14 a factor of d?
False
Suppose -t + 5*t - 12 = 0. Suppose 0 = -v - 4*g - 32, 5*v + t*g = 2*g - 84. Is 2*(-1)/2 - v a multiple of 4?
False
Let s = 13 + -10. Let p = 37 + s. Let m = p + -23. Is 16 a factor of m?
False
Suppose -5*y + 8 = -7. Suppose -y*t + t = -18. Does 9 divide t?
True
Let r(w) = 3*w**2 + 3*w**2 + 2 - 6*w**2 + 2*w**2 - 3*w. Let a be r(2). Suppose -p = -a*p + 18. Is p a multiple of 3?
True
Let t(g) = 30*g - 2. Let o be t(2). Let m = 92 - o. Let d = -24 + m. Does 5 divide d?
True
Let l(t) = 33*t**2 + t - 1. Let v(b) = -b**2 + 8*b - 6. Let c = 19 + -12. Let u be v(c). Does 13 divide l(u)?
False
Suppose -3*f = -3*i + 9, 3*i + 5*f = -2*i - 35. Is (i + 1)/(1/(-21)) a multiple of 6?
False
Suppose z = 7 - 41. Suppose -50 = 3*v - 14. Let d = v - z. Does 12 divide d?
False
Let i = 14 - -127. Does 19 divide i?
False
Let y = -30 - -42. Let l be 3/((-3)/2) + 31. Let r = l - y. Is 13 a factor of r?
False
Suppose 0 = -h + 69 + 3. Is h a multiple of 24?
True
Suppose 5*p = -o + 6*o - 35, -5*o - 3*p = -59. Suppose -o*n + 9*n + 15 = 0. Is n a multiple of 13?
False
Let q(h) = -h**2 - 4*h + 8. Let w be q(6). Let i = 73 + w. Let d = 33 - i. Is d a multiple of 6?
True
Let j = 19 + -11. Let r be 2 - 3/(12/8). Let z = j - r. Does 8 divide z?
True
Let v(q) = q**2 + 4*q + 4. Is v(4) a multiple of 6?
True
Let o(m) = m - 4. Let b be o(7). Suppose 0 = -7*y + b*y + 196. Is 13 a factor of y?
False
Let b = 2 - 0. Suppose -104 = -3*z + k, b*k = -k - 6. Does 17 divide z?
True
Suppose 5*j = -5*n - 173 + 1228, -n - 1079 = -5*j. Does 47 divide j?
False
Let j = -69 + 92. Does 17 divide j?
False
Let s = 4 - 6. Let d be 0 + s/4*-34. Suppose -d = 4*b - 73. Does 7 divide b?
True
Suppose 4*s = -35 + 259. Is s a multiple of 28?
True
Let l be ((-21)/(-9))/(3/(-9)). Let g = l + 8. Is 10 a factor of g/5 + (-147)/(-15)?
True
Let l(u) = 10*u**2 + 8. Let v(q) = 11*q**2 + 9. Let p(g) = 6*l(g) - 5*v(g). Does 17 divide p(-4)?
False
Suppose -2*a - 306 = -8*a. Is 12 a factor of a?
False
Let q be (-2 + 2)*1*-1. Suppose 7*k - 2*k - 60 = q. Is (-1)/(-3) - (-248)/k a multiple of 7?
True
Let s be ((-2)/(-6))/((-2)/(-12)). Suppose -s*v - 14 = -0*v. Let g(r) = -r + 3. Is 10 a factor of g(v)?
True
Is (8/3)/((-15)/(-45)) a multiple of 4?
True
Let x = -12 - 0. Does 6 divide (-177)/x - (-3)/12?
False
Let a be (-6)/(-9) - (-4)/3. Let i(j) = -9*j**3 + 4*j**2 - 11*j - 2. Let d(v) = -4*v**3 + 2*v**2 - 5*v - 1. Let p(t) = -7*d(t) + 3*i(t). Is 2 a factor of p(a)?
False
Suppose -5*q = -5, 0 = -0*g - 4*g - q + 17. Suppose -4*j = -4*z + g, 2*j - 33 = -z - 4*z. Suppose -3*f + z*f = 44. Is f a multiple of 7?
False
Let r(n) = 24*n. Let o be r(3). Suppose -3*b - 2*s + o = -4*s, 0 = 5*s. Is 8 a factor of b?
True
Let h(f) = 2 - 36*f - 1 + 28*f. Let d be h(-2). Let v = d - 11. Does 3 divide v?
True
Suppose 0 = -4*a - i + 120, 3*a + 0*i = -i + 90. Is 11 a factor of a?
False
Suppose 2*q + 12 = 4*q. Let y = q + 0. Is y even?
True
Suppose -z = -5*z + 124. Is 10 a factor of z?
False
Let i = 0 - -6. Suppose i*t = 3*t + 21. Is 7 a factor of t?
True
Let r(s) = s + 12. Let z = 9 + -17. Le