r. Does 41 divide m?
False
Suppose 8*c - 4*c - 4*r + 148 = 0, 20 = -4*r. Let m = 77 + c. Is 31 a factor of m?
False
Let f(l) = 8*l + 33. Let n be f(12). Let x = n - 65. Does 14 divide x?
False
Let f be (-20)/(-7) + (-9)/(-63). Suppose -1 - 5 = -f*w. Is (-279)/(-6)*w/3 a multiple of 9?
False
Let l(w) = 19*w**3 - w**2 + 3*w - 2. Let r be l(1). Let j(h) = 0*h**2 - h**3 + 11*h**2 - r + 26. Is 38 a factor of j(10)?
False
Let h = -30 - -74. Let w be ((-2)/(-4) - -1)*(-348)/(-18). Let t = h + w. Does 26 divide t?
False
Let k be 4/8*998*-5. Let a = k - 4669. Is (-4)/(-6) + a/(-27) a multiple of 15?
False
Let s = -259 - -1232. Is s a multiple of 8?
False
Let b(o) = 83*o**2 - 36*o - 194. Is b(-6) a multiple of 14?
True
Suppose 625 = 5*i - 960. Suppose 123 = 5*f - i. Suppose 0*k = -k + f. Is k a multiple of 11?
True
Let j = -3563 + 6060. Is j a multiple of 40?
False
Suppose 5*j - 5*n = -4325, 18*j + 2*n + 1726 = 16*j. Let q = -619 - j. Is q a multiple of 6?
False
Let m(i) = 80*i**2 + 87*i**2 + 30*i**2 + 1. Let h be m(1). Let r = h + -109. Is 42 a factor of r?
False
Suppose 3*d + 6194 = 5*r - 8288, 2*r - 4 = 0. Is 14 a factor of d/6*((-60)/(-9))/(-5)?
False
Let j = 378 - 584. Is 8 a factor of (2 - j) + -3 + (4 - 9)?
True
Let s be (94/(-10))/(1*(-6)/30). Let z = 11 + s. Suppose 2*h = z + 22. Is 5 a factor of h?
True
Let n(u) = -11*u**3 - 2*u**2 - u - 7 + 3*u + 6*u - 2*u**3. Let h be n(-4). Suppose 10*b - h - 339 = 0. Is b a multiple of 10?
True
Let n be 6*5/45*-30. Is 632/2 - n/(-50)*-5 a multiple of 24?
False
Let z = -20 - -67. Suppose -3*d - d + 724 = 0. Let o = d - z. Does 28 divide o?
False
Suppose -3*m = -4*o + 9, -2*o + 0*m + 7 = m. Let r(w) = -6*w - 8. Let j be r(-3). Suppose -j = -x + o. Is 6 a factor of x?
False
Let m(s) = 300*s + 451. Is 11 a factor of m(0)?
True
Suppose 216*h - 231856 = 304558 + 753106. Is 6 a factor of h?
True
Let q = 53 + -109. Suppose f - 12 = 18. Is (48/9)/(q/f + 2) a multiple of 8?
True
Suppose -73*n - 4*g - 2562 = -76*n, -g = 3*n - 2577. Does 11 divide n?
True
Suppose -155 - 482 = -13*o. Let a(h) = 47*h**3 + h**2 - h. Let q be a(1). Let z = o + q. Does 12 divide z?
True
Let q be 8/4*(9/6 + -2). Let b be 2/(-4)*(-169 + q). Suppose 4*t - 39 - b = 0. Is 4 a factor of t?
False
Let q(r) = -2*r**2 + 71*r - 324. Does 8 divide q(26)?
False
Let c = 312 - -472. Does 14 divide c?
True
Suppose -158*k = -376*k + 6250932. Does 198 divide k?
False
Let q(n) be the third derivative of -3*n**4/8 - 37*n**3/6 + 3*n**2. Let d be (48 + -45)/((-9)/21). Does 26 divide q(d)?
True
Let y = 123 - 127. Is 30 a factor of 0 + 296 - y/(-2)*1?
False
Let j be 3*(-3)/(-9) - (-4 + -1). Does 41 divide (12/(-14))/(j + 5925/(-987))?
False
Suppose -189 = -5*d - 1404. Suppose -2629 - 2537 = 42*m. Let g = m - d. Is g a multiple of 13?
False
Suppose 45*b - 28022 - 43950 = 89353. Is 11 a factor of b?
False
Suppose k - 5*m - 2579 = 0, 3*k + 2*m - 6*m = 7781. Suppose -a - i + k = 4*a, -4*a = 3*i - 2077. Does 5 divide a?
True
Let o = -3423 - -4383. Does 48 divide o?
True
Let z = -120 + 138. Suppose -z = -4*k - 98. Is -6*(-2)/k + (-3632)/(-20) a multiple of 10?
False
Suppose 2 = 2*c - 0. Let v(n) = 24*n + 4*n - 15 + 16. Does 4 divide v(c)?
False
Suppose -5*u + 35 = 15. Suppose u*i - 4 = l - 75, -78 = -l - 3*i. Is 11 a factor of l?
False
Let w = -469 - -472. Suppose -4*r + g + 530 = 0, r + g + w*g = 124. Is 6 a factor of r?
True
Suppose -78022 - 34629 = -142*b + 11883. Is 14 a factor of b?
False
Let z(i) = -i**3 - 6*i**2 - 4*i + 1963. Does 151 divide z(0)?
True
Let t(g) be the second derivative of -g**5/20 - 19*g**4/12 - 5*g**3/6 + 25*g**2/2 - 14*g. Is t(-19) a multiple of 6?
True
Let z be (-19 + 1)/((-45)/30). Suppose 0 = -4*d - z + 32. Suppose 4*q - 457 = -d*o, 2*o + 3*q - 187 = -0*q. Does 13 divide o?
False
Suppose -5*b + 2*b = -12. Suppose 3*n + 2 = -b*a, 2*a = -n - 0*a - 2. Suppose -2*q - 3*s = s - 80, 0 = -q + n*s + 24. Is 8 a factor of q?
True
Let j(z) be the second derivative of 0 + 11/2*z**2 + 9*z - 53/6*z**3. Does 25 divide j(-2)?
False
Suppose -4*l = 5*m + 19, 3*m + 2 = -l - 1. Let n be ((-388)/(-3))/((-4)/l). Suppose 3*k + n = 4*k + 3*u, -2*k + 5*u + 344 = 0. Is 26 a factor of k?
True
Suppose 3*x = -s + x - 21, -51 = 3*s + 3*x. Let n = s - -15. Is 123 + (1 - (2 + n)) a multiple of 12?
True
Does 16 divide (-41)/((-2583)/2478)*(-66)/(-4)?
False
Let h(k) = -k**2 + 124*k - 808. Is h(95) a multiple of 177?
True
Suppose -6*j + 5*o = -21241, -91*j + 2*o - 14166 = -95*j. Is 7 a factor of j?
False
Does 41 divide (-1)/15 + 34261740/2025*6/4?
True
Let r = 2005 - -2465. Is r a multiple of 10?
True
Suppose 143*r - 18 = 137*r. Suppose -r = 15*n - 1443. Is n a multiple of 7?
False
Suppose -3*j + 5*j = -3*y + 10, 0 = -3*j - 3*y + 15. Suppose -j*p - 3*p + 7376 = 0. Does 47 divide p?
False
Let n = 51 - 113. Let p be n*((-9)/(-2) + 15/(-5)). Let y = -53 - p. Is y a multiple of 8?
True
Suppose 5275*r = 5281*r - 40836. Does 8 divide r?
False
Suppose 4112*w + 10098 = 4113*w. Does 66 divide w?
True
Let t = 3451 - -5975. Is 5 a factor of t?
False
Let b = -6031 - -13410. Is 25 a factor of b?
False
Let k(g) = -g**2 + 13*g + 22. Suppose -5*z = -5*j + 50, 2*j + 2*z - 58 = -2*j. Is 12 a factor of k(j)?
False
Suppose 3 = -l + 36. Suppose -4*w + 14 = 3*x - l, -3*w + 27 = 5*x. Suppose w*v + 408 = 18*v. Is 31 a factor of v?
False
Let l = -30 + 30. Suppose 3*n - 3*c - 1860 = l, 2*n + 318 - 1561 = -c. Suppose 21 = -3*r + n. Is r a multiple of 25?
True
Let z(c) = 546*c**2. Let q(r) = -13*r + 155. Let s be q(12). Does 14 divide z(s)?
True
Let z = 3125 + -1871. Let q = -896 + z. Is 39 a factor of q?
False
Let z = -86 + 87. Let j be (0 - z)/(-3) - (-588)/126. Suppose j*p - 2 = -4*o + 58, -p = 5*o - 96. Is o a multiple of 4?
True
Suppose 0 = 12*s - 41*s + 116. Is 3 a factor of 17*s/(-12)*-63?
True
Suppose 2*d - 13948 = -19*q - 3073, -q = d - 5446. Is d a multiple of 49?
False
Let u(p) = p**3 - 6*p**2 - 4*p + 45. Let x be u(5). Let h(g) = -g**3 + g**2 - 3*g + 406. Is 57 a factor of h(x)?
False
Let u(y) = 2*y**2 - 9*y - 9. Let x be u(6). Let g(p) = -7 - x - 11 + 9*p. Is g(4) a multiple of 3?
True
Let z = -1969 + 2077. Is z a multiple of 9?
True
Let r = 237 + -236. Does 9 divide (9/6)/(r/(126/1))?
True
Does 102 divide (-873145)/(-39) - (-65)/39?
False
Let f(g) = -340*g**3 + 2*g**2 - 3*g + 2. Is 19 a factor of f(-2)?
True
Suppose n - 5*y + 557 - 8881 = 0, -y - 6 = 0. Is n a multiple of 58?
True
Let t(o) = -3*o - 13. Let g = -67 - -62. Let s be t(g). Let v(w) = 7*w**3 + 2*w**2 - 2*w + 8. Does 11 divide v(s)?
False
Let b = -8581 + 10019. Is b a multiple of 9?
False
Suppose 0 = -0*l + 3*l - 7812. Let b(s) = -407*s + 2045. Let f be b(5). Is 5 a factor of (6/f)/1 - l/(-35)?
True
Let q be 198/21 - 36/(-63). Let c(b) = b**3 + 18*b**2 + 9*b + 40. Let y be c(-18). Let j = q - y. Is j a multiple of 44?
True
Suppose -3 = -4*a + 2*h - 45, a + 2*h + 13 = 0. Let g(m) = -m**3 - 11*m**2 + 12. Let f be g(a). Is 140/8*f/5 a multiple of 11?
False
Suppose 9*p - 106 = 4*p - 2*v, 0 = 2*v - 6. Let j(b) = 2*b**2 - 19*b - 45. Is 15 a factor of j(p)?
True
Suppose -5*b + 3358 = 3*j - 3221, -2*b + 2625 = -j. Is 3 a factor of b?
True
Let t = 3099 + 223. Is t a multiple of 29?
False
Let d = -57 - -52. Let z be (-12024)/(-45) + 1/d. Let c = z + -184. Is 39 a factor of c?
False
Suppose -2*n + 2*m + 6436 = 0, -2*n + 39*m = 38*m - 6433. Is 5 a factor of n?
True
Suppose -2*m + 35 = 39, -q + 2522 = -3*m. Does 14 divide q?
False
Let u(l) be the third derivative of -13*l**6/30 - 5*l**4/8 - 13*l**3/3 + 5*l**2 + 1. Is u(-2) a multiple of 8?
False
Let o(w) = -w**2 + 51*w - 131. Is 3 a factor of o(44)?
True
Let o(v) = -31*v + 13. Let i be o(-2). Does 25 divide i*(3/9 - -1)?
True
Suppose 4*z = 5*t - 32721, 4*t - 26183 = 67*z - 70*z. Is 77 a factor of t?
True
Suppose -6*x + 1857 = -3*x. Let u = x + -394. Let l = u - 139. Is l a multiple of 36?
False
Let y be 28/4 + 3 + -4. Let x be 120/28 + y/(-21). Let v(s) = 4*s - 6. Is v(x) a multiple of 5?
True
Let n = -351 + 353. Suppose -2 = -n*h + 2, -5518 = -5*s - 4*h. Does 32 divide s?
False
Let b(s) = 12*s**3 - 2*s**2 + 8*s - 12. Does 7 divide b(4)?
True
Let t(v) = -2*v**2 - 2*v + 32. Let n(l) be the first derivative of l**3/3 + 2*l**2 + 3*l + 16. Let a be n(-1). Does 8 divide t(a)?
True
Let z(p) 