ctor of p/(-1 + 804/800)?
True
Let u be -157 - 5/(-25)*-5*4. Let b = 271 - u. Is 16 a factor of b?
True
Let p be 330/24 - (2/(-8) + 0). Suppose 3*j + 0*j + 21 = 0. Let n = p - j. Does 21 divide n?
True
Let k(h) = h - 12. Let s be k(12). Suppose s = 7*c - 6 - 974. Suppose 10*v - 30*v = -c. Does 2 divide v?
False
Suppose -117*r + 69070 = -53*r - 24114. Does 4 divide r?
True
Suppose -21 = 5*h + 5*c + 29, 5*h + 74 = c. Suppose -168 = 4*d + 2*n - 52, 0 = -2*n + 4. Let b = h - d. Is b a multiple of 16?
True
Suppose -d + 8*d - 1050 = 0. Let o = d - -370. Does 26 divide o?
True
Let t be (14/63 - 2/(-18))*33. Suppose -13 = -3*h + t. Is 3 a factor of h/20 - (-26)/10 - -28?
False
Suppose -4*p + 30 = -14. Suppose -2*x = 4*r + 2, -x = -6*x - 2*r + p. Suppose 154 = -x*y + 3*v + 1030, -3*v - 288 = -y. Is 49 a factor of y?
True
Suppose -60*q - 62*q = -2060336. Is 15 a factor of q?
False
Let t = 43 + -28. Suppose 3 = -f - o + 11, -3*o = -t. Suppose 0 = -h + 4*z + 57, -z = -f*h - 2*z + 184. Is h a multiple of 10?
False
Let g = 14600 + 7153. Is g a multiple of 166?
False
Let h = 125 - 125. Let q(x) = x**2 + 5*x + 170. Is q(h) a multiple of 65?
False
Let z be -14*(7 - 490/4). Let q = z + -885. Is q a multiple of 12?
True
Is 43 a factor of (-5)/(174 + -180 + (251037/13947)/3)?
False
Suppose z + 3*r = -1, 5*z - 5*r - 75 = -0*z. Suppose -5 = -3*l - x, 5*l = -0*l + x + z. Suppose 5*c + l*u - 67 = 0, 4*c = -c + 3*u + 87. Does 3 divide c?
True
Let v = 10970 + 10422. Is v a multiple of 22?
False
Is 31 a factor of (-1)/(-27)*6 + (-816466)/(-63)?
False
Suppose 8*z - 13*z = 4*b - 36, b - 16 = -3*z. Suppose -r - 3*h = -48, b*r + 5*h = 6*r - 96. Does 2 divide r?
True
Let g be (-48)/(-40)*(-20)/(-6). Let b = g - 0. Is 8 a factor of b/(-10)*120*(5 - 6)?
True
Suppose -3644 = 17*c - 10070. Does 21 divide c?
True
Suppose 2*t + 1 = 7. Suppose -5*d + t*o + 7 = 0, 5*o + 18 = -0*d + 2*d. Is (30/d + 0)*(-144)/90 a multiple of 12?
True
Let v = 261 + -258. Suppose 3*a - v*h - 168 = 0, 353 - 93 = 5*a + 5*h. Is a a multiple of 19?
False
Does 39 divide (-5 - (1 - 9675/20))/((-1)/(-20))?
True
Let v = -36476 - -68292. Does 194 divide v?
True
Let v be ((-2)/10*2)/((-16)/80). Suppose 3642 = 5*y + v*p - 4*p, 2*y = -3*p + 1453. Is y a multiple of 26?
True
Suppose -1188 = -5*v - v. Let d be (-16)/(-32)*6*26. Let h = v - d. Does 12 divide h?
True
Let d(k) be the second derivative of 20*k - 1/12*k**4 + 0*k**2 + 0 + k**3 - 3/20*k**5. Is 25 a factor of d(-4)?
False
Suppose 0 = -5*w + 2*w - 3*o + 1479, 2435 = 5*w - o. Let s be (4 + (-52)/8)*w/(-10). Suppose -t = -s + 32. Does 10 divide t?
True
Suppose 267*p = 263*p + 16912. Is p a multiple of 17?
False
Suppose -34*m = -126664 + 2904. Is 27 a factor of m?
False
Let c(a) = a**3 - 64*a - 3. Does 40 divide c(19)?
True
Suppose 4*r + 3*j - 3149 = 0, -104 = -r - 3*j + 690. Is 4 a factor of r?
False
Let b = -199 - -481. Suppose -225*q + 222*q = -b. Is q a multiple of 4?
False
Suppose -3*g + 494 + 61 = 0. Let z = 24 + g. Does 19 divide z?
True
Suppose -10*k - 4*r + 2152 = -6*k, -5*r - 10 = 0. Is k a multiple of 2?
True
Suppose -32*u = -76008 - 10968. Suppose -2*m + 6*k = 3*k - 1104, -5*m = 3*k - u. Is 14 a factor of m?
True
Suppose -12*l - 6*l + 324025 = 96073. Is 21 a factor of l?
False
Let t = 4945 - 2472. Is ((-36)/135)/(-2) + t/15 a multiple of 3?
True
Let k(q) = -q**2 + 18*q - 43. Let f be k(14). Suppose -f*o + 2520 = -4*o. Does 20 divide o?
True
Suppose -1604*m + 1589*m = -5715. Does 5 divide m?
False
Suppose -17098*s + 17087*s = -14509. Is 7 a factor of s?
False
Suppose -6*o + 4*o = -n - 1064, -4*n + 1574 = 3*o. Suppose 1558 - o = -4*m. Let a = -121 - m. Does 32 divide a?
False
Let z(l) = -55*l + 59*l + 16*l**2 + 13*l**2. Let p = 2 + -4. Is 9 a factor of z(p)?
True
Let c = 35 - 63. Let d(y) = -12*y - 50. Let j be d(-11). Let i = j - c. Is i a multiple of 18?
False
Let z(h) = 4*h**2 - 9*h - 28. Let l be z(-5). Let k = l + -82. Suppose -3*j - k - 215 = -2*n, 0 = 5*n + 5*j - 650. Is n a multiple of 16?
True
Suppose -3*r = -6 - 6. Suppose 5 = -n, 3*n + 3 = -3*m - 0*n. Suppose -m*s + 5*h = -290, r*s + h = s + 208. Is s a multiple of 14?
True
Suppose 4*z = 19 + 13. Suppose -114 = -z*a - 10. Suppose -17*h = -a*h - 16. Is h a multiple of 4?
True
Let s = 11970 + -2610. Is s a multiple of 120?
True
Let x = -6356 + 6829. Is x a multiple of 8?
False
Suppose -99*b - 62806 = -3*z - 97*b, -z - 4*b = -20968. Does 12 divide z?
True
Let a(n) = 78*n**2 + n - 6. Let i be a(6). Let c = i + -3936. Does 48 divide (c/(-30))/(-2*2/(-30))?
False
Suppose 2321 = 2*t + 31. Suppose t = -6*h + 23. Let u = -94 - h. Does 10 divide u?
False
Suppose 3*s = -5*d + 20513 + 8564, -11618 = -2*d + 2*s. Is 53 a factor of d?
False
Let a = 3238 - -15253. Is 36 a factor of a?
False
Suppose -2*i + 4*i - 2*g - 402 = 0, -2*i + 3*g = -403. Let n = i - 114. Is 5 a factor of n?
False
Let t(y) = 1326*y - 4793. Is t(23) a multiple of 97?
True
Suppose 6*y - 4*b - 516 = 4*y, -5*y + 1368 = 3*b. Is 10 a factor of y?
True
Suppose 37*t = -i + 38*t + 9253, -2*t - 46259 = -5*i. Is i a multiple of 33?
False
Let m(x) = x**2 - 12*x - 245. Let q be m(24). Does 12 divide (15 + -4)/(-1 + 44/q)?
False
Suppose 3*w - 21942 = -g, 36566 = 5*w + 9*g - 6*g. Does 133 divide w?
True
Let t = -56 + 61. Let a(v) = 378*v - 98. Does 32 divide a(t)?
True
Let r(h) = 30*h**3 + 5*h**2 - 24*h + 62. Is r(7) a multiple of 21?
False
Let n(q) = 9*q + 3. Suppose 2*a + 5 = 3*a. Is n(a) a multiple of 16?
True
Let h = 249 + -236. Suppose h*x = -12*x + 3950. Is x a multiple of 26?
False
Suppose 4*t = 7*d - 6*d - 24, 4*d + 4 = -4*t. Let p(b) = -34*b - 62. Does 3 divide p(t)?
True
Suppose 31*z - 27*z + 27429 = 5*w, -3*w - 2*z = -16453. Does 60 divide w?
False
Suppose 11909 - 83 = 9*y. Suppose -153*u - y = -159*u. Is 22 a factor of u?
False
Suppose -2*f = -2*q + 6, -5*f - 4 = -3*q - f. Suppose -2*l = h - 53, 3*l + 177 = q*h - 5*h. Does 12 divide h?
False
Suppose 0 = -5*l - 3*n + 1510, 4*l = -4*n + 283 + 925. Let a = -158 + l. Does 36 divide a?
True
Suppose 55*b - 181459 = 101021. Is b a multiple of 16?
True
Is (((-72)/(-75))/12*-10)/(1/(-18270)) a multiple of 8?
True
Suppose 3*q - 4*i - 7 = 4*q, -2*q - 5*i = 20. Is 76/(-1 + (-18)/q) a multiple of 20?
True
Let r(y) be the first derivative of -17*y**2/2 + 52*y + 292. Is 6 a factor of r(-38)?
False
Suppose -i + 9 = 2*d - 6*i, 0 = -2*d + 4*i + 8. Suppose 356 = t - 0*v + d*v, 0 = 2*t - 3*v - 712. Does 30 divide t?
False
Suppose 166*g + 971822 = 732*g. Is 101 a factor of g?
True
Let z = 10201 + 12335. Is z a multiple of 72?
True
Suppose 467*k = 262*k + 1015854 - 179864. Is 17 a factor of k?
False
Is (-2 + 5 + -5)*(-20153 - -7) a multiple of 14?
True
Let r(i) = 110*i**2 - 34*i + 104. Is r(7) a multiple of 165?
False
Let k(q) = 154*q + 1028. Is 16 a factor of k(94)?
True
Let a(j) = -j**2 - 5*j - 9. Let z be a(-5). Let w be (-3 - (-2)/2)/((-6)/z). Does 39 divide w/((-5)/5)*(-200)/(-3)?
False
Let r = -216 - -228. Suppose -r*v + 241 = -9*v - 5*k, 4 = -2*k. Does 11 divide v?
True
Suppose 32 = -14*t - 10. Let y be ((-8)/12)/(t/(423/(-2))). Let u = 83 + y. Does 9 divide u?
True
Suppose -3*b - 4*s + 326 = 0, 4*s - 136 = 5*b - 722. Does 38 divide b?
True
Is 16 a factor of 25005 + (-4)/(-2)*-1 + (-15 - -20)?
True
Let f be (-6)/5*(105/(-6) + 0). Let a be 35/f + 1/3. Let m(k) = 9*k**3 - 2*k + 1. Does 23 divide m(a)?
True
Let b be 2/6 + (-160)/3. Let f be ((-735)/(-98))/((-18)/(-4) - (1 + 2)). Let l = f - b. Does 13 divide l?
False
Let t(w) be the third derivative of w**6/120 - w**5/60 - w**4/8 + 7*w**3/6 - 3*w**2 - 1. Is t(3) a multiple of 16?
True
Let g(i) = -5823*i - 476. Is g(-4) a multiple of 36?
False
Suppose -13 = -8*h + 3. Is 71 a factor of ((-12929)/(-28) - h) + 6/(-8)?
False
Let k be (-2486)/8 + (168/(-32))/21. Let h = 38 - k. Does 36 divide h?
False
Let n = 12925 + -1517. Is n a multiple of 4?
True
Suppose -3*j = 5*y + 4, 4*j + 5*y + 4 - 2 = 0. Suppose -32 = 4*a + j*t - 118, 3*a + t = 63. Is a a multiple of 5?
True
Let n(q) = 0*q + 15*q + 10 + 0*q**2 + q**2 - 6 - 50. Does 7 divide n(8)?
False
Let p(j) = j**2 - j - 2. Let m(u) = 16*u**2 - 25*u - 17. Let q(t) = m(t) - 5*p(t). Is q(9) a multiple of 44?
True
Suppose -298*c + 694925 = -89*c. Does 19 divide c?
True
Suppose 0 = -26*k + 51*k - 100. Suppose -k*w