0/(-5) + -2. Let o be k(x). Is j(o) a multiple of 4?
False
Let j(x) be the second derivative of x**4/2 - 10*x**3/3 + 53*x**2/2 + 247*x. Is 3 a factor of j(5)?
False
Suppose -4*s - p + 429 = s, -158 = -2*s + 3*p. Let r = 73 - s. Is 10/r*3*-66 a multiple of 15?
True
Let m(h) = 866*h**2 - 3*h - 1. Let j be m(-1). Let u = j + -514. Is 7 a factor of u?
False
Suppose 0 = -3*i - 3*s + 138, -5*s + s = -5*i + 257. Suppose -i = 2*u - u. Let p = 132 + u. Is p a multiple of 11?
False
Suppose 0 = -2*v - 2 + 12. Suppose 0 = -0*s + s - i + 4, 4*i = -v*s + 7. Does 4 divide -5*(-2)/s*(-60)/50?
True
Let o be -5 + (-4 - -6) + (1 - -2). Suppose -l = o, i + 2*l = -4*i + 45. Suppose 5 + i = v. Does 4 divide v?
False
Let j(b) = -5*b**2 - 4*b**2 + b**3 + 11782*b + 7 - 11763*b. Let h be (10/15)/(4/42). Does 14 divide j(h)?
True
Let k(b) = 51*b - 37. Let m(y) be the third derivative of 13*y**4/12 - 3*y**3 + 6*y**2. Let j(x) = -3*k(x) + 7*m(x). Is j(3) a multiple of 8?
True
Does 5 divide (28/(-105)*-3)/(5/((-879000)/(-16)))?
True
Let o(z) = -8*z**2 + 13 + 0*z**3 - 6*z**3 + 17*z - 3*z**2 + 5*z**3. Is 7 a factor of o(-13)?
False
Suppose 36 = 5*o - 19. Suppose -o*q = -1265 - 253. Let w = q + -63. Is w a multiple of 25?
True
Let w = -27 + 27. Suppose -3*d + h - 7 - 1 = w, 0 = -d - h. Does 20 divide (48 - d)/1*8/4?
True
Suppose 2*a = -7*a + 45. Suppose -5*c = -h + 38 - 145, 368 = -4*h + a*c. Let n = h + 135. Is 12 a factor of n?
True
Let z = -140 + 142. Suppose 0 = -2*m - 6, -z*n + 0*m + 709 = -3*m. Is 33 a factor of n?
False
Let x(p) = 50*p - 53. Let s = -391 + 423. Is 17 a factor of x(s)?
True
Let i be 0 - (250 + -1 + -2). Let k = -126 + i. Let u = -210 - k. Is u a multiple of 39?
False
Let f(d) = d**3 + 60*d**2 + 37*d + 932. Is f(-57) a multiple of 21?
False
Suppose 5*i = 3*y + 115, i + 10 = 3*i. Let z = y + 70. Does 5 divide z?
True
Does 59 divide (-254082)/(-141)*((-1)/(-3) - 21/(-18))?
False
Suppose -5 = b - 2*u, -5*u = -9*u + 12. Is (1926*4/16 + b)*2 a multiple of 28?
False
Let m = -215 - -221. Suppose 0 = -m*o - 79 + 973. Is o a multiple of 3?
False
Is 42 a factor of 1/(-1 + 55770/55768) - (-58 + 55)?
False
Let o be 1 + -1 + -7 + 739. Suppose -59*n + 53*n = -o. Does 2 divide n?
True
Let h = -5108 - -6096. Is 19 a factor of h?
True
Is 19 a factor of (53218/(-123))/(0 - 5/195)?
False
Let z be (-56)/98 - 1095/7. Suppose -277 - 888 = 5*c. Let y = z - c. Is y a multiple of 19?
True
Let h(u) = -7*u - 10. Let q be h(-2). Suppose 2*t + 3*t - 3*n = 28, 0 = -q*t + n + 21. Suppose -19 = -t*g + 46. Does 3 divide g?
False
Suppose 81 + 10 = 3*d + 5*u, 85 = 3*d + 2*u. Suppose 4*a = 3*w - 1 - 5, -5*w + a + d = 0. Let o = w + 21. Is 27 a factor of o?
True
Let p(k) = k**3 - 64*k**2 + 162*k - 1658. Is p(64) a multiple of 35?
False
Is (-18)/(-78) + (-25155830)/(-910) a multiple of 157?
False
Let n be (-1170)/(-50) - 6/(-10). Is 18 a factor of (n + 4)*-10*6/(-16)?
False
Let i = 69 - 69. Suppose i = -18*j + 20*j - 656. Is 41 a factor of j?
True
Let m be 3 + ((-10)/(-2) - 4). Is 14 a factor of 3/(m/((-4944)/(-18)))?
False
Suppose 3*n - q - 38631 = 0, -4*n = 61*q - 66*q - 51519. Is 74 a factor of n?
True
Let p(d) = 5459*d + 7806. Does 17 divide p(5)?
False
Suppose -11 = v + 5*b, 4*b + 23 = 2*v - b. Suppose l + l + 14 = 5*k, v*l - k = 8. Suppose l = -4*d - 9, -3*r + 126 = -d. Is 8 a factor of r?
False
Let b(d) = -63*d**2 + 7*d + 14. Let n be b(-2). Let t = -41 - n. Is t a multiple of 11?
False
Let j(z) = 3185*z**2 + 4*z + 1. Let n be j(1). Let u = -1968 + n. Is 26 a factor of u?
True
Let r be (-7)/(14/88) + 3. Let d(s) = s**2 + 2*s - 3. Let o be d(-9). Let n = o + r. Is n a multiple of 12?
False
Suppose -8*j = -j - 126. Suppose 0 = -25*r + j*r + 5418. Is 12 a factor of r?
False
Suppose 4*a - 5*a = -26. Let h(i) = -i + 5*i - a + 4*i**2 + 18 - 2*i**2. Is h(-8) a multiple of 27?
False
Does 31 divide (24/84*(4 + 1599))/(3/93)?
True
Suppose 4*v + 188 = -2*o, 144 + 40 = -4*v - o. Let a = v + 513. Is a a multiple of 10?
False
Suppose 0 = -7*i - 1 + 15. Suppose a + i*m - 100 = 0, -2*a + 0*m + 198 = 5*m. Is 4 a factor of a?
True
Let q(k) = 18*k**2 + k. Let l be q(-2). Suppose -2*t + 44 = -2*s, 6*t = 3*s + t + l. Is 9 a factor of (168/s)/(12/(-40))?
False
Let k(c) = 6*c - 73. Let m be k(10). Let x = 196 - m. Does 19 divide x?
True
Let c = 917 - 741. Does 44 divide c?
True
Let t(l) = 3*l**2 + 4*l - 34. Let q be t(5). Let a be (1/2)/(3/(-84)*-7). Suppose -q - 79 = -a*f. Is f a multiple of 13?
False
Let h = 30695 - 20029. Is 7 a factor of h?
False
Let i = -1312 + 2284. Let c = 1992 - i. Is c a multiple of 10?
True
Let y = 24 - 19. Let z be 14/28 - y/(-2). Suppose -6 = z*v - 57. Does 7 divide v?
False
Let b(s) = 50*s**2 - 15*s + 56. Is 4 a factor of b(7)?
False
Suppose 3*v - 753 = -m, 3*m + 3*v - 2283 = -0*m. Is 9 a factor of m?
True
Let o(i) = 31*i - 34. Suppose 3*x + 4*j - 47 = 0, -63 = -3*x - 2*j - 26. Does 7 divide o(x)?
True
Suppose s + 4 = 4*r, 3*r - 11 = -s - 1. Suppose s*f - 3*f = -3. Let k(c) = -2*c**3 + 2*c**2 + 2*c + 5. Does 22 divide k(f)?
False
Is 19 a factor of (-12 - -15) + -10 + 1/((-3)/(-27894))?
True
Suppose 0 = -10*s + 90, 24070 + 17327 = 4*y + 5*s. Is 6 a factor of y?
True
Let a = -9815 + 16465. Is 38 a factor of a?
True
Let j = -534 + 356. Let m(c) = 4*c + 82. Let q be m(-19). Let k = q - j. Is k a multiple of 23?
True
Suppose 237*g = 225*g + 3012. Let u = -119 + g. Is 34 a factor of u?
False
Let n(u) = 5*u + 7. Let v be n(8). Suppose c = -3*c - 68. Let b = v - c. Is 17 a factor of b?
False
Suppose z + 1134 = -8*z. Let a = -124 - z. Suppose -5*t + 555 = -3*q, a*t - 177 = -q + 34. Is 27 a factor of t?
True
Let c(d) be the third derivative of d**6/120 + d**5/60 - d**4/3 + 29*d**3/6 - 4*d**2 - 2. Does 19 divide c(6)?
False
Let z = -244 - 841. Let g = -13 - z. Is g a multiple of 67?
True
Suppose -123*l + 5*j = -120*l - 70742, j + 94300 = 4*l. Is l a multiple of 45?
False
Let n(y) = 6*y**2 + 9*y + 2*y - 30 - 3*y**2 - 2*y**2. Let b be n(-13). Is 5 a factor of (1/2)/(b/(-240))?
True
Let m(l) = -l**2 - 31*l + 178. Let y be m(5). Suppose 5*t = 0, t + 3*t - 204 = 2*k. Let s = y - k. Does 20 divide s?
True
Suppose 5*c = -4*u + 2 + 26, 0 = c + 5*u - 14. Suppose c*s - 158 = 2*s - p, -p + 312 = 4*s. Does 7 divide s?
True
Is (-5)/(-60) - ((-7256)/3 - (-3)/4) a multiple of 13?
True
Let m(w) be the second derivative of 23*w**3/6 + 61*w**2/2 - 21*w. Is 35 a factor of m(8)?
True
Is 191 a factor of 28/(-714) - (-19024215)/1071?
True
Suppose -11*k + 61106 = -76163. Does 21 divide k?
False
Suppose 0 = -2*j, 8*j = 4*f + 10*j - 924. Let v = f - -352. Is 53 a factor of v?
True
Let a(k) = 8*k**3 + 6*k**2 - 8*k - 5. Let r be a(3). Suppose -6*x + 799 = r. Does 3 divide x?
True
Let j = 4092 + 2272. Is 42 a factor of j?
False
Suppose 2386 = -7*u - 1471. Let f = -330 - u. Is 17 a factor of f?
True
Let f = -4259 + 7738. Is 49 a factor of f?
True
Let o = 4903 - 4644. Is 29 a factor of o?
False
Let l = 339 + -214. Suppose -5*w = -0*w - 1030. Let p = w - l. Is 13 a factor of p?
False
Let q = 22337 + -20577. Is q a multiple of 32?
True
Let u(a) = 75*a**3 + a**2 + a. Suppose -4*k - 4*h + 160 = 0, 8*k + h - 208 = 3*k. Let f = 43 - k. Does 22 divide u(f)?
False
Suppose 4*h = 3*q - 5 - 6, 4*q = 4*h + 16. Suppose 5*o - 2*p = -q, 0*p - p = 3*o - 8. Is 34*o + 15 + -13 a multiple of 18?
True
Let g(v) = -374*v - 8202. Does 7 divide g(-22)?
False
Let z = -490 + 493. Suppose z*b = -3*a + 2853, 3*a + a - 3*b = 3804. Is a a multiple of 39?
False
Suppose 0 = -129*n + 149*n + 177*n - 3940591. Does 5 divide n?
False
Let x(f) = -5*f**3 + 65*f**2 - 4*f + 57. Let d be x(13). Suppose -h + 17 = 3*m, 4*m = -4*h - 0*m + 28. Suppose r = h*r - d*s - 25, 6 = 2*s. Does 10 divide r?
True
Suppose -199*w + 4883260 = -345863. Is w a multiple of 19?
True
Let t(l) = 334*l + 1830. Is t(6) a multiple of 5?
False
Let j(l) = 565*l**2 + 5 - 2*l - 559*l**2 + 0*l. Let z be ((-6)/4)/((-3)/(-6)). Is 9 a factor of j(z)?
False
Let o(a) = -83*a**3 - 21*a**2 + 37*a + 336. Is o(-6) a multiple of 18?
False
Let l(t) = -t**3 + 4*t**2 + 10*t + 5. Let d be l(-4). Suppose 5*g + 398 = 2*o, g - o + 81 = -2*o. Let x = g + d. Is x a multiple of 3?
False
Does 139 divide (-7784)/(-21)*10/280*21?
True
Suppose 52*f - 23354 - 11070 = 0. Does 3 divide f?
False
Suppose -41*s + 