6 = 3*q. Suppose 27*s = 31030 - q. Is 9 a factor of s?
True
Is 28 a factor of 2/(9/(41076/2))?
True
Let k(c) be the second derivative of c**4/3 - 10*c**3/3 - 14*c**2 + 71*c. Is k(-9) a multiple of 42?
False
Let b = -16 - -17. Let v be b/(3/15) + -3. Suppose j + 325 = 5*l + 4*j, l - 78 = v*j. Is l a multiple of 21?
False
Let y(o) = -o + 29. Let u be y(21). Let x(b) = b**3 + 3*b + 0*b + u*b**2 - 6 - 2*b**2. Is x(-4) a multiple of 4?
False
Suppose -4*b = 27 + 13. Let t be 24/(-40) - 2956/b. Let r = t - 180. Is r a multiple of 9?
False
Let k = 40060 + -38162. Does 5 divide k?
False
Let x = -3177 - -4369. Is x a multiple of 83?
False
Let v = 383 - -203. Is v a multiple of 79?
False
Suppose -n - 93 = -96. Suppose -j + 4*s + 620 = 0, -2522 = -j - n*j - 5*s. Does 13 divide j?
False
Suppose -6*r = -f - r + 31, r - 19 = -4*f. Let l = f - 3. Does 2 divide l?
False
Suppose -14761 = -2*o + 5*x, -36874 = -279*o + 274*o + 3*x. Does 73 divide o?
True
Let a = 6998 + -3430. Is a a multiple of 7?
False
Suppose 19299 = 24*g + 2019. Is 13 a factor of g?
False
Is 59 a factor of 704/6 - (-20)/30?
True
Suppose 0 = 3*l - 0*l - 12. Suppose l*a - 5*q - 3 = 0, 0*q - 15 = a + 4*q. Is ((-4)/a)/((-17)/(-1224)) a multiple of 24?
True
Suppose -24 = -5*g - 9. Suppose 2*w - 235 = -3*a, -2*a = g*w - 6*w + 320. Does 21 divide w?
False
Let u be (-2092)/12 - 2/(-6). Let g = 273 - 279. Is 11 a factor of g/(-24) - u/8?
True
Suppose -1100 = 2*w + 3*w. Let a = 265 + w. Is 45 a factor of a?
True
Let g(p) = -p**3 - 5*p**2 - 5*p. Let f be g(-2). Let y(a) = -185*a + 36. Does 64 divide y(f)?
False
Let r be (-30)/10*(-104)/3 + 3. Let u = 128 - r. Is u a multiple of 14?
False
Let l be (-23)/7 + (-18)/(-63) + 72. Let v = 73 - l. Suppose -4*z - 5*a + 171 = 0, 45 = z + 3*a + v. Is 3 a factor of z?
False
Let r(c) = c + 10. Let x(z) = z + 1. Let y(o) = r(o) - 5*x(o). Let w be y(1). Is 3 a factor of 2 + w - (-2 + -43)?
True
Let c(f) = 5*f**2 - 3*f. Let m be c(1). Suppose -z - 2*s = -18, -3*s = -2*z + 27 + m. Does 16 divide z?
True
Let y(t) = -t**2 + 14*t - 22. Let k be y(12). Suppose 2764 = 5*v + h - 5543, -k*v + 3321 = h. Does 21 divide (-3)/(-6) + v/12?
False
Suppose 2*l = 10, -5*l - 7601 = -5*q + 2*q. Is 62 a factor of q?
True
Suppose -5*f = 2*c + 10, -5*f - 10 = -3*c - 0*f. Let o be (c - 3)*4/3*-1. Suppose 4*v + o = 0, -44 - 62 = -2*j - 2*v. Does 34 divide j?
False
Suppose -m = -2*n + 1, 51 + 19 = 5*m + 5*n. Suppose -3*j - m = 0, 5*j + 1439 = 4*l - 3440. Is l a multiple of 16?
True
Is 247745/25 + (-5)/(-25)*-4 a multiple of 23?
False
Let b = -53 - -92. Let p = b + -31. Does 10 divide 384/p - (-2 - 2)?
False
Suppose 4914 = 22*j + 20*j - 35*j. Is j a multiple of 18?
True
Let a be (9/3)/(9/6*-1). Suppose -2*m - 5*c = -273, 0 = 5*m + c + 4*c - 720. Does 10 divide m - (3 - 0/a)?
False
Suppose 127*h - 123*h = 2*y + 45060, -5*h + 56324 = -2*y. Is 256 a factor of h?
True
Suppose 539*r - 544*r = -34020. Is r a multiple of 7?
True
Let w be 4/(-8 + 6)*(-157)/(-2). Let o = w - -277. Suppose 9*v = 4*v + o. Does 3 divide v?
True
Is 67 a factor of 268/6*((-19125)/(-6))/25?
True
Let w = 8 + -6. Suppose -a = 5*a + w*a. Does 15 divide a + 80 + -2 + (-3)/1?
True
Let n(f) be the first derivative of 109*f**2 + 5*f + 17. Let p be n(2). Suppose -3*s + 5*c + 314 = 0, -5*c + 36 + p = 4*s. Is 15 a factor of s?
False
Is 68 a factor of (873/(-63) - -13)*-12082?
False
Suppose -15*l = -17*l + 644. Let c = -98 + l. Is 32 a factor of c?
True
Let r be (14 + -24)*(1*-2)/(-4). Is 7 a factor of 5*(r + 3 + 66/5)?
True
Let w(g) = 4*g + 418*g**2 - 409*g**2 + 4*g - 8. Let n = -1 - -5. Is 21 a factor of w(n)?
True
Let o = 57 + -85. Let v = -24 - o. Is 19 a factor of -15*(v + (-84)/15)?
False
Suppose -5*r = -2*k + 85840, 3*k - 1106*r = -1102*r + 128774. Is k a multiple of 53?
True
Let y(t) = -7*t + 12. Let n be y(2). Does 6 divide ((-48)/n)/6 + 144?
False
Does 28 divide 348/(-8)*((-16)/(-20))/((-63)/36750)?
True
Let v = -4751 + 5439. Does 8 divide v?
True
Let o(u) = 46*u + 40. Let l be o(-23). Let z = 1442 + l. Does 53 divide z?
True
Let j = 1630 + -251. Let n = -745 + j. Is 31 a factor of n?
False
Suppose 5*y = 3*y + 4. Suppose 10 = -3*z - x + 3*x, 0 = y*z + 4*x - 4. Is (1140/(-70))/(z/14) a multiple of 19?
True
Let i be (12/(-10))/((-8)/20). Suppose 3*r = 3*v - 132, -i*r + 35 + 25 = v. Suppose -h + 3*g = -2*h - 2, 4*h - 2*g = v. Is h a multiple of 2?
True
Suppose -k + 13539 = 3*q, -4*k + 71*q - 68*q = -54276. Is 16 a factor of k?
False
Let v = -275 - -129. Is 29 a factor of (-16)/10*(v + -1 - -2)?
True
Let o(u) = -u**3 - 21*u**2 + 62*u - 132. Is 118 a factor of o(-30)?
False
Is 6/32 + 288193/592 a multiple of 2?
False
Let m be ((-32)/(-3))/4*(10 - -11). Let t = m - -124. Does 13 divide t?
False
Let t be (-4 - 0)*(-3)/6. Let o = 148 - 145. Suppose z + 6*w - 67 = t*w, 2*z = o*w + 156. Is z a multiple of 25?
True
Let f be (-100)/(-175) + 132/14. Suppose -48 = -f*d + 2222. Is 19 a factor of d?
False
Let s(d) = -2*d**3 + 36*d**2 + 24*d - 68. Does 26 divide s(16)?
False
Suppose 1648 = 43*j - 35*j. Suppose 5*g = 5*l - 525, -2*l - 17*g + 15*g = -j. Does 13 divide l?
True
Suppose -8*n + 12*n = 0. Suppose -86*l + 85*l - 65 = n. Let w = l + 82. Is w a multiple of 7?
False
Let t(r) = 6396*r - 4519. Does 26 divide t(3)?
False
Does 30 divide -4*((-4)/2)/((-480)/(-376200))?
True
Suppose 487*v + 220650 = 542*v + 33210. Is 6 a factor of v?
True
Suppose 2*h = -2*o + 32006, -7*o = -3*h - 2*o + 47985. Is 125 a factor of h?
True
Let t = -242 - -214. Is 13 a factor of 3914/6 - t/42?
False
Let w(b) = 7*b**2 + 3*b - 4. Let n = 30 + -58. Let m = 26 + n. Is w(m) a multiple of 6?
True
Let c be 3 - (-33)/(-12) - 4134/24. Let t be -1 + 344 - -8*(-3)/12. Let o = t + c. Does 13 divide o?
True
Let g = 7867 + 462. Is 94 a factor of g?
False
Let n be (363/(-5) + (-12)/30)*-1. Suppose 51 + n = 3*i - 5*t, i - 28 = -t. Suppose i*q - 38*q + 260 = 0. Does 13 divide q?
True
Suppose -2*b = 4*z - 7298, 0 = 2*z - b - 3*b - 3674. Let w = z - 1135. Suppose 9*a - w = 5*a. Is 28 a factor of a?
False
Suppose 3*b + 2*b = 5. Let o be 1 + -2 + b - -2. Suppose 2*w + o = 10. Does 3 divide w?
False
Let k be 212/10 + (-6)/30. Let l be 14/k*(-2 + 11). Suppose -5*n + l*n = 20. Is n a multiple of 10?
True
Let g = 443 - 541. Is g/(-4)*(-60)/(-5) a multiple of 6?
True
Let k = -302 + 330. Does 36 divide (144/k)/(6/546)?
True
Let h be 1 - 5 - 372/(-62). Suppose 0 = -9*f + 7*f - 3*r + 795, -h*f + 4*r + 788 = 0. Is f a multiple of 11?
True
Let s(m) = -6*m**2 + 15*m + 159. Let l(j) = 2*j**2 - 5*j - 53. Let n(x) = -11*l(x) - 4*s(x). Is 10 a factor of n(-7)?
True
Suppose 3*j + 5*d = -1470 + 12790, -4*j = d - 15116. Is 36 a factor of j?
True
Suppose 7*h - 1 = 27. Suppose h*f + 3*b = 1352, -3*f + 5*b - 8*b + 1011 = 0. Is f a multiple of 31?
True
Let r be -3 - (-4 - -1) - (-312)/1. Suppose i = 3*t - 64, -i + r = -5*i - 2*t. Let h = 119 + i. Is h a multiple of 43?
True
Let v(b) = 119*b**2 - 11*b - 48. Let g be v(-5). Suppose 3*y - g = -6*x + 3*x, -2*x = -2*y - 1972. Is 10 a factor of x?
True
Let m(b) = -2*b**3 - 26*b**2 - b + 1. Let p be m(-13). Suppose -p*g + 1560 = 6*g. Is 39 a factor of g?
True
Suppose u - 9 = -w + 3*u, -5*w = 2*u - 21. Suppose -1597 = -w*i - 57. Does 28 divide i?
True
Suppose -x = 2*q - 664, 5*x - 2*q = x + 2626. Let r = -218 + x. Is r a multiple of 62?
False
Let s(z) = z**2 + 18*z + 78. Let y be s(-12). Let d(r) = r**3 - 7*r**2 + 3*r + 15. Let p be d(y). Is 29 a factor of (-4 - 3201/(-18)) + p/(-18)?
True
Suppose 7 - 2 = 5*m, 4*m = g - 13. Let c = g - -20. Suppose -45*w + c*w = -248. Is w a multiple of 4?
False
Suppose 137*w - 141*w + 34016 = 0. Does 64 divide w?
False
Let q be (24/(-60))/(111/55 + -2). Let b = 98 - q. Is 30 a factor of b?
True
Does 150 divide 5/170*-4 - (-3 + 152755/(-85))?
True
Let a(j) = -j**3 - 80*j**2 + 61*j + 565. Is 37 a factor of a(-83)?
True
Suppose 0 = -5*z - 7*z + 35520. Suppose 1155 = 5*c - z. Is c a multiple of 56?
False
Let c = -40 + 45. Suppose 0*z = -4*a - 5*z - 15, 4*z + 12 = -c*a. Suppose a = -m + 8 + 24. Is 8 a factor of m?
True
Let w = -17290 - -22640. Does 15 divide w?
False
Suppose -2*m + 4 = -4. Suppose m*j + 0 - 3 = 3*s, j + 12 = 5*s. Suppose -k - j*d + 2*d + 138 = 0, 5*d = -4*k + 547. Is k a multiple of 11?
True
Does 114 divide ((-586)