ue
Suppose -85*c + 7445760 = 155*c. Is 213 a factor of c?
False
Suppose 2740 = 2*g - 14*r + 12*r, g = -5*r + 1358. Does 6 divide g?
True
Does 10 divide (34/85)/(18/69885)?
False
Let p(q) = -14*q**3 + 10*q**2 + 52*q - 33. Does 11 divide p(-11)?
True
Let k(f) = 9*f - 38. Suppose -3*j + 21 - 6 = 0. Let x = 11 - j. Is k(x) a multiple of 11?
False
Let k(a) = 2*a**3 + 6*a**3 + 6*a - 4*a**2 - 14*a**3 + 5*a**3 + 7. Let r be k(-5). Suppose -4*u + r*s = u - 40, 4*u - 29 = s. Does 6 divide u?
True
Suppose -5*m = -4*a - 64020, 35*m + a - 63995 = 30*m. Is 12 a factor of m?
False
Let f be (-2294)/(-22) + (-42)/154. Let o = 564 - f. Is o a multiple of 20?
True
Suppose -8999 - 9557 = -3*j + z, 0 = -5*j + 2*z + 30928. Is 8 a factor of j?
True
Let r(k) = -k**2 + k - 10. Let x be r(-8). Let m = -47 - -33. Let s = m - x. Is 17 a factor of s?
True
Let y(p) = -p**3 + 30*p**2 - 23*p + 20. Let u be (4/(-6))/(8 + (-2792)/348). Is 25 a factor of y(u)?
False
Let f be (-3)/(-3)*((3 - 4) + 4). Let z be f/5 + (16/20)/2. Is ((-4)/(-8))/(z/18) a multiple of 9?
True
Let h(v) = 7*v**2 - 5*v + 11. Let f be h(-11). Suppose -3*d = 3*q - 681, q - d - f = -3*q. Suppose -3*a + 139 = -0*a + 4*x, 5*a - q = -3*x. Is 15 a factor of a?
True
Let y = 2541 - -116. Is y a multiple of 19?
False
Is 4 a factor of 1 + 70/(-49) - (-2657043)/189?
False
Let v(r) = 52*r - 7. Let p be v(-2). Let x = -103 - p. Does 6 divide (x/(-10))/((-16)/160)?
False
Let x(v) = -v**2 + 9*v - 12. Suppose -8 = -4*a + 12. Is x(a) a multiple of 2?
True
Let n be -4 + 2 + (-1 - 1). Let p be (-9)/((-36)/148) - (n - 0). Suppose -5*m - a = -m - 146, -m + p = -2*a. Is m a multiple of 2?
False
Suppose d = -4*d + 15. Suppose -v + 218 = 4*f, 0 = d*v - 3*f - 594 + 15. Does 11 divide v?
True
Let s = 28033 + -17727. Is 77 a factor of s?
False
Suppose -2*o + 4088 = -33*m, 4 = -m + 12. Does 34 divide o?
True
Let h(w) = 112*w**2 + 26*w - 52. Is h(2) a multiple of 16?
True
Does 23 divide -8 + 19808/56 + 10/35?
False
Suppose -1 = g + 4. Is 15 a factor of -274*(1 + (-7 - g))?
False
Suppose -8*t + 4*t - 3*n = -5528, 5*t = 2*n + 6887. Suppose 2*p - 3*a - 981 = 0, -5*p + 1057 = -2*a - t. Is 27 a factor of p?
True
Let v = 11742 + -3532. Does 61 divide v?
False
Let x(d) = 9*d + 16. Suppose 2 = 4*t + c - 34, 3*c = -t - 2. Let r be 8 - (-3)/((-15)/t). Does 14 divide x(r)?
True
Suppose 40*v - 20*v - 23040 = 0. Suppose -7*c = 9*c - v. Does 6 divide c?
True
Let o(y) = 513*y**2 - 75*y - 152. Does 17 divide o(-2)?
False
Suppose 29*u = 5 - 63. Let w(c) be the first derivative of -21*c**4/4 - 2*c**3/3 + c**2/2 - c - 2. Is 10 a factor of w(u)?
False
Let t = -475 - -480. Does 5 divide (-1)/(1/t*32/(-64))?
True
Is 3 a factor of ((-7)/3)/((-28)/24) + 457?
True
Let l(q) = q**3 + q**2 - q - 9. Let i be l(0). Let g(z) be the first derivative of -z**4/4 - 8*z**3/3 + 7*z**2/2 - 12*z - 1103. Is g(i) a multiple of 5?
False
Let a = 436 - 432. Suppose 5*k = u - 23, -a*u - 8 + 77 = 3*k. Is 6 a factor of u?
True
Let g(a) = -112*a - 82. Let d = 331 - 334. Does 8 divide g(d)?
False
Suppose g + 1 = -4*s, g - 8*s + 10*s = 1. Suppose 5*t - 4*j - 74 = 0, -2*t + 6 = -t - g*j. Is 8 a factor of t?
False
Let t(m) = 33*m**2 + 11*m - 256. Is 59 a factor of t(11)?
False
Suppose -5*k = u - 597 + 102, 3*k = -u + 295. Suppose k + 80 = 4*y. Is 5 a factor of y?
True
Let h(k) = 3*k - 110. Let t(z) = -2*z + 55. Let q(d) = -2*h(d) - 5*t(d). Let i be q(-30). Let b = i - -251. Is 38 a factor of b?
True
Suppose 0 = 3*q, -4*v = -4*q - 0*q - 20008. Suppose 9881 = 5*n - 4*d + 3624, 4*n - 2*d = v. Does 57 divide n?
False
Suppose -302*u - 170 = -307*u. Let b(w) = w**2 - 6*w - 37. Is 15 a factor of b(u)?
True
Let i = 308 - 249. Let j = i - -43. Is 11 a factor of j?
False
Let y = -37 - -26. Let t(s) = -2*s - 19. Let j be t(y). Does 2 divide (j/(-2))/(8/(-80))?
False
Suppose 0 = -4*f + 7*f + 2*b - 15335, 4*f + 4*b - 20452 = 0. Is f a multiple of 144?
False
Suppose 0 = 170*q - 168*q - 3*s - 10706, 5308 = q + 6*s. Does 8 divide q?
True
Let p(r) = 28*r**3 - 2*r**2 + 3*r. Let d be p(2). Let i = d + -137. Is i a multiple of 3?
False
Let l(x) = x**3 - 4*x**2 - 96*x + 19. Let j be l(14). Suppose -y - 4*r = -j, y - r + 2600 = 5*y. Is y a multiple of 31?
True
Let b(p) be the second derivative of 5*p**3/3 + 21*p**2 + 5*p - 5. Let z be b(-4). Suppose -2*i + z*o + 0*o = -136, 4*o - 48 = -i. Is 16 a factor of i?
True
Suppose 7*o - 76626 - 120095 = 0. Is 107 a factor of o?
False
Let r = -88 + 79. Let f(c) be the third derivative of -5*c**4/24 + 11*c**3/6 - 18*c**2. Does 28 divide f(r)?
True
Suppose 0 = 2*w - 3*v - 11, -2*w + v + 4*v = -13. Suppose -3*s - 3*b - 5 = -w*s, -3*s - 13 = 5*b. Let i(x) = -179*x. Does 32 divide i(s)?
False
Let v be (32/(-112))/((-2)/14). Suppose -2*f = -4*j - 366, -2*f = -j + v*j - 346. Is f a multiple of 7?
True
Let q(i) = 9*i + 19. Let f be q(-3). Let x be 2/(f/(-12)) - (2 - 0). Suppose -41 = -s - x. Does 10 divide s?
True
Let w(x) = x**2 - 62*x + 1056. Is 18 a factor of w(-48)?
True
Suppose 4*d = -4*d. Does 4 divide (d + -2)*(-20)/5?
True
Is 73 a factor of (22 - 9) + 5339 - -7?
False
Is (1285 - 3) + 19/(57/(-15)) a multiple of 9?
False
Let s(d) = -48*d + 28 + 9 + 27 - 45*d. Is 34 a factor of s(-8)?
False
Let g be (-4)/10 + 564/10. Suppose -g = 6*u - 10*u. Is 8 a factor of u/(-63) + (-1307)/(-9)?
False
Suppose 0 = x + 1, 3*b - 16*x = -21*x + 33610. Is 83 a factor of b?
True
Let d(a) be the first derivative of -a**3/3 - 21*a**2/2 + 16*a + 8. Does 15 divide d(-13)?
True
Suppose -2*o + 1 + 5 = 0, -4*o + 20 = -4*s. Let i be (15/6 + -3)/(s/12). Suppose -21 = -u - 2*x, -3*u = -2*x - i*x - 85. Does 5 divide u?
True
Suppose -91 = -8*o + 2973. Suppose o = -4*h + 1895. Is h a multiple of 21?
True
Does 66 divide (-6)/3 + 6 + 10425 + -1?
True
Suppose 53*t = 54*t - 15153. Is 33 a factor of t?
False
Let c(i) = -81*i + 708. Is c(-20) a multiple of 48?
False
Suppose 108509 = a - 51*a + 446309. Is 12 a factor of a?
True
Is 26 a factor of (((-312)/(-10))/2)/((-246)/(-598600))?
True
Is 25 a factor of (-6)/(-4)*80/30 + -3 + 15674?
True
Let f(h) = -11*h**2 - 28*h - 50. Let z(p) = -5*p**2 - 14*p - 25. Let b(n) = -4*f(n) + 9*z(n). Let c be b(-10). Suppose -14*x - 28 = -c*x. Is 28 a factor of x?
True
Let u be 306/36 + (-21)/6. Does 64 divide (-768)/u*(-795)/106?
True
Let o(l) = -l**2 - 31*l. Let x be o(-31). Let t(i) = -3*i**2 + 3*i + 1169. Is t(x) a multiple of 33?
False
Suppose 2*v + b + 0*b = 252, -v + 115 = -5*b. Let f = v - 68. Suppose -u = -2*u + f. Is 19 a factor of u?
True
Suppose -2*n = -3*q + 1180, -5*q + 6*n - n = -1975. Does 30 divide q?
True
Suppose -w + 5*t + 16 - 3 = 0, 2*t + 4 = w. Let h(r) = -29*r**3 - r**2 + 2. Let d be h(w). Let n = -132 + d. Is n a multiple of 14?
True
Suppose 195*w - 191*w = -1464. Does 12 divide (w/9)/(5 + 64/(-12))?
False
Let s(r) = 5*r - 5. Let h be s(6). Suppose -2*a + a + 5*d = h, 2*d = a + 10. Suppose -p + 3*b - 2*b + 20 = a, -4*p + 84 = -2*b. Is p a multiple of 6?
False
Let a(p) = -51*p**2 - 6*p + 46*p**2 + 11 + 40*p**3 - 39*p**3. Is 2 a factor of a(6)?
False
Suppose 3*v - 67892 + 9208 = -2*h, -4*v = 2*h - 78248. Is v a multiple of 75?
False
Suppose 23*l - 17418 = -5113. Let v = l + -127. Is v a multiple of 17?
True
Let d(r) = r**2 + 7*r + 4. Let g be d(-6). Let i be ((-35)/g)/(-5)*-14. Is 5 a factor of 26/39 - (1 + i/(-3))?
False
Let n = -3 - -6. Suppose -4*g + 9 = -g + 4*r, 0 = -n*g + r + 9. Suppose 78 + 48 = g*w. Is 26 a factor of w?
False
Let v be (-1645)/(-94)*(-5124)/(-10). Suppose 0 = -16*b - 567 + v. Does 12 divide b?
False
Is 3 a factor of (-873)/(-4074) - (-40566)/28?
True
Suppose -12*j - 27*j + 545256 + 171369 = 0. Is j a multiple of 125?
True
Let u(s) = -2*s**2 + 1326. Let m be u(0). Suppose r + 4*l = 4*r - 1308, m = 3*r + 2*l. Is 10 a factor of r?
True
Let y(m) = m**2 + 10*m. Let v be y(-10). Suppose v + 6 = 2*n. Suppose -n*t - 4*f = -199 - 128, -5*t = -f - 545. Does 10 divide t?
False
Suppose 2*z - 38*v - 11164 = -34*v, -4*v - 16736 = -3*z. Is z a multiple of 28?
True
Let h(b) = -26*b + 101. Let t(q) = -49*q + 202. Let c(o) = -13*h(o) + 6*t(o). Is c(4) a multiple of 25?
True
Suppose 0 = 13*g - 9*g + 136. Let t = 29 + g. Does 8 divide (-19 + -3)/(t/(5/2))?
False
Let j(o) be the third derivative of 1/12*o**4 + 0 + 3/40*o**6 - 3*o**2 - 1/30*o**5 +