 p a multiple of 65?
False
Let t(m) = -164*m**3 + 21*m**2 - 6*m - 4. Is 13 a factor of t(-2)?
True
Let y = 19595 - 8423. Does 4 divide y?
True
Let b = 14959 + -4487. Does 26 divide b?
False
Suppose -3*w + 806 + 2567 = 2*r, -w - 4*r = -1121. Does 25 divide w?
True
Let x = 5187 - 2967. Does 6 divide x?
True
Suppose 3*c - 3*z = -4*z + 17, -z - 39 = -5*c. Suppose -4*n = -c*n + 249. Is n a multiple of 4?
False
Suppose 102*j - m - 91677 = 99*j, 0 = j - 3*m - 30567. Is j a multiple of 33?
True
Let g(k) = k**2 + 13*k + 13. Let x be g(-11). Is (-3)/x*(0 + 633) a multiple of 3?
False
Let w = -203 + 204. Is 4 a factor of (179 + -4)*1 - (2 + w)?
True
Suppose -235 = -5*a - 65*r + 70*r, 2*r = -5*a + 235. Let h = 622 - a. Is h a multiple of 25?
True
Suppose 51 = 4*z - g - 14, -2*g - 18 = -z. Suppose -11*l + z*l - 525 = 0. Is l a multiple of 5?
True
Let l(u) be the first derivative of u**3/3 - 17*u**2/2 + 2*u + 21. Let t be l(-7). Suppose d = -d + t. Does 17 divide d?
True
Let y = 2850 + -1278. Is y a multiple of 12?
True
Let b be 0*(-5 + 8)/3. Is -1 + (b - -59) - (-8)/(-2) a multiple of 6?
True
Suppose 2*z = -4*l - 3418 + 10714, l = -z + 3648. Is z a multiple of 24?
True
Let j(a) = 2*a**3 + a + 2. Let v(i) = 15*i**3 + 11*i**2 + 13*i + 3. Let y(l) = -6*j(l) + v(l). Is 30 a factor of y(7)?
False
Suppose 40 = 13*d + 7*d. Does 5 divide (-5)/10*(d + -204)?
False
Let f(h) = -237*h - 1445. Does 17 divide f(-22)?
False
Let b be 53*56/16*(-12)/7. Let m = b + 548. Does 10 divide m?
True
Suppose 3*o - 7 = 17. Suppose -2 = d - j, 0 = -2*d + j - 10 + o. Suppose 2*h + w - 118 = d, h = -4*w + 5*w + 62. Is 4 a factor of h?
True
Suppose 8*w - 12*w + 17 = s, 5*w - 22 = -2*s. Suppose 3*z = 2*z. Suppose 5*k + 310 = w*r - z*r, -82 = -r - k. Does 20 divide r?
True
Let s(n) = 4*n**2 + 2*n + 2*n + 717 - 725. Suppose 12 = -4*w - 0*t + 4*t, 5*w = -5*t - 65. Is s(w) a multiple of 12?
True
Suppose 1137*i - 1384*i - 1729 = 0. Suppose -6 = 5*u - 4*s, -5*u + 25 = 4*s - 1. Is u/i - ((-933)/7 + 1) a multiple of 12?
True
Suppose -10*m + 15*m - 42005 = -4*s, s + 2*m - 10499 = 0. Suppose 0 = 23*r - 11046 - s. Is 85 a factor of r?
False
Let h = 74 + -80. Is 92 a factor of (-3)/h*4 + 1010?
True
Suppose -138 = -5*i + 11*i. Let n = i + -70. Let b = n - -107. Does 2 divide b?
True
Let o be (-30)/135 - (-1732)/18. Let b = o - 96. Suppose 9*t + 22 - 103 = b. Is 6 a factor of t?
False
Let n be 2/11 - (-2259)/99. Suppose -4*x - n = -67. Suppose -k + x = -3. Is 7 a factor of k?
True
Suppose 1123657 + 612281 = 62*q. Does 9 divide q?
True
Suppose 0 = -2*i + 3*q + 36, -2*q - 2*q - 68 = -4*i. Let m be 4203/i - (-2)/(-10). Suppose -4*k = -m - 440. Does 13 divide k?
False
Let u = -13910 - -25496. Does 17 divide u?
False
Let s be (-350)/28*(-4)/10. Is (114/15)/(s/50) a multiple of 5?
False
Let m = -1801 - -2025. Suppose 6*p + 237 = -4*q + p, 0 = -3*q - 5*p - 184. Let g = q + m. Is 18 a factor of g?
False
Suppose 5*g + 14 = -16. Is 43 a factor of 68*(6 + 21/g)?
False
Suppose 24*b - 6*b - 41706 = 0. Does 7 divide b?
True
Suppose 79 + 1 = 16*h. Suppose -480 = -5*g - 3*s + 4*s, h*g + 4*s - 480 = 0. Is -2*3/(-12)*g a multiple of 12?
True
Let f(m) = 4 + 38*m + 70*m - 2 - 12. Is 8 a factor of f(2)?
False
Suppose -122*d = 65*d - 329868. Does 12 divide d?
True
Suppose -10 + 15 = p, 4*a + 4*p - 204 = 0. Suppose 5*f - a - 174 = 0. Is f a multiple of 4?
True
Suppose f - 1139 + 131 = 0. Suppose 392*j = 388*j + f. Is j a multiple of 19?
False
Suppose 0 = -2*n + 3*j - 363, -j + 77 = -3*n - 485. Is -4 + -2 - (n - 4) a multiple of 11?
True
Let x be (-24 - 4)/(-4)*(-22)/(-7). Suppose -x*n + 15*n = -770. Suppose 100 = j - 5*p, 3*j - 2*j = -5*p + n. Does 5 divide j?
True
Let b = -2517 - -2496. Let d = 1 + 0. Does 3 divide d + (-726)/b + (-6)/(-14)?
True
Let y be 6 + -11 - (-4)/(-1)*-1. Let c be (10 + -5)*((-2 - y) + 2). Suppose c*q - 234 = 2*q. Is q a multiple of 13?
True
Let t = -780 - -791. Suppose -t*b + 4514 = -645. Does 15 divide b?
False
Let l(d) = 3*d**2 + 3*d - 59. Let z be l(10). Suppose -36*g + z + 449 = 0. Is 20 a factor of g?
True
Let r(s) = 36*s + 1344. Is r(15) a multiple of 12?
True
Let u(k) = 573*k + 4066. Does 12 divide u(-4)?
False
Let k = 204 + -350. Let u = k - -290. Is 8 a factor of u?
True
Suppose -3*t + 2*t - 2*f = -10, -3*t + 2*f = 2. Suppose v = 4 - t. Suppose 192 = -m + v*m. Is m a multiple of 32?
True
Suppose -x = x - 4, 3*s + 5 = 4*x. Let q be (16/18 - s) + 57/27. Suppose q*g - 1325 = -5*l - 3*g, 5*l - 1340 = -2*g. Does 15 divide l?
True
Let g be ((-332)/8 + 1)*-2. Let m = -57 + g. Is 2 a factor of m?
True
Let t = 501 + -521. Does 2 divide (-210)/t*36/6?
False
Is ((-564)/(-10))/(1*7005/1000 + -7) a multiple of 188?
True
Suppose 102*f - 97*f = -5, -3*z + 1812 = -3*f. Does 6 divide z?
False
Let b = 13 + -24. Let z(t) = -t**3 - 6*t**2 + 19*t + 27. Let f(h) = h**3 + 7*h**2 - 18*h - 27. Let s(w) = 4*f(w) + 3*z(w). Does 17 divide s(b)?
True
Let b = -21612 - -43139. Does 22 divide b?
False
Let r = 554 + -348. Let c = 281 - r. Is 5 a factor of c?
True
Let i(q) = q**2 + 74*q + 14. Let t be i(7). Suppose t = 6*h + h. Does 41 divide h?
False
Let w = -143 + 146. Suppose 4*i - 5*i = -5*x + 74, -w*x = -2*i - 50. Is 7 a factor of x?
True
Suppose 0 = 2*w - 3*j - 1899, -38*w + 41*w - 5*j - 2850 = 0. Is 5 a factor of w?
True
Suppose j - 4*c - 62 - 28 = 0, 0 = -2*j - 3*c + 136. Is j even?
True
Let l be 12 - 11 - (12/(-3) + 2). Is 40 a factor of (1232/3)/1 + l/9?
False
Let g = 1281 + 776. Is g a multiple of 35?
False
Let f(p) = -p**3 + 2*p**2 + 3. Let o be f(2). Let x be 0*o/(-21) - 1*-57. Let n = x + -8. Is 10 a factor of n?
False
Is (-3108)/(-35)*(-43230)/(-99) a multiple of 37?
True
Let p be (62 + -4)*(66/(-4) + -4). Let s = 2034 + p. Does 13 divide s?
True
Suppose -3*s + 0*r + 19 = 5*r, -2*r = 2*s - 6. Let l(p) = -36*p**3 - 4*p**2 - p + 2. Let a be l(s). Let f = a + -174. Does 15 divide f?
False
Let b(j) = 2*j**3 + j**2 - j. Suppose -4*t - 9 = -13. Let i be b(t). Suppose -i*z + 14 = w - 43, 2*w + 89 = 3*z. Does 29 divide z?
True
Suppose 325*a = -310*a + 606*a + 275848. Does 82 divide a?
True
Does 6 divide -33 - -41 - (-3)/((-9)/(-3972))?
True
Suppose -89*v + 85*v + s + 1899 = 0, 5*v - 4*s - 2360 = 0. Is 17 a factor of v?
True
Suppose 6 = 2*w - 46. Let q = -2737 + 2737. Suppose -p + q = -w. Does 4 divide p?
False
Let d = -17045 - -19070. Is 5 a factor of d?
True
Let m(d) = 318*d - 800. Does 3 divide m(16)?
False
Let c = -168 - -208. Suppose -47*z = -c*z - 3675. Is 25 a factor of z?
True
Let j(a) = -a**2 - 20*a - 55. Let z be j(-15). Is 18 a factor of ((-110)/8)/((-1)/z)?
False
Is 21 a factor of ((-410)/(-15) + -4)/(4/360)?
True
Let k(q) be the third derivative of 29*q**5/60 + 3*q**4/8 + 25*q**3/6 + 5*q**2. Does 12 divide k(-3)?
False
Let k(l) = 9*l + 28. Let v be k(7). Is ((-56)/v)/(-4) + (-438)/(-26) a multiple of 17?
True
Does 78 divide (1170/8)/(18/37440*30)?
True
Suppose 0 = s + 4*a - 9, -a + 68 = 5*s + 4. Suppose -l + s*r + 326 = 11*r, -r = -5*l + 1675. Does 7 divide l?
True
Suppose -4*n - 17 + 1 = -3*h, -5*n = -3*h + 17. Suppose 0 = 5*z - 3*i - 1000 - 1022, h*i = -2*z + 814. Is z a multiple of 9?
True
Let r(j) = -60*j - 7 - 16*j - 9 - 6. Is 20 a factor of r(-5)?
False
Suppose 3*n = 4*t - 492, -2*n + 5*n - 264 = -2*t. Let i = -131 + t. Does 11 divide (70 + -4)*(i/3 + 3)?
True
Let c = 3777 - 2139. Is c a multiple of 11?
False
Suppose 0 = -5*b - 21 + 146. Let m = b + -17. Suppose v = m*v - 560. Does 40 divide v?
True
Let a(f) be the second derivative of 23*f**4/24 + f**3/3 - 7*f**2 - 39*f. Let t(n) be the first derivative of a(n). Is t(1) a multiple of 12?
False
Let g(j) = 15*j - 2. Suppose 11*c + 6 = 12*c. Let w be g(c). Suppose 33*o - w = 31*o. Is o a multiple of 11?
True
Suppose 148*i - 9126 = 135*i. Is i a multiple of 2?
True
Is 3/((-36)/162*(-1)/802*3) a multiple of 9?
True
Suppose -27*b + 18 = -25*b. Suppose 0 = 9*j - 0 - b. Is (4 + j)*234/15 a multiple of 26?
True
Suppose -17*b + 6*b = 1023. Let d = b - -90. Let n(o) = -97*o - 15. Does 23 divide n(d)?
True
Suppose -h + 2 = 4*v, 2*v + v - 6 = -3*h. Let x(y) = -31*y**2 + 4*y - 7. Let t(o) = 33*o**2 - 4*o + 8. Let r(u) = -4*t(u) - 5*x(u). Does 25 divide r(h)?
False
Let h(u) be the third derivative of -u**5/60 - u**4/6 - 8*u**3 + 10*u**2. Let s be h(11). Let