q(u) = u**2 + 7*u - 7. Let h be q(-5). Let p = h + 83. Does 17 divide p?
False
Suppose g - 36 = -2*g. Is g a multiple of 6?
True
Suppose -3*g + 234 = 4*d, -5*d - 15 = -0*d. Is 18 a factor of g?
False
Suppose 0 = -5*o + 3*q + 25, 3*q = -2*o + 2*q - 1. Suppose -t + 5*z = -28, o*t = 6*t + 2*z - 46. Let s = 14 + t. Does 17 divide s?
False
Suppose -j - 16 = -5*j. Suppose -16 - 156 = -4*k - 2*q, j*k = 4*q + 160. Suppose k = 2*a + a. Is a a multiple of 7?
True
Let u(c) = -c**3 + 5*c**2 + 3*c + 3. Let z(a) = 3*a + 2. Let k be z(-4). Let j = k - -14. Does 11 divide u(j)?
False
Let q(w) be the first derivative of w**2/2 + 1. Let k be q(-2). Does 8 divide k/(-6) - 161/(-21)?
True
Let u be -29 + 0 - (-4 - -6). Let r = u - -55. Is 8 a factor of r?
True
Let b(r) = -2*r**2 - 7*r + 8. Let o(c) = 2*c**2 + 8*c - 9. Let l(a) = -6*b(a) - 5*o(a). Let d be l(-3). Does 19 divide (-3)/d - (-410)/6?
False
Suppose 3*k = -5*l - 0*k - 90, -2*k = 4*l + 70. Let y = l + 53. Does 19 divide y?
True
Let i = -5 + 5. Suppose -x + 7 = 5*w, i*w - 62 = -5*x + 2*w. Let o = x - 2. Is o a multiple of 5?
True
Let z = -1 + 8. Let x = z + 17. Does 12 divide x?
True
Suppose -2*u - 2*u = -20. Suppose -3*z = -u*z + 30. Is z a multiple of 9?
False
Let j(b) be the third derivative of b**6/120 + b**5/20 - b**4/6 - 6*b**2. Is j(-3) a multiple of 6?
True
Let t = -36 + 64. Does 14 divide t?
True
Suppose -11*g = -7*g - 780. Does 19 divide g?
False
Suppose -4*f + 0*f + 2*g + 10 = 0, 4*g = 3*f - 10. Suppose 0 = -4*d - f - 6. Let b(m) = -m. Is 2 a factor of b(d)?
True
Let b(j) be the third derivative of -11*j**4/24 - j**3/6 - j**2. Let c be (2 - 1)*(0 - 1). Does 5 divide b(c)?
True
Suppose -4*d - 5*y + 28 = 0, -d + 2*d - 7 = 2*y. Let z(k) = -k**3 + 8*k**2 - 6*k. Is 3 a factor of z(d)?
False
Let y(q) be the third derivative of q**5/60 + 3*q**4/8 + 5*q**3/6 - 2*q**2. Let z be y(-9). Suppose -w + 7 = -z. Is 5 a factor of w?
False
Let t(d) = 3*d**2 + 11*d + 12. Does 6 divide t(-3)?
True
Suppose -3*d + p + 133 = 0, 2*d + 0*d + p - 97 = 0. Is 20 a factor of d?
False
Let t be 19*1/(-1 + 0). Let x = -3 - -2. Let d = x - t. Is d a multiple of 9?
True
Suppose 0 = 4*f + 104 + 28. Let z = f - -49. Does 8 divide z?
True
Let w(z) = z**2 - 8*z - 14. Does 5 divide w(10)?
False
Let o = 685 + -405. Suppose r - o = -r. Suppose -16 = -z + 3*b - b, -r = -5*z - 5*b. Does 12 divide z?
True
Suppose -7*b = -12*b + 140. Suppose -3*o + 2 = -b. Does 9 divide o?
False
Let k = -68 - -98. Is 19 a factor of k?
False
Does 6 divide (2 - 18/15)*9*5?
True
Suppose 4*n = 34 + 10. Suppose -n = -o + 20. Is o a multiple of 12?
False
Suppose 8*h = 3*h + 15. Is (h - -22)*(-8)/(-5) a multiple of 20?
True
Let n(m) = m + 22. Does 11 divide n(-11)?
True
Let q(c) = c**3 - 8*c**2 + 8*c - 4. Let d be q(7). Let b(s) = s**3 + s**2 + 2*s + 2. Is 11 a factor of b(d)?
True
Let r = 4 + -2. Suppose -q = -19 + r. Does 17 divide q?
True
Suppose 2*v + 257 = 855. Does 63 divide v?
False
Suppose 0 = 4*h - 713 - 243. Is 25 a factor of h?
False
Let n(t) = -3*t - 4. Let j be n(-6). Suppose 4*z - j + 2 = 0. Suppose 0 = -z*b + 5*k + 79, 4*b + b + 5*k - 65 = 0. Is 9 a factor of b?
True
Suppose 0 = -2*x + x + 4*g - 17, -15 = -3*g. Suppose -x*r + 1 = -23. Is r a multiple of 5?
False
Let t = -9 - -9. Suppose t = -3*k + 123 - 36. Does 5 divide k?
False
Let v be ((-15)/25)/((-2)/10). Let j = v + 3. Is 5 a factor of j?
False
Let q(a) = -2*a**3 + 7*a - 76. Let h(f) = f**3 - 4*f + 38. Let m(g) = -7*h(g) - 4*q(g). Let u be m(0). Suppose s - u = -13. Is 17 a factor of s?
False
Suppose -2594 = -19*s - 751. Does 13 divide s?
False
Let o(i) = -2*i**3 + 2*i**2 + 3*i - 5. Let f be o(-5). Suppose 0 = -0*z + 4*z + f. Is 12 a factor of 4/6 + z/(-3)?
True
Suppose 187 = 4*s - 493. Is 17 a factor of s?
True
Let l(s) = s**2 - 2*s - 2. Let n = 6 + -4. Let t be l(n). Let o = t + 6. Is o a multiple of 2?
True
Let t(h) = h**3 + 6*h**2 + 3*h - 1. Let k be t(-4). Suppose 20 = -5*l, b = -2*l - l + k. Is b a multiple of 12?
False
Suppose -5*x = -5*l + 664 + 571, -2 = x. Suppose 5*y - l = -0*y. Let z = y - 25. Is z a multiple of 12?
True
Let c(f) = f**2 - 16*f + 50. Is c(15) a multiple of 11?
False
Let f(b) = 2*b**2 + b - 1. Suppose 0 = 2*v - 0 - 6. Does 10 divide f(v)?
True
Does 12 divide 524/26 + (-24)/156?
False
Let m(w) = w**3 - 2*w**2 - 5*w + 10. Let o(s) = s**2. Let z(t) = m(t) - 4*o(t). Is 5 a factor of z(7)?
False
Does 45 divide ((-405)/12)/(3/(-12))?
True
Does 12 divide -1 + 4 - (-8 - 5)?
False
Suppose -5*r + 13 = -2*r - 5*i, -5*r = -4*i - 13. Let m = 4 - r. Is 3 a factor of m?
True
Suppose b - 2*w - 52 = 0, 2 = b + 3*w - 30. Is 11 a factor of b?
True
Suppose 18 - 50 = -2*f. Let g = f - 1. Is g a multiple of 15?
True
Suppose -k = 2*k + 39. Let p = 43 - k. Is 14 a factor of p?
True
Suppose -180 = q - 5*q + 3*g, 5*q + 3*g - 198 = 0. Suppose p - 2*p + q = 0. Is 13 a factor of p?
False
Let h = -8 - -21. Does 3 divide h?
False
Suppose -g - 112 = -5*j + g, 3*g = -5*j + 107. Is 3 a factor of j?
False
Is 5 a factor of ((-7)/2)/((-17)/646)?
False
Suppose 313 = 6*s - 77. Is s a multiple of 13?
True
Let h(y) = -y**3 - 48 + 2*y**2 - y**2 + 132. Let k be h(0). Suppose 0 = -4*d - 4*s + k, -5*d - 3*s = -s - 111. Does 9 divide d?
False
Does 11 divide ((-9)/(-3))/3 - -21?
True
Is 25 a factor of (-790)/(-12) - (-2)/12?
False
Suppose -153 = -7*h + 57. Does 6 divide h?
True
Suppose -i - 2*t + 2 + 0 = 0, 0 = 4*i + 4*t - 8. Suppose y + i = 10. Is y a multiple of 3?
False
Let r(s) = -3 + 2*s**3 + 2*s**3 - 4*s - 5*s**3 + 0*s**3 - 2*s**2. Is r(-2) a multiple of 3?
False
Suppose 3*w + 40 = 2*w. Is 8 a factor of ((-3)/6)/(2/w)?
False
Suppose -5*r = -2*s - 937, 2*r - 10 = -3*s + 361. Does 30 divide r?
False
Suppose 0 = 6*w - 16 + 106. Let x = 43 - w. Is x a multiple of 29?
True
Let h be 1 - 0 - (-11 - -12). Suppose h = 5*v - 51 - 144. Is v a multiple of 13?
True
Let b be (-2)/5 - (-84)/35. Suppose -2*v + 3*t + 39 = 0, 5*t = -b*v + 3*v - 37. Is 6 a factor of v?
True
Suppose -30 = -2*k - 4*c, 0 = -k - k + 5*c - 15. Suppose 2*p + 66 = k*p. Does 13 divide p?
False
Let t be 1/((0 - -3)/126). Suppose 5*y = 0, p + t = 4*p + 2*y. Does 7 divide p?
True
Does 9 divide (90/(-4))/(7/(-14))?
True
Let u be -4*(0 - (-1)/(-1)). Suppose -u*n + 235 = 75. Is 20 a factor of n?
True
Is 8 a factor of ((-9)/(-3))/((-6)/(-32))?
True
Let f be (1/2)/((-14)/(-112)). Suppose f*j - 249 = -61. Does 18 divide j?
False
Suppose -30 = 5*t + 5*a, 4*a + 28 = -4*t - t. Let v(k) = k**3 + 7*k**2 + 6*k + 6. Is v(t) a multiple of 15?
True
Suppose -1 - 125 = -4*c + 5*d, -3*d = -5*c + 151. Is 11 a factor of c?
False
Let c(o) be the second derivative of 11*o**4/12 + o**3/6 + o. Suppose 1 - 3 = v. Does 16 divide c(v)?
False
Suppose 5*f - 11 = 9. Suppose 143 = f*h - n + 2*n, -h + 2*n + 38 = 0. Does 12 divide h?
True
Let m(p) = -p**2 + 7*p - 4. Let q be m(6). Let z be q - (1 + (2 - 3)). Let r(t) = 7*t**2 - 2. Is 13 a factor of r(z)?
True
Let s(m) = 19*m**2 - 5*m + 5. Let y = 10 - 6. Let v be s(y). Does 11 divide v/7 - 18/63?
False
Suppose 179 = 4*w - 0*w - 3*x, -3 = 3*x. Is w a multiple of 6?
False
Suppose -v = v - 326. Does 13 divide v?
False
Let r = -5 + 3. Let h = r - -4. Is 6 a factor of h*17*1/2?
False
Let h = -104 + 191. Does 12 divide h?
False
Let c(m) = -2*m**3 - 3*m**2 - 3*m + 4. Let o = 0 - 3. Is c(o) a multiple of 9?
False
Suppose 8*f - 2*m = 3*f + 53, -4*f = 5*m - 49. Suppose 2*y = v + y - f, -5*v - 3*y + 47 = 0. Let l = v - -9. Is 11 a factor of l?
False
Let j(n) = 67*n - 14. Does 34 divide j(3)?
False
Let s = -3 - -5. Let w = s + -5. Let a = w - -8. Is 3 a factor of a?
False
Let g be (50/6)/(-5)*-21. Let z = 3 + g. Is z a multiple of 15?
False
Let k be (-2 - -4) + 1 + -2. Let w be 1/k + (-18)/1. Let a = -3 - w. Does 7 divide a?
True
Let h = -59 - -104. Suppose -30 = -y + h. Suppose 5*w - 5*g = y, -4*w + 2*w + g + 27 = 0. Is w a multiple of 5?
False
Suppose 5*u - 2*u - 6 = 0. Let w(q) = q - 2*q**2 - 7*q + q**u - 2. Does 2 divide w(-5)?
False
Let b(t) = -t + 38. Let v be b(0). Let g = v + 14. Is g a multiple of 21?
False
Suppose -2*t - 442 + 66 = 0. Let l = t + 298. Suppose -l = -0*q - 5*q. Is q a multiple of 9?
False
Is 55*(-4 - -3)*-1 a multiple of 7?
False
Let o = 21 - -5. Let g(m) = -m**3 - 1. Let h be g(-1). Suppose h = 5*f - o + 6. Does 4 d