= 5*t, 2*i - 5*i - 3*t = -24540. Is i a multiple of 11?
False
Suppose 4*q - 28 = -5*w + 2*w, -5*q = 2*w - 28. Suppose 2*l - 466 = 3*j + 2*j, q = 2*j. Is 34 a factor of l?
True
Is (-2 - 12/48*-12) + 11637 a multiple of 11?
True
Let t(r) = -3*r + 38. Let a(o) = o**2 - 17*o + 18. Let f be a(18). Let x be (-12)/f - (-20)/(-3). Is 30 a factor of t(x)?
False
Let s(u) = -u**2 - 4*u - 2. Let y be s(-4). Let j be (3 - (-21)/(-6))*748/y. Does 46 divide 4 + 21/(-3) + j?
True
Suppose 0 = 4*t + 4*v - 4, -2*v = -t + 7 - 0. Let k(p) = 46*p**3 - 3*p**2 - 6*p + 7. Is k(t) a multiple of 42?
False
Let d be -3*(20/6 - 4). Let u be -1*d*(-11)/(-22). Is 41 a factor of u - (-6*20 - 4)?
True
Suppose 6*z - 3429 = -3*z. Let s = -13 + z. Is 8 a factor of s?
True
Let x(j) = j**2 - 6*j + 15. Suppose 0 = -16*s + 4 - 196. Let m be (-5*s/(-30))/(4/(-14)). Does 8 divide x(m)?
False
Suppose -299272 = -5*h + 3*l - l, -5*h = -5*l - 299290. Does 53 divide h?
False
Suppose 44*v = 7*v. Suppose -11*m - x - 144 = -15*m, 3*x = v. Is m a multiple of 4?
True
Suppose -196 + 244 = 8*r. Suppose 0 = -4*o + r*h - 5*h + 3301, -1655 = -2*o - h. Is o a multiple of 9?
False
Suppose -24*i + 26*i = -8. Let p(j) = -27*j - 10. Let u be p(i). Suppose 0*w + u = 7*w. Is 6 a factor of w?
False
Suppose 0 = a - 35*n + 40*n - 1658, 2*a + 5*n - 3316 = 0. Is 20 a factor of a?
False
Suppose 3*g - 5*q = 56 - 28, 0 = -2*q - 4. Does 14 divide ((-21)/(-5))/(g - 11154/1860)?
True
Let h = 2817 - 2523. Is h a multiple of 14?
True
Let r = 820 + -527. Let a = 488 - r. Is a a multiple of 13?
True
Let q be 3/2 - 425/10. Let z = q + 234. Suppose -72 = -f - 4*p, 0 = -f + 5*f - 3*p - z. Is 9 a factor of f?
False
Let o(v) = 86*v**2 - 308*v + 44. Does 10 divide o(8)?
False
Suppose 3*i - 17 = 7*a - 3*a, 0 = i - 5*a - 13. Let c(k) = -15*k - i + 0 + 16. Is c(-2) a multiple of 8?
False
Is 10 a factor of (-341328)/(-104)*((-1)/6)/(2/(-20))?
True
Suppose 1098889 - 2993282 = -98*v + 1366361. Is 118 a factor of v?
False
Is 7*(-308)/(-490)*1690 a multiple of 143?
True
Let w be ((-4540)/(-690) + (-2)/(-23))*-3. Is 2 a factor of 799/7 - (w/(-28))/5?
True
Let c = -229 + 232. Suppose 5*t + c*t - 3456 = 0. Does 48 divide t?
True
Suppose 276*q - 506*q - 104412 = -263*q. Is q a multiple of 6?
False
Suppose 2*o + 4*m = -66, -5*m + 18 = 4*o + 156. Suppose 3*f = 5*s - 0*s + 227, 3*f - 262 = -2*s. Let y = f + o. Is 13 a factor of y?
False
Let j be -21*2*(-4)/(-8). Let v = j + 21. Suppose v = -3*w + 6*w - 42. Does 3 divide w?
False
Let g be (-78 - 2)*-12 + (0 - 1). Suppose 5*w + 4*i - g = 0, 4*w + 137 - 897 = -5*i. Is 16 a factor of (0 - 5 - -1) + w?
False
Suppose c - 25 = -3*c - 3*n, 0 = -3*c + 5*n - 3. Is 19 a factor of (3/(12/(-80)))/(c/(-38))?
True
Let y(d) = -d + 3 - 2*d + 15 + 2*d. Let u(t) = -2*t**2 - 11*t + 34. Let m be u(-8). Is 6 a factor of y(m)?
True
Let s = -73927 + 119013. Is 20 a factor of s?
False
Suppose 0 = -7*d + 313 + 338. Suppose b = -0*m - 2*m + d, 0 = 5*b + m - 438. Does 29 divide b?
True
Let h be 5334/(-18)*12/(-14). Let m = h - -124. Is 9 a factor of m?
True
Is 39 a factor of (-1998)/15*(-32 + -13)?
False
Let q(j) = 18*j**3 + 20*j**2 + 17*j - 63. Is q(5) a multiple of 36?
True
Let t(q) = -3*q + 11. Let u be t(13). Let n be (-8)/14 + 544/u. Is (-2008)/n + 2/(-5) a multiple of 25?
True
Suppose -2*l + 9407 = 3*l - 2*z, -4*l + 3*z = -7520. Suppose -1877 = -5*x - u, 5*x - 2*u - l = -u. Does 19 divide x?
False
Let a be 48/21 - 4/14. Let i(t) = t - 10. Let z be i(12). Suppose -a*k + 29 = b - 117, -5*k - z*b + 364 = 0. Is 18 a factor of k?
True
Let r(j) = 212*j + 1348. Does 80 divide r(31)?
True
Let i(j) = j**3 - 28*j**2 + 79*j - 17. Let s be i(25). Suppose -4*t = -5*w + 257, 0 = -0*w - 2*w + 10. Let u = s + t. Is 2 a factor of u?
False
Suppose -24 = -2*s - 3*p + 352, p + 360 = 2*s. Is s a multiple of 13?
True
Let j = -188 - -65. Let k = 177 - j. Is 29 a factor of k?
False
Let p = -291 - -294. Suppose 413 - 1355 = -p*u. Does 25 divide u?
False
Is (-11)/((-55)/184278) + (4 - 90/25) a multiple of 68?
True
Let n = -121 - -1065. Is n a multiple of 8?
True
Let t(h) = -6*h**3 + 4*h**2 - 2*h - 2. Let c be t(-3). Suppose -2*l - 26 + c = 0. Suppose l = 9*o - 182. Is 30 a factor of o?
True
Suppose 49*k - 44*k = -4*i + 18945, 6*k + 2*i = 22748. Does 23 divide k?
False
Let o(f) = 24*f**2 - 3*f - 1. Let q(r) = -r**2 + 6*r + 4. Let i be q(-1). Does 32 divide o(i)?
True
Let z = 42439 - 26919. Does 132 divide z?
False
Let k = 51 + -33. Suppose -8*w = -134 - 66. Let g = k + w. Does 24 divide g?
False
Let o(s) = 132*s**2 - 4*s - 4. Suppose -5*p + 19 = 3*y, -6*y - 15 = -11*y - 5*p. Is 19 a factor of o(y)?
True
Let i = -46 + 69. Suppose 0 = 18*d - i*d + 430. Suppose 3*m + 0*m - 3 = 0, -p + 5*m = -d. Does 21 divide p?
False
Let u = 150 - 159. Let g(a) = -a**2 - 29*a + 24. Is 51 a factor of g(u)?
True
Is (-610692)/(-72) + 55/(-66) a multiple of 2?
False
Suppose -x - 4*x - 4*k + 425 = 0, -2*x = -5*k - 137. Suppose -111 = -2*h + x. Suppose 0 = 2*l + 4*b - h + 20, -2*b = -2*l + 64. Does 4 divide l?
False
Suppose 41*v + 29888 = 459*v - 187890. Is v even?
False
Let b(g) = 18*g - 58. Let i be b(6). Let v be (-26)/(4 + i/(-12)). Is 52 a factor of ((0 - 3) + 0 - -4)*v?
True
Does 13 divide (8 - (8 - 3)) + 9/((-9)/(-1258))?
True
Let g(x) = 1412*x - 119. Is 149 a factor of g(13)?
False
Suppose -4*n = 3*q + 10, n - 5*n - 4 = 0. Is 19 a factor of q*(4/(-4) + -75)?
True
Let w = -71 - -180. Let a = -216 + w. Let t = -67 - a. Does 10 divide t?
True
Let x be (-9)/5 + (-5)/25 + 3. Suppose -2*y = 5*v - 327, 2*v + 7 = x. Is y a multiple of 12?
False
Let g(f) = f**3 + 7*f**2 + 21*f + 3. Let o(m) = m**3 + m**2 - m. Let p(q) = g(q) - 2*o(q). Does 6 divide p(5)?
False
Let j = 242 - 241. Does 25 divide 288 + -1 + (j - -3)?
False
Let a(k) = -k**3 + 59*k**2 + 439*k - 91. Is 7 a factor of a(33)?
False
Let p = 113 + -269. Let a be 6048/22 - 4/(-44). Let g = p + a. Is 17 a factor of g?
True
Let p(s) be the second derivative of -s**5/20 + s**4/12 - s**3/6 + 77*s**2/2 + 102*s. Suppose b = -c, -4*b = 3*c - 5*c. Does 9 divide p(c)?
False
Suppose -30 = -2*y - 5*l - 0*l, 0 = 5*l - 10. Let s be 2/y + (-12)/60. Suppose -6*j + 41 + 31 = s. Is 6 a factor of j?
True
Let h(p) = -8*p - 52. Let y(f) = 2*f - 9 - 17 + 39. Let d(n) = 6*h(n) + 22*y(n). Is 26 a factor of d(-13)?
True
Let f(a) = -24*a**2 - 350*a**3 + 352*a**3 - 1 - 19 - 21*a + 3. Does 6 divide f(13)?
True
Let j(w) = -30*w - 36. Let s be j(-3). Let r = s + 20. Is r a multiple of 20?
False
Let p be 1050/60*(-1 - 11/(-7)). Does 12 divide (-108)/p*(-42 - (-1 + -11))?
True
Let l(m) = -64*m - 381. Is 3 a factor of l(-7)?
False
Let u = 35 - 33. Suppose -2*f - u*h - 97 = -3*f, -2*f - h + 199 = 0. Let y = 125 - f. Is y a multiple of 19?
False
Let b = -107 - -225. Let d = 377 - b. Does 37 divide d?
True
Suppose -4*h = 3*q + 9146, 9142 = 10*h - 14*h - q. Let w = h - -4167. Is w a multiple of 13?
False
Suppose 4*r = 8 - 0. Suppose 22 = 3*i + r*f, 3*i - f - 22 - 3 = 0. Suppose i*w - 718 = -6. Does 17 divide w?
False
Let c = 44 - 35. Suppose -c*x = 3*x - 60. Suppose 6*w - x*w - 68 = 0. Is w a multiple of 5?
False
Let k = -2494 + 3754. Is k a multiple of 5?
True
Suppose 304 = -4*t + 880. Let f(o) = -7*o**3 + o**2 + 3*o + 8. Let v be f(-2). Let a = t - v. Is a a multiple of 12?
False
Let d(y) = y**3 + 5*y**2 - y - 3. Let s be d(-5). Suppose s*u - 18*j - 238 = -16*j, 0 = -3*u - 3*j + 357. Is 87 a factor of u?
False
Let o(y) = y - 6. Let j be o(9). Let z be ((-156)/(-10))/((-18)/(-135)) + j. Suppose -4*a = -5*n - 480, 0*a - a + z = 4*n. Is 12 a factor of a?
True
Suppose -39*c = 77*c - 247713 - 236703. Is c a multiple of 35?
False
Suppose -53*b + 502207 + 578333 = 376753. Is 113 a factor of b?
False
Suppose w - 48724 = 5*r, 5*w - 69*r - 243540 = -64*r. Is w a multiple of 8?
True
Let m(b) = 35*b**2 + 22*b + 64. Is m(6) a multiple of 3?
False
Let g = -61 - -65. Let w be 37 - (-5 + 1)/g. Suppose -j + 2 = -w. Is j a multiple of 6?
False
Let p(z) = 9*z**2 - 416*z + 93. Let w be p(46). Let s be 3/((-2)/(-4) - -1). Is 27 a factor of s + 63 - -4 - w?
False
Let g = 2948 + 1416. Is g a multiple of 68?
False
Suppose -229*h + 5041801 + 2672627 - 2163239 = 0. Does 58 divide h?
False
Suppose -4*d = -2*m + 532, 2*d + 130 = d - m. Does 11 divide (-3)/(-9)*-2*d?
