w(4)?
True
Does 6 divide -8 + 22636 + (7 - 7) - 5?
False
Suppose -5*j + 21997 = 5*k + 2252, 5*j - 5*k = 19735. Suppose 0 = -24*u + 132 + j. Does 36 divide u?
False
Let a = -144912 - -209002. Is 13 a factor of a?
True
Let u(y) = y**2 + 10*y + 13. Let h be u(-7). Let z be ((-10)/h + -1)*(-108)/(-9). Suppose 162 = -0*r + z*r. Is 27 a factor of r?
True
Let k be 126/27 + 2/(-3). Suppose 2*j = k*s - 0*j - 592, -5*j + 470 = 3*s. Is 9 a factor of s?
False
Let u(h) = 8191*h + 4223. Does 11 divide u(6)?
False
Let r(y) = 215*y + 54. Does 122 divide r(12)?
False
Suppose 2*h - 2*a = -2*h + 44, 4*h + 3*a - 24 = 0. Let i(v) = 89*v - 62. Is 30 a factor of i(h)?
False
Let p(w) = -w**2 - 2*w + 56. Suppose 4*g = 12 + 12. Suppose -2*k + g = -2*q, -3*q = -k + 3 - 0. Is 8 a factor of p(q)?
True
Suppose 5*h - 18 = 3*t - 2*t, -t = 5*h - 22. Does 50 divide ((0 - 9/3) + t)*-521?
False
Suppose -44*q + 866142 - 341266 = 0. Is q a multiple of 66?
False
Let a be (-27)/(-6)*(-20)/(-15). Suppose 5 = g - a. Suppose 1650 = g*u - 0*u. Is u a multiple of 11?
False
Let m = 4294 + -2723. Does 4 divide m?
False
Suppose 75 = -w + 5*f, -2*w + 5*f = -7*w - 285. Is 4 a factor of -6*8/w - 361/(-5)?
False
Suppose -6 = o - 4*o. Let v = o + -5. Is 2 a factor of 4/6 - 2*2/v?
True
Suppose 160 - 161 = l, 0 = 5*p + 2*l - 28813. Does 13 divide p?
False
Let u(a) = a**3 - 13*a - 19. Let n be u(7). Let x = n + 242. Is x a multiple of 16?
False
Suppose -47*m - 42 = -54*m. Suppose -m*k - 20160 = -38*k. Is k a multiple of 10?
True
Let p be (-4)/(3*(-7)/(84/8)). Suppose -34 = -p*t - 3*b, 5*t - 69 = 4*b + 39. Suppose t - 124 = -4*o. Is o a multiple of 26?
True
Suppose -891773 = -282*o + 8371. Is 69 a factor of o?
False
Suppose 2192291 = 67*l + 202123. Does 188 divide l?
True
Let z(i) = i**3 - 18*i**2 + 22*i - 22. Let l = 49 + -93. Let n = -27 - l. Does 13 divide z(n)?
False
Is 82 a factor of -8 - (-10 - (-28842)/(-6))?
False
Let s(b) = 10*b**3 + 8*b**2 - 4*b + 14. Is 17 a factor of s(7)?
True
Suppose 62*x - 1167541 - 431375 = 431150. Is 15 a factor of x?
False
Let w = 4 - 32. Let v be 95*(-1 - w/20). Suppose -13*p + v + 378 = 0. Does 4 divide p?
True
Suppose 0 = 97*l - 111*l - 1120. Does 3 divide ((-1)/(3/(-6)))/((-32)/l)?
False
Suppose -4*b - 2*a + 1269 = -28099, 3*b - 2*a - 22026 = 0. Is 15 a factor of b?
False
Suppose j = -24*u + 19*u + 159302, -2*u - 3*j + 63726 = 0. Is u a multiple of 90?
True
Let o(i) = 96*i + 4. Let a = 17 + -11. Suppose -5*u + 4*z + 15 + a = 0, -2*u + 3*z + 14 = 0. Does 17 divide o(u)?
False
Let q = 789 + 503. Is q a multiple of 19?
True
Let u(x) = 16 + 38 + x - 35. Let t be u(-12). Let j = 3 + t. Is j a multiple of 2?
True
Suppose -496*v + 43848 = -478*v. Is v a multiple of 14?
True
Suppose -121*i - 148*i = -22*i - 1416051. Is i a multiple of 39?
True
Suppose -48 + 64 = 4*h. Suppose 0 = h*k - 5*q - 1302, 5*k + 2*q = 5*q + 1634. Does 82 divide k?
True
Suppose -j - 3*h + 11863 = 0, 205*j - 201*j - 2*h = 47452. Does 30 divide j?
False
Suppose -11*m + 15*m = 164. Let u = -21 + m. Is (41/(-5))/(u/(-100)) a multiple of 35?
False
Let j = -3 + 5. Let w be 343/4 - 4/(-32)*j. Let f = -16 + w. Is f a multiple of 14?
True
Is 8 a factor of (9/27)/((10/22926)/5) + -1?
False
Let t(s) = -5*s + 16. Let m be t(-2). Suppose 30*i - m*i = 752. Is 47 a factor of i?
True
Let y(c) = c**3 - 53*c**2 - 88*c - 18. Does 120 divide y(56)?
False
Let d = -14026 - -19840. Suppose 5*a - 24*a = -d. Does 17 divide a?
True
Let w(s) be the second derivative of 13/12*s**4 + 28*s - 7*s**2 + 7/6*s**3 + 1/20*s**5 + 0. Does 31 divide w(-10)?
False
Suppose 1745*t - 1761*t = -118976. Is t a multiple of 22?
True
Let r = -37 - -29. Let f be 3/((-4)/r*(-2)/(-1)). Suppose 300 = 5*w - 3*a, 2*w = -f*a - 1 + 121. Is 20 a factor of w?
True
Suppose -245249 = -17*v - 89665. Is 99 a factor of v?
False
Let t be 2/3 + (-409)/(-3). Let k be (13 - t) + (0 - 2). Is (-8)/(-6) + 7/(k/(-12)) even?
True
Suppose 24*z + 9*z + 77 - 3047 = 0. Is z a multiple of 73?
False
Is (((-9760)/150)/(1/(-6)))/((-66)/(-1155)) a multiple of 148?
False
Suppose 0*x + 2*j = 2*x - 12432, x - 3*j = 6214. Suppose 0 = -6*l + x + 1331. Is 37 a factor of l?
True
Let a be (2 + -5 - -9) + (256 - 4). Let o = 1799 + a. Is o a multiple of 69?
False
Let d be -1*(0 + 7 + -172). Let o = 220 - d. Is o a multiple of 16?
False
Suppose 11*z - 8*z - 6 = 0. Suppose 0 = -0*s - z*s + 12. Suppose -33 = s*j - 201. Is j a multiple of 14?
True
Let r(x) = 11*x**2 - 23*x + 392. Is 15 a factor of r(32)?
True
Let z(f) = -f**3 - 18*f**2 - 2*f - 4. Let i be z(-18). Let m(t) = -t**3 + 33*t**2 - 29*t + 12. Is m(i) a multiple of 4?
True
Suppose 0 = 14*z + 13*z - 10*z - 263228. Is z a multiple of 98?
True
Let c(g) = 491*g**2 - 10*g - 96. Does 75 divide c(-4)?
True
Let v(f) = 10*f - 15 - f**2 + 8 + 11*f - 2*f. Suppose 117 = 9*c + 27. Does 14 divide v(c)?
False
Let w(s) = s**2 + 5*s - 7. Let z be w(-7). Is (-1)/(z/(-28)) - -255 a multiple of 30?
False
Let m = 1318 - 473. Let r = m + -557. Does 12 divide r?
True
Suppose 3*m - 8281 = 5*b, -2751 = -m + 98*b - 101*b. Is 5 a factor of m?
False
Let w be (3/6)/(6/(-288)). Suppose 0 = -2*t - 5*k + 160, -5*t + 188 = -k - 185. Let l = t + w. Is 16 a factor of l?
False
Let a = -19959 - -37271. Is 45 a factor of a?
False
Let n = -738 + 1578. Suppose 2*q = 8, b - q = -3*b + n. Does 41 divide b?
False
Does 137 divide (1 - 10) + (0 - (-283927)/7)?
True
Let u be (-2374)/8 + 125/(-20) + 6. Let r = u - -361. Is r a multiple of 32?
True
Suppose -68*r - 4 = -70*r. Let t(x) = -4*x**2 - 4 + 14*x**r - 3*x**3 + 4*x**3 - 12*x. Is t(-10) a multiple of 31?
False
Suppose -2*y + 462 = -3*t + 5*t, -3*t + 701 = -5*y. Let z = 449 - t. Does 31 divide z?
True
Suppose 193*w = 251*w - 82128. Is w a multiple of 8?
True
Let m(w) = -w**2 + 13*w + 25. Let n(u) = 2*u**2 - u - 8. Let t be n(-3). Let r be m(t). Is (r/3)/(1/63*7) a multiple of 19?
False
Suppose 0 = 9*m - 10*m - 114. Let j = 104 + m. Let c(o) = -2*o - 13. Is 4 a factor of c(j)?
False
Let i(t) = 9*t**2 - 438*t + 62. Does 39 divide i(-22)?
False
Suppose 4*n + 3*a + 11 = 4, 4*n = 3*a + 23. Let k(o) = -o + 8. Let c be k(6). Suppose 0 = c*t + n*f - 74, 2*t + 3*f = t + 39. Is t a multiple of 12?
True
Suppose -66*s - 5*s + 59356 = 0. Is s a multiple of 11?
True
Let f = 68 - 63. Suppose -p - 5*x + 105 = 0, 3*x + 262 = -3*p + f*p. Does 25 divide p?
True
Suppose 5*h + 167 = 3*j - 16, -4*h + 4*j = 140. Is (4 - h/(-9))*-444 a multiple of 6?
False
Suppose 3*n - 3*b = 32280, n - 4487 = 3*b + 6265. Does 21 divide n?
False
Let h be (72/42)/(3/6468). Suppose 14*q - 30*q + h = 0. Is q a multiple of 21?
True
Let r(c) = 8*c**2 + 2*c - 7. Let k = -41 + 31. Let f be (-38)/(-95) + (-26)/k. Is 36 a factor of r(f)?
False
Suppose 1542*u - 32140 = 1540*u. Is u a multiple of 16?
False
Let q(r) = r**3 - 4*r**2 + 3*r - 32. Let t be q(8). Suppose -2*j = 6, d - 5*j - 53 = t. Is 41 a factor of d?
False
Suppose -5 = -4*y - p, 3*y + 21 = 2*p + 33. Suppose 470 - 232 = y*n. Does 33 divide n?
False
Let p be 6/(-4) + (-108)/(-24). Suppose 572*l = 569*l + 6. Suppose -p*y + 440 = l*y. Is 10 a factor of y?
False
Let p(u) = -2*u**3 + 16*u**2 - 9*u + 1. Let b be (-86)/(-4) + (-7)/(-14). Let i be 1/2*b - 4. Is p(i) a multiple of 14?
False
Suppose -m + 1035 = -2*v, -v = -31*m + 30*m + 1028. Is 2 a factor of m?
False
Suppose -2*h = 2*h + 2*n - 34, 0 = 2*h + 5*n - 29. Suppose -5*s - 13 = 2*k, 0*s = 4*s + 5*k + h. Does 2 divide s/(14/10 + -2)?
False
Let i = -3949 - -7776. Suppose -a - 3*f = 4*a - i, -5*a - 2*f = -3823. Is a a multiple of 47?
False
Suppose 3*f + 60 = 9*f. Suppose -918 = 7*q - f*q. Is q a multiple of 44?
False
Let f(p) = p**3 + 13*p**2 + 12*p - 11. Let j be f(-8). Let r = -35 - 56. Let l = j + r. Is l a multiple of 22?
False
Let i(s) = -12*s - 59. Let j be i(-11). Suppose 3*p - j = -2*m + 64, -p - 5*m + 37 = 0. Does 3 divide p?
False
Suppose 33*h - 20153 - 2452 = 0. Is 55 a factor of h?
False
Let r(k) = -11*k + 1. Let x be r(1). Let p = -12 + 32. Is ((-128)/p)/(1/x) a multiple of 4?
True
Suppose 0 = -3*v + 4*y - 20, 4*v + 5*y - 2*y + 35 = 0. Let u(w) = -5*w - 5. Let l be u(-5). Let c = l + v. Is c a multiple of 12?
True
Let m(f) = -26*f + 238. Let b be m(10). Let i(z) = 3*z**2 + 25*z - 29. Does 57 divide i(b)?
False
Let v(j) = -6*j**3 + 22*j**2 + 82*j +