*s + 7*s + 223720 = 14*s. Is 85 a factor of s?
True
Suppose -21*w = -w + 5460. Let c = 317 + w. Is c a multiple of 22?
True
Let n = 27 - -124. Suppose 2*a + n = -3*d + 4*d, 0 = -3*d - a + 439. Is d a multiple of 21?
True
Let q = -44 + -22. Let n be (-1)/(-4)*-1*q*2. Suppose n = 4*v + 1. Does 4 divide v?
True
Let z be (-4 + 16)/(-2) - -3. Let b be (-1)/1*7*z/7. Let n(t) = 5*t**2 - 6*t + 7. Is 34 a factor of n(b)?
True
Suppose -35070 = -1098*t + 1091*t. Is 6 a factor of t?
True
Let l = -1293 + 3041. Is l a multiple of 19?
True
Let l = 2627 + -385. Is l a multiple of 38?
True
Suppose 6*a + 238 = -800. Let p = 54 + a. Let l = p + 189. Does 7 divide l?
True
Let a(j) = -59*j - 4313. Is a(-132) a multiple of 25?
True
Suppose -23 - 9 = -8*f. Suppose -12 = -f*j + 2*x, 8 = -x + 3*x. Suppose 5*l - 44 - 1 = -j*m, -3*l + 5*m + 35 = 0. Does 5 divide l?
True
Let v = -61 - -75. Let w = v + 282. Let d = w - 171. Does 19 divide d?
False
Let r be (-2)/((-4)/(-5))*-6. Suppose -592 = -r*g + 773. Is 2 a factor of g?
False
Does 9 divide 6/162 + (-2607361)/(-783)?
True
Let k(i) = -6*i**3 - 160*i**2 + 8*i + 14. Is k(-27) a multiple of 7?
False
Let k(j) = -595*j**2 - 52 - 3*j - 9*j + 605*j**2. Does 7 divide k(-5)?
False
Let y = -303 - -724. Let k = y - 349. Is k a multiple of 2?
True
Suppose 3*z - 4 = 2*z. Suppose -740 = -0*d - d. Suppose 4*u + z*c = d, -345 - 401 = -4*u - 2*c. Is 30 a factor of u?
False
Let y(r) = 2*r**2 + 101*r + 2053. Does 31 divide y(-37)?
True
Let q(j) = 3745*j + 1252. Does 8 divide q(4)?
True
Let h(l) = -2*l**3 - 13*l**2 - l + 16. Let z be h(-5). Let t = 11 + 95. Let a = t + z. Does 31 divide a?
False
Suppose -443227 = -287*f + 3845127. Does 19 divide f?
False
Let c = 230 + -109. Suppose -2*u = 2*q - 39 - c, 5*q - 324 = -4*u. Is 2 a factor of u?
True
Suppose -15*p - 63 = -6*p. Let y(o) = -66*o - 69. Is y(p) a multiple of 12?
False
Suppose 38652 + 139426 = 38*x - 139298. Does 9 divide x?
True
Let b(c) be the second derivative of c**4/12 - 3*c**3 + 4*c**2 - 23*c. Let x be b(18). Suppose -6*w + x = -394. Does 6 divide w?
False
Is 2 a factor of -3 - (-6 + 729/(-9))?
True
Let p(x) = 7*x**2 + 19*x - 64. Let k be p(4). Suppose -k*o - 180 = -127*o. Is o a multiple of 4?
True
Suppose -82 = -3*t + 5*x - 51, 59 = 5*t - x. Does 25 divide (-2722)/(-6) - 5/90*t?
False
Let m be 1 + ((-4)/(-8)*8 - 2). Suppose 7*q - m*q + 4 = 0. Is 0 + (20 - 1) + q even?
True
Let p(o) = -o**3 - 2*o**2 - 4*o - 5. Let m(t) = -t**2 + 11*t - 12. Let i be m(10). Let f be p(i). Suppose 0 = -f*a + 71 + 91. Does 18 divide a?
True
Let x(q) = -q**2 - 15*q + 32. Suppose -185 = 3*p - 191. Let t(s) = 4*s**2 + 59*s - 128. Let r(v) = p*t(v) + 9*x(v). Is r(-17) a multiple of 3?
False
Does 22 divide 12759 + ((-27)/(-21) - 8/28)?
True
Let a = -383 + 388. Suppose 0 = 2*x - 3*b - 593, a*x + 222 = 5*b + 1697. Is x a multiple of 5?
False
Let o = 17 + -848. Let w = o + 1390. Is 16 a factor of w?
False
Is 6 a factor of (3 + (-33462)/12)/((-25)/300)?
True
Let s be 3/(-3)*(-117 + 10). Let j = 115 - s. Is j/(-14) - (-117)/21 a multiple of 2?
False
Let i(b) = 703*b + 1246. Is 155 a factor of i(13)?
True
Let l(p) = 342*p + 4216. Is l(17) a multiple of 17?
True
Let x(n) be the first derivative of n**3/3 - 4*n**2 + 93*n - 331. Is x(24) a multiple of 39?
False
Let m = 46914 + -44577. Does 29 divide m?
False
Suppose 45*n - 31*n = 18676. Let u = -291 + n. Is u a multiple of 27?
False
Let m(c) = -12*c + 18. Let r(p) = 11*p - 17. Let f(d) = 3*m(d) + 4*r(d). Does 5 divide f(8)?
True
Let c = 2009 - 1113. Let y = 1295 - c. Is y a multiple of 35?
False
Let s be (-1 - 175)*(-5 - 0). Suppose s = o + 10*o. Does 28 divide o?
False
Let o be 109 + (-105)/49 + 2/14. Let h = o + -23. Is 5 a factor of h?
False
Let y = 319 + -562. Is -2 + 6 + (-2 - y) a multiple of 36?
False
Let h(n) = 8*n**3 - 6*n - 1. Let l(s) = -s - 1. Let k(z) = h(z) - 3*l(z). Let u be k(1). Suppose -u*m + 350 = 7*m. Is m even?
False
Suppose -109*o = -108*o - 3. Let r(z) = -2*z**3 + z + 1. Let i be r(-1). Suppose -o*b - j + 212 = b, 0 = -i*b + 4*j + 124. Is 9 a factor of b?
True
Suppose 4*y + 6 = 5*m, -27*m - 6 = -24*m. Is (y - (-3)/1)/((-1)/54) a multiple of 54?
True
Is (14/(-2))/((-83)/24734) a multiple of 14?
True
Let b = -62 + 71. Suppose b*m - 200 = 7*m. Is m a multiple of 9?
False
Let a(b) = -19*b - 29. Let l be a(-8). Let x = -112 + l. Suppose 18*n - x*n - 973 = 0. Does 29 divide n?
False
Suppose 5*x = -2*z + 11, 12 + 8 = 5*z + 5*x. Let b(p) = 600*p - 1200. Let g be b(2). Suppose -2*l = 4*v - 500, 370 = z*v - g*v + 4*l. Is v a multiple of 18?
True
Let h be 3 - (1468/3 - (-7)/(-21)). Let r = -426 - h. Does 5 divide r?
True
Let y be -17*(30/(-3) + 1). Suppose 4*w - y + 37 = 2*p, 3*w + 4*p = 76. Let l = w + 32. Does 5 divide l?
True
Suppose 42*k - 43*k + 19783 = 2*n, 0 = -2*n - 2*k + 19788. Is n a multiple of 20?
False
Suppose 3*y - j - 1928 = 0, 3*y - 17*j + 13*j - 1916 = 0. Is y a multiple of 10?
False
Let n be (5 - (3 + 1))*3. Suppose -z + 4*w - 25 = 0, -5*z + 21 = -6*z + n*w. Let l = z + 24. Is l a multiple of 12?
False
Let o = 314 + -174. Does 23 divide (-40)/o - 1556/(-7)?
False
Let j be (-85660)/(-80) - 2/(-8). Suppose c - 4*c + j = 0. Suppose -318 - c = -5*g. Is 15 a factor of g?
True
Let s = 171 - 172. Is ((5 + s)/2)/(2/240) a multiple of 30?
True
Suppose -3*c - 68*r + 2487 = -73*r, -5*c = 5*r - 4145. Suppose 5*s + 7*k = 3*k + 4140, c = s + k. Does 13 divide s?
False
Let c = -370 + 629. Let s = -177 + c. Let n = 118 - s. Is n a multiple of 9?
True
Let f(j) be the third derivative of -j**6/120 + 4*j**5/15 + 2*j**4/3 - 14*j**3/3 - 97*j**2. Is 38 a factor of f(16)?
True
Let r(j) = j**3 + 14*j**2 + 10*j + 9. Let m be r(-13). Suppose 5*a - a = m. Does 20 divide 1310/6 - (-20)/a?
True
Is 307555/30 + 754/(-156) + 3 + 2 a multiple of 66?
False
Let x be 1/(-2) - (-5)/(-20)*-6. Let j be ((-3)/6)/x*-4. Suppose c + 30 = 3*a + 4*c, -2*a + 4 = -j*c. Does 6 divide a?
True
Let f = -31 + 79. Suppose 3*w + f = -0*w. Is 26 a factor of 43*-4*2/w*6?
False
Let r(g) = -g - 8. Let l be r(13). Suppose 2*m - 125 + 21 = -2*d, 259 = 5*m + 4*d. Let f = m + l. Does 15 divide f?
True
Let x(l) = -2*l**2 - 12*l + 10. Let h(f) = 3*f**2 + 11*f - 6. Let c(m) = 5*h(m) + 4*x(m). Is c(4) a multiple of 5?
True
Let q = 97 + -173. Let k = q + 153. Suppose -k = -3*f - 6*n + n, -5*f - 5*n = -115. Is f a multiple of 16?
False
Let v(d) = d**3 - 4*d**2 + 3*d + 2. Let p be v(3). Suppose 4*m + 4*c - 50 = 2*m, p*m - 57 = 3*c. Let j = m - -14. Is 41 a factor of j?
True
Let w be ((1/2)/(-1))/((-3)/(-84)). Let p(u) = -50*u - 46. Is 8 a factor of p(w)?
False
Suppose -60*g + 62*g - l - 15553 = 0, -15549 = -2*g - 3*l. Is g a multiple of 144?
True
Let l(b) = 11*b**3 - 20*b**2 - 19*b + 59. Is l(11) a multiple of 67?
False
Let x = -5855 + 8783. Is 8 a factor of x?
True
Suppose -5*w = 3*y - 549 - 126, -2*w - y = -269. Suppose -131*n - 70 = -w*n. Is n a multiple of 7?
True
Let n(a) = -a**2 - a + 20. Let z be n(-5). Suppose z = -v - 3*v + 4*j + 12, 5*j = 4*v - 13. Suppose 0 = -v*q - 75 + 205. Is q a multiple of 15?
False
Does 174 divide 2*4713*((-175)/(-7) + -22)?
False
Suppose 2*c = -c + 4*z - 1755, 0 = 5*c - 2*z + 2925. Let s = -540 - c. Does 3 divide s?
True
Suppose -4*f + 12 = 0, 3*f + 1103 = 5*q - f. Let i = q - -139. Is 35 a factor of i?
False
Suppose -21*f + 12*f + 63 = 0. Suppose -3449 + 537 = -f*n. Is n a multiple of 13?
True
Suppose -6*n = -z - 8*n + 36, 3*z = -3*n + 117. Let w(p) = z*p - 40*p + 1 + 104*p**2 + 1. Does 13 divide w(-1)?
True
Suppose -2*d + 1 = 4*t - 1, 3*d + 3*t = -6. Let r(g) = -2*g**3 - 2*g**2 - 2*g + 11. Is r(d) a multiple of 78?
False
Suppose 3*i = 4*f + 3963 + 32373, 3*f - 36357 = -3*i. Does 26 divide i?
True
Suppose -53*z - 4*n = -57*z + 41940, -4*n - 10488 = -z. Is 23 a factor of z?
False
Suppose 945 = 2*k + 117. Let a = 474 + k. Does 16 divide a?
False
Let f(y) = -y**2 + 8*y - 9. Let x be f(1). Is 3164/9 - ((-154)/63 - x) a multiple of 8?
True
Let y = 6 + -4. Let q(f) = 34*f - 8. Let c be q(y). Suppose 3*z - 4*z = -c. Is 8 a factor of z?
False
Let f = 37 + -35. Suppose -5*u = -2*c - 83, -c - c = f*u - 22. Suppose u*n = 18*n - 87. Is n a multiple of 4?
False
Let s(y) = -4*y + 226. Let i(r) = r - 45. Let g(k) = -11*i(k) - 2*s(k). Let o be g(14). Is 6 a factor of o + -2 +