5*h + 520. Let z = c - 155. Is 25 a factor of z?
True
Let y(k) = -2*k**2 - 78*k + 10. Let m(w) = w**2 + 26*w - 3. Let c(p) = -8*m(p) - 3*y(p). Is c(12) a multiple of 6?
True
Suppose -38*r = -36*r + 5*k - 6759, -2*r + 6765 = -k. Is 15 a factor of r?
False
Let t(w) = -4*w + 3. Does 2 divide t(0)?
False
Let o be 1/4*0 + 2. Suppose 0 = -o*t - t + 180. Is t a multiple of 20?
True
Let b = 21 + -17. Does 17 divide (1/(-4) - (-145)/b) + -2?
True
Let p be (-1)/7 + ((-22)/(-7) - 0). Is 21 a factor of 179 + (p + 1 - 0)?
False
Let m(p) = p**3 - 9*p**2 + p - 6. Let h be m(9). Suppose h*q = -2*q + 70. Is 7 a factor of q?
True
Suppose -4*c = -9*c + 45. Suppose 0 = c*n - 1068 + 150. Does 34 divide n?
True
Suppose -4*a = -1 - 27. Let w = -8 + a. Let n(z) = -32*z - 2. Is n(w) a multiple of 10?
True
Suppose 3*w - 12 = -4*l, -3*l + w - 12 = -7*l. Suppose 4*u = 1 + l. Does 4 divide -18*(u - (-4)/(-3))?
False
Let r = 9 + -9. Suppose r = -q - 3*q + 4. Is 14 a factor of q/(-4) - 729/(-36)?
False
Let h be (-10)/4*(-8)/5. Suppose -h*v - 3*s + 1131 = 0, -4*s + 351 - 78 = v. Does 19 divide v?
True
Suppose 3*v = 2*f - 1037, -5*f - 2601 = -10*f - v. Is f a multiple of 17?
False
Let s be (7 - 8)*(-262 + 0). Suppose s = 5*i - 143. Suppose 3*x - w - 194 = 0, -i = -2*x + 2*w + 43. Does 33 divide x?
True
Suppose 43 = g - 63. Is g a multiple of 2?
True
Suppose l - 732 = 2*a + 1492, -3*a = 5*l - 11094. Is 107 a factor of l?
False
Let a(h) = -8*h + 2. Let t be a(-4). Suppose -144 = -3*j + d - t, -d - 2 = 0. Let l = j - 22. Is l a multiple of 14?
True
Is 91 + (3 + 4)/7 a multiple of 92?
True
Let r(v) = -v + 1. Let s be r(-1). Suppose -2*k + 0*k = -s*i + 268, -i = k - 142. Is 30 a factor of i?
False
Let s be (-7)/((-14)/8) - 44. Is 16 a factor of -12*5/(s/12) + 1?
False
Suppose -17*j + 60846 - 21576 = 0. Does 27 divide j?
False
Suppose 49*c - 52*c = 3*i - 1884, 4*c = 2*i + 2506. Is 18 a factor of c?
False
Suppose 2*u + 5*i = 6*i + 1006, 3*u - 1509 = -5*i. Does 16 divide u?
False
Let y(w) = -w**3 - 11*w**2 + 11*w + 15. Let f be y(-12). Suppose -p = 2*p - f. Let j(g) = g**2 - 6*g - 2. Is j(p) a multiple of 21?
False
Suppose 0 = -37*f - 65 + 75212. Is 13 a factor of f?
False
Suppose 5*a - 11*a = -102. Let b = a + 24. Is 5 a factor of b?
False
Suppose 10*m - 452 = 6*m. Suppose l = 307 - m. Let d = l - 105. Is d a multiple of 24?
False
Let u(l) = l**3 - 12*l**2 + 5*l + 66. Is u(15) a multiple of 6?
True
Let y = 23 - -6. Does 16 divide ((-16)/8)/((-2)/y)?
False
Let o(q) = 2*q**2 - 24*q + 7. Let f be o(12). Suppose -f*c = -52 - 200. Is c a multiple of 6?
True
Is 31 a factor of -1068*((-4)/22 - (-72)/(-88))?
False
Let b = 8 + -16. Let m(i) be the second derivative of -i**5/20 - 3*i**4/4 - 3*i**3/2 + 11*i**2/2 - 13*i. Is m(b) a multiple of 10?
False
Let o = 195 + -47. Suppose -x = 4*u - o - 272, -u + 116 = 3*x. Is u a multiple of 13?
True
Is 163 a factor of -4*3*5379/(-132)?
True
Let b = -353 - -681. Does 3 divide b?
False
Suppose -7*b - 328 = -3*b. Let r = b - -187. Is 9 a factor of 16/20*r/2?
False
Let h(i) = -5*i - 81. Is 6 a factor of h(-20)?
False
Let d be (-25)/10 + 3/6. Is d*3/(-5)*120/18 a multiple of 8?
True
Let p(b) = -b**3 - 3*b**2 + 4. Let r be p(-3). Suppose -3*w = 0, d - r = 3*w + w. Does 12 divide (-8 + d)*(-8)/2?
False
Suppose 3 = o - 3*b - 6, -2*o = 3*b - 36. Let c(i) = -48*i**3 - 1. Let y be c(-1). Let n = y - o. Does 9 divide n?
False
Let t be 6*-1*(-1)/2. Suppose q - t*q = -20. Is q a multiple of 3?
False
Let j = -91 + 114. Suppose -j*c + 1400 = -15*c. Is 22 a factor of c?
False
Is (-2)/22 + (-185500)/(-1166) a multiple of 12?
False
Let k = 526 + -499. Is k a multiple of 4?
False
Let q(a) = 2*a**2 - a + 6. Let c be q(-3). Suppose 2*m = -c + 97. Suppose -8*f + 37 = -m. Does 9 divide f?
True
Suppose 0 = b - 1234 - 49. Does 43 divide b?
False
Let i(x) = x**2 - 2*x - 5. Let h be i(0). Let u(w) = -w**2 - 8*w + 18. Is 12 a factor of u(h)?
False
Suppose -5*m - 38 = -4*x - 10, 4*x = -2*m. Let i = -6 - -28. Suppose -x*n + i = -30. Is 13 a factor of n?
True
Let p(n) = -290 + 4*n**2 + 269 + 29*n - 10*n. Is p(-9) a multiple of 44?
True
Suppose 211 = 3*w + 4*g, 0 = 3*w - 4*g - 127 - 124. Is w a multiple of 50?
False
Let w(a) be the third derivative of -a**5/60 - 17*a**4/24 + 5*a**3/3 + 5*a**2. Is 10 a factor of w(-15)?
True
Suppose 0 = -5*q + 6 - 26. Let m(x) = -13*x - 1. Does 29 divide m(q)?
False
Let w(j) be the second derivative of j**4/12 + j**3 + j**2 + 4*j. Let m be w(-6). Suppose -75 - m = -d + 4*u, -4*d = u - 274. Does 25 divide d?
False
Suppose 6*g - 6048 = -8*g. Does 24 divide g?
True
Suppose x = 6*x. Let k be 12/4*(3 - x). Does 9 divide 3/(k/(-33))*-1?
False
Let q = 4 - -6. Let x(f) = f - 6. Let c be x(q). Suppose -c*t + 30 = t. Is t a multiple of 2?
True
Let d(n) be the second derivative of n + 1/2*n**4 + 0*n**3 + 0 + 2*n**2. Does 21 divide d(-3)?
False
Is 3 a factor of (42/28)/((-1)/(-36)*1)?
True
Let h(v) = 102*v - 39. Does 9 divide h(7)?
True
Suppose -3*n = -0*n - 5*m - 18, -5*m - 15 = 0. Let k(h) = 10*h**3 - h**2 - h + 1. Let g be k(n). Is 4 a factor of g/6*(-2 + 8)?
False
Let l = -832 + 1376. Does 17 divide l?
True
Is 98/147 + 151/3 a multiple of 7?
False
Does 36 divide 1965 + -3 + (-9)/36*-4?
False
Is -5 + (0 - (-309)/3 - 5) a multiple of 9?
False
Suppose -5 = -4*k + 31. Let j be (8/(-6))/((-6)/k). Suppose -192 = -j*x - 2*x. Does 10 divide x?
False
Is 143/4*((4 - 0) + 0) a multiple of 4?
False
Let p(i) = -6*i**3 - 2*i**2 + 6*i**3 + 7*i**2 + 10 - i**3. Is p(-4) a multiple of 22?
True
Let c(d) = 4*d**3 - 5*d**2 - 2*d + 32. Is c(9) a multiple of 65?
False
Suppose -4*x - 1460 = -4*s, 3*s = x - 0*s + 365. Let a be (-2)/11 + x/(-11). Suppose 5*g - 62 = a. Does 4 divide g?
False
Suppose -5*x + 0 = -1485. Does 9 divide x?
True
Let o be (-160)/60*((-3)/2)/(-1). Let m(u) be the third derivative of -u**4/3 + 2*u**3/3 - u**2. Does 22 divide m(o)?
False
Let t(q) = q**3 - 9*q**2 - 2*q + 4. Let k be t(4). Let c = k - -160. Let g = c - 41. Is 10 a factor of g?
False
Let k(j) = -3 + 3*j - 6*j + 5*j. Let o be k(-4). Let b = 24 + o. Is b a multiple of 5?
False
Let k be 4/12 - (-2212)/(-12). Let a be (-1)/(k/186 + 1). Let c = a + 173. Is c a multiple of 28?
False
Suppose -7*y + 4*k - 32 = -9*y, -3*k - 15 = 0. Is 2 a factor of y?
True
Let a = 18 - 56. Let n = a + 73. Is 4 a factor of n?
False
Suppose 4*g + 6 = -v - 16, 110 = -3*v - g. Let u = -23 - v. Let a = 19 - u. Is a a multiple of 4?
True
Let s(p) = -p**2 - 10*p + 8. Let r be s(-11). Let y(w) = -3*w + 7. Does 16 divide y(r)?
True
Let p be 6*(-4)/8 + 7. Suppose p*w - 244 = 156. Does 10 divide w?
True
Let m(p) = -99*p - 18. Let j(y) = y - 25. Let a be j(21). Is m(a) a multiple of 27?
True
Suppose -29 = -2*f - 23. Suppose f*m + 2*l = m + 64, 96 = 3*m - l. Does 16 divide m?
True
Let s = -2180 + 4196. Is s a multiple of 28?
True
Let s be ((-6)/2)/1 + 66/2. Let c = s + 51. Is 43 a factor of c?
False
Let l be (0/(-2))/(-4) + 3. Suppose -l*p + 8*p = k - 4, -5*p - 16 = -4*k. Let r = 15 + p. Is r a multiple of 5?
True
Suppose 4*a = -b + 7607, 0 = -a + 5*a - 5*b - 7589. Is 11 a factor of a?
False
Suppose -286 = 4*x + 9*x. Suppose -6*j + j - 30 = 0. Let k = j - x. Does 8 divide k?
True
Suppose -4*t + 3*t = -1. Suppose 4*q + 3*b = 32, 4*b + t = 4*q - 3. Suppose 18 = q*o - 32. Is o a multiple of 7?
False
Suppose -146*z + 1224 = -144*z. Does 17 divide z?
True
Is -74*2866/(-68) + (-26)/(-221) a multiple of 111?
False
Let r(n) = n**2 - 3. Let f be r(3). Suppose 4*a + 0 - 4 = 3*h, -4*a = -4*h. Let l = f + h. Does 5 divide l?
True
Let i = 232 + -325. Let b = -73 - i. Does 5 divide b?
True
Let h = -26 + 15. Let o(g) = 6*g**2 - 14*g - 30. Let y(t) = 2*t**2 - 5*t - 10. Let q(d) = h*y(d) + 4*o(d). Is 13 a factor of q(5)?
False
Let i(n) = 3*n**2 - 12*n - 14. Let b be i(6). Let p be b/(3/(-69)*-2). Suppose -4*k + 3*w + p = 0, -5*k + 2*w + 320 = -w. Is k a multiple of 22?
False
Suppose -3*i - 3*k = -8*i + 2220, -4*i + 3*k + 1776 = 0. Is i a multiple of 27?
False
Let q = 196 - -245. Does 21 divide q?
True
Let v be (4 - 57) + -3 + 6. Let d = v - -128. Suppose 0*u - 2*u + d = 0. Is 8 a factor of u?
False
Suppose -154*o + 162*o = 3968. Does 31 divide o?
True
Let z(g) = -3*g + 17. Let o be z(13). Let s = o - -157. Is s a multiple of 15?
True
Does 3 divide (1