 factor of r?
True
Let q(a) = 4*a**3 - a**2 + 6*a - 5. Let o be q(2). Suppose 0*i = 5*i - o. Suppose -5*v = 0, 12*c - 4*v = i*c + 510. Is 37 a factor of c?
False
Suppose -7*i + 175 = -952. Let v = i - 141. Is 30 a factor of (-5)/v - (-4710)/24?
False
Suppose 6*y - 264005 + 17978 = -x, 0 = -3*x + 9. Does 12 divide y?
True
Let o = -8690 - -10232. Is o a multiple of 19?
False
Let s be (-13)/(78/852) + 5. Let m = 217 + s. Does 8 divide m?
True
Let i(j) be the second derivative of j**6/120 + j**5/30 + 8*j**2 - 18*j. Let k(d) be the first derivative of i(d). Does 32 divide k(4)?
True
Let w(x) be the third derivative of -155*x**4/24 - 173*x**3/6 + 5*x**2 + x. Is w(-5) a multiple of 86?
True
Suppose 2*w + 4160 = 7*w. Suppose 389*c - w = 373*c. Is c even?
True
Let m be 27/(-18)*2*(-2)/3. Let o be (20/(2*-2) - m)*-21. Let d = -102 + o. Is 20 a factor of d?
False
Suppose -5*l + 219 = 4*t, -6*l + 3*l = 3*t - 132. Suppose -l = 2*u - 41. Is 7 a factor of u/5 - (-1064)/20?
False
Let d = 25 - -8. Let v(p) = 74*p + 3068. Let u be v(-41). Suppose d*i + 92 = u*i. Is i a multiple of 12?
False
Let q be 2349*17/(153/30). Suppose -2*z - 4*z = -q. Is 15 a factor of z?
True
Let o(b) = 2*b**3 - b - 1. Let t be o(2). Let l be (-1)/(t/(-7) + 2). Is (-1 + 15)/(l + 9) a multiple of 4?
False
Suppose -2*w - p + 20237 = 0, w - 7954 - 2175 = 3*p. Suppose 0 = 23*f - f - w. Is f a multiple of 31?
False
Suppose -263*v + 267*v - 125412 = 4*h, 4*v + h - 125382 = 0. Does 14 divide v?
False
Suppose 143 = h + 12*h. Suppose -3*k - z + 1685 = 0, -h*k + 7*k + 2240 = -2*z. Is 74 a factor of k?
False
Let a be 145/87 - (4/(-2))/6. Let o(u) = -u**3 - u**2 - 1. Let f(b) = -b**3 - 4*b**2 - 3*b - 3. Let d(r) = f(r) - 6*o(r). Is 5 a factor of d(a)?
True
Suppose -4*x + 3*m + 22 = -0*m, -2*x - m = -6. Suppose 12*g - 4 = -x. Suppose -2*s - n = -142, -s - 4*n = -g*s - 57. Is 9 a factor of s?
False
Let z be 42/6*124/14. Let b = z - -105. Does 28 divide b?
False
Let a = 41 - 35. Suppose -24*b + 22*b = -a. Suppose -b*g - 3 = -63. Does 5 divide g?
True
Let g(f) = -4*f - 23. Let k be g(-14). Suppose 3 - k = -5*o. Is 50 a factor of (-4)/(-48)*o*542?
False
Let i(z) be the third derivative of z**4/12 - z**3/2 + 4*z**2 + 40. Is 4 a factor of i(4)?
False
Suppose 22*i = 20*i + 8. Suppose 5*r + 3*a - 1964 = 0, 0 = -i*a + 2*a - 4. Does 29 divide r?
False
Let h(m) = -m**2 + 6*m - 11. Suppose 2*p + 2 = 2*q, -4*q + 1 + 5 = -3*p. Let i be h(p). Does 20 divide 200*(0 - (i + 2))?
True
Suppose 0 = -157*j + 327316 + 83867. Does 9 divide j?
True
Is 10254400/180 + (-8)/9 a multiple of 10?
False
Suppose -55*s = -56*s + 3, d = 2*s + 690. Does 4 divide d?
True
Suppose d + 5 = -3. Let y(i) = i + 21. Let l(q) = -q - 8. Let n(t) = 11*l(t) + 4*y(t). Is 26 a factor of n(d)?
True
Does 9 divide (-14)/6 - 193816/(-21) - 2?
True
Let s = 1933 - 1216. Let n = s - 427. Does 29 divide n?
True
Suppose 124 = 2*y - 3*t, y - 12*t + 13*t - 52 = 0. Is 3*y/(-21)*-28 a multiple of 14?
True
Suppose 0 = 2*f + 32*p - 31*p - 3393, 1699 = f + 3*p. Does 4 divide f?
True
Let o = 507 + 193. Is o a multiple of 25?
True
Is 25 a factor of (748/(-66))/((0 - -4) + 4503/(-1125))?
True
Let p(x) = -55*x**3 - x**2 + 6*x + 7. Let g be p(-2). Let z = g + -116. Is 45 a factor of z?
True
Is (-3)/21*-2742 - -5*(-30)/(-525) a multiple of 2?
True
Does 2 divide 18/(-5)*(-43610)/42?
True
Suppose 4*q = -2*u + 30, 3*u - 3 = 6. Let k be -3*(-5)/((-45)/q) + -58. Let c = k + 227. Is 18 a factor of c?
False
Suppose 0 = 5*l - 3*v - 18, 3*v + 6 = -l + 4*l. Suppose -6*d - l*d + 1392 = 0. Is 12 a factor of d?
False
Suppose 2*w + 430 = -330. Let j = w + 588. Is 3 a factor of j?
False
Let o(k) = k**2 - 2*k - 1. Let f be o(6). Suppose -g - f = -0*g + b, -2*g - 5*b = 58. Let a = g + 68. Is a a multiple of 20?
False
Suppose -2*a + 530 = 4*r - 102, 4*r = 5*a - 1650. Let g = a - 221. Is -22*g/(-20)*2 a multiple of 33?
True
Let q(x) = -3*x - 32. Let l be q(-14). Let u(b) = -l - b**2 + 28 + 11*b + 6*b**2. Is 31 a factor of u(-6)?
False
Suppose -3*s + 7 - 16 = 0. Let p(x) = -2*x + x - 11*x. Does 15 divide p(s)?
False
Suppose -3*f = 18 - 6. Let o be (-11)/f - 6/8. Is ((-52)/6)/(o/(-6)) a multiple of 7?
False
Let d(s) be the first derivative of -5*s - 23 - s**2 + 2/3*s**3. Is 28 a factor of d(13)?
False
Suppose 625 = -0*c - 5*c. Let m = -315 + 264. Let z = m - c. Does 9 divide z?
False
Let i be (-6)/((-24)/20) - (3 + -108). Let m = i + 10. Does 12 divide m?
True
Suppose 7*c + 3*z = 3*c - 1, -5*c - 2 = 3*z. Let y be c/(-3) - (2 - 10/6). Suppose -l + 13 + 2 = q, y = -5*q + 5. Does 4 divide l?
False
Is 2/3 + 58/(-6) - -2641 a multiple of 7?
True
Let j be 5 + 50/(-4) + (-1)/(-2). Does 29 divide j + (-4200)/(-5 + -3)?
False
Let f = -51 + 49. Let p be ((-42)/(-12))/(f/4 - 0). Is 2/(-1) + (39 - (-1 - p)) a multiple of 6?
False
Let a be 2/8*8 + 0. Suppose -5*z = -l - 30 + 369, -4*z + 706 = a*l. Does 11 divide l?
False
Let z(t) = -t**2 + 20*t - 11. Let d = 21 + -35. Let c = -5 - d. Does 8 divide z(c)?
True
Suppose -3*o = d - 2329, 157*o = -d + 160*o + 2311. Is 16 a factor of d?
True
Does 11 divide ((-1401)/(-6))/((-31)/(-62))?
False
Suppose -3*c - 2*h = -20, -2*c - 2*h + 13 = 1. Suppose 2*z - a - 4*a - 14 = 0, -4*a = c. Is 14 a factor of (100/z)/(-3 - -5)?
False
Suppose 2*l = 5*r + 35345, 263*r - 70735 = -4*l + 258*r. Does 6 divide l?
False
Suppose -y = -12*y - 2*y + 95589. Is y a multiple of 54?
False
Is (-6)/12 + 355558/28 + -3 a multiple of 84?
False
Let u(l) = 28*l - 157. Let y(k) = 15*k - 78. Let s(o) = -6*u(o) + 11*y(o). Is s(-28) a multiple of 84?
True
Let i(y) = -3*y**3 - 11*y**2 - 10*y + 5. Let v(a) = -a**3 - a**2 - a + 1. Let g(z) = -i(z) + 4*v(z). Does 31 divide g(6)?
False
Suppose 4*k - 32026 - 50160 = -2*r, 3*r = 15. Does 107 divide k?
True
Let c = 1420 + -3574. Is c*(-5)/10*(-4)/(-12) a multiple of 15?
False
Suppose 2*o - 3582 = -o + 5*u, -5*o = 2*u - 6001. Let k be (2/(-3))/(-2) - o/33. Let s = k - -319. Is 15 a factor of s?
False
Does 5 divide 181*((-3 + 4)/(-1) - -21)?
True
Let b be (-35)/(-28)*9*-60. Let w = 370 - b. Is 49 a factor of w?
False
Let h(a) = 3*a**3 - 21*a**2 + 33*a - 4. Let u be h(14). Suppose 0 = -6*k - 764 + u. Suppose -k - 35 = -5*r. Does 32 divide r?
False
Suppose 7*x - 44 = 68. Suppose -21*w - 210 = -x*w. Let s = 82 + w. Is 8 a factor of s?
True
Let w be (-1540)/49 + 8/(-14). Let g = w - -83. Is g even?
False
Let d(n) = -n - 155*n**2 - 5*n + 150*n**2. Let m be d(-5). Let q = m + 147. Does 17 divide q?
False
Let l(k) = k + 1. Let n(f) = -f**2 - 4*f + 5. Let p(d) = -22*l(d) + 2*n(d). Let v be p(-13). Let o = v + -16. Is 4 a factor of o?
True
Suppose 3*i = 5*i - 4*w - 49032, 189*w = 192*w. Does 18 divide i?
True
Does 11 divide 487 + (19 - (-5 - -10))?
False
Suppose 0 = -12*c + 256 + 296. Let h = c + -34. Is h a multiple of 12?
True
Suppose -o = -0*o + f - 2208, 5 = f. Does 9 divide o?
False
Suppose 170*k = 149*k + 63. Suppose 3*l - 768 = k*d, 7 = -d + 8. Does 33 divide l?
False
Suppose -7*n + 158 - 116 = 0. Suppose -n*l + l + 2*k = -6120, 4*l - k - 4893 = 0. Is l a multiple of 82?
False
Let r be 55 - -12 - ((2 - 4) + 4). Suppose r = 3*z + 23. Suppose 2 = -4*w - z, 5*h = 3*w + 302. Does 29 divide h?
True
Suppose -21 = 4*f + 59. Let b be (-65)/2 - (f/(-8) - 2). Let r = -17 - b. Is 8 a factor of r?
True
Let q(t) = -6*t**2 + 39*t - 385. Let h be q(12). Let i = h - -941. Is 80 a factor of i?
True
Let w(l) be the third derivative of -3*l**4/4 + 4*l**3/3 + 7*l**2 + 3. Does 20 divide w(-5)?
False
Let n = 65 - 76. Let c(r) = r**3 + 12*r**2 + 10*r - 7. Let k be c(n). Is ((-5)/k)/(2/(-144)*3) a multiple of 5?
True
Is 11 a factor of 1 + (-303972)/(-21) + (-26)/(-182)?
True
Let p = 112390 + -74127. Is 23 a factor of p?
False
Let a(b) = -b**3 - 100*b**2 + 181*b + 237. Is a(-102) a multiple of 3?
True
Suppose 158*p - 16 = 162*p + 2*s, 22 = -p + 4*s. Let k(b) = 3*b**2 + 0*b**2 - 1 + b + 5*b. Does 18 divide k(p)?
False
Suppose -2*m + 7*m + 18 = -4*a, a - 2*m - 2 = 0. Is a/(110/38 + -3) even?
False
Is 20 a factor of (-1 - -23675) + (-52 + 27 - -34)?
False
Let i(p) = 949*p + 144. Does 123 divide i(4)?
False
Let a(p) = -587*p - 79. Is a(-3) a multiple of 29?
True
Suppose f - 600 = -3*f. Suppose -3*m = 2*m + f. Is 8 a factor of (-12)/m + (-76)/(-10)?
True
Suppose -s + 0*s + 4*l - 472 