g)*(-24 - -28)?
False
Suppose 2043*s - 2171*s = -1685376. Is 7 a factor of s?
True
Let s(w) = w**3 - 74*w**2 + 187*w + 1348. Is 202 a factor of s(72)?
True
Let i(x) = 102*x - 442. Is i(32) a multiple of 17?
True
Suppose 0*j - 3*j = -2*p - 9, 4*p = -5*j + 37. Suppose 0*f = 6*f - 12. Suppose 0 = -p*g + f*g + 8. Is 3 a factor of g?
False
Let n(f) = 160*f**2 + 104*f + 383. Is 5 a factor of n(-4)?
False
Let l = 0 - 0. Let b(f) = 1224*f - 1225*f + 7 + 15*f**2 - 16*f**2 - 2 + f**3. Is b(l) a multiple of 5?
True
Suppose -2*l + 79 = -l. Let m = l + 11. Let r = m + -47. Is 14 a factor of r?
False
Suppose 27*i = 41*i - 42. Suppose -l - 2682 = -4*l + 3*k, -4*k = -i*l + 2678. Is 25 a factor of l?
False
Suppose 15*c - 19*c + 12 = 0. Suppose -5*n + 120 = 2*j - 6*n, c*j - 180 = 5*n. Does 3 divide j?
True
Let a(b) = 2*b - 18. Let z(k) = k + 5 - 1 + 15 - 3*k. Let p(t) = -6*a(t) - 4*z(t). Does 19 divide p(-13)?
False
Let h(c) = c**2 - c. Let q(m) = -9*m**2 + 4*m + 1. Let k(a) = -5*h(a) - q(a). Let o(w) = -w**3 + 6*w**2 + 3*w + 30. Let f be o(7). Does 17 divide k(f)?
True
Let m(i) = 11*i + 340. Let u = -38 + 38. Does 7 divide m(u)?
False
Let s be ((-24)/(-14))/(-4) - (-17)/7. Suppose 363 = 5*c + s*r - 3*r, -302 = -4*c - 5*r. Is 33 a factor of c?
False
Suppose 0 = -3*t - 4*n + 16670, 26*t = 29*t - 5*n - 16706. Is t a multiple of 11?
False
Suppose -32*o = -33*o - 3*t - 2174, 0 = -3*o + 4*t - 6483. Let v = -1323 - o. Is v a multiple of 19?
False
Let h = 26122 + -13449. Does 11 divide h?
False
Let p = -1990 + 1996. Let c(q) = -q**3 + 9*q**2 - 3*q. Let g be c(7). Suppose -p*j + 319 = -g. Is j a multiple of 11?
True
Let d be (-1052)/(-1)*1/2. Suppose -5*x + 5*p = 8*p - 663, 4*x = 2*p + d. Is 23 a factor of x?
False
Let h(t) = -123*t**3 - 26*t**2 - 158*t - 63. Is h(-7) a multiple of 111?
True
Is 163 a factor of -6*-1895*(-4)/(-120)?
False
Does 16 divide (11/(44/40) - -13796) + 0?
False
Let s be (-3856)/5 + 88/(-110). Is (-6)/(0 - (s/(-256) + -3)) a multiple of 23?
False
Let r = -229 - -221. Does 6 divide (r/(-6))/((-8105)/(-900) + -9)?
True
Suppose 3*y = -h + 13, -7*h + 2*h = 3*y - 29. Let r(n) = -n**2 + 3*n + 6. Let j be r(h). Suppose d = -j*d + 207. Does 27 divide d?
False
Let z(s) = -29*s**3 - 7*s**2 - 7. Is z(-6) even?
False
Let a = -9945 - -14948. Is 107 a factor of a?
False
Let u(j) = 2*j**2 - 9 + 11*j**2 + 9*j - 11*j + j**3. Is 15 a factor of u(-11)?
True
Suppose -4*a - 3*t + 6*t = -26, 3*t = 5*a - 31. Let h(s) = 7*s**2 + 18*s + 5. Is h(a) a multiple of 45?
True
Let y(f) = 2*f**3 - 98*f**2 + 41*f + 290. Is y(51) a multiple of 8?
False
Suppose -10 = 365*z - 367*z. Suppose -2*f = z*q - 2802, 5*q + 755 = -4*f + 3559. Is 112 a factor of q?
True
Let h(z) be the second derivative of 43*z**4/6 + 19*z**3/6 - 10*z**2 - 2*z + 34. Is 17 a factor of h(1)?
True
Let s(a) = 48*a**2 + 14*a - 37. Let m be s(4). Let j = 241 + m. Is 15 a factor of j?
False
Let s(v) be the third derivative of 2*v**4/3 - 139*v**3/6 - 100*v**2 - 2*v. Does 3 divide s(14)?
False
Let a = -90 - -90. Let k be -16 + a + (25 - 27). Is (k/8)/((-12)/64) a multiple of 6?
True
Let n = -1684 + 2503. Is n a multiple of 6?
False
Let u(v) = -2*v**3 - 4*v**2 + 12*v + 18. Let c(y) = 7*y**2 - 60*y + 22. Let q be c(8). Is 48 a factor of u(q)?
False
Is 87703/6 + (-18)/(-216)*-14 a multiple of 18?
True
Let n(x) = -284*x**3 - 2*x**2 - 39*x - 117. Is n(-3) a multiple of 25?
True
Let w = -306 + 309. Suppose 0 = w*l - 42 + 24. Is l a multiple of 2?
True
Let m = 2205 + 4920. Is m a multiple of 95?
True
Suppose -46521 = -3*h + 3*o, 7*o = -3*h + 12*o + 46535. Is 62 a factor of h?
True
Let x = -58 + 49. Let v = 4 + x. Let k = 158 + v. Is 17 a factor of k?
True
Suppose 325324 = 9*z - 15*o + 10*o, 4*o + 108446 = 3*z. Is z a multiple of 74?
False
Let y = -8623 - -13767. Is y a multiple of 16?
False
Suppose -241 = -8*x + 719. Suppose -x = 4*n - 6*n. Let b = 100 - n. Is 20 a factor of b?
True
Let a(u) = -2*u**3 - 21*u**2 - u. Let l be a(-25). Suppose 2*q + 13*q = l. Suppose -2*z - z + 15 = 0, 4*n = -2*z + q. Is n a multiple of 35?
False
Suppose -1137066 = -55*o + 68589. Does 31 divide o?
False
Let i(q) = 42 - 4*q + 5*q**2 + 10*q - 35. Does 10 divide i(-3)?
False
Let l(v) = v**2 + 13*v + 4. Let z be l(-24). Let w = z - -36. Is w a multiple of 14?
False
Suppose g - r + 4 = -g, -3*g - 3*r = -12. Suppose g = a + 15 - 23. Is (-14418)/(-72) - 2/a a multiple of 20?
True
Suppose -5*d + 2*o = -936 - 3971, 2*d - o = 1963. Is d a multiple of 9?
True
Suppose 39 + 45 = -6*t. Let j be t/(-42) + 28/6. Suppose -3*b + j + 40 = 0. Does 4 divide b?
False
Suppose -378 = -2*m + m - 4*b, -4*m + b = -1597. Suppose o = 5*a + m, 3*o + 3*a = -2*o + 1850. Is o a multiple of 19?
False
Let d be ((-225)/(-6))/5*(1 - -1). Suppose 9 = -6*j - d. Is 14 a factor of 32/12*(-222)/j?
False
Let j = 0 + 4. Suppose j*a = -s + 38, 5*s - 2*a - 219 = 81. Is s a multiple of 5?
False
Is 10 a factor of (-522)/87 - 5*(0 - (-68232)/(-10))?
True
Is (-685300)/(-22) - (80/32 - (-6)/(-4)) a multiple of 9?
True
Suppose -2*j + 5*j = 24. Is 43 a factor of j/((-16)/(-603)) - 3/6?
True
Let s(c) = 792*c**3 - 2*c**2 + 4*c - 2. Does 44 divide s(1)?
True
Let u(q) = -31*q - 161. Let z be u(61). Is 35 a factor of 2*(z/(-8) + (-1)/(-2))?
False
Let y(b) = -148*b - 7544. Is 112 a factor of y(-138)?
True
Suppose 2*i = 5*a - 2 - 4, -3*a = 3*i - 12. Is (-37 + 51)/(a/8) a multiple of 2?
True
Let r be 80 - ((-6)/(-24) - (-5)/(-4)). Is ((-1 + 2)*51)/(r/756) a multiple of 34?
True
Suppose -373*w + 77*w = 64*w - 3256920. Is 25 a factor of w?
False
Let q = -12441 - -31228. Is q a multiple of 7?
False
Let l(h) = -h**3 - 2*h**2 + h + 272. Let d be l(0). Let s be 5/(15/9) + 2 + d. Suppose 3*r + s = 2*v - 275, -562 = -2*v - 2*r. Does 41 divide v?
False
Let i(j) = -10*j - 1. Suppose 0 = 2*a + 2 - 0. Let h be i(a). Let o = 96 - h. Does 9 divide o?
False
Let x = -181 - -191. Does 12 divide -4 + x + (-1 - -391)?
True
Let p(b) = 99*b**2 - 1553*b + 30. Is p(17) a multiple of 20?
True
Suppose 16*u - 255832 - 484343 = 192609. Does 14 divide u?
False
Let d(b) be the second derivative of 0 + 9/10*b**5 - 2/3*b**3 - 3*b + 1/6*b**4 + 0*b**2. Is d(2) a multiple of 48?
True
Let o(j) = -4*j**2 + 2*j + 67. Let i(u) = 9*u**2 - 3*u - 134. Let s(c) = -2*i(c) - 5*o(c). Is s(-9) a multiple of 3?
False
Let f(p) = -p**2 + 6*p - 6. Suppose c + 13 = 2*o, 2*c = -c - 15. Let g be f(o). Suppose -45 = -g*l + 43. Is 11 a factor of l?
True
Let h(t) = -38*t - 96. Let m be h(-14). Suppose -3*x - v + m = 0, 3*x - 33*v = -30*v + 432. Is 10 a factor of x?
False
Let m be (-14 - (-644)/42)*-73*3. Let h = -94 - m. Does 14 divide h?
False
Let t be -2 - (-10)/5 - 91. Let g = t - -218. Suppose 3*f - g - 14 = 0. Does 16 divide f?
False
Let b = -7537 - -10650. Is 11 a factor of b?
True
Let p(z) = 2*z + 10. Let u be p(-3). Suppose -2*i + 14 = u. Suppose 3 = r - 2*r - 3*k, -i*r + 49 = -k. Is r a multiple of 3?
True
Let a be (27/5)/((-649)/55 + 12). Suppose -1228 = -a*c + 1904. Is 29 a factor of c?
True
Let l = 56 + -44. Suppose 0 = -18*q + 16*q - l. Is 17 a factor of ((-288)/5)/q*20/3?
False
Is 12995*7/27 - 530/7155 a multiple of 3?
True
Let x(a) = -9*a - 19. Let g(q) be the first derivative of -q**2/2 - 3. Let z(s) = 5*g(s) - x(s). Is z(15) a multiple of 28?
False
Does 22 divide (1716/546)/(1/77)?
True
Let d(o) = -3*o - 30. Let t be d(-10). Suppose t = -4*i - 2*x + 499 - 63, 0 = -3*i + 4*x + 327. Suppose -i - 51 = -2*z. Is z a multiple of 7?
False
Suppose -6*q - 16 = -40. Let o(m) = 35*m**2 - 12*m - 8. Is 25 a factor of o(q)?
False
Let g = 827 - 1176. Let l = 1065 + g. Is l a multiple of 33?
False
Let u be (693/(-27) - 3)/(2/(-12)). Is (6 - 6)*(-1)/3 + u a multiple of 7?
False
Let u = 49 - 38. Suppose u = r + 286. Let f = -156 - r. Does 17 divide f?
True
Let j = -452 + 902. Suppose -j = -n + 263. Is n a multiple of 23?
True
Let p(r) = 35*r + 2 - 56*r**2 + 44*r - 76*r. Let j be p(-1). Let k = j + 282. Is 30 a factor of k?
False
Is 59 a factor of ((-144222)/(-195) - (1 - -1))/(7/175)?
False
Suppose -3*t + 1283 = u, 370 = -5*u + 3*t + 6857. Is 5 a factor of u?
True
Suppose 44*y + 34*y = 86*y - 412800. Is 57 a factor of y?
False
Let w = 410 - 406. Suppose -5*p = w*z + z - 4770, -5*p - z + 4754 = 0. Is 50 a factor of p?
True
Let i = 63118 - 20778. Does 10 di