divide w(-2)?
False
Suppose 11*d - 32480 = -18*d. Is d a multiple of 32?
True
Suppose 0 = -h - l - 2, 1 + 1 = 2*h + 4*l. Does 30 divide (-3 + 7 + h)*(-39 + 2)?
False
Let p(i) = -3*i - 13. Let f be p(-7). Suppose -3*g = -f*g + 200. Does 5 divide g?
True
Let n(m) = m**3 + 3*m**2. Suppose 4*w + t = -1, 2*w - 2*t - 7 = -t. Is n(w) a multiple of 2?
True
Suppose 1 + 3 = -4*u. Is 17 a factor of 459/(-18)*((-2 - u) + -1)?
True
Suppose -5*y - 5 = 0, 0 = 3*d - 5*y + 8 - 28. Let n(s) = 2*s**2 - 5*s - 6. Let o(t) = t**2 - t - 1. Let p(l) = -n(l) + 3*o(l). Does 19 divide p(d)?
True
Let j = -21 - -33. Suppose -s = -5*s - j, 2*s + 6 = -3*u. Suppose u = 10*b - 6*b - 160. Does 7 divide b?
False
Let w be (-2 - (-2 + 1))*-25. Suppose w = 3*g - 26. Is 2 a factor of g?
False
Suppose -4*w + 3*f + 21 = 0, w + 3*f + 4 = -2. Suppose -w*d - d + 343 = 3*l, 0 = -l - 3*d + 111. Is 9 a factor of l?
True
Suppose -f - 1342 = -1442. Does 5 divide f?
True
Suppose 0 = -7*z + 3*z - p - 36, -5*z + p - 45 = 0. Let m(b) = -b**3 - 9*b**2 + 2. Let i be m(z). Let l = 12 - i. Is l a multiple of 10?
True
Let p be (-2 + (-129)/(-15))*5. Let c = 15 - p. Let l = c - -37. Is 8 a factor of l?
False
Suppose 5*g + 7*m - 2780 = 2*m, 0 = 5*g - m - 2774. Is 9 a factor of g?
False
Let q(c) = -8*c - 5. Let i be (0/(3 + -2))/2. Suppose i*h + z - 19 = 5*h, -3*h - z = 13. Does 12 divide q(h)?
False
Let b = 17 + -24. Let c(k) = 2*k**2 - 9*k - 2. Let i be c(b). Let f = i + -95. Is 15 a factor of f?
False
Is (2358/4 + (3 - 2))*2 a multiple of 85?
False
Suppose 0*k + 5*k - 10 = 0. Suppose y - 91 = 5*d, -k*d - 696 = -5*y - 126. Is 29 a factor of y?
True
Let p(r) = 16*r + 24. Let z(s) = s**2 + 13*s + 16. Let a be z(-13). Is p(a) a multiple of 17?
False
Let f = -101 - -118. Suppose 0 = 21*o - f*o - 68. Is 17 a factor of o?
True
Suppose 4*v + 3 = 7*v, -m - 5*v = -546. Does 21 divide m?
False
Is 20 a factor of -420*(12/6 + -3)?
True
Let o = 4 + -4. Suppose -54 = -2*z - o*z + 5*r, 3*z - 64 = -r. Does 17 divide z?
False
Let c(m) = m - 16*m**3 - 4*m + 2*m - m**2. Does 4 divide c(-1)?
True
Let x be -3 + (-1)/(-3 + 40/14). Let p = 4 - 1. Suppose x*v - 64 = p*v. Is v a multiple of 16?
True
Let j(u) = 3*u**2 - 12*u + 71. Is j(20) a multiple of 22?
False
Suppose 4*o - 21 - 191 = 0. Let h = 210 - o. Does 13 divide h?
False
Let h = 343 - 234. Is 11 a factor of h?
False
Let a(v) = -2*v + 1. Let o(u) = 2*u - 2. Let w(p) = 6*a(p) + 7*o(p). Let y be w(9). Let k(z) = 3*z + 7. Does 11 divide k(y)?
False
Suppose 2*n = p + 50, -3*n - 5*p + 40 = -35. Is 2 a factor of n?
False
Let v(i) = -2*i**2 - 29*i. Let a be v(-17). Let k = 97 + a. Is k a multiple of 7?
False
Suppose 0 = -6*a - 5*a - 22. Let p(z) = -4*z**3 - 2*z**2 + 4*z + 5. Is p(a) a multiple of 7?
True
Let n(y) = -5*y + 13. Let g be n(13). Let x be g/2*2/(-4). Suppose -8*w - 30 = -x*w. Is 4 a factor of w?
False
Let w(b) = -3*b**3 - 15*b**2 + 3*b - 33. Is 12 a factor of w(-7)?
True
Suppose -2*b - 3*b = -40. Suppose h = b*h - 399. Let a = -27 + h. Is 20 a factor of a?
False
Let d be 6/3 - (-2)/2. Suppose -4*v = -d*v - 14. Is v a multiple of 10?
False
Suppose 4*f - 18 = -58. Let z(k) = 5*k**3 - 30*k**2 + 4*k + 33. Let i(w) = -2*w**3 + 10*w**2 - w - 11. Let q(m) = -8*i(m) - 3*z(m). Is q(f) a multiple of 5?
False
Let q be (-13)/((-91)/12)*-14. Let x = q - -27. Suppose 469 = 5*r + 4*c, -x*c = -2*c + 4. Is 20 a factor of r?
False
Suppose -438 = -2*f + 2*p, f - 3*p - 79 = 136. Is 6 a factor of f?
False
Let p be 10/(-40)*(0 + 0). Let m be (91 - -1) + (-8)/(-2). Suppose -2*t - 4*i + m = p, 5*t - 42 = -2*i + 174. Is 14 a factor of t?
True
Let n be 0/(1/((-1)/(-2))). Let s be 2/((-3)/(-6) - n). Suppose -s*y + 19 = k, 3*k + 0*y = -3*y + 39. Is k a multiple of 8?
False
Let l = 70 - 74. Is 4 - (60/(-3) + l) a multiple of 7?
True
Suppose -4*t + 7*t = 30. Suppose 0*w - 2*w + t = 0. Suppose -i + 63 = 2*i + w*v, -v = i - 21. Is i a multiple of 11?
False
Let w(r) = -2*r + 3. Let j(i) = -9*i + 12. Let s(v) = -6*j(v) + 26*w(v). Let u be s(2). Suppose -5*q - u = 0, -3*q + 21 = 3*a - 69. Does 9 divide a?
False
Let y be (0 + (-2)/4)*-4. Suppose -79 = -y*o + 141. Is 27 a factor of o?
False
Let x(k) = -1 + 2*k**3 - k**2 - 4*k**2 + 3*k - 2 - k**2. Is x(4) a multiple of 12?
False
Let c be 4*((-5)/2 + 2). Let i be (c/5)/((-4)/20). Is i*15/(-1)*-1 a multiple of 15?
True
Let v = -40 + 343. Let u be 10*(v/15 + -3). Suppose 52 = 4*y - u. Is 14 a factor of y?
True
Let d(b) = 4 + 4 + 8 - 19 + b**2 - b. Let v be d(3). Suppose -3*r - 4*j = -202, -r + v*j = 3*r - 261. Is 17 a factor of r?
False
Suppose 6*t = 22*t - 4752. Is t a multiple of 14?
False
Suppose -7*x - 2*h - 100 = -9*x, 108 = 2*x + 2*h. Does 13 divide x?
True
Suppose -3*a + 138 = 3*t, 5*t + 92 = 4*a - 2*a. Does 14 divide a - (0 + 3/(-3))?
False
Let y(q) = -3*q**3 + 2*q**2 - 6*q. Suppose -v + 3*a + 3 = 0, -4*v + 0*a = a - 12. Let z be y(v). Let w = -47 - z. Does 24 divide w?
False
Is (-4960)/(-24)*(-6)/(-4) a multiple of 10?
True
Let p be 0 - 4/8*-4. Does 2 divide -8 + 21 - (p - 0 - 1)?
True
Suppose 7*f = 11*f - 176. Suppose 0*t - t - 2*v = -20, 0 = -2*t - 5*v + f. Does 6 divide t?
True
Let v(z) = z**2 - 7*z. Let w be v(7). Suppose -2*o + w*o = -3*s + 54, -o - 4*s - 49 = 0. Let g = 51 + o. Is g a multiple of 18?
True
Let s = 1144 - 310. Is 13 a factor of s?
False
Let i(o) = -34*o**3 - o**2 - 5*o - 6. Is 13 a factor of i(-1)?
False
Let p(j) = -2*j**2 - 23*j + 15. Let y be p(-12). Let x be 87/(-2)*(-4)/3. Suppose -y*m + m = -x. Is m a multiple of 17?
False
Let f = -23 + 25. Let w be -41 - (5 - f) - -4. Let s = w - -89. Does 15 divide s?
False
Let o = 278 - 196. Let v = o - 15. Suppose -4*f = 16, 4*y - 2*f - 145 = v. Is 17 a factor of y?
True
Let z be 2/16 + 159614/16. Let u be z/120 - 4/30. Suppose 2*p - u = 17. Is p a multiple of 25?
True
Suppose 2*a + 2803 = 3*n + a, 0 = -3*n - 5*a + 2833. Does 24 divide n?
True
Let k(w) be the first derivative of -3*w**4/4 + 4*w**3/3 + w**2 - w - 3. Let g be k(-2). Let f = g + 4. Does 13 divide f?
True
Suppose 5*x - 3623 = -4*r, 0*x + 2*x - 902 = -r. Does 12 divide r?
True
Suppose -2*h - 12 = -16. Suppose 0*i + 4*i = 3*t - 55, 101 = 5*t - h*i. Is 7 a factor of t?
True
Let u(k) = -2*k - 5*k + 6*k + k**3 + 99. Let b be u(0). Let x = -37 + b. Is 31 a factor of x?
True
Let s be 14/6 + (-16)/(-24). Is 5 a factor of 45 - (3 + s + -6)?
True
Let q(g) = -2*g + 18. Let u be q(8). Suppose -3*n = u*j - 145, 63 = -5*j - 4*n + 443. Suppose -3*o - 48 = -i + o, -4*o - j = -2*i. Is i a multiple of 8?
True
Let r(v) = 584*v**2 + 5*v - 4. Does 84 divide r(1)?
False
Let d be ((-120)/(-28))/((-3)/(-21)). Suppose -3*h + d = 12. Is 3 a factor of (12/(-9))/(h/(-81))?
True
Let i(k) = -15*k**2 + 18 + 3*k**3 - 2*k**3 + 4 - k. Let c be (-5)/(-10)*15/(-3)*-6. Is i(c) a multiple of 7?
True
Let s be -2 - 390/(-25) - (-2)/5. Suppose -p + 0*p = 4*l - 31, -p - s = -5*l. Is p a multiple of 3?
False
Suppose 53*s - 76*s + 14214 = 0. Does 27 divide s?
False
Let t(m) = 10*m**2 - 6*m - 7. Let h(u) = -7*u**2 + 4*u + 5. Let o(s) = -7*h(s) - 5*t(s). Let d be o(2). Let c(v) = v**3 + 7. Is c(d) a multiple of 7?
True
Let u = -91 - -208. Is 9 a factor of u?
True
Let v = 139 - 13. Is v a multiple of 14?
True
Let f(o) = -2*o**3 - 8*o**2 + 30*o + 13. Let v be f(-9). Suppose -9*u = -2*u - v. Is u a multiple of 35?
False
Suppose m - 4*f - 385 = 756, -5*f = -15. Does 9 divide m?
False
Let o = 159 + 399. Does 31 divide o?
True
Let z(t) = 51*t**2 + 7. Does 12 divide z(3)?
False
Suppose -35*z = -3239 - 32146. Does 34 divide z?
False
Is ((-81)/(-4))/(21/1932) a multiple of 69?
True
Let j(n) be the second derivative of -n**5/60 - n**4/3 - 5*n**3/3 + 3*n**2 - 9*n. Let r(v) be the first derivative of j(v). Does 5 divide r(-5)?
True
Let x = -11 - -14. Let y(n) = -n**x + 13 - 3*n - 3*n - 8*n**2 - n - 5. Does 8 divide y(-7)?
True
Let q(g) = -g + 50. Is 6 a factor of q(-4)?
True
Suppose 0 = -5*f + 29702 - 7262. Is f a multiple of 20?
False
Suppose -5*k + 4*k + 12 = -3*o, 0 = -3*k + 5*o + 24. Is 10/(((-12)/(-32))/k) a multiple of 33?
False
Let y be -5*9/((-135)/(-42)). Let g = -33 - y. Is 23 a factor of (g/38)/((-2)/296)?
False
Suppose 3*i - 26*p - 15640 = -28*p, 4*i - 2*p - 20858 = 0. Is 33 a factor of i?
True
Suppose 47*x - 10344 = 35*x. Does 87 divide x?
False
Suppose -p -