-539 + 133. Let b = n - -566. Is 7 a factor of b?
False
Let i(t) = t**3 + 11*t**2 - 12*t + 3. Let l be i(-12). Let y be 8 + l - (-5 - -6). Let o = y + 20. Is 30 a factor of o?
True
Suppose -74 = -2*t + 42. Suppose 0 = -5*p - 17 - 163. Let x = t + p. Is x a multiple of 6?
False
Suppose f = -4*n + 2 + 8, -3*f - 3*n = -12. Let p be 306/5 + 2/(-5)*-2. Suppose -q + 4 = -5*q, -2*v + p = -f*q. Is v a multiple of 10?
True
Suppose 542*b - 188786 = 489*b. Is b a multiple of 25?
False
Suppose -3*y = -n + 8, -5*n + 3*n + 16 = 3*y. Suppose 9*o - n*o - t = -186, -o + 4*t - 186 = 0. Let x = 386 + o. Does 50 divide x?
True
Suppose -2*d + 1357 = x, -4582 = -4*x - d + 874. Is x/10*(-4)/(-3) a multiple of 8?
False
Let n be 2/3 - 32480/84. Let r = n + 431. Is 9 a factor of r?
True
Let c(v) = 268 - 132 - 3*v - 162. Let t be c(-16). Is 116 + ((-40)/22 - 4/t) a multiple of 55?
False
Let g be (-1 - 76/20)*130/(-39). Suppose -g*n + 83 = -1245. Is n a multiple of 2?
False
Let h = 95 + 25. Suppose 5*v + 555 = 4*r, -3*v + 8*v - h = -r. Is r a multiple of 8?
False
Let r = -395 + 920. Let a = r + -301. Is 18 a factor of a?
False
Let c be 4 - 5/(-15)*3. Suppose 2*l + 21 = c*u - 74, 2*u = l + 39. Does 17 divide u?
True
Let n(q) = 1361*q + 3550. Does 14 divide n(33)?
False
Does 79 divide (111/74)/(3/(-142))*-71?
False
Suppose 0 = 7*b - 70483 - 16926. Does 67 divide b?
False
Does 13 divide 6/((-30)/(-189295)) - 18/6?
True
Let k(c) = 308*c**3 + 9*c**2 - 13*c + 4. Is 4 a factor of k(1)?
True
Let m(j) = -4252*j**2 - 2*j + 1. Let q be m(-2). Does 17 divide (-2 - (-24)/11) + q/(-77)?
True
Let c = -22 + 24. Suppose 5*n = t + 10, -n + 0*t = -c*t - 2. Suppose -2*s + 114 = 2*x - n, -294 = -5*s - x. Is s a multiple of 25?
False
Let n(b) = 2*b**2 - 5*b + 2. Let p(s) = s**2 + 3*s - 2. Let q be p(-4). Suppose z = -q*z - o + 7, 4*z = -o + 10. Does 5 divide n(z)?
True
Let v = -64 - -82. Let c be 69/(-18) + (-6)/36 + v. Is 15 a factor of (-2 - c/(-6)) + (-636)/(-9)?
False
Let h = 545 - -6699. Is h a multiple of 71?
False
Suppose 2 = 2*g - 2. Is 183 - (1*g + -13 + 14) a multiple of 51?
False
Let w(k) = 62*k**3 - k - 1 - 28*k**3 - 33*k**3. Let r(o) = 6*o**3 + 7*o**2 - 3*o - 5. Let y(x) = r(x) - 5*w(x). Does 2 divide y(-3)?
True
Let n = -261 + 8541. Is 69 a factor of n?
True
Let y be 0 + 2 + (-2 + 4 - -216). Let r = 148 - y. Let a = r - -184. Is 14 a factor of a?
True
Let d be 1/2 - 2/(-4). Let l(t) be the second derivative of 21*t**5/10 + t**4/12 + t**3/6 - t**2/2 + 102*t + 1. Is l(d) a multiple of 12?
False
Suppose -2*t - 4 = -4*r, 1 = r + 2*t - 5. Suppose 3*n - 1442 = -r*l - 358, -2*n + 4*l + 712 = 0. Suppose b - n = -9*b. Does 18 divide b?
True
Let y be (12/10 + 0)*(-200)/(-60). Suppose -c + 4*u + 13 = 0, 35 = y*c - 4*u + 7. Suppose -2*k + 0*n + 83 = -c*n, n + 103 = 2*k. Does 18 divide k?
True
Let z = -61 - -55. Let k be (56/z)/(17/51). Let s = k - -78. Is s a multiple of 10?
True
Suppose -165*r + 179*r + 5278 = 30688. Does 6 divide r?
False
Suppose 5*b + f + 1874 = 2*f, 2 = -2*f. Let k = b + 1115. Is k a multiple of 20?
True
Let v be (-4)/(-20) + (-70)/(-25). Let r be (((-153)/12)/v + -2)*-100. Suppose -4*k + 500 = -2*o, -5*k - 2*o + r = -0*o. Is 25 a factor of k?
True
Suppose 3*f - r = 9, 5*f - 15 = 2*r - 7*r. Suppose 5*d + 5*m - 652 = 68, -422 = -f*d - m. Does 6 divide d?
False
Let w(v) = 21*v**2 + 826*v - 95. Is 40 a factor of w(-51)?
True
Let k = 67523 - 40340. Does 123 divide k?
True
Let q(d) = 3*d**3 - 122*d**2 + 18*d + 25. Does 52 divide q(41)?
True
Let i(h) = 164*h - 180. Let g be i(8). Suppose 3*w - 5*w + g = 0. Is 8 a factor of w?
False
Let g = 36613 + -17302. Is g a multiple of 123?
True
Let t be (-5 + (-294)/(-10))*(-1 - 4). Let l = 134 + t. Is 3 a factor of l?
True
Suppose -2*o - 18 = -4*s, -3*s = 4*o - o - 9. Suppose -5*d + s = 19. Does 25 divide ((-1500)/5)/d + -4?
False
Let k = 107 - -243. Suppose -39*r + 34*r + k = 0. Does 35 divide r?
True
Suppose 3*h + 17 + 16 = 0. Let c = 52 - h. Let x = c - -7. Does 16 divide x?
False
Suppose -651*m + 214*m = -5302995. Does 15 divide m?
True
Let q(g) be the second derivative of g**4/4 - 9*g**3 - 18*g**2 - 16*g. Is q(24) a multiple of 36?
True
Let q = 9533 - 2231. Is 13 a factor of q?
False
Let c(l) = 354*l**2 - 30*l - 24. Let j(q) = -13*q**2 + q + 1. Let y(v) = 2*c(v) + 54*j(v). Let u be 10*((-12)/10)/(-3). Is y(u) a multiple of 26?
True
Let l(w) = -77*w + 285. Let c be l(4). Suppose 0 = 2*n - 15 - 63. Let k = n + c. Is k a multiple of 15?
False
Let z = -99 + 104. Suppose -q + 18 = 4*c - 9, -2*q - z*c = -42. Is 22 a factor of 3*1109/33 + 2/q?
False
Let i(f) = 3*f + 4. Let w(z) = -1 - 2 + 2 - 4*z - 5. Let a be w(-5). Is 4 a factor of i(a)?
False
Let x be -8 + 1*-1*(-1 + 2). Let m be 2/(-6)*x - (2 - 3). Suppose -m*h = 2 + 2, 4*f - 3*h - 147 = 0. Is f a multiple of 9?
True
Let i = 23852 + -16015. Is 17 a factor of i?
True
Let s(g) = g**2 - 18*g + 129. Is 3 a factor of s(41)?
False
Let x(b) = -82*b + 16. Let m be x(4). Let o = -265 + 705. Let q = o + m. Does 16 divide q?
True
Suppose 80 = 7*v - 2*v. Suppose -3*a - v = 3*f - 1, -3*f = -2*a - 15. Does 15 divide ((-8)/a)/(((-4)/126)/(-1))?
False
Suppose 21*j = 24*j - 5*r - 3029, 4*j - 3*r = 4013. Is j a multiple of 11?
False
Is 35669 + (-30)/(-20)*10 a multiple of 304?
False
Let m = -7750 + 12110. Is m a multiple of 55?
False
Let r = 184 + -182. Does 18 divide r/26 + 33846/78?
False
Let p(m) = 110*m**2 - 1 + 96*m**2 - 6*m**2 + m. Does 17 divide p(-1)?
False
Suppose -44 = 5*t + 2*b + 56, 0 = -t - b - 17. Let g = 189 + t. Let d = -103 + g. Does 46 divide d?
False
Suppose -24*i = -165*i + 216107 + 2310613. Is i a multiple of 41?
False
Suppose 156*n + 2290 = 158*n + 6*c, 2*n + 5*c = 2287. Is n a multiple of 2?
True
Does 5 divide 746284/336 - (-2)/(-24)?
False
Suppose 0 = -2*d + x + 4000 + 3540, -4*d - 2*x = -15088. Is d a multiple of 9?
True
Suppose 0 = -10*i + 808 + 852. Let d = 527 - i. Does 7 divide d?
False
Let w(h) = 7*h**2 + 91*h + 69. Let b(m) = m**2 + 18*m + 14. Let s(d) = -11*b(d) + 2*w(d). Does 74 divide s(-10)?
True
Let i(b) = 2*b**2 - 16*b - 46. Let q be i(10). Is 89 a factor of ((-22)/q)/(17/1785)?
False
Let z be 492/24*(-2)/(-1). Let n(v) = 23*v**2 - v**3 + 35 - z*v**2 + 16*v**2. Is n(0) a multiple of 5?
True
Let y(g) = 10*g - 10. Suppose -5*f - c = -15 - 227, 2*f = -3*c + 89. Let x = 52 - f. Does 7 divide y(x)?
False
Suppose -4*w + 5*n - 114 = 0, -4*n + 8 + 15 = -w. Let c = w + 36. Suppose u + c*v = 41, -5*u + v = -v - 286. Is 14 a factor of u?
True
Let a = -931 - -1446. Is a a multiple of 2?
False
Let y(d) = -2*d**3 - 31*d**2 + 20*d + 62. Let h be y(-16). Is 168797/138 + 3/(9*h) a multiple of 38?
False
Let x(q) = -237*q**3 + 13*q**2 + 3*q + 7. Let l(y) = 79*y**3 - 4*y**2 - y - 2. Let m(f) = 7*l(f) + 2*x(f). Let j be m(-1). Is (-128)/j + 4/10 even?
True
Let d(u) = -u**3 - 2*u**2 - u - 3. Let z be d(-2). Let c be (-21)/((-220)/208 - z). Suppose -2*m - 352 = -2*r, 3*r - 2*m = 5*r - c. Does 13 divide r?
False
Suppose 0 = 2*k + 3*s + 36 - 108, -4*k + 2*s = -176. Suppose -3*p + k - 13 = 4*l, 3*l = -p + 3. Is 7 a factor of p?
False
Let c = 115 + -113. Suppose -5*p + 3*t = 5 - 25, -5*p = 3*t - 20. Suppose -4*q + 314 = -q - w, -p*w = c*q - 214. Is q a multiple of 29?
False
Let q(p) = p + 16. Suppose -a - 2*h = -2 - 1, 23 = -4*a - h. Let u be q(a). Let g = u - -31. Is g a multiple of 40?
True
Let g = 41219 + -21315. Is g a multiple of 185?
False
Let f = 96 - 94. Suppose f*g - 141 - 51 = 0. Let k = -37 + g. Is k a multiple of 43?
False
Let y be (-4)/24*-27*2/(-1). Is 30 a factor of 2876/12*2 - 6/y?
True
Let m(y) = -2*y**2 + 15*y + 66. Let v be m(-11). Let x = -251 - v. Is x a multiple of 45?
True
Let r = -2094 + 3408. Does 55 divide r?
False
Suppose w + 4 = 0, -3*w - 1980 = -r - 2*r. Let t = r - 446. Is t a multiple of 15?
True
Let y = 73642 - 40182. Is 20 a factor of y?
True
Suppose -l = -12*l + 22. Suppose -4*u - l*j + 370 = 0, -j + 3 = 2. Does 23 divide u?
True
Let h = -398 - -116. Let x = 513 + h. Is x a multiple of 2?
False
Suppose -j - 3190 = -5*j - h, -5*j = -2*h - 3981. Let y = -335 + j. Does 7 divide y?
True
Let r = -44 + -48. Let h be (-193 + (-1)/(-1))*1. Let v = r - h. Is v a multiple of 11?
False
Suppose -21*r + 417 + 6198 = 0. Is 59 a factor of r?
False
Let h = 3044 + -2276