t x(d) = -4*b(d) - 3*w(d). Is 20 a factor of x(v)?
True
Suppose -4*o + 1064 = 5*h + 101, 0 = -3*o + 2*h + 751. Does 13 divide o?
True
Let z be (1/1)/((-13)/(-39)) + 0. Let f be (-12)/(-7) + (-4)/(-14). Suppose 136 = z*n - 2*g, -6*n + n = f*g - 248. Is n a multiple of 12?
True
Suppose 3*s + 1530 = -0*s + 3*j, -1028 = 2*s + 2*j. Is (-10)/(-4)*s/(-80) a multiple of 4?
True
Let o(h) = 4 - 2 - 6*h**2 + 5*h**2 + 10*h. Let x be o(10). Is 12 a factor of 94/x + (0 - 2)?
False
Let k = -4 + 11. Suppose -k*r + 1060 = -2*r. Does 18 divide (-3)/((-12)/r) - -1?
True
Let j be ((-152)/114)/(2/6). Let l be (-8)/(-3)*(18 + 3). Let x = l + j. Does 26 divide x?
True
Suppose 0 = -37*r + 42*r - 20. Suppose -r*h - d + 226 = -0*d, 0 = h + 4*d - 64. Is 7 a factor of h?
True
Suppose -5*k + 4*k = 0. Let s(z) = -z**2 - 8*z - 2. Let x be s(-7). Suppose k = x*t - 157 - 58. Does 16 divide t?
False
Let j = 6 - 1. Suppose -3*v = -4*p - 116, 0*p + v + 164 = -j*p. Let x = 17 - p. Is x a multiple of 15?
False
Suppose 7*q = 2*q + 395. Let t(y) = -141*y**3 + y**2 - 1. Let b be t(-1). Let n = b - q. Is n a multiple of 23?
False
Let k = 16 + 13. Suppose k*j - 260 = 25*j. Does 8 divide j?
False
Suppose 0 = 499*i - 494*i - 350. Is 15 a factor of i?
False
Let b(x) = -2*x**3 - 6*x**2 + x. Let r be b(-3). Is 1060/(-15)*r + -5 a multiple of 26?
False
Is (-4988)/(-8) - (6/(-4))/3 a multiple of 8?
True
Let z(i) = i**2 - 13*i - 3. Let h be z(-9). Let y be (-30)/h + 828/(-26). Does 32 divide -3*6/9*y?
True
Let m = -203 + 2215. Is 95 a factor of m?
False
Suppose 3 = s + 12. Let b = -7 - s. Suppose b*m = -m + 21. Does 2 divide m?
False
Suppose 3*z + 2*v - 1269 = 0, 5*z = -5*v + v + 2117. Is z a multiple of 33?
False
Let u = 836 + -600. Is 4 a factor of u?
True
Let w = 114 - 180. Suppose 2*z - z + 38 = 0. Let o = z - w. Is 14 a factor of o?
True
Suppose 2*v - 43 + 35 = 0. Suppose 5*s + 3*t - 63 = 0, -5*s - v*t + 67 = -2*t. Is 6 a factor of s?
False
Let n(k) = -k**3 - 10*k**2 + 12*k - 4. Let y be n(-11). Let v be 3/y + (-32)/(-10). Is (6 - v - 5) + 33 a multiple of 13?
False
Let b = -35 - -30. Let i = 17 + b. Is 2 a factor of i?
True
Suppose 3*s + 76 = -s. Is -23 - s - (0 + -30) a multiple of 3?
False
Let q(k) = 2*k + 25. Let t be q(-11). Suppose -5*b + 85 = m, t*m - m = -b + 26. Is 4 a factor of b?
True
Let f(h) = h**2 - 4*h + 7. Let j be f(5). Let g = j - 10. Is 5 a factor of (g + -1 + -2)*-7?
False
Let j = 27 + -44. Let x = j - -38. Is x a multiple of 9?
False
Suppose -2095 = 3*l - 13054. Is l a multiple of 16?
False
Let h = -441 - -614. Is 5 a factor of h?
False
Suppose -4*x + 252 = -3*i - 1449, 4*i = 20. Is x a multiple of 131?
False
Let m = -11 + 10. Let h be 40*(330/m + -4). Is h/(-140) - 4/(-7) a multiple of 24?
True
Let l(f) = 7*f + 16. Let q be l(-8). Let d be (-208)/q - (-2)/(-10). Suppose -i - k + 33 = 0, d*i - k - 61 - 122 = 0. Does 29 divide i?
False
Let h(g) be the first derivative of -5*g**2 + 43*g - 2. Is h(-5) a multiple of 11?
False
Suppose 0 = 3*o - b + 2 - 3, -4*o + 2*b - 2 = 0. Let t be o - (-4 + (-239 - 2)). Suppose -z - z = -y + 60, -z - t = -4*y. Does 19 divide y?
False
Let b = 275 + -63. Does 25 divide b?
False
Let u(j) = j - 8. Let p be u(4). Let z be 3356/14 - p/14. Is 23 a factor of (-3)/(471/z - 2)?
False
Let j = -13 + 4. Let r be 3/(-9)*j + -1. Suppose 3*k = r*q - 51, 2*k - 118 = q - 6*q. Is 12 a factor of q?
True
Suppose -4*m = -5*b + 444, 3*m - 15 = -3. Does 46 divide b?
True
Let t(a) = a**2 - 10*a - 60. Does 5 divide t(15)?
True
Let j = 1240 + -690. Is j a multiple of 50?
True
Suppose 2731 + 2831 = 6*y. Does 9 divide y?
True
Suppose 5*q + r + r - 805 = 0, -4*q + r + 631 = 0. Is 15 a factor of q?
False
Suppose -1148 = -4*j - 128. Does 48 divide j?
False
Does 19 divide (-2546)/(-1) + (13 - 2) + -8?
False
Let f(d) = -6*d**3 - 10*d**2 - 9*d - 1. Is 17 a factor of f(-5)?
True
Let l be -12 - -22 - (-3 - -1). Does 10 divide 138 - 16/l*-3?
False
Let f(p) = -3*p**2 - 6*p - 4. Let c be f(-4). Let i = -23 - c. Suppose -8*t + 45 = -i*t. Is 4 a factor of t?
False
Suppose 3*t + 120 = 3*q, t = -2*q - 3*t + 80. Let d = q + 51. Is 7 a factor of d?
True
Let t(z) = -z**2 - 10*z + 11. Suppose 5*f = -5*s - 17 - 3, s + 2*f - 1 = 0. Is 10 a factor of t(s)?
True
Let s(r) = 4*r**2 - 11*r + 38. Is s(6) a multiple of 58?
True
Let t = -19 - -21. Suppose 3*r = v - 2, -4*v + 0*v = -t*r - 8. Let a = 7 - r. Is a a multiple of 7?
True
Let o be (-3 + 2 + -17)*190/(-3). Suppose -9*j = -19*j + o. Does 6 divide j?
True
Suppose -5*u = -4*v + 95, u + 2 = -v - 8. Let s = u - -6. Let o = 18 + s. Is 3 a factor of o?
True
Suppose h - 413 = 2*r, 2*r + 2*r + 4*h = -796. Does 34 divide (r/36)/(1 - 13/12)?
True
Let h(n) = -n**2 - 6*n + 144. Does 48 divide h(0)?
True
Let m(i) be the second derivative of i**4/12 - i**3/3 - 7*i**2 - 15*i. Is 12 a factor of m(8)?
False
Suppose -6*q - q - 70 = 0. Let w = q - -47. Does 3 divide w?
False
Suppose 10*h = 5*h - 3*w - 247, -5*w + 105 = -2*h. Let z = h + 89. Is z a multiple of 7?
False
Suppose -4*o = -8*w + 11*w - 408, 0 = -3*w + 3*o + 408. Is 15 a factor of w?
False
Let p = 653 + -314. Suppose 3*n - 2*v - 205 = 0, 5*n - 6*v = -2*v + p. Is 13 a factor of n?
False
Let w(m) = m**3 - 9*m**2 + 5*m + 5. Let a(g) = 2*g**3 - 19*g**2 + 10*g + 11. Let i(q) = -2*a(q) + 5*w(q). Let l be i(6). Is ((-204)/8 - l)*-2 a multiple of 15?
True
Suppose d + 13 = 4*s, 0*s + 2*d = s - 12. Let a(i) = 5*i**2 - 11*i - i**2 + 6 - i**s. Is a(4) a multiple of 3?
False
Suppose 12*d = 2*d + 2120. Suppose 2*u - d - 22 = 0. Is u a multiple of 22?
False
Let b be 12/7 + 20/70. Suppose -88 = -b*m + 3*t, 5*m - 3*t = -2*t + 194. Is 11 a factor of m?
False
Let l(r) be the third derivative of -r**5/30 + 23*r**4/12 - 7*r**3/2 + 42*r**2. Is 4 a factor of l(22)?
False
Let i(t) = -11*t + 77. Does 11 divide i(-7)?
True
Let z = -493 - -838. Is 23 a factor of z?
True
Let m = 650 + -496. Suppose 7 = 5*g + 3*h, -6*g + 2*g + 7 = h. Suppose g*x + y + y = m, 81 = x - y. Is 33 a factor of x?
False
Let v = -29 - -4. Suppose -3*a + 16 = 5*o - 11, 0 = a + o - 9. Let q = a - v. Does 11 divide q?
False
Let z(w) = -6*w. Let p(g) = g**3 - 7*g**2 + 6*g + 13. Let n be p(6). Let a = n - 14. Is 6 a factor of z(a)?
True
Suppose -22 = c + 4*i + 3, 0 = -c + i. Is 9 a factor of 4 + c + 34 + 3?
True
Suppose 0 = -b + 4*b - 45. Let d = b + 140. Is 29 a factor of d?
False
Let k(b) = b**2 - 5*b + 4. Let y be k(4). Suppose o = -v, 4*o - 5*o - 3*v - 4 = y. Does 8 divide (o - 2) + 3 + 5?
True
Let d = 24 - 16. Suppose 0 = -x + 29 - d. Does 7 divide x?
True
Suppose -5*z + 185 = 5*w, -4*z - 101 = -3*w - 249. Let u = z + -35. Suppose 5*y = -u*r + 100, -5*y = r - 2*r + 20. Does 8 divide r?
True
Let l be (-197)/15 - 6/(-45). Let v = -8 - l. Suppose x = v*c + 35, 2*c = -5*x + 69 + 241. Is x a multiple of 12?
True
Let x = 47 + 600. Suppose 466 = 2*h - g, -293 - x = -4*h + 4*g. Is h a multiple of 33?
True
Let r = 0 - -2. Suppose -r*z = 4 - 8. Suppose -z*u = -3*l + 142, -5*l - 5*u + 313 = 43. Is 18 a factor of l?
False
Let y(q) = q**2 + 5*q - 4. Let m be y(-8). Let d be ((-66)/(-44))/((-13)/(-16) - 1). Let i = m + d. Does 6 divide i?
True
Suppose -2*a - 842 = -2*s, -10*a = -11*a - 1. Does 20 divide s?
True
Is 43 a factor of 75475/50 + 9/(-2)?
True
Let j(u) = 2*u**3 - 6*u**2 - 6*u + 18. Is j(7) a multiple of 46?
True
Does 36 divide -9 + 14 + -9 + 1048?
True
Suppose 2*l + 154 = -100. Let u = 40 - l. Does 13 divide u?
False
Let h = -2571 - -2610. Is 3 a factor of h?
True
Suppose -4 = -4*m + 12. Let v be (-193 - -1)/(-6) - 1. Suppose m*k - 3*k = v. Is 9 a factor of k?
False
Let x be -2 - 12 - -1 - 2. Is 18 a factor of (-9)/x - 1428/(-20)?
True
Let c = -35 - -39. Suppose c*k - 117 = k. Does 11 divide k?
False
Suppose 3*s + 2*b = -2, 4*b = 3*s - 4*s - 4. Suppose 5*p - 22 + 2 = s. Suppose p*j - 95 = 53. Does 12 divide j?
False
Let j be (-3)/(-2) + (-406)/28. Let u = j - -14. Let g(l) = 25*l**3 - 1. Is g(u) a multiple of 8?
True
Let k(m) = -12 - m**3 + 0*m**3 - 3*m**2 - 110*m + 107*m. Let y(l) = -l - 1. Let g be y(4). Is k(g) a multiple of 12?
False
Let s = -24 - -29. Suppose u - 124 = -4*u - v, -4*u = -s*v - 76. Suppose 12*m = 10*m + u. Is 10 a factor of m?
False
Let s be (-6)/(-4)*-12*(-7)/63. Suppose -525 = -3*c + 3*n, s*n + 170 = -0*c + c. Is 18 a factor 