r of w?
True
Suppose 3*f + 0*t - t - 10 = 0, 0 = 4*f - t - 12. Suppose f*z = -5*n + 427, -2*z + 213 = -z + 2*n. Let i = -91 + z. Is 40 a factor of i?
True
Let a be (10/(-6))/(2/(-804)). Suppose -4*n + m = -a - 11, 3*n - 504 = 3*m. Does 57 divide n?
True
Does 24 divide -7 - (-124)/20 - (-1179735)/75?
False
Let j(v) = -v**3 + 6*v**2 - 2*v - 1. Let d be j(3). Let b = d + -18. Suppose 0*a = b*a + 5*x - 345, 4*x - 342 = -2*a. Does 33 divide a?
True
Suppose 10*w - 5*w = -3*l + 16, -4*l = 3*w - 14. Is 16 a factor of (-134113)/(-437) + w/19 + -3?
True
Suppose 6*z = 12*z + 2*z - 82272. Is z a multiple of 23?
False
Suppose 2*h + 3*h - 292 = 4*w, w + 3 = 0. Let y be (h/70)/(2/10). Suppose -94 = -y*i + 2*o, i - 28 = 2*o - 0*o. Is 9 a factor of i?
False
Let m be ((-60)/(-2))/6 + 1*-22. Let g(t) = -t**3 - 17*t**2 - 27*t + 18. Is g(m) a multiple of 53?
True
Let d(l) = -12*l - 6. Suppose -2*q = -4*y - 14, 0*q + q + 8 = -3*y. Let k(x) = -x. Let j(h) = q*d(h) - 4*k(h). Does 18 divide j(-12)?
True
Suppose 3*d = 2*f + 4831, 0*f = 4*d - f - 6438. Suppose 9*g + 331 = d. Is g a multiple of 16?
False
Suppose 7 = y + 5*o - 4, 0 = y + 3*o - 5. Let k be 3 - (1/(-2) - (-526)/y). Let i = -84 + k. Does 8 divide i?
False
Let n = -107 - -114. Suppose -35 = -n*r + 7. Does 3 divide r?
True
Suppose 18*w - 9500 = 2457 + 4459. Is 19 a factor of w?
True
Let s = 17385 - 5281. Is 28 a factor of s?
False
Let l = -1483 + 24869. Does 333 divide l?
False
Suppose -g + 4*s + 883 = -4*g, 12 = -3*s. Let d = g - -450. Suppose i = -2*x + d, -106 = -5*x - 2*i + 299. Is 18 a factor of x?
False
Let h be (-7)/(-35) - 201/5. Suppose -173*m + 94 = -171*m. Let y = h + m. Does 4 divide y?
False
Let f = -10403 - -15018. Let w = f - 3135. Is 40 a factor of w?
True
Suppose -5*r = 5*q - r - 37, 21 = 3*q + 2*r. Let b be 1/(-5) + (-15)/(-75). Suppose 7*d - q - 142 = b. Is 15 a factor of d?
False
Suppose 0 = 4*v - 3 - 21. Let i be -4 + 11/((-55)/(-140)). Is 8/i - (-484)/v a multiple of 27?
True
Suppose 0 = 97*b - 95*b - 6636. Suppose -727*t = -734*t + b. Is 9 a factor of t?
False
Let k(d) = 12*d**3 - 2*d**2 + 10*d - 3. Let y be k(2). Suppose -y*l = -99*l - 2970. Is l a multiple of 11?
True
Suppose 4*b = -c - 1204, -3*c + 888 = b - 4*b. Let x = 471 + b. Is 13 a factor of x?
False
Suppose 0 = -3*w - 5*y + 185, 2*w - 149 = 3*y - 13. Suppose -f = -60 - w. Is 23 a factor of f?
False
Suppose -3*n - 2*g - 3830 = 0, 7355 = -5*n - 2*g + 965. Let m = -786 - n. Does 13 divide m?
True
Suppose -5*g + 2171 - 363 = -2177. Is g a multiple of 3?
False
Suppose -2*a + 126 = c, c - 6*a + 9*a = 121. Is c a multiple of 4?
True
Suppose 0 = 3*m - 15, 6*m = -4*a + 2*m + 1656. Suppose a*x - 403*x - 9216 = 0. Does 65 divide x?
False
Let w = -2529 + 5256. Is 101 a factor of w?
True
Let f = 1206 + -676. Let i = f + -57. Is i a multiple of 13?
False
Let z = -643 + 645. Suppose -z*f - 986 = -2*j, 5*j - 2489 = 2*f - 3*f. Is 14 a factor of j?
False
Let j(o) = -104*o + 74. Is j(-92) a multiple of 39?
False
Let y(f) = -f**3 - 9*f**2 - 4*f + 42. Let q be y(-9). Let s(m) = 5*m - 4. Let w be s(7). Let n = q + w. Is 14 a factor of n?
False
Let v(o) = o + 12. Let a be v(-7). Suppose -3*m = m + c - 9, a*m + 3*c - 13 = 0. Suppose 2*w + 556 = 4*q, 5*q - m*w - 493 = 201. Is q a multiple of 23?
True
Suppose 32*m = -108*m + 366380. Is m a multiple of 130?
False
Let r(h) = -6*h + 269. Does 47 divide r(-57)?
True
Suppose 30*j = 34*j - 12. Suppose -2*h + 3*h - 5*q - 286 = 0, j*h - 2*q = 793. Does 18 divide h?
False
Let w = -24 - -97. Let l be (1104/(-80) - -12)/(6/(-50)). Suppose l*d - w - 92 = 0. Is 2 a factor of d?
False
Does 33 divide ((-12)/(-16))/((-5 - -1) + (-41523)/(-10380))?
False
Let j(z) = 151*z**2 + 6*z - 2. Let t be j(1). Suppose -195 = -4*l + n, 3*l + 0*n + n - t = 0. Let q = -14 + l. Is q a multiple of 9?
True
Let a(o) = 5*o**3 - 13*o**2 + 22*o + 10. Let w(h) = -h**3 + h**2. Let i(p) = a(p) + 6*w(p). Is i(-10) a multiple of 9?
True
Let y = -65 - -68. Suppose 316 = y*c + b, -b - 304 = -3*c + b. Let p = c + 46. Is 36 a factor of p?
False
Suppose -2*o - 540 = -7*o. Suppose 3 = -3*t + 15, 4*w + 3*t = o. Does 24 divide w?
True
Let p = 75 - 61. Let b be (-5270)/(-14) + 8/p. Let d = b - 198. Is d a multiple of 19?
False
Suppose 12 = -2*l, 1506 = 3*t + 851*l - 848*l. Is 5 a factor of t?
False
Let x = 85 + -597. Let h = x - -737. Is h a multiple of 75?
True
Let h be ((-6)/4)/((-1)/2). Let r = 963 + -892. Suppose h*i + r = 2*k, 3*k + 2*i = -2*i + 64. Is k a multiple of 6?
False
Let u(b) be the first derivative of -b**3/3 - 17*b**2/2 + 4*b + 23. Let x be u(-16). Let r = x - -45. Is 8 a factor of r?
False
Suppose -2*g + 4*n + 4 = 6, -5 = -3*g + 2*n. Suppose 2*o + 238 = 4*p, g*p = 9 - 0. Let v = o + 265. Is 19 a factor of v?
True
Suppose -142*b = -119*b - 849367. Is 14 a factor of b?
False
Suppose 97*f - 8481 - 55527 = -29*f. Is f a multiple of 2?
True
Suppose 0 = 12*g + 146 - 6926. Let d = g + -525. Is d a multiple of 2?
True
Let w = -82 + -193. Let t = w - -532. Is t a multiple of 17?
False
Let u(k) = 342*k - 389. Is u(8) a multiple of 86?
False
Let g(o) = o**2 - 8*o + 15. Let q be (-12)/7*28/(-8). Let z be g(q). Suppose z*y = -0*s + s + 311, -524 = -5*y - 4*s. Does 13 divide y?
True
Suppose 3*i - 5*d = 20735, 85*d - 80*d + 27645 = 4*i. Is i a multiple of 15?
False
Suppose 3*h - 200 = -z, -4*z = 4*h - 894 + 110. Let d = z + 112. Does 17 divide d?
True
Suppose t + 15 = -3*w, 13 = 3*t - 5*w - 12. Let u = 278 + t. Does 13 divide u?
False
Suppose -5*m + 32875 + 40575 = 0. Is m a multiple of 65?
True
Suppose 4*f + 17264 = 2*j, -j + 8626 = 11*f - 10*f. Does 253 divide j?
False
Let i(p) = -154*p - 1478. Does 2 divide i(-12)?
True
Suppose -8*r + 744 = -416. Suppose -k = 4*p - r, 172 = 3*k + 5*p - 298. Is k a multiple of 10?
False
Suppose -4*r + 52200 = 4*z, -15*z + 39148 = 3*r - 10*z. Is r a multiple of 13?
False
Suppose -5*l + 46*v - 41*v = -19925, -3*v = 21. Is 117 a factor of l?
True
Let f = 9204 + 1503. Is 83 a factor of f?
True
Let h(q) = q**3 + 6*q**2 - 3*q - 4. Let g = 16 - 20. Is 10 a factor of h(g)?
True
Suppose 0*b = -4*b + 228. Suppose -228 = 56*k - b*k. Does 19 divide k?
True
Let d(u) = 2*u + 2. Let r be d(1). Let s be r/(-5)*(-20)/8. Suppose 2*o + 4*f - 146 = -0*f, -s*f = 8. Is 9 a factor of o?
True
Let f(a) be the third derivative of 25*a**4/24 - 5*a**3/2 + 2*a**2. Let u(w) = -6*w**2 - 125*w + 28. Let n be u(-21). Does 32 divide f(n)?
True
Suppose -3*w = 3*g + w - 15, 0 = -g + 3*w - 8. Is g - 0 - -476 - -2 a multiple of 52?
False
Let q(g) = 21*g**2 + 22*g + 56. Suppose -4*y - 4*f = 4, 41*y + 4*f = 36*y - 9. Is 34 a factor of q(y)?
False
Let q(t) = -2*t - 8*t**2 + 6*t - 2*t**3 + 3*t + 6. Let k(v) = -v**3 - 7*v**2 + 6*v + 36. Let f be k(-7). Does 9 divide q(f)?
True
Suppose -2 - 2 = 4*x, -2*x = -t - 70. Let p be (-6)/(-4)*(-1)/((-4)/t). Does 21 divide (-561)/p - (58/(-18) + 3)?
True
Suppose -y = 3, -5*i + 16*y + 145 = 21*y. Is i a multiple of 16?
True
Suppose -296*n + 92*n + 492139 + 22349 = 0. Is n a multiple of 13?
True
Let q(m) = 397*m**2 + 2*m - 3. Suppose -109*f + 2 = -107*f. Is q(f) a multiple of 11?
True
Let j(r) = 14*r + 101*r**2 + 2*r**3 - 3*r**3 - 7 - 89*r**2. Let u be j(13). Suppose -u*h = -h - 3*m - 337, -h = 3*m - 53. Is 20 a factor of h?
False
Suppose 0*i = 8*i - 40. Suppose -4*a + 5*h = -633 - 712, 1685 = 5*a - i*h. Is 73 a factor of a?
False
Suppose -524 = 61*f - 62*f. Let r = 767 - f. Is r a multiple of 6?
False
Is 146 a factor of 712050/225 - 12/(-9)?
False
Let q = -52 - -53. Let s be (4/(4/q))/(-1)*0. Suppose s = 3*n + 4*m - 184, -3*m - 6 = -0*m. Does 6 divide n?
False
Suppose -9*n - 200 = n. Let r be ((-150)/n)/((-3)/(-10)). Let p(b) = -b**2 + 26*b + 24. Is 9 a factor of p(r)?
False
Let r = 161 + -289. Is 21 a factor of r/(-6)*6*(0 + 2)?
False
Is 4*(-857)/(-24) + (-1)/(-1 - 5) a multiple of 11?
True
Suppose 3 = 2*m + m. Let z be m + (-2 + -42)*1. Let k = z + 52. Is k a multiple of 2?
False
Suppose -2*g + 3*x = -7*g + 4995, 0 = 3*x. Is (-2 - -3)/(3/g) a multiple of 14?
False
Let v = -3010 + 3807. Is 31 a factor of v?
False
Suppose 270*v - 314*v = -621984. Is 11 a factor of v?
False
Let x(o) = -2*o + 14. Let i be x(4). Suppose -9*v - 21 = -i*v. Is 5 a factor of ((-82)/(-4))/1 + v/14?
True
Suppose -3*x + 2*m = -260, -4*m - 98