208 = 4*h + 5*t. Is h a multiple of 6?
True
Let u be 120*2/(-3 + 7). Is 17 a factor of (-1 - u/(-8))*(-5 + 107)?
True
Let y be 4/(-26) + 40/260 + 2. Does 23 divide y - 1365/(-40) - 2/16?
False
Suppose -10*i = -4*i + 11556. Is 52 a factor of ((-4)/(-6))/((-3)/i)?
False
Let t(i) = 53*i**2 + 3. Is 64 a factor of t(5)?
False
Is ((-1)/3)/((-107)/1695843) a multiple of 7?
False
Suppose -75*t + 10780 = 2*f - 71*t, 0 = 4*f + 2*t - 21590. Is f a multiple of 90?
True
Suppose -5*o - 8 = -3*r + 95, o - 73 = -2*r. Suppose -x - r = -220. Is 8 a factor of x?
True
Suppose 2*j + 8 - 18 = 0. Suppose j = 5*o - 10. Suppose -o*t + 406 = 76. Does 22 divide t?
True
Suppose -5*p = -73*p - 9996. Does 27 divide 2*(42/p - (-386)/28)?
True
Let f(z) = 21 + 54*z + 156*z + 90*z - 172*z. Is 50 a factor of f(5)?
False
Suppose 60*u + 382092 = 264*u. Does 139 divide u?
False
Is 6 a factor of 204372/15 - 11/(-55) - (0 + 0)?
False
Suppose -6*o - 504 - 594 = -3*n, -2*o = -2*n + 740. Suppose -949 - n = -7*y. Is y a multiple of 7?
True
Suppose -328*x = -324*x. Is (-10)/(x - (-2 + 4)) - -513 a multiple of 74?
True
Suppose 0*g - 13*g = -52. Suppose 5*t - g*t - 6*t = 0. Suppose l - 5*l + 356 = 2*j, t = 4*j. Is 31 a factor of l?
False
Let y be 63/14*((-4)/(-6))/1. Suppose -q - y*z = -483, 3*z - 14 - 1 = 0. Does 15 divide q?
False
Let j = 887 - 289. Is j a multiple of 2?
True
Suppose -2*f = -0*f, d - f - 77 = 0. Let o = -74 + d. Is (o/(-6)*-12)/2 a multiple of 2?
False
Suppose -869*x + s + 89196 = -867*x, 3*s - 222979 = -5*x. Is 9 a factor of x?
False
Let u(j) = 108*j**2 - 24*j + 51. Suppose -11*z + 6*z + 10 = 0. Is 15 a factor of u(z)?
True
Let i = -217 - -412. Let g = 128 + i. Is g a multiple of 19?
True
Let q = 26585 - 5356. Does 51 divide q?
False
Is 3/(3 + 0) - ((-7328)/8 - 4) a multiple of 2?
False
Suppose -46*j + 48*j = 8. Suppose 0 = 3*o - x - 265, -9*x - 168 = -2*o - j*x. Is o a multiple of 9?
False
Let k(w) = 171*w**2 + 282*w + 147. Does 34 divide k(17)?
False
Let a = 58 - 56. Suppose b - 2*d - 665 = 0, -a*b - 2*d = -1569 + 239. Suppose -5*f + b = 3*z + 107, 5*f - 2*z - 553 = 0. Is f a multiple of 16?
False
Let b(o) be the second derivative of 31*o**3/6 - 223*o**2/2 + 270*o - 2. Does 11 divide b(40)?
False
Does 14 divide 4/(-30) + 244003312/7140?
True
Let m = 45124 - 9669. Does 29 divide m?
False
Let f(u) = 5996*u - 1257. Is 85 a factor of f(4)?
False
Let w = -132 + 133. Suppose 14*r = 3*d + 11*r - 348, w = r. Is 17 a factor of d?
False
Let m(u) = u**2 - 7*u - 30. Let p be m(-3). Suppose -18*w = -p*w - 22320. Is w a multiple of 48?
False
Let y(c) = -c + 94. Let o(x) = x + 93. Let t(d) = 6*o(d) - 7*y(d). Is t(26) a multiple of 7?
True
Let v = 850 - 621. Suppose -2*i = g - 156, -212 = -3*g + 3*i + v. Does 5 divide g?
True
Is 46 a factor of (327 - 328)/(((-2)/(-6))/((-23874)/9))?
True
Suppose 63*y - 8840 = -5*y. Does 6 divide y?
False
Suppose 10 = -2*w + 18. Suppose -w*c - 810 = -3306. Suppose -c = -13*b - 0*b. Is 12 a factor of b?
True
Suppose -5*v - 4*r = -4341, 25*v - 23*v - 1770 = 4*r. Does 4 divide v?
False
Let u = 264 + -165. Is u + 4*1/(-4) a multiple of 14?
True
Let s(k) = 876*k**2 + 224*k - 12. Is 90 a factor of s(-3)?
True
Suppose 13 = -428*f + 429*f. Suppose -2*q - 16*h + 206 = -f*h, 0 = -5*q - h + 489. Does 12 divide q?
False
Suppose 2*u = 2*y + 8, -5*y - 22 = 4*u - 2. Let g be ((-22)/y)/((-2)/356*-1). Suppose 0 = 14*q - 3*q - g. Does 19 divide q?
False
Does 21 divide (-20)/30 + ((-11352)/(-18))/1?
True
Let u(h) = h**3 + 124*h**2 - 322*h + 807. Is u(-125) a multiple of 7?
False
Suppose 8*h = 10*h + 2. Let g be (-26 + 25)/(h*(-2)/6). Is 3 a factor of (0/g - 9)*-3?
True
Let s(f) = 14*f + 1. Suppose -11*z + 17 = 6*z. Let c be s(z). Suppose 19*y - 312 = c*y. Is y a multiple of 26?
True
Suppose 79*b = 83*b - 61000. Is 33 a factor of b?
False
Suppose 5*z - 5*r + 7*r = -33, 16 = -4*r. Does 14 divide 33075/210*(0 + (-8)/z)?
True
Let j be (-3432)/(-14) - 5/140*4. Let c = -183 + j. Does 11 divide c?
False
Suppose 11*u - 2702 = -3*u. Suppose 853 = 4*p + u. Is 15 a factor of p?
True
Let s(j) = -j**3 + 10*j**2 - 10*j + 11. Let f be 3*(1 + (1 - -1)). Let i be s(f). Does 3 divide 18 - (52/16 + i/(-8))?
True
Suppose -7*n = -n - 99*n + 718239. Is n a multiple of 9?
False
Suppose 42*n + 3467520 = 234*n. Is 70 a factor of n?
True
Let b(s) = -16*s + 131. Let n be b(8). Suppose -u - 202 = n*o - 879, -o + 5*u + 199 = 0. Does 4 divide o?
True
Let n(y) = y**3 - 39*y**2 - 23*y - 755. Is 28 a factor of n(42)?
False
Let h = -757 - -1435. Suppose i - 9*a = -6*a + 334, a + h = 2*i. Does 20 divide i?
True
Suppose 64487 = -128*k + 184295. Is k a multiple of 18?
True
Suppose -1162979 - 622909 = 33*z - 111*z. Is z a multiple of 36?
True
Let s = 5352 + -1804. Suppose 4*q + 1753 + 1815 = 4*l, -q + s = 4*l. Is l a multiple of 37?
True
Let u(q) = -q**2 - 23*q - 18. Suppose 32*s = 29*s - 66. Let n be u(s). Suppose 4*v - 2440 = -n*v. Is 29 a factor of v?
False
Suppose r = 5*b + 130, 2*r - 7*r = -b - 602. Let j = r - 0. Does 60 divide j?
True
Let n(s) = 4*s**2 + 2*s + 2. Let c be n(-1). Suppose -c*p + 0*u - 3*u = -54, 2*u + 34 = 2*p. Suppose p*b = 3*b + 960. Does 17 divide b?
False
Suppose -326 = 4*n + 3*m - 2082, -4*n = -5*m - 1724. Suppose -n*p + 1224 = -435*p. Is p a multiple of 24?
True
Let y = -145 + 1517. Suppose 0 = 7*a - y - 196. Is 32 a factor of a?
True
Let c(a) = a**3 + 16*a**2 - 3*a + 12. Let m be 44*(18/24)/(3/2). Let v = m - 38. Does 12 divide c(v)?
True
Suppose 6*p = -k + 11*p + 24, 64 = 4*k - 4*p. Suppose -266 - 2478 = -k*v. Does 28 divide v?
True
Let y = 197 - 195. Is 74 a factor of (5 - -438) + (y - 1)?
True
Let m = -291 + 291. Suppose -4*q - k + 15 = 0, 3*q + 3*k - 3 - 6 = 0. Suppose m = -5*d - 15, -2*d - 324 = -q*z + 2*d. Is z a multiple of 11?
False
Let u(s) = 6*s + 6. Let o be u(6). Suppose -57*b - 1148 = -98*b. Let n = b + o. Is n a multiple of 13?
False
Suppose -18*k + 5631 + 10155 = 0. Is 17 a factor of k?
False
Let g = 6947 - 6436. Is 11 a factor of g?
False
Let p(w) = 33*w**2 - 68*w - 443. Is 63 a factor of p(17)?
True
Let t(j) = 4*j + 1. Suppose -2*u = 7 - 17. Let r be (6 - u) + 0/(-1). Is 3 a factor of t(r)?
False
Let r be ((-4)/(-10))/((-8)/(-140)). Suppose r*a = 9*a - 16. Suppose 10*q = a*q + 66. Is 11 a factor of q?
True
Let x = -94 + 96. Suppose -2*o - x*j = -120, -3*o + j = -82 - 98. Is 2 a factor of o?
True
Let i(y) = -y**2 + 22*y - 11. Let w(j) = 2*j**2 - 17*j - 1. Let b be w(9). Let p be i(b). Let f = p + -29. Is f a multiple of 40?
False
Suppose 10425 = 5*s - 5*y, -3104 = -2*s - 4*y + 1060. Is s a multiple of 9?
False
Suppose -3*i + 306 = k, 5*k - 3*k - 6 = 0. Let d = i - 74. Does 7 divide ((-14)/(-3))/(3/d)?
True
Suppose 7*j + 0*j = 70. Let z(d) = -d**2 + 11*d - 4. Let w be z(j). Suppose 235 = 4*p + v, w + 0 = 2*v. Does 25 divide p?
False
Let d(z) = 2*z - 14. Suppose 0 = -3*n + u + 1 + 22, 5*n = 2*u + 39. Let w be d(n). Suppose w*s = 2*s - 156. Does 9 divide s?
False
Suppose d - 3 = 0, -2*u + 4*d + 6488 = 3*u. Is 3 a factor of u?
False
Let z = -2735 - -1370. Let y = 2085 + z. Is y a multiple of 16?
True
Is -30032*(2 - (-189)/(-84)) a multiple of 6?
False
Let f(k) = -k**3 - 14*k**2 - 12*k + 15. Let o be f(-13). Does 9 divide (27/o)/((-18)/(-240))?
True
Let x(r) = 20*r + 11. Let t(i) = -21*i - 10. Let k(l) = -5*t(l) - 6*x(l). Let j be k(-3). Suppose 3*m - 93 = -3*p, -2*m + j = -4*p - 9. Is 13 a factor of m?
False
Let j(b) = 3*b**2 - 53*b - 16. Let g be j(18). Let f be (2 - g)/(-2)*(-5)/(-10). Suppose -20*c + 414 + 106 = f. Does 26 divide c?
True
Let j be (-248)/16 - (-1 - 1)/4. Let p(n) = -n**3 - 15*n**2 + 2*n + 34. Let d be p(j). Suppose -d*s = -158 - 242. Does 24 divide s?
False
Let n(o) = -15*o + 25. Let a be n(6). Let v = 399 + a. Is 21 a factor of v?
False
Suppose -6*w - 4*w = -2*w - 9240. Does 27 divide w?
False
Let h(z) = -7192*z + 1359. Is 44 a factor of h(-3)?
False
Suppose 5*r = 5*p + 1675, -1006 + 2669 = 5*r - p. Is 83 a factor of r?
True
Suppose 104*g = 74*g - 1080. Let p = 920 + g. Does 26 divide p?
True
Let h(w) = w**3 + 9*w**2 - 2*w + 3. Let b be h(-9). Is 47 a factor of 141/((b - 20)*(-6)/(-16))?
True
Suppose -s - 34 = -38, -5*s = -6*o + 18544. Does 13 divide o?
True
Suppose -35*f = -129*f + 169255 + 1610071. Is f a multiple of 110?
False
Let q = 174 