0*s = 35567*s - 140352. Is 129 a factor of s?
True
Suppose 211*w - 38*w + 116*w - 7760228 = 0. Is 137 a factor of w?
True
Suppose 3*w + 0*w - 11366 = -p, 0 = -5*p - 20. Is 33 a factor of w?
False
Let l be 95/38*24/10. Let u(h) = 5*h**2 + 3*h + 10. Let v be u(l). Suppose 7*j - n = 5*j + v, 2*j - 2*n - 208 = 0. Is 24 a factor of j?
False
Suppose 0 = -2*y + 7 + 3. Let s(u) = 6 + 187*u - 5*u**2 - 187*u + u**3. Does 3 divide s(y)?
True
Let b = -384 + 783. Let s = b - 240. Is 2 a factor of s?
False
Let i(k) = -141*k**2 - 13*k + 77*k**2 + 75*k**2 - 5 + 2*k**3 - 1 - k**3. Is 11 a factor of i(7)?
False
Let a be ((-22)/(-14) - 1) + 493/203. Suppose 347 = 5*v - 4*r, 0*v + 4*r = -a*v + 221. Does 7 divide v?
False
Let m(l) = -l**2 + 11*l - 25. Let n be m(4). Suppose 0 = x - n*b - 87, -3*x + 2*b + 213 = 5*b. Does 14 divide x?
False
Let n = -279 - -271. Let a(l) = -l**3 - 9*l**2 - 5*l + 40. Does 3 divide a(n)?
False
Is (39 - 13)*2255 + 20 a multiple of 138?
True
Let i be 58/4 + 6/(-12). Let h(j) = 5*j - 34. Let d be h(i). Suppose -d = -s - 3*s. Does 3 divide s?
True
Let v be (96/(-8) + 14)*(-37)/(-2). Suppose v*q = -9*q + 12696. Is q a multiple of 23?
True
Let w(b) = 24*b**2 + 6 + 6*b + 12 - 16. Let h be w(6). Suppose -h = -5*s - 4*m, 5*s = m - 4*m + 899. Does 40 divide s?
False
Suppose 3*v + 11601 = -4*i + 32720, -3*i + 2*v + 15835 = 0. Is i a multiple of 39?
False
Let f(a) = 3*a**3 - 5*a**2 + 2*a - 1. Let m = 64 - 3. Let g = m + -58. Is f(g) a multiple of 13?
False
Let r(g) = -134*g + 31 + 133*g + 42. Does 7 divide r(24)?
True
Suppose -16*q = 5*q - 62619 - 15606. Does 17 divide q?
False
Let o = -1362 - 132. Let j = o + 2134. Is j a multiple of 32?
True
Let n = -41 + 46. Suppose -n*k + q = -347, -2*k = 2*k - 4*q - 268. Suppose 3*c = -4*c + k. Is 4 a factor of c?
False
Suppose -9*u + 2*u + 448 = 0. Suppose -2*v + 6 - 1 = -f, 0 = -5*f - 5*v + 50. Suppose 0 = f*s - u - 41. Is 2 a factor of s?
False
Suppose 42287 = -23*z + 120221 + 235763. Is z a multiple of 7?
False
Suppose -5*p + 5*c + 60 = 0, 2*p + 36 = 5*p + c. Let i(t) = -p*t - 2*t**3 + 15 + t**3 + 1691*t**2 - 1679*t**2. Is 5 a factor of i(10)?
True
Let c be (-7 - -6) + 3 + 2. Let r(h) = 10*h**2 - 4*h + 11. Does 31 divide r(c)?
True
Suppose -31*g + 15 = -34*g. Let s be 22 + (-16)/20*g. Suppose 3*j - s = 13. Is 4 a factor of j?
False
Suppose -124*w + 17240 = -129*w + 51560. Is w a multiple of 22?
True
Let t be ((-18)/21)/((-249)/(-252) - 1). Suppose -t*h = -62*h - 500. Is 3 a factor of h?
False
Suppose 4*o = -z + 523, 0 = 5*o - 3*z - 0*z - 641. Let v(i) = i**2 - 12*i - 24. Let l be v(16). Suppose o = 45*h - l*h. Is h a multiple of 13?
True
Suppose 203957 = 111*x - 98*x. Does 7 divide x?
False
Suppose -5*g - w + 1433 = 0, 0 = -g + 4*w + 313 - 39. Suppose 0 = 3*d - 3*o - 1122, g = -d - 5*o + 684. Does 9 divide d?
True
Let f be ((-1)/((-3)/3) + -3)*-11. Let a = 24 - f. Does 6 divide ((-2)/a)/((-7)/504)?
True
Let x(z) = 19*z**2 - 17*z + 31. Let m(u) = 10*u**2 - 9*u + 16. Let o(a) = -11*m(a) + 6*x(a). Let c be o(5). Let b = 218 - c. Is b a multiple of 37?
False
Is 3980/210*-39*-42 a multiple of 13?
True
Does 57 divide (-7 + 132/18)*(-158712)/((-12)/3)?
False
Suppose -30*l = -4*l - 182. Let x(b) = 8*b**2 + 11*b - 19. Is x(l) a multiple of 37?
False
Let t(r) = -2*r + 12. Let c be t(2). Let k(i) = 5*i**2 - 8*i - 5. Let u be k(c). Suppose -f = 2*a - u, 4*f - f + 5*a = 753. Does 49 divide f?
False
Suppose -4*z = -9*z + 30. Suppose z*w - 11*w + 2045 = 0. Does 32 divide w?
False
Is 15 a factor of 222/(-8)*(-101700)/675?
False
Suppose 5*x - 380 = -5*p, 0*p = p - 2. Let i = x - -147. Let u = -117 + i. Does 13 divide u?
True
Let c = 14361 + -4416. Is 5 a factor of c?
True
Let o = -19 - -28. Suppose -140 = c + o*c. Let v = 16 + c. Does 2 divide v?
True
Let c = -6731 + 7687. Does 2 divide c?
True
Let n(l) be the second derivative of 3*l**5/20 - 59*l**4/12 - l**3 - 8*l**2 - 3*l + 4. Is 24 a factor of n(20)?
True
Let z = 11536 + -1391. Does 74 divide z?
False
Suppose 3*r + 1895 = -5*i, -r + 1185 - 34 = -3*i. Let b(v) = -126*v + 53. Let p be b(-4). Let c = p + i. Is 25 a factor of c?
True
Let o(d) = -2*d + 164. Let a be 0/(2 - (6 + -3)). Let c be o(a). Suppose -x + 67 = 2*v, -3*v + 4*x = v - c. Is v a multiple of 6?
True
Let f(d) be the first derivative of 7*d**2 + 36*d + 114. Does 15 divide f(9)?
False
Let u(y) = y**2 - 13. Let l be u(4). Suppose -4*w + 692 = 4*b, -l*b + 183 = -2*w + 3*w. Does 27 divide w?
False
Suppose -107382 = -4*t - 3*r, 4*t - 107366 = -10*r + 15*r. Does 349 divide t?
False
Let u(m) = -m**3 - 2*m**2 + 17*m. Does 7 divide u(-12)?
False
Let k(z) = 14*z**3 + 15*z**2 - 17*z - 6. Let d(a) = -5*a**3 - 5*a**2 + 6*a + 2. Let q(p) = -17*d(p) - 6*k(p). Is 5 a factor of q(7)?
True
Suppose -5*k - 3*v + 2 + 21 = 0, -5*v - 7 = -3*k. Suppose -3*m = -k - 11. Suppose 3 + 7 = 2*c + m*d, 38 = 2*c - 2*d. Does 6 divide c?
False
Let t = -15 - -17. Suppose n = -3*i + 19, t*i = 4*n - 7 + 1. Suppose -169 = -n*d + 39. Is d a multiple of 13?
True
Suppose -7 = -14*z + 7*z. Let n be (0 - -2)*z/(-2). Is 24 a factor of ((-678)/(-21))/(n/(-7))?
False
Let j(m) = 2767*m + 3504. Is j(6) a multiple of 69?
False
Let j = 40 - 37. Let s(q) = -7*q + 20. Let o be s(j). Is 6/4*(o - -8)*8 a multiple of 21?
True
Let q(l) = 5*l + 33. Let a be q(-7). Let m(g) = 2*g**3 + 2*g**2 + 2*g + 5. Let o be m(a). Is 15 a factor of (-7)/(o/(-2)) - -92?
True
Let q = 1294 - 754. Let k = q + -343. Is k a multiple of 21?
False
Suppose 2*m = -5*r + 3398, 0 = -4*r - 5*m + 33 + 2699. Let i = r + -258. Suppose 2*k - 2100 = -5*w, -2*w + 3*w - 3*k = i. Is 60 a factor of w?
True
Let u(i) = 25*i**2 - 153*i - 429. Does 46 divide u(-3)?
False
Let w = -22653 + 27581. Does 14 divide w?
True
Let x be (3/(-9))/(0 + 2/(-1074)). Let h = x + 6. Let l = h + -105. Does 16 divide l?
True
Let g be -506*(2/(-12))/((-2)/(-6)). Let t = 420 - g. Does 22 divide t?
False
Is 2 a factor of 0/2 + 19136/(30 + -17)?
True
Let h(z) = 302*z - 13. Let r be h(3). Let a = r - 513. Is 38 a factor of a?
True
Let z(s) = 40*s + 33. Let g be z(0). Suppose g*x - 1696 = x. Is 7 a factor of x?
False
Is 56 a factor of (-12 - (8 + -12 - 1)) + 2527?
True
Let p(l) = -l**3 + 15*l**2 - 16*l + 22. Let z(c) = c**3 - 10*c**2 + 2*c - 6. Let m be z(10). Let v be p(m). Is 26 a factor of 9835/42 + (7/v)/7?
True
Suppose -32*b = 60*b - 1010295 - 36021. Is b a multiple of 17?
True
Does 40 divide (16662/(-15) + 2)*(-1700)/102?
True
Let j(y) = -7*y**3 + 6*y**2 + 8*y + 11. Let v(b) = -b**2 - b - 2. Let u(d) = j(d) - v(d). Is 26 a factor of u(-4)?
False
Let y be (-39)/52*16/(-3). Let u(i) = 5*i**2 - 67*i**3 - 68*i**3 - y*i**2. Does 13 divide u(-1)?
False
Let o be (-6)/(-4)*5/(45/24). Suppose 51 = -o*p - 5*y + 287, 4*y = -5*p + 286. Does 30 divide p?
False
Let d(i) = i**3 + 8*i**2 + 18. Suppose -5*v + 6*v + 8 = 0. Let l be 2 + (10/8)/(1/v). Is d(l) a multiple of 9?
True
Let z be (-1)/(4*4/48). Does 36 divide ((-10)/(-6))/(((-12)/z)/300)?
False
Suppose 19784 = 6*p + 5*v, -2*p - 2*v = -v - 6596. Does 46 divide p?
False
Let o be (-20)/25 + ((-5318)/(-10) - 0). Suppose 7*v - 1392 = -o. Suppose -8*d + v + 869 = 0. Is d a multiple of 31?
True
Suppose 13*m + 462 = 16*m + 4*f, 4*m - 660 = 2*f. Is 3 a factor of m?
True
Let a = -3212 + 4753. Is 17 a factor of a?
False
Let p = 135 - 131. Is 18 a factor of (p - 10 - -12) + 226?
False
Let u(j) = -5*j**2 - 2*j + 1. Let c be u(4). Let t be (7/5 + 1)/((-1)/1170*-27). Let g = c + t. Is 3 a factor of g?
False
Let h(k) be the first derivative of -k**4/4 - 23*k**3/3 - 14*k**2 - 8*k + 22. Does 9 divide h(-22)?
False
Suppose -2099 = -5*w - o - 0*o, -1262 = -3*w + 2*o. Let l = w - 330. Is 10 a factor of l?
True
Let c(p) = -4*p - 27. Let h be c(-8). Let r be ((-4)/(-2)*-3)/(h/(-80)). Is 11 a factor of (-1)/((6/r)/((-14)/4))?
False
Let v(z) = -z**2 + 3*z - 19. Let o(i) = -2*i**2 + 5*i - 20. Let x(g) = -4*o(g) + 5*v(g). Is 53 a factor of x(-12)?
True
Let u(t) = t**2 - 6*t - 2. Let y be u(7). Let j(h) = -h**3 + 5*h**2 + 7. Let a be j(y). Let f(i) = 4*i + 2. Is f(a) a multiple of 10?
True
Suppose -17 = -5*b - 2. Suppose -4*v = -5*w - 0*v + 3516, -5*w + 3488 = 3*v. Suppose 2*g - w = -b*g. Is 28 a factor of g?
True
Let k(z) = 3*z**2 + 4*z - 173. Let g be k(0). Let r = 191 + g. Is 12 a factor of r?
False
Is