actor of b(j)?
True
Suppose -c - 1 = 0, 2*i - c = -2*c - 61. Let t = 25 - i. Is 5 a factor of t?
True
Let b = -138 - 9. Let o = 209 + b. Does 7 divide o?
False
Suppose 2563 = 15*w - 1142. Is 73 a factor of -4*(w/(-4) + 7)?
True
Let j(w) = -w**3 + 11*w**2 + 2*w + 15. Suppose -86 = -3*m - 5*a, -4*m - a + 9 = -83. Suppose -f - m = -3*f. Is 23 a factor of j(f)?
False
Let m(n) = 36*n - 41. Let q be m(15). Let p = 324 - q. Let d = 294 + p. Is d a multiple of 22?
False
Let q be 0*((-1)/2)/1 + 73. Let g = q + -73. Suppose 5*u = -3*x + 74, -4*u - 14 - 6 = g. Is x a multiple of 7?
False
Let a(q) = 3*q - 31. Let z be a(14). Let s = -3 + z. Let i = 18 - s. Does 3 divide i?
False
Suppose 0 = 5*u + 5, 5*x = x + 2*u + 25326. Is 12 a factor of x?
False
Let t(y) = 19*y - 6. Let u(o) = -22*o + 270. Let x be u(12). Is t(x) a multiple of 15?
False
Let x(p) = -37*p**3 - 25*p**2 - 31*p - 13. Is x(-6) a multiple of 15?
False
Let s be (-9 - -2)/(((-6)/4)/3). Suppose s = 3*a + 4*c - 9, 44 = 4*a + 2*c. Suppose 8*q - a = 7*q. Is q a multiple of 13?
True
Let j be (-6 - -5 - -1) + 1274. Suppose 24*o = 26*o - j. Is o a multiple of 13?
True
Let s be -6 + 21/((-168)/(-8800)). Let m = s + -482. Does 28 divide m?
False
Let p = -7793 + 10293. Is 20 a factor of p?
True
Let t = 23306 - 8035. Does 91 divide t?
False
Let j = 53 - 45. Suppose j*x + 4*x = 5520. Is 11 a factor of (x/8)/((-2)/(-4))?
False
Let h = 10176 - -24240. Does 36 divide h?
True
Does 99 divide (-23)/92 + (-14)/8 - 3 - -132?
False
Suppose -2*t + 8*s - 6*s - 6 = 0, -t + 5*s - 7 = 0. Is 73 + t + (-2 - -3) + 5 a multiple of 7?
True
Let u(l) = -3 - 13*l + 13*l**3 - 24*l**3 + 12*l**2 + 12*l**3. Let i be u(-13). Let y = 13 - i. Is 8 a factor of y?
True
Let m be 34/10 + 2/(-5). Suppose 24 = 113*b - 107*b. Suppose 4*g - 72 = -b*p, -m*p + 3*g - 16 = -4*p. Does 3 divide p?
False
Suppose -3*j + 6 = -4*z, 2 + 0 = -4*z + j. Suppose -y + 2*s + 190 = z, 12*y - 8*y + 4*s - 736 = 0. Does 36 divide y?
False
Let s be 27 - -679 - (2 - 1). Let z = s - -298. Does 13 divide z?
False
Let q(x) = 72*x**2 + 210*x + 830. Is 7 a factor of q(-4)?
False
Let s = 63 - 52. Suppose s*h - 12*h + 210 = 0. Let n = h + -110. Is n a multiple of 16?
False
Let r be (-72)/(-28) - 12/(-28). Suppose -m = -5*k - 6*m + 210, 132 = r*k + 5*m. Is 3 a factor of k?
True
Suppose -6*n + 20 = h - n, 16 = 5*h - 3*n. Suppose 0 = -14*c + h*c + 36. Suppose 0 = -5*o + 2*y + 3*y + 330, 0 = y - c. Does 7 divide o?
True
Suppose 0 = 3*x - n - 1681, -23*n + 22*n = 2*x - 1114. Is 13 a factor of x?
True
Let s be (-4)/3 + 319/3. Suppose s + 103 = f. Does 32 divide f?
False
Let r(k) = -k**3 + 11*k**2 - 19*k + 15. Let b be (-5)/15 - (-2)/6*28. Let x be r(b). Suppose x*d - 930 = -0*d. Is d a multiple of 12?
False
Is 36 a factor of 179/((7 - 3)*(-9)/(-108))?
False
Suppose -51*u + 56*u = -12*u + 142375. Is 25 a factor of u?
True
Let q = -176 + 179. Suppose f - 129 = 4*x - 25, -q*f + 4*x + 296 = 0. Is f a multiple of 24?
True
Suppose 0 = 99*n - 81*n - 67878. Is n a multiple of 16?
False
Suppose -2*s - 5*n + 12 = 6, 2*s - 8 = -4*n. Does 6 divide s - 15*(-44)/6?
False
Suppose -2*j = 5*p - 1, p + 34 = -2*j + 23. Does 23 divide ((-75)/(-9) + j)/(2/138)?
True
Let z(a) = a - 6. Let b be z(13). Suppose 0 = -4*r - 4*u + 1196, -3*u + 594 = 2*r - 0*r. Suppose 2*n - b*n + r = s, 0 = -n + 5. Is 32 a factor of s?
False
Suppose -1344 = 5*y + 36. Is 17 a factor of 3 - y*(-4 + 5)?
False
Suppose -3*v + 135354 = 10*v - 50286. Is 140 a factor of v?
True
Let l = 67132 - 38810. Does 17 divide l?
True
Let i = -1831 - -1861. Is 3 a factor of i?
True
Suppose -18*h + 6 + 48 = 0. Suppose 4*s = -2*j + 224, 244 = 7*s - h*s - 3*j. Let l = -12 + s. Is 46 a factor of l?
True
Suppose 286*l - 363*l + 5524848 = 445*l. Is l a multiple of 18?
True
Let x(m) = 13*m**2 + 6*m + 13. Is 40 a factor of x(-11)?
True
Let g(k) = 19*k**3 - 10*k**2 + 4*k + 26. Is 13 a factor of g(5)?
True
Let w(g) = 4*g**3 + 0*g**3 - 3*g**3 + 2*g - 14*g + 42 - 16*g**2. Let s be w(17). Does 16 divide s/2 + (-7)/(-14)?
True
Let u(y) = 5*y**3 - 11*y**2 + 6*y - 7. Let l(v) = -v**3 + v**2 + 1. Let a(j) = -4*l(j) - u(j). Let s be a(7). Does 4 divide 1 + -3 + (-4 + 1 - s)?
False
Let p(f) = -2*f - 41. Let o be p(-32). Let g(d) = 13*d + 81. Is g(o) a multiple of 20?
True
Let i = -232 - -251. Suppose 9*b + 580 = i*b. Is b a multiple of 2?
True
Suppose r + 134 - 389 = 0. Let m = 723 - r. Is m a multiple of 52?
True
Suppose 2*b + 151 = 4*s - 167, 5*b + 795 = -4*s. Let f = b + 357. Is f a multiple of 22?
True
Let y(t) = -707*t**3 - t**2 - 64*t - 31. Does 258 divide y(-4)?
False
Suppose -7*f + 4*f = 12. Let g(z) = 35*z + 19. Let s be g(f). Let y = s - -231. Is 45 a factor of y?
False
Suppose 287*g - 276278 - 5795569 - 389384 = 0. Is 47 a factor of g?
True
Suppose 0 = 13*d + 6*d - 39596. Suppose 4*c - d = -4*l - 0*c, -2*l + 5*c + 1035 = 0. Is l a multiple of 52?
True
Suppose -88*p = -83*p - 11140. Does 11 divide p?
False
Let m = -12782 - -23792. Is m a multiple of 5?
True
Let v = 150 - 107. Suppose k + 3*d = -d + 25, -2*k = d - v. Is k a multiple of 7?
True
Let o = 835 - 823. Is 3 a factor of 4/6 + o*(-4279)/(-198)?
False
Suppose 26520 = 114*g - 108*g. Does 20 divide g?
True
Let d = -543 - -376. Let f be (0/3)/(-2) - d. Let s = f + -116. Does 17 divide s?
True
Let f(h) = 475*h - 231. Is f(5) a multiple of 32?
True
Suppose -4*b + 6*q - 2*q = 0, q - 3 = 0. Suppose k = m - 19, 2*k = -b*m + m + 38. Is 3 a factor of m?
False
Let b(a) be the second derivative of -a**4/6 - a**3/6 + 11*a**2/2 - 22*a. Let u be b(3). Is 6 a factor of (8/30)/(u/(-15))*90?
True
Let z(j) = 1300*j**2 - 50*j - 97. Is z(-3) a multiple of 21?
False
Let q be ((-10)/15)/(4/(-30)). Suppose 5*a - 6*i = -i + q, 4*i = 4. Suppose -4*o + 5*l = -276, 7 = a*l - 1. Is o a multiple of 12?
False
Does 98 divide 6*(-1064)/(-665)*(-34610)/(-8)?
False
Let y(q) = 134*q - 15. Let l be 6*(-4)/(-6) - (-1 + 4). Does 7 divide y(l)?
True
Let y(n) = n**2 - 15*n + 16. Let p be y(14). Suppose 3*w - p*b - 1080 = 3*b, -720 = -2*w - 4*b. Is 12 a factor of w?
True
Let x(r) = -r**3 - 11*r**2 + 21*r + 5. Let k(m) = -m**3 - 23*m**2 + 44*m + 10. Let g(u) = -2*k(u) + 5*x(u). Does 22 divide g(-9)?
False
Let c = -87 + 96. Suppose 344 + 88 = -c*k. Let f = -10 - k. Is f a multiple of 19?
True
Let m be -2 - (6 + -1050)/6. Suppose 170*r + 490 = m*r. Is r a multiple of 39?
False
Does 13 divide 380*(-5803)/(-182) - (1 + 33/(-39))?
True
Let i(g) = -264*g - 476. Let w(u) = -24*u - 43. Let m(b) = 3*i(b) - 32*w(b). Is 7 a factor of m(-9)?
False
Let w(l) = 16142*l**2 - 24*l + 20. Is w(1) a multiple of 36?
False
Suppose 0 = -2*z - 6, 0*l + 4*l = -4*z - 164. Let n = -35 - l. Let u = n + 27. Is 10 a factor of u?
True
Let s = 15472 + -8482. Is s a multiple of 154?
False
Let h(o) = o**2 - 6*o + 47. Let p be ((-9)/2)/((-7)/2 + 4). Is h(p) a multiple of 69?
False
Does 16 divide 110/(-5) + (-394941)/(-47)?
False
Let n(x) = 3*x**2 - 26*x - 15. Let g be n(9). Is 30 a factor of 30/(-9)*g*15?
True
Let f be -229*(2 + -1) + 0 - -3. Let n = -340 - f. Let u = -54 - n. Is 6 a factor of u?
True
Is 22 a factor of 87717076/5267 - (-4)/(-46)?
True
Suppose -2*u + 7*u + 5*i + 305 = 0, 3*u + 5*i = -189. Let o be (-1)/(4/632*2). Let l = u - o. Does 11 divide l?
False
Let c(m) = 80*m - 8. Let r be c(3). Let o be 1 + r/5 + 8/(-20). Suppose o + 126 = n. Is n a multiple of 10?
False
Suppose -15*x = -90*x - 74*x + 1088892. Is x a multiple of 120?
False
Is 147 a factor of ((-1)/(9/1623))/((-26146)/(-1377) - 19)?
False
Suppose -6128 = -4*w + j, 0 = 2*w + j - 3130 + 60. Does 21 divide w?
True
Let o = -645 + 645. Suppose o = -12*h + 20*h - 2432. Is h a multiple of 16?
True
Does 2 divide (-8 + 22)/112 - 1335/(-8)?
False
Suppose 0 = 3*s, -4*g = g + 5*s - 3685. Suppose -14*j = -g - 453. Does 2 divide j?
False
Suppose 6652939 - 405439 = 150*a. Is 35 a factor of a?
True
Suppose -12 = 10*v - 13*v. Suppose v*w = 14*w - 600. Suppose 0 = p - w - 50. Does 22 divide p?
True
Let m = 343 - 28. Let s be 32/6*m/12. Suppose -s - 80 = -4*l. Does 8 divide l?
False
Let v = -15741 - -29458. Is v a multiple of 134?
False
Let d = -624 - -623. Is 107 a factor of -4 + (1530 - 8) + (0 - d)?
False
Is 2065/4 - (-70)/(-280) a multiple of 129?
True
Suppose t - 1690 = -3*t - 2*c, 1261 = 3*t - 5*c. Let m 