 Is 179 a factor of j?
True
Let q = 44 - 474. Let h = -221 - q. Is 3 a factor of h?
False
Does 42 divide (-3)/2 + 13123/2 - (-48)/(-8)?
False
Does 71 divide 6 + -2 - ((-71516)/12 + (-9)/27)?
True
Let f = 14333 - -11707. Is 105 a factor of f?
True
Suppose 86*m - 922664 = 58*m - 88*m. Is m a multiple of 41?
True
Suppose -186*h + 640204 = 127960. Is h a multiple of 27?
True
Let n = 3369 - 3167. Does 10 divide n?
False
Suppose i - 2019 = -172*w + 176*w, 6185 = 3*i + 4*w. Does 80 divide i?
False
Let k(j) = -j**3 + j**2 - 2*j + 89. Let s be k(0). Suppose 3*r - 139 - s = 0. Is 19 a factor of r?
True
Suppose 24 = -j + 5*j. Let w be (-7)/((-28)/j) - (-18)/4. Let s = w + 199. Is 63 a factor of s?
False
Suppose -6*s = -17 + 5. Suppose -s*x = -242 - 70. Is 12 a factor of x?
True
Suppose 24 = 3*b - 27. Let a be (-1 - (-1 - -1))/(b/(-68)). Suppose 0 = a*m + q - 199, 0 = 5*m - 2*q + q - 242. Is m a multiple of 49?
True
Let u be (1/(0 - -3))/((-78)/(-2106)). Is (0 - -668)*(1 + (9 - u)) a multiple of 12?
False
Let q be (0 - 9690/(-8)) + (-124)/496. Suppose 1504 = 5*k - 2*j + 5*j, 5*j - q = -4*k. Does 48 divide k?
False
Suppose -17468 = -27*m + 14440 + 43422. Is 18 a factor of m?
True
Suppose -s + 3*s - 6 = 0. Let o be (83 - 13)*s/(-2). Is 12 a factor of 0 - (3*o)/3?
False
Does 73 divide (528/(-18))/(3/(-441))*1?
False
Suppose -r = 189*p - 188*p - 1763, -3*r = -3*p - 5271. Is r a multiple of 5?
True
Suppose p - 1 + 3 = -b, 0 = p + 5. Suppose 6*s + x = 7*s - 240, -736 = -b*s - x. Is 11 a factor of s?
False
Suppose 3*v - 5*v = 18. Let r(z) = z**3 + 7*z**2 - 17*z + 9. Let s be r(v). Suppose -5*t - 4*j = -1066, -4*j + 646 = 3*t - s*j. Is 42 a factor of t?
True
Suppose -354*p + 3571224 = -252*p. Does 81 divide p?
False
Let y(z) = -z**3 + 14*z - 24. Let j be 3 + 2 - (-55)/(-5) - 2. Is y(j) a multiple of 5?
False
Let c(p) = 5*p**3 + 14*p**2 - 84*p + 12. Does 34 divide c(14)?
True
Let s(w) = 52*w**3 + 3*w**2 + 4*w - 3. Let o be s(2). Suppose -o*u = -434*u + 359. Is u a multiple of 20?
False
Let m(u) = u**3 - 11*u**2 + 21*u - 2. Let i be m(16). Suppose 0 = 8*f - 2*f - i. Does 9 divide f?
False
Suppose -2*d - 174 = -8*d. Let o = 159 - d. Is 26 a factor of o?
True
Let h(z) = 692*z - 417. Is 76 a factor of h(7)?
False
Suppose -819 = 3*d + 3*o, -2*d = -o - 2*o + 571. Let t = -129 - d. Is t a multiple of 21?
False
Is 61/((-2379)/(-374634)) + (1 - (7 - 0)) a multiple of 75?
True
Let t(q) = 3*q**2 + 8*q + 5. Let m be t(-8). Suppose -o + 66 = -5*z, 0 = -3*o - 2*z + 68 + 147. Let b = m - o. Is b a multiple of 30?
False
Let w = 775 - -343. Is 13 a factor of w?
True
Let v(g) = -11 + 22*g - 37*g + 8*g. Suppose 5*z - 9 = -34. Is 12 a factor of v(z)?
True
Suppose -2*a - 4*o + 204 = 0, 6*a - 2*a - 419 = 3*o. Suppose 0 = -5*v - 81 - a. Let w = 85 + v. Does 12 divide w?
True
Let g = -2684 - -2685. Let p(a) = 3*a**3 + a**2 - a - 1. Let w be p(-1). Does 15 divide (g + 0)*(w + (186 - 5))?
False
Let n(x) = 18*x + 10*x - 28*x - 1 + 40*x**2. Let w(c) = -2*c**3 + c. Let h be w(1). Does 24 divide n(h)?
False
Suppose 6*n - 270 = -0*n. Suppose -7 + n = b. Let k = b + 50. Is k a multiple of 22?
True
Let c(n) = -3*n**2 - 6*n + 24. Let w be c(-4). Suppose w = -2*m + 5*m - 1626. Does 25 divide m?
False
Suppose -13 = 4*d - 49. Suppose 8*u = d*u + 260. Does 13 divide (8/10)/((-8)/u)?
True
Let w = -87 - 95. Let j = w + 253. Is 6 a factor of j?
False
Let k(w) = 17*w**2 + 315*w - 31. Is k(-24) a multiple of 31?
True
Let j(x) = 2501*x**2 + 943*x + 2. Is j(-2) a multiple of 304?
False
Let g(n) = 2*n**3 - 3*n**2 - n. Let v be g(2). Suppose -192 = -3*z - 4*s + 373, -v*z - 4*s + 370 = 0. Is z a multiple of 13?
True
Suppose 0 = j + 6*j - 2*j. Suppose j - 2 = -p. Suppose -p*f + 4*f - 64 = 0. Is f a multiple of 6?
False
Does 21 divide (6535208/(-544))/((-4)/16)?
False
Suppose 0 = 167*r - 166*r - 72. Is (r/12)/((-4)/(-348)) a multiple of 29?
True
Is -1 + 18171 - (-84 - -72) a multiple of 215?
False
Suppose 7 - 43 = -2*p + 4*a, 0 = 5*p - 2*a - 66. Suppose k + p*k = 0. Suppose -752 = -5*b + i, k = 2*b - 2*i + i - 302. Is 10 a factor of b?
True
Let z = 49226 - 21891. Suppose -45*b = -z + 1460. Does 23 divide b?
True
Suppose -9*r = 16*r + 5600. Let k be -1*(-2)/(2 + 0). Does 22 divide (-10 - r) + 0 + 1 + k?
False
Let i(m) = 18*m**2 - 3*m + 9. Let z(o) be the second derivative of -o**4/12 + o**3/6 + o**2 - 12*o. Let p be z(0). Is i(p) a multiple of 15?
True
Let g be 6/(3 - (-44)/(-16)). Let d = g - 24. Suppose 5*x - 127 = -4*r, -5*r - 3*x + 162 = -d*x. Is r a multiple of 7?
False
Suppose -99*x + 461*x - 1015446 = 1522174. Is 10 a factor of x?
True
Let f = 4204 + 1601. Is f a multiple of 129?
True
Suppose -32676 = -3*p + 2*m, 837*m - 10899 = -p + 840*m. Is p a multiple of 147?
False
Suppose -3 = 2*i - 3*i. Suppose 28 + 248 = i*w. Is w/7*(-21)/(-6) a multiple of 23?
True
Let t = -45 - -54. Suppose -c - g = -1, -7 = 4*g + t. Suppose -5*r + m = -3*m - 216, -r - c*m + 20 = 0. Is 8 a factor of r?
True
Suppose -5*g - p = -542, 14*g - 4*p - 448 = 10*g. Let b = g - 69. Is 40 a factor of b?
True
Let x = 6162 + -5539. Does 5 divide x?
False
Let w(i) = 14*i - 25. Let b(p) = -2. Let s(f) = -1. Let l(d) = -3*b(d) + 5*s(d). Let v(a) = 2*l(a) + w(a). Is 9 a factor of v(10)?
True
Suppose 444 = 17*s - 15*s. Suppose -s - 226 = -4*g. Is 56 a factor of g?
True
Suppose 93 = 20*w - 1007. Suppose -19*b + w = -2491. Is b even?
True
Let o = -7 - -44. Let t = 34 - o. Does 21 divide (t/(-3) + 41)*2?
True
Let k(l) = -l**2 - 45*l - 49. Let o be k(-44). Does 24 divide 603 + (0 - (o + 8))?
True
Let u(a) = 35*a**2 - 8*a - 3. Let x be u(-2). Let b = x - -11. Does 13 divide b?
False
Let c(b) = 3*b - 13. Let f be c(5). Suppose 2*n + 296 = 4*w, 0*w + f*w + 4*n = 128. Suppose 0 = -4*l + 6*l - w. Is l a multiple of 12?
True
Let k = 42708 - 30018. Is k a multiple of 18?
True
Let c = -45 + 48. Let s(v) = -5*v - c*v - 8*v + 15 + 8*v**2 - 9*v**2. Is 15 a factor of s(-16)?
True
Let y be (-18)/(-4)*30/45. Suppose -2*d + y*n - n = -4, -5*d = n + 2. Suppose 5*z = d, p + 3*p - z - 108 = 0. Is 9 a factor of p?
True
Let u(t) = -6*t + 74. Suppose -20*c = 8*c + 168. Is u(c) a multiple of 10?
True
Let q = -545 - -549. Suppose -q*y + 1452 = -4*d, 0*y + 3*d + 373 = y. Is y a multiple of 24?
False
Let u = 2391 + -1577. Suppose -17*v = 5*v - u. Does 8 divide v?
False
Let i(g) = -2*g**3 + 2*g**2 - 5*g - 4. Let o be i(4). Let d = -119 - o. Is 5 a factor of ((-8)/(-24)*1)/(d/39)?
False
Let g(x) = -x**2 + 11*x + 14. Let q be g(12). Let a(v) = 4*v + 4*v**2 + 26*v**q - 5*v**2 - 3*v. Does 4 divide a(-1)?
True
Suppose 2998 = -97*h + 147140. Is 56 a factor of h?
False
Let i be (-4)/(-2) + 5/((-25)/10). Suppose -2 + 22 = 4*f + 5*c, i = 3*f + 5*c - 15. Is f/((8 + -4)/40) a multiple of 10?
True
Let z = -6916 + 12306. Suppose -32*c + z = -25*c. Is c a multiple of 14?
True
Suppose 5*c + 4*m = 149118, 321*m - 325*m + 178948 = 6*c. Is 10 a factor of c?
True
Suppose 3445*t - 1638 = 3419*t. Is 14 a factor of t?
False
Let a = 51 - 45. Let q be (8 + -5)*10/a. Suppose -3*v + 284 = n, q*n = 2*v - 133 - 79. Does 9 divide v?
False
Suppose 5*x - 568 = 112. Let c = x + -108. Is c a multiple of 2?
True
Let t = -66 + 70. Suppose w - 17*r + 21*r - 137 = 0, t*w = -4*r + 488. Does 4 divide w?
False
Suppose -2*r + 25 = -0*r - 3*c, -c = 2*r - 13. Suppose -r = 3*a - 7*a. Does 17 divide (-1)/(-4) - (6601/(-28) - a)?
True
Let z(m) = -22*m**3 - 2*m**2 - 24*m - 84. Is z(-5) a multiple of 48?
True
Let z = -92 - -105. Suppose -80 = 2*c - 3*v, -2*v + z - 5 = 0. Let d = 242 + c. Is 26 a factor of d?
True
Suppose 35*t + 7998 - 691548 = 0. Is 62 a factor of t?
True
Let l = 24389 + -16018. Is 175 a factor of l?
False
Suppose 0 = 14*r - 8 - 48. Suppose r*n + 0*n - 2*a = 144, -3*n + 5*a + 101 = 0. Suppose 4*p = -5*g + 174, 2*g - 3*g - 3*p = -n. Is g a multiple of 34?
True
Let z be (-3)/4 + 20/(-16). Let w be 1 - -292 - (z + -1). Suppose 3*g = -m + w, -2*m - 3*m = 3*g - 280. Is g a multiple of 25?
True
Let m be (-3)/(-24) - (-175)/8. Suppose -184 = -23*g + m*g. Does 9 divide g?
False
Let d = -634 + 206. Let r = 397 - d. Is r a multiple of 25?
True
Let q = -649 - -688. Suppose -1287 = -26*b - q. Is b a multiple of 6?
True
Suppose -3*a - 6 = -9, -4*a + 310 = 2*l. Suppose 4*p - 3*v + 141 = p, -4*v = p + 32. Let m = p + 